[논문 리뷰] A topological obstruction to the controllability of nonlinear wave equations with bilinear control term

Thomas Chambrion, Laurent Thomann|arXiv (Cornell University)|2018. 09. 19.

Advanced Mathematical Physics Problems참고 문헌 5인용 수 11

한 줄 요약

이 논문은 비선형 파동 방정식에 대해 L1 이차 제어를 갖는 경우, Ball-Marsden-Slemrod 프레임워크를 비선형 역학으로 확장하여 제어 가능성에 대한 위상적 차단을 확립한다. 디슨 급수 전개와 슈바르츠 공간에서의 컴팩턴스 추론을 통해 가시 집합이 가산 개의 컴팩트 부분집합의 합집합에 포함됨을 증명하며, 이는 에너지 공간에서 내부가 없는 것을 의미한다—따라서 자연스러운 함수 해석 설정에서 정확한 제어 가능성은 불가능하다.

ABSTRACT

In this paper we prove that the Ball-Marsden-Slemrod controllability obstruction also holds for nonlinear equations, with integrable bilinear controls. We first show an abstract result and then we apply it to nonlinear wave equations. The first application to the Sine-Gordon equation directly follows from the abstract result, and the second application concerns the cubic wave/Klein-Gordon equation and needs some additional work.

연구 동기 및 목표

• 선형 파동 방정식에 대해 L1 제어를 갖는 Ball-Marsden-Slemrod 장벽을 비선형 파동 방정식으로 확장하기.
• 비선형 항이 자연스러운 에너지 공간에서 제어 가능성에 대한 위상적 장벽을 극복하지 못함을 보여주기.
• 비선형 시스템에 대해 이차 제어를 갖는 가시 집합의 Baire 범주론적 측면에서의 미세성(미세집합)을 확립하기.
• 디슨 전개를 통해 Sine-Gordon 및 세제곱 클라인-고든 방정식과 같은 방정식에 적용 가능한 일반적 프레임워크 제공하기.
• 스보레프 임베딩과 에너지 추정을 통해 비선형성에 대한 리프시츠 조건을 완화할 수 있음을 보여주기.

제안 방법

• 두하멜 적분 공식을 사용하여 비선형 파동 방정식을 온화한 해로 공식화하기.
• 해를 제어 함수의 거듭제곱으로 표현하기 위해 디슨 전개를 적용하기.
• 연산자의 유계성과 연속성에 기반하여 부분합의 균일 수렴성과 연속성 증명하기.
• Sobolev 공간 H1 × L2에서의 순차 수렴성을 통해 가시 집합의 컴팩턴스 확립하기.
• Sobolev 임베딩 정리를 사용하여 정규성 제어 및 해 연산자의 연속성 보장하기.
• 시간 간격에 대한 귀납법을 적용하여 局부 컴팩턴스를 전역 가시 집합으로 확장하기.

실험 결과

연구 질문

• RQ1 선형 시스템에 대해 L1 제어를 갖는 Ball-Marsden-Slemrod 장벽을 비선형 파동 방정식으로 확장할 수 있는가?
• RQ2 비선형 항(예: 세제곱 또는 사인-고론)이 존재하더라도 제어 가능성에 대한 위상적 장벽을 극복할 수 있는가?
• RQ3 L1 제어를 갖는 비선형 파동 방정식의 가시 집합은 에너지 공간에서 미세한가?
• RQ4 비선형성에 대한 리프시츠 조건을 컴팩턴스 추론에서 완화할 수 있는가?
• RQ5 Sobolev 임베딩은 해 흐름의 정규성과 컴팩턴스 확보에 어떤 역할을 하는가?

주요 결과

• L1 제어를 갖는 비선형 파동 방정식의 가시 집합은 H1(M) × L2(M)의 가산 개의 컴팩트 부분집합의 합집합에 포함된다.
• 사인-고론 방정식의 경우, 프레임워크의 조건과 일치하므로 추상적 결과가 직접 적용된다.
• 3차원 세제곱 클라인-고론 방정식의 경우 비선형성이 리프시츠가 아니지만, 두하멜 공식에서 정규성의 향상으로 인해 흐름이 전역적으로 존재한다.
• 디슨 전개의 수렴 시간 간격은 초기 에너지에만 의존하며, 초기 자료 자체에는 영향을 받지 않는다.
• 적절한 에너지 유계 조건 하에, 임의의 T > 0 및 L > 0 에 대해 VT,L(ψ0, ψ1)은 H1(M) × L2(M)에서 상대적으로 컴팩트하다.
• 이 결과는 Baire 범주 정리에 의해 자연스러운 에너지 공간에서 정확한 제어 가능성은 불가능하다는 것을 시사한다.