Demostrar que $\int_0^{\infty} \frac{\sin(2013 x)}{x(\cos x+\cosh x)}dx=\frac{\pi}{4}$

Question

Demostrar que $$\int_0^{\infty} \frac{\sin(2013 x)}{x(\cos x+\cosh x)}dx=\frac{\pi}{4}$$

Answer 1

Porque el integrando es par, el contorno de la integración de los rendimientos $$ \begin{align} &\int_0^\infty\frac{\sin(mx)}{x(\cos(x)+\cosh(x))}\mathrm{d}x\\ &=\frac12\int_{-\infty}^\infty\frac{\sin(mx)}{x(\cos(x)+\cosh(x))}\mathrm{d}x\\ &=\frac12\int_{-\infty-i}^{\infty-i}\frac{\sin(mx)}{x(\cos(x)+\cosh(x))}\mathrm{d}x\\ &=\frac1{4i}\int_{\gamma^+}\frac{e^{imz}}{z(\cos(z)+\cosh(z))}\mathrm{d}z -\frac1{4i}\int_{\gamma^-}\frac{e^{-imz}}{z(\cos(z)+\cosh(z))}\mathrm{d}z\\ &=\frac{2\pi i}{4i}\frac12 +2\frac{2\pi i}{4i}\sum_{k=0}^\infty(-1)^{k+1}\frac{\mathrm{sech}\left(\frac{2k+1}{2}\pi\right)}{\frac{2k+1}{2}\pi}\frac{\cos\left(m\frac{2k+1}{2}\pi\right)}{\exp\left(m\frac{2k+1}{2}\pi\right)}\\ &=\frac\pi4+\pi\sum_{k=0}^\infty(-1)^{k+1}\frac{\mathrm{sech}\left(\frac{2k+1}{2}\pi\right)}{\frac{2k+1}{2}\pi}\frac{\cos\left(m\frac{2k+1}{2}\pi\right)}{\exp\left(m\frac{2k+1}{2}\pi\right)}\\ &=\frac\pi4\qquad\text{for odd %#%#%} \end{align} $$ donde$m$$\gamma^+$$-R-i$, a continuación, círculos hacia la izquierda de nuevo en la mitad superior del plano a lo largo de $+R-i$$|z+i|=R$$\gamma^+$$-R-i$, a continuación, círculos hacia la derecha de nuevo en la mitad inferior del plano a lo largo de $+R-i$.

El residuo de $|z+i|=R$$f(z)=\dfrac{e^{imz}}{z(\cos(z)+\cosh(z))}$$z=0$.

Deje $\frac12$. Como se señaló en esta respuesta, $\alpha=\frac{1+i}{2}$ tiene singularidades en$f$$\pm(2k+1)\pi\alpha$.

La suma de los residuos en la mitad superior del plano en $\pm(2k+1)\pi\overline{\alpha}$ $(2k+1)\pi\alpha$ es igual a la suma de los residuos en la mitad inferior del avión en $-(2k+1)\pi\overline{\alpha}$$(2k+1)\pi\overline{\alpha}$. Ambos son iguales a $$ (-1)^{k+1}\frac{\mathrm{sech}\left(\frac{2k+1}{2}\pi\right)}{\frac{2k+1}{2}\pi}\frac{\cos\left(m\frac{2k+1}{2}\pi\right)}{\exp\left(m\frac{2k+1}{2}\pi\right)} $$ Tenga en cuenta que por extraño $-(2k+1)\pi\alpha$, estos son todos los $m$; $0$. Esto no es así incluso para los $x=m\frac{2k+1}{2}\pi\equiv\frac\pi2\pmod{\pi}\Rightarrow\cos(x)=0$. Por lo tanto, $$ \int_0^\infty\frac{\sin(2013x)}{x(\cos(x)+\cosh(x))}\mathrm{d}x=\frac\pi4 $$

Answer 2

Considere la posibilidad de un caso general:

$$I(m)=\int_0^{\infty} \frac{\sin(m x)}{x(\cos x+\cosh x)}dx$$ where $m$ es un número entero positivo.

En primer lugar, vamos a tratar con m=1

$$I(1)=\int_0^{\infty} \frac{\sin x}{x(\cos x+\cosh x)}dx$ $ , Como primer paso, se nota que

$$\frac{\sin x}{\cos x+\cosh x}=-2\sum_{k=1}^{\infty}(-1)^ke^{-xk}\sin(xk)$$ Esta relación puede ser derivada a partir de la siguiente serie geométrica de la suma:
$$\sum_{k=1}^{\infty}(-1)^ke^{-xk}e^{ixk}=-\frac{e^{-x}e^{ix}}{1+e^{-x}e^{ix}}$$ Parte imaginaria de esto le da a la relación anterior. Por lo tanto, la integral:

$$I(1)=-2\sum_{k=1}^{\infty}(-1)^k\int_{0}^{\infty}e^{-xk}\sin(xk)\frac{dx}{x}$$ Pero

$$\int_{0}^{\infty}e^{-xk}\sin(xk)\frac{dx}{x}=\frac{\pi}{4}$$ Este resultado se sigue de la bien conocida integral

$$\int_{0}^{\infty}e^{-xa}\sin(xk)dx=\frac{k}{a^2+k^2}$$ if we integrate the last with respect to $un$ from $a=k$ to $=\infty$. Obtenemos:

$$I(1)=-2\sum_{k=1}^{\infty}(-1)^k\frac{\pi}{4}=\frac{\pi}{2}\sum_{k=1}^{\infty}(-1)^{k-1}$$ La suma

$$\sum_{k=1}^{\infty}(-1)^{k-1}=1-1+1-1+...=\frac{1}{2}$$ ya era conocida en los tiempos de Leibniz.

Finalmente:

$$I(1)=\frac{\pi}{4}$$ But even in the next case of $m=2$ i have no clue, how to evaluate the integral. Numerical calculations suggest that the result holds for every $m$ including $m=2013$

Answer 3

$\newcommand{\+}{^{\daga}} \newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\a la derecha\vert\,} \newcommand{\cy}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{\int_{0}^{\infty}{\sin\pars{2013 x}\,\dd x \sobre x\bracks{\cos\pars{x} + \cosh\pars{ x}}}={\pi \más de 4}:\ {\large ?}}$

Tenga en cuenta que \begin{align}&\color{#c00000}{\cos\pars{x} + \cosh\pars{x}} =\cos\pars{x} + \cos\pars{x\ic} \\[3mm]&=\cos\pars{{x + x\ic \over 2} + {x - x\ic \over 2}} +\cos\pars{{x + x\ic \over 2} - {x - x\ic \over 2}} =2\cos\pars{x + x\ic \over 2}\cos\pars{x - x\ic \over 2} \\[3mm]&=2\cos\pars{\mu x}\cos\pars{\mu^{*}x} \qquad\mbox{where}\qquad\mu\equiv{1 + \ic \over 2} = \expo{\pi\ic/4} \end{align}

A continuación, \begin{align}&\color{#c00000}{% \int_{0}^{\infty}{\sin\pars{m x}\,\dd x \over x\bracks{\cos\pars{x} + \cosh\pars{ x}}}} ={1 \over 4}\int_{-\infty}^{\infty} {\sin\pars{mx} \over x\cos\pars{\mu x}\cos\pars{\mu^{*}x}}\,\dd x\end{align} Con la identidad $\ds{{\sin\pars{\xi} \\xi} = \int_{0}^{1}\cos\pars{k\xi}\,\dd k =\Re\int_{0}^{1}\expo{\ic\verts{k}\xi}\,\dd k}$, tendremos: $$ \color{#c00000}{% \int_{0}^{\infty}{\sin\pars{m x}\,\dd x \sobre x\bracks{\cos\pars{x} + \cosh\pars{ x}}}} ={1 \over 4}\m\,\Re\int_{0}^{1}\color{#00f}{\int_{-\infty}^{\infty} {\expo{\ic\verts{mk}x}\,\dd x \\cos\pars{\mu x}\cos\pars{\mu^{*}x}}}\,\dd k \etiqueta{1} $$

Los ceros de $\ds{\cos\pars{\mu x}}$ están dadas por $\ds{\pars{~\mbox{with}\ n \in {\mathbb Z}~}}$: $$ x_{n} = \pars{n + \mitad de}\,{\pi \\mu} =\pars{2n + 1}\,\pars{1 - \ic}\,{\pi \over 2}\,,\qquad \Im\pars{x_{n}} > 0\quad\mbox{si}\quad n=-1,-2,-3,\ldots $$ Del mismo modo, los ceros de $\ds{\cos\pars{\mu^{*}x}}$ se dan por $\ds{\pars{~\mbox{with}\ n \in {\mathbb Z}~}}$: $$ x_{n}^{*} = \pars{n + \mitad de}\,{\pi \\mu^{*}} =\pars{2n + 1}\,\pars{1 + \ic}\,{\pi \over 2}\,,\qquad \Im\pars{x_{n}^{*}} > 0\quad\mbox{si}\quad n=0,1,2,\ldots $$ $\grande\begin{array}{|c|}\hline \mbox{Note that}\quad \ds{x_{-n - 1} = -x_{n}}\\ \hline\end{array}$.

A continuación, \begin{align}&\color{#00f}{\int_{-\infty}^{\infty} {\expo{\ic\verts{mk}x}\,\dd x \over \cos\pars{\mu x}\cos\pars{\mu^{*}x}}} \\[3mm]&=2\pi\ic\bracks{% \sum_{n = -\infty}^{-1} {\expo{\ic\verts{mk}x_{n}} \over -\mu\sin\pars{\mu x_{n}}\cos\pars{\mu^{*}x_{n}}} + \sum_{n = 0}^{\infty} {\expo{\ic\verts{mk}x_{n}*}\over \cos\pars{\mu x_{n}^{*}}\pars{-\mu*}\sin\pars{\mu^{*}x_{n}^{*}}}} \\[3mm]&=2\pi\ic\sum_{n = 0}^{\infty}\bracks{% {\expo{-\ic\verts{mk}x_{n}} \over \mu\sin\pars{\mu x_{n}}\cos\pars{\mu^{*}x_{n}}} - {\expo{\ic\verts{mk}x_{n}*}\over \mu^{*}\sin\pars{\mu^{*}x_{n}^{*}}\cos\pars{\mu x_{n}^{*}}}} \\[3mm]&=-4\pi\,\Im \sum_{n = 0}^{\infty}{\mu^{*} \over \verts{\mu}^{2}}\, {\expo{-\ic\verts{mk}x_{n}} \over \sin\pars{\mu x_{n}}\cos\pars{\mu^{*}x_{n}}} \\[3mm]&=-4\pi\,\Im \sum_{n = 0}^{\infty}{\pars{1 - \ic}/2 \over 1/2}\, {\expo{-\ic\verts{mk}x_{n}}\over \sin\pars{\bracks{2n + 1}\pi/2}\cos\pars{\ic\bracks{2n + 1}\pi/2}} \end{align}

$$\color{#00f}{\int_{-\infty}^{\infty} {\expo{\ic\verts{mk}x}\,\dd x \\cos\pars{\mu x}\cos\pars{\mu^{*}x}}} =-4\pi\,\Im \sum_{n = 0}^{\infty}{\pars{-1}^{n} \\cosh\pars{\bracks{2n + 1}\pi/2}}\, \pars{1 - \ic}\expo{-\ic\verts{mk}x_{n}} $$

Sustituimos este resultado en la expresión $\pars{1}$: \begin{align}&\color{#c00000}{% \int_{0}^{\infty}{\sin\pars{m x}\,\dd x \over x\bracks{\cos\pars{x} + \cosh\pars{ x}}}} =-\pi\,m\,\Im \sum_{n = 0}^{\infty}{\pars{-1}^{n} \over \cosh\pars{\bracks{2n + 1}\pi/2}}\, \pars{1 - \ic}\int_{0}^{1}\expo{-\ic\verts{m}x_{n}k}\,\dd k \\[3mm]&=-\pi\,m\,\Im \sum_{n = 0}^{\infty}{\pars{-1}^{n} \over \cosh\pars{\bracks{2n + 1}\pi/2}}\, \pars{1 - \ic}\,{\expo{-\ic\verts{m}x_{n}} - 1 \over -\ic\verts{m}x_{n}} \\[3mm]&=-\pi \sgn\pars{m}\Im \sum_{n = 0}^{\infty}{\pars{-1}^{n} \over \cosh\pars{\bracks{2n + 1}\pi/2}}\, \,\ic\,{\expo{-\ic\verts{m}\pars{2n + 1}\pi/2} \expo{-\verts{m}\pars{2n + 1}\pi/2} - 1 \over \pars{2n + 1}\pi/2} \\[3mm]&=-2\sgn\pars{m}\sum_{n = 0}^{\infty}{\pars{-1}^{n}\over \pars{2n + 1}\cosh\pars{\bracks{2n + 1}\pi/2}}\times \\[3mm]& \phantom{=-2\sgn\pars{m}\sum_{n = 0}^{\infty}} \bracks{\cos\pars{\verts{m}\pars{2n + 1}\,{\pi \over 2}} \expo{-\verts{m}\pars{2n + 1}\pi/2} - 1} \end{align}

Tenga en cuenta que $$ 2\sum_{n = 0}^{\infty}{\pars{-1}^{n}\over \pars{2n + 1}\cosh\pars{\bracks{2n + 1}\pi/2}} = {\pi \más de 4} $$

\begin{align}&\color{#00f}{\large% \int_{0}^{\infty}{\sin\pars{m x}\,\dd x \over x\bracks{\cos\pars{x} + \cosh\pars{ x}}}}= \\[3mm]&\color{#c00000}{\left\lbrace\begin{array}{lcl} {\pi \over 4}\,\sgn\pars{m} & \mbox{if} & m\ \mbox{is odd} \\[3mm]\sgn\pars{m}\braces{% {\pi \over 4} -2\pars{-1}^{\verts{m}/2}\sum_{n = 0}^{\infty}\pars{-1}^{n}\, {\expo{-\verts{m}\pars{2n + 1}\pi/2}\over \pars{2n + 1}\cosh\pars{\bracks{2n + 1}\pi/2}}} & \mbox{if} & m\ \mbox{is even} \end{array}\right.} \end{align}