[논문 리뷰] Geometric control condition for the wave equation with a time-dependent observation domain

Jérôme Le Rousseau, Gilles Lebeau외 2명|arXiv (Cornell University)|2016. 07. 06.

Stability and Controllability of Differential Equations참고 문헌 23인용 수 56

한 줄 요약

이 논문은 리만 다양체 위에서 파동 방정식의 관측 가능성에 대해 시간에 따라 변하는 기하적 제어 조건을 수립하며, 고전적 GCC를 이동하는 관측 영역으로 확장한다. 관측 가능성은 모든 일반화된 이중특성선(광선)이 유한 시간 내에 시간에 따라 변하는 관측 영역과 교차할 경우 성립하며, 이러한 영역의 르베그 측도가 임의로 작을 수 있음을 보여주어 운동을 통한 효과적인 센서 배치를 가능하게 한다.

ABSTRACT

We characterize the observability property (and, by duality, the controllability and the stabilization) of the wave equation on a Riemannian manifold $\\Omega,$ with or without boundary, where the observation (or control) domain is time-varying. We provide a condition ensuring observability, in terms of propagating bicharacteristics. This condition extends the well-known geometric control condition established for fixed observation domains. As one of the consequences, we prove that it is always possible to find a time-dependent observation domain of arbitrarily small measure for which the observability property holds. From a practical point of view, this means that it is possible to reconstruct the solutions of the wave equation with only few sensors (in the Lebesgue measure sense), at the price of moving the sensors in the domain in an adequate way.We provide several illustrating examples, in which the observationdomain is the rigid displacement in $\\Omega$ of a fixed domain, withspeed $v,$ showing that the observability property depends both on $v$and on the wave speed. Despite the apparent simplicity of some of ourexamples, the observability property can depend on nontrivial arithmeticconsiderations.

연구 동기 및 목표

• 리만 다각형 위에서 파동 방정식에 대해 고전적 기하 제어 조건(GCC)을 시간에 따라 변하는 관측 영역으로 확장한다.
• 일반화된 이중특성선의 전파를 통해 관측 가능성을 특성화한다.
• 적절한 시간에 따라 변하는 배치를 통해 관측 영역의 측도가 임의로 작아도 관측 가능성이 달성될 수 있음을 보여준다.
• 영역의 운동 속도와 파동 속도가 관측 가능성에 미치는 영향을 분석하며, 비자명한 산술적 의존성도 고려한다.

제안 방법

• 모든 일반화된 이중특성선(광선)이 유한 시간 내에 시간에 따라 변하는 관측 영역과 교차하도록 요구하는 고전적 기하 제어 조건을 수정한다.
• 파동의 특이점과 정칙성을 분석하기 위해 압축된 일반화된 이중특성선 흐름 沿해 미세국소 분석 및 특이점의 전파를 사용한다.
• 에너지 추정과 유일 연속성 추론을 활용하여 관측 가능성과 제어 가능성, 안정화를 연결하기 위해 쌍대성을 적용한다.
• 경계에서의 반사와 스치는 경우를 고려한 이중특성선 흐름 프레임워크를 도입하여 고정된 영역에서 시간에 따라 변하는 영역으로 결과를 확장한다.
• 임의의 극한과 미세국소 결함 측도를 특성화하기 위해 임의의 미분 연산자와 파동 프론트 세트 분석을 사용한다.
• 구, 디스크, 정사각형에서의 명시적 예제를 통해 조건을 검증하며, 이동하는 영역이 일정한 속도로 이동하거나 회전하는 경우를 다룬다.

실험 결과

연구 질문

• RQ1 고전적 기하 제어 조건은 리만 다각형 위에서 시간에 따라 변하는 관측 영역에 대해 파동 방정식에 대해 확장될 수 있는가?
• RQ2 관측 영역의 운동 조건은 파동 방정식의 관측 가능성에 어떤 영향을 미치는가?
• RQ3 적절한 시간에 따라 변하는 배치를 통해 관측 영역의 르베그 측도가 임의로 작아도 관측 가능성이 달성될 수 있는가?
• RQ4 이동하는 영역의 속도와 파동 속도는 관측 가능성 성질에 어떻게 영향을 미치는가?
• RQ5 영역의 주기적 또는 유리수 운동에 대해 관측 가능성 조건에 비자명한 산술적 의존성이 존재하는가?

주요 결과

• 시간에 따라 변하는 관측 영역에 대한 기하 제어 조건은 모든 일반화된 이중특성선이 유한 시간 내에 이동하는 영역과 교차해야 한다는 조건을 요구한다.
• 관측 영역의 르베그 측도가 임의로 작아도, 적절한 시간에 따라 변하는 운동을 통해 관측 가능성이 달성될 수 있다.
• 단위 디스크에서 속도 $v$로 이동하는 영역의 경우, 영역의 폭이 0일 때 $v \to \infty$로 갈수록 관측 가능성은 균일하게 성립하지 않지만, $v$와 영역 크기 사이에 특정한 산술 조건이 성립하면 관측 가능성이 유지된다.
• 정사각형에서는 경계에 위치한 세그먼트로 관측 가능성을 분석할 때, 세그먼트 길이와 둘레의 비율이 중요하며, 임계 경우에 비자명한 산술적 의존성이 나타난다.
• 이 논문은 관측 가능성 부등식이 상수 $C>0$와 시간 $T>0$에 대해 성립함을 증명하며, $E_0(u) \leq C \int_0^T \|\partial_t u\|_{L^2(\omega(t))}^2 dt$ 를 통해 이동하는 센서로부터 전체 에너지 재구성 가능성을 보장한다.
• 경계 관측 가능성은 내부 관측 가능성보다 더 민감하며, 경계 영역의 폭이 없을 경우(예: $\varepsilon=0$) 즉사한 속도로도 유한 시간 내에 관측 가능성이 달성되지 않을 수 있음을 보여준다.