Table of Contents
Fetching ...

Convergence of an iterative scheme for the Monge-Ampère eigenvalue problem with general initial data

Nam Q. Le

TL;DR

This work proves that an inverse-iteration scheme for the Monge–Ampère eigenvalue problem converges for all nonzero convex initial data with finite Rayleigh quotient on any bounded convex domain, producing a nontrivial eigenfunction and driving the Rayleigh quotient to the eigenvalue. The authors develop a reverse Aleksandrov estimate via nonlinear integration by parts, establish eventual smoothness of iterates, and derive a new monotonicity formula that underpins uniform convergence of the sequence. They also provide a rate-bound linking the convergence of the Rayleigh quotient to the distance between iterates and the limit eigenfunction. As an application, they obtain an energy characterization: equality of the Monge–Ampère energy with the eigenvalue enforces that the function is a Monge–Ampère eigenfunction, tying variational energy to eigenstructure and extending the method’s theoretical reach.

Abstract

In this note, we revisit an iterative scheme, due to Abedin and Kitagawa (Inverse Iteration for the Monge-Ampère Eigenvalue Problem, Proc. Amer. Math. Soc. 148 (2020), no. 11, 4875--4886), to solve the Monge-Ampère eigenvalue problem on a general bounded convex domain. Using a nonlinear integration by parts, we show that the scheme converges for all convex initial data having finite and nonzero Rayleigh quotient to a nonzero Monge-Ampère eigenfunction. As an application, we obtain an energy characterization of the Monge--Ampère eigenfunctions.

Convergence of an iterative scheme for the Monge-Ampère eigenvalue problem with general initial data

TL;DR

This work proves that an inverse-iteration scheme for the Monge–Ampère eigenvalue problem converges for all nonzero convex initial data with finite Rayleigh quotient on any bounded convex domain, producing a nontrivial eigenfunction and driving the Rayleigh quotient to the eigenvalue. The authors develop a reverse Aleksandrov estimate via nonlinear integration by parts, establish eventual smoothness of iterates, and derive a new monotonicity formula that underpins uniform convergence of the sequence. They also provide a rate-bound linking the convergence of the Rayleigh quotient to the distance between iterates and the limit eigenfunction. As an application, they obtain an energy characterization: equality of the Monge–Ampère energy with the eigenvalue enforces that the function is a Monge–Ampère eigenfunction, tying variational energy to eigenstructure and extending the method’s theoretical reach.

Abstract

In this note, we revisit an iterative scheme, due to Abedin and Kitagawa (Inverse Iteration for the Monge-Ampère Eigenvalue Problem, Proc. Amer. Math. Soc. 148 (2020), no. 11, 4875--4886), to solve the Monge-Ampère eigenvalue problem on a general bounded convex domain. Using a nonlinear integration by parts, we show that the scheme converges for all convex initial data having finite and nonzero Rayleigh quotient to a nonzero Monge-Ampère eigenfunction. As an application, we obtain an energy characterization of the Monge--Ampère eigenfunctions.

Paper Structure

This paper contains 5 sections, 13 theorems, 63 equations.

Key Result

Theorem 1.1

(L) Let $\Omega$ be a bounded convex domain in $\mathbb R^n$. Define $\lambda=\lambda[\Omega]$ by Then, the following facts hold.

Theorems & Definitions (28)

  • Theorem 1.1
  • Theorem 1.2
  • Remark 1.3
  • Theorem 1.4
  • Remark 1.5
  • Remark 1.6
  • Remark 1.7
  • Theorem 1.8
  • Definition 2.1: Monge--Ampère measure
  • Definition 2.2: Aleksandrov solutions
  • ...and 18 more