This paper presents an existence theory for solitary waves at the interface between a thin ice sheet (modelled using the Cosserat theory of hyperelastic shells) and an ideal fluid (of finite depth and in irrotational motion). The theory takes the form of a review of the Kirchgässner reduction to a finite-dimensional Hamiltonian system, highlighting the refinements in the theory over the years and presenting some novel aspects including the use of a higher-order Legendre transformation to formulate the problem as a spatial Hamiltonian system, and a Riesz basis for the phase space to complete the analogy with a dynamical system. The reduced system is to leading order given by the focussing cubic nonlinear Schrödinger equation, agreeing with the result of formal weakly nonlinear theory (which is included for completeness). We give a precise proof of the persistence of two of its homoclinic solutions as solutions to the unapproximated reduced system which correspond to symmetric hydroeleastic solitary waves.
Read full abstract