最大値原理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/05 05:24 UTC 版)
ナビゲーションに移動 検索に移動数学における最大値原理(さいだいちげんり、英: maximum principle)とは、特定の楕円型および放物型の偏微分方程式の解が持つある性質のことを言う。大雑把に言うと、ある領域内でのある関数の最大値は、その領域の境界上に存在する、ということがこの原理では述べられている。特に、ある関数が領域の内部で最大値を取るのなら、その関数は一様に定数である、ということについて述べた原理は「強最大値原理」と呼ばれる。関数の最大値は領域の境界上で取られるが、領域の内部でも同様に起こり得る、ということについて述べた原理は「弱最大値原理」と呼ばれる。他に、ある関数をその最大に関して単純に境界で制限するような、さらに弱い最大値原理も存在する。
凸最適化における最大値原理では、コンパクト凸集合上の凸関数の最大はその境界上で達成される、ということについて述べられている[1]。
古典的な例
調和関数は、強最大値原理の適用される古典的な例である。正式に言えば、f が調和関数であるなら、その定義域の内部で f が極大値を取ることはない。すなわち、f は定数関数であるか、あるいはその定義域の内部の任意の点 に対して、その点での f の値よりもより大きい値を f が取るような、その点に任意に近い点が存在する[2]。
f を、ユークリッド空間 Rn 内のある連結開部分集合 D 上で定義される調和関数とする。 が、そのある近傍に含まれるすべての x に対して
が成り立つような D 内の点であるなら、関数 f は D 上で定数である。
「最大値」を「最小値」に、「より大きい」を「より小さい」に置き換えることで、調和関数に対する「最小値原理」(minimum principle)を同様に得ることが出来る。
より一般的な劣調和関数に対しても、最大値原理は成り立つ。一方、優調和関数は、最小値原理を満たす[3]。
証明の概要
調和関数に対する「弱最大値原理」は、単純な計算による事実の帰結である。証明において重要となるのは、調和関数の定義から、f のラプラシアンがゼロであるという事実である。 が f(x) の非退化な臨界点であるなら、鞍点が存在する。実際、もしそうでないなら、f の二階微分の和がゼロとなることがなくなるからである。これはもちろん、証明としては完全ではなく、 が退化点である場合も残されているが、本質的な証明のアイデアである。
「強最大値原理」はホップの補題に依るものであり、これはまたさらに複雑である。
関連項目
脚注
- ^ Rockafellar (1970) の32章を参照。
- ^ Berenstein and Gay を参照。
- ^ Evans を参照。
参考文献
- Berenstein, Carlos A.; Roger Gay (1997). Complex Variables: An Introduction. Springer (Graduate Texts in Mathematics). ISBN 0-387-97349-4.
- Caffarelli, Luis A.; Xavier Cabre (1995). Fully Nonlinear Elliptic Equations. Providence, Rhode Island: American Mathematical Society. pp. 31–41. ISBN 0-8218-0437-5.
- Evans, Lawrence C. (1998). Partial Differential Equations. Providence, Rhode Island: American Mathematical Society. ISBN 0-8218-0772-2.
- Rockafellar, R. T. (1970). Convex analysis. Princeton: Princeton University Press.
- Gilbarg, D.; Trudinger, Neil (1983). Elliptic Partial Differential Equations of Second Order. New York: Springer. ISBN 3-540-41160-7..
最大値原理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/18 02:16 UTC 版)
詳細は「最大値原理」を参照 調和関数の平均値の性質は、最大値(最小値)に強い制約を課すため、調和関数は領域の境界で最大値(最小値)をとる。正確には、U を Rn の有界な開集合とし、φ が U 上の調和関数で、φ を境界に連続に拡張できるならば、 max U ¯ ϕ = max ∂ U ϕ {\displaystyle \max _{\overline {U}}\phi =\max _{\partial U}\phi } が成り立つ。この性質を調和関数の最大値原理と呼ぶ。U が連結開集合である場合に、 max U ϕ {\displaystyle \max _{U}\phi } が存在すれば、φは定数関数となる。この性質を調和関数の強最大値原理と呼ぶ。 最大値原理の直接的な応用としては、ポアソン方程式の境界値問題における解の一意性の証明がある。Rn の有界な開集合U とその境界 ∂U において、f ∈ C(U)とg ∈ C(∂U)を与え、ポアソン方程式の境界値問題を考える。この境界値問題の二つの解に対し、差を取ったものは調和関数であり、最大値原理より、その最大値、最小値はゼロとなる。すなわち、二つの解は一致する。
※この「最大値原理」の解説は、「調和関数」の解説の一部です。
「最大値原理」を含む「調和関数」の記事については、「調和関数」の概要を参照ください。
- 最大値原理のページへのリンク