[논문 리뷰] The max-plus Martin boundary

Marianne Akian, Stéphane Gaubert외 1명|arXiv (Cornell University)|2004. 12. 20.

Geometric Analysis and Curvature Flows참고 문헌 29인용 수 30

한 줄 요약

이 논문은 결정론적 최적 제어 문제에 대해 마르틴의 잠재력 이론의 최대-합 대체 이론을 개발하며, 부스만 함수를 통해 마르틴 경계를 정의하고, 최소 마르틴 경계 위의 측도에 대한 초월함수로 최대-합 조화 함수를 표현하는 표현 정리를 증명한다. 주요 기여는 최대-합 버전의 마르틴 표현 정리로, 극단적 조화 함수를 거의 지오데식선과 노름 공간 내의 부스만 점과 연결한다.

ABSTRACT

We develop an idempotent version of probabilistic potential theory. The goal is to describe the set of max-plus harmonic functions, which give the stationary solutions of deterministic optimal control problems with additive reward. The analogue of the Martin compactification is seen to be a generalisation of the compactification of metric spaces using (generalised) Busemann functions. We define an analogue of the minimal Martin boundary and show that it can be identified with the set of limits of ``almost-geodesics'', and also the set of (normalised) harmonic functions that are extremal in the max-plus sense. Our main result is a max-plus analogue of the Martin representation theorem, which represents harmonic functions by measures supported on the minimal Martin boundary. We illustrate it by computing the eigenvectors of a class of translation invariant Lax-Oleinik semigroups. In this case, we relate the extremal eigenvectors to the Busemann points of a normed space.

연구 동기 및 목표

• 고전적 잠재력 이론을 결정론적 최적 제어 문제의 최대-합 대수 구조로 확장하기.
• 부스만 함수를 통한 콪 pactification을 이용해 최대-합 마르틴 경계의 이론을 정의하기.
• 최소 마르틴 경계 위의 측도를 사용해 최대-합 조화 함수의 표현 정리를 수립하기.
• 극단적 해를 거의 지오데식선의 극한으로 특성화하고, 라크스-올라닉 반군의 고유벡터와 연관시키기.
• 최소 마르틴 경계와 노름 공간의 기하학, 특히 부스만 점과 쌍대 단위구의 극점 간의 관계를 연결하기.

제안 방법

• 경로 가중치의 상한으로서 최대-합 그린 커널 $A^*_{ij}$를 정의하여 조화 함수의 기초를 마련한다.
• 기준 측도 $\sigma_i$를 도입하고 $\pi_j := \sup_k (\sigma_k + A^*_{kj})$를 정의하여 조화 함수 공간을 정규화한다.
• 최대-합 마르틴 공간 $\mathscr{M}$을 $\{A^*_{\cdot j} - \pi_j\}_{j \in S}$의 곱 위상에서의 폐포로 구성한다.
• 마르틴 경계를 $\mathscr{M} \setminus \mathscr{K}$로 정의하며, 여기서 $\mathscr{K}$는 정규화된 기본 해의 집합이다.
• 최소 마르틴 경계 $\mathscr{M}^m$을 극단적 조화 함수의 집합으로 식별하며, 이는 거의 지오데식선의 극한에 해당한다.
• 최대-합 마르틴 표현 정리 증명: 모든 $\pi$-적분 가능한 조화 함수 $u$는 어떤 상부 하우스도르프 함수 $\nu$에 대해 $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$ 로 표현 가능하다.

실험 결과

연구 질문

• RQ1 고전적 마르틴 경계 이론을 결정론적 최적 제어 문제의 최대-합 대수 구조로 어떻게 일반화할 수 있는가?
• RQ2 최대-합 마르틴 경계는 경로와 점근적 행동 측면에서 기하학적이고 동역학적으로 어떻게 해석할 수 있는가?
• RQ3 최대-합 의미에서의 극단적 조화 함수는 부스만 함수와 거의 지오데식선과 어떻게 관련되는가?
• RQ4 이동 불변 라크스-올라닉 반군의 고유벡터는 최소 마르틴 경계를 통해 어떻게 특성화할 수 있는가?
• RQ5 최소 마르틴 경계와 노름 공간의 쌍대 단위구의 극점 사이의 관계는 무엇인가?

주요 결과

• 최소 마르틴 경계 $\mathscr{M}^m$은 유한한 최대 보상치를 달성하는 거의 지오데식선의 극한으로 식별된다.
• 최소 마르틴 경계는 극단적 최대-합 조화 함수의 집합과 일치한다. 즉, 다른 조화 함수들의 비자명한 초월함수로 표현될 수 없는 함수들이다.
• 모든 $\pi$-적분 가능한 최대-합 조화 함수는 $u = \sup_{w \in \mathscr{M}^m} \nu(w) + w$ 로 표현 가능하며, 여기서 $\nu$는 $\mathscr{M}^m$ 위의 상부 하우스도르프 함수이다. 이는 마르틴 표현 정리의 최대-합 대체 이론을 확립한다.
• 이동 불변 라크스-올라닉 반군의 경우, 극단적 고유벡터는 기저 노름 공간의 부스만 점과 정확히 일치한다.
• $p > 1$ 인 $L^p$-노름의 경우, 부스만 점은 $w: x \mapsto \min_{i \in I} \epsilon_i(x_i - X_i) + \max_{i \in I} \epsilon_i X_i$ 의 형태를 가지며, 여기서 $I$는 인덱스의 비어있지 않은 부분집합이고 $\epsilon_i = \pm 1$ 이다. 이러한 함수들은 극단적 해를 생성한다.
• 최소 마르틴 경계는 쌍대 단위구의 적절한 면의 극점 집합과 위상동형이며, 이는 대수적 구조와 볼록 기하학을 연결한다.