Uniqueness and boundary behaviour of solutions to variational problems with linear growth

技術要約：線形成長を持つ変分問題における解の一意性と境界挙動

問題設定
本論文は、エネルギー密度 $f: \mathbb{R}^n \to \mathbb{R}$ が線形成長を示す変分積分 $J[u] = \int_\Omega f(\nabla u) \, dx$ に関するディリクレ問題について調査している。領域 $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) はリプシッツ境界を持つ有界領域であり、境界データは $u|_{\partial\Omega} = \phi$ として与えられる。

根本的な困難は、線形成長問題の自然な関数空間であるソボレフ空間 $W^{1,1}(\Omega)$ が非反射的であることから生じる。その結果、$J[u]$ のクラス $\phi + \mathring{W}^{1,1}(\Omega)$ における直接的な最小化は、最小化列が勾配の可積分な関数に収束しない可能性があるため、不良設定（ill-posed）となる。このため、問題を関数の有界変動（bounded variation）の空間 $BV(\Omega)$ への緩和へと導く必要がある。$BV(\Omega)$ における一般化された極小値の存在は確立されているが、本論文は理論における2つの持続的な欠落に対処している：

1. 一意性： $BV(\Omega)$ における一般化された極小値は、通常、加法的定数を除いてのみ一意的である。
2. 境界への到達： 一般化された極小値が、境界全体において古典的な意味（点別またはトレースの意味）で、指定された境界データ $\phi$ に到達するかどうかは一般に不明確である。

手法
著者らは、正則化アプローチと境界の幾何学的解析を併用している。

1. 二次正則化： 著者らは、一連の正則化問題 $J_\delta[v] = \delta \int_\Omega |\nabla v|^2 \, dx + \int_\Omega f(\nabla v) \, dx$ （ここで $0 < \delta < 1$）を検討する。$f$ が $\mu$-楕円的である（その二階微分に関する特定の成長条件を満たす）という仮定の下、補題1.1は、各正則化問題が唯一の滑らかな解 $u_\delta$ を持つことを確立している。
2. 緩和とクラスター点： 一般化された極小値は、族 $(u_\delta)$ の $\delta \to 0$ における $L^1$-クラスター点として定義される。本論文は、密度 $f$ の再生関数（recession function）$f_\infty$ を含む境界項を伴う緩和された汎関数 $K[v]$ を利用している。
3. 境界の幾何学的条件： 境界の特定の部分集合 $\partial\Omega$ の導入が、中心的な手法論的革新である：
   • $\Gamma_0$：境界が「強意味での凸性」を持つ点。すなわち、$\Omega$ がその点でのみ接する球体によって包囲できる点。
   • $\Gamma$：境界データ $\phi$ が局所的にアフィン関数によって挟み込まれる点（$\phi$ のグラフに対する支持超平面の存在に関連する条件）。
     著者らは $\Gamma_0 \subseteq \Gamma$ であることを証明し、これらの集合の大きさ（ハウスドルフ測度 $H^{n-1}$ または重み付き測度 $m$ で測定）を利用して一意性の結果を導出している。

主要な貢献と結果

1. 正則性と境界への到達（定理 1.2, 1.5, 系 1.6）
本論文は、一般化された極小値 $u^*$ の内部正則性と境界挙動を確立している：

• 内部正則性： 楕円性指数 $\mu < 3$ の場合、極小値 $u^*$ は $\Omega$ の内部において $C^2$ である。臨界的なケース $\mu=3$（$n=2$ の場合）において、$u^*$ は局所的な高次可積分性を伴う $W^{1,1}(\Omega)$ に属する。
• 境界への到達： 点 $x_0 \in \Gamma$ に対して、極小値は境界データ $\phi(x_0)$ に到達する。具体的には：
  • $\mu < 3$ のとき、$\lim_{\Omega \ni x \to x_0} u^*(x) = \phi(x_0)$。
  • $\mu = 3$ かつ $n=2$ のとき、近傍における $|u^*(x) - \phi(x_0)$ の本質的上限（essential supremum）は、近傍が縮小するにつれてゼロに近づく。
• 定数を除いた一意性： 一般化された極小値の集合 $M_0$ 内において、解は加法的定数を除いて一意的である。

2. 幾何学的条件による一意性（定理 1.7）
本論文は、（加法的定数の曖昧さを排除した）解の絶対的な一意性に関する十分条件を提示している。

• 放射状構造のケース： 密度 $f$ が放射状構造（$f(p) = g(|p|)$）を持ち、かつ集合 $\Gamma$（境界データ $\phi$ の幾何学的性質によって定義される）が条件 $H^{n-1}(\Gamma) > \frac{2}{3}H^{n-1}(\partial\Omega)$ を満たす場合、極小値の集合はただ一つの要素を含む。
• 示唆： 一意性は、単に境界の大部分で境界データが達成されることによってではなく、特に（局所的なアフィン支持を持つ境界データの集合である）集合 $\Gamma$ が十分に大きいこと（$2/3$ の閾値によって定量化される）によって保証される。この集合 $\Gamma$ 上で、一意な一般化極小値は古典的な意味で境界条件を満たす。
• 幾何学的単純化： この条件は、$\Gamma_0$（領域の厳密な凸点集合）を介して、$\Omega$ の幾何学のみに依存するように強化できる。すなわち、$H^{n-1}(\Gamma_0) > \frac{2}{3}H^{n-1}(\partial\Omega)$ を要求する場合、特定の境界データ $\phi$ によらずに結果が導かれる。

3. 非放射状密度のへの拡張（定理 1.9）
標準的な $\mu$-楕円性条件を満たさないが、指数 $\mu$ と $\kappa$ を持つ一般化された楕円性条件を満たす特定の非放射状構造 $f(\nabla u) = \sum g_i(|\partial_i u|)$ を持つ密度へと結果を拡張している。

• 一意性の結果は、重み付き測度条件 $m(\Gamma) > \frac{2}{3}m(\partial\Omega)$ の下で保持される。ここで、測度 $m$ は $f$ の再生関数と外向き法線によって定義される。

意義と主張
本論文は、線形成長を持つ変分問題において、追加の仮定なしでは一般に未解決とされる一意性と境界到達の繊細な問題を解決することを主張している。

• 動機： 著者らは、境界の幾何学や境界データが達成される集合の大きさに関する仮定がなければ、肯定的な結果は期待できないことを指摘している（文献における反例を引用）。
• 貢献： 著者らは、$\Gamma$（およびその部分集合 $\Gamma_0$）を境界挙動の決定的な軌跡として特定することで、この集合が「十分に大きい」（$2/3$ の閾値によって定量化される）ならば、緩和された問題が唯一の解をもち、その解が当該の集合上で古典的に境界データに到達することを実証している。
• 範囲： 結果は、非パラメトリック最小曲面（$\mu=3$）や異方性エネルギーを含む、広範な線形成長密度のクラスに適用される（ただし、楕円性条件および幾何学的境界制約が満たされる場合に限る）。

本論文は、新しい応用や実験的セットアップを提案するのではなく、$BV$ フレームワーク内におけるこれらの特定の変分問題に対する存在および一意性理論の理論的理解を洗練させるものである。