2
$\begingroup$

I am working on a solution for an intgeral that leads to a series that I am stuck at. Below is what I have done and how I got to the final series. Any ideas on how to solve the series at the end?

\begin{equation} \int_{-\infty}^{x} e^{ax} \, {_{1}}F_{1}(-\alpha;-\beta;-\lambda x) \ \mathrm{d}x \quad \text{for} \, x\leq 0 \end{equation}

where, $a,\alpha,\beta,\lambda>0$.

Substitute $u=-ax\to$ $\mathrm{d}u = -a \ \mathrm{d}x$

\begin{equation} a^{-1}\int_{-u/a}^{\infty} e^{-u} \, {_{1}}F_{1}(-\alpha;-\beta;\tfrac{\lambda}{a} u) \ \mathrm{d}u \end{equation}

At this point I could not find closed form solution for the integral so I wrote the confluent hypergeometric function in its summation representation.

\begin{equation} a^{-1}\sum_{j=0}^{\infty}\frac{(-\alpha)_{j}}{(-\beta)_{j}\, j!} \left(\frac{\lambda}{a}\right)^{j}\int_{-u/a}^{\infty} e^{-u} \, u^{j} \ \mathrm{d}u \end{equation}

where, $(x)_{j}$ is the Pochhammer symbol.

Since $u=-ax$, and $x\leq 0$, this means $-u/a\geq 0$ and the integral is a upper-incomplete gamma function.

\begin{equation} a^{-1}\sum_{j=0}^{\infty}\frac{(-\alpha)_{j}}{(-\beta)_{j}\, j!} \left(\frac{\lambda}{a}\right)^{j}\ \Gamma(j+1,x) \end{equation}

I do not know how to get past this point. An ideas on how to solve the sum?

From wolframalpha I found the following definition that could also prove to be useful:

\begin{equation} \gamma(m,x) = m^{-1} x^{m} \, {_{1}}F_{1}(m; m+1; -x) \end{equation}

where, $\Gamma(m) = \Gamma(m,x)+\gamma(m,x)$.

UPDATE

If $\alpha$ and $\beta$ are integers then a solution can be found through integration by parts. The solution is:

\begin{equation} a^{-1}\sum_{k=0}^{\alpha} \left(\frac{\lambda}{a}\right)^{k} e^{ax}\, {_{1}}F_{1}(-\alpha+k;-\beta+k,-\lambda x) \end{equation}

I am looking for the case where $\alpha$ and $\beta$ are not integers.

$\endgroup$
4
  • $\begingroup$ If $\alpha,\beta\in\mathbb{N}$, your hypergeometric function is just a polynomial and the closed form is straightforward to compute. It shouldn't be terribly difficult to generalize such closed form for non-integer values of $\alpha,\beta$. $\endgroup$ Commented Jul 11, 2016 at 14:11
  • $\begingroup$ Jack, I have solved this problem for the case where $\alpha$ and $\beta$ are integers using ibp where $u={_{1}}F_{1}(-\alpha;-\beta,-\lambda x)$ and $\mathrm{d}v = e^{ax}$. I could include that answer in the post but the answer is still a series as a result of using ibp. And i'm not sure how it will help me get to the general solution. $\endgroup$ Commented Jul 11, 2016 at 14:17
  • 1
    $\begingroup$ I carried on some computations for the general case, and I am left with a hypergeometric function as a main term and a series of $\phantom{}_{2} F_2$ functions as secondary term, that does not seem to simplify further. I hope that helps. $\endgroup$ Commented Jul 11, 2016 at 17:14
  • $\begingroup$ Thanks Jack. I will take a look at it. It may be that there is no closed form solution. If no better answer arises I will accept what you posted. $\endgroup$ Commented Jul 11, 2016 at 19:42

2 Answers 2

Reset to default
3
$\begingroup$

$\int_{-\infty}^xe^{ax}{_1}F_1(-\alpha;-\beta;-\lambda x)~dx$

$=\int_\infty^{-x}e^{-ax}{_1}F_1(-\alpha;-\beta;\lambda x)~d(-x)$

$=\int_{-x}^\infty e^{-ax}{_1}F_1(-\alpha;-\beta;\lambda x)~dx$

$=\int_{-x}^\infty\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^nx^ne^{-ax}}{(-\beta)_nn!}~dx$

$=\int_0^\infty\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^nx^ne^{-ax}}{(-\beta)_nn!}~dx-\int_0^{-x}\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^nx^ne^{-ax}}{(-\beta)_nn!}~dx$

$=\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^n}{(-\beta)_na^{n+1}}+\left[\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{(-\alpha)_n\lambda^nx^ke^{-ax}}{(-\beta)_nk!a^{n-k+1}}\right]_0^{-x}$ (according to http://en.wikipedia.org/wiki/List_of_integrals_of_exponential_functions)

$=\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^n}{(-\beta)_na^{n+1}}-\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_n\lambda^n}{(-\beta)_na^{n+1}}+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{(-\alpha)_n\lambda^n(-1)^kx^ke^{ax}}{(-\beta)_nk!a^{n-k+1}}$

$=\sum\limits_{k=0}^\infty\sum\limits_{n=k}^\infty\dfrac{(-\alpha)_n\lambda^n(-1)^kx^ke^{ax}}{(-\beta)_nk!a^{n-k+1}}$

$=\sum\limits_{k=0}^\infty\sum\limits_{n=0}^\infty\dfrac{(-\alpha)_{n+k}\lambda^{n+k}(-1)^kx^ke^{ax}}{(-\beta)_{n+k}k!a^{n+1}}$

$=\dfrac{e^{ax}}{a}\Phi_1\left(-\alpha,1,-\beta;\dfrac{\lambda}{a},-\lambda x\right)$ (according to http://en.wikipedia.org/wiki/Humbert_series)

$\endgroup$
2
  • $\begingroup$ I want to verify this answer. Give me a chance and I will accept if verified. Thanks. $\endgroup$ Commented Jul 25, 2016 at 16:15
  • $\begingroup$ In fact this is the trick similar to math.stackexchange.com/questions/1071168 $\endgroup$ Commented Jul 26, 2016 at 14:53
1
$\begingroup$

Let $z=-x$. We want to compute:

$$ \int_{z}^{+\infty} e^{-at}\phantom{}_1 F_1(-\alpha,-\beta,\lambda t)\,dt=\sum_{n\geq 0}\frac{\lambda^n(-\alpha)_n}{n!(-\beta)_n}\int_{z}^{+\infty}e^{-at}t^n\,dt $$ where: $$\begin{eqnarray*} \int_{z}^{+\infty}e^{-at}t^n\,dt &=& \frac{n!}{a^{n+1}}-\int_{0}^{z}\sum_{m\geq 0}\frac{(-a)^m}{m!}\,t^{m+n}\,dt\\&=&\frac{n!}{a^{n+1}}-\sum_{m\geq 0}\frac{(-a)^m z^{m+n+1}}{(m+n+1)m!}\end{eqnarray*}$$ gives: $$ \int_{z}^{+\infty} e^{-at}\phantom{}_1 F_1(-\alpha,-\beta,\lambda t)\,dt=\sum_{n\geq 0}\frac{\lambda^n (-\alpha)_n}{a^{n+1}(-\beta)_n}-\sum_{n\geq 0}\sum_{m\geq 0}\frac{\lambda^n(-\alpha)_n(-a)^m z^{m+n+1}}{m!n!(-\beta)_n(m+n+1)}$$ where the first series equals $\frac{1}{a}$ times $\phantom{}_2 F_1\left(1,-\alpha;-\beta;\frac{\lambda}{a}\right)$ and the second double series can be put in the following form by switching the order of summation: $$ \sum_{m\geq 0}\frac{(-a)^m z^{m+1}}{(m+1)!}\phantom{}_2 F_2\left(1+m,-\alpha;2+m,-\beta;\lambda z\right).$$

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.