Is this Definite Integral with Imaginary Bounds Real?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Char. Limit
Gold Member
Messages
1,222
Reaction score
23
So, I was playing on Wolfram Alpha, and I managed to come up with this:

http://www.wolframalpha.com/input/?i=integral_(+infinity+*+sqrt(-1)+)^pi+e^(ix)+dx&x=0&y=0

In Tex, I believe this is...

[tex]\int_{i\infty}^{\pi}e^{i x} dx = i[/tex]

However, I have more than one problem with it, and I want to know if my problems are actually problems. First, the bounds. Can you multiply a transfinite number by i? Would the answer make any sense whatsoever? And can you integrate from an imaginary point to a real point?

Actually, those bounds are the only problems I have... But they do look problematic. Can someone tell me if this integral is a real integral?
 
Last edited:
Physics news on Phys.org
The function [itex]f(z) = e^{i z}[/itex] has an absolute value:

[tex] |f(z)| = |e^{i z}| = e^{\Re(i z)} = e^{-\Im{z}}[/tex]

which tends to zero as [itex]\Im{z} \rightarrow +\infty[/itex]. The lower bound on your integral is exactly like that. Also, the function is entire. Therefore, the integral

[tex] F(z) = \int_{\gamma}{f(z') \, dz'}[/tex]

has the same value for all contours [itex]\gamma[/itex] starting from an infinitely high point in the upper half--plane and ending anywhere in the complex plane [itex]z[/itex]. If [itex]z = x + i y[/itex], it is convenient to choose the contour as:

[tex] \begin{array}{l}<br /> \gamma_{1}: \ z = i t, \infty > t \ge y, \ dz = i \, dt \\<br /> <br /> \gamma_{2}: \ z = t + i y, 0 \le t \le x, \ dz = dt[/tex]

and:

[tex] F(z) = \int_{\infty}^{y}{e^{i i t} \, i \, dt} + \int_{0}^{x}{e^{i (t + i y)} \, dt}[/tex]

[tex] F(z) = -i \, \int_{y}^{\infty}{e^{-t} \, dt} + e^{-y} \, \int_{0}^{x}{e^{i t} \, dt}[/tex]

[tex] F(z) = -i \, \left.(-e^{-t})\right|^{\infty}_{0} + e^{-y} \, \left.\frac{e^{i t}}{i}\right|^{x}_{0}[/tex]

[tex] F(z) = -i + e^{-y} \frac{e^{i x} - 1}{i} = e^{-y} \, \sin x - i \, [ 1 + e^{-y} \, (\cos x - 1) ][/tex]