Quantitative observability for one-dimensional Schrödinger equations with potentials

Pei Su,Chenmin Sun,Xu Yuan
2023-09-02
Abstract:In this note, we prove the quantitative observability with an explicit control cost for the 1D Schrödinger equation over $\mathbb{R}$ with real-valued, bounded continuous potential on thick sets. Our proof relies on different techniques for low-frequency and high-frequency estimates. In particular, we extend the large time observability result for the 1D free Schrodinger equation in Theorem 1.1 of Huang-Wang-Wang [20] to any short time. As another byproduct, we extend the spectral inequality of Lebeau-Moyano [27] for real-analytic potentials to bounded continuous potentials in the one-dimensional case.
Analysis of PDEs,Optimization and Control
What problem does this paper attempt to address?
### Problems the paper attempts to solve This paper mainly studies the quantitative observability problem of the one - dimensional Schrödinger equation on coarse sets in the case of a real - valued, bounded continuous potential function. Specifically, the authors aim to prove for the one - dimensional Schrödinger equation in the following form: \[ i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t = 0} = u_0\in L^2(\mathbb{R}) \] where the potential function \( V(x) \) is a real - valued, continuous and bounded function. They are concerned with whether the solutions of such equations can be concentrated on certain subsets, and this concentration property can be quantified by the following inequality: \[ \|u_0\|^2_{L^2(\mathbb{R})}\leq C(T, V, \Omega)\int_0^T\|u(t)\|^2_{L^2(\Omega)}dt \] Here, \( \Omega\subset\mathbb{R} \) is a measurable subset. ### Main contributions 1. **Short - time observability**: The authors extend the large - time observability results for the free Schrödinger equation (i.e., the case where \( V = 0 \)) in Huang - Wang - Wang [20] to any short time \( T>0 \). 2. **Generalization of spectral inequalities**: The spectral inequality of Lebeau - Moyano [27] for analytic potential functions is generalized to general bounded continuous potential functions in the one - dimensional case. 3. **Explicit estimate of control cost**: By introducing the thick set condition, the authors give an explicit estimate of the control cost, which provides a theoretical basis for practical applications. ### Specific problem solutions - **Definition of observability**: Observability refers to whether the state of a system can be completely determined by the information in a partial region. In this problem, it is specifically manifested as whether the initial state \( u_0 \) of the Schrödinger equation can be uniquely determined by its observational data on a subset \( \Omega \). - **Role of the thickness condition**: To ensure the observability holds, the authors introduce the thickness condition. If the control region \( \Omega \) satisfies a certain thickness condition, the observability inequality can be guaranteed to hold. For example, for an \((L,\zeta)\)-thick set \( \Omega \), it satisfies: \[ |\Omega\cap[x,x + L]|\geq\zeta L,\quad\forall x\in\mathbb{R} \] - **Low - and high - frequency estimates**: The authors make detailed estimates of the low - and high - frequency parts respectively, and combine the two by the gluing technique, thus obtaining a complete observability estimate. In summary, this paper solves the problem of how to use the observational data on coarse sets to achieve the controllability and observability of the system in the one - dimensional Schrödinger equation in the case of a bounded continuous potential function.