[논문 리뷰] Cauchy-Lipschitz theory for fractional multi-order dynamics -- State-transition matrices, Duhamel formulas and duality theorems

Loïc Bourdin|arXiv (Cornell University)|2017. 07. 07.

Fractional Differential Equations Solutions인용 수 7

한 줄 요약

이 논문은 리만-리우빌 및 캅투 도함수를 포함하는 분수계수 다중순서 동역계 시스템에 대한 코시-립시츠 이론을 수립한다. 분수계수 상태이행행렬을 도입하고, 분수계수 두하멜 공식을 유도하며, 좌우 상태이행행렬을 연결하는 이중성 정리들을 증명하여 비선형 분수계수 코시 문제를 해결하기 위한 기초를 제공한다. 존재성, 유일성 및 구조적 결과를 포함한다.

ABSTRACT

The aim of the present paper is to contribute to the development of the study of Cauchy problems involving Riemann-Liouville and Caputo fractional derivatives. Firstly existence-uniqueness results for solutions of non-linear Cauchy problems with vector fractional multi-order are addressed. A qualitative result about the behavior of local but non-global solutions is also provided. Finally the major aim of this paper is to introduce notions of fractional state-transition matrices and to derive fractional versions of the classical Duhamel formula. We also prove duality theorems relying left state-transition matrices with right state-transition matrices.

연구 동기 및 목표

• 비선형 분수계수 다중순서 동역계 시스템에 대한 코시-립시츠 이론을 수립한다. 이는 리만-리우빌 및 캅투 도함수를 포함한다.
• 벡터 분수계수 코시 문제에 대해 리만-리우빌 및 캅투 표현 방식에서 해의 존재성과 유일성을 확립한다.
• 고전적 선형 시스템 이론을 분수계수로 일반화한 분수계수 상태이행행렬을 도입한다.
• 비동차 분수계수 시스템에 대해 두하멜 공식의 분수계수 형태를 도출한다.
• 좌우 상태이행행렬을 연결하는 이중성 정리들을 증명하여 분수계수 프레임워크 내에서 구조적 일致성을 확보한다.

제안 방법

• 분수적 적분을 기반으로 한 적분 표현을 통해 비선형 벡터 분수계수 코시 문제에 대한 존재성 및 유일성 결과를 체계화한다.
• 리만-리우빌 및 캅투 분수적 적분을 포함하는 볼테라 적분방정식을 통해 분수계수 상태이행행렬을 정의한다.
• 반복된 분수적 적분 연산자와 행렬 콘볼루션 구조를 이용해 분수계수 두하멜 공식을 도출한다.
• 중첩된 적분을 다룰 때 피보니의 정리와 변수변환을 활용하여 상태이행행렬 항등식 유도 과정을 제어한다.
• 대칭적 적분 표현을 통해 좌우 상태이행행렬 간의 관계를 연결함으로써 이중성 정리들을 수립한다.
• 행렬 분수적 적분 항등식에 관한 보조정리와 감마 함수의 성질을 활용하여 상태이행행렬의 재귀적 구조를 검증한다.

실험 결과

연구 질문

• RQ1 리만-리우빌 또는 캅투 도함수를 갖는 비선형 분수계수 다중순서 코시 문제에서 어떤 조건 하에 유일한 해가 존재하는가?
• RQ2 다중순서 도함수를 갖는 분수계수 시스템에 대해 상태이행행렬 개념은 어떻게 일반화될 수 있는가?
• RQ3 다중순서 분수계수 시스템의 맥락에서 고전적 두하멜 공식의 분수계수 대응은 무엇인가?
• RQ4 분수계수 시스템에서 좌우 상태이행행렬은 어떻게 관련되어 있으며, 이중성 정리를 수립할 수 있는가?
• RQ5 지역적 그러나 전역적이지 않은 해의 행동은 분수계수 코시 문제에서 어떻게 나타나며, 고전적 상미분 방정식과는 어떻게 다를까?

주요 결과

• 다이나믹스 f에 대해 리프시츠 연속성과 선형 성장 조건이 만족될 경우, 벡터 분수계수 코시 문제(VCP)에 대해 전역 해의 존재성과 유일성이 확립된다.
• 캅투 표현(cVCP)의 경우, 최대 해의 존재성과 유일성이 증명되며, 국소적이지만 전역적이지 않은 해의 행동에 대한 정성적 결과가 도출된다.
• 분수계수 상태이행행렬은 분수적 적분의 차수 α 및 β를 포함하는 볼테라 적분방정식을 정확히 만족함이 입증된다.
• 분수계수 두하멜 공식이 도출되었으며, 이는 비동차 분수계수 시스템의 해를 외부력과 상태이행행렬의 콘볼루션으로 표현한다.
• 이중성 정리들이 증명되었으며, 이는 한 시스템의 좌측 상태이행행렬이 다른 시스템의 우측 상태이행행렬과 대칭적 적분 항등식을 통해 연결됨을 보여준다.
• 상수 계수 시스템의 경우, 분수계수 상태이행행렬은 미타그레플레르 함수형 커널을 갖는 볼테라 적분방정식을 만족하며, 고전적 지수해를 일반화한다.