[논문 리뷰] Asymptotic behavior of gradient-like dynamical systems involving inertia and multiscale aspects

Hédy Attouch, Marc-Olivier Czarnecki|arXiv (Cornell University)|2016. 01. 31.

Advanced Mathematical Modeling in Engineering참고 문헌 19인용 수 19

한 줄 요약

이 논문은 시간에 따라 변하는 감쇠와 다중 척도 결합을 갖는 이阶성 관성 동역계를 연구하며, 궤적들이 1차적 볼록 함수 Φ의 최소화자 집합 위에서 2차적 목적 함수 Ψ를 최소화하는 해로 약수렴함을 증명한다. 핵심 결과는 제어 매개변수 ε(t)의 천천히 적분 가능한 감쇠를 통해 계층적 선택을 보장함으로써, Φ-최소화자 집합 내 최적 평형점으로의 수렴을 확보한다.

ABSTRACT

In a Hilbert space $\\mathcal H$, we study the asymptotic behaviour, as time variable $t$ goes to $+\\infty$, of nonautonomous gradient-like dynamical systems involving inertia and multiscale features. Given $\\mathcal H$ a general Hilbert space, $\\Phi: \\mathcal H \ ightarrow \\mathbb R$ and $\\Psi: \\mathcal H \ ightarrow \\mathbb R$ two convex differentiable functions, $\\gamma$ a positive damping parameter, and $\\epsilon (t)$ a function of $t$ which tends to zero as $t$ goes to $+\\infty$, we consider the second-order differential equation $$\\ddot{x}(t) + \\gamma \\dot{x}(t) + \ abla \\Phi (x(t)) + \\epsilon (t) \ abla \\Psi (x(t)) = 0. $$ This system models the emergence of various collective behaviors in game theory, as well as the asymptotic control of coupled nonlinear oscillators. Assuming that $\\epsilon(t)$ tends to zero moderately slowly as $t$ goes to infinity, we show that the trajectories converge weakly in $\\mathcal H$. The limiting equilibria are solutions of the hierarchical minimization problem which consists in minimizing $\\Psi$ over the set $C$ of minimizers of $\\Phi$. As key assumptions, we suppose that $ \\int_{0}^{+\\infty}\\epsilon (t) dt = + \\infty $ and that, for every $p$ belonging to a convex cone $\\mathcal C$ depending on the data $\\Phi$ and $\\Psi$ $$ \\int_{0}^{+\\infty} \\left[\\Phi^* \\left(\\epsilon (t)p\ ight) -\\sigma_C \\left(\\epsilon (t)p\ ight)\ ight]dt < + \\infty $$ where $\\Phi^*$ is the Fenchel conjugate of $\\Phi$, and $\\sigma_C $ is the support function of $C$. An application is given to coupled oscillators.

연구 동기 및 목표

• 힐버트 공간에서 관성과 다중 척도 특성을 갖는 비자기적 경사 유사 시스템의 점근적 행동을 이해하기 위해.
• 볼록 함수 Φ의 최소화자 집합에 속한 무수한 평형점 중 특정 평형점을 선택하는 데 도전하는 데에.
• 시간에 따라 변하는 제어 메커니즘 ε(t)∇Ψ(x(t))를 설계하여, Φ-최소화자 집합 위에서 Ψ의 최소화자로 궤적을 이동시키는 데에.
• 약수렴을 보장하는 ε(t)에 대한 조건을 설정하여, 빠른 감쇠나 Φ 및 Ψ에 대한 강한 가정 없이도 계층적 해로의 수렴을 보장하는 데에.

제안 방법

• 힐버트 공간 H에서 두 번째 차수 미분방정식을 제안: ÿ(t) + γẏ(t) + ∇Φ(x(t)) + ε(t)∇Ψ(x(t)) = 0.
• ε(t)에 대한 조건을 도입: 감소함, C¹, t → ∞일 때 ε(t) → 0, ∫₀^∞ ε(t)dt = ∞.
• Φ*와 C = argmin Φ의 지지함수 σ_C를 포함하는 콘 조건을 도입: 모든 p가 포함된 볼록 콘에 대해 ∫₀^∞ [Φ*(ε(t)p) - σ_C(ε(t)p)]dt < ∞.
• 수렴 분석을 위해 리아푸노프 분석과 에너지 방법을 적용한다.
• 파생된 파동 방정식과 노이만 경계 조건을 갖는 연립 PDE 시스템에 분석을 적용한다.
• 무한차원 설정으로 결과를 확장하기 위해, Φ가 하향 연속일 경우에도 적용 가능한 무한성 컴acts 및 레플리히-콘드라코프 임bedding을 사용한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변하는 매개변수 ε(t)가 어떤 조건을 만족할 경우, 관성 시스템 ÿ + γẏ + ∇Φ(x) + ε(t)∇Ψ(x) = 0 이 t → ∞일 때 약수렴하는가?
• RQ2 Φ의 무수한 최소화자 중에서 특정 평형점을 선택할 수 있도록 시스템의 동작을 어떻게 제어할 수 있는가, 특히 Ψ를 최소화하는 해를 선택하기 위해?
• RQ3 ε(t)의 천천히 감쇠하는 특성이 계층적 최소화를 달성하는 데서 수행하는 역할은 무엇이며, 이는 더 빠르거나 더 느린 감쇠 속도와 어떻게 비교되는가?
• RQ4 이론적 프레임워크를 비가속성 또는 하향 연속성 잠재력이 있는 시스템, 예를 들어 PDE 모델에 어떻게 확장할 수 있는가?
• RQ5 시간에 따라 변하는 결합 항을 갖는 연립 파동 시스템의 점근적 행동은 무엇이며, 이는 제약 조건 집합 위에서 잠재력을 최소화하는 것과 어떻게 관련되는가?

주요 결과

• 다중 척도 관성 경사 시스템의 궤적은 힐버트 공간 H에서 약수렴하여, argmin_C Ψ에 속하는 극한 x∞로 수렴한다. 즉, Φ-최소화자 집합 위에서 Ψ의 최소화자로 수렴한다.
• 수렴은 ∫₀^∞ ε(t)dt = ∞와 Φ* 및 σ_C를 포함하는 콘 조건을 만족할 경우 보장되며, 이는 제어 항의 충분한 자극을 보장한다.
• Ψ(x) = ||x||²인 경우, 이 결과는 티호노프 정규화에 해당하며, Φ-최소화자 집합 내에서 최소 노름 해를 선택한다.
• 연립 파동 방정식에 적용한 결과, 시스템은 L²(Ω)×L²(Ω)에서 강수렴하여 두 파동의 평균값이 같아지는 극한으로 수렴한다. 즉, ∫Ω u₁,∞dx = ∫Ω u₂,∞dx.
• 에너지 수렴은 파동 시스템에서 H¹(Ω)에서의 더 강한 수렴을 암시하며, 이는 선택 메커니즘의 강건성을 보여준다.
• 무한차원 설정, 예를 들어 PDE에 대해서도 이 프레임워크는 적용 가능하며, Φ가 하향 연속일 경우에도 무한성 컴팩트성과 소보레프 임베딩을 통해 적용 가능하다.