ホップの最大値原理

数学におけるホップの最大値原理（ホップのさいだいちげんり、テンプレート:Lang-en-short）は、二階の楕円型偏微分方程式の理論に現れるある最大値原理で、その理論の「古典的かつ根底に位置する結果」と称されている。1839年にガウスによってすでに知られていた調和函数に対する最大値原理の一般化として、テンプレート:仮リンクは1927年、考えている函数が Rⁿ のある領域においてある種の二階偏微分不等式を満たし、その領域内で最大値を取るなら、その函数は定数であることを示した。ホップの証明において用いられた比較の手法の裏にあるシンプルなアイデアは、幅広い範囲での重要な応用や一般化をもたらすものであった。

数学的な定式化

u = u(x), x = (x₁, …, x_n) は、ある開領域 Ω において次の微分不等式を満たす C² 函数とする。

$Lu=\sum _{ij}{a}_{ij}(x)\frac{{\partial }^{2}u}{\partial x_i\partial x_j}+\sum _i{b}_i\frac{\partial u}{\partial x_i}\ge 0$

ここに対称行列 a_ij = a_ij(x) は Ω において局所一様に正定値であり、係数 a_ij, b_i = b_i(x) は局所有界である。このとき、u が Ω 内で最大値 M を取るなら、u ≡ M である。

ホップの最大値原理は通常、線型微分作用素 L に対してのみ適用できるものと考えられている。この立場は特に、リヒャルト・クーラントとダフィット・ヒルベルトによる Methoden der mathematischen Physik においても取られている。しかしホップの原著論文の後半の節では、特定の非線型作用素 L も許すより一般の状況が考えられており、いくつかの場合ではテンプレート:仮リンクやテンプレート:仮リンクに対するディリクレ問題における一意性の結果も導かれている。

参考文献

• テンプレート:Citation.
• テンプレート:Citation.