佐藤超函数
数学における佐藤超函数（さとうちょうかんすう、hyperfunction）は函数の一般化で、ある正則函数ともう一つの正則函数との境界上での「差」:
- [math]f(x)=F(x+\mathrm{i}0)-F(x-\mathrm{i}0)[/math]
として表される（正則関数[math]F(z)[/math]は[math]f(x)[/math]の定義関数といい、[math]f(x)=[F(z)][/math]と記す）。また、略式的には無限位数の極を持つシュワルツ超函数と見なすこともできる。佐藤超函数はグロタンディークらの先駆的な仕事の上に1958年に佐藤幹夫によって導入された。誤解のおそれの無い場合、省略して単に超函数と呼ぶことがある。
定式化
実数直線 R 上の佐藤超函数は、上半平面上のある正則函数と下半平面上の別の正則函数との「差」であると考えられる。従って、佐藤超函数を上半平面上の正則函数 f と下半平面上の正則函数 g との対 (f, g) として定義することができる。
厳密ではないが、実数直線そのものの上では佐藤超函数はちょうど正則函数の差 f − g になっているはずである。この差は同じ正則函数を f, g の双方に同時に加えても変化しない。そこでガウス平面 C の全域で正則な函数 h に対して、佐藤超函数 (f, g) と (f + h, g + h) とは同値な佐藤超函数であると定める。
一変数佐藤超函数の定義
前節で述べたような目的は具体的には層係数コホモロジーを考えることで実現することができる。C 上の正則函数全体の成す層を [math]\mathcal{O}[/math] とするとき、実数直線上の佐藤超函数の全体を一次の局所コホモロジー群
- [math]\mathcal{B}(\mathbb{R}) = H^1_{\mathbb{R}}(\mathbb{C}, \mathcal{O}),[/math]
で定義する。これは実際、C+ および C− をそれぞれ上半平面および下半平面とすると、
- [math]\mathbb{C}^+ \cup \mathbb{C}^- = \mathbb{C} \smallsetminus \mathbb{R}[/math]
ゆえ
- [math]H^1_{\mathbb{R}}(\mathbb{C}, \mathcal{O}) = [ H^0(\mathbb{C}^+, \mathcal{O}) \oplus H^0(\mathbb{C}^-, \mathcal{O})] /H^0(\mathbb{C}, \mathcal{O})[/math]
と書き直すことができるが、任意の層について零次コホモロジー群は単にその層の大域切断の全体であるから、この定義によって与えられる佐藤超函数が、ガウス平面全域で正則な函数を加える違いを除いて、上半平面および下半平面それぞれのうえの正則函数のひと組として得られていることが確認できる。
例
- f がガウス平面全域で正則な函数ならば、f の実軸上への制限はその表現が (f, 0) あるいは (0, −f) で与えられる佐藤超函数である。
- ディラックのデルタ「函数」は[math] \left(-\frac{1}{2\pi iz},-\frac{1}{2\pi iz}\right) [/math]で与えられる。これはコーシーの積分公式の言い換えである。
- g が有界区間 I に含まれる台を持つ実数直線上の連続函数（あるいはもっと一般にシュワルツ超函数）ならば、g は佐藤超函数 (f, −f) に対応する。ここでいう f は区間 I の補集合上で定義される正則函数で[math] f(z)={1\over 2\pi i}\int_{x\in I} g(x){dx\over z-x} [/math]で与えられるものである。この f は実軸上を点 x を通って横切るとき、g(x) だけ値が跳ぶ函数になっている。f に対するこの公式は g を g 自身とディラックデルタとの畳み込みと見ることにより、一つ前の例から従う。
- f が z = 0 を真性特異点にもつ以外は至る所正則な函数（たとえば e1/z）とすると (f, −f) は {0} を台に持つ、シュワルツ超函数ではない佐藤超函数である。f が z = 0 に有限位数の極を持つならば (f, −f) はシュワルツ超函数となるから、f が真性特異点を持つ場合の (f, −f) は z = 0 に「無限位数の極を持つシュワルツ超函数」であるかのようにも見える（シュワルツ超函数は常に各点で有限位数を持つことに注意）。
外部リンク
関連項目
参考文献
- Hörmander, Lars (2003), The analysis of linear partial differential operators, Volume I: Distribution theory and Fourier analysis, Berlin: Springer-Verlag, ISBN 3-540-00662-1.
- Sato, Mikio (1959), “Theory of Hyperfunctions, I”, Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, astronomy, physics, chemistry 8 (1): 139–193.
- Sato, Mikio (1960), “Theory of Hyperfunctions, II”, Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, astronomy, physics, chemistry 8 (2): 387–437.