[논문 리뷰] Characterization of Image Spaces of Riemann-Liouville Fractional Integral Operators on Sobolev Spaces $W^{m,p}(\Omega)$

Lijing Zhao, Weihua Deng외 1명|arXiv (Cornell University)|2016. 03. 21.

Fractional Differential Equations Solutions참고 문헌 32인용 수 4

한 줄 요약

이 논문은 소볼레프 공간 $W^{m,p}(Ω)$ 위에서 리만-리우빌 분수적 적분 연산자의 이미지 공간을 특성화하며, 이러한 공간과 그 교차의 등가적 특성화를 제공한다. 연구는 이러한 이미지 공간에 속하는 함수들이 경계점에서 특정한 정규성과 경계 근처에서의 점점 감쇠하는 행동을 보임을 드러내며, 자카비 다항식과 레지온드르 다항식을 사용한 명시적 표현을 제시한다. 주요 기여는 체계적인 분수적 연산자가 이러한 이미지 공간 내에서 리만-리우빌 연산자와 상호적임을 입증함으로써 분수적 편미분방정식의 수치적 방법에 대한 이론적 근거를 제공한다는 점이다.

ABSTRACT

Fractional operators are widely used in mathematical models describing abnormal and nonlocal phenomena. Although there are extensive numerical methods for solving the corresponding model problems, theoretical analysis such as the regularity result, or the relationship between the left-side and right-side fractional operators are seldom mentioned. In stead of considering the fractional derivative spaces, this paper starts from discussing the image spaces of Riemann-Liouville fractional integrals of $L_p(\Omega)$ functions, since the fractional derivative operators that often used are all pseudo-differential. Then high regularity situation---the image spaces of Riemann-Liouville fractional integral operators on $W^{m,p}(\Omega)$ space are considered. Equivalent characterizations of the defined spaces, as well as of the intersection of the left-side and right-side spaces are given. The behavior of the functions in the defined spaces at both the nearby boundary point/ponits and the points in the domain are demonstrated in a clear way. Besides, tempered fractional operators show to be reciprocal to the corresponding Riemann-Liouville fractional operators, which is expected to make some efforts on theoretical support for relevant numerical methods. Last, we also provide some instructions on how to take advantage of the introduced spaces when numerically solving fractional equations.

연구 동기 및 목표

• 수학적 모델에서 분수적 연산자에 대한 명확한 이론적 정규성 분석의 부족을 해결하기 위해.
• 리만-리우빌 분수적 적분 연산자의 이미지 공간을 $W^{m,p}(Ω)$에서 특성화하며, 경계 행동과 정규성에 중점을 두기 위해.
• 좌측 및 우측 분수적 연산자 간의 관계와 그 해의 정규성에 미치는 영향을 명확히 하기 위해.
• 분수적 해의 진정한 정규성을 반영하는 함수 공간을 식별함으로써 수치적 방법에 대한 이론적 기초를 마련하기 위해.
• 이러한 이미지 공간을 분수적 미분방정식의 수치적 해법에 실제로 활용하기 위한 지침을 제공하기 위해.

제안 방법

• 논문은 $L^p(\Omega)$에서의 이미지 공간 프레임워크를 $W^{m,p}(\Omega)$로 확장하여, 리만-리우빌 분수적 적분의 상수 함수의 구조를 분석한다.
• 이들은 다항식 전개와 경계 근처의 점근적 행동을 통해 이미지 공간과 그 교차의 등가적 특성화를 제공한다.
• 이미지 공간에 속하는 함수들은 내부의 매끄러운 부분과 특정한 특이 행동을 보이는 경계층 부분으로 분해되며, 자카비 다항식과 레지온드르 다항식을 통해 표현된다.
• 이 방법은 가중치를 부여한 소볼레프 공간과 점근적 전개를 활용하여, 특히 $x = -1$에서의 정규성을 기술한다.
• 이들은 $L^p(\Omega)$의 이미지 공간 내에서 체계적인 분수적 연산자와 리만-리우빌 연산자 간의 상호성 관계를 확립한다.
• 수치적 구현은 경계 조건을 $\phi_n^{(k)}(-1) = 0$로 강제하는 수직 다항식 기반 근사법을 통해 이뤄진다.

실험 결과

연구 질문

• RQ1 리만-리우빌 분수적 적분의 이미지 공간에 속하는 함수들이 $W^{m,p}(\Omega)$에서 정확히 어떤 정규성 구조를 갖는가?
• RQ2 경계점에서의 특이성이 분수적 편미분방정식의 해의 전반적인 행동에 어떻게 영향을 미치는가?
• RQ3 좌측 및 우측 분수적 연산자 간의 이미지 공간 관계는 어떠한가?
• RQ4 분수적 적분의 이미지 공간을 활용하여 분수 방정식의 수치적 방법의 수렴성과 안정성을 향상시킬 수 있는가?
• RQ5 경계 근처의 점근적 행동는 스펙트럼 근사에서 체계적으로 표현하고 활용할 수 있는가?

주요 결과

• 리만-리우빌 분수적 적분의 이미지 공간 $W^{m,p}(\Omega)$는 내부에서는 매끄럽지만, 특히 $x = -1$에서 특정한 정규성과 점점 감쇠하는 행동을 보이는 함수들로 구성된다.
• 이미지 공간에 속하는 함수들은 다항식 부분 $v_1(x) \in (x+1)^{\gamma_1 - \gamma_2} P_{m-1}(x)$ 와 나머지 부분 $v_2(x) = o((x+1)^{m + \gamma_1 - \gamma_2 - 1/2})$로 분해될 수 있으며, $x \to -1$일 때 성립한다.
• 좌측 및 우측 이미지 공간의 교차는 경계 행동을 제어하는 수직 다항식 전개를 통해 등가적으로 특성화될 수 있다.
• 체계적인 분수적 연산자가 $L^p(\Omega)$의 이미지 공간 내에서 리만-리우빌 연산자와 상호적임이 입증되었으며, 이는 수치적 방법에 대한 이론적 정당성을 제공한다.
• 만약 $u(x) \in I^{\gamma_1}_{(-1)+}[H^m(\Omega)]$ 이면, 변분형식에서의 함수 $h(x)$ 는 $H^m(\Omega)$ 에 속하며, $h(x) = \hat{h}_1(x, \gamma_1, \gamma_2) + \hat{h}_2(x, \gamma_1, \gamma_2)$ 로 표현되며, 여기서 $\hat{h}_1 \in (x+1)^{\gamma_1 - \gamma_2} P_{m-1}(x)$ 이고 $\hat{h}_2 = o((x+1)^{m + \gamma_1 - \gamma_2 - 1/2})$ 이다.
• 만약 $\gamma_1 \in (1, 3/2)$ 이면, 근사값 $\tilde{u}_N(x)$ 는 $\phi_n(x)$ 를 사용하여 구성되며, $k = 0, \dots, m$ 에 대해 $\phi_n^{(k)}(-1) = 0$ 를 만족시켜 경계 일치성을 확보한다.