[논문 리뷰] Evolution equations for maximal monotone operators: asymptotic analysis in continuous and discrete time

Juan Peypouquet, Sylvain Sorin|ArXiv.org|2009. 05. 08.

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

한 줄 요약

이 논문은 힐버트 공간 내에서 최대 단조 연산자에 의해 지배되는 연속 및 이산 진화 방정식의 통합 점근적 분석을 제공하며, 궤적과 수열의 약수렴 및 강수렴을 비교한다. 프록시멀 및 오일러 이산화가 거의 궤도 등가성을 통해 연속 동역학의 점근적 행동을 계승함을 규명하였으며, 외부 요동 또는 스텝 크기의 적분 가능성 및 총변동 조건 하에서 수렴에 관한 핵심 결과를 도출하였다.

ABSTRACT

This survey is devoted to the asymptotic behavior of solutions of evolution equations generated by maximal monotone operators in Hilbert spaces. The emphasis is in the comparison of the continuous time trajectories to sequences generated by implicit or explicit discrete time schemes. The analysis covers weak convergence for the average process, for the process itself and strong convergence and aims at highlighting the main ideas and unifying the proofs. We further make the connection with the analysis in terms of almost orbits that allows for a broader scope.

연구 동기 및 목표

• 최대 단조 연산자에 대한 연속 시간 미분포함수와 이산 시간 방법(프록시멀, 오일러)의 점근적 분석을 통합하는 것.
• 이산 근사가 연속 궤적의 약수렴 또는 강수렴 성질을 유지하는 조건을 명확히 하는 것.
• 점근적 등가성과 거의 궤도 개념을 통해 연속, 이산, 정규화, 외부 요동이 가미된 다양한 동역학계 간의 연결 고리를 설정하는 것.
• 힐베르트 공간 내에서의 기법과 결과를 종합적이고 간결하게 서술하며, 필요에 따라 바나흐 공간으로의 확장을 다루는 것.
• 강수렴을 위한 충분 조건을 규명하고, 일부 이산화 방법이 너무 정밀한 근사로 인해 수렴을 보장하지 못할 수 있는 이유를 설명하는 것.

제안 방법

• 최대 단조 연산자에 의해 지배되는 연속 및 이산 동역학을 분석하기 위해 요사다 근사와 프록시멀 수열을 사용한다.
• 프록시멀 방법에서 연속적인 반복 간의 거리를 제한하기 위해 코바시의 부등식을 적용한다.
• 다양한 연속 및 이산 시스템 간의 점근적 행동을 비교하기 위해 거의 궤도 개념을 활용한다.
• 궤적과 수열의 약한 극한을 식별하기 위해 점근 중심 특성화를 사용한다.
• 정규성 조건 하에서 안정성과 수렴을 연구하기 위해 외부 요동(예: ε(t)v(t))과 스텝 크기 수열(λₙ)을 도입한다.
• 특히 A = ∂f일 경우, 볼록 해석학 및 단조 연산자 이론의 도구를 활용하여, 해석자와 하위미분을 포함한다.

실험 결과

연구 질문

• RQ1 최대 단조 연산자에 의해 생성된 이산 수열(프록시멀 또는 오일러)이 어떤 조건에서 연산자의 영원에 약수렴 또는 강수렴하는가?
• RQ2 연속 시간 궤적 ẋ ∈ -Ax가 수렴 행동 측면에서 이산 근사와 어떻게 점근적으로 관련되어 있는가?
• RQ3 ε(t) ∈ L¹ 또는 ε̸∈ L¹인 경우, 외부 요동 또는 정규화된 시스템(예: ε(t) ∈ L¹ 또는 ε̸∈ L¹)이 원래 시스템과 어떤 의미에서 점근적으로 등가적인가?
• RQ4 스텝 크기(λₙ) 또는 외부 요동 함수(ε(t))의 적분 가능성 또는 총변동이 수렴 보장에 어떤 역할을 하는가?
• RQ5 거의 궤도 개념을 어떻게 활용하여 2차 방정식 및 정규화 경로를 포함한 다양한 동역학계의 분석을 통합할 수 있는가?

주요 결과

• 외부 요동 ε(t)가 L¹(0,∞;ℝ₊)에 속할 경우, 제2차 시스템일지라도 궤적 u(t)의 약수렴이 보장된다.
• 스텝 크기 λₙ가 ℓ²(ℕ)에 속할 경우, 이산 프록시멀 수열은 약수렴하지 않을 수 있으며, 이는 너무 정밀한 이산화가 연속 시스템의 바람직하지 않은 행동을 그대로 반영할 수 있음을 시사한다.
• 외부 요동 ε(t)가 L¹(0,∞;ℝ₊)에 속하지 않거나 A = ∂f 또는 ε이 유한한 총변동을 가진다면, v(t)가 영의 집합에 대한 투영 P_S 0로 강수렴한다.
• φₙ ∈ ℓ¹(ℕ;H)를 만족하는 {φₙ}이 있는 yₙ₋₁ − yₙ ∈ λₙAyₙ + φₙ를 만족하는 프록시멀 수열 {yₙ}은 연속 진화 시스템의 거의 궤도이며, 이는 점근적 등가성을 보장한다.
• ẍ + γẋ + ∇Φ(x) + ε(t)x = 0인 제2차 시스템에서 ε ∈ L¹이면, 거의 궤도 등가성을 통해 Φ의 최소화자로의 약수렴이 성립한다.
• 스텝 크기 및 외부 요동이 적절한 합계 또는 적분 조건을 만족할 경우, 연속 시스템 ẋ ∈ -Ax의 점근적 행동은 이산화 과정에서 유지된다.