[論文レビュー] Linear stabilization for a degenerate wave equation in non divergence form with drift

Genni Fragnelli, Dimitri Mugnai|arXiv (Cornell University)|Dec 10, 2022

Stability and Controllability of Differential Equations被引用数 4

ひとこと要約

本稿は、境界で退化する1次元の退化波動方程式に漂い項を含む場合の一様指数的安定化のための条件を確立する。主な作用素は発散型でない形であり、境界で退化する。重み付きエネルギー関数を導入し、Feller型の重みを用いた乗数法を適用することで、退化および漂い係数の構造的条件のもとで解の指数的減衰を証明する。

ABSTRACT

We consider a degenerate wave equation in one dimension, with drift and in presence of a leading operator which is not in divergence form. We impose a homogeneous Dirichlet boundary condition where the degeneracy occurs and a boundary damping at the other endpoint. We provide some conditions for the uniform exponential decay of solutions for the associated Cauchy problem.

研究の動機と目的

• 発散型でない形で漂い項を含む退化波動方程式に対する安定化結果の不足を補う。
• 非退化および発散型形式の設定を超えて、既存の安定性理論を拡張する。
• 境界での減衰および x=0 での退化が存在する状況下で、エネルギーの均一指数的減衰の十分条件を確立する。
• 特異係数を有する発散型でない作用素に適した関数的枠組みとエネルギー推定を構築する。
• Feller型重みと乗数法を用いて、古典的手法を退化および発散型でないPDEに一般化する。

提案手法

• 発散型でない構造を扱うために、Feller重み $\eta(x) = \exp\left(\int_{1/2}^x \frac{b(s)}{a(s)}ds\right)$ を含む重み付きエネルギー関数を導入する。
• 適切なテスト関数を構築し、重み付きソボレフ空間において部分積分を適用することで、退化作用素に適応した乗数法を適用する。
• エネルギー推定における漂い項の可積分性を保証するため、$\frac{b}{a} \in L^1(0,1)$ の条件を用いる。
• $a(x)$ および $b(x)$ に対する構造的仮定を課す：退化指数 $K = \sup \frac{x|a'(x)|}{a(x)}$ において弱退化または強退化で $K < 2$。
• 重み付き $L^2$ 空間において部分積分およびホルダーの不等式を用いて境界項を制御し、$x=0$ における極限が消えることを証明する。
• 主要な境界項が $W^{1,1}(0,1)$ に属することを確立することで、極限の存在を正当化し、退化境界における消滅を証明する。

実験結果

リサーチクエスチョン

• RQ1 発散型でない形の漂い項を含む退化波動方程式が、どのような条件下で一様指数的エネルギー減衰を示すか？
• RQ2 境界減衰を退化および漂い項と効果的に組み合わせることで、システムを安定化できるか？
• RQ3 Feller型重み $\eta(x)$ は、退化境界付近における解の挙動を制御するために果たす役割は何か？
• RQ4 古典的手法を特異係数を有する発散型でない退化PDEに適応できるか？
• RQ5 $a(x)$ および $b(x)$ にどのような構造的仮定を課すと、エネルギー推定における必要な可積分性および境界項の消滅が保証されるか？

主な発見

• 条件 $\frac{b}{a} \in L^1(0,1)$ および適切な退化（$K < 2$ の弱退化または強退化）のもとで、解のエネルギーが一様指数的に減衰することを証明した。
• 境界 $x=1$ における減衰 $y_t + \eta y_x + \beta y = 0$ が、$\beta \geq 0$ のもとでエネルギーの散逸を保証する。
• 極限 $\lim_{x \to 0} \eta(x) u(x) y'(x) = 0$ が厳密に確立され、エネルギー推定にとって不可欠である。
• 極限 $\lim_{x \to 0} x \eta(x) (u'(x))^2 = 0$ が証明され、退化点付近での可積分性および正則性を保証する。
• 条件 $\frac{x}{a(x)} u^2(x) \to 0$ が $x \to 0$ のときに成立することが確認され、重み付きエネルギーが有限であるために必要不可欠である。
• 証明は、特定の境界項が $W^{1,1}(0,1)$ に属することを示すことに依拠しており、これにより極限が存在し有限であり、部分積分が可能になる。