[논문 리뷰] Observability Inequalities and Measurable Sets

Jone Apraiz, Luis Escauriaza외 2명|arXiv (Cornell University)|2012. 02. 22.

Stability and Controllability of Differential Equations참고 문헌 35인용 수 12

한 줄 요약

이 논문은 유계 리프시츠, 국소적으로 별형인 영역에서 열방정식에 대한 관측 가능성 부등식을 수립하며, 공간-시간 영역 내 또는 경계에서 양의 측도를 가진 가측 집합에서의 관측으로 해를 추정할 수 있음을 증명한다. 주요 기여는 이러한 영역에서 레베아-로비아노 스펙트럼 부등식을 확장하고 임의의 가측 집합에서의 관측 가능성 을 도출함으로써 제어 이론에 응용 가능성을 높인 것이다. 이는 영 제어 가능성과 시간 최적 제어를 포함한 응용을 가능하게 한다.

ABSTRACT

This paper presents two observability inequalities for the heat equation over $Ω imes(0,T)$. In the first one, the observation is from a subset of positive measure in $Ω imes(0,T)$, while in the second, the observation is from a subset of positive surface measure in $\partialΩ imes(0,T)$. It also proves the Lebeau-Robbiano spectral inequality when $Ω$ is a bounded Lipschitz and locally star-shaped domain. Some applications for the above-mentioned observability inequalities are provided.

연구 동기 및 목표

• 열방정식에 대한 관측 가능성 부등식을 증명하는 것: 관측 집합이 $\Omega \times (0,T)$ 내에서 양의 측도를 가진 임의의 가측 집합일 경우.
• 경계에서의 관측 가능성 부등식을 $\partial\Omega \times (0,T)$ 내에서 양의 표면 측도를 가진 부분집합에 대해 수립하는 것.
• 유계 리프시츠, 국소적으로 별형인 영역에서 레베아-로비아노 스펙트럼 부등식을 증명하는 것. 이는 주요 결과의 기초가 된다.
• 기존의 관측 가능성 결과를 열린 집합을 초월하여 임의의 가측 집합으로 확장함으로써 제어 이론에서의 적용 가능성을 향상시키는 것.
• 가측 관측 집합을 통한 영 제어 가능성과 시간 최적 제어에 대한 정량적 추정을 제공하는 것.

제안 방법

• 레베아-로비아노 스펙트럼 부등식을 기본 가정으로 삼으며, 이를 국소적으로 별형인 유계 리프시츠 영역에서 증명한다.
• 베셀라의 작업에 기반한 실해석 함수에 대한 소작소 추정을 가측 집합에 적용한다.
• 시간에 따른 해 노름을 연결하기 위해 지수 감쇠 가중치 $\gamma(t) = e^{-A/t}$를 갖는 타원형 급수 추론 기법을 사용한다.
• 시간 집합 $E \subset (0,T)$ 내의 조밀점에 기반한 시간의 수열 $\{l_m\}$을 구성하여 각 구간에서 충분한 겹침을 확보한다.
• 카르레만 유형 추정과 주파수 함수 기법을 사용하여 시간에 따른 해의 성장률을 제어하며, 특히 가측 관측 집합이 존재할 경우에 유리하다.
• 해를 분해하고 관측을 통해 $L^2$ 노름을 추정하기 위해 스펙트럼 프로젝션 $\mathcal{E}_\lambda$ 및 그 수직 컴플리먼트를 사용한다.

실험 결과

연구 질문

• RQ1 열방정식에 대한 관측 가능성 부등식은 $\Omega \times (0,T)$ 내에서 양의 측도를 가진 임의의 가측 집합에서 성립하는가?
• RQ2 경계에서의 관측 가능성은 $\partial\Omega \times (0,T)$ 내에서 양의 표면 측도를 가진 부분집합에서 관측할 경우 성립하는가?
• RQ3 레베아-로비아노 스펙트럼 부등식은 국소적으로 별형인 유계 리프시츠 영역에서 유효한가?
• RQ4 관측 가능성 부등식의 상수는 관측 집합의 기하학적 구조와 측도에 어떻게 의존하는가?
• RQ5 이러한 부등식은 영 제어 가능성과 시간 최적 제어와 같은 제어 이론 문제에 어떤 영향을 미치는가?

주요 결과

• 레베아-로비아노 스펙트럼 부등식은 유계 리프시츠, 국소적으로 별형인 영역에서 성립하며, 상수는 영역의 기하학적 특성과 파ameter $R \leq 1$에 따라 달라진다.
• 측도 $|\mathcal{D}| > 0$를 가진 임의의 가측 집합 $\mathcal{D} \subset \Omega \times (0,T)$에 대해 관측 가능성 부등식이 증명되었으며, $\|u(T)\|_{L^2(\Omega)} \leq N \int_{\mathcal{D}} |u(x,t)| \, dx dt$ 를 만족한다.
• $\partial\Omega \times (0,T)$ 내에서 양의 표면 측도를 가진 임의의 가측 부분집합 $\mathcal{J}$에 대해 경계 관측 가능성 부등식이 수립되었으며, $\|u(T)\|_{L^2(\Omega)} \leq N \int_{\mathcal{J}} \left|\frac{\partial u}{\partial \nu}\right| \, d\sigma dt$ 를 유도한다.
• 관측 추정의 상수 $B$ 는 시간 집합 $E$ 와 관측 집합 $\mathcal{D}$ 의 구조에 따라 달라지며, 가측 집합의 복잡성을 반영한다.
• 증명 과정을 통해 정량적 추정이 도출되었으며, $\|e^{T\Delta}f\|_{L^2(\Omega)} \leq N e^{zA} \int_{\mathcal{D} \cap (\Omega \times [l,l_1])} |e^{t\Delta}f(x)| \, dx dt$ 를 만족한다. 여기서 $A$ 는 영역, $R$, 및 $|\mathcal{D}|/T|B_R|$ 에 따라 달라진다.
• 결과는 이중 시간 간격에서 해의 노름에 대한 균일한 상한을 암시하며, $\sup_{m \geq 0} \sup_{l_{m+1} \leq t \leq l_m} e^{-z^{m+1}A} \|e^{t\Delta}f\|_{L^2(\Omega)} \leq N \int_{\mathcal{D} \cap (\Omega \times [l,l_1])} |e^{t\Delta}f(x)| \, dx dt$ 를 만족한다.