[논문 리뷰] Operator theoretic approach to the Caputo derivative and the fractional diffusion equations

Rudolf Gorenflo, Yuri Luchko외 1명|arXiv (Cornell University)|2014. 11. 26.

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

한 줄 요약

이 논문은 분수적 소볼레프 공간 내에서 고전적 점별 정의가 과도한 미분 가능성 요구 조건으로 인해 제한되는 문제를 해결하기 위해, 분수적 소볼레프 공간 내에서 Caputo 분수도의 새로운 연산자 이론적 정의를 제안한다. 분수적 적분 및 미분 연산자 간의 노름 등가성을 확립함으로써, 시간 분수 확산 방정식의 약한 해에 대한 최대 정규성과 존재-유일성을 증명한다.

ABSTRACT

The Caputo time-derivative is usually defined pointwise for well-behaved functions, say, for continuously differentiable functions. Accordingly, in the theory of the partial fractional differential equations with the Caputo derivatives, the functional spaces where the solutions are looked for are often the spaces of the smooth functions that are too narrow. In this paper, we introduce a suitable definition of the Caputo derivative in the fractional Sobolev spaces and investigate it from the operator theoretic viewpoint. In particular, some important equivalences of the norms related to the fractional integration and differentiation operators in the fractional Sobolev spaces are given. These results are then applied for proving the maximal regularity of the solutions to some initial-boundary value problems for the time-fractional diffusion equation with the Caputo derivative in the fractional Sobolev spaces.

연구 동기 및 목표

• 고전적 Caputo 도함수 정의의 한계를 해결하기 위해, 점별 미분 가능성이 요구되며 이로 인해 해 공간이 지나치게 매끄럽게 제한되는 문제를 해결한다.
• 분수적 소볼레프 공간 내에서 Caputo 도함수를 의미 있는 방식으로 정의함으로써, 분수 PDE의 약한 해 분석이 가능하게 한다.
• 이들 공간 내에서 분수적 적분 및 미분 연산자 간의 노름 등가성을 확립하여 정규성 이론에 핵심적인 기여를 한다.
• 시간 분수 확산 방정식의 초기-경계값 문제에 대해 Caputo 도함수를 사용할 때 최대 정규성과 존재-유일성 결과를 증명한다.
• 데이터의 정규성과 해의 노름 추정 간의 모순을 해결하기 위해, 데이터 정규성과 해의 노름 간의 호환성을 확보한다.

제안 방법

• 점별 미분 가능성이 요구되지 않는 조건에서, 분수적 소볼레프 공간 내에서 쌍대성과 연산자 확장을 통해 Caputo 도함수를 정의한다.
• 리만-리우빌 적분을 기초로 삼고, 연산자 이론적 항등식을 통해 이를 Caputo 도함수와 연결한다.
• 감마 함수의 성질을 활용하여, 분수적 소볼레프 노름과 분수적 적분 및 도함수를 포함하는 노름 간의 등가성을 확립한다.
• 일반적인 타원 연산자 $-L$ 을 갖는 시간 분수 확산 방정식에 이론을 적용하고, 볼테라 적분 형태를 사용한다.
• $L^2(0,T;H^1_0(\bar\bigOmega))$ 내에서 고정점 추론을 적용하기 위해 반복된 연산자 $Q^m$ 을 추정하고, 큰 $m$ 에서 수축성을 보여준다.
• 감마 함수의 渐近 분석을 통해 수축 상수 $\rho_m \to 0$ 이 되도록 증명하여, 존재성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 고전적 점별 정의가 미분 가능성 부족으로 실패할 경우, 분수적 소볼레프 공간 내에서 Caputo 도함수를 어떻게 의미 있게 정의할 수 있는가?
• RQ2 분수적 소볼레프 공간 내에서 분수적 적분 및 미분 연산자 간의 노름 등가는 무엇이며, 정규성 분석에 어떻게 기여하는가?
• RQ3 Caputo 도함수를 사용하는 시간 분수 확산 방정식에 대해, 분수적 소볼레프 공간 내에서 최대 정규성과 약한 해의 존재-유일성이 확립될 수 있는가?
• RQ4 데이터 정규성 $F \in L^\infty(0,T;L^2(\Omega))$ 와 해의 노름 추정 $L^2(0,T;L^2(\Omega))$ 간의 모순은 어떻게 해결할 수 있는가?
• RQ5 해 연산자가 $L^2(0,T;H^1_0(\Omega))$ 내에서 수축성을 가지기 위한 조건는 무엇이며, 이를 통해 고정점 이론에 의한 존재성이 보장되는가?

주요 결과

• 분수적 소볼레프 공간 내에서 Caputo 도함수에 대한 새로운 연산자 이론적 정의가 제안되었으며, $\partial_t u$ 가 점별로 존재하지 않더라도 유효하다.
• 분수적 소볼레프 노름과 분수적 적분 및 도함수를 포함하는 노름 간의 등가성이 확립되어 강력한 분석이 가능해졌다.
• 해 연산자 $Q$ 는 $\|Q^m u\|_{L^2(0,T;H^1)} \leq \rho_m^2 T^2 \|u\|_{L^2(0,T;H^1)}$ 를 만족하며, $\rho_m \to 0$ 이 되어 큰 $m$ 에서 수축성을 보여준다.
• 방정식 $u = Qu + G$ 는 $L^2(0,T;H^1_0(\Omega))$ 내에 고유한 해를 가지며, 이는 약한 해의 존재성과 유일성을 보장한다.
• 해는 $\|u\|_{L^2(0,T;H^1)} \leq C \|F\|_{L^2(0,T;L^2)}$ 를 만족하여 이전의 노름 추정에서의 모순을 해결한다.
• 최대 정규성이 달성된다: $u \in L^2(0,T;H^2(\Omega)) \cap H^\alpha(0,T;L^2(\Omega))$ 이며, $\|u\|_{L^2(0,T;H^2) \cap H^\alpha(L^2)} \leq C \|F\|_{L^2(0,T;L^2)}$ 이다.