Abstract
We prove the existence of stationary solutions for the density of an infinitely extended plasma interacting with an arbitrary configuration of background charges. Furthermore, we show that the solution cannot be unique if the total charge of the background is attractive. In this case, infinitely many different stationary solutions exist. The non-uniqueness can be explained by the presence of trapped particles orbiting the attractive background charge.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the response of a spatially homogeneous plasma to a given background distribution of charges. This phenomenon can be modeled by the following nonlinear stationary Vlasov–Poisson equation for the plasma electron density f(x, v), on the three dimensional phase space \({{\mathbb {R}}}^3\times {{\mathbb {R}}}^3\)
Here \(\mu \) describes the distribution of background charges and \(f_0\) the electron distribution far away from the perturbation. As usual, \(\rho [f]\) denotes the spatial density of electrons given by
The system (1.1)–(1.3) is often considered in plasma physics, since the onset of Debye screening can quickly be derived for the linearized system. A detailed discussion can be found in the plasma physics textbooks [5, 6]. The model (1.1)–(1.3) is also used in other contexts in plasma physics, for instance for characterizing plasma waves (cf. [10]). For a plasma interacting with a repulsive point charge, screening has been proved rigorously in [1].
A number of results have been shown for the nonlinear Vlasov–Poisson equation in the case of finite mass and finite energy. In this case, the conserved quantities can be used to study existence and stability of stationary solutions (cf. [9]). We also refer to recent results on the stability of a point charge interacting with a plasma of finite mass [7, 8].
A closely related problem is the existence and stability of stationary solutions to the Vlasov–Poisson Boltzmann equation. In the presence of collisions, the natural boundary condition \(f_0\) are Maxwellian distributions. We refer to [2,3,4] for details.
The key point of this paper is to show that stationary solutions to (1.1)–(1.3) exist for general background measures \(\mu \), and infinitely many stationary states f exist as soon as the total charge of the background measure is attractive.
The main result is contained in the following theorem.
Theorem 1.1
Let \(f_0(v) = F_0(\tfrac{1}{2} |v|^2)\) for some function \(F_0\in C^1({{\mathbb {R}}})\) satisfying Assumption 1.2 below, and \(\mu \in \mathcal {M}({{\mathbb {R}}}^3)\) be a measure with finite total variation, i.e.
Then there exist a solution \(f\in W^{1,1}_{\textrm{loc}}({{\mathbb {R}}}^3\times {{\mathbb {R}}}^3)\cap L^1_{\textrm{loc}}({{\mathbb {R}}}^3;L^1({{\mathbb {R}}}^3))\), \(Q\in W^{1,1}({{\mathbb {R}}}^3)\cap L^2({{\mathbb {R}}}^3)\) to the stationary Vlasov–Poisson problem (1.1)–(1.3). Here the equation for Q is understood in the weak sense, and the boundary condition (1.3) as
If the total charge \(\theta \in {{\mathbb {R}}}\) given by
is negative, then there exist infinitely many different solutions to the stationary problem (1.1)–(1.3).
We split the proof of Theorem 1.1 in parts. The existence of solutions is shown in Proposition 3.2, using the extensions F of \(F_0\) constructed in Sect. 2. The non-uniqueness of solutions is given by Proposition 4.1.
In [1], the existence of stationary solutions and their screening properties have been investigated for
The existence proof in [1] relies on radial symmetry of the constructed solution f and the compact embedding \(H^1_r({{\mathbb {R}}}^3) \subset L^p_r({{\mathbb {R}}}^3)\), \(2<p<6\) under radial symmetry. Most importantly, the proof only applies to repulsive interaction, i.e. \(\theta >0\).
The remainder of the paper is devoted to the proof of Theorem 1.1. Some parts of the proof follow similar to [1]. New ideas are needed to deal with general, non-radial solutions, the attractive case \(\theta <0\) and non-uniqueness of solutions.
As in [1], we look for solutions f of the form
Hence, if \(Q(x)\rightarrow 0\) as \(|x|\rightarrow \infty \), then the boundary condition in (1.3) yields
In the case of a repulsive point charge, we can show \(Q\ge 0\). Therefore, the function F in (1.6) is completely determined by the boundary condition \(f_0\) in (1.3). In the presence of an attractive test charge, Q also attains negative values and the function F is not uniquely determined by \(f_0\). Physically, this can be explained by the presence of electrons trapped on orbits around the attractive background charge. This phonomenon is also discussed in [10].
In order to prove that infinitely many solutions exist for \(\theta <0\) in (1.5), we construct a family of admissible extensions F of \(F_0\)
The set of admissible extensions F is characterized by the function
We make the following assumption on the distribution \(f_0\) of the plasma at \(|x|\rightarrow \infty \), which is also assumed in [1].
Assumption 1.2
(Velocity distribution at infinity) The boundary condition \(f_0\) can be represented as \(f_0(v) = F_0\big (\frac{1}{2} |v|^2\big )\), where \(F_0\in C^1({{\mathbb {R}}}^+;{{\mathbb {R}}}^+)\) satisfies
-
(i)
normalization
$$\begin{aligned} 4 \pi \sqrt{2} \int _0^\infty \sqrt{r} F_0(r) \;\textrm{d}{r} = 1. \end{aligned}$$(1.8) -
(ii)
decay condition
$$\begin{aligned} |F_0(r)| + |F_0'(r)|\le \frac{C}{1+r^3}. \end{aligned}$$(1.9) -
(iii)
stability condition: \(F_0\) satisfies:
$$\begin{aligned} F_0'(r)<0,\quad r\ge 0. \end{aligned}$$(1.10)
For future reference, we define
2 Extension to the negative half-line
We show the existence of solutions if the function g defined in (1.7) satisfies the following four properties:
-
(i)
normalization:
$$\begin{aligned} g(0)=1. \end{aligned}$$(2.1) -
(ii)
differentiability and monotonicity: \(g\in C^2({{\mathbb {R}}})\) and
$$\begin{aligned} g'(r)< 0,\quad r\in {{\mathbb {R}}}. \end{aligned}$$(2.2) -
(iii)
sub-differential at zero:
$$\begin{aligned} g(r) \ge ( g(0) + g'(0) r). \end{aligned}$$(2.3) -
(iv)
growth condition: for some \(1<\alpha <\frac{3}{2}\) we have
$$\begin{aligned} \begin{aligned} g(r) -( g(0) + g'(0) r)&\le C_1 |r|^\alpha , \\ |g'(r)-g'(0)|&\le C_2 |r|^{\alpha -1}. \end{aligned} \end{aligned}$$(2.4)
Before we establish the existence of solutions under the conditions (2.1)–(2.4), we demonstrate that it is possible to extend the function \(F_0\) to the negative half-line such that these conditions are met. This is the content of the following lemma.
Lemma 2.1
Let \(F_0\) satisfy Assumption 1.2. For \(\beta \in (0,\frac{1}{2})\) and \(c_\beta >0\) consider the function
and let \(F_{\beta ,c_\beta }\) be the extension of \(F_0\) by \(\tilde{F}_{\beta ,c_\beta }\). Here \(\langle r\rangle = \sqrt{1+|r|^2}\) is the Japanese bracket.
Then \(F_{\beta ,c_\beta }\in C^1_b({{\mathbb {R}}};{{\mathbb {R}}}^+)\) and for \(c_\beta >0\) large enough, the function \(g_{\beta ,c_\beta }\) defined by (1.7) satisfies the conditions (2.1), (2.2), (2.3) and (2.4) with \(\alpha =\frac{3}{2}-\beta \).
Proof
Step 1. By construction we have \(F_{\beta ,c_\beta } \in C^1_b({{\mathbb {R}}})\). Moreover, \(F_{\beta ,c_\beta }>0\) is positive since \(F_0'>0\) (cf. (1.10)).
Step 2. The normalization condition (2.1) follows since F is an extension of \(F_0\) and \(F_0\) satisfies (1.8). Furthermore, the derivative of \(g_{\beta ,c_\beta }\) can be represented as
Since \(F_{\beta ,c_\beta }\) is positive, (2.2) follows.
Step 3. For the proof of (2.3), we first remark that the condition holds for \(r\ge 0\). As observed in [1] this follows since \(F_0\) satisfies (1.10), and therefore \(g_{\beta ,c_\beta }\) is
convex on the positive half-line.
Step 4. We prove that (2.3) holds for \(r<0\) if \(c_\beta >0\) large enough. To this end, we decompose \(g_{\beta ,c_\beta }\) for \(r\le 0\) into
We now observe that there exists \(c'>0\) small enough such that (2.3) is satisfied for \(r\in [-c',0]\), independent of \(\beta \), \(c_\beta \). This follows from \(g''_{\beta ,0}(0)>0\), and the other contribution in (2.5) being positive. On the other hand, for \(r\le -c'\), we can estimate the second term in (2.5) below by
Since \(\beta \in (0,\frac{1}{2})\), we can choose \(c_\beta >0\) large enough such that (2.3) holds.
Step 4. Since \(g_{\beta ,c_\beta }\in C^2({{\mathbb {R}}})\), the condition (2.4) holds locally. It remains to check the asymptotics for \(r\rightarrow -\infty \). We again use (2.5). From the decay condition on \(F_0\) (1.9) we easily obtain
Similarly, the estimate follows for the integral term in (2.5) by a straightforward computation.
\(\square \)
3 Existence of solutions
Lemma 3.1
Let \(F\in C^1_b({{\mathbb {R}}})\) be a non-negative function such that the function g (cf. (1.7)) satisfies the properties (2.1)–(2.4) for some \(1<\alpha <\frac{3}{2}\). Recall \(\sigma >0\) introduced in (1.11) and for \(P\in L^p({{\mathbb {R}}}^3)\) define
Then we have
Moreover, B is a continuous operator \(B: L^{2\alpha }({{\mathbb {R}}}^3)\rightarrow L^2({{\mathbb {R}}}^3)\).
Proof
The non-negativity of B follows from the subdifferential condition (2.3) on g. For the upper bound, we first recall that \(g\in C^2\), and \(\sigma \) is defined by (1.11). Since \(\alpha <2\) this yields
For \(|P|\rightarrow \infty \) the inequality follows from the growth condition (2.4).
Continuity of the operator \(B:L^{2\alpha }({{\mathbb {R}}}^3) \rightarrow L^2({{\mathbb {R}}}^3)\) follows from
and finishes the proof. \(\square \)
Proposition 3.2
(Existence of solutions) Let \(F\in C^1_b({{\mathbb {R}}})\) be an extension of \(F_0\) such that the function g (cf. (1.7)) satisfies the properties (2.1)–(2.4) for some \(1< \alpha < \frac{3}{2} \). Then there exists a solution \(f\in W^{1,1}_{\textrm{loc}}({{\mathbb {R}}}^3\times {{\mathbb {R}}}^3)\cap L^1_{\textrm{loc}}({{\mathbb {R}}}^3;L^1({{\mathbb {R}}}^3))\), \(Q\in W^{1,1}({{\mathbb {R}}}^3)\cap L^2({{\mathbb {R}}}^3)\) to the stationary Vlasov–Poisson system (1.1)–(1.3) in the sense of Theorem 1.1.
Proof
Step 1. Recall \(\sigma >0\) defined in (1.11), and let \(\Phi _\sigma \) be the fundamental solution to \((\sigma -\Delta )^{-1}\), i.e.
Define \(S\in S'({{\mathbb {R}}}^3)\) by
Since \(\mu \in \mathcal {M}({{\mathbb {R}}}^3)\) has finite total variation (cf. (1.4)), we know
and in light of (3.2), B[S] satisfies
By the Green’s function property of \(\Phi _\sigma \), S is a weak solution to
Let us further introduce the functions \(H_1\), H by
where \(C_0>0\) is the constant appearing in (3.2) and
Using that \(\phi \) defined in (3.6) is a Riesz potential, we find that
Step 2. We pick the coefficient \(q_0\) as
and define the operator
We claim that K is a continuous compact operator. Continuity follows from the continuity of B shown in Lemma 3.1. It remains to prove that the image of K is precompact. To this end, consider a sequence \(R_k\in L^{q_0}({{\mathbb {R}}}^3)\), and \(G_k:= K[R_k]\). Then for some \(M>0\) we have
with \(\Phi _\sigma \) as introduced in (3.3). We observe that due to (3.7) the upper bound \(\mathcal {H}\) satisfies
Compactness now follows from the Riesz criterion for precompactness in \(L^p({{\mathbb {R}}}^3)\) since
For the first and second condition, we use (3.8) and \(\mathcal {H}\in L^{q_0}({{\mathbb {R}}}^3)\), the last line follows from (3.9).
Step 3. We infer from Step 2 the existence of a non-negative solution \(R\in W^{1,q_0}({{\mathbb {R}}}^3)\cap L^2({{\mathbb {R}}}^3)\) to the equation
This follows from Schaefer’s fixed point theorem, since K maps into a bounded set in \(L^{q_0}({{\mathbb {R}}}^3)\), so in particular there exists \(M>0\) such that for \(P\in L^{q_0}({{\mathbb {R}}}^3)\) and \(\lambda \in [0,1]\) with \(P = \lambda K(P) \) we have
Together with Step 1 and Schaefer’s fixed point theorem, this allows us to conclude the existence of a fixed point to the mapping K, i.e. R satisfying (3.11). Non-negativity of R follows by construction of K.
Step 4. There exists \(R\in L^{q_0}({{\mathbb {R}}}^3)\) such that
Notice that (3.12) follows from (3.11) if we can show \(B[R+S]\le H\). To this end, let \(R\in L^{q_0}({{\mathbb {R}}}^3)\) be any solution to (3.11). Then R is a weak solution to
Unpacking the definition of B (cf. (3.1)) yields
so in particular
Since \(R\ge 0 \) and g is monotone decreasing due to (2.2), we infer
and therefore \(R\le \phi * B[S]=H_1\). Courtesy of (3.2) we conclude \(B[R+S] \le H\). From R satisfying (3.12) we also infer \(R\in W^{1,1}({{\mathbb {R}}}^3)\).
Step 5. We define Q by
Then \(Q\in W^{1,1}({{\mathbb {R}}}^3) \cap L^2({{\mathbb {R}}}^3)\) is a weak solution to
Here we have used the Eqs. (3.5) and (3.12). We now define the non-negative function f by
Since \(F\in C^1_b({{\mathbb {R}}})\), we obtain \(f\in W^{1,1}_\textrm{loc}({{\mathbb {R}}}^3)\) and f satisfies (1.1). The spatial density of f simplifies to
Hence \(f\in L^1_\textrm{loc}({{\mathbb {R}}}^3;L^1({{\mathbb {R}}}^3))\) and combining (3.13) and (3.14) we conclude (1.2). For the boundary condition (1.3) we use Lipschitz continuity of \(F\in C^1_b({{\mathbb {R}}})\) to estimate
4 Non-uniqueness
In the preceeding sections we have constructed solutions of the Vlasov–Poisson equation of the form
for an infinite class of extensions \(F_\alpha \) of the function \(F_0\) to the negative half-line. The following Lemma proves that the associated solutions \(f_\alpha \) do not coincide.
Proposition 4.1
(Non-Uniqueness) Let \(\beta _1<\beta _2\in (0,\frac{1}{2})\) and \(F_1=F_{\beta _1,c_\beta }\), \(F_2=F_{\beta _2,c_\beta }\), with \(c_\beta >0\) large enough, the functions constructed in Lemma 2.1.
Let further \(f_1,Q_1\) and \(f_2,Q_2\) be associated solutions to the system (1.1)–(1.3) provided by Proposition 3.2. Then we have
Proof
Step 1. We first prove \(Q_1(x)<0\) on a set of positive measure. Recall the equation for Q
Assume \(Q \ge 0\) a.e.. Then \(g(Q)-1\le 0\), and therefore
which yields a contradiction.
Step 2. The functions \(Q_1\) and \(Q_2\) do not coincide, i.e. \(|Q_1-Q_2|\ne 0 \in L^1_{\textrm{loc}}({{\mathbb {R}}}^3)\). Again we argue by contradiction. If \(Q_1=Q_2\) a.e. then
However, we have \(g_1(r)>g_2(r)\) on the negative half-axis \(r<0\) since \(\beta _1<\beta _2\). Since \(Q_1\) takes negative values on a set of positive measure we reach a contradiction.
Step 3. Finally \(|f_1-f_2|\ne 0\in L^1_\textrm{loc}({{\mathbb {R}}}^3)\). Assume the contrary, and let \(A\subset {{\mathbb {R}}}^3\) the set on which \(Q_1<0\). By Step 1, A has positive measure. Then we estimate
On the other hand, for any \(y<0\) the integrand
is positive. This leads to a contradiction to the assumption. \(\square \)
Data Availability Statement
Data sharing is not applicable to this article as no new data were created or analysed in this study.
References
Arroyo-Rabasa, A., Winter, R.: Debye screening for the stationary Vlasov–Poisson equation in interaction with a point charge. Commun. Partial Differ. Equ. 46(8), 1569–1584 (2021)
Duan, R., Strain, R.: Optimal time decay of the Vlasov–Poisson–Boltzmann system in \(\mathbb{R} ^3\). Arch Ration. Mech. Anal. 199(1), 291–328 (2011)
Duan, R., Yang, T.: Stability of the one-species Vlasov–Poisson–Boltzmann system. SIAM J. Math. Anal. 41(6), 2353–2387 (2010)
Duan, R., Yang, T., Zhu, C.: Existence of stationary solutions to the Vlasov–Poisson–Boltzmann system. J. Math. Anal. Appl. 327(1), 425–434 (2007)
Goldston, R., Rutherford, P.: Introduction to Plasma Physics, 1st edn. CRC Press, Boca Raton (1995)
Nicholson, D.: Introduction to Plasma Theory. Wiley, New York (1983)
Pausader, B., Widmayer, K.: Stability of a point charge for the Vlasov–Poisson system: the radial case. Commun. Math. Phys. 385(3), 1741–1769 (2021)
Pausader, B., Widmayer, K., Yang, J.: Stability of a point charge for the repulsive Vlasov–Poisson system. arXiv:2207.05644 (2022)
Rein, G.: Non-linear stability for the Vlasov–Poisson system-the energy-Casimir method. Math. Methods Appl. Sci. 17(14), 1129–1140 (1994)
Schamel, H.: Stationary solutions of the electrostatic Vlasov equation. Plasma Phys. 13(6), 491–505 (1971)
Acknowledgements
R.W. acknowledges financial support from the Austrian Science Fund (FWF) project F65. Furthermore, R.W. would like to thank the Isaac Newton Institute for Mathematical Sciences for support and hospitality during the programme “Frontiers in kinetic theory: connecting microscopic to macroscopic scales—KineCon 2022” when work on this paper was undertaken. This work was supported by EPSRC Grant number EP/R014604/1.
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no conflicts to disclose.
Additional information
Kinetic Theory editor by Seung-Yeal Ha.
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
Winter, R. Existence and non-uniqueness of stationary states for the Vlasov–Poisson equation on \({{\mathbb {R}}}^3\) subject to attractive background charges. Partial Differ. Equ. Appl. 4, 30 (2023). https://doi.org/10.1007/s42985-023-00241-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42985-023-00241-3