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
2021 Award
18,529
8,427
##d\theta## is not the same as ##dz##.
 
  • #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
2021 Award
18,529
8,427
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##.
 
  • #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
2021 Award
18,529
8,427
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
2021 Award
18,529
8,427
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.
 
  • #11
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,722
\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.
 
  • #12
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
2021 Award
18,529
8,427
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,722
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
2021 Award
18,529
8,427
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##.
 
  • #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
2021 Award
18,529
8,427
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
2021 Award
18,529
8,427
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.
 
  • #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
2021 Award
18,529
8,427
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.
 
  • #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
2021 Award
18,529
8,427
Exactly. Does your curve enclose the origin?
 
  • #24
317
26
It is better to write ∮Γ∮Γ\oint_\Gamma and specify what ΓΓ\Gamma is.
Now, I see why this is important. Thanks!
 
  • #26
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
2021 Award
18,529
8,427
So can you apply Cauchy’s integral theorem (which only deals with holomorphic functions) or do you need to use a bigger gun (more general theorem)?
 
  • #27
317
26
So can you apply Cauchy’s integral theorem (which only deals with holomorphic functions) or do you need to use a bigger gun (more general theorem)?
Is this bigger gun the "Cauchy Integral Theorem for Derivatives"? I think the regular gun would suffice?
 
  • #28
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
2021 Award
18,529
8,427
Is this bigger gun the "Cauchy Integral Theorem for Derivatives"? I think the regular gun would suffice?
No. The regular gun deals with integrals of holonomic functions and your function is not holonomic (you just confirmed that it has a pole at z=0). The improved gun is a generalisation of the integral theorem and starts with an R.

However, it strikes me now that you may be referring to the Cauchy integral formula rather than the Cauchy integral theorem. You can apply the formula, not the theorem.
 
  • #29
317
26
integrals of holonomic functions and your function is not holonomic
What is holonomic? Did you meant holomorphic? I googled holonomic and it exists and it means something else.
However, it strikes me now that you may be referring to the Cauchy integral formula rather than the Cauchy integral theorem. You can apply the formula, not the theorem.
Yes, I meant formula - sorry. But, the formula is applicable right?
 
  • #30
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
2021 Award
18,529
8,427
What is holonomic? Did you meant holomorphic?
Yes, it is late here (4 am) and I am suffering from insomnia so not completely alert ...

Yes, you can apply the Cauchy integral formula with ##z_0 = 0##. The more general theorem is the residue theorem.
 

Related Threads on Evaluating a complex integral

Replies
6
Views
3K
Replies
1
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
4
Views
939
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
714
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
26
Views
4K
  • Last Post
Replies
2
Views
1K
Top