Abstract
We establish global-in-time well-posedness of the one-dimensional hydrodynamic Gross–Pitaevskii equations in the absence of vacuum in \((1 + H^s) \times H^{s-1}\) with \(s \ge 1\). We achieve this by a reduction via the Madelung transform to the previous global-in-time well-posedness result for the Gross–Pitaevskii equation in Koch and Liao (Adv Math 377, 2021; Adv Math 420, 2023). Our core result is a local bilipschitz equivalence of the relevant function spaces, which enables the transfer of results between the two equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider in one dimension the Gross–Pitaevskii equation
where \(q(t,x): {{\,\mathrm{\mathbb {R}}\,}}\times {{\,\mathrm{\mathbb {R}}\,}}\longrightarrow {{\,\mathrm{\mathbb {C}}\,}}\) represents an unknown wave function, subject to the boundary condition at infinity \(\lim _{|x| \rightarrow \infty } |q(t,x)| = 1\). In the absence of vacuum, meaning that
the Gross–Pitaevskii equation has a hydrodynamic formulation
which we call the hydrodynamic Gross–Pitaevskii equations. Here the functions \(\rho (t,x): {{\,\mathrm{\mathbb {R}}\,}}\times {{\,\mathrm{\mathbb {R}}\,}}\longrightarrow {{\,\mathrm{\mathbb {R}}\,}}_+\) and \(v(t,x): {{\,\mathrm{\mathbb {R}}\,}}\times {{\,\mathrm{\mathbb {R}}\,}}\longrightarrow {{\,\mathrm{\mathbb {R}}\,}}\) may be understood as the unknown density and velocity of a quantum fluid. The system (hGP) belongs to the class of quantum hydrodynamical models, which may be used to model various physical phenomena such as Bose–Einstein condensation [22, 27], superfluidity [21, 34, 35] and quantum semiconductors [24]. We refer to [4, 17, 29] for more information on quantum hydrodynamical models and their relation to nonlinear Schrödinger equations.
The relation between (GP) and (hGP) is given by the Madelung transform:
which formally transforms a solution q of (GP) into a solution \((\rho , v) = \mathcal {M}(q)\) of (hGP). Note that \(\rho \) and v are real-valued. One immediately sees that the Madelung transform \(\mathcal {M}\) only makes sense when \(|q| > 0\). In this case, we may recover q from its Madelung transform by the formula
where \(\varphi \) is some spatial primitive of v, i.e.
One furthermore sees that the inverse Madelung transform \((\rho , v) \longmapsto q\) is only defined up to multiplication with \(\mathbb {S}^1\), i.e., a constant rotation in phase [see (1.13) for more details]. We refer the reader to [18] for a survey of the Madelung transform and the hydrodynamic Gross–Pitaevskii equations.
1.1 Related results for the Gross–Pitaevskii equation
Gross [28] and Pitaevskii [41] introduced the Gross–Pitaevskii equation as a model for a Bose–Einstein condensate, a type of Boson gas at very low density and temperature. For rigorous justification of the model, we refer to the mean-field approximation established by Erdős et al. [20], as well as references therein. As the Gross–Pitaevskii equation is a kind of defocusing cubic nonlinear Schrödinger equation, its well-posedness has been extensively studied. Due to the nonzero boundary condition, finite-energy solutions to (GP) can clearly not be in traditional function spaces that require global integrability, such as \(L^p({{\,\mathrm{\mathbb {R}}\,}})\). For integers \(k \ge 1\) and in any dimension \(n \ge 1\), Zhidkov [47] established local-in-time well-posedness in the so-called Zhidkov space \(Z^k({{\,\mathrm{\mathbb {R}}\,}}^n)\), which is the closure of \(\{u \in C_b^k({{\,\mathrm{\mathbb {R}}\,}}^n): \partial _x u \in H^{k-1}({{\,\mathrm{\mathbb {R}}\,}}^n)\}\) under the norm
This led to a first global-in-time well-posedness result in one dimension in \(Z^1({{\,\mathrm{\mathbb {R}}\,}})\), as the Ginzburg–Landau energy
is conserved. The Gross–Pitaevskii equation (GP) can be interpreted as the Hamiltonian evolutionary equation associated with this energy. The well-posedness result in Zhidkov spaces was expanded to the cases \(n = 2, 3\) by Gallo [23]. Global-in-time well-posedness in the energy space \(\{q \in H^1_{{{\,\textrm{loc}\,}}}({{\,\mathrm{\mathbb {R}}\,}}^n): E(q) < \infty \}\) equipped with the metric
was obtained by Gérard [25, 26] for \(n=1, 2, 3\) and for \(n = 4\) under smallness assumptions. Later, Killip et al. [31] established global-in-time well-posedness in the energy space for \(n = 4\). More recently, the problem has been studied by Antonelli et al. [7] in \(n = 2, 3\) for general nonlinearities f satisfying a Kato-type assumption. Local-in-time well-posedness is obtained in the energy space and extended globally in the defocusing case under some further assumptions. Regarding the case of non-finite energy, Pecher [40] established global-in-time well-posedness in three dimensions in \(1 + H^s({{\,\mathrm{\mathbb {R}}\,}}^3)\) for \(s \in \left( \frac{5}{6}, 1\right) \).
We are concerned with the case \(n = 1\). For \(s \in {{\,\mathrm{\mathbb {R}}\,}}\), we associate with solutions of (GP) the energy functionals
Note that indeed \(E^1 = E\). Our results are consequences of a pair of papers [32, 33] by Koch and Liao, where for \(s \ge 0\) they proved the global-in-time well-posedness of (GP) in the complete metric space
equipped with the distance function
We summarize several of their results, taken from [32, Theorem 1.2, 1.3, Lemma 6.1] and [33, Theorem 1.5], in the following theorem.
Theorem 1.1
(Global-in-time well-posedness of (GP) [32, 33]) Let \(s \ge 0\). The pair \((X^s, d^s)\) is a complete metric space, and the energy functional \(E^s: X^s \longrightarrow {{\,\mathrm{\mathbb {R}}\,}}\) is continuous. There exists a constant \(C_0 > 0\) such that \(d^s(1, q) \le C_0 \sqrt{E^s(q)}\) for all \(q \in X^s\).
The Gross–Pitaevskii equation (GP) is globally-in-time well-posed in the metric space \((X^s, d^s)\) in the following sense: For any initial data \(q_0 \in X^s\), there exists a unique global-in-time solution \(q \in C({{\,\mathrm{\mathbb {R}}\,}}; X^s)\) of (GP) (see Definition 3.2). For any \(t \ge 0\), the Gross–Pitaevskii flow map \(X^s \ni q_0 \mapsto q \in C([-t, t]; X^s)\) is continuous. There exists a constant \(\tilde{C}_0(s, E^s(q_0))\) such that
and in the case \(s \ge 1\) the energy E(q(t)), defined in (1.3), is conserved.
1.2 Related results for the hydrodynamic Gross–Pitaevskii equations
The question of equivalence between Schrödinger equations and quantum hydrodynamical equations is relevant for the validity of classical approaches to quantum mechanics such as de Broglie–Bohm theory [15] and stochastic mechanics [39]. It became a topic of controversy when Wallstrom raised some objections [44,45,46]. We recommend [42] for a review of these issues. The difficulty arises from possible vacuum regions, which complicate the definition of the inverse Madelung transform. This can be resolved via an additional “Takabayasi’s quantization condition” [14, 43], which requires the winding numbers of the velocity field on closed loops to be quantized. Note that this condition trivially holds in one dimension. Wallstrom also raised objections regarding uniqueness [46]. There are indeed non-uniqueness results for weak solutions to quantum hydrodynamical systems, which are related to a change in the number of non-vacuum connected components [36].
Nevertheless, Antonelli and Marcati [2, 3] constructed weak solutions vanishing at infinity with finite but arbitrarily large energy, meaning that vacuum may appear, in \(n = 2, 3\) for a general quantum hydrodynamical system. They use a polar decomposition technique in order to define the velocity field in the vacuum regions. In collaboration with Zheng, they extended this to \(n = 1\) via a purely hydrodynamical approach [6, 8]. An alternative approach to finite-energy weak solutions is explored in [1, 5].
The well-posedness of the Euler–Korteweg system, a generalization of the compressible Euler equations which includes capillarity effects and contains (hGP) as a special case, was studied in higher dimensions by Audiard and Haspot [10, 11]. Similar to the approach we take is a paper by Audiard [9], in which global-in-time well-posedness of (hGP) under smallness assumptions is shown in certain spaces for \(n \ge 2\) by applying the Madelung transform to solutions to (GP). While they used scattering results to bound the solution away from 0, we use a rather elementary argument that leads us to the aforementioned energy bound \(E < \frac{4}{3}\).
A closely related paper is a work by Mohamad [38], which in [38, Proposition 1.1] states similar relations to our Theorem 1.6, and then uses a well-posedness result for (GP) to obtain a well-posedness result for (hGP) in \((1 + H^{k+1}) \times H^k\) with \(k \in {{\,\mathrm{\mathbb {N}}\,}}_{\ge 0}\) up to the appearance of vacuum. We discuss the similarities and differences in Remark 1.10.
1.3 Functional analytic framework
Our goal is to show a novel global-in-time well-posedness result for (hGP) with \((\rho , v) \in (1 + H^s) \times H^{s-1}\) where \(s \ge 1\) and \(n = 1\). We achieve this under the assumptions \(s \ge 1\) and \(E < \frac{4}{3}\) by passing the well-posedness result for (GP) in Theorem 1.1 through the Madelung transform (1.1). The first assumption \(s \ge 1\) ensures sufficient regularity for the energy E to be defined and for (hGP) to be interpretable in the sense of distributions. As an example, consider that \(s \ge 1\) implies \(v \in L^2({{\,\mathrm{\mathbb {R}}\,}})\), and so the problematic square of a distribution \(v^2\) appearing in (hGP)2 does indeed exist. The second assumption \(E < \frac{4}{3}\) can also be understood as a “regularity” assumption: solutions below the critical energy of \(\frac{4}{3}\) cannot have vacuum, that is points or intervals where \(|q| = \sqrt{\rho } = 0\) (see Corollary 1.3). As a result, singularities are avoided in the hydrodynamic formulation. Due to conservation of energy, the absence of vacuum is guaranteed for all times. Note that this energy assumption is sharp in the sense that the black soliton solution \(q(t,x) = \tanh (x)\) to (GP) has a zero \(\tanh (0) = 0\), while also having energy \(E(\tanh ) = \frac{4}{3}\).
We collect now some results that ensure the absence of vacuum, given certain energy bounds. We start with the following lemma.
Lemma 1.2
Consider the function \(\tilde{b}: [0, 1] \longrightarrow [0, \frac{4}{3}]\) defined by
This is a strictly decreasing bijection (see Fig. 1) whose inverse we denote by \(\tilde{\delta }(b): [0,\frac{4}{3}] \longrightarrow [0, 1]\). We have
This lemma is a stronger version of [13, Lemma 1]. The proof of a slightly more general Lemma A.1 is given in appendix. As a consequence of Lemma 1.2, the “energy gap” \(\frac{4}{3} - E(q)\) yields an explicit lower bound for the distance of |q| to zero. Due to conservation of the energy E(q), we obtain the following corollary.
Corollary 1.3
For any solution \(q \in C({{\,\mathrm{\mathbb {R}}\,}}; X^1)\) of (GP) (see Definition 3.2), we have
We thus consider solutions q of (GP) in \(X^s\), \(s \ge 1\) with energy
recalling the definitions (1.3)–(1.6) of \(X^s\) and E. We look for solutions \((\rho , v)\) of (hGP) in the function space
equipped with the metric
We define the analogous energy
Here, the inverse Madelung transform is defined as:
where \(\varphi \) is any spatial primitive of v, i.e. \(\partial _x \varphi = v\). Note that the energy E is indeed well-defined on equivalence classes under multiplication by \(\mathbb {S}^1\), and furthermore that the space \(X^s\) consists of such equivalence classes, and is hence a suitable domain for the Madelung transform \(\mathcal {M}\), given in (1.1).
In order to transform solutions of (GP) into solutions of (hGP) via the Madelung transform, we establish an equivalence between the relevant function spaces \((X^s, d^s)\) and \((\mathcal {Y}^s, \theta ^s)\). Specifically, we prove a local bilipschitz equivalence between the distance functions \(d^s\) and \(\theta ^s\) for all \(s > \frac{1}{2}\). While our main result only holds for \(s \ge 1\), our approach has the potential to be extended to the case \(\frac{1}{2}< s < 1\) if one finds a way to make sense of (hGP)2 in such a low regularity setting. For example, this may be possible via a local smoothing result, as in [30] (see Remark 1.12). When \(\frac{1}{2}< s < 1\), the absence of vacuum can still be ensured by a smallness assumption of the form
where \(\mu > \frac{1}{2}\) [see (1.16)]. This smallness condition can also replace \(E < \frac{4}{3}\) in the case \(s \ge 1\), \(\mu \le s\). Specifically, we have the following Lemma 1.4 as a replacement for Lemma 1.2.
Lemma 1.4
For \(\delta \in [0, 1]\) and \(\mu > \frac{1}{2}\), define
Then \(E^\mu _1 = 0\), the function \(\delta \mapsto E^\mu _\delta \) is decreasing, and there exists a constant \(\tilde{C}(\mu ) > 0\) so that
This lemma is also a special case of Lemma A.1. By (1.7), there exists for any \(\mu > \frac{1}{2}\) a constant \(c(\mu ) > 0\) such that
for all \(\varepsilon \in (0, 1)\) and any solution \(q \in C({{\,\mathrm{\mathbb {R}}\,}}; X^\mu )\) of (GP). Not attempting to obtain a sharp bound, we state the analogous of Corollary 1.3.
Corollary 1.5
Let \(\mu > \frac{1}{2}\) and define
For any solution \(q \in C({{\,\mathrm{\mathbb {R}}\,}}; X^\mu )\) of (GP) (see Definition 3.2), we have
Proof
We prove the contrapositive. Suppose \(\inf _{(t, x) \in {{\,\mathrm{\mathbb {R}}\,}}^2} |q(t, x)| \le \delta :=1 - \sqrt{\varepsilon } \sqrt{c(\mu ) \tilde{C}(\mu )}\) and note that \(\delta \in (0, 1)\). Using the definition of \(E^\mu _{\tilde{\delta }}\) and (1.14), this implies that for any \(\tilde{\delta } > \delta \) there exists \(t \in {{\,\mathrm{\mathbb {R}}\,}}\) with
In particular,
so (1.15) implies \(E^\mu (q_0) \ge \varepsilon \). \(\square \)
As the energies \(E^\mu \) still provide a lower bound for the distance of |q| to zero, we can use the smallness assumption \(E^\mu < \varepsilon _0(\mu )\) as a substitute for \(E < \frac{4}{3}\). We define for \(\mu > \frac{1}{2}\) the energies
1.4 Main results
For both the Gross–Pitaevskii equation (GP) and its hydrodynamic formulation (hGP), there are three key objects in our function framework: the energy, the space and the metric. We summarize the definitions given in Sect. 1.2 in the following diagram:
![](http://media.springernature.com/lw446/springer-static/image/art%3A10.1007%2Fs00033-023-02089-4/MediaObjects/33_2023_2089_Equ21_HTML.png)
Here, the Madelung transform and its inverse
are given in (1.1) and (1.13), respectively. Recall also the explicit forms of the energies E and \(\mathcal {E}\) in the most important case \(s = 1\):
Our first main result is the following theorem, which is central to our strategy as it establishes a local bilipschitz equivalence between the metrics \(d^s\) and \(\theta ^s\). We require \(s > \frac{1}{2}\) to use \(L^\infty \) embeddings and certain product estimates.
Theorem 1.6
(Local bilipschitz equivalence of \(d^s\) and \(\theta ^s\)) Let \(s > \frac{1}{2}\) and \(r, \delta > 0\). Consider measurable functions \(\rho , \eta , \varphi , \psi : {{\,\mathrm{\mathbb {R}}\,}}\longrightarrow {{\,\mathrm{\mathbb {R}}\,}}\) so that \(q, p \in \mathcal {S}'({{\,\mathrm{\mathbb {R}}\,}}) \cap H_{{{\,\textrm{loc}\,}}}^s({{\,\mathrm{\mathbb {R}}\,}})\) and \(|q|, |p| > \delta \), where \(q = \sqrt{\rho } e^{i \varphi }\) and \(p = \sqrt{\eta } e^{i \psi }.\) There exist constants \(C_1(s, \delta , r), C_2(s, r) > 0\) so that the following hold:
-
(i)
If \(d^s(1, q), d^s(1, p) < r\), then
$$\begin{aligned} \theta ^s((\rho , \partial _x \varphi ), (\eta , \partial _x \psi )) \le C_1(s, \delta , r) \, d^s(q, p) . \end{aligned}$$ -
(ii)
If \(\theta ^s((1,0), (\rho , \partial _x \varphi )), \theta ^s((1,0), (\eta , \partial _x \psi )) < r\), then
$$\begin{aligned} d^s(q, p) \le C_2(s, r) \, \theta ^s((\rho , \partial _x \varphi ), (\eta , \partial _x \psi )) . \end{aligned}$$
Corollary 1.7
Let \(s \ge 1\), \(\frac{1}{2}< \mu < 1\). For all \(b < \frac{4}{3}\) and \(\varepsilon < \varepsilon _0(\mu )\), the maps
and
are bilipschitz equivalences. Recall that a bilipschitz equivalence is a map which is bijective, Lipschitz continuous, and has a Lipschitz continuous inverse. Here \(\varepsilon _0(\mu )\) is a constant defined in (1.16).
Our second main result is the global-in-time well-posedness of the hydrodynamic Gross–Pitaevskii equations.
Definition 1.8
(Solution to (hGP)) Let \(s \ge 1\) and \(0 \in I \subset {{\,\mathrm{\mathbb {R}}\,}}\) be an open time interval or the real line, and let \((\rho _0, v_0) \in \mathcal {Y}^s\) with \(\rho _0 > 0\). A solution to (hGP) with initial data \((\rho _0, v_0)\) is a pair \((\rho , v) \in C(I; \mathcal {Y}^s)\) with \(\rho > 0\), which solves (hGP) in the sense of distributions and fulfills \((\rho , v)(0) = (\rho _0, v_0)\).
Theorem 1.9
(Global-in-time well-posedness of (hGP) for \(s \ge 1\)) Let \(s \ge 1\). The hydrodynamic Gross–Pitaevskii equations (hGP) are globally-in-time well-posed in the metric space \((\mathcal {Y}^s, \theta ^s)\) for initial data \((\rho _0, v_0) \in \mathcal {Y}^s\) with \(\mathcal {E}(\rho _0, v_0) < \frac{4}{3}\) in the following sense:
There exists a solution \((\rho , v) \in C_b({{\,\mathrm{\mathbb {R}}\,}}; \mathcal {Y}^s)\) to (hGP) (see Definition 1.8). It is the unique solution that fulfills
for all \(t \in {{\,\mathrm{\mathbb {R}}\,}}\). For any \(T \ge 0\) the solution map
is continuous.
For all \(\frac{1}{2}< \mu < 1\) there exist constants \(c(\mu ), \varepsilon _0(\mu ) > 0\), defined in (1.15) and (1.16), so that if we replace the assumption \(\mathcal {E}(\rho _0, v_0) < \frac{4}{3}\) by \(\mathcal {E}^\mu (\rho _0, v_0)< \varepsilon < \varepsilon _0(\mu )\), then the above statement holds with (1.20) replaced by \(\mathcal {E}^\mu (\rho (t), v(t)) < c(\mu ) \, \varepsilon \).
Remark 1.10
In [38, Theorem 1.2], the well-posedness of (hGP) until the appearance of vacuum is shown in \((1 + H^k) \times H^{k-1}\) for \(k \in {{\,\mathrm{\mathbb {N}}\,}}_{\ge 1}\). Furthermore, continuity properties for the Madelung transform between \((\mathcal {Y}^k, \theta ^k)\) and the space
are established. Specifically, a strong metric
and a weak metric
are considered, and the following is shown [38, Proposition 1.1]:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00033-023-02089-4/MediaObjects/33_2023_2089_Figa_HTML.png)
There are several ways in which Theorem 1.6 improves upon [38, Theorem 1.2]. The first is that our result covers the fractional cases as well. The second is that we obtain a full local bilipschitz equivalence
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00033-023-02089-4/MediaObjects/33_2023_2089_Figb_HTML.png)
and do so down to \(s > \frac{1}{2}\), while they have to work with two different metrics on the side of (GP) for the two directions of estimates. Furthermore, they state well-posedness up to the appearance of vacuum, while we use energy bounds to ensure this absence of vacuum for all times. Lastly, we find solutions which are uniformly bounded.
Remark 1.11
Previously, Zhidkov [48, Theorem III.3.1] studied the stability of solutions in the Zhidkov space \(Z^1({{\,\mathrm{\mathbb {R}}\,}})\) [see (1.2)] near-space homogeneous solutions \(\Phi \), such as the constant solution \( \Phi = 1\), with respect to the distance \(\theta ^1\). For the case \(s = 1\) he derived similar estimates as above under smallness assumptions, although he did not formulate a well-posedness result. Curiously, in [48, Cor. III.3.5] he proved furthermore that for any ball \(B \subset {{\,\mathrm{\mathbb {R}}\,}}\), if the initial \(\theta ^1\)-distance between the perturbed and the space-homogeneous solution is small, then for all times also the distance
is small. This can be interpreted as a weaker form of the estimate \(d^1 \lesssim \theta ^1\) we derive (see Lemma 2.6 and Remark 2.11).
Remark 1.12
As both Theorems 1.1 and 1.6 work for all \(s > \frac{1}{2}\), it may be possible to extend Theorem 1.9 to the case \(\frac{1}{2}< s < 1\). The problem is that for \(v \in H^{s-1} \not \subseteq L^2\) the product of distributions \(v^2 = v \cdot v\) is not necessarily defined. Nevertheless, it may be possible to find global distributional solutions. For example, in the paper [30] by Killip and Vişan global-in-time well-posedness of the KdV equation in \(H^{-1}\) is first shown in the sense that the solution map \({{\,\mathrm{\mathbb {R}}\,}}\times \mathcal {S} \longrightarrow \mathcal {S}\) extends to a continuous mapping \({{\,\mathrm{\mathbb {R}}\,}}\times H^{-1} \longrightarrow H^{-1}\), and some other conditions are fulfilled. In our case, it is similarly true that for any \(T \ge 0\) the solution map
has a unique continuous extension to a map
This extension is given by the conjugation of the corresponding solution map for (GP) at regularity s with the Madelung transform. Killip and Vişan then furthermore show a local smoothing result, which implies that the solution map produces functions in \(L^2_{{{\,\textrm{loc}\,}},t,x}\). As a result, the equation is indeed solved in the sense of distributions. We do not know if such a local smoothing result holds in our case.
Organization of the paper In Sect. 2, we prove Theorem 1.6, the local bilipschitz equivalence of \((X^s, d^s)\) and \((\mathcal {Y}^s, \theta ^s)\). In Sect. 3, we prove Theorem 1.9, the global-in-time well-posedness of the hydrodynamic Gross–Pitaevskii equations.
2 Local bilipschitz equivalence of \((X^s, d^s)\) and \((\mathcal {Y}^s, \theta ^s)\)
The goal of this section is to prove Theorem 1.6. In Sect. 2.1, we introduce the necessary notations, definitions, and basic results required for the rest of the paper. We split the proof of the two statements (i) and (ii) of Theorem 1.6 into Sects. 2.2 and 2.3.
2.1 Notations and preliminaries
We use the notations \({{\,\mathrm{\mathbb {R}}\,}}_\ge = \{r \in {{\,\mathrm{\mathbb {R}}\,}}: r \ge 0\}\) and \({{\,\mathrm{\mathbb {R}}\,}}_+ = \{r \in {{\,\mathrm{\mathbb {R}}\,}}: r > 0\}\). We write C or \(C(\ldots )\) for various constants with possible dependence on other quantities. These may change from one line to the next. We denote by \(\mathcal {D}' = \mathcal {D}'({{\,\mathrm{\mathbb {R}}\,}}) = \mathcal {D}'({{\,\mathrm{\mathbb {R}}\,}};{{\,\mathrm{\mathbb {C}}\,}})\) the space of distributions and by \(\mathcal {S}' = \mathcal {S}'({{\,\mathrm{\mathbb {R}}\,}}) = \mathcal {S}'({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {C}}\,}})\) the space of tempered distributions. In general, if for a family of function spaces, such as the \(L^p\)-spaces, we write just “\(L^p\)”, then we mean \(L^p({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {C}}\,}})\).
We write \(\widehat{f}\) for the Fourier transform
for a Schwartz function \(f \in \mathcal {S}\) and extend the definition as usual to the tempered distributions \(f \in \mathcal {S}'\). Let \(s \in {{\,\mathrm{\mathbb {R}}\,}}\). We define the Sobolev space
with norm
Here \(\langle \xi \rangle = \sqrt{1 + |\xi |^2}\). We also define the quasinorm of the homogeneous Sobolev space
Let \(p \in [1,\infty )\). For \(s \ge 0\), let \(\alpha \in [0, 1)\) and \(m \in {{\,\mathrm{\mathbb {Z}}\,}}\) so that \(s = m + \alpha \). Let \(B \subset {{\,\mathrm{\mathbb {R}}\,}}\) be a non-empty open interval. We define the Sobolev–Slobodeckij space
with norm
We define \(W_0^{s,p}(B) = \overline{\mathcal {D}(B)}^{W^{s,p}(B)}\). For \(s < 0\) we define \(W^{s,p'}(B) = (W_0^{-s,p}(B))^*\), where \(\frac{1}{p} + \frac{1}{p'} = 1\). We refer the reader to the book [37] by McLean for a comprehensive exposition. For the convenience of the reader, let us recall some well-known results on Sobolev spaces that may be used without mention.
2.1.1 Fractional Sobolev spaces on B and \({{\,\mathrm{\mathbb {R}}\,}}\)
The only bounded domains we use are balls B, and on those we use the Sobolev–Slobodeckij spaces \(W^{s,2}(B)\). On the whole real line \({{\,\mathrm{\mathbb {R}}\,}}\), we use \(H^s = H^s({{\,\mathrm{\mathbb {R}}\,}})\).
Lemma 2.1
(\(W^{s,2}(B)\) and \(H^s({{\,\mathrm{\mathbb {R}}\,}})\)) Let \(s \in {{\,\mathrm{\mathbb {R}}\,}}\) and \(R > 0\). Let \(\tilde{B} \subset B \subseteq {{\,\mathrm{\mathbb {R}}\,}}\) be concentric balls of radius \(\frac{R}{2}\) and R. Set \(B_k = B + k R\) and \(\tilde{B}_k = \tilde{B} + k R\) for \(k \in {{\,\mathrm{\mathbb {Z}}\,}}\).
-
(i)
There exists a natural isomorphism \(H^{-s} \cong (H^s)^*\) (see [37, p. 76]).
-
(ii)
\(H^s = W^{s,2}({{\,\mathrm{\mathbb {R}}\,}})\) and
$$\begin{aligned} \Vert f\Vert _{W^{s,2}(B)} \le C_1 \min \{\Vert F\Vert _{H^s}: F \big \vert _B = f\} \le C_2 \Vert f\Vert _{W^{s,2}(B)}. \end{aligned}$$(see [37, p. 77, (3.23) + Theorem 3.18, 3.19]).
-
(iii)
For \(s \ge 0\), there exists a bounded linear extension operator \(E: W^{s,2}(B) \longrightarrow H^s\) with \(E f \big \vert _B = f\) (see [37, Theorem A.4]).
-
(iv)
For \(s \ge 0\), there exists a constant C(s, R) so that
$$\begin{aligned} \sum _{k \in {{\,\mathrm{\mathbb {Z}}\,}}} \Vert f\Vert _{W^{s,2}(\tilde{B}_k)}^2 \le \Vert f\Vert _{H^s}^2 \le C(s, R) \sum _{k \in {{\,\mathrm{\mathbb {Z}}\,}}} \Vert f\Vert _{W^{s,2}(B_k)}^2 \le 4 C(s, R) \Vert f\Vert _{H^s}^2 \end{aligned}$$and
$$\begin{aligned} \Vert f\Vert _{H^{-s}}^2 \le C(s, R) \sum _{k \in {{\,\mathrm{\mathbb {Z}}\,}}} \Vert f\Vert _{W^{-s,2}(B_k)}^2. \end{aligned}$$ -
(v)
If \(s > \frac{1}{2}\), then \(\Vert f g\Vert _{H^s} \le C(s) \Vert f\Vert _{H^s} \Vert g\Vert _{H^s}\) (see [12, Cor. 2.87]). By use of the extension operator, we also have \(\Vert f g\Vert _{W^{s,2}(B)} \le C(s) \Vert f\Vert _{W^{s,2}(B)} \Vert g\Vert _{W^{s,2}(B)}\).
Proof
We only have to prove (iv). We start with the first inequality in the sequence. The case \(s = 0\) is trivial, so we assume \(s > 0\). Here the statement is trivial for the terms with integer regularity, and for the fractional terms we estimate
The third inequality in the sequence follows trivially. We show the second inequality for any \(s \in {{\,\mathrm{\mathbb {R}}\,}}\). We can decompose \(f = \sum _{k \in {{\,\mathrm{\mathbb {Z}}\,}}} \eta _k f\), where \(\eta _k\) is a smooth partition of unity with \({{\,\textrm{supp}\,}}\eta _k \subset B_k\), \(\sum _{k \in {{\,\mathrm{\mathbb {Z}}\,}}} \eta _k = 1\) and \(\eta _k(x) = \eta _k(x + k R)\). Then,
\(\square \)
2.1.2 Estimates in \(H^s\)
The following lemma states two crucial estimates. Such kinds of product estimates are well-known in the literature, see for example [19, Proposition 2.7].
Lemma 2.2
Let \(s > \frac{1}{2}\) and \(f, g \in \mathcal {S}'\). There exists a constant C(s) so that
and
Proof
See Appendix B. \(\square \)
In this section, we often write \(f'\) for the spatial derivative \(\partial _x f\). Recall the definitions (1.19). For notational convenience, we sometimes prefer to use the variables
These variables are equivalent for the sake of our estimates, by which we mean specifically Lemma 2.4. In order to prove this, we state two estimates regarding the action of a smooth function on Sobolev spaces. They are a direct consequence of some results in [12].
Lemma 2.3
[12, Theorem 2.87, Corollary 2.91] Let \(s > \frac{1}{2}\) and \(F \in C^\infty ({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}})\) with \(F'(0) = F(0) = 0\). Let \(u, v \in H^s({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}}) \cap L^\infty ({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}})\). We have the estimates
and
An analysis of the proof in [12] reveals that, more precisely, the constants depend on \(\Vert F'\Vert _{C^{\lceil s \rceil + 1}(B_{\Vert u\Vert _{L^\infty }})}\) and \(\Vert F''\Vert _{C^{\lceil s \rceil + 1}(B_{\Vert u\Vert _{L^\infty }})}\), respectively.
Lemma 2.4
Let \(s > \frac{1}{2}\) and \(\rho , \eta \in \mathcal {S}'({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}}) \cap H^s_{{{\,\textrm{loc}\,}}}({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}})\) with \(\rho , \eta > 0\). Define \(A = \sqrt{\rho }\) and \(B = \sqrt{\eta }\). We have the estimates
and
Proof
We apply Lemma 2.3 with \(F(u) = u^2\) and obtain
Similarly with any function \(F \in C^\infty ({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}})\) that fulfills \(F(u) = \sqrt{u + 1} - \frac{1}{2} u - 1\) for \(x \ge 0\), we obtain
\(\square \)
The following lemma is also a consequence of Lemma 2.3 and will be used frequently in the subsequent section.
Lemma 2.5
Let \(s, \delta , R > 0\). There exists \(C(s, \delta , R) > 0\) such that for any ball \(B_0 \subset {{\,\mathrm{\mathbb {R}}\,}}\) of radius R and all \(u \in W^{s,2}(B_0)\) with \(|u|> \delta > 0\) we have
Proof
This follows by applying Lemma 2.3 with any function \(F \in C^\infty ({{\,\mathrm{\mathbb {R}}\,}}; {{\,\mathrm{\mathbb {R}}\,}})\) so that \(F(0) = F'(0) = 0\) and \(F(x) = x^{-1}\) for \(|x| > \frac{\delta }{2}\), and using the existence of an extension operator from Lemma 2.1(iii). Note that Lemma 2.3 requires real-valued functions, so we apply it to the real and imaginary parts of \(u^{-1}\) separately. \(\square \)
2.2 Proof of Theorem 1.6(i)
Recall the definitions (1.19), in particular \(q = \sqrt{\rho } e^{i \varphi }\) and \(p = \sqrt{\eta } e^{i \psi }\), as well as \(A = \sqrt{\rho }\) and \(B = \sqrt{\eta }\). We assume \(s > \frac{1}{2}\), \(d^s(1, q), d^s(1, p) < r\) and \(|q|, |p|> \delta > 0\). We have to prove that
We do this by showing an estimate of the form
Let us elaborate on the quantity in the middle before we start the proof. Given a ball \(B \subset {{\,\mathrm{\mathbb {R}}\,}}\), we define for convenience the following notations:
Lemma 2.6
Let \(s > \frac{1}{2}\) and let \(B_0 = \{x \in {{\,\mathrm{\mathbb {R}}\,}}: |x| < R\}\) be an open ball of radius \(R > 0\) with center 0. There exists \(C(s, R) > 0\) so that
for all \(q, p \in \mathcal {S}' \cap H^s_{{{\,\textrm{loc}\,}}}\). As a consequence, for families of balls \(B_k = B_0 + k R\) with \(k \in {{\,\mathrm{\mathbb {Z}}\,}}\) we have
Proof
As \(\{y - x: x, y \in B_0\} \subseteq \{x \in {{\,\mathrm{\mathbb {R}}\,}}: |x| < 2R\}\), there exists a finite constant \(C(s, R) > 0\) such that \(\sup _{y \in B_0} \Vert {{\,\textrm{sech}\,}}(y - \cdot )^{-1}\Vert _{W^{s,2}(B_0)}^2 \le C(s, R)\). The first estimate follows:
Using this and Lemma 2.1(iv), we obtain the second estimate:
\(\square \)
Proof of Theorem 1.6(i)
Let \(B_0 = \{x \in {{\,\mathrm{\mathbb {R}}\,}}: |x| < 1\}\) and observe that
We can estimate
where in the last line we used (2.8). Now we set \(B_k = B_0 + k\) and see with Lemma 2.1(iv) and (2.9) that
It remains to estimate \(\Vert \varphi ' - \psi '\Vert _{H^{s-1}}\). Applying Lemma 2.2 yields
It therefore suffices to derive the estimate for the quantity \(\Vert (e^{i (\varphi - \psi )})'\Vert _{H^{s-1}}^2\). Observe with Lemma 2.1 (iv) that
We now carefully introduce the amplitudes:
As \(A, B> \delta > 0\), we can apply Lemma 2.5. Together with (2.10), we obtain
and similarly \(\Vert B^{\pm 1}\Vert _{W^{s,2}(B_k)}, \Vert q^{\pm 1}\Vert _{W^{s,2}(B_k)}, \Vert p^{\pm 1}\Vert _{W^{s,2}(B_k)} \le C(s, \delta , r)\). We conclude again by reducing the situation to an application of Lemma 2.6 and the previously shown estimate (2.10):
\(\square \)
2.3 Proof of Theorem 1.6(ii)
We assume
and \(\sqrt{\rho }, \sqrt{\eta }> \delta > 0\). We have to prove that
As mentioned above, due to Lemma 2.4 it suffices to prove this with \(\rho , \eta \) replaced by \(A = \sqrt{\rho }\) and \(B = \sqrt{\eta }\). Recall the definitions (1.19). We define
where we have replaced the \({{\,\textrm{sech}\,}}\) in the definition of \(d^s\) with \(\sqrt{{{\,\textrm{sech}\,}}}\). Some of the hard work for this direction has already been done in the proof of Lemma 2.7. This was proven for \(d^s\) in [32, Lemma 6.1], but the proof is identical for \(\tilde{d}^s\) as \(\sqrt{{{\,\textrm{sech}\,}}}\) is positive and still has sufficiently fast decay.
Lemma 2.7
[32, Lemma 6.1] For all \(s \ge 0\), the energy \(E^s: X^s \longrightarrow {{\,\mathrm{\mathbb {R}}\,}}_\ge \) is continuous with respect to \(d^s\), and there exists \(C(s) > 0\) so that
for all \(q \in X^s\).
Remark 2.8
The appearance of the square root is explained by a clash of notation: the energies \(E^s\) as defined in [32] correspond to \(\sqrt{2 E^s}\) in our notation.
We first prove two Lemmas.
Lemma 2.9
Let \(s > \frac{1}{2}\). There exists a constant \(C(s) > 0\) so that for all \(\varphi \in \mathcal {S}' \cap H^s_{{{\,\textrm{loc}\,}}}\) we have
where \(\gamma = 2s - 2\) if \(s \ge 1\) and \(\gamma = \frac{1 - s}{s - \frac{1}{2}}\) if \(s < 1\).
Proof
We assume \(\Vert \varphi '\Vert _{H^{s-1}} \ne 0\). By Lemma 2.2, there exists a constant C(s) so that
For \(\varepsilon \in (0, 1)\) and \(f \in H^s_{{{\,\textrm{loc}\,}}}\) define \(f_\varepsilon (x) = f(\varepsilon x)\). This has the scaling estimates
Define \(s_{\min } \le s_{\max }\) so that \(\{s_{\min }, s_{\max }\} = \{s - \frac{1}{2}, \frac{1}{2}\}\). Then we can rewrite the above as
We choose \(\varepsilon = (1 + 2 C(s) \Vert \varphi '\Vert _{H^{s-1}})^{- \frac{1}{s_{\min }}}\) so that
Combining this with (2.11) yields
so we obtain
We conclude with the scaling estimates (2.12) that
Lastly, note that
\(\square \)
Lemma 2.10
Let \(s > \frac{1}{2}\) and \(r > 0\). There exists \(C(s, r) > 0\) so that for all \(q = A e^{i \varphi } \in \mathcal {S}' \cap H^s_{{{\,\textrm{loc}\,}}}\) with \(\theta ^s((1,0), (A,\varphi ')) < r\) we have
Proof
For the amplitudinal part of the energy, we know from Lemma 2.4 that
For the remainder, we use Lemma 2.2:
We now conclude by estimating both appearances of \(\Vert (e^{i \varphi })'\Vert _{H^{s-1}}\) with Lemma 2.9. \(\square \)
Proof of Theorem 1.6(ii)
We split the distance \(d^s(q, p)\) into two parts:
We use the algebra property of \(H^s\) and Lemma 2.7 to estimate
With Lemma 2.10, we can estimate \(E^s(e^{i (\varphi - \psi )})\) by \(\Vert \varphi ' - \psi '\Vert _{H^{s-1}}^2\), and Lemma 2.2 yields
It follows that
Note that
We can deal with the second term as before. For the first one, we use Lemma 2.1(iv) and Young’s convolution inequality:
Therefore,
To conclude, we have shown that
\(\square \)
Remark 2.11
Recall the definition of \(d^s_*\big \vert _B\) [see (2.6)]. We have shown in particular that there exist constants such that
for all \(q, p \in X^s\) with \(|q|, |p|> \delta > 0\) and \(d^s(1, q), d^s(1, p) < r\). Here the first estimate is Lemma 2.6, while the second estimate actually follows from (ii) together with the fact that we showed (i) by proving (2.5).
Let us say a few words on how Corollary 1.7 follows from Theorem 1.6.
Proof of Corollary 1.7
The Madelung transform is well-defined on equivalence classes under multiplication by \(\mathbb {S}^1\), as \(v = \varphi '\) ignores changes by a constant in the phase \(\varphi \). Note also that \(s \ge 1\), and so for any \((\rho , v) \in \mathcal {Y}^s\) we have \(v \in L^2 \subset L^1_{{{\,\textrm{loc}\,}}}\). Therefore we can define
Recall that \(b < \frac{4}{3}\) and \(\varepsilon < \varepsilon _0(\mu )\) [see (1.16)]. Due to (1.17) and (1.8), there exists \(\delta > 0\) such that \(|q| > \delta \) for all \(q \in X^s\) with \(E(q) < b\) or \(E^\mu (q) < \varepsilon \). With Lemma 2.7, we find some \(r = r(s, \varepsilon , b) > 0\) such that \(d^s(1, q) < r\). Then Theorem 1.6 establishes the bilipschitz estimates. \(\square \)
3 Proof of Theorem 1.9
Given that Theorem 1.6 establishes an equivalence between the relevant function spaces \((X^s, d^s)\) and \((\mathcal {Y}^s, \theta ^s)\), the proof of Theorem 1.9 is now primarily a matter of carefully carrying over the results of Theorem 1.1. This is straightforward for the existence and continuity results. Uniqueness requires a further Lemma.
Lemma 3.1
Let \(I \ni 0\) be an open time interval and \(q_0 \in L^\infty \cap \dot{H}^1\). Suppose
are two distributional solutions to (GP) with \(q_1(0) = q_2(0) = q_0\). Then \(q_1 = q_2\).
Proof
See Appendix C. \(\square \)
This result is necessary because Theorem 1.1, in the way it is stated in [32], only yields uniqueness for the following class of solutions, which for the case \(s \ge 1\) is a priori smaller.
Definition 3.2
(Solutions to (GP) [32]) Let \(s \ge 0\). We say that \(q \in C(I; X^s)\) is a solution of the Gross–Pitaevskii equation (GP) with initial data \(q_0 \in X^s\) on the open time interval \(I \ni 0\) if there exists \(\tilde{q}: I \longrightarrow H^s_{{{\,\textrm{loc}\,}}}\) such that the following hold:
-
(i)
\(\tilde{q}\) solves (GP) in the sense of distributions on \(I \times {{\,\mathrm{\mathbb {R}}\,}}\).
-
(ii)
\(\tilde{q}\) projects to q, which means that \(\tilde{q} \mathbb {S}^1 = q\).
-
(iii)
We have
$$\begin{aligned} \big [t \mapsto \tilde{q}(t) - \tilde{q}(0)\big ] \in C(I; L^2({{\,\mathrm{\mathbb {R}}\,}})) . \end{aligned}$$ -
(iv)
For all compact intervals \([a, b] \subset I\) and for some (and hence for all) regularized initial data \(\tilde{q}_0^*\) of \(\tilde{q}(0)\) we have
$$\begin{aligned} \big [t \mapsto \tilde{q}(t) - \tilde{q}^*_0 \big ] \in L^4([a, b] \times {{\,\mathrm{\mathbb {R}}\,}}) . \end{aligned}$$
The uniqueness result in Theorem 1.1 for \(s \ge 1\) is therefore weaker than the one in Lemma 3.1. The proofs, however, are almost identical: in [32] uniqueness is shown by a classical argument with an energy estimate and Grönwall’s inequality. We extend this argument for \(s \ge 1\) to gain Lemma 3.1.
Remark 3.3
If \(\tilde{p} \in C(I; L^2_{{{\,\textrm{loc}\,}}}) \cap L^\infty (I; L^\infty \cap \dot{H}^1)\) is a distributional solution to (GP), as in Lemma 3.1, with initial data \(\tilde{p}(0) \mathbb {S}^1 \in X^1\), then \(\tilde{p} \mathbb {S}^1\) is also a solution in the sense of Definition 3.2. The reason is that by Theorem 1.1 there exists a solution \(q \in C(I; X^1)\) in the sense of Definition 3.2 with initial data \(q(0) = \tilde{p}(0) \mathbb {S}^1\). One can see that this has a representative \(\tilde{q} \in C(I; L^2_{{{\,\textrm{loc}\,}}}) \cap L^\infty (I; L^\infty \cap \dot{H}^1)\) which solves (GP) in distribution, so Lemma 3.1 implies \(\tilde{q} = \tilde{p}\).
Theorem 1.9 states that (hGP) is globally-in-time well-posed, meaning that there exist solutions, they are unique, and the flow map is continuous. The structure of the proof is to transfer the existence and continuity result for (GP) from Theorem 1.1 via the Madelung transform over to (hGP). This requires the absence of vacuum, which we obtain by the energy assumptions \(E < \frac{4}{3}\) or \(E^\mu < \varepsilon _0(\mu )\) [see (1.17) and (1.8)]. Uniqueness for (hGP) is similarly inferred from the uniqueness result for (GP) in Lemma 3.1.
Recall that by Lemma 2.7 the energy functionals \(E^s: X^s \longrightarrow {{\,\mathrm{\mathbb {R}}\,}}_\ge \) are continuous. Recall furthermore the definitions (1.19).
Proof of Theorem 1.9
Existence. We are given an initial data \((\rho _0, v_0) \in \mathcal {Y}^s\) which fulfills one of the bounds \(\mathcal {E}(\rho _0, v_0) < \frac{4}{3}\) or \(\mathcal {E}^\mu (\rho _0, v_0) < \varepsilon _0(\mu )\). We define \(q_0 = \mathcal {M}^{-1}(\rho _0, v_0)\) and obtain via Theorem 1.1 a solution \(q \in C_b({{\,\mathrm{\mathbb {R}}\,}}; X^s)\) of (GP) in the sense of Definition 3.2. Our solution q has a special representative \(\tilde{q} \in \mathcal {S}'({{\,\mathrm{\mathbb {R}}\,}}\times {{\,\mathrm{\mathbb {R}}\,}})\). In both cases \(E(q_0) < \frac{4}{3}\) and \(E^\mu (q_0) < \varepsilon _0(\mu )\), we obtain either (1.8) or (1.17), so there exists some \(\delta > 0\) depending on the initial data such that \(|\tilde{q}|> \delta > 0\). Now Corollary 1.7 implies \((\rho , v) = \mathcal {M}(\tilde{q}) \in C_b({{\,\mathrm{\mathbb {R}}\,}}; \mathcal {Y}^s)\).
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00033-023-02089-4/MediaObjects/33_2023_2089_Figc_HTML.png)
We show that \((\rho , v)\) is a distributional solution of (hGP) in the sense of Definition 1.8. We fix a ball \(B_0 \subset {{\,\mathrm{\mathbb {R}}\,}}\) and a time interval \(J = (a, b) \subset {{\,\mathrm{\mathbb {R}}\,}}\) with \(0 \in J\). It suffices to verify that (hGP) holds in distribution, i.e. when tested against any test function \(f \in \mathcal {D}(J \times B_0)\).
On regularity. Due to Lemmas 2.5 and 2.6 for \(s \ge 1\), we know that \(\tilde{q}, \tilde{q}^{-1} \in L^\infty (J; W^{1,2}(B_0))\). From these considerations \(\partial _{xx} \tilde{q} \in L^\infty (J; W^{-1,2}(B_0))\) and \((|\tilde{q}|^2 - 1) \tilde{q} \in L^\infty (J; W^{1,2}(B_0))\) directly follow. Then \(\partial _t \tilde{q} \in L^\infty (J; W^{-1,2}(B_0))\) holds because \(\tilde{q}\) solves (GP) in the sense of distributions.
As a consequence of duality and the algebra property of \(H^1\), one obtains the product estimate \(\Vert f g\Vert _{H^{-1}} \le C \Vert f\Vert _{H^1} \Vert g\Vert _{H^{-1}} \). From this, we obtain some regularity for some of the more difficult terms appearing in the subsequent calculations, for example \(\partial _t \tilde{q} \overline{\tilde{q}},\, \partial _{xx} \tilde{q} \overline{\tilde{q}} \in L^\infty (J; W^{-1,2}(B_0))\). We now present approximation arguments that derive (hGP)1 and (hGP)2 from (GP).
Obtaining (hGP)1 from (GP). Set \(\tilde{q}_\varepsilon = \eta _\varepsilon *\tilde{q}\) for a standard mollifier \((\eta _\varepsilon )_{\varepsilon > 0}\), i.e. some \(\eta _\varepsilon (x) = \eta (\varepsilon ^{-1}(\varepsilon ^{-1} x))\) where \(\eta \in C_c^\infty ({{\,\mathrm{\mathbb {R}}\,}};{{\,\mathrm{\mathbb {R}}\,}}_\ge )\) with \(\int \eta \textrm{d}x = 1\). Note that \(|\tilde{q}| > \delta \) implies \(|\tilde{q}_\varepsilon | > \frac{\delta }{2}\) for sufficiently small \(\varepsilon > 0\) as we have sufficient regularity. We define \(\rho _\varepsilon = |\tilde{q}_\varepsilon |^2\) and \(v_\varepsilon = {{\,\textrm{Im}\,}}\big [\frac{\partial _x \tilde{q}_\varepsilon }{\tilde{q}_\varepsilon }\big ]\). Note furthermore the identity \(\frac{\partial _x \tilde{q}_\varepsilon }{\tilde{q}_\varepsilon } = \frac{1}{2} \frac{\partial _x \rho _\varepsilon }{\rho _\varepsilon } + i v_\varepsilon \), which we use below. Equation (hGP)1 can be obtained by multiplying (GP) for \(\tilde{q}_\varepsilon \) with \(\overline{\tilde{q}}_\varepsilon \), taking the imaginary part, and then the limit:
We have to justify the limits in distribution on both sides. Observe that
With the same estimates, we can take the limit of the distribution \(\partial _{xx} \tilde{q}_\varepsilon \overline{\tilde{q}_\varepsilon }\). The convergence of the nonlinear term follows similarly. We have shown that
in distribution on \(J \times B_0\). As
and we can similarly show \(\partial _t \rho _\varepsilon \xrightarrow {\varepsilon \rightarrow 0} \partial _t \rho \), we have
in distribution on \(J \times B_0\).
Obtaining (hGP)\(_{2}\) from (GP). We now repeat these arguments for the second equation (hGP)2. Here we divide (GP) for \(\tilde{q}_\varepsilon \) by \(\tilde{q}_\varepsilon \), take a further derivative, the real part, and then the limit:
Of course, the limits have to be justified again. For the left-hand side, we can proceed just as before since \(\tilde{q}^{-1} \in L^\infty (J; W^{1,2}(B_0))\). On the right-hand side, the difficult terms are \(v^2\) and \(\left( \frac{1}{2} \frac{\partial _x \rho }{\rho }\right) ^2\), as here the square of a distribution in \(H^{s-1}\) is taken. The situation would be much more difficult if we did not assume \(s \ge 1\). In our case, we indeed have \(v, \frac{\partial _x \rho }{\rho } \in C(J; L^2(B_0))\), which implies that the squares are trivially defined. Furthermore,
and the same estimate works for \(\left( \frac{1}{2} \frac{\partial _x \rho }{\rho } \right) ^2\). The remaining terms are strictly easier to deal with.
Uniqueness. Let \(0 \in I \subset {{\,\mathrm{\mathbb {R}}\,}}\) be a bounded open interval and let \((\rho _1, v_1), (\rho _2, v_2) \in C(I; \mathcal {Y}^s)\) be two solutions to (hGP) in the sense of the theorem, both with initial data \((\rho _0, v_0) \in \mathcal {Y}^s\). In particular, they satisfy one of the energy bounds \(\mathcal {E}< b < \frac{4}{3}\) or \(\mathcal {E}^\mu< c(\mu ) \varepsilon < c(\mu ) \varepsilon _0(\mu )\) (see (1.15) and (1.16)). As before, this implies that there exists a \(\delta > 0\) so that \(\sqrt{\rho _k} > \delta \), where \(k \in \{0, 1, 2\}\). Since \(v_k \in L^2 \subset L^1_{{{\,\textrm{loc}\,}}}\), we can define \(\varphi _k(x) = \int \limits _0^x v_k(y) \textrm{d}y\) and \(\tilde{q}_k = \sqrt{\rho _k} e^{i \varphi _k}\). Note that \(\tilde{q}_k\) having uniformly bounded energy \(E^1\) implies \(\tilde{q}_k \in L^\infty (I; L^\infty \cap \dot{H}^1)\). We now fix \(j \in \{1, 2\}\). Writing \(q_j = \tilde{q}_j \mathbb {S}^1\) for the equivalence class, we know from Corollary 1.7 that \(q_j \in C(I; X^s)\).
Just as in the existence part of the proof, one can show that \((\rho _j, v_j)\) solving (hGP) implies that for the quantity
we have
in the sense of distributions. We sketch the argument that follows with a diagram.
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00033-023-02089-4/MediaObjects/33_2023_2089_Figd_HTML.png)
Due to (3.2), we have in particular
and hence for every \(t \in I\) there exists a \(g_j(t) \in {{\,\mathrm{\mathbb {R}}\,}}\) so that
We see that, in fact, \(\tilde{q}_j\) does not necessarily solve (GP). The reason is that for each time \(t \in I\) we had to make an arbitrary choice of a constant-in-space phase rotation, as this information is lost in the Madelung transform. This choice was the arbitrary lower limit 0 in the integral \(\varphi (t) = \int \limits _0^t v(s) \textrm{d}s\). In order to find solutions to (GP), we would now like to define
Then,
This argument requires \(g_j: I \longrightarrow {{\,\mathrm{\mathbb {R}}\,}}\) to be locally integrable. We show that \(g_j \in C(I; {{\,\mathrm{\mathbb {R}}\,}})\) by verifying that \(Q_j \in C(I; W^{-1,2}(B_0))\) for any ball \(B_0 \subset {{\,\mathrm{\mathbb {R}}\,}}\). With the same reasoning as in the existence part of the proof, \(\rho _j \in C(I; W^{1,2}(B_0))\) and \(v_j \in C(I; L^2(B_0))\) solving (hGP) in distribution implies \(\rho _j \in C^1(I; W^{-1,2}(B_0))\) and \(v_j \in C^1(I; W^{-1,1}(B_0))\). In particular, we have \(\partial _t \varphi _j \in C(I; L^1(B_0))\). Observe that
Verifying the products of distributions, each term can now be seen to be in \(C(I; W^{-1, 2}(B_0))\). We have shown that for any bounded interval \(I \ni 0\), both \(p_1\) and \(p_2\) are distributional solutions to (GP) with initial data \(p_1(0) = p_2(0) = \tilde{q}_0\). At the same time, \(p_j \in C(I; L^2_{{{\,\textrm{loc}\,}}}) \cap L^\infty (I; L^\infty _{t,x} \cap \dot{H}^1)\). Therefore, Lemma 3.1 implies \(p_1 = p_2\), from which \(q_1 = q_2\) in \(C(I; X^s)\) and \((\rho _1, v_1) = (\rho _2, v_2)\) follow.
Continuity. This is a direct consequence of the continuity result for (GP) from Theorem 1.1, the continuity of the energy functionals from Lemma 2.7, and the local bilipschitz equivalence from Theorem 1.6. \(\square \)
References
Antonelli, P.: Remarks on the derivation of finite energy weak solutions to the QHD system. Proc. Am. Math. Soc. 149(5), 1985–1997 (2021). https://doi.org/10.1090/proc/14502
Antonelli, P., Marcati, P.: On the finite energy weak solutions to a system in quantum fluid dynamics. Commun. Math. Phys. 287(2), 657–686 (2009). https://doi.org/10.1007/s00220-008-0632-0
Antonelli, P., Marcati, P.: The quantum hydrodynamics system in two space dimensions. Arch. Ration. Mech. Anal. 203(2), 499–527 (2012). https://doi.org/10.1007/s00205-011-0454-7
Antonelli, P., Hientzsch, L.E., Marcati, P., Zheng, H.: On some results for quantum hydrodynamical models. In: Kobayashi, T. (ed.) Mathematical Analysis in Fluid and Gas Dynamics, vol. 2070, pp. 107–129. RIMS Kokyuroku (2018)
Antonelli, P., Marcati, P., Scandone R.: Existence and stability of almost finite energy weak solutions to the quantum Euler–Maxwell system. arXiv e-prints arXiv:2109.14588 (2021)
Antonelli, P., Marcati, P., Zheng, H.: Genuine hydrodynamic analysis to the 1-D QHD system: existence, dispersion and stability. Commun. Math. Phys. 383(3), 2113–2161 (2021). https://doi.org/10.1007/s00220-021-03998-z
Antonelli, P., Hientzsch, L.E., Marcati, P.: Finite energy well-posedness for nonlinear Schrödinger equations with non-vanishing conditions at infinity. arXiv e-prints (2023). https://doi.org/10.48550/arXiv.2301.00751
Antonelli, P., Marcati, P., Zheng H.: An intrinsically hydrodynamic approach to multidimensional QHD systems. Arch. Ration. Mech. Anal. 247(2), Paper No. 24, 58 (2023). https://doi.org/10.1007/s00205-023-01856-x
Audiard, C.: Global well-posedness of a system from quantum hydrodynamics for small data. Confluentes Math. 7(2), 7–16 (2015). https://doi.org/10.5802/cml.21
Audiard, C.: On the time of existence of solutions of the Euler–Korteweg system. Ann. Fac. Sci. Toulouse Math. (6) 30(5), 1139–1183 (2021). https://doi.org/10.5802/afst.1696
Audiard, C., Haspot, B.: Global well-posedness of the Euler–Korteweg system for small irrotational data. Commn. Math. Phys. 351(1), 201–247 (2017). https://doi.org/10.1007/s00220-017-2843-8
Bahouri, H., Chemin, J.-Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations, vol. 343, pp. xvi+523. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-16830-7
Béthuel, F., Gravejat, P., Saut, J.-C.: Existence and properties of travelling waves for the Gross–Pitaevskii equation. In: Stationary and Time Dependent Gross–Pitaevskii Equations, vol. 473, pp. 55–103. Contemp. Math. Amer. Math. Soc., Providence (2008). https://doi.org/10.1090/conm/473/09224
Bianchini, S.: Exact integrability conditions for contangent vector fields. Manuscr. Math. (2023). https://doi.org/10.1007/s00229-023-01461-y
Bohm, D.: A suggested interpretation of the quantum theory in terms of “hidden’’ variables. Phys. Rev. 85(2), 166–179 (1952). https://doi.org/10.1103/PhysRev.85.166
Bony, J.-M.: Calcul symbolique et propagation des singularités pour les équations aux dérivées partielles non linépaires. Ann. Sci. Épcole Norm. Sup. (4) 14(2), 209–246 (1981)
Bresch, D., Gisclon, M., Lacroix-Violet, I.: On Navier–Stokes–Korteweg and Euler–Korteweg systems: application to quantum fluids models. Arch. Ration. Mech. Anal. 233(3), 975–1025 (2019). https://doi.org/10.1007/s00205-019-01373-w
Carles, R., Danchin, R., Saut, J.-C.: Madelung, Gross–Pitaevskii and Korteweg. Nonlinearity 25(10), 2843–2873 (2012). https://doi.org/10.1088/0951-7715/25/10/2843
Danchin, R., Liao, X.: On the well-posedness of the full low Mach number limit system in general critical Besov spaces. Commun. Contemp. Math. 14(3), 1250022 (2012). https://doi.org/10.1142/S0219199712500228
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the Gross–Pitaevskii hierarchy for the dynamics of Bose–Einstein condensate. Commun. Pure Appl. Math. 59(12), 1659–1741 (2006). https://doi.org/10.1002/cpa.20123
Feynman, R.P.: Superfluidity and superconductivity. Rev. Mod. Phys. 29(2), 205–212 (1957). https://doi.org/10.1103/RevModPhys.29.205
Franco, D., Giorgini, S., Pitaevskii, L.P., Stringari, S.: Theory of Bose-Einstein condensation in trapped gases. Rev. Mod. Phys. 71(3), 463–512 (1999). https://doi.org/10.1103/RevModPhys.71.463
Gallo, C.: Schrödinger group on Zhidkov spaces. Adv. Differ. Equ. 9(5–6), 509–538 (2004)
Gardner, C.L.: The quantum hydrodynamic model for semiconductor devices. SIAM J. Appl. Math. 54(2), 409–427 (1994). https://doi.org/10.1137/S0036139992240425
Gérard, P.: The Cauchy problem for the Gross–Pitaevskii equation. Ann. Inst. H. Poincaré C Anal. Non Linéaire 23(5), 765–779 (2006). https://doi.org/10.1016/j.anihpc.2005.09.004
Gérard, P.: The Gross–Pitaevskii equation in the energy space. Contemp. Math. 473, 129–148 (2008). https://doi.org/10.1090/conm/473/09226
Grant, J.: Pressure and stress tensor expressions in the fluid mechanical formulation of the Bose condensate equations. J. Phys. A Math. Nucl. Gen. 6(11), L151 (1973). https://doi.org/10.1088/0305-4470/6/11/001
Gross, E.P.: Hydrodynamics of a superfluid condensate. J. Math. Phys. 4(2), 195–207 (1963)
Hientzsch, L.E.: Nonlinear Schrödinger equations and quantum fluids non vanishing at infinity: incompressible limit and quantum vortices. PhD thesis. Gran Sasso Science Insitute (2019)
Killip, R., Vişan, M.: KdV is well-posed in H-1. Ann. Math. (2) 190(1), 249–305 (2019). https://doi.org/10.4007/annals.2019.190.1.4
Killip, R., Oh, T., Pocovnicu, O., Vişan, M.: Global well-posedness of the Gross–Pitaevskii and cubic-quintic nonlinear Schrödinger equations with non-vanishing boundary conditions. Math. Res. Lett. 19(5), 969–986 (2012). https://doi.org/10.4310/MRL.2012.v19.n5.a1
Koch, H., Liao, X.: Conserved energies for the one dimensional Gross–Pitaevskii equation. Adv. Math. 377, Paper No. 107467, 83 (2021). https://doi.org/10.1016/j.aim.2020.107467
Koch, H., Liao, X.: Conserved energies for the one dimensional Gross–Pitaevskii equation: low regularity case. Adv. Math. 420, Paper No. 108996, 61 (2023). https://doi.org/10.48550/ARXIV.2204.06293
Landau, L.: Theory of the superfluidity of Helium II. Phys. Rev. 60(4), 356–358 (1941). https://doi.org/10.1103/PhysRev.60.356
Loffredo, M.I., Morato, L.M.: On the creation of quantized vortex lines in rotating He II. Il Nuovo Cimento B (1971–1996) 108(2), 205–215 (1993). https://doi.org/10.1007/BF02874411
Markowich, P., Sierra, J.: Non-uniqueness of weak solutions of the quantum-hydrodynamic system. Kinet. Relat. Models. 12(2), 347–356 (2019). https://doi.org/10.3934/krm.2019015
McLean, W.: Strongly Elliptic Systems and Boundary Integral Equations, p. xiv+357. Cambridge University Press, Cambridge (2000)
Mohamad, H.: Hydrodynamical form for the one-dimensional Gross–Pitaevskii equation. In: Electron. J. Differ. Equ. No. 141, 27 (2014)
Nelson, E.: Derivation of the Schrödinger equation from Newtonian mechanics. Phys. Rev. 150(4), 1079–1085 (1966). https://doi.org/10.1103/PhysRev.150.1079
Pecher, H.: Unconditional global well-posedness for the 3D Gross–Pitaevskii equation for data without finite energy. Nonlinear Differ. Equ. Appl. 20(6), 1851–1877 (2013). https://doi.org/10.1007/s00030-013-0233-2
Pitaevskii, L.P.: Vortex lines in an imperfect Bose gas. Sov. Phys. JETP 13, 451–454 (1961)
Reddiger, M., Poirier, B.: Towards a mathematical theory of the Madelung equations: Takabayasi’s quantization condition, quantum quasi-irrotationality, weak formulations, and the Wallstrom phenomenon. J. Phys. A Math. 56(19), 193001 (2023)
Takabayasi, T.: On the formulation of quantum mechanics associated with classical pictures. Progr. Theoret. Phys. 8, 143–182 (1952). https://doi.org/10.1143/ptp/8.2.143
Wallstrom, T.C.: On the derivation of the Schrödinger equation from stochastic mechanics. Found. Phys. Lett. 2(2), 113–126 (1989). https://doi.org/10.1007/BF00696108
Wallstrom, T.C.: Inequivalence between the Schrödinger equation and the Madelung hydrodynamic equations. Phys. Rev. A (3) 49(3), 1613–1617 (1994). https://doi.org/10.1103/PhysRevA.49.1613
Wallstrom, T.C.: On the initial value problem for the Madelung hydrodynamic equations. Phys. Lett. A 184(3), 229–233 (1994). https://doi.org/10.1016/0375-9601(94)90380-8
Zhidkov, P.E.: The Cauchy problem for the nonlinear Schrödinger equation. In: Joint Inst, p. 15. Dubna, Nuclear Res. (1987)
Zhidkov, P.E.: Korteweg–de Vries and Nonlinear Schrödinger Equations: Qualitative Theory. Lecture Notes in Mathematics, vol. 1756, p. vi+147. Springer, Berlin (2001)
Acknowledgements
I would like to thank Sarah Hofbauer for her help with reviewing the literature and Phillipe Gravejat for directing my attention to the highly relevant paper [38] by H. Mohamad. I would also like to thank the anonymous reviewer for his detailed and valuable comments. I am especially thankful to my supervisor Xian Liao for proposing this problem and strategy and for her patience during many hours of discussion.
Funding
Open Access funding enabled and organized by Projekt DEAL. This work was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project-ID 258734477 - SFB 1173.
Author information
Authors and Affiliations
Contributions
The author is the sole contributor to the paper.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Absence of vacuum for small energies
Lemma A.1
For \(\delta \in [0, 1]\) and \(s \in \big (\frac{1}{2}, 1\big ]\), define
Then \(E^s_1 = 0\), the function \(\delta \mapsto E^s_\delta \) is decreasing, and there exists a constant \(\tilde{C}(s) > 0\) so that
Assume \(s = 1\) and write \(E_\delta = E^1_\delta \). Set \(q_0 = \tanh \), \(q_1 = 1\), and for \(\delta \in (0, 1)\) define
We have
There exists a strictly decreasing inverse function \(\tilde{\delta }: [0,\frac{4}{3}] \longrightarrow [0,1]\) with \(\tilde{\delta }(0) = 1\), \(\tilde{\delta }(\frac{4}{3}) = 0\) and
Proof
We see that \(E^s_1 = 0\) by choosing \(q = 1\). Clearly the set over which the infimum is taken increases with \(\delta \), and hence, the infimum is decreasing. Recall that Lemma 2.6 implies
where \(B_k = B_0 + k, k \in {{\,\mathrm{\mathbb {Z}}\,}}\) are balls of radius 1. Estimating with Lemma 2.7 on the right and the Sobolev embedding on the left, we obtain
for every \(q \in H^s_{{{\,\textrm{loc}\,}}}\) with \(\inf _{x \in {{\,\mathrm{\mathbb {R}}\,}}} |q(x)| \le \delta \). This proves (A.1).
Now we assume \(s = 1\). We first rewrite the problem as \(E_\delta = \inf _{\nu \in [0, \delta ]} \tilde{E}_\nu \) with
Of course we expect that \(\tilde{E}_\nu \) is decreasing in \(\nu \) and hence \(E_\delta = \tilde{E}_\delta \). This will be verified once we have calculated \(\tilde{E}_{\nu }\). Using invariance under translations, phase rotations, and mirror symmetry, we can equivalently consider the minimization problem
We now follow the same arguments as in [13, Lemma 1] to find a minimizer. Consider a minimizing sequence \((q_n)_{n \in {{\,\mathrm{\mathbb {N}}\,}}}\). As \(E^s(q_n)\) is uniformly bounded, so is \(\Vert \partial _x q_n\Vert _{L^2({{\,\mathrm{\mathbb {R}}\,}}_\ge )}\). The Banach–Alaoglu theorem then implies, up to a subsequence, that \(\partial _x q_n \longrightarrow p_\nu '\) for some \(p_\nu ' \in L^2({{\,\mathrm{\mathbb {R}}\,}}_\ge )\). Furthermore as \(q_n(0) = \nu \) is fixed, we have a Poincare inequality \(\Vert q_n\Vert _{W^{1,2}(B_0)} \le C(s, B)\, \Vert \partial _x q_n\Vert _{L^2(B_0)} \) on any finite interval \(B_0 \subset {{\,\mathrm{\mathbb {R}}\,}}_\ge \). Then we can use compactness of the Sobolev embedding to find, up to a subsequence, that \(q_n \longrightarrow p_\nu \) in \(L^\infty _{{{\,\textrm{loc}\,}}}({{\,\mathrm{\mathbb {R}}\,}}_\ge )\) for some \(p_\nu \in H^1_{{{\,\textrm{loc}\,}}}({{\,\mathrm{\mathbb {R}}\,}}_\ge )\), with \(p_\nu '\) indeed being its distributional derivative. Now we can conclude with Fatou’s lemma that \(p_\nu \) is a minimizer for \(\tilde{E}_{\nu }\):
For the case \(\nu = 0\), we obtain the Euler–Lagrange equation
Then as \(p_0(0) = 0\) and \(E(p_0) < \infty \), [13, Theorem 1] implies that \(p_0 = \tanh \) is the unique solution. Consequently, it must be the case that for \(a > 0\) the function \(p_\nu (x) = \tanh (x + a)\) is a minimizer for the problem with \(\nu = \tanh (a)\), as otherwise one could modify \(p_0\) on \([r,\infty )\) to find an admissible function with strictly smaller energy for the minimization problem of \(\tilde{E}_0\). This implies that the \(q_\delta \) defined in (A.2) are minimizers for \(\tilde{E}_\nu \).
With \(a = \tanh ^{-1}(\nu )\), and noting the identities
we compute
Evaluating the integral yields
\(\square \)
Appendix B: Littlewood–Paley theory and proof of Lemma 2.2
The proof uses the Bony decomposition
which Bony introduced in his 1981 paper [16]. It relies on the Littlewood–Paley theory, for which we refer the reader to [12, Chp. 2]. We give a brief introduction below, always only considering the one-dimensional case.
Let \(\varphi \in C_c^\infty (\{\xi : \frac{3}{4}< |\xi | < \frac{8}{3}\}\) and \(\chi \in C_c^\infty (\{\xi : |\xi | < \frac{4}{3}\})\) be non-negative functions on \({{\,\mathrm{\mathbb {R}}\,}}\) so that
This is called a dyadic partition of unity. We define for \(j \in {{\,\mathrm{\mathbb {Z}}\,}}\) the operators
and \(S_j = \sum _{j' < j} \Delta _{j'}\). These operators have nice properties such as \(\Vert S_j f\Vert _{L^p} \le C(p) \Vert f\Vert _{L^p}\), \(p \in [1, \infty ]\). At least formally, we have the decomposition
The Bony decomposition is given by
where we define
In the Littlewood–Paley setting, it is easy to define the Besov spaces \(B_{p,q}^s\) for \(1 \le p, r \le \infty \), \(s \in {{\,\mathrm{\mathbb {R}}\,}}\) by
where
It is evident that
Proof of Lemma 2.2
We only prove (2.2) as the proof of (2.1) is analogous and strictly simpler. Consider the decomposition \(f g = g S_0 f + g (1 - S_0) f\). Since \(S_0 f\) is spectrally supported in a fixed ball there exists a constant \(N \in {{\,\mathrm{\mathbb {N}}\,}}\) so that \(\Delta _k(S_0 f \Delta _j g) = 0\) unless \(|k - j| \le N\). Consequently,
It remains to estimate \(\Vert g (1 - S_0) f\Vert _{H^{s-1}}\). To simplify notation, we now write f for \((1 - S_0) f\) and derive an estimate by \(\Vert f\Vert _{H^s}\). Note that \(S_{j-1} f \Delta _j g\) is only nonzero if \(j \ge 1\), and in that case it is a convolution of a ball with an annulus of much larger radius. As a result, there exists an annulus \(\mathcal {C}\) so that \(\mathcal {F}[S_{j-1} f \Delta _j g]\) is supported in \(2^j \mathcal {C}\), and so [12, Lemma 2.69] implies
Since
this implies
For the same reason as before, we have
Here we consider two cases. If \(s \le 1\), then we use the Bernstein inequality [12, Lemma 2.1]. It states that
for any fixed ball B. This yields
Here we have used
We see that
For the case \(s > 1\), we estimate
and obtain
It remains to estimate the remainder terms R(f, g). Here let it be noted that there exists an integer \(N > 0\), independent of j, so that \(\sum _{|\nu | \le 1} \Delta _{j-\nu } f \Delta _j g\) is spectrally supported in a ball of radius \(2^{j + N - 1}\). In this case, we know by [12, Lemma 2.84] that
for \(\tilde{s} > 0\). This does not work in general if \(\tilde{s} < 0\). Therefore, we use the embedding
in order to apply (B.1) with \(\tilde{s} = s - \frac{1}{2} > 0\) and \(p, r = 1\). Now we can conclude via Hölder’s and Young’s inequalities for sequences:
\(\square \)
Appendix C: Uniqueness for the Gross–Pitaevskii equation
Proof of Lemma 3.1
Recall that \(q_1, q_2 \in C(I; L^2_{{{\,\textrm{loc}\,}}}) \cap L^\infty (I; L^\infty \cap \dot{H}^1)\) are two distributional solutions of (GP) on an open interval \(I \ni 0\) with the same initial data \(q_0\). It follows that \(q_1, q_2 \in L^\infty (I; W^{1,2}(B))\) for any arbitrary ball \(B \subset {{\,\mathrm{\mathbb {R}}\,}}\). We define \(b = q_1 - q_2\) and compute that it solves in distribution the following equation:
We know that \(\partial _{xx} b \in L^\infty (I; W^{-1,2}(B))\). Then b solving the equation implies \(\partial _t b \in L^\infty (I; W^{-1,2}(B))\). Using duality and the algebra property of \(W^{1,2}(B)\), we find that also \(\overline{b} \, \partial _t b, \partial _t (|b|^2) \in L^\infty (I; W^{-1,2}(B))\).
Let \(\varphi _n(x) = \varphi (\frac{x}{n})\) where \(\varphi \in C_c^\infty ([-2, 2]; [0,1])\) and \(\varphi \big \vert _{[-1,1]} = 1\). One may choose \(\varphi \) in such a way that there exists \(K > 0\) with \(|\partial _x \varphi | \le K \sqrt{\varphi }\) and in particular \(|\partial _x \varphi _n| \le K n^{-1} \sqrt{\varphi _n}\). We test the above with \(\overline{b} \varphi _n\) and take the imaginary part. On the left-hand side, we have
Therefore for a fixed time \(t \in I\),
We estimate
and
We have shown that there exists some \(C > 0\), depending on \(q_1, q_2\) but independent of time, such that
In particular
Now Grönwall’s inequality implies for any fixed \(t > 0\) that
hence \(q_1 = q_2\) for positive times. The argument for negative times is analogous. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wegner, R. Global-in-time well-posedness of the one-dimensional hydrodynamic Gross–Pitaevskii equations without vacuum. Z. Angew. Math. Phys. 74, 194 (2023). https://doi.org/10.1007/s00033-023-02089-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-023-02089-4
Keywords
- Gross–Pitaevskii equation
- Madelung transform
- Madelung equations
- Euler–Korteweg system
- Nonzero boundary condition
- Global well-posedness