[논문 리뷰] Fractional Calculus on Time Scales

Nuno R. O. Bastos|arXiv (Cornell University)|2012. 02. 14.

Fractional Differential Equations Solutions참고 문헌 96인용 수 12

한 줄 요약

이 논문은 $ℤ$ 및 $(hℤ)_a$와 같은 이산 시간 척도 위에서 새로운 분수적 적분변분법 이론을 제안하며, 새로운 분수적 합성부분적분 공식을 통해 일阶 및 이阶 필요 최적성 조건을 수립한다. 또한 역 일반화 라플라스 변환을 이용하여 임의의 시간 척도 위에서 분수적 미분과 적분의 정의를 제안하고, Maxima 기반 계산과 구체적인 예시를 통해 수치적 검증을 수행한다.

ABSTRACT

We introduce a discrete-time fractional calculus of variations on the time scales $\mathbb{Z}$ and $(h\mathbb{Z})_a$. First and second order necessary optimality conditions are established. Some numerical examples illustrating the use of the new Euler-Lagrange and Legendre type conditions are given. We also give new definitions of fractional derivatives and integrals on time scales via the inverse generalized Laplace transform.

연구 동기 및 목표

• 이산 시간 척도 $\mathbb{Z}$ 및 $(h\mathbb{Z})_a$ 위에서 분수적 적분변분법 프레임워크를 개발한다.
• 이 도메인에서의 분수적 변분 문제에 대해 일阶 및 이阶 필요 최적성 조건을 수립한다.
• 역 일반화 라플라스 변환을 이용하여 임의의 시간 척도 위에서 분수적 미분과 적분의 새로운 정의를 제안한다.
• 새로운 올리버–라그랑주 및 레지오르드 유형 최적성 조건의 수치적 예시를 제공한다.
• Maxima 컴퓨터 대수 시스템을 활용하여 이론적 결과를 구현하고 검증한다.

제안 방법

• 시간 척도 $\mathbb{Z}$에 대해 분수적 합성부분적분 공식을 유도하여 변분 분석을 가능하게 한다.
• 역 일반화 라플라스 변환을 적용하여 임의의 시간 척도 위에서 분수적 미분과 적분을 정의한다.
• 이산 분수적 올리버–라그랑주 방정식을 통해 일阶 필요 최적성 조건을 수립한다.
• 이차 미분계수를 포함하는 라그랑지안의 이차 편미분을 다루는 레지오르드 유형의 이阶 필요 최적성 조건을 유도한다.
• Maxima에서의 기호 계산을 활용하여 유도된 최적성 조건을 특정 변분 문제에 대해 구현하고 테스트한다.
• 좌우 분수 차분을 모델링하기 위해 이산 분수적 연산자 $\Delta_a^{\alpha}$ 및 $\Delta_b^{-\beta}$를 활용한다.

실험 결과

연구 질문

• RQ1 분수적 적분변분법은 어떻게 이산 시간 척도 $\mathbb{Z}$ 및 $(h\mathbb{Z})_a$로 확장될 수 있는가?
• RQ2 이산 시간 척도 위에서의 분수적 변분 문제에 대해 일阶 및 이阶 필요 최적성 조건은 무엇인가?
• RQ3 역 일반화 라플라스 변환을 이용하여 임의의 시간 척도 위에서 분수적 미분과 적분을 일관되게 정의할 수 있는가?
• RQ4 분수적 합성부분적분 공식은 최적성 조건 유도에 어떤 역할을 하는가?
• RQ5 새로운 최적성 조건는 기호 계산 도구를 통해 어떻게 수치적으로 검증하고 적용될 수 있는가?

주요 결과

• 시간 척도 $\mathbb{Z}$에 대해 새로운 분수적 합성부분적분 공식이 유도되었으며, 이는 필수 최적성 조건 유도를 가능하게 한다.
• 좌우 분수 차분을 포함하는 이산 분수적 올리버–라그랑주 방정식 형태로 일阶 필요 최적성 조건가 수립되었다.
• 이차 편미분계수와 분수적 적분 항을 포함하는 레지오르드 유형의 이阶 필요 최적성 조건이 도출되었다.
• 제안된 임의의 시간 척도 위에서의 분수적 미분 및 적분 정의는 역 일반화 라플라스 변환에 기반하여, 연속적인 분수적 미적분학과의 극한에서 일관성을 보장한다.
• 수치적 예시를 통해 새로운 올리버–라그랑주 및 레지오르드 유형 조건의 적용이 확인되었으며, Maxima 코드를 통해 결과가 검증되었다.
• Maxima 구현은 극값 곡선을 성공적으로 계산하고 최적성 조건을 점검하여 기호 계산을 통한 이론적 프레임워크의 타당성을 확인했다.