Moving boundary i.b.v.p.s for Schrödinger equations: Solution bounds and related results

The paper is concerned with i.b.v.p.s for Schrödinger equations, linear and nonlinear, in a straight line region with prescribed, moving boundaries, upon which (time-dependent) Dirichlet conditions are specified. Bounds, in terms of data, are obtained for the L₂ norm of the spatial derivative of the solutions, or for a measure related thereto: in the context of expanding boundaries, pointwise bounds for the solution may be inferred both in the linear case and in some nonlinear cases (e.g. the defocusing case). Asymptotic properties of the bounds for the aforementioned norm are discussed in the linear case. The methodology of the paper is based on a particular compact formula for the aforementioned norm of an arbitrary, complex-valued function whose values are assigned, as functions of time, on the assigned, moving boundaries of a straight line region. The application of the methodology to i.b.v.p.s for other p.d.e.s is discussed briefly.