コーシーの主値

数学において、コーシーの主値（）とは、ある種の広義積分に対して定められる値のことである。
定義.
コーシーの主値は，特異点の種類によって以下のいずれかで定義される．
i) 有限の積分範囲のとき
 で定義される関数 に対して、 なる について
である場合に（複号同順）
で定められる値をコーシーの主値という。
ii) 無限のとき
関数 に対して
が成り立つ場合に（複号同順）
で定められる値をコーシーの主値という。
もしformula_7と無限の両方が特異点であるとき、コーシーの主値は次のように定義される：formula_8iii) 複素線積分における定義
複素関数formula_9が経路formula_10上に極を持つとする。ここでformula_11を、極を中心とする半径formula_12の円盤内の経路をその円盤の縁に沿うようにformula_10を変形したものとする。またformula_14は、どんな小さなformula_12に対しても経路formula_11上で可積分であるとする。このときformula_17で定められる値をコーシーの主値という。
ルベーグ積分論において、これは普通の積分の定義と同じものである。
formula_14が有理型関数のとき、によってコーシーの主値と積分路を上下に少しずらした積分の平均値が対応する。従って留数定理を適用することが出来る。
コーシーの主値は、ヒルベルト変換において中心的な役割を持つ。
表記法.
コーシーの主値の表し方は特に決まっておらず、著者によって様々である。概ね、以下の
のように、P.V., "PV", "P", "P""v", ("CPV"), V.P. のような記号を符牒として積分の通常の記法に付して用いるが、特にこれらに限られるというわけでもなく、 なども用いられ、その時の前後の文脈から判断する必要があるといえる。
例.
次の式は、一つ目はコーシーの主値を計算しているが、二つ目は積分区間が少し違うために結果も異なる。
このように少しの違いで値が異なってしまうため注意が必要である。
広義積分の仕方によっては
は、 の両方の値を取り得る。
同じように
の場合も
は、 の両方の値を取り得る。
超関数.
formula_27 を数直線 formula_28 上のコンパクトな台を持つ滑らかな関数の集合とする。このとき、写像
を、コーシーの主値を用いて 
と定義すると、これは超関数である。この超関数は、例えばヘヴィサイドの階段関数のフーリエ変換などに現れる。