# Tough Inverse Fourier Integral: why does the sign matter?

I'm computing the Inverse Fourier Integral of

             ((a^2 + omega ^2) c^2)
/((b^2 + omega^2) ((r^2 + omega^2 - omegaInt^2)^2 + (2 omegaInt r)^2))


where all parameters are positive real numbers. Mathematica does a great job of solving it in around 10 seconds. However, if one makes the substitution

    omegaInt=I*omegaInt


So that the new expression is

            ((a^2 + omega ^2) c^2)
/((b^2 + omega^2) ((r^2 + omega^2 + omegaInt^2)^2 - (2 omegaInt r)^2))


(the difference being the sign in front of the two terms containing omegaInt) the integral is no longer solvable, at least in any reasonable amount of time. I think it is because an additional pole appears, but even then, the over all 1/omega^2 scaling makes me think it should still be integrable. Any ideas anyone? Am going to have to do some contour integral on paper? ugh. please no. Any comments are appreciated.

kind regards.

ps. this expression is the power spectral density of a damped, noisy-driven oscillator (fed through another highpass filter) and I'm after the system's autocorrelation function.

-
On my system with version 8 and 9, both examples above yield a result when I wrap them in InverseFourierTransform[...,omega, t]. So I can't reproduce the problem. –  Jens May 11 '13 at 18:54
Working here too, with version 8. What version are you using @LiaChica? –  Simon Woods May 11 '13 at 19:01

In the second case the denominator vanishes at some points on the real line if r=omegaInt. Excluding this case explicitly gives the result:
InverseFourierTransform[((a^2 + omega^2) c^2)/((b^2 + omega^2) ((r^2 + omega^2 +

$$\small \frac{1}{4} \sqrt{\frac{\pi }{2}} c^2 \left(\frac{4 \left(a^2-b^2\right) e^{b x} \theta (-x)}{b (b-\text{omegaInt}-r) (b+\text{omegaInt}-r) (b-\text{omegaInt}+r) (b+\text{omegaInt}+r)}+\frac{4 \left(a^2-b^2\right) e^{-b x} \theta (x)}{b (b-\text{omegaInt}-r) (b+\text{omegaInt}-r) (b-\text{omegaInt}+r) (b+\text{omegaInt}+r)}+\frac{\left((\text{omegaInt}-r)^2-a^2\right) \text{sgn}(\text{omegaInt}-r) e^{x (\text{omegaInt}-r)} \theta (-x \text{sgn}(\text{omegaInt}-r))}{\text{omegaInt} r (\text{omegaInt}-r) (-b+\text{omegaInt}-r) (b+\text{omegaInt}-r)}+\frac{\left((\text{omegaInt}-r)^2-a^2\right) \text{sgn}(\text{omegaInt}-r) e^{x (r-\text{omegaInt})} \theta (x \text{sgn}(\text{omegaInt}-r))}{\text{omegaInt} r (\text{omegaInt}-r) (-b+\text{omegaInt}-r) (b+\text{omegaInt}-r)}+\frac{\theta (-x) \left(a^2-(\text{omegaInt}+r)^2\right) e^{x (\text{omegaInt}+r)}}{\text{omegaInt} r (\text{omegaInt}+r) (-b+\text{omegaInt}+r) (b+\text{omegaInt}+r)}+\frac{\theta (x) \left(a^2-(\text{omegaInt}+r)^2\right) e^{x (-(\text{omegaInt}+r))}}{\text{omegaInt} r (\text{omegaInt}+r) (-b+\text{omegaInt}+r) (b+\text{omegaInt}+r)}\right)$$
{"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": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8483509421348572, "perplexity": 1992.4985913339906}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-11/segments/1424936462313.6/warc/CC-MAIN-20150226074102-00025-ip-10-28-5-156.ec2.internal.warc.gz"}