1. Introduction
The stability of matter and the dynamic of many-body systems in quantum mechanics have attracted many studies in the last fifty years (see [1] - [6] ) and still stimulate many works today. In the realm of mathematical physics, where equations intricately describe the behavior of subatomic entities, bosons take center stage, offering a lens through which we can peer into the quantum intricacies of our universe. Amidst the array of phenomena that captivate the minds of physicists, the interplay between bosons and magnetic fields, particularly within the framework of the Aharonov-Bohm effect, beckons as a captivating arena for rigorous mathematical exploration. The Aharonov-Bohm effect, a theoretical cornerstone conceived by Aharonov and Bohm in 1959 [7] , introduces a distinctive quantum perspective on the interaction of charged particles with magnetic fields. Unlike classical physics, where magnetic fields are confined to regions with nonzero field strength, the Aharonov-Bohm effect asserts that the vector potential of a magnetic field can exert a measurable impact even in regions where the magnetic field itself is absent. It is worth mentioning that a similar phenomenon has been previously described by Ehrenberg and Siday (see [8] ). AB effect plays a crucial role in the development of quantum mechanics and has been experimented by Tonomura et al. (see [9] [10] ). In the existing literature, the main research direction on scalar bosons in magnetic field is the effect of magnetic field on the decay process of scalar bosons into fermions. Indeed, many results have shown that the presence of magnetic field can influence the decay process of particles. The effect of this presence is not unanimous, some authors have shown that magnetic fields enhance the decay process of scalar bosons (see [11] [12] [13] [14] ). Unlike, the previous one some authors found that magnetic field inhibits this decay process (see [15] [16] ). Regarding the dynamic of scalar bosons in Aharonov-Bohm magnetic, we found few references. [17] studied the relativistic quantum motion of charged scalar particles in the presence of Aharonov-Bohm and Coulomb potentials. The relativistic frame leads them to consider the Duffin-Kemmer-Petiau (DKP) formalism. In a study by Bagrov et al. [18] , Klein-Gordon and Dirac equations were explored in the context of an AB magnetic field. Another investigation by Castro et al. scrutinized the Aharonov-Bohm (AB) problem for vector bosons using the DKP formalism, as outlined in [19] . For more about relativistic scalar bosons, see references therein.
In this study, we first give and justify the model of the motion of scalar bosons in AB magnetic fields and secondly, we prove the existence of a ground-state solution, which means that the system of scalar bosons reaches its lowest possible energy level. Moreover, we show that this state admits a unique wave function. Analyzing AB problems introduces a significant mathematical challenge due to the singularities in the magnetic potential. To address this, integration techniques are employed. Another obstacle lies in the magnetic kinetic energy, which, as will be defined later, appears not to satisfy the decreasing rearrangement inequality. Consequently, the techniques developed by Lieb in [20] to prove the existence of solution cannot be applied. Furthermore, the compactness result fails for a minimizing sequence of (4.2) due to the minus sign. Variational methods are utilized to overcome these difficulties and establish the existence and uniqueness of the ground-state solution. Additionally, a convex inequality for the magnetic Schrödinger operator is demonstrated, contributing to the proof of a unique result for the standard Schrödinger equation.
2. The Model
When describing particles dynamics, two points of view can be considered. The first one is to consider the particles as point-particle (classical mechanics) and the second one, as wave function (quantum mechanics). Since, the point-like particle does not extend in space, the wave-function representation of particles is well suited to study the motion of many-body particles. Therefore, a system of many-particles will be represented by a wave function
, where
is the probability of finding this system in the region
. Moreover, such a wave function must satisfies the following general time-dependent Schrödinger equation:
(2.1)
where
is the external (Coulomb) potential acting on the particles and
is the potential energy due to the interaction inside the system, m is the mass of the system, where
is a magnetic potential and
the magnetic laplacian.
We are interested in the dynamics of non-relativistic scalar bosons (Higgs bosons) moving in the presence of an infinitely long solenoid. Higgs bosons have been discovered at CERN in 2013 and have been presented as the missing piece of the puzzle of the understanding of our universe. Because of that some physicists have named it “God’s particle”.
In this paper, we are interested in a system of scalar bosons moving in presence of infinitely long solenoid. This solenoid gives rise to a singular magnetic potential: the Aharonov-Bohm magnetic potential. Since, scalar bosons are free charge particles, then we deduce that the Coulomb potential is identically zero (
). The self-gravitational potential
coming from interaction inside the bosonic system whose mass density is given by
then, satisfies the following Poisson’s equation:
(2.2)
After integration, we get:
(2.3)
Therefore, the dynamics of scalar bosons moving in the presence of Aharonov-Bohm magnetic field is given by:
(2.4)
Such an Equation (2.4) is called magnetic Choquard equation name after P. Choquard who presented it at a Symposium in 1976 in ETH-Lauzanne to describe one component plasma (see [20] [21] ). In the literature, equation like (2.4) is also known as the Schrödinger-Newton equation.
In Quantum Mechanics, addressing the singularities arising from the AB magnetic potential is most effectively achieved by imposing a vanishing condition on the eigenfunction at these singularities. Notably, researchers [22] [23] [24] [25] , in dealing with the initial Aharonov-Bohm Hamiltonian, employed the natural shielding method and opted for the Dirichlet boundary condition, wherein wave functions vanish at the solenoid. In a recent development, [26] proposed a modification of the AB Hamiltonian that is essentially self-adjoint, signifying a model with a unique self-adjoint extension. The physical interpretation of self-adjointness implies the absence of particle contact with the solenoid. For further insights into the self-adjoint extension of the AB magnetic operator, refer to [27] [28] [29] [30] .
3. Preliminaries
In this paper, the symbol C denotes various positive constants whose specific values are irrelevant.
Let
, where O is an open subset of
. For the sake of simplicity, we will take
. The Aharonov-Bohm magnetic potential
is defined by:
,
where
. The magnetic field and the magnetic potential are related by
. Then, the magnetic field is perpendicular to the plan (Oxy) and is directed by z-axis. We will denote by
.
Function spaces. For
, let
be the space of real-valued functions, which are (Lebesgue) measurable and satisfy
if
and if
,
. We denote dx the Lebesgue measure.
For any p, the
space is a Banach space with norm
.
In the case
,
is a separable Hilbert space with scalar product
and corresponding norm
.
We define the magnetic Sobolev space
. This imply that we must consider functions having compact support in
. We thus define
as the closure of
with respect to the norm:
We also have that
↪
is continuous Sobolev embedding for
. Furthermore,
↪
is compact for any
and any compact set
.
Lemma 3.1. (Convexity inequality for magnetic gradient) Let f and g be real-valued functions in
. Then:
(3.1)
If moreover,
a.e. then, equality holds if and only if there exists a constant c such that
almost everywhere.
Proof. Let f and g be real-valued functions in
. We first show that
. By the diamagnetic inequality, we have
. And since, f and g are real-valued functions the convexity inequality for gradient (see [31] ) implies:
thus
. It remains to show that
this is obvious since by definition
. Recalling that:
then, by Theorem 6.17 [31] , we have:
And then,
(3.2)
Therefore, (3.1) holds. Now, let assume that
and that equality holds in (3.1). Then, from (3.2) we deduce that:
(3.3)
a.e. in
. Therefore, following the arguments of the proof of Theorem 7.8 [31] , we deduce that
almost everywhere.¨
Remark 3.2. If we consider the standard magnetic Schrödinger equation namely
, where
is the electric potential. Then, by the convex inequality on may show that this equation has a unique solution (see [31] ).
4. Existence of Ground-State Solution and Uniqueness of the Minimizer
When considering existence of solutions of the time-dependent Schrödinger Equation (2.4), we can seek for solutions of the form
. Then, replacing
by
in Equation (2.4) with all constant normalized we get the following stationary equation:
(4.1)
We define the energy functional
in
by:
(4.2)
Let
and
.
Since
is
finding that solutions of (4.1) are equivalent to find the solutions of the following variational problem:
(4.3)
Lemma 4.1. i)
is
.
ii)
is bounded from below on
.
iii)
.
Proof see [32] .
We are now ready to state the main result of this article.
Theorem 4.2 Suppose that
. Then,
1) (4.3) has a minimizer which a ground-state solution for Equation (4.1).
2) The minimizer
satisfies (4.3) with
. Moreover,
is the unique minimizer up to a constant phase and can be chosen to be strictly positive function.
Remark 4.3. If we replace 1 in the definition of
by a positive constant let say
we will get the same result. We only took 1 for sake of simplicity.
Proof. 1) Since
is bounded from below, there exists a minimizing sequence
of
. That is:
(4.4)
Then, from Lemma 4.1, the sequence
is bounded in
. By the Banach-Alaoglu theorem there exist a subsequence of
still denoted by
which converges weakly to
in
.
We know from [33] that:
(4.5)
Which means that the functional
is weakly continuous. Moreover, since
is weakly lower semicontinuous, we deduce that the energy functional is weakly lower semicontinuous. Thus,
and this means
.
It remains to show that
satisfies the condition
. Since, the
-norm is weakly lower semi-continuous we have
. Now suppose that
and let
where
. Then,
and:
(4.6)
Therefore,
. Absurd! Thus
.
2) Let
. Since the AB-potential
is bounded, we have:
(4.7)
Suppose u and v are two minimizers of problem (4.3). Then,
and
belong to
and by inequality (4.7) are minimizers of the functional
. And so,
and
minimize
. Therefore, by Theorem 10 in [20] , we deduce that
.¨
5. Conclusion
We have modeled the dynamic of scalar bosons in the presence of AB-magnetic field. We proved the existence and uniqueness of a ground-state solution, which means the system of scalar bosons has a unique state where it reaches its lowest possible energy level. Physically, these imply stability of the systems of scalar bosons in the presence of AB-magnetic field.