# Thread:

1. ## [SOLVED] The error function and incomplete gamma function

I think I'm pretty close to getting this but can't quite figure out what do next!

From earlier in the question...

$\textrm{erf}(x) = \frac{2}{\sqrt{\pi}} \int^x_0 e^{-t^2} dt \sim 1 - \frac{e^{-x^2}}{\pi} \sum^{\infty}_{n=0} \Gamma(n + \frac{1}{2})\frac{(-1)^n}{x^{2n+1}}$ (*)

Show that erf(x) can be expressed in terms of the incomplete gamma function, and that the above asymptotic expansion agrees with the result obtained in Problem 6. [The formula $\Gamma(\frac{1}{2} + n)\Gamma(\frac{1}{2} - n) = (-1)^n \pi$ (**) for integer n may be useful.]

So I think I have to show the relation... $\gamma(\frac{1}{2}, x) = \sqrt{\pi} \textrm{erf}(\sqrt{\pi})$ (***) as that's the relation I've seen elsewhere.

The result obtained in question 6 was...

$\gamma(\alpha,x) \sim \Gamma(\alpha) - e^{-x}x^{\alpha - 1} \sum^{\infty}_{n=0}\frac{\Gamma(\alpha)}{\Gamma(\a lpha - n)}\frac{1}{x^n}$

And also...
$\gamma(\alpha,x) \sim \Gamma(\alpha) - e^{-x}x^{\alpha - 1} \sum^{\infty}_{n=0}\frac{(\alpha-1)(\alpha-2)\ldots(\alpha-n)}{x^n}$

Right so intro done!

Now what I've done...

From (*)
$\sqrt{\pi} \textrm{erf}(x) = 2 \int^x_0 e^{-t^2} dt \sim \sqrt{\pi} - \frac{e^{-x^2}}{\sqrt{\pi}} \sum^{\infty}_{n=0} \Gamma(n + \frac{1}{2})\frac{(-1)^n}{x^{2n+1}}$

$= \Gamma(\frac{1}{2}) - \frac{e^{-x^2}}{\sqrt{\pi}} \sum^{\infty}_{n=0} \Gamma(n + \frac{1}{2})\frac{(-1)^n}{x^{2n+1}}$
(This step seems to be showing that $\alpha = \frac{1}{2}$ which corresponds to (***))

Using (**)
$= \Gamma(\frac{1}{2}) - \sqrt{\pi} e^{-x^2}$ $\sum^{\infty}_{n=0} \frac{1}{\Gamma(\frac{1}{2} - n)}\frac{1}{x^{2n+1}}$

$= \Gamma(\frac{1}{2}) - \sqrt{\pi} e^{-x^2} \sum^{\infty}_{n=0} \frac{x^{-(n+1)}}{\Gamma(\frac{1}{2} - n)}\frac{1}{x^n}$

But I'm stuck now. I don't even know if what I've done so far is right to be honest... Any help please!
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 11, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9395208358764648, "perplexity_flag": "middle"}