TY - JOUR
T1 - Regularity in time of solutions to nonlinear schrödinger equations
AU - Hayashi, Nakao
AU - Kato, Keiichi
PY - 1995/3
Y1 - 1995/3
N2 - In this paper we consider the regularity of solutions to nonlinear Schrödinger equations (NLS), i ∂tu + 1 2 Δu = F(u, u), (t, x) ∈ R × Rn, u(0) = φ, x ∈ Rn, where F is a polynomial of degree p with complex coefficients. We prove that if the initial function φ is in some Gevrey class, then there exists a positive constant T such that the solution u of NLS is in the Gevrey class of the same order as in the initial data in time variable t ∈[-T, T]0. In particilar, we show that if the initial function φ has an analytic continuation on the complex domain Γ A1, A2 = (z ∈ Cn; zj=xj+iyj, -∞ < xj < + ∞, -A2-(tan α) |xj| j < A2 + (tan α) |xj| j = 1, 2., n, A2 > 0) (see Fig. 1), where 0 < α = sin-1A1 < π/2 and 0 < A1 < 1, then there exists positive constants T and β such that the solution u of NLS is analytic in time variable t ∈ [-T, T]0 and has an analytic continuation on (z0 = t + iτ; |arg z0| < β <π/2, |t|<T) where sin β < Min (√2A1/(1 + √2A1), 2A2/(3A2 + [formula](1 + R))) when |x| < R.
AB - In this paper we consider the regularity of solutions to nonlinear Schrödinger equations (NLS), i ∂tu + 1 2 Δu = F(u, u), (t, x) ∈ R × Rn, u(0) = φ, x ∈ Rn, where F is a polynomial of degree p with complex coefficients. We prove that if the initial function φ is in some Gevrey class, then there exists a positive constant T such that the solution u of NLS is in the Gevrey class of the same order as in the initial data in time variable t ∈[-T, T]0. In particilar, we show that if the initial function φ has an analytic continuation on the complex domain Γ A1, A2 = (z ∈ Cn; zj=xj+iyj, -∞ < xj < + ∞, -A2-(tan α) |xj| j < A2 + (tan α) |xj| j = 1, 2., n, A2 > 0) (see Fig. 1), where 0 < α = sin-1A1 < π/2 and 0 < A1 < 1, then there exists positive constants T and β such that the solution u of NLS is analytic in time variable t ∈ [-T, T]0 and has an analytic continuation on (z0 = t + iτ; |arg z0| < β <π/2, |t|<T) where sin β < Min (√2A1/(1 + √2A1), 2A2/(3A2 + [formula](1 + R))) when |x| < R.
UR - http://www.scopus.com/inward/record.url?scp=0000688654&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0000688654&partnerID=8YFLogxK
U2 - 10.1006/jfan.1995.1031
DO - 10.1006/jfan.1995.1031
M3 - Article
AN - SCOPUS:0000688654
SN - 0022-1236
VL - 128
SP - 253
EP - 277
JO - Journal of Functional Analysis
JF - Journal of Functional Analysis
IS - 2
ER -