next up previous contents
Next: 19 級数と定積分 Up: 6 積分法 Previous: 17 広義積分   Contents

18 コーシーの主値積分

定義 6.70 (コーシーの主値積分)   関数 $ 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)$ (1080)

$ 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)$ (1081)

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

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

とも表記する.

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

  $\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)$ (1083)
  $\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}$ (1084)
  $\displaystyle = \lim_{\varepsilon_{1}\to+0} \left(\log\varepsilon_{1}-\log 1\right)+ \lim_{\varepsilon_{2}\to+0} \left(\log1-\log\varepsilon_{2}\right)$ (1085)
  $\displaystyle = \lim_{\varepsilon_{1}\to+0}\log\varepsilon_{1}- \lim_{\varepsilon_{2}\to+0}\log\varepsilon_{2}= -\infty+\infty\,.$   $ \cdots$ 不確定 (1086)

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

  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)$ (1087)
  $\displaystyle = \lim_{\varepsilon\to+0} \Big[\log\vert x\vert\Big]_{-1}^{-\varepsilon}+ \Big[\log\vert x\vert\Big]_{\varepsilon}^{1}$ (1088)
  $\displaystyle = \lim_{\varepsilon\to+0} \left( \log\varepsilon-\log1+\log1-\log\varepsilon\right)$ (1089)
  $\displaystyle = \lim_{\varepsilon\to+0} \left(\log\varepsilon-\log\varepsilon\right)=0\,.$   $ \cdots$ 有限確定 (1090)


next up previous contents
Next: 19 級数と定積分 Up: 6 積分法 Previous: 17 広義積分   Contents

Kondo Koichi
Created at 2004/08/14