Универсальная тригонометрическая подстановка

Материал из testwiki
Перейти к навигации Перейти к поиску
Подстановка Вейерштрасса показана здесь как стереографическая проекция окружности

Универсальная тригонометрическая подстановка, в англоязычной литературе называемая в честь Карла Вейерштрасса подстановкой Вейерштрасса, применяется в интегрировании для нахождения первообразных, определённых и неопределённых интегралов от рациональных функций от тригонометрических функций. Без потери общности можно считать в данном случае такие функции рациональными функциями от синуса и косинуса. Подстановка использует тангенс половинного угла.

Подстановка

Рассмотрим задачу нахождения первообразной рациональной функции от синуса и косинуса.

Заменим sin x, cos x и дифференциал dx рациональными функциями от переменной t, и их произведением дифференциал dt, следующим образом:[1]

sinx=2t1+t2cosx=1t21+t2dx=2dt1+t2

Введение обозначений

Примем, что переменная t равна тангенсу половинного угла:

t=tgx2.

В интервале −π < x < π, это даёт

x=2arctg(t),

и после дифференцирования получаем

dx=2dt1+t2.

Формула тангенса половинного угла даёт для синуса

sinx=sin(2arctg(t))=2sin(arctg(t))cos(arctg(t))=2t1+t211+t2=2t1+t2,

и для косинуса формула даёт

cosx=cos(2arctg(t))=cos2(arctg(t))sin2(arctg(t))=(11+t2)2(t1+t2)2=1t21+t2.

Примеры

Первый пример

Найдём интеграл

135cosxdx.

Используя универсальную тригонометрическую подстановку, получаем

135(1t21+t2)2dt1+t2=dt4t21=dt(2t1)(2t+1).

Чтобы вычислить последний интеграл, используем разложение дробей:

(1/22t11/22t+1)dt=14ln|2t1|14ln|2t+1|+C=14ln|2t12t+1|+C=14ln|2tg(x2)12tg(x2)+1|+C.

Далее, согласно формуле тангенса половинного угла, можно заменить tg(x/2) на sin x/(1 + cos x), и тогда получаем

14ln|2sinx1cosx2sinx+1+cosx|+C,

или так же мы можем заменить tg(x/2) на (1 − cos x)/sin x.

Второй пример: определённый интеграл

Разница между определённым и неопределённым интегрированием состоит в том, что при вычислении определённого интеграла нам не обязательно преобразовывать полученную функцию от переменной  t обратно к функции от переменной x, если корректно изменить пределы интегрирования.

Например,

0π/615+4sinxdx=02315+4(2t1+t2)2dt1+t2

Если x изменяется от 0 до π/6, sin x изменяется от 0 до 1/2. Это означает, что величина 2t/(1 + t2), равная sin  изменяется от 0 до 1/2. Тогда можно найти пределы интегрирования по переменной t:

2t1+t2=12,

перемножая обе части уравнения на 2 и на (1 + t2), получаем:

1+t2=4t.

Решая квадратное уравнение, получаем два корня

t=2±3.

Возникает вопрос: какой из этих двух корней подходит для нашего случая? Ответить на него можно, рассмотрев поведение

sinx=2t1+t2

как функцию от x и как функцию от t. Когда x изменяется 0 до π, функция sin x изменяется от 0 до 1, и потом назад до  0. Эта функция проходит через значение 1/2 дважды — при изменении от 0 до 1 и при обратном изменении от 1 до 0. Когда t изменяется от 0 до ∞, функция 2t/(1 + t2) изменяется от 0 до 1 (когда t = 1) и потом обратно до  0. Она проходит значение 1/2 при изменении от 0 до 1 и при обратном изменении: первый раз при t = 2 − √3 и потом опять при t = 2 + √3.

Произведя несложные алгебраические преобразования, получим

0232dt5(1+t2)+4(2t)=0232dt5t2+8t+5

Выделяя полный квадрат, получаем

0232dt5(t+45)2+95=023109dt(5t+43)2+1.

Введём новую переменную

u=5t+43,du=53dt,

Отсюда

u=43

при t=0,

и предел интегрирования будет

u=14533

так как выше было определено, что

t=23.

Тогда интегрирование даёт

4/3(1453)/323duu2+1=23arctg(u)|u=4/3u=(1453)/3=arctg(14533)arctg(43)=arctg(42153121).

На последнем шаге использовано известное тригонометрическое тождество

arctg(p)arctg(q)=arctg(pq1+pq).

Третий пример

Подстановку Вейерштрасса можно использовать при нахождении интеграла от секанса:

secxdx.

Имеем

dxcosx=(2dt1+t2)(1t21+t2)=2dt1t2=2dt(1t)(1+t).

Как и в первом примере, используем разложение дроби:

(11t+11+t)dt=ln|1t|+ln|1+t|+C=ln|1+t1t|+C=ln|1+t21t2+2t1t2|+C=ln|secx+tgx|+C.

Геометрия

Шаблон:В планах

Линейное преобразование дробей

Два компонента

1t21+t2,2t1+t2

являются соответственно действительной и мнимой частями числа

iti+t

(считаем, что t действительное).

Для гиперболических функций

Похожие формулы существуют и для гиперболических функций. Пусть

t=thx2

Тогда:

shx=2t1t2
chx=1+t21t2
thx=2t1+t2
dx=21t2dt

Примечания

Шаблон:Примечания

Ссылки

  1. James Stewart, Calculus: Early Transcendentals, Brooks/Cole, 1991, page 439