Reducibility of 1-D quantum harmonic oscillator with new unbounded oscillatory perturbations

Jin Xu,Jiawen Luo,Zhiqiang Wang,Zhenguo Liang

DOI: https://doi.org/10.1007/s10884-022-10173-y

2023-11-30

Abstract:Enlightened by Lemma 1.7 in \cite{LiangLuo2021}, we prove a similar lemma which is based upon oscillatory integrals and Langer's turning point theory. From it we show that the Schr{ö}dinger equation $${\rm i}\partial_t u = -\partial_x^2 u+x^2 u+\epsilon \langle x\rangle^\mu\sum_{k\in\Lambda}\left(a_k(\omega t)\sin(k|x|^\beta)+b_k(\omega t) \cos(k|x|^\beta)\right) u,\quad u=u(t,x),~x\in\mathbb{R},~ \beta>1,$$ can be reduced in $\mathcal{H}^1(\mathbb{R})$ to an autonomous system for most values of the frequency vector $\omega$, where $\Lambda\subset\mathbb R\setminus\{0\}$, $|\Lambda|<\infty$ and $\langle x\rangle:=\sqrt{1+x^2}$. The functions $a_k(\theta)$ and $b_k(\theta)$ are analytic on $\mathbb T^n_\sigma$ and $\mu\geq 0$ will be chosen according to the value of $\beta$. Comparing with \cite{LiangLuo2021}, the novelty is that the phase functions of oscillatory integral are more degenerate when $\beta>1$.

Analysis of PDEs,Mathematical Physics,Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the reducibility of one - dimensional quantum harmonic oscillators under new unbounded oscillatory perturbations. Specifically, the goal of the paper is to prove that for most frequency vectors \(\omega\), the one - dimensional Schrödinger equation with a specific form of unbounded oscillatory perturbation can be reduced to an autonomous system. This result is of great significance for understanding the behavior of quantum systems under time - dependent perturbations, especially when the form of the perturbation function is more complex and degenerate.

The form of the Schrödinger equation considered in the paper is:
\[ i\partial_t u = -\partial_x^2 u + x^2 u + \epsilon \langle x \rangle^\mu \sum_{k \in \Lambda} \left( a_k(\omega t) \sin(k|x|^\beta) + b_k(\omega t) \cos(k|x|^\beta) \right) u, \]
where \(u = u(t, x)\), \(x \in \mathbb{R}\), \(\beta > 1\), \(\langle x \rangle := \sqrt{1 + x^2}\), \(\Lambda \subset \mathbb{R} \setminus \{0\}\), and \(\lvert \Lambda \rvert < \infty\). The functions \(a_k(\theta)\) and \(b_k(\theta)\) are analytic on \(\mathbb{T}^n_\sigma\), and the value of \(\mu \geq 0\) will be chosen according to the value of \(\beta\).

The main contribution of the paper lies in introducing a new lemma, which is based on oscillatory integrals and the theory of Langer turning points, so that more complex phase functions can be dealt with, especially when \(\beta > 1\), these phase functions are more degenerate. By this method, the authors have successfully proved that in the \(H^1(\mathbb{R})\) space, for most frequency vectors \(\omega\), the above Schrödinger equation can be reduced to an autonomous system. This result not only extends previous research, but also provides a new tool for understanding and analyzing quantum systems with unbounded oscillatory perturbations.