부정확 한 적분 $\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}