[논문 리뷰] Repeated games for eikonal equations, integral curvature flows and non-linear parabolic integro-differential equations

Cyril Imbert, Sylvia Serfaty|arXiv (Cornell University)|2009. 11. 02.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 3

한 줄 요약

이 논문은 비국소적 진화 방정식, 즉 적분 곡률 흐름과 완전 비선형 포물형 적분미분방정식(PIDEs)을 근사하기 위해 영합 반복 게임을 도입한다. 이는 이산 결정론적 제어 해석을 통해 이루어지며, 안정성, 단조성, 일致성 논증을 이용해 게임의 가치 함수가 점도 해로 수렴함을 입증한다. 이는 이전의 국소 해밀토니안-자코비 방정식 결과를 비국소적 설정과 특이 적분 연산자로 확장한다.

ABSTRACT

The main purpose of this paper is to approximate several non-local evolution equations by zero-sum repeated games in the spirit of the previous works of Kohn and the second author (2006 and 2009): general fully non-linear parabolic integro-differential equations on the one hand, and the integral curvature flow of an interface (Imbert, 2008) on the other hand. In order to do so, we start by constructing such a game for eikonal equations whose speed has a non-constant sign. This provides a (discrete) deterministic control interpretation of these evolution equations. In all our games, two players choose positions successively, and their final payoff is determined by their positions and additional parameters of choice. Because of the non-locality of the problems approximated, by contrast with local problems, their choices have to "collect" information far from their current position. For integral curvature flows, players choose hypersurfaces in the whole space and positions on these hypersurfaces. For parabolic integro-differential equations, players choose smooth functions on the whole space.

연구 동기 및 목표

• 국소 해밀토니안-자코비 방정식을 초월해 기하학적 및 비국소적 PDE의 결정론적 제어 해석을 확장하기 위해.
• 특이 적분 항을 포함한 완전 비선형 포물형 적분미분방정식(PIDEs)을 근사하는 영합 반복 게임을 구축하기 위해.
• 비국소적 특성(경계의 전역적 의존성으로 인해)을 지닌 적분 곡률 흐름에 대한 게임 이론적 프레임워크를 제공하기 위해.
• 바르레-수가니디스 프레임워크를 사용하여 게임 가치 함수가 점도 해로 수렴함을 입증하기 위해.
• 넓은 범위의 비국소적 진화 방정식에 대해 새로운 최소화-최대화 공식을 제공하여 수치적 해법과 잠재적 정성적 통찰을 가능하게 하기 위해.

제안 방법

• 비상수 부호 속도를 가진 이케오날 방정식을 위한 반복 게임을 구성하며, 이산 플레이어 선택을 통해 가치 함수로 해를 근사한다.
• 플레이어가 초표면과 그 위의 위치를 선택하는 방식으로 적분 곡률 흐름을 위한 게임을 도입하며, 전역 정보를 수집하여 비국소적 속도를 시뮬레이션한다.
• 플레이어가 전체 공간에서 매끄러운 함수를 선택하도록 하여 일반 PIDEs를 위한 게임을 설계함으로써 비국소 항을 근사화한다.
• 레벨셋 방법과 점도 해 이론을 사용하여 기하학적 진화를 정의하고 잘 정의됨을 보장한다.
• 게임 기반 스킴의 일치성, 단조성, 안정성을 검증함으로써 바르레-수가니디스 수렴 방법을 적용한다.
• 동적 프ogram밍 원리와 종료 조건 추정을 활용하여 목표 해로의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 특이 적분 연산자를 포함한 비국소적 포물형 적분미분방정식(PIDEs)을 근사하기 위해 반복 게임을 구성할 수 있는가?
• RQ2 경계의 형태에 전역적으로 의존하는 적분 곡률 흐름에 대해 게임 이론적 해석을 어떻게 확장할 수 있는가?
• RQ3 제안된 반복 게임의 가치 함수가 목표 PDE의 점도 해로 수렴하는가?
• RQ4 이 프레임워크는 비상수 부호 속도를 가진 비국소적, 완전 비선형 PDE로까지 확장될 수 있는가?
• RQ5 비국소적 설정으로 일반화된 폴-카롤 게임을 위한 최소한의 게임 규칙는 무엇인가?

주요 결과

• 스텝 크기 ε → 0 일 때 게임 가치 함수가 목표 비국소적 PDE의 점도 해로 수렴한다.
• 수렴은 바르레-수가니디스 프레임워크를 사용하여 입증되며, 게임 스킴의 일치성, 단조성, 안정성에 기반한다.
• 적분 곡률 흐름의 경우 플레이어가 전체 초표면과 그 위의 위치를 선택해야 하며, 이는 전역적 경계에 대한 비국소적 의존성을 반영한다.
• 이 방법은 이전의 국소 해밀토니안-자코비 방정식 결과를 초월해 광범위한 비국소적 진화 방정식에 대해 결정론적 제어 해석을 제공한다.
• 종료 조건은 오차 한계 O(T−t)로 만족되어 시간의 최종 상태와 일致함을 보장한다.
• 증명은 모순 논증과 비국소 곡률 연산자를 포함한 추정에 기반하며, 예상 행동에서의 이탈이 게임 동역학에서의 일관성 상실로 이어짐을 보여준다.