[논문 리뷰] On small breathers of nonlinear Klein-Gordon equations via exponentially small homoclinic splitting

Otávio M. L. Gomide, Marcel Guàrdia외 2명|arXiv (Cornell University)|2021. 07. 30.

Nonlinear Waves and Solitons참고 문헌 63인용 수 4

한 줄 요약

이 논문은 해석적 홀수 비선형성을 가진 반선형 클라인-고든 방정식에서 지수적으로 작은 동형 분리가 존재함을 엄밀하게 입증하며, 스터링스 상수가 소형 브리더 존재에 대한 주요 장애물임을 규명한다. 일반적인 해석적 홀수 비선형성에 대해 소형 브리더가 존재하지 않음을 증명함으로써 크루스크랄과 세귀르가 제기한 오랜 히우리스틱을 비정상적 섭동 이론과 복소해석 기법을 활용해 공간 동역학 프레임워크 안에서 확인한다.

ABSTRACT

Breathers are nontrivial time-periodic and spatially localized solutions of nonlinear dispersive partial differential equations (PDEs). Families of breathers have been found for certain integrable PDEs but are believed to be rare in non-integrable ones such as nonlinear Klein-Gordon equations. In this paper we show that small amplitude breathers of \emph{any} temporal frequency do not exist for semilinear Klein-Gordon equations with generic analytic odd nonlinearities. A breather with small amplitude exists only when its temporal frequency is close to be resonant with the linear Klein-Gordon dispersion relation. Our main result is that, for such frequencies, we rigorously identify the leading order term in the exponentially small (with respect to the small amplitude) obstruction to the existence of small breathers in terms of the so-called \emph{Stokes constant}, which depends on the nonlinearity analytically, but is independent of the frequency. This gives a rigorous justification of a formal asymptotic argument by Kruskal and Segur \cite{KS87} in the analysis of small breathers. We rely on the spatial dynamics approach where breathers can be seen as homoclinic orbits. The birth of such small homoclinics is analyzed via a singular perturbation setting where a Bogdanov-Takens type bifurcation is coupled to infinitely many rapidly oscillatory directions. The leading order term of the exponentially small splitting between the stable/unstable invariant manifolds is obtained through a careful analysis of the analytic continuation of their parameterizations. This requires the study of another limit equation in the complexified evolution variable, the so-called \emph{inner equation}.

연구 동기 및 목표

• 비통합 비선형 클라인-고든 방정식에서 소형 브리더가 일반적으로 존재하지 않는다는 오랜 동안의 추측을 해결하는 것.
• 비정상적 섭동 프레임워크에서 동형 궤도 형성에 대한 지수적으로 작은 장애물을 규명하는 것.
• 공간 동역학을 활용해 크루스크랄과 세귀르의 형식적 점근적 분석을 동역학계 이론에 엄밀히 연결하는 것.
• 주파수에 관계없이 독립적인 스터링스 상수를 통해 안정 및 불안정 다변량의 분리에 대한 주요 항을 특성화하는 것.
• 일반적인 해석적 홀수 비선형성에 대해 스터링스 상수가 일반적으로 0이 아님을 증명하여 소형 브리더의 존재하지 않음을 의미하는 것.

제안 방법

• 브리더를 공간 동역학 설정에서 동형 궤도로 재정의함으로써 문제를 불변 다변량 분리로 환원하는 것.
• 보단로프-타크엔스 분기와 무한히 빠르게 진동하는 방향이 결합된 비정상적 섭동 접근법을 적용하는 것.
• 불변 다변량 매개변수화의 해석적 계속성을 분석하여 지수적으로 작은 분리 거리를 계산하는 것.
• 복소화된 진화 변수에서 '내부 방정식'을 도입하고 이를 해결하여 지수적으로 작은 항을 포착하는 것.
• 다양한 영역에서 외부 및 내부 해 사이의 복소 매칭 추정을 통해 분리 거리 제어를 수행하는 것.
• 바나흐 공간에서의 고정점 정리 기법을 활용하여 불변 다변량과 그 분리 정도를 엄밀히 추정하는 것.

실험 결과

연구 질문

• RQ1 반선형 클라인-고든 방정식에서 소형 동형 궤도에 대해 안정 및 불안정 다변량의 지수적으로 작은 분리에 대한 주요 항은 무엇인가?
• RQ2 비선형성에만 의존하는 스터링스 상수가 브리더 존재에 대한 장애를 어떻게 결정하는가?
• RQ3 어떤 해석적 홀수 비선형성의 클래스에서 소형 브리더가 존재하지 않으며, 그 이유는 무엇인가?
• RQ4 크루스크랄과 세귀르가 제시한 지수적으로 작은 분리에 대한 형식적 점근적 예측은 엄밀히 정당화될 수 있는가?
• RQ5 해석적 홀수 비선형성에 대해 스터링스 상수가 일반적으로 0이 아닌가? 이는 소형 브리더의 존재하지 않음을 의미하는가?

주요 결과

• 불변 다변량의 지수적으로 작은 분리에 대한 주요 항은 비선형성에 해석적으로 의존하지만 주파수에 무관한 스터링스 상수에 의해 결정된다.
• 일반적인 해석적 홀수 비선형성에 대해 스터링스 상수는 0이 아니며, 이는 주파수가 공진에 가까워지더라도 소형 브리더가 존재하지 않음을 의미한다.
• 논문은 크루스크랄과 세귀르가 제시한 지수적으로 작은 분리에 대한 형식적 점근적 예측이 이 맥락에서 엄밀히 타당하다는 것을 증명한다.
• 내부 방정식은 해석 함수의 바나흐 공간에서 고정점 정리를 통해 해결되어 지수적으로 작은 항에 대한 정밀한 제어를 가능하게 한다.
• 외부 및 내부 해 사이의 복소 매칭 추정을 통해 분리 거리에 대한 정밀한 점근적 표현을 도출하였으며, 이는 진폭의 역수에 의해 지배되는 지수 감쇠를 포함한다.
• 비선형성 매개변수에 대한 섭동적 추론을 통해 스터링스 상수의 일반적인 0이 아닌 성질을 입증함으로써 소형 브리더의 일반적인 부재를 확인한다.