佐藤超函数

数学における佐藤超函数（さとうちょうかんすう、）は、函数の一般化で、ある正則函数ともう一つの正則函数との境界上での「差」:
として表される（正則関数formula_2はformula_3の定義関数といい、formula_4と記す）。また、略式的には無限位数の極を持つシュワルツ超函数と見なすこともできる。佐藤超函数はグロタンディークらの先駆的な仕事の上に1959年に佐藤幹夫によって導入された。誤解のおそれの無い場合、省略して単に超函数と呼ぶことがある。
定式化.
実数直線 R 上の佐藤超函数は、上半平面上のある正則函数と下半平面上の別の正則函数との「差」であると考えられる。従って、佐藤超函数を上半平面上の正則函数 "f" と下半平面上の正則函数 "g" との対 ("f", "g") として定義することができる。
厳密ではないが、実数直線そのものの上では佐藤超函数はちょうど正則函数の差 "f" − "g" になっているはずである。この差は同じ正則函数を "f", "g" の双方に同時に加えても変化しない。そこでガウス平面 C の全域で正則な函数 "h" に対して、佐藤超函数 ("f", "g") と ("f" + "h", "g" + "h") とは同値な佐藤超函数であると定める。
一変数佐藤超函数の定義.
前節で述べたような目的は具体的には層係数コホモロジーを考えることで実現することができる。C 上の正則函数全体の成す層を formula_5 とするとき、実数直線上の佐藤超函数の全体を一次の群
で定義する。これは実際、C+ および C− をそれぞれ上半平面および下半平面とすると、
ゆえ
と書き直すことができるが、任意の層について零次コホモロジー群は単にその層の大域切断の全体であるから、この定義によって与えられる佐藤超函数が、ガウス平面全域で正則な函数を加える違いを除いて、上半平面および下半平面それぞれのうえの正則函数のひと組として得られていることが確認できる。
数値解析との関係.
佐藤超函数を使って高精度な数値積分ができる他、ガウス求積を導出できることが示されている。また、森正武は数値解析と佐藤超函数の関係について次のように述べている。