3

Is there an analytical expression for this integral?

$$\int_0^1 x^{\alpha-1} (1-x)^{\beta-1} (x-A)^{\gamma-1} \mathrm{d} x$$

where $\alpha,\beta,\gamma \ge 1$, and $A < 0$.

P.S.: By analytical expression, I mean, pragmatically, an expression in terms of functions usually found in numeric computation libraries.

a06e
  • 6,665

3 Answers3

3

What is amazing is that the antiderivative can be analytically expressed on the basis of Appell hypergeometric functions of two variables. For the integral, similar to what O.L. answered, I (a CAS did it !) obtained $$\int_0^1 x^{\alpha-1} (1-x)^{\beta-1} (x-A)^{\gamma-1} \mathrm{d} x= (-A)^{\gamma-1}\Gamma (\alpha) \Gamma (\beta) \, _2\tilde{F}_1\left(\alpha,1-\gamma;\alpha+\beta;\frac{1}{A}\right)$$ where appears the regularized hypergeometric function which can be expressed using, from definition, the classical hypergeometric function

1

Yes, your expression essentially coincides with the Euler's integral representation of the Gauss hypergeometric function: $$_2F_1(a,b;c;t)=\frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)}\int_0^1\frac{x^{b-1}(1-x)^{c-b-1}}{(1-tx)^a}dx.$$

Start wearing purple
  • 53,234
  • 13
  • 164
  • 223
1

The integral can be expressed on a closed form, thanks to the Hypergeometric2F1 function :

enter image description here

JJacquelin
  • 66,221
  • 3
  • 37
  • 87