[논문 리뷰] Unique continuation and approximate controllability for a degenerate parabolic equation

Piermarco Cannarsa, Jacques Tort외 1명|arXiv (Cornell University)|2011. 07. 16.

Stability and Controllability of Differential Equations참고 문헌 10인용 수 5

한 줄 요약

이 논문은 1차원 공간에서 디그레지드 지점에서 디리클레 경계 제어를 가진 약하게 디그레지드 파라볼릭 방정식에 대해 근사 제어 가능성을 확립한다. 공간에 따라 감소하는 가중치 함수를 갖는 새로운 국소 카르레만 추정을 유도함으로써, 작도 연산자의 유일 연속성을 증명하며, 이는 디그레지드 집합에서 해와 그 정규 도함수가 모두 0이 되는 해가 식별적으로 0이어야 한다는 것을 의미한다. 이는 경계 제어를 통한 근사 제어 가능성을 가능하게 한다.

ABSTRACT

This paper studies unique continuation for weakly degenerate parabolic equations in one space dimension. A new Carleman estimate of local type is obtained to deduce that all solutions that vanish on the degeneracy set, together with their conormal derivative, are identically equal to zero. An approximate controllability result for weakly degenerate parabolic equations under Dirichlet boundary condition is deduced.

연구 동기 및 목표

• 약하게 디그레지드 파라볼릭 방정식에 대해 디그레지드 경계점에서 디리클레 경계 제어를 가진 근사 제어 가능성을 확립하는 것.
• 특히 경계의 디그레지드 부분에 제어가 작용할 때, 디그레지드 연산자에 대해 영 제어 가능성 결과가 부족한 문제를 해결하는 것.
• 공간에 따라 감소하는 가중치 함수를 갖는 약하게 디그레지드 파라볼릭 연산자에 특화된 새로운 국소 카르레만 추정을 개발하는 것.
• 디그레지드 지점에서 디리클레 유형 경계 조건을 갖는 약하게 디그레지드 파라볼릭 연산자의 작도 방정정의 해가 0이 되는 조건에서의 유일 연속성 성질을 증명하는 것.
• 표준 쌍대 기법이 디그레지드로 인해 실패하는 디그레지드 파라볼릭 시스템에서 국소 분포 제어와 경계 제어 사이의 격차를 메우는 것.

제안 방법

• 공간에 따라 감소하는 가중치 함수를 사용하여, $ 0 \leq \alpha < 1 $ 인 작도 연산자 $ L u = u_t + (x^\beta u_x)_x $ 에 대해 새로운 국소 카르레만 추정을 유도한다.
• 카르레만 추정을 이용하여, $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $ 를 만족하는 $ Lu = 0 $ 의 모든 해 $ u $ 가 영역 전체에서 식별적으로 0이어야 한다는 것을 증명한다.
• 쌍대 기법을 적용한다: 원래 연산자 $ P $ 의 근사 제어 가능성은 작도 연산자 $ L $ 의 유일 연속성 성질로 감소된다.
• 제어-상태 맵 $ B: g \mapsto u_g(T) $ 를 정의하고, 범위의 수직 여부가 자명함을 증명함으로써 $ L^2(0,1) $ 에서의 밀도를 보인다.
• 역작도 문제의 해 $ \hat{v} $ 를 사용하여 제어 입력 $ g $ 와 최종 상태 사이의 항등식 $ (u_g(T), v)_{L^2} = \int_0^T (x^\alpha \hat{v}_x)(0,t) g(t) dt $ 를 유도한다.
• 유일 연속성 결과를 활용하여, $ (x^\alpha \hat{v}_x)(\cdot, 0) \equiv 0 $ 이면 $ \hat{v}(T) = 0 $ 이고, 이는 $ v = 0 $ 이라는 것을 의미하므로, $ B $ 의 범위가 밀도를 이룬다.

실험 결과

연구 질문

• RQ1 제어가 디그레지드 경계점에서만 작용할 경우, 약하게 디그레지드 파라볼릭 방정식에 대해 근사 제어 가능성이 달성될 수 있는가?
• RQ2 디그레지드 지점에서 디리클레 유형 경계 조건을 갖는 약하게 디그레지드 파라볼릭 연산자의 작도에 대해 유일 연속성 성질을 확립할 수 있는가?
• RQ3 공간에 따라 감소하는 가중치 함수를 갖는 국소 카르레만 추정을 구성하여 경계의 디그레지드 성질을 다룰 수 있는가?
• RQ4 표준 쌍대 기법이 디그레지드 연산자에 대해 실패하는 것은 경계 제어가 제어 가능성을 달성할 수 없다는 것을 의미하는가?
• RQ5 디그레지드 지점에서 해와 그 정규 도함수에 어떤 조건이 충족되면 해가 식별적으로 0이 되는가?

주요 결과

• 공간에 따라 감소하는 가중치 함수를 사용하여, $ 0 \leq \alpha < 1 $ 인 작도 연산자 $ Lu = u_t + (x^\alpha u_x)_x $ 에 대해 새로운 국소 카르레만 추정이 유도되었다.
• 영역 $ Q $ 에서 $ Lu = 0 $ 을 만족하고 $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $ 인 모든 해 $ u $ 는 $ Q $ 전역에서 식별적으로 0이어야 하며, 이는 강력한 유일 연속성 성질을 증명한다.
• 유일 연속성 결과는 디그레지드 경계에서 해와 그 정규 도함수가 모두 0이 되는 유일한 해가 영 해라는 것을 의미한다.
• 원래의 디그레지드 파라볼릭 방정식 $ Pu = u_t - (x^\alpha u_x)_x = 0 $ 에 대해 $ x = 0 $ 에서 디리클레 경계 제어를 통해 근사 제어 가능성이 확립되었다.
• 제어-최종상태 맵 $ B $ 는 $ L^2(0,1) $ 에서 밀도를 이룬다. 이는 쌍대성과 유일 연속성 성질을 통해 보여졌으며, 이는 근사 제어 가능성과 동치이다.
• 결과는 모든 $ T > 0 $ 에 대해 성립하며, 제어는 두 단계로 구성될 수 있다: 초기 자료에서 중간 상태로의 진화, 그 후 목표 상태 근처로 경계 제어를 통해 이동.