$$ \newcommand{\pv}{\mbox{p.v.}} \newcommand{\nm}{\noalign{\smallskip}} %\newcommand{\qed}{ $\Box$} \newcommand{\ds}{\displaystyle} %\newcommand{\pf}{\noindent {\sl Proof}. \ } \newcommand{\p}{\partial} \newcommand{\pd}[2]{\frac {\p #1}{\p #2}} \newcommand{\eqnref}[1]{(\ref {#1})} \newcommand{\Abb}{\mathbb{A}} \newcommand{\Cbb}{\mathbb{C}} \newcommand{\Hbb}{\mathbb{H}} \newcommand{\Ibb}{\mathbb{I}} \newcommand{\Nbb}{\mathbb{N}} \newcommand{\Kbb}{\mathbb{K}} \newcommand{\Rbb}{\mathbb{R}} \newcommand{\Sbb}{\mathbb{S}} \renewcommand{\div}{\mbox{div}\,} \newcommand{\la}{\langle} \newcommand{\ra}{\rangle} \newcommand{\Acal}{\mathcal{A}} \newcommand{\Bcal}{\mathcal{B}} \newcommand{\Ccal}{\mathcal{C}} \newcommand{\Ecal}{\mathcal{E}} \newcommand{\Fcal}{\mathcal{F}} \newcommand{\Hcal}{\mathcal{H}} \newcommand{\Lcal}{\mathcal{L}} \newcommand{\Kcal}{\mathcal{K}} \newcommand{\Ncal}{\mathcal{N}} \newcommand{\Dcal}{\mathcal{D}} \newcommand{\Pcal}{\mathcal{P}} \newcommand{\Qcal}{\mathcal{Q}} \newcommand{\Rcal}{\mathcal{R}} \newcommand{\Scal}{\mathcal{S}} \newcommand{\Tcal}{\mathcal{T}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % define bold face %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\Ba{{\bf a}} \def\Bb{{\bf b}} \def\Bc{{\bf c}} \def\Bd{{\bf d}} \def\Be{{\bf e}} \def\Bf{{\bf f}} \def\Bg{{\bf g}} \def\Bh{{\bf h}} \def\Bi{{\bf i}} \def\Bj{{\bf j}} \def\Bk{{\bf k}} \def\Bl{{\bf l}} \def\Bm{{\bf m}} \def\Bn{{\bf n}} \def\Bo{{\bf o}} \def\Bp{{\bf p}} \def\Bq{{\bf q}} \def\Br{{\bf r}} \def\Bs{{\bf s}} \def\Bt{{\bf t}} \def\Bu{{\bf u}} \def\Bv{{\bf v}} \def\Bw{{\bf w}} \def\Bx{{\bf x}} \def\By{{\bf y}} \def\Bz{{\bf z}} \def\BA{{\bf A}} \def\BB{{\bf B}} \def\BC{{\bf C}} \def\BD{{\bf D}} \def\BE{{\bf E}} \def\BF{{\bf F}} \def\BG{{\bf G}} \def\BH{{\bf H}} \def\BI{{\bf I}} \def\BJ{{\bf J}} \def\BK{{\bf K}} \def\BL{{\bf L}} \def\BM{{\bf M}} \def\BN{{\bf N}} \def\BO{{\bf O}} \def\BP{{\bf P}} \def\BQ{{\bf Q}} \def\BR{{\bf R}} \def\BS{{\bf S}} \def\BT{{\bf T}} \def\BU{{\bf U}} \def\BV{{\bf V}} \def\BW{{\bf W}} \def\BX{{\bf X}} \def\BY{{\bf Y}} \def\BZ{{\bf Z}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Abbreviate definitions of greek symbols %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\Ga}{\alpha} \newcommand{\Gb}{\beta} \newcommand{\Gd}{\delta} \newcommand{\Ge}{\epsilon} \newcommand{\Gve}{\varepsilon} \newcommand{\Gf}{\Gvf} \newcommand{\Gvf}{\varphi} \newcommand{\Gg}{\gamma} \newcommand{\Gc}{\chi} \newcommand{\Gi}{\iota} \newcommand{\Gk}{\kappa} \newcommand{\Gvk}{\varkappa} \newcommand{\Gl}{\lambda} \newcommand{\Gn}{\eta} \newcommand{\Gm}{\mu} \newcommand{\Gv}{\nu} \newcommand{\Gp}{\pi} \newcommand{\Gt}{\theta} \newcommand{\Gvt}{\vartheta} \newcommand{\Gr}{\rho} \newcommand{\Gvr}{\varrho} \newcommand{\Gs}{\sigma} \newcommand{\Gvs}{\varsigma} \newcommand{\Gj}{\Phi^*} \newcommand{\Gu}{\upsilon} \newcommand{\Go}{\omega} \newcommand{\Gx}{\xi} \newcommand{\Gy}{\psi} \newcommand{\Gz}{\zeta} \newcommand{\GD}{\Delta} \newcommand{\GF}{\Phi} \newcommand{\GG}{\Gamma} \newcommand{\GL}{\Lambda} \newcommand{\GP}{\Pi} \newcommand{\GT}{\Theta} \newcommand{\GS}{\Sigma} \newcommand{\GU}{\Upsilon} \newcommand{\GO}{\Omega} \newcommand{\GX}{\Xi} \newcommand{\GY}{\Psi} %%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\BGG}{{\bf \GG}} \newcommand{\BGf}{\mbox{\boldmath $\Gf$}} \newcommand{\BGvf}{\mbox{\boldmath $\Gvf$}} \newcommand{\Bpsi}{\mbox{\boldmath $\Gy$}} \newcommand{\wBS}{\widetilde{\BS}} \newcommand{\wGl}{\widetilde{\Gl}} \newcommand{\wGm}{\widetilde{\Gm}} \newcommand{\wGv}{\widetilde{\Gv}} \newcommand{\wBU}{\widetilde{\BU}} %%%%%%%%%% \newcommand{\Jfrak}{\mathfrak{J}} %%%%%%%%%% \newcommand{\beq}{\begin{equation}} \newcommand{\eeq}{\end{equation}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\ol{\overline} \def\bs{\backslash} \def\wt{\widetilde} \newcommand{\hatna}{\widehat{\nabla}} \DeclareMathOperator{\Ker}{Ker} \DeclareMathOperator{\divergence}{div} \DeclareMathOperator{\Real}{Re} \DeclareMathOperator{\sgn}{sgn} \DeclareMathOperator{\dist}{dist} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% $$
一般化 Tricomi 方程式 \[ \tilde{L}[U] := K(y) U_{xx} + U_{yy} = 0 \tag{1} \] を満たす関数 \(U\) に対する最大値原理と, それに付随する解の一意性について議論する. ただし, 係数 \(K(y)\) は \[ \sgn K(y) = \sgn y, \quad K'(y) > 0 \tag{2} \] を満たすとする.
(一般化) Tricomi 方程式を考える領域の双曲部の境界が方程式の2つの特性曲線からなり, 片側の特性曲線上に Dirichlet 境界条件を与える問題を Tricomi 問題と呼んだ. これに対し, 2つの特性曲線のうち Dirichlet 境界条件を課していないほうの境界を任意の曲線に取り換えた境界値問題のことを一般化 Tricomi 問題と呼ぶ. 一般化 Tricomi 問題については, 次の最大値原理が成り立つ.
\(\GO\) を \(\Rbb^2\) の領域で, 直線 \(y = 0\) と共通部分を持つものとし, 境界 \(\p \GO\) は次の条件 (3) を満たすとする. \[ \begin{cases} y > 0: \sgn \left( \frac{dy}{dx} \right) = \sgn x,\\ y < 0: dx^2 + K(y)\,dy^2 > 0. \tag{3} \end{cases} \] 関数 \(U\) が \(\GO\) 内で \(\tilde{L}(U) = 0\) を満たし, \(U\) の共役関数 \(V\) が \(\p \GO\) 上で \[ dV := U_y\,dx - K(y) U_x\,dy = 0 \tag{4} \] を満たせば, \(U\) は \(\GO\) 内で定数である.
以下の議論では, 次の補題を用いる.
\(\GO^+\) を \(\Rbb^2 \cap \{ y > 0 \}\) の領域とする. 関数 \(U\) が \(\GO^+\) 内で \(L[U] \geq 0\) を満たすならば, \(U\) は \(\GO^+\) 上定数であるか, \(\ol{\GO^+}\) 上での最大値を境界 \(\p \GO^+\) 上でのみ達成する. さらに, 関数 \(U\) が最大値を達成する点 \((x_0, y_0) \in \p \GO^+\) の近傍で \(\p \GO^+\) が滑らかであれば, $$ \frac{\p U}{\p n}(x_0, y_0) < 0 $$ である.
定理1. の証明のため, 補助関数 \(W\) を次のとおり定義する. 一般化 Tricomi 方程式の解 \(U\) に対して, \[ W(x, y) := \int_{(x_0, y_0)}^{(x, y)} (K(y) U_x(x, y)^2 - U_y(x, y)^2)\,dy - 2 U_x(x, y) U_y(x, y)\,dx. \tag{5} \] ただし, \((x_0, y_0)\) は \(\GO\) 内の点であり, 積分は2点 \((x_0, y_0)\), \((x, y)\) を結ぶ曲線に沿って行う.
上の積分が経路に依らないことを確認する. 点 \((x_0, y_0)\) を通る \(\GO\) 内の単純閉曲線 \(C\) を考える. \(C\) で囲まれた領域 \(S\) に対して Stokes の定理を適用すると, \begin{align*} &\int_C (K(y) U_x(x, y)^2 - U_y(x, y)^2)\,dy - 2 U_x(x, y) U_y(x, y)\,dx\\ =& \int_S (K(y) U_x(x, y)^2 - U_y(x, y)^2)_x + (2 U_x(x, y) U_y(x, y))_y\,dxdy\\ =& \int_S 2 K(y) U_x(x, y) U_{xx}(x, y) + 2 U_x(x, y) U_{yy}(x, y)\,dxdy\\ =& \int_S 2 U_x(x, y) \tilde{L}[U](x, y)\,dxdy \end{align*} となる. 関数 \(U\) は一般化 Tricomi 方程式の解であったから, $$ \int_C (K(y) U_x(x, y)^2 - U_y(x, y)^2)\,dy - 2 U_x(x, y) U_y(x, y)\,dx = 0 $$ となり, \(W\) を定義する積分が経路に依らないことが分かった.
補助関数 \(W\) に対して, 次の補題が成立する.
\(\p \GO\) と直線 \(y = 0\) との交点を \(A\), \(B\) とする. このとき, \(W\) の値は \(M := \max \{ V(A), V(B) \}\) を超えない. ただし, \(V\) は \(U\) の共役関数であり, \(\GO\) 内で次を満たす. $$ \begin{cases} V_x = U_y,\\ V_y = -K(y) U_x. \end{cases} $$
$$ W(x, y) = \int_{y_0}^y (K(y) U_x(x_0, y)^2 - U_y(x_0, y)^2)\,dy - \int_{x_0}^x 2 U_x(x, y) U_y(x, y)\,dx $$ と積分経路を取ると, \(W_x(x, y) = -2 U_x(x, y) U_y(x, y)\) であることが分かる. 同様に, $$ W(x, y) = - \int_{x_0}^x 2 U_x(x, y_0) U_y(x, y_0)\,dx + \int_{y_0}^y (K(y) U_x(x, y)^2 - U_y(x, y)^2)\,dy $$ と積分経路を取ることで, \(W_y(x, y) = K(y) U_x(x, y)^2 - U_y(x, y)^2\) となる. さらに偏微分を施して, \begin{align*} W_{xx}(x, y) =& -2 U_{xx}(x, y) U_y(x, y) -2 U_x(x, y) U_{xy}(x, y),\\ W_{yy}(x, y) =& K'(y) U_x(x, y)^2 + 2K(y) U_x(x, y) U_{xy}(x, y) - 2 U_y(x, y) U_{yy}(x, y) \end{align*} を得る. 以上より, $$ \tilde{L}[W](x, y) = K'(y) U_x(x, y)^2 + \tilde{L}[U](x, y) = K'(y) U_x(x, y)^2 \geq 0 $$ である. 補題1. より, \(W\) は \(\GO^+\) で最大値原理を満たす.
境界条件 (4) より, \(\p \GO\) 上では $$ U_y = K(y) U_x \frac{dy}{dx} $$ が成り立つ. よって, \begin{align*} \left( \frac{d W}{d y} \right)_{\p \GO} =& K U_x^2 - \left( K U_x \frac{dy}{dx} \right)^2 - 2 U_x K U_x \frac{dy}{dx} \frac{dx}{dy}\\ =& - K U_x^2 \left( 1 + K \left( \frac{dy}{dx} \right)^2 \right) \end{align*} となる. 特に \(\p \GO^+\) 上では \(\sgn K > 0\) より $$ \left( \frac{d W}{d y} \right)_{\p \GO^+} \leq 0 $$ である. また, \(\p \GO^- := \p (\GO \cap \{ y < 0 \} )\) 上では, 境界条件 (3) より $$ dx^2 + K\,dy^2 > 0 \iff 1 + K \left( \frac{dy}{dx} \right)^2 > 0 $$ であるから, \[ \left( \frac{d W}{d y} \right)_{\p \GO^-} \geq 0 \tag{6} \] である. いずれの場合も, \(A\) または \(B\) から \(\p \GO\) に沿って移動する際, \(W\) は増加しないことを意味する.
\(\GO^-\) の内部においては, \(y < 0\) における任意の特性曲線に沿って, \begin{align} \frac{d W}{d y} =& W_y + W_x \frac{dx}{dy} \nonumber\\ =& K U_x^2 - U_y^2 - 2 U_x U_y \left( \pm |K|^{1/2} \right) = - \left( U_y \pm |K|^{1/2} U_x \right)^2 = - \left( \frac{d U}{d y} \right)^2 \leq 0 \tag{7} \end{align} である.
\(\ol{\GO^-}\) 内の点 \(P\) を取る. 点 \(P\) が \(\p \GO\) 上に無ければ, \(\GO\) 内を通る特性曲線で点 \(P\) と \(\p \GO\) 上の点 \(Q\) とを結ぶ. (6), (7) より, \(W(P) \leq W(Q) \leq \max \{ W(A), W(B) \}\) である. 点 \(P\) が \(\p \GO^-\) 上にある時は, 点 \(Q\) を点 \(P\) とすることで, 同様に \(W(P) \leq \max \{ W(A), W(B) \}\) を得る. 特に \(P \in AB\) と取れば, \(\GO^+\) における \(W\) の最大値原理から補題が従う.
\(\Gd\) を正の定数とし, \(\GO\) 内の帯状領域 \(D := \GO \cap \{ 0 < y < \Gd \}\) を考える. また, \(\p \GO\) と \(y = \Gd\) との交点をそれぞれ \(A'\), \(B'\) とし, \(A\) と \(A'\), \(B\) と \(B'\) がそれぞれ \(\p \GO\) で結ばれているものとする.
\(D\) 上の関数 \(W_1\) を $$ W_1 := W + \Ge y $$ で定義する. ただし, \(\Ge\) は正の定数である. \(\tilde{L}[W_1] = \tilde{L}[W] \geq 0\) であるから, 補題1. が \(W_1\) に対しても適用できる. また 補題2. から, 辺 \(AB\) 上では \(W_1 = W \leq M\) が成り立つ. さらに, 補題2. の証明から, 次のどちらかが成り立つ. (1)弧 \(AA'\) または 弧 \(BB'\) の少なくとも一方で, 恒等的に \(U_x = U_y = 0\), (2)弧 \(AA'\) および 弧 \(BB'\) 上で \((\frac{dW}{dy})_{\p \GO^+} < 0\).
(2) の場合が成立すると仮定する. この時, $$ \left( \frac{dW_1}{dy} \right)_{\p \GO^+} = \left( \frac{dW}{dy} \right)_{\p \GO^+} + \Ge $$ であるから, \(\Ge\) を十分小さく取れば, \((\frac{dW_1}{dy})_{\p \GO^+} < 0\) とできる. よって, \(W_1(A') < M$, $W_1(B') < M\) が成り立つ. さらに, 補題2. より, 辺 \(A'B'\) の内点でも \(W < M\) となるので, 十分小さい \(\Ge > 0\) に対しては \(W_1\) が 弧 \(AA'\) または弧 \(BB'\) 上で最大値を取る. ところが, 境界条件 (4) より $$ \left( \frac{\p W_1}{\p y} \right)_{\p \GO^+} = \Ge + K(y)U_x^2 - U_y^2 = \Ge + K(y) U_x^2 \left( 1 - K(y) \left(\frac{dy}{dx} \right)^2 \right) \geq \Ge $$ であり, (3) からこれは \(W\) が \(\p \GO\) 上で最大値を取ることに矛盾する. したがって, (2) の場合は起こり得ない.
そこで, (1) の場合を検討する. この時, \(D\) 内における (楕円型) 方程式の境界値問題に対する解の一意性から, \(D\) 内で \(U\) が定数であることが分かる. \(U\) は \(\GO^+\) 上で \(\tilde{L}[U] = 0\) を満たすから, 一意接続定理から結局 \(U\) は \(\GO^+\) 上定数となる. \(\GO^-\) 上でも \(U\) が定数になることは, 後の 定理2. から従う.
a-b-c 法について概説する.
\(\GO\) を \(\Rbb^2\) の mixed region とし, \(U\) を \(\GO\) 内で \(\tilde{L}[U] = 0\) を満たす \(C^2\) 級関数であるとする. \(D\) を \(\GO\) 内の (求長可能な) 単純閉曲線 \(C\) で囲まれた領域とし, 次の恒等式を考える. \[ \int_D (aU + bU_x + cU_y) \tilde{L}[U]\,dxdy = 0. \tag{8} \] ただし, \(a\), \(b\), \(c\) は \(C^1\) 級の実数値関数である.
恒等式 (8) に対して, 次が成り立つ.
\(a = 0\) とする. このとき, \begin{align*} &2 \int_D (bU_x + cU_y) \tilde{L}[U]\,dxdy\\ =& \int_D (U_x^2 (-K b_x + (cK)_y) -2 U_x U_y (b_y + K c_x) + U_y^2(b_x - c_y))\,dxdy\\ &+ \int_C L\,dy + M\,dx. \end{align*} ただし, \begin{align*} L :=& b(K U_x^2 - U_y^2) + 2cK U_x U_y,\\ M :=& c(K U_x^2 - U_y^2) -2b U_x U_y. \end{align*}
Green の公式より, $$ \int_D b K U_x U_{xx}\,dxdy = \int_C b K U_x^2\,dy - \int_D b_x K U_x^2\,dxdy - \int_D b K U_{xx} U_x\,dxdy. $$ よって, $$ 2 \int_D b K U_x U_{xx}\,dxdy = \int_C b K U_x^2\,dy - \int_D b_x K U_x^2\,dxdy. $$ 同様に, \begin{align*} 2 \int_D b U_x U_{yy}\,dxdy =& -2 \int_C b U_x U_y\,dx -2 \int_C b_y U_x U_y\,dxdy\\ &- \int_C b U_y^2 \,dx + \int_D b_x U_y^2\,dxdy,\\ 2 \int_D c K U_y U_{xx}\,dxdy =& 2 \int_C c K U_x U_y\,dy -2 \int_C c_x K U_x U_y\,dxdy\\ &+ \int_C c K U_x^2 \,dx + \int_D (c K)_y U_x^2\,dxdy,\\ 2 \int_D c U_y U_{yy}\,dxdy =& -\int_C c U_y^2\,dx - \int_D c_y U_y^2\,dxdy. \end{align*} 辺々を足し合わせて, 結論を得る.
命題1. の導出に際し, \(U \in C^2(\GO)\) を仮定したが, \(U\) の偏導関数は境界 \(\p \GO\) の近くで特異性を持ちうる. 以降では, 命題1. の右辺に現れる積分が定義できる程度の特異性は許容しているものとする.
境界 \(\p \GO\) と \(y = 0\) の交点を左から \(A\), \(B\) とし, 2点 \(A\), \(B\) を始点とする特性曲線の交点を \(C\) とする. 関数 \(U\) が \(\triangle ABC\) 内で \(\tilde{L}[U] = 0\) を満たし, かつ次の条件のうち一方を満たすと仮定する.
命題1. において, \(b = 1\), \(c = 0\) とすると, $$ \int_C (K U_x^2 - U_y^2)\,dy - 2 U_x U_y\,dx = 0. $$
曲線 \(AC\) 上に点 \(P\) を取り, 点 \(P\) を通る特性曲線と辺 \(AB\) との交点のうち, 点 \(A\) でないものを点 \(P'\) とする. このとき, 曲線 \(AP\) 上では \begin{align*} \frac{dx}{dy} =& - \sqrt{-K(y)},\\ \left( \frac{d U}{dy} \right) =& (U_y - \sqrt{-K(y)} U_x )^2 = U_y^2 - 2 \sqrt{-K(y)} U_x U_y - K(y) U_x^2 \end{align*} である. また, 曲線 \(PP'\) 上では \begin{align*} \frac{dx}{dy} =& \sqrt{-K(y)},\\ \left( \frac{d U}{dy} \right) =& (U_y + \sqrt{-K(y)} U_x )^2 = U_y^2 + 2 \sqrt{-K(y)} U_x U_y - K(y) U_x^2 \end{align*} である.
命題1. の単純閉曲線 \(C\) として, \(AP \cup PP' \cup P'A\) を考える. \begin{align*} \int_C (K U_x^2 - U_y^2)\,dy - 2 U_x U_y\,dx =& -\int_{AP} \left( U_y^2 + 2 U_x U_y \frac{dx}{dy} - K U_x^2 \right)\,dy\\ &-\int_{PP'} \left( U_y^2 + 2 U_x U_y \frac{dx}{dy} - K U_x^2 \right)\,dy\\ &+ 2\int_{AP'} U_x U_y\,dx\\ =& -\int_{AP \cup PP'} \left( \frac{d U}{dy} \right)^2\,dy +2\int_{AP'} U_x U_y\,dx = 0. \end{align*}
仮定 1. が成り立つ場合, $$ \int_{AP} \left( \frac{d U}{dy} \right)^2\,dy = \int_{AP'} U_x U_y\,dx = 0 $$ であるから, $$ \int_{PP'} \left( \frac{d U}{dy} \right)^2\,dy = 0. $$ よって, \(U\) は曲線 \(PP'\) 上定数であり, 特に \(U(P) = 0\) であるから, 曲線 \(PP'\) 上 \(U = 0\) となる. 点 \(P\) の取り方は任意であり, \(\triangle ABC\) は上の曲線による族 \(\{PP' \mid P \in AC\}\) により埋め尽くされるので, 結論が従う.
次に, 命題1. において, \(b = 0\), \(c = K^{-1}\) とする. このとき, $$ \int_D \frac{K'(y)}{K(y)^2} U_y^2\,dxdy + \int_C 2 U_x U_y\,dy + \int_C (U_x^2 - K^{-1} U_y^2)\,dx = 0. $$ 辺 \(AB\) 上に点 \(P\) を取り, 点 \(P\) を通る特性曲線と曲線 \(AC\) との交点を \(P''\) とする. また, 正の定数 \(\Gd\) に対し, 曲線 \(AC\), \(PP''\) と直線 \(y = -\Gd\) との交点をそれぞれ \(A'\), \(P'\) とする. 今, 単純閉曲線 \(C\) として, \(A'P'' \cup P''P' \cup P'A'\) を考える. $$ \int_C 2 U_x U_y\,dy + \int_C (U_x^2 - K^{-1} U_y^2)\,dx = \int_{A'P'' \cup P''P'} \left( \frac{d U}{dx} \right)^2\,dx + \int_{P'A'} (U_x^2 - K^{-1} U_y^2)\,dx. $$ 仮定 2 の下で \(\Gd \rightarrow 0\) とすると, \(U_y = O(\Gd)\) であるから, $$ \int_{P'A'} (U_x^2 - K^{-1} U_y^2)\,dx \rightarrow \int_{PA} (U_x^2 - K^{-1} U_y^2)\,dx = 0. $$ よって, \(\Gd \rightarrow 0\) で $$ \int_D \frac{K'(y)}{K(y)^2} U_y^2\,dxdy + \int_{A'P'' \cup P''A'} \left( \frac{d U}{dx} \right)^2\,dx = -\int_{P'A'} (U_x^2 - K^{-1} U_y^2)\,dx \rightarrow 0. $$ \(K\) に対する仮定より左辺第一項は非負であるから, 曲線 \(AP'' \cup P''P\) 上で \(U\) は一定であり, 特に \(U(A) = 0\) であるから, 曲線 \(AP'' \cup P''P\) 上で \(U = 0\) が成り立つ. 点 \(P\) の取り方は任意であり, \(\triangle ABC\) は上の曲線による族 \(\{PP'' \mid P \in AB\}\) により埋め尽くされるので, 結論を得る.
境界 \(\p \GO\) と \(y = 0\) の交点を左から \(A\), \(B\) とし, 2点 \(A\), \(B\) を始点とする特性曲線の交点を \(C\) とする. 今, 辺 \(AB\) 上に点 \(O\) を取り, 点 \(O\) を通る特性曲線と曲線 \(AB\), \(AC\) の交点をそれぞれ点 \(D\), \(E\) とする. このとき, 関数 \(U\) が \(ODCE\) 内で \(\tilde{L}[U] = 0\) を満たし, \(OD \cup OE\) 上で \(U = 0\) であれば, \(ODCE\) 内で \(U = 0\) である.
曲線 \(OD\), \(OE\) 上にそれぞれ点 \(P_1\), \(P_2\) を取り, 点 \(P_1\) を通る特性曲線と点 \(P_2\) を通る特性曲線のうち点 \(O\) でないものを点 \(Q\) とする.
命題1. において \(b = 0\), \(c = K^{-1}\) として, $$ \int_D \frac{K'(y)}{K(y)^2} U_y^2\,dxdy + \int_C 2 U_x U_y\,dy + \int_C (U_x^2 - K^{-1} U_y^2)\,dx = 0. $$ 単純閉曲線 \(C\) として \(OP_1 \cup P_1Q \cup QP_2 \cup P_2O\) を取れば, 仮定より $$ \int_D \frac{K'(y)}{K(y)^2} U_y^2\,dxdy + \int_{P_1Q \cup QP_2} \left( \frac{d U}{dx} \right)^2\,dx = -\int_{OP_1 \cup P_2O} \left( \frac{d U}{dx} \right)^2\,dx = 0. $$ よって, \(U\) は曲線 \(P_1Q \cup QP_2\) 上一定であり, 特に \(U(P_1) = U(P_2) = 0\) より曲線 \(P_1Q \cup QP_2\) 上 \(U = 0\). 点 \(P_1\), \(P_2\) の取り方は任意であり, 領域 \(ODCE\) は曲線 \(P_1Q \cup QP_2\) で埋め尽くされるから, 結論を得る.