[논문 리뷰] Observability properties of the homogeneous wave equation on a closed manifold

Emmanuel Humbert, Yannick Privat외 1명|arXiv (Cornell University)|2016. 07. 06.

Stability and Controllability of Differential Equations참고 문헌 30인용 수 15

한 줄 요약

이 논문은 닫힌 리만다이만 다양체 위에서 파동방정식의 관측 가능성 상수의 장기적 점근적 행동을 규명하며, $ C_T(\omega)/T $ 가 스펙트럼 양(라플라스-벨트라미 연산자의 고유함수와 관련된 것)과 기하학적 양(지지도가 관측 집합 $\omega$ 에 머무르는 평균 시간)의 최솟값으로 수렴함을 보여준다. 분석은 저주파수/고주파수 분해와 스펙트럼 이론을 활용하여 관측 가능성의 특성을 규명하고 기하학적 및 스펙트럼 조건 하에서 정밀한 추정을 도출한다.

ABSTRACT

We consider the wave equation on a closed Riemannian manifold. We observe the restriction of the solutions to a measurable subset $\\omega$ along a time interval $[0, T]$ with $T>0$. It is well known that, if $\\omega$ is open and if the pair $(\\omega,T)$ satisfies the Geometric Control Condition then an observability inequality is satisfied, comparing the total energy of solutions to their energy localized in $\\omega \ imes (0, T)$. The observability constant $C\\_T({\\omega})$ is then defined as the infimum over the set of all nontrivial solutions of the wave equation of the ratio of localized energy of solutions over their total energy. In this paper, we provide estimates of the observability constant based on a low/high frequency splitting procedure allowing us to derive general geometric conditions guaranteeing that the wave equation is observable on a measurable subset $\\omega$. We also establish that, as $T\ ightarrow+\\infty$, the ratio $C\\_T({\\omega})/T$ converges to the minimum of two quantities: the first one is of a spectral nature and involves the Laplacian eigenfunctions, the second one is of a geometric nature and involves the average time spent in $\\omega$ by Riemannian geodesics.

연구 동기 및 목표

• 닫힌 리만다이만 다양체 위에서 파동방정식의 관측 가능성 상수 $ C_T(\omega) $ 의 장기적 행동을 규명하는 것.
• 해결책의 저주파수/고주파수 분해에 기반한 관측 가능성에 대한 필요 및 충분 조건을 설정하는 것.
• 특히 $ T \to \infty $ 의 극한에서 양의 관측 가능성 상수를 보장하는 기하학적 및 스펙트럼 조건을 도출하는 것.
• 기존의 기하학적 제어 조건을 열린 집합을 초월하여 일반적인 가측 관측 집합 $\omega$ 로 일반화하는 것.
• 스펙트럼 이론 및 에르고딕 이론 기법을 활용하여 고전적 관측 가능성 결과에 대한 새로운 증명을 제공하는 것.

제안 방법

• 파동방정식의 해에 대해 저주파수/고주파수 분해를 도입하여 분석을 저주파수 및 고주파수 성분으로 분리한다.
• 고주파수 관측 가능성 상수 $ \alpha^T(\omega) $ 를 정의하여 $ T \to \infty $ 일 때 $ C_T(\omega) $ 의 점근적 행동을 기술한다.
• 라플라스-벨트라미 연산자의 스펙트럼 분해와 고유값 $ \lambda_j^2 $ 과 관련된 고유함수 $ \phi_j $ 를 활용해 에너지 분포를 분석한다.
• 시간 평균 에너지의 약한 수렴 및 강한 수렴을 연구하기 위해 에르고딕 타입의 평균 연산자 $ \bar{A}_T(a) $ 와 $ \bar{B}_T(a) $ 를 적용한다.
• 균일한 스펙트럼 갭 조건 하에서 Montgomery-Vaughan 부등식을 활용해 평균 연산자의 연산자 노름에서의 균일 수렴을 증명한다.
• 저주파수 부분을 다룰 때 콤팩트니스 추론과 $ L^2(\Omega) $ 에서의 약한 수렴을 활용하여 고주파수 영역의 나머지 항을 제어한다.

실험 결과

연구 질문

• RQ1 장기적으로 $ T \to \infty $ 일 때 관측 가능성 상수 $ C_T(\omega) $ 의 점근적 행동은 어떠한가?
• RQ2 가측 부분집합 $ \omega \subset \Omega $ 에서 파동방정식이 관측 가능하기 위한 기하학적 및 스펙트럼 조건은 무엇인가?
• RQ3 해의 공간에 대한 저주파수/고주파수 분해를 통해 관측 가능성은 어떻게 특성화될 수 있는가?
• RQ4 라플라스 연산자의 스펙트럼 구조와 지오데식의 기하학적 성질 사이의 정확한 관계는 무엇인가?
• RQ5 고전적 기하학적 제어 조건은 일반적인 가측 관측 집합 $ \omega $ 에 대해 어떻게 일반화되거나 재해석될 수 있는가?

주요 결과

• $ T \to \infty $ 일 때 비율 $ C_T(\omega)/T $ 는 유한한 극한으로 수렴하며, 이는 라플라스 연산자의 고유함수를 포함한 스펙트럼 항과 지오데식이 $ \omega $ 에 머무르는 평균 시간을 포함한 기하학적 항의 최솟값과 같다.
• $ C_T(\omega)/T $ 의 극한이 0이 아님과 동시에 두 항(스펙트럼 항 및 기하학적 항)이 모두 양수일 때에만 성립하며, 이는 관측 가능성에 대한 필요 및 충분 조건을 제공한다.
• 고주파수 관측 가능성 상수 $ \alpha^T(\omega) $ 는 $ C_T(\omega) $ 의 점근적 행동을 특성화하며, $ C_T(\omega) > 0 $ 이고 $ \alpha^T(\omega) > 0 $ 이며, 이는 핵심적인 동치 관계를 설정한다.
• 균일한 스펙트럼 갭 조건 하에서 평균 연산자 $ \bar{A}_T(a) $ 는 연산자 노름에서 균일하게 그 극한 $ \bar{A}_\infty(a) $ 로 수렴하며, 이는 강한 수렴 성질을 보장한다.
• $ \bar{A}_T(a) $ 와 $ \bar{B}_T(a) $ 의 수렴은 $ L^2(\Omega) $ 에서의 약한 수렴을 통해 확립되며, 오차 항은 고주파수 감쇠와 스펙트럼 분리에 의해 제어된다.
• 논문은 기하학적 제어 조건 하에서 고전적 관측 가능성 결과에 대한 새로운 증명을 제공하며, 이를 스펙트럼 및 기하학적 불변량과 연결한다.