[論文レビュー] Null controllability for a degenerate population model in divergence form via Carleman estimates

Genni Fragnelli|arXiv (Cornell University)|Dec 29, 2018

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

ひとこと要約

本稿は、空間領域の両端で拡散係数が退化する場合に、時間、年齢、空間変数を含む発散型の退化人口モデルについて、Carleman推定を用いて零制御可能性を確立する。主な貢献は、出生率 $ \beta $ に対して最小限の正則性仮定のもとで、任意の最終時刻 $ T $ について零制御可能性を示したことである。これは、従来の研究が $ T \geq A $ またはより強い滑らかさ条件を必要としていたのを克服するものである。

ABSTRACT

In this paper we consider a degenerate population equation in divergence form depending on time, on age and on space and we prove a related null controllability result via Carleman estimates.

研究の動機と目的

• 時間、年齢、空間変数を含む発散型退化人口モデルの零制御可能性を確立すること。
• 従来の結果が $ T \geq A $ を要求していたという制限を解消すること。これは、最大年齢 $ A $ が大きい場合に現実的でない。
• 空間領域 $[0,1]$ の両端で拡散係数 $ k(x) $ が退化する場合に、以前の零制御可能性結果を拡張すること。
• 出生率 $ \beta $ の正則性仮定を緩和し、従来の研究で要求された $ C^2 $ 滑らかさではなく、連続性のみを要件とすること。
• 固定点定理や多価理論を避けるために、Carleman推定とカットオフ関数を用いた洗練された証明を提供すること。

提案手法

• 拡散係数 $ k(x) $ が $ x=0 $ および $ x=1 $ で両端で退化する発散型人口方程式の随伴問題に対して、Carleman推定を導出する。
• 前向き方程式の制御可能性と随伴方程式の観測可能性の双対性を応用する。
• カットオフ関数技術を用いて制御領域を局所化し、両端での退化を扱う。
• 重み付きエネルギー推定と部分積分を用いて、Carleman不等式における退化項を制御する。
• $ xk'(x) \leq M_1 k(x) $ および $ (x-1)k'(x) \leq M_2 k(x) $ のような $ k(x) $ の構造的条件を課し、推定の有効性を保証する。
• Carleman推定から導かれる観測不等式に依拠して、零制御可能性を導出する。

実験結果

リサーチクエスチョン

• RQ1 最終時刻 $ T $ が最大年齢 $ A $ より小さい場合に、発散型退化人口モデルの零制御可能性は達成可能か？
• RQ2 Carleman推定を用いて零制御可能性を保証するための、退化拡散係数 $ k(x) $ の十分条件は何か？
• RQ3 固定点定理や $ \beta $ の強い正則性仮定を避けることで、証明を簡素化し、より頑健にする方法は何か？
• RQ4 空間領域の両端で $ k(x) $ が退化する場合に、零制御可能性結果を拡張することは可能か？
• RQ5 両端での退化を扱うために、Carleman推定における重み関数の最適構造は何か？

主な発見

• 零制御可能性が、$ T < A $ であっても、発散型退化人口モデルに対して確立された。これは、従来の研究で制限的とされた仮定を排除した。
• 正則性仮定が弱い：$ \beta $ は $ C^2 $ 滑らかさではなく、連続性のみを要件としている。これは、以前の研究で要求されたものとは異なる。
• Leray-Schauder 固定点定理や多価解析を避け、Carleman推定とカットオフ関数にのみ依拠した証明がなされた。
• 新たな重み付きエネルギー推定が導出され、$ \int_0^1 \frac{k(x)}{(1-x)^2} w^2(x) dx \leq C \int_0^1 k(x) |w'(x)|^2 dx $ が成り立つ。これは $ \beta = \frac{\theta+1}{2} $ の場合に最適である。
• この手法は非発散型の場合へも一般化可能であり、[13, Theorem 4.8] を精度を高めて拡張する。
• 観測不等式は、$ k(x)/(1-x)^\theta $ の単調性を用いたCarleman推定の精密な解析により証明された。