6.18 コーシーの主値積分

定義 6.71 (コーシーの主値積分)   関数 $ f(x)$$ x=c$ $ (a<c<b)$ で不連続で, 有限区間 $ [a,b]$ で連続なとき,

v.p.$\displaystyle \int_{a}^{b}f(x)\,dx= \lim_{\epsilon\to+0} \left(\int_{a}^{c-\epsilon}f(x)\,dx+ \int_{c+\epsilon}^{b}f(x)\,dx\right)$ (1136)

$ c$ におけるコーシーの主値積分(Cauchy's principal values of integral)という. また関数 $ f(x)$ が無限区間 $ (-\infty,\infty)$ で連続なとき,

v.p.$\displaystyle \int_{-\infty}^{\infty} f(x)\,dx= \lim_{a\to\infty} \left(\int_{-a}^{a}f(x)\,dx\right)$ (1137)

$ \infty$ におけるコーシーの主値積分という. 主値積分はまた

$\displaystyle \mathrm{P}\int_{a}^{b}f(x)\,dx$ (1138)

とも表記する.

6.72 (広義積分での計算例)  

  $\displaystyle \int_{-1}^{1}\frac{dx}{x}= \int_{-1}^{0}\frac{dx}{x}+ \int_{0}^{1...
...}^{-\varepsilon_{1}}\frac{dx}{x}+ \int_{\varepsilon_{2}}^{1}\frac{dx}{x}\right)$ (1139)
  $\displaystyle = \lim_{\varepsilon_{1}\to+0} \Big[\log\vert x\vert\Big]_{-1}^{-\...
...}+ \lim_{\varepsilon_{2}\to+0} \Big[\log\vert x\vert\Big]_{\varepsilon_{2}}^{1}$ (1140)
  $\displaystyle = \lim_{\varepsilon_{1}\to+0} \left(\log\varepsilon_{1}-\log 1\right)+ \lim_{\varepsilon_{2}\to+0} \left(\log1-\log\varepsilon_{2}\right)$ (1141)
  $\displaystyle = \lim_{\varepsilon_{1}\to+0}\log\varepsilon_{1}- \lim_{\varepsilon_{2}\to+0}\log\varepsilon_{2}= -\infty+\infty\,.$   $ \cdots$ 不確定 (1142)

6.73 (コーシーの主値積分での計算例)  

  v.p.$\displaystyle \int_{-1}^{1}\frac{dx}{x}=$   v.p.$\displaystyle \int_{-1}^{0}\frac{dx}{x}+$   v.p.$\displaystyle \int_{0}^{1}\frac{dx}{x}= \lim_{\varepsilon\to+0} \left(\int_{-1}^{-\varepsilon}\frac{dx}{x}+ \int_{\varepsilon}^{1}\frac{dx}{x}\right)$ (1143)
  $\displaystyle = \lim_{\varepsilon\to+0} \Big[\log\vert x\vert\Big]_{-1}^{-\varepsilon}+ \Big[\log\vert x\vert\Big]_{\varepsilon}^{1}$ (1144)
  $\displaystyle = \lim_{\varepsilon\to+0} \left( \log\varepsilon-\log1+\log1-\log\varepsilon\right)$ (1145)
  $\displaystyle = \lim_{\varepsilon\to+0} \left(\log\varepsilon-\log\varepsilon\right)=0\,.$   $ \cdots$ 有限確定 (1146)

Kondo Koichi
平成17年8月31日