Normalized solution (mathematics)

File:Quantum particle probability density.png {{Quantum mechanics}}

In mathematics, a normalized solution to an ordinary or partial differential equation is a solution with prescribed norm, that is, a solution which satisfies a condition like $\int_{\mathbb{R}^N} |u(x)|^2 \, dx = 1.$ In this article, the normalized solution is introduced by using the nonlinear Schrödinger equation. The nonlinear Schrödinger equation (NLSE) is a fundamental equation in quantum mechanics and other various fields of physics, describing the evolution of complex wave functions. In Quantum Physics, normalization means that the total probability of finding a quantum particle anywhere in the universe is unity.{{Cite journal |last1=Berestycki |first1=H. |last2=Lions |first2=P.-L. |date=1983 |title=Nonlinear scalar field equations. I. Existence of a ground state |journal=Arch. Rational Mech. Anal. |volume=82 |issue=4 |pages=313–345 |doi=10.1007/BF00250555 |bibcode=1983ArRMA..82..313B |mr=0695535}}

Definition and variational framework

In order to illustrate this concept, consider the following nonlinear Schrödinger equation with prescribed norm:{{Cite journal |last=Jeanjean |first=L. |date=1997 |title=Existence of solutions with prescribed norm for semilinear elliptic equations |journal=Nonlinear Analysis: Theory, Methods & Applications |volume=28 |issue=10 |pages=1633–1659 |doi=10.1016/S0362-546X(96)00021-1 |mr=1430506}}

: $-\Delta u + \lambda u = f(u), \quad \int_{\mathbb{R}^N} |u|^2 \, dx = 1,$

where $\Delta$ is a Laplacian operator, $N\ge1, \lambda\in \mathbb{R}$ is a Lagrange multiplier and $f$ is a nonlinearity. If we want to find a normalized solution to the equation, we need to consider the following functional: Let $I: H^{1}_{0}(\mathbb{R}^{N})\rightarrow \mathbb{R}$ be defined by

: $I(u)=\frac{1}{2}\int_{\mathbb{R}^{N}}|\nabla u|^{2}dx -\int_{\mathbb{R}^{N}}F(u)dx$

with the constraint

: $\mathcal{M}=\{u\in H^{1}_{0}(\mathbb{R}^{N}): \int_{\mathbb{R}^{N}} u^{2}=1\}, \ \ \ \$

where $H^{1}_{0}(\mathbb{R}^{N})$ is the Hilbert space and $F(s)$ is the primitive of $f(s)$ .

A common method of finding normalized solutions is through variational methods, i.e., finding the maxima and minima of the corresponding functional with the prescribed norm. Thus, we can find the weak solution of the equation. Moreover, if it satisfies the constraint, it's a normalized solution.{{Cite book |last1=Lieb |first1=E.H. |last2=Loss |first2=M. |date=2001 |title=Analysis |series=Graduate Studies in Mathematics |volume=14 |publisher=American Mathematical Society |isbn=978-0821827833}}

A simple example on Euclidean space

Image:Lagrange very simple-1b.svg

On a Euclidean space $\mathbb{R}^3$ , we define a function $f:\mathbb{R}^2 \rightarrow\mathbb{R}:$

$f(x,y) = (x + y)^2$ with the constraint $x^2 +y^2 =1$ .

By direct calculation, it is not difficult to conclude that the constrained maximum is $f=2$ , with solutions $(x,y)= (\frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2})$ and $(x,y)= (\frac{-\sqrt{2}}{2},\frac{-\sqrt{2}}{2})$ , while the constrained minimum is $f=0$ , with solutions $(x,y)= (\frac{-\sqrt{2}}{2},\frac{\sqrt{2}}{2})$ and $(x,y)= (\frac{\sqrt{2}}{2},\frac{-\sqrt{2}}{2})$ .

History

The exploration of normalized solutions for the nonlinear Schrödinger equation can be traced back to the study of standing wave solutions with prescribed $L^2$ -norm. Jürgen Moser{{Cite journal |last=Moser |first=J. |date=1960 |title=A new proof of de Giorgi's theorem concerning the regularity problem for elliptic differential equations |journal=Communications on Pure and Applied Mathematics |volume=13 |issue=3 |pages=457–468|mr=0170091 |doi=10.1002/cpa.3160130308 }} firstly introduced the concept of normalized solutions in the study of regularity properties of solutions to elliptic partial differential equations (elliptic PDEs). Specifically, he used normalized sequences of functions to prove regularity results for solutions of elliptic equations, which was a significant contribution to the field. Inequalities developed by Emilio Gagliardo and Louis Nirenberg played a crucial role in the study of PDE solutions in $L^p$ spaces. These inequalities provided important tools and background for defining and understanding normalized solutions.{{Cite journal |last=Gagliardo |first=E. |date=1959 |title=Ulteriori proprietà di alcune classi di funzioni in più variabili |journal=Ricerche di Matematica |volume=8 |pages=24–51|mr=0109295 }}{{Cite journal |last=Nirenberg |first=L. |date=1959 |title=On elliptic partial differential equations |journal=Annali della Scuola Normale Superiore di Pisa, Serie 3 |volume=13 |pages=115–162 |mr=0109940}}

For the variational problem, early foundational work in this area includes the concentration-compactness principle introduced by Pierre-Louis Lions in 1984, which provided essential techniques for solving these problems.{{Cite journal |last=Lions |first=P.-L. |date=1984 |title=The concentration-compactness principle in the calculus of variations. The locally compact case, part 1 |journal=Annales de l'Institut Henri Poincaré C |volume=1 |issue=2 |pages=109–145 |doi=10.1016/s0294-1449(16)30428-0 |mr=0778970|url=http://www.numdam.org/item/AIHPC_1984__1_2_109_0/ }}

For variational problems with prescribed mass, several methods commonly used to deal with unconstrained variational problems are no longer available. At the same time, a new critical exponent appeared, the $L^2$ -critical exponent. From the Gagliardo-Nirenberg inequality, we can find that the nonlinearity satisfying $L^2$ -subcritical or critical or supercritical leads to a different geometry for functional. In the case the functional is bounded below, i.e., $L^2$ subcritical case, the earliest result on this problem was obtained by Charles-Alexander Stuart{{Cite journal |last=Stuart |first=C.A. |date=1980 |title=Bifurcation for variational problems when the linearization has no eigenvalues |journal=Journal of Functional Analysis |volume=38 |issue=2 |pages=169–187 |doi=10.1016/0022-1236(80)90063-4 |mr=0587907}}{{Cite book |last=Stuart |first=C.A. |date=1981 |chapter=Bifurcation from the continuous spectrum in $L^*$ -theory of elliptic equations on $\mathbb{R}^N$ |title=Recent Methods in Nonlinear Analysis and Applications |publisher=Liguori, Napoli|mr=0819032 }}{{Cite journal |last=Stuart |first=C.A. |date=1989 |title=Bifurcation from the essential spectrum for some non-compact nonlinearities |journal=Mathematical Applications and Sciences |volume=11 |issue=4 |pages=525–542|doi=10.1002/mma.1670110408 |bibcode=1989MMAS...11..525S |mr=1001101 }} using bifurcation methods to demonstrate the existence of solutions. Later, Thierry Cazenave and Pierre-Louis Lions{{Cite journal |last1=Cazenave |first1=T. |last2=Lions |first2=P.L. |date=1982 |title=Orbital stability of standing waves for some nonlinear Schrödinger equations |journal=Communications in Mathematical Physics |volume=85 |issue=4 |pages=549–561|doi=10.1007/BF01403504 |bibcode=1982CMaPh..85..549C |mr=0677997 }} obtained existence results using minimization methods. Then, Masataka Shibata considered Schrödinger equations with a general nonlinear term.{{Cite journal |last=Shibata |first=M. |date=2014 |title=Stable standing waves of nonlinear Schrödinger equations with a general nonlinear term |journal=Manuscripta Mathematica |volume=143 |issue=1–2 |pages=221–237 |doi=10.1007/s00229-013-0627-9 |mr=3147450}}

In the case the functional is not bounded below, i.e., $L^2$ supcritical case, some new difficulties arise. Firstly, since $\lambda$ is unknown, it is impossible to construct the corresponding Nehari manifold. Secondly, it is not easy to obtain the boundedness of the Palais-Smale sequence. Furthermore, verifying the compactness of the Palais-Smale sequence is challenging because the embedding $H^1(\mathbb{R}^N) \hookrightarrow L^2(\mathbb{R}^N)$ is not compact. In 1997, Louis Jeanjean using the following transform:

: $(s \star u)(x) := e^{\frac{Ns}{2}} u(e^s x).$

Thus, one has the following functional:

: $\tilde{I}(u, s) := I(s \star u) = e^{2s} \int_{\mathbb{R}^N} |\nabla u(x)|^2 dx - \frac{1}{e^{sN}} \int_{\mathbb{R}^N} F(e^{\frac{Ns}{2}} u(x)) dx.$

Then,

: $P(u) := \partial_s \tilde{I}(u, s)|_{s=0} = \int_{\mathbb{R}^N} |\nabla u|^2 - N \int_{\mathbb{R}^N} \left( \frac{1}{2} f(u)u - F(u) \right)$

which corresponds exactly to the Pokhozhaev's identity of equation. Jeanjean used this additional condition to ensure the boundedness of the Palais-Smale sequence, thereby overcoming the difficulties mentioned earlier. As the first method to address the issue of normalized solutions in unbounded functional, Jeanjean's approach has become a common method for handling such problems and has been imitated and developed by subsequent researchers.

In the following decades, researchers expanded on these foundational results. Thomas Bartsch and Sébastien de Valeriola{{Cite journal |last1=Bartsch |first1=T. |last2=de Valeriola |first2=S. |date=2013 |title=Normalized solutions of nonlinear Schrödinger equations |journal=Archiv der Mathematik (Basel) |volume=100 |pages=75–83 |doi=10.1007/s00013-012-0468-x |mr=3009665|arxiv=1209.0950 }} investigate the existence of multiple normalized solutions to nonlinear Schrödinger equations. The authors focus on finding solutions that satisfy a prescribed $L^2$ norm constraint. Recent advancements include the study of normalized ground states for NLS equations with combined nonlinearities by Nicola Soave in 2020, who examined both subcritical and critical cases. This research highlighted the intricate balance between different types of nonlinearities and their impact on the existence and multiplicity of solutions.{{Cite journal |last=Soave |first=N. |date=2020 |title=Normalized ground states for the NLS equation with combined nonlinearities |journal=Journal of Differential Equations |volume=269 |issue=9 |pages=6941–6987 |mr=4107073 |doi=10.1016/j.jde.2020.05.012 |arxiv=1904.03174 }}{{Cite journal |last=Soave |first=N. |date=2020 |title=Normalized ground states for the NLS equation with combined nonlinearities: the Sobolev critical case |journal=Journal of Functional Analysis |volume=279 |issue=6 |pages=108610 |mr=4096725 |doi=10.1016/j.jfa.2020.108610 |arxiv=1901.02003 }}

In bounded domain, the situation is very different. Let's define $f(s)=|s|^{p-2}s$ where $p \in (2, 2^*)$ . Refer to Pokhozhaev's identity,

: $\frac{2 - N}{2} \int_{\Omega} |\nabla u|^2 \, dx - \frac{\lambda N}{2} \int_{\Omega} u^2 \, dx + \frac{N}{p} \int_{\Omega} |u|^{p} \, dx - \frac{1}{2} \int_{\partial \Omega} |\frac{\partial u}{\partial \nu}|^2 x \cdot \nu \, d\sigma = 0.$

The boundary term will make it impossible to apply Jeanjean's method. This has led many scholars to explore the problem of normalized solutions on bounded domains in recent years. In addition, there have been a number of interesting results in recent years about normalized solutions in Schrödinger system, Choquard equation, or Dirac equation.{{Cite journal |last1=Noris |first1=Benedetta |last2=Tavares |first2=Hugo |last3=Verzini |first3=Gianmaria |date=2014 |title=Existence and orbital stability of the ground states with prescribed mass for the L2-critical and supercritical NLS on bounded domains |journal=Anal. PDE |volume=7 |issue=8 |pages=1807–1838 |doi=10.2140/apde.2014.7.1807 |mr=3318740|arxiv=1307.3981 }}

{{Cite journal |last1=Bartsch |first1=Thomas |last2=Jeanjean |first2=Louis |last3=Soave |first3=Nicola |date=2016 |title=Normalized solutions for a system of coupled cubic Schrödinger equations on R3 |journal=J. Math. Pures Appl. (9) |volume=106 |issue=4 |pages=583–614 |doi=10.1016/j.matpur.2016.03.004 |mr=3539467|hdl=11311/1007043 |hdl-access=free }}

{{Cite journal |last1=Bartsch |first1=Thomas |last2=Liu |first2=Yanyan |last3=Liu |first3=Zhaoli |date=2020 |title=Normalized solutions for a class of nonlinear Choquard equations |journal=Partial Differ. Equ. Appl. |volume=1 |issue=5 |pages=Paper No. 34, 25 pp |doi=10.1007/s42985-020-00036-w |mr=4309842}}

{{Cite journal |last=Nolasco |first=Margherita |date=2021 |title=A normalized solitary wave solution of the Maxwell-Dirac equations |journal=Ann. Inst. H. Poincaré C Anal. Non Linéaire |volume=38 |issue=6 |pages=1681–1702 |doi=10.1016/j.anihpc.2020.12.006 |arxiv=2010.14310 |bibcode=2021AIHPC..38.1681N |mr=4327893}}

Some extended concepts

=Mass critical, mass subcritical, mass supcritical=

Let's consider the nonlinear term to be homogeneous, that is, let's define $f(s)=|s|^{p-2}s$ where $p \in (2, 2^*)$ . Refer to Gagliardo-Nirenberg inequality: define

: $\gamma_p := \frac{N(p - 2)}{2p},$

then there exists a constant $C_{N,p}$ such that for any $u \in H^1(\mathbb{R}^N)$ , the following inequality holds:

: $|u|_p \leq C_{N,p} |\nabla u|^{\gamma_p}_2 |u|^{1-\gamma_p}_2.$

Thus, there's a concept of mass critical exponent,

: $p := 2+ \frac{4}{N}.$

From this, we can get different concepts about mass subcritical as well as mass supercritical. It is also useful to get whether the functional is bounded below or not.

=Palais-Smale sequence=

Let $X$ be a Banach space and $I: X \to \mathbb{R}$ be a functional. A sequence $(u_n)_n \subset X$ is called a Palais-Smale sequence for $I$ at the level $c \in \mathbb{R}$ if it satisfies the following conditions:

1. Energy Bound: $\sup_n I(u_n) < \infty$ .

2. Gradient Condition: $\langle I'(u_n), u_n - u \rangle \to 0$ as $n \to \infty$ for some $u \in X$ .

Here, $I'$ denotes the Fréchet derivative of $I$ , and $\langle \cdot, \cdot \rangle$ denotes the inner product in $X$ . Palais-Smale sequence named after Richard Palais and Stephen Smale.{{cite journal|last1=Palais|first1=R. S.|last2=Smale|first2=S.|title=A generalized Morse theory| journal=Bulletin of the American Mathematical Society|volume=70|year=1964|pages=165–172|mr=0158411|doi=10.1090/S0002-9904-1964-11062-4|doi-access=free}}