Abstract and Applied Analysis

Abstract and Applied Analysis / 2014 / Article

Research Article | Open Access

Volume 2014 |Article ID 569693 | 6 pages | https://doi.org/10.1155/2014/569693

On the Weak Solution to a Fractional Nonlinear Schrödinger Equation

Academic Editor: Elena Litsyn
Received12 Nov 2013
Accepted10 Mar 2014
Published02 Apr 2014

Abstract

We obtain the existence of a global weak solution to a fractional nonlinear Schrödinger equation by the Galerkin method. Its uniqueness is also discussed. In our proof, we use harmonic analysis techniques and compactness arguments.

1. Introduction

This paper is concerned with the following fractional partial differential equations in the dimensional torus : where and are real numbers and . is given and is a complex-valued function. Here, , the fractional Laplacian with respect to .

The fractional Laplacian operator appears in a wide class of physical systems and engineering problems, including Lévy flights, viscoelasticity, electrochemistry, control, porous media, electromagnetic, stochastic interfaces, and anomalous diffusion problems, and attracts the interests of many mathematicians; see [15], for example. The quasigeostrophic equation with fractional dissipation has been also extensively studied; see Constantin et al. [610], for example. In mathematical physics, the fractional Laplacian is often applied to describe many complicated phenomena via partial differential equations.

The Schrödinger equation is a fundamental equation in physics, which describes nonrelativistic quantum mechanical behavior. It is well known that Feynman and Hibbs [11] used path integrals over Brownian paths to derive the standard Schrödinger equation ( in (1)). Recently, Laskin [12, 13] showed that the path integral over the Lévy-like quantum mechanical paths allows us to generalize the classical quantum mechanics. Namely, if the path integral over Brownian trajectories leads to the well-known Schrödinger equation, then the path integral over Lévy trajectories leads to the fractional Schrödinger equation. The fractional Schrödinger equation includes the space derivative of order instead of second-order space derivative in the standard Schrödinger equation. Laskin [14] showed the hermiticity of the fractional Hamilton operator and established the parity conservation law. Guo et al. [15] obtained the existence of a unique global smooth solution to the periodical boundary value problem for the fractional nonlinear Schrödinger equation.

Interestingly enough, there are also some other models involving the damping term ; see [16, 17].

In studying (1), there exist some essential difficulties. First, since the fractional differential operator is defined by Fourier series and is nonlocal except when , which means that depends not only on for near , but also on for all . Moreover, integration by part for nonlinear term is not valid. These bring new difficulties when doing energy estimate. And thus new harmonic analysis methods must be introduced to overcome these difficulties. Second, there are some difficulties in the convergence of the approximate solutions because of the nonlinear term. A compactness device should be given to treat this case.

We now collect the notations in this paper. The fractional Laplacian , for , can be defined as where is the Fourier coefficients of :

We shall also invoke the notion of inhomogeneous Sobolev space , which comprises all tempered distributions on such that

We now end this introduction by outlining the rest of this paper. In Section 2, we prove the existence of a weak solution to (1); see Theorem 8. The uniqueness of such weak solutions is discussed in Section 3; see Theorem 9.

2. Existence of a Weak Solution

In this section, we prove the existence of a weak solution to the following system:

Let us first recall and prove some fundamental Lemmas.

Lemma 1 (see [18]). Let be a Banach space; consider for some ; then is continuous map from to .

Lemma 2 (see [18]). Let be a bounded domain in , and , are in with then weakly in .

Lemma 3 (see [18]). Let , , , and , , be three Banach spaces satisfying , where , are reflexive and the embedding is compact. Endow the space with the norm Then the embedding is compact.

In the following developments, we modify the methods in [19].

Proposition 4. Let , , and . Then with .

Proof. First, we have Let , where with , and is a standard approximation of identity, , supp , and . Now we can write Poisson’s summation then yields Due to the fact that we obtain for some .
Therefore,

Lemma 5. Let , and let be a complex-valued function satisfying with and . Then

Proof. For , by invoking Proposition 4 and changing of variables, we have

In the following Lemma, we give a characterization of the eigenvalues and eigenvectors of the pseudodifferential operators .

Lemma 6. Let . Then there exist a sequence of real numbers and a sequence of periodical functions , such that Moreover, is a basis of satisfying for , .

Notice that the lemma is a direct consequence of elliptic regularity and functional analysis; see [20], for example.

Let us now give the weak formulation of (5)-(6).

Definition 7. Let , , , and . A measurable complex-valued function is said to be a weak solution to (5)-(6) on , provided the following:(1) and ;(2) satisfies (5) in the sense of distributions;(3) a.e. .
Here and hereafter, .

Now, we state our existence results in the following theorem.

Theorem 8. Let be a given time, and Then there exists at least one weak solution to (5)-(6) on , taking as initial data.

Proof. We use Galerkin method.
Step  1. Construction of approximate solution.
Let be given as in Lemma 6. We consider the approximate solution which has the form where satisfy the following ordinary differential system: Here and hereafter, is the inner product in .
The system (26)-(27) is nonsingular because are linear independent. Thus we may apply standard theory of ordinary differential equations to obtain the existence of a local solution to equations (26)-(27) on , for some . We shall then, in the next step, establish some a priori estimates of the obtained solutions. This will ensure that .
Step  2. A priori estimates.
By multiplying (26) by and summing with , we have Taking real part of (28) and invoking Hölder inequality then yields By Gronwall’s inequality, we have
By multiplying (26) by , summing with , and noticing (23), we get Thanks to Lemma 5, we may consider the real part of (31) to obtain By Gronwall’s inequality again, we have
By multiplying (26) by , summing with , and taking , we have Looking into the real part of (34), we see Thus,
Now we can obtain the estimate for . By differentiating (26) with respect to , we get By multiplying (37) by and summing with , we have Notice that Taking the real part of (38) then yields
By Gronwall’s inequality, we deduce
Step  3. Convergence process.
By (30), (33), and (41), we have, up to a subsequence, still denoted by , that Thus by Lemma 3, we find By (44), there exists a function such that with . By Lemma 2 and the fact that we see Fix ; we now pass to limit in (26) to deduce A simple density argument then shows for all .
The proof of Theorem 8 is completed.

3. Uniqueness of Weak Solutions

In this section, we will discuss the uniqueness of weak solutions of (5)-(6). More precisely, we have the following theorem.

Theorem 9. Assume as in Theorem 8. Then there exists a unique weak solution of (5)-(6).

Proof. Let and be two weak solutions of (5)-(6), given in Theorem 8, with the same datum. Then satisfies Also, we have
By taking the inner product of (51) with in , we obtain
By taking the real part of (54) and noticing we have Thus and a.e. in .

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Zujin Zhang was partially supported by the Youth Natural Science Foundation of Jiangxi Province (20132BAB211007 and 20122BAB201014) and the National Natural Science Foundation of China (11326138 and 11361004). Xiaofeng Wang was partially supported by the Guangzhou higher Education Science and Technology Projection (2012A018). Zheng-an Yao was partially supported by the National Natural Science Foundation of China (11271381).

References

  1. P. Li and Z. Zhai, “Well-posedness and regularity of generalized Navier-Stokes equations in some critical-spaces,” Journal of Functional Analysis, vol. 259, no. 10, pp. 2457–2519, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  2. K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, New York, NY, USA, 1993. View at: MathSciNet
  3. I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999. View at: MathSciNet
  4. J. Shatah and C. Zeng, “Schrödinger maps and anti-ferromagnetic chains,” Communications in Mathematical Physics, vol. 262, no. 2, pp. 299–315, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  5. P.-L. Sulem, C. Sulem, and C. Bardos, “On the continuous limit for a system of classical spins,” Communications in Mathematical Physics, vol. 107, no. 3, pp. 431–454, 1986. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  6. P. Constantin, “Energy spectrum of quasigeostrophic turbulence,” Physical Review Letters, vol. 89, no. 18, Article ID 184501, 4 pages, 2002. View at: Google Scholar
  7. P. Constantin, “On the Euler equations of incompressible fluids,” Bulletin of the American Mathematical Society, vol. 44, no. 4, pp. 603–621, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  8. P. Constantin, D. Cordoba, and J. Wu, “On the critical dissipative quasi-geostrophic equation,” Indiana University Mathematics Journal, vol. 50, pp. 97–107, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  9. P. Constantin, A. J. Majda, and E. Tabak, “Formation of strong fronts in the Q-D quasigeostrophic thermal active scalar,” Nonlinearity, vol. 7, no. 6, pp. 1495–1533, 1994. View at: Publisher Site | Google Scholar | MathSciNet
  10. P. Constantin and J. Wu, “Behavior of solutions of 2D quasi-geostrophic equations,” SIAM Journal on Mathematical Analysis, vol. 30, no. 5, pp. 937–948, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  11. R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals, McGraw-Hill, New York, NY, USA, 1965.
  12. N. Laskin, “Fractional quantum mechanics and Lévy path integrals,” Physics Letters A, vol. 268, no. 4–6, pp. 298–305, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  13. N. Laskin, “Fractional quantum mechanics,” Physical Review E, vol. 62, pp. 3135–3145, 2000. View at: Publisher Site | Google Scholar
  14. N. Laskin, “Fractional Schrödinger equation,” Physical Review E, vol. 66, no. 5, Article ID 056108, 7 pages, 2002. View at: Publisher Site | Google Scholar | MathSciNet
  15. B. Guo, Y. Han, and J. Xin, “Existence of the global smooth solution to the period boundary value problem of fractional nonlinear Schrödinger equation,” Applied Mathematics and Computation, vol. 204, no. 1, pp. 468–477, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  16. Z. Zhang, X. Wu, and M. Lu, “On the uniqueness of strong solution to the incompressible Navier-Stokes equations with damping,” Journal of Mathematical Analysis and Applications, vol. 377, no. 1, pp. 414–419, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  17. Z. J. Zhang, X. F. Wang, and Z.-A. Yao, “On a fractional nonlinear hyperbolic equation arising from relative theory,” Abstract and Applied Analysis, vol. 2013, Article ID 548562, 6 pages, 2013. View at: Publisher Site | Google Scholar
  18. J. L. Lions and Quelques, Méthodes de Résolution des Probléms aux Limites Non Linéaire, Sun Yat-sen University Press, GuangZhou, China, Chinese edition, 1996.
  19. A. Córdoba and D. Córdoba, “A maximum principle applied to quasi-geostrophic equations,” Communications in Mathematical Physics, vol. 249, no. 3, pp. 511–528, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  20. R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, vol. 68 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1988. View at: Publisher Site | MathSciNet

Copyright © 2014 Zujin Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

822 Views | 581 Downloads | 0 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. Sign up here as a reviewer to help fast-track new submissions.