0
$\begingroup$

I need to solve the following integral:

$\int \exp \big( -c \ {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) \big) z \ \mathrm{d} z$

with $c>0$, $d>0$, and $\alpha>2$.

My attempt was to make

$\tfrac{\mathrm{d}}{\mathrm{d} z} \Big( -c \ {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) \Big) = \tfrac{2 c}{z} \Big( \tfrac{1}{1+dz^\alpha} - {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) \Big)$

appear outside the exponential and use $\int u \ \mathrm{d} v = u v \int v \ \mathrm{d} u$ with $u = \tfrac{z}{\frac{\mathrm{d}}{\mathrm{d} z} \big( -c {}_{2}F_{1} ( 1, -\frac{2}{\alpha}, 1 -\frac{2}{\alpha}, -d z^{\alpha}) \big)}$ and $v = \exp \big( -c \ {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) \big)$, but apparently it doens't make it any simpler.

If it's of any help, I've obtained the primitive

$\int {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) \ \mathrm{d} z = \tfrac{r}{3} \Big( {}_{2}F_{1} \big( 1, -\tfrac{2}{\alpha}, 1 -\tfrac{2}{\alpha}, -d z^{\alpha} \big) + 2 {}_{2}F_{1} \big( 1, \tfrac{1}{\alpha}, 1 + \tfrac{1}{\alpha}, -d z^{\alpha} \big) \Big).$

  • 0
    What's $r$ in the primitive part?2017-02-07
  • 1
    There was a typo, it should be $z$, thanks for pointing it out.2017-02-07
  • 0
    You may simplify the notation by noticing that $$\phantom{}_2 F_1\left(1,-\frac{2}{\alpha};1-\frac{2}{\alpha};z\right) = -\sum_{n\geq 0}\frac{2}{\alpha n-2}z^n$$ but the primitive of its exponential looks quite non-elementary to me. What is the source of this problem?2017-02-07

1 Answers 1

1

Let us start simplifying the notation by noticing that $$ f_\alpha(z)\stackrel{\text{def}}{=}\phantom{}_2 F_1\left(1,-\frac{2}{\alpha};1-\frac{2}{\alpha};z\right) = -\sum_{n\geq 0}\frac{2}{\alpha n-2}z^n=1-\sum_{n\geq 1}\frac{2z^n}{\alpha n\color{red}{-2}} \tag{1}$$ If the red term were absent, we would simply have $f_\alpha(z)=1-\frac{2}{\alpha}\log(1-z)$, and the given integral, up to the substitution $z\mapsto z^{1/\alpha}$, would simply be a value of an incomplete Beta function. Now it would be really useful to know if you are interested in a simple closed form for a primitive (that probably does not exist) or if the integration range is fixed and you are good with accurate approximations or asymptotics for large $\alpha$s. Please let me know and I will improve the current answer accordingly.

  • 0
    I am interested in the definite integral of the exponential between some $r>0$ and $\infty$.2017-02-08
  • 0
    @ItaAtz: fo any $r>0$? That is the same as asking for a primitive, quite hopeless in my opinion. However, we still have decent approximations by replacing the hypergeometric function with a suitable logarithm.2017-02-08
  • 1
    @JackD'Aurizio Nothing is known about $f_{\alpha}(z)$? Such an innocent looking change to add $-2$... I get that the integral isn't simple, but the function itself doesn't look too bad to my (apparently untrained) eyes2017-02-13
  • 0
    @Brevan Ellefsen, I agree with you in that such simplification is not so innocent... do you think you can provide a better solution? Thanks2017-02-16