Integral of the secant function
Part of a series of articles about |
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]\displaystyle{ \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]\displaystyle{ 0 }[/math] is the inverse Gudermannian function, [math]\displaystyle{ \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 arsinh is numerically well behaved for real arguments [math]\displaystyle{ |\phi| \lt \tfrac12\pi }[/math]:[2]
- [math]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ t = \tan\tfrac12 \theta }[/math] to each of the three forms, and show them equivalent to the same expression in terms of [math]\displaystyle{ t. }[/math] Under this substitution [math]\displaystyle{ \cos \theta = (1 - t^2)\big/(1 + t^2) }[/math] and [math]\displaystyle{ \sin \theta = 2t \big/(1 + t^2). }[/math]
First,
- [math]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ \tan(\phi + \psi) = (\tan\phi + \tan\psi) \big/ (1 - \tan\phi\,\tan\psi), }[/math]
- [math]\displaystyle{ \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]\displaystyle{ \varphi }[/math] lies between [math]\displaystyle{ -\tfrac12\pi }[/math] and [math]\displaystyle{ \tfrac12\pi }[/math],
- [math]\displaystyle{ y = \ln\,{\tan}\biggl(\frac\varphi2 + \frac\pi4\biggr). }[/math]
Hyperbolic forms
Let
- [math]\displaystyle{ \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]\displaystyle{ \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
The integral of the secant function was one of the "outstanding open problems of the mid-seventeenth century", solved in 1668 by James Gregory.[3] 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.[4] He wanted the solution for the purposes of cartography – specifically for constructing an accurate Mercator projection.[3] 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[3]
- [math]\displaystyle{ \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.[5]
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 sec θ + tan θ and then using the substitution u = sec θ + tan θ. This substitution can be obtained from the derivatives of secant and tangent added together, which have secant as a common factor.[6]
Starting with
- [math]\displaystyle{ \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]\displaystyle{ \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 sec θ. This enables multiplying sec θ by sec θ + tan θ in the numerator and denominator and performing the following substitutions:
- [math]\displaystyle{ \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]\displaystyle{ \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,[7] 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,[8] gave the first "intelligible" proof, though even that was "couched in the geometric idiom of the day."[3] Barrow's proof of the result was the earliest use of partial fractions in integration.[3] Adapted to modern notation, Barrow's proof began as follows:
- [math]\displaystyle{ \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 u = sin θ, du = cos θ dθ, reduces the integral to
- [math]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ 1 + \sin \theta }[/math] and [math]\displaystyle{ 1 - \sin \theta }[/math] are always non-negative for real values of [math]\displaystyle{ \theta. }[/math]
By the tangent half-angle substitution
Standard
Under the tangent half-angle substitution [math]\displaystyle{ t = \tan\tfrac12\theta, }[/math][9]
- [math]\displaystyle{ \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]\displaystyle{ \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,[10] is as follows:
- [math]\displaystyle{ \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]\displaystyle{ \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 sec θ = 1/cos θ and the identity cos2 θ + sin2 θ = 1, the integral can be rewritten as
- [math]\displaystyle{ \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 u = sin θ, du = cos θ dθ reduces the integral to
- [math]\displaystyle{ \int \frac{1}{1-u^2} \, du. }[/math]
The reduced integral can be evaluated by substituting u = tanh t, du = sech2 t dt, and then using the identity 1 − tanh2 t = sech2 t.
- [math]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ \pm }[/math] stands for [math]\displaystyle{ \sgn(\cos \theta) }[/math] because [math]\displaystyle{ \sqrt{1+\tan^2 \theta} = |\sec\theta\,|. }[/math] Substituting u = tan θ, du = sec2 θ dθ, reduces to a standard integral:
- [math]\displaystyle{ \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 sgn is the sign function.
Likewise:
- [math]\displaystyle{ \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 u = |sec θ|, du = |sec θ| tan θ dθ, reduces to a standard integral:
- [math]\displaystyle{ \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]\displaystyle{ z = e^{i\theta}, }[/math]
- [math]\displaystyle{ \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]\displaystyle{ \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]\displaystyle{ \int \sec \theta \,d\theta = \ln\left|\tan\theta + \sec\theta\right| + C }[/math]
Gudermannian and Lambertian
![](/wiki/images/thumb/f/fd/Gudermannian_function.png/380px-Gudermannian_function.png)
The integral of the hyperbolic secant function defines the Gudermannian function:
- [math]\displaystyle{ \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]\displaystyle{ \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 λ and latitude ϕ may be written[11] as:
- [math]\displaystyle{ (x,y) = \bigl(\lambda,\operatorname{lam}\varphi\bigr). }[/math]
See also
Notes
- ↑ 1.0 1.1 1.2 Stewart, James (2012). "Section 7.2: Trigonometric Integrals". Calculus - Early Transcendentals. Cengage Learning. pp. 475-6. ISBN 978-0-538-49790-9.
- ↑ For example this form is used in Karney, Charles F.F. (2011). "Transverse Mercator with an accuracy of a few nanometers.". Journal of Geodesy 85: 475-485.
- ↑ 3.0 3.1 3.2 3.3 3.4 V. Frederick Rickey and Philip M. Tuchinsky, An Application of Geography to Mathematics: History of the Integral of the Secant in Mathematics Magazine, volume 53, number 3, May 1980, pages 162–166.
- ↑ Edward Wright, Certaine Errors in Navigation, Arising either of the ordinaire erroneous making or vsing of the sea Chart, Compasse, Crosse staffe, and Tables of declination of the Sunne, and fixed Starres detected and corrected, Valentine Simms, London, 1599.
- ↑ H. W. Turnbull, editor, The Correspondence of Isaac Newton, Cambridge University Press, 1959–1960, volume 1, pages 13–16 and volume 2, pages 99–100.
D. T. Whiteside, editor, The Mathematical Papers of Isaac Newton, Cambridge University Press, 1967, volume 1, pages 466–467 and 473–475.
- ↑
Feldman, Joel. "Integration of sec x and sec3 x". https://www.math.ubc.ca/~feldman/m121/secx.pdf.
"Integral of Secant". https://ocw.mit.edu/courses/18-01sc-single-variable-calculus-fall-2010/resources/mit18_01scf10_ses71c/.
- ↑ Gregory, James (1668). "Analogia Inter Lineam Meridianam Planispherii Nautici & Tangentes Artificiales Geometricè Demonstrata, &c." (in la). Exercitationes Geometricae. Moses Pitt. pp. 14–24. https://archive.org/details/ita-bnc-mag-00001357-002/page/n27/.
- ↑ Barrow, Isaac (1674). "Lectiones geometricae: XII, Appendicula I". Lectiones Opticae & Geometricae. Typis Guilielmi Godbid. pp. 110–114. https://archive.org/details/lectionesoptic00barr/page/110/. In English, Barrow, Isaac (1916). "Lecture XII, Appendix I". The Geometrical Lectures of Isaac Barrow. Open Court. pp. 165–169. https://archive.org/details/geometricallectu00barr/page/165.
- ↑ Stewart, James (2012). "Section 7.4: Integration of Rational Functions by Partial Fractions". Calculus: Early Transcendentals (7th ed.). Belmont, CA, USA: Cengage Learning. pp. 493. ISBN 978-0-538-49790-9. https://archive.org/details/singlevariableca00stew_704.
- ↑ Hardy, Michael (2013). "Efficiency in Antidifferentiation of the Secant Function". American Mathematical Monthly 120 (6): 580. https://www.tandfonline.com/doi/abs/10.4169/amer.math.monthly.120.06.580.
- ↑ Lee, Laurence Patrick (1976). Conformal Projections Based on Elliptic Functions. Cartographica Monograph. 16. University of Toronto Press. ISBN 9780919870161. https://archive.org/details/conformalproject0000leel.
References
- Maseres, Francis, ed (1791). Scriptores Logarithmici; Or, A Collection of Several Curious Tracts on the Nature and Construction of Logarithms. 2. J. Davis. https://archive.org/details/scriptoreslogari02mase/.
- Strauss, Simon W. (1980). "The Integrals [math]\displaystyle{ \int\sec x\,dx }[/math] and [math]\displaystyle{ \int\csc x\,dx }[/math] Revisited". Journal of the Washington Academy of Sciences 70 (4): 137–143.
![]() | Original source: https://en.wikipedia.org/wiki/Integral of the secant function.
Read more |