[논문 리뷰] Global existence for systems of nonlinear wave equations with bounded, stable asymptotic systems

Joseph Keir|arXiv (Cornell University)|2019. 06. 04.

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

한 줄 요약

이 논문은 비선형파 방정식계의 전역 존재성을 보장하는 새로운 충분조건을 설정한다: 관련 점점 가까이 다가오는 상수미분방정식계의 유계성과 안정성. 이전의 비선형항에 대한 구조적 가정을 완화함으로써, 저자들은 단지 점점 가까이 다가오는 시스템의 유계성과 안정성만을 사용하여 소규모 초기값 전역해를 증명하며, 이는 유한차원 리군 위에서의 좌불변 해밀턴류에 기반한 점점 가까이 다가오는 시스템을 갖는 파동방정식으로 일반화된다.

ABSTRACT

Some systems of nonlinear wave equations admit global solutions for all sufficiently small initial data, while others do not. The (classical) null condition guarantees that such a result holds, but it is too strong to capture certain systems -- most famously the Einstein equations -- which nevertheless admit global solutions for small initial data. The weak null condition has been proposed as a sufficient condition for such a result to hold; it takes the form of a condition on a related set of nonlinear ODEs known as the "asymptotic system". Previous results in this direction have required certain structural conditions on the asymptotic system in addition to the weak null condition. In this work we show that, if the solutions to the asymptotic system are bounded (given small initial data), and, in addition, if these solutions are stable against rapidly decaying perturbations, then the corresponding system of nonlinear wave equations admits global solutions for all sufficiently small initial data. This avoids any direct assumptions on the structure of the nonlinear terms. We also give an example of a class of systems obeying this condition but not obeying previously identified structural conditions. For this class the asymptotic system arises as a generalisation of the "Euler equations" for rigid body motion, associated with a left-invariant Hamiltonian flow on a finite dimensional Lie group. This work relies heavily on the author's previous work, "The weak null condition and global existence using the p-weighted energy method".

연구 동기 및 목표

• 소규모 초기값 해에 대한 비선형파 방정식계의 전역 존재성을 보장하는 최소한의, 구조적 제약이 없는 조건을 규명하는 것.
• 비선형항의 구조에 대한 제약을 가진 기존 조건들(예: 영 조건, 계층적 약한 영 조건)의 한계를 극복하는 것.
• 기존의 구조적 조건이 실패할 경우에도 점점 가까이 다가오는 상수미분방정식계의 해의 유계성과 안정성이 전역 존재성을 보장하는 데 충분함을 보여주는 것.
• 물리적으로 관련된 시스템(예: 아인슈타인 방정식)에 적용 가능한 일반적인 프레임워크를 제공하는 것. 이는 고전적 구조적 조건을 만족하지 못하나 전역 해를 갖는다.
• 좌불변 해밀턴류에 의해 유도되는 점점 가까이 다가오는 시스템이 새로운 조건을 만족함을 보여주며, 적용 범위를 확장하는 것.

제안 방법

• 파동방정식에서 외부 빛의 경로를 따라 지배적인 비선형항을 분리함으로써 유도된 일阶 비선형 상수미분방정식계로 점점 가까이 다가오는 시스템을 정의한다.
• 새로운 충분조건을 도입: 소규모 초기값 하에서 점점 가까이 다가오는 시스템의 해의 유계성과 급격히 감쇠하는 외란에 대한 안정성.
• 유한차원 리군의 항등원에서 코탄젠트 공간 위에 해밀턴형식을 도입하여 점점 가까이 다가오는 시스템을 모델링하며, 이는 이차 비선형항을 포함한다.
• 해밀턴함수가 양의 정부호이고 시스템이 좌이동에 대해 불변이라면, 점점 가까이 다가오는 시스템이 유계성과 안정성 조건을 만족함을 증명한다.
• 에너지 추정과 그론발라 타입의 추론을 사용하여 전체 파동계의 해의 성장률을 통제하며, 이는 오직 점점 가까이 다가오는 시스템의 행동에 의존한다.
• 점점 가까이 다가오는 시스템의 유계성과 안정성을 이용하여 비선형 상호작용을 통제하는 부스팅 추론을 통해 전역 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 비선형항의 구조적 가정 없이도 소규모 초기값 해에 대한 비선형파 방정식계의 전역 존재성을 보장할 수 있는가?
• RQ2 점점 가까이 다가오는 상수미분방정식계의 해가 유계성과 안정성을 만족한다면, 이는 해당 파동계의 전역 존재성을 보장하는 데 충분한가?
• RQ3 좌불변 해밀턴류에 의해 유도되는 점점 가까이 다가오는 시스템을 갖는 시스템들이 새로운 조건을 만족하고 전역 해를 갖는가?
• RQ4 아인슈타인 방정식과 같은 시스템들이 고전적 영 조건을 만족하지 못하나 전역 해를 갖는다. 이 새로운 조건이 이러한 시스템을 포괄할 수 있는가?
• RQ5 약한 영 조건을 초월하여 전역 존재성을 보장하는 데 필요한 점점 가까이 다가오는 시스템의 최소 요구 조건은 무엇인가?

주요 결과

• 논문은 소규모 초기값 해에 대한 비선형파 방정식계의 전역 존재성을 보장하는 새로운 충분조건을 설정한다: 점점 가까이 다가오는 상수미분방정식계의 유계성과 안정성.
• 이 조건은 비선형항에 대한 어떤 구조적 가정도 요구하지 않으며, 예를 들어 계층적 약한 영 조건에 포함된 것들과 같은 가정을 필요로 하지 않아 이전 결과를 일반화한다.
• 유한차원 리군 위에서 좌불변 해밀턴류에 의해 유도되는 점점 가까이 다가오는 시스템을 갖는 시스템들은 이전의 구조적 요구사항을 위반하더라도 새로운 조건을 만족한다.
• 이러한 리군 기반 모델의 점점 가까이 다가오는 시스템은 소규모 초기값과 급격히 감쇠하는 외란에 대해 유계성과 안정성을 보인다.
• 형태가 $ \frac{d}{ds}y_a = C^c_{ba} \tilde{H}^{bd} y_c y_d $ 인 일부 파동방정식에 대해, $ \tilde{H} $ 가 양의 정부호이면, 모든 충분히 작은 초기값에 대해 전역 존재성이 증명된다.
• 시간에 따른 해밀턴 노름의 변화에 대한 상한이 $ \lesssim \epsilon \delta^{-1} $ 임을 보여주며, 이는 외란에 대한 점점 가까이 다가오는 시스템의 안정성을 확인한다.