Question about the Fresnel Integral

  • Thread starter Simfish
  • Start date
  • #1
Simfish
Gold Member
820
2
post edited, see below (latex doesn't seem to edit properly on edited pages0
 
Last edited:

Answers and Replies

  • #2
Simfish
Gold Member
820
2
Hello,
So I want to evaluate [tex]\int_0^{\infty} e^{i z^2}[/tex]. One of the central steps is to evaluate the integral around the contour line [tex]z = R e^{i \theta}[/tex]. So I substitute in [tex]z = R e^{i \theta}[/tex] so that I get [tex]e^{i R^2 e^{i 2 \theta}} = e^{i R^2 cos(2 \theta) - R^2 sin(2 \theta)}. [/tex]. I have to show convergence to 0. This equals [tex]e^{i R^2 cos(2 \theta)} e^{- R^2 sin(2 \theta)} = (cos(R^2 cos(2 \theta)) + i sin(R^2 cos(2 \theta))) e^{- R^2 sin(2 \theta)}[/tex]. So my sources say that the absolute value of this becomes [tex] e^{ - R^2 sin(2 \theta)},[/tex] implying that [tex]|(cos(R^2 cos(2 \theta)) + i sin(R^2 cos(2 \theta)))| = 1[/tex] throughout the entire interval. Of course, the absolute value of [tex]e^{i \theta}[/tex] is 1 as long as the number is of this form. But then, why can't the absolute value of [tex]e^{i R^2 e^{i 2 \theta}}[/tex] also be 1 throughout the range? What properties make a the absolute value of a number of the form [tex]e^{i \theta}[/tex] NOT converge to 1 for ANY value of [tex]\theta[/tex]?

====

Another question: Since I have to evaluate [tex]\int_0^{\infty} e^{i z^2} dz[/tex], where [tex]dz = i e^{i \theta} d \theta[/tex] - I have to multiply this equation by that factor. I probably have to do this for the final solution. But since this is bounded by i, and my only objective is to show that this integral converges to 0, this factor of dz should be effectively negligible, right?

==
MAIN QUESTION:
Why does [tex]|(cos(R^2 cos(2 \theta)) + i sin(R^2 cos(2 \theta)))| = 1[/tex] UNIFORMLY WHEN

the absolute value of [tex]e^{i R^2 e^{i 2 \theta}} [/tex] is NOT equal to 1?
==
 
  • #3
AiRAVATA
173
0
Well, because [itex]\Im(R^2e^{i2\theta})\neq 0[/itex], while [itex]\Im(R^2\cos(2\theta))=0[/itex].

(If [itex]z\in \mathbb{C}[/itex], then [itex]|e^{iz}|=1[/itex] if and only if [itex]\Im(z)=0[/itex])

P.S. Edited [itex]\LaTeX[/itex] works great, you only have to hit the refresh button so images get corrected.
 
Last edited:

Suggested for: Question about the Fresnel Integral

  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
5
Views
392
  • Last Post
Replies
29
Views
426
  • Last Post
Replies
9
Views
920
  • Last Post
Replies
5
Views
941
  • Last Post
Replies
3
Views
566
Replies
7
Views
847
  • Last Post
Replies
1
Views
413
  • Last Post
Replies
28
Views
706
Replies
8
Views
896
Top