不適切な定積分 $\int_{-\infty}^\infty -\frac{i \pi e^{-i a p} \text{sech}\left(\frac{c p}{2}\right)}{p}dp$

Aug 16 2020

私は解決できなかったこの広義積分に出くわしました

$$\int_{-\infty}^\infty -\frac{i \pi e^{-i a p} \text{sech}\left(\frac{c p}{2}\right)}{p} dp$$

私の推測では、留数定理を使用することになるでしょうが、それは役に立たないようです。

これまでの私の試みは、 $p=0$。と$a>0$、等高線を上向きに閉じて、残差を計算します

$$\lim_{p\to 0}-\frac{i \pi e^{-i a p} \text{sech}\left(\frac{c p}{2}\right)}{p} p =-I \pi $$

したがって、積分の値は次のようになります。 $2\pi I Res(f,0)= 2\pi^2$。これは間違いなく正解ではありません（数値積分で確認しました）。

コメントからヒントを得て、私は次のように進めました

$\int_{-\infty}^\infty e^{-iap} sech(\frac{cp}{2})=\frac{2 \pi \text{sech}\left(\frac{\pi a}{c}\right)}{c}$ これは、sech関数のフーリエ変換がsech関数自体であるという事実に由来します。

ここで、分母のpを説明するために、この結果を統合し、次のようなデルタ関数を追加する必要があります。

$\int_{-\infty}^\infty \frac{ e^{-i a p} \text{sech}\left(\frac{c p}{2}\right)}{p} dp =\int \frac{2 \pi \text{sech}\left(\frac{\pi a}{c}\right)}{c} da =-\frac{2 \pi ^2 \tanh \left(\frac{\pi a}{c}\right) \text{sech}\left(\frac{\pi a}{c}\right)}{c^2}+ \delta(a)$

係数を掛ける $-i\pi$ 両側で、私は得る

$$\int_{-\infty}^\infty -\frac{i \pi e^{-i a p} \text{sech}\left(\frac{c p}{2}\right)}{p} dp=\frac{2 i \pi ^3 \tanh \left(\frac{\pi a}{c}\right) \text{sech}\left(\frac{\pi a}{c}\right)}{c^2}-i\pi \delta (a)$$

これが正解だと思われます。しかし、それでも数値積分とは一致しません。

回答

1 FelixMarin Aug 16 2020 at 02:12

$\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{\bbox[10px,#ffd]{\left. -\ic\pi\,\mrm{P.V.}\int_{-\infty}^{\infty} {\expo{-\ic ap} \mrm{sech}\pars{cp/2} \over p}\,\dd p \,\right\vert_{\ a, c\ \in\ \mathbb{R}}}:\ {\Large ?}}$。積分の主値を
扱っていると仮定しました。

\begin{align} &\bbox[5px,#ffd]{\left. -\ic\pi\,\mrm{P.V.}\int_{-\infty}^{\infty} {\expo{-\ic ap} \mrm{sech}\pars{cp/2} \over p}\,\dd p \,\right\vert_{\ a, c\ \in\ \mathbb{R}}} \\[5mm] = &\ -2\pi\,\mrm{sgn}\pars{a}\int_{0}^{\infty} {\sin\pars{\verts{a}p} \over p\cosh\pars{\verts{c}p/2}}\,\dd p \\[5mm] \,\,\,\stackrel{2\verts{c}p\ \mapsto\ p}{=}\,\,\,& \left. -\,{a \over \verts{c}}\,\pi\int_{0}^{\infty} \!\!\!\!\!{1 \over \cosh\pars{p/4}}{\sin\pars{bp} \over bp}\,\dd p \,\right\vert_{\ds{\ b = \color{red}{\verts{a}/\pars{2\verts{c}}}}} \label{1}\tag{1} \\[5mm] = &\ -\,{a \over \verts{c}}\,\pi\int_{0}^{\infty} {1 \over \cosh\pars{p/4}} \pars{{1 \over 2}\int_{-1}^{1}{\expo{\ic kbp} \,\dd k}}\,\dd p \\[5mm] = &\ -\,{a \over 2\verts{c}}\,\pi\int_{-1}^{1}\ \underbrace{\int_{0}^{\infty}{\expo{\ic kbp} \over \cosh\pars{p/4}}\,\dd p} _{\ds{\equiv\ \mathcal{I}\pars{b}}}\ \dd k \label{2}\tag{2} \end{align}

$\ds{\large\mathcal{I}\pars{b}\ \mbox{Evaluation:}}$ \begin{align} \mathcal{I}\pars{b} & \equiv \bbox[5px,#ffd]{\int_{0}^{\infty}{\expo{\ic kbp} \over \cosh\pars{p/4}}\,\dd p} \\[5mm] = &\ \int_{0}^{\infty}{\expo{-\pars{-1/4 - \ic kb}p} - \expo{-\pars{1/4 - \ic kb}p} \over \sinh\pars{p/2}}\,\dd p \\[5mm] & = 2\int_{0}^{\infty}{\expo{-\pars{1/4 - \ic kb}p} - \expo{-\pars{3/4 - \ic kb}p} \over 1 - \expo{-p}}\,\dd p \\[5mm] & = 2\bracks{\Psi\pars{{3 \over 4} - \ic kb} - \Psi\pars{{1 \over 4} - \ic kb}} \label{3}\tag{3} \end{align} （\ ref {2}）および（\ ref {3}）の場合： \begin{align} &\bbox[5px,#ffd]{\left. -\ic\pi\,\mrm{P.V.}\int_{-\infty}^{\infty} {\expo{-\ic ap} \mrm{sech}\pars{cp/2} \over p}\,\dd p \,\right\vert_{\ a, c\ \in\ \mathbb{R}}} \\[5mm] = &\ -\,{a\,\pi \over \verts{c}}\bracks{% \ln\pars{\Gamma\pars{3/4 - \ic kb}} - \ln\pars{\Gamma\pars{1/4 - \ic kb}} \over -\ic b} _{\ k\ =\ -1}^{\ k\ =\ 1} \\[5mm] = & \left. -2\pi\ic\,\mrm{sgn}\pars{a}\ln\pars{\Gamma\pars{3/4 - \ic kb} \over \Gamma\pars{1/4 - \ic kb}}\right\vert_{\ k\ =\ -1}^{\ k\ =\ 1} \\[5mm] = &\ -2\pi\ic\,\mrm{sgn}\pars{a}\ln\pars{\Gamma\pars{3/4 - \ic b}\Gamma\pars{1/4 +\ic b} \over \Gamma\pars{1/4 - \ic b}\Gamma\pars{3/4 + \ic b}} \\[5mm] = &\ -2\pi\ic\,\mrm{sgn}\pars{a}\,\ln\pars{\sin\pars{\pi\bracks{1/4 - \ic b}} \over \sin\pars{\pi\bracks{1/4 + \ic b}}} \\[5mm] = &\ 4\pi\,\mrm{sgn}\pars{a}\,\Im\ln\pars{\sin\pars{\pi\bracks{{1 \over 4} - \ic b}}} \\[5mm] = &\ 4\pi\,\mrm{sgn}\pars{a}\,\Im\ln\pars{{\root{2} \over 2}\cosh\pars{\pi b} - {\root{2} \over 2}\sinh\pars{\pi b}\ic} \\[5mm] = &\ -4\pi\,\mrm{sgn}\pars{a}\,\arctan\pars{\tanh\pars{\pi b}} \\[5mm] = &\ \bbx{\large% -4\pi\arctan\pars{\tanh\pars{\pi a \over 2\verts{c}}}} \\ &\ \end{align}