Identities and inequalities for integral transforms involving squares of the Bessel functions

기술 요약: 베셀 함수의 제곱을 포함하는 적분 변환에 관한 항등식과 부등식

문제 정의
본 논문은 $\nu \in [-1/2, \infty)$인 차수 $\nu$에 대해 다음과 같이 정의된 적분 변환 $T_\nu$를 조사한다:
$$T_\nu f(s) := \pi \int_0^\infty rs J_\nu(rs)^2 f(r) \, dr,$$
여기로 $J_\nu$는 제1종 베셀 함수이다. 이 변환은 $\mathbb{R}^d$ 상의 자유 슈뢰딩거 방정식에 대한 Kato–Yajima 스무딩 추정치의 최적 상수를 연구하는 데 핵심적이다. 구체적으로, 부등식
$$\int_{\mathbb{R}^d \times \mathbb{R}} w(|x|) |\psi(|\nabla|) e^{it\Delta} u_0(x)|^2 \, dx \, dt \le C \|u_0\|_{L^2(\mathbb{R}^d)}^2$$
에 대한 최적 상수 $C_S^{(d)}(w, \psi)$는 $k \in \mathbb{N}$ 및 $s > 0$에 대하여 $s^{-1}\psi(s)^2 T_{k+d/2-1}w(s)$의 상한(supremum)에 의해 결정된다.

Bez, Saito, Sugimoto의 선행 연구에서는 정수 지수 $k$와 차원 $d$에 대해 $T_{k+d/2-1}$을 한켈 변환(Hankel transform) $H_{d/2-1}$과 연결하는 항등식을 확립하였으나, 이러한 항등식을 정수가 아닌 지수로 확장하고 정수 차수에 국한되지 않는 $T_\nu$에 대한 일반적인 부등식을 도출하는 데에는 공백이 남아 있었다. 본 논문은 이러한 항등식을 임의의 지수로 확장하고, 이를 활용하여 변환 $T_\nu$의 단조성(monotonicity) 및 부등식을 확립하는 것을 목표로 한다.

방법론
저자는 적분 변환 이론, 특수 함수 항등식, 그리고 측도론적 논증을 결합하여 연구를 수행한다.

1. 항등식의 확장: 핵심적인 방법론적 혁신은 (정수 $k$에 대해 이미 알려진) 항등식 $T_{k+d/2-1}f = U_{k,d/2-1}H_{d/2-1}f$를 임의의 지수로 확장하는 것이다. 이는 $\mu \notin \mathbb{N}$일 때 $r > 2s$에서 0이 아닌 커널 $K_{\mu,\nu}(r,s)$를 갖는 일반화된 적분 연산자 $U_{\mu,\nu}$를 정의하기 위해 제2종 게겐바우어 함수(Gegenbauer function of the second kind) $D_\mu^{(\nu)}$를 도입함으로써 달성된다.
2. 한켈 변환 분석: 일반화된 항등식의 증명은 커널 함수 $g_{\mu,\nu,s}(r) = \pi s r^{-2\nu} J_{\mu+\nu}(rs)^2$의 한켈 변환을 계산하는 과정에 기초한다. 이 계산은 세 개의 베셀 함수의 곱을 포함하는 적분에 관한 **맥도날드 공식(Macdonald's formula)**을 사용하여, 결과를 르장드르 함수(Legendre functions)로 표현한 후 이를 다시 게겐바우어 함수로 변환하는 방식을 취한다.
3. 파세발 항등식(Parseval's Identity): 항등식 $T_{\mu+\nu}f = U_{\mu,\nu}H_\nu f$의 타당성은 한켈 변환에 대한 파세발 항등식을 사용하여 입증되며, 이를 통해 함수와 그 변환에 필요한 적분 가능성 조건을 보장한다.
4. 단조성 및 부등식: 저자는 커널 $K_{\mu,\nu}(r,s)$를 분석함으로써 점별 부등식(예: $K_{\mu,\nu} \le K_{0,\nu}$)을 도출하며, 이는 $H_\nu f$의 비음성(non-negativity)과 결합되어 $T_\nu f$에 대한 부등식을 생성한다.
5. 완전 단조성(Complete Monotonicity): 저자는 $r \mapsto f(r^{1/2})$가 완전 단조(completely monotone)인 함수들을 가우시안 함수의 중첩으로 특징짓는 번스타인-위더(Bernstein–Widder) 및 쇤베르크(Schoenberg) 정리를 활용한다. 이를 통해 가우시안 사례로부터 보렐 측도(Borel measure)에 대한 적분을 거쳐 더 넓은 클래스의 함수로 결과를 확장한다.

주요 기여 및 결과

• 일반화된 항등식 (Theorem 1.6(I)): 본 논문은 $\mu \in [0, \infty)$, $\nu \in (-1/2, \infty)$ 및 적절한 $f$에 대하여 항등식 $T_{\mu+\nu}f(s) = U_{\mu,\nu}H_\nu f(s)$가 성립함을 입증한다. 이는 정수 차수의 이동에 국한되었던 기존의 결과들을 일반화한 것이다.
• 단조성 및 부등식 (Theorem 1.6(II)–(V)):
  • $H_\nu f$가 비음수이면, $\nu \ge 1/2$에 대해 $s \mapsto T_\nu f(s)$는 비감소(non-decreasing)한다.
  • 합 $T_\nu f(s) + T_{\nu+1} f(s)$는 $\nu > -1/2$에 대해 비감소한다.
  • $\mu \in \mathbb{N}_{\ge 1}$ 또는 $\mu \in (0, 1]$ (단, $\mu+2\nu \ge 0$)이고 $H_\nu f$가 비음수이면, $T_{\mu+\nu}f(s) \le T_\nu f(s)$이다.
• 스무딩 추정치에 대한 적용 (Theorem 1.5): (Theorem 1.6(V)에서 $\mu=1/2$인 경우로부터 유도된) $T_{d/2-1/2}w \le T_{d/2-1}w$ 부등식을 사용하여, 저자는 공간 가중치 $w$의 푸리에 변환이 $\mathbb{R}^d$ 및 $\mathbb{R}^{d+1}$ 상에서 비음수이면, 최적 스무딩 상수 $C_S^{(d+1)}(w, \psi) \le C_S^{(d)}(w, \psi)$를 만족함을 증명한다. 이는 서론에서 언급된 사례 (A), (B), (C)를 포괄하며, 최적 상수의 차원 감소 성질에 대한 충분 조건을 제공한다.
• 해석성 및 완전 단조성 (Theorem 1.8): $r \mapsto f(r^{1/2})$가 완전 단조인 함수들에 대하여, 본 논문은 다음을 증명한다:
  • $s \mapsto s^{-\nu-1/2}T_\nu f(s^{1/2})$는 완전 단조이다.
  • $s \mapsto T_\nu f(s)$는 $\nu \ge 1/2$에 대해 엄격히 증가한다.
  • $s \mapsto T_\nu f(s) + T_{\nu+1} f(s)$는 엄격히 증가한다.
  • $\nu \mapsto T_\nu f(s)$는 $\nu \ge 0$에 대해 엄격히 감소한다.
  • $\nu \in (-1/2, 0)$에 대해 $T_{-\nu}f(s) < T_\nu f(s)$이다.
    이러한 결과들은 광범위한 가중치(완전 단조 함수와 관련된 가중치)에 대해 $T_\nu f$의 해석성(analyticity)을 시사하며, 이는 스무딩 추정치에서 극댓값(extremizer)의 부존재를 뒷받침한다.
• 구체적 예시: 저자는 수정된 베셀 함수 $I_\nu$ 및 $K_\nu$의 알려진 성질(예: $s^{-\nu}e^{-s}I_\nu(s)$의 완전 단조성 및 $s I_\nu(s)K_\nu(s)$의 단조성)에 대한 새로운 증명을 도출하기 위해 이 정리들을 적용한다.
• 확장: 결과는 $\nu = -1/2$의 경우(Proposition 4.1)와 디락 방정식(Dirac equations, Theorem 4.3)으로 확장되어, 해당 맥락에서도 최적 상수의 차원 감소 성질이 유사하게 나타남을 보여준다.

의의
본 논문은 비정수 지수 전반에 걸쳐 적분 변환 $T_\nu$의 거동을 이해하기 위한 통합된 프레임워크를 제공한다고 주장한다. $T_\nu$를 한켈 변환과 연결하는 항등식을 확장함으로써, 저자는 정수 차수나 차원에 국한되었던 기존의 방식이나 다른 방법론이 필요했던 사례들을 넘어 일련의 부등식들을 도출해 냈다.

주요 의의는 다음과 같다:

1. 일반화: 항등식 $T_{k+d/2-1} = U_{k,d/2-1}H_{d/2-1}$을 임의의 실수 지수로 확장함으로써, 스무딩 추정치 분석에서 정수 차원이나 차수의 제한을 제거하였다.
2. 최적 상수: 최적 스무딩 상수의 차원에 따른 단조성에 대한 엄밀한 충분 조건(푸리에 변환의 비음성)을 제공하며, 특히 광범위한 조건 하에서 $C_S^{(d+1)} \le C_S^{(d)}$임을 증명하였다.
3. 해석성: (완전 단조 함수와 관련된) 광범위한 가중치에 대해 $T_\nu f$의 해석성을 확립하였으며, 이는 스무딩 추정치에서 극댓값의 부존재를 뒷받침한다.
4. 통합: 베셀 함수($I_\nu$ 및 $K_\nu$ 포함)의 다양한 알려진 부등식 및 단조성 성질들이 입력 함수의 완전 단조성과 $T_\nu$의 일반적 성질로부터 직접적으로 유도되는 결과임을 입증하였다.

저자는 일부 특정 부등식(예: 3.2절의 예시)이 이미 알려져 있었으나, 본 논문에서 제공하는 증명은 일반화된 항등식으로부터 기인하는 새로운 것이며, 더욱 직접적이고 통합적인 접근 방식을 제공한다고 밝히고 있다.