- #1
TonyLowe
- 1
- 0
Homework Statement
I have to proof that this equation:
[tex]x_r(\omega)=\frac{1}{\pi}*PV \int_{-\infty}^{\infty}\frac{x_i(\omega')}{(\omega'-\omega)}d\omega'[/tex]
(where P denotes Principal Value Integration of Cauchy, r and i denotes rispectively real and imaginary part of x function)
is equivalent to this equation:
[tex]x_r(\omega)=\frac{2}{\pi}* \int_{0}^{\infty}\frac{\omega' x_i(\omega')-\omega x_i(\omega)}{\omega'^2-\omega^2}d\omega'[/tex].
This equation (the first) is the first of the Kramers-Kronig relations for complex function.
Homework Equations
Using symmetry property of x(w), I can proof that the first equation is equivalent to:
[tex]x_r(\omega)=\frac{2}{\pi}*PV \int_{0}^{\infty}\frac{\omega' x_i(\omega')}{(\omega'^2-\omega^2)}d\omega'[/tex]
I also show, using PV definition, that:
[tex]PV \int_{0}^{\infty}\frac{1}{(\omega'^2-\omega^2)}d\omega'=0[/tex]
The definition of PV that I have used in my calculus is the follow:
[tex]PV \int_{-\infty}^{\infty} f(\omega')d\omega'=\lim_{r \to 0} (\int_{-\infty}^{\omega-r} f(\omega')d\omega'+\int_{\omega+r}^{\infty} f(\omega')d\omega')[/tex]
The Attempt at a Solution
Starting from:
[tex]x_r(\omega)=\frac{2}{\pi}*PV \int_{0}^{\infty}\frac{\omega' x_i(\omega')}{(\omega'^2-\omega^2)}d\omega'[/tex]
I have added and removed from the numerator the quantity
[tex]\omega x_i(\omega)[/tex]
so:
[tex]x_r(\omega)=\frac{2}{\pi}*PV \int_{0}^{\infty}\frac{\omega' x_i(\omega')-\omega x_i(\omega)}{(\omega'^2-\omega^2)}d\omega'+\frac{2}{\pi}*PV \int_{0}^{\infty}\frac{\omega x_i(\omega)}{(\omega'^2-\omega^2)}d\omega'[/tex]
The second integral is zero; the first integral is the solution of the problem a part of the PV operators. I think that if I justify that the integrands have no singularity at w'=w, the problem is solve (in this case, in fact, I can remove PV operators from first integral).
But I don't understand why that integrands is not singular for w'=w: infact in w there is a pole of the function x(w) (from the complete proof of Kramers-Kronig relations I have understand that w is a pole, with no imaginary part, of x(w)), and the denominator goes to zero when w'=w, as the numerator.
Someone can help me?
Thank very much
Last edited: