[논문 리뷰] Necessary Optimality Conditions for Continuous-Time Optimization Problems with Equality and Inequality Constraints

Moisés Rodrigues Cirilo do Monte, Valeriano Antunes de Oliveira|arXiv (Cornell University)|2018. 02. 09.

Optimization and Variational Analysis참고 문헌 23인용 수 6

한 줄 요약

이 논문은 등호 및 부등호 제약 조건을 모두 포함하는 연속시간 최적제어 문제에 대해 제1차 및 제2차 필수 최적성 조건을 수립한다. 전순위 조건과 균일 은선형함수정리의 활용을 통해 $L_∞([0,T];\mathbb{R}^n)$ 공간에서 카르쉬-쿤-터커 유형의 조건과 제2차 충분 조건을 도출하였으며, 이는 혼합 제약 조건이 존재하는 이 설정에서 이전까지 가용하지 않았던 조건들을 메우는 데 기여한다.

ABSTRACT

The paper is devoted to obtain first and second order necessary optimality conditions for continuous-time optimization problems with equality and inequality constraints. A full rank type regularity condition along with an uniform implicit function theorem are used in order to establish such necessary conditions.

연구 동기 및 목표

• 연속시간 최적화 문제에 대해 등호 및 부등호 제약 조건이 존재하는 경우 $L_\infty([0,T];\mathbb{R}^n)$ 공간에서 필수 최적성 조건을 수립하는 것.
• 이 함수 공간에서 등호 및 부등호 제약 조건을 동시에 포함하는 문제에 대해 문헌상 제1차 및 제2차 필수 조건이 부재한 문제를 해결하는 것.
• 시간에 따라 변화하는 제약 조건의 분석적 과제를 다루기 위해 전순위 유형의 조건과 균일 은선형함수정리를 도입하고 적용하는 것.
• 이러한 제약 조건 하에서 국소 최적성을 보장하는 카르쉬-쿤-터커 유형의 조건과 제2차 조건을 도출하는 것.

제안 방법

• 등호 제약 조건에 대해 시간 전역에서 가측성과 정규성을 보장하기 위해 Pinho와 Vinter(1997)의 균일 은선형함수정리를 활용한다.
• 등호 제약 조건의 야코비안에 대해 전순위 조건을 도입하여 암시적 해 함수의 국소 역행성과 미분 가능성 보장을 확보한다.
• 무한차원 버전의 파르카스의 보조정리와 장위의 제약 조건 적합성 조건의 연속시간 형태를 적용하여 필수 조건을 도출한다.
• 라그랑주 이중성에 의해 제1차 조건을 유도하며, 등호 제약 조건에 대해 다중변수 $u_i(t)$와 부등호 제약 조건에 대해 $v_j(t)$를 도입한다.
• 라그랑주 함수의 헤시안 $\nabla^2 L$ 분석을 통해 제2차 조건을 수립하고, 탄성 원추 위에서의 음의 준정부정성 조건을 요구한다.
• 거의 모든 곳에서 $v_j(t) \geq 0$인 가측 다중변수 함수를 사용하고, 증명에서 부호 및 적분 가능성 성질을 검증하기 위해 보조 함수를 구성한다.

실험 결과

연구 질문

• RQ1 연속시간 최적제어 문제에서 등호 및 부등호 제약 조건이 존재하는 경우 $L_\infty([0,T];\mathbb{R}^n)$ 공간에서 제1차 필수 최적성 조건은 무엇인가?
• RQ2 균일 은선형함수정리는 시간에 따라 변화하는 등호 제약 조건에 대해 가측성과 정규성을 보장하기 위해 어떻게 적용될 수 있는가?
• RQ3 혼합 제약 조건이 존재하는 이 연속시간 설정에서 국소 최적성을 보장하는 제2차 조건은 무엇인가?
• RQ4 표준 제약 조건 적합성 조건이 존재하지 않는 상황에서 전순위 조건은 어떻게 카르쉬-쿤-터커 유형의 조건을 도출하는 데 활용될 수 있는가?
• RQ5 가측 다중변수 함수와 라그랑주 헤시안의 구조는 최적성 검증에 어떤 역할을 하는가?

주요 결과

• 논문은 가측 다중변수 $u_i(t)$와 $v_j(t)$를 포함하는 카르쉬-쿤-터커 유형의 방정식 형태로 제1차 필수 최적성 조건을 수립하였으며, $[0,T]$에서 거의 모든 곳에서 $v_j(t) \geq 0$임을 보였다.
• 전순위 조건은 균일 은선형함수정리의 적용 가능성을 보장하여 등호 제약 조건에 대한 가측 해의 도출을 가능하게 한다.
• 제2차 필수 조건은 라그랑주 함수의 헤시안을 탄성 원추에 제한했을 때 음의 준정부정성이어야 하며, 이는 $\gamma \in \bar{N}$에 대해 $\int_0^T \gamma'(t) \nabla_{zz}^2 L \gamma(t) dt \leq 0$로 표현된다.
• 증명 과정에서 양의 측도 집합에서 $v_j(t)$가 음수임을 가정할 경우 모순이 발생함을 보여, 거의 모든 곳에서 $v_j(t) \geq 0$임을 정당화한다.
• 유도된 조건들은 $L_\infty([0,T];\mathbb{R}^n)$ 공간에서 유효하며, 이는 유계 제어 및 상태 궤적을 다루는 데 핵심적이다.
• 이 프레임워크는 연속시간 설정에서 등호 및 부등호 제약 조건을 모두 포함하는 문제에 대해 필수 조건을 제공함으로써 문헌에서 상당한 격차를 메운다.