Integrals with the special functions $Ci(x)$ and $erf(x)$












2












$begingroup$


I'm looking for the solutions of the following two integrals:



$$I_1=intlimits_0^infty dx, e^{-x^2}text{Ci}(ax)$$
and
$$I_2=intlimits_0^infty dx, e^{-ax}text{erf}(x)$$
with
$$text{Ci}(x)=intlimits_infty^xfrac{cos(t)}{t}dt$$
and
$$text{erf}(x)=frac{2}{sqrt{pi}}intlimits_0^xe^{-t^2}dt$$



Now I'm not 100% sure what is meant by "the solution of the integrals" since these will probably be not-evaluable. But I'm guessing that the question is to reduce the expression to one single special function in stead of the integral of a special function with an elementary function.



Mathematica yields me the answers:
$$I_1=-frac{sqrt{pi}}{4}Gammaleft(0,frac{a^2}{4}right)$$
and
$$I_2=expleft(frac{a^2}{4}right)frac{1-text{erf}(a/2)}{a}$$



A good first step for evaluating these integrals $I_1$ and $I_2$ seemed to fill in the integral representations of these special functions and try to switch te integrals over $x$ and $t$. However this has not (yet) been a success. I also tried to find a differential equation for these integrals, but also this was not so easy to do. Are there any tips/tricks to evaluate these integrals ?










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    I'm looking for the solutions of the following two integrals:



    $$I_1=intlimits_0^infty dx, e^{-x^2}text{Ci}(ax)$$
    and
    $$I_2=intlimits_0^infty dx, e^{-ax}text{erf}(x)$$
    with
    $$text{Ci}(x)=intlimits_infty^xfrac{cos(t)}{t}dt$$
    and
    $$text{erf}(x)=frac{2}{sqrt{pi}}intlimits_0^xe^{-t^2}dt$$



    Now I'm not 100% sure what is meant by "the solution of the integrals" since these will probably be not-evaluable. But I'm guessing that the question is to reduce the expression to one single special function in stead of the integral of a special function with an elementary function.



    Mathematica yields me the answers:
    $$I_1=-frac{sqrt{pi}}{4}Gammaleft(0,frac{a^2}{4}right)$$
    and
    $$I_2=expleft(frac{a^2}{4}right)frac{1-text{erf}(a/2)}{a}$$



    A good first step for evaluating these integrals $I_1$ and $I_2$ seemed to fill in the integral representations of these special functions and try to switch te integrals over $x$ and $t$. However this has not (yet) been a success. I also tried to find a differential equation for these integrals, but also this was not so easy to do. Are there any tips/tricks to evaluate these integrals ?










    share|cite|improve this question











    $endgroup$















      2












      2








      2


      1



      $begingroup$


      I'm looking for the solutions of the following two integrals:



      $$I_1=intlimits_0^infty dx, e^{-x^2}text{Ci}(ax)$$
      and
      $$I_2=intlimits_0^infty dx, e^{-ax}text{erf}(x)$$
      with
      $$text{Ci}(x)=intlimits_infty^xfrac{cos(t)}{t}dt$$
      and
      $$text{erf}(x)=frac{2}{sqrt{pi}}intlimits_0^xe^{-t^2}dt$$



      Now I'm not 100% sure what is meant by "the solution of the integrals" since these will probably be not-evaluable. But I'm guessing that the question is to reduce the expression to one single special function in stead of the integral of a special function with an elementary function.



      Mathematica yields me the answers:
      $$I_1=-frac{sqrt{pi}}{4}Gammaleft(0,frac{a^2}{4}right)$$
      and
      $$I_2=expleft(frac{a^2}{4}right)frac{1-text{erf}(a/2)}{a}$$



      A good first step for evaluating these integrals $I_1$ and $I_2$ seemed to fill in the integral representations of these special functions and try to switch te integrals over $x$ and $t$. However this has not (yet) been a success. I also tried to find a differential equation for these integrals, but also this was not so easy to do. Are there any tips/tricks to evaluate these integrals ?










      share|cite|improve this question











      $endgroup$




      I'm looking for the solutions of the following two integrals:



      $$I_1=intlimits_0^infty dx, e^{-x^2}text{Ci}(ax)$$
      and
      $$I_2=intlimits_0^infty dx, e^{-ax}text{erf}(x)$$
      with
      $$text{Ci}(x)=intlimits_infty^xfrac{cos(t)}{t}dt$$
      and
      $$text{erf}(x)=frac{2}{sqrt{pi}}intlimits_0^xe^{-t^2}dt$$



      Now I'm not 100% sure what is meant by "the solution of the integrals" since these will probably be not-evaluable. But I'm guessing that the question is to reduce the expression to one single special function in stead of the integral of a special function with an elementary function.



      Mathematica yields me the answers:
      $$I_1=-frac{sqrt{pi}}{4}Gammaleft(0,frac{a^2}{4}right)$$
      and
      $$I_2=expleft(frac{a^2}{4}right)frac{1-text{erf}(a/2)}{a}$$



      A good first step for evaluating these integrals $I_1$ and $I_2$ seemed to fill in the integral representations of these special functions and try to switch te integrals over $x$ and $t$. However this has not (yet) been a success. I also tried to find a differential equation for these integrals, but also this was not so easy to do. Are there any tips/tricks to evaluate these integrals ?







      calculus real-analysis integration definite-integrals special-functions






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 15 at 2:30









      Henry Lee

      2,042219




      2,042219










      asked Mar 23 '15 at 12:20









      NickNick

      494518




      494518






















          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          Hint: Differentiate $I_1(a)$ with regard to a. Similarly, define $~I_2(b)~=~displaystyleint_0^infty e^{-ax}~text{erf}(bx)~dx,~$ and then differentiate it with regard to b.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Nice, adding a factor in order to eliminate one of the integrations !
            $endgroup$
            – Nick
            Mar 23 '15 at 14:51



















          3












          $begingroup$

          For $I_2$, please note that this integral is just the Laplace transform of $text{Erf}(x)$ w.r.t. to the variable $a$



          Furthermore the Laplace transform of an integral $mathcal{L}(int f(x) dx)$ is just $mathcal{L}(f(x))/a$



          Using this we find that



          $$
          I_2=frac{2}{asqrt{pi}}int_0^{infty}e^{- a x}e^{-x^2}dx
          $$



          Completing the square in the exponent and changing variables $y=frac{a}{2}+x$



          This turns into



          $$
          I_2=2frac{ e^{frac{a^2}{4}}}{asqrt{pi}}int_{frac{a}{2}}^{infty}e^{-y^2}dy
          $$



          Now using straightforwardly the definition of the Errorfunction we obtain



          $$
          I_2=frac{e^{frac{a^2}{4}}}{a}left(1-text{Erf}(a/2)right)
          $$



          As promised!



          I will have a look on $I_1$ later






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
            $endgroup$
            – Nick
            Mar 23 '15 at 13:27











          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',
          autoActivateHeartbeat: false,
          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%2f1202497%2fintegrals-with-the-special-functions-cix-and-erfx%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          3












          $begingroup$

          Hint: Differentiate $I_1(a)$ with regard to a. Similarly, define $~I_2(b)~=~displaystyleint_0^infty e^{-ax}~text{erf}(bx)~dx,~$ and then differentiate it with regard to b.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Nice, adding a factor in order to eliminate one of the integrations !
            $endgroup$
            – Nick
            Mar 23 '15 at 14:51
















          3












          $begingroup$

          Hint: Differentiate $I_1(a)$ with regard to a. Similarly, define $~I_2(b)~=~displaystyleint_0^infty e^{-ax}~text{erf}(bx)~dx,~$ and then differentiate it with regard to b.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Nice, adding a factor in order to eliminate one of the integrations !
            $endgroup$
            – Nick
            Mar 23 '15 at 14:51














          3












          3








          3





          $begingroup$

          Hint: Differentiate $I_1(a)$ with regard to a. Similarly, define $~I_2(b)~=~displaystyleint_0^infty e^{-ax}~text{erf}(bx)~dx,~$ and then differentiate it with regard to b.






          share|cite|improve this answer









          $endgroup$



          Hint: Differentiate $I_1(a)$ with regard to a. Similarly, define $~I_2(b)~=~displaystyleint_0^infty e^{-ax}~text{erf}(bx)~dx,~$ and then differentiate it with regard to b.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 23 '15 at 13:27









          LucianLucian

          41.2k159130




          41.2k159130












          • $begingroup$
            Nice, adding a factor in order to eliminate one of the integrations !
            $endgroup$
            – Nick
            Mar 23 '15 at 14:51


















          • $begingroup$
            Nice, adding a factor in order to eliminate one of the integrations !
            $endgroup$
            – Nick
            Mar 23 '15 at 14:51
















          $begingroup$
          Nice, adding a factor in order to eliminate one of the integrations !
          $endgroup$
          – Nick
          Mar 23 '15 at 14:51




          $begingroup$
          Nice, adding a factor in order to eliminate one of the integrations !
          $endgroup$
          – Nick
          Mar 23 '15 at 14:51











          3












          $begingroup$

          For $I_2$, please note that this integral is just the Laplace transform of $text{Erf}(x)$ w.r.t. to the variable $a$



          Furthermore the Laplace transform of an integral $mathcal{L}(int f(x) dx)$ is just $mathcal{L}(f(x))/a$



          Using this we find that



          $$
          I_2=frac{2}{asqrt{pi}}int_0^{infty}e^{- a x}e^{-x^2}dx
          $$



          Completing the square in the exponent and changing variables $y=frac{a}{2}+x$



          This turns into



          $$
          I_2=2frac{ e^{frac{a^2}{4}}}{asqrt{pi}}int_{frac{a}{2}}^{infty}e^{-y^2}dy
          $$



          Now using straightforwardly the definition of the Errorfunction we obtain



          $$
          I_2=frac{e^{frac{a^2}{4}}}{a}left(1-text{Erf}(a/2)right)
          $$



          As promised!



          I will have a look on $I_1$ later






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
            $endgroup$
            – Nick
            Mar 23 '15 at 13:27
















          3












          $begingroup$

          For $I_2$, please note that this integral is just the Laplace transform of $text{Erf}(x)$ w.r.t. to the variable $a$



          Furthermore the Laplace transform of an integral $mathcal{L}(int f(x) dx)$ is just $mathcal{L}(f(x))/a$



          Using this we find that



          $$
          I_2=frac{2}{asqrt{pi}}int_0^{infty}e^{- a x}e^{-x^2}dx
          $$



          Completing the square in the exponent and changing variables $y=frac{a}{2}+x$



          This turns into



          $$
          I_2=2frac{ e^{frac{a^2}{4}}}{asqrt{pi}}int_{frac{a}{2}}^{infty}e^{-y^2}dy
          $$



          Now using straightforwardly the definition of the Errorfunction we obtain



          $$
          I_2=frac{e^{frac{a^2}{4}}}{a}left(1-text{Erf}(a/2)right)
          $$



          As promised!



          I will have a look on $I_1$ later






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
            $endgroup$
            – Nick
            Mar 23 '15 at 13:27














          3












          3








          3





          $begingroup$

          For $I_2$, please note that this integral is just the Laplace transform of $text{Erf}(x)$ w.r.t. to the variable $a$



          Furthermore the Laplace transform of an integral $mathcal{L}(int f(x) dx)$ is just $mathcal{L}(f(x))/a$



          Using this we find that



          $$
          I_2=frac{2}{asqrt{pi}}int_0^{infty}e^{- a x}e^{-x^2}dx
          $$



          Completing the square in the exponent and changing variables $y=frac{a}{2}+x$



          This turns into



          $$
          I_2=2frac{ e^{frac{a^2}{4}}}{asqrt{pi}}int_{frac{a}{2}}^{infty}e^{-y^2}dy
          $$



          Now using straightforwardly the definition of the Errorfunction we obtain



          $$
          I_2=frac{e^{frac{a^2}{4}}}{a}left(1-text{Erf}(a/2)right)
          $$



          As promised!



          I will have a look on $I_1$ later






          share|cite|improve this answer









          $endgroup$



          For $I_2$, please note that this integral is just the Laplace transform of $text{Erf}(x)$ w.r.t. to the variable $a$



          Furthermore the Laplace transform of an integral $mathcal{L}(int f(x) dx)$ is just $mathcal{L}(f(x))/a$



          Using this we find that



          $$
          I_2=frac{2}{asqrt{pi}}int_0^{infty}e^{- a x}e^{-x^2}dx
          $$



          Completing the square in the exponent and changing variables $y=frac{a}{2}+x$



          This turns into



          $$
          I_2=2frac{ e^{frac{a^2}{4}}}{asqrt{pi}}int_{frac{a}{2}}^{infty}e^{-y^2}dy
          $$



          Now using straightforwardly the definition of the Errorfunction we obtain



          $$
          I_2=frac{e^{frac{a^2}{4}}}{a}left(1-text{Erf}(a/2)right)
          $$



          As promised!



          I will have a look on $I_1$ later







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 23 '15 at 13:24









          tiredtired

          10.6k12043




          10.6k12043












          • $begingroup$
            thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
            $endgroup$
            – Nick
            Mar 23 '15 at 13:27


















          • $begingroup$
            thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
            $endgroup$
            – Nick
            Mar 23 '15 at 13:27
















          $begingroup$
          thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
          $endgroup$
          – Nick
          Mar 23 '15 at 13:27




          $begingroup$
          thanks a lot, that's already a nice first step. I somehow have the feeling that both integrals $I_1$ and $I_2$ should be analogous (due to a slight analogy in the answer). So I didn't consider Laplace because it does not appear in the first integral.
          $endgroup$
          – Nick
          Mar 23 '15 at 13:27


















          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1202497%2fintegrals-with-the-special-functions-cix-and-erfx%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

          Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

          Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

          A Topological Invariant for $pi_3(U(n))$