シュワルツの積分公式
提供: miniwiki
数学の一分野である複素解析において、ヘルマン・シュワルツの名にちなむシュワルツの積分公式(シュワルツのせきぶんこうしき、英: Schwarz integral formula)とは、正則関数を、実部の境界値から、複素定数の違いを除いて復元することを可能とする公式である。
Contents
単位円板
ƒ = u + iv を閉単位円板 {z ∈ C | |z| ≤ 1} 上で正則な函数とする。このとき、|z| < 1 に対して
- [math] f(z) = \frac{1}{2\pi i} \oint_{|\zeta| = 1} \frac{\zeta + z}{\zeta - z} \text{Re}(f(\zeta)) \, \frac{d\zeta}{\zeta} + i\text{Im}(f(0))[/math]
が成立する。
上半平面
ƒ = u + iv を閉上半平面 {z ∈ C | Im(z) ≥ 0} 上正則で、ある α > 0 に対して |zα ƒ(z)| が閉上半平面上有界となるような函数とする。このとき、Im(z) > 0 であるようなすべての z に対して
- [math] f(z) = \frac{1}{\pi i} \int_{-\infty}^\infty \frac{u(\zeta,0)}{\zeta - z} \, d\zeta = \frac{1}{\pi i} \int_{-\infty}^\infty \frac{\operatorname{Re}(f)(\zeta+0i)}{\zeta - z} \, d\zeta [/math]
が成立する。
単位円板上の場合と比べて、この公式では任意の定数を加える必要がない。これは、この公式で追加された減衰条件がより厳しいものであることによる。
ポアソンの積分公式の系
u にポアソンの積分公式を適用することにより、次の公式が得られる[1][2]。
- [math]u(z) = \frac{1}{2\pi}\int_0^{2\pi} u(e^{i\psi}) \operatorname{Re} {e^{i\psi} + z \over e^{i\psi} - z} \, d\psi\text{ for }|z| \lt 1.[/math]
等角写像を用いて、この公式は任意の単連結開集合へと一般化される。
注釈と参考文献
- ↑ “Lectures on Entire Functions - Google Book Search”. books.google.com. . 2008閲覧.
- ↑ ポアソンの公式を必要としない導出は次に見られる:http://planetmath.org/encyclopedia/PoissonFormula.html
- Ahlfors, Lars V. (1979), Complex Analysis, Third Edition, McGraw-Hill, ISBN 0-07-085008-9
- Remmert, Reinhold (1990), Theory of Complex Functions, Second Edition, Springer, ISBN 0-387-97195-5
- Saff, E. B., and A. D. Snider (1993), Fundamentals of Complex Analysis for Mathematics, Science, and Engineering, Second Edition, Prentice Hall, ISBN 0-13-327461-6