Метод интегрирования рациональных функций.
Подстановка Эйлера - метод вычисления интегралов вида

куда
является рациональной функцией
и
. В таких случаях подынтегральное выражение может быть изменено на рациональную функцию с помощью подстановок Эйлера.[1]
Первая подстановка Эйлера
Первая подстановка Эйлера используется, когда
. Подменяем

и решим полученное выражение для
. У нас есть это
и что
термин выражается рационально в
.
В этой замене можно выбрать либо положительный, либо отрицательный знак.
Вторая подстановка Эйлера
Если
, мы принимаем

Мы решаем для
аналогично тому, как указано выше, и найдите
Опять же, можно выбрать либо положительный, либо отрицательный знак.
Третья подстановка Эйлера
Если многочлен
имеет настоящие корни
и
мы можем выбрать
. Это дает
и, как и в предыдущих случаях, мы можем рационально выразить всю подынтегральную функцию в виде
.
Примеры работ
Примеры первой подстановки Эйлера
Один
В интегральном
мы можем использовать первую замену и установить
, таким образом


Соответственно получаем:

Случаи
дать формулы
![{ displaystyle { begin {align} int { frac { dx} { sqrt {x ^ {2} +1}}} & = { mbox {arsinh}} (x) + C [6pt ] int { frac { dx} { sqrt {x ^ {2} -1}}} & = { mbox {arcosh}} (x) + C qquad (x> 1) end {выровнено} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dba7bf29d04c278d8e2783f7a6e67c3b8a143776)
Два
Для определения значения

мы нашли
используя первую замену Эйлера,
. Возведение обеих частей уравнения в квадрат дает нам
, откуда
условия будут отменены. Решение для
дает

Отсюда мы находим, что дифференциалы
и
связаны

Следовательно,
![{ displaystyle { begin {align} int { frac {dx} {x { sqrt {x ^ {2} + 4x-4}}}} & = int { frac { frac {-2t ^ {2} + 8t + 8} {(4-2t) ^ {2}}} {({ frac {t ^ {2} +4} {4-2t}}) ({ frac {-t ^ { 2} + 4t + 4} {4-2t}})}} dt [6pt] & = 2 int { frac {dt} {t ^ {2} +4}} = tan ^ {- 1 } left ({ frac {t} {2}} right) + C && t = { sqrt {x ^ {2} + 4x-4}} - x [6pt] & = tan ^ {- 1 } left ({ frac {{ sqrt {x ^ {2} + 4x-4}} - x} {2}} right) + C end {выровнено}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/416135ec0f98e3c50b1a8c6dc10d4073211c791b)
Примеры второй подстановки Эйлера
В интегральном

мы можем использовать вторую замену и установить
. Таким образом

и

Соответственно получаем:
![{ displaystyle { begin {align} int { frac {dx} {x { sqrt {-x ^ {2} + x + 2}}}} & = int { frac { frac {2 { sqrt {2}} t ^ {2} -2t-2 { sqrt {2}}} {(t ^ {2} +1) ^ {2}}} {{ frac {1-2 { sqrt {2}} t} {t ^ {2} +1}} { frac {- { sqrt {2}} t ^ {2} + t + { sqrt {2}}} {t ^ {2} + 1}}}} dt [6pt] & = int ! { Frac {-2} {- 2 { sqrt {2}} t + 1}} dt = { frac {1} { sqrt {2}}} int { frac {-2 { sqrt {2}}} {- 2 { sqrt {2}} t + 1}} dt [6pt] & = { frac {1} { sqrt {2}}} ln { Biggl |} 2 { sqrt {2}} t-1 { Biggl |} + C = { frac { sqrt {2}} {2}} ln { Biggl |} 2 { sqrt {2}} { frac {{ sqrt {-x ^ {2} + x + 2}} - { sqrt {2}}} {x}} - 1 { Biggl |} + C end {выровнено}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0037b1792c19a38efef1e1977b8265b909158422)
Примеры третьей подстановки Эйлера
Оценить

мы можем использовать третью замену и установить
. Таким образом

и

Следующий,

Как мы видим, это рациональная функция, которую можно решить с помощью дробных дробей.
Обобщения
Подстановки Эйлера можно обобщить, допустив использование мнимых чисел. Например, в интеграле
, замена
может быть использован. Расширение комплексных чисел позволяет нам использовать любой тип подстановки Эйлера, независимо от коэффициентов на квадратике.
Подстановки Эйлера можно обобщить на более широкий класс функций. Рассмотрим интегралы вида

куда
и
являются рациональными функциями
и
. Этот интеграл можно преобразовать заменой
в другой интеграл

куда
и
теперь просто рациональные функции
. В принципе, факторизация и частичное разложение на фракции можно использовать для разбивки интеграла на простые термины, которые можно интегрировать аналитически с помощью дилогарифм функция.[2]
Смотрите также
Математический портал
Рекомендации
- ^ Н. Пискунов, Diferentsiaal- ja integrationalarvutus körgematele tehnilistele öppeasutustele. Viies, taiendatud trukk. Кирьястус Валгус, Таллинн (1965). Примечание. Подстановки Эйлера можно найти в большинстве русских учебников по математическому анализу.
- ^ Цвиллинджер, Даниэль. Справочник по интеграции. 1992: Джонс и Бартлетт. С. 145–146. ISBN 978-0867202939.CS1 maint: location (связь)
Эта статья включает в себя материал из книги Эйлера "Подстановки для интеграции" на PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.