[논문 리뷰] Fractional calculus for power functions

Bartłomiej Dyda|arXiv (Cornell University)|2011. 03. 17.

Mathematical functions and polynomials참고 문헌 22인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^d$에서 $(1 - |x|^2)_+^p$ 및 $x_d(1 - |x|^2)_+^p$ 형태의 거듭제곱 함수에 대한 분수라플라스 연산자에 대한 명시적 공식을 유도하며, 결과를 초함수함수를 통해 표현한다. 주요 기여는 초함수함수 ${}_2F_1$를 이용한 $\Delta^{eta/2}u_p^{(d)}(x)$의 닫힌 표현식을 제공함으로써, 변분 방법을 통해 단위원 내에서 분수라플라스 연산자의 첫 번째 고유값에 대한 정밀한 추정을 가능하게 한다.

ABSTRACT

We calculate the fractional Laplacian for functions of the form $u(x)=(1-|x|^2)_+^p$ and $v(x)=x_d u(x)$. As an application, we estimate the first eigenvalues of the fractional Laplacian in a ball.

연구 동기 및 목표

• 분수라플라스 연산자 $\Delta^{\alpha/2}$ 를 반지름 및 반대칭 거듭제곱 함수 $u_p^{(d)}(x) = (1 - |x|^2)_+^p$ 및 $v_p^{(d)}(x) = x_d(1 - |x|^2)_+^p$ 에 적용하는 것, $\mathbb{R}^d$에서.
• 이 함수들의 분수라플라스 연산자와 초함수함수 사이의 관계를 설정함으로써, 고유값 문제의 해석적 다루기 가능성을 확보하는 것.
• 유도된 공식을 활용하여 단위원 $B \subset \mathbb{R}^d$ 내에서 분수라플라스 연산자의 첫 번째 고유값 $\lambda_1$ 및 $\lambda_*$ 를 추정하는 것, 특히 반지름 및 반대칭 고유함수에 중점을 두는 것.
• 거듭제곱 함수로부터 구성된 시험 함수를 사용하여 $\lambda_1$ 및 $\lambda_*$ 에 대한 변분 경계를 제공함으로써, 기존 추정치를 향상시키는 것.

제안 방법

• 분수라플라스 연산자의 특이적분 정의와 베타 및 감마 함수의 성질을 이용하여 $\Delta^{\alpha/2}u_p^{(d)}(x)$ 에 대한 명시적 공식을 유도한다.
• 결과를 초함수함수 ${}_2F_1\left(\frac{\alpha + d}{2}, -p + \frac{\alpha}{2}; \frac{d}{2}; |x|^2\right)$ 를 포함하는 함수 $\Phi_{p,\alpha}^{(d)}(|x|^2)$ 형태로 표현한다.
• 반지름 함수에 대해 $|x| < 1$ 에서 $u_p^{(d)}(x) = {}_2F_1\left(\frac{d}{2}, -p; \frac{d}{2}; |x|^2\right)$ 라는 항등식을 사용하여 분수라플라스 연산자를 압축된 초함수함수 형태로 재작성한다.
• 시험 함수 $u = (1 - |x|^2)_+^{\alpha/2} + \eta(1 - |x|^2)_+^{1 + \alpha/2}$ 를 사용하여 변분 원리 $\lambda_1 \leq \mathcal{E}(u)/\|u\|_{L^2}^2$ 를 적용하여 상한을 유도한다.
• 레이일리 몫을 최소화하는 최적의 $\eta_{\text{min}}$ 를 유도하며, 이는 $d$, $\alpha$, 그리고 상수들을 포함한 닫힌 표현식을 사용한다.
• 반지름 고유함수의 일대일 대응 관계를 $d+2$ 차원에서의 $x_d$-반대칭 고유함수와 설정함으로써, $\lambda_1^{(d+2)} = \lambda_*^{(d)}$ 를 증명한다.

실험 결과

연구 질문

• RQ1 반지름 함수 $u_p^{(d)}(x) = (1 - |x|^2)_+^p$ 에 대해 $|x| < 1$ 에서 분수라플라스 연산자 $\Delta^{\alpha/2}$ 의 명시적 형태는 무엇인가?
• RQ2 반대칭 함수 $v_p^{(d)}(x) = x_d(1 - |x|^2)_+^p$ 에 대해 분수라플라스 연산자는 어떻게 작용하는가?
• RQ3 단위원 내에서 분수라플라스 연산자의 고유값 문제는 거듭제곱 함수를 시험 함수로 사용하여 추정할 수 있는가?
• RQ4 차원 $d+2$ 에서의 반지름 고유값과 차원 $d$ 에서의 반대칭 고유값 사이의 관계는 무엇인가?
• RQ5 단위원 내에서 분수라플라스 연산자의 첫 번째 고유값 $\lambda_1$ 및 첫 번째 반대칭 고유값 $\lambda_*$ 에 대한 정밀한 하한 및 상한은 무엇인가?

주요 결과

• 반지름 함수 $u_p^{(d)}(x)$ 에 대해 $|x| < 1$ 에서의 분수라플라스 연산자는 $\Phi_{p,\alpha}^{(d)}(|x|^2) = \mathcal{A}_{d,-\alpha} B(-\alpha/2, p+1) \pi^{d/2} \Gamma(d/2)^{-1} \cdot {}_2F_1\left(\frac{\alpha + d}{2}, -p + \frac{\alpha}{2}; \frac{d}{2}; |x|^2\right)$ 로 주어진다.
• 반대칭 함수 $v_p^{(d)}(x)$ 에 대해 분수라플라스 연산자는 $\Delta^{\alpha/2}v_p^{(d)}(x) = x_d \Phi_{p,\alpha}^{(d+2)}(|x|^2)$ 를 만족한다.
• 단위원 내에서 분수라플라스 연산자의 첫 번째 고유값 $\lambda_1$ 는 $\lambda_1 \geq \mu_{d,\alpha}$ 를 만족하며, 여기서 $\mu_{d,\alpha}$ 는 비교 함수 $\psi$ 로부터 유도된다.
• 첫 번째 반대칭 고유값 $\lambda_*$ 는 $\lambda_* = \lambda_1^{(d+2)}$ 를 만족하며, 이는 차원 이동 대응 관계를 설정한다.
• 선형 조합 $u_{j + \alpha/2}^{(d)}$ 를 사용하여 $\lambda_1$ 및 $\lambda_*$ 에 대한 수치적 상한을 계산하였으며, 최적의 $\eta$ 는 $d$ 와 $\alpha$ 를 포함한 닫힌 표현식으로 주어져, 차원 및 $\alpha \in (0,2)$ 전반에 걸쳐 날카운 추정을 가능하게 한다.
• 특히 $\alpha = 1.5$, $d = 3$ 일 때, $\lambda_1$ 의 상한은 $4.61848$, $\lambda_*$ 의 상한은 $5.05977$ 이며, 수치 최소화 과정에서 거의 최적의 수렴을 보였다.