CC BY
23
ON THE DERIVATION OF THE SCHRODINGER EQUATION WITH POINT-LIKE NONLINEARITY
C. Cacciapuoti
Dipartimento di Scienza e Alta Tecnologia, Universita dell'Insubria, Via Valleggio 11, 22100 Como, Italy
[email protected] PACS 02.30.Jr, 03.65.Db, 02.30.Rz DOI 10.17586/2220-8054-2015-6-1-79-94
In this report we discuss the problem of approximating nonlinear delta-interactions in dimensions one and three with regular, local or non-local nonlinearities. Concerning the one dimensional case, we discuss a recent result proved in [10], on the derivation of nonlinear delta-interactions as limit of scaled, local nonlinearities. For the three dimensional case, we consider an equation with scaled, non-local nonlinearity. We conjecture that such an equation approximates the nonlinear delta-interaction, and give an heuristic argument to support our conjecture.
Keywords: Nonlinear Schrodinger equation, nonlinear delta interactions, zero-range limit of concentrated nonlinearities.
Received: 15 January 2015
1. Introduction
Point interactions in quantum mechanics describe the dynamics of particles in interaction with potentials supported on a (finite or infinite) set of points. In dimension one, they are quite easily understood as a limit of short range potentials and they have been a subject of study since the very early years of quantum mechanics, a most well-known application is the Kronig-Penney model [17], which describes the dynamics of electrons in crystals. In higher dimensions, the first attempts to use point interaction came from nuclear physics, to describe the short range interactions between nucleons. It was found that to define a potential supported in one point in dimension larger than one is a subtler and less intuitive matter. Indeed, a rigorous mathematical definition of point potentials in dimension three was achieved only in the 1960's with the work of Berezin and Faddeev [7].
At a formal level the Hamiltonian describing a particle in a potential supported by points can be written as: Ha = —A + j aj, where a = {aj} is a set of assigned real constants, Y = {yj} is a fixed set of points in Rd, and 8yj is the Dirac delta-distribution centered in yj. For this reason, Ha is also referred to as delta-interaction. For a thorough discussion on the Hamiltonian Ha see [6], the monograph also includes an historical overview of the topic and an appendix with an update on the progresses in the area.
The subject of this report is the Schrodinger equation associated with a nonlinear version of the Hamiltonian Ha in which the constants aj depend on the state of the system. Such an equation describes the propagation of a wave function in a medium whose response is nonlinear only in some isolated points. The question that we want to address is whether the solution of the equation with point-like nonlinearities is approximated by the solution of an equation with smooth nonlinear terms.
We shall focus attention only on the one and three dimensional cases. They will be discussed separately, with the related applications and literature, in Sec. 2 and 3 respectively.
In dimension one, a solution to the approximating problem was given in [10]. Here we shall briefly discuss the result and give a sketch of the proof, we refer to [10] for the details.
In dimension three , the problem is still open. Here we shall exhibit an equation that we conjecture to approximate the nonlinear delta-interaction, and give an heuristic argument to support our conjecture.
To the best of our knowledge very little is known about the two dimensional case. Also the correct definition of the limit problem, and the study of the well-posedness, is not yet done. In dimension four or higher, instead, the problem cannot be set up because is not possible to define the Hamiltonian Ha, see [6].
In what follows we shall construct the approximating equation by introducing a small scaling parameter that will be denoted by e. We shall denote by c a generic positive constant whose value may change from line to line. The constant c may depend on the parameters entering the equations and on the initial data, but in no case c will depend on the scaling parameter.
2. Nonlinear delta-interactions in dimension one
In this section we shall present a review on the Schrodinger equation with delta-like nonlinearities concentrated in a fixed set of points in dimension one. We shall recall the definition of the equation and the basic results about its well-posedness, this part is a survey of the works [4,5] and [16]. Then we shall state the main result of [10] on the derivation of the equation as the limit of Schrodinger equations with spatially non-homogeneous scaled nonlinearity, and discuss the basic ideas behind the proof. We shall also mention a different approximation method based on non-local smoothed nonlinearities, this method was used in [16] as an intermediate step in the proof of the well-posedness of the limit equation.
To begin, it is worth recalling the definition of the operator Ha in dimension one.
The domain of the self-adjoint operator Ha is
D(Ha) = e H2(R\Y) n H^R) : $'(y+) - $(y-) = aj^(y)}. (1)
The operator Ha acts on the elements in its domain as the Laplacian, everywhere, except that in the points yj, i.e.,
Ha$ = Vx = yj ,j = 1,..., N (2)
for any $ e D (Ha).
The form domain of Ha does not depend on the parameters aj and coincides with
H !(R).
To give a precise definition of the nonlinear dynamics in which we are interested, we start with a discussion on the non-autonomous Hamiltonian Ha(t), for which we let the parameters aj depend on the time variable t. Such Hamiltonians are interesting on their own both from the physical and mathematical point of view, see, e.g., [15,19] and references therein.
When aj(t) are assigned real valued functions of time, the domain D(Ha(t)) changes in time as well. In particular, if $(t) e D(Ha(t)), then $(t) must satisfy the time dependent jump conditions (t,y+) — $'(t,y~) = aj(t)$(t,yj). Conversely, the form domain of Ha(t) does not depend on t and coincides with H1 (R).
Consider the Cauchy problem
d
iJt^(ï) = (3)
^|t=o =
The weak solutions of (3) are the solutions of the associated integral equation
N
^(t,x) = (u(t) * ^o)(x) - i^ I dsU(t - s,x - yj)aj(s)^(s,yj), (4)
j=iJo
where U(t) is the unitary evolution group associated to the free Laplacian in dimension one, its explicit expression is given by
el 41
U (t,x) =
(4nit)1/2'
The solutions of (4) belong to the domain of Ha(t) only under suitable assumptions on the initial datum and on the regularity of the functions aj (t). For a discussion on this problem we refer to the works [15,19].
From (4), it is clear that the solution "(t,x) is fully determined from the quantities "(t,yj), j = 1,..., N. Then, by evaluating the equation (4) in yk, k =1,..., N, the problem of finding "(t,x) can be reduced to solve a system of N coupled Volterra equations for the functions "(t,yk). This fact will also be used in the analysis of the nonlinear problem.
To define the nonlinear delta-interactions we use the weak formulation (4) and mimic the nonlinear flow on it by letting aj(t) ^ aj(\"(t, yj)|2). In this way we give a weak formulation of the problem given by the equation idt" = + N=1 aj(\"(t,yj)\2) 8yj " with initial datum "0. We remark that the choice of the nonlinearity aj(\"(t, yj) \2) guarantees that the equation is invariant under phase multiplication and that the nonlinearity is local; strong solutions should satisfy the jump condition "'(t,y+) — "'(t,y-) = aj(\"(t,yj)\2)"(t,yj).
We shall follow [4,5] and consider only power-type nonlinearities, i.e., aj(z) = Yj for some real constants Yj, and ^j > 0, but more general nonlinearities could be considered, see, e.g., [16]. Our model nonlinear delta-interaction is then defined by the integral equation
N ,t
"(t,x) = (U(t) * "o)(x) — ^yW dsU(t — s,x — y3)\"(s,y3)\2^j"(s,y3). (5)
j=1 0
This is a weak formulation of the problem
d &2 N i-Qt^(t,x) = — dxi"(t,x) + Y^Yj ^ \^(t,yj)\2Mj"(t,x)
j=i
"0(0, x) = "o(x).
Nonlinear point interactions of this form have been used in solid state physics, see, e.g., [8,18] (and references therein), and, more recently, to model nonlinear periodic systems, such as Bose-Einstein condensates trapped into optical lattices, see [14].
As for the time dependent delta-interactions, we do not address here the problem of showing under what conditions on Yj, ^j and "0, the solution of (5) satisfies the jump condition "'(t,y+) — "'(t,y-) = Yj\"(t,yj)\2^j"(t,yj). Instead we take initial data in the form domain, H 1(R), and discuss the well-posedness and the approximation problem in H1
t
We start by recalling that global well-posedness of (5) for initial data in H 1(R) and under the condition that
» < 1 if Yj < 0 (6)
was proved in [5] (see also [16] for different kind of nonlinearities).
The proof of global well-posedness as given in [5] follows a standard scheme: first prove local well-posedness; then show that there exist some conserved quantities; finally, extend the well-posedness to an arbitrarily large time T by exploiting the conserved quantities together with results on the existence of global solutions for the Volterra equations. We shall not comment on the first step of the proof, the analysis of the local well-posedness. For the purposes of this report it is enough to discuss the conservation laws and how they affect the proof of the global well-posedness, the discussion will make clear where the condition (6) plays a role.
For any initial state in H 1(R), there exist two quantities which are conserved by the nonlinear flow (5): the L2-norm (also referred to as mass), and the energy
N
E [$] = M2 + £ -j |$(yj )|2^'+ j=i -j + 1
Then, if $(t) is the solution of (5) with e H 1(R), one has that ||$(t)||2 = ||$0||2 and E [$(t)] = E [$o ].
One main issue in the proof of the global well-posedness is to prove that the H 1-norm of the solution does not blow-up in finite time, i.e., that there does not exist T such that limsupt^T ||$(t)||Hi < ro.
From the conservation of mass, proving that blow-up does not occur is reduced to prove that the kinetic energy ||$'(t)|2 does not blow-up in finite time.
If Yj > 0 for all j, the conservation of the energy immediately implies that ||$'(t) || ^ c (as well as |$(t,yj)| ^ c). Then no restriction on the power of the nonlinearity is needed.
If for some j, Yj < 0, then the conservation of the energy alone is not enough to guarantee that ||$'(t)| stays bounded. One needs to be sure that in the energy the growth of ||$'(t)| cannot be compensated by the negative term j-7i<0 |$(t,yj)|2. This is achieved by using the well known Gagliardo-Nirenberg inequality
^ cM2||$||2. (7)
Inequality (7), together with the energy and mass conservation, imply
E[$o] = E[$(t)] = ||$'(t)||2 + £ -j|$(t,yj)|2^' +2 — £ -j|$(t,yj)|2^+2
j • Yj>0 -j j : Yj<0 -j (8)
> ||$'(t)|2 — c £ ||^(t)rj+1.
j : Yj <0
The bound (8) makes clear where the condition (6) comes from: if -j < 1 for all the j's such that Yj < 0, then the inequality (8) implies that ||$'(t)| ^ c; otherwise the negative term at the r.h.s. dominates for (t)|| large, and the inequality (8) does not imply that ||$'(t)| is bounded.
We note that in [5], it is shown that for N =1 the condition (6) is indeed sharp. In the sense that for - = -1 > 1, it is possible to find an initial datum e H 1(R) such that there exists tc < ro for which limsupt^tc ||$(t)||Hi(R) = ro, i.e., the solution blows-up in finite time.
2.1. Point-like limit of scaled spatially non-homogeneous nonlinearities in dimension one
Here we discuss the approximating equation used in [10] and give a sketch of the proof of the convergence of the solutions.
For any e > 0, consider the nonlinear flow
N ,t
#(i,x) = (U(i) * - I ds(U(t - s) * V7(--yOl^l^s))^) (9)
where
V/(x) = ^Vj Q with Vj e L1(R, (1 + |x|)dx) n Ls(R) (10)
and ¡j > 0.
We remark that Eq. (9) is a weak formulation of the Cauchy problem
d d2 N
= -—#(i,x) +J] Vj£(x - yj )№*(*,*)|2"' (11)
j=i ( )
#(0,x) = ^o(x)
This describes a situation in which there is a spacial inhomogeneity of the response of the medium to the wave function propagation. The regions in which the response is nonlinear are supported on intervals of length of order e around the points yj.
Before discussing the convergence of the solutions of Eq. (9) to the solutions of Eq. (5) we shall comment on the well-posedness of (9). Under the assumption (10), Corollary 6.1.2 of [11] applies, so that, for any e > 0, one has global existence of strong H^solutions for every initial datum r e H 1(R) for any ¡j > 0 if Vj ^ 0 (defocusing case) and for 0 < ¡j < 2 if Vj is negative in some open interval (for ¡j = 2, the critical case, one has global existence for small data, see Remark 6.1.3 of [11]).
As for the limit problem (5), to prove global well-posedness in H1 one uses the fact that there exist two conserved quantities: the L2-norm (mass) and the energy
N 1 r
e£M = m2 + £ —r V£(y - yjMy)l2M+2dy.
j=1 ¡j + 1 J R
Precisely one has that, for any r e H 1(R), the solution of (9) is such that:
|№e(t)||2 = M2 and E r(t)] = E [^o].
From the mass conservation, to prove that the H 1-norm of does not blow-up in finite time, one needs to show that the quantity ||^£'(i)| stays bounded for any t. This is achieved by using the following argument, write Vj as the sum of its positive and negative part, Vj = Vj + - Vj _, with Vj + ^ 0 and Vj _ > 0. Then, by the Gagliardo-Nirenberg inequality
(7), '
j+1 I V% - yj = ^j+r R e Vj (^ )l^'(y)|2w^
> - j+1 i j ^ )W'*<y»i2"j+2 dy
> -2 »ris / i^'(y)i2dy > - e »nr nn2
e R e
We denote by K C {1,...,N} the set of indices j such that Vj is negative in some open interval. Then by mass and energy conservation, and the inequality above, one has that,
E£[^°] = E£[^(t)] ^ Iir(t)ll2 --E ■ (12)
£
jeK
As a consequence, one has ||-0£ (t)|| ^ C£ if vj < 2 for all j G K. We remark that the
<f'(
argument used above gives a bound on ||^£'(i)| which is not uniform in -. The constant C£ depends on - because £ appears at the denominator of c in Eq. (12). This is enough to obtain global well-posedness for any - > 0 but it is not enough to prove the convergence result. For that we shall need a bound on ||^£'(i)| which is uniform in -, we shall be able to obtain it at the cost of a more restrictive constraint on vj. Now we are ready to state the main result of [10].
Theorem 2.1. For all j = 1,...,N, take V£ as in (10) and 0 < Vj < 1 if Vj is negative in some open interval. For any G H 1(R), let ^ be the solution of Eq. (5) with Yj = JR Vjdx and be the solution of Eq. (9). Then, for any T > 0,
lim sup ||^(t) - ^£(t)||Hi(R) = 0. te[o,T ]
Outline of the proof of Th. 2.1. We shall discuss only the main ideas behind the proof of Th. (2.1), for the details we refer to [10]. We divide the proof in four steps.
Step 1. The first step is to obtain a bound for ||^£'(i)| which is uniform in -. This can be achieved at the cost of a more restrictive constraint on the power of the nonlinear term, precisely we shall need to assume that vj < 1, for all j G K. Writing, as in the proof of the well-posedness of Eq. (9), Vj as the sum of its positive and negative parts, and by assumption (10) and Gagliardo-Nirenberg inequality, we have that
"TT i V£(y - yj W(y)\2^+2dy = —/ 1 Vj (^V (y)\2rj+2dy Vj + 1 j r j Vj + 1 j r £ v £ '
>--^ i Vj,-(y№£(yj + -y)\2r +2dy
Vj + 1 J R
^ -c||#'||r+1
The latter bound together with the conservation of the energy, gives
E£^°] = E£[#(t)] ^ W'm2 - c£ nr(t)r+1.
Since
N 1 r
sup E£[^°] ^ ||^°||2 + ||^°||r2£ dx V-+(x) = K
j=i
we finally get the inequality:
l,£'U\ II2
c £ w wr+1 ^ k
j&K
which implies ||"0£'(t)|| ^ c if Vj < 1 for all j G K and t > 0, by the Gagliardo-Nirenberg inequality, this also implies the bound ||"0£(t)||TO ^ c.
Step 2. The solution of the limit problem (5) is completely determined by the values ip(t, yj), j = 1, ...,N. Then to find ip(t, x) we must solve first the system of coupled nonlinear
On the derivation of the Schrodinger equation with point-like nonlinearity 85
Volterra equations in the variables r(t,yk).
N
r(t,yfc) = (U(t) * ro)(yk) - dsU(t - s,yfc - yj)|r(s,yj)|2^r(s,yj), (13)
j=1 70
k = 1,..., N.
For this reason in the second step of the proof we address the problem of showing the convergence of r£(t, yk) to r(t, yk), for all k = 1,..., N. To this end, we compute r£(t, yk) by using Eq. (9), we get
n rt
#(t,yfc) = (U(t) * ^0)(yfc) - ^ ds(U(t - s) * V£(- - yj)ir£(s)|2^r£(s^(yfc).
j=1 70
We rewrite the latter equation in a more explicit form as r£(t,yfc) = (U(t) * r)(yk)
N »t
- i £ / ds / U(t - s,yfc - yj - ey) V(y) |r£(s,y + ey)|2^£(s,yj + ey)dy. (14)
j=^0 J R
Letting e ^ 0 at the r.h.s. of the latter equation one would expect that
N
r£(t,yfc) - (U(t) * ^0)(yfc) - i £ / V(y)dy / ds U(t - s,yfc - yj) |r£(s,yj)|2^jr£(s,yj).
j=1 J R J0
By comparison with Eq. (13) one notices that r£(t,yk) approximatively satisfies the same equation as r(t, yk) if Yj = JR V(y)dy. To make precise this idea we subtract Eq. (13) from (14). By adding and subtracting suitable terms at the r.h.s. (using the fact that Yj = JR Vj(y)dy), we end up with the identity
^£(t,yfc) - r(t,yfc) =
N -t
- ij>j / dsU(t - s,yfc - yj) (|r£(s,yj)|2Mjr£(s,yj) -|r(s,yj)|2Mjr(s,yj)) + R£(t) j=1 0
where R£(t) is a remainder that satisfies the bound supte[0T] |R£(t) | ^ ce5 for any 0 < 8 < 1/2 and T > 0, we refer to [10] for the details. Here we use the a priori bounds ||r(t)||s ^ c and
From the bound for the remainder R£(t), the explicit expression of U(t,x), the fact that ||a|2^a - |6|2^b| ^ (|a|2^ + |b|2^)|a - b| for any a,b e C, and the a priori bounds ^ c and ||r£(t)||s ^ c, we get the inequality:
S
N rt
|r£(t,yfc) - r(t,yfc)| ^ cV ds -|r£(s,yJ) - r(s,yJ)| + ce5.
j=1 0 t - s
By a standard argument in the theory of Abel integral operators, we conclude that
sup |r£(t,yj) - r(t,yj)| ^ ce5 (15)
te[0,T ]
for any 0 < 8 < 1/2 and T > 0.
t
t
£(t) U < c.
Step 3. Now we can proceed to the proof of the convergence in L2-norm, precisely we shall show that
sup ||^£(t) - ^(t)|| ^ c£5 (16)
te[°,T ]
for any 0 < 8 < 1/2 and T > 0.
We rewrite the nonlinear Eq. (9) explicitly, as
r(t,x) = (U(t) * ^°)(x)
N ft r
- iV / ds U (t - s,x - y3 - £y) Vj (y) \r(s,y3 + £y)\2r r(s,y3 + £y)dy. (17)
j=1J° JR
As in Step 2, letting £ ^ 0 at the r.h.s. we see that, if Yj = JR Vj dx, ip£(t,x) approximately satisfies the same equation as ^>(t,x). To make precise this argument we subtract (17) from (5) and get the identity
4>£(t, x) - ^(t, x) = N ft
- yJ dsU(t - s, x - yj) (\#(s, yj)|2r^£(s, yj) - |^(s, y3) \2r^(s, y3)) + T£(t, x). j=1
where T£(t,x) is a remainder that satisfies the bound supte[°,T] ||T£(t)|| ^ c£S for any 0 < 8 < 1/2 and T > 0 (see [10] for the details). Taking the L2-norm of ip£(t,x) - t,x) we obtain
sup ||^£(t) - ^(t)||
te[°,T ] N rt
\ Yj \ sup / dsU(t - s, ■-yj) (\r(s,y3 )\2r r(s,y3)-\^(s,yJ)\2^(s,yJ))
j=1 te[°,T] •7°
N
^c£ sup |\^£(s,yj)\2rr(s,y3) - \^(s,yj)\2r)| + c£5
+ c£5
j=1 se[°,T] N
^cV sup \^£(s,yj) - ^(s,yj)\ + c££ ^ c££.
j=1 se[°,T]
In the second inequality we used the bound
sup
te[°,T ]
t
U(t - s, ■)/(s) ds
^ c sup \f (s)\. se[°,T ]
In the third inequality we used \\a\2ra- \b\2rb\ ^ (\a\2r + \b\2r)\a-b\ and the a priori bounds ||"0(t)||rc> ^ c, ||-0£(t)||^ ^ c. And finally we used the bound (15). This concludes the proof of (16).
Step 4. We are left to prove the convergence in H1. Since the bound ||"0£'(t)|| ^ c holds true, there exists a subsequence, that we denote in the same way, such that ^£(t) converges weakly to 0(t) in H 1(R). Recalling that ^£(t) ^ ^>(t) in L2(R) we conclude that 0(t) = ip(t) a.e.. Moreover, since:
|r(t) - №H2H 1 = ||#(t)||H 1 + |№(t)||H 1 - 2Re (ip£(t),ip(t))Hi, it is sufficient to prove that
lim №£(t)nu 1 = №(t)||Hi.
£—
°
As in Step 3 we proved the convergence in L2, we are left to show that
lim sup HirWII2 -|№'(t)||2|=0. te[o,T ]
From the conservation of the energy we obtain
N
(18)
l2
E^o] - £ —T7 /dxVjl(x - y)|^l(t,x)| 7=1 T 1 J
E[^o] - £
1
- ^ iTTT
.7=1 J
)l
2^ +2
Since liml^0 El[^0] = E [^0], we have
lim sup
l2
1^0
te[o,T ]
lim sup
1^0 te[o,T ]
N
£
. =1
+ 1
Vj(x)|#(i,y + ex)|2^ +2dx - Yi)|2^' +2
(19)
By Step 2 we have lim1^0 supte[0,T] ||^1(i,y7-)|2^j+2 - |^(i,y7-)|2^' +2| = 0. Moreover, since Y. = JR Vj dx, it follows that
Vj(x)|^1(i,y. + ex)|2^+2dx - Yj)|2"' +2
V(x) (|#(i,y. + ex)|2^+2 - )|2^j +2) dx
^ cv^ ll|^1(i)|
1(,\ |2^fc+2 l
lH1
|Vj (x^^/Ndx ^ cVe.
The latter bound, together with the equality (19), give (18), and this concludes the proof of Th. 2.1. □
2.2. Remarks on the one dimensional problem
We conclude the discussion on the one dimensional case with several remarks.
We note that the approximating problem (11) imitates the approximation result on the linear delta-interactions. Indeed it is well known, see [6], that the Hamiltonian H1 = -A + Y1 j Vj1^ - ), with Vj1 defined as in Eq. (10), converges in the norm resolvent sense to Ha, defined by (1) - (2), with a. = JR Vjdx. Recall that this also implies the convergence of associated unitary groups.
For the convergence of the linear problem one only needs to assume Vj G L1(R). Also, the well-posedness result for Eq. (9) requires only Vj G L1(R) if L^(R) (see [11]). This suggests that the assumption Vj G L1(R, (1 + |x|)dx) if L^(R) in Th. (2.1) is not optimal.
Concerning the assumptions on Vj we also note that the limit problem (5) is well posed for any ^ > 0 if y. > 0. Since y. = JR Vjdx , one would expect the convergence result to hold true for any > 0 if JR Vjdx > 0. Nevertheless , the argument used to derive the uniform bound, ||^1'(i)| ^ c (step 1 in the proof of Th. 2.1), requires an upper bound on whenever Vj is negative in some open interval. The same problem appears in the proof of the well-posedness of Eq. (9). This is a consequence of the fact that the argument neglects the positive part of Vj.
2
2
1
In [16], the authors describe a different type of approximating problem which uses a non-local nonlinearity. They consider the equation
d d2
ijtr(t,x) = - —^£(t,x) + p£(x)a(\(p£,^£(t))\2)(p£,#(t)), (20)
where p£ is a function approximating the Dirac delta-distribution (i.e., p£(x) = p(x/s)/£ with p G C°° [— 1, 1], p ^ 0, and fR pdx = 1) and a(z) is a nonlinear function.
Under suitable assumptions of the nonlinearity, they prove that, for any initial data in H 1(R), the solution of Eq. (20), converges to the solution of the equation ldt^ = +
a(m, 0)\2) 8° ^
3. Nonlinear delta-interactions in dimension three
This section is devoted to the analysis of the approximation problem for the Schrodinger equation with nonlinear delta-interactions in dimension three. We will discuss a conjecture on an approximating problem with non-local nonlinearity. For the sake of simplicity we shall restrict the analysis to the case N =1. For a discussion on the generalization of the limit model to N > 1 we refer to [1-3].
We shall start by recalling several results from [1] on the well-posedness of the limit model. Since we are setting N = 1, we use the notation a1 = a, and set y1 = 0, i.e., we put the center of interaction in the origin. We set
G°w = i^R •
In dimension three the operator formally written as Ha = -A + a8° is defined by D(Ha) = {^ G L2(R3) : ^ = 0 + qG°, 0 G H/^R3),
V0 G L2(R3), A0 g L2(R3), q G C, (21)
lim (0(x) - qG°(x)) = aq
x—0
and
Ha ^ = -A^ Vx = 0. (22)
The quantity q is referred to as charge of the wave function We remark that by the definition of D(Ha), in general one has 0 G H2(R3). This is due to the decomposition ^ = 0 + qG° and to the fact that G° G L2(R3). Whenever q = 0, one has that ^ = 0, and ^ G H2(R) with ^(0) = 0.
The form domain of the operator Ha is
V = {^ G L2(R3) : ^ = 0 + qG°, 0 G H/oc(R3), V0 G L2(R3), q G C
As for the one dimensional case the form domain does not depend on a. Yet, we note one main difference with the one dimensional case: V does not coincide with H 1(R), the form domain of the free Laplacian (-A, H2(R3)). Then Ha is not a small perturbation, in the sense of quadratic forms, of -A.
As for the one dimensional case, to give a precise definition of the nonlinear dynamics we are interested in, we start with a discussion on the non-autonomous Hamiltonian Ha(t), where a(t) is an assigned function. Such Hamiltonians have been studied, for example, in relation with the ionization problem (see, e.g., [12,13] and references therein).
Consider the Cauchy problem (3) in dimension three. From [20], one obtains its solution in terms of the time dependent charge q(t). The charge satisfies the Volterra equation:
«M + t' dsO(£Mf> = f' ds(U<S>*-><°>, (23)
'ni Jo Vt - s Jo Vt - s
where U(t) is the unitary group generated by the free Laplacian in dimension three. Its explicit expression is given by
• m!
41
U (t, x)
(4nit)3/2'
while the solution —(t) is completely defined by q(t) through the equation
—(t, x) = (U (t) * —o)(x) + if dsU(t - s, x)q(s). (24)
o
The solutions defined by equations (23) - (24) belong to D(Ha(t)) only under certain assumptions on the regularity of the function a(t) and on the initial state —o, see, e.g., [21] and references therein for results in this direction.
To define a nonlinear delta-interaction in dimension three we let a(t) ^ a(|q(t)|2) in equation (23). Following [1], we restrict ourselves to power type nonlinearities, and, as for the one dimensional case, we choose a(z) = 7zM, with 7 e R and ^ > 0.
With this choice the linear Volterra equation (23) is replaced by the nonlinear one
+7 f' ds Ms« = f' ds m*M°). (25)
xni Jo vt - s Jo Vt - s
Equation (24) - (25), define our model for a nonlinear delta-interaction in dimension three. We recall that, global well-posedness for the problem (24) - (25) in —o e V and under the condition that ^ < 1 if 7 < 0 was proved in [1]. In the same paper, the authors also prove that the nonlinear flow admits two conserved quantities: the L2-norm (mass) and the energy
7|q| 2^+2
E [—] = ||V0||2 + ,
^ + 1
where — = 0 + qGo e V. So that, for any —o e V, if —(t) is the solution of the problem (24)
- (25), one has || —(t)||2 = ||—o||2 and E[—(t)] = E[—o].
We remark that by the definition of the form domain of Ha, — e V does not imply
- e H*(R3), and the well-posedness in V must be understood in the sense that ||V0(t)|| and |q(t)| stay bounded.
We also remark that in [1], the authors consider the more general case of finitely many nonlinear delta-interactions, N ^ 1. The conditions on the initial state which guarantee —(t) e D(Ha(|q(t)|2)) are also discussed in [1]. We refer to [2] for the analysis of the blowup problem and to [3] for the study of the stability/instability properties of the stationary solutions of (24) - (25).
3.1. Point-like limit of scaled non-local nonlinearities in dimension three
In this section we discuss a conjecture about the approximation problem for (24)
- (25)through scaled non-local nonlinear flows. We remark that in dimension three the problem of finding an approximation of the nonlinear flow (24) - (25) is subtler than the corresponding problem in dimension one. This is not surprising, as also the problem of finding a regular approximation of the (linear) operator Ha in dimension three requires non-trivial renormalization procedures (see, [6]).
Let p be such that p G p ^ 0, and JR3 pdx = 1, then set p£(x) = p(x/e)/e3,
so that p£ converges to the Dirac delta-distribution in dimension three.
We denote by p(k) and p£ (k) the Fourier transform of p and p£ respectively, by scaling one has that p£(k) = p(ek). Moreover, from JR3 pdx = 1, it follows that p(0) = 1.
We set M = 77^ )3 JR3 dk (p(k))2/|k|2 and consider the nonlinear flow (in weak form)
—£(t, x) = (U(t) * —0£)(x)
e ( e2^+1l(o£ ib£(s))l2^\
- Wo ds(U(t - s) * p£)(x^-1+ Y-M2/!+I( );I )(p£^£(s)>. (26)
Note that we let the initial datum to depend on e as well. This is due to the fact that we want to compare the solutions of Eq. (26) with the solution of (24) - (25). To do that, one should consider the two nonlinear flows with the same initial datum. In dimension three this is, in general, not possible, because problem (24) - (25) is naturally defined for initial data in V, while problem (26) is naturally defined for initial data in H:(R3). For this reason we let the initial datum in (26) to depend on e, and assume that converges to —0 in a suitable norm as e ^ 0.
To begin, it is also convenient to set y > 0 (defocusing nonlinearity), this choice simplifies some issues with the well-posedness, giving at once some useful bounds on relevant quantities, and avoids further constraints on the power of the nonlinearity p.
We remark that problem (26), is a weak formulation of
■ d i£/ \ a ,E, \ e i e2^+1 |(p£,—£(t)>|2^\ . £ ,£. £. ,
iq-^'^ x) = -A—'(- x) + M (-1 + Y-M^i ) (p£,^(t))p (x)
#(0, x) = —'(x)
We also note that, also in this case, the nonlinear approximation problem is inspired by the linear one. Indeed, it is easy prove that the (non-local) operator H£ = -A + jj (-1 + ajj) (p£, '>p£ converges in norm resolvent sense to the operator Ha defined by (21) - (22).
We conjecture that, for any —0 G V and G H 1(R3) that converges to —0 in a suitable sense, the solution of Eq. (26) converges to the solution of (24) - (25).
We do not have yet a rigorous proof of this statement, but we are able to give an heuristic argument to support the conjecture.
The basic idea is that the quantity q£(t) = jj (p£, —£ (-)>, should converge to the charge q(t). Eq. (26), written in terms of q£(t), gives
—£(t, x) = (U(t) * —0)(x) - ds(U(t - s) * p£)(x) (-1 + ymIq'(s)r) q£(s). (27)
We recall that p£ ^ 50, then (U(t - s) * p£)(x) ^ U(t - s,x). Assuming, moreover, that U(t) * -00 ^ U(t) * —0, one expects that
ft
—£(t, x) ~ (U(t) * -o)(x) + i dsU(t - s, x)q£(s).
0
By comparison with Eq. (24), this suggests that, if q£(t) converges to q(t), then also —£(t) converges to — (t).
To support the idea that q£(t) should converge to q(t) we proceed as follows. We take the scalar product of Eq. (27) with p£, using the definition of q£(t) we get the identity
M q£(t) = /p£ U(t) * —) - i [ ds/p£, U(t - s) * p£) (-1 + 7^|q£(s)M q£(s)
yq£(t) = (p£, U(t) * —o)- ijf ds/p£, U(t - s) * p£)(-1 + 7Mlq£(s)|2") q£(s). (28) Let K£(t) = (2^3 /R3 dk (p£(k))2e-i|k|2i/|k|2. By the definition of U(t) one has that (p£, U(t) * p£) = / dk (p£(k))2e-i|k|2t = -d- / dk (p£(k)k2^-ik|2t = idtK£(t).
(2n)^R3 (2n)3 dt JR3 |k|2 dt
Using the latter identity, written as (p£,U(t - s) * p£) = -ijSK£(t - s), in (28), and by integration by parts in s, we get
~q£(t) = (p£,U(t) * ^£) + j( dsK£(t - s)-[ (-1+ ymm|q£(s)|2^ q£(s)
- K£(0) (-1 + |q£(t)|2") q£(t) + K£(t) (-1 + ymm|q£(0)r) q£(0).
Using the identity K£(0) = M/e we see that Mq£(t) cancels, so that, rearranging the terms, we are left with
rt A
0 ds
Y|q£(i)|2V(i) = (p£, U(t) * + / dsK£(t - s)- [(-1 + 7^lq£(s)|2^ q£(s)
+ K£(t) (-1 + 7-M|q£(0)|2^ q£(0).
To recover an equation of the form (25), we multiply for ^-t and integrate in t for t G [0, t We obtain
Y fT dt |q£(t)|2^q£(t) = rT dt (p£,U(t) * ^£) Jo V t -1 Jo Vt -1
+1dt i 'dsK£(t - s) dS [(-1+'4|«£(s>|2") q£(s)
+ (-1+ 7^|q£(0)|2^) q£(0) jTdt—(29)
The heuristic argument showing that q£(t) should converge to q(t) is based on the fact that
1 r p-i|k|2i 1 K£(t) ^ dk =-, (30)
() (2n)3./R3 |k|2 4n—, ( )
as e ^ 0. This suggests that Eq. (29) should be approximated by
Y i' dt * [T dt <P1l—M
Jo v t -1 Jo VT -1
1 r , 1 f ' , 1 d
+--= dt . ds-
4^ Jo -~^da(-1+ymm|q£<s>|2"k«
+ (-1 + <0>|2") «£ <0) j£T
In the second line of the equation above we exchange the integrals in t and s and use the
fact that /0 dt
= l{i>s}
n, while in the third line we use /0 dt
i i
n, to get
y r dt . iT dt 1
0
y/r—t
0
VT—t
(p£, u (t) *
+ i r dsd_
Jo ds
-1+ YM|q£(s)|2^ q£(s)
+
1
n (-1+i«*(°)i2^) q'(°).
Performing the integral in s, and neglecting further terms of order e, we finally end up with
Y fTdt|g£(t)l2^£(t) „ rdt(p£,u(t) *^o> — . Jo Vr -1 Jo Vr -1 4\pK%
Comparing the latter formula with Eq. (25), one sees that q£(t) satisfies approximatively the same equation as q(t).
To make rigorous the heuristic argument described above is the goal of a forthcoming work. One would expect that the right approach is to add and subtract to K£, in Eq. (29), its limit, given in formula (3°), then prove that the remainder (the term containing the difference between K£ and its limit) is small. One main issue with this approach is the presence of the derivative of q£ (s) in Eq. (29), which implies that the remainder depends on q£. The dependence of the reminder on q£ is unexpected, because the limit equation does not involve the derivative of q, and difficult to treat, because it requires a bound on q£. An approach that avoids taking the derivative of q£ would be preferable.
i
4. Conclusions
We addressed the problem of finding regular approximations of nonlinear delta-interactions.
We showed that, in dimension one, it is possible to find both local (see [1°]) and non-local (see [16]) nonlinearities that converge to the limit problem. The convergence can be rigorously proved for initial data in H 1(R).
For what concerns the three dimensional problem, we suggested an approximation through non-local nonlinearities. The convergence to the limit problem seems to be plausible but it is not yet proved rigorously.
Several problems remain completely open and would deserve some attention. We mention two of them which are strictly related. They concern the approximation of delta-interactions in dimension one and three, through local nonlinearities in the presence of a linear term with a zero energy resonance.
The approximation of Ha in dimension three through Hamiltonians with scaled potentials is not as intuitive as in dimension one. We already noted that in dimension one the operator —A + V(-/e)/e converges to Ha, with a = fR Vdx. One might then think that also in dimension three, adding a delta-convergent function to the Laplacian would give an operator that converges to Ha. This does not happen to be the case.
To define a sequence of Schrodinger operators that converge to Ha one has to choose a potential V such that the operator H = —A + V has a zero energy resonance. That means that there exists a function 0 such that 0 G L2oc(R3), V0 G L2(R) and H0 = 0 in
the distributional sense. Assuming additionally, that V decays fast enough, one has that (see [6])
H£ = -A+i^V (e) , (31)
where A e R converges (in norm resolvent sense) to Ha, with coupling constant a = -mA, where m is a positive constant that depends on V.
One may wonder whether letting A ^ A(—) would allow to obtain a local approximation of the nonlinear delta-interaction in dimension three.
A similar problem can be formulated in dimension one. Assume that V decays fast enough and that it is such that H = - A + V has a zero energy resonance, i.e., there exists 0 e L^(R), 0 e L2(R), such that -0" + V0 = 0. Assume also that the resonance 0 is an even function. Then the operator H£ in (31), in dimension one, converges in norm resolvent sense to Ha, defined in (1) - (2), with a = - mA, where m is a positive constant which depends on V (see [9]). In this sense the problems of approximating Ha in dimension one and three are similar. We remark that, in dimension one, also the convergence of the operator -A + V(-/e)/e relies on the presence of a zero energy resonance of the operator (-A, H2(R)). In this case the resonance is just the constant function.
Also in the one dimensional case, one might expect that letting A ^ A(—) in (31) will allow one to construct an approximation of a nonlinear delta-interaction.
Acknowledgements
The author is grateful to his friends and collaborators Domenico Finco, Diego Noja, and Alessandro Teta, all the results and conjectures presented in this report were obtained and formulated in collaboration with them. The support of the FIR 2013 project "Condensed Matter in Mathematical Physics" (code RBFR13WAET) is also acknowledged.
References
[1] Adami, R., Dell'Antonio, G., Figari, R., and Teta, A., The Cauchy problem for the Schrodinger equation in dimension three with concentrated nonlinearity, Ann. Inst. H. Poincare Anal. Non Lineaire 20 (2003), no. 3, 477-500.
[2] Adami, R., Dell'Antonio, G., Figari, R., and Teta, A., Blow-up solutions for the Schrodinger equation in dimension three with a concentrated nonlinearity, Ann. Inst. H. Poincare Anal. Non Lineaire 21 (2004), no. 1, 121-137.
[3] Adami, R., Noja, D., and Ortoleva, C., Orbital and asymptotic stability for standing waves of a nonlinear Schrodinger equation with concentrated nonlinearity in dimension three, J. Math. Phys. 54 (2013), no. 1, 013501.
[4] Adami, R. and Teta, A., A Simple Model of Concentrated Nonlinearity, Mathematical Results in Quantum Mechanics (Dittrich, J., Exner, P., and Tater, M., eds.), Operator Theory Advances and Applications, Birkhauser Basel, January 1999, pp. 183-189.
[5] Adami, R. and Teta, A., A class of nonlinear Schrodinger equations with concentrated nonlinearity, J. Funct. Anal. 180 (2001), no. 1, 148-175.
[6] Albeverio, S., Gesztesy, F., Hoegh-Krohn, R., and Holden, H., Solvable Models in Quantum Mechanics, AMS, 2005.
[7] Berezin, F. A. and Faddeev, L. D., A Remark on Schrodinger's equation with a point interaction, Soviet Math. Dokl. 2 (1961), 372-375.
[8] Bulashenko, O., Kochelap, V., andBonilla, L., Coherent patterns and self-induced diffraction of electrons on a thin nonlinear layer, Phys. Rev. B 54 (1996), no. 3, 1537-1540.
[9] Cacciapuoti, C. and Exner, P., Nontrivial edge coupling from a Dirichlet network squeezing: the case of a bent waveguide, J. Phys. A: Math. Theor. 40 (2007), no. 26, F511-F523.
[10] Cacciapuoti, C., Finco, D., Noja, D., and Teta, A., The NLS Equation in Dimension One with Spatially Concentrated Nonlinearities: the Pointlike Limit, Lett. Math. Phys. 104 (2014), no. 12, 1557-1570.
11] Cazenave, T., Semilinear Schrodinger Equations, Courant Lect. Notes Math. ed., vol. 10, AMS, 2003.
12] Correggi, M. and Dell'Antonio, G., Decay of a bound state under a time-periodic perturbation: a toy case, J. Phys. A 38 (2005), no. 22, 4769-4781.
13] Correggi, M., Dell'Antonio, G., Figari, R., and Mantile, A., Ionization for Three Dimensional Time-Dependent Point Interactions, Comm. Math. Phys. 257 (2005), no. 1, 169-192.
14] Dror, N. and Malomed, B. A., Solitons supported by localized nonlinearities in periodic media,, Phys. Rev. A 83 (2011), no. 3, 033828.
15] Hmidi, T., Mantile, A., and Nier, F., Time-dependent Delta-interactions for 1D Schrodinger Hamilto-nians, Math. Phys. Anal. Geom. 13 (2009), no. 1, 83-103.
16] Komech, A. I. and Komech, A. A., Global well-posedness for the Schrodinger equation coupled to a nonlinear oscillator, Russ. J. Math. Phys. 14 (2007), no. 2, 164-173.
17] Kronig, R., de L. and Penney, W. G., Quantum mechanics of electrons in crystal lattices, Proc. R. Soc. Lond. Ser. A 130 (1931), no. 814, 499-513.
18] Malomed, B. A. and Azbel, M. Y., Modulational instability of a wave scattered by a nonlinear center, Phys. Rev. B 47 (1993), no. 16, 10402-10406.
19] Neidhardt, H., Zagrebnov, V. A., et al., Linear non-autonomous Cauchy problems and evolution semigroups, Adv. Differential Equations 14 (2009), no. 3/4, 289-340.
20] Sayapova, M. R. and Yafaev, D. R., The evolution operator for time-dependent potentials of zero radius, Boundary value problems of mathematical physics, vol. 159, Part 12, Work collection, Trudy Mat. Inst. Steklov., 1983, pp. 167-174.
21] Yafaev, D. R., Scattering theory for time-dependent zero-range potentials, Annales de l'lHP Physique theorique 40 (1984), no. 4, 343-359.
