[논문 리뷰] Initial-boundary value problems for linear diffusion equation with multiple time-fractional derivatives

Zhiyuan Li, Masahiro Yamamoto|arXiv (Cornell University)|2013. 06. 12.

Fractional Differential Equations Solutions참고 문헌 31인용 수 9

한 줄 요약

이 논문은 고유함수 전개와 고정점 정리의 방법을 사용하여 다중 시간 분수계수를 가진 선형 확산방정식의 초기경계값 문제에 대한 해의 유일 존재성과 호일더 연속성을 확립한다. 동차 딜리클레 및 뉴먼 조건이 경계의 일부에 적용될 경우, 해는 식별적으로 0이 되며, 라플라스 변환과 해석성의 성질을 통해 고유계속성 성질을 입증한다.

ABSTRACT

In this paper, we discuss initial-boundary value problems for linear diffusion equation with multiple time-fractional derivatives. By means of the Mittag-Leffler function and the eigenfunction expansion, we reduce the problem to an integral equation for a solution, and we apply the fixed-point theorem to prove the unique existence and the Hölder regularity of solution. For the case of the homogeneous equation, the solution can be analytically extended to a sector $\{z\in\mathbb{C};z eq0,|\arg z|

연구 동기 및 목표

• 다중 시간 분수계수를 가진 선형 확산방정식의 초기경계값 문제에 대한 해의 유일 존재성과 호일더 연속성을 확립한다.
• 해석적 성질을 분석하며, 동차 경우에 대해 복소평면의 영역으로의 해석적 확장을 포함한다.
• 유일계속성 성질을 입증한다: 만약 해가 부분 경계에서 동차 뉴먼 조건을 만족하고 전체 경계에서 동차 딜리클레 조건을 만족한다면, 그 해는 식별적으로 0이 되어야 한다.
• 단일 분수계수에서 다중 분수계수로의 이론적 결과를 확장하여, 급수 해의 수렴성과 유일성 증명의 격차를 메운다.
• 고전적 모델이 장수 꼬리 확산 프로파일을 포착하지 못하는 비균질 매질에서 분수계수 확산 모델에 대한 엄밀한 프레임워크를 제공한다.

제안 방법

• 공간 영역에서 고유함수 전개를 사용하여 초기경계값 문제를 적분방정식으로 환원한다.
• 적절한 함수 공간에서 고정점 정리를 적용하여 해의 유일 존재성을 증명한다.
• 다중 분수계수 시간 도함수가 존재하므로, 미타그레플레르 함수를 사용하여 해를 표현한다.
• 유일계속성 성질을 확립하기 위해 라플라스 변환과 해석적 계속 기법을 사용한다.
• 해석함수 이론과 복소해석학을 적용하여 해를 복소평면의 영역으로 확장한다.
• 타원형 연산자의 고유계속성 성질과 고유함수의 구조를 이용하여 경계 조건 하에서 해가 0이 되는 것을 유도한다.

실험 결과

연구 질문

• RQ1 다중 시간 분수계수를 가진 선형 확산방정식의 초기경계값 문제가 어떤 조건에서 유일한 해를 가질 수 있는가?
• RQ2 해가 호일더 연속성을 지닐 수 있으며, 최적의 연속성 클래스는 무엇인가?
• RQ3 동차 방정식의 경우, 해가 복소평면의 영역으로 해석적 계속이 가능할 수 있는가?
• RQ4 만약 해가 부분 경계에서 동차 뉴먼 조건을 만족하고 전체 경계에서 동차 딜리클레 조건을 만족한다면, 반드시 식별적으로 0이 되어야 하는가?
• RQ5 계수들이 양수 상수일 경우와 변수 계수일 경우 해의 성질은 어떻게 달라지는가?

주요 결과

• 고정점 정리를 통해 유일 존재성이 입증되었으며, $H^{2\beta}(\bar{\Omega})$에 값이 있는 시간에 대한 해는 $\beta \in (0,1)$에 대해 호일더 연속성을 가진다.
• 동차 방정식의 경우, 해는 영역 $\{z \in \mathbb{C} \setminus \{0\} : |\arg z| < \pi/2\}$으로 해석적으로 확장될 수 있다.
• 만약 해가 분수계수 확산방정식과 열린 부분집합 $\Gamma \subset \partial\Omega$에서 동차 뉴먼 조건을 만족하고 전체 $\partial\Omega$에서 동차 딜리클레 조건을 만족한다면, $\Omega \times (0,T)$에서 해는 식별적으로 0이 된다.
• 유일계속성 증명은 해를 더 큰 정의역으로 확장하고, 라플라스 변환을 적용하며, 해석성과 타원형 연산자의 고유계속성 성질을 이용한다.
• 미타그레플레르 함수와 스펙트럼 이론을 사용하여 고유함수 급수 해의 수렴성이 엄밀히 입증된다.
• 기존의 단일 분수계수 결과를 다중 분수계수로 확장하여, 이산 가중치를 가진 분포형 분수계수 확산방정식에 대한 프레임워크를 제공한다.