Partial regularity for $\mathbb{A}$-quasiconvex functionals with Orlicz growth

技術的概要：オルリッチ成長を伴う A-擬凸汎関数の部分正則性

問題提起
本論文は、以下の形式の変分汎関数の極小化子の部分正則性を取り扱います。
$$\mathcal{F}[u] := \int_{\Omega} F(Au) \, dx,$$
ここで、$\Omega \subset \mathbb{R}^n$ は有界な開集合、$A$ は定数係数を持つ 1 階同次線形微分作用素、$F$ は変分被積分関数です。本研究は、以下の 2 つの特定の成長領域に焦点を当てています。

1. $\Delta_2 \cap \nabla_2$-オルリッチ成長: 成長関数 $\phi$ が倍増条件を満たし、その共役もまた同様に倍増条件を満たす場合。
2. $L \log L$-成長: $\phi(t) = t \log(1+t)$ となる極限の場合であり、$\Delta_2$ 条件は満たしますが、$\nabla_2$ 条件は満たしません。

作用素 $A$ は、写像 $u: \Omega \to \mathbb{R}^k$（または一般的な有限次元内積空間 $V$）に作用し、空間 $W$ への値をとります。被積分関数 $F$ は、$\phi$-強 A-擬凸であると仮定されます。中心的な問いは、そのような汎関数の局所極小化子が、ルベーグ測度で全測度となる相対的に開集合上で $C^{1,\alpha}$-正則であるか（部分正則性）、そして作用素 $A$ に対してどのような条件下でこれが成り立つかという点です。

方法論
主要な方法論的戦略は、Conti & Gmeineder [20] に着想を得た還元論法です。作用素 $A$ に対して直接、ブローアップ手法や A-調和近似を用いて完全な部分正則性の証明を実行するのではなく、著者は問題を全勾配 $\nabla$ を含む汎関数に関する既知の部分正則性の結果に還元します。

この還元は、以下の 2 つの決定的な要素に依存しています。

1. コーン型不等式: 著者は、オルリッチ空間において作用素 $Au$によって全勾配$\nabla u$ を制御することを可能にする不等式を利用します。
   • $\Delta_2 \cap \nabla_2$ の場合、標準的なコーン型不等式（定理 2.4）は、$Au \in L^\phi$ ならば $\nabla u \in L^\phi$ であることを示唆します。
   • $L \log L$ の場合、著者は Cianchi の研究 [19] に基づく一般化されたコーン型不等式（定理 5.1）を確立します。この不等式は「1 つの対数の損失」を明らかにします。すなわち、$\phi(t) = t \log(1+t)$ として $Au \in L^\phi$ ならば、$\nabla u$ はわずかに弱い空間、具体的に対数重み付きの $L^1$ 空間で制御され、これにより擬凸性の枠組みの転換が必要となります。
2. 全勾配汎関数への変換: $Av = \pi_A(\nabla v)$ を満たす線形写像 $\pi_A$ を用いて新しい被積分関数 $G(z) = F(\pi_A(z))$ を定義することで、問題は $\nabla v$ に依存する汎関数へと写像されます。著者は、$F$ の $\phi$-強 A-擬凸性が、それぞれの成長領域において $G$ の適切な強擬凸性条件へと変換されることを検証します。

主要な貢献と結果

• 定理 1.1（$\Delta_2 \cap \nabla_2$-成長）: 本論文は、$\phi \in \Delta_2 \cap \nabla_2$ である $\phi$-成長を伴う汎関数について、局所極小化子 $u$ が $C^{1,\alpha}_{loc}$-部分正則であるための必要十分条件は、作用素 $A$ が楕円型（すなわち、そのフーリエ記号 $A[\xi]$ がすべての $\xi \neq 0$ に対して単射であること）であることであると確立します。

  • 証明は、楕円性の仮定の下で、コーン型不等式が全勾配の場合への還元を可能にし、そこではオルリッチ成長に対する部分正則性が既に確立されている（Diening ら [28] および Breit & Verde [11] を引用）ことを示しています。
  • 逆に、$A$ が楕円型でない場合、$A$ の核内に非正則な関数の存在（補題 2.2）が部分正則性を妨げます。

• 定理 1.2（$L \log L$-成長）: 本論文は、極限ケース $\phi(t) = t \log(1+t)$ に対して還元戦略を拡張します。部分正則性が成り立つための必要十分条件は $A$ が楕円型であることであると証明します。

  • コーン不等式における正則性の損失（定理 5.1）により、還元は $L^\phi$ 勾配に対する $C^{1,\alpha}$ の結果に直接対応しません。代わりに、著者は有界変動（BV）関数の空間に枠組みを適応させます。
  • Gmeineder & Kristensen [44] による $p=1$ 成長および $L \log L$ 成長に関する最近の結果を利用することで、著者は元の汎関数の極小化子が、還元された汎関数の局所 BV-極小化子に対応し、それによって部分正則性を継承することを示します。

• 強制性と存在（第 3 節）: 本論文は、オルリッチ・ソボレフ空間 $W^{1,\phi}_A(\Omega)$ におけるディリクレ類上の汎関数の強制性について厳密な扱いを提供します。$\phi$-強 A-擬凸性の仮定の下で極小化子の存在を確立し、強擬凸性の積分定義と補助的な $V$-関数を含む条件との等価性を明確にします（定理 3.6）。

意義と主張
本論文は、広範な微分作用素と成長条件に対する部分正則性への統合されたアプローチを提供すると主張しています。

• 還元の最適性: 著者は、Conti & Gmeineder [20] によって $p$-成長汎関数に対して適用された還元戦略が、$L \log L$ 場合に最適に拡張されたことを主張します。論文は、端点 $p=1$（または対数未満の成長）においては、$Au \in L^\phi$ が $\nabla u \in L^1_{loc}$ を意味しないため還元戦略が失敗することを指摘し、したがって $L \log L$ に関する結果はこの特定の方法論の限界を表していると述べています。
• 一般化: 本結果は、標準的な勾配の場合（$A=\nabla$）および対称勾配の場合（$A=\varepsilon$）からの既存の部分正則性理論を、任意の定数階数楕円型作用素へと一般化します。
• 範囲: 本論文は、指数関数的成長を持つ被積分関数（スケールの他端）の調査は将来の課題に委ねると明示しており、還元戦略が主要な焦点であることを注記しています。

要約すると、本論文は、オルリッチ成長の文脈における極小化子の部分正則性にとって、微分作用素 $A$ の楕円性が必要十分条件であることを示しています。これは、標準的な $\Delta_2 \cap \nabla_2$ 領域と臨界的な $L \log L$ 極限ケースの両方を網羅し、これらの問題を確立された全勾配汎関数の結果に成功裡に還元することによって達成されています。