[논문 리뷰] Local density of solutions of time and space fractional equations

Alessandro Carbotti, Serena Dipierro외 1명|arXiv (Cornell University)|2018. 10. 19.

Fractional Differential Equations Solutions참고 문헌 10인용 수 8

한 줄 요약

이 논문은 시간 및 공간 분수형 편미분방정식의 해의 국소 밀도를 입증한다. 구체적으로, 임의의 매끄러운 함수가 시간과 공간에서 고전적 및 분수도 도함수를 조합한 일반 선형 연산자의 핵에 속하는 함수들에 의해 $ C^{u} $-노름에서 임의로 정밀하게 근사 가능하다는 것을 보여준다. 핵심 결과는 고전적 PDE의 엄격함을 뛰어넘는 풍부하고 비국소적인 해 공간을 보여주며, 기억 효과와 비정상적 확산 특성을 지닌 비국소 방정식의 해를 통해 임의의 함수를 근사할 수 있음을 시사한다.

ABSTRACT

We prove that any given function can be smoothly approximated by functions lying in the kernel of a linear operator involving at least one fractional component. The setting in which we work is very general, since it takes into account anomalous diffusion, with possible fractional components in both space and time. The operators studied comprise the case of the sum of classical and fractional Laplacians, possibly of different orders, in the space variables, and classical or fractional derivatives in the time variables. This type of approximation results shows that space-fractional and time-fractional equations exhibit a variety of solutions which is much richer and more abundant than in the case of classical diffusion.

연구 동기 및 목표

• 시간과 공간에서 고전적 및 분수도 도함수를 조합한 선형 연산자의 해 공간을 조사하는 것.
• 임의의 매끄러운 함수가 이러한 비국소 연산자의 핵에 속하는 해들에 의해 근사 가능한지 여부를 규명하는 것.
• 비국소 방정식이 고전적 PDE보다 훨씬 풍부하고 유연한 해 구조를 지닌다는 것을 확립하는 것.
• 시간 및 공간 분수도 도함수를 포함하는 연산자의 핵이 매끄러운 함수 공간에서 $ C^{\nu} $-위상 하에 밀도를 이룬다는 것을 보여주는 것.

제안 방법

• 저자들은 스케일링과 섭동을 기반으로 한 방법을 사용하며, $ \eta \to 0 $ 일 때의 스케일링된 함수들 $ u(x,y,t) = \sum_{j=1}^{J} c_j u_j(\eta^{1/r}x, \eta^{1/2s}y, \eta^{1/\alpha}t) $ 의 가족을 활용한다.
• 주어진 함수 $ f $ 를 $ \Lambda_{-\infty}u = 0 $ 의 해들로 근사할 때의 오차를 임의로 작게 만들 수 있음을 보이기 위해 핵심적인 스팬 결과를 적용한다.
• 증명은 시간에 대한 Caputo 분수도 도함수와 공간에 대한 분수도 라플라스 연산자를 사용함으로써, 비국소적이고 기억 의존적인 역학을 가능하게 한다.
• 근사 함수들의 컴팩트 지지와 매끄러움을 확보하기 위해 단위 분할과 매끄러운 캐터프를 사용한다.
• 다항식의 경우 근사 오차는 $ C\eta $ 로 유계이며, $ \eta $ 를 충분히 작게 선택함으로써 임의의 $ \epsilon > 0 $ 보다 작게 만들 수 있다.
• 선형성에 의해 다항식으로부터 일반적인 $ C^\ell $ 함수로 결과를 확장하며, 다항식 근사에 기반한 밀도 추론을 통해 수행한다.

실험 결과

연구 질문

• RQ1 유계 영역에서 정의된 임의의 매끄러운 함수는 시간 및 공간 분수도 도함수를 포함하는 선형 비국소 연산자의 해들에 의해 $ C^\ell $-노름에서 근사 가능할 수 있는가?
• RQ2 시간 및 공간에서 고전적 및 분수도 도함수를 조합한 일반 비국소 연산자의 핵이 매끄러운 위상에서 밀도를 이룬다 할 수 있는가?
• RQ3 시간 및 공간 분수도 도함수를 포함하는 비국소적 구조는 고전적 PDE와 비교해 어떻게 더 풍부한 해 행동을 가능하게 하는가?
• RQ4 특히 영역 경계 근처에서 이러한 비국소 방정식의 해의 경계 행동과 정칙성은 어떠한가?
• RQ5 분수형 PDE의 해 공간은 비정상적 확산 및 기억 효과와 같은 복잡한 현상을 모델링하는 데 얼마나 널리 적용될 수 있는가?

주요 결과

• 유계 영역에서 정의된 임의의 $ C^\ell $ 함수는 시간 및 공간 분수도 도함수를 포함하는 선형 연산자의 핵에 속하는 함수들에 의해 $ C^\ell $-노름에서 근사 가능하다.
• 근사 오차는 주어진 $ \epsilon > 0 $ 보다 작게 만들 수 있으며, 오차는 어떤 $ C > 0 $ 에 대해 $ C\eta $ 로 유계이며, 여기서 $ \eta $ 는 근사 함수의 스케일링을 제어한다.
• 비국소 연산자 $ \Lambda_{-\infty}u = 0 $ 의 해 공간은 고전적 및 분수도 도함수를 모두 포함하더라도 매끄러운 함수 공간에서 밀도를 이룬다.
• 이 방법은 구조적 제약이 없는 함수들에 대해 균일하게 적용되며, 고전적 PDE에서 부재한 근본적인 비국소적 유연성을 보여준다.
• 다양한 순서의 공간 분수도 라플라스 연산자와 Caputo 유형의 시간 도함수를 조합한 연산자에 대해서도 결과가 성립함을 확인하여 광범위한 적용 가능성을 입증한다.
• 구성은 근사 함수들이 매끄럽고 컴팩트 지지를 가지며, 반공간 영역에서 요구되는 동차 방정식을 만족함을 보장하여 정칙성과 감쇠성을 유지한다.