MHB Integration around circular arcs

Click For Summary
The discussion focuses on proving that if a function \( f \) has a simple pole at \( z=c \), the limit of the integral over a circular arc \( C_r \) centered at \( c \) approaches \( i(\theta_2 - \theta_1) \text{Res}(f;c) \) as \( r \to 0^+ \). The proof utilizes the Laurent series expansion of \( f \), confirming that the series converges uniformly on compact subsets of the annular region around the pole. By parameterizing the circular arc and applying integration, the limit is established through the properties of the residue and the behavior of the integral as \( r \) approaches zero. The conclusion validates the original claim regarding the integral's limit. This result is significant in complex analysis, particularly in the study of residues and contour integrals.
alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
Prove the following

If $$f$$ has a simple pole at $$z=c$$ and $$C_r$$ is any circular arc bounded by $$\theta_1 , \theta_2$$ and centered at $$c $$ with radius $$r$$

$$\lim_{r \to 0^+} \int_{C_r} f(z) \, dz = i ( \theta_2 - \theta_1 ) \text{Res} (f;c)$$​
 
Mathematics news on Phys.org
Hi ZaidAlyafey,

I'm assuming we are taking $$f$$ to be meromorphic on an open subset, say $$U$$, of $$\mathbb{C}$$ that contains $$c.$$ I also assume the circular arcs we are considering contain the endpoints of the arc (i.e. are compact). That said, we can prove the claim by looking at the Laurent series expansion for $$f$$.

Since $$z=c$$ is a simple pole of $$f,$$ we know that the Laurent series expansion for $$f$$ is of the form

$$f(z)=\frac{Res(f;c)}{z-c}+\sum_{n=0}^{\infty}a_{n}(z-c)^{n}\qquad (*),$$

where the above holds on an annulus of inner radius $$\rho$$ and outer radius $$R.$$ Now

$$\rho = \limsup_{n\rightarrow\infty}|a_{-n}|^{1/n}=0,$$

and since $$f$$ is meromorphic on $$U,$$ $$R>0;$$ the fact that $$\rho=0$$ is what allows us to let $$r\rightarrow 0^{+}.$$ We must note that $$(*)$$ converges uniformly on compact subsets of our annular region (Laurent series - Wikipedia, the free encyclopedia).

Since, for small enough $$r,$$ $$C_{r}$$ is a compact subset of our annular region, $$(*)$$ converges uniformly on $$C_{r}.$$ Using the uniform convergence to justify interchanging integral and sum we have

$$\int_{C_{r}}f(z)dz=Res(f;c)\int_{C_{r}}\frac{1}{z-c}dz+\sum_{n=0}^{\infty}a_{n}\int_{C_{r}}(z-c)^{n}dz.$$

Parameterizing $$C_{r}$$ via $$z=c+re^{i\theta}$$ and integrating gives

$$\int_{C_{r}}f(z)dz=i(\theta_{2}-\theta_{1})Res(f;c)+ir\sum_{n=0}^{\infty}a_{n}\int_{\theta_{1}}^{\theta_{2}}r^{n}e^{i(n+1)\theta}d \theta$$

The sum on the right exists, because the integral on the left exists. Hence, taking the limit we obtain

$$\lim_{r\rightarrow 0^{+}}\int_{C_{r}}f(z)dz=i(\theta_{2}-\theta_{1})Res(f;c),$$

as desired
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
3
Views
2K