[논문 리뷰] Existence and Regularity of solutions to 1-D Fractional Order Diffusion Equations

Lueling Jia, Huanzhen Chen외 1명|arXiv (Cornell University)|2018. 08. 30.

Fractional Differential Equations Solutions인용 수 11

한 줄 요약

이 논문은 리만-리우빌 및 리만-리우빌-카푸토 연산자를 사용한 1차원 정 steady 상태 분수형 확산 방정식의 해의 존재성과 정칙성에 대해 입증한다. 해의 정칙성은 우변 함수와 경계 조건에 따라 결정되며, 리만-리우빌 연산자의 커널은 대수적 특이성을 보이고, 리만-리우빌-카푸토 연산자의 커널은 대수적으로 정칙하여 딜리클레 및 뉴먼 조건 하에서 문제의 잘 정의됨에 대한 명확한 통찰을 제공한다.

ABSTRACT

In this article we investigate the existence and regularity of 1-d steady state fractional order diffusion equations. Two models are investigated:the Riemann-Liouville fractional diffusion equation, and the Riemann-Liouville-Caputo fractional diffusion equation. For these models we explicitly show how the regularity of the solution depends upon the right hand side (rhs) function. We also establish for which Dirichlet and Neumann boundary conditions the models are well posed.

연구 동기 및 목표

• 리만-리우빌 및 리만-리우빌-카푸토 연산자를 통해 제어되는 1차원 정상 상태 분수형 확산 방정식의 해의 존재성과 정칙성을 조사한다.
• 해의 정칙성이 우변 함수와 경계 조건의 선택에 따라 어떻게 달라지는지 규명한다.
• 특히 딜리클레 및 뉴먼 경계 조건 하에서 모델이 잘 정의됨을 보장하는 조건을 설정한다.
• 실세계 적용에 적합한 분수형 확산 모델을 선택하는 데 있어 물리적 및 수학적 통찰을 제공한다.

제안 방법

• 해의 구조를 가중치가 있는 L2 공간에서 분석하기 위해 재료 다항식 전개에 기반한 스펙트럼 방법을 사용한다.
• 리만-리우빌-카푸토 연산자는 $\,_{RLC}\mathcal{D}_{r}^{\alpha}u(x) := -D\left(rD^{-(2-\alpha)} + (1-r)D^{-(2-\alpha)*}\right)Du(x) = f(x)$ 로 정의되며, 여기서 $D$ 는 미분 연산자이고, $D^{-\beta}, D^{-\beta*}$ 는 좌측 및 우측 분수적 적분이다.
• 리만-리우빌 연산자는 $\,_{RL}\mathcal{D}_{r}^{\alpha}u(x) := -D^{2}\left(rD^{-(2-\alpha)} + (1-r)D^{-(2-\alpha)*}\right)u(x) = f(x)$ 로 정의되며, 미분 연산자의 위치가 다름에 따라 구분된다.
• 약한 해를 프레임워크로 삼고 정규성 분석을 위해 가중치가 있는 소볼레프 공간 $H^{\alpha/2}_{0}(0,1)$ 과 $H^{-\alpha/2}(0,1)$ 을 사용한다.
• 자주수 다항식의 성질과 그 노름, 특히 스타링의 공식을 통한 점근적 행동을 이용해 핵심 추정을 도출한다.
• 계수의 감쇠 및 급수 수렴에 관한 보조정리들을 통해 적절한 함수 공간 내에서 해의 항들이 유계임을 보장한다.

실험 결과

연구 질문

• RQ1 리만-리우빌-카푸토 모델에서 1차원 분수형 확산 방정식의 해 정칙성은 우변 함수에 따라 어떻게 달라지는가?
• RQ2 리만-리우빌-카푸토 연산자의 커널은 어떤 구조를 가지며, 해의 정칙성에 어떻게 영향을 주는가?
• RQ3 딜리클레 및 뉴먼 경계 조건 하에서 리만-리우빌 및 리만-리우빌-카푸토 모델이 잘 정의됨은 어떤 조건에서 성립하는가?
• RQ4 두 분수형 확산 모델 간의 에너지 흐름의 물리적 해석은 어떻게 다를까?
• RQ5 소스 항에 어떤 조건이 요구되어야 가중치가 있는 소볼레프 공간 내에서 해의 존재성과 정칙성이 보장되는가?

주요 결과

• 리만-리우빌-카푸토 연산자의 커널은 대수적으로 정칙적이며, 이는 해가 우변 함수의 정칙성을 그대로 이어받음을 의미한다.
• 리만-리우빌 연산자의 커널은 대수적으로 특이적이며, 이는 부드러운 우변 함수에 대해서도 경계 근처에서 해가 특이적 행동을 보임을 의미한다.
• 모든 경우에서 $f \in H^{-\alpha/2}(0,1)$ 이면, 딜리클레 조건 하에서 두 모델 모두 $H^{\alpha/2}_{0}(0,1)$ 내에 약한 해가 존재한다.
• 리만-리우빌 모델은 뉴먼 조건을 적용할 경우, 이전 연구에서 보여진 바와 같이 경계 조건 유형에 따라 잘 정의되지 않을 수 있다.
• 스펙트럼 방법은 해 계수의 수렴성과 유계성을 보장하며, 스타링의 근사법을 통해 감쇠율이 유도된다.
• 함수 $f \in L^2_{\rho^{(\beta,\alpha-\beta)}}(I)$ 를 만족할 경우, 급수 $\sum_{i=0}^{\infty} \mu_i c_i G_{i+1}^{(\beta-1,\alpha-\beta-1)}(0)$ 는 수렴하며, 이는 경계 조건의 일致성을 보장한다.