Is this Definite Integral with Imaginary Bounds Real?

Click For Summary
SUMMARY

The integral from imaginary bounds to real points, specifically \int_{i\infty}^{\pi}e^{i x} dx, evaluates to i according to Wolfram Alpha. The discussion highlights concerns regarding the legitimacy of integrating from an imaginary point to a real point and the implications of multiplying a transfinite number by i. The function f(z) = e^{i z} is entire, and the integral converges to a defined value regardless of the contour chosen in the complex plane.

PREREQUISITES
  • Complex analysis fundamentals
  • Understanding of contour integration
  • Familiarity with entire functions
  • Basic knowledge of limits and transfinite numbers
NEXT STEPS
  • Study the properties of entire functions in complex analysis
  • Learn about contour integration techniques in complex variables
  • Explore the implications of transfinite numbers in mathematical analysis
  • Investigate the convergence of integrals with complex bounds
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in advanced calculus and integration techniques involving complex numbers.

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]
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
10
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
9
Views
2K