コーシーの主値

数学において、コーシーの主値(Cauchy principal value)とは、ある種の広義積分に対して定められる値のことである。

[編集] 定義

関数 f に対して

a < b となる aに対しては

<math>\int_a^b f(x)\,dx=\pm\infty</math>

c > b となる cに対しては

<math>\int_b^c f(x)\,dx=\mp\infty</math>

であるような b が存在するとき（複号同順）

<math>\lim_{\varepsilon\rightarrow 0+} \left(\int_a^{b-\varepsilon} f(x)\,dx+\int_{b+\varepsilon}^c f(x)\,dx\right)</math>

で定められる値をコーシーの主値という。

或いは、関数 f に対して

<math>\int_{-\infty}^0 f(x)\,dx=\pm\infty</math>

<math>\int_0^\infty f(x)\,dx=\mp\infty</math>

が成り立つ時（複号同順）

<math>\lim_{a\rightarrow\infty}\int_{-a}^a f(x)\,dx</math>

で定められる値をコーシーの主値という。

これらの条件は、 b や ∞ が特異点である時ということであるが、もし b と ∞ が同時に特異点である場合には、コーシーの主値は次のように定義される。

<math>\lim_{\varepsilon \rightarrow 0+}\int_{b-1/\varepsilon}^{b-\varepsilon} f(x)\,dx+\int_{b+\varepsilon}^{b+1/\varepsilon}f(x)\,dx.</math>

コーシーの主値の表し方は特に決まっておらず、著者によって様々である。概ね、以下の

<math>\mathcal{P}\int f(x)dx </math>

のごとく、PV, P, P.V., P_v, (CPV), V.P. のような記号を符牒として積分の通常の記法に付して用いるが、特にこれらに限られるというわけでもなく、その時の前後の文脈から判断する必要があるといえる。

次の式は、一つ目はコーシーの主値を計算しているが、二つ目は積分区間が少し違うために結果も異なる。

<math>\lim_{a\rightarrow 0+}\left(\int_{-1}^{-a}\frac{dx}{x}+\int_a^1\frac{dx}{x}\right)=0,</math>

<math>\lim_{a\rightarrow 0+}\left(\int_{-1}^{-a}\frac{dx}{x}+\int_{2a}^1\frac{dx}{x}\right)=-\log_e 2.</math>

このように少しの違いで値が異なってしまうため注意が必要である。広義積分の仕方によっては

は、±∞の両方の値を取り得る。

同じように

<math>\lim_{a\rightarrow\infty}\int_{-a}^a\frac{2x\,dx}{x^2+1}=0,</math>

<math>\lim_{a\rightarrow\infty}\int_{-2a}^a\frac{2x\,dx}{x^2+1}=-\log_e 4</math>

の場合も

<math>\int_{-\infty}^\infty\frac{2x\,dx}{x^2+1}</math>

は、±∞の両方の値を取り得る。