A Lagrangian perspective on nonautonomous advection-diffusion processes in the low-diffusivity limit

Daniel Karrasch, Nathanael Schilling

correctmedium confidence

Category: math.DS
Journal tier: Strong Field
Processed: Sep 28, 2025, 12:55 AM
arXiv Links: Abstract ↗PDF ↗

Audit review

The paper proves (i) a uniform O(ε^2) finite-time averaging error uε(1,·)−uε(1,·) and (ii) the first-singular-value asymptotics limε→0(σε−1)/ε=λ, under an admissibility condition on u0, using a maximum-principle argument and a variational compactness method, respectively. The candidate solution establishes the same two conclusions via a Dyson/Magnus-type expansion with a commutator estimate and a Rayleigh–Ritz argument. The statements match the paper’s Theorem 3.1 and Theorem 3.5 and are correct, albeit with different proof strategies .

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The manuscript rigorously establishes a finite-time averaging error bound and identifies the leading singular-value slope for the time-1 nonautonomous diffusion operator. The methods are robust (maximum principle for the uniform estimate; compactness/variational arguments for the singular value) and well-situated in the literature. Minor clarifications and additional references for certain boundary-regularity points would further strengthen the presentation.