On $m$-order logarithmic Schrödinger operator

기술 요약: m-차 로그 슈뢰딩거 연산자에 대하여

문제 정의
본 논문은 비음수 가측 포텐셜 $V$에 대하여 $\mathbb{R}^d$ 상의 슈뢰딩거 연산자 $L_V = -\Delta + V$의 $m$-차 로그(logarithm)를 조사한다. 로그 라플라시안 $\log(-\Delta)$와 그 고차 항들은 최근 몇 년간 광범위하게 연구되어 왔으나(예: [5, 9]), 이러한 개념을 포텐셜 $V$가 존재하는 슈뢰딩거 설정으로 확장하는 것은 특정한 분석적 과제를 제시한다. 주요 목적은 $m \in \mathbb{N}$에 대해 연산자 $\log^m L_V$를 정의하고, 이를 활용하여 분수 차수 $L_V^s$ 및 $L_V^{-s}$의 $s \to 0^+$일 때의 점근 전개(테일러 급수)를 유도하는 것이다. 본 연구는 이와 관련된 세미그룹이 $V > 0$일 때 마르코프 성질(Markovian)을 갖지 않는다는 점을 다루며, $L^p(\mathbb{R}^d)$ 공간 및 특정 함수 클래스에 대한 점별(pointwise) 성립 여부에 초점을 맞춘다.

방법론
저자들은 열 핵 추정(heat kernel estimates)과 결합된 스펙트럼 이론적 접근 방식을 채택한다.

1. 스펙트럼 정의: 연산자 $L_V$는 닫힌 쌍선형 형식(closed sesquilinear form)과 연관된 $L^2(\mathbb{R}^d)$ 상의 자기 수반 연산자로 취급된다. $[0, \infty)$에 지지된 스펙트럼 측도 $E_V$를 사용하여, 분수 차수 $L_V^s$와 로그 연산자 $\log^m L_V$는 다음의 스펙트럼 적분을 통해 정의된다:
   $$\Phi(L_V)f = \int_0^\infty \Phi(\lambda) dE_V(\lambda)f.$$
2. 세미그룹 확장: 로그 연산자의 정의를 $L_V$에 의해 생성되는 열 세미그룹 $\{T_t^V\}_{t>0}$를 사용하여 $L^2(\mathbb{R}^d)$에서 더 넓은 리프시츠(Lipschitz) 함수 클래스로 확장한다. 저자들은 적절한 $f$와 $s \in (0, 1)$에 대해 유효한 다음의 적분 표현식을 활용한다:
   $$L_V^s f = \frac{1}{\Gamma(-s)} \int_0^\infty \frac{T_t^V f - f}{t^{s+1}} dt.$$
3. 포텐셜 조건: 분석은 $d \ge 3$을 가정하며, 포텐셜 $V$가 역 횔더 부등식($V \in RH_q$ with $q > d/2$)을 만족한다고 가정한다. 이 조건은 임계 반경 함수 $\rho(x)$의 사용과 개선된 열 핵 추정(특히 $\rho(x)$와 유클리드 열 핵을 포함하는 유계값)을 가능하게 한다.
4. 점근 분석: 핵심적인 기술적 작업은 $s \to 0^+$일 때 차분 몫(difference quotients) $\frac{L_V^s f - f}{s}$와 그 고차 도함수들의 거동을 분석하는 것이다. 저자들은 $t=0$에서의 특이점과 무한대에서의 거동을 처리하기 위해, 감마 함수의 성질과 임계 반경 함수를 활용하여 적분 표현식을 국소적 부분과 비국소적 부분으로 분해한다.

주요 기여 및 결과

• 고차 로그 연산자의 정의: 본 논문은 스펙트럼 측도를 통해 $m$-차 로그 슈뢰딩거 연산자 $\log^m L_V$를 엄밀하게 정의한다. 나아가, 분수 차수의 미분값의 점별 극한으로서 작용하는 연산자 $\text{Log}^k L_V$의 정의를 국소 리프시츠 공간과 가중 $L^1$ 공간의 교집합에 속하는 함수들로 확장한다.
• $L^2$에서의 점근 전개: 정리 1.1은 로그 연산자의 도메인에 속하는 함수들에 대해 $L^2(\mathbb{R}^d)$ 상에서의 $L_V^s f$ 및 $L_V^{-s} f$의 테일러 전개를 확립한다. 구체적으로, $f \in D(\log^{m+1} L_V) \cap D(L_V^{s_0})$에 대하여:
  $$L_V^s f - \sum_{k=0}^m \frac{s^k}{k!} (\log^k L_V)f = o(s^m) \quad (s \to 0^+ \text{ 일 때}).$$
  음의 차수에 대해서도 부호가 교대로 나타나는 유사한 전개가 제공된다.
• $L^p$ 및 $L^\infty$에서의 수렴: 정리 1.2와 정리 1.3은 이러한 결과를 $L^p(\mathbb{R}^d)$ ($1 < p < \infty$) 및 컴팩트 집합 $K$ 상의 $L^\infty(K)$로 확장한다. 이 결과들은 $f \in C_c(\mathbb{R}^d) \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ 및 $L^1 \cap L^\infty \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$에 대해 성립한다. 전개식은 다음과 같다:
  $$\lim_{s \to 0^+} \frac{L_V^s f - f - \sum_{k=1}^{n-1} \frac{s^k}{k!} (\text{Log}^k L_V)f}{s^n/n!} = (\text{Log}^n L_V)f.$$
• 점별 표현: 본 논문은 [1]에서 발견된 $\log L_V$의 알려진 표현을 일반화하여 $\text{Log}^k L_V$에 대한 명시적인 점별 적분 표현식을 제공한다. 이 표현식들은 열 핵 $T_t^V(x, y)$와 임계 반경 함수 $\rho(x)$의 적분을 포함하며, 세미그룹의 비-마르코프적 성질으로 인해 보정 항(correction terms)이 상수가 아님을(순수 라플라시안의 경우와 달리) 강조한다.
• 분수 차수 방정식에 대한 응용: 따름정리 1.4는 이러한 전개가 무한대에서 소멸하는 경계 조건을 가진 방정식 $L_V^s u = f$의 해 $u_{f,s} = L_V^{-s} f$를 기술하는 데 어떻게 사용될 수 있는지 보여준다. 이는 로그 연산자들을 이용한 점근 급수를 제공한다.

의의 및 주장
저자들은 본 연구가 로그 라플라시안에 관한 기존 결과들(특히 Chen [5] 및 Chen-Weth [9]의 연구)을 비자명한 포텐셜을 가진 슈뢰딩거 연산자 설정으로 일반화한다고 주장한다. 이 논문의 중요한 측면은 포텐셜 $V$로 인해 발생하는 비상수 보정 인자를 다루는 것이며, 이를 위해 임계 반경 함수 $\rho(x)$와 특정한 역 횄더 조건의 사용이 필수적이다. 이 결과들은 로그 미분(logarithmic derivatives)을 통해 항등식 근처(즉, 차수가 0에 접근할 때)에서의 분수 차수 슈뢰딩거 연산자의 거동을 이해하기 위한 엄밀한 틀을 제공한다. 본 논문은 새로운 실험적 응용을 제안하기보다는, 이 특정한 연산자 이론적 맥락에서 점근 전개를 위한 이론적 토대를 구축하는 데 목적이 있다.