Higher order logarithms of Bessel operators and an extension problem

기술 요약: 베셀 연산자의 고차 로그 및 확장 문제

문제 정의
본 논문은 $\lambda > -1$인 조건에서 $(0, \infty)$ 상에 정의된 베셀 연산자 $B_\lambda = -\frac{d^2}{dx^2} + \frac{\lambda^2 - 1/4}{x^2}$를 조사한다. 분수 거듭제곱 $B_\lambda^s$와 로그 $\log B_\lambda$는 이전에 연구된 바 있으나(특히 Fu, Li, Zhang [15]), 본 연구의 목적은 다음과 같다:

1. $m \in \mathbb{N}$에 대하여 고차 로그 연산자 $\log^m B_\lambda$를 정의하고 분석한다.
2. 이 연산자들과 분수 거듭제곱 $B_\lambda^s$ ($s \in (-1, 1), s \neq 0$)에 대한 점별 적분 표현을 유도한다.
3. $s \to 0^+$일 때 $\log^m B_\lambda$에 관한 $B_\lambda^s$ 및 $B_\lambda^{-s}$의 점근적 테일러 전개를 확립한다.
4. $\log B_\lambda$를 카페렐리-실베스트레스(Caffarelli-Silvestre) 확장 문제와 유사한 특정 확장 문제의 해로 규명한다.

방법론
저자들은 유클리드 공간에서의 푸리에 변환과 유사하게 베셀 설정에서의 스펙트럼 도구 역할을 하는 한켈 변환(Hankel transform) $h_\lambda$를 사용한다. 연산자 $B_\lambda$는 스펙트럼을 통해 $h_\lambda(B_\lambda f)(x) = x^2 h_\lambda(f)(x)$로 정의된다.

주요 방법론적 도구는 다음과 같다:

• 세미그룹 접근법 (Semigroup Approach): $-B_\lambda$에 의해 생성되는 베셀 열 세미그룹 $\{W^\lambda_t\}_{t>0}$를 활용한다. 커널 $W^\lambda_t(x, y)$는 수정된 제1종 변형 베셀 함수 $I_\lambda$를 포함한다.
• 함수 계산 (Functional Calculus): 연산자들은 스펙트럼 승수(spectral multipliers)를 통해 정의된다. 함수 $\Phi$에 대하여, $\Phi(B_\lambda)f = h_\lambda(\Phi(x^2)h_\lambda f)$이다.
• 적분 표현 (Integral Representations): 분수 거듭제곱 $B_\lambda^s$는 세미그룹 차이 $W^\lambda_t f - f$ ($s>0$인 경우) 또는 세미그룹 자체 ($s<0$인 경우)를 이용한 보크-적분(Bochner integrals)을 사용하여 표현된다. 이러한 적분들은 특이점을 격리하고 절대 수렴을 보장하기 위해 분해된다.
• 확장 문제 (Extension Problem): 하프-플레인(upper half-plane) $(0, \infty) \times (0, \infty)$ 상에서 함수 $u^\lambda_f(x, t)$를 열 커널과 세미그룹을 이용한 종속 공식(subordination formula)을 사용하여 구성한다. 이 확장의 $t \to 0^+$에서의 거동을 분석하여 로그 연산자를 회복한다.
• 점근 분석 (Asymptotic Analysis): $s=0$에서의 분수 거듭제곱 연산자의 미분을 통해 테일러 전개를 유도하며, 이때 지배 수렴 정리(dominated convergence theorem)와 감마 함수의 성질을 활용한다.

주요 기여 및 결과

1. 점별 표현 (정리 1.1):
   저자들은 $s \in (0, 1)$ 및 $s \in (-1, 0)$에 대한 $B_\lambda^s f(x)$의 명시적인 점별 공식을 확립한다. 이 공식들은 함수 $f$와 그 국소 평균에 대한 열 커널 $W^\lambda_t(x, y)$의 적분을 포함한다. 결정적으로, 이 표현은 베셀 세미그룹의 비-마르코프적 성질(즉, $W^\lambda_t(1) \neq 1$)로 인해 필연적으로 발생하는, 베셀 열 커널과 유클리드 열 커널 $W_t(x-y)$ 사이의 차이를 포함하는 "교정(corrector)" 항을 포함한다.

2. 고차 로그 (정리 1.2):
   본 논문은 $m \in \mathbb{N}$에 대하여 고차 로그 연산자 $\log^m B_\lambda$를 정의한다. 저자들은 $\log t$의 거듭제곱에 의해 가중치가 부여된 적분을 포함하는 $(\log^m B_\lambda)f(x)$의 점별 표현을 제공한다. 저자들은 자신들의 증명이 [15]의 기존 1차 사례 증명보다 짧다고 언급하며, 정의 영역을 $L^1((0, \infty), \frac{dy}{1+y}) \cap \text{Lip}^{\theta}_{\text{loc}, x}(0, \infty)$까지 확장한다.

3. 점근적 전개 (정리 1.3):
   본 연구는 $s \to 0^+$일 때 분수 거듭제곱의 점근적 테일러 전개를 유도한다. 구체적으로, $1 < p \leq \infty$인 $L^p(0, \infty)$ 공간에서 다음이 성립함을 증명한다:
   $$\lim_{s \to 0^+} \frac{(m+1)!}{s^{m+1}} \left( B_\lambda^s f - \left( f + \sum_{j=1}^m \frac{s^j}{j!} (\log^j B_\lambda)f \right) \right) = (\log^{m+1} B_\lambda)f$$
   $B_\lambda^{-s}$에 대해서도 유사한 전개가 제공된다. 이는 유클리드 라플라시안에 대한 Chen [8]의 결과를 베셀 설정으로 일반화한 것이다.

4. 확장 문제 규명 (정리 1.4):
   저자들은 확장 $u^\lambda_f(x, t)$를 정의하고, 이것이 퇴화 타원 방정식(degenerate elliptic equation) $(\partial_t^2 + \frac{1}{t}\partial_t)u^\lambda_f = B_{\lambda, x} u^\lambda_f$를 만족함을 증명한다. 주요 결과는 이 확장의 경계 극한으로서 로그 연산자를 규명하는 것이다:
   $$(\log B_\lambda)f(x) = -\lim_{t \to 0^+} (u^\lambda_f(x, t) + f(x)\log t) + f(x)K(x)$$
   여기서 $K(x)$는 오일러 상수 $\gamma$, 로그 항, 그리고 열 커널들의 적분을 포함하는 특정 함수이다. 이 결과는 Chen, Hauer, Weth [9]가 확립한 $\log(-\Delta)$에 대한 확장 정리와 평행을 이룬다.

의의 및 주장
본 논문은 베셀 맥락에서의 고차 로그 연산자에 대한 포괄적인 프레임워크를 제공한다고 주장한다. 저자들은 자신들의 접근 방식이 기존 결과(특히 $\log B_\lambda$의 표현)에 대해 더 짧은 증명을 제공하며, 이를 고차로 확장하고 더 넓은 함수 공간으로 확장한다는 점을 강조한다.

본 연구의 의의는 다음과 같다:

• 일반화: 유클리드 라플라시안에서 베셀 연산자로 로그 연산자 이론을 확장하였으며, 이는 반직선(half-line)에서의 조화 해석학에서 근본적이다.
• 통합: 한켈 변환을 사용하여 하나의 스펙트럼 프레임워크 내에서 분수 거듭제곱, 로그 연산자, 그리고 확장 문제를 연결한다.
• 기술적 정밀성: 베셀 열 세미그룹의 특이성과 비-마르코프적 성질(유클리드 사례와 다른 점)을 고려하여 엄밀한 점별 표현을 제공한다.

저자들은 새로운 응용이나 실험적 설정을 제안하지 않고, 베셀 연산자와 관련된 연산자 이론 및 조화 해석학의 이론적 발전에 집중한다. 이 작업은 Fu, Li, Zhang [15] 및 Chen [8, 9]의 기존 문헌을 구축하고 개선한다.