[논문 리뷰] Penalization via global functionals of optimal-control problems for dissipative evolution

Lorenzo Portinale, Ulisse Stefanelli|arXiv (Cornell University)|2019. 10. 22.

Mathematical Biology Tumor Growth참고 문헌 30인용 수 4

한 줄 요약

이 논문은 시간에 대해 전역적인 함수형식(De Giorgi 및 Brezis-Ekeland-Nayroles)을 사용하여 소산성 진화방정식에 의해 지배되는 최적제어 문제에 대한 페널티 방법을 제안한다. 이는 미분 제약 조건을 강제하기 위한 것이다. 이는 강하, 이중 비선형, 그리고 GENERIC 시스템에 대해 그라디언트, 이중 비선형, 그리고 GENERIC 시스템에 대해 Γ-수렴을 확립하며, 페널티 계수 ε → 0일 때 최소화자의 수렴을 보장한다.

ABSTRACT

We consider an optimal control problem for an abstract nonlinear dissipative evolution equation. The differential constraint is penalized by augmenting the target functional by a nonnegative global-in-time functional which is null-minimized in the evolution equation is satisfied. Different variational settings are presented, leading to the convergence of the penalization method for gradient flows, noncyclic and semimonotone flows, doubly nonlinear evolutions, and GENERIC systems.

연구 동기 및 목표

• 추상적인 소산성 진화방정식에 대한 변분 페널티 프레임워크를 개발하기 위해.
• 페널티 계수 ε → 0일 때 페널화된 최소화자가 제약 조건 문제의 해로 수렴함을 보장하기 위해.
• 강하 흐름, 이중 비선형, 그리고 GENERIC 시스템을 포함한 다양한 소산성 시스템으로 이 방법을 확장하기 위해.
• 볼록 및 비볼록 포텐셜을 포함한 다양한 변분 구조에서 페널티 접근법의 타당성을 확립하기 위해.
• 교차 최소화 또는 에너지 기반 최적화를 통한 수치적 구현을 위한 통합 이론적 기반을 제공하기 위해.

제안 방법

• 목표 기능 F(u,y)에, 진동 방정식이 만족될 때에만 0이 되는 음이 아닌 전역 함수형식 G(u,y)를 추가한다.
• 변분 형태로 잔차를 페널티 처리하기 위해 De Giorgi 함수형식 G_DG = ∫₀ᵀ [½‖y′‖² + ½‖∂ϕ(y)−u‖² − (u,y′)] dt + ϕ(y(T))−ϕ(y₀) 를 사용한다.
• 볼록 케이스의 경우, Brezis-Ekeland-Nayroles 함수형식 G BEN = ∫₀ᵀ [ϕ(y) + ϕ*(u−y′) − (u,y)] dt + ½‖y(T)‖² − ½‖y₀‖² 를 사용한다.
• 페널티 기능 E_ε = F + (1/ε)G 가 제약 조건 한계 E₀로 Γ-수렴함을 증명한다. 여기서 E₀는 G(u,y)=0 이면 F(u,y)이고, 그렇지 않으면 ∞이다.
• 약한 및 강한 컴팩턴스, G의 하부 연속성, F의 강성 조건을 활용하여 최소화자의 존재성 및 수렴성을 확립한다.
• 특정 시스템에 이 프레임워크를 적용한다: 강하 흐름, 비순환/반단조적 흐름, 이중 비선형 진화, 에너지 및 엔트로피 구조를 가진 GENERIC 시스템.

실험 결과

연구 질문

• RQ1 소산성 진화방정식에 대한 최적제어 문제에서 미분 제약 조건을 시간에 대해 전역적인 함수형식을 통해 페널라이징할 수 있는가? 이 함수형식은 방정식이 만족될 때에만 0이 되어야 한다.
• RQ2 ε → 0일 때 페널티 기능 E_ε = F + (1/ε)G 가 제약 조건 문제로 수렴하는가? 이는 최소화자의 수렴을 보장하는가?
• RQ3 전역 함수형식의 선택(De Giorgi 대비 Brezis-Ekeland-Nayroles)이 변분 구조와 수치적 구현 가능성에 어떤 영향을 미치는가?
• RQ4 이 페널티 방법은 비볼록 포텐셜 및 복잡한 시스템(예: GENERIC)으로 확장될 수 있는가?
• RQ5 다양한 위상과 함수형식 설정에서 E_ε 가 E₀로의 Γ-수렴을 보장하는 조건은 무엇인가?

주요 결과

• 강하 및 강한 위상에서 다양한 소산성 시스템에 대해 페널화된 기능 E_ε 가 제약 조건 한계 E₀로 Γ-수렴이 성립함을 입증하였다.
• De Giorgi 함수형식의 경우 비볼록 포텐셜에 대해서도 수렴이 성립하여, 볼록 에너지 함수형식을 초월한 더 넓은 적용 가능성을 보였다.
• Brezis-Ekeland-Nayroles 함수형식은 u와 y에 대해 별도의 볼록성을 보장하여 교차 최소화 알고리즘의 구현을 지원한다.
• G_DG 의 하부 연속성은 L²(0,T;H) × H¹(0,T;H) 에서의 강한 × 약한 수렴 하에서 증명되었으며, 최소화자의 존재를 보장한다.
• ENERGY 및 엔트로피 균형을 가진 열화된 진동자 모델을 통해 이 방법이 GENERIC 시스템에 적용됨을 입증하였다.
• ϕ 의 부분수준에서 F 의 강성 조건은 C([0,T];H) 에서 y_ε 의 강한 컴팩턴스를 보장하며, 이는 수렴에 있어 핵심적이다.