2025-11-10T02:42:53.705347

Small-time approximate controllability of the logarithmic Schr\''dinger equation

Beauchard, Carles, Pozzoli

We consider Schr{Ã¶}dinger equations with logarithmic nonlinearity and bilinear controls, posed on $\mathbb{T}^d$ or $\mathbb{R}^d$. We prove their small-time global $L^2$-approximate controllability. The proof consists in extending to this nonlinear framework the approach introduced by the first and third authors in \cite{beauchard-pozzoli2} to control the linear equation: it combines the small-time controllability of phases and gradient flows. Due to the nonlinearity, the required estimates are more difficult to establish than in the linear case. The proof here is inspired by WKB analysis. This is the first result of (small-time) global approximate controllability, for nonlinear Schr{Ã¶}dinger equations, with bilinear controls.

academic

로그 슈뢰딩거 방정식의 소시간 근사 가제어성

기본 정보

논문 ID: 2510.14461
제목: Small-time approximate controllability of the logarithmic Schrödinger equation
저자: Karine Beauchard, Rémi Carles, Eugenio Pozzoli
분류: math.AP (수학 해석), math-ph (수학 물리), math.MP (수학 물리), math.OC (최적 제어), quant-ph (양자 물리)
발표 시간: 2025년 10월 16일 (arXiv 사전 인쇄본)
논문 링크: https://arxiv.org/abs/2510.14461

초록

본 논문은 $\mathbb{T}^d$ 또는 $\mathbb{R}^d$ 위의 로그 비선형성과 쌍선형 제어를 갖는 슈뢰딩거 방정식의 소시간 전역 $L^2$ -근사 가제어성을 증명한다. 증명 방법은 제1저자와 제3저자가 선형 경우에 도입한 방법을 비선형 프레임워크로 확장하는 것이다: 위상과 기울기 흐름의 소시간 가제어성을 결합한다. 비선형성의 존재로 인해 필요한 추정은 선형 경우보다 훨씬 더 어렵게 설정된다. 본 논문의 증명은 WKB 분석에서 영감을 받았다. 이는 쌍선형 제어를 갖는 비선형 슈뢰딩거 방정식의 첫 번째 (소시간) 전역 근사 가제어성 결과이다.

연구 배경 및 동기

문제 배경

양자 제어 이론: 쌍선형 제어의 슈뢰딩거 편미분방정식의 수학적 제어 이론은 지난 20년간 거대한 발전을 이루었으며, 그 이론적 문제는 물리학 및 화학(예: 흡수 분광학)과 컴퓨터 과학(예: 양자 컴퓨팅)에서의 양자 제어 응용에서 비롯된다.
정확 가제어성의 위상학적 장애: 선형 경우에 도달 가능 집합이 $S \cap H$ 에서 내부가 공이므로, 시스템은 정확 가제어 불가능하다. 이러한 위상학적 장애는 다항식 비선형성을 갖는 슈뢰딩거 방정식에서도 여전히 존재한다.
소시간 가제어성의 물리적 의미: 소시간 가제어성은 특별히 관련된 물리적 의미를 갖는다. 왜냐하면 양자 시스템은 한번 구성되면 감쇠 전(예: 자발적 광자 방출을 통해)에 매우 짧은 수명을 가지므로, 최단 시간 내에 이들을 제어하는 능력은 물리학에서의 개방된 과제이기 때문이다.

연구 동기

기존 한계 돌파: 기존의 선형 슈뢰딩거 방정식은 대시간 근사 가제어성을 달성할 수 있지만, 소시간 가제어성에는 장애가 있다.
비선형 장점: 로그 슈뢰딩거 방정식은 다항식 비선형성에 비해 장점을 가진다: 임의의 공간 차원의 $L^2$ 에서 직접 적정성을 가지며, 해는 초기 조건에 대해 전역적으로 립시츠 연속이다.
이론적 공백 채우기: 이는 쌍선형 제어를 갖는 비선형 슈뢰딩거 방정식의 첫 번째 소시간 전역 근사 가제어성 결과이다.

핵심 기여

비선형 슈뢰딩거 방정식의 소시간 전역 근사 가제어성의 첫 증명: 로그 비선형성과 쌍선형 제어를 갖는 시스템에 대해, 이는 해당 분야의 획기적인 결과이다.
방법론적 혁신: 선형 경우의 제어 방법을 비선형 프레임워크로 성공적으로 확장하여 위상과 기울기 흐름의 소시간 가제어성을 결합한다.
기술적 돌파: 비선형성이 야기하는 기술적 어려움을 처리하기 위해 WKB 분석에서 영감을 받은 추정 방법을 사용한다.
완전한 이론 프레임워크: 적정성 이론, 표현 공식, 위상 제어 및 흐름 제어를 포함하는 완전한 이론 체계를 수립한다.
부정적 결과: 특정 시스템이 가제어성을 갖지 않음을 증명하여 이론에 경계 조건을 제공한다.

방법론 상세 설명

작업 정의

다음 형태의 로그 슈뢰딩거 방정식을 고려한다: $\left\{ \begin{aligned} &\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi(t,x) = \lambda\psi \log|\psi|^2(t,x) + \sum_{j=1}^m u_j(t)W_j(x)\psi(t,x)\\ &\psi(0,\cdot) = \psi_0 \end{aligned} \right.$

여기서 $M$ 은 $\mathbb{R}^d$ 또는 매끄러운 연결 무경계 리만 다양체이고, $V, W_1, \ldots, W_m$ 은 실수값 포텐셜 함수이며, $u_1, \ldots, u_m$ 은 구간별 상수 제어 함수이다.

주요 시스템

논문은 두 가지 구체적인 시스템을 연구한다:

시스템 1 ( $M = \mathbb{T}^d$ ): $\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi = \lambda\psi \log|\psi|^2 + \sum_{j=1}^d (u_{2j-1}(t)\sin + u_{2j}(t)\cos)\langle b_j, x\rangle)\psi$

시스템 2 ( $M = \mathbb{R}^d$ ): $\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi = \lambda\psi \log|\psi|^2 + \left(\sum_{j=1}^d u_j(t)x_j + u_{d+1}(t)e^{-|x|^2/2}\right)\psi$

핵심 전략

증명 전략은 다음 기준에 기반한다:

소시간 근사 도달 사상 ( $L^2$ -STAR maps): 임의의 작은 시간 내에 시스템 궤적을 통해 도달할 수 있는 상태를 기술한다.
위상의 소시간 가제어성 (STC of phases): 임의의 초기 조건 $\psi_0 \in S$ 와 위상 $\varphi \in L^2(M,\mathbb{R})$ 에 대해, 임의의 작은 시간 내에 상태 $e^{i\varphi}\psi_0$ 에 근사적으로 도달할 수 있다.
흐름의 소시간 가제어성 (STC of flows): 기울기 벡터장 흐름의 가제어성

기술적 혁신점

1. Eikonal 방정식의 응용

최대 선형인 $\varphi \in C^{\infty}(M,\mathbb{R})$ 에 대해, eikonal 방정식을 고려한다: $\left\{ \begin{aligned} &\partial_s\phi(s,x) + \frac{1}{2}|\nabla\phi(s,x)|^2 = 0\\ &\phi(0,\cdot) = \varphi \end{aligned} \right.$

2. 표현 공식

시간 재척도 $\xi(s,x) := \psi(\tau s, x)$ 를 통해 표현 공식을 얻는다: $\psi(\tau s; 0, \psi_0 e^{i\varphi/\tau}) = a(s,\cdot)e^{i\phi(s,\cdot)/\tau}$ 여기서 $a$ 는 특정 진화 방정식을 만족한다.

3. 로그 비선형성의 특수성

핵심 보조정리 (Lemma 2.1): $z_1, z_2 \in \mathbb{C}$ 에 대해, $\left|\text{Im}\left((z_2-z_1)(z_2\log|z_2|^2 - z_1\log|z_1|^2)\right)\right| \leq 2|z_1-z_2|^2$

이 추정은 로그 비선형성을 처리하는 핵심 도구이다.

실험 설정

이론 검증 프레임워크

논문은 주로 이론적 작업이며 다음 방식으로 결과를 검증한다:

적정성 증명: Cauchy 문제의 $L^2(M)$ 에서의 적정성을 증명한다.
수렴성 분석: 다양한 근사의 수렴성을 증명한다.
Trotter-Kato 공식: 비선형 경우에 분할 방법의 수렴성을 수립한다.

주요 정리

정리 1.4: $d \in \mathbb{N}^*$ , $\lambda \in \mathbb{R}$ 이라 하자. $V \in L^{\infty}(\mathbb{T}^d,\mathbb{R})$ 이면, 시스템 (1.3)은 소시간 $L^2$ -근사 가제어이다.

정리 1.5: $d \in \mathbb{N}^*$ , $\lambda \in \mathbb{R}$ 이라 하자. $V$ 가 최대 이차 조건을 만족하면, 시스템 (1.5)는 소시간 $L^2$ -근사 가제어이다.

실험 결과

긍정적 결과

소시간 가제어성: 두 주요 시스템의 소시간 $L^2$ -근사 가제어성을 성공적으로 증명했다.
위상 제어: 위상의 소시간 가제어성을 증명했다 (정리 3.1).
흐름 제어: 기울기 벡터장 흐름의 소시간 가제어성을 수립했다.

부정적 결과

정리 1.6은 중요한 부정적 결과를 제공한다:

이차 포텐셜 $V(x) = \alpha|x|^2 + \beta \cdot x + \gamma$ 에 대해, 시스템 (1.8)은 (대시간) $L^2$ -근사 가제어 불가능하다.
최대 이차 조건을 만족하는 $V$ 에 대해, 시스템 (1.7)은 소시간 $L^2$ -근사 가제어 불가능하다.

핵심 추정

논문은 여러 중요한 추정을 수립한다:

립시츠 연속성: $\|\psi(t;u,\psi_0) - \psi(t;u,\tilde{\psi}_0)\|_{L^2} \leq e^{2|\lambda|t}\|\psi_0 - \tilde{\psi}_0\|_{L^2}$
수렴율 추정: 다양한 근사에서 구체적인 수렴율을 수립한다.