CP 8.5 - Integrals giving inverse hyperbolic functions

CP 8.5 - Integrals giving inverse hyperbolic functions

Recognise reciprocal square-root integrals giving arsinh⁡\operatorname{arsinh} or arcosh⁡\operatorname{arcosh}, and choose hyperbolic substitutions for associated integrals (CP 8.5). Completing the square reveals the structure; the real domain and the sign of a square root determine the correct branch.

A sum of squares gives arsinh

Why does

∫dxx2+4\int\frac{\mathrm dx}{\sqrt{x^2+4}}

give an inverse hyperbolic sine, while changing the plus sign to a minus sign gives a different inverse and a restricted domain? The right substitution turns the square root into a single hyperbolic factor, which cancels against the differential.

For a sum of squares, cosh⁡2t−sinh⁡2t=1\cosh^2t-\sinh^2t=1 rearranges to 1+sinh⁡2t=cosh⁡2t1+\sinh^2t=\cosh^2t. This suggests x=asinh⁡tx=a\sinh t when a>0a>0.

You already know

Substitution changes the differential as well as the integrand; inverse trigonometric integrals have different denominator structures, as in ∫(a2−x2)−1/2 dx=arcsin⁡(x/a)+C\int(a^2-x^2)^{-1/2}\,\mathrm dx=\arcsin(x/a)+C. From hyperbolic functions, cosh⁡2t−sinh⁡2t=1\cosh^2t-\sinh^2t=1, cosh⁡t>0\cosh t>0, and the inverse logarithmic forms have specific real domains.

With x=asinh⁡tx=a\sinh t,

dx=acosh⁡t dtdifferentiate the substitutionx2+a2=a1+sinh⁡2t=acosh⁡tcosh⁡t>0∫dxx2+a2=∫1 dt=t+Ccancel identical factors\begin{aligned} \mathrm dx&=a\cosh t\,\mathrm dt && \text{differentiate the substitution}\\ \sqrt{x^2+a^2}&=a\sqrt{1+\sinh^2t}=a\cosh t && \cosh t>0\\ \int\frac{\mathrm dx}{\sqrt{x^2+a^2}} &=\int1\,\mathrm dt=t+C && \text{cancel identical factors} \end{aligned}

Since t=arsinh⁡(x/a)t=\operatorname{arsinh}(x/a), this yields the standard result for every real xx.

The reciprocal sum-of-squares square root

For a>0a>0 and real xx,

∫dxx2+a2=arsinh⁡(xa)+C\int\frac{\mathrm dx}{\sqrt{x^2+a^2}} =\operatorname{arsinh}\left(\frac xa\right)+C

An equivalent logarithmic answer is ln⁡(x+x2+a2)+C\ln(x+\sqrt{x^2+a^2})+C. The inverse form contains an additional constant −ln⁡a-\ln a, which is absorbed into the arbitrary integration constant.

In the formula booklet.

The cancellation explains why no factor 1/a1/a appears outside the inverse. A separate scale multiplying xx, however, still creates its own differential factor.

Worked example 1: a standard sum of squares

Question. Find ∫(x2+9)−1/2 dx\int(x^2+9)^{-1/2}\,\mathrm dx.

Plan. Use x=3sinh⁡tx=3\sinh t, which makes the radical 3cosh⁡t3\cosh t.

x=3sinh⁡t,dx=3cosh⁡t dtchosen substitutionx2+9=3cosh⁡tfundamental identity∫dxx2+9=∫1 dt=arsinh⁡x3+Ccancel and return\begin{aligned} x&=3\sinh t,\qquad \mathrm dx=3\cosh t\,\mathrm dt && \text{chosen substitution}\\ \sqrt{x^2+9}&=3\cosh t && \text{fundamental identity}\\ \int\frac{\mathrm dx}{\sqrt{x^2+9}} &=\int1\,\mathrm dt=\operatorname{arsinh}\frac x3+C && \text{cancel and return} \end{aligned}

Why this step? Both the square root and differential contain the same factor 3cosh⁡t3\cosh t; there is no leftover 1/31/3.

Answer. arsinh⁡(x/3)+C\operatorname{arsinh}(x/3)+C, for all real xx.

Check. Differentiating the inverse form gives (1/3)/1+x2/9=1/x2+9(1/3)/\sqrt{1+x^2/9}=1/\sqrt{x^2+9}.

Change only the coefficient of x2x^2. The radical now contains 2x2x, so scaling the variable contributes an outside factor.

Worked example 2: a scale inside the radical

Question. Find ∫(4x2+9)−1/2 dx\int(4x^2+9)^{-1/2}\,\mathrm dx.

Plan. Put u=2xu=2x, then apply the standard sum-of-squares result.

u=2x,dx=12 duscale the variable∫dx4x2+9=12∫duu2+9include the differential factor=12arsinh⁡(2x3)+Cstandard result\begin{aligned} u&=2x,\qquad \mathrm dx=\frac12\,\mathrm du && \text{scale the variable}\\ \int\frac{\mathrm dx}{\sqrt{4x^2+9}} &=\frac12\int\frac{\mathrm du}{\sqrt{u^2+9}} && \text{include the differential factor}\\ &=\frac12\operatorname{arsinh}\left(\frac{2x}{3}\right)+C && \text{standard result} \end{aligned}

Why this step? The factor 1/21/2 comes from replacing xx by u/2u/2, not from the radius parameter 33.

Answer. 12arsinh⁡(2x/3)+C\frac12\operatorname{arsinh}(2x/3)+C, for all real xx.

Check. Differentiation gives

122/31+4x2/9=14x2+9\frac12\frac{2/3}{\sqrt{1+4x^2/9}}=\frac1{\sqrt{4x^2+9}}

Compare the whole denominator before choosing an inverse. A reciprocal sum of squares without a square root gives an arctangent form, not this arsinh⁡\operatorname{arsinh} form.

Watch out

Wrong: ∫(x2+9)−1/2 dx=13arsinh⁡(x/3)+C\int(x^2+9)^{-1/2}\,\mathrm dx=\frac13\operatorname{arsinh}(x/3)+C. Differentiation leaves an unwanted 1/31/3. Right: arsinh⁡(x/3)+C\operatorname{arsinh}(x/3)+C.

Match a new pair of scales.

A difference of squares and its branches

The reciprocal square root of x2−a2x^2-a^2 is real only on the two exterior intervals x>ax>a and x<−ax<-a, and the substitution must respect which interval you are using.

On x>a>0x>a>0, put x=acosh⁡tx=a\cosh t with t>0t>0. Then

dx=asinh⁡t dtdifferentiatex2−a2=asinh⁡2t=asinh⁡tt>0∫dxx2−a2=∫1 dt=arcosh⁡xa+Ccancel and return\begin{aligned} \mathrm dx&=a\sinh t\,\mathrm dt && \text{differentiate}\\ \sqrt{x^2-a^2}&=a\sqrt{\sinh^2t}=a\sinh t && t>0\\ \int\frac{\mathrm dx}{\sqrt{x^2-a^2}} &=\int1\,\mathrm dt=\operatorname{arcosh}\frac xa+C && \text{cancel and return} \end{aligned}

The strict domain excludes x=ax=a, where the reciprocal integrand is undefined.

The positive exterior branch

For a>0a>0 and x>ax>a,

∫dxx2−a2=arcosh⁡(xa)+C\int\frac{\mathrm dx}{\sqrt{x^2-a^2}} =\operatorname{arcosh}\left(\frac xa\right)+C

An equivalent logarithmic primitive is ln⁡(x+x2−a2)+C\ln(x+\sqrt{x^2-a^2})+C, with the constant shift absorbed.

In the formula booklet.

For x<−ax<-a, the real integrand still exists, but x/a<−1x/a<-1 is outside the domain of arcosh⁡\operatorname{arcosh}. Instead put x=−acosh⁡tx=-a\cosh t, t>0t>0. The square root is still asinh⁡t>0a\sinh t>0, while dx=−asinh⁡t dt\mathrm dx=-a\sinh t\,\mathrm dt. Their quotient is now −dt-\mathrm dt.

The negative exterior branch

For a>0a>0 and x<−ax<-a,

∫dxx2−a2=−arcosh⁡(−xa)+C\int\frac{\mathrm dx}{\sqrt{x^2-a^2}} =-\operatorname{arcosh}\left(\frac{-x}{a}\right)+C

On either exterior interval, a logarithmic primitive is

ln⁡∣x+x2−a2∣+C\ln\left|x+\sqrt{x^2-a^2}\right|+C

The two intervals may have different arbitrary constants. This extends the booklet's stated x>ax>a form.

Not in the formula booklet: learn it.

The minus sign in the negative branch makes its derivative positive, as the original integrand is positive on both intervals. Simply writing arcosh⁡(−x/a)\operatorname{arcosh}(-x/a) without that minus sign would produce a negative derivative.

[DIAGRAM: asset_name: Domains of reciprocal square-root integrands; asset_slug: 9fm0-hyperbolic-integral-domains; caption: A sum of squares permits every real input; a difference permits only the two exterior intervals; description: Two Cartesian panels show y equals one over root of x squared plus 4 as a smooth positive curve for all real x, and y equals one over root of x squared minus 4 as two positive exterior branches with vertical asymptotes x equals minus 2 and x equals 2. The interval between those asymptotes is pale grey and labelled no real integrand; neither endpoint belongs to the domain.]
A sum of squares permits every real input

Worked example 3: the positive branch

Question. Find ∫(x2−9)−1/2 dx\int(x^2-9)^{-1/2}\,\mathrm dx, for x>3x>3.

Plan. Put x=3cosh⁡tx=3\cosh t, with t>0t>0, so the radical and differential share a positive factor.

dx=3sinh⁡t dt,x2−9=3sinh⁡tt>0∫dxx2−9=∫1 dt=t+Ccancel=arcosh⁡x3+Cpositive inverse branch\begin{aligned} \mathrm dx&=3\sinh t\,\mathrm dt,\qquad \sqrt{x^2-9}=3\sinh t && t>0\\ \int\frac{\mathrm dx}{\sqrt{x^2-9}} &=\int1\,\mathrm dt=t+C && \text{cancel}\\ &=\operatorname{arcosh}\frac x3+C && \text{positive inverse branch} \end{aligned}

Why this step? The restriction t>0t>0 justifies replacing sinh⁡2t\sqrt{\sinh^2t} by sinh⁡t\sinh t, instead of an absolute value with unknown sign.

Answer. arcosh⁡(x/3)+C\operatorname{arcosh}(x/3)+C, for x>3x>3.

Check. Its derivative is (1/3)/x2/9−1=1/x2−9(1/3)/\sqrt{x^2/9-1}=1/\sqrt{x^2-9}.

Change only the interval of xx. The radicand is unchanged, but the substitution and the inverse answer acquire the appropriate signs.

Worked example 4: the negative branch

Question. Find ∫(x2−9)−1/2 dx\int(x^2-9)^{-1/2}\,\mathrm dx, for x<−3x<-3.

Plan. Use x=−3cosh⁡tx=-3\cosh t, t>0t>0, so that the inverse's input is positive.

dx=−3sinh⁡t dt,x2−9=3sinh⁡tt>0∫dxx2−9=−∫1 dt=−t+Cretain the differential sign=−arcosh⁡(−x3)+Creturn to x\begin{aligned} \mathrm dx&=-3\sinh t\,\mathrm dt,\qquad \sqrt{x^2-9}=3\sinh t && t>0\\ \int\frac{\mathrm dx}{\sqrt{x^2-9}} &=-\int1\,\mathrm dt=-t+C && \text{retain the differential sign}\\ &=-\operatorname{arcosh}\left(\frac{-x}{3}\right)+C && \text{return to }x \end{aligned}

Why this step? The square root is a non-negative length; its sign does not follow the negative sign of xx. That sign belongs in the differential.

Answer. −arcosh⁡(−x/3)+C-\operatorname{arcosh}(-x/3)+C, for x<−3x<-3.

Check. Differentiating gives

−−1/3x2/9−1=1x2−9-\frac{-1/3}{\sqrt{x^2/9-1}}=\frac1{\sqrt{x^2-9}}

At x=−5x=-5, this is 1/4>01/4>0.

The same sign issue underlies u2=∣u∣\sqrt{u^2}=|u|. Choosing a range for the substitution before simplifying the radical prevents a later branch correction from being forgotten.

Watch out

Wrong: arcosh⁡(x/a)\operatorname{arcosh}(x/a) on x<−ax<-a. That inverse has no real value there. Right: use the negative-branch answer, or the logarithmic primitive with an absolute value, and state the interval.

Use a new parameter on the negative interval.

Completing the square and choosing a substitution

A quadratic expression may hide its sum or difference of squares, so complete the square before selecting an inverse or a substitution.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account