3
$\begingroup$

During my research this integral has shown up

$ \frac{1}{2T} \int_{-T}^T \left( 1 - \frac{|\tau|}{T}\right)e^{-\alpha\tau^2}\cos(2\pi f_0 \tau) d\tau$

I tried to solved by taking the real part of a the complex exponential but it didn't work. Any help?

Cheers,

Mikitov

$\endgroup$
4
  • $\begingroup$ already tried CAS ? $\endgroup$ Commented Jan 6, 2011 at 17:39
  • $\begingroup$ I don't think this integral can be expressed in elementary functions (which is why by the way this doesn't look like homework to me); however it is not too difficult to compute it in terms of the error function (see e.g. en.wikipedia.org/wiki/Error_function). If you would like more details on that, math.stackexchange.com is probably a better place to ask. $\endgroup$
    – algori
    Commented Jan 6, 2011 at 17:42
  • $\begingroup$ Yes, no homework in my life anymore... $\endgroup$
    – mikitov
    Commented Jan 6, 2011 at 21:22
  • $\begingroup$ What exactly do you want with it? It is just the convolution (up to normalization and linear change of variable) of $e^{-x^2}$ and the Fejer kernel. Of course, there is no algebraic formula (unless you consider integration by parts a.k.a. "expressing in terms of error function" a great step forward) but all reasonable questions shouldn't be hard to answer :). $\endgroup$
    – fedja
    Commented Jan 7, 2011 at 4:20

1 Answer 1

1
$\begingroup$

The limit is 0, the integral from $0$ to $T$ is: $$\frac{i \sqrt{\pi } e^{-\frac{\pi ^2 f^2}{a}} \left(\text{erfi}\left(\frac{\pi f-i a t}{\sqrt{a}}\right)-\text{erfi}\left(\frac{\pi f+i a t}{\sqrt{a}}\right)\right)}{4 a^{1/2}} $$ $$ -\frac{\pi ^{3/2} f e^{-\frac{\pi ^2 f^2}{a}} \text{erfi}\left(\frac{\pi f-i a t}{\sqrt{a}}\right)+\pi ^{3/2} f e^{-\frac{\pi ^2 f^2}{a}} \text{erfi}\left(\frac{\pi f+i a t}{\sqrt{a}}\right)-2 \pi ^{3/2} f e^{-\frac{\pi ^2 f^2}{a}} \text{erfi}\left(\frac{\pi f}{\sqrt{a}}\right)}{4ta^{3/2}} $$ $$ +\frac{\left(1+e^{4 i \pi f t}\right) e^{-t (a t+2 i \pi f)}-2}{4ta}, $$ as per Mathematica.

$\endgroup$
4
  • $\begingroup$ Wow, is that hard to read. $\endgroup$
    – Simon Rose
    Commented Jan 6, 2011 at 21:29
  • $\begingroup$ $\lim_{T \to \infty}$ ? It does not make any sense to me for any value of alpha. $\endgroup$
    – mikitov
    Commented Jan 6, 2011 at 21:39
  • 1
    $\begingroup$ @Simon: I just pasted mathematica's TeXForm. Thank god WZ was there to fix it... @mikitov: The integral converges (for any positive alpha), so when you divide by $T$ it is not at all surprising that the limit is $0.$ $\endgroup$
    – Igor Rivin
    Commented Jan 6, 2011 at 23:21
  • $\begingroup$ The thing is, this integral comes from applying the necessary and sufficient conditions for a wide sense stationary process to be ergodic. The independence of alpha makes me feel nervous :-) Thank you in any case. $\endgroup$
    – mikitov
    Commented Jan 7, 2011 at 13:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .