[논문 리뷰] Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains

Yannick Privat, Emmanuel Trélat외 1명|arXiv (Cornell University)|2012. 11. 24.

Numerical methods in inverse problems참고 문헌 47인용 수 13

한 줄 요약

이 논문은 양자 에르고딕 영역 내에서 다차원 파동 및 슈뢰딩거 방정식의 최적 관측 가능성에 대해 두 문제를 해결함으로써 최적 관측 가능성을 확립한다: (1) 고정된 초기 데이터에 대한 최적 관측 집합 위치의 결정, (2) 고유함수 집중도의 스펙트럼 최대화를 통한 균일한 설계. 양자 에르고디시티 조건 하에서 최적 집합의 존재성을 증명하고, 볼록화된 공식화에 대해 갭 없는 결과를 도출하며, 수치적으로 결과를 확인한다.

ABSTRACT

We consider the wave and Schrödinger equations on a bounded open connected subset $Ω$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $ω$ of $Ω$ during a time interval [0,T] with T>0. We address the problem of the optimal location of the observation subset ωamong all possible subsets of a given measure or volume fraction. We solve it in two different situations. First, when a specific choice of the initial data is given and therefore we deal with a particular solution, we show that the problem always admits at least one solution that can be regular or of fractal type depending on the regularity of the initial data. We then introduce a relevant criterion, not depending on the initial conditions and to choose the observation set in an uniform way, independent of the data and solutions under consideration. Through spectral decompositions, this leads to a second problem which consists of maximizing a spectral functional that can be viewed as a measure of eigenfunction concentration. This spectral criterion can be interpreted in two ways: it corresponds either to a time asymptotic observability constant as the observation time interval tends to infinity, or to a randomized version of the deterministic observability inequality. Under appropriate quantum ergodicity assumptions on $Ω$, we compute the optimal value. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Our results highlight precise connections between optimal observability issues and quantum ergodic properties of the domain under consideration.

연구 동기 및 목표

• 고정된 관측 시간 $T$ 가 주어졌을 때, 파동 및 슈뢰딩거 방정식의 해를 관측하기 위한 최적의 공간 부분집합 $\omega \subset \Omega$ 를 결정하는 것.
• 특정 해에 의존하지 않고 모든 초기 데이터에 대해 균일하게 작동하는 $\omega$ 를 선택하는 문제에 대해, 고유함수 집중도에 기반한 스펙트럼 기준을 도입함으로써 이를 해결하는 것.
• 양자 에르고디시티 가정 하에서 최적 관측 집합의 존재성을 증명하고, 원래 최적 설계 문제와 볼록화된 문제 간의 갭 없는 결과를 확립하는 것.
• 이론적 결과를 검증하고 리라크세이션 현상에 대한 추측을 뒷받침하기 위해 스펙트럼 근사 및 수치 시뮬레이션을 제공하는 것.
• 최적 관측 가능성과 기저 영역 $\Omega$ 의 양자 에르고딕 성질 간의 깊은 연관성을 부각하는 것.

제안 방법

• 디리클레, 뉴먼, 또는 루빈 경계 조건을 갖는 리만 다양체 $M$ 상에서 파동 및 슈뢰딩거 방정식의 관측 가능성 부등식을 수립하는 것.
• 스펙트럼 분해를 사용하여 관측 가능성 함수 $G_T(\chi_\omega)$ 를 고유함수의 합으로 표현함으로써, 에너지의 $\omega$ 내 국소화 분석이 가능하도록 하는 것.
• 고유함수의 제곱의 최소 추적값을 $\omega$ 에서 최대화하는 스펙트럼 기능을 도입하여, 초기 데이터에 의존하지 않는 균일한 설계 기준을 제공하는 것.
• 이 스펙트럼 기준이 $T \to \infty$ 일 때 시간 점점 다가가는 관측 가능성 상수와 일치하고, 확률적 관측 가능성 부등식과 연결됨을 증명하는 것.
• 최적 설계 문제에 볼록화 기법을 적용하고, $\Omega$ 에 대한 양자 에르고디시티 가정 하에서 갭 없는 결과를 확립하는 것.
• 스펙트럼 근사 및 수치 시뮬레이션을 수행하여 이론적 결과를 검증하고, 고전적 최적 집합이 존재하지 않는 경우 리라크세이션 현상을 탐색하는 것.

실험 결과

연구 질문

• RQ1 주어진 초기 조건에서 파동 및 슈뢰딩거 방정식의 최적 공간적 관측 집합 $\omega$ 의 위치는 무엇인가?
• RQ2 특정 해에 의존하지 않고 모든 초기 데이터에 대해 관측 가능성을 보장하는 균일한 관측 집합 $\omega$ 는 어떻게 정의할 수 있는가?
• RQ3 기하학적 및 스펙트럼 조건이 만족될 경우 고전적 최적 집합 $\omega$ 가 존재하고, 언제 리라크세이션 현상이 발생하는가?
• RQ4 시간 점점 다가가는 관측 가능성 상수와 고유함수 집중도를 최대화하는 스펙트럼 기능 간의 관계는 무엇인가?
• RQ5 원래 비볼록 최적 설계 문제는 볼록화된 공식화를 통해 등가로 해결될 수 있으며, 이러한 등가성은 어떤 가정 하에서 성립하는가?

주요 결과

• 고정된 초기 데이터에 대해 최적 관측 집합 $\omega$ 는 항상 존재하며, 데이터의 정규성에 따라 정규적이거나 프랙탈일 수 있다.
• 균일한 최적 설계 문제는 $\omega$ 에서 고유함수 제곱의 최소 집중도를 측정하는 스펙트럼 기능을 최대화함으로써 해결된다.
• 이 스펙트럼 기준은 $T \to \infty$ 일 때 관측 가능성 상수의 극한과 일치하며, 시간 점점 다가가는 행동과 공간 설계 간의 연결 고리를 제공한다.
• 양자 에르고디시티 가정 하에서 원래 최적 설계 문제와 볼록화된 문제 간에 갭 없는 결과가 증명된다.
• 수치 시뮬레이션은 이론적 예측을 확인하고, 고전적 최적 집합이 일반적으로 존재하지 않는 리라크세이션 현상을 시연한다.
• 일부 예에서는 일반적인 기대와는 달리 고전적 최적 집합이 존재하는 경우가 있으며, 이는 도메인 기하학과 스펙트럼 구조의 역할을 부각시킨다.