Pure initial value problems for important nonlinear evolution equations such as nonlinear Schr ödinger equation (NLS) and the Ginzburg-Landau equation (GL) have been extensively studied. However, many applications in physics lead to mathematical models where boundary data is inhomogeneous, e.g. in radio frequency wave experiments. In this paper, we investigate the mixed initial-boundary condition problem for the nonlinear Schr ödinger equation iut = uxx – g| u| p-1 u, g ∈ R, p > 3 on a semi-infinite strip. The equation satisfies an initial condition and Dirichlet boundary conditions. We utilize semi-group theory to prove existence and uniqueness theorem of a strong local solution.
Inhomogenous boundary value problems often occur when an external force is applied to the time evolution of systems governed by nonlinear partial differential equations. Such forcing is often accomplished by imposing a boundary condition [
i u t = u x x + k | u | 2 u (1.1)
( x , t ) ∈ R + × R +
u ( x , 0 ) = h ( x ) , u ( 0 , t ) = g ( t )
where k ∈ R + and h ( x ) , g ( t ) satisfy the necessary compatibility conditions h ( 0 ) = g ( 0 ) with appropriate smoothness that h ∈ H 2 [ 0, ∞ ) , g ∈ C 1 [ 0, ∞ ) . For more references about forced nonlinear systems such as NLS and KdV, see [
Although solutions to the free NLS satisfy various conservation laws, it is no longer the case when inhomogenous boundary condition is imposed. Consequently, Hamiltonian properties are lost and the nice Schrödinger group on ( − ∞ , ∞ ) determined by i q t = q x x is not available.
For (1.1) with either Dirichlet or Robin inhomogenous boundary condition, global existence and well-posedness for the forced NLS were proved in [
For the following 1D nonlinear Schrödinger equation of a general nonlinearity ( g > 0 , p > 3 )
i u t = u x x − g | u | p − 1 u , ( x , t ) ∈ R + × R + (1.2)
u ( x ,0 ) = h ( x )
with either Dirichlet or Robin Inhomogenous boundary conditions, global existence and well-posedness of a classical solution were proved in [
For the following NLS in n-dimensions with inhomogenous Dirichlet boundary data where the nonlinear term contributes to a positive term to the energy ( ϕ and Q are given smooth functions):
i ∂ t u = Δ u − f ( u ) for x ∈ Ω ⊂ R n , (1.3)
u ( x ,0 ) = ϕ ( x ) ,
u ( x , t ) = Q ( x , t ) for x ∈ ∂ Ω ,
the existence of global solution of finite energy was proved in [
For a class of second-order nonlinear difference equations with Dirichlet boundary value problem, sufficient conditions on the existence of sign-changing solutions were obtained by using invariant sets of descending flow and variational methods [
In this paper, we will investigate a more general version of nonlinear Schrödinger equation i u t = u x x − g | u | p u when x ∈ Ω = [ 0 , L ] , 0 ≤ t < ∞ . The domain is a semi-infinite strip instead of a quarter plane. Dirichlet type inhomogeneous boundary conditions are imposed on the boundary. In next section, we use semigroup technique to prove the existence and uniqueness theorem for a local classical solution when initial and boundary data are smooth.
We consider the following Dirichlet type inhomogenous boundary value problem for the 1D NLS:
i u t = u x x − g | u | p − 1 u , (2.1)
x ∈ Ω = [ 0 , L ] , 0 ≤ t < ∞ , g ∈ R , p > 3
u ( x , 0 ) = h ( x ) , u ( 0 , t ) = Q 1 ( t ) , u ( L , t ) = Q 2 ( t ) .
We assume that h ( x ) ∈ H 2 ( Ω ) , Q 1 ( t ) ∈ C 1 ( Ω ) , Q 2 ( t ) ∈ C 1 ( Ω ) . In addition, the initial and boundary data satisfy the necessary compatibility conditions to ensure the existence of solution at ∂ Ω and t = 0 .
We use the following substitution (note that g > 0 is no longer required):
u ( x , t ) = v ( x , t ) + x L Q 2 ( t ) + L − x L Q 1 ( t ) = v ( x , t ) + F ( x , t ) (2.2)
and convert (2.1) to
i v t + i F t = v x x − g | v + F | p − 1 ( v + F ) (2.3)
This can be expressed as the following system (for some a > 0 ):
v t = − i v x x − a v + K ( t , v ) (2.4)
v ( x , 0 ) = h ( x ) − F ( x , 0 ) ,
v ( 0 , t ) = u ( 0 , t ) − F ( 0 , t ) = 0 ,
v ( L , t ) = u ( L , t ) − F ( L , t ) = 0.
where K consists of all nonlinear terms of v up to power of p and Q 1 , Q ′ 1 , Q 2 , Q ′ 2 . We have the following existence of a unique classical solution.
Theorem 2.1. Let A = − i D x 2 − a v with D ( A ) = { f ∈ H 2 ( Ω ) ; f ( 0 ) = 0 , f ( L ) = 0 } . Given h ∈ H 2 ( Ω ) ,
v = u − x L Q 2 ( t ) − L − x L Q 1 ( t ) and h ( 0 ) = Q 1 ( 0 ) , h ( L ) = Q 2 ( 0 ) , the equation
(2.4) for v has a unique classical solution v ∈ C 1 ( [ 0 , T M ) , L 2 ) ∩ C 0 ( [ 0 , T M ) , D ( A ) ) with either T M = ∞ or lim ‖ v ( t ) ‖ D ( A ) = ∞ as t → T M . Therefore, the equation (2.1) with Dirichlet boundray data has a unique classical solution u ∈ C 1 ( [ 0 , T M ) , L 2 ) ∩ C 0 ( [ 0 , T M ) , H 2 ) with either T M = ∞ or lim ‖ u ( t ) ‖ H 2 = ∞ as t → T M .
Proof. Define W = W ( Ω ) = { u ∈ L 2 ( Ω ) , u x x ∈ L 2 ( Ω ) } with norm ‖ u ‖ W 2 = ‖ u ‖ 2 2 + ‖ u x x ‖ 2 2 . Then W is complete and the mapping u ↦ u x : W → L 2 is continuous. To check A os a semigroup generator, we look at the resolvant R λ = ( λ − A ) − 1 so consider ( λ − A ) v = f with v ( 0 ) = v ( L ) = 0 and f ∈ L 2 . This means λ v + i v ″ + a v = f and v ( 0 ) = v ( L ) = 0 . Since
( ( λ − A ) v , v ) = ( λ + a ) ‖ v ‖ 2 + i ∫ 0 L v ″ v ¯ d x = ( λ + a ) ‖ v ‖ 2 2 − i ‖ v ′ ‖ 2 2 (2.5)
we take the real parts and use Cauchy-Schwarz inequality to see that ( λ + a ) ‖ v ‖ 2 ≤ ‖ ( λ − A ) v ‖ . As we know, Cauchy-Schwarz inequality is considered one of the most important and widely used inequalities in mathematics (see [
By Hille-Yosida Theorem in functional analysis which characterizes the generators of strongly continuous one-parameter semigroups of linear operators on Banach spaces [
v ( t ) = N ( t ) v 0 + ∫ 0 t N ( t − s ) K ( s , v ) d s . (2.6)
Evidently D ( A ) with the graph norm is a Hilbert space with norm equivalent to the H2 norm. From Gagliardo-Nirenberg estimates, we see that K is continuous in t and locally Lipschitz in D ( A ) uniformly on [ 0, T ] . Applying Theorem 6.1.7 of [
Important evolution equations like the nonlinear Schrödinger equation and the Ginzburg-Landau equation have many physical applications when the boundary data is not zero. Studies on these problems contribute towards a better understanding of nature of the partial differential equations (PDEs). This paper is focused on a nonlinear Schrödinger equation posed in a semi-infinite strip. We apply semigroup theory used to prove that there exists a unique strong local solution. The PDE method employed here is a different approach to studying the NLS via inverse scattering transformation. There is some further research that could be done in this area, such as well-posedness of the system, existence of a global solution, and decay estimates and numerical simulation. We will continue our research and report any progress.
This research was supported by the William R. Kenan Jr. Professorship, the Brachman Hoffman Small Grant and a Wellesley College Faculty Award.
The author declares no conflicts of interest regarding the publication of this paper.
Bu, C. (2022) A Dirichlet Inhomogenous Boundary Value Problem for 1D Nonlinear Schrödinger Equation. Journal of Applied Mathematics and Physics, 10, 656-660. https://doi.org/10.4236/jamp.2022.103047