[논문 리뷰] Null controllability for parabolic equations with dynamic boundary conditions of reactive-diffusive type

Lahcen Maniar, Martin Meyries외 1명|arXiv (Cornell University)|2013. 11. 04.

Stability and Controllability of Differential Equations참고 문헌 21인용 수 8

한 줄 요약

이 논문은 반응-확산(표면 확산) 유형의 동적 경계 조건을 갖는 선형 및 양성 편미분방정식에 대한 영 제어 가능성을 확립한다. 이러한 경계 조건에 특화된 새로운 칼레만 추정을 사용하여, $ L^2(\bar{\Omega}) $ 내의 임의의 초기 데이터에 대해 시간 $ T $ 에서 해가 0이 되는 제어 $ v \in L^2((0,T)\times\omega) $ 가 존재함을 증명한다. 이는 이전에 문헌에서 다루지 않은 문제의 범주로 제어 가능성 결과를 확장한다.

ABSTRACT

We prove null controllability for linear and semilinear heat equations with dynamic boundary conditions of surface diffusion type. The results are based on a new Carleman estimate for this type of boundary conditions.

연구 동기 및 목표

• 표면 확산 유형의 동적 경계 조건을 갖는 선형 및 양성 편미분방정식에 대한 영 제어 가능성을 확립하기 위해.
• 웬첼형 동적 경계 조건을 포함한 편미분 문제에 적합한 새로운 칼레만 추정을 개발하기 위해.
• 이전에 딜레르흐 또는 뉴먼 조건에 국한되었던 제어 가능성 결과를 더 복잡한 동적 경계 조건의 경우로 확장하기 위해.
• 영역과 경계에서의 초기 데이터가 내부 제어를 통해 독립적으로 제어될 수 있음을 보여주기 위해.

제안 방법

• 표면 확산 항을 포함하는 동적 경계 조건을 갖는 선형화된 시스템의 이중 문제에 대해 새로운 칼레만 추정을 유도하기 위해.
• 칼레만 추정을 사용하여 이중 시스템의 관측 불등식을 증명하고, 최종 상태를 부분 영역 $ \omega \Subset \Omega $ 에서의 관측과 연결하기 위해.
• 대칭성 원리를 적용하여 관측 불등식을 원래 시스템에 대한 영 제어 가능성 결과로 전환하기 위해.
• 표면 확산 조건을 갖는 편미분 시스템의 강한, 미만, 분포해의 존재성과 정(regularity)을 확립하기 위해.
• 샤우더 고정점 정리와 선형화된 제어 기법을 활용하여, 전역 리프시츠 비선형성을 갖는 양성 문제로 결과를 확장하기 위해.
• 시작점 $ t=0 $ 와 끝점 $ t=T $ 에서 0으로 수렴하는 지수 가중치를 갖는 가중치 $ L^2 $-노름을 사용하여 칼레만 추정의 끝부분에서의 비정상성(퇴화)을 다루기 위해.

실험 결과

연구 질문

• RQ1 반응-확산 유형의 동적 경계 조건을 갖는 편미분방정식에 대해 영 제어 가능성이 달성될 수 있는가?
• RQ2 표면 확산을 포함한 웬첼형 경계 조건을 갖는 편미분 문제에 대해 칼레만 추정이 존재하는가?
• RQ3 초기 데이터가 경계에서 독립적일 경우에도, 내부 부분 영역 $ \omega \Subset \Omega $ 에서만 정의된 제어를 사용하여 시간 $ T $ 에서 해를 0으로 제어할 수 있는가?
• RQ4 표면 확산이 경계에서의 부드러움 효과가 칼레만 추정에서 경계 항을 제어하는 데 어떻게 기여하는가?
• RQ5 전역 리프시츠 비선형성을 갖는 양성 편미분 시스템으로 영 제어 가능성 결과를 확장할 수 있는가?

주요 결과

• 제어가 $ \omega \Subset \Omega $ 내의 비어 있지 않은 열린 부분집합에서 작용할 경우, 표면 확산 유형의 동적 경계 조건을 갖는 선형 편미분방정식에 대해 영 제어 가능성이 성립한다.
• 이중 문제에 대해 표면 확산과 경계에서의 법선 흐름의 결합을 고려한 새로운 칼레만 추정이 확립되었다.
• 관측 불등식은 최종 상태가 내부 제어 영역 $ \omega $ 에서의 관측으로 제어됨을 보장하며, 이는 이중성 기반의 제어 가능성 가능성을 보장한다.
• 전역 리프시츠 비선형성 $ F $ 와 $ G $ 를 갖는 양성 문제로 결과가 확장되었으며, $ F(0)=G(0)=0 $ 이고 선형 성장 조건을 만족한다.
• 모든 초기 데이터 $ y_0 \in L^2(\Omega) $, $ y_{0,\Gamma} \in L^2(\Gamma) $ 에 대해 제어 $ v \in L^2((0,T)\times\omega) $ 가 존재한다. 이는 초기 데이터가 상호 독립일 경우에도 성립한다.
• 증명은 $ \mathbb{E}_1 $ 이 $ L^2(0,T;\mathbb{L}^2) $ 에 컴act 임bedding 되어 있음을 바탕으로 하며, 해의 연속성 맵을 통해 샤우더 고정점 정리를 양성 경우에 적용할 수 있다.