Back to search
2205.09197

MEASURABLE SEMIGROUP SELECTION OF THE HEAT FLOW FOR HARMONIC MAPS

Jorge E. Cardona

correctmedium confidence
Category
Not specified
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper establishes that there exist infinitely many measurable semigroups selecting global weak solutions to the harmonic map heat flow and carefully frames the semigroup identity to hold for every s ≥ 0 and almost every t ≥ 0, relying on compactness, upper semicontinuity, a splicing property valid at energy-inequality times, and a general semiflow-selection theorem of Cardona–Kapitanski. This is stated precisely in the definition of weak solution (energy inequality for a.e. t) and in Theorem 2.1 and its proof, which splice only at such times and then invoke the abstract selection theorem to obtain the semigroup property for a.e. t, including t = 0 (see the definition and Theorem 2.1 together with the proof discussion). The candidate solution reproduces the selection idea with a constructive lexicographic maximization over Laplace-type functionals, but it incorrectly assumes the time-shift/concatenation closure and semigroup identity for every t ≥ 0 (not just a.e. t) and contains a sign/factor error in the “memoryless” identity. It also misattributes the existence of infinitely many solutions to Coron rather than to the later work by Béthuel–Coron–Ghidaglia–Soyeur. These issues make the model’s proof as written incorrect, while the paper’s result and proof are sound.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

This short note cleanly applies a general semiflow-selection framework to the harmonic map heat flow in a classical nonunique regime, yielding infinitely many measurable semigroup selections. The definitions are appropriate (energy inequality for a.e. base time), the concatenation argument is made at legitimate times, and the invocation of the selection theorem is apt. Minor elaborations would make the argument more transparent, especially about upper semicontinuity and the multiplicity claim.