Evaluating a complex integral

  • #1
317
26

Homework Statement


##\int_{0}^{2\pi} cos^2(\frac{pi}{6}+2e^{i\theta})d\theta##. I am not sure if I am doing this write. Help me out. Thanks!

Homework Equations


Cauchy-Goursat's Theorem

The Attempt at a Solution


Let ##z(\theta)=2e^{i\theta}##, ##\theta \in [0,2\pi]##. Then the complex integral above becomes
\begin{align}
\int_{c}cos^2(z+\frac{\pi}{6})dz \quad \text{s.t. C:}z(\theta)=2e^{i\theta}, \quad \theta \in [0,2\pi]
\end{align}
Since ##cos^2(z)## is an entire function and ##C## is a simple closed contour, then by the Cauchy-Goursat Theorem the integral evaluates to zero.
 

Answers and Replies

  • #2
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
##d\theta## is not the same as ##dz##.
 
  • Like
Likes Terrell
  • #3
317
26
##d\theta## is not the same as ##dz##.
Can you please help me out? The class I got into went through the course too brashly, prof had lots of personal emergencies.
 
  • #4
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
This is not restricted to complex analysis. Whenever you make a change of variables in an integral you must not only change the integrand but also you get a Jacobian determinant for the change in the integral measure. In particular, for a single variable integral, if ##x = f(t)##, then ##dx = (dx/dt)dt = f’(t) dt##.
 
  • Like
Likes Terrell
  • #6
317
26
This is not restricted to complex analysis. Whenever you make a change of variables in an integral you must not only change the integrand but also you get a Jacobian determinant for the change in the integral measure. In particular, for a single variable integral, if ##x = f(t)##, then ##dx = (dx/dt)dt = f’(t) dt##.
*faceslap*... commonly called u-substitution. What was I thinking.
 
  • #7
317
26
dθdθd\theta is not the same as dzdzdz.
Can you at least give me hints as to how I should go about this? I feel like I should already know this stuff but my math background is very nontraditional.
 
  • #8
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
Can you at least give me hints as to how I should go about this? I feel like I should already know this stuff but my math background is very nontraditional.
How would you do the substitution ##x = t^2## in the integral
$$
\int t^3 dt?
$$
 
  • #9
317
26
How would you do the substitution ##x = t^2## in the integral
$$
\int t^3 dt?
$$
\begin{align}
\int t^3 dt = \frac{1}{2}\int t^2\cdot 2dt &= \frac{1}{2}\int x dx \quad \text{s.t.}\quad dx=2dt\\
&=\frac{1}{2}\frac{x^2}{2}=\frac{x^2}{4}+K \quad\text{such that K is some constant.}
\end{align}
With the original post the most "natural" start for me is let ##z=2e^{i\theta}+\frac{\pi}{6}##. So I then have ##dz=2ie^{i\theta}d\theta##. Which gives me the integral
\begin{align}
\int_{c}\frac{\cos^2(z)}{2ie^{i\theta}}dz
\end{align}
Then I don't know what's next.
 
  • #10
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
You still have ##\theta## left in your integral. Once you have made your substitution you should only have functions of ##z## (or rather, ##\theta## should be considered as a function of ##z##). I would also suggest that your previous ##z = e^{2i\theta}## was easier, but it should not matter for your end result.
 
  • Like
Likes Terrell
  • #11
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,728
\begin{align}
\int t^3 dt = \frac{1}{2}\int t^2\cdot 2dt &= \frac{1}{2}\int x dx \quad \text{s.t.}\quad dx=2dt\\
&=\frac{1}{2}\frac{x^2}{2}=\frac{x^2}{4}+K \quad\text{such that K is some constant.}
\end{align}
With the original post the most "natural" start for me is let ##z=2e^{i\theta}+\frac{\pi}{6}##. So I then have ##dz=2ie^{i\theta}d\theta##. Which gives me the integral
\begin{align}
\int_{c}\frac{\cos^2(z)}{2ie^{i\theta}}dz
\end{align}
Then I don't know what's next.
If you put ##z = e^{i \theta}## in the above, you will have just about the most famous integral you can ever meet in a complex analysis course.
 
  • Like
Likes Terrell
  • #12
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
If you put ##z = e^{i \theta}## in the above, you will have just about the most famous integral you can ever meet in a complex analysis course.
Note that he used the substitution ##z = 2 e^{i\theta} + \pi/6##, so I would not insert ##z = e^{i\theta}## (I would do the substitution ##z = e^{i\theta}## instead ...).
 
  • #13
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,728
Note that he used the substitution ##z = 2 e^{i\theta} + \pi/6##, so I would not insert ##z = e^{i\theta}## (I would do the substitution ##z = e^{i\theta}## instead ...).
I was replying to post #1, where he used ##z = e^{i \theta}## and obtained
$$
\int_{c}\cos^2\left(z+\frac{\pi}{6} \right)dz \quad \text{s.t. C:}z(\theta)=2e^{i\theta}, \quad \theta \in [0,2\pi]
$$
As you noted in #2, ##dz## and ##d \theta## are not the same, so the integral above is not quite correct.

In post #9 the OP switched to ##z = \pi/6 + 2 e^{i \theta}## and obtained the integral in (4). If he were to put back ##z## in place of ##\theta## he would get a simple, standard result and so could easily finish the calculation.
 
  • #14
317
26
If you put z=eiθz=eiθz = e^{i \theta} in the above, you will have just about the most famous integral you can ever meet in a complex analysis course.
so ##dz=ie^{i\theta}d\theta##.
\begin{align}
\frac{1}{ie^{i\theta}}\int_{0}^{2pi}\cos^2(\frac{\pi}{6}+2e^{i\theta})ie^{i\theta}d\theta\\
\frac{1}{iz}\int_{1}^{1}\cos^2(\frac{\pi}{6}+2z)dz
\end{align}
I don't know the famous integral you refer to, my calc background is very minimal - I didn't really enjoy integrals in contrast to proof writing courses. I don't know where to go from here. Thanks.
 
  • #15
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
You cannot move the z out of the integral. Also, writing 1 and 1 as limits is misleading. You are integrating along a closed path in ##\mathbb C##.
 
  • Like
Likes Terrell
  • #16
317
26
You cannot move the z out of the integral.
Yes, I know this. I just had to; to emphasize the substitution. Is it a long way to finish from here or is it close?
 
  • #17
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
I just had to; to emphasize the substitution.
I cannot approve of this practice. You cannot write something that does not make sense just to emphasize something else. You could have just put it as a denominator for the rest of the integrand.

Is it a long way to finish from here or is it close?
You talked about the integrand being an entire function in your first post. What about now with the additional factor of 1/z?
 
  • #18
317
26
You talked about the integrand being an entire function in your first post. What about now with the additional factor of 1/z?
Well, z cannot be zero. But I don't think ##z## will ever be zero because ##z=e^{i\theta}##. Right? So I still think it's entire.
 
  • #19
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
Well, z cannot be zero. But I don't think ##z## will ever be zero because ##z=e^{i\theta}##. Right? So I still think it's entire.
On the curve, no. But this is not what it means to be entire. The Cauchy integral theorem rests upon the assumption that the integrand is holomorphic everywhere.
 
  • Like
Likes Terrell
  • #20
317
26
On the curve, no.
Why? The curve we speak of is ##e^{i\theta}##, right?
But this is not what it means to be entire. The Cauchy integral theorem rests upon the assumption that the integrand is holomorphic everywhere.
Yes, entire is analytic everywhere which is synonymous to holomorphic.
Also, writing 1 and 1 as limits is misleading. You are integrating along a closed path in CC\mathbb C.
So it's better to keep 0 and ##2\pi## as limits?
 
  • #21
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
Yes, entire is analytic everywhere which is synonymous to holomorphic.
So is your function holomorphic?

So it's better to keep 0 and 2π2π2\pi as limits?
It is better to write ##\oint_\Gamma## and specify what ##\Gamma## is.
 
  • Like
Likes Terrell
  • #22
317
26
So is your function holomorphic?
##\frac{\cos^2(\frac{\pi}{6}+2z)}{iz}## would not be holomorphic because it has an isolated singularity at the origin...? Also, this singularity is inside the curve we evaluate the integrand so this is where I use Cauchy's Integral Theorem, correct?
 
  • #23
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,652
Exactly. Does your curve enclose the origin?
 
  • Like
Likes Terrell
  • #24
317
26
It is better to write ∮Γ∮Γ\oint_\Gamma and specify what ΓΓ\Gamma is.
Now, I see why this is important. Thanks!
 

Related Threads on Evaluating a complex integral

Replies
1
Views
2K
Replies
10
Views
1K
  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
6
Views
754
Replies
29
Views
9K
Replies
5
Views
2K
Replies
1
Views
956
  • Last Post
Replies
7
Views
11K
Replies
10
Views
1K
Top