[論文レビュー] A sharp Adams inequality in dimension four and its extremal functions

Van Hoang Nguyen|arXiv (Cornell University)|Jan 28, 2017

Nonlinear Partial Differential Equations参考文献 32被引用数 5

ひとこと要約

本稿は、4次元における双Sobolev空間 $ H_0^2(\overline{\Omega}) $ に対して鋭いAdamの不等式を確立し、重み付き $ \|u\|_{2,\alpha} \leq 1 $ の制約の下で指数積分 $ \int_\Omega e^{32\pi^2 u^2} dx $ の上界が有限であることを証明する。さらに、その上界を達成する極値関数 $ u^* \in H_0^2(\Omega) \cap C^4(\overline{\Omega}) $ の存在を、爆発解析と正則性理論を用いて示している。

ABSTRACT

Let $Ω$ be a smooth oriented bounded domain in $\mathbb R^4$, $H_0^2(Ω)$ be the Sobolev space, and $λ_1(Ω)= \inf \{\|Δu\|_2^2 : u\in H_0^2(Ω), \|u\|_2 =1\}$ be the first eigenvalue of the bi-Laplacian operator $Δ^2$ on $Ω$. For $α\in [0,λ_1(Ω))$, we define $\|u\|_{2,α}^2 = \|Δu\|_2^2 - α\|u\|_2^2$, for $u \in H_0^2(Ω)$. In this paper, we will prove the following inequality \[ \sup_{u\in H_0^2(Ω),\, \|u\|_{2,α} \leq 1} \int_Ω e^{32 π^2 u(x)^2} dx < \infty. \] This strengthens a recent result of Lu and Yang \cite{LuYang}. We also show that there exists a function $u^*\in H_0^2(Ω)\cap C^4(\overlineΩ)$ such that $\|u^*\|_{2,α} =1$ and the supremum above is attained by $u^*$. Our proofs are based on the blow-up analysis method.

研究の動機と目的

• 4次元における双Sobolev空間 $ H_0^2(\Omega) $ に対して、古典的なMoser–TrudingerおよびAdamの不等式を高階導関数へ拡張する鋭いAdam型不等式を確立すること。
• $ \lambda_1(\Omega) $ を $ \Delta^2 $ の第1固有値とするとき、$ \alpha < \lambda_1(\Omega) $ のもとで、$ \sup_{\|u\|_{2,\alpha} \leq 1} \int_\Omega e^{32\pi^2 u^2} dx $ の有限性を証明すること。
• 上記の上界を達成する極値関数 $ u^* \in H_0^2(\Omega) \cap C^4(\overline{\Omega}) $ の存在を示し、鋭いAdam不等式における主要な未解決問題を解決すること。
• LuとYangの最近の結果を精緻化し、$ L^2 $-ノルムにおける双ラプラシアンのノルムの文脈で最適であることが示される指数 $ 32\pi^2 $ の鋭さを証明すること。

提案手法

• 最大化列の $ H_0^2(\Omega) $ 内での集中・コンパクトネスの挙動を、$ \|\cdot\|_{2,\alpha} $-ノルム制約の下で解析するため、爆発解析法に依存する。
• 極値集中をモデル化するために、演算子 $ \Delta^2 - \alpha $ のグリーン関数 $ G_\alpha $ を用いて、爆発点 $ p \in \Omega $ に対応する対数特異点を持つテスト関数 $ \phi_\epsilon $ を構成する。
• 適切なパラメータ $ c $ を選ぶことで、$ \|\phi_\epsilon\|_{2,\alpha} $-ノルムを1に正規化し、$ c^2 \sim \frac{1}{16\pi^2} \left( \ln \frac{1}{\epsilon^2} + \text{低次の項} \right) $ を満たす。
• 特に $ B_{R\epsilon}(p) $ 内で、$ \ln(1 + r^2/\epsilon^2) $ および調和補正項を含む漸近展開を用いて、$ \phi_\epsilon^2 $ の点ごとの推定を導出する。
• 領域を $ \Omega \setminus B_{R\epsilon}(p) $ および $ B_{R\epsilon}(p) $ に分割し、それぞれの領域で漸近解析を細かく行い、指数積分 $ \int_\Omega e^{32\pi^2 \phi_\epsilon^2} dx $ を推定する。
• 特異領域での変数変換により、積分が $ \int_{B_{\overline{R}}(0)} (1 + |x|^2)^{-4} dx $ の形に変換され、極座標を用いて明示的に評価され、正の下界が得られる。

実験結果

リサーチクエスチョン

• RQ1 4次元における $ H_0^2(\Omega) $ のAdam不等式における鋭い定数 $ 32\pi^2 $ は最適であり、かつ $ \|u\|_{2,\alpha} \leq 1 $ の制約の下で指数積分の上界が有限であるか？
• RQ2 与えられたノルム制約の下で、$ \int_\Omega e^{32\pi^2 u^2} dx $ の上界を達成する最大化関数 $ u^* \in H_0^2(\Omega) \cap C^4(\overline{\Omega}) $ が存在するか？
• RQ3 下位の摂動項 $ \alpha \|u\|_2^2 $ を含む状況においても、爆発解析法を適応して、4次微分のAdam不等式における鋭さおよび極値関数の存在を証明できるか？
• RQ4 グリーン関数と対数特異点を用いて構成されたテスト関数 $ \phi_\epsilon $ の漸近的挙動が、$ \epsilon \to 0 $ のとき指数積分の下界を発散させるメカニズムは何か？
• RQ5 グリーン関数とその正則部に関連する定数 $ A_p $ が、指数積分の下界を決定づける役割を果たす正確な役割は何か？

主な発見

• $ \alpha < \lambda_1(\Omega) $ のすべての $ \alpha $ に対して、上界 $ \sup_{\|u\|_{2,\alpha} \leq 1} \int_\Omega e^{32\pi^2 u^2} dx $ が有限であることが確認され、4次元における鋭いAdam不等式が成立する。
• 指数がこの値を超過すると積分が発散することから、$ 32\pi^2 $ が最適であることが示され、Moser–TrudingerおよびAdam不等式における既知の鋭さ結果と整合する。
• 上記の上界を達成する極値関数 $ u^* \in H_0^2(\Omega) \cap C^4(\overline{\Omega}) $ が存在し、$ \|u^*\|_{2,\alpha} = 1 $ を満たすことが示され、この鋭い不等式における極値関数の存在問題が解決される。
• 指数積分の下界は、$ \epsilon \to 0 $ のとき $ \int_\Omega e^{32\pi^2 \phi_\epsilon^2} dx \geq |\Omega| + \frac{\pi^2}{6} e^{\frac{5}{3} + 32\pi^2 A_p} + o(1) $ を満たし、上界が $ |\Omega| $ より厳密に大きいことが証明される。
• 正規化パラメータ $ c $ の漸近展開は、$ c^2 = \frac{1}{16\pi^2} \left( \ln \frac{1}{\epsilon^2} + 16\pi^2 A_p - \frac{5}{6} \right) + o(1) $ を満たし、$ \epsilon $ が十分に小さいとき $ \|\phi_\epsilon\|_{2,\alpha} = 1 $ が保証される。
• 特異領域 $ B_{R\epsilon}(p) $ における積分は、$ \int_{B_{R\epsilon}(p)} e^{32\pi^2 \phi_\epsilon^2} dx \geq \frac{\pi^2}{6} e^{\frac{5}{3} + 32\pi^2 A_p} + o(1) $ を満たし、極座標を用いた角方向積分が $ \pi^2/6 $ に収束することが示される。