Particle, kinetic and hydrodynamic models for sea ice floes. Part I: Non-rotating floes

The paper’s Theorem 2.7 asserts that, for constant ocean velocity, every floe velocity converges to the ocean velocity, proved via LaSalle’s invariance principle using the energy M2. However, the proof as written does not explicitly verify the required precompactness/ω-limit boundedness assumption in Proposition 2.4, and the definition of the potential term M2,x ambiguously omits the contact indicator needed for the stated dissipation identity; both are important technical details that should be added for completeness. The candidate solution proves the same convergence using a direct Lyapunov energy dissipation plus a uniform-continuity/integrability (Barbalat-type) argument, and carefully supplies the needed bounds on forces/accelerations to justify uniform continuity, thereby avoiding the missing precompactness step. Hence the model’s argument is correct as stated, while the paper needs minor but real clarifications (Theorem 2.7, Proposition 2.4 conditions, contact-energy truncation) to be fully complete. Key places in the paper: (i) statement of Theorem 2.7 and its LaSalle-based proof sketch, ; (ii) LaSalle invariance principle as Proposition 2.4, ; (iii) definition of moments and the dissipation identity used (Lemma 2.5), ; and (iv) the contact law with κ2≤0 arising from the restitution coefficient, . Numerical plots also validate the theorem only in the constant-ocean case, .