Physics Forums

## Complex integration

I have the function

$$f(z)=\frac{e^z}{1+e^{4z}}$$.

and the loop

$$\gamma_{r_1,r_2}=I_{r_1,r_2}+II_{r_2}+III_{r_1,r_2}+IV_{r_1},\quad r_1,r_2>0,$$

which bounds the domain

$$A_{r_1,r_2}=\{z\in\mathbb{C}\mid -r_1<\Re(z)< r_2\wedge0<\Im(z)<\pi\}.$$

Now I have to show that

$$\int_{\gamma_{r_1,r_2}}f(z)\,dz=\tfrac{\sqrt2}{2}\pi.$$

I know that the integral along $\gamma_{r_1,r_2}$ is the sum of the integrals along the four countours $I_{r1,r_2},\dots,IV_{r_1}$. I also know that if $f$ is continuous in a domain D and has an antiderivative $F$ throughout D, then the integral along a contour lying in D is $F(z_T)-F(z_I)$, where $z_T$ is the terminal point, and $z_I$ the initial point, of the countour.
However, using this, I am not able to show the aforementioned result, i.e, I get $\int_{\gamma_{r_1,r_2}}f(z)\,dz=0$.

Could anyone try to calculate the integral, and then report back what they've found.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:
Homework Help
Science Advisor

Quote by sigmund 					 				 				I have the function  $$f(z)=\frac{e^z}{1+e^{4z}}$$.  and the loop  $$\gamma_{r_1,r_2}=I_{r_1,r_2}+II_{r_2}+III_{r_1,r_2}+IV_{r_1},\quad r_1,r_2>0,$$  which bounds the domain  $$A_{r_1,r_2}=\{z\in\mathbb{C}\mid -r_1<\Re(z)< r_2\wedge0<\Im(z)<\pi\}.$$  Now I have to show that  $$\int_{\gamma_{r_1,r_2}}f(z)\,dz=\tfrac{\sqrt2}{2}\pi.$$  I know that the integral along $\gamma_{r_1,r_2}$ is the sum of the integrals along the four countours $I_{r1,r_2},\dots,IV_{r_1}$. I also know that if $f$ is continuous in a domain D and has an antiderivative $F$ throughout D, then the integral along a contour lying in D is $F(z_T)-F(z_I)$, where $z_T$ is the terminal point, and $z_I$ the initial point, of the countour. However, using this, I am not able to show the aforementioned result, i.e, I get $\int_{\gamma_{r_1,r_2}}f(z)\,dz=0$.  Could anyone try to calculate the integral, and then report back what they've found.
Ok, your contour as stated is tough for me to follow but looks like you're going around the origin in such a was as to encompass poles of the integrand. Right? When is the denominator zero in the complex plane? Thus can't rely on Cauchy's Theorem but rather the Residue Theorem.

Edit: Alright, suppose Cauchy's Theorem is a special case of the Residue Theorem but you know what I mean.

Quote by saltydog 					 				 				Ok, your contour as stated is tough for me to follow, but looks like you're going around the origin in such a was as to encompass poles of the integrand.  Right?  When is the denominator zero in the complex plane?  Thus can't rely on Cauchy's Theorem but rather the Residue Theorem. Edit:  Alright, suppose Cauchy's Theorem is a special case of the Residue Theorem but you know what I mean.
The function f has singularities in $z=\frac{i}{4}\left(\pi+k2\pi\right),~k=0,1,2,\dots$, and the contour is a rectangle with vertices at $z=-r_1$, $z=r_2$, $z=r_2+i\pi$, and $z=-r_1+i\pi$, where $r_1,r_2>0$. It is also oriented counter-clockwise.
Moreover, in the first question of the exercise, I am asked to calculate the residues at the singularities. Comparing Cauchy's Integral Theorem and Cauchy's Residue Theorem, I clearly see that the Residue Theorem can be used here, because the Integral Theorem requires the domain, which contains the contour, to be simply connected, while the Residue Theorem allows singularities inside the contour.
Thus the Residue Theorem would be the right one to use here. I have not tried to apply this yet, but thanks for pointing me towards this.

EDIT: I have just used Maple to quickly calculate the integral, using the Residue Theorem, and I got the right result.

Recognitions:
Homework Help
Science Advisor

## Complex integration

Quote by sigmund 					 				 				 EDIT: I have just used Maple to quickly calculate the integral, using the Residue Theorem, and I got the right result.
Hey Sigmund, you do know how to calculate the residues by hand right? That is, how to show:

$$\mathop\lim\limits_{z\to \pi i/4} (z-\pi i/4) \frac{e^z}{1+e^{4z}}=-\frac{1/ \sqrt{2}+i/ \sqrt{2}}{4}$$

Quote by saltydog 					 				 				Hey Sigmund, you do know how to calculate the residues by hand right?  That is, how to show: $$\mathop\lim\limits_{z\to \pi i/4} (z-\pi i/4) \frac{e^z}{1+e^{4z}}=-\frac{1/ \sqrt{2}+i/ \sqrt{2}}{4}$$
Just factor the denominator by determining the poles : $$z = \frac{i( \pi + 2k \pi)}{4}$$ and k = 0,1,2,3

So you get 4 factors, one for each k. Then you will see that the $$(z-\pi i/4)$$ term will also appear in the denominator.

Be sure that this only goes for first order poles

marlon

Quote by marlon 					 				 				Just factor the denominator by determining the poles : $$z = \frac{i( \pi + 2k \pi)}{4}$$ and k = 0,1,2,3 So you get 4 factors, one for each k. Then you will see that the $$(z-\pi i/4)$$ term will also appear in the denominator. Be sure that this only goes for first order poles marlon
I am not sure how to do this. The denominator of f has a zero of order 1 at $z=i\pi/4$, whence it can be written as $(z-i\pi/4)g(z)$, where g(z) is analytic at $i\pi/4$ and $g(i\pi/4)\neq0$. I do not know how to do this. Couldn't you give me a hint to how to solve this?

Recognitions:
Homework Help
Science Advisor

Quote by sigmund 					 				 				I am not sure how to do this. The denominator of f has a zero of order 1 at $z=i\pi/4$, whence it can be written as $(z-i\pi/4)g(z)$, where g(z) is analytic at $i\pi/4$ and $g(i\pi/4)\neq0$. I do not know how to do this. Couldn't you give me a hint to how to solve this?
Yea, I'd like to know too. I was referring to the relation:

$$\text{Res}_{z=z_0} \left(\frac{p(z)}{q(z)}\right)=\frac{p(z_0)}{q^{'}(z_0)}$$

Note: Only for a simple pole.

Quote by saltydog 					 				 				Yea, I'd like to know too.  I was referring to the relation: $$\text{Res}_{z=z_0} \left(\frac{p(z)}{q(z)}\right)=\frac{p(z_0)}{q^{'}(z_0)}$$ Note:  Only for a simple pole.
The function f has a simple pole at $z=z_0$ (z_0 has been stated several times in this thread, so I omit it here). Hence the residue at that point is $\text{Res}(f;z_0)=\lim_{z\to z_0}(z-z_0)f(z)$.
If we let $f(z)=p(z)/q(z)$, where p and q are both analytic at z_0, and q has a simple zero at z_0, while $p(z_0)\neq0$, we can do the following simplification:
$$\text{Res}(f;z_0)=\lim_{z\to z_0}(z-z_0)f(z)=\lim_{z\to z_0}(z-z_0)\frac{p(z)}{q(z)}=\lim_{z\to z_0}\frac{p(z)}{\frac{q(z)-q(z_0)}{z-z_0}}=\frac{\lim_{z\to z_0}p(z)}{\lim_{z\to z_0}\frac{q(z)-q(z_0)}{z-z_0}}=\frac{p(z_0)}{q'(z_0)}$$

This can be used in the actual problem, because the requirements about analyticity at z_0, and that p(z) is nonzero at z_0, are met. Using this, it is easy to calculate the residue at z_0, while factoring the denominator undoubtedly could be done, although difficult, i presume.
As Albert Einstein said: "Everything should be made as simple as possible, but no simpler."

Thread Tools

|                                          |                               |         |
|------------------------------------------|-------------------------------|---------|
| Similar Threads for: Complex integration |                               |         |
| Thread                                   | Forum                         | Replies |
|                                          | Introductory Physics Homework | 6       |
|                                          | Calculus                      | 1       |
|                                          | Calculus & Beyond Homework    | 1       |
|                                          | Calculus & Beyond Homework    | 19      |
|                                          | Calculus                      | 6       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 17, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9519866108894348, "perplexity_flag": "head"}