Résidu intégral d'analyse complexe
On me demande d'évaluer la valeur principale de $$\int_{-\infty}^\infty\frac{\cos(x)}{a^2-x^2} \, dx=\pi \frac{\sin (a)}{a},a>0$$
Si nous partons de $$\oint\limits_{C}\frac{e^{iz}}{a^2-z^2}dz,a>0$$ la ligne $C$ est composé du demi-cercle $\Gamma$, pôles cercles à $-a,a, \gamma_1,\gamma_2$ dont les circonférences sont ($r,r_1,r_2$), et une partie du $x$-axe. Si nous utilisons le théorème du reste de Cauchy, nous obtenons$$ \begin{split} \int_0^\pi \frac{e^{ir\cos \theta -r\sin \theta}} {a^2-r^2e^{2-\theta}} ire^{i\theta} \, d\theta &+ \int_{-r}^{-a-r_2} f(x) \, dx + J_2 \\ &+ \int_{-a+r_2}^{a-r_1} f(x) \, dx + J_1 + \int_{a+r_1}^r f(x) \, dx = 0 \end{split} $$ Puisque $\left|\int_0^\pi \frac{e^{ir\cos \theta -rsin \theta}}{a^2-r^2 e^{2-\theta}}ire^{i\theta} \, d\theta\right|\leq{\frac{\pi r}{r^2-a^2},(r>a)}$ On a $$\lim_{n \to \infty}\int_0^\pi \frac{e^{ir\cos \theta -r\sin \theta}}{a^2-r^2e^{2-\theta}}ire^{i\theta} \, d\theta=0$$ Évaluation du résidu à $J_{1}$ et $J_{2}$ on a $$J_1=\operatorname{Res}f(a)=\lim_{x \to a}(a-x)\frac{e^{ix}}{(a-x)(a+x)} =\frac{e^{ia}}{2a}$$ et $$J_2= \operatorname{Res}f(-a)=\lim_{x \to -a}(a+x)\frac{e^{ix}}{(a-x)(a+x)}=\frac{e^{-ia}}{2a}$$ Dans mon livre, l'auteur a $J_{1}=\frac{\pi i}{2a}e^{ia}\land J_2=-\frac{\pi i}{2a} e^{-ia}$ Où le $\pi i$viens de ? aussi, pourquoi - dans le second? Est-ce parce que le résidu est à$-a$? Ensuite, ajouter ces deux nous donne le résultat, mais quand même, où$\pi$ viens de?
Réponses
Je soupçonne que l'auteur voulait écrire $\pi i$fois les termes résiduels. Et le résidu à$z=a$ est donné par
$$\lim_{z\to a}(z-a)\frac{e^{iz}}{a^2-z^2}=-\frac{e^{ia}}{2a}$$
Donc, afin de soutenir votre analyse, partons de zéro et évaluons l'intégrale de contour fermé
$$\begin{align} 0&=\oint_C\frac{e^{iz}}{a^2-z^2}\,dz\\\\ &=\int_{-R}^{-a-r}\frac{e^{ix}}{a^2-x^2}\,dx+\int_\pi^0 \frac{e^{i(-a+re^{i\phi})}}{a^2-(-a+re^{i\phi})^2}\,ire^{i\phi}\,d\phi\\\\ &+\int_{-a+r}^{a-r}\frac{e^{ix}}{a^2-x^2}\,dx+\int_\pi^0 \frac{e^{i(a+re^{i\phi})}}{a^2-(a+re^{i\phi})^2}\,ire^{i\phi}\,d\phi\\\\ &+\int_{a+r}^R \frac{e^{ix}}{a^2-x^2}\,dx+\int_0^\pi \frac{e^{iRe^{i\phi}}}{a^2-(Re^{i\phi})^2}\,iRe^{i\phi}\,d\phi\tag1 \end{align}$$
La dernière intégrale sur le côté droit de $(1)$ disparaît comme $R\to\infty$. Et comme$r\to 0^+$, les deuxième et quatrième intégrales sur le côté droit de $(1)$ approche $-\frac{i\pi e^{-ia}}{2a}$ et $\frac{i\pi e^{ia}}{2a}$, respectivement.
Nous constatons donc que la valeur principale de Cauchy de l'intégrale d'intérêt est
$$\begin{align} \text{PV}\left(\int_{-\infty}^\infty \frac{\cos(x)}{a^2-x^2}\,dx\right)&=\lim_{r\to 0^+}\left(\int_{-\infty}^{-a-r}\frac{\sin(x)}{a^2-x^2}\,dx+\int_{-a+r}^{a-r}\frac{\sin(x)}{a^2-x^2}\,dx\\\\ +\int_{a+r}^\infty\frac{\sin(x)}{a^2-x^2}\,dx\right)\\\\ &=\frac{\pi\sin(a)}{a} \end{align}$$
comme cela devait être montré.
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ $\ds{\large\mbox{An}\ alternative:}$
Avec $\ds{\Lambda > \verts{a}}$: \begin{align} &\bbox[5px,#ffd]{\mrm{P.V.} \int_{-\Lambda}^{\Lambda}{\cos\pars{x} \over a^{2} - x^{2}}\,\dd x} \\[5mm] = &\ {1 \over 2\verts{a}}\,\mrm{P.V.}\int_{-\Lambda}^{\Lambda}{\cos\pars{x} \over x + \verts{a}}\,\dd x - {1 \over 2\verts{a}}\,\mrm{P.V.}\int_{-\Lambda}^{\Lambda}{\cos\pars{x} \over x - \verts{a}}\,\dd x \\[5mm] = &\ {1 \over 2\verts{a}}\,\mrm{P.V.}\int_{-\Lambda + \verts{a}}^{\Lambda + \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x + \pars{~\verts{a} \mapsto -\verts{a}~} \\[5mm] = &\ {1 \over 2\verts{a}}\,\mrm{P.V.}\int_{-\Lambda + \verts{a}}^{\Lambda - \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x \\[2mm] + &\ {1 \over 2\verts{a}} \int_{\Lambda - \verts{a}}^{\Lambda + \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x+ \pars{~\verts{a} \mapsto -\verts{a}~} \\[5mm] = &\ {1 \over 2\verts{a}}\int_{0}^{\Lambda - \verts{a}} {\cos\pars{x - \verts{a}} - \cos\pars{-x - \verts{a}} \over x}\,\dd x \\[2mm] + &\ {1 \over 2\verts{a}} \int_{\Lambda - \verts{a}}^{\Lambda + \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x+ \pars{~\verts{a} \mapsto -\verts{a}~} \\[5mm] = &\ {\sin\pars{\verts{a}} \over \verts{a}}\ \underbrace{\int_{0}^{\Lambda - \verts{a}} {\sin\pars{x} \over x}\,\dd x} _{\ds{\to \color{red}{\large{\pi \over 2}}\ \mrm{as}\ \Lambda\ \to \infty}} \\[2mm] + &\ {1 \over 2\verts{a}}\ \underbrace{\int_{\Lambda - \verts{a}}^{\Lambda + \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x} _{\ds{\color{red}{\Large\S :}\ \to \color{red}{\large 0}\ \mrm{as}\ \Lambda\ \to \infty}} + \pars{~\verts{a} \mapsto -\verts{a}~} \end{align}
Puis, comme $\ds{\Lambda \to \infty}$, \begin{align} &\bbox[5px,#ffd]{\mrm{P.V.} \int_{-\infty}^{\infty}{\cos\pars{x} \over a^{2} - x^{2}}\,\dd x} = {\pi\sin\pars{\verts{a}} \over 2\verts{a}} + {\pi\sin\pars{-\verts{a}} \over 2\pars{-\verts{a}}} \\[5mm] = &\ \bbx{\pi\,{\sin\pars{a} \over a}} \\ & \end{align}
$\ds{\color{red}{\Large\S :}}$ Notez que \begin{align} 0 & < \verts{\int_{\Lambda - \verts{a}}^{\Lambda + \verts{a}} {\cos\pars{x - \verts{a}} \over x}\,\dd x} \\[5mm] & < \int_{\Lambda - \verts{a}}^{\Lambda + \verts{a}} {\dd x \over x} = \ln\pars{\Lambda + \verts{a} \over \Lambda - \verts{a}} \,\,\,\stackrel{\mrm{as}\ \Lambda\ \to\ \infty}{\to}\,\,\, \color{red}{\Large 0} \end{align}
La valeur principale de Cauchy $$ \mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}{a^2-x^2}\,\mathrm{d}x $$ est l'intégrale le long d'un chemin qui ressemble à ceci
où les espaces de chaque côté des points sont de la même taille, infinitésimale.
Pour calculer l'intégrale le long des contours disjoints ci-dessus, nous connectons ces contours avec des demi-cercles dans le sens antihoraire autour des deux singularités, ce qui ajoute $\pi i$ fois la somme des résidus à ces singularités:
Notez que $$\require{cancel} \begin{align} \operatorname*{Res}_{z=a}\left(\frac{\cos(z)}{a^2-z^2}\right) &=\operatorname*{Res}_{z=a}\frac1{2a}\left(\frac{\cos(z)}{a-z}+\cancel{\frac{\cos(z)}{a+z}}\right)\\ &=-\frac{\cos(a)}{2a} \end{align} $$ et $$ \begin{align} \operatorname*{Res}_{z=-a}\left(\frac{\cos(z)}{a^2-z^2}\right) &=\operatorname*{Res}_{z=-a}\frac1{2a}\left(\cancel{\frac{\cos(z)}{a-z}}+\frac{\cos(z)}{a+z}\right)\\ &=\frac{\cos(a)}{2a} \end{align} $$ Ainsi, la somme des résidus aux singularités est $0$.
Nous écrivons maintenant $\cos(z)=\frac{e^{iz}+e^{-iz}}2$ et fermez le contour avec deux énormes demi-cercles:
$\gamma^-$ se compose du contour bosselé le long de l'axe réel et du demi-cercle inférieur (vert). $$ \frac12\oint_{\gamma^-}\frac{e^{-iz}}{a^2-z^2}\,\mathrm{d}z=0 $$ car il n'y a pas de singularités à l'intérieur $\gamma^-$.
$\gamma^+$ se compose du contour bosselé le long de l'axe réel et du demi-cercle supérieur (rouge). $$ \begin{align} \frac12\oint_{\gamma^+}\frac{e^{iz}}{a^2-z^2}\,\mathrm{d}z &=\frac12\oint_{\gamma^+}\frac{e^{iz}}{2a}\left(\frac1{a-z}+\frac1{a+z}\right)\mathrm{d}z\\ &=\frac{2\pi i}{4a}\left(-e^{ia}+e^{-ia}\right)\\[6pt] &=\frac\pi{a}\sin(a) \end{align} $$ Puisque les intégrales le long des contours semi-circulaires disparaissent lorsque le rayon du cercle va à $\infty$, nous obtenons que l'intégrale le long du contour cahoteux de l'axe réel est $$ \int_\text{bumpy}\frac{\cos(z)}{a^2-z^2}\,\mathrm{d}z=\frac\pi{a}\sin(a) $$
L'intégrale le long du contour cahoteux de l'axe réel est l'intégrale de valeur principale plus $\pi i$ fois la somme des résidus aux singularités, qui était $0$. Par conséquent, nous obtenons cela$$ \bbox[5px,border:2px solid #C0A000]{\mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}{a^2-x^2}\,\mathrm{d}x=\frac\pi{a}\sin(a)} $$
Approche réelle $$\require{cancel} \begin{align} \mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}{a^2-x^2}\,\mathrm{d}x &=\mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}{2a}\left(\frac1{a-x}+\frac1{a+x}\right)\mathrm{d}x\tag1\\ &=\mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}{a}\frac1{a+x}\,\mathrm{d}x\tag2\\ &=\mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)\cos(a)+\sin(x)\sin(a)}{a}\frac1{x}\,\mathrm{d}x\tag3\\[9pt] &=\frac{\cos(a)}a\,\underbrace{\mathrm{PV}\int_{-\infty}^\infty\frac{\cos(x)}x\,\mathrm{d}x}_0+\frac{\sin(a)}a\,\underbrace{\mathrm{PV}\int_{-\infty}^\infty\frac{\sin(x)}x\,\mathrm{d}x}_\pi\tag4\\ &=\pi\frac{\sin(a)}a\tag5 \end{align} $$ Explication:
$(1)$: fractions partielles
$(2)$: distribuer puis remplacer $x\mapsto-x$ dans la somme de gauche
$(3)$: substitut $x\mapsto x-a$
$(4)$: distribuer
$(5)$: l'intégrale d'une fonction impaire est $0$ et $\int_{-\infty}^\infty\frac{\sin(x)}{x}\,\mathrm{d}x=\pi$
Intégrale de Sinc
Cela peut être abordé de plusieurs façons analytiques réelles. L'un utilise l'équation$(9)$de cette réponse . Un autre est$$ \begin{align} \int_{-\infty}^\infty\frac{\sin(x)}x\,\mathrm{d}x &=\color{#C00}{\sum_{k\in\mathbb{Z}}}\int_0^\pi\sin(x)\color{#C00}{\frac{(-1)^k}{x+k\pi}}\,\mathrm{d}x\tag6\\ &=\int_0^\pi\sin(x)\color{#C00}{\csc(x)}\,\mathrm{d}x\tag7\\[9pt] &=\pi\tag8 \end{align} $$ Explication:
$(6)$: utilisation $\sin(x+\pi)=-\sin(x)$
$(7)$: appliquer l'équation $(25)$de cette réponse
$(8)$: intégrer