[論文レビュー] Spectral inequality and resolvent estimate for the bi-Laplace operator

Jérôme Le Rousseau, Luc Robbiano|arXiv (Cornell University)|Sep 7, 2015

Stability and Controllability of Differential Equations参考文献 65被引用数 28

ひとこと要約

本稿では、境界を備えたコンパクトなリーマン多様体上におけるクランプ境界条件を満たす双ラプラシアン作用素について、スペクトル不等式およびリゾルベント推定を確立する。著者らは、完全な微分損失を伴う新規のカルレマン推定を用いて、有限個の固有関数の和が任意の開部分集合から観測可能であることを証明し、定数が $\exp(C\mu^{1/4})$ のように成長することを示す。この結果を応用して、高階の放物型方程式のゼロ制御可能性および減衰板方程式の対数的減衰を確立する。

ABSTRACT

On a compact Riemannian manifold with boundary, we prove a spectral inequality for the bi-Laplace operator in the case of so-called "clamped" boundary conditions , that is, homogeneous Dirichlet and Neumann conditions simultaneously. We also prove a resolvent estimate for the generator of the damped plate semigroup associated with these boundary conditions. The spectral inequality allows one to observe finite sums of eigenfunctions for this fourth-order elliptic operator, from an arbitrary open subset of the manifold. Moreover, the constant that appears in the inequality grows as exp(C$\\mu$ 1/4) where $\\mu$ is the largest eigenvalue associated with the eigenfunctions appearing in the sum. This type of inequality is known for the Laplace operator. As an application, we obtain a null-controllability result for a higher-order parabolic equation. The resolvent estimate provides the spectral behavior of the plate semigroup generator on the imaginary axis. This type of estimate is known in the case of the damped wave semigroup. As an application , we deduce a stabilization result for the damped plate equation, with a log-type decay. The proofs of both the spectral inequality and the resolvent estimate are based on the derivation of different types of Carleman estimates for an elliptic operator related to the bi-Laplace operator: in the interior and at some boundaries. One of these estimates exhibits a loss of one full derivative. Its proof requires the introduction of an appropriate semi-classical calculus and a delicate microlocal argument.

研究の動機と目的

• 境界を備えたコンパクトなリーマン多様体上におけるクランプ境界条件を満たす双ラプラシアン作用素のスペクトル不等式を確立すること。
• 減衰板半群の生成作用素のリゾルベント推定を導出し、虚軸上でのスペクトル挙動を捉えること。
• カルレマン推定の手法を高階の楕円型作用素に拡張し、微分損失を伴う境界層を扱うこと。
• スペクトル不等式を応用して、高階の放物型方程式のゼロ制御可能性を証明すること。
• リゾルベント推定を用いて、減衰板方程式のエネルギーに対する対数的減衰安定化結果を導出すること。

提案手法

• 双ラプラシアンに関連する楕円型作用素に対する内部および境界カルレマン推定の導出を伴い、完全な微分損失を含む。
• 境界 $\{s=0\}$ 近傍の微局所的構造を扱うために三パラメータの半古典的計算を導入する。
• カルレマン推定の解析を、領域 $\mathcal{E}_{-}$, $\mathcal{E}_{0}\setminus F$, および $F$ への微局所的分解によって、異なる定常状態で行う。
• 弱楕円型の定量的評価およびトレース推定を用いて、境界層における微分損失を制御する。
• $Q_{-}$ に対する完全な楕円型推定と $Q_{+}$ に対する半微分推定を組み合わせ、最終的なカルレマン不等式を導出する。
• 半古典的パラメトリクスおよび記号的計算を用いて誤差項を制御し、$\tau \to \infty$ の極限において鋭い推定を得る。

実験結果

リサーチクエスチョン

• RQ1 クランプ境界条件を満たす双ラプラシアン作用素のスペクトル不等式は、スペクトルパラメータに明示的な依存関係をもって確立可能か？
• RQ2 有限個の固有関数の和に対するスペクトル不等式における観測定数の鋭い成長率は何か？
• RQ3 高階の楕円型作用素の境界近傍で完全な微分損失を伴うカルレマン推定をどのように適応可能にするか？
• RQ4 微局所的解析および半古典的技法を用いて、減衰板半群生成作用素のリゾルベント推定を導出可能か？
• RQ5 減衰板方程式のリゾルベント推定から得られる安定化率は何か？

主な発見

• スペクトル不等式の定数は $\exp(C\mu^{1/4})$ のように成長し、$\mu$ は和に含まれる最大固有値であるが、この上限は与えられた条件下で最適である。
• 減衰板半群生成作用素のリゾルベント推定が確立され、虚軸上でのスペクトル射影が対数的減衰を示すことが判明した。
• 完全な微分損失を伴う新規のカルレマン推定が導出され、三パラメータの半古典的計算および境界における繊細な微局所的議論に依拠している。
• スペクトル不等式により、多様体の任意の開部分集合から高階の放物型方程式のゼロ制御可能性が導かれる。
• リゾルベント推定から、減衰板方程式の解のエネルギーに対して対数的減衰率が得られ、安定化が確認された。
• 証明手法は、ラプラシアンに対する古典的手法を四階作用素に拡張し、境界近傍における因子化された記号の非楕円性という課題を克服した。