[논문 리뷰] Noether's Theorem for Control Problems on Time Scales

Agnieszka B. Malinowska, Moulay Rchid|arXiv (Cornell University)|2014. 06. 03.

Nonlinear Differential Equations Analysis참고 문헌 26인용 수 9

한 줄 요약

이 논문은 시간 척도 위의 최적 제어 문제로 노터의 정리를 일반화하며, 라그랑지안이 일차 파라미터를 가진 변환군에 대해 정확한 델타 미분을 제외하고 불변일 경우, 그로 인해 보존 법칙이 도출됨을 밝힌다. 주요 기여는 연속, 이산 및 양자 시스템 모두에 적용 가능한 시간 척도 기반의 최적 제어를 위한 노터 정리의 버전을 제공하는 것으로, 자율 시스템의 응용에서 극값 곡선을 따라 백워드 점프 연산자와의 복합함수로 구성된 해밀토니안이 보존된다는 것을 보여준다.

ABSTRACT

We prove a generalization of Noether's theorem for optimal control problems defined on time scales. Particularly, our results can be used for discrete-time, quantum, and continuous-time optimal control problems. The generalization involves a one-parameter family of maps which depend also on the control and a Lagrangian which is invariant up to an addition of an exact delta differential. We apply our results to some concrete optimal control problems on an arbitrary time scale.

연구 동기 및 목표

• 고전적 변분법에서의 노터 정리를 시간 척도 위의 최적 제어 문제로 확장하는 것.
• 상태, 제어 및 시간에 의존하는 일차 파라미터 변환군에 대해 불변인 최적 제어 시스템에 대해 보존 법칙을 수립하는 것.
• 시간 척도 미적분학을 활용하여 연속, 이산 및 양자 최적 제어 결과를 통합하는 것.
• 해밀토니안과 백워드 점프 연산자의 복합함수가 보존되는 자율 시스템에 적용 가능한 프레임워크를 제공하는 것.
• 기존의 시간 척도 위의 변분법에서의 노터 유형 정리들을 최적 제어 설정으로 일반화하는 것.

제안 방법

• 델타 미분과 적분을 사용하여 임의의 시간 척도 위에서 문제를 수리적으로 정의하는 것.
• 상태, 제어 및 시간에 의존하는 일차 파라미터 변환군에 대해 최적 제어 문제의 불변성을 정의하는 것.
• 정확한 델타 미분으로 표현된 게이지 항을 도입하여 엄격한 불변성 이외의 경우까지 일반화된 불변 조건을 설정하는 것.
• 시간 척도 최대원리에 기반하여 필요 최적성 조건을 유도하며, 이에 따라 쌍대 방정식과 경계 조건을 포함하는 것.
• 일반화된 노터 유형 정리를 적용하여, 비용 상태 변수, 변환 도함수 및 게이지 항의 조합의 델타 도함수가 0이 되는 형태의 보존 법칙을 도출하는 것.
• 구체적인 예제를 통해 결과를 검증하며, 이는 자동차 운동학 모델과 비정상 제어를 포함한 문제를 통해 일致성과 적용 가능성을 입증하는 것.

실험 결과

연구 질문

• RQ1 시간 척도 위의 최적 제어 문제에 대해 노터의 정리를 연속, 이산 및 양자 케이스를 포함한 임의의 시간 척도로 어떻게 일반화할 수 있는가?
• RQ2 대칭 변환과 라그랑지안에 대한 어떤 조건이 시간 척도 위의 최적 제어에서 보존 법칙을 유도하는가?
• RQ3 게이지 항(정확한 델타 미분)이 이 일반화된 설정에서 보존 법칙에 어떤 영향을 미치는가?
• RQ4 자율 최적 제어 문제에서 해밀토니안과 백워드 점프 연산자의 복합함수가 극값 곡선을 따라 언제 보존되는가?
• RQ5 일반화된 노터 정리는 시간 척도 위의 정상 및 비정상 최적 제어 문제에 모두 적용 가능한가?

주요 결과

• 논문은 만약 라그랑지안이 일차 파라미터 변환군에 대해 정확한 델타 미분을 제외하고 불변일 경우, 그로 인해 극값 곡선을 따라 보존 법칙이 성립함을 입증한다.
• 보존 법칙은 특정 조합의 비용 상태 변수, 변환 도함수 및 게이지 항의 델타 도함수가 식별적으로 0이 되는 형태로 표현된다.
• 시간 척도 위의 자율 시스템에서는 어떤 극값 곡선을 따라라도 해밀토니안과 백워드 점프 연산자의 복합함수가 일정하게 유지되며, 이는 연속 시스템의 고전적 결과를 일반화한다.
• 시간 척도 위의 자동차 운동학 모델의 경우, 보존 법칙은 시간 이동에 대해 해밀토니안이 일정함을 의미한다.
• 비정상 제어를 포함한 문제의 경우, 이 방법은 승수 λ가 0이더라도 해밀토니안과 백워드 점프 연산자의 복합함수가 여전히 일정함을 확인한다.
• 결과는 기존의 사례들과 일致한다: 시간 척도가 실수선일 경우, 고전적 최적 제어를 위한 노터 정리가 복원된다.