5. Первообразные вида ...
Пусть, как и в пункте 4,
— рациональная функция. Рассмотрим некоторые специальные первообразные вида
где
— функция от х.
Прежде всего, ясно, что если удастся сделать замену
так, что обе функции
окажутся рациональными функциями от
то
— тоже рациональная функция и
т. e. дело сведется к интегрированию рациональной функции.
Мы рассмотрим следующие специальные случаи задания функции
а. Если
где
то, полагая
получаем
и подынтегральное выражение рационализируется.
Пример 19.
b. Рассмотрим теперь случай, когда
с, т. е. речь идет об интегралах вида
Выделяя полный квадрат в трехчлене
и делая соответствующую линейную замену переменной, сводим общий случай к одному из следующих трех простейших:
Для рационализации этих интегралов теперь достаточно положить соответственно
Эти подстановки были предложены еще Эйлером (см. задачу 3 в конце параграфа).
Проверим, например, что после первой подстановки мы сведем первый интеграл к интегралу от рациональной функции.
В самом деле, если
то
, откуда
и, в свою очередь,
Таким образом,
выразились рационально через и, а следовательно, интеграл привелся к интегралу от рациональной функции.
Интегралы (18) подстановками
(или
соответственно приводятся также к тригонометрической форме
и
Пример 20.
Полагая
имеем
откуда
Поэтому
Теперь остается проделать обратный путь замен:
с. Эллиптические интегралы. Очень важными являются также первообразные вида
где
— многочлен степени
Такой интеграл, как было показано Абелем и Лиувиллем, вообще говоря, уже не выражается через элементарные функции.
При
интеграл (19) называется эллиптическим, а при
— гиперэллиптическим.
Можно показать, что общий эллиптический интеграл элементарными подстановками с точностью до слагаемых, выражающихся через элементарные функции, приводится к следующим трем стандартным эллиптическим интегралам:
где
— параметры, причем во всех трех случаях параметр
лежит в интервале
Подстановкой
эти интегралы можно свести к следующим каноническим интегралам или их комбинациям:
Интегралы (23), (24), (25) называются соответственно эллиптическими интегралами первого, второго и третьего рода (в форме Лежандра). Через
обозначают эллиптические интегралы (23) и (24) первого и второго рода соответственно, выделяемые условиями
Функции
часто используются, и потому составлены достаточно подробные таблицы их значений для
Эллиптические интегралы, как показал Абель, естественно рассматривать в комплексной области, в неразрывной связи с так называемыми эллиптическими функциями, которые соотносятся с эллиптическими интегралами так же, как, например, функция
с интегралом
.
Задачи и упражнения
(см. скан)