Es

Question

Estoy tratando de demostrar que $$ F(y)=\int_\pi^\infty\frac{e^{-x}\sin x}{x}\,dx $$ es diferenciable en a $(0,\infty)$. Mi primera aunque fue tratar de demostrar que $F$ es de Lipschitz que me llevó a la siguiente desigualdad: $$ \lvert F(y_1)-F(y_2)\rvert\le\int_\pi^\infty \left\lvert\frac{\sin x}{x} \right\rvert\cdot\lvert e^{-xy_1}-e^{-xy_2}\rvert\,dx. $$ Entonces yo quería solicitar del Titular de la desigualdad para obtener $$ \lvert F(y_1)-F(y_2)\rvert\le\int_\pi^\infty \left\lvert\frac{\sin x}{x}\right\rvert\cdot\lvert e^{-xy_1}-e^{-xy_2}\rvert\,dx\le\left\|\frac{\sin x}{x}\right\|_1\cdot\|e^{-xy_1}-e^{-xy_2}\|_\infty, $$ pero se me ocurre que no sé que $\left\|\frac{\sin{x}}{x}\right\|_1$ existe. Sé que $$ \int_{\pi}^\infty \frac{\sin{x}}{x}\,dx\le\int_0^\infty\frac{\sin x}{x}\,dx=\frac{\pi}{2}, $$ pero eso no me ayuda con $$ \int_\pi^\infty \left\lvert\frac{\sin x}{x}\right\rvert\,dx. $$ Los pensamientos?

ACTUALIZACIÓN:

Con la entrada de algunos de mis amigos, he decidido que puedo cambiar las normas en mis funciones y $$ \begin{align*} \lvert F(y_1)-F(y_2)\rvert&\le\int_{\pi}^\infty \left\lvert\frac{\sin x}{x}\right\rvert\cdot\lvert e^{-xy_1}-e^{-xy_2}\rvert\,dx\\ &\le\left\|\frac{\sin x}{x}\right\|_\infty\cdot\|e^{-xy_1}-e^{-xy_2}\|_1\\ &=\frac{1}{\pi}\cdot\lvert e^{-y_1\pi}-e^{-y_2\pi}\rvert\\ &\le\frac{1}{\pi}\cdot\lvert y_1\pi-y_2\pi\rvert\\ &=\lvert y_1-y_2\rvert. \end{align*} $$ Por lo tanto $F(y)$ es de Lipschitz y por lo tanto diferenciable de una.e. en $(0,\infty)$.

Answer 1

$$\begin{eqnarray*}\int_{\pi n}^{\pi(n+1)}\left|\frac{\sin(x)}{x}\right|\,dx \geq \int_{\pi \left(n+\frac{1}{4}\right)}^{\pi \left(n+\frac{3}{4}\right)}\left|\frac{\sin(x)}{x}\right|\,dx&\geq& \frac{1}{\sqrt{2}}\int_{\pi \left(n+\frac{1}{4}\right)}^{\pi \left(n+\frac{3}{4}\right)}\frac{dx}{x}\\&\geq&\frac{1}{\sqrt{2}}\int_{\pi \left(n+\frac{1}{4}\right)}^{\pi \left(n+\frac{3}{4}\right)}\frac{dx}{\pi \left(n+\frac{3}{4}\right)}\\&=&\frac{\sqrt{2}}{4n+3}\end{eqnarray*}$ $ pero desde $\sum_{n\geq 1}\frac{\sqrt{2}}{4n+3}$ es divergente, $\frac{\sin x}{x}\color{red}{\not\in} L^1(\pi,+\infty).$

Como señala Dr.MV en los comentarios, integración por partes conduce a la desigualdad más fuerte: $$ \int_{n\pi}^{(n+1)\pi}\left|\frac{\sin x}{x}\right|\,dx \geq \frac{2}{\pi(n+1)}.$ $

Acerca de differentiability, es suficiente para deshacerse del seno a través de: $$\left|F(y_1)-F(y_2)\right|\leq\int_{\pi}^{+\infty}\frac{\left|e^{-xy_1}-e^{-x y_2}\right|}{x}\,dx.$ $