Harnack inequality for non-uniformly elliptic equations in non-divergence form

David Bowman による論文「非一様楕円型方程式（非発散形）におけるハルナック不等式」の技術的な要約を以下に提示します。

1. 問題設定と背景

本論文は、非発散形の退化楕円型方程式
$$a_{ij}(x) \partial_{ij} u = 0 \quad \text{in } B_1 \subset \mathbb{R}^d$$
の解の正則性、特にハルナック不等式（Harnack inequality）の成立条件を研究するものである。

• 係数の条件: 係数行列 $A(x) = (a_{ij}(x))$ は、ある正の関数 $\lambda(x)$ に対して
  $$\lambda(x) I \le A(x) \le I$$
  を満たす。ここで、$\lambda(x)$ は一様正である必要はなく、小さな集合上で退化（ゼロに近づく）してもよい。
• 主要な仮定: 退化の度合いは、逆数 $\lambda^{-1}$ が $L^p$ 空間に属することによって制御される。すなわち、
  $$\lambda^{-1} \in L^p(B_1)$$
  が成り立つと仮定する。
• 目的: 古典的な一様楕円型方程式（$\lambda \ge \lambda_0 > 0$）で知られる正則性理論（ハルナック不等式、リウヴィルの定理、振動の改善など）が、$\lambda^{-1} \in L^p$ という弱い条件下でどの程度成り立つかを明らかにすること。特に、$p$ の臨界値（threshold）を特定することが目標である。

2. 主要な結果

著者は、次元 $d$ と $p$ の関係に基づき、以下の結果を得ている。

A. 弱ハルナック不等式と対数モーメント

• 結果: $p > d-1$ のとき、非負の粘性超解（supersolution）に対して、対数モーメントの弱ハルナック不等式が成立する。
  $$\int_{B_1} \left( \log \frac{u}{\inf_{B_1} u} \right)^\varepsilon \le C \Gamma(B_5)^\varepsilon \gamma$$
  ここで、$\Gamma(B)$ は球 $B$ 上の $\lambda^{-p}$ の平均的な退化度を表す尺度であり、$\varepsilon$ は $p$ と $d$ に依存する指数である。
• 重要性: 一様楕円型の場合の「べき型（power-type）」の弱ハルナック不等式は、この非一様ケースでは $p < \infty$ の限り成立しないことが示された。したがって、超解に対して得られる最良の推定は「対数モーメント」の形になる。
• 臨界値: $p < d-1$ の場合、いかなる形の弱ハルナック不等式も成立しない（反例の構成により示される）。

B. 振動の改善とリウヴィルの定理

• 結果: $p > d-1$ のとき、解の振動（oscillation）は単位スケールで改善される。
  $$\text{osc}_{B_1} u \le (1-\theta) \text{osc}_{B_5} u$$
  ただし、$\theta$ は $\Gamma(B_5)$ に依存する正の定数。
• リウヴィルの定理: 全空間 $\mathbb{R}^d$ で有界な解は定数である。これは、$p > d-1$ という条件の下で、無限遠での $\lambda^{-1}$ の平均的な振る舞いが制御されている場合に成り立つ。

C. 対数局所最大値原理（Logarithmic Local Maximum Principle）

• 新規性: 部分解（subsolution）に対して、新しい対数局所最大値原理を導出した。
  $$\sup_{B_1} u \le C \exp \left( \Gamma(B_3)^\kappa \left( \int_{\{u>1\}} (\log u)^\tau \right)^{1/\tau} \right)$$
• 手法: 従来のアレクサンドロフ・バケルマン・プッチ（ABP）最大値原理を用いず、二重指数関数的に発散するバリア関数（double exponential blow-up barriers）$U(x) \sim \exp(\exp((1-|x|^2)^{-1}))$ を用いて部分解を上から接する（touching）ことで証明した。これは一様楕円型の場合でも新しい結果である。

D. ハルナック不等式の成立条件

• 結果: $p$ が次元 $d$ に依存する十分大きな値 $p > p(d)$ を満たすとき、ハルナック不等式
  $$\sup_{B_1} u \le C \inf_{B_1} u$$
  が成立する。ここで $p(d)$ は具体的な二次方程式の解として与えられる。
• 予想: 著者は、実際には $p > d-1$ だけでハルナック不等式が成り立つと強く予想している。現在の証明では、弱ハルナック不等式と局所最大値原理を組み合わせる際に、指数の条件が厳しくなり $p$ が大きくなる必要があるが、これは証明手法の限界によるものであり、本質的な臨界値は $d-1$ であると信じている。
• 反例: $d \ge 3$ において $p < d-1$ の場合、ハルナック不等式は成立しないことが反例で示された。

3. 手法と技術的貢献

1. 尺度不変な係数 $\Gamma(B)$ の導入:
   推定値は、球 $B$ 上の $\lambda^{-p}$ の平均値 $\Gamma(B)$ に依存する形で記述される。これにより、小さな半径の球で $\lambda$ が非常に小さくなる場合でも、推定が統一的に扱える。

2. 測度から点への評価（Measure-to-Pointwise）:
   Savin の手法を拡張し、超解を放物面で下から接することで、解が一定値以上である領域の測度と、中心での値の関係を評価する補題を導出した。非一様性により、接触点のヤコビアンが $\lambda^{-1}$ に依存し、これが $L^p$ 積分可能性の条件につながる。

3. 特異なクサビ（Cusp）による倍増評価:
   Smart と Armstrong の手法を踏襲し、$|x|^{-\beta}$ のような特異なクサビ関数で超解を下から接する。ここで指数 $\beta$ が $\Gamma(B)$ のべき乗に比例するように選ばれることで、退化した領域での評価を制御している。

4. 二重指数バリアによる最大値原理:
   部分解の上からの評価において、従来の多項式や指数関数のバリアでは不十分であるため、二重指数関数で発散するバリアを導入した。これにより、$\log u$ の積分モーメントを用いた最大値の評価が可能になった。

5. 最適性の反例構成:

   • $p < \infty$ の場合、べき型の $L^\varepsilon$ 評価が成立しないことを示す反例（$u_\eta$）を構成。
   • $p < d-1$ の場合、ハルナック不等式および弱ハルナック不等式が破綻することを示す反例（$u_r$）を構成。この反例は、$d-1$ 変数で特異点を滑らかにした構造を持つ。

4. 解の概念に関する考察

• 粘性解（Viscosity Solutions）: 本論文の主要な結果は、$\lambda(\cdot)$ が連続かつ正であるという仮定の下で、C-粘性解に対して証明されている。
• 限界: $\lambda$ が一点でゼロになる場合、$u(x)=|x|$ のような関数が C-粘性解となり、ハルナック不等式を破る反例となる。
• 強解（Strong Solutions）: $L^s$-強解（$s > d$）の概念を採用すれば、$\lambda$ の連続性や正性なしに結果が成り立つことが示唆されている。これは、$u(x)=|x|$ が $W^{2,s}$ に属さないため、反例が排除されるからである。

5. 意義と今後の展望

• 理論的意義: 非一様楕円型方程式の正則性理論において、$L^p$ 条件による退化の許容範囲を明確に定式化した。特に、発散形（divergence form）とは異なる臨界値（$d-1$ vs $(d-1)/2$）が現れることを示した。
• 応用: 得られた大規模な Hölder 評価は、方程式 (1.1) の均質化（homogenization）理論への応用が期待される。
• 未解決問題: $d-1 < p \le p(d)$ の範囲でのハルナック不等式の成立は未解決（予想は成立）であり、より鋭い手法の開発が求められている。また、$\lambda$ が零点を持つ場合の適切な解の概念と、その下でのハルナック不等式の確立も今後の課題である。

総じて、本論文は非一様楕円型方程式の正則性理論における重要な進展であり、特に「対数モーメント」や「二重指数バリア」といった新しい技術的アプローチを提供している。