[論文レビュー] About unique continuation for a 2D Grushin equation with potential having an internal singularity

Morgan Morancey|arXiv (Cornell University)|Jun 24, 2013

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

ひとこと要約

本稿では、2次元グーシン方程式に $x=0$ で特異な逆二乗ポテンシャルを有する場合の一意的拡張の必要十分条件を、フーリエ展開と得られる1次元熱方程式に対するカルレマン推定を用いて確立する。主な貢献は、退化の有無にかかわらず成り立つ一意的拡張の特徴付けであり、条件が満たされない場合には明示的な反例が提示され、逆に1次元熱方程式における内部の逆二乗特異性に関する系が得られる。

ABSTRACT

This paper is dedicated to unique continuation for Grushin equation on the rectangle $(x,y) \in (-1,1) imes (0,1)$ with an inverse square potential. This model corresponds to the heat equation for the Laplace-Beltrami operator associated to the Grushin metric on $\R^2$, studied by Boscain and Laurent. The operator is both degenerate and singular on the line $\{x=0\}$. We give a necessary and sufficient condition on the coefficient of the singular potential for unique continuation to hold, whatever the degeneracy is. We give a sense to the equation by designing a suitable self-adjoint extension of the singular Grushin operator. Our proof of unique continuation relies on the Fourier decomposition of the 2D solution in one variable and Carleman estimates for the 1D heat equation solved by the Fourier components. Note that 2D Carleman estimates for Grushin-type operators are an open problem. When unique continuation does not hold, we give explicit counterexamples. As a corollary, we characterize the unique continuation property for a 1D heat equation with an internal inverse square singularity.

研究の動機と目的

• 2次元グーシン方程式に $x=0$ で特異な逆二乗ポテンシャルを有する場合の、一意的拡張性を確立すること。
• 演算子の退化および $x=0$ における特異性のため、方程式を厳密に定義する課題に取り組むこと。
• 特異ポテンシャルの係数に応じて、一意的拡張が成り立つか成り立たないかを特徴付けること。
• 1次元熱方程式における内部の逆二乗特異性について、系として分析を拡張すること。

提案手法

• 2次元解を $y$ 変数におけるフーリエモードに分解し、$x$ に関する1次元方程式の族に帰着させる。
• フーリエ成分が満たす各1次元熱方程式に対してカルレマン推定を適用し、一意的拡張を確立する。
• 特異なグーシン演算子の適切な自己共共役拡張を構成し、方程式に厳密な意味を与える。
• 一意的拡張が成り立つためのポテンシャル係数に関する必要十分条件を導出する。
• 条件が満たされない場合の明示的反例を構成し、一意的拡張の不成立を示す。
• 1次元熱方程式における内部の逆二乗特異性に関する一意的拡張の特徴付けを導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元グーシン方程式において、$x=0$ で退化する場合に、逆二乗ポテンシャルの係数が何の条件下で一意的拡張を保証するか。
• RQ2 特異的かつ退化的なグーシン演算子を、自己共役拡張を用いてどのように厳密に定義できるか。
• RQ3 1次元フーリエモードにおける1次元カルレマン推定のみを用いて、2次元グーシン方程式のための一意的拡張を確立できるか。
• RQ4 この方程式において一意的拡張が不成立となる場合の明示的反例は何か。
• RQ5 2次元グーシン方程式の一意的拡張性と、内部に逆二乗特異性を有する1次元熱方程式との関係は何か。

主な発見

• 2次元グーシン方程式における一意的拡張が成り立つための、逆二乗ポテンシャル係数に関する必要十分条件が確立された。
• 証明は $y$ におけるフーリエ展開と、各1次元成分へのカルレマン推定の適用に依存する。
• 特異なグーシン演算子は、適切な自己共役拡張によって厳密に意味づけられた。
• 係数の条件が満たされない場合には、一意的拡張の不成立を示す明示的反例が構成された。
• 本結果は、内部に逆二乗特異性を有する1次元熱方程式の一意的拡張性について完全な特徴付けを示唆する。