Next Article in Journal
A Mathematical Model for Transport in Poroelastic Materials with Variable Volume:Derivation, Lie Symmetry Analysis, and Examples
Next Article in Special Issue
Some Generalised Fixed Point Theorems Applied to Quantum Operations
Previous Article in Journal
Entropy Generation in a Mass-Spring-Damper System Using a Conformable Model
Previous Article in Special Issue
Lie Symmetry Analysis, Explicit Solutions and Conservation Laws of a Spatially Two-Dimensional Burgers–Huxley Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Nonexistence of Global Weak Solutions for a Nonlinear Schrödinger Equation in an Exterior Domain

1
Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabi
2
Department of Mathematics and Computer Science, University of Palermo, Via Archirafi 34, 90123 Palermo, Italy
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(3), 394; https://doi.org/10.3390/sym12030394
Submission received: 19 December 2019 / Revised: 9 February 2020 / Accepted: 20 February 2020 / Published: 4 March 2020

Abstract

:
We study the large-time behavior of solutions to the nonlinear exterior problem L u ( t , x ) = κ | u ( t , x ) | p , ( t , x ) ( 0 , ) × D c under the nonhomegeneous Neumann boundary condition u ν ( t , x ) = λ ( x ) , ( t , x ) ( 0 , ) × D , where L : = i t + Δ is the Schrödinger operator, D = B ( 0 , 1 ) is the open unit ball in R N , N 2 , D c = R N D , p > 1 , κ C , κ 0 , λ L 1 ( D , C ) is a nontrivial complex valued function, and ν is the outward unit normal vector on D , relative to D c . Namely, under a certain condition imposed on ( κ , λ ) , we show that if N 3 and p < p c , where p c = N N 2 , then the considered problem admits no global weak solutions. However, if N = 2 , then for all p > 1 , the problem admits no global weak solutions. The proof is based on the test function method introduced by Mitidieri and Pohozaev, and an adequate choice of the test function.

1. Introduction

We investigate the nonlinear exterior problem
L u ( t , x ) = κ | u ( t , x ) | p , ( t , x ) ( 0 , ) × D c ,
where L : = i t + Δ is the Schrödinger operator, D = B ( 0 , 1 ) is the open unit ball in R N , N 2 , D c = R N D , p > 1 , and κ C , κ 0 . Problem (1) is studied under the nonhomegeneous Neumann boundary condition
u ν ( t , x ) = λ ( x ) , ( t , x ) ( 0 , ) × D ,
where λ L 1 ( D , C ) is a nontrivial complex valued function and ν is the outward unit normal vector on D , relative to D c . Namely, we derive sufficient conditions so that Equations (1) and (2) admit no global weak solutions.
We mention below some motivations for studying the considered problem. Let us first fix some notations. Given a complex number z, the real part of z is denoted by R e z , the imaginary part of z is denoted by I m z , the conjugate of z is denoyted by z ¯ , and the modulus of z is denoted by | z | .
In the literature, there are many results related to the blow-up of solutions for nonlinear Schrödinger equations in the whole space R N . Glassey [1] studied the Cauchy problem
i t u = Δ u + | u | p 1 u , ( t , x ) ( 0 , ) × R N , u ( 0 , x ) = φ ( x ) , x R N .
Under the assumptions
(i)
R N | φ | 2 2 p + 1 | φ | p + 1 d x 0 ,
(ii)
I m R N r φ ¯ φ r d x > 0 , r = | x | ,
(iii)
p > 1 + 4 N ,
it was shown that u 2 and u blow up in finite time. In [2], Ogawa and Tsutsumi proved that, if N 2 and
1 + 4 N < p < min N + 2 N 2 , 5 ,
then, if the initial data φ H 1 is radially symmetric and has negative energy, the solution to (3) in H 1 blows up in finite time. For other related woks, see, for example [3,4,5,6] and the references therein. Ikeda and Wakasugi [7] investigated the problem
i t u + Δ u = κ | u | p , ( t , x ) ( 0 , ) × R N , u ( 0 , x ) = φ ( x ) , x R N ,
where κ C , κ 0 and 1 < p 1 + 2 N . Under certain assumptions on φ , they proved that the L 2 -norm of the solution u of (4) blows up in finite time. In [8], Ikeda and Inui extended the results obtained in [7] to the case 1 < p < 1 + 4 N . For other related results, see, for example [9,10].
We mention that the nonlinearity κ | u | p works differently from the nonlinearity κ | u | p 1 u . Indeed, Ikeda and Wakasugi in [7] showed that κ | u | p does not act as a long range effect such as κ | u | p 1 u (note that the L 2 -norm of solutions for the equation in (3) conserves for all t R , see [7]).
On the other hand, it is well known that for many problems, the large-time behavior of solutions depends on the geometry of the domain, as well as the considered boundary conditions. As an example, let us consider the semilinear heat equation
t u Δ u = | u | p , ( t , x ) ( 0 , ) × R N , u ( 0 , x ) = u 0 ( x ) , x R N .
It is well known from a famous result of Fujita [11] that the critical exponent of (5) is
p F = 1 + 2 N ,
i.e., if 1 < p < p F and u 0 > 0 , problem (5) possesses no global positive solutions; if p > p F and u 0 is smaller than a small Gaussian, then (5) has global positive solutions. Consider now the same problem posed in the exterior domain D c with a Neumann boundary condition on D , i.e.,
t u Δ u = | u | p , ( t , x ) ( 0 , ) × D c , u ν ( t , x ) = λ ( x ) , ( t , x ) ( 0 , ) × D , u ( 0 , x ) = u 0 ( x ) , x D c .
In the case λ 0 , it was shown by Levine and Zhang [12] that the critical exponent of problem (7) is equal to the Fujita critical exponent p F defined by (6). However, if N 3 and D λ ( x ) d σ > 0 , it was proven by Bandle, Levine, and Zhang [13] that the critical exponent of problem (7) jumps from p F (the critical exponent of (5)) to a bigger number N N 2 . This shows the influence of the geometry of the domain and the considered boundary conditions on the critical behavior of solutions to (5).
In [14], Jleli and Samet studied the exterior problem (1) under the nonhomogeneous Dirichlet boundary condition
u ( t , x ) = λ ( x ) , ( t , x ) ( 0 , ) × D
and the initial condition
u ( 0 , x ) = φ ( x ) , x D c .
It was shown that, if 1 < p < N N 2 ( N 3 ) and
R e κ · I m D c φ ( x ) H ( x ) d x < 0 , R e κ · R e D λ ( x ) d σ < 0
or
I m κ · R e D c φ ( x ) H ( x ) d x > 0 , I m κ · I m D λ ( x ) d σ < 0 ,
where H is a harmonic function, then Equations (1), (8) and (9) admit no global weak solutions. A natural question is to ask whether the above result still holds if, instead of the nonhomogeneous Dirichlet boundary condition (8), we consider the nonhomogeneous Neumann boundary condition (2).
In this paper, motivated by the above mentioned facts, we study the exterior problem (1) under the nonhomogeneous Neumann boundary condition (2). The rest of the paper is organized as follows. In Section 2, we give the definition of the global weak solutions of (1) and (2), and we prove some preliminary results. In Section 3, we present and proof our main result.

2. Global Weak Solutions

First, we fix some notations. Let
Q = ( 0 , ) × D c
and
Γ = ( 0 , ) × D .
Let
Φ = φ C c p t 2 ( Q , R + ) : φ ν | Γ = 0 ,
where C c p t 2 ( Q , R + ) is the space of nonnegative C 2 functions compactly supported in Q . Recall that D c is closed and Γ Q .
Definition 1.
A function u L l o c p ( Q , C ) is called a global weak solution to (1) and (2), if
κ Q | u | p φ d x d t Γ λ ( x ) φ d σ d t = i Q u t φ d x d t + Q u Δ φ d x d t ,
for all φ Φ .
Let
S G L = { u L l o c p ( Q , C ) : u is a global weak solution to ( 1 ) and ( 2 ) } .
From (10), one observes that
Lemma 1.
If u S G L , then
R e κ · Q | u | p φ d x d t R e Γ λ ( x ) φ d σ d t = I m Q u t φ d x d t + R e Q u Δ φ d x d t
and
I m κ · Q | u | p φ d x d t I m Γ λ ( x ) φ d σ d t = R e Q u t φ d x d t + I m Q u Δ φ d x d t ,
for any φ Φ .
Let ψ C ( R N ) be a function satisfying
0 ψ 1 ; ψ 1 i n D ; ψ ( x ) = 0 i f | x | 2 .
Let ξ C ( R ) be a function satisfying
ξ 0 ; ξ ¬ 0 ; s u p p ( ξ ) ( 0 , 1 ) .
For 0 < T < , let
ψ T ( x ) = ψ x T τ , x D c
and
ξ T ( t ) = ξ t T ρ τ , t > 0 ,
where τ > 2 p p 1 and ρ > 0 are constants. Let
φ T ( t , x ) = ξ T ( t ) ψ T ( x ) , ( t , x ) Q .
It can be easily seen that
Lemma 2.
For all 1 < T < ,
φ T Φ .
It follows from Lemmas 1 and 2 that
Lemma 3.
If u S G L , then
R e κ · Q | u | p φ T d x d t R e Γ λ ( x ) φ T d σ d t = I m Q u t φ T d x d t + R e Q u Δ φ T d x d t
and
I m κ · Q | u | p φ T d x d t I m Γ λ ( x ) φ T d σ d t = R e Q u t φ T d x d t + I m Q u Δ φ T d x d t ,
for any 1 < T < .

3. Main Result

In this section, we obtain sufficient conditions for which S G L = . As in [14], the used technique is based on the test function method introduced by Mitidieri and Pohozaev (see, e.g., [15]). However, due to the boundary condition (2), the considered test function in our case is different to that used in [14].
For N 3 , let
p c = N N 2 .
Define the sets H i , i = 1 , 2 , by
H 1 = ( κ , λ ) C { 0 } × L 1 ( D , C ) : R e κ · R e D λ ( x ) d σ < 0
and
H 2 = ( κ , λ ) C { 0 } × L 1 ( D , C ) : I m κ · I m D λ ( x ) d σ < 0 .
Our main result is the following.
Theorem 1.
Let ( κ , λ ) H 1 H 2 .
(i) 
If N 3 , then
S G L = , f o r a l l 1 < p < p c .
(ii) 
If N = 2 , then
S G L = , f o r a l l 1 < p < .
Proof. 
Let ( κ , λ ) H 1 , and suppose that u S G L . Using (12), for sufficiently large 0 < T < , one has
Q | u | p φ T d x d t σ ( κ ) R e Γ λ ( x ) φ T d σ d t | σ ( κ ) | Q | u | | t φ T | d x d t + | σ ( κ ) | Q | u | | Δ φ T | d x d t ,
where σ ( κ ) = ( R e κ ) 1 . On the other hand, using (11), one obtains
Γ λ ( x ) φ T ( t , x ) d σ d t = ( 0 , ) × D λ ( x ) ξ T ( t ) ψ T ( x ) d σ d t = ( 0 , ) × D λ ( x ) ξ t T ρ τ ψ x T τ d σ d t = 0 ξ t T ρ τ d t D λ ( x ) ψ x T τ d σ = T ρ 0 1 ξ ( s ) τ d s D λ ( x ) d σ ,
which yields
σ ( κ ) R e Γ λ ( x ) φ T ( t , x ) d σ d t = C 1 T ρ ,
where
C 1 = 0 1 ξ ( s ) τ d s σ ( κ ) R e D λ ( x ) d σ .
Since ( κ , λ ) H 1 , one has C 1 > 0 . It follows from (14) and (15) that
I T + C 1 T ρ | σ ( κ ) | Q | u | | t φ T | d x d t + | σ ( κ ) | Q | u | | Δ φ T | d x d t ,
where
I T = Q | u | p φ T d x d t .
Further, by Hölder’s inequality, one obtains
Q | u | | t φ T | d x d t I T 1 p Q [ φ T ] 1 p 1 | t φ T | p p 1 d x d t p 1 p .
Similarly, one has
Q | u | | Δ φ T | d x d t I T 1 p Q [ φ T ] 1 p 1 | Δ φ T | p p 1 d x d t p 1 p .
Using (16)–(18), one obtains
I T + C 1 T ρ | σ ( κ ) | I T 1 p A T p 1 p + B T p 1 p ,
where
A T = Q [ φ T ] 1 p 1 | t φ T | p p 1 d x d t
and
B T = Q [ φ T ] 1 p 1 | Δ φ T | p p 1 d x d t .
Further, we shall estimate the terms A T and B T for sufficiently large T.
• Estimate of A T : using (11), one obtains
A T = D c ψ x T τ d x 0 [ ξ T ( t ) ] 1 p 1 | ξ T ( t ) | p p 1 d t T N | y | < 2 ψ ( y ) τ d y T ρ p p 1 τ p p 1 0 ξ t T ρ τ p p 1 ξ t T ρ ( τ 1 ) p p 1 d t = τ p p 1 | y | < 2 ψ ( y ) τ d y 0 1 ξ ( s ) τ p p 1 | ξ ( s ) | ( τ 1 ) p p 1 d s T N ρ p 1 ,
i.e.,
A T C 2 T N ρ p 1 ,
where
C 2 = τ p p 1 | y | < 2 ψ ( y ) τ d y 0 1 ξ ( s ) τ p p 1 | ξ ( s ) | ( τ 1 ) p p 1 d s > 0 .
• Estimate of B T : using (11), one has
B T = 0 ξ T ( t ) d t D c ψ T ( x ) 1 p 1 | Δ ψ T ( x ) | p p 1 d x .
On the other hand,
0 ξ T ( t ) d t = 0 ξ t T ρ τ d t = T ρ 0 1 ξ ( s ) d s .
Furthermore, one has
D c ψ T ( x ) 1 p 1 | Δ ψ T ( x ) | p p 1 d x = T N 2 p p 1 1 < | y | < 2 ψ ( y ) τ p 1 | Δ ψ ( y ) τ | p p 1 d y = T N 2 p p 1 τ p p 1 1 < | y | < 2 ψ ( y ) τ 2 p p 1 ( τ 1 ) | ψ ( y ) | 2 + ψ ( y ) Δ ψ ( y ) p p 1 d y .
Hence, using (21), (22), and (23), one deduces that
B T C 3 T ρ + N 2 p p 1 ,
where
C 3 = τ p p 1 0 1 ξ ( s ) d s 1 < | y | < 2 ψ ( y ) τ 2 p p 1 ( τ 1 ) | ψ ( y ) | 2 + ψ ( y ) Δ ψ ( y ) p p 1 d y > 0 .
Next, using (19), (20), and (24), it holds
I T + C 1 T ρ C 4 | σ ( κ ) | I T 1 p T N ρ p 1 p 1 p + T ρ + N 2 p p 1 p 1 p ,
where
C 4 = max C 2 p 1 p , C 3 p 1 p > 0 .
Taking ρ = 2 in (25), one obtains
I T + C 1 T 2 2 C 4 | σ ( κ ) | I T 1 p T N ( p 1 ) 2 p .
Using Young’s inequality, it holds
2 C 4 | σ ( κ ) | I T 1 p T N ( p 1 ) 2 p I T + C 5 T N 2 p 1 ,
where
C 5 = p 1 p 2 p 1 p C 4 | σ ( κ ) | p p 1 > 0 .
Hence, by (26), one deduces that
0 < C 6 T N 2 2 p 1 ,
where
C 6 = C 1 C 5 .
Suppose now that N 3 and 1 < p < p c . In this case, one has
N 2 2 p 1 < 0 .
Hence, letting T in (27), we obtain 0 < C 6 0 , that is a contradiction. This proves part (i) of Theorem 1. Similarly, if N = 2 , for all 1 < p < , one has
N 2 2 p 1 = 2 p 1 < 0 .
Letting T in (27), we obtain the same contradiction as in the above case, which proves part (ii) of Theorem 1.
Consider now the case ( κ , λ ) H 2 , and suppose that u S G L . Using (13), for sufficiently large 0 < T < , one has
Q | u | p φ T d x d t μ ( κ ) I m Γ λ ( x ) φ T d σ d t | μ ( κ ) | Q | u | | t φ T | d x d t + | μ ( κ ) | Q | u | | Δ φ T | d x d t ,
where μ ( κ ) = ( I m κ ) 1 . Next, using similar techniques as above, a contradiction follows. □
Remark 1.
Note that no assumptions on the initial condition are required in Theorem 1.
Remark 2.
Note that the condition 1 < p < p c in the assertion (i) of Theorem 1 is optimal, in the sense that, if p > p c , then there exists ( κ , λ ) H 1 H 2 , such that S G L . Indeed, for p > p c = N N 2 ( N 3 ), let
w ( x ) = ε ρ δ , ρ = | x | 1 ,
where
δ = 2 p 1 a n d ε = δ ( N 2 δ ) 1 p 1 .
Note that since p > p c , one has δ ( N 2 δ ) > 0 . On the other hand, using (28), one obtains
Δ w ( x ) = ε Δ ρ δ = ε d 2 d ρ 2 ( ρ δ ) + ( N 1 ) ρ d d ρ ( ρ δ ) = ε ( δ ) ( δ 1 ) ρ δ 2 + ( N 1 ) ρ δ ρ δ 1 = ε [ δ ( N 2 δ ) ] ρ δ 2 = ε p ρ δ 2 = ε p ρ 2 p p 1 = ε p ρ δ p ,
which yields
Δ w ( x ) = | w ( x ) | p , x D c .
Moreover,
d w ( x ) d ρ ρ = 1 = ε ,
which yields
w ν ( x ) = ε , x D .
Next, taking
u ( t , x ) = w ( x ) , t 0 , x D c ,
using (29) and (30), one deduces that u is a stationary solution to Equations (1) and (2) with κ = 1 and λ ε . Observe that ( k , λ ) H 1 H 2 and u S G L .

4. Conclusions

Nonlinear Schrödinger equations attracted the attention of many mathematicians, due to their significant applications in physics. Many efforts were made to identify the blow-up of the solution of different boundary value problems involving such a type of nonlinear equations. Hence, there is a variety of approaches in the literature to studying the dynamical properties of the blow-up of the solution and prove the existence/nonexistence of global weak solutions. Here, Theorem 1 complements the results with power-type nonlinearities, in the nonhomogeneous Neumann boundary case. As pointed out above, we do not impose any assumption on the initial condition. We establish the result using the approach originally developed by Mitidieri and Pohozaev [15], together with an adequate choice of the test function. We recall that the approach methodology is indirect, starting on the assumption of the existence of a global weak solution to (1) and (2). The test function in our case is different from that used in recent analogous papers (see, for example, the one in [14]).

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

The third author is supported by the Researchers Supporting Project number (RSP-2019/4), King Saud University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Glassey, R.T. On the blowing-up of solutions to the Cauchy problem for the nonlinear Schrödinger equation. J. Math. Phys. 1977, 18, 1794–1797. [Google Scholar] [CrossRef]
  2. Ogawa, T.; Tsutsumi, Y. Blow-up of H1 solution for the nonlinear Schrödinger equation. J. Differ. Equ. 1991, 92, 317–330. [Google Scholar] [CrossRef] [Green Version]
  3. Bourgain, J.; Wang, W. Construction of blowup solutions for the nonlinear Schrödinger equation with critical nonlinearity. Ann. Sc. Norm. Sup. Pisa Cl. Sci. IV Ser. 1997, 25, 197–215. [Google Scholar]
  4. Ginibre, J.; Velo, G. On a class of nonlinear Schrödinger equations. I. The Cauchy problem, general case. J. Funct. Anal. 1979, 32, 1–32. [Google Scholar] [CrossRef] [Green Version]
  5. Merle, F. Limit of the solution of the nonlinear Schrödinger equation at the blow-up time. J. Func. Anal. 1989, 84, 201–214. [Google Scholar] [CrossRef] [Green Version]
  6. Tsutsumi, M. Nonexistence of global solutions to the Cauchy problem for the damped nonlinear Schrödinger equation. SIAM J. Math. Anal. 1984, 15, 357–366. [Google Scholar] [CrossRef]
  7. Ikeda, M.; Wakasugi, Y. Small data blow-up of L2-solution for the nonlinear Schrödinger equation without gauge invariance. Differ. Integral Equ. 2013, 26, 1275–1285. [Google Scholar]
  8. Ikeda, M.; Inui, T. Small data blow-up of L2 or H1-solution for the semilinear Schrödinger equation without gauge invariance. J. Evol. Equ. 2015, 15, 1–11. [Google Scholar] [CrossRef] [Green Version]
  9. Fino, A.Z.; Dannawi, I.; Kirane, M. Blow-up of solutions for semilinear fractional Schrödinger equations. J. Integral Equ. Appl. 2018, 30, 67–80. [Google Scholar] [CrossRef]
  10. Kirane, M.; Nabti, A. Life span of solutions to a nonlocal in time nonlinear fractional Schrödinger equation. Z. Angew. Math. Phys. 2015, 66, 1473–1482. [Google Scholar] [CrossRef]
  11. Fujita, H. On the blowing up of solutions of the Cauchy problem for ut = Δu + u1+α. J. Fac. Sci. Univ. Tokyo. 1966, 13, 109–124. [Google Scholar]
  12. Levine, H.A.; Zhang, Q.S. The critical Fujita number for a semilinear heat equation in exterior domains with homogeneous Neumann boundary values. Proc. Roy. Soc. Edinburgh Sect. A 2000, 130, 591–602. [Google Scholar] [CrossRef] [Green Version]
  13. Bandle, C.; Levine, H.A.; Zhang, Q.S. Critical exponents of Fujita type for inhomogeneous parabolic equations and systems. J. Math. Anal. Appl. 2000, 251, 624–648. [Google Scholar] [CrossRef] [Green Version]
  14. Jleli, M.; Samet, B. On the critical exponent for nonlinear Schrödinger equations without gauge invariance in exterior domains. J. Math. Anal. Appl. 2019, 469, 188–201. [Google Scholar] [CrossRef]
  15. Mitidieri, E.; Pohozaev, S.I. The absence of global positive solutions to quasilinear elliptic inequalities. Doklady Math. 1998, 57, 250–253. [Google Scholar]

Share and Cite

MDPI and ACS Style

Alqahtani, A.; Jleli, M.; Samet, B.; Vetro, C. Nonexistence of Global Weak Solutions for a Nonlinear Schrödinger Equation in an Exterior Domain. Symmetry 2020, 12, 394. https://doi.org/10.3390/sym12030394

AMA Style

Alqahtani A, Jleli M, Samet B, Vetro C. Nonexistence of Global Weak Solutions for a Nonlinear Schrödinger Equation in an Exterior Domain. Symmetry. 2020; 12(3):394. https://doi.org/10.3390/sym12030394

Chicago/Turabian Style

Alqahtani, Awatif, Mohamed Jleli, Bessem Samet, and Calogero Vetro. 2020. "Nonexistence of Global Weak Solutions for a Nonlinear Schrödinger Equation in an Exterior Domain" Symmetry 12, no. 3: 394. https://doi.org/10.3390/sym12030394

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop