[論文レビュー] Quantitative uniqueness for the power of Laplacian with singular coefficients

Ching-Lung Lin, Sei Nagayasu+1 more|ArXiv.org|Mar 7, 2008

Nonlinear Partial Differential Equations参考文献 6被引用数 8

ひとこと要約

本稿では、特異な下位項係数を伴うラプラシアンの $l$-乗に対する解の定量的固有性推定を、Carleman推定と三球不等式を用いて原点における消える順序の鋭い上限を得ることで確立する。主な貢献は、非自明な解が無限順に消えることは不可能であることを示す新たな定量的強い一意性継続結果であり、$l \geq 2$ に対して、倍増不等式と最大消える順序推定を用いて成長率を明示的に制御する。$l=2$ の場合、これは第三階の特異項を伴う双調和作用素に対応し、この場合の結果は新規である。

ABSTRACT

In this paper we study the local behavior of a solution to the $l$th power of Laplacian with singular coefficients in lower order terms. We obtain a bound on the vanishing order of the nontrivial solution. Our proofs use Carleman estimates with carefully chosen weights. We will derive appropriate three-sphere inequalities and apply them to obtain doubling inequalities and the maximal vanishing order.

研究の動機と目的

• 特異な下位項係数を伴うラプラシアンの $l$-乗に対する強い一意性継続性の定量的精緻化を提供すること。
• 高階楕円型作用素に関する一意性継続に関する先行の定性的結果における定量的推定の欠如を是正すること。
• 非自明な解の原点における最大消える順序に対する明示的上限を導出すること。
• 臨界的特異性を伴う高階作用素に適した、適切に選ばれた重みを用いたCarleman推定の手法を拡張すること。
• 原点付近における解の $L^2$ ノルムの成長を制御するための三球不等式および倍増不等式を道具として確立すること。

提案手法

• 特異係数に適した重み $\varphi_\beta(x) = \exp(\frac{\beta}{2}(\log|x|)^2)$ を用いたCarleman推定を用いて三球不等式を導出する。
• 三球不等式を用いて、入れ子の球上で解の $L^2$ ノルムの倍増不等式を導出する。
• 二進的アニュラスに基づく再帰的反復スキームと列 $R_j$ を用いて、$L^2$ ノルムの成長を制御する。
• カットオフ関数を用い、指数的重みのバランスを慎重にとることで、Carleman推定における誤差項を制御する。
• 臨界的パラメータ $s_0$ を導入し、$m_1$ を、異なるスケールにおける $L^2$ ノルムの比に基づく最大消える順序として定義する。
• 重要な不等式 $\int_{|x|\leq 2r}|u|^2 dx \leq C_3 \int_{|x|\leq r}|u|^2 dx$ を小刻みな $r$ に対して確立し、倍増性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 特異な下位項係数が $|x|^{-2l+|\alpha|+\epsilon}$ のオーダーであるラプラシアンの $l$-乗に対する非自明な解の原点における最大消える順序は何か？
• RQ2 臨界的特異性を伴う高階楕円型作用素に対して、Carleman推定を用いて定量的強い一意性継続を確立できるか？
• RQ3 特異係数を伴う解に対して、三球不等式をどのように構成し、倍増不等式を導出するか？
• RQ4 消える順序は係数 $K_0$ の大きさおよび次元 $n$ にどのように依存するか？
• RQ5 この手法は、類似した特異構造を有する系や他の高階作用素に適応可能か？

主な発見

• 三球不等式が確立された：$0 < r_1 < r_2 < r_3 \leq R_0'$ に対して $\int_{|x|<r_2}|u|^2 dx \leq C \left(\int_{|x|<r_1}|u|^2 dx\right)^\tau \left(\int_{|x|<r_3}|u|^2 dx\right)^{1-\tau}$ が成り立ち、明示的な定数 $C = \max\{C_0(r_2/r_1)^n, \exp(B\beta_0)\}$ および $\tau = B/(A+B)$ を伴う。
• 最大消える順序 $m_1$ は $m_1 = n + 2(j_1 + 1/2)$ として定義され、$j_1$ は解とスケールに依存し、$\limsup_{R\to 0} R^{-m_1} \int_{|x|<R} |u|^2 dx > 0$ を満たす。これは無限順に消えないことを証明する。
• 倍増不等式が成立する：すべての $0 < r \leq R_3$ に対して $\int_{|x|\leq 2r}|u|^2 dx \leq C_3 \int_{|x|\leq r}|u|^2 dx$ が成り立ち、$C_3 = \frac{8\tilde{C}^{\prime\prime}}{(m_1 - n)^2} 2^{m_1}$ である。これにより $L^2$ ノルムの成長が制御される。
• 定数 $C_3$ と $R_3$ は $n$, $l$, $\epsilon$, $K_0$, および $m_1$ に明示的に依存する。$m_1$ は、比 $\|u\|_{L^2(|x|<R_2^2)}/\|u\|_{L^2(|x|<R_2^4)}$ に依存する。
• すべての十分に小さなスケールに対して一様に成り立つ普遍的な $R_0$ が得られ、これにより $m_1$ と $C_3$ は解の具体的な形に依存しない。
• 結果は $l=2$ の場合に新規であり、これは第三階の特異項を伴う双調和作用素に対応し、この場合に先行する定量的強い一意性継続推定は知られていなかった。