[논문 리뷰] Existence and Uniqueness of Boundary Value Problems for Hilfer-Hadamard-Type Fractional Differential Equations

Ahmad Y. A. Salamooni, D. D. Pawar|arXiv (Cornell University)|2018. 01. 31.

Nonlinear Differential Equations Analysis참고 문헌 8인용 수 9

한 줄 요약

이 논문은 바나흐 공간에서 고정점 정리들을 사용하여 순서 $1 < \alpha \leq 2$ 및 유형 $\beta \in [0,1]$를 가진 힐러-하다마르드 유형 분수 미분 방정식의 경계값 문제에 대한 해의 존재성과 유일성을 확립한다. 주요 기여는 샤펜의 정리와 크라스노셀스키의 정리를 통한 존재성 증명과 리프시츠 조건을 만족시키며 계수 $C = 1/16$를 갖는 수축 조건 하에서의 유일성 증명이다. 이는 $C\Phi < 1$ 조건을 만족시키는 수치 예제를 통해 검증된다. 분석은 하다마르드 유형 분수 미분학의 성질과 로그 핵을 가진 적분 연산자에 기반한다.

ABSTRACT

In this paper, we used some theorems of fixed point for studying the results of Existence and Uniqueness For Hilfer-Hadamard-Type Fractional Differential Equations, \[_{H}D^{α,β}x(t)+f(t,x(t))=0, ~~~~~~ on~~the~~ interval~~ J:=(1,e]\] with Boundary Value Problems \[x(1+ε)=0,~~~~~~~~~~_{H}D^{1,1}x(e)=ν~_{H}D^{1,1}x(ζ)\]

연구 동기 및 목표

• 힐러-하다마르드 유형 분수 미분 방정식을 포함하는 경계값 문제(BVP)에 대한 해의 존재성과 유일성을 조사하는 것.
• 힐러-하다마르드 도함수를 통합함으로써 분수 미분 방정식 이론을 확장하는 것. 이는 하다마르드 도함수와 캡투로-하다마르드 도함수를 일반화한다.
• 이러한 BVP가 최소한 하나의 해 또는 유일한 해를 갖는 데 필요한 충분조건을 고정점 이론을 통해 수립하는 것.
• 비국소 경계 조건이 $e$ 및 $\zeta$에서 $\nu$-가중 도함수를 포함하는 구간 $(1,e]$에서 힐러-하다마르드 분수 BVP에 대해 엄밀한 분석 프레임워크를 제공하는 것.
• 해의 유일성을 리프시츠 조건 하에서 $C = 1/16$로 확인하는 구체적 예제를 통해 이론적 결과를 검증하는 것.

제안 방법

• 연구는 바나흐 공간에서 연속 함수의 집합인 $(1,e]$에서 샤펜의 정리와 크라스노셀스키의 정리를 사용하여 BVP와 관련된 연산자 분석을 수행한다.
• 힐러-하다마르드 분수 도함수 $ {}_{H}D^{\alpha,\beta} $는 하다마르드 분수 적분과 도함수의 복합으로 정의되며, $ \gamma = \alpha + \beta - \alpha\beta $ 및 $ \delta = t \frac{d}{dt} $를 포함한다.
• BVP는 하다마르드 유형 적분을 사용한 로그 핵 $ (\log(t/\tau))^{\alpha-1} $을 가진 적분 연산자 $ \rho $의 고정점 문제로 변환된다.
• 해의 존재성은 연산자 $ \rho $가 유계 집합 위에서 완전 연속이며 스스로에 대한 사상임을 보여줌으로써 증명되며, 감마 함수와 로그 노름을 포함한 추정을 사용한다.
• 유일성은 바나흐 수축 원리에 의해 확립되며, 비선형성 $ f(t,x) $의 리프시츠 상수 $ C $가 $ C\Phi < 1 $ 조건을 만족해야 한다. 여기서 $ \Phi $는 적분 연산자의 노름이다.
• 수치 예제로 $ \alpha = 3/2 $, $ \beta = 1/2 $, $ \nu = 1/2 $, $ \zeta = 3/2 $, $ f(t,x) = \frac{1}{32}(\sqrt{t} + \log t)\left(\frac{|x|}{2 + |x|}\right) $를 제공하며, 이 경우 $ C = 1/16 $이고 $ C\Phi \approx 0.0876 < 1 $이다.

실험 결과

연구 질문

• RQ1 힐러-하다마르드 유형 분수 미분 방정식 $ {}_{H}D^{\alpha,\beta}x(t) + f(t,x(t)) = 0 $이 $ (1,e] $에서 최소한 하나의 해를 갖는 조건은 무엇인가?
• RQ2 이러한 BVP의 해가 유일해지기 위한 조건은 무엇인가?
• RQ3 경계 조건 $ x(1+\epsilon) = 0 $ 및 $ {}_{H}D^{1,1}x(e) = \nu {}_{H}D^{1,1}x(\zeta) $는 해의 구조에 어떤 영향을 미치는가?
• RQ4 $ \nu \in [0,1) $의 매개변수는 비국소 경계 조건의 성격에 어떤 역할을 하는가?
• RQ5 해당 이론적 결과는 계수 $C$와 연산자 노름을 명시적으로 계산한 구체적 예제를 통해 검증될 수 있는가?

주요 결과

• 해는 샤펜의 고정점 정리에 의해 존재함이 증명되며, 연산자 $ \rho $가 완전 연속이면서 유계 집합을 스스로에 사상함을 보여줌으로써 $(1,e]$에서 최소한 하나의 해를 갖는다.
• 비선형성 $ f(t,x) $가 리프시츠 조건을 만족하고 상수 $ C = 1/16 $이며, $ C\Phi < 1 $ 조건을 만족할 경우 유일한 해가 존재한다. 여기서 $ \Phi \approx 1.404 $이며, $ C\Phi \approx 0.0876 $이다.
• 해의 존재성 결과는 $ f $가 연속적이고 유계라는 가정 하에 확립되며, 감마 함수와 로그 항을 포함한 적분 추정을 통해 유도된 상수 $ M $에 의해 해의 노름이 유계임을 보여준다.
• 비선형성 $ f(t,x) = \frac{1}{32}(\sqrt{t} + \log t)\left(\frac{|x|}{2 + |x|}\right) $를 포함하는 예제에서 리프시츠 조건이 $ |f(t,x) - f(t,y)| \leq \frac{1}{16}|x - y| $를 만족함으로써 $ C = 1/16 $임을 확인한다.
• 예제는 수축 조건 $ C\Phi < 1 $가 충족됨을 보여주며, 이는 바나흐 수축 원리가 해의 유일성에 적용 가능함을 확인한다.
• 분석 결과, 힐러-하다마르드 도함수 프레임워크는 비국소 조건을 가진 잘 정의된 BVP를 지원함을 확인하였으며, 고전적 분수 미분학 결과를 로그 핵 설정으로 확장함을 보여준다.