[논문 리뷰] About unique continuation for a 2D Grushin equation with potential having an internal singularity

Morgan Morancey|arXiv (Cornell University)|2013. 06. 24.

Stability and Controllability of Differential Equations참고 문헌 19인용 수 4

한 줄 요약

이 논문은 2차원 그루шин 방정식에서 $x=0$ 선에서 특이성을 보이는 역제곱 잠재력이 존재할 경우, 고유 연속성에 대한 필수적이고 충분한 조건을 도출한다. 이를 위해 $y$-변수에 대한 푸리에 분해와 이를 통해 유도된 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.

연구 동기 및 목표

• $x=0$ 선에서 특이성을 보이는 역제곱 잠재력이 존재하는 2차원 그루신 방정식의 고유 연속성 성질을 확립하기 위해.
• 해당 연산자의 퇴화성과 $x=0$에서의 특이성으로 인해 방정식을 엄밀하게 정의하는 데 도전하는 문제를 다루기 위해.
• 특이 잠재력의 계수에 따라 고유 연속성이 성립하거나 실패하는 조건을 특성화하기 위해.
• 결과적으로 내부 역제곱 특이성을 가진 1차원 열 방정식으로의 분석을 추론으로 확장하기 위해.

제안 방법

• 2차원 해를 $y$-변수에 대해 푸리에 모드로 분해하여 문제를 $x$에 대한 1차원 방정식의 집합으로 축소하기 위해.
• 각 1차원 열 방정식에 대해 카르레만 추정을 적용하여 고유 연속성을 확립하기 위해.
• 해의 의미를 엄밀하게 부여하기 위해 특이 그루신 연산자의 적절한 자기수반 확장을 구성하기 위해.
• 고유 연속성이 성립하기 위한 잠재력 계수에 대한 필요하고 충분한 조건을 도출하기 위해.
• 조건이 실패할 경우 고유 연속성이 실패함을 보여주는 명시적인 반례를 구성하기 위해.
• 내부 역제곱 특이성을 가진 1차원 열 방정식에 대한 고유 연속성 특성화를 유도하기 위해.

실험 결과

연구 질문

• RQ1 역제곱 잠재력의 계수에 어떤 조건이 성립해야 2차원 그루신 방정식에서 고유 연속성이 성립하는가?
• RQ2 특이성과 퇴화성으로 인해 정의가 어려운 그루신 연산자는 어떻게 자기수반 확장을 통해 엄밀하게 정의할 수 있는가?
• RQ3 푸리에 모드에 대한 1차원 카르레만 추정만을 사용하여 2차원 그루신 방정식의 고유 연속성을 확립할 수 있는가?
• RQ4 고유 연속성이 실패할 경우 명시적인 반례는 무엇인가?
• RQ5 2차원 그루신 방정식의 고유 연속성 성질은 내부 역제곱 특이성을 가진 1차원 열 방정식과 어떻게 관련이 있는가?

주요 결과

• 역제곱 잠재력의 계수에 대한 필수적이고 충분한 조건이 2차원 그루신 방정식에서 고유 연속성이 성립하기 위해 확립되었다.
• 증명은 $y$에 대한 푸리에 분해와 이후 각 1차원 성분에 대한 카르레만 추정의 적용에 기반한다.
• 특이 그루신 연산자는 적절한 자기수반 확장을 통해 엄밀한 의미를 부여받는다.
• 계수 조건이 실패할 경우 고유 연속성이 실패함을 보여주는 명시적인 반례가 구성되었다.
• 결과적으로 내부 역제곱 특이성을 가진 1차원 열 방정식에 대한 고유 연속성의 완전한 특성화가 유도된다.