MHB Integration around circular arcs

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
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
Back
Top