[Paper Review] Global small amplitude solutions for two-dimensional nonlinear Klein-Gordon systems in the presence of mass resonance

Yuichiro Kawahara, Hideaki Sunagawa|arXiv (Cornell University)|Apr 7, 2011

Advanced Mathematical Physics Problems6 references3 citations

TL;DR

This paper establishes global existence and optimal $ L^rown{\infty} $ decay $ O(|t|^{-1}) $ for small-amplitude solutions to a two-dimensional nonlinear Klein-Gordon system under mass resonance ($ m_2 = 2m_1 $). It introduces a new structural condition on nonlinearities—strictly weaker than the null condition—that includes Yukawa-type interactions, enabling global existence and decay even when the null condition fails.

ABSTRACT

We consider a nonlinear system of two-dimensional Klein-Gordon equations with masses satisfying the resonance relation. We introduce a structural condition on the nonlinearities under which the solution exists globally in time and decays at the rate $O(|t|^{-1})$. In particular, our new condition includes the Yukawa type interaction, which has been excluded from the null condition in the sense of J.-M.Delort, D.Fang and R.Xue.

Motivation & Objective

• To address the breakdown of global existence and decay for small solutions in two-dimensional nonlinear Klein-Gordon systems under mass resonance ($ m_2 = 2m_1 $), where standard null conditions fail.
• To identify a new structural condition on nonlinearities that ensures global existence and $ L^rown{\infty} $ decay $ O(|t|^{-1}) $ in the resonant case.
• To extend known results beyond the null condition, particularly to include physically relevant Yukawa-type interactions such as $ F_1 = u_1 u_2 $, $ F_2 = u_1^2 $.

Proposed method

• Introduce a new structural condition on the quadratic part of the nonlinearity via an integral transform $ \Phi_j(\boldsymbol{\omega}) $ over the hyperboloid $ \mathbb{H} $, capturing resonance effects.
• Use a change of variables $ (t,x) \mapsto (\tau,z) $ adapted to the light cone geometry, transforming the system into a form amenable to energy estimates.
• Apply a modified vector field method with weighted norms involving $ e^{2|z|} $ to control growth in the hyperboloidal region.
• Derive a system of ODEs for the amplitude functions $ \alpha_j $, incorporating the new condition and remainder terms, then use a bootstrap argument with $ L^\infty $ and energy estimates.
• Control error terms via $ \varepsilon $-dependent bounds and exploit the decay $ \tau^{-1} $ in the transformed variables to recover time decay in physical space.
• Establish $ L^p $ decay estimates for $ p \in [2,\infty] $ by combining pointwise bounds with $ L^p $-based integration over the spatial support $ |x| \leq t+K $.

Experimental results

Research questions

• RQ1 Can global small-amplitude solutions exist for two-dimensional nonlinear Klein-Gordon systems under mass resonance ($ m_2 = 2m_1 $) without the null condition?
• RQ2 What structural condition on the nonlinearity ensures $ L^\frown{\infty} $ decay at rate $ O(|t|^{-1}) $ in the resonant case?
• RQ3 Does the new condition include physically relevant Yukawa-type interactions such as $ F_1 = u_1 u_2 $, $ F_2 = u_1^2 $, which are excluded by the classical null condition?
• RQ4 How can the solution's decay be recovered when the standard null condition fails due to logarithmic growth in $ L^2 $-norm?

Key findings

• The solution exists globally in time for small initial data $ \varepsilon $, under the new structural condition, even in the presence of mass resonance.
• The solution decays in $ L^\frown{\infty} $ at the optimal rate $ O(|t|^{-1}) $ as $ t \to \pm\infty $, matching the linear case.
• The new condition includes Yukawa-type interactions such as $ F_1 = u_1 u_2 $, $ F_2 = u_1^2 $, which are excluded by the classical null condition of Delort–Fang–Xue.
• The $ L^p $ decay estimate $ \sum_{|I|\leq 1}\|\partial_{t,x}^I u(t,\cdot)\|_{L^p} \leq C\varepsilon (1+|t|)^{-(1-2/p)} $ holds for all $ p \in [2,\infty] $, with $ C $ independent of $ \varepsilon $.
• The method successfully controls logarithmic growth by exploiting the new condition, preventing the $ \varepsilon^2 \log|t| $ blow-up observed in counterexamples without structural restrictions.
• The proof relies on a hyperboloidal energy method with weighted norms and a refined ODE system for amplitude functions, ensuring $ \sup_{(\tau,z)} e^{-2|z|} |\alpha_j(\tau,z)| \leq C\varepsilon $.