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
- arXiv Links
- Abstract ↗PDF ↗
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.