# characteristic function (evaluation of an definite integral)

Printable View

• April 28th 2010, 09:20 AM
Random Variable
characteristic function (evaluation of an definite integral)
I want to show that the characteristic function of Cauchy's distribution ( $f(x) = \frac{1}{\pi} \frac{b}{b^{2}+x^{2}}, \ b>0$) is $\phi_{X}(t) = e^{-b|t|}$

$\phi_{X}(t) = E[e^{itX}] = E[\cos(tX)] + i E[\sin (tX)]$

$= \frac{b}{\pi} \int^{\infty}_{-\infty} \frac{\cos(tx)}{b^{2}+x^{2}} \ dx + i \ \frac{b}{\pi} \int^{\infty}_{-\infty} \frac{\sin(tx)}{b^{2}+x^{2}} \ dx$

The second integral evaluates to zero because the integrand is odd.

The integrand of the first integral is even, so I need to evaluate $\frac{2 b}{\pi} \int^{\infty}_{0} \frac{\cos(tx)}{b^{2}+x^{2}} \ dx$

Any suggestions?
• April 28th 2010, 11:32 AM
Laurent
Quote:

Originally Posted by Random Variable
I want to show that the characteristic function of Cauchy's distribution ( $f(x) = \frac{1}{\pi} \frac{b}{b^{2}+x^{2}}, \ b>0$) is $\phi_{X}(t) = e^{-b|t|}$

Any suggestions?

Usual proofs are:

- Fourier inversion formula. It is easy to compute the Fourier transform of $e^{-b|t|}$ and it relates simply to Cauchy's distribution, so we can have it work backwards using Fourier inversion formula...

- contour integration in the complex plane. The integral $\int_{-R}^R \frac{e^{itx}}{1+t^2}dt$ is completed into a contour integral using a half circle in the upper half-plane; the integral along the circle is seen to converge to 0 as the radius goes to infinity (dominated convergence theorem) while the value of the contour integral is obtained by computing the residue at the pole $i$ (Residue theorem).
• April 28th 2010, 07:45 PM
Random Variable
I hate contour integration.

But this one is not that bad because there's a nice formula.

Let $f(z) = \frac{e^{itz}}{b^{2}+z^{2}}$

which has the simple pole $z = bi$ in the upper half plane

so $\int^{\infty}_{-\infty} \frac{\cos (tx)}{b^{2}+x^{2}} = -2 \pi \ Im (Res\{f,bi\})$

$Res\{f,bi\} = \lim_{z \to bi} (z-bi) \frac{e^{itz}}{b^{2}+z^{2}}= \lim_{z \to bi} \frac{e^{itz}}{z+bi} = \frac{e^{-bt}}{2bi} = -i \ \frac{e^{-bt}}{2b}$

so $\int^{\infty}_{-\infty} \frac{\cos (tx)}{b^{2}+x^{2}} = \pi \ \frac{e^{-bt}}{b}$

and $\phi_{X}(t) = e^{-bt}$

From where is the absolute value coming? (Wondering)
• April 29th 2010, 03:23 AM
Laurent
Quote:

Originally Posted by Random Variable

From where is the absolute value coming? (Wondering)

It's hidden in your computation. The integral along the upper half-circle converges to 0 only when $t>0$. Otherwise, you have the consider the lower half-circle hence the pole is $-ib$ (or you can note from the beginning that the characteristic function is even by symmetry of the Cauchy distribution).
All times are GMT -8. The time now is 04:00 PM.
{"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": 18, "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.3, "absolute_threshold": 20, "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.8732141256332397, "perplexity_flag": "middle"}