[논문 리뷰] Variational Optimal-Control Problems with Delayed Arguments on Time Scales

Thabet Abdeljawad, Fahd Jarad외 1명|ArXiv.org|2009. 12. 14.

Nonlinear Differential Equations Analysis참고 문헌 13인용 수 7

한 줄 요약

이 논문은 시간 척도 위에서 지연된 상태 변수를 가진 변분 최적제어 문제에 대한 최적성의 필요 조건을 내림표 도함수를 사용하여 개발한다. 연속, 이산, 양자 미적분을 일반화하기 위해 H-시간 척도(ρ(t) = qt − h)에서 오일러-라그랑주 방정식과 최적 제어 조건을 유도함으로써 특수한 경우에서 알려진 결과를 복원하고 다양한 영역에서 지연 동역학을 위한 통합된 프레임워크를 제공한다.

ABSTRACT

This article deals with variational optimal-control problems on time scales in the presence of delay in the state variables. The problem is considered on a time scale unifying the discrete, the continuous and the quantum cases. Two examples in the discrete and quantum cases are analyzed to illustrate our results.

연구 동기 및 목표

• 지연된 상태 변수를 포함하는 통합된 변분 최적제어 프레임워크를 시간 척도 위에 제안하는 것.
• 기존의 변분법 및 최적제어 이론을 연속, 이산, 양자 동역학을 통합하는 H-시간 척도(ρ(t) = qt − h)로 확장하는 것.
• 지연된 상태 변수를 가진 문제에 대해 필수 최적성 조건—특히 오일러-라그랑주 방정식과 수반 방정식—을 유도하는 것.
• 제안된 프레임워크의 특수한 경우로서 기존 연속, 이산, 양자 미적분 설정에서의 결과를 복원하고 일반화하는 것.
• 이산 및 양자(q-미적분) 케이스에서의 구체적인 예를 통해 이론의 적용 가능성을 보여주는 것.

제안 방법

• 시간 척도 위에서 내림표 도함수를 사용하여 동역학을 모델링하며, 특히 q > 0 및 h ≥ 0 조건 하에 ρ(t) = qt − h로 정의된 H-시간 척도에 초점을 맞춘다.
• 지연된 상태 변수와 그 내림표 도함수를 포함하는 함수에 대해 단일 변수 및 n차원 케이스 모두에서 오일러-라그랑주 방정식을 도출한다.
• 시간 척도 위의 변분법을 적용하여 최적성에 대한 필요 조건—수반 방정식 및 경계 조건 포함—을 유도한다.
• 상태 방정식과 성능 지표가 q-이동된 변수에 의존하는 지연된 상태 변수를 포함하는 변분 최적제어 문제를 제안한다.
• 필수 조건의 전체 시스템—수반 방정식, 제어 변수에서의 정류 조건, 경계 조건—을 유도한다.
• 두 가지 상세한 예를 통해 프레임워크를 검증한다: 하나는 이산 케이스(hZ)이고 다른 하나는 양자 케이스(q-미적분)이며, 지연이 제거되었을 때 기존 결과와의 일致성을 보여준다.

실험 결과

연구 질문

• RQ1 지연된 상태 변수를 가진 변분 최적제어 문제는 어떻게 통합된 시간 척도 프레임워크 위에 제작될 수 있는가?
• RQ2 H-시간 척도에서 이러한 문제에 대해 필요한 최적성 조건(오일러-라그랑주 및 수반 방정식)은 무엇인가?
• RQ3 유도된 조건은 연속(q=1, h=0), 이산(q=1, h>0), 양자(0<q<1, h=0) 케이스에서 어떻게 알려진 결과로 축소되는가?
• RQ4 역행 뛰어오름 연산자 ρ(t) = qt − h는 다양한 동역학 시스템을 통합하고 지연된 동역학을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 이 프레임워크는 시간 척도 위에서 지연 없는 및 비지연 최적제어 문제에서 이전에 확립된 결과를 복원할 수 있는가?

주요 결과

• 논문은 H-시간 척도 위에서 지연된 상태 변수를 포함하는 함수에 대해 오일러-라그랑주 방정식을 유도하였으며, 델타 및 내림표 미적분의 결과를 일반화한다.
• n차원 케이스에서는 지연된 변수를 포함하는 내림표 미분-차분 방정식의 시스템으로 최적성의 필요 조건이 유도된다.
• 양자 케이스(q-미적분)에서는 필요 조건이 q-차분 방정식으로 축소되며, 수반 방정식은 q-이동된 변수를 포함한다.
• 최적 제어 조건은 제어 변수에서의 정류 조건: ∂L/∂u(qx) = λ(qx)∂G/∂u(qx)를 포함하며, 이는 최적성을 보장한다.
• 지연이 없을 경우(α₀ = 0), 유도된 시스템은 점점 두 번째 순서의 q-차분 방정식으로 축소되며, 이는 점점 두 번째 순서 선형 미분 방정식 y'' − (r² + 1)y = 0에 수렴한다.
• q-차분 방정식의 해를 멱급수로 전개하면 지수 함수 해 exp(±√(r² + 1)x)로 수렴하며, 이는 지연이 없는 연속 동역학과의 일致성을 확인한다.