[논문 리뷰] Necessary Optimality Conditions for Fractional Action-Like Problems with Intrinsic and Observer Times

Gastão S. F. Frederico, Delfim F. M. Torres|ArXiv.org|2007. 12. 02.

Optimization and Variational Analysis인용 수 6

한 줄 요약

이 논문은 내재된 시간과 관측자 시간을 포함하는 분수계 행동유사변분문제(FALVA)에 대해 고차수 오일러-라그랑주 및 두보아-레임던 필요 최적성 조건을 수립한다. 이는 이전 연구를 확장하여 고차수 도함수를 포함하는 FALVA 문제에 대한 정적 조건을 유도하고, 해밀토니안 체계를 사용한 이중시간 최적제어 프레임워크를 제시하며, 분수계 시스템에 대한 약한 최대원리와 일반화된 두보아-레임던 조건을 증명한다.

ABSTRACT

We prove higher-order Euler-Lagrange and DuBois-Reymond stationary conditions to fractional action-like variational problems. More general fractional action-like optimal control problems are also considered.

연구 동기 및 목표

• 분수계 행동유사변분문제(FALVA)의 오일러-라그랑주 방정식을 고차수 도함수를 포함하도록 일반화한다.
• 내재된 시간과 관측자 시간을 포함하는 FALVA 문제에 대해 고차수 두보아-레임던 정적 조건을 수립한다.
• 해밀토니안 체계를 사용하여 FALVA 프레임워크 내에서 이중시간 최적제어 문제를 제작하고 분석한다.
• FALVA 유형의 최적제어 문제에 대해 약한 폰트리아진 최대원리를 증명한다.
• 이중시간 최적제어 맥락에서 FALVA 변곡선에 대해 일반화된 두보아-레임던 조건을 도출한다.

제안 방법

• 관측자 시간 $ t $ 와 내재된 시간 $ \theta $ 를 포함하는 리만-리오빌 분수적 적분을 포함하는 적분 함수기반 기반으로 변분 원리를 적용하여 FALVA 문제에 대한 고차수 오일러-라그랑주 방정식을 도출한다.
• 기능의 일阶 변분에 대해 반복적인 부분적 적분을 적용하여 경계항을 제거하고 정적 조건을 도출한다.
• 제어 동역학을 포함하는 해밀토니안을 사용하여 문제를 확장된 기능으로 환원함으로써 이중시간 최적제어 공식화를 도입한다.
• 이전 연구에서 유도된 분수계 오일러-라그랑주 조건을 확장된 해밀토니안 기능에 적용하여 약한 최대원리를 도출한다.
• 해밀토니안의 총 시간 미분을 분석하고, 이를 명시적 시간 의존성과 연결함으로써 두보아-레임던 조건을 도출한다.
• 함수기반의 FALVA 특성, 즉 커널 $ (t - \theta)^{\alpha - 1} $ 가 $ L $ 이 자율적이라도 비자율적 행동을 유도함을 이용하여 $ \alpha \neq 1 $ 일 때 에너지가 보존되지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 내재된 시간과 관측자 시간이 존재하는 조건에서 고차수 도함수를 포함하는 FALVA 문제에 대해 오일러-라그랑주 방정식은 어떻게 확장될 수 있는가?
• RQ2 이러한 FALVA 문제에 대해 고차수 두보아-레임던 정적 조건의 형태는 어떠한가?
• RQ3 FALVA 프레임워크 내에서 이중시간 최적제어 문제에 대해 약한 최대원리를 수립할 수 있는가?
• RQ4 분수계 시스템에서 $ (t - \theta)^{\alpha - 1} $ 커널이 유도하는 비자율적 동역학을 고려할 때 해밀토니안 체계는 FALVA 문제에 어떻게 적응하는가?
• RQ5 FALVA 시스템에서 해밀토니안은 어떤 조건에서 보존되며, 이는 고전역학과 어떻게 다를까?

주요 결과

• 논문은 $ m $-차 도함수를 포함하는 FALVA 문제에 대해 고차수 오일러-라그랑주 방정식을 도출하였으며, 이는 엘-나불시(2005)의 일阶 결과를 일반화한다.
• 고차수 두보아-레임던 정적 조건이 수립되어 고차수 도함수를 포함하는 FALVA 문제의 최적성에 대한 필요 조건을 제공한다.
• 이중시간 최적제어 FALVA 문제에 대해 약한 폰트리아진 최대원리가 증명되었으며, 변곡선을 따라 해밀토니안 시스템과 정적 조건이 동시에 만족되어야 함을 보여준다.
• 일반화된 두보아-레임던 조건은 $ \frac{d\mathcal{H}}{d\theta} = \partial_1 \mathcal{H} $ 로 표현되며, $ (t - \theta)^{\alpha - 1} $ 커널로 인해 해밀토니안이 명시적으로 시간에 의존하더라도 성립한다.
• 해밀토니안은 $ \alpha \neq 1 $ 일 때조차도, 라그랑지안과 동역학이 자율적이라도 보존되지 않는다. 이는 커널이 명시적 시간 의존성을 유도하기 때문이다.
• 결과적으로, 분수적 적분 커널이 유도하는 내재된 시간 의존성으로 인해 FALVA 시스템에서는 에너지 보존이 실패함을 보여주며, 이는 고전적 최적제어와의 주요 차이점이다.