[논문 리뷰] The turnpike property in semilinear control

Darío Pighin|arXiv (Cornell University)|2020. 04. 07.

Stability and Controllability of Differential Equations참고 문헌 52인용 수 6

한 줄 요약

이 논문은 반선형 열 방정식으로 지배되는 반선형 최적 제어 문제에 대해 지수적 터널피크 성질을 확립한다. 이는 초기 자료에 대한 소형성 가정 없이도, 목표가 작을 경우 최적 궤적들이 대부분의 시간 구간 동안 정상해에 지수적으로 가까이 유지됨을 보여준다. 큰 목표가 존재할 경우, 제어가 전역적으로 작용할 때 평균 비용이 정상해 비용으로 수렴하는 약한 터널피크 결과가 증명된다.

ABSTRACT

An exponential turnpike property for a semilinear control problem is proved. The state-target is assumed to be small, whereas the initial datum can be arbitrary. Turnpike results are also obtained for large targets, requiring that the control acts everywhere. In this case, we prove the convergence of the infimum of the averaged time-evolution functional towards the steady one. Numerical simulations are performed.

연구 동기 및 목표

• 초기 자료의 크기가 작지 않아도 되는 조건 하에서 반선형 최적 제어 문제에 대해 지수적 터널피크 성질을 확립함으로써, 이전 연구에서 요구했던 이러한 제약 조건을 제거하고자 한다.
• 시간 구간이 무한히 증가할 때 반선형 포아송 방정식으로 지배되는 최적 제어 시스템의 장기적 행동을 분석하고자 한다.
• 제어가 정의역 전역에서 작용할 조건 하에서 큰 목표에 대해 약한 터널피크 결과를 증명하고자 한다.
• 시간 구간에 독립적인 L² 노름에서 최적 상태의 시간 도함수에 대한 균일한 상한을 유도하고자 한다.
• 이론적 결과를 뒷받침하는 수치 시뮬레이션을 제공함으로써 반선형 시스템에서의 터널피크 행동에 대한 이론적 발견을 검증하고자 한다.

제안 방법

• 하나의 부분영역 ω에서 작용하는 분포 제어를 갖는 반선형 열 방정식에 대한 최적 제어 문제를 분석하며, 제어와 추적 항을 포함하는 이차 비용 기능을 최소화한다.
• 변분법의 직접적 방법을 적용하여 최적 제어 문제에 대해 전역 최소해의 존재성을 증명한다.
• 가우타우르 미분 가능성과 페르마 정적 조건을 활용하여 최적 제어를 u^T = -q^T χ_ω 로 특성화하며, 여기서 (y^T, q^T) 는 최적성 시스템의 해이다.
• 에너지 추정과 그로워랄 유형 부등식을 사용하여 시간 간격에서 상태 및 쌍대 상태의 L∞-노름에 대한 균일한 상한을 도출한다.
• 시작 및 종료 경계층을 포함하는 준최적 전략을 도입하며, 이로 인해 상태가 대부분의 시간 동안 정상해에 가까이 유지됨을 보장한다.
• 전역 제어 및 큰 목표 조건 하에서 시간 진화 함수의 평균 최소값이 정상해 비용 기능으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 초기 자료가 작지 않아도 되는 조건 하에서 반선형 제어 문제에 대해 지수적 터널피크 성질을 확립할 수 있는가?
• RQ2 목표가 작지 않을 경우 터널피크 성질은 어떻게 변화하는가? 그리고 제어 작용의 특성(국소적 vs. 전역적)은 이 성질에 어떤 영향을 미치는가?
• RQ3 시간 구간이 무한히 증가할 때 시간 진화 최적 제어 문제의 평균 비용이 정상해 비용으로 수렴하는가?
• RQ4 시간 구간에 독립적인 최적 상태의 시간 도함수에 대한 균일한 상한을 도출할 수 있는가?
• RQ5 비선형 항 f(y) 의 구조는 반선형 포아송 시스템에서의 터널피크 행동에 어떤 영향을 미치는가?

주요 결과

• 목표 z 가 L∞(ω₀) 에서 작을 경우, 초기 자료 y₀ 가 임의일지라도 반선형 제어 문제에 대해 지수적 터널피크 성질이 증명된다.
• 최적 상태 및 제어는 대부분의 시간 동안 정상해에 지수적으로 가까이 유지되며, 끝부분의 얇은 초기 및 종료 경계층 외에는 거의 정상해에 가까이 있다.
• 큰 목표에 대해 약한 터널피크 결과가 확립된다: 시간 진화 함수의 평균 최소값은 T → ∞ 일 때 정상해 비용으로 수렴한다.
• 시간 구간 T 에 영향을 받지 않는 최적 상태의 시간 도함수에 대한 균일한 L² 상한이 도출된다.
• 시간 진화 문제의 최소 비용은 |J_T(u^*) - T·inf_{L²(ω)} J_s| ≤ K 를 만족하며, 여기서 K 는 T 에 영향을 받지 않는 상수이다.
• 수치 시뮬레이션은 이론적 예측을 확인하며, 최적 궤적이 빠르게 정상해에 수렴하고 대부분의 시간 동안 이에 가까이 유지됨을 보여준다.