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)|≥|n∑j=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))dt≥minℜ((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