A co-publication with EDP Sciences, France, licensed for sale in all countries outside of France. Sold and distributed within France by EDP Sciences, 17, av. du Hoggar F-91944 Les Ulis, France EDP Sciences ISBN 978-2-7598-0009-4
International audienceThe existence of two-dimensional standing waves on the surface of an infinitely deep perfect fluid under gravity is established. When formulated as a second order equation for a real-valued function w on the 2-torus and a positive parameter µ, the problem is fully nonlinear (the highest order x-derivative appears in the nonlinear term but not in the linearization at 0) and completely resonant (there are infinitely many linearly independent eigenmodes of the linearization at 0 for all rational values of the parameter µ). Moreover, for any prescribed order of accuracy there exists an explicit approximate solution of the nonlinear problem in the form of a trigonometric polynomial. Using a Nash-Moser method to seek solutions of the nonlinear problem as perturbations of the approximate solutions, the existence question can be reduced to one of estimating the inverses of linearized operators at non-zero points. After changing coordinates these operators become first order and non-local in space and second order in time. After further changes of variables the main parts become diagonal with constant coefficients and the remainder is regularizing, or quasi-one-dimensional in the sense of [22]. The operator can then be inverted for two reasons. First, the explicit formula for the approximate solution means that, restricted to the infinite-dimensional kernel of the linearization at zero, the inverse exists and can be estimated. Second, the small-divisor problems that arise on the complement of this kernel can be overcome by considering only particular parameter values selected according to their Diophantine properties. A parameter-dependent version of the Nash-Moser implicit function theorem now yields the existence of a set of unimodal standing waves on flows of infinite depth, corresponding to a set of values of the parameter µ > 1 which is dense at 1. Unimodal means that the term of smallest order in the amplitude is cos x cos t, which is one of many eigenfunctions of the completely resonant linearized problem
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.