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

Материал из testwiki
Перейти к навигации Перейти к поиску

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

Случай I: Подынтегральные выражения, содержащие a2x2

Пусть x=asinθ, и используйте тождество 1sin2θ=cos2θ.

Примеры Случая I

Геометрическая конструкция для Случая I

Пример 1

В интеграле

dxa2x2,

можно использовать

x=asinθ,dx=acosθdθ,θ=arcsinxa.

Тогда

dxa2x2=acosθdθa2a2sin2θ=acosθdθa2(1sin2θ)=acosθdθa2cos2θ=dθ=θ+C=arcsinxa+C.

Вышеупомянутый шаг требует, чтобы a>0 и cosθ>0. Мы можем выбрать a в качестве главного корня a2 и наложить ограничение π/2<θ<π/2 с помощью функции обратного синуса.

Для определённого интеграла нужно выяснить, как меняются границы интегрирования. Например, если x изменяется от 0 до a/2, тогда sinθ изменяется от 0 до 1/2, поэтому θ изменяется от 0 до π/6. Тогда

0a/2dxa2x2=0π/6dθ=π6.

При выборе границ требуется некоторая осторожность. Поскольку приведённая выше интеграция требует, чтобы π/2<θ<π/2, значение θ может изменяться только от 0 до π/6. Пренебрегая этим ограничением, можно было бы выбрать θ для перехода от π к 5π/6, что привело бы фактически к отрицательному значению.

В качестве альтернативы можно полностью вычислить неопределённые интегралы перед применением граничных условий. В этом случае первообразная даёт

0a/2dxa2x2=arcsin(xa)|0a/2=arcsin(12)arcsin(0)=π6

как прежде.

Пример 2

Интеграл

a2x2dx,

можно оценить путём представления x=asinθ,dx=acosθdθ,θ=arcsinxa,

где a>0, так что a2=a и π2θπ2 по диапазону арксинуса, так что cosθ0 и cos2θ=cosθ.

Тогда

a2x2dx=a2a2sin2θ(acosθ)dθ=a2(1sin2θ)(acosθ)dθ=a2(cos2θ)(acosθ)dθ=(acosθ)(acosθ)dθ=a2cos2θdθ=a2(1+cos2θ2)dθ=a22(θ+12sin2θ)+C=a22(θ+sinθcosθ)+C=a22(arcsinxa+xa1x2a2)+C=a22arcsinxa+x2a2x2+C.

Для определённого интеграла границы изменяются после выполнения замены и определяются с помощью уравнения θ=arcsinxa со значениями в диапазоне π2θπ2. Или же можно применить граничные члены непосредственно к формуле первообразной.

Например, определённый интеграл

114x2dx,

можно оценить, подставив x=2sinθ,dx=2cosθdθ, с оценками, определёнными с помощью θ=arcsinx2, arcsin(1/2)=π/6 и arcsin(1/2)=π/6.

Тогда

114x2dx=π/6π/644sin2θ(2cosθ)dθ=π/6π/64(1sin2θ)(2cosθ)dθ=π/6π/64(cos2θ)(2cosθ)dθ=π/6π/6(2cosθ)(2cosθ)dθ=4π/6π/6cos2θdθ=4π/6π/6(1+cos2θ2)dθ=2[θ+12sin2θ]π/6π/6=[2θ+sin2θ]|π/6π/6=(π3+sinπ3)(π3+sin(π3))=2π3+3.

С другой стороны, прямое применение граничных членов к ранее полученной формуле для первообразных даёт

114x2dx=[222arcsinx2+x222x2]11=(2arcsin12+1241)(2arcsin(12)+1241)=(2π6+32)(2(π6)32)=2π3+3

как прежде.

Случай II: Подынтегральные выражения, содержащие a2 + x2

Примеры Случая II

Геометрическая конструкция для Случая II

Пример 1

В интеграле

dxa2+x2

можно написать

x=atanθ,dx=asec2θdθ,θ=arctanxa,

так что интеграл становится

dxa2+x2=asec2θdθa2+a2tan2θ=asec2θdθa2(1+tan2θ)=asec2θdθa2sec2θ=dθa=θa+C=1aarctanxa+C,

при условии a0.

Для определённого интеграла границы изменяются после выполнения замены и определяются с помощью уравнения θ=arctanxa со значениями в диапазоне π2<θ<π2. Или же можно применить граничные члены непосредственно к формуле первообразной.

Например, определённый интеграл

0141+x2dx

можно оценить, подставив x=tanθ,dx=sec2θdθ, с оценками, определёнными с помощью θ=arctanx, arctan0=0 и arctan1=π/4.

Тогда

014dx1+x2=401dx1+x2=40π/4sec2θdθ1+tan2θ=40π/4sec2θdθsec2θ=40π/4dθ=(4θ)|0π/4=4(π40)=π.

Между тем, прямое применение граничных членов к формуле для первообразных даёт

0141+x2dx=401dx1+x2=4[11arctanx1]01=4(arctanx)|01=4(arctan1arctan0)=4(π40)=π,

так же, как прежде.

Пример 2

Интеграл

a2+x2dx

можно оценить путём представления x=atanθ,dx=asec2θdθ,θ=arctanxa,

где a>0, так что a2=a и π2<θ<π2 по диапазону арктангенса, так что secθ>0 и sec2θ=secθ.

Тогда

a2+x2dx=a2+a2tan2θ(asec2θ)dθ=a2(1+tan2θ)(asec2θ)dθ=a2sec2θ(asec2θ)dθ=(asecθ)(asec2θ)dθ=a2sec3θdθ.

Интеграл секанса в кубе можно вычислить с помощью интегрирования по частям. Как результат

a2+x2dx=a22(secθtanθ+ln|secθ+tanθ|)+C=a22(1+x2a2xa+ln|1+x2a2+xa|)+C=12(xa2+x2+a2ln|x+a2+x2a|)+C.

Случай III: Подынтегральные выражения, содержащие x2a2

Пусть x=asecθ и используется тождество sec2θ1=tan2θ.

Примеры Случая III

Геометрическая конструкция для Случая III

Интегралы типа

dxx2a2

также можно вычислить частичными дробями, а не тригонометрическими подстановками. Однако интеграл

x2a2dx

нельзя. В этом случае подходящей подстановкой будет:

x=asecθ,dx=asecθtanθdθ,θ=arcsecxa,

где a>0, так что a2=a и 0θ<π2, предполагая x>0, так что tanθ0 и tan2θ=tanθ.

Тогда

x2a2dx=a2sec2θa2asecθtanθdθ=a2(sec2θ1)asecθtanθdθ=a2tan2θasecθtanθdθ=a2secθtan2θdθ=a2(secθ)(sec2θ1)dθ=a2(sec3θsecθ)dθ.

Можно вычислить интеграл функции секанс, умножив числитель и знаменатель на (secθ+tanθ) и интеграл секанса в кубе по частям[3]. Как результат

x2a2dx=a22(secθtanθ+ln|secθ+tanθ|)a2ln|secθ+tanθ|+C=a22(secθtanθln|secθ+tanθ|)+C=a22(xax2a21ln|xa+x2a21|)+C=12(xx2a2a2ln|x+x2a2a|)+C.

Если π2<θπ, что происходит, когда x<0 с заданным диапазоном арксеканса, то tanθ0, что в данном случае означает tan2θ=tanθ.

Подстановки, исключающие тригонометрические функции

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

Например,

f(sin(x),cos(x))dx=1±1u2f(u,±1u2)duu=sin(x)f(sin(x),cos(x))dx=11u2f(±1u2,u)duu=cos(x)f(sin(x),cos(x))dx=21+u2f(2u1+u2,1u21+u2)duu=tan(x2)

Последняя подстановка известна как подстановка Вейерштрасса, в которой используются формулы тангенса половинного угла.

Например,

4cosx(1+cosx)3dx=21+u24(1u21+u2)(1+1u21+u2)3du=(1u2)(1+u2)du=(1u4)du=uu55+C=tanx215tan5x2+C.

Гиперболическая подстановка

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

В интеграле 1a2+x2dx можно сделать подстановку x=asinhu, dx=acoshudu.

Затем, используя тождества cosh2(x)sinh2(x)=1 и sinh1x=ln(x+x2+1),

можно получить

1a2+x2dx=acoshua2+a2sinh2udu=acoshua1+sinh2udu=acoshuacoshudu=u+C=sinh1xa+C=ln(x2a2+1+xa)+C=ln(x2+a2+xa)+C.

См. также

Примечания

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

Шаблон:Тригонометрия Шаблон:Интегральное исчисление