[논문 리뷰] Multitime maximum principle approach of minimal submanifolds and harmonic maps

Constantin Udrişte|arXiv (Cornell University)|2011. 10. 21.

Optimization and Variational Analysis참고 문헌 10인용 수 3

한 줄 요약

이 논문은 다시시간 최대원리 프레임워크를 도입하여 다시간 부분미분방정식으로 지배되는 최적제어 문제로 최소다양체 및 조화사상 문제를 해결한다. 이러한 기하학적 변분 문제를 다시간 최적제어 시스템으로 재구성함으로써, 저자들은 최소다양체와 조화사상이 다시간 최대원리에 따라 최적해로 나타남을 증명하며, 고전적 미분기하학 문제에 대한 새로운 제어이론적 시각을 제공한다.

ABSTRACT

Some optimization problems coming from the Differential Geometry, as for example, the minimal submanifolds problem and the harmonic maps problem are solved here via interior solutions of appropriate multitime optimal control problems. Section 1 underlines some science domains where appear multitime optimal control problems. Section 2 (Section 3) recalls the multitime maximum principle for optimal control problems with multiple (curvilinear) integral cost functionals and $m$-flow type constraint evolution. Section 4 shows that there exists a multitime maximum principle approach of multitime variational calculus. Section 5 (Section 6) proves that the minimal submanifolds (harmonic maps) are optimal solutions of multitime evolution PDEs in an appropriate multitime optimal control problem. Section 7 uses the multitime maximum principle to show that of all solids having a given surface area, the sphere is the one having the greatest volume. Section 8 studies the minimal area of a multitime linear flow as optimal control problem. Section 9 contains commentaries.

연구 동기 및 목표

• 고전적 미분기하학 문제—특히 최소다양체와 조화사상—을 다시간 최적제어 문제로 재구성하기.
• 다시간 최대원리를 이용한 미분기하학의 변분문제 해결을 위한 이론적 기반 구축하기.
• 최소다양체 및 조화사상 문제의 해가 다시간 PDE 제약 조건이 있는 최적제어에서 유도된 필요 최적조건을 만족함을 보여주기.
• 포트리아긴의 최대원리를 다수의 독립적 진화 매개변수를 가진 다시간 시스템으로 확장하기.
• 기하학적 변분문제와 최적제어 이론을 다시간 동역학을 통해 통합하는 새로운 분석 프레임워크 제공하기.

제안 방법

• 다차원 시간 영역 Ω₀ₜ₀에서 다중 적분 비용 기능과 m-플로우 유형의 PDE 제약 조건을 가진 다시간 최적제어 문제를 설정한다.
• 비용함수 H(t, x, u, p) = L + pᵢᵅXⁱᵅ를 사용하여 다시간 최대원리를 적용한다. 여기서 p는 공비용벡터이고, Xⁱᵅ는 완전적통합 조건을 만족하는 벡터장이다.
• 필요 최적조건 유도: 공비용동역학 ∂pᵢᵅ/∂tᵅ = -∂H/∂xⁱ, 상태동역학 ∂xⁱ/∂tᵅ = ∂H/∂pᵢᵅ, 경계 조건에서의 전이조건, 제어 최적성 조건 Hᵤₐ = 0.
• 다시간 전역 최대성 정리 적용: 해가 제어 변수에 대해 해밀토니안이 볼록이면 전역적으로 최적이다.
• 특정 기하문제에 이 프레임워크 적용, 예를 들어 등주 문제(표면적이 고정된 경우 구가 부피를 최대화함) 및 다시간 선형 플로우의 최소면적.
• 리만기하학과 제어 역학을 기반으로 한 해밀토니안 1형식을 사용하여 탄성다양체에서의 m-표면 면적 분석.

실험 결과

연구 질문

• RQ1 최소다양체는 다시간 최적제어 문제의 최적해로 특징지을 수 있는가?
• RQ2 조화사상은 다시간 PDE 제약 조건이 있는 최적제어 시스템의 해로 유도될 수 있는가?
• RQ3 다시간 최대원리는 다수의 독립적 시간 매개변수를 가진 시스템으로 고전적 최적제어를 어떻게 확장하는가?
• RQ4 완전적통합 조건은 다시간 상태 궤도의 존재를 보장하는 데 어떤 역할을 하는가?
• RQ5 등주부등식(표면적이 고정된 경우 구가 부피를 최대화함)은 다시간 최적제어를 통해 유도될 수 있는가?

주요 결과

• 최소다양체는 m-플로우 유형 PDE로 지배되는 다시간 최적제어 문제의 최적해로 나타나며, 다시간 최대원리를 만족함이 입증됨.
• 조화사상은 적절한 다시간 최적제어 문제와 m-플로우 제약 조건을 가진 해로 증명됨.
• 구는 표면적이 고정된 모든 입체 중에서 부피를 최대화하는 최적해로 다시간 최대원리를 통해 확인됨.
• 다시간 선형 플로우의 최소면적은 유계 제어 조건이 있는 다시간 최적제어 문제의 해로 특징지어짐.
• 탄성다양체에서의 면적 최대화 문제의 최적제어는 번-번 제어임이 입증되었으며, 제어는 스위칭 함수 Mₐ(t)에 따라 ±1로 전환됨.
• 면적 최대화 문제에서의 해밀토니안 1형식은 제어 변수에 대해 선형이므로, 제어가 유계일 경우 불연속적인 최적제어(번-번 제어)를 초래함.