Integrating exponetial of z over the conjugate of z

• marqeeete
In summary: You might be able to solve it with a residue theorem or cauchy's theorem, but those are not really easy to come by.

marqeeete

Im doing some complex variable "counter integration" problems and this one came up.

$I = \oint e ^{\frac{z}{\overline{z}}}dz$

the integral must be done over a circle with radio r

My first attempt was to do it in the exponetial form, so we have this:

$\frac{z}{\overline{z}} = e^{2i\theta}$

but when i do so, i get an e to the power e to the power something and i start getting some long equation so i figure out, there must be an easier way to solve the problem. Hope someone can give me a hand. =D
PS: sorry for my english, it´s my second language!

marqeeete said:
Im doing some complex variable "counter integration" problems and this one came up.

$I = \oint e ^{\frac{z}{\overline{z}}}dz$

the integral must be done over a circle with radio r

My first attempt was to do it in the exponetial form, so we have this:

$\frac{z}{\overline{z}} = e^{2i\theta}$

but when i do so, i get an e to the power e to the power something and i start getting some long equation so i figure out, there must be an easier way to solve the problem. Hope someone can give me a hand. =D
PS: sorry for my english, it´s my second language!

All I can suggest is that you struggle with trying to do the integral! The final answer is very simple, but I cheated and used a computer algebra package to do it.

marqeeete said:
Im doing some complex variable "counter integration" problems and this one came up.

$I = \oint e ^{\frac{z}{\overline{z}}}dz$

the integral must be done over a circle with radio r

My first attempt was to do it in the exponetial form, so we have this:

$\frac{z}{\overline{z}} = e^{2i\theta}$

but when i do so, i get an e to the power e to the power something and i start getting some long equation so i figure out, there must be an easier way to solve the problem. Hope someone can give me a hand. =D
PS: sorry for my english, it´s my second language!

$$\mathop\oint\limits_{|u|=1} e^{u^2} du$$

$$\int_0^{2\pi} e^{e^{2it}} ri e^{it} dt$$

Then what happens if you just substitute $z=re^{it}$ into yours?

Last edited:
Thanks for the answers, they really got me thinking and I just came up with an idea; now i do not know if its valid or logical in all its statements, but maybe you can tell me if it is..

I can rewrite.
$e^{z/\overline{z}}$

as

$e^{z^2/\left|z\right|^2}$

then i get:

$\oint_{|z|=r} e^{z^2/\left|z\right|^2}dz$

which is equal to
$\oint_{|z|=r} e^{z^2/r^2}dz$

and when r=1 (in the unit circle) the integral is equal to zero(as it is an holomorfic/analytic function)

$\oint_{|z|=1} e^{z^2}dz = 0$

then, as it is also holomorfic/analytic between |z|=1 and |z|=r the result must be the same because of the deformation theorm (its a rubber sheet geometry) so:

$\oint_{|z|=r} e^{z^2/\left|z\right|^2}dz=0$

and finally:

$\oint_{|z|=r} e^{z/\overline{z}}dz=0$

does it sound reasonable to you??

marqeeete said:
Thanks for the answers, they really got me thinking and I just came up with an idea; now i do not know if its valid or logical in all its statements, but maybe you can tell me if it is..

I can rewrite.
$e^{z/\overline{z}}$

as

$e^{z^2/\left|z\right|^2}$

then i get:

$\oint_{|z|=r} e^{z^2/\left|z\right|^2}dz$

which is equal to
$\oint_{|z|=r} e^{z^2/r^2}dz$

and when r=1 (in the unit circle) the integral is equal to zero(as it is an holomorfic/analytic function)

$\oint_{|z|=1} e^{z^2}dz = 0$

then, as it is also holomorfic/analytic between |z|=1 and |z|=r the result must be the same because of the deformation theorm (its a rubber sheet geometry) so:

$\oint_{|z|=r} e^{z^2/\left|z\right|^2}dz=0$

and finally:

$\oint_{|z|=r} e^{z/\overline{z}}dz=0$

does it sound reasonable to you??

Outstanding. Better than my way. But you could have stopped at just:

$$\oint_{|z|=r} e^{z^2/r^2}dz=0, \quad r>0$$

since it's holomorphic. And also, not hard to numerically verify it in Mathematica in case you need to check something else that's not so obvious:

Code:
In[1]:=
NIntegrate[Exp[z/Conjugate[z]]*I*Exp[I*t] /.
z -> Exp[I*t], {t, 0, 2*Pi}]

During evaluation of In[1]:= NIntegrate::ncvb:NIntegrate failed to converge to prescribed accuracy after 9 recursive bisections in t near {t} = {1.1269*10^-7}. NIntegrate obtained -4.996*10^-16-1.27676*10^-15 I and 3.849598995114243*^-12 for the integral and error estimates. >>

Out[1]=
-4.996003610813204*^-16 - 1.27675647831893*^-15*I`

That's basically zero.