[论文解读] 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

一句话总结

本文通过傅里叶分解和针对所得1维热方程的Carleman估计，为在直线 $x=0$ 上具有反平方势奇异性的二维Grushin方程，建立了唯一延拓的必要且充分条件。关键贡献在于，无论退化性如何，均对唯一延拓进行了表征，当条件不成立时提供了显式反例，并推导出关于具有内部反平方奇点的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.

研究动机与目标

• 为在退化直线 $x=0$ 上具有奇异反平方势的二维Grushin方程建立唯一延拓性质。
• 解决尽管算子在 $x=0$ 处退化且奇异，仍需严格定义该方程的挑战。
• 根据奇异势系数的不同，表征唯一延拓何时成立或失败。
• 将分析扩展至具有内部反平方奇点的1维热方程，作为推论。

提出的方法

• 将二维解在 $y$-变量上进行傅里叶模态分解，将问题约化为关于 $x$ 的一族1维方程。
• 对每个由傅里叶分量求解的1维热方程应用Carleman估计，以建立唯一延拓。
• 通过适当的自伴扩张构造，为奇异Grushin算子赋予严格意义，使方程具有数学严谨性。
• 推导出唯一延拓成立的势系数的必要且充分条件。
• 当条件不成立时，构造显式反例，以证明唯一延拓的失败。
• 从结果中推导出关于具有内部反平方奇点的1维热方程的唯一延拓表征。

实验结果

研究问题

• RQ1 反平方势系数的何种条件可确保在 $x=0$ 处退化的二维Grushin方程具有唯一延拓？
• RQ2 如何通过自伴扩张严格定义具有奇异性和退化性的Grushin算子？
• RQ3 能否仅通过傅里叶模态上的1维Carleman估计，建立二维Grushin方程的唯一延拓？
• RQ4 当该方程的唯一延拓失败时，其显式反例是什么？
• RQ5 二维Grushin方程的唯一延拓性质与具有内部反平方奇点的1维热方程有何关联？

主要发现

• 为二维Grushin方程中反平方势系数建立了唯一延拓成立的必要且充分条件。
• 证明依赖于在 $y$ 上的傅里叶分解，以及对每个1维分量后续应用Carleman估计。
• 通过适当的自伴扩张，为奇异Grushin算子赋予了严格意义。
• 当系数条件不成立时，构造了显式反例，表明唯一延拓的失败。
• 结果意味着对具有内部反平方奇点的1维热方程的唯一延拓提供了完整的表征。