[論文レビュー] Quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms

Blair Davey, Jiuyi Zhu|arXiv (Cornell University)|Feb 15, 2017

Advanced Mathematical Modeling in Engineering参考文献 14被引用数 11

ひとこと要約

本稿は、$\n \geq 3$ における $\R^n$ 上の2階楕円型方程式 $\Delta u + W\cdot\nabla u + Vu = 0$ に対して、$W$ と $V$ の $L^s$-ノルムおよび $L^t$-ノルムに基づいて解の最大消失順序の鋭確な評価を得ることで、特異な1次項を有する解に対する定量的一意的拡張推移を確立する。主な結果は、$\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ という $L^\infty$-ノルムの対数的下界であり、ここで $\Pi$ は $s$, $t$, $n$ に依存し、特異な1次係数への先行結果の一般化である。

ABSTRACT

In this article, we study the quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms. We quantify the strong unique continuation property by estimating the maximal vanishing order of solutions. That is, when $u$ is a non-trivial solution to $ riangle u + W \cdot abla u + V u = 0$ in some open, connected subset of $\mathbb R^n$, where $n \geq 3$, we characterize the vanishing order of solutions in terms of the norms of $V$ and $W$ in their respective Lebesgue spaces. Using these maximal order of vanishing estimates, we also establish quantitative unique continuation at infinity results for solutions to $ riangle u + W \cdot abla u + V u = 0$ in $\mathbb R^n$. The main tools in our work are new versions of $L^p o L^q$ Carleman estimates for a range of $p$- and $q$-values.

研究の動機と目的

• 特異な1次項 $W \in L^s$, $V \in L^t$ を有する2階楕円型方程式に対する強い一意的拡張性を定量的に定式化すること。
• 解の点における最大消失順序を $W$ と $V$ の $L^s$-ノルムおよび $L^t$-ノルムの観点から特徴付けること。
• 有界解に対して $\R^n$ 上で無限遠点における定量的一意的拡張を確立し、有界係数から特異係数への結果の拡張を行うこと。
• ボーゲイン＝ケニグおよびデイビーの先行結果を、$s,t < \infty$ の $L^s$ および $L^t$ 係数の場合に一般化し、最適の指数を得ること。

提案手法

• 特異な1次項を扱えるように調整された、$p$ および $q$ の範囲における新しい $L^p \to L^q$ カールマン推移を導出すること。
• カールマン推移を用いて、$W$ と $V$ の $L^s$ および $L^t$ ノルムに基づいて、点における解の最大消失順序を評価すること。
• スケーリングの議論を用いて、局所的な消失順序推移を大規模な無限遠点における一意的拡張の結果に変換すること。
• 解 $u_R(x) = u(x_0 + Rx)$ をスケーリングし、方程式の同次性を活用して局所的推移を大きな半径に拡張すること。
• スケーリングされた解の $B_{10}$ 内での挙動を分析することにより、$|x_0| = R$ のときの $\|u\|_{L^\infty(B_1(x_0))}$ の下界を確立すること。
• $\Pi$ を $s$, $t$, $n$ の関数として、$\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ の無限遠点における崩壊推定式の指数として明示的に決定すること。この $\Pi$ は $W$ と $V$ の相対的な可積分性に依存する。

実験結果

リサーチクエスチョン

• RQ1 $W \in L^s$, $V \in L^t$ で $s,t < \infty$ のとき、方程式 $\Delta u + W\cdot\nabla u + Vu = 0$ の解の鋭い最大消失順序は何か？
• RQ2 消失順序は $W$ と $V$ の $L^s$-ノルムおよび $L^t$-ノルムに対してどのように定量的に依存するか？
• RQ3 特異な1次項を有する解に対して、$\R^n$ 上で無限遠点における定量的一意的拡張を確立できるか？
• RQ4 このような解に対して、崩壊推定式 $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ の最適指数 $\Pi$ は何か？
• RQ5 指数 $\Pi$ は最適であり、$V \equiv 0$, $t > n$ のとき $\Pi = 2$ に還元されるような極限的状況においても成立するか？

主な発見

• 原点における非自明解 $u$ の最大消失順序は、$C(K^\kappa + M^\mu)$ で上界で抑えられる。ここで $K = \|W\|_{L^s(B_{10})}$, $M = \|V\|_{L^t(B_{10})}$ であり、$\kappa, \mu$ は $s$, $t$, $n$ に依存する。
• 小さい球 $B_r$ における $u$ の $L^\infty$-ノルムは、$r \to 0$ のとき $\|u\|_{L^\infty(B_r)} \geq c r^{C(K^\kappa + M^\mu)}$ を満たす。これは強い一意的拡張性を定量的に示している。
• 有界解 $u$ に対して、$\|W\|_{L^s(\mathbb{R}^n)} \leq A_1$, $\|V\|_{L^t(\mathbb{R}^n)} \leq A_0$, および $|u(0)| \geq 1$ が成り立つとき、$\mathcal{M}(R) = \inf_{|x_0|=R} \|u\|_{L^\infty(B_1(x_0))}$ は、十分大きな $R$ に対して $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ を満たす。ここで $\Pi$ は $s$, $t$, $n$ に依存する。
• 指数 $\Pi$ は、$t > \frac{sn}{s+n}$ のとき $\frac{4(s-n)}{2s - (3n-2)}$ として明示的に計算され、そうでない場合にはより複雑な式となる。これは $s$ と $t$ の間の相互作用を反映している。
• この結果は、デイビー（2018年）の $\Pi = 2$ の指数を $L^s$ および $L^t$ 係数への一般化したものであり、複素数値設定において指数 $\Pi$ が最適であることが示されている。
• 証明は、解 $u_R(x) = u(x_0 + Rx)$ にスケーリング技術を適用することに依拠しており、大規模な挙動を局所的消失順序推移に変換し、その後カールマン推移を用いて評価している。