佐藤超函数

数学における佐藤超函数（さとうちょうかんすう、hyperfunction）は、函数の一般化で、ある正則函数ともう一つの正則函数との境界上での「差」:

${\displaystyle f(x)=F(x+\mathrm {i} 0)-F(x-\mathrm {i} 0)}$

として表される（正則関数${\displaystyle F(z)}$は${\displaystyle f(x)}$の定義関数といい、${\displaystyle f(x)=[F(z)]}$と記す）^[1][2][3][4]。また、略式的には無限位数の極を持つシュワルツ超函数と見なすこともできる。佐藤超函数はグロタンディークらの先駆的な仕事の上に1959年に佐藤幹夫によって導入された^[1][2]。誤解のおそれの無い場合、省略して単に超函数と呼ぶことがある^[5]。

定式化

実数直線 R 上の佐藤超函数は、上半平面上のある正則函数と下半平面上の別の正則函数との「差」であると考えられる。従って、佐藤超函数を上半平面上の正則函数 f と下半平面上の正則函数 g との対 (f, g) として定義することができる。

厳密ではないが、実数直線そのものの上では佐藤超函数はちょうど正則函数の差 f − g になっているはずである。この差は同じ正則函数を f, g の双方に同時に加えても変化しない。そこでガウス平面 C の全域で正則な函数 h に対して、佐藤超函数 (f, g) と (f + h, g + h) とは同値な佐藤超函数であると定める。

一変数佐藤超函数の定義

前節で述べたような目的は具体的には層係数コホモロジーを考えることで実現することができる。C 上の正則函数全体の成す層を ${\displaystyle {\mathcal {O}}}$ とするとき、実数直線上の佐藤超函数の全体を一次の局所コホモロジー（英語版）群

${\displaystyle {\mathcal {B}}(\mathbb {R} )=H_{\mathbb {R} }^{1}(\mathbb {C} ,{\mathcal {O}}),}$

で定義する。これは実際、C⁺ および C⁻ をそれぞれ上半平面および下半平面とすると、

${\displaystyle \mathbb {C} ^{+}\cup \mathbb {C} ^{-}=\mathbb {C} \setminus \mathbb {R} }$

ゆえ

${\displaystyle H_{\mathbb {R} }^{1}(\mathbb {C} ,{\mathcal {O}})=[H^{0}(\mathbb {C} ^{+},{\mathcal {O}})\oplus H^{0}(\mathbb {C} ^{-},{\mathcal {O}})]/H^{0}(\mathbb {C} ,{\mathcal {O}})}$

と書き直すことができるが、任意の層について零次コホモロジー群は単にその層の大域切断の全体であるから、この定義によって与えられる佐藤超函数が、ガウス平面全域で正則な函数を加える違いを除いて、上半平面および下半平面それぞれのうえの正則函数のひと組として得られていることが確認できる。

例

• f がガウス平面全域で正則な函数ならば、f の実軸上への制限はその表現が (f, 0) あるいは (0, −f) で与えられる佐藤超函数である。
• ディラックのデルタ「函数」は
  ${\displaystyle \left(-{\frac {1}{2\pi iz}},-{\frac {1}{2\pi iz}}\right)}$
  で与えられる^[3][4]。これはコーシーの積分公式の言い換えである。
• g が有界区間 I に含まれる台を持つ実数直線上の連続函数（あるいはもっと一般にシュワルツ超函数）ならば、g は佐藤超函数 (f, −f) に対応する。ここでいう f は区間 I の補集合上で定義される正則函数で
  ${\displaystyle f(z)={1 \over 2\pi i}\int _{x\in I}g(x){dx \over z-x}}$
  で与えられるものである。この f は実軸上を点 x を通って横切るとき、g(x) だけ値が跳ぶ函数になっている。f に対するこの公式は g を g 自身とディラックデルタとの畳み込みと見ることにより、一つ前の例から従う。
• f が z = 0 を真性特異点にもつ以外は至る所正則な函数（たとえば e^1/z）とすると (f, −f) は {0} を台に持つ、シュワルツ超函数ではない佐藤超函数である。f が z = 0 に有限位数の極を持つならば (f, −f) はシュワルツ超函数となるから、f が真性特異点を持つ場合の (f, −f) は z = 0 に「無限位数の極を持つシュワルツ超函数」であるかのようにも見える（シュワルツ超函数は常に各点で有限位数を持つことに注意）。

数値解析との関係

佐藤超函数を使って高精度な数値積分ができる^[6][7]他、ガウス求積を導出できることが示されている^[8]。また、森正武は数値解析と佐藤超函数の関係について次のように述べている^[8]。

補間, 数値微分, 数値積分, フーリエ解析のような数値解析の基礎的な問題を超函数論の立場から眺めてみると, 統一的な取り扱いが可能になる上に, 誤差評価などにおいて実用上有効な方法を得ることができる.