Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What's a good way to find how fast the integral of a function is growing near a pole of the function? Here is what I mean on an example.

Look at 1/z. If I want to find out how fast ∫0a 1/(z-ε)dz is growing when ε->0, ε∈C, I can do this:

0a 1/(z-ε)dz = ln((a-ε)/ε)=-ln(-ε)+ln(a)+ε/a+O(ε).

What if I have ∫0a f(z)/(z-ε) dz , where f(z) is finite?

share|improve this question
    
My first guess is that you might need something slightly stronger than being differentiable (perhaps bounded variation in some neighbourhood of 0). –  Yemon Choi Nov 2 '09 at 7:45
    
I rephrased the question, so hopefully its more clear. –  Sevak Mkrtchyan Nov 2 '09 at 8:20

1 Answer 1

up vote 5 down vote accepted

If you just want to see how fast it blows up, it shouldn't be too hard. First integrate by parts:

01 f(z)/(z-ε) dz = f(1)log(1-ε) - f(0)log(-ε) - ∫01 f'(z)log(z-ε) dz.

For the integral on the right-hand side, note that when you set ε to 0, you get ∫01 f'(z)log(z) dz, which should converge (to a finite value) as long as f'(z) is bounded, so let's rewrite the integral as

01 f'(z)log(z-ε) dz = ∫01 f'(z)log(z) dz + ∫01 f'(z)(log(z-ε) - log(z)) dz.

The second integral looks like it should converge to 0 as ε goes to 0. To confirm this, it seems advantageous to deal with the singularity at z=0 first (there may be a cleaner way). Make the change of variables z = u2:

01 f'(z)(log(z-ε) - log(z)) dz = 2∫01f'(u2) u(log(u2- ε) - log(u2)) du,

and now it shouldn't be too hard to show that the integrand converges uniformly to 0 as ε goes to 0 if f'(z) is bounded. This gives the estimate

01 f(z)/(z-ε) dz = -f(0)log(-ε) - ∫01 f'(z)log(z) dz + o(1).

share|improve this answer
    
Thanks. That's exactly what I was looking for. I had been looking in the wrong direction. –  Sevak Mkrtchyan Nov 2 '09 at 8:40

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.