[Paper Review] Uniqueness and non-degeneracy for a nuclear nonlinear Schr\\"odinger equation

Mathieu Lewin, Simona Rota Nodari|arXiv (Cornell University)|May 6, 2014

Advanced Mathematical Physics Problems33 references3 citations

TL;DR

This paper establishes the uniqueness and non-degeneracy of positive radial solutions to a nonlinear Schrödinger-type equation with a state-dependent mass term, arising from a nuclear model. The authors prove that minimizers of the energy functional are unique up to translation and rotation, and the linearized operator around the solution is invertible, ensuring stability and structural robustness of the solution in the non-relativistic limit of the $σ$--$\omega$ model.

ABSTRACT

We prove the uniqueness and non-degeneracy of positive solutions to a cubic nonlinear Schr\\"odinger (NLS) type equation that describes nucleons. The main difficulty stems from the fact that the mass depends on the solution itself. As an application, we construct solutions to the $\\sigma$--$\\omega$ model, which consists of one Dirac equation coupled to two Klein-Gordon equations (one focusing and one defocusing).

Motivation & Objective

• To establish the uniqueness and non-degeneracy of positive solutions to a nonlinear Schrödinger-type equation with a state-dependent mass term, modeling nucleons in the $σ$--$ω$ model.
• To prove that minimizers of the energy functional are radial and unique up to translation and spin orientation.
• To demonstrate that the linearized operator around the solution is an isomorphism, ensuring non-degeneracy and stability of the solution.

Proposed method

• The energy functional is minimized under a mass constraint, leading to a nonlinear PDE with a denominator $(1 - |\psi|^2)_+$ that enforces $|\psi| \leq 1$, modeling saturation effects.
• The problem is reduced to a scalar radial equation via the assumption $\psi(x) = \varphi(|x|) \begin{pmatrix}1 \\ 0\end{pmatrix}$, simplifying the system to a single equation in $\varphi$.
• Radial symmetry of minimizers is proven using rearrangement techniques and the moving plane method.
• Uniqueness and non-degeneracy in the radial class are established via a spectral analysis of the linearized operator around the solution.
• The implicit function theorem is applied to extend the non-relativistic solution to a small relativistic parameter $\varepsilon > 0$, proving existence of solutions in the full relativistic model.
• The linearized operator is decomposed into a Dirac-type isomorphism and a compact perturbation, proving invertibility via Fredholm theory.

Experimental results

Research questions

• RQ1 Are positive solutions to the nonlinear Schrödinger-type equation with state-dependent mass unique up to translation and rotation?
• RQ2 Is the linearized operator around the solution invertible, ensuring non-degeneracy and stability?
• RQ3 Can the non-relativistic solution be extended to a small relativistic parameter $\varepsilon > 0$ via the implicit function theorem?
• RQ4 Do minimizers of the energy functional necessarily have radial and decreasing form?
• RQ5 Is the solution structure robust under small relativistic corrections in the $\sigma$--$\omega$ model?

Key findings

• Minimizers of the energy functional are radial and decreasing, as proven via rearrangement and moving plane methods.
• The unique positive solution to the radial equation is non-degenerate: the linearized operator around it is an isomorphism on the radial subspace.
• The solution is unique up to translation and spin orientation, with no other minimizers existing under the given constraints.
• The non-relativistic solution can be extended to a small relativistic parameter $\varepsilon > 0$ via the implicit function theorem, ensuring existence of solutions in the full relativistic model.
• The linearized operator is shown to be invertible by decomposing it into an isomorphism and a compact perturbation, leveraging spectral theory.
• The solution structure is stable under small perturbations, confirming the robustness of the solution in the $\sigma$--$\omega$ model's non-relativistic limit.