The existence of solitary water waves
The existence of solitary water waves
复制标题
DOI:
10.1002/cpa.3160300402
复制
发表时间:
1977-07
影响因子:
3
通讯作者:
J. Beale
中科院分区:
文献类型:
--
作者:
J. Beale
In this paper we present a proof of the existence of solitary water waves traveling at velocities slightly greater than the critical velocity. The method used is based on a version of the Nash-Moser Implicit Function Theorem. It is somewhat simpler than earlier existence proofs and shows in addition the smooth dependence of the wave on a parameter determining the velocity and amplitude. This justifies a calculation of the wave by expansion in powers of the parameter.By a solitary water wave we mean a two-dimensional irrotational flow such that the fluid is at rest at infinity and the flow is steady with respect to a coordinate system moving at a constant velocity. We assume that the bottom is horizontal and the fluid motion is determined by pressure forces and gravity. Approximate calculations indicate that the propagation velocity U of the solitary wave is always greater than the critical velocity (gh)"', where h is the depth of the fluid at infinity and g is the acceleration of gravity. The first proof of the existence of such waves was obtained by Lavrentiev, who considered them as limits of periodic waves, as the wavelength increased to infinity. A more direct proof was given by Friedrichs and Hyers [2]. In physical coordinates the problem involves a free boundary and is hard to deal with directly. For this reason we employ here a transformation of the problem introduced by Levi-Civita and used in [2]. A detailed discussion of this transformation is given by Stoker in [7], Sections 10.9 and 12.2 a; we merely describe the resulting form of the problem here. If the velocity field (u, u) is close to a constant horizontal flow, it is sufficient to solve for w= u-iu as an analytic function of 4+ i $ in the strip=((4, $): O< $< l}, where 4 is the velocity potential and $ is the stream function; all variables have been nondimensionalized. If we set w= exp {-i (O'+ iA')} the boundary conditions are