# 調和関数と Poisson 積分：円板の Dirichlet 問題から Harnack・Herglotz・鏡像原理へ > 円板の Poisson 積分公式から Dirichlet 問題を解き、平均値性質・Harnack の不等式と原理・Herglotz の表現・Schwarz の鏡像原理までを証明つきで導く。 > https://rikai.mugen-giken.com/mathematics/complex-analysis/harmonic-functions-poisson ## 0. この記事の要点 円の縁での値を決めたとき、内側の値は一通りに決まるのか、決まるならどう計算できるのか。この記事はその素朴な問いから始まります。答えは、内側の値が縁の値の重みつき平均で書ける、というものです。読み終えると、縁の温度や電位から内部の分布を求める公式と、それを使った値の評価、領域を境界の向こうへ延長する方法が使えるようになります。 - 実数値の調和関数は、円板の上では必ず正則関数の実部です（調和共役の存在）。したがって調和関数は $C^\infty$ で、円周上の平均値の性質と最大値原理をもちます。逆に、連続で平均値の性質をもつ関数は調和です。 - **Poisson 核** $P_r(\theta)=\dfrac{1-r^2}{1-2r\cos\theta+r^2}$ は、正で全積分 $1$ の「[近似単位元](/mathematics/real-analysis/product-measures-fubini#def-approximate-identity)」（積分すると 1 で、一点のまわりに集中していく重み）です。円板の閉包の近くで調和な $u$ は、境界値の Poisson 積分で復元できます。 - **Dirichlet 問題**：円周上の連続関数 $\varphi$ に対し、Poisson 積分は円板上の調和関数で、境界でちょうど $\varphi$ の値をとる唯一の解です。 - **Harnack の不等式**：正の調和関数は、円板の中の点で値が同じオーダー（比が $\dfrac{R-r}{R+r}$ と $\dfrac{R+r}{R-r}$ の間）に入ります。そこから、リウヴィル型の定理と、単調増加列についての Harnack の原理が出ます。 - **Herglotz の表現**：円板上で $\operatorname{Re}f\ge0$ の正則関数は、円周上の正測度 $\mu$ による $\displaystyle\int\frac{e^{i\theta}+z}{e^{i\theta}-z}\,d\mu(\theta)$ に（虚の定数を除いて）一致します。測度の存在を弱 * 収束（測度の列を、連続関数との積分の収束でとらえる極限）の議論で示します。 - **Schwarz の鏡像原理**：境界の一部の上で実数値（または調和関数なら $0$）となる関数は、その部分を越えて対称に延長でき、延長しても正則（調和）です。 ## 1. 動機：円板の上の境界値問題 薄い円盤の縁の温度を $\varphi(\theta)$ に保ったとき、平衡状態での内部の温度分布 $u$ は何か。数学的には、$\Delta u=0$ を満たし境界で $u=\varphi$ となる関数を探す**Dirichlet 問題**です。同じ形の問題が、静電ポテンシャル（導体の表面電位を与えて内部の電位を求める）や、流体の速度ポテンシャルにも現れます。 [正則関数とコーシー・リーマンの関係式](/mathematics/complex-analysis/holomorphic-functions)で、正則関数 $f=u+iv$ の実部 $u$ はラプラス方程式 $\Delta u=0$ を満たすことを見ました（）。この章はその逆から始めます。ラプラス方程式を満たす実関数は、円板上ではかならず正則関数の実部になります。調和関数の問題が、正則関数のコーシーの積分公式やテイラー展開に載せ替えられるのです。そこから Poisson 積分公式が出て、Dirichlet 問題の解が具体的に書き下せます。 この章の内容は、次の話題の入口でもあります。正の調和関数と Herglotz の表現は、Hardy 空間（円板上の正則関数のうち、半径 $r<1$ の円周上での平均的な大きさが $r$ によらず有界なものの空間）や Herglotz 関数（実部が非負の正則関数）の理論の出発点で、ここで示す Harnack の不等式は、正則関数族の正規性（関数の列から、局所一様収束する部分列が取れる性質）や、確率論での調和関数の評価にも使われます。 ## 2. 準備 | 事実 | 出典 | |---|---| | 正則関数の実部・虚部は $C^\infty$ かつ調和 | | | コーシー・リーマンの関係式（十分性） | | | 単連結（円板）では正則関数は原始関数をもつ | | | 円周上の平均値の性質（正則関数） | | | テイラー展開と係数公式 | | | 局所一様収束極限の正則性 | | | 一致の定理 | | | モレラの定理 | | $D(a,R)$ は開円板、$\mathbb{D}=D(0,1)$、$T=\partial\mathbb{D}$ は単位円周、$H^{\pm}=\{\pm\operatorname{Im}z>0\}$ は上・下半平面です。 ## 3. 調和関数の基本性質 開集合 $\Omega\subset\mathbb{C}=\mathbb{R}^2$ 上の実数値 $C^2$ 級関数 $u$ が**調和**であるとは、$\Omega$ 上で $\Delta u=u_{xx}+u_{yy}=0$ が成り立つことをいう。 $u$ を円板 $D(a,R)$ 上の調和関数とする。このとき $D(a,R)$ 上の正則関数 $f$ で $\operatorname{Re}f=u$ となるものが存在する。 $g=u_x-iu_y$ とおきます。実部 $U=u_x$、虚部 $V=-u_y$ は $C^1$ 級で、$U_x=u_{xx}$、$V_y=-u_{yy}$ ですから、$\Delta u=0$ は $U_x=V_y$ と同値です。$U_y=u_{xy}$、$V_x=-u_{yx}$ ですから $u\in C^2$ の下で $U_y=-V_x$ も成り立ちます。コーシー・リーマンの関係式の十分性（）から、$g$ は $D(a,R)$ 上で正則です。 円板は凸なので単連結で、正則関数は原始関数をもちます（ の同値条件）。$H'=g$ となる $H$ を取り、$H=P+iQ$ と書くと、$H'=P_x+iQ_x=P_x-iP_y$（コーシー・リーマン）なので、$P_x=u_x$、$P_y=u_y$ です。$u-P$ の勾配は零で、円板は連結ですから $u-P$ は定数 $c$ です。$f=H+c$ とおけば $\operatorname{Re}f=P+c=u$ です。 $u$ を開集合 $\Omega$ 上の調和関数とする。$u$ は $C^\infty$ 級であり、$\overline{D}(a,r)\subset\Omega$ ならば $$ u(a)=\frac{1}{2\pi}\int_0^{2\pi}u(a+re^{i\theta})\,d\theta . $$ $\overline{D}(a,r)$ はコンパクトで $\Omega$ は開なので、$D(a,R)\subset\Omega$ となる $R>r$ が取れます。 で $u=\operatorname{Re}f$（$f$ は正則）と書けます。$f$ は $C^\infty$（）なので $u$ も $C^\infty$ で、$f$ の平均値の性質（）の実部を取れば主張です。 実際には、$C^2$ 級という仮定がなくても、連続であって平均値の性質を満たしさえすれば調和です（）。次の最大値原理は、平均値の性質だけを使って証明します。 $\Omega$ を領域、$u:\Omega\to\mathbb{R}$ を連続で、すべての $\overline{D}(a,r)\subset\Omega$ で円周上の平均値の性質をもつ関数（特に調和関数）とする。$u$ が $\Omega$ の点 $p$ で最大値 $m=\max_\Omega u$ をとるならば、$u\equiv m$ である。 さらに $\Omega$ が有界で $u\in C(\overline{\Omega})$ ならば、$\max_{\overline{\Omega}}u=\max_{\partial\Omega}u$ である。 集合 $A=\{z\in\Omega:u(z)=m\}$ は空でなく、$u$ の連続性から $\Omega$ で閉です。$q\in A$ を取り、$\overline{D}(q,r)\subset\Omega$ とします。$0<\rho\le r$ で平均値の性質から $\frac{1}{2\pi}\int_0^{2\pi}\bigl(m-u(q+\rho e^{i\theta})\bigr)d\theta=0$ です。被積分関数は連続で $0$ 以上ですから恒等的に $0$ で、$u\equiv m$ が $\overline{D}(q,r)$ 上で成り立ちます。ゆえに $A$ は開集合で、$\Omega$ の連結性から $A=\Omega$ です。 後半：$\overline{\Omega}$ はコンパクトなので、最大値を達成する点 $p\in\overline{\Omega}$ があります。$p\in\partial\Omega$ なら終わりです。$p\in\Omega$ なら、前半から $u\equiv u(p)$ が $\Omega$ 上で成り立ち、連続性から $\overline{\Omega}$ 上でも成り立つので、最大値は境界でもとられます。 $\Omega$ を有界領域とし、$u,v\in C(\overline{\Omega})$ が $\Omega$ 上調和で、$\partial\Omega$ 上 $u=v$ ならば、$\Omega$ 上 $u=v$ である。 $u-v$ は調和で、境界上で零です。 を $u-v$ と $v-u$ に使えば、どちらも最大値が $0$ 以下、すなわち $u-v\equiv0$ です。 ## 4. Poisson 核と Dirichlet 問題 $0\le r<1$ と $\theta\in\mathbb{R}$ に対して $$ P_r(\theta)=\frac{1-r^2}{1-2r\cos\theta+r^2}=\frac{1-r^2}{|1-re^{i\theta}|^2} $$ を**Poisson 核**という。 $0\le r<1$ のとき次が成り立つ。 1. $P_r(\theta)=\operatorname{Re}\dfrac{1+re^{i\theta}}{1-re^{i\theta}}=\displaystyle\sum_{n\in\mathbb{Z}}r^{|n|}e^{in\theta}$（級数は $\theta$ について一様収束）。 2. $P_r(\theta)>0$、$\dfrac{1}{2\pi}\displaystyle\int_0^{2\pi}P_r(\theta)\,d\theta=1$。 3. $\dfrac{1-r}{1+r}\le P_r(\theta)\le\dfrac{1+r}{1-r}$。 4. $0<\delta\le|\theta|\le\pi$、$\tfrac12\le r<1$ ならば $P_r(\theta)\le\dfrac{2(1-r)}{1-\cos\delta}$。 **1.** $q=re^{i\theta}$ とおくと、$\operatorname{Re}\dfrac{1+q}{1-q}=\operatorname{Re}\dfrac{(1+q)(1-\bar{q})}{|1-q|^2}=\dfrac{1-|q|^2}{|1-q|^2}$ で、これは $P_r(\theta)$ です。$|q|<1$ ですから $\dfrac{1+q}{1-q}=1+2\sum_{n\ge1}q^n$（幾何級数）で、実部を取ると $1+2\sum_{n\ge1}r^n\cos n\theta=\sum_{n\in\mathbb{Z}}r^{|n|}e^{in\theta}$ です。$\sum r^{|n|}<\infty$ から一様収束が従います。 **2.** 分子 $1-r^2>0$、分母 $|1-re^{i\theta}|^2>0$ から正です。1 の級数を項別積分すると（一様収束）$n\ne0$ の項は $\int_0^{2\pi}e^{in\theta}d\theta=0$ で、$n=0$ の項だけが残って $\frac{1}{2\pi}\int P_r=1$ です。 **3.** $1-r\le|1-re^{i\theta}|\le1+r$ と $1-r^2=(1-r)(1+r)$ から従います。 **4.** $|1-re^{i\theta}|^2=(1-r)^2+2r(1-\cos\theta)\ge2r(1-\cos\delta)\ge1-\cos\delta$（$r\ge\tfrac12$、$|\theta|\ge\delta$ で $\cos\theta\le\cos\delta$）。分子 $1-r^2\le2(1-r)$ なので主張を得ます。
r = 0.85 r = 0.6 r = 0.3 −π π
次の Poisson 積分公式は、調和関数を正則関数の実部として冪級数に展開し、その係数を円周上の値のフーリエ係数（$e^{-in\theta}$ をかけて平均した値）で表し直すことで得られます。係数を並べ直すと、前の補題の Poisson 核の級数がちょうど現れる、というのが証明の筋です。 $u$ を $\overline{\mathbb{D}}$ を含む開集合上の調和関数とする。このとき $0\le r<1$、$\phi\in\mathbb{R}$ に対して $$ u(re^{i\phi})=\frac{1}{2\pi}\int_0^{2\pi}P_r(\phi-\theta)\,u(e^{i\theta})\,d\theta . $$ $\overline{\mathbb{D}}$ の近傍に $D(0,R')$（$R'>1$）が取れて、 により $D(0,R')$ 上の正則関数 $f=\sum_{n\ge0}c_nz^n$ で $u=\operatorname{Re}f$ となるものがあります。級数は $|z|=1$ でも一様収束します。 $\hat{u}(n)=\dfrac{1}{2\pi}\displaystyle\int_0^{2\pi}u(e^{i\theta})e^{-in\theta}\,d\theta$ とおきます。$u=\tfrac12(f+\bar{f})$ で、項別積分（一様収束）と $\int_0^{2\pi}e^{ik\theta}d\theta=0$（$k\ne0$）から、 $$ \frac{1}{2\pi}\int_0^{2\pi}f(e^{i\theta})e^{-in\theta}d\theta=\begin{cases}c_n&(n\ge0)\\0&(n<0)\end{cases},\qquad \frac{1}{2\pi}\int_0^{2\pi}\overline{f(e^{i\theta})}e^{-in\theta}d\theta=\begin{cases}\overline{c_{-n}}&(n\le0)\\0&(n>0)\end{cases} $$ です。したがって $\hat{u}(n)=c_n/2$ ($n\ge1$)、$\hat{u}(0)=\operatorname{Re}c_0$、$\hat{u}(-n)=\overline{c_n}/2$ ($n\ge1$) です。一方、$u(re^{i\phi})=\operatorname{Re}\sum_{n\ge0}c_nr^ne^{in\phi}=\operatorname{Re}c_0+\sum_{n\ge1}\tfrac12\bigl(c_nr^ne^{in\phi}+\overline{c_n}r^ne^{-in\phi}\bigr)$ ですから $$ u(re^{i\phi})=\sum_{n\in\mathbb{Z}}\hat{u}(n)\,r^{|n|}e^{in\phi}=\frac{1}{2\pi}\int_0^{2\pi}u(e^{i\theta})\sum_{n\in\mathbb{Z}}r^{|n|}e^{in(\phi-\theta)}\,d\theta $$ です（$r<1$ なので級数は一様収束し、和と積分を交換できる）。 の 1 で級数は $P_r(\phi-\theta)$ です。 円板が $D(a,\rho)$ のときは、$u(a+\rho z)$ に使ってスケールを戻せばよく、$\overline{D}(a,\rho)$ の近傍で調和な $u$ に対して $u(a+\rho re^{i\phi})=\frac{1}{2\pi}\int P_r(\phi-\theta)u(a+\rho e^{i\theta})d\theta$ です。 次の定理の証明では、調和性は Poisson 積分が正則関数の実部になることから従います。難しいのは境界での連続性です。境界に近い点では Poisson 核が境界の一点のまわりに集中するので、積分を「近い部分」と「遠い部分」に分けます。近い部分は $\varphi$ の連続性で小さく抑え、遠い部分は核そのものが小さくなることで抑えます。 $\varphi:\mathbb{R}\to\mathbb{R}$ を周期 $2\pi$ の連続関数とする。 $$ u(re^{i\psi})=\frac{1}{2\pi}\int_0^{2\pi}P_r(\psi-\theta)\,\varphi(\theta)\,d\theta\ \ (0\le r<1),\qquad u(e^{i\psi})=\varphi(\psi) $$ で $\overline{\mathbb{D}}$ 上の関数 $u$ を定める。このとき $u$ は $\overline{\mathbb{D}}$ 上連続で、$\mathbb{D}$ 上調和である。また、この性質をもつ関数は他にない。 **調和性。** $z=re^{i\psi}$ に対して $\dfrac{e^{i\theta}+z}{e^{i\theta}-z}=\dfrac{1+re^{i(\psi-\theta)}}{1-re^{i(\psi-\theta)}}$ ですから、 の 1 により $\operatorname{Re}\dfrac{e^{i\theta}+z}{e^{i\theta}-z}=P_r(\psi-\theta)$ です。また $|z|\le\rho<1$ で $\dfrac{e^{i\theta}+z}{e^{i\theta}-z}=1+2\sum_{n\ge1}z^ne^{-in\theta}$ が $\theta$ について一様収束するので、 $$ H(z)=\frac{1}{2\pi}\int_0^{2\pi}\varphi(\theta)\frac{e^{i\theta}+z}{e^{i\theta}-z}\,d\theta=\hat\varphi(0)+2\sum_{n\ge1}\hat\varphi(n)z^n $$ です（$\hat\varphi(n)=\frac{1}{2\pi}\int\varphi e^{-in\theta}d\theta$）。$|\hat\varphi(n)|\le\max|\varphi|$ なので、この冪級数の収束半径は $1$ 以上で、$H$ は $\mathbb{D}$ 上正則です。$\varphi$ は実数値なので $u=\operatorname{Re}H$ で、 から調和です。 **境界での連続性。** $\theta_0\in\mathbb{R}$ と $\varepsilon>0$ を取ります。$\varphi$ は周期的な連続関数なので一様連続で、$|\theta-\theta'|<2\eta$ なら $|\varphi(\theta)-\varphi(\theta')|<\varepsilon$ となる $\eta>0$ があります。$z=re^{i\psi}\to e^{i\theta_0}$（$r<1$）とし、$|\psi-\theta_0|<\eta$ とします。$\frac{1}{2\pi}\int P_r=1$ から $$ u(z)-\varphi(\theta_0)=\frac{1}{2\pi}\int_{\psi-\pi}^{\psi+\pi}P_r(\psi-\theta)\bigl(\varphi(\theta)-\varphi(\theta_0)\bigr)d\theta . $$ $|\theta-\psi|<\eta$ の部分では $|\theta-\theta_0|<2\eta$ なので被積分関数は $P_r\cdot\varepsilon$ 以下で、$P_r\ge0$ と全積分 $1$ から寄与は $\varepsilon$ 以下です。$\eta\le|\theta-\psi|\le\pi$ の部分では、$r\ge\tfrac12$ で の 4 から $P_r\le\dfrac{2(1-r)}{1-\cos\eta}$ で、$|\varphi(\theta)-\varphi(\theta_0)|\le2\max|\varphi|$ ですから寄与は $\dfrac{4(1-r)\max|\varphi|}{1-\cos\eta}$ 以下で、$r\to1$ で $0$ です。したがって $\limsup|u(z)-\varphi(\theta_0)|\le\varepsilon$ で、$\varepsilon$ は任意なので $u(z)\to\varphi(\theta_0)=u(e^{i\theta_0})$ です。これは境界点 $e^{i\theta_0}$ への任意の近づき方での連続性を意味します（境界上の点列では $u=\varphi$ が連続なのでよい）。 **一意性。** です。 円板以外の領域への Dirichlet 問題は、等角写像で円板に移して解けます。調和性は正則写像で保たれる（）ので、リーマンの写像定理が使える単連結領域では、境界の正則性が足りれば同じ手順で解けます。その具体例は にあります。 $\varphi(\theta)=\sin^3\theta=\tfrac14(3\sin\theta-\sin3\theta)$ です。$\sin n\theta$ の調和拡張は $r^n\sin n\psi$（$z^n$ の虚部）ですから、 の解は一意性により $$ u(re^{i\psi})=\tfrac34\,r\sin\psi-\tfrac14\,r^3\sin3\psi $$ です。$r\to1$ で $\sin^3\psi$ に戻ることがすぐ確かめられます。 ## 5. Poisson 積分の帰結 $\Omega$ を開集合、$u:\Omega\to\mathbb{R}$ を連続で、$\overline{D}(a,r)\subset\Omega$ をみたす任意の円板で平均値の性質 $u(a)=\frac{1}{2\pi}\int_0^{2\pi}u(a+re^{i\theta})d\theta$ をもつものとする。このとき $u$ は調和である。 $\overline{D}(a,\rho)\subset\Omega$ を取り、$u$ の円周上の値を境界値として （スケール変換したもの）の $v\in C(\overline{D}(a,\rho))$ を作ります。$v$ は $D(a,\rho)$ で調和、境界上で $u=v$ です。$w=u-v$ は $\overline{D}(a,\rho)$ 上連続で、$u$ と調和関数 $v$（）の平均値の性質から、$D(a,\rho)$ の内部でも平均値の性質をもちます。 の証明は平均値の性質だけを使っているので $w$ にも適用でき、最大値・最小値は境界値 $0$ に等しいです。よって $w\equiv0$、つまり $D(a,\rho)$ 上で $u=v$ は調和です。$a,\rho$ は任意なので $u$ は調和です。 $u_n$ を開集合 $\Omega$ 上の調和関数列とし、$u_n\to u$ が局所一様収束するならば、$u$ も調和である。 $u$ は連続で、各 $\overline{D}(a,r)\subset\Omega$ 上の一様収束から平均値の性質が極限で保たれます。 から調和です。 $u\ge0$ を円板 $D(a,R)$ 上の調和関数とする。このとき $|z-a|=r 一般性を失わず $a=0$ とします。$r<\rho をスケール変換して使うと $$ u(z)=\frac{1}{2\pi}\int_0^{2\pi}P_{r/\rho}(\phi-\theta)\,u(\rho e^{i\theta})\,d\theta . $$ $u\ge0$ と の 3 より $\dfrac{\rho-r}{\rho+r}\le P_{r/\rho}\le\dfrac{\rho+r}{\rho-r}$ ですから、$\frac{1}{2\pi}\int_0^{2\pi}u(\rho e^{i\theta})d\theta=u(0)$（）を使って $$ \frac{\rho-r}{\rho+r}u(0)\le u(z)\le\frac{\rho+r}{\rho-r}u(0) $$ です。$\rho\to R$ とすれば主張です。 $u$ を $\mathbb{C}$ 全体で調和な関数とし、$u\ge c$（定数 $c$）ならば $u$ は定数である。 $u-c\ge0$ に を $D(0,R)$ で使うと、$\dfrac{R-|z|}{R+|z|}(u(0)-c)\le u(z)-c\le\dfrac{R+|z|}{R-|z|}(u(0)-c)$ です。$R\to\infty$ で両辺の係数は $1$ に収束するので、$u(z)=u(0)$ です。 次の Harnack の原理は、増えていく調和関数の列について、局所一様に $\infty$ へ発散するか、局所一様収束して極限が調和関数になるか、という二者択一を述べています。証明では、Harnack の不等式により、列の増え方が近くの点どうしで同じオーダーにそろうことを使います。 $\Omega$ を領域、$u_1\le u_2\le\cdots$ を $\Omega$ 上の調和関数の単調増加列とする。このとき次のいずれか一方が成り立つ。 1. $u_n\to\infty$ が局所一様に成り立つ。 2. $u_n$ は局所一様収束し、極限は調和関数である。 $b\in\Omega$ に対して $\overline{D}(b,R)\subset\Omega$ を取ります。$m>n$ で $u_m-u_n\ge0$ は調和なので、 を $r\le R/2$（$\frac{R-r}{R+r}\ge\frac13$）で使うと $$ \tfrac13(u_m-u_n)(b)\le(u_m-u_n)(z)\le3(u_m-u_n)(b)\qquad(z\in D(b,R/2)). $$ **(i)** $\lim u_n(b)<\infty$ とします。$(u_n(b))$ は単調で有界なのでコーシー列で、上の右側の不等式から $\sup_{D(b,R/2)}|u_m-u_n|\le3(u_m-u_n)(b)\to0$（$m>n\to\infty$）となり、$D(b,R/2)$ 上で一様コーシー、よって一様収束します。**(ii)** $\lim u_n(b)=\infty$ とします。左側の不等式 $u_n(z)\ge u_1(z)+\tfrac13(u_n-u_1)(b)$ と、$u_1$ が $\overline{D}(b,R/2)$ 上で有界なことから、$u_n\to\infty$ が $D(b,R/2)$ 上で一様に成り立ちます。 (i) の成り立つ点の集合 $A$ と (ii) の点の集合 $B$ は、$\Omega$ を互いに交わらない 2 つの集合に分け（単調列の極限は $(-\infty,\infty]$ に存在する）、上の議論から各点の近傍まで含めて開集合です。$\Omega$ は連結なので $A=\Omega$ か $B=\Omega$ です。コンパクト集合は有限個の $D(b,R/2)$ で覆えるので、局所一様性が従います。(i) の場合、極限は により調和です。 $u(z)=\operatorname{Re}\dfrac{1+z}{1-z}=\dfrac{1-|z|^2}{|1-z|^2}$ は $\mathbb{D}$ 上で正、$u(0)=1$ の調和関数です。実軸上では $u(r)=\dfrac{1+r}{1-r}$、$u(-r)=\dfrac{1-r}{1+r}$ で、 の上下の評価（$R=1$）が両方とも等号になります。つまり係数 $\frac{R\pm r}{R\mp r}$ はこれ以上改良できません。 ## 6. Herglotz の表現 Poisson 核の実部と虚部のペア $\dfrac{e^{i\theta}+z}{e^{i\theta}-z}$ は、円板上で実部が正の正則関数です。Herglotz の定理は、実部が非負の正則関数がすべてこの核の「重ね合わせ」で書けることを主張します。まず係数の評価を示します。 ここで出てくる「測度」は、円周の各部分に非負の重み（質量）を割り当てる規則のことで、ボレル測度はその対象を開集合から作れる集合にそろえたものです。直観的には、円周上に質量を置いたときの、その置き方だと思ってください。証明の筋は、半径 $r$ の円周上の値を質量とみなして測度 $\mu_r$ を作り、$r\to1$ の極限で測度 $\mu$ を取り出す、というものです。極限の存在は、連続関数に対する積分の値（[正の線形汎関数](/mathematics/real-analysis/riesz-markov#def-positive-functional)）の収束から、Riesz–Markov–Kakutani の表現定理（正の線形汎関数は測度による積分で書ける、という定理）で測度に直します。 $f(z)=\sum_{n\ge0}c_nz^n$ を $\mathbb{D}$ 上の正則関数で $\operatorname{Re}f\ge0$ とする。このとき $n\ge1$ について $|c_n|\le2\operatorname{Re}c_0$ である。 $0 の証明の計算（$f(rz)$ に適用）により、$n\ge1$ で $\dfrac{1}{2\pi}\displaystyle\int_0^{2\pi}u_r(\theta)e^{-in\theta}d\theta=\dfrac{c_nr^n}{2}$ です。$u_r\ge0$ と平均値の性質（）から $$ \frac{|c_n|r^n}{2}\le\frac{1}{2\pi}\int_0^{2\pi}|u_r(\theta)|\,d\theta=\frac{1}{2\pi}\int_0^{2\pi}u_r(\theta)\,d\theta=\operatorname{Re}c_0 $$ です。$r\to1$ とすれば主張です。 $f$ を $\mathbb{D}$ 上の正則関数で $\operatorname{Re}f\ge0$ とする。このとき円周 $T=\{|\zeta|=1\}$ 上の正の有限ボレル測度 $\mu$ で $\mu(T)=\operatorname{Re}f(0)$ となるものが存在して、すべての $z\in\mathbb{D}$ で $$ f(z)=i\operatorname{Im}f(0)+\int_{0}^{2\pi}\frac{e^{i\theta}+z}{e^{i\theta}-z}\,d\mu(\theta) $$ が成り立つ。 $u=\operatorname{Re}f\ge0$、$f=\sum c_nz^n$ とします。 **(1) 有限半径での表現。** $0 の証明の計算により $\hat{u}_r(n)=c_nr^n/2$ ($n\ge1$)、$\hat{u}_r(0)=\operatorname{Re}c_0$ なので、$K(z,\theta)=\dfrac{e^{i\theta}+z}{e^{i\theta}-z}=1+2\sum_{n\ge1}z^ne^{-in\theta}$ を使って $$ f(rz)=\sum_{n\ge0}c_nr^nz^n=i\operatorname{Im}c_0+\hat{u}_r(0)+2\sum_{n\ge1}\hat{u}_r(n)z^n=i\operatorname{Im}c_0+\int_0^{2\pi}K(z,\theta)\,d\mu_r(\theta) $$ です（級数は $|z|<1$ で一様収束するので、積分との交換ができる）。 **(2) 測度の極限。** $C(T)$ を、周期 $2\pi$ の連続関数全体に一様ノルムを入れた空間とします。区分線形で節点と節点での値が有理数のものは可算個で、一様連続性から $C(T)$ で稠密です。それらを $g_1,g_2,\dots$ とします。$\Lambda_r(g)=\int g\,d\mu_r$ は $C(T)$ 上の線形汎関数で、$g\ge0$ なら $\Lambda_r(g)\ge0$、$|\Lambda_r(g)|\le u(0)\|g\|_\infty$ です。$r^{(0)}_j=1-1/(j+1)$ とします。各 $k$ に対し $(\Lambda_{r}(g_k))$ は有界（$|\Lambda_r(g_k)|\le u(0)\|g_k\|_\infty$）なので、$k=1$ について収束部分列を取り、その部分列からさらに $k=2$ について収束部分列を取り……と続けて対角線を取ると、$r_j\uparrow1$ で、すべての $k$ について $\Lambda_{r_j}(g_k)$ が収束するものが得られます。任意の $g\in C(T)$ と $\varepsilon>0$ に対し、$\|g-g_k\|_\infty<\varepsilon$ となる $k$ を取れば $|\Lambda_{r_j}(g)-\Lambda_{r_l}(g)|\le2u(0)\varepsilon+|\Lambda_{r_j}(g_k)-\Lambda_{r_l}(g_k)|$ なので、$\Lambda_{r_j}(g)$ もコーシー列で収束します。極限を $\Lambda(g)$ とすると、$\Lambda$ は正の線形汎関数で $\Lambda(1)=u(0)$ です。Riesz–Markov–Kakutani の表現定理（。$T$ はコンパクトなので $C(T)=C_c(T)$）により、$T$ 上の正の有限ボレル測度 $\mu$ で $\Lambda(g)=\int g\,d\mu$、$\mu(T)=\Lambda(1)=u(0)=\operatorname{Re}f(0)$ となるものが存在します。 **(3) 極限移行。** $z\in\mathbb{D}$ を固定します。$\theta\mapsto K(z,\theta)$ は周期的な連続関数（実部と虚部に分けて $\Lambda_{r_j}$ を適用できる）なので、$\int K(z,\theta)d\mu_{r_j}\to\int K(z,\theta)d\mu$ です。(1) で $r=r_j\to1$ とすれば、左辺は $f(r_jz)\to f(z)$ で主張を得ます。 (a) 逆に、正の測度 $\mu$ から $\int K(z,\theta)d\mu(\theta)$ を作ると、これは $\mathbb{D}$ 上正則で実部は $\int P_{|z|}(\arg z-\theta)d\mu(\theta)\ge0$ です。(b) 測度 $\mu$ は $f$ から一意に決まります（フーリエ係数が $c_n=2\int e^{-in\theta}d\mu$ で定まり、三角多項式が $C(T)$ で稠密であること（Fejér の定理）から従います）。この記事では一意性は使いません。(c) 証明は Riesz–Markov–Kakutani の表現定理（正の線形汎関数が測度で表せる）を使いました。この定理とその証明は [Radon 測度と Riesz–Markov の表現定理](/mathematics/real-analysis/riesz-markov) にあります。上の (2) の対角線論法は、そこでの Helly の選出定理（）の証明と同じものです。 $f(z)=\dfrac{1+z}{1-z}$ は $\operatorname{Re}f>0$ で $f(0)=1$ です。$K(z,0)=\dfrac{1+z}{1-z}$ ですから、$\mu=\delta_{0}$（$\theta=0$ に質量 $1$）が表現を与えます。一方、$f\equiv1$ は $\mu=\dfrac{d\theta}{2\pi}$（$\int K(z,\theta)\frac{d\theta}{2\pi}=1$）に対応します。ほかに $f(z)=1+z$ のような場合は $\operatorname{Re}f\ge0$ ですから表現でき、$\mu=\bigl(1+\cos\theta\bigr)\frac{d\theta}{2\pi}$ です（実際 $K(z,\theta)=1+2\sum_{n\ge1}z^ne^{-in\theta}$ を $(1+\cos\theta)\frac{d\theta}{2\pi}$ で積分すると、$n=0$ の項が $1$、$n=1$ の項が $2z\cdot\frac12=z$、$n\ge2$ の項が $0$ で、和は $1+z$ になります）。 ## 7. Schwarz の鏡像原理 実軸（円周でもよい）の一部の上で実数値をとる関数は、その部分を横切って対称に延長されます。まず、対称な領域上の関数が「軸の外で正則 + 軸上で連続」なら全体で正則、という補題を示します。
Ω⁺（上側） Ω ∩ H⁻（鏡映） I 実軸
この補題の証明では、実軸にまたがる三角形を、軸より上と下の三角形に切り分けます。軸の上下では正則なので積分が 0 になり、軸の近くではわずかに持ち上げた三角形で近似して、連続性で極限を取ります。 $\Omega$ を開集合とし、$F:\Omega\to\mathbb{C}$ を連続で、$\Omega\setminus\mathbb{R}$ 上で正則とする。このとき $F$ は $\Omega$ 上で正則である。 モレラの定理（）を使うので、閉三角形 $\Delta\subset\Omega$ で $\oint_{\partial\Delta}F\,dz=0$ を示します。 $\Delta\cap\mathbb{R}=\emptyset$ なら、$\Delta$ は $H^+$ か $H^-$ に入るので、グルサの定理（）から $0$ です。 $\Delta$ が閉上半平面に入っている（実軸と接してもよい）場合：$\Delta$ はコンパクトで $\Omega$ は開なので、小さい $t>0$ について $\Delta+it\subset\Omega\cap H^+$ です。グルサの定理から $\oint_{\partial(\Delta+it)}F\,dz=0$ で、$F$ は $\Delta$ の近傍のコンパクト集合上で一様連続なので、$t\to0$ で $\oint_{\partial(\Delta+it)}F\to\oint_{\partial\Delta}F$ です。閉下半平面の場合も同様です。 $\Delta$ が両側にまたがるとき：実軸で切って、上側と下側の部分をそれぞれ三角形に分割します（それぞれ高々 3 個以下の三角形）。分割で現れる内部の辺は、隣接する 2 つの三角形の境界として逆向きに 2 度現れて打ち消し合うので、$\oint_{\partial\Delta}F$ は小三角形の境界積分の和です。各小三角形は閉半平面に入るので $0$ です。 $\Omega\subset\mathbb{C}$ を、$z\in\Omega\Rightarrow\bar{z}\in\Omega$ をみたす開集合とし、$\Omega^+=\Omega\cap H^+$、$I=\Omega\cap\mathbb{R}$ とする。$f:\Omega^+\cup I\to\mathbb{C}$ が連続で、$\Omega^+$ 上で正則、$I$ 上で実数値であるとする。このとき $$ F(z)=\begin{cases}f(z)&(z\in\Omega^+\cup I)\\\overline{f(\bar{z})}&(z\in\Omega\cap H^-)\end{cases} $$ は $\Omega$ 上で正則である。 $I$ 上では $\overline{f(\bar z)}=\overline{f(z)}=f(z)$ （実数値）なので、2 つの定義は $I$ 上で矛盾しません。$F$ は $\Omega^+\cup I$ 上、また $\Omega\cap H^-$ 上で連続です。$z_n\to x\in I$ に対して $z_n\in\Omega^+$ なら $F(z_n)=f(z_n)\to f(x)$、$z_n\in H^-$ なら $F(z_n)=\overline{f(\bar{z}_n)}\to\overline{f(x)}=f(x)$ なので、$F$ は $\Omega$ 上連続です。 $\Omega\cap H^-$ 上の正則性：$z$ と $z+h$ が $H^-$ にあるとき $$ \frac{F(z+h)-F(z)}{h}=\overline{\left(\frac{f(\bar{z}+\bar{h})-f(\bar{z})}{\bar{h}}\right)}\xrightarrow[h\to0]{}\overline{f'(\bar{z})} $$ です。よって $F$ は $\Omega\setminus\mathbb{R}$ 上正則で、 より $\Omega$ 上正則です。 $f$ を $H^+$ 上で正則、$\overline{H^+}$ 上で連続とし、区間 $[0,1]$ 上で $f=0$ とします。このとき $f\equiv0$ です。実際 $\Omega=D(\tfrac12,\tfrac12)$ は実軸に関して対称で、$f$ は $\Omega^+\cup I$ 上連続、$I=(0,1)$ 上で実数値 $0$ です。 の延長 $F$ は $\Omega$ 上正則で、$I$ 上で $F=0$ です。$I$ は集積点をもつので一致の定理から $F\equiv0$（$\Omega$ 上）です。よって $f=0$ が開集合 $\Omega^+$ 上で成り立ち、$H^+$ は領域ですから、再び一致の定理で $H^+$ 全体で $f\equiv0$ です。 調和関数の鏡像原理は、正則関数版と少し形が違います。実軸上で値が $0$ になる場合に、奇関数として延長します。 証明の方針は、半円板の上でまず Dirichlet 問題の解 $v$ を作り、一意性から $v$ が奇関数になること（実軸上で $0$）を確かめ、最大値原理で $v$ が元の $u$ と一致することを示す、というものです。 $\Omega,\Omega^+,I$ を と同じとする。$u:\Omega^+\cup I\to\mathbb{R}$ が連続で、$\Omega^+$ 上調和、$I$ 上で $u=0$ とする。このとき $$ \tilde{u}(z)=\begin{cases}u(z)&(z\in\Omega^+\cup I)\\-u(\bar{z})&(z\in\Omega\cap H^-)\end{cases} $$ は $\Omega$ 上調和である。 $\Omega\cap H^-$ 上では $-u(\bar z)$ は調和です（座標 $y\mapsto-y$ でラプラシアンは不変）。$\tilde{u}$ は連続です。$x_0\in I$ を取り、$\overline{D}(x_0,\rho)\subset\Omega$ とします。$\tilde{u}$ の円周 $\partial D(x_0,\rho)$ への制限を境界値とする の解 $v\in C(\overline{D}(x_0,\rho))$ を取ります。$w(z)=-v(\bar{z})$ もまた、境界値 $-\tilde{u}(\bar{\zeta})=\tilde{u}(\zeta)$ をもつ解なので、一意性（）から $w=v$、つまり $v$ は奇関数で、特に実軸上で $v=0$ です。 半円板 $D^+=D(x_0,\rho)\cap H^+$ で $u-v$ を考えます。$\overline{D^+}$ 上連続で、$D^+$ 内で調和です。円弧の部分では $v=\tilde{u}=u$ なので $u-v=0$、直径の部分では $u=0$、$v=0$ なので $u-v=0$ です。最大値原理（）により $u=v$ が $D^+$ 上で成り立ちます。$D^-$ 上でも $\tilde{u}(z)=-u(\bar{z})=-v(\bar{z})=v(z)$ で、直径上は両方 $0$ です。よって $D(x_0,\rho)$ 上で $\tilde{u}=v$ は調和です。$x_0\in I$ は任意なので、$\tilde{u}$ は $\Omega$ 上調和です。 正則関数の鏡像原理は、円周や直線への一般の鏡映にも広がります。写像 $z\mapsto1/\bar{z}$（単位円周に関する鏡映）と[一次分数変換](/mathematics/complex-analysis/conformal-mapping#def-mobius)（）で、円周上で実数値（または円周上に値をもつ）になる関数を延長できます。実軸版との違いは、延長が鏡映と共役の合成になる点だけです。 ## 8. 演習 $\varphi(\theta)=\cos^2\theta$ の円板上の調和拡張 $u$ を求め、$u(\tfrac12,0)$ の値を求めよ。 $\cos^2\theta=\tfrac12+\tfrac12\cos2\theta$ です。$1$ の調和拡張は $1$、$\cos2\theta$ の調和拡張は $\operatorname{Re}z^2=r^2\cos2\psi$ ですから、 の一意性より $u(re^{i\psi})=\tfrac12+\tfrac12r^2\cos2\psi$ です。$u(\tfrac12,0)=\tfrac12+\tfrac12\cdot\tfrac14=\tfrac58$ です。 $u$ を $\mathbb{D}$ 上の正の調和関数で $u(0)=1$ とする。$u(\tfrac12)$ のとりうる値の範囲について、$\tfrac13\le u(\tfrac12)\le3$ を示し、両端が実現されることを確かめよ。 で $R=1$、$r=\tfrac12$ とすると $\dfrac{1-1/2}{1+1/2}=\tfrac13$、$\dfrac{1+1/2}{1-1/2}=3$ です。実現：$u(z)=\operatorname{Re}\dfrac{1+z}{1-z}$ は $u(0)=1$ で $u(\tfrac12)=\dfrac{3/2}{1/2}=3$、$u(z)=\operatorname{Re}\dfrac{1-z}{1+z}$ は $u(0)=1$ で $u(\tfrac12)=\dfrac{1/2}{3/2}=\tfrac13$ です（ の $z\mapsto-z$ にあたります）。 $f$ を $H^+$ 上で正則、$\overline{H^+}$ 上で連続で、$\mathbb{R}$ 上で実数値とする。$f$ が $H^+$ 上で有界ならば、$f$ は定数であることを示せ。 鏡像原理（、$\Omega=\mathbb{C}$）により、$f$ は整関数 $F$ に延長されます。$|F|=|f(\bar z)|$ ですから、$F$ は $H^-$ でも有界で、したがって $\mathbb{C}$ 全体で有界です。リウヴィルの定理（）から $F$ は定数、$f$ も定数です。 $f$ を $\mathbb{D}$ 上の正則関数で $\operatorname{Re}f>0$、$f(0)=1$ とする。$f(z)=1+\sum_{n\ge1}c_nz^n$ とおくと $|c_n|\le2$ であることを示し、$f(z)=\dfrac{1+z}{1-z}$ のとき等号が成り立つことを確かめよ。 で $\operatorname{Re}c_0=1$ ですから $|c_n|\le2$ です。$\dfrac{1+z}{1-z}=1+2\sum_{n\ge1}z^n$ なので $c_n=2$ で等号が成り立ちます。 ## 参考文献 - L. V. Ahlfors, *Complex Analysis*, 3rd ed., McGraw-Hill, 1979 — 第 4 章 §6（調和関数、Poisson の公式、Harnack の不等式、鏡像原理）。 - W. Rudin, *Real and Complex Analysis*, 3rd ed., McGraw-Hill, 1987 — 第 11 章（調和関数）と第 7 章（Riesz の表現定理）。 - E. M. Stein and R. Shakarchi, *Complex Analysis*, Princeton University Press, 2003 — 第 2 章 §5（円板の Dirichlet 問題）、第 5 章 §5（鏡像原理）。 - S. Axler, P. Bourdon and W. Ramey, *Harmonic Function Theory*, 2nd ed., Springer, 2001 — 第 1 章・第 2 章・第 3 章（Poisson 積分、Harnack の定理）。 - 杉浦光夫『解析入門 II』東京大学出版会、1985 — 調和関数の章。