Abstract
This paper is concerned with the global existence of solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation. Firstly, based on the Schrödinger approximation technique and the theory of a family of potential wells, the authors obtain the invariant sets and vacuum isolating of global solutions including the critical case. Then, the global existence of solutions and the stability of equilibrium points are discussed. Finally, the global asymptotic stability of the unique positive equilibrium point of the system is proved by applying the Leray–Schauder alternative fixed point theorem.
Similar content being viewed by others
1 Introduction
The semilinear Schrödinger equation serves widely the field of nonlinear science, ranging from condensed matter physics to biology [1–3]. Solutions of the fractional Cauchy problem exist in the semilinear Schrödinger equations and have been observed in experiments [4, 5]. In the past decade, the existence of solutions of the fractional Cauchy problem of the semilinear Schrödinger equations has been a very hot topic [6–9]. Methods such as the principle of anticontinuity, center manifold reduction, and variational methods were used. However, only a few results were obtained on the existence of global solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation. Since it appears in inflation cosmology and supersymmetric field theories, quantum mechanics, and nuclear physics [10–12], the sublinear nonlinearity is of much interest in physics. How the sublinear nonlinearity affects the existence of global solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation remains to be fully understood.
In this paper, we study the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation:
where \(i=\sqrt{-1}\), \(\Delta ^{2}=\Delta \Delta \) is the biharmonic operator, Δ is the Laplace operator in \(\mathbb{R}^{n}\);
denotes the complex-valued function, L is the maximum existence time; n is the space dimension, and p satisfies the embedding condition
It is worth mentioning that variational methods are powerful for obtaining the existence of solutions of fourth-order semilinear Schrödinger equation because of their strong physical background. In particular, the following equation has been widely studied (see [13]):
where \(\gamma \in \mathbb{R}\), \(p\geq 1\), and the space dimension is no more than three. Problem (1.3) describes a stable soliton, specially, there are solitons in magnetic materials for \(p=1\) in a 3-D space.
Using the Strichartz-type estimates and Gagliardo–Nirenberg’s inequalities, Zhang et al. [14] proved the existence of a global solution to the Cauchy problem
under each of the following three sets of conditions:
-
(i)
\(\epsilon >0\);
-
(ii)
\(\epsilon <0\) and \(pn<3\);
-
(iii)
\(\epsilon <0\), \(pn=3\), and
where
It is easy to verify that (1.4) implies (1.3) by using the L’Hospital rule. Moreover, we prove that if f is not sublinear, the zero solution is isolated from other homoclinic solutions. The oddness assumption on f is important since it is necessary for applying the variant Clark theorem.
In 2019, Sun [15] studied the Cauchy problem of the equation
where \(\lambda \in \mathbb{R}\) and \(\mu \neq 0\).
Let \(n=1, 2, 3\), by the standard contraction mapping argument, a local solution for \(f_{0}\in H^{k}\) and \(k>\frac{n}{2}\) was obtained. Then the authors obtained a global solution of (1.5) with \(\nu f^{2p}\) instead of \(f(|f|^{2})\) for each of the following three sets of conditions:
-
(i)
\(\mu \nu >0\);
-
(ii)
\(\mu \nu <0\) and \(0< pn<3\);
-
(iii)
\(\mu \nu <0\), \(pn\geq 3\), and the initial data \(\|f_{0}\|_{3} ^{3}\leq c^{*}\), where \(0< c^{*}\leq 1\).
Equation (1.5) with the zero solution can been classified into the following two types:
-
(i)
the zero solution is an accumulation point of the set of all homoclinic solutions;
-
(ii)
the zero solution is an isolated point of the set of all homoclinic solutions.
In the above statement, we adopt the \(H^{2}\)-topology. Then types (i) and (ii) are rewritten as follows:
-
(i)
There exists a sequence of nontrivial homoclinic solutions for (1.5) whose \(l^{\infty }\)-norm converges to zero;
-
(ii)
There exists a constant \(C>0\) such that \(\|f\|_{\infty } \ge C>0\) for all nontrivial homoclinic solutions f of (1.5).
Unlike type (i), many existing results concentrated on the existence of a sequence of solutions going to infinity. However, we mainly focus on types (i) and (ii). The most typical example of type (I) is as follows (see [16–26]):
and
and that \(f\in C^{1}([0,L]; L^{p}(\gimel ))\) for all \(p\in (0,1)\) in the second class.
In this paper, we use a modified Schrödinger-type identity posted by Zhang et al. [14] and prove the existence of global solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation.
The present article is organized as follows. In the next section, we establish a modified Schrödinger-type identity associated with semilinear Schrödinger operator. Section 3 is the statement of our main results and its explanation, and then we investigate the linear stability of equilibria by means of spectrum and semigroups of operators.
2 A modified Schrödinger-type identity
To obtain the main results, for the reader’s convenience, we include this section by citing some basic notations and some known results from the critical point theory.
We first define the Hilbert space
the Schrödinger-type energy functional
and
Next we define the Nehari manifold by
Set \(c=\inf_{f\in M}\mathcal{P}(f)\). So the stable set \(\mathcal{G}\) and the unstable set \(\mathcal{B}\) are defined by
and
respectively (see [27]).
Remark 2.1
(i) For the set \(\mathcal{G}\), it is obvious that \(\mathcal{P}(f)>0\) by \(\mathfrak{I}(f)>0\). So \(\mathcal{G}\) is equivalent to \(\mathcal{G'}\), which is defined as follows:
(ii). For the set \(\mathcal{B}\), if \(\mathcal{P}(f)\leq 0\), then we know that \(\mathcal{E}(f)<0\), which is a sufficient condition for finite time blow-up. So we only consider \(\mathcal{E}(f)>0\), i.e., we only need
Now we present a modified Schrödinger-type identity for problem (1.1), which plays a central role in our study.
Theorem 2.1
Assume that \(f_{0}\in \mathcal{B}\) and \(f\in C^{2}([0,L);\mathcal{H} ^{2})\) is the solution of problem (1.1). Let \(\mathfrak{J}(t)= \int _{\mathbb{R}^{n}}|x|^{3}|f|^{2}\,dx\), then the modified Schrödinger-type identity is given by
Proof of Theorem 2.1
It follows that
which yields that
Substituting (2.4) into (2.3), we have
which yields that
where
Now we estimate \(\mathfrak{K}_{1}\) and \(\mathfrak{K}_{2}\). It is obvious that (see [28])
which together with (2.5) gives that
To estimate \(\mathfrak{K}_{2}\), note that
Hence, by (2.5), we deduce that
So
Set
For the corresponding semilinear nonlocal fractional Cauchy problem, the modified Schrödinger-type identity with respect to x is employed to get the Schrödinger equations of t. However, since an additional variable x is involved for semilinear nonlocal fractional Cauchy problems, an additional modified Schrödinger-type identity is needed for the analysis (see [29, 30]). After careful consideration, we find it to be effective and befitting the Schrödinger well-posedness analysis.
Furthermore, taking the Fourier transform of (2.6) and (2.7) with respect to x and combining the above estimates, we obtain
The causality of the semilinear nonlocal fractional Cauchy problem implies the finite Schrödinger energy at each time (see [31]). Thus
The inverse Schrödinger-type identity gives that
Based on the above analysis, there is always an inverse Schrödinger-type identity with the strong inversion formula. For simplification, assume that the strong inversion Schrödinger-type identity can be used to estimate \(\mathfrak{I}_{2}\).
On the other hand,
Thus
It is this estimate that allows us to use \(L^{1}\) rather than \(L^{\infty }\)-bounds (see [32]). We have
We can choose p small enough, and it also follows from the same approach that
We substitute the above estimates to the right-hand side of (2.8) to get the desired result. □
3 Main results
In this section, we shall state and prove our main result.
We first introduce the local existence theory of the global solution for the semilinear nonlocal fractional Cauchy problem (1.1).
Lemma 3.1
(Local existence and uniqueness [15])
Suppose that \(f_{0}\in \mathcal{H}^{2}\). There exist a positive real number L and a unique local solution \(f(x,t)\) of the global solution for the semilinear nonlocal fractional Cauchy problem (1.1) in \(C([0,L];\mathcal{H}^{2})\). Moreover, if
then
Otherwise, \(L=\infty \) (global existence).
Lemma 3.2
The sets \(\mathcal{G}\) and \(\mathcal{B}\) are invariant manifolds.
Proof of Lemma 3.2
Indeed, we only prove that \(\mathcal{G}\) is invariant. \(\mathcal{B}\) is proved in a similar way. Considering the fact that \(f_{0}\in \mathcal{G}\), we obtain that \(f(x,t)\in \mathcal{G}\), where \(x\in (0,L)\).
The possibilities are as follows:
Case 1. \(f_{0}=0\). Clearly, \(f(x,t)=0\), where \(x\in [0,L)\). In a similar way we get that \(f(x,t)\equiv 0\) is also the global solution for the semilinear nonlocal fractional Cauchy problem (1.1) in \(C([0,L];\mathcal{H}^{2})\). Thus \(f(x,t)\in \mathcal{G}\), where \(x\in (0,L)\).
Case 2. \(f_{0}\neq 0\). Note that from Lemma 3.1 we infer that
Therefore, there exists \(t_{1}\in (0,L)\) such that \(\mathfrak{I}(f(x,t _{1}))=0\). Also, for any \(x\in (0,t_{1})\), \(\mathfrak{I}(f(x,t))>0\). It is easily seen that \(f(x,t_{1})\neq 0\). Suppose first that \(f(x,t_{1})=0\). Then, by the mass conservation law, we know that \(f_{0}=0\), a contraction.
Considering the definition of d, we use an argument similar to the above to get
which is again a contraction.
Thus we have \(f(x,t)\in \mathcal{G}\), where \(t\in (0,L)\). □
Theorem 3.1
Let \(f_{0}\in \mathcal{G}\). Then the semilinear nonlocal fractional Cauchy problem of Schrödinger equation (1.1) exists, and it satisfies the following inequality:
Proof of Theorem 3.1
It follows from a standard argument by Lemma 3.1 that the existence result of a local solution of the semilinear nonlocal fractional Cauchy problem of Schrödinger equation (1.1) can be extended globally (see [33]).
Taking \(f_{0}\in \mathcal{G}\), for any \(x\in [0,L)\), by Lemma 3.2 and Theorem 2.1, it is easy to verify that
as desired. □
4 Conclusions
This paper was concerned with the global existence of solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation. Firstly, based on the Schrödinger approximation technique and the theory of a family of potential wells, the authors obtained the invariant sets and vacuum isolating of global solutions including the critical case. Then, the global existence of solutions and the stability of equilibrium points were discussed. Finally, the global asymptotic stability of the unique positive equilibrium point of the system was proved by applying the Leray–Schauder alternative fixed point theorem.
Change history
19 January 2021
This article has been retracted. Please see the Retraction Notice for more detail: https://doi.org/10.1186/s13661-021-01488-8
References
Coti Zelati, V., Rabinowitz, P.H.: Homoclinic type solutions for a semilinear elliptic PDE on \(R^{n}\). Commun. Pure Appl. Math. 45, 1217–1269 (1992)
Kryszewski, W., Szulkin, A.: Generalized linking theorem with an application to semilinear Schrödinger equation. Adv. Differ. Equ. 3, 441–472 (1998)
Kopidakis, G., Aubry, S., Tsironis, G.P.: Targeted energy transfer through discrete breathers in nonlinear systems. Phys. Rev. Lett. 87, 165501 (2001)
Christodoulides, D.N., Lederer, F., Silberberg, Y.: Discretizing light behaviour in linear and nonlinear waveguide lattices. Nature 424, 817–823 (2003)
Fleischer, J.W., Carmon, T., Segev, M., Efremidis, N.K., Christodoulides, D.N.: Observation of discrete solitons in optically induced real time waveguide arrays. Phys. Rev. Lett. 90, 023902 (2003)
Arioli, G., Gazzola, F.: Periodic motions of an infinite lattice of particles with nearest neighbor interaction. Nonlinear Anal. 26, 1103–1114 (1996)
Aubry, S.: Breathers in nonlinear lattices: existence, linear stability and quantization. Physica D 103, 201–250 (1997)
Aubry, S., Kopidakis, G., Kadelburg, V.: Variational proof for hard discrete breathers in some classes of Hamiltonian dynamical systems. Discrete Contin. Dyn. Syst., Ser. B 1, 271–298 (2001)
James, G.: Centre manifold reduction for quasilinear discrete systems. J. Nonlinear Sci. 13, 27–63 (2003)
Barrow, J., Parsons, P.: Inflationary models with logarithmic potentials. Phys. Rev. D 52, 5576–5587 (1995)
Comecha, A., Cuevasb, J., Kevrekidis, P.G.: Discrete peakons. Physica D 207, 137–160 (2005)
Enqvist, K., McDonald, J.: Q-balls and baryogenesis in the MSSM. Phys. Lett. B 425, 309–321 (1998)
Huang, Y., Wei, Y.: A class of Caputo fractional differential equations with multiple solutions for multi-point boundary value problems. Acta Anal. Funct. Appl. 20(2), 157–165 (2018)
Zhang, X., Liu, D., Yan, Z., Zhao, G., Yuan, Y.: Schrödinger-type identity for Schrödinger free boundary problems. Bound. Value Probl. 2018, 135 (2018)
Sun, D.: Schrödinger-type identity to the existence and uniqueness of a solution to the stationary Schrödinger equation. Bound. Value Probl. 2019, 60 (2019)
Qiao, Y., Zhou, Z.: Positive solutions for a class of Hadamard fractional differential equations on the infinite interval. Math. Appl. 30(3), 589–594 (2017)
DiBenedetto, E., Friedman, A.: Periodic behaviour for the evolutionary dam problem and related free boundary problems. Commun. Partial Differ. Equ. 11, 1297–1377 (1986)
Gala, S., Ragusa, M.A.: On the regularity criterion of weak solutions for the 3D MHD equations. Z. Angew. Math. Phys. 68(6), Art. 140, 13 pp. (2017)
Kokologiannaki, Ch.G., Krasniqi, V.: q-Completely monotonic and q-Bernstein functions. J. Appl. Math. Stat. Inform. 10(2), 43–57 (2014)
Polidoro, S., Ragusa, M.A.: On Some Schrödinger Type Equations. More Progresses in Analysis. World Scientific, Singapore (2009)
Yuan, J., Huang, C., Feng, Q.: Exact solution of nonlinear evolution equation by Riccati expansion method. Math. Pract. Theory 47(24), 274–277 (2017)
Mozer, J.: A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations. Commun. Pure Appl. Math. 13(3), 457–468 (1960)
Makvand, M.C., Razani, A.: Existence of infinitely many solutions for a class of nonlocal problems with Dirichlet boundary condition. Commun. Korean Math. Soc. 34(1), 155–167 (2019)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, NewYork (1993)
Serrin, J.: Local behavior of solutions of quasilinear elliptic equations. Acta Math. 111, 247–302 (1964)
Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, New York (1983)
Acerbi, E., Fusco, N.: A transmission problem in the calculus of variations. Calc. Var. Partial Differ. Equ. 2, 1–16 (1994)
Gilardi, G.: A new approach to evolution free boundary problems. Commun. Partial Differ. Equ. 4, 1099–1123 (1979)
Rossi, J.D.: The blow-up rate for a semilinear parabolic equation with a nonlinear boundary condition. Acta Math. Univ. Comen. 67, 343–350 (1998)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR, Ser. Mat. 50(4), 675–711 (1986)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Amann, H.: Nonlinear elliptic equations with nonlinear boundary conditions. In: Eckhaut, W. (ed.) New Developments in Differential Equations. Math Studies, vol. 21, pp. 43–63. North-Holland, Amsterdam (1976)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
The work was supported by the Natural Science Foundation of Xinjiang Uygur Autonomous Region of China (No. 2019D01A04).
Author information
Authors and Affiliations
Contributions
I read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The author declares that he has no competing interests.
Consent for publication
Not applicable.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article has been retracted. Please see the retraction notice for more detail: https://doi.org/10.1186/s13661-021-01488-8"
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, Z. RETRACTED ARTICLE:Existence of global solutions for the semilinear nonlocal fractional Cauchy problem of the Schrödinger equation. Bound Value Probl 2020, 16 (2020). https://doi.org/10.1186/s13661-020-01328-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01328-1