Pointwise estimates for the fundamental solutions of higher order Schrödinger equations in odd dimensions II: high dimensional case

Han Cheng,Shanlin Huang,Tianxiao Huang,Quan Zheng
2024-10-05
Abstract:In this paper, for any odd $n$ and any integer $m\geq1$ with $n>4m$, we study the fundamental solution of the higher order Schrödinger equation \begin{equation*} \mathrm{i}\partial_tu(x,t)=((-\Delta)^m+V(x))u(x,t),\quad t\in \mathbb{R},\,\,x\in \mathbb{R}^n, \end{equation*} where $V$ is a real-valued $C^{\frac{n+1}{2}-2m}$ potential with certain decay. Let $P_{ac}(H)$ denote the projection onto the absolutely continuous spectrum space of $H=(-\Delta)^m+V$, and assume that $H$ has no positive embedded eigenvalue. Our main result says that $e^{-\mathrm{i}tH}P_{ac}(H)$ has integral kernel $K(t,x,y)$ satisfying \begin{equation*} |K(t, x,y)|\le C(1+|t|)^{-(\frac{n}{2m}-\sigma)}(1+|t|^{-\frac{n}{2 m}})\left(1+|t|^{-\frac{1}{2 m}}|x-y|\right)^{-\frac{n(m-1)}{2 m-1}},\quad t\neq0,\,x,y\in\mathbb{R}^n, \end{equation*} where $\sigma=2$ if $0$ is an eigenvalue of $H$, and $\sigma=0$ otherwise. A similar result for smoothing operators $H^\frac{\alpha}{2m}e^{-\mathrm{i}tH}P_{ac}(H)$ is also given. The regularity condition $V\in C^{\frac{n+1}{2}-2m}$ is optimal in the second order case, and it also seems optimal when $m>1$.
Analysis of PDEs
What problem does this paper attempt to address?
### What problem does the paper attempt to solve? The paper primarily investigates the pointwise estimates of the fundamental solution for higher-order Schrödinger equations in odd dimensions \( n > 4m \). Specifically, the paper considers the following form of the higher-order Schrödinger equation: \[ i\partial_t u(x,t) = ((-\Delta)^m + V(x))u(x,t), \quad t \in \mathbb{R}, \quad x \in \mathbb{R}^n, \] where \( m \) is a positive integer, and \( V(x) \) is a real-valued decaying potential function. #### Main Results The author proves that under certain conditions on the potential function \( V \), the operator \( e^{-itH} P_{\text{ac}}(H) \) (where \( H = (-\Delta)^m + V \)) has an integral kernel \( K(t,x,y) \), and this kernel satisfies the following estimates: 1. If zero energy is regular (i.e., 0 is not an eigenvalue of \( H \)), then: \[ |K(t,x,y)| \leq C|t|^{-\frac{n}{2m}} \left(1 + |t|^{-\frac{1}{2m}}|x-y|\right)^{-\frac{n(m-1)}{2m-1}}, \quad t \neq 0, \quad x, y \in \mathbb{R}^n. \] 2. If zero energy is an eigenvalue, then: \[ |K(t,x,y)| \leq C(1+|t|)^{-\left(\frac{n}{2m}-2\right)}(1+|t|^{-\frac{n}{2m}}) \left(1 + |t|^{-\frac{1}{2m}}|x-y|\right)^{-\frac{n(m-1)}{2m-1}}, \quad t \neq 0, \quad x, y \in \mathbb{R}^n. \] #### Technical Challenges The paper mentions that in higher dimensions, the low-energy part is relatively easier to handle, while the high-energy part becomes very complex. To obtain these estimates, the author needs to utilize the regularity of \( V \) and employs refined integration by parts techniques to handle the intricate singularities. Through the above results, the paper provides fundamental solution estimates for higher-order Schrödinger equations in higher dimensions, which is significant for understanding and analyzing the dispersive properties of such equations.