[논문 리뷰] Combined Delta-Nabla Sum Operator in Discrete Fractional Calculus

Nuno R. O. Bastos, Delfim F. M. Torres|arXiv (Cornell University)|2010. 09. 16.

Fractional Differential Equations Solutions참고 문헌 14인용 수 11

한 줄 요약

이 논문은 델타 및 나블라 분수합의 볼록 선형 조합으로서 새로운 이산 분수 연산자인 조합 델타-나블라 합(diamond-γ)을 제안한다. 이는 표준 연산자들을 일반화하여 이산 분수미적분학을 하나의 프레임워크로 통합하면서 선형성과 라이프니츠 유형 법칙과 같은 핵심 성질을 유지한다. 연산자는 γ=1일 때 델타 연산자로, γ=0일 때는 나블라 연산자로 간소화된다.

ABSTRACT

We introduce a more general discrete fractional operator, given by convex linear combination of the delta and nabla fractional sums. Fundamental properties of the new fractional operator are proved. As particular cases, results on delta and nabla discrete fractional calculus are obtained.

연구 동기 및 목표

• 이차 분수미적분학에서 기존의 델타 및 나블라 접근법을 하나의 더 일반적인 연산자로 통합하는 것.
• 델타 분수합에서 발생하는 정의역 불일치 문제를 해결하기 위해 새로운 연산자의 정의역을 나블라 접근법과 일치시키는 것.
• 전방 및 후방 차분 연산자 사이의 연속적 보간을 도입하여 이산 집합 위의 분수미적분학을 일반화하는 것.
• 새로운 다이아몬드-γ 연산자에 대한 기본 성질(예: 선형성, 라이프니츠 법칙)을 확립하는 것.
• 미래의 임의의 시간 척도에서의 이산 분수 다이아몬드 차분 및 변분 원리 개발을 위한 프레임워크를 제공하는 것.

제안 방법

• 다이아몬드-γ 분수합 연산자를 볼록 조합으로 정의: $({}_{\text{γ}}\bowtie_{a}^{-\text{α},-\text{β}}f)(t) = \text{γ}(\nabla_{a}^{-\text{α}}f)(t+\text{α}) + (1-\text{γ})(\nabla_{a}^{-\text{β}}f)(t)$, $\gamma \in [0,1]$.
• 표준 델타 및 나블라 분수합 정의를 사용: $\Delta_{a}^{-\text{α}}f(t) = \frac{1}{\Gamma(\text{α})}\sum_{s=a}^{t-\text{α}}(t-\sigma(s))^{(\text{α}-1)}f(s)$ 및 $\nabla_{a}^{-\text{β}}f(t) = \frac{1}{\Gamma(\text{β})}\sum_{s=a}^{t}(t-\rho(s))^{\overline{\text{β}-1}}f(s)$.
• 기초가 되는 델타 및 나블라 합의 선형성에 기반해 연산자의 선형성을 증명하는 것.
• 뉴턴 급수 전개를 통해 $f(s)$ 및 $g(s)$를 전개하고 계승계수와 오름 계승계수를 사용하여 라이프니츠 유형 법칙을 유도하는 것.
• 연산자가 $\gamma=1$일 때 표준 델타 합으로, $\gamma=0$일 때는 나블라 합으로 간소화됨을 확인하여 기존 프레임워크와의 일致성을 입증하는 것.
• 감마 함수와 이항계수의 성질을 활용해 유도된 급수 표현을 $\binom{-\alpha}{k}$ 및 $\binom{-\beta}{k}$를 포함하는 간결한 형태로 단순화하는 것.

실험 결과

연구 질문

• RQ1 델타 및 나블라 분수합 연산자를 서로 간섭시키는 연속적인 연산자로 통합할 수 있는가?
• RQ2 이러한 일반화된 이산 분수 연산자의 기본 대수적 성질(예: 선형성, 라이프니츠 법칙)은 무엇인가?
• RQ3 새로운 연산자가 나블라 접근법의 정의역 일致성을 유지하면서도 델타 연산자의 구조를 통합할 수 있는가?
• RQ4 두 함수의 곱에 대해 다이아몬드-γ 연산자 하에서의 라이프니츠 법칙의 형태는 어떠한가?
• RQ5 $\gamma=0$ 및 $\gamma=1$의 특수 경우가 고전적인 나블라 및 델타 분수합을 어떻게 복원하는가?

주요 결과

• 다이아몬드-γ 연산자는 $\mathbb{N}_a = \{a, a+1, a+2, \ldots\}$ 위의 함수에 대해 잘 정의되며, 동일한 정의역으로 사상되므로 델타 연산자에서 기인하는 정의역 불일치 문제를 해결한다.
• 연산자는 선형성을 만족한다: $({}_{\gamma}\bowtie_{a}^{-\alpha,-\beta}(f+g))(t) = ({{}_{\gamma}\bowtie_{a}^{-\alpha,-\beta}}f)(t) + ({{}_{\gamma}\bowtie_{a}^{-\alpha,-\beta}}g)(t)$.
• 일반화된 라이프니츠 법칙이 도출되었다: $({}_{\gamma}\bowtie_{a}^{-\alpha,-\beta}(fg))(t) = \gamma\sum_{k=0}^{\infty}\binom{-\alpha}{k}(\nabla^{k}g)(t)(\Delta_{a}^{-(\alpha+k)}f)(t+\alpha+k) + (1-\gamma)\sum_{k=0}^{\infty}\binom{-\beta}{k}(\nabla^{k}g)(t)(\Delta_{a}^{-(\beta+k)}f)(t+\beta+k)$.
• $\gamma=0$일 때, 라이프니츠 법칙은 알려진 나블라 분수곱 법칙으로 간소화된다: $(\nabla_{a}^{-\beta}(fg))(t) = \sum_{k=0}^{\infty}\binom{-\beta}{k}[(\nabla^{k}g)(t)][(\Delta_{a}^{-(\beta+k)}f)(t+\beta+k)]$.
• $\gamma=1$일 때, 라이프니츠 법칙은 델타 분수곱 법칙으로 복원된다: $(\Delta_{a}^{-\alpha}(fg))(t+\alpha) = \sum_{k=0}^{\infty}\binom{-\alpha}{k}[(\nabla^{k}g)(t)][(\Delta_{a}^{-(\alpha+k)}f)(t+\alpha+k)]$.
• 이 프레임워크는 임의의 시간 척도로의 이산 분수미적분학 확장 및 다이아몬드-γ 연산자를 활용한 분수미적분 변분 원리 개발을 위한 기초를 제공한다.