Why can the trig sub $x=cosh(theta)$ be used to solve the integral: $int frac{1}{(x^2-1)^{3/2}}dx$?











up vote
2
down vote

favorite
1












I thought that $theta$ must be chosen such that $cosh(theta)$ has a range that is equal to the domain of $frac{1}{(x^2-1)^{3/2}}$. But this can't be done since the domain includes negative numbers, and $cosh(theta)$ is always positive. If this substitution is made, the answer seems to be valid for all values of x, why does it work?










share|cite|improve this question






















  • It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
    – lab bhattacharjee
    Nov 20 at 14:15















up vote
2
down vote

favorite
1












I thought that $theta$ must be chosen such that $cosh(theta)$ has a range that is equal to the domain of $frac{1}{(x^2-1)^{3/2}}$. But this can't be done since the domain includes negative numbers, and $cosh(theta)$ is always positive. If this substitution is made, the answer seems to be valid for all values of x, why does it work?










share|cite|improve this question






















  • It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
    – lab bhattacharjee
    Nov 20 at 14:15













up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





I thought that $theta$ must be chosen such that $cosh(theta)$ has a range that is equal to the domain of $frac{1}{(x^2-1)^{3/2}}$. But this can't be done since the domain includes negative numbers, and $cosh(theta)$ is always positive. If this substitution is made, the answer seems to be valid for all values of x, why does it work?










share|cite|improve this question













I thought that $theta$ must be chosen such that $cosh(theta)$ has a range that is equal to the domain of $frac{1}{(x^2-1)^{3/2}}$. But this can't be done since the domain includes negative numbers, and $cosh(theta)$ is always positive. If this substitution is made, the answer seems to be valid for all values of x, why does it work?







calculus real-analysis integration indefinite-integrals






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 20 at 13:59









DinW

132




132












  • It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
    – lab bhattacharjee
    Nov 20 at 14:15


















  • It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
    – lab bhattacharjee
    Nov 20 at 14:15
















It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
– lab bhattacharjee
Nov 20 at 14:15




It's better to use $x=sec t,sqrt{x^2-1}=|tan t|$
– lab bhattacharjee
Nov 20 at 14:15










4 Answers
4






active

oldest

votes

















up vote
1
down vote



accepted










So there are singularities at $pm 1$, you have to avoid those. So let's consider finding an antiderivative valid on $(-infty,-1)$.



In fact $x=cosh(theta)$ is not valid there. The substitution really being used there is $x=-cosh(theta)$, so $dx=-sinh(theta) d theta$, so the integral becomes



$$int frac{1}{(cosh^2(theta)-1)^{3/2}} (-sinh(theta)) d theta.$$



The catch comes when you rewrite $(cosh^2(theta)-1)^{3/2}$ as just $sinh^3(theta)$. This is not strictly correct, in fact it is $|sinh^3(theta)|$ in general. On $(-infty,-1)$, this absolute value reduces to $-sinh^3(theta)$. The formula collapses back to the formula you would get for an antiderivative on $(1,infty)$ because this minus sign cancels out with the minus sign that came with $dx$.



This is relatively general, but I'm not sure whether pinning down exactly what happens in general will be helpful to you at this point.






share|cite|improve this answer























  • Thank you. This response had a lot of detail and answered my question.
    – DinW
    Nov 20 at 21:31




















up vote
3
down vote













If you look for a primitive in $(1,+infty)$,



put $$x=cosh(theta)$$



with $$dx=sinh(theta) dtheta$$



but if you want a primitive in $(-infty,-1)$, you should put
$$x=-cosh(theta)$$



with $$dx=-sinh(theta)dtheta$$






share|cite|improve this answer




























    up vote
    0
    down vote













    Part of it's because we're presumably only integrating over values of $x$ for which the integrand is real, i.e. $|x|ge 1$. Any work with complex numbers that lets you pose the question otherwise in the first place also lets you get a complex $operatorname{arcosh}x$ with $|x|<1$.






    share|cite|improve this answer




























      up vote
      0
      down vote













      $$I=intleft(x^2-1right)^{-3/2}dx$$
      we want this term $x^2-1$ to be simplified to a single term, so think of trig identities.:
      $$cos^2x+sin^2xequiv1,,cosh^2x-sinh^2xequiv1$$
      are the ones you need to know. since it is of the form $x^2-b^2$ rather than $b^2-x^2$ or $x^2+b^2$ we know to use hyperbolic functions. Manipulating the right rule, we obtain:
      $$sinh^2x=cosh^2x-1$$
      now we can use this. let:
      $x=cosh(t)$ and we get $dx=sinh(t)$ and rewrite the integral as:
      $$I=intleft(cosh^2(t)-1right)^{-3/2}.sinh(t)dt=int(sinh(t))^{-3}.sinh(t)dt=inttext{csch}^2(t)dt=-coth(t)+C$$






      share|cite|improve this answer





















      • Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
        – DinW
        Nov 21 at 1:22










      • It is a known option in examples like these where you have a fractional power of a second order polynomial
        – Henry Lee
        Nov 21 at 1:23











      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006337%2fwhy-can-the-trig-sub-x-cosh-theta-be-used-to-solve-the-integral-int-fra%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      1
      down vote



      accepted










      So there are singularities at $pm 1$, you have to avoid those. So let's consider finding an antiderivative valid on $(-infty,-1)$.



      In fact $x=cosh(theta)$ is not valid there. The substitution really being used there is $x=-cosh(theta)$, so $dx=-sinh(theta) d theta$, so the integral becomes



      $$int frac{1}{(cosh^2(theta)-1)^{3/2}} (-sinh(theta)) d theta.$$



      The catch comes when you rewrite $(cosh^2(theta)-1)^{3/2}$ as just $sinh^3(theta)$. This is not strictly correct, in fact it is $|sinh^3(theta)|$ in general. On $(-infty,-1)$, this absolute value reduces to $-sinh^3(theta)$. The formula collapses back to the formula you would get for an antiderivative on $(1,infty)$ because this minus sign cancels out with the minus sign that came with $dx$.



      This is relatively general, but I'm not sure whether pinning down exactly what happens in general will be helpful to you at this point.






      share|cite|improve this answer























      • Thank you. This response had a lot of detail and answered my question.
        – DinW
        Nov 20 at 21:31

















      up vote
      1
      down vote



      accepted










      So there are singularities at $pm 1$, you have to avoid those. So let's consider finding an antiderivative valid on $(-infty,-1)$.



      In fact $x=cosh(theta)$ is not valid there. The substitution really being used there is $x=-cosh(theta)$, so $dx=-sinh(theta) d theta$, so the integral becomes



      $$int frac{1}{(cosh^2(theta)-1)^{3/2}} (-sinh(theta)) d theta.$$



      The catch comes when you rewrite $(cosh^2(theta)-1)^{3/2}$ as just $sinh^3(theta)$. This is not strictly correct, in fact it is $|sinh^3(theta)|$ in general. On $(-infty,-1)$, this absolute value reduces to $-sinh^3(theta)$. The formula collapses back to the formula you would get for an antiderivative on $(1,infty)$ because this minus sign cancels out with the minus sign that came with $dx$.



      This is relatively general, but I'm not sure whether pinning down exactly what happens in general will be helpful to you at this point.






      share|cite|improve this answer























      • Thank you. This response had a lot of detail and answered my question.
        – DinW
        Nov 20 at 21:31















      up vote
      1
      down vote



      accepted







      up vote
      1
      down vote



      accepted






      So there are singularities at $pm 1$, you have to avoid those. So let's consider finding an antiderivative valid on $(-infty,-1)$.



      In fact $x=cosh(theta)$ is not valid there. The substitution really being used there is $x=-cosh(theta)$, so $dx=-sinh(theta) d theta$, so the integral becomes



      $$int frac{1}{(cosh^2(theta)-1)^{3/2}} (-sinh(theta)) d theta.$$



      The catch comes when you rewrite $(cosh^2(theta)-1)^{3/2}$ as just $sinh^3(theta)$. This is not strictly correct, in fact it is $|sinh^3(theta)|$ in general. On $(-infty,-1)$, this absolute value reduces to $-sinh^3(theta)$. The formula collapses back to the formula you would get for an antiderivative on $(1,infty)$ because this minus sign cancels out with the minus sign that came with $dx$.



      This is relatively general, but I'm not sure whether pinning down exactly what happens in general will be helpful to you at this point.






      share|cite|improve this answer














      So there are singularities at $pm 1$, you have to avoid those. So let's consider finding an antiderivative valid on $(-infty,-1)$.



      In fact $x=cosh(theta)$ is not valid there. The substitution really being used there is $x=-cosh(theta)$, so $dx=-sinh(theta) d theta$, so the integral becomes



      $$int frac{1}{(cosh^2(theta)-1)^{3/2}} (-sinh(theta)) d theta.$$



      The catch comes when you rewrite $(cosh^2(theta)-1)^{3/2}$ as just $sinh^3(theta)$. This is not strictly correct, in fact it is $|sinh^3(theta)|$ in general. On $(-infty,-1)$, this absolute value reduces to $-sinh^3(theta)$. The formula collapses back to the formula you would get for an antiderivative on $(1,infty)$ because this minus sign cancels out with the minus sign that came with $dx$.



      This is relatively general, but I'm not sure whether pinning down exactly what happens in general will be helpful to you at this point.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Nov 20 at 14:15

























      answered Nov 20 at 14:09









      Ian

      67k25084




      67k25084












      • Thank you. This response had a lot of detail and answered my question.
        – DinW
        Nov 20 at 21:31




















      • Thank you. This response had a lot of detail and answered my question.
        – DinW
        Nov 20 at 21:31


















      Thank you. This response had a lot of detail and answered my question.
      – DinW
      Nov 20 at 21:31






      Thank you. This response had a lot of detail and answered my question.
      – DinW
      Nov 20 at 21:31












      up vote
      3
      down vote













      If you look for a primitive in $(1,+infty)$,



      put $$x=cosh(theta)$$



      with $$dx=sinh(theta) dtheta$$



      but if you want a primitive in $(-infty,-1)$, you should put
      $$x=-cosh(theta)$$



      with $$dx=-sinh(theta)dtheta$$






      share|cite|improve this answer

























        up vote
        3
        down vote













        If you look for a primitive in $(1,+infty)$,



        put $$x=cosh(theta)$$



        with $$dx=sinh(theta) dtheta$$



        but if you want a primitive in $(-infty,-1)$, you should put
        $$x=-cosh(theta)$$



        with $$dx=-sinh(theta)dtheta$$






        share|cite|improve this answer























          up vote
          3
          down vote










          up vote
          3
          down vote









          If you look for a primitive in $(1,+infty)$,



          put $$x=cosh(theta)$$



          with $$dx=sinh(theta) dtheta$$



          but if you want a primitive in $(-infty,-1)$, you should put
          $$x=-cosh(theta)$$



          with $$dx=-sinh(theta)dtheta$$






          share|cite|improve this answer












          If you look for a primitive in $(1,+infty)$,



          put $$x=cosh(theta)$$



          with $$dx=sinh(theta) dtheta$$



          but if you want a primitive in $(-infty,-1)$, you should put
          $$x=-cosh(theta)$$



          with $$dx=-sinh(theta)dtheta$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 20 at 14:06









          hamam_Abdallah

          37.3k21634




          37.3k21634






















              up vote
              0
              down vote













              Part of it's because we're presumably only integrating over values of $x$ for which the integrand is real, i.e. $|x|ge 1$. Any work with complex numbers that lets you pose the question otherwise in the first place also lets you get a complex $operatorname{arcosh}x$ with $|x|<1$.






              share|cite|improve this answer

























                up vote
                0
                down vote













                Part of it's because we're presumably only integrating over values of $x$ for which the integrand is real, i.e. $|x|ge 1$. Any work with complex numbers that lets you pose the question otherwise in the first place also lets you get a complex $operatorname{arcosh}x$ with $|x|<1$.






                share|cite|improve this answer























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  Part of it's because we're presumably only integrating over values of $x$ for which the integrand is real, i.e. $|x|ge 1$. Any work with complex numbers that lets you pose the question otherwise in the first place also lets you get a complex $operatorname{arcosh}x$ with $|x|<1$.






                  share|cite|improve this answer












                  Part of it's because we're presumably only integrating over values of $x$ for which the integrand is real, i.e. $|x|ge 1$. Any work with complex numbers that lets you pose the question otherwise in the first place also lets you get a complex $operatorname{arcosh}x$ with $|x|<1$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 20 at 14:17









                  J.G.

                  20.5k21933




                  20.5k21933






















                      up vote
                      0
                      down vote













                      $$I=intleft(x^2-1right)^{-3/2}dx$$
                      we want this term $x^2-1$ to be simplified to a single term, so think of trig identities.:
                      $$cos^2x+sin^2xequiv1,,cosh^2x-sinh^2xequiv1$$
                      are the ones you need to know. since it is of the form $x^2-b^2$ rather than $b^2-x^2$ or $x^2+b^2$ we know to use hyperbolic functions. Manipulating the right rule, we obtain:
                      $$sinh^2x=cosh^2x-1$$
                      now we can use this. let:
                      $x=cosh(t)$ and we get $dx=sinh(t)$ and rewrite the integral as:
                      $$I=intleft(cosh^2(t)-1right)^{-3/2}.sinh(t)dt=int(sinh(t))^{-3}.sinh(t)dt=inttext{csch}^2(t)dt=-coth(t)+C$$






                      share|cite|improve this answer





















                      • Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                        – DinW
                        Nov 21 at 1:22










                      • It is a known option in examples like these where you have a fractional power of a second order polynomial
                        – Henry Lee
                        Nov 21 at 1:23















                      up vote
                      0
                      down vote













                      $$I=intleft(x^2-1right)^{-3/2}dx$$
                      we want this term $x^2-1$ to be simplified to a single term, so think of trig identities.:
                      $$cos^2x+sin^2xequiv1,,cosh^2x-sinh^2xequiv1$$
                      are the ones you need to know. since it is of the form $x^2-b^2$ rather than $b^2-x^2$ or $x^2+b^2$ we know to use hyperbolic functions. Manipulating the right rule, we obtain:
                      $$sinh^2x=cosh^2x-1$$
                      now we can use this. let:
                      $x=cosh(t)$ and we get $dx=sinh(t)$ and rewrite the integral as:
                      $$I=intleft(cosh^2(t)-1right)^{-3/2}.sinh(t)dt=int(sinh(t))^{-3}.sinh(t)dt=inttext{csch}^2(t)dt=-coth(t)+C$$






                      share|cite|improve this answer





















                      • Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                        – DinW
                        Nov 21 at 1:22










                      • It is a known option in examples like these where you have a fractional power of a second order polynomial
                        – Henry Lee
                        Nov 21 at 1:23













                      up vote
                      0
                      down vote










                      up vote
                      0
                      down vote









                      $$I=intleft(x^2-1right)^{-3/2}dx$$
                      we want this term $x^2-1$ to be simplified to a single term, so think of trig identities.:
                      $$cos^2x+sin^2xequiv1,,cosh^2x-sinh^2xequiv1$$
                      are the ones you need to know. since it is of the form $x^2-b^2$ rather than $b^2-x^2$ or $x^2+b^2$ we know to use hyperbolic functions. Manipulating the right rule, we obtain:
                      $$sinh^2x=cosh^2x-1$$
                      now we can use this. let:
                      $x=cosh(t)$ and we get $dx=sinh(t)$ and rewrite the integral as:
                      $$I=intleft(cosh^2(t)-1right)^{-3/2}.sinh(t)dt=int(sinh(t))^{-3}.sinh(t)dt=inttext{csch}^2(t)dt=-coth(t)+C$$






                      share|cite|improve this answer












                      $$I=intleft(x^2-1right)^{-3/2}dx$$
                      we want this term $x^2-1$ to be simplified to a single term, so think of trig identities.:
                      $$cos^2x+sin^2xequiv1,,cosh^2x-sinh^2xequiv1$$
                      are the ones you need to know. since it is of the form $x^2-b^2$ rather than $b^2-x^2$ or $x^2+b^2$ we know to use hyperbolic functions. Manipulating the right rule, we obtain:
                      $$sinh^2x=cosh^2x-1$$
                      now we can use this. let:
                      $x=cosh(t)$ and we get $dx=sinh(t)$ and rewrite the integral as:
                      $$I=intleft(cosh^2(t)-1right)^{-3/2}.sinh(t)dt=int(sinh(t))^{-3}.sinh(t)dt=inttext{csch}^2(t)dt=-coth(t)+C$$







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered Nov 20 at 23:51









                      Henry Lee

                      1,684218




                      1,684218












                      • Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                        – DinW
                        Nov 21 at 1:22










                      • It is a known option in examples like these where you have a fractional power of a second order polynomial
                        – Henry Lee
                        Nov 21 at 1:23


















                      • Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                        – DinW
                        Nov 21 at 1:22










                      • It is a known option in examples like these where you have a fractional power of a second order polynomial
                        – Henry Lee
                        Nov 21 at 1:23
















                      Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                      – DinW
                      Nov 21 at 1:22




                      Hi, thanks for the response. I asking more about the choice for the substitution than how to solve the integral itself. Since, the range of cosh(x) doesn't equal the domain of the function that is being integrated.
                      – DinW
                      Nov 21 at 1:22












                      It is a known option in examples like these where you have a fractional power of a second order polynomial
                      – Henry Lee
                      Nov 21 at 1:23




                      It is a known option in examples like these where you have a fractional power of a second order polynomial
                      – Henry Lee
                      Nov 21 at 1:23


















                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006337%2fwhy-can-the-trig-sub-x-cosh-theta-be-used-to-solve-the-integral-int-fra%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Probability when a professor distributes a quiz and homework assignment to a class of n students.

                      Aardman Animations

                      Are they similar matrix