Abstract
We consider the inhomogeneous Dirichlet-boundary value problem for nonlinear Schrödinger equations with a power nonlinearity in general space dimension \(n\ge 3\). We present some results on global existence in time and uniquness of small solutions to integral equations associated to the original problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the initial-boundary value problem for the nonlinear Schrödinger equations on the upper half-space with a power nonlinearity
where, \(1+\frac{4}{n+2}<p<1+\frac{4}{n-2},n\ge 3,\) \({\mathbb {R}}_{+}^{n}= {\mathbb {R}}^{n-1}\times {\mathbb {R}}_{+},\) \({\mathbb {R}}_{+}=\left( 0,\infty \right) ,\) \(x=(x_{1},\ldots ,x_{n}),\) \(x^{\prime }=(x_{1},\ldots ,x_{n-1}),\lambda \in {\mathbb {C}}.\) The main purpose of this paper is to show asymptotic behavior in time of small solutions to the integral equation associated with (1.1) which is defined by
where
\(U_{D}(t)=U_{nD}(t){\widetilde{U}}(t)\) with
and \(c_{n}=\left( 2i\pi \right) ^{-n/2}.\) The integral representation (1.2) was obtained in [17] and we find that z is the solution of
There are a lot of works for the homogeneous Dirichlet boundary value problem
where \(\Omega \) is a bounded or an unbounded domain on \({\mathbb {R}}^{n}\) and \( \partial \Omega \) is a boundary of \(\Omega \). The cases of smooth non trapping compact boundaries \(\partial \Omega \) were considered in [11,12,13,14, 33]. In [5, 29, 30], the cases of two space dimensions and \(\partial \Omega \) is a smooth boundary of \( \Omega \) were studied.
In [32], the authors considered the inhomogeneous Dirichlet problem \(u\left( t,x^{\prime }\right) =h\left( t,x^{\prime }\right) ,t>0,\) \( x^{\prime }\in \partial \Omega ,\) and proved an existence of global solutions (without uniqueness) in the energy space \(H^{1}\left( \Omega \right) \) when \(\Omega \) is a smooth boundary with compact support and the data satisfy the compatibility conditions \(u_{0}\left( x^{\prime }\right) =h\left( 0,x^{\prime }\right) ,\) \(x^{\prime }\in \partial \Omega .\)This solution was obtained as the limit of a sequence of solutions of the approximate problems for which an energy method provides suitable a -priori estimates of solutions.
Also there are many works devoted to the study of one-dimensional initial-boundary value problems with inhomogeneous boundary conditions. One of them can be seen in [16], in which a general approach was proposed to study the well-posedness and qualitative properties of solutions of pseudodifferential nonlinear equations on a half-line by using Laplace transform and contraction mapping principle. One-dimensional nonlinear Schrödinger equations on a half-line with inhomogeneous Dirichlet condition
were studied in [4, 19]. In [19], it was shown that if the data
then (1.5) has a solution \(u\in C\left( \left[ 0,T\right] ;H^{s}( {\mathbb {R}}_{+})\right) \) when \(\left( s,p\right) \in \left( \frac{1}{2}, \frac{3}{2}\right) \times \left[ 2,\infty \right) \) with a compatibility condition \(u_{0}\left( 0\right) =h\left( 0\right) \) or \(\left( s,p\right) \in \left( 0,\frac{1}{2}\right) \times \left[ 2,\frac{5-2s}{1-2s}\right) .\) Moreover when \(\left( s,p\right) \in \left( \frac{1}{2},\frac{3}{2}\right) \times \left[ 2,\infty \right) ,\) the solution is unique, where fractional derivatives in time and space are defined by Fourier transform and the extended operators. This result was improved in [4] for the uniqueness of solutions when \(0<s<\frac{1}{2}\) by using the Strichartz estimates. Also global well-posedness was established in \(H^{1}({\mathbb {R}} _{+})\) for the defocusing case \(\lambda <0,\) if the initial data \(\left( u_{0},h\right) \in H^{1}({\mathbb {R}}_{+})\times H^{\frac{3}{4}}({\mathbb {R}} _{+})\) and \(p\in \left[ 2,\infty \right) \) by using a-priori estimates of solutions in \(H^{1}({\mathbb {R}}_{+})\) through the energy method. In paper [9], well-posedness for the cubic nonlinear Schrödinger equation (CNLS) on the half-line with data \((u_{0},h)\in H^{s}({\mathbb {R}}_{+})\times H^{\frac{2s+1}{4}}(0,T)\), \(s>\frac{1}{2}\) was established via the formula obtained through the unified transform method and a contraction mapping approach. This unified transform method also provides an approach for obtaining the large time asymptotics of solutions to CNLS equation for certain particular boundary conditions called linearizable (see [10] ). Another method for analyzing one dimensional initial-boundary value problems, based on the Riemann–Hilbert approach, was introduced in [20]. By this method, in [21], it was shown that long range scattering occurs in CNLS equation. The advantage of Riemann–Hilbert approach is that it can be applied to non-integrable equations with general inhomogeneous boundary data, but some technical problems have to be overcame (see [22, 24,25,26]). There are some papers discussing the inhomogeneous initial boundary value problem for multidimensional nonlinear Schrödinger equations. Among them, we refer [1, 2, 27, 28, 31]. These papers are devoted to study fundamental questions of local existence and uniqueness of solutions in Sobolev space \(H^{s},s>0,\) by applying classical tools such as Strichartz and energy estimates. The global well-posedness was also discussed in \(H^{1}\) space. The main idea of the proof for the local well-posedness was to derive a boundary integral operator for the corresponding inhomogeneous boundary condition and show the Strichartz estimates for this operator.
We now introduce some results concerning behavior of solutions for large time which is of interest in the present paper. Uniform decay rates for the energy of weakly damped defocusing semilinear Schrödinger equations with inhomogeneous Dirichlet boundary control were studied in [28]. It was shown that the decay rate of the solutions up to an exponential one holds and some regularity and stabilization properties were obtained for the strong solutions. The proof was based on the direct multiplier method combined with monotonicity and compactness techniques. In [23], asymptotic behavior of solutions of inhomogeneous Dirichlet initial-boundary value problem for nonlinear Schrödinger equations on the upper-right quarter plane was studied by using the method based on the Riemann–Hilbert approach and theory of the Cauchy type integral equations. In [8], inhomogeneous Dirichlet-boundary value problem in the half line has been considered and sufficient conditions which show asymptotic behavior of solutions have been presented. In the previous papers [7, 18] we showed that the operator \(J_{x_{n}}=x_{n}+it\partial _{x_{n}}\) works well to inhomogeneous cases in one or two space dimensions. In these papers , we studied (1.1) with a critical power nonlinearity on the upper half-line by introducing the auxiliary function. We showed the optimal time decay estimates of solutions in \(L^{\infty }\) space. In [3], global existence in the time of small solutions for (1.1) was shown. Also a-priori estimate of solutions u such that
was obtained when
and
is small enough, where the fractional derivatives in space and time are defined by
and
Therefore we are interested in the range of p such that \(p<1+\frac{n}{4}.\)
In papers, [7, 18, 22] we studied inhomogeneous Neumann boundary value problem with a critical power nonlinearity \(p=1+\frac{2}{n}\) on \({\mathbb {R}}_{+}^{n}\) for \( n=1,2\). In [13, 25, 26], inhomogeneous Dirichlet boundary value problem (1.1) was considered when \(n=1,2\). In these papers sufficient conditions to show asymptotic behavior of solutions and the optimal time decay estimates of solutions in \(L^{\infty }\) space were presented.
As far as we know, there are no results of time decay of solutions to (1.1) in general space dimensions \(n\ge 3\). We are interested in higher space dimensions.
2 Notations and main result
We define weighted Sobolev space
usual Sobolev space of order m
where \({\mathbb {D}}={\mathbb {R}}_{+}^{n}\) or \({\mathbb {R}}^{n-1},\partial ^{\alpha }=\partial _{x_{1}}^{\alpha _{1}}\cdot \cdot \partial _{x_{n}}^{\alpha _{n}}\) . For simplicity, we write \(H^{m}\left( {\mathbb {D}}\right) =H^{m,0}\left( {\mathbb {D}}\right) .\) For time derivatives, we denote
where X is a Banach space and \(1\le p\le \infty .\) We call a pair of exponents (q, r) an admissible pair for Strichartz estimates if
To state our main result, we introduce the function space
where
In what follows, we write \(L^{q}L^{r}=L^{q}\left( {\mathbb {R}}_{+};L^{r}\left( {\mathbb {R}}_{+}^{n}\right) \right) ,\) \(L^{q}W^{1,r}=L^{q}\left( {\mathbb {R}} _{+};W^{1,r}\left( {\mathbb {R}}_{+}^{n}\right) \right) \) for simplicity. For the conditions of boundary data, we prepare the function space
with \(\gamma \ge 1\). We also define some notations :
We now state the main result in this paper.
Theorem 2.1
We assume that
with
and the compatibility condition \(h\left( 0,x^{\prime }\right) =u_{0}\left( x^{\prime },0\right) \) holds. Furthermore we assume that \(h\left( t\right) \in C^{1}\left( {\mathbb {R}}^{n-1}\right) \) and
for all \(\left( t,x^{\prime }\right) \in {\mathbb {R}}_{+}\times {\mathbb {R}} ^{n-1}\) if \(p<2\). Then there exist \(\rho ,\varepsilon >0\) such that the integral equation (1.2) has a unique global solution \(u\in X_{q,r}\) where \(\left( q,r\right) \) is an admissible pair of the Strichartz estimate such that
Moreover time decay estimates of solutions
are valid for \(2\le \sigma \le 2+\frac{4}{n-2}.\)
2.1 Comments of Theorem 2.1
We define
Then
is the integral equation of the Cauchy problem
In [6], it was shown that (2.2) has a unique global solution u with the time decay
if the data are small in \(H^{1}\left( {\mathbb {R}}^{n}\right) \cap H^{0,1}\left( {\mathbb {R}}^{n}\right) \) and
where \(2\le \sigma \le 2+\frac{4}{n-2}.\) Therefore our result is considered as an extension of the result of the Cauchy problem in [6] to the inhomogeneous boundary value problem.
In the previous paper [15], we considered the integral equation of multi-dimensional inhomogeneous Neumann boundary value problem
which is represented as
where \(U_{N}\left( t\right) =U_{nN}\left( t\right) {\widetilde{U}}\left( t\right) \) with
and
In [15], we apply the operator \( J_{x_{n}}=J_{x_{n}}\left( t\right) \) to both sides of (2.4) and use the commutation relation
Then by using the Strichartz estimates, we get the desired results. However in the Dirichlet case we do not have
if we do not assume \(\phi \left( \tau ,x^{\prime },0\right) =0.\) Indeed, we have the commutation relation
The identity is obtained by a direct calculation
since
Hence we have
It seems that it is difficult to control the second term of the right hand side of (2.6).
In order to prove the desired a-priori estimates, we make use of a different integral representation of solutions compared with (1.2) which will be shown in Lemma 3.1 below. In order to avoid the commutation relation between \(J_{x_{n}}\left( t\right) \) and \(U_{D}\left( t\right) \), we use a new integral form and prove a-priori estimate of
directly. More precisely, we use the equation of \(I\phi =\int _{0}^{t}U_{D}\left( t-\tau \right) \phi \left( \tau ,x\right) d\tau \) which is written as
and the commutation relation between \(J_{x_{n}}\left( t\right) \) and \( i\partial _{t}+\frac{1}{2}\Delta \) to get the desired estimates.
We organize our paper as follows. In Sect. 2, we state notations used in this paper and main result. In Sect. 3 we present the integral equation of the different form of the original problem and give some estimates of
and
which are used in the integral representation. We also state Strichartz estimates and Sobolev inequality. In Sect. 4 we prove our main result.
3 Preliminaries
In order to prove our result, we translate (1.2) into another representation.
Lemma 3.1
Let u be the solution of (1.2). Then we have
Proof
We have by a direct calculation
Denote \(U_{D}\left( t\right) =U_{nD}{\widetilde{U}}\left( t\right) \), then
Hence,
We put
By a direct calculation we obtain
Therefore
From (3.2) and (3.4) it follows that
We substitute this identity to the formula (1.2) to get (3.1). This completes the proof of the lemma. \(\square \)
In what follows, we consider the integral equation of (3.1). We note that
and
Therefore from the commutation relation (2.6)
We state the Strichartz estimates.
Lemma 3.2
Assume that
Then
where \(U\left( t\right) =U_{N}\left( t\right) \) or \(U\left( t\right) =U_{D}\left( t\right) \). Furthermore if \({\widetilde{q}},{\widetilde{r}}\) satisfy the same restriction as q, r and \({\widetilde{q}}^{\prime }, {\widetilde{r}}^{\prime }\) are their dual exponents:
and
then the estimate
is valid.
We apply Lemma 3.2 to (3.5) to get
where
and \(\left( q,r\right) ,\) \(\left( q^{\prime },r^{\prime }\right) \) are an admissible pair of the Strichartz estimate and its dual respectively. Similarly we obtain
We put
and consider the estimates of the last terms of the right hand sides of (3.7) and (3.9). We now prove
Lemma 3.3
We assume
where \(\eta >1.\) Then the following estimates
and
for \(1\le j\le n-1\) are valid.
Proof
By a direct calculation we have
and as a result
By a simple calculation we obtain
Hence, via (3.12)
from which it follows that
This completes of the proof of the first estimate. Analogously the last one is estimated by the identity
This completes the proof of the lemma. \(\square \)
We also need the following lemma.
Lemma 3.4
Let
where \(\gamma >3\). Then the following estimates
and
are valid.
Proof
From the energy estimate we obtain
We consider the second terms of left hand sides of (3.13). By (2.5)
Via (3.14), the commutation relation
and the identity
we obtain
As a consequence,
from which it follows that
Hence we obtain
By using the identity
we obtain
Hence it follows
The last term of the right hand side of the above is represented as
Therefore
from which we get
where \(\gamma _{0}=\min \left\{ \left( \gamma -2-3/2\right) ,1/2\right\} .\) By (3.16) and (3.17)
where \(\gamma _{1}=\left( \gamma -2\right) +\min \left\{ \left( \gamma -2-3/4\right) ,1/2\right\} .\) We apply the estimate to (3.13) to find that
We now prove \(\left\| J_{x_{n}}^{2}I\phi \left( 0\right) \right\| _{L^{2}\left( {\mathbb {R}}_{+}^{n}\right) }=0.\) Indeed, from (3.15)
and by integration by parts
Hence it follows \(\left\| J_{x_{n}}^{2}I\phi \left( 0\right) \right\| _{L^{2}\left( {\mathbb {R}}_{+}^{n}\right) }=0\) and as a consequence we have the first estimate of the lemma by (3.18). The second one is obtained in the same way and so, we omit it. This completes the proof of the lemma. \(\square \)
Now we prove some useful estimates.
Lemma 3.5
Let
\(\gamma >3,\) then the following estimates
and
for \(1\le j\le n-1\) are valid.
Proof
From the energy estimate we obtain
By the direct calculations we have
Therefore from (3.14) with g replaced by \(J_{x_{j}}\phi \) it follows
Hence,
\(\gamma _{2}=\left( \gamma -9/4\right) +\min \left\{ \gamma -11/4,1/2\right\} .\) We apply the estimate to (3.19) to get
from which we get the first result. The second estimate is obtained similarly, and so we omit it. This completes the proof of the lemma. \(\square \)
Denote
We have the following result by Lemmas 3.3–3.5.
Lemma 3.6
We assume that
where \(\gamma >3\). Then
By Lemma 3.6 we have
Lemma 3.7
Let \(\phi _{1}\left( t\right) =\left( \partial _{t}+\frac{1 }{2}{\widetilde{\Delta }}+\frac{1}{2}\right) h\left( t\right) \) and
where \(\gamma >3\). Then the following estimate
holds.
Also using Lemma 3.6 we have the following result.
Lemma 3.8
Let \(\phi _{2}\left( t\right) =\left| h\right| ^{p-1}h\left( t\right) ,p>1\) and
where \(\gamma >3\). Furthermore we assume that \(h\left( t\right) \in C^{1}\left( {\mathbb {R}}^{n-1}\right) \)
for any \(\left( t,x^{\prime }\right) \in {\mathbb {R}}_{+}\times {\mathbb {R}} ^{n-1}\). Then the following estimate
holds.
Proof
By Lemma 3.6
Since
it is enough to consider
If \(p\ge 2,\) we have by Sobolev
For \(p<2\)
Then by the assumption \(\left| \partial _{x_{j}}h\left( t,x^{\prime }\right) \right| \le C\left| h\left( t,x^{\prime }\right) \right| ,\) we find
Therefore it follows that
The lemma is proved. \(\square \)
Now we state the Sobolev inequality on the domain \({\mathbb {R}}_{+}^{n}.\)
Lemma 3.9
Assume that g is extended to \({\mathbb {R}}_{+}^{n}\) as an even or odd function with respected to \(x_{n}\) smoothly and
Then the following estimates
and
are valid, provided that the right hand sides are finite.
Now we prove
Lemma 3.10
Let h and \(\left( q,r\right) \) satisfy the conditions on Theorem 2.1. Then the following estimates
and
hold.
Proof
It is clear that by Lemma 3.7 and Lemma 3.8
Since \(J_{x_{n}}I\phi \) can be extended to whole space as an even function with respect to \(x_{n}\), by Lemma 3.9,
and similarly,
Therefore we have the desired estimates. The lemma is proved. \(\square \)
4 Proof of Theorem 2.1
We define
endowed with a norm
where \(\left( q,r\right) \) satisfies the condition of Theorem 2.1. Via Lemma 3.1 the solution of (1.1) can be rewritten in the following form
where \(U_{D}\left( t\right) =U_{nD}\left( t\right) {\widetilde{U}}\left( t\right) \) and
Let us consider the linearized equation of (4.1) such that
where \(\left\| v\right\| _{X_{q,r}}\le \sqrt{\varepsilon }.\) If \(\left. \phi \right| _{x_{n=0}}=0,\) then we have by a direct calculation
We find that
for \(1\le j\le n-1.\) We apply the operator \(J_{x_{n}}\) to both sides of ( 4.2) to get
By Lemma 3.2,
and by Lemma 3.10,
We also have
Let us consider the right hand side of (4.4). We have by the Hölder inequality
where
By Lemma 3.9 we find that for \({\widetilde{v}}=v-e^{-x_{n}}h\left( t,x^{\prime }\right) \)
for \(2\le \sigma \le 2+\frac{4}{n-2},\) since \({\widetilde{v}}\left( t,x^{\prime },0\right) =v\left( t,x^{\prime },0\right) -h\left( t,x^{\prime }\right) =0\) by the boundary condition and so \({\widetilde{v}}\) can be extended to an odd function with respect to \(x_{n}\). Hence,
which implies
with
From (4.8) and (4.9) it follows
We also have
By (4.3)-(4.7), (4.11), (4.12)
Similarly, we obtain
We apply the operator \(J_{x_{j}},1\le j\le n-1\) to both sides of (4.2) and get
where
In the same way as in the proofs of (4.11) and (4.12), by (4.15) we have
for \(1\le j\le n-1\). Similarly,
By (4.13), (4.14), (4.16), (4.17)
since \(Z_{\gamma }=E_{4}\cap E_{5}\) with \(\gamma >3.\) We put \(\ u_{1}=Mv_{1}, \) \(u_{2}=Mv_{2},\) where \(\left\| v_{j}\right\| _{X}\le \sqrt{ \varepsilon },j=1,2\), then we have
In the same way as in the proof of (4.17) we get
Therefore (4.18) and (4.19) say that there exist \(\varepsilon ,\rho >0\) such that M is a contraction mapping from \(X_{q,r,\sqrt{ \varepsilon }}=\left\{ v;\left\| v\right\| _{X_{q,r}}\le \sqrt{\varepsilon } \right\} \) into itself. From 3.9 there exist time decay estimates of solutions such that
where \(2\le \sigma \le 2+\frac{4}{n-1}.\) This completes the proof of Theorem 2.1.
Data availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
Audiard, C.: On the non-homogeneous boundary value problem for Schödingier equations. Discrete Contin. Dyn. Syst. 33, 3861–3884 (2013)
Audiard, C.: On the boundary value problem for the Schrödinger equation: compatibility conditions and global existence. Anal. PDE 8, 1113–1143 (2015)
Audiard, C.: Global Strichartz estimates for the Schrödinger equation with non zero boundary conditions and applications. Ann. Inst. Fourier (Grenoble) 69(1), 31–80 (2019)
Bona, J.L., Sun, S.-M., Zhang, B.-Y.: Nonhomogeneous boundary-value problems for one dimensional nonlinear Schrödinger equations. J. Math. Pures Appl. 9(109), 1–66 (2018)
Brezis, H., Gallouet, T.: Nonlinear Schrödinger evolution equation. Nonlinear Anal. 4, 677–681 (1980)
Cazenave, T., Weissler, F.B.: Rapidly decaying solutions of the nonlinear Schrodinger equation. Commun. Math. Phys. 147, 75–100 (1992)
Esquivel, L., Hayashi, N., Kaikina, E.I.: Inhomogeneous Neumann-boundary value problem for one dimensional nonlinear Schrödinger equations via factorization techniques. J. Math. Phys. 60 091507(9), 29 pp (2019)
Esquivel, L., Hayashi, N., Kaikina, E.: Inhomogeneous Dirichlet-boundary value problem for one dimensional nonlinear Schrödinger equations via factorization techniques. J. Differ. Equ. 266(2–3), 1121–1152 (2019)
Fokas, A.S., Himonas, A., Mantzavinos, D.: The nonlinear Schrödinger equation on the half-line. Trans. Am. Math. Soc. 369(1), 681–709 (2017)
Fokas, A.S., Lenells, J.: An integrable generalization of the nonlinear Schrödinger equation on the half-line and solitons. Inverse Probl. 25(11), 115006 (2009)
Hayashi, N.: Time decay of solutions to the Schrödinger equation in exterior domains. I. Ann. Inst. Henri. Poincaré, Physique Théorique 50, 71–81 (1989)
Hayashi, N.: Time decay of solutions to the Schrödinger equation in exterior domains. II. Ann. Inst. Henri. Poincaré Physique Théorique 50, 83–93 (1989)
Hayashi, N.: Smoothing effect for nonlinear Schrödinger equations in exterior domains. J. Funct. Anal. 89, 444–458 (1990)
Hayashi, N.: Global existence of small radially symmetric solutions to quadratic nonlinear evolution equations in an exterior domain. Math. Z. 215, 381–419 (1994)
Hayashi, N., Kaikina, E., Ogawa, T.: Inhomogeneous Neumann boundary value problem for nonlinear Schrödinger equations in the upper half-space. To appear in Differential Integral Equations (2021)
Hayashi, N., Kaikina, E.: Nonlinear Theory of Pseudodifferential Equations on a Half-line, North-Holland Mathematics Studies, vol. 194, p. 319. Elsevier Science B.V., Amsterdam (2004)
Hayashi, N., Kaikina, E.: Inhomogeneous Dirichlet-boundary value problem for nonlinear Schrödinger equations with a power nonlinearity on the upper half-plane. Nonlinear Anal. 187, 279–306 (2019)
Hayashi, N., Kaikina, E.: Neumann inhomogeneous initial-boundary value problem for the 2D nonlinear Schrödinger equation. Nonlinear Differ. Equ. Appl. 27(2), 32 pp (2020). https://doi.org/10.1007/s00030-019-0605-3
Holmer, J.: The initial-boundary-value problem for the 1D nonlinear Schrödinger equation on the half-line. Differ. Integral Equ. 18(6), 647–668 (2005)
Kaikina, E.: A new unified approach to study fractional PDE equations on a half-line. Complex Var. Elliptic Equ. 58(1), 55–77 (2013)
Kaikina, E.: Asymptotics for inhomogeneous Dirichlet initial-boundary value problem for the nonlinear Schrödinger equation. J. Math. Phys. 54(11), 111504 (2013)
Kaikina, E.: Inhomogeneous Neumann initial boundary value problem for the nonlinear Schrödinger equation. J. Differ. Equ. 255, 3338–3356 (2013)
Kaikina, E.: Inhomogeneous initial-boundary value problem for the \(2D\) nonlinear Schrödinger equation. J. Math. Phys. 59(6), 061506 (2018)
Ivan Naumkin, P.: Cubic nonlinear Dirac equation in a quarter plane. J. Math. Anal. Appl. 434(2), 1633–1664 (2016)
Naumkin, P.I.: Klein-Gordon equation with critical nonlinearity and inhomogeneous Dirichlet boundary conditions. Differ. Integral Equ. 29(1–2), 55–92 (2016)
Naumkin, P.I.: Initial-boundary value problem for the one dimensional Thirring model. J. Differ. Equ. 261(8), 4486–4523 (2016)
Özsarı, T.: Well-posedness for nonlinear Schr ödinger equations with boundary forces in low dimensions by Strichartz estimates. J. Math. Anal. Appl. 424(1), 487–508 (2015)
Özsarı, T., Kalantarov, K.V., Lasiecka, I.: Uniform decay rates for the energy of weakly damped defocusing semilinear Schrödinger equations with inhomogeneous Dirichlet boundary control. J. Differ. Equ. 251(7), 1841–1863 (2011)
Ogawa, T.: A proof of Trudinger’s inequality and its application to nonlinear Schrödinger equations. Nonlinear Anal. 14(9), 765–769 (1990)
Ogawa, T., Ozawa, T.: Trudinger type inequalities and uniqueness of weak solutions for the nonlinear Schrödinger mixed problem. J. Math. Anal. Appl. 155(2), 531–540 (1991)
Ran, Y., Sun, S.-S., Zhang, B.-Y.: Nonhomogeneous boundary value problems of nonlinear Schrödinger equations in a half plane. SIAM J. Math. Anal. 50(3), 2773–2806 (2018)
Strauss, W., Bu, C.: An inhomogeneous boundary value problem for nonlinear Schrödinger equations. J. Differ. Equ. 173, 79–91 (2001)
Tsutsumi, Y.: Global solutions of the nonlinear Schrödinger equations in exterior domains. Commun. Partial Differ. Equ. 8, 1337–1374 (1983)
Acknowledgements
We would like to thank referees for useful comments. The work of NH is partially supported by JSPS KAKENHI Grant numbers JP20K03680, JP19H05597. The work of EIK is partially supported by CONACYT 252053-F . The work of TO is partially supported by JSPS KAKENHI Grant number JP19H05597.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is part of the section “Theory of PDEs” edited by Eduardo Teixeira.
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
Hayashi, N., Kaikina, E.I. & Ogawa, T. Inhomogeneous Dirichlet boundary value problem for nonlinear Schrödinger equations in the upper half-space. Partial Differ. Equ. Appl. 2, 69 (2021). https://doi.org/10.1007/s42985-021-00120-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42985-021-00120-9
Keywords
- Nonlinear Schrödinger equation
- Large time asymptotics
- Inhomogeneous Dirichlet-boundary value problem
- Upper half-line