Abstract
In this talk we discuss some recent results I obtained for a class of nonlinear models in quantum mechanics. In particular we focus our attention to the nonlinear one-dimensional Schrodinger equation with a periodic potential and a Stark-type perturbation. In the limit of large periodic potential the Stark–Wannier ladders of the linear equation become a dense energy spectrum because a cascade of bifurcations of stationary solutions occurs; for a detailed treatment we refer to Sacchetti (Phys Rev E 95:062212, 2017, SIAM J Math Anal 50(6):5783–5810, 2018) where this model has been studied.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The nonlinear Schrodinger equation (NLSE) received an increasing attention from mathematicians since the seminal papers by Ginibre and Velo [26], we refer to the research monographs [14] and [16]. Such an attention was initially motivated because of applications of NLSE to nonlinear optics; indeed, Maxwell equations in a Kerr medium may lead to certain NLSEs [60]. More recently, a large interest for NLSE also arose in quantum mechanics; in fact, the dynamics of a Bose–Einstein condensate (BEC), that is a state of matter of a dilute gas of bosons cooled to temperatures very close to absolute zero (that is, very near to 0 K), may be described by means of a NLSE. We should mention that BECs were predicted by Satyendra Nath Bose and Albert Einstein and only recently, in 1995, E. Cornell and C. Wieman at the University of Colorado gave the first experimental evidence of BECs, they received with Ketterle the 2001 Nobel price in Physics for such a result. The Bose gas is governed by Bose–Einstein statistics which describes the statistical distribution of bosons allowed to share the same quantum state. Under such conditions macroscopic quantum phenomena become apparent. In other words, a BEC is a Schrodinger’s cat, that is a macroscopic object which obeys to the laws of quantum mechanics. In 1961 Eugene P. Gross [28] and Lev Petrovich Pitaevskii [35] independently obtained a NLSE, called now Gross–Pitaevkii equation (GPE), which describes the dynamics of a BEC under some circumstances, e.g. when only binary collisions are taken into account. The rigorous derivation of the GPE from a N-body problem in a suitable scale limit has been the object of a large interest in the last few years (see [9] and the reference therein). We should also mention that NLSE represents a versatile and interesting model for understanding molecular physics too (see [37] and the references therein).
In the present paper I briefly review some results I have obtained in this last decade and finally I describe with more details the cascade of bifurcations that occur in the model of accelerated BECs in a periodic lattice. The NLSE I consider has the form
where m is the mass of the quantum particle, \(\hbar \) is the Planck constant, V is the external potential and \(\sigma \) is the power nonlinearity; in fact, \(\sigma =1\) in the GPE. One can study such an equation by reducing it to a discrete NLSE by making use of semiclassical techniques (the basic ideas are developed in the papers [43, 44]) or canonical perturbation theory (the basic ideas are developed by [6, 7]).
Concerning the potential V(x) I have considered different situations.
1.1 Singular potential
In this case the external potential V is represented by means of a singular “function”, typically it is a Dirac’s \(\delta \) or a derivative of the Dirac’s \(\delta \) [1, 2, 8, 18, 19, 30, 45, 62]. In fact, Dirac’s delta potentials provide a general and idealized model for short-range interactions. They have been introduced by Enrico Fermi in 1936 in three dimensions in order to investigate the scattering of slow neutrons by atoms; such potentials were later recognized to provide the simplest example of exactly solvable quantum models and have been widely employed in toy models.
1.2 Double-well potential
The spontaneous symmetry breaking (SSB) phenomenon is a very important effect that arises in a wide range of physical systems modeled by nonlinear equations. For instance, in optics SSB has been experimentally observed for laser beams in Kerr media and focusing nonlinearity [13, 29]. Another natural setting in which SSB phenomenon may arise is for Bose–Einstein condensates with a double well potential [4, 17, 38]. Also, the study of gases of pyramidal molecules such as the ammonia \(NH_3\) is a topic where SSB phenomenon plays a crucial role. A nonlinear mean field model of a gas of pyramidal molecules has been introduced [37, 61]; in this model spontaneous symmetry breaking explaining the presence of two asymmetrical degenerate ground states, corresponding to the different localization of the molecules, has been predicted with the full agreement with experimental data. The bifurcation picture is quite complicated, and it depends on the spatial dimension as well as on the nonlinearity power; see, e.g. [3, 5, 15, 22, 27, 31, 34, 46,47,48,49].
1.3 Periodic potential
Trapped atoms in optical lattices is an emerging field for applications in quantum optics and quantum information processing; furthermore, it is a model system for solid state physics, too [10, 11]. A lattice potential can be formed by overlapping counter-propagating laser beams, where the atoms are trapped by the optical standing wave produced by the interference between the laser beams. By interfering more laser beams, one can obtain one-, two- and three-dimensional lattice potentials. In a periodic lattice BECs exhibit a quantum phase transition from a superfluid phase to a Mott-insulator phase when the depth of the lattice potential, which can be tuned with great accuracy, changes from shallow to deep [12]. This fact has been predicted to occur in the framework of the Bose–Hubbard model [21], and recently observed experimentally (see,e.g., [24, 25, 58, 59]). The basic argument which leads to phase transition for nonlinear models is the SSB, this effect has been deeply discussed by [23, 32, 50], see also [33].
1.4 External symmetric potential plus a Stark-type field
Here, we consider the case where the trapping external potential has a symmetric double well or a periodic shape and where an external Stark-type perturbation breaks the symmetry. The external Stark-type perturbation term may represent the effect of gravity on a BEC. In this case one speaks of accelerated BECs in an external potential. It is well known that when the Stark-type perturbation is absent then a periodic behavior of the wave-function is expected; in fact, in the case of double-well potential a beating motion is observed, while in the case of a periodic potential Bloch oscillations are expected. The point is to understand what happen to these periodic behaviors when a Stark-type potential is switched on. The problem has some interesting aspects connected with applications. In fact, accelerated ultracold atoms moving in an optical lattice have opened the field to multiple applications [10, 11, 39, 42, 57], as well as the measurements of the value of the gravity acceleration g using ultracold strontium atoms confined in a vertical optical lattice [20, 36], and direct measurement of the universal Newton gravitation constant G [40] and of the gravity-field curvature [41]. This problem has been the main object of my research activity in these last few years [51,52,53,54,55,56].
2 Accelerated BECs in a periodic lattice
The dynamics of quantum particles in a one-dimensional periodic potential under an homogeneous external field is one of the most important problems in solid-state physics. Because of the periodicity of the potential, it is expected the existence of families of quantum resonances with associated energies displaced on regular ladders, the so-called Stark–Wannier ladders, and the wavefunction would perform Bloch oscillations with period
where g is the gravity acceleration and a is the lattice period. In fact, if one look for the spectrum of the one-dimensional operator \(- \frac{\hbar ^2}{2m} \frac{\partial ^2 }{\partial x^2} + V + m g x \), where V is a smooth periodic potential with period a, it turns out that it covers the whole real axis (and it is absolutely continuous). Thus stationary states are no admissible. However, the existence of quantum resonances are proved; where a quantum resonances is, roughly speaking, a complex pole of the kernel of the resolvent operator and it is associated to (meta)stable stationary states. In such a model these complex poles \(\lambda _{\ell , n}\) are labeled by the indexes \(\ell \in {{\mathbb {N}}}\) and \(n \in {{\mathbb {Z}}}\) and they are displaced on a regular ladders:
The study of accelerated ultracold atoms moving in an optical lattice has opened the field to multiple applications, as well as the measurement of the value of the gravity acceleration g using ultracold Strontium atoms confined in a vertical optical lattice. Determination of g has been obtained by measuring the period T of the Bloch oscillations of the atoms in the vertical optical lattice; indeed, recalling that the period T is connected to the gravity acceleration g by (2), then a precise value of the constant g has been obtained by means of the experimental measurements of the oscillating period. Since Bloch oscillations with period T have been predicted by the Bloch Theorem only for a one-body particle in a periodic field and under the effect of a Stark potential then it has been chosen, in the experiments above, a particular Strontium’s isotope \({}^{88}Sr\); in fact, the scattering length \(a_s\) of atoms \({}^{88}Sr\) is very small and thus it has been assumed that the effects of the atomic binary interactions are negligible [20, 36].
Motivated by such physical applications we study, as a model for a confined accelerated BECs in a periodic optical lattice under the effect of the gravitational force, the nonlinear one-dimensional time-dependent Schrodinger equation with a periodic potential V and an accelerating Stark-type potential W
in the limit of large periodic potential, i.e. \(0< \epsilon \ll 1\). Here, \(\gamma \) is the strength of the nonlinearity term; the real valued parameters m, \(\hbar \), \(\alpha \) and \(\gamma \) are assumed to be fixed. In particular W(x) is a Stark-type potential with strength \(\alpha \), that is it is locally a linear function: \(W(x)=x\) for any x belonging to a fixed interval large enough.
By means of a simple recasting we swap the limit of large potential \(\epsilon \ll 1\) to a semiclassical equation. If we set
then the above equation takes the form
and the limit of large periodic potential \(\epsilon \rightarrow 0^+\) is equivalent to the semiclassical limit \(h\rightarrow 0^+\) where
In the semiclassical limit we will show that the time-independent NLSE may be approximated by means of a system of discrete time-independent NLSEs which stationary solutions may be explicitly calculated. In particular, a cascade of bifurcations occurs when the ratio between the nonlinearity strength and the strength of the Stark-type potential increases; in the opposite situation, that is when this ratio goes to zero, we recover a local Wannier–Stark ladders picture.
2.1 Notation
By \(\ell ^p_{{{\mathbb {R}}}}\) we denote the space of vectors \({\mathbf {c}} = \{ c_n \}_{n\in {{\mathbb {Z}}}} \in \ell ^p ({{\mathbb {Z}}})\) such that \(c_n \in {{\mathbb {R}}}\) are real valued. Similarly
Let f and g two vectors belonging to a normed space with norm \(\Vert \cdot \Vert \), and depending on the semiclassical parameter \(h\). By the notation \(f = g + \tilde{{\mathcal {O}}}\left( e^{-S_0/h} \right) \), as \(h\rightarrow 0\), we mean that for any \(\rho \in (0, S_0)\) there exist a positive constant \(C:= C_\rho >0\) (independent of \(h\)) such that
for some \(h^\star >0\). By the notation \(f \sim g\), as \(h\rightarrow 0\), we mean that \(\lim _{h\rightarrow 0^+} \frac{f}{g} = C\) for some \(C \in (0, +\infty )\). By C we denote a generic positive constant independent of \(h\) whose value may change from line to line.
3 Description of the model and assumptions
Here we consider the nonlinear Schrodinger equation (4) where V(x) is a smooth, real-valued, periodic and non negative function with period a, i.e.
and with minimum point \(x_0 \in \left[ - \frac{1}{2} a ,+\frac{1}{2} a \right) \) such that
For argument’s sake we assume that \(V(x_0 )=0\) and \(x_0=0\).
In the following let us denote by \(x_n = x_0 + n a\).
Concerning the perturbation W(x) we assume that it is a smooth, real-valued and bounded function such that
for some \(N \in {{\mathbb {N}}}\). Furthermore W has compact support \(\Omega \supset [-N a, N a].\) In fact, a Stark potential is such that \(W(x) \equiv x\) for any x; in such a case W(x) is not a bounded operator and this fact is a source of serious technical problems. For this kind of reasons we have restricted ourselves to a bounded and compactly supported Stark-type potential.
Let \(H_B\) be the Bloch operator formally defined on \(L^2 ({{\mathbb {R}}}, dx)\) as
The linear operator \({H}\), formally defined as
on the Hilbert space \(L^2 ({{\mathbb {R}}}, dx)\), admits a self-adjoint extension, still denoted by \({H}\). Here, we look for stationary solutions to Eq. (4) of the form
for some energy\(\lambda \in {{\mathbb {R}}}\) and wave function \(\psi (x)\). Hence, Eq. (4) takes the form
We must underline that when a stationary solution \(\psi \) to Eq. (7) is regular enough then \(\psi \) is, up to a phase factor, a real-valued function. Hence, Eq. (7) can be replaced by the following equation
where \(\psi \) is real-valued.
Finally, we state our last assumption; it concerns the nonlinearity power: we assume that
That is we restrict ourselves to the case of a cubic nonlinear equation where (4) becomes the so called Gross–Pitaevskii equation.
Our aim is to look for real-valued stationary solutions \(\psi \in H^1\) to (8) with associated energy \(\lambda \in {{\mathbb {R}}}\).
The following results have been proved in forthcoming paper [56] and already discussed from a physical point of view by [55].
4 Construction of the discrete nonlinear Stark–Wannier equation
We consider low energies: let \(\Pi \) the projection operator associated to the first band \([E_1^b, E_1^t ]\) of \(H_B\) and let \(\Pi _\perp ={\mathbf {1}}- \Pi \). Let
We may write \(\psi _1\) by means of a linear combination of a suitable orthonormal base \(\{ u_n \}_{n \in {{\mathbb {Z}}}}\) of the space \(\Pi \left[ L^2 ({{\mathbb {R}}}) \right] \), that is
where \(u_n \in H^1 ({{\mathbb {R}}})\) and
since \(\psi \), and then \(\psi _1\), is a real-valued function by (8) and \(u_n\) are real valued too. Roughly speaking each vector \(u_n\) is approximated by the ground state of the operator \( - h^2 \frac{\partial ^2}{\partial x^2} + V_n\), where \(V_n\) is obtained by filling all the wells of the periodic potential V, but the one with index n and center at \(x_n\).
By inserting (9) and (10) in Eq. (8) then it takes the form
where \({\mathbf {c}} \in \ell ^2_{{{\mathbb {R}}}}\) and \(\psi _\perp \) are such that
If one expands the r.h.s of the first equation of (11) then it finally takes the form
where \(C_1 = \Vert u_0 \Vert _{2\sigma +2}^{2\sigma +2} \sim h^{-\frac{\sigma }{2}}\) as \(h\) goes to zero, \(\xi (n)= n\), \(|n| \le N\), is a bounded function with compact support; \({\mathbf {r}} = \{ r_n \}_{n \in {{\mathbb {Z}}}}\) is a remainder term such that for any \(\delta _0 >0\) fixed
and
is the Agmon distance between two adjacent wells.
5 Anticontinuous limit of the DNLSWE
Let us set
hence
For argument’s sake, we assume that \(f, \ \nu \ge 0\). If we neglect the remainder term \({\mathbf {r}}\) then (12) takes the form
and in the anticontinuous limit\(\beta \rightarrow 0\) then (15) becomes
5.1 Finite-mode solutions to the anticontinuous limit equation (16)
Here, we look for stationary solutions \({\mathbf {d}} \in \ell ^2_{{\mathbb {R}}}\) to (16) under the normalization condition
We say that the anticontinuous limit equation (16) has a finite-mode solution if there exists a solution-set \(S \subset {{\mathbb {Z}}}\) with finite cardinality, a real value \(\mu ^S\) and a normalized vector \({\mathbf {d}}^S = \{ d_n^S\}_{n\in {{\mathbb {Z}}}} \in \ell ^2_{{{\mathbb {R}}}} ({{\mathbb {Z}}})\) where \(\mu ^S\) and \({\mathbf {d}}^S\) solve
and where \(d_n^S =0\) if \(n\notin S\). The real value \(\mu ^S\) is hereafter called the energy associated to the stationary solution \({\mathbf {d}}^S\).
In Fig. 1 an example of finite-mode solutions is given; both solution sets are associated to the same value of the energy \(\mu = \frac{1}{3} \nu + \frac{7}{3} f\).
We consider solution-sets S associated to a given rung of the (kind of) Stark–Wannier ladder satisfying the condition \(S\subseteq [-N,+N]\) where \( \xi (n)\) is a linear function. That is we consider energies \(\mu ^S\) in the interval \([\nu - f N , \nu + f N]\). We can see that stationary solutions to Eq. (17) associated to such solution-sets S may bifurcate when the ratio \(\nu /f\) is a positive integer number.
In order to count how many stationary solutions we have let us introduce the following function denoted by Q(n), where \(n\in {{\mathbb {N}}}\), and defined by the number of ways of writing the integer number n as a sum of positive integers without regard to order, with the constraint that all integers in a given partition are distinct. E.g.: \(Q(1)=1\), \(Q(2)=1\), \(Q(3) = 2\) and \(Q(4)=2\).
Theorem 1
When \(\nu /f\) takes the value of a positive integer number then stationary solutions to (17), associated to solution-sets \(S \subset [-N,N]\), bifurcate. Furthermore, the total number of solutions-sets S associated to a given rung of the (kind of) Wannier–Stark ladder, assuming that all these sets S are contained in the interval \([-N,+N]\), is given by
A cascade of bifurcation points, when \(\nu {/\!f}\) takes the value of any positive integer, occurs; indeed, when the ratio \(\nu {/\!}f\) becomes larger than a positive integer n then Q(n) new stationary solutions appear. This fact can be seen in Fig. 2, where we plot the values of \({\mu }{/\!}f\), when \(\nu {/\!}f\) belongs to the interval [0, 10], associated to solution-sets S such that \(\min S =0\), that is we plot the value of energies associated to the 0-th rung of the (kind of) Wannier–Stark ladder. By translation this picture occurs for each rung of the ladder and then the collection of values of \(\mu \) associated to stationary solutions is going to densely cover intervals of the real axis.
In order to understand why Theorem 1 holds true we assume now that the effective nonlinearity strength is not zero, that is \(\nu >0\) for argument’s sake. In such a case, Eq. (17) has finite mode solutions \(\mathbf{d}^S = \{ d_n^S\}_{n \in {{\mathbb {Z}}}}\), associated to sets \(S \subset {{\mathbb {Z}}}\) with finite cardinality \({\mathcal N} = \sharp S < \infty \), given by
with the condition
since we have assumed that \(d_n^S \in {{\mathbb {R}}}\) and \(\nu >0\). The normalization condition reads
In the case \({{\mathcal {N}}}=1\) then \(S= \{ j \}\) again for any \(j \in {{\mathbb {Z}}}\) and (21) reduces to
where condition (20) holds true because we have assumed that \(\nu > 0\); the associated stationary solution \(\mathbf{d}^{S}\) takes the form:
That is we recover a kind of (perturbed) Stark–Wannier ladder.
From this fact we can conclude that the anticontinuous limit (16) always admits a ladder-type family of normalized one-mode solutions.
5.2 Finite-mode solutions to equation (17) associated to solution-sets S with finite cardinality bigger that 1
In order to look for finite-mode solutions with \({{\mathcal {N}}}>1\) we restrict ourselves to the case of cubic nonlinearity (i.e. \(\sigma =1\)) as we have previously assumed; in such a case it follows that the normalization condition (21) implies that
Theorem 2
Let \(S= \{ j+\ell _0, j+\ell _1, \ldots , j + \ell _{{{\mathcal {N}}}-1} \}\), with \(j \in {{\mathbb {Z}}}\) and \(0=\ell _0< \ell _1< \ell _2< \ldots < \ell _{{{\mathcal {N}}}-1}\) positive integer numbers such that
Then S is a solution-set connected to the j-th rung of a (kind of) Stark–Wannier ladder and Eq. (17) has a \({{\mathcal {N}}}\)-mode solution
First of all, since the stationary problem (17) is translation invariant \(n \rightarrow n+\ell \) and \(\mu ^S \rightarrow \mu ^S - f\ell \), provided that the solution-sets are contained in the interval \([-N,N]\), then we can always restrict ourselves to the 0-th rung of the ladder such that \( \min S=0\), that is the solution-set has the form \(S= \{ 0, \ell _1 , \, \ldots , \ell _{{{\mathcal {N}}}-1} \}\) with \(0<\ell _1< \ell _2< \cdots< \ell _{{{\mathcal {N}}}-1} < N\) positive and integer numbers. Hence, (22) becomes
and condition (20) implies the following condition on the solution-set S
where
Let \({{\mathcal {S}}}^\star (\nu /f)\) be the collection of sets \(S^\star \) satisfying (25), and let \({{\mathcal {Q}}}^\star (n)\) be the collection of sets of all non negative integer numbers, including the number 0, which sum is equal to n, without regard to order with the constraint that all integers in a given partition are distinct; e.g. \({{\mathcal {Q}}}^\star (1) = \left\{ \{ 0,1\} \right\} \), \({{\mathcal {Q}}}^\star (2) = \left\{ \{ 0,2\} \right\} \) and \({{\mathcal {Q}}}^\star (3) = \left\{ \{ 0,3\} ,\, \{ 0,1,2\} \right\} \). Hence, by construction
In conclusion, we have shown that the counting function \({M}(\nu /f)\) defined as the number of solution-sets S of integer numbers satisfying the conditions (25) and such that \(\min S =0\), is given by
Theorem 1 then follows.
One can see that \({M}(\nu /f)\) grows quite fast, indeed the following asymptotic behavior holds true:
Hence
as n goes to infinity, where \(\text{ erfi } (x) = - i\, \text{ erf } (ix)\) is the imaginary error function. In particular, since \(\frac{\nu }{f} \sim C_1 \sim h^{-\sigma /2}\) with \(\sigma =1\), then we have that the energy \(\mu \) lies in an interval \([\nu - f N , \nu + f N]\) with center at \(\nu \sim h^{3/2}\) and amplitude of order \(h^2\), and the number of stationary solutions is of order
for some positive constant C. That is the energy spectrum densely fill the interval \([\nu - f N , \nu + f N]\) when \(h\) goes to zero.
5.3 When do \({{\mathcal {N}}}\)-mode stationary solutions arise from \(({{\mathcal {N}}}-1)\)-mode stationary solutions?
If one looks with more detail the bifurcation cascade one can see that we have \({{\mathcal {N}}}\)-mode solutions for any value of \({{\mathcal {N}}}\), provided that \(S\subset [-N,N]\) for some N large enough.
Theorem 3
If \(\nu /f < {{{\mathcal {N}}}({{\mathcal {N}}}-1)}/2 \) then stationary solutions to (16), associated to solution-sets \(S \subset [-N , +N]\), are localized on a number of sites less than \({{\mathcal {N}}}\), at \(\nu /f = {{{\mathcal {N}}}({{\mathcal {N}}}-1)}/2 \) a stationary solution localized on \({{\mathcal {N}}} -1\) sites bifurcates and a new stationary solution localized on \({{\mathcal {N}}}\) sites arises.
6 Conclusion
Now, we are ready to close our analysis by connecting the stationary solutions to the discrete NLSE in the anticontinuous limit (16) with the stationary solutions to the GP equation (4). In particular, by making use of some fixed point arguments developed with Reika Fukuizumi [23] we are able to prove that:
Theorem 4
Let \(\frac{\nu }{f} \notin {{\mathbb {N}}}\) and let \(h>0\) small enough. Let \(\sigma =1\). Let \({\mathbf {d}}^S\) be a finite-mode normalized solution to the discrete nonlinear Schrodinger equation in the anticontinuous limit associated to a solution-set S satisfying the assumption of Theorem 1. Then there exists a stationary solution \(\psi ^S\) to the nonlinear Schrodinger equation (8) such that
References
Adami, R., Sacchetti, A.: The transition from diffusion to blow-up for a nonlinear Schrodinger equation in dimension 1. J. Phys. A Math. Gen. 38, 83798392 (2005)
Adami, R., Noja, D.: Stability and symmetry-breaking bifurcation for the ground states of a NLS with a \(\delta \)’ interaction. Commun. Math. Phys. 318, 247–289 (2013)
Adhikari, S.K., Malomed, S.P., Salasnich, L., Toigo, F.: Spontaneous symmetry breaking of Bose–Fermi mixtures in double-well potentials. Phys. Rev. A 81, 053630 (2010)
Albiez, M., Gati, R., Fölling, J., Hunsmann, S., Cristiani, M., Oberthaler, M.K.: Direct observation of tunneling and nonlinear self-trapping in a single Bosonic Josephson junction. Phys. Rev. Lett. 95, 010402 (2005)
Alexander, T.J., Yan, D., Kevrekidis, P.G.: Complex mode dynamics of coupled wave oscillators. Phys. Rev. E 88, 062908 (2013)
Bambusi, D., Sacchetti, A.: Exponential times in the one-dimensional Gross–Pitaevskii equation with multiple well potential. Commun. Math. Phys. 275, 136 (2007)
Bambusi, D., Sacchetti, A.: Stability of spectral eigenspaces in nonlinear Schrodinger equations. Dyn. PDE 4, 129–141 (2007)
Banica, V., Visciglia, N.: Scattering for NLS with a delta potential. J. Differ. Equ. 260, 4410–4439 (2016)
Benedikter, N., de Oliveira, G., Schlein, B.: Quantitative derivation of the Gross-Pitaevskii equation. Commun. Pure Appl. Math. 68, 1399–1482 (2015)
Bloch, I.: Ultracold quantum gases in optical lattices. Nat. Phys. 1, 23 (2005)
Bloch, I.: Quantum coherence and entanglement with ultracold atoms in optical lattices. Nature 435, 1016 (2008)
Bloch, I., Dalibard, J., Zwerger, W.: Many-body physics with ultracold gases. Rev. Mod. Phys. 80, 885 (2008)
Cambournac, C., Sylvestre, T., Maillotte, H., Vanderlinden, B., Kockaert, P., Emplit, P., Haelterman, M.: Symmetry-breaking instability of multimode vector solitons. Phys. Rev. Lett. 89, 083901 (2002)
Carles, R.: Semi-Classical Analysis for Nonlinear Schrodinger Equations. Cambridge University Press, Cambridge (2008)
Carlone, R., Figari, R., Negulescu, C.: The quantum beating and its numerical simulation. J. Math. Anal. Appl. 450, 1294–1316 (2017)
Cazenave, T.: Semilinear Schrodinger Equations. Courant Lecture Notes, AMS (2003)
Dalfovo, F., Giorgini, S., Pitaevskii, L.P., Stringari, S.: Theory of Bose–Einstein condensation in trapped gases. Rev. Mod. Phys. 71, 463 (1999)
Damanik, D., Ruzhansky, M., Vougalter, V., Wong, M.W., Adami, R., Noja, D.: Exactly solvable models and bifurcations: the case of the cubic NLS with a or a interaction in dimension one. Math. Modell. Nat. Phenom. 9, 1–16 (2014)
Della Casa, F.F.G., Sacchetti, A.: Stationary states for non linear one-dimensional Schrodinger equations with singular potential. Physica D 219, 60–68 (2006)
Ferrari, G., Poli, N., Sorrentino, F., Tino, G.M.: Long-lived Bloch oscillations with Bosonic \(Sr\) atoms and application to gravity measurement at the micrometer scale. Phys. Rev. Lett. 97, 060402 (2006)
Fisher, M.P.A., Weichman, P.B., Grinstein, G., Fisher, D.S.: Boson localization and the superfluid-insulator transition. Rev. B 40, 546 (1989)
Fukuizumi, R., Sacchetti, A.: Bifurcation and stability for nonlinear Schrodinger equations with double well potential in the semiclassical limit. J. Stat. Phys. 145, 1546–1594 (2011)
Fukuizumi, R., Sacchetti, A.: Stationary states for nonlinear Schrodinger equations with periodic potentials. J. Stat. Phys. 156, 707–738 (2014)
Gerbier, F., Widera, A., Fölling, S., Mandel, O., Gericke, T., Bloch, I.: Phase coherence of an atomic Mott insulator. Phys. Rev. Lett. 95, 050404 (2005)
Gerbier, F., Widera, A., Fölling, S., Mandel, O., Gericke, T., Bloch, I.: Interference pattern and visibility of a Mott insulator. Phys. Rev. A 72, 053606 (2005)
Ginibre, J., Velo, G.: On a class of nonlinear Schrodinger equations. J. Fund. Anal. 32, 1–71 (1979)
Goodman, R.: Hamiltonian Hopf bifurcations and dynamics of NLS/GP standing-wave modes. J. Phys. A Math. Theor. 44, 425101 (2011)
Gross, E.P.: Structure of a quantized vortex in boson systems. Il Nuovo Cimento 20, 454457 (1961)
Hayata, K., Koshiba, M.: Self-localization and spontaneous symmetry breaking of optical fields propagating in strongly nonlinear channel waveguides: limitations of the scalar field approximation. J. Opt. Soc. Am. B 9, 1362 (1992)
Ianni, I., Le Coz, S., Royer, J.: On the Cauchy problem and the black solitons of a singularly perturbed Gross-Pitaevskii equation. SIAM J. Math. Anal. 49, 1060–1099 (2017)
Kirr, E., Kevrekidis, P.G., Pelinovsky, D.E.: Symmetry-breaking bifurcation in the nonlinear Schrodinger equation with symmetric potential. Commun. Math. Phys. 308, 795–844 (2011)
Pelinovsky, D.E., Schneider, G.: Bounds on the tight-binding approximation for the Gross–Pitaevskii equation with a periodic potential. J. Differ. Equ. 248, 837–849 (2010)
Pelinovsky, D.E.: Localization in Periodic Potentials: From Schrodinger Operators to the Gross-Pitaevskii Equation. Combridge UNiversity Press, Combridge (2011)
Pelinovsky, D.E., Phan, T.V.: Normal form for the symmetry-breaking bifurcation in the nonlinear Schrodinger equation. J. Differ. Equ. 253, 2796–2824 (2012)
Pitaevskii, L.P.: Vortex lines in an imperfect Bose gas. Sov. Phys. JETP 13, 451454 (1961)
Poli, N., Wang, F.Y., Tarallo, M.G., Alberti, A., Prevedelli, M., Tino, G.M.: Precision measurement of gravity with cold atoms in an optical lattice and comparison with a classical gravimeter. Phys. Rev. Lett. 106, 038501 (2011)
Presilla, C., Jona-Lasinio, G., Toninelli, C.: Classical versus quantum structures: the case of pyramidal molecules. In: Blanchard, P., DellAntonio, G. (eds.) Multiscale Methods in Quantum Mechanics: Theory and Experiment, p. 11927. Birkhäuser, Boston (2004)
Raghavan, S., Smerzi, A., Fantoni, S., Shenoy, S.R.: Coherent oscillations between two weakly coupled Bose–Einstein condensates: Josephson effects, \(\pi \) oscillations, and macroscopic quantum self-trapping. Phys. Rev. A 59, 620 (1999)
Raizen, M., Salomon, C., Niu, Q.: New light on quantum transport. Phys. Today 50, 30 (1997)
Rosi, G., Sorrentino, F., Cacciapuoti, L., Prevedelli, M., Tino, G.M.: Precision measurement of the Newtonian gravitational constant using cold atoms. Nature (London) 510, 518 (2014)
Rosi, G., Cacciapuoti, L., Sorrentino, F., Menchetti, M., Prevedelli, M., Tino, G.M.: Measurement of the gravity-field curvature by atom interferometry. Phys. Rev. Lett. 114, 013001 (2015)
Saba, M., Pasquini, T.A., Sanner, C., Shin, Y., Ketterle, W., Pritcard, D.E.: Light scattering to determine the relative phase of two Bose–Einstein condensates. Science 307, 1945 (2005)
Sacchetti, A.: Nonlinear time-dependent Schrodinger equations: rhe Gross-Pitaevskii equation with double-well potential. J. Evolut. Equ. 4, 345–369 (2004)
Sacchetti, A.: Nonlinear double well Schrodinger equations in the semiclassical limit. J. Stat. Phys. 119, 1347–1382 (2005)
Sacchetti, A.: Spectral splitting method for nonlinear Schrodinger equations with singular potential. J. Comput. Phys. 227, 1483–1499 (2007)
Sacchetti, A.: Universal critical power for nonlinear Schrodinger equations with a symmetric double well potential. Phys. Rev. Lett. 103, 194101 (2009)
Sacchetti, A.: Hysteresis effects in Bose–Einstein condensates. Phys. Rev. A 82, 013636 (2010)
Sacchetti, A.: Nonlinear Schrodinger equations with multiple-well potential. Physica D 241, 1815–1824 (2012)
Sacchetti, A.: Stationary solutions to the multi-dimensional Gross–Pitaevskii equation with double-well potential. Nonlinearity 27, 26432662 (2014)
Sacchetti, A.: First principle explanation of phase transition for Bose–Einstein condensates. Eur. Phys. J. B 87, 243–248 (2014)
Sacchetti, A.: Solution to the double-well nonlinear Schrodinger equation with Stark-type external field. J. Phys. A Math. Theor. 48, 035303 (2015)
Sacchetti, A.: Accelerated Bose-Einstein condensates in a double-well potential. Phys. Lett. A 380, 581–584 (2016)
Sacchetti, A.: Nonlinear Schrodinger equations with a multiple-well potential and a Stark-type perturbation. Physica D 321–322, 39–50 (2016)
Sacchetti, A.: Bloch oscillations and accelerated Bose–Einstein condensates in an optical lattice. Phys. Lett. A 381, 184–188 (2017)
Sacchetti, A.: Bifurcation trees of Stark-Wannier ladders for accelerated Bose-Einstein condensates in an optical lattice. Phys. Rev. E 95, 062212 (2017)
Sacchetti, A.: Nonlinear Stark–Wannier equation. SIAM J. Math. Anal. 50(6), 5783–5810 (2018)
Shin, Y., Saba, M., Pasquini, T.A., Ketterle, W., Pritchard, D.E., Leanhardt, A.E.: Atom interferometry with Bose-Einstein condensates in a double-well potential. Phys. Rev. Lett. 92, 050405 (2004)
Spielman, I.B., Phillips, W.D., Porto, J.V.: Condensate fraction in a 2D Bose gas measured across the Mott-insulator transition. Phys. Rev. Lett. 100, 120402 (2008)
Stöferle, T., Moritz, H., Schori, C., Köhl, M., Esslinger, T.: Transition from a strongly interacting 1D superfluid to a Mott insulator. Phys. Rev. Lett. 92, 130403 (2004)
Sulem, C., Sulem, P.-L.: The Nonlinear Schrodinger Equation. Self-focusing and Wave Collapse. Applied Mathematical Sciences, vol. 139. Springer, New York (1999)
Vardi, A., Anglin, J.R.: Bose-Einstein condensates beyond mean field theory: quantum backreaction as decoherence. Phys. Rev. Lett. 86, 568 (2001)
Witthaut, D., Rapedius, K., Korsch, H.J.: The nonlinear Schrodinger equation for the delta-comb potential: quasi-classical chaos and bifurcations of periodic stationary solutions. J. Nonlinear Math. Phys. 16, 207–233 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Salvatore Rionero.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This paper is partially supported by GNFM-INdAM. This paper is dedicated to Professor Tommaso Antonio Ruggeri on occasion of his 70th birthday and it is an extract of the talk given by the author at the Conference Wascom 2017 (Bologna) in honor to Professor Tommaso Antonio Ruggeri.
Rights and permissions
About this article
Cite this article
Sacchetti, A. Nonlinear models and bifurcation trees in quantum mechanics: a review of recent results. Ricerche mat 68, 883–898 (2019). https://doi.org/10.1007/s11587-019-00443-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-019-00443-1