¿Cómo demostrar $\frac{1}{\pi}\int_{0}^{\pi}\frac{\sin{t}}{\cos{t}-\cos{x}}f'(x)\,dx=\frac{1}{2\pi}\int_{0}^{2\pi}\cot{\frac{x-t}{2}}g'(x)\,dx$?

Question

Mostrar que $$\dfrac{1}{\pi}\int_{0}^{\pi}\dfrac{\sin{t}}{\cos{t}-\cos{x}}f'(x)dx=\dfrac{1}{2\pi}\int_{0}^{2\pi}\cot{\dfrac{x-t}{2}}g'(x)dx$$

donde $g$ denota la extensión periódica impar y de $2\pi$ de $f$ en todo $R$.

Mi intento: ya que $$\sin{t}=\sin{\left(\dfrac{t+x}{2}+\dfrac{t-x}{2}\right)}=\sin{\dfrac{t+x}{2}}\cos{\dfrac{t-x}{2}}+\sin{\dfrac{t-x}{2}}\cos{\dfrac{t+x}{2}}$$ y $$\cos{t}-\cos{x}=2\sin{\dfrac{x-t}{2}}\sin{\dfrac{t+x}{2}}$$ así que $$\dfrac{\sin{t}}{\cos{t}-\cos{x}}=\dfrac{1}{2}\cot{\dfrac{x-t}{2}}-\dfrac{1}{2}\cot{\dfrac{t+x}{2}}$$ sea $$I=\dfrac{1}{\pi}\int_{0}^{\pi}\dfrac{\sin{t}}{\cos{t}-\cos{x}}f'(x)dx$$ entonces $$I=\dfrac{1}{2\pi}\int_{0}^{\pi}\cot{\dfrac{x-t}{2}}f'(x)dx-\dfrac{1}{2\pi}\int_{0}^{\pi}\cot{\dfrac{t+x}{2}}f'(x)dx$$ entonces no puedo, muchas gracias

Answer 1

Tenga en cuenta que $$\begin{align} \int_{0}^{\pi}\cot{\dfrac{t+x}{2}}f'(x)dx =\{x:=-s\} &=\int_{0}^{-\pi}\cot{\dfrac{t-s}{2}}f'(-s)(-ds)\\ &=\int_{-\pi}^{0}\cot{\dfrac{t-s}{2}}f'(-s)ds\\ &=-\int_{-\pi}^{0}\cot{\dfrac{s-t}{2}}f'(-s)ds\\ &=-\int_{-\pi}^{0}\cot{\dfrac{s-t}{2}}g'(s)ds\\ &=-\int_{-\pi}^{0}\cot{\dfrac{x-t}{2}}g'(x)dx\\ \end{align}$$