シュワルツの積分公式のソースを表示

[[数学]]の一分野である[[複素解析]]において、[[ヘルマン・アマンドゥス・シュワルツ|ヘルマン・シュワルツ]]の名にちなむ'''シュワルツの積分公式'''（シュワルツのせきぶんこうしき、{{Lang-en-short|Schwarz integral formula}}）とは、[[正則関数]]を、実部の境界値から、複素定数の[[違いを除いて]]復元することを可能とする公式である。

== 単位円板 ==

''ƒ''&nbsp;=&nbsp;''u''&nbsp;+&nbsp;''iv'' を閉単位円板 {''z''&nbsp;∈&nbsp;'''C'''&nbsp;|&nbsp;|''z''|&nbsp;≤&nbsp;1} 上で正則な函数とする。このとき、|''z''|&nbsp;<&nbsp;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>

が成立する。

== 上半平面 ==

''ƒ''&nbsp;=&nbsp;''u''&nbsp;+&nbsp;''iv'' を閉[[上半平面]] {''z''&nbsp;∈&nbsp;'''C'''&nbsp;|&nbsp;Im(''z'')&nbsp;≥&nbsp;0} 上正則で、ある ''α''&nbsp;>&nbsp;0 に対して |''z''<sup>''α''</sup>&nbsp;''ƒ''(''z'')| が閉上半平面上有界となるような函数とする。このとき、Im(''z'')&nbsp;>&nbsp;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'' に[[ポアソン核|ポアソンの積分公式]]を適用することにより、次の公式が得られる<ref>
{{cite web
|url=https://books.google.co.jp/books?id=NVrgftOGG1sC&pg=PA9&ots=FTpLISInOP&dq=Schwarz+formula&sig=tYdkW2Mq4IJg-gTIDWVCEI4HKCE&redir_esc=y&hl=ja
|title=Lectures on Entire Functions - Google Book Search
|publisher=books.google.com
|accessdate=2008-06-26
|last=
|first=
}}
</ref><ref>ポアソンの公式を必要としない導出は次に見られる：http://planetmath.org/encyclopedia/PoissonFormula.html</ref>。

: <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| < 1.</math>

[[等角写像]]を用いて、この公式は任意の単連結開集合へと一般化される。

== 注釈と参考文献 ==
<references />

* [[ラース・ヴァレリアン・アールフォルス|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

{{DEFAULTSORT:しゆわるつのせきふんこうしき}}
[[Category:複素解析]]
[[Category:数学に関する記事]]
[[Category:人名を冠した数式]]