[논문 리뷰] Fractional-order boundary value problem with Sturm-Liouville boundary conditions

Douglas R. Anderson, Richard I. Avery|arXiv (Cornell University)|2014. 11. 20.

Fractional Differential Equations Solutions참고 문헌 20인용 수 39

한 줄 요약

이 논문은 conformable 분수계 도함수를 사용하여 분수계 경계값 문제를 조사하며, 이 새로운 프레임워크에서 이阶 연속 문제를 재구성한다. 양의 Green의 함수를 구성하고 기능적 압축-확장 고정점 정리에 응용함으로써, 특정 조건 하에서 최소한 하나의 양의 해가 존재함을 증명한다. 이는 Riemann-Liouville 도함수 기반 결과와 비교할 때 해의 범위 및 적용 가능성 측면에서 유리한 결과를 제공한다.

ABSTRACT

Using the new conformable fractional derivative, which differs from the Riemann-Liouville and Caputo fractional derivatives, we reformulate the second-order conjugate boundary value problem in this new setting. Utilizing the corresponding positive fractional Green's function, we apply a functional compression-expansion fixed point theorem to prove the existence of a positive solution. We then compare our results favorably to those based on the Riemann-Liouville fractional derivative.

연구 동기 및 목표

• Riemann-Liouville 및 Caputo 도함수와 다름을 보이는 conformable 분수계 도함수를 사용하여 분수계 경계값 문제의 양의 해 존재성을 조사한다.
• 이차 연속 경계값 문제를 conformable 분수계 미적분 프레임워크로 재구성한다.
• 적절한 매개수 제약 조건 하에서 해당 분수계 Green의 함수의 양의 성질을 유도하고 증명한다.
• 기능적 압축-확장 고정점 정리를 적용하여 최소한 하나의 양의 해가 존재함을 확립한다.
• Riemann-Liouville 도함수 기반 이전 결과와 비교하여, 해의 범위 및 조건 측면에서 유리한 존재 결과를 도출한다.

제안 방법

• 순서 $\alpha$ 의 conformable 분수계 도함수는 $D^{\alpha}f(t) = t^{1-\alpha}f'(t)$ 로 정의되며, 기존의 Riemann-Liouville 또는 Caputo 정의를 대체한다.
• 문제는 $[0,1]$ 에서 $-D^{\beta}D^{\alpha}x(t) = f(t,x(t))$ 로 표현되며, Sturm-Liouville 경계 조건 $\gamma x(0) - \delta D^{\alpha}x(0) = 0 = \eta x(1) + \zeta D^{\alpha}x(1)$ 을 만족한다. 여기서 $\alpha, \beta \in (0,1]$ 이며, 매개수는 $d = \eta\delta + \gamma\zeta + \gamma\eta/\alpha > 0$ 를 만족한다.
• $\beta$-분수적 적분은 $\int_a^b f(s) d_\beta s = \int_a^b f(s)s^{\beta-1} ds$ 로 정의되며, conformable 프레임워크 내에서의 적분을 가능하게 한다.
• Green의 함수 $G(t,s)$ 는 조각별 형태로 명시적으로 유도되었으며, 주어진 매개수 제약 조건 하에서 양의 성질을 보장한다.
• 연산자 $Ax(t) = \int_0^1 G(t,s)f(s,x(s)) d_\beta s$ 에 대해 기능적 압축-확장 고정점 정리를 적용하여, 양함수의 코ーン 내에서 고정점의 존재성을 증명한다.
• 비교 예제를 통해 $\alpha=1$, $\beta=1/2$, $f(s,x)=1 + \frac{1}{4}\sin s + x^2$ 를 사용하여 존재성을 검증하였으며, 최소값 및 최대값이 특정된 범위 내에 양의 해가 존재함을 보였다.

실험 결과

연구 질문

• RQ1 conformable 분수계 도함수 프레임워크는 Sturm-Liouville 조건을 갖는 이차 연속 경계값 문제에서 양의 해 존재를 허용하는가?
• RQ2 conformable 분수계 연속 문제에 대해 양의 Green의 함수를 명시적으로 구성할 수 있으며, 어떤 매개수 조건에서 양의 성질을 갖는가?
• RQ3 conformable 도함수 기반의 존재 결과는 Riemann-Liouville 도함수 기반 결과와 비교해 양적·정성적으로 어떻게 다른가?
• RQ4 비선형성 $f(t,x)$ 에 어떤 조건이 성립하면 기능적 압축-확장 고정점 정리를 통해 최소한 하나의 양의 해가 존재하는가?
• RQ5 Riemann-Liouville 경우에 비해 conformable 설정에서 양의 해의 최소값 및 최대값에 대해 더 날카운 경계를 설정할 수 있는가?

주요 결과

• conformable 분수계 도함수를 통해 이차 연속 경계값 문제의 재구성이 가능해졌으며, 고정점 이론을 통한 새로운 존재 증명이 가능해졌다.
• Sturm-Liouville 문제에 대한 Green의 함수 $G(t,s)$ 는 명시적으로 유도되었으며, 조건 $\gamma,\delta,\eta,\zeta \geq 0$ 와 $d > 0$ 하에서 양의 성질을 증명하였다. 이는 후속 고정점 분석의 타당성을 보장한다.
• 연속 문제($x(0)=x(1)=0$)의 경우, Green의 함수는 $G(t,s) = \frac{1}{\alpha} \min(t^\alpha, s^\alpha) \cdot (1 - \max(t^\alpha, s^\alpha))$ 로 단순화되며, 이는 $[0,1]^2$ 에서 양의 성질을 갖는다.
• 문제 $-D^{0.5}x'(t) = 1 + \frac{1}{4}\sin t + x(t)^2$, $x(0)=x(1)=0$ 에 대해, $\min_{t\in[1/4,3/4]}x^*(t) \geq \frac{11}{1000}$ 과 $\max_{t\in[0,1]}x^*(t) \leq \frac{9}{25}$ 를 만족하는 양의 해가 존재한다.
• Riemann-Liouville 기반 결과 [3] 와 비교해, conformable 설정에서는 해의 최소값에 대해 더 날카운 경계를 확보할 수 있었으며, 이는 [3] 에서는 최대값에 대해만 $\max x^\dagger \geq \frac{1}{14}$ 와 $\max x^\dagger \leq 1$ 이 도출되었고, 최소값에 대한 정보는 없었다.
• 기능적 압축-확장 고정점 정리는 양함수의 코너 내에서 양의 해 존재성을 성공적으로 증명하였으며, 연산자 $A$ 는 코너를 자기 자신으로 매핑하고, 필요한 압축 및 확장 조건을 만족한다.