Abstract
In this paper, we show the global well-posedness of a higher-order nonlinear Schrödinger equation. Specifically, we consider a system of infinitely many coupled higher-order Schrödinger–Poisson–Slater equations with a self-consistent Coulomb potential. We prove the existence and uniqueness global in time of solutions in \(L^{2}( \mathbb{R}^{3})\) and in the energy space.
Similar content being viewed by others
1 Introduction
This paper is devoted to the mathematical analysis of the following higher-order Schrödinger–Poisson–Slater mixed system (SPS in short) in three space dimensions:
The wavefunction \(\psi_{k}\) depends on time t and space \(x\in {\mathbb{R}^{3}}\). The constants m, c and ħ denote the mass of a particle, the speed of light, and the reduced Planck constant, respectively. The constants \(c_{c}\), \(c_{p}\) and \(c_{s}\) denote physical interaction constants; the subscripts \(\cdot_{c}\), \(\cdot_{p}\) and \(\cdot_{s}\) stand for Coulomb, Poisson and Slater, respectively. The SPS system can be either repulsive (\(c_{p}>0\)) or attractive (\(c_{p}<0\)). The differential operator Δ is the Laplace operator, and ⋆ denotes the convolution operator in \({\mathbb{R}^{3}}\). \(\rho_{\psi}\) denotes the charge density and is given by \(\rho_{\psi}:=\sum_{j\in {\mathbb {N}}} \gamma_{i} | \psi_{j}|^{2}\), where \(\{\gamma_{j}, j\in {\mathbb {N}}\} \subset\ell^{1}({\mathbb {N}})\) is the set of occupation numbers and are such that \(\gamma_{j} \geq0\) and \(\sum_{j\in {\mathbb {N}}} \gamma_{j}=1\). The nonlinear term \(-c_{s} \rho_{\psi}^{\frac{1}{3}} \psi_{k}\) was introduced by Slater as a local correction to the exchange term in the Hartree–Fock equations. This correction should be understood, following Dirac and Slater, as a quantum effect in contrast with the Poisson term which has a classical counterpart, we refer to [1, 2] for more details, and to [3,4,5] for an heuristic justification of this term. The difference between system (1) and the classical SPS system is that the kinetic operator \(\frac{\hbar}{2m} \Delta\) is replaced by the higher-order operator \(\sum_{j=0}^{J} \frac{\alpha(j) \hbar^{2j}}{m^{2j-1} c^{2j-2}} \Delta^{j}\) where \(J\in {\mathbb {N}}^{\star}\). This idea was developed in [6, 7] and is based on Einstein’s mass–energy equivalence and a finite expansion approach. This model is adapted for particles with velocity less than \(\frac{c}{\sqrt{2}}\).
System (1) belongs to the family of higher-order Schrödinger equations that have been developed in, e.g., [7, 8]. These are Schrödinger-type equations involving higher-order Schrödinger operator converging, in principle, to the semi-relativistic bound-state equation called the spinless Salpeter equation; see, e.g., [9,10,11,12]. The semi-relativistic spinless Salpeter equation is of high importance in particle physics and provides a particularly well defined approximation to the Bethe–Salpeter formalism designed for the Lorentz-covariant description of bound states within relativistic quantum field theory. The spinless Salpeter equation can be formally obtained using a three-dimensional reduction and suitable justified physical hypotheses. More importantly, it can be regarded as a generalization of the classical Schrödinger equation with the inclusion of the relativistically correct free-particle kinetic energy. We refer the reader to [6] for a more detailed discussion of the physical background and application of the higher-order Schrödinger equations (also see [7] for an application to the case of alpha particles and see [13, 14] for alternative applications).
In the sequel, we assume that the sequence of nonnegative real numbers \(\{\gamma_{j}, j\in {\mathbb {N}}\} \subset\ell^{1}({\mathbb {N}})\) are fixed. That is, they do not depend on time as in the time dependent multi-configuration models (see e.g. [15] ). Next, we recall the definition of some functional spaces, originally introduced in [16, 17]. We denote \(\gamma:=(\gamma_{1},\gamma_{2}, \ldots)\) and we define, for all \(1\leq p\leq q\leq+\infty\), the \(L^{p}(\gamma)\) space as follows:
For a given time interval I, we denote \(L^{q,p}_{I}(\gamma):= L ^{q}(I;L^{p}(\gamma))\). We shall use the notation \(L^{q,p}_{T}( \gamma)\) when \(I=[0,T]\). Also, we shall use the shorthand notation \(L^{q,p}_{\mathrm{loc}}(\gamma)\) and \(L^{q,p}(\gamma)\) for \(L^{q}_{ \mathrm{loc}}([0,+\infty);L^{p}(\gamma))\) and \(L^{q}([0,+\infty);L^{p}( \gamma))\), respectively. Now, we introduce
equipped with the norms
Eventually, we define the set
The main result of this paper is the following.
Theorem 1.1
Let \(J\geq2\) and \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\) be a set of initial data in \(L^{2}(\gamma)\) and \((q,p) \in\mathfrak{J}\) such that \(3< p\leq6\). Then the SPS system (1) has a unique solution \(\psi(t,x)\) satisfying
In addition, if \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\in H^{2J}(\gamma)\), then
This theorem shows the well-posedness of system (1) with initial data in \(L^{2}\) instead of the energy space. Also, it is worth mentioning that Theorem 1.1 can be extended as follows.
Corollary 1.2
Let \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\) be a set of initial data in \(H^{J}(\gamma)\), then the SPS system (1) has a unique solution \(\psi(t,x)\) satisfying \(\psi(t,x)\in C^{0}([0,+\infty),H^{J}(\gamma))\).
There is a very rich mathematical literature dedicated to the analysis of the Hartree and Hartree–Fock equations. The well-posedness in the energy space \(H^{1}({\mathbb{R}^{3}})\) of the Hartree–Fock equations (\(\delta=1\), \(k=1,\ldots,N\)) was obtained in [18] (see also [19]). An \(L^{2}\) theory was established, independently, in [16] and [17]. The authors established Strichartz’ type estimates for the free Schrödinger semigroup in some weighted spaces, and used a contraction argument to conclude. In [20], the authors showed the well-posedness of the classical SPS system in \(L^{2}({\mathbb{R}^{3}})\), and in the energy space \(H^{1}({\mathbb{R}^{3}})\). In the context of higher-order Hartree–Fock equations, the existence and uniqueness of solutions in \(L^{2}({\mathbb{R}^{3}})\), \(H^{2J}({\mathbb {R}^{3}})\) and \(H^{J}({\mathbb{R}^{3}})\) is proved for \(J\geq2\) in [6]. Theorem 1.1 extends this result to the case of the SPS system.
2 Proof of Theorem 1.1
In this section we prove Theorem 1.1 by proceeding in two steps. First, we collect a few technical lemmas providing necessary Lipschitz bounds to set a contraction argument and obtain the existence and uniqueness of solutions in \(L^{q,p}(\gamma)\). The second step consists in the proof of the existence and uniqueness of solutions in \(H^{2J}(\gamma)\). From this point onward, κ will denote variant universal constants that may change from line to line of an inequality, and we will emphasize it when it depends on important parameters. Also, we shall use the notation \(\zeta(0)\) instead of \(\zeta(t=0)\) for all functions, and \(\varPsi:=\psi-\varphi\) and \(\rho_{\varPsi}:=\rho_{ \psi}-\rho_{\varphi}\) when there is no confusion.
For all \(J\in {\mathbb {N}}^{\star}\), we denote by \(U_{J}(t)\) the propagator of the free higher-order Schrödinger operator. More precisely,
In particular, \(U_{J}(t)\) is an unitary operator on every \(H^{s}\) for all \(s\in\mathbb{R}\) (see Ref. [6], Proposition 3.4). In order to prove the existence of solutions, we seek a fixed point of the following functional:
in a well-chosen closed ball. To ease the notation, we shall use the following:
for all time intervals I, so that we can write
2.1 \(L^{q,p}(\gamma)\) solutions
In this subsection, we prove the first part of Theorem 1.1. For that purpose, we need the following local Strichartz estimates for the propagator \(U_{J}(t)\).
Lemma 2.1
([21])
Let \(J\geq2\), \((q_{1},p_{1}),(q_{2},p_{2}) \in\mathcal{J}\), and I a finite time interval of length less than 1. Then:
-
1.
There exists \(\kappa:=\kappa(p_{1})\) such that
$$ \bigl\Vert U_{J}(\cdot) \zeta \bigr\Vert _{L^{q_{1}.p_{1}}_{I}(\gamma)} \leq \kappa \Vert \zeta \Vert _{{L^{2}(\gamma)} },\quad \textit{for all } \zeta\in L ^{2}(\gamma). $$ -
2.
If I contains the origin, there exists \(\kappa:=\kappa(p _{1},p_{2})\) such that
$$ \bigl\Vert \varLambda_{I}(\zeta) \bigr\Vert _{L^{q_{1}.p_{1}}_{I}(\gamma)} \leq \kappa \Vert \zeta \Vert _{L^{\frac{q_{2}}{q_{2}-1}, \frac{p_{2}}{p_{2}-1}}_{I}(\gamma)},\quad \textit{for all } \zeta \in L^{\frac{q_{2}}{q_{2}-1},\frac{p_{2}}{p_{2}-1}}(\gamma). $$
This lemma is an extension of the results of [21]. The adaptation of the classical Strichartz’ estimates to our weighted spaces is straightforward, and we refer the reader to [17] for a proof. Thanks to Lemma 2.1, we have
whenever the right hand side is finite. Next, we recall the following mass-conservation property of the SPS system.
Lemma 2.2
Let \(T>0\) and \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\) a set of initial data in \(L^{2}(\gamma)\). If there exists a weak solution \(\psi(t)=({\psi _{i}(t)})_{i\in {\mathbb {N}}}\) to the SPS system on \([0,T]\), then \(({\psi_{i}(t)})_{i \in {\mathbb {N}}}\) is such that \(\| \psi(t)\| _{{L^{2}(\gamma)} }=\| \phi\| _{{L^{2}(\gamma)} }\) for all \(t\in[0,T]\).
Proof
On the one side, we multiply the SPS system (1) by \(\bar{\psi}_{l}\) and integrate with respect to space. On the opposite side, we replace k by l in (1), take the complex conjugate of the system, multiply by \(\phi_{l}\), integrate with respect to space, and integrate by parts the term \(-\sum_{j=0}^{J} \frac{\alpha(j) \hbar^{2j}}{m^{2j-1} c^{2j-2}}\int_{\mathbb{R}^{3}} [{\Delta^{j} \bar{\psi}_{l}}] \psi_{k}\,dx\). Eventually, summing up the two equalities leads to the desired the result. □
Now, we estimate the linear and nonlinear parts in \(\mathfrak {B}^{\prime q,p} _{T}(\gamma)\) for all \((q,p) \in\mathfrak{J}\) and \(T>0\). First, we have
Lemma 2.3
Let \(T>0\), \((q,p) \in\mathfrak{J}\) such that \(3< p\leq6\) and \(\psi,\varphi\in\mathfrak{B}^{q,p}_{T}(\gamma)\). Then there exists \(\kappa:=\kappa(p)>0\) such that
Proof
The proof is based on a cut-off of the Coulomb potential \(\frac{1}{|x|}\). Indeed, for all function \(\chi\in C^{\infty}\) such that \(\chi(r)=1\) for \(0\leq r\leq1\) and \(\chi(r)=0\) for \(r\geq2\), we have clearly
On the one side, we set \(b=+\infty\) and obtain
On the opposite side, using Hölder’s inequality in time and space, combined with the fact that \((q,p) \in\mathfrak{J}\), we obtain
The right hand side of this estimate is finite for all \(3< p\leq6\), which ensures that \(\frac{p}{p-2} \in [ \frac{3}{2},3 [ \). Summing up the two inequalities we get (4). □
Now, let us make clear the relation between the norms of the density \(\rho_{\psi}\) and the wavefunction ψ. Thanks to Minkowski’s inequality, we have \(\| \psi\| _{L^{p}(\gamma)} \leq\| \rho^{\frac{1}{2}}_{\psi}\| _{L^{p}}\) for all \(p\leq2\). Also, using the reverse Minkowski inequality for all \(p\geq2\), we obtain \(\| \rho^{\frac{1}{2}}_{\psi}\| _{L^{p}} \leq\| \psi\| _{L ^{p}(\gamma)}\). We shall use this property tacitly in the sequel. Now, the Poisson part of the system satisfies the following.
Lemma 2.4
Let \(T>0\), \((q,p) \in\mathfrak{J}\) such that \(3< p\leq6\) and \(\psi,\varphi\in\mathfrak{B}^{q,p}_{T}(\gamma)\). Then there exists a constant \(\kappa:=\kappa(p)\) such that
Proof
The proof is the same as in Ref. [17], we sketch it here for the reader’s convenience. We have
We shall use the cut-off of the Coulomb potential given in the proof of Lemma 2.3. On the one hand, recalling that \(\rho_{\psi}=\sum_{i} \gamma_{i} |\psi_{i}|^{2}\) and using Young’s and Hölder’s inequalities, we get
and
Equivalently, we have
and
Gathering these estimates, we obtain (5). Observe that the condition \(3< p\leq6\) is needed to bound the short-range part of the potential as in Lemma 2.3. □
Now, we provide estimates for the Slater part of the SPS system.
Lemma 2.5
Let \(T>0\), \((q,p) \in\mathfrak{J}\) with \(p>2\) and \(\psi,\varphi \in\mathfrak{B}^{q,p}_{T}(\gamma)\). Then there exists a pair \((r,s) \in\mathfrak{J}\) such that
Proof
We follow the argument of [20] using different \(L^{q,p}( \lambda)\) spaces. First, using a first-order Taylor expansion, we can write for all \(\theta\in[0,1]\)
Indeed, the Fréchet derivative of \(\rho_{\zeta}^{\frac{1}{3}} \zeta\) is given by
where the symbol ℜ denotes the real part of complex numbers, and \(\langle h,\psi\rangle_{\ell^{2}(\gamma)}\) denotes the Euclidean scalar product in \(\ell^{2}(\gamma)\), \(\langle h,\psi \rangle_{\ell^{2}(\gamma)}:=\sum_{j}\gamma_{j} h_{j} \bar{\psi} _{j}\). Our aim is to estimate \(\mathfrak{T}_{1} \) and \(\mathfrak{T} _{2}\) in \(L^{\frac{p}{p-1},\frac{r}{r-1}}(\gamma)\). The proof of this fact is a straightforward application of Minkowski’s inequality. Indeed, let \((q,p) \in\mathfrak{J}\), then using Hölder’s inequality in space and time we get
In order to pass from the second to the third line of the estimate above, we used the fact that \(\| \rho^{\frac{1}{2}}_{\zeta}\| _{L ^{q,p}} \leq\| \zeta\| _{L^{q,p}(\gamma)}\) for all \(p\geq2\) and \(\zeta\in L^{q,p}(\gamma)\). Observe that \(\frac{Jp}{Jp-1}\) is the conjugate of Jp and \(\frac{6p}{3p+4}\) is the conjugate of \(\frac{6p}{3p-4}\), and that the pair \(( Jp,\frac {6p}{3p-4} ) \in\mathfrak{J}\). Eventually, we have obviously \(1-\frac{1}{2J}>0\) for all \(J\geq2\). Now, we make an estimate of \(\mathfrak{T}_{1}\):
In the first line, we used the Cauchy–Schwartz inequality, \(|\langle h,\psi\rangle_{\ell^{2}(\gamma)}|^{2} \leq\rho_{\psi} \rho_{h}\) and the notation \(|\zeta|=(|\zeta_{j}|)_{j\in {\mathbb {N}}}\). In the second line, we used the fact that \(\| \zeta\| _{L^{q,p}(\gamma)} \leq\| \rho^{\frac{1}{2}}_{\zeta}\| _{L^{q,p}}\) for all \(p\leq2\) and \(\zeta\in L^{q,p}(\gamma)\). Clearly, we have \(\frac{6p}{3p+4}\leq2\). Eventually, the proof of the lemma is achieved by setting \((r,s)= ( Jp,\frac{6p}{3p-4} ) \). □
Now, we are able to set up a contraction argument to prove the first part of Theorem 1.1. Let \(0< T\leq1\) to be fixed later on, \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\) be a set of orthonormal initial data in \(L^{2}(\gamma)\), and \(\psi=(\psi_{i})_{i\in {\mathbb {N}}}\), \(\varphi=( \varphi_{i})_{i\in {\mathbb {N}}}\) in the following closed ball:
Using Lemmas 2.1–2.5, we can write for all \((q,p) \in\mathfrak{J}\) such that \(3< p\leq6\) and \(J\geq2\), We have
Now, since \(\frac{3}{J} ( \frac{1}{2}-\frac{2}{p} ) \leq \frac{1}{2J}\), we let \(R:=2 \kappa(p) \| \phi\| _{{L^{2}(\gamma)} }\) and
Therefore, we get
This shows that Λ maps \(B_{R}\) into itself. Equivalently,
Therefore, if we now let
then there exists a constant \(0<\tilde{\eta}<1\) such that
We infer that Λ is a strict contraction on \(B_{R}\). Therefore, the SPS system has a solution in \(L^{\infty}([0,T];{L^{2}(\gamma)} )\). Moreover, the solution is unique in \(L^{\infty}([0,T];{L^{2}(\gamma)} ) \cap L^{q,p}_{T}\) for all \((q,p)\in\mathfrak{J}\) such that \(3< p\leq6\). The fact that the solution is in \(C^{0}([0,T];{L^{2}(\gamma)} )\) follows using standard arguments. The last point to make clear is the global existence of the solution, which is a consequence of Lemma 2.2. Indeed, the time \(T>0\) fixed above depends only on the \(L^{2}\) norm of the initial data, which is conserved by the dynamics of the SPS system. Thus, one can reiterate the contraction argument to cover the whole real line.
2.2 \(H^{2J}(\gamma)\) solutions
In this section we prove the second part of Theorem 1.1. For that purpose, we follow the method of Kato (see Refs. [22, 23]) by setting a fixed point argument. From this point onward, we shall use the notation \(C^{p}_{T}{\bf X}:=C^{p}([0,T]; {\bf X})\), \(L^{p}_{T}{\bf X}:=L^{p}([0,T];{\bf X})\) and \(W^{q,p}_{T} {\bf X}:=W^{q,p}([0,T];{\bf X})\) for a given functional space \({\bf X}\). Let us summarize the following properties associated with the operator \(U_{J}(t)\).
Lemma 2.6
Let \(J\geq2\), \((q,p)\in\mathfrak{J}\) and \(\zeta\in H^{2J}(\gamma)\), then for all \(t\in[0,T]\) we have \(U_{J}(t)\zeta\in C^{0}_{T}H^{2J}(\gamma)\) and \(\| U_{J}(t) \zeta\| _{L^{\infty}_{T}H^{2J}(\gamma)} \leq\| \zeta\| _{H^{2J}(\gamma)}\). Moreover, \(U_{J}(t)\zeta\in C^{1}_{T}{L^{2}(\gamma)} \cap W^{1,q}_{T}L^{p}( \gamma)\) and there exists a constant \(\kappa=:\kappa(p)\) such that \(\| U_{J}(t)\zeta\| _{W^{1,q}_{T}L^{p}(\gamma)} \leq\kappa \| \zeta\| _{H^{2J}(\gamma)}\).
Proof
The first assertion follows immediately from the expression of \(U_{J}(t)\) in Fourier variables. Now, let ζ be an initial data to the equation
Then the second assertion is a consequence of Strichartz’ estimates given in Lemma 2.1 and the fact that
This finishes the proof. □
This lemma provides an estimate which is equivalent to the first estimate in (3). The equivalent of the second estimate in (3) is a direct consequence of the following.
Lemma 2.7
Let \(J\geq2\), \((q_{1},p_{1}), (q_{2},p_{2})\in\mathfrak{J}\) and \(\zeta\in L^{\infty,2}_{T}(\gamma)\) such that \(\partial_{t} \zeta\in L^{\frac{q_{2}}{q_{2}-1},\frac{p_{2}}{p_{2}-1}}_{T}(\gamma)\). Then \(\varLambda_{[0,T]}(\zeta)\in L^{\infty}_{T}H^{2J}(\gamma) \cap C ^{1}_{T}{L^{2}(\gamma)} \cap W^{1,q_{1}}_{T}L^{p_{1}}(\gamma)\) and
Moreover, if \(\zeta\in C^{0}_{T}{L^{2}(\gamma)} \), then \(\varLambda _{[0,T]}(\zeta) \in C^{0}_{T}H^{2J}(\gamma)\).
Proof
The proof is based on Strichartz’ estimates given in Lemma 2.1. Indeed, the first assertion is nothing but the second estimate in Lemma 2.1 with the pair \((1,2)\) as the conjugate of \((\infty,2) \in\mathfrak{J}\). To prove the second assertion, we observe that
This formula is justified by the fact that \(\partial_{t} \zeta \in\mathfrak{B}^{\prime q_{2},p_{2}}_{T} \subset L^{1}_{T}H^{-J}(\gamma)\), thus \(\zeta\in C^{0}_{T}H^{-J}(\gamma)\). In particular \(\zeta(0)\) makes sense, actually it belongs to \({L^{2}(\gamma)} \). Thanks to Lemma 2.1, we have
In order to prove the last assertion, we write
This formulation is justified by the same argument as above, thus we have \((-\Delta)^{J}\varLambda_{[0,T]}(\zeta)\in L^{\infty,2}_{T}( \gamma)\), and the desired estimate follows immediately using the second assertion. □
Now, we have \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi)-\mathfrak{S}( \psi): H^{2J}(\gamma)\rightarrow L^{2}\). Thus, it is rather easy to see that there exists \(0\leq s<2J\) such that \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi)-\mathfrak{S}(\psi) \in C^{0}(H^{s}(\gamma), {L^{2}(\gamma)} )\). For instance, if we fix \(s\geq1\), we have
That is, \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi)-\mathfrak{S}( \psi) \in L^{\infty,2}_{T}(\gamma)\) for all \(\psi\in L^{\infty} _{T}H^{s}(\gamma)\). Also, there exists a continuous function \(\eta:\mathbb{R}^{\star}_{+} \rightarrow\mathbb{R}^{\star}_{+}\) such that, for every \(\psi\in L^{\infty}_{T}H^{s}(\gamma)\) satisfying \(\| \psi\| _{L^{\infty}_{T}H^{s}(\gamma)} \leq K\), we have
Let us write \(\mathfrak{C} =\mathfrak{C}_{1}+\mathfrak{C}_{2}\), and equivalently for \(\mathfrak{P}\) with respect to the short and long ranges of \(\frac{1}{|x|}\). Then we have the following.
Lemma 2.8
Let \(T>0\), \(3<\bar{p}\leq6\), \(2<\tilde{p}<6\), and q̄, q̃ such that \((\bar{q},\bar{p}), (\tilde{q}, \tilde{p}) \in\mathfrak{J}\). Then, for all \(\psi\in L^{\infty}_{T}H^{s}(\gamma)\) such that \(\| \psi\| _{L^{\infty}_{T}H^{s}(\gamma)} \leq K\) and \(\partial _{t}\psi\in L^{ {\bar{q}},\bar{p}}_{T}(\gamma)\cap L_{T}^{\infty,2}( \gamma)\), we have
Proof
Thanks to Lemmas 2.3–2.5, if \(\psi,\varphi\in H^{2J}(\gamma)\) such that \(\| \psi\| _{H^{s}(\gamma)},\| \psi\| _{H^{s}(\gamma)}\leq K\), then for all \(3<\bar{p}\leq6\) and \(2<\tilde{p}<6\) we have
Consequently, thanks to Proposition 1.3.12 of [23], we have
Eventually, applying Hölder’s inequality in time finishes the proof. □
Next, we set a fixed point argument and finish the proof of Theorem 1.1. First, observe that the SPS system (1) and the Duhamel formulation (2) are equivalents. Indeed, let \(\psi\in L^{\infty}_{T}H^{s}(\gamma)\), then \((-\Delta)^{J}\psi\in L^{\infty}_{T} H^{s-2J}(\gamma) \) since \((-\Delta)^{J} \psi\in\mathcal{L}(H^{s},H^{s-2J})\). Moreover, for all \(T>0\), \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi)-\mathfrak{S}(\psi): I \rightarrow{L^{2}(\gamma)} \) is measurable since \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi)-\mathfrak{S}(\psi) \in C^{0}(H^{s}(\gamma), {L^{2}(\gamma)} )\) and bounded since it is bounded on bounded sets, thus \(\mathfrak{C}( \psi) + \mathfrak{P}(\psi)-\mathfrak{S}(\psi) \in L^{\infty,2} _{T}(\gamma)\). Therefore, Eqs. (1) and (2) are well defined on \({L^{2}(\gamma)} \). The equivalence follows using the fact that \((U_{J}(t))_{t\in\mathbb{R}}\) is a group of isometries on \({L^{2}(\gamma)} \).
Let \(0\leq s<2J\) such that the three estimates (8) hold true, and \((q,p)\in\mathfrak{J}\) such that \(p=\max\{\bar{p}, \tilde{p}\}\) of Lemma 2.8. Also, let \(T,K>0\) be fixed hereafter, and introduce the space
Notice that \(\mathcal{L}(\gamma) \neq\varnothing\) for all \(\gamma>0\) since \(\psi(t)=\varphi\in\mathcal{L}\) and that \((\mathcal{L}, d)\) is a complete metric space when endowed with the distance \(d(\psi,\varphi)=\| \psi-\varphi\| _{\mathfrak{B}_{T} ^{q,p}} \). Thanks to (8), in particular (9), we see that \(\varLambda_{[0,T]}(\mathfrak{C}(\psi) +\mathfrak{P}(\psi) +\mathfrak{S}(\psi))(t,x)\) belongs to \(C^{0}_{T}{L^{2}(\gamma)} \), therefore it is well defined. Now, thanks to Hölder’s inequality, if \(\psi\in \mathcal{L}(\gamma)\), then \(\psi\in W^{1,\bar{q}}_{T}L^{\bar{p}}( \gamma)\). Indeed,
With Lemma 2.8, one deduces the following estimates:
Next, using (9) with the first estimate of Lemma 2.7, we obtain the existence of a constant κ̃ independent of K and T such that
The other estimates of Lemma 2.7 show that \(\varLambda_{[0,T]}( \mathfrak{C}(\psi) +\mathfrak{P}(\psi) +\mathfrak{S}(\psi)) \in L ^{\infty}_{T} H^{2J}(\gamma)\cap W^{1,l}_{T}L^{m}(\gamma)\) for all \(\psi \in\mathcal{L}(\gamma)\) and all pairs \((l,m)\in\mathfrak{J}\). Also, using Lemma 2.7 and estimates (9)–(10), we obtain (by possibly choosing a larger κ̃)
and
Combining these estimates with Lemma 2.6 and (10), we obtain (by possibly choosing larger κ̃)
Also,
Next, we choose K in \(\mathcal{L}(\gamma)\) such that
and
Hence, using (12) we obtain
Eventually, using the interpolation inequality \(\| \psi\| _{H^{s}( \gamma)} \leq\| \psi\| ^{\frac{2-s}{2}}_{L^{2}(\gamma)} \| \psi\| ^{\frac{s}{2}}_{H^{2J}(\gamma)}\), and the estimates (11) and (13), and possibly choosing T smaller, we obtain
In particular, the functional Λ maps \(\mathcal{L}(\gamma)\) into itself. A slight modification of the estimates of the nonlinear terms of the SPS system shows that one can choose T possibly smaller in order to show that the mapping Λ is a strict contraction on the complete metric \((\mathcal{L}(\gamma),d)\). Therefore, we can deduce the existence of a fixed point \(\psi\in\mathcal{L}(\gamma)\) solving the system (1) with initial data \(\phi\in H^{2J}(\gamma)\). Lemma 2.6 and Lemma 2.7 allow one to deduce that \(\psi(t,x)\in C^{0}_{T}H^{2J}(\gamma)\cap C^{1}_{T}L^{2}(\gamma)\). For this purpose, the technical point is to show that \(\mathfrak{C}(\psi) + \mathfrak{P}(\psi) -\mathfrak{S}(\psi)\in C^{0}_{T}L^{2}(\gamma)\). This can be achieved by observing that \(\psi\in C^{0}_{T}L^{2}( \gamma)\) and using (13) to obtain \(\psi\in L^{\infty}_{T}H^{2J}(\gamma)\). Eventually, the interpolation inequality used before leads to \(\psi\in C^{0}_{T}H^{s}(\gamma)\), hence \(\mathfrak{C}(\psi) +\mathfrak{P}(\psi) -\mathfrak{S}(\psi)\in C ^{0}_{T}L^{2}(\gamma)\) since \(\mathfrak{C}(\psi) +\mathfrak{P}( \psi) -\mathfrak{S}(\psi)\in C(H^{s}(\gamma), L^{2}(\gamma))\). Observe that \(\psi\in W^{1,l}_{T}L^{m}(\gamma)\) for all pairs \((l,m)\in\mathfrak{J}\), and the uniqueness of the solution readily follows using a difference argument (the proof is in the same spirit of the one showing that the mapping Λ is a strict contraction). The blow-up alternative and the continuous dependence on the initial data can be shown using standard arguments, and we refer to, e.g., [23]. Eventually, notice that the time T depends on J, p, p̄, p̃ and K, and that K depends only on the initial data, therefore one can reiterate the argument (with initial data \(\psi(T),\psi(2T),\ldots\)) and cover the whole real line, which finishes the proof of Theorem 1.1.
2.3 \(H^{J}(\gamma)\) solutions
The proof of Corollary 1.2 can be achieved using a limiting procedure based on Theorem 1.1. Indeed, we construct a solution in \(H^{J}(\gamma)\) as a limit of a sequence of solutions in \(H^{2J}(\gamma)\). The proof is standard, we skip it and refer to [23] for similar arguments (see also [20]). The key point is to show the boundedness of ψ in \(H^{J}(\gamma)\), which is a consequence of the following.
Lemma 2.9
Let \(T>0\) and \(\phi=(\phi_{i})_{i\in {\mathbb {N}}}\) a set initial data in \(H^{2J}(\gamma)\) and \(\psi(t)=({\psi_{i}(t)})_{i\in {\mathbb {N}}}\) the associated solution to the SPS system. Then, for all \(t\in[0,T]\), we have
Proof
The proof is standard. The higher-order operator and the Slater terms do not bring any new difficulties, and we refer the reader to [18] for an explicit proof in the case of Hartree and Hartree–Fock, and to [15, 24] for a proof in a more general setting (see also [25] for the pseudo-relativistic case, that is, when the kinetic operator is given by \(\sqrt{- \alpha^{2} \Delta_{x_{i}} +\alpha^{-4}}\) where \(\alpha>0\) denotes Sommerfeld’s fine structure constant). □
To show that there exists a constant such that \(\| \psi\| _{L^{ \infty}_{T}H^{J}(\gamma)} \leq C\) for all \(T>0\), we need to control the kinetic part of the energy which obviously depends on the parity of J. For this purpose, we need the following Gagliardo–Nirenberg inequality:
Therefore, it is enough to focus on the leading term in the kinetic energy part, namely \((-1)^{J+1}\frac{\alpha(J) \hbar^{2J}}{m^{2J-1} c^{2J-2}} \| \Delta^{\frac{J}{2}} \psi\| _{{L^{2}(\gamma)} }\). Let us assume that J is odd. Then, using (14) with the mass conservation and the estimate
we infer that the leading term in the kinetic part dominates the Slater correction since \(J>\frac{3}{8}\). Thus \(\psi\in L^{\infty }_{T}H^{J}(\gamma)\). Now, assume J is even, then again using (14) with the mass conservation and the estimates
we infer that the leading term of the kinetic part dominates the potential part. Therefore \(\psi\in L^{\infty}_{T}H^{J}(\gamma)\).
Abbreviations
- SPS:
-
Schrödinger–Poisson–Slater
References
Slater, J.C.: A simplification of the Hartree–Fock method. Phys. Rev. 81(3), 385 (1951)
Dirac, P.A.: Note on exchange phenomena in the Thomas atom. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol. 26, pp. 376–385. Cambridge University Press, Cambridge (1930)
Bach, V.: Accuracy of mean field approximations for atoms and molecules. Commun. Math. Phys. 155(2), 295–310 (1993)
Bokanowski, O., Grebert, B., Mauser, N.J.: Local density approximations for the energy of a periodic Coulomb model. Math. Models Methods Appl. Sci. 13(08), 1185–1217 (2003)
Friesecke, G.: Pair correlations and exchange phenomena in the free electron gas. Commun. Math. Phys. 184(1), 143–171 (1997)
Carles, R., Lucha, W., Moulay, E.: Higher-order Schrödinger and Hartree–Fock equations. J. Math. Phys. 56(12), 122301 (2015)
Carles, R., Moulay, E.: Higher-order Schrödinger equations. J. Phys. A, Math. Theor. 45(39), 395304 (2012)
Kim, J., Arnold, A., Yao, X.: Global estimates of fundamental solutions for higher-order Schrödinger equations. Monatshefte Math. 168(2), 253–266 (2012)
Cycon, H.L., Foese, R.G., Kirsch, W., Simon, B.: Schrödinger Operators with Application to Quantum Mechanics and Global Geometry, study edn. Texts and Monographs in Physic, vol. 10. Springer, Berlin (1987)
Gorban, A.N., Karlin, I.V.: Schrödinger operator in an overfull set. Europhys. Lett. 42(2), 113–118 (2007)
Helffer, B.: Semi-Classical Analysis for the Schrödinger Operators Operator and Applications. Lecture Notes in Mathematics, vol. 1336of. Springer, Berlin (1988)
Karpeshina, Y., Shterenberg, R.: Extended states for polyharmonic operators with quasiperiodic potentials in dimension two. J. Math. Phys. 53, 103512 (2012)
Karpman, V., Shagalov, A.: Stability of solitons described by nonlinear Schrödinger-type equations with higher-order dispersion. Phys. D: Nonlinear Phenom. 144(1–2), 194–210 (2000)
Lucha, W., Rupprecht, H., Schöberl, F.F.: Significance of relativistic wave equations for bound states. Phys. Rev. D 46(3), 1088 (1992)
Bardos, C., Catto, I., Mauser, N., Trabelsi, S.: Setting and analysis of the multi-configuration time-dependent Hartree–Fock equations. Arch. Ration. Mech. Anal. 198(1), 273–330 (2010)
Zagatti, S.: The Cauchy problem for Hartree–Fock time-dependent equations. Ann. Inst. Henri Poincaré A 56, 357–374 (1992)
Castella, F.: L2 solutions to the Schrödinger–Poisson system: existence, uniqueness, time behaviour, and smoothing effects. Math. Models Methods Appl. Sci. 7(08), 1051–1083 (1997)
Chadam, J., Glassey, R.: Global existence of solutions to the Cauchy problem for time-dependent Hartree equations. J. Math. Phys. 16(5), 1122–1130 (1975)
Cancès, E., Le Bris, C.: On the time-dependent Hartree–Fock equations coupled with a classical nuclear dynamics. Math. Models Methods Appl. Sci. 9(07), 963–990 (1999)
Bokanowski, O., López, J.L., Soler, J.: On an exchange interaction model for quantum transport: the Schrödinger–Poisson–Slater system. Math. Models Methods Appl. Sci. 13(10), 1397–1412 (2003)
Keel, M., Tao, T.: Endpoint Strichartz estimates. Am. J. Math. 120(5), 955–980 (1998)
Kato, T.: On nonlinear Schrödinger equations. Ann. Inst. Henri Poincaré. Phys. Théor. 46(1), 113–129 (1987)
Cazenave, T.: Semilinear Schrödinger Equations, vol. 10. Am. Math. Soc., Providence (2003)
Trabelsi, S.: Global well-posedness for the mctdhf equations. Int. J. Math. Comput. 22(1), 134–143 (2013)
Hajaiej, H., Markowich, P.A., Trabelsi, S.: Multiconfiguration Hartree–Fock theory for pseudorelativistic systems: the time-dependent case. Math. Models Methods Appl. Sci. 24(3), 599–626 (2014)
Acknowledgements
The author thanks the anonymous referees for their comments and careful reading of the manuscript.
Availability of data and materials
Not applicable.
Funding
The author would like to acknowledge the support provided by the Deanship of Scientific Research at King Fahd University of Petroleum & Minerals for funding this work through project No. SR171003.
Author information
Authors and Affiliations
Contributions
The author produced, read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Trabelsi, S. Well-posedness of a higher-order Schrödinger–Poisson–Slater system. Bound Value Probl 2018, 181 (2018). https://doi.org/10.1186/s13661-018-1102-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1102-z