Back to search
2007.01218

On Koopman Operators for Burgers Equation

Mikhael Balabane, Miguel A. Mendez, Sara Najem

correctmedium confidence
Category
math.DS
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:55 AM

Audit review

The paper proves, for small L2 data u0 in ΩB, that (a) l_n(u0)=√2∫ H(u0)cos(nπs)ds are Koopman eigen-observables with eigenvalues e^{-n^2π^2 t}, (b) finite products give all eigen-observables indexed by ν with λ_ν=π^2∑ n_k^2, (c) u(t,x)=∑_ν e^{-λ_ν t} φ_ν(u0) a_ν(x), and (d) the series converges uniformly on [0,∞)×[0,1] for u0∈ωB, and yields the static expansion at t=0; see Proposition 1, Corollary 1, Proposition 2, Proposition 3, and Corollaries 2–3 in the PDF (equations (9)–(16)) . The candidate solution uses the same Cole–Hopf conjugacy and cosine-series argument, reproducing the same objects a_ν(x) and φ_ν, and the same spectrum, with a slightly different bound via a maximum principle for v−1 rather than the paper’s L2-gradient lemmas; it also sketches a uniform convergence proof by grouping terms by α and using the Weierstrass M-test. Aside from a minor omission—one sentence justifying the uniform (in t) bound on ∥v_x(t,·)∥_∞ (true since v_x solves the heat equation with homogeneous Dirichlet boundary)—the model’s proof aligns with the paper’s results and logic (cf. the Cole–Hopf conjugacy identities (21) and the detailed convergence estimates in Section 5) .

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The manuscript rigorously constructs a complete Koopman spectral decomposition for the Burgers flow on a small invariant set and proves uniform convergence, clarifying degeneracy and completeness issues. The results are correct and valuable as a benchmark for Koopman/DMD on PDEs. Minor clarifications to highlight uniform-in-time bounds and to consolidate smallness assumptions would further improve readability.