Abstract:We prove a general, non-perturbative result about finite-time blowup solutions for the $L^2$-critical boson star equation $i\partial_t u = \sqrt{-\Delta+m^2} \, u - (|x|^{-1} \ast |u|^2) u$ in 3 space dimensions. Under the sole assumption that the solution blows up in $H^{1/2}$ at finite time, we show that $u(t)$ has a unique weak limit in $L^2$ and that $|u(t)|^2$ has a unique weak limit in the sense of measures. Moreover, we prove that the limiting measure exhibits minimal mass concentration. A central ingredient used in the proof is a "finite speed of propagation" property, which puts a strong rigidity on the blowup behavior of $u$.
As the second main result, we prove that any radial finite-time blowup solution $u$ converges strongly in $L^2$ away from the origin. For radial solutions, this result establishes a large data blowup conjecture for the $L^2$-critical boson star equation, similar to a conjecture which was originally formulated by F. Merle and P. Raphael for the $L^2$-critical nonlinear Schrödinger equation in [CMP 253 (2005), 675-704].
We also discuss some extensions of our results to other $L^2$-critical theories of gravitational collapse, in particular to critical Hartree-type equations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the singularity formation (i.e., the blowup phenomenon) of the L2 - critical Boson Star Equation. Specifically, the author studied whether the solution will blow up in a finite time and the behavioral characteristics of the solution at the time of blowup. The core problems of the paper can be summarized as follows:
1. **Conditions and properties of singularity formation**: The author attempted to determine what initial conditions will lead to the solution blowing up in a finite time and describe the properties of these blow - up solutions.
2. **Existence and uniqueness of the weak limit**: For the solution \(u(t, x)\) that blows up in a finite time \(T\), the author proved that there exists a unique weak limit \(u^* \in L^2(\mathbb{R}^3)\), and when \(t \to T^-\), \(u(t, \cdot)\) weakly converges to \(u^*\).
3. **Existence and uniqueness of the blow - up measure**: The author also proved that there exists a unique regular Borel measure \(\mu \in M(\mathbb{R}^3)\) such that \(|u(t, \cdot)|^2\) weakly converges to \(\mu\), and the mass of the measure \(\mu\) is equal to the initial mass \(\int_{\mathbb{R}^3} |u_0|^2\).
4. **Minimum mass concentration point**: The author further proved that there exists a point \(x^* \in \mathbb{R}^3\) such that the mass of the measure \(\mu\) at this point is at least the critical mass \(M_c\), i.e., \(\mu(\{x^*\}) \geq M_c\).
5. **Strong convergence of radially symmetric solutions**: For radially symmetric blow - up solutions, the author proved that in the region far from the origin, the solution strongly converges to a certain limit function.
### Mathematical formula representation
- The form of the Boson Star Equation is:
\[
i\partial_t u = \sqrt{-\Delta + m^2} u - (|x|^{-1} * |u|^2)u, \quad (t, x) \in [0, T) \times \mathbb{R}^3
\]
where \(m \geq 0\) is a physical constant, the operator \(\sqrt{-\Delta + m^2}\) is defined through the Fourier transform, with the symbol \(\sqrt{\xi^2 + m^2}\), and \( * \) represents the convolution of functions on \(\mathbb{R}^3\).
- The energy conservation law and the L2 mass conservation law are respectively:
\[
E[u]=\frac{1}{2} \int_{\mathbb{R}^3} u \sqrt{-\Delta + m^2} u - \frac{1}{4} \int_{\mathbb{R}^3} (|x|^{-1} * |u|^2) |u|^2
\]
\[
M[u]=\int_{\mathbb{R}^3} |u|^2
\]
- The critical mass \(M_c\) is defined as:
\[
M_c = \|Q\|_{L^2}^2
\]
where \(Q = Q(|x|) \in H^{1/2}(\mathbb{R}^3)\) is the radial ground - state solution of the nonlinear equation
\[
\sqrt{-\Delta} Q+Q-(|x|^{-1} * |Q|^2) Q = 0
\]
Through the above research, the author not only solved the singularity formation problem of the L2 - critical Boson Star Equation, but also provided a theoretical basis for understanding other similar critical Hartree - type equations.