Hello,
I'm trying to bound an integral. I have a function $A(\nu) = | 1 + \exp(-I \nu) |$ (with $I$ being the imaginary unit) and I want to show that the condition (Paley-Wiener criterion for causality) applies


$$\int\_{-\infty}^{\infty} \frac{|\log(A(\omega))|}{1+\omega^2} \mathrm{d}\omega < \infty$$


(log is the natural logarithm) I used a transformation from $\omega$ to $\nu$: $\omega = \tan(\nu/2)$ and I converted the integral by substitution to


$$\int\_{-\pi}^{\pi} | \log(A(\nu)) |\mathrm{d}\nu < \infty$$


But I don't know how to show that this condition applies for the given function $A(\nu)$. I tried to simplify the problem by using $A(\nu) = | 1 + \exp(-I \nu) | = \sqrt{(1+\exp(-I\nu))(1+\exp(I\nu))}$ and thus simplifying the integral to


$$\frac{1}{2} \int\_{-\pi}^{\pi} | \log(1+\exp(-I\nu)) + \log(1+\exp(I\nu)) |\mathrm{d}\nu$$


But still I have trouble finding a bound. I also tried $A(\nu) = | 1 + \exp(-I \nu) | = \sqrt{2} \sqrt{\cos(\nu) + 1}$.


I though maybe the problem can be solved by providing an upper and lower bound function that converges. But because $A(\nu)$ has values in the range $[0,1]$ the logarithm assumes very large values (and there are actually points of singularity for $A(\nu)=0$).


Please help me solve this problem.



Integration problem: $\int_{-\pi}^{\pi} | \log( | 1 + \exp(- I \nu ) | ) | \mathrm{d}\nu < \infty$
You want to show that
$$\int\_{-\pi}^\pi|\log|1+e^{-it}||dt$$
is finite. Now
$$|1+e^{-it}|=|e^{it/2}+e^{-it/2}|=2\cos(t/2)$$
so your integral is
$$\int\_{-\pi}^\pi|\log|2\cos(t/2)||dt
=2\int\_0^\pi|\log|2\cos(t/2)||dt.$$
Replacing $t$ by $\pi-2$ in the last integral gives
$$2\int\_0^\pi|\log|2\sin(t/2)||dt.$$
The integrand is nicely continuous away from $0$. Near $0$,
$\sin (t/2)=tf(t)$ where $f(t)\to1/2$ as $t\to0$. Then the
integrand is $|\log t+g(t)|$ where $g$ is continuous at $0$
and now finiteness follows since
$$\int\_0^1|\log t|dt$$
is finite (integration by parts).


