[논문 리뷰] Hardy inequalities for fractional $(k,a)$-generalized harmonic oscillator

Wentao Teng|arXiv (Cornell University)|2020. 08. 03.

Mathematical Analysis and Transform Methods참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $a$-변형 라거르 연산자와 해석적 반군을 도입하여 $(k,a)$-일반화 라거르 반군의 구면 조화 전개를 유도한다. 이 전개는 $z = \pi i/2$에서 보체 유형 항등식으로 줄어든다. 또한 $a$-변형 덕스트 힘의 분수계 하디 부등식을 증명하며, $a=2$ (덕스트-에르미트) 및 $a=1$ (카바야시-마노)의 경우 기존 결과를 회복한다.

ABSTRACT

In this paper, we will define $a$-deformed Laguerre operators $L_{a,α}$ and $a$-deformed Laguerre holomorphic semigroups on $L^2\left(\left(0,\infty ight),dμ_{a,α} ight)$. Then we give a spherical harmonic expansion, which reduces to the Bochner-type identity when taking the boundary value $z=\frac{πi}2$, of the $(k,a)$-generalized Laguerre semigroup introduced by S. Ben Saïd, T. Kobayashi and B. Ørsted. And then we prove a Hardy inequality for fractional powers of the $a$-deformed Dunkl harmonic oscillator $ riangle_{k,a}:=\left|x ight|^{2-a} riangle_k-\left|x ight|^a$ using this expansion. When $a=2$, the fractional Hardy inequality reduces to that of Dunkl--Hermite operators given by Ó. Ciaurri, L. Roncal and S. Thangavelu. The operators $L_{a,α}$ also give a tangible characterization of the radial part of the $(k,a)$-generalized Laguerre semigroup on each $k$-spherical component $\mathcal H_k^m\left(\mathbb{R}^N ight)$ for $λ_{k,a,m}:=\frac{2m+2\left\langle k ight angle+N-2}a\geq -1/2$ defined via decomposition of unitary representation.

연구 동기 및 목표

• 사슬 $L^2((0,\infty), d\mu_{a,\alpha})$ 상에서 $a$-변형 라거르 연산자 $L_{a,\alpha}$와 그에 관련된 해석적 반군을 정의한다.
• 단위 표현의 분해를 통해 $(k,a)$-일반화 라거르 반군의 구면 조화 전개를 수립한다.
• 반군 전개의 경계값으로서 $z = \pi i/2$에서 보체 유형 항등식을 도출한다.
• 반군 전개를 사용하여 $a$-변형 덕스트 힘 연산자 $\triangle_{k,a}$에 대한 분수계 하디 부등식을 증명한다.
• 일반화된 부등식의 특수 케이스로서 $a=2$ (덕스트-에르미트) 및 $a=1$ (카바야시-마노)의 기존 결과를 회복한다.

제안 방법

• 사슬 $L^2((0,\infty), d\mu_{a,\alpha})$ 상에서 $a$-변형 라거르 해석적 반군 $I_{a,\alpha;z} = e^{-\frac{z}{a}L_{a,\alpha}}$의 무한소 생성자를 $a$-변형 라거르 연산자 $L_{a,\alpha}$로 정의한다.
• S\widetilde{L}(2,\mathbb{R})의 단위 표현 분해를 이용하여 각 $k$-구면 성분 $\mathcal{H}_k^m(\mathbb{R}^N)$ 상에서 $(k,a)$-일반화 라거르 반군의 반경성 부분 $\Omega_{k,a}^{(m)}(\gamma_z)$를 표현한다.
• 반군과 $a$-변형 라거르 반군을 연결하는 항등식 $\Omega_{k,a}^{(m)}(\gamma_z)f(s) = s^m I_{a,\lambda_{k,a,m};z}((\cdot)^{-m}f)(s)$를 수립한다.
• 함수 $f \in L^2(\mathbb{R}^N, \vartheta_{k,a}(x)dx)$에 대해 $\mathcal{I}_{k,a}(z)f(x) = \sum_{m,j} Y_{m,j}(x') r^m I_{a,\lambda_{k,a,m};z}((\cdot)^{-m}f)(r)$의 구면 조화 전개를 유도한다.
• 경계값 $z = \pi i/2$에서 $a$-변형 하늘개 변환 $H_{a,\alpha}(f)$를 얻으며, 이는 기존 변환들을 특수 케이스로 포함한다.
• 반군 전개를 응용하여 $\triangle_{k,a}$에 대한 분수계 하디 부등식을 유도하며, 이는 $\lambda_{k,a,m} \geq -1/2$ 조건에서 성립한다.

실험 결과

연구 질문

• RQ1 구면 조화 함수와 $a$-변형 라거르 연산자를 통해 $(k,a)$-일반화 라거르 반군은 어떻게 분해될 수 있는가?
• RQ2 반경성 부분 $\Omega_{k,a}^{(m)}(\gamma_z)$는 $a$-변형 라거르 반군으로서 정확히 어떻게 표현되는가?
• RQ3 반군의 경계값 $z = \pi i/2$는 $a$-변형 하늘개 변환과 어떻게 관련이 있는가?
• RQ4 이 반군 구조를 사용하여 $a$-변형 덕스트 힘 연산자 $\triangle_{k,a}$에 대한 분수계 하디 부등식을 어떻게 증명할 수 있는가?
• RQ5 결과는 어떻게 알려진 케이스인 $a=2$ (덕스트-에르미트) 및 $a=1$ (카바야시-마노)로 특수화되는가?

주요 결과

• 구면 조화 전개는 $\mathcal{I}_{k,a}(z)f(x) = \sum_{m,j} Y_{m,j}(x') r^m I_{a,\lambda_{k,a,m};z}((\cdot)^{-m}f)(r)$로 주어지며, $f \in L^2(\mathbb{R}^N, \vartheta_{k,a}(x)dx)$ 이고 $4\langle k\rangle + 2N + a - 4 \geq 0$ 조건을 만족할 때 유효하다.
• $a$-변형 라거르 반군 $I_{a,\alpha;z}$는 $z = \pi i/2$에서 $a$-변형 하늘개 변환 $H_{a,\alpha}$로 줄어들며, $e^{(\alpha+1)\pi i/2} I_{a,\alpha;\pi i/2}(f) = H_{a,\alpha}(f)$를 만족한다.
• 반군의 반경성 부분 $\Omega_{k,a}^{(m)}(\gamma_z)$는 $\Omega_{k,a}^{(m)}(\gamma_z)f(s) = s^m I_{a,\lambda_{k,a,m};z}((\cdot)^{-m}f)(s)$로 명시적으로 표현되며, 여기서 $\lambda_{k,a,m} = \frac{2m + 2\langle k\rangle + N - 2}{a}$이다.
• 분수계 하디 부등식은 $\lambda_{k,a,m} \geq -1/2$ 조건 하에서 $\triangle_{k,a}$에 대해 증명되었으며, 이는 $a=2$ (덕스트-에르미트) 및 $a=1$ (카바야시-마노)의 기존 결과를 일반화한다.
• $\Omega_{k,a}^{(m)}(\gamma_z)$의 무한소 생성자는 $-\frac{1}{a} L_{a,\lambda_{k,a,m}}$로 주어지며, 이는 $a$-변형 라거르 연산자와 반군의 반경성 부분 간의 연결성을 확인한다.
• 반경 함수 $f = f_0(|\cdot|)$ 이며 $f_0 \in \mathcal{S}(\mathbb{R}_+)$ 이면, 연산자 $\triangle_{k,a}$는 $\triangle_{k,a}f(x) = -L_{a,\lambda_a}(f_0)(r)$로 작용하며, 이는 반경 함수에 대한 덕스트 라플라스 방정식의 기존 공식을 회복한다.