측정가능 집합을 통한 파라볼릭 방정식의 영제어 가능성

본 논문은 파라볼릭 방정식, 특히 열방정식에 대해 제어 영역이 일반적인 열린 집합이 아니라 임의의 측정가능 집합일 때도 영(Null) 제어가 가능함을 증명한다. 전통적인 영제어 이론은 Carleman 부등식을 이용해 제어 영역 ω가 비어 있지 않은 열린 구를 포함한다는 가정을 필요로 했다. 이는 가중함수의 매끄러운 구성을 위해 필수적이었지만, 실제 응용에서는 제어 장치가 불규칙한 형태나 매우 작은 영역에 국한될 수 있다. 이러한 한계를 극복하고자 저자들은 두 가지 주요 전략을 제시한다. 첫 번째 전략은 연산자 Δ=∇·(A(x)∇·)+V(x)의 계수가 실해석적(real-analytic)이라는 강한 정규성을 가정하는 것이다. A와 V가 Ω 내부와 제어 영역 ω(또는 경계 γ) 근방에서 실해석적이면, 해당 연산자는 실해석 함수 공간에서 매우 좋은 특성을 갖는다. 이를 바탕으로 Theorem 3이라는 새로운 관측 부등식을 도출한다. Theorem 3은 실해석 함수 f가 구 B_R 안에서 L^∞ 노름을, 그 구 안의 측정가능 부분집합 E의 평균값과 함수의 도함수 성장 상수 M을 이용해 상한을 잡는다. 구체적으로, \