[論文レビュー] A spectral inequality for the bi-Laplace operator

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

Stability and Controllability of Differential Equations参考文献 39被引用数 4

ひとこと要約

本稿は、コンpactなリーマン多様体上における固定境界条件を伴うビラプラス作用素について、スペクトル不等式を確立し、有限個の固有関数の和が任意の開部分集合から観測可能であることを証明する。主な結果は、不等式定数が $\exp(C\mu^{1/4})$ のように成長することを示しており、$\mu$ は和に含まれる最大固有値である。これは、ラプラシアンに関する既知の結果を拡張し、新たなキャーレマン推定式（1階微分の損失を伴う）を用いることで、高階の放物型方程式のゼロ制御可能性を可能にする。

ABSTRACT

On a compact Riemannian manifold with boundary, we prove a spectral inequality for the bi-Laplace operator with so-called ``clamped'' boundary conditions, that is, homogeneous Dirichlet and Neumann conditions simultaneously. This 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 proof is 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.

研究の動機と目的

• コンパクトなリーマン多様体上における固定境界条件を伴うビラプラス作用素について、スペクトル不等式をラプラシアン作用素について既に知られていたものから拡張すること。
• 多様体の任意の開部分集合から、ビラプラス作用素の有限個の固有関数の和に関する定量的観測可能性結果を確立すること。
• ビラプラス作用素に関連する楕円型作用素に関するキャーレマン推定式を導出し、特に完全な微分の損失を伴うものも含むこと。この推定式は主な不等式を支持するためのものである。
• 得られたスペクトル不等式を用いて、4階の放物型方程式のゼロ制御可能性を証明すること。

提案手法

• ビラプラス作用素に関連する楕円型作用素について、内部および境界におけるキャーレマン推定式を導出し、新規の半古典的計算フレームワークを用いる。
• ビラプラス構造および固定境界条件を適切に扱えるように特化した半古典的計算を導入する。
• キャーレマン推定式における1階微分の損失を制御するため、繊細な微局所的議論を用いる。特に境界付近での挙動に注目する。
• 導出されたキャーレマン推定式を用いて、固有値 $\mu$ までを含む固有関数の和について、定数が $\exp(C\mu^{1/4})$ のように成長するスペクトル不等式を証明する。
• 得られたスペクトル不等式を用いて、双対性と観測可能性を介して、高階放物型方程式のゼロ制御可能性を確立する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上における固定境界条件を伴うビラプラス作用素について、スペクトル不等式を確立できるか。
• RQ2 有限個の固有関数の和に関するこのスペクトル不等式における観測定数の成長率はいかほどか。
• RQ3 完全な微分の損失が生じる場合、ビラプラス作用素に対してキャーレマン推定式をどのように構築できるか。
• RQ4 導出されたスペクトル不等式を用いて、高階放物型PDEのゼロ制御可能性を証明できるか。

主な発見

• 固定境界条件を伴うビラプラス作用素について、任意の境界をもつコンパクトなリーマン多様体上での有限個の固有関数の和に対して、スペクトル不等式が証明された。
• 不等式における観測定数は、$\mu$ を和に含まれる最大固有値として、$\exp(C\mu^{1/4})$ のように成長する。これは、ラプラシアン作用素における既知の挙動を拡張するものである。
• 1階の完全な微分の損失を伴うキャーレマン推定式が導出された。これには、新たな半古典的計算および微局所解析が不可欠である。
• キャーレマン推定式の証明は、4階構造および境界条件に起因する誤差項を制御するための繊細な微局所的議論に依存している。
• スペクトル不等式は、4階の放物型方程式のゼロ制御可能性を示しており、制御理論における重要な応用を確立する。