Английская Википедия:Integral of the secant function

A graph of the secant function (red) and its antiderivative (blue)

Шаблон:Calculus In calculus, the integral of the secant function can be evaluated using a variety of methods and there are multiple ways of expressing the antiderivative, all of which can be shown to be equivalent via trigonometric identities,

<math>\int \sec \theta \, d\theta = \begin{cases}

\dfrac12 \ln \dfrac{1+\sin\theta}{1-\sin\theta} + C \\[15mu] \ln{\bigl|\sec\theta + \tan\theta\,\bigr|} + C \\[15mu] \ln{\left|\,{\tan}\biggl(\dfrac\theta2 + \dfrac\pi4\biggr) \right|} + C \end{cases}</math> This formula is useful for evaluating various trigonometric integrals. In particular, it can be used to evaluate the integral of the secant cubed, which, though seemingly special, comes up rather frequently in applications.^[1]

The definite integral of the secant function starting from <math>0</math> is the inverse Gudermannian function, <math display=inline>\operatorname{gd}^{-1}.</math> For numerical applications, all of the above expressions result in loss of significance for some arguments. An alternative expression in terms of the inverse hyperbolic sine Шаблон:Math is numerically well behaved for real arguments \phi

<math>

\operatorname{gd}^{-1}\phi = \int_0^\phi \sec \theta \, d\theta = \operatorname{arsinh}(\tan \phi). </math>

The integral of the secant function was historically one of the first integrals of its type ever evaluated, before most of the development of integral calculus. It is important because it is the vertical coordinate of the Mercator projection, used for marine navigation with constant compass bearing.

Proof that the different antiderivatives are equivalent

Trigonometric forms

Three common expressions for the integral of the secant,

<math>\begin{align}

\int \sec \theta \, d\theta &= \dfrac12 \ln \dfrac{1+\sin\theta}{1-\sin\theta} + C \\[5mu] &= \ln{\bigl|\sec\theta + \tan\theta\,\bigr|} + C \\[5mu] &= \ln{\left|\,{\tan}\biggl(\frac\theta2 + \frac\pi4\biggr) \right|} + C, \end{align}</math>

are equivalent because

<math>

\sqrt{\dfrac{1+\sin\theta}{1-\sin\theta}} = \bigl|\sec\theta + \tan\theta\,\bigr| = \left|\,{\tan}\biggl(\frac\theta2 + \frac\pi4\biggr) \right|. </math>

Proof: we can separately apply the tangent half-angle substitution <math>t = \tan\tfrac12 \theta</math> to each of the three forms, and show them equivalent to the same expression in terms of <math>t.</math> Under this substitution <math>\cos \theta = (1 - t^2)\big/(1 + t^2)</math> and <math>\sin \theta = 2t \big/(1 + t^2).</math>

First,

<math>\begin{align}

\sqrt{\dfrac{1+\sin\theta}{1-\sin\theta}} &= \sqrt{\frac{1 + \dfrac{2t}{1 + t^2}}{1 - \dfrac{2t}{1 + t^2}}} = \sqrt{\frac{1 + t^2 + 2t}{1 + t^2 - 2t}} = \sqrt{\frac{(1 + t)^2}{(1 - t)^2}} \\[5mu] &= \left|\frac{1 + t}{1 - t}\right|. \end{align}</math>

Second,

<math>\begin{align}

\bigl|\sec\theta + \tan\theta\,\bigr| &= \left|\frac1{\cos\theta} + \frac{\sin\theta}{\cos\theta}\right| = \left|\frac{1 + t^2}{1 - t^2} + \frac{2t}{1 - t^2}\right| = \left|\frac{(1 + t)^2}{(1 + t)(1 - t)}\right| \\[5mu] &= \left|\frac{1 + t}{1 - t}\right|. \end{align}</math>

Third, using the tangent addition identity <math>\tan(\phi + \psi) = (\tan\phi + \tan\psi) \big/ (1 - \tan\phi\,\tan\psi),</math>

<math>\begin{align}

\left|\,{\tan}\biggl(\frac\theta2 + \frac\pi4\biggr) \right| &= \left|\frac{\tan\tfrac12 \theta + \tan\tfrac14\pi}{1 - \tan\tfrac12 \theta \, \tan\tfrac14\pi} \right| = \left|\frac{t + 1}{1 - t \cdot 1}\right| \\[5mu] &= \left|\frac{1 + t}{1 - t}\right|. \end{align}</math>

So all three expressions describe the same quantity.

The conventional solution for the Mercator projection ordinate may be written without the absolute value signs since the latitude <math>\varphi</math> lies between <math display=inline>-\tfrac12\pi</math> and <math display=inline>\tfrac12\pi</math>,

<math>y = \ln\,{\tan}\biggl(\frac\varphi2 + \frac\pi4\biggr).</math>

Hyperbolic forms

Let

<math>

\begin{align}

 \psi      &=\ln(\sec\theta+\tan\theta),\\[4pt]
 e^\psi    &=\sec\theta+\tan\theta,\\[4pt]

\sinh\psi &=\frac{e^\psi-e^{-\psi}}{2}=\tan\theta,\\[4pt] \cosh\psi &=\sqrt{1+\sinh^2\psi}= |\sec\theta\, |,\\[4pt] \tanh\psi &=\sin\theta.

 \end{align}

</math> Therefore,

<math>\begin{align}

 \int \sec \theta \, d\theta 
   &=\operatorname{artanh} \left(\sin\theta\right) + C \\[-2mu]
   &=\sgn(\cos \theta)\operatorname{arsinh} \left( \tan \theta\right)+C \\[7mu]  
   &=\sgn(\sin \theta) \operatorname{arcosh}{ \left| \sec \theta\right|}+C.

\end{align}</math>

History

Шаблон:Broader The integral of the secant function was one of the "outstanding open problems of the mid-seventeenth century", solved in 1668 by James Gregory.^[2] He applied his result to a problem concerning nautical tables.^[1] In 1599, Edward Wright evaluated the integral by numerical methods – what today we would call Riemann sums.^[3] He wanted the solution for the purposes of cartography – specifically for constructing an accurate Mercator projection.^[2] In the 1640s, Henry Bond, a teacher of navigation, surveying, and other mathematical topics, compared Wright's numerically computed table of values of the integral of the secant with a table of logarithms of the tangent function, and consequently conjectured that^[2]

<math>\int_0^\varphi \sec\theta\,d\theta = \ln\tan\left(\frac{\varphi}{2} + \frac{\pi}{4}\right).</math>

This conjecture became widely known, and in 1665, Isaac Newton was aware of it.^[4]

Evaluations

By a standard substitution (Gregory's approach)

A standard method of evaluating the secant integral presented in various references involves multiplying the numerator and denominator by Шаблон:Math and then using the substitution Шаблон:Math. This substitution can be obtained from the derivatives of secant and tangent added together, which have secant as a common factor.^[5]

Starting with

<math>\frac d{d\theta}\sec \theta = \sec\theta \tan\theta \quad \text{and} \quad \frac d{d\theta}\tan \theta = \sec^2 \theta,</math>

adding them gives

<math>\begin{align}

\frac d{d\theta}(\sec\theta + \tan\theta) &= \sec\theta \tan\theta + \sec^2\theta \\ &= \sec\theta (\tan\theta + \sec \theta). \end{align}</math>

The derivative of the sum is thus equal to the sum multiplied by Шаблон:Math. This enables multiplying Шаблон:Math by Шаблон:Math in the numerator and denominator and performing the following substitutions:

<math>\begin{align}

u &= \sec \theta + \tan \theta \\ du &= \left(\sec \theta \tan \theta + \sec^2 \theta\right)\,d\theta. \end{align}</math>

The integral is evaluated as follows:

<math>\begin{align}

\int \sec \theta \,d\theta &= \int \frac{\sec\theta (\sec\theta + \tan\theta)}{\sec\theta + \tan\theta} \,d\theta \\[6pt] &= \int \frac{\sec^2\theta + \sec\theta \tan\theta}{\sec\theta + \tan\theta}\,d\theta & u &= \sec\theta + \tan\theta \\[6pt] &= \int \frac{1}{u}\,du & du &= \left(\sec\theta \tan\theta + \sec^2\theta\right) \,d\theta \\[6pt] &= \ln |u| + C \\[4pt] &= \ln |\sec\theta + \tan\theta| + C, \end{align}</math>

as claimed. This was the formula discovered by James Gregory.^[1]

By partial fractions and a substitution (Barrow's approach)

Although Gregory proved the conjecture in 1668 in his Exercitationes Geometricae,^[6] the proof was presented in a form that renders it nearly impossible for modern readers to comprehend; Isaac Barrow, in his Lectiones Geometricae of 1670,^[7] gave the first "intelligible" proof, though even that was "couched in the geometric idiom of the day."^[2] Barrow's proof of the result was the earliest use of partial fractions in integration.^[2] Adapted to modern notation, Barrow's proof began as follows:

<math>

\int \sec \theta \, d\theta = \int \frac{1}{\cos\theta} \,d\theta = \int \frac{\cos\theta }{\cos^2\theta}\, d\theta = \int \frac{\cos\theta }{1 - \sin^2\theta} \, d\theta </math>

Substituting Шаблон:Math, Шаблон:Math, reduces the integral to

<math>\begin{align}

\int \frac{1}{1 - u^2} \,du &= \int\frac{1}{(1+u)(1-u)} \,du \\[6pt] &= \int \frac12 \!\left(\frac{1}{1+u} + \frac{1}{1-u}\right) du &&\text{partial fraction decomposition} \\[6pt] &= \frac12 \bigl( \ln\left|1 + u\right|-\ln \left|1-u\right| \bigr) + C \\[6pt] &= \frac12 \ln\left|\frac{1+u}{1-u}\right| + C \end{align}</math>

Therefore,

<math>

\int \sec \theta \,d\theta = \frac{1}{2}\ln \frac{1 + \sin \theta}{1 - \sin \theta} + C, </math>

as expected. Taking the absolute value is not necessary because <math>1 + \sin \theta</math> and <math>1 - \sin \theta</math> are always non-negative for real values of <math>\theta.</math>

By the tangent half-angle substitution

Standard

Under the tangent half-angle substitution <math display=inline>t = \tan\tfrac12\theta,</math>^[8]

<math>\begin{align}

&\sin \theta = \frac{2t}{1 + t^2},\quad \cos \theta = \frac{1 - t^2}{1 + t^2},\quad d\theta = \frac{2}{1 + t^2}\,dt, \\[10mu] &\tan \theta = \frac{\sin\theta}{\cos\theta} = \frac{2t}{1 - t^2},\quad \sec \theta = \frac1{\cos\theta} = \frac{1 + t^2}{1 - t^2}, \\[10mu] &\sec \theta + \tan \theta = \frac{1 + 2t + t^2}{1 - t^2} = \frac{1 + t}{1 - t}. \end{align}</math>

Therefore the integral of the secant function is

<math>\begin{align}

\int \sec \theta \,d\theta &= \int \left( \frac{1 + t^2}{1 - t^2} \right)\!\left( \frac{2}{1 + t^2} \right) dt && t = \tan\frac{\theta}{2}\\[6pt] &= \int \frac{2}{(1 - t) (1 + t)} \, dt \\[6pt] &= \int \left( \frac{1}{1+t} + \frac{1}{1-t} \right) dt && \text{partial fraction decomposition} \\[6pt] &= \ln|1+t| - \ln|1-t| + C \\[6pt] &= \ln \left| \frac{1+t}{1-t}\right| + C\\[6pt] &= \ln | \sec \theta + \tan \theta| + C, \end{align}</math>

as before.

Non-standard

The integral can also be derived by using a somewhat non-standard version of the tangent half-angle substitution, which is simpler in the case of this particular integral, published in 2013,^[9] is as follows:

<math>\begin{align}

x &= \tan \left( \frac \pi 4 + \frac \theta 2 \right) \\[10pt] \frac{2x}{1+x^2} &= \frac{2 \tan \left( \frac \pi 4 + \frac \theta 2 \right)}{\sec^2 \left( \frac \pi 4 + \frac \theta 2 \right)} = 2\sin \left( \frac \pi 4 + \frac \theta 2 \right) \cos \left( \frac \pi 4 + \frac \theta 2 \right)\\[6pt] &=\sin \left(\frac{\pi}{2}+\theta \right)=\cos\theta &&\text{by the double-angle formula}\\[10pt] dx&=\frac12 \sec^2 \left(\frac{\pi}{4}+\frac{\theta}{2}\right)d\theta=\frac12 \left(1+x^2\right) d\theta\\[10pt] d\theta &=\frac{2}{1+x^2}\,dx. \end{align}</math> Substituting:

<math>\begin{align}

\int \sec\theta \, d\theta = \int \frac{1}{\cos\theta} \, d\theta & = \int \frac{1+x^2}{2x} \cdot \frac{2}{1+x^2} \,dx \\[6pt] &= \int \frac{1}{x} \,dx \\[6pt] &= \ln|x| + C \\[6pt] &= \ln\left| \tan\left( \frac \pi 4 + \frac \theta 2 \right) \right| + C. \end{align}</math>

By two successive substitutions

The integral can also be solved by manipulating the integrand and substituting twice. Using the definition Шаблон:Math and the identity Шаблон:Math, the integral can be rewritten as

<math>\int \sec \theta \, d\theta=\int \frac{1}{\cos \theta}\,d\theta = \int \frac{\cos \theta}{\cos^2 \theta}\,d\theta=\int \frac{\cos \theta}{1-\sin^2 \theta}\,d\theta.</math>

Substituting Шаблон:Math, Шаблон:Math reduces the integral to

The reduced integral can be evaluated by substituting Шаблон:Math, Шаблон:Math, and then using the identity Шаблон:Math.

<math>\int \frac{\operatorname{sech}^2 t}{1-\tanh^2 t}\,dt = \int \frac{\operatorname{sech}^2 t}{\operatorname{sech}^2 t} \, dt = \int dt.</math>

The integral is now reduced to a simple integral, and back-substituting gives

<math>\begin{align}

\int dt &= t+C \\ &=\operatorname{artanh} u+C \\[4pt] &=\operatorname{artanh}(\sin \theta)+C, \end{align}</math>

which is one of the hyperbolic forms of the integral.

A similar strategy can be used to integrate the cosecant, hyperbolic secant, and hyperbolic cosecant functions.

Other hyperbolic forms

It is also possible to find the other two hyperbolic forms directly, by again multiplying and dividing by a convenient term:

<math>\int \sec \theta \,d\theta=\int \frac{\sec^2 \theta}{\sec \theta} \,d\theta=\int \frac{\sec^2 \theta}{\pm\sqrt{1+\tan^2 \theta}} \,d\theta,</math>

where <math>\pm</math> stands for <math>\sgn(\cos \theta)</math> because <math>\sqrt{1+\tan^2 \theta} = |\sec\theta\,|.</math> Substituting Шаблон:Math, Шаблон:Math, reduces to a standard integral:

<math>\begin{align}

\int \frac{1}{\pm\sqrt{1+u^2}} \,du &=\pm\operatorname{arsinh} u+C \\ &=\sgn(\cos \theta)\operatorname{arsinh} \left( \tan \theta\right)+C, \end{align}</math>

where Шаблон:Math is the sign function.

Likewise:

<math>\int \sec \theta \,d\theta =\int \frac{\sec \theta \tan \theta}{\tan \theta} \,d\theta=\int \frac{\sec \theta \tan \theta}{\pm\sqrt{\sec^2 \theta-1}} \,d\theta.</math>

Substituting Шаблон:Math, Шаблон:Math, reduces to a standard integral:

<math>\begin{align}

\int \frac{1}{\pm\sqrt{u^2-1}} \,du &= \pm\operatorname{arcosh} u+C \\ &=\sgn(\sin \theta) \operatorname{arcosh} \left| \sec \theta\right|+C. \end{align}</math>

Using complex exponential form

Under the substitution <math>z = e^{i\theta},</math>

<math>\begin{align}

&\theta = -i \ln z,\quad d\theta = \frac{-i}z dz,\quad \cos \theta = \frac{z + z^{-1}}2,\quad \sin \theta = \frac{z - z^{-1}}{2i},\quad \\[5mu] &\sec \theta = \frac2{z + z^{-1}},\quad \tan \theta = -i\frac{z - z^{-1}}{z + z^{-1}},\quad \\[5mu] &\sec \theta + \tan \theta = -i\frac{2i + z - z^{-1}}{z + z^{-1}} = -i\frac{(z + i)(1 + iz^{-1})}{(z - i)(1 + iz^{-1})} = -i\frac{z + i}{z - i} \end{align}</math>

So the integral can be solved as:

<math>\begin{align}

\int \sec \theta \,d\theta &= \int \frac2{z + z^{-1}}\, \frac{-i}z dz && z = e^{i\theta} \\[5mu] &= \int \frac{-2i}{z^2 + 1} dz \\ &= \int \frac{1}{z+i} - \frac{1}{z-i} \,dz && \text{partial fraction decomposition} \\[5mu] &= \ln(z+i)-\ln(z-i) + C \\[5mu] &= \ln\frac{z + i}{z - i} + C \\[5mu] &= \ln\bigl(i(\sec \theta + \tan \theta)\bigr) + C \\[5mu] &= \ln(\sec \theta + \tan \theta) + \ln i + C \end{align}</math>

Because the constant of integration can be anything, the additional constant term can be absorbed into it. Finally, if theta is real-valued, we can indicate this with absolute value brackets in order to get the equation into its most familiar form:

<math>

\int \sec \theta \,d\theta = \ln\left|\tan\theta + \sec\theta\right| + C </math>

Gudermannian and Lambertian

Файл:Gudermannian function.png

The Gudermannian function relates the area of a circular sector to the area of a hyperbolic sector, via a common stereographic projection. If twice the area of the blue hyperbolic sector is Шаблон:Math, then twice the area of the red circular sector is Шаблон:Math. Twice the area of the purple triangle is the stereographic projection Шаблон:Math The blue point has coordinates Шаблон:Math. The red point has coordinates Шаблон:Math The purple point has coordinates Шаблон:Math

The integral of the hyperbolic secant function defines the Gudermannian function:

<math>\int_0^\psi \operatorname{sech} u \, du

=\operatorname{gd}\psi.</math>

The integral of the secant function defines the Lambertian function, which is the inverse of the Gudermannian function:

<math>\int_0^\varphi \sec t \, dt

=\operatorname{lam}\varphi =\operatorname{gd}^{-1}\varphi.</math>

These functions are encountered in the theory of map projections: the Mercator projection of a point on the sphere with longitude Шаблон:Mvar and latitude Шаблон:Mvar may be written^[10] as:

<math>(x,y) = \bigl(\lambda,\operatorname{lam}\varphi\bigr).</math>

Notes

Шаблон:Reflist

References

Шаблон:Calculus topics

↑ ^1,0 ^1,1 ^1,2 Ошибка цитирования Неверный тег <ref>; для сносок stewart не указан текст
↑ ^2,0 ^2,1 ^2,2 ^2,3 ^2,4 Ошибка цитирования Неверный тег <ref>; для сносок rickey-tuchinsky не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок wright не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок newton не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок handouts не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок gregory не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок barrow не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок stewart2 не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок hardy не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок lee не указан текст

[stewart-1] 1,0 ^1,1 ^1,2 Ошибка цитирования Неверный тег <ref>; для сносок stewart не указан текст

[rickey-tuchinsky-2] 2,0 ^2,1 ^2,2 ^2,3 ^2,4 Ошибка цитирования Неверный тег <ref>; для сносок rickey-tuchinsky не указан текст

[wright-3] Ошибка цитирования Неверный тег <ref>; для сносок wright не указан текст

[newton-4] Ошибка цитирования Неверный тег <ref>; для сносок newton не указан текст

[handouts-5] Ошибка цитирования Неверный тег <ref>; для сносок handouts не указан текст

[gregory-6] Ошибка цитирования Неверный тег <ref>; для сносок gregory не указан текст

[barrow-7] Ошибка цитирования Неверный тег <ref>; для сносок barrow не указан текст

[stewart2-8] Ошибка цитирования Неверный тег <ref>; для сносок stewart2 не указан текст

[hardy-9] Ошибка цитирования Неверный тег <ref>; для сносок hardy не указан текст

[lee-10] Ошибка цитирования Неверный тег <ref>; для сносок lee не указан текст

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Английская Википедия:Integral of the secant function

Содержание

Proof that the different antiderivatives are equivalent

Trigonometric forms

Hyperbolic forms

History

Evaluations

By a standard substitution (Gregory's approach)

By partial fractions and a substitution (Barrow's approach)

By the tangent half-angle substitution

Standard

Non-standard

By two successive substitutions

Other hyperbolic forms

Using complex exponential form

Gudermannian and Lambertian

See also

Notes

References

Навигация

Действия на странице

Действия на странице

Персональные инструменты

Навигация

Поиск

Инструменты