[논문 리뷰] Observable set, observability, interpolation inequality and spectral inequality for the heat equation in $\mathbb{R}^n$

Gengsheng Wang, Ming Wang외 2명|arXiv (Cornell University)|2017. 11. 12.

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

한 줄 요약

이 논문은 $ℝ^n$에서 열 방정식에 대해 관측 가능성, 보간, 스펙트럼 부등식 간의 동치성을 확립하며, 가측 집합 $E \subset ℝ^n$가 이러한 부등식을 만족하는 것이 바로 어떤 $γ > 0$ 및 $L > 0$ 에 대해 스케일 $L$ 에서 $γ$-두껍게(의미: $γ$-thick) 되어 있을 때임을 증명한다. 주요 기여는 전체 공간에서 열 방정식의 맥락에서 관측 가능한 집합의 완전한 기하적 특성화와 기본 부등식들 간의 동치성이다.

ABSTRACT

This paper studies connections among observable sets, the observability inequality, the Hölder-type interpolation inequality and the spectral inequality for the heat equation in $\mathbb R^n$. We present a characteristic of observable sets for the heat equation. In more detail, we show that a measurable set in $\mathbb{R}^n$ satisfies the observability inequality if and only if it is $γ$-thick at scale $L$ for some $γ>0$ and $L>0$.We also build up the equivalence among the above-mentioned three inequalities. More precisely, we obtain that if a measurable set $E\subset\mathbb{R}^n$ satisfies one of these inequalities, then it satisfies others. Finally, we get some weak observability inequalities and weak interpolation inequalities where observations are made over a ball.

연구 동기 및 목표

• 열 방정식에 대해 $ℝ^n$에서 관측 가능한 집합의 구조를 특성화하는 것.
• 관측 가능성 부등식, 허더 타입의 보간 부등식, 스펙트럼 부등식 간의 동치성을 확립하는 것.
• 관측 집합이 $\gamma$-두껍게(의미: $\gamma$-thick) 되어 있을 때 이러한 부등식이 성립하기 위한 필요 및 충분 조건을 제시하는 것.
• 관측이 $ℝ^n$의 구 안에서 이루어질 경우 약한 관측 가능성 및 보간 부등식을 유도하는 것.

제안 방법

• 모든 $x \in \mathbb{R}^n$ 에 대해 $|E \cap (x + LQ)| \geq \gamma L^n$ 을 만족하는 조건으로 정의되는 스케일 $L$ 에서의 $\gamma$-두껍게(의미: $\gamma$-thick) 집합의 개념을 도입하여, 관측 가능성에 대한 기하학적 기준을 제시한다.
• 해열 방정식의 해의 감쇠 및 전파를 분석하기 위해 푸리에 분석과 열핵 추정을 사용한다.
• 해의 $L^2$-노름을 시간 $T$ 에서 관측 결과로 유계화하기 위해 얀의 부등식과 $L^1$-$L^2$ 추정을 적용한다.
• 초기 자료가 구 안에 지지되어 있고, 부분 구에서 양의 질량을 가진다고 가정하여 시간 평균 추정을 사용함으로써 약한 관측 가능성 부등식을 도출한다.
• 점별 및 적분 유계화를 도출하기 위한 중심 도구로 열핵 표현 $u(t,x) = (4\pi t)^{-n/2} \int_{\mathbb{R}^n} e^{-|x-y|^2/(4t)} u_0(y) dy$ 를 사용한다.
• 각 부등식이 $\gamma$-두껍게(의미: $\gamma$-thick) 조건 하에서 서로를 함의함을 증명함으로써, 세 부등식 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 가측 집합 $E \subset \mathbb{R}^n$ 에 대해 열 방정식의 관측 가능성 부등식이 성립하기 위한 기하학적 조건은 무엇이며, 이것이 필수적이고 충분한 조건인가?
• RQ2 $\mathbb{R}^n$에서 열 방정식 맥락에서 관측 가능성 부등식, 허더 타입의 보간 부등식, 스펙트럼 부등식은 어떻게 관련되어 있는가?
• RQ3 관측이 $ℝ^n$의 구 안으로 제한될 경우 약한 관측 가능성 및 보간 부등식을 유도할 수 있는가?
• RQ4 초기 자료의 집중도(예: 양의 질량을 가진 구 안에서) 가 약한 관측 가능성 추정을 유도하는 데 어떤 역할을 하는가?

주요 결과

• 가측 집합 $E \subset \mathbb{R}^n$ 이 관측 가능성 부등식을 만족하는 것은 어떤 $\gamma > 0$ 및 $L > 0$ 에 대해 스케일 $L$ 에서 $\gamma$-두껍게(의미: $\gamma$-thick) 되어 있을 때에 한하여 성립하며, 이는 관측 가능한 집합의 완전한 기하학적 특성화를 제공한다.
• 관측 집합이 $\gamma$-두껍게(의미: $\gamma$-thick) 조건을 만족할 경우, 열 방정식에 대해 관측 가능성 부등식, 허더 타입의 보간 부등식, 스펙트럼 부등식은 상호 동치이다.
• 초기 자료 $u_0$ 가 구 $B_r$ 에 지지되어 있고 $\int_{B_r} u_0 \geq \mu \int_{\mathbb{R}^n} u_0$ 를 만족할 경우, 해는 약한 관측 가능성 부등식을 만족한다: $\|u(T,\cdot)\|_{L^2}^2 \leq C \int_0^T \int_{|x| \leq M} |u(t,x)|^2 dx dt$, 여기서 $C$ 는 $n$, $T$, $M$, $r$, $\mu$ 에 따라 달라진다.
• 약한 관측 가능성 부등식의 상수는 $\frac{2^{n/2 + 1} \pi^{n/2} T^{n/2 - 1}}{V_n M^n \mu^2} e^{4r^2 / T}$ 로 명시적으로 유계화되며, 이는 $r^2/T$ 에 대해 지수적 의존성을 보인다.
• 논문은 스케일 $L$ 에서의 $\gamma$-두껍게(의미: $\gamma$-thick) 조건이 스케일 $2L$ 에서도 성립함을 증명하지만, 그 역은 성립하지 않음을 밝혀 두껍기 조건의 계층적 관계를 명확히 한다.
• 열핵 추정, $L^1$-$L^2$ 추정, 시간 평균 $L^2$-노름 제어를 포함하는 추정의 연쇄를 통해 세 부등식 간의 동치성이 확립된다.