arxiv: v3 [math.ap] 1 Sep 2017

Transcription

1 arxiv: v3 [math.ap] 1 Sep 017 UNIQUE CONTINUATION FOR THE SCHRÖDINGER EQUATION WITH GRADIENT TERM YOUNGWOO KOH AND IHYEOK SEO Abstract. We obtain a unique continuation result for the differential inequality (i t + )u Vu + W u by establishing Carleman estimates. Here, V is a scalar function and W is a vector function, which may be time-dependent or time-independent. As a consequence, we give a similar result for the magnetic Schrödinger equation. 1. Introduction Given a partial differential equation or inequality in R n, we say that it has the unique continuation property from a non-empty open subset Ω R n if its solution cannot vanish in Ω without being identically zero. Historically, such property was studied in connection with the uniqueness of the Cauchy problem. The major method for studying the property is based on so-called Carleman estimates which are weighted a priori estimates for the solution. The original idea goes back to Carleman [], who first introduced it to obtain the property for the differential inequality u V(x)u with V L (R ) concerning the stationary Schrödinger equation. Since then, the method has played a central role in almost all subsequent developments either for unbounded potentials V or fractional equations (see [11, 3, 13, 3, 4, 0, 1] and references therein). For the equation involving gradient term, u V(x)u + W(x) u, (1.1) see [4, 5, 16] and references therein. Now it can be asked whether the property is shared by the differential inequality i t u+ u Vu concerning the (time-dependent) Schrödinger equation which describes how the wave function u of a non-relativistic quantum mechanical system with a potential V evolves over time. It would be an interesting problem to prove the property for this equation since such property can be viewed as one of the non-localization properties of the wave function which are an important issue in quantum mechanics. The unique 010 Mathematics Subject Classification. Primary: 35B60, 35B45; Secondary: 35Q40. Key words and phrases. Unique continuation, Carleman estimates, Schrödinger equation. Y. Koh was supported by NRF Grant 016R1D1A1B (Republic of Korea). I. Seo was supported by the NRF grant funded by the Korea government(msip) (No. 017R1C1B ). 1

2 YOUNGWOO KOH AND IHYEOK SEO continuation for this time-dependent case has been studied for decades from a halfspace Ω in R n+1 when the potential V is time-dependent ([14, 15, 17]) or timeindependent ([19, ]). These results were based on Carleman estimates of the form e βφ() f B C e βφ() (i t + )f B, (1.) where β is a real parameter, φ is a suitable weight function, and B,B are suitable Banach spaces of functions on R n+1. Thenewpointinthispaperisthatweallowthegradientterm uinthedifferential inequality i t u+ u Vu + W u (1.3) in the spirit of (1.1). Here, V is a scalar function and W is a vector function, which may be time-dependent or time-independent. From the physical point of view, a motivation behind this form comes also from the following magnetic Schrödinger equation i t u+ A u = Vu (1.4) which describes the behavior of quantum mechanical systems in the presence of magnetic field. Here, A = (A 1,...,A n ) is a magnetic vector potential and A denotes the magnetic Laplacian defined by A = j ( j +ia j ) = +i A +idiv A A. Replacing V and W in (1.3) with idiv A+ A +V and i A, respectively, we can reduce the unique continuation problem for the magnetic case to the one for the form (1.3). To obtain unique continuation for (1.3), we find suitable weights φ and Banach spaces B,B to allow the gradient term in the left-hand side of (1.), as follows (see Proposition.1 for details): β e βφ() f B +β 1/ e βφ() f B C e βφ() (i t + )f B where φ() = ct+ x and B = B =. Making use of this estimate, we obtain the following unique continuation theorem which says that if the solution of (1.3) is supported on inside of a paraboloid in R n+1, then it must vanish on all of R n+1. Theorem 1.1. Let V L and W L. Suppose that u H 1 t H x is a solution of (1.3) which vanishes in outside of a paraboloid given by {() R n+1 : c(t t 0 )+ x x 0 > 0}, (1.5) where c R \ {0} and (x 0,t 0 ) R n+1. Then u is identically zero in R n+1. Here, Ht 1 denotes the space of functions whose derivatives up to order 1, with respect to the time variable t, belong to. Hx is similarly defined as Ht. 1

3 UNIQUE CONTINUATION 3 Remark 1.. The assumption u H 1 t H x can be relaxed to u, t u, u t(r; x( x x 0 c(t 0 t))) (1.6) because we are assuming u = 0 on the set {() R n+1 : c(t t 0 )+ x x 0 > 0}. Since u() vanishes at infinity for each t, it follows from integration by parts that u also satisfies (1.6). Regarding the condition (1.6), we give a remark that the solutions u() = e it u 0 (x) to the free Schrödinger equation with the initial data u 0 C0 (R n ), n >, satisfy (1.6). Indeed, we consider the case c < 0 without loss of generality. Then we may consider t t 0 only. Since e it u 0 (x) x for each t, it is enough to show that e it u 0 (x) dxdt < (1.7) M x x 0 c(t 0 t) for a sufficiently large M > t 0. But, using the following well-known decay the integral in (1.7) is bounded by C u 0 L 1 (R n ) sup e it u 0 (x) t n/ u 0 L 1 (R n ), x R n M (t t 0 ) n/ t n dt C u 0 L 1 (R n ) C u 0 L 1 (R n ) M t n/ dt if n >. Since t e it u 0 = e it i u 0 and e it u 0 = e it u 0, the condition (1.6) for these follows from the same argument with u 0 L 1. As mentioned above, the theorem directly implies the following result for the magnetic case (1.4). Corollary 1.3. Let V L, A L and div A L. If u H 1 t H x is a solution of (1.4) which vanishes in outside of a paraboloid given by (1.5), then u is identically zero in R n+1. There are related results for Schrödinger equations which describe the behavior of the solutions at two different times which ensure u 0. Since the Schrödinger equation is time reversible, it seems natural to consider this type of unique continuation from the behavior at two different time moments. Such results have been first obtained by various authors ([6, 1, 8, 6, 18]) for Schrödinger equations of the form (i t + )u = Vu+F(u,u), (1.8) where V() is a time-dependent potential and F is a nonlinear term. For the 1 D cubic Schrödinger equations, i.e., V 0, F = ± u u, n = 1 in (1.8), Zhang [6] showed that if u = 0 in the same semi-line at two times t 0,t 1, then u 0 in R [t 0,t 1 ]. His proof is based on the inverse scattering theory. In the work of Kenig- Ponce-Vega [1], this result was completely extended to higher dimensions under the assumption that u = 0 in the complement of a cone with opening < π at two times. Key steps in their proof were energy estimates for the Fourier transform of the solution and the use of Isakov s results [10] on local unique continuation. The size of the set

4 4 YOUNGWOO KOH AND IHYEOK SEO on which the solution vanishes at two times was improved by Ionescu and Kenig [8] to the case of semispaces, i.e., cones with opening = π. Latter, Escauriaza-Kenig- Ponce-Vega [6] 1 showed that it suffices to assume that the solution decay sufficiently fast at two times to have unique continuation results. These results were extended in [9, 5] to the case where the nonlinear term F in (1.8) involves the gradient terms u, u. More precisely, it was shown in [9] that if the solution vanishes in the complement of a ball at two times t 0,t 1, then u 0 in R n [t 0,t 1 ]. In the spirit of [6], this support condition at two times was improved in [5] to the assumption that the solution decay sufficiently fast. By applying these works to each time interval [n,n+1], n Z, particularly for the linear equation i t u+ u = Vu+W u, (1.9) one can show that if the solution to (1.9) vanishes in outside of a paraboloid given by (1.5), then u 0 under the assumption that V B, x L t (R n+1 ), W B 1, x L t (R n+1 ), (1.10) where B p,q, 1 p,q, are Banach spaces with the properties that B p,p = L p, 1 p, and B p1,q1 B p,q if q 1 q and p 1 p. (See [9, 5] for details.) But in this paper, the assumption (1.10) is improved because for p = 1,. Bx p, L t (Rn+1 ) Bx, L t (Rn+1 ) = L (R n+1 ). Carleman estimate In this section we obtain the following Carleman estimate which is a key ingredient for the proof of Theorem 1.1 in the next section. Proposition.1. Let β > 0 and c R. Then we have for f C0 (Rn+1 ) β e β(ct+ x ) f +β 1 e β(ct+ x ) f e β(ct+ x ) (i t + )f. (.1) Proof. To show (.1), we first set f = e β(ct+ x ) g and note that e β(ct+ x ) f = e β(ct+ x ) e β(ct+ x ) ( βgx+ g) β x g L + g L. Hence it is enough to show that e β(ct+ x ) (i t + )e β(ct+ x ) g β g +β 3 x g (.) +β 1 g 1 This approach was motivated by a deep relationship between the unique continuation and uncertainty principles for the Fourier transform. As a consequence, several remarkable results have been later obtained in both cases linear Schrödinger equations with variable coefficients and nonlinear ones (see, for example, [1] and references therein). See also a good survey paper [7] explaining several results in the subject.

5 UNIQUE CONTINUATION 5 for g C 0 (R n+1 ). By direct calculation, we see that e β(ct+ x ) (i t + )e β(ct+ x ) g = (i t + +4β x nβ 4βx iβc)g. Let A := i t + +4β x and B := nβ + 4βx x +iβc, such that A = A and B = B. (Here A and B denote adjoint operators.) Then we get e β(ct+ x ) (i t + )e β(ct+ x ) g = (A B)g,(A B)g = Ag,Ag + Bg,Bg + (BA AB)g,g (BA AB)g,g. Since the only terms in A and B which are not commutative each other are 4βx and ( +4β x ), we see BA AB = (4βx )( +4β x ) ( +4β x )(4βx ) Hence it follows that (BA AB)g,g Next we notice that = 3β 3 x 8β. = 3β 3 x g,g +8β g,g = 3β 3 x g +8β L g L. n 1 x i g() = Re( g xg). x i i=1 (.3) By integrating this over R n+1 and then integrating by parts on the left-hand side, we see ( ) n g L = Re g xgdxdt R R n g xgdxdt R R n g L x g. Hence, by combining this inequality and (.3), we conclude that (BA AB)g,g (31β 3 ) L x g +(7β) L g +nβ g, since β g x g β 3 g +β x g L. If we consider x instead of, this inequality is indeed the Heisenberg uncertainty principle in n dimensions ( g x = π ξ ĝ ξ ).

6 6 YOUNGWOO KOH AND IHYEOK SEO This implies (.) because of 3(a +b +c ) 1/ a + b + c. Indeed, e β(ct+ x ) (i t + )e β(ct+ x ) g = (A B)g,(A B)g 1/ ( 31β 3 x g +7β g ) 1/ +nβ g 1 ( 31β 3 x g + 7β g L + ) nβ g 3 β g +β 3 x g +β 1 g. 3. Proof of Theorem 1.1 This section is devoted to proving Theorem 1.1 using Proposition.1. By translation we may first assume that (x 0,t 0 ) = (0,0) so that the solution u vanishes in the paraboloid {() R n+1 : ct + x > 0}. Now, from induction it suffices to show that u = 0 in the following set S = {() R n+1 : 1 < ct+ x 0}. To show this, we make use of the Carleman estimate in Proposition.1. Let ψ : R n+1 [0, ) be a smooth function such that suppψ B(0,1) and R n+1 ψ()dxdt = 1. Also, let φ : R n+1 [0,1] be a smooth function such that φ = 1 in B(0,1) and φ = 0 in R n+1 \B(0,). For 0 < ε < 1 and R 1, we set ψ ε () = ε (n+1) ψ(x/ε,t/ε) and φ R () = φ(x/r,t/r). Now we apply the Carleman estimate (.1) to the following C 0 function v() = (u ψ ε )()φ R (). Then, we see that β e β(ct+ x ) v +β 1 e β(ct+ x ) v e β(ct+ x ) (i t + )v. Note that and v = ( u ψ ǫ )φ R +(u ψ ǫ ) φ R (i t + )v = ( (i t + )u ψ ǫ ) φr +(u ψ ǫ )(i t + )φ R +( u ψ ǫ ) φ R. Sincevissupportedin{() R n+1 : ct+ x ε}andweareassumingu Ht H 1 x, by letting R, we get β e β(ct+ x ) (u ψ ε ) +β 1 e β(ct+ x ) u ψ ε e β(ct+ x ) (i t + )(u ψ ε ).

7 UNIQUE CONTINUATION 7 Again by letting ε 0, β e β(ct+ x ) u +β 1 e β(ct+ x ) u e β(ct+ x ) (i t + )u. Hence it follows that β e β(ct+ x ) u +β 1 e β(ct+ x ) u (S) (S) e β(ct+ x ) (i t + )u (S) + e β(ct+ x ) (i t + )u (R n+1 \S). By (1.3), we see that e β(ct+ x ) (i t + )u (S) V L e β(ct+ x ) u (S) + W L e β(ct+ x ) u (S). Hence if we choose β large enough so that V L β/ and W L β 1/ /, we get β e β(ct+ x ) u (S) +β 1 e β(ct+ x ) u (S) e β(ct+ x ) (i t + )u (R n+1 \S). Since u vanishes in {() R n+1 : ct+ x > 0} and u Ht 1 H x, we also see that e β(ct+ x ) (i t + )u (R n+1 \S) = e β(ct+ x ) (i t + )u ({():ct+ x 1}) e β (i t + )u ({():ct+ x 1}) Ce β. Hence, we get β e β(ct+ x +1) u L (S) +β 1 e β(ct+ x +1) u L (S) C. Since ct+ x +1 > 0 for () S, β u (S) +β 1 u (S) C. By letting β we now conclude that u = 0 on S. This completes the proof. Acknowledgments. The authors thank the anonymous referees for many valuable suggestions which improve our presentation a great deal. References [1] J. A. Barcelo, L. Fanelli, S. Gutierrez, A. Ruiz, M. C. Vilela, Hardy uncertainty principle and unique continuation properties of covariant Schrodinger flows, J. Funct. Anal. 64 (013), [] T. Carleman, Sur un problème d unicité pour les systèmes d équations aux derivées partielles à deux variables indépendantes, Ark. Mat., Astr. Fys. 6 (1939), 1-9. [3] S. Chanillo and E. Sawyer, Unique continuation for + v and the C. Fefferman-Phong class, Trans. Amer. Math. Soc. 318 (1990), [4] F. Chiarenza and A. Ruiz, Uniform -weighted Sobolev inequalities, Proc. Amer. Math. Soc. 11 (1991),

8 8 YOUNGWOO KOH AND IHYEOK SEO [5] H. Dong and W. Staubach, Unique continuation for the Schrodinger equation with gradient vector potentials. Proc. Amer. Math. Soc. 135 (007), [6] L. Escauriaza, C. E. Kenig, G. Ponce and L. Vega, On uniqueness properties of solutions of Schrödinger equations, Comm. Partial Differential Equations. 31 (006), [7] L. Escauriaza, C. E. Kenig, G. Ponce and L. Vega, Uniqueness properties of solutions to Schrödinger equations, Bull. Amer. Math. Soc. (N.S.) 49 (01), [8] A.D.Ionescu and C.E.Kenig, L p Carleman inequalities and uniqueness of solutions of nonlinear Schrödinger equations, Acta Math. 193 (004), [9] A. D. Ionescu and C. E. Kenig, Uniqueness properties of solutions of Schrodinger equations, J. Funct. Anal. 3 (006), [10] V. Isakov, Carleman type estimates in anisotropic case and applications, J. Diff. Eqs. 105 (1993), [11] D. Jerison and C. E. Kenig, Unique continuation and absence of positive eigenvalues for Schrödinger operators, Ann. of Math. 11 (1985), [1] C. E. Kenig, G. Ponce and L. Vega, On unique continuation for nonlinear Schrödinger equations, Comm. Pure Appl. Math. 56 (003), [13] C. E. Kenig, A. Ruiz and C. D. Sogge, Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators, Duke Math. J. 55 (1987), [14] C. E. Kenig and C. D. Sogge, A note on unique continuation for Schrödinger s operator, Proc. Amer. Math. Soc. 103 (1988), [15] S. Lee and I. Seo, A note on unique continuation for the Schrödinger equation, J. Math. Anal. Appl. 389 (01), [16] G. Lu and T. H. Wolff, Unique continuation with weak type lower order terms, Potential Anal. 7 (1997), [17] I. Seo, Unique continuation for the Schrödinger equation with potentials in Wiener amalgam spaces, Indiana Univ. Math. J. 60 (011), [18] I. Seo, Carleman estimates for the Schrödinger operator and applications to unique continuation, Commun. Pure Appl. Anal. 11 (01), [19] I. Seo, Global unique continuation from a half space for the Schrödinger equation, J. Funct. Anal. 66 (014), [0] I. Seo, Unique continuation for fractional Schrödinger operators in three and higher dimensions, Proc. Amer. Math. Soc. 143 (015), [1] I. Seo, Carleman inequalities for fractional Laplacians and unique continuation, Taiwanese J. Math. 19 (015), [] I. Seo, From resolvent estimates to unique continuation for the Schrödinger equation, Trans. Amer. Math. Soc., 368 (016), [3] E. M. Stein, Appendix to unique continuation, Ann. of Math. 11 (1985), [4] T. H. Wolff, Unique continuation for u V u and related problems, Rev. Mat. lberoam. 6 (1990), [5] T. H. Wolff, A property of measures in R n and an application to unique continuation, Geom. Funct. Anal. (199), [6] B. Y. Zhang, Unique continuation properties of the nonlinear Schrödinger equations, Proc. Roy. Soc. Edinburgh. 17 (1997) Department of Mathematics Education, Kongju National University, Kongju 3588, Republic of Korea address: ywkoh@kongju.ac.kr Department of Mathematics, Sungkyunkwan University, Suwon 16419, Republic of Korea address: ihseo@skku.edu