Complex Analysis Questions: Singularities and Integrals

Click For Summary
SUMMARY

The discussion focuses on two complex analysis questions regarding singularities and integrals. The first question addresses the isolated singularity of the function \(\frac{1}{e^{\frac{1}{z}}-1}\) at \(z=\frac{1}{2 \pi i n}\), where \(n \in \mathbb{Z} \backslash \{0\}\). The second question involves evaluating the integral \(\int_{-\infty}^{\infty} e^{-x^2} \cos{(2bx)} dx\) and demonstrating that it equals \(e^{-b^2} \sqrt{\pi}\) using a rectangular contour and Jordan's lemma. The discussion highlights the importance of contour integration techniques in complex analysis.

PREREQUISITES
  • Complex analysis fundamentals
  • Understanding of contour integration
  • Familiarity with Cauchy's Theorem
  • Knowledge of Jordan's lemma
NEXT STEPS
  • Study the application of Cauchy's Residue Theorem in complex analysis
  • Learn about the properties of holomorphic functions
  • Explore advanced techniques in contour integration
  • Investigate the relationship between Fourier transforms and integrals of exponential functions
USEFUL FOR

Students and professionals in mathematics, particularly those specializing in complex analysis, as well as anyone interested in advanced integral evaluation techniques.

latentcorpse
Messages
1,411
Reaction score
0
two questions here:

(i) my notes say that [itex]\frac{1}{e^{\frac{1}{z}}-1}[/itex] has an isolated singularity at [itex]z=\frac{1}{2 \pi i n}, n \in \mathbb{Z} \backslash \{0\}[/itex]

i can't see this though...

(ii) let [itex]b \in \mathbb{R}[/itex]. show

[itex]\int_{-\infty}^{\infty} e^{-x^2} \cos{(2bx)} dx = e^{-b^2} \sqrt{\pi}[/itex]

we take a rectangular contour [itex]\Gamma[/itex] with vertices (R,0) , (R,b) , (-R,b) , (-R,0)
this integrand is holomorphic on the entire complex plane so Cauchy's Theorem tells us that

[itex]\int_{\Gamma}e^{-z^2} \cos{(2bz)} dz=0[/latex<br /> <br /> now we define <br /> [itex]\gamma_1[/itex] between (-R,0) and (R,0) <br /> [itex]\gamma_2[/itex] between (R,0) and (R,b) <br /> [itex]\gamma_3[/itex] between (R,b) and (-R,b) <br /> [itex]\gamma_4[/itex] between (-R,b) and (-R,0)<br /> so that [itex]\Gamma= \gamma_1 \cup \gamma_2 \cup \gamma_3 \cup \gamma_4[/itex]<br /> <br /> now on [itex]\gamma_2[/itex] we use Jordan's lemma<br /> <br /> the length of the curve is b<br /> <br /> and we have [itex]|e^{-z^2} \cos{(2bz)}| \leq |e^{-z^2}|[/itex] as [itex]|\cos{(2bz)}| \leq 1[/itex]<br /> <br /> we parameterise [itex]\gamma_2[/itex] by [itex]z=R+it, t \in [0,b][/itex]<br /> <br /> so [itex]|e^{-z^2}| = |e^{-(R+it)^2}| \leq e^{t^2-R^2} \leq e^{b^2-R^2}[/itex]<br /> <br /> so [itex]\int_{\gamma_2} e^{-z^2} \cos{(2bz)} dz \leq be^{b^2-R^2} \rightarrow 0[/itex] as [itex]R \rightarrow \infty[/itex]<br /> <br /> and [itex]\gamma_4[/itex] vanishes simlarly<br /> <br /> my problem is how to treat [itex]\gamma_3[/itex]. is it meant to be rearranged so that we get the integral over [itex]\gamma_3[/itex] is proportional to the integral over [itex]\gamma_1[/itex]. i was going to say it ISN'T because we want it to be non-zero so that the integral over [itex]\gamma_1[/itex] doesn't end up as 0.<br /> <br /> this is what I've been trying:<br /> <br /> parameterise [itex]\gamma_3[/itex] by [itex]z=z+ib , x \in [-R,R][/itex]<br /> <br /> [itex]\int_{\gamma_3} f(z) dz = \int_R^{-R} e^{-(x+ib)^2} \cos{(2b(x+ib))} dx[/itex]<br /> <br /> do i continue down this road or am i supposed to be using Jordan's lemma here:<br /> <br /> [itex]|e^{-z^2} \cos{(2bz)}| \leq |e^{-z^2}| = |e^{-x^2} e^{-2ixb} e^{b^2}| = |e^{b^2-x^2}| \leq e^{b^2}[/itex] as [itex]x \in [-R,R][/itex] and the length of this contour is b so<br /> <br /> we'd end up with our desired integral being equal to [itex]-be^{b^2}[/itex] which is a bit off<br /> <br /> any advice...[/itex]
 
Physics news on Phys.org
latentcorpse said:
(i) my notes say that [itex]\frac{1}{e^{\frac{1}{z}}-1}[/itex] has an isolated singularity at [itex]z=\frac{1}{2 \pi i n}, n \in \mathbb{Z} \backslash \{0\}[/itex]

Hi latentcorpse! :smile:

When z = 1/2nπi, 1/z = 2nπ1, so e1/z = 1.
(ii) let [itex]b \in \mathbb{R}[/itex]. show

[itex]\int_{-\infty}^{\infty} e^{-x^2} \cos{(2bx)} dx = e^{-b^2} \sqrt{\pi}[/itex]

we take a rectangular contour …

Wouldn't it be easier to write cos(2bx) = Re(e2bxi), and then complete the square ? :wink:
 
of course it would lol. I'm such a tool. i literally just finished reading that part of my notes before trying this question and completely ignored them!
oh well ... learn by doing examples eh?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
9
Views
2K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
13
Views
2K