Tuesday, 1 October 2013

complex analysis - On lower bounds for contour integrals and their divergence




I want to find a lower bound for |γf(z)dz|. I know of the estimation lemma and Jordan's lemma for an upper bound, but I don't know of any for a lower bound.



The motivation is that I want to prove that a certain integral diverges on a given contour, and I'm looking for ways to do that. I think that for a given smooth contour γR that depends on a parameter R, and a given function f(z) such that |f(z)| as R, one can conclude that |γRf(z)dz| as R. In an attempt to prove that, I use a naive approximation for |γRf|:
|γRf|=|If(γR(t))˙γR(t)||nj=1f(γR(jn))˙γR(jn)|


here I use a lower bound of the Riemann integral after the choice of parameterization for γR, without loss of generality and for ease of writing I assumed that the interval of the parameterization is [0,1] and I used the partition of I to n subintervals of length 1n. And then using the triangle inequality and the assumption we have that |γRf(z)dz| (On second thought, we might also need that the derivative of γR behaves nice enough).



So, to be very specific, the 3 questions I have here: a) is there an "estimation lemma" for a lower bound? b) is my reasoning correct in the above proof? c) are there criteria for contour integral divergence or similar tests?



Thanks



Answer



I don't see how this is possible. Just take f(z)=z and γ(t)=Re2πit. Then |f(z)|=R, but γRf(z)dz=0 for every R. Note that it is not essential that the curve is closed: it will work just as well with half circles.



That means for question (a): no lower bound in terms of |f(z)| exists. The closest thing I can think of is
|γf(z)dz|=|γwf(z)dz|γwf(z)dz=10(wf(γ(t))γ(t))dtmin((wfγ)γ)


for any constant |w|=1.




For question (b): something must be wrong; I don't really see how you can apply the triangle inequality, so maybe that is the problem.



To question (c) I can only say that I don't know any.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...