ハルナックの不等式
数学におけるハルナックの不等式(ハルナックのふとうしき、英: Harnack's inequality)とは、ある正の調和函数の二点での値を関連付ける不等式で、テンプレート:Harvs によって導入された。テンプレート:Harvs と テンプレート:Harvs はハルナックの不等式を、楕円型あるいは放物型偏微分方程式の解へと一般化した。ポアンカレ予想に対するグリゴリー・ペレルマンの解法では、テンプレート:Harvs によって発見されたリッチフローに対するハルナックの不等式のある変形版が用いられている。ハルナックの不等式は、調和函数の列の収束に関するハルナックの定理を証明するためにも用いられる。また、ハルナックの不等式は、偏微分方程式の弱解の内部での正則性を示すためにも使うことができる。
Contents
内容
ハルナックの不等式は Rn 内の x0 を中心とする半径 R の閉球上で定義される非負函数 f に対して適用される。f がその閉球上で連続であり、その内部で調和的であるなら、|x - x0| = r < R を満たす任意の点 x に対して次が成り立つ。
- [math]\displaystyle{{1-(r/R)\over [1+(r/R)]^{n-1}}f(x_0)\le f(x) \le {1+(r/R)\over [1-(r/R)]^{n-1}} f(x_0).}[/math]
n = 2 の場合、平面 R2 に対してこの不等式は次のように書き換えられる。
- [math]{R-r\over R+r} f(x_0)\le f(x)\le {R+r\over R-r}f(x_0).[/math]
[math]\mathbf{R}^n[/math] 内の一般の領域 [math]\Omega[/math] に対するハルナックの不等式は次のようなものである。[math]\omega[/math] は [math]\bar{\omega} \subset \Omega[/math] を満たす有界領域とする。このとき、次を満たすある定数 [math]C[/math] が存在する。
- [math] \sup_{x \in \omega} u(x) \le C \inf_{x \in \omega} u(x).[/math]
ただし [math]u(x)[/math] は任意の二回微分可能な非負の調和函数である。定数 [math]C[/math] は [math]u[/math] に独立であり、定義域にのみ依存する。
球内でのハルナックの不等式の証明
ポアソンの公式より、
- [math]\displaystyle{f(x) = {1\over \omega_{n-1}} \int_{|y-x_0|=R} {R^2 -r^2\over R|x-y|^n}\cdot f(y)\, dy}[/math]
が成立する。ただし ωn − 1 は Rn 内の単位球面の面積であり、r = |x - x0| である。
今
- [math]\displaystyle{R-r \le |x-y| \le R+r}[/math]
であるため、上の被積分函数の中にある核は次の不等式評価を満たす。
- [math]\displaystyle{{R -r\over R (R+r)^{n-1}} \le {R^2 -r^2\over R|x-y|^n}\le {R+r\over R(R-r)^{n-1}}.}[/math]
この不等式を上述の積分に代入し、調和函数の球面についての平均はその球面の中心での函数の値と等しい、すなわち
- [math]\displaystyle{f(x_0)={1\over R^{n-1}\omega_{n-1}} \int_{|y-x_0|=R} f(y)\, dy}[/math]
という事実を用いることで、ハルナックの不等式は示される。
楕円型偏微分方程式
楕円型偏微分方程式に対するハルナックの不等式は、ある連結開領域内の正の解の上限は、その下限とあるデータの汎函数のノルムを含む項の和にある定数を掛けたものによって上から評価される。すなわち
- [math]\sup u \le C ( \inf u + ||f||)[/math]
が成り立つ。この定数は方程式の楕円度(ellipticity)と連結開領域に依存する。
放物型偏微分方程式
熱方程式のような線型の放物型偏微分方程式に対しても、ハルナックの不等式は存在する。
[math]\mathcal{M}[/math] を [math]\mathbb{R}^n[/math] 内のある滑らかな領域とし、次の線型の放物型作用素を考える。
- [math]\mathcal{L}u=\sum_{i,j=1}^n a_{ij}(t,x)\frac{\partial^2 u}{\partial x_i\,\partial x_j}+\sum_{i=1}^n b_i(t,x)\frac{\partial u}{\partial x_i} + c(t,x)u. [/math]
ここで各係数は滑らかかつ有界で、行列 [math](a_{ij})[/math] は非退化(nondegenerate)であるとする。[math]u(t,x)\in C^2((0,T)\times\mathcal{M})[/math] は不等式
- [math]\frac{\partial u}{\partial t}-\mathcal{L}u\ge0[/math]
および
- [math]\quad u(t,x)\ge0[/math]
を満たす [math](0,T)\times\mathcal{M}[/math] 内の解とする。
[math]K[/math] を [math]\mathcal{M}[/math] のコンパクトな部分空間とし、[math]\tau\in(0,T)[/math] を選ぶ。このとき、[math]K[/math]、[math]\tau[/math] および [math]\mathcal{L}[/math] の係数にのみ依存するある定数 [math]\quad C\gt 0[/math] が存在し、各 [math]\quad t\in(\tau,T)[/math] に対して次が成立する。
- [math]\sup_K u(t-\tau,\cdot)\le C\inf_K u(t,\cdot).\,[/math]
関連項目
参考文献
- Caffarelli, Luis A.; Xavier Cabre (1995), Fully Nonlinear Elliptic Equations, Providence, Rhode Island: American Mathematical Society, pp. 31–41, ISBN 0-8218-0437-5
- Folland, Gerald B. (1995), Introduction to partial differential equations (2nd ed.), Princeton University Press, ISBN 0-691-04361-2
- Gilbarg, David; Neil S. Trudinger (1988), Elliptic Partial Differential Equations of Second Order, Springer, ISBN 3-540-41160-7
- Hamilton, Richard S. (1993), “The Harnack estimate for the Ricci flow”, Journal of Differential Geometry 37 (1): 225–243, ISSN 0022-040X, MR 1198607
- Harnack, A. (1887), Die Grundlagen der Theorie des logarithmischen Potentiales und der eindeutigen Potentialfunktion in der Ebene, Leipzig: V. G. Teubner
- John, Fritz (1982), Partial differential equations, Applied Mathematical Sciences, 1 (4th ed.), Springer-Verlag, ISBN 0-387-90609-6
- テンプレート:Springer
- テンプレート:Springer
- Moser, Jürgen (1961), “On Harnack's theorem for elliptic differential equations”, Communications on Pure and Applied Mathematics 14 (3): 577–591, doi:10.1002/cpa.3160140329, MR 0159138
- Moser, Jürgen (1964), “A Harnack inequality for parabolic differential equations”, Communications on Pure and Applied Mathematics 17 (1): 101–134, doi:10.1002/cpa.3160170106, MR 0159139
- Serrin, James (1955), “On the Harnack inequality for linear elliptic equations”, Journal d'Analyse Mathématique 4 (1): 292–308, doi:10.1007/BF02787725, MR 0081415
- L. C. Evans (1998), Partial differential equations. American Mathematical Society, USA. For elliptic PDEs see Theorem 5, p. 334 and for parabolic PDEs see Theorem 10, p. 370.