<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2019.71007</article-id><article-id pub-id-type="publisher-id">JAMP-89888</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Dimension-Reduced Model for Deep-Water Waves
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Michael</surname><given-names>Bestehorn</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Peder</surname><given-names>A. Tyvand</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Thomas</surname><given-names>Michelitsch</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref></contrib></contrib-group><aff id="aff3"><addr-line>CNRS, Institut Jean le Rond d’Alembert, Sorbonne Université, Paris, France</addr-line></aff><aff id="aff2"><addr-line>Department of Mathematical Sciences and Technology, Norwegian University of Life Sciences, &amp;amp;#197;s, Norway</addr-line></aff><aff id="aff1"><addr-line>Department of Physics, Brandenburg University of Technology, Cottbus, Germany</addr-line></aff><pub-date pub-type="epub"><day>07</day><month>01</month><year>2019</year></pub-date><volume>07</volume><issue>01</issue><fpage>72</fpage><lpage>92</lpage><history><date date-type="received"><day>12,</day>	<month>December</month>	<year>2018</year></date><date date-type="rev-recd"><day>12,</day>	<month>January</month>	<year>2019</year>	</date><date date-type="accepted"><day>15,</day>	<month>January</month>	<year>2019</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Starting from the 2D Euler equations for an incompressible potential flow, a dimension-reduced model describing deep-water surface waves is derived. 
  Similar to the Shallow-Water case, the 
  z
  -dependence of the dependent variables is found explicitly from the Laplace equation and a set of two
   one-
   
  dimensional equations in x for the surface velocity and the surface elevation remains. The model is nonlocal and can be formulated in conservative form, describing waves over an infinitely deep layer. Finally, numerical solutions are presented for several initial conditions. The side-band instability of Stokes waves and stable envelope solitons are obtained in agreement with other work. The conservation of the total energy is checked.
 
</p></abstract><kwd-group><kwd>Hydrodynamics</kwd><kwd> Ocean Waves</kwd><kwd> Deep-Water Waves</kwd><kwd> Numerical Solutions</kwd><kwd> Fractal Derivatives</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The procedure for deriving reduced equations by expressing the dependence of the dependent variables on a certain, geometrically distinguished spatial coordinate analytically is widespread in nonlinear pattern formation and wave dynamics. As a first attempt, one can consider the Shallow-Water or Saint-Venant equations [<xref ref-type="bibr" rid="scirp.89888-ref1">1</xref>] , which are systematically derived from the hydrodynamic basic equations for an inviscid potential flow by solving iteratively the Laplace equation for the velocity potential function. Thereby, all expansions are controlled by a geometry parameter</p><p>δ = d l ≪ 1 (1)</p><p>where d is the layer’s depth and l a typical lateral length scale (e.g. wave length). A similar expansion can be done for highly viscous problems and the so-called Thin-Film equation is obtained which describes the dynamical behavior of the shape of the film’s surface [<xref ref-type="bibr" rid="scirp.89888-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.89888-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.89888-ref4">4</xref>] . For convection problems, a projection onto certain z-dependent modes allows for the reduction to 2D systems where only the horizontal coordinates occur. Standard equations in normalized form like the Allen-Cahn, the (complex) Ginzburg-Landau or the Swift-Hohenberg equations can be derived, partially by heuristic arguments concerning at least their nonlinear parts [<xref ref-type="bibr" rid="scirp.89888-ref5">5</xref>] .</p><p>Stokes [<xref ref-type="bibr" rid="scirp.89888-ref6">6</xref>] initiated the theory of nonlinear deep-water waves. Three branches of development for strongly nonlinear theory have grown from seminal papers. 1) The highest Stokes wave [<xref ref-type="bibr" rid="scirp.89888-ref7">7</xref>] . 2) The instability of Stokes waves [<xref ref-type="bibr" rid="scirp.89888-ref8">8</xref>] . 3) Breaking of deep-water waves [<xref ref-type="bibr" rid="scirp.89888-ref9">9</xref>] .</p><p>The early nonlinear theories in 2D have now grown into full 3D theories. However, a long-standing problem is that of dimensional reduction of the nonlinear 3D problem to a 2D analysis, as it can be done straightforwardly for the case of shallow water. For deep water waves, the Hamiltonian formulation [<xref ref-type="bibr" rid="scirp.89888-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.89888-ref11">11</xref>] provides a nonlinear system for two two-dimensional field variables, namely surface elevation and potential at the surface. To compute the velocity normal to the surface, the solution of the underlying 3D-Laplace equation is achieved by an expansion with respect to powers of the surface elevation into spectral function. These algorithms have been named ‘higher order spectral methods’ (HOSM) and go back to the work of West et al. [<xref ref-type="bibr" rid="scirp.89888-ref12">12</xref>] and Dommermuth and Yue [<xref ref-type="bibr" rid="scirp.89888-ref13">13</xref>] . Another attempt is the systematic derivation of an equation describing the slowly varying envelope of a given monochromatic wave train. This equation has the form of a nonlinear cubic Schr&#246;dinger equation [<xref ref-type="bibr" rid="scirp.89888-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.89888-ref14">14</xref>] and reflects the side-band instability of Stokes waves as well as envelope solitons as localized stable solutions.</p><p>Contrary to the Shallow-Water or Thin-Film equations, no intrinsic length scale exists for the deep-water case. The only available scales are given by the solutions sought for, namely the wave length λ (if the waves are nearly coherent) and the amplitude A of those waves. In deep-water waves, the ratio of amplitude to wave length is normally rather small. Thus, using the wave steepness</p><p>s = A   k (2)</p><p>with k = 2 π / λ for expanding the nonlinearities seems to be quite natural.</p><p>The present paper offers a consistent scheme of reducing the spatial dimension of nonlinear deep-water wave theory by introducing the concept of fractional derivatives along the free surface. Starting from the 2D Euler equations for an incompressible potential flow, a one-dimensional model describing deep-water surface waves is derived. Similar to the Shallow-Water case, the z-dependence of the dependent variables is determined from the Laplace equation and a set of two nonlinear equations for the surface velocity and the surface elevation remains. The system is nonlocal and can be formulated in conservative form, describing waves over an infinitely deep layer. It contains nonlinearities of the lowest (quadratic) order in velocity and surface elevation but can be systematically extended to higher orders. Numerical solutions are presented for different initial conditions. Coherent wave trains prove to be unstable due to the Benjamin-Feir instability [<xref ref-type="bibr" rid="scirp.89888-ref8">8</xref>] and localized solutions in form of envelope solitons are obtained. Finally, a spatially localized and temporally oscillating surface pressure variation is used to act as a wave-maker. The propagation of different wave ensembles is studied and linear and nonlinear results are compared to show the importance of the nonlinear terms.</p><p>The conservation of the total energy can be considered as a quality test for both the derived system and the numerical method applied for its solutions. We show that the energy is conserved within a few percents which give us confidence in our derivation and results.</p><p>The model can be extended to the case of a 3D potential flow, resulting in a set of three two-dimensional evolution equations.</p></sec><sec id="s2"><title>2. The Model</title><sec id="s2_1"><title>2.1. Potential Flow</title><p>For the sake of simplicity we restrict the treatment first to two dimensions, v = ( v x , v z ) . We are looking for solutions of the non-dimensional Euler eqs. for an incompressible fluid in the half space − ∞ &lt; z ≤ h ( x , t ) , see <xref ref-type="fig" rid="fig1">Figure 1</xref>:</p><p>∂ t v x + v x ∂ x v x + v z ∂ z v x = − ∂ x P (3)</p><p>∂ t v z + v x ∂ x v z + v z ∂ z v z = − ∂ z P − 1 (4)</p><p>∂ x v x + ∂ z v z = 0 (5)</p><p>where time is scaled by</p><p>τ = l g (6)</p><p>and lengths with an arbitrary l which will be identified later (sect. 3.2) with the characteristic wave length of the initial condition. We assume that the flow field can be derived from a potential</p><p>v = ∇ Φ (7)</p><p>which then, due to (5) must be a solution of the Laplace eq.</p><p>∇ 2 Φ = 0 (8)</p><p>which also implies</p><p>∇ 2 v = 0. (9)</p><p>Let</p><p>u h ( x , t ) = v x ( x , z = h ( x , t ) , t ) (10)</p><p>be the horizontal velocity component at the free surface located at z = h ( x , t ) .</p><p>From (3) we derive</p><p>∂ t u h = − 1 2 ∂ x ( u h ) 2 − ∂ x P | z = h . (11)</p><p>Equation (11) serves as a boundary condition (b.c.) for (9) at z = h ( x , t ) . The surface function h is determined by the kinematic b.c.</p><p>∂ t h = v z | z = h − u h ∂ x h (12)</p><p>For the following treatment, it is of advantage to formulate (12) also in conservative form</p><p>∂ t h = − ∂ x S (13)</p><p>with the flux</p><p>S ( x , t ) = ∫ − ∞ h ( x , t )   d z     v x ( x , z , t ) . (14)</p><p>For an infinitely deep layer, the asymptotic b.c.</p><p>v = 0     for     z → − ∞ (15)</p><p>must hold. Hence the general solution of (9) reads</p><p>v x = ∑ k   u k ( t ) e | k | z e i k x + c . c . (16)</p><p>with c.c. as the complex conjugate.</p></sec><sec id="s2_2"><title>2.2. Nonlocal Expansion</title><p>Considering (11) and (13) as evolution Equations, the original 3D (here 2D) problem is reduced to a 2D (here 1D) system in the horizontal coordinates x,y (here x) only. However, to evaluate the flux (14) one needs to know v x ( x , z , t ) . Taking (16), Equation (14) reads</p><p>S ( x , t ) = ∑ k e | k | h ( x , t ) | k | u k ( t ) e i k x + c . c . (17)</p><p>To determine the amplitudes u k from u h , we evaluate (16) at z = h and expand the exponential function up to a given order h N :</p><p>u h = ∑ k   u k ( t ) ∑ n = 0 N ( | k | h ) n n ! e i k x + c . c . (18)</p><p>Next we introduce the fractional differential operator of order h N :</p><p>L ^ N ( h ) = ∑ n = 0 N h n ( − ∂ x x ) n / 2 n ! (19)</p><p>with the nonlocal operator ( − ∂ x x ) n / 2 defined as</p><p>( − ∂ x x ) n / 2 f ( x ) = ∫ − ∞ ∞ | k | n f ˜ k e i k x d k (20)</p><p>for every function f ( x ) via its Fourier transform f ˜ k . We note that (20) is one of the definitions of the fractal Laplacian, here in 1D [<xref ref-type="bibr" rid="scirp.89888-ref15">15</xref>] . Now Equation (18) can be written as</p><p>u h = L ^ N ( h ) ∑ k   u k ( t ) e i k x + c . c . (21)</p><p>(in the 3D case, ∂ x x must be replaced by the horizontal Laplacian ∂ x x + ∂ y y ).</p><p>Using the same technique, S from (17) can be expressed as</p><p>S N = L ^ N ( h ) ( − ∂ x x ) − 1 / 2 ∑ k   u k ( t ) e i k x + c . c . (22)</p><p>leading finally to</p><p>S N ( x , t ) = L ^ N ( h ) ( − ∂ x x ) − 1 / 2 L ^ N − 1 ( h ) u h ( x , t ) (23)</p><p>where L ^ N − 1 is the operator inverse to L ^ N and is computed from</p><p>L ^ n − 1 L ^ n = 1 + O ( h n + 1 ) . (24)</p><p>Thus, the equations (11) and (13) are closed by the relation (23). Note that ( − ∂ x x ) n / 2 is a nonlocal operator only for odd n. For n even it can be expressed by spatial derivatives of order n in position space. Moreover, assuming periodic lateral boundary conditions, it is self-adjoint for all n.</p></sec><sec id="s2_3"><title>2.3. Second Order Model</title><p>In the following we shall restrict ourselves to N = 1 , resulting in a model of second order in the dependent variables h ( x , t ) , u h ( x , t ) . With</p><p>L ^ 1 = 1 + h D ^ , (25)</p><p>its inverse</p><p>L ^ 1 − 1 = 1 − h D ^ , (26)</p><p>and the self-adjoint operator</p><p>D ^ ≡ ( − ∂ x x ) 1 / 2 , (27)</p><p>Equation (23) turns into</p><p>S 1 = D ^ − 1 u h − D ^ − 1 ( h D ^ u h ) + h u h (28)</p><p>where only terms up to the second order in u h , h are included.</p><p>In (11), the pressure gradient evaluated at z = h turns into</p><p>∂ x P | z = h = ∂ x P h − ∂ z P | z = h ∂ x h = − ∂ z P | z = h ∂ x h (29)</p><p>where P h is the pressure along the free surface and assumed to be constant (external pressure). To find ∂ z P we evaluate (4) at the surface and include only linear terms in v , leading to</p><p>∂ z P | z = h = − 1 − ∂ t w h (30)</p><p>with the vertical velocity component</p><p>w h ( x , t ) = v z ( x , z = h ( x , t ) , t ) (31)</p><p>along the surface. w h is related to u h by (5) according to</p><p>w h = − ∂ x D ^ − 1 u h (32)</p><p>where again only linear terms are considered. Finally, we have</p><p>∂ x P | z = h = ∂ x h ( 1 − ∂ x D ^ − 1 ∂ t u h ) , (33)</p><p>where the first term on the right-hand side corresponds to the hydrostatic pressure, the second one to the dynamic part. Using (33), Equation (11) can be cast into the form</p><p>[ 1 − ( ∂ x h ) ∂ x D ^ − 1 ] ∂ t u h = − ∂ x [ 1 2 u h 2 + h ] . (34)</p><sec id="s2_3_1"><title>2.3.1. Model</title><p>After inversion of the operator on the left-hand side of (34), the complete system up to the second order reads</p><p>∂ t u h = − ∂ x [ 1 2 u h 2 + h ] + ( ∂ x h ) D ^ h (35)</p><p>∂ t h = − ∂ x S 1 (36)</p><p>with S 1 from (28).</p></sec><sec id="s2_3_2"><title>2.3.2. Linear Waves</title><p>Taking only linear terms into account one finds from ((35), (36))</p><p>∂ t u h = − ∂ x h</p><p>∂ t h = − ∂ x D ^ − 1 u h (37)</p><p>or, eliminating u h , the linear wave equation</p><p>∂ t t h = ∂ x D ^ − 1 ∂ x h = − D ^ h (38)</p><p>where we have used the identity ∂ x x = − ( D ^ ) 2 . Equation (38) possesses the well-known short-wave dispersion relation</p><p>ω = | k | 1 / 2 . (39)</p></sec><sec id="s2_3_3"><title>2.3.3. Two Horizontal Dimensions</title><p>If we add the second horizontal dimension we are able to describe a 3D flow which, however, is still potential. Extending the surface velocity to a 2D vector</p><p>u h ( x , y , t ) = ( ( u h ) x , ( u h ) y ) (40)</p><p>the derivation of the reduced system is straightforward and it reads</p><p>∂ t u h = − ∇ 2 S u + ( ∇ 2 h ) D ^ h (41)</p><p>∂ t h = − ∇ 2 ⋅ S 1 (42)</p><p>S u = 1 2 ( u h ) 2 + h (43)</p><p>S 1 = D ^ − 1 u h − D ^ − 1 ( h D ^ u h ) + h u h (44)</p><p>with the 2D nabla operator ∇ 2 = ( ∂ x , ∂ y ) .</p></sec></sec><sec id="s2_4"><title>2.4. Similarities and Differences with HOSM</title><p>Contrary to the higher-order spectral methods (HOSM) presented in [<xref ref-type="bibr" rid="scirp.89888-ref12">12</xref>] [<xref ref-type="bibr" rid="scirp.89888-ref13">13</xref>] , we use the surface elevation and the surface velocity instead of the surface potential. With the kinematic b.c. (36) formulated by the help of the flux S, this results in model equations that can be written in conservative form. Due to the self-adjointness of D ^ it can be easily seen that ∫ Γ   d x   u h ,   ∫ Γ   d x   h are conserved in time, also for the numerical scheme, if the derivatives with respect to x are expressed by simple central differences (see sect. 3.1 below). On the other hand, our method can be formulated in a closed form in position space and is, at least up to second order, faster and easier to implement numerically, allowing for larger aspect ratios and an effective numerical realization in two horizontal dimensions. Eventually, Equations ((35), (36)) can be considered as a systematic expansion with respect to the wave steepness s = k h . With the self-consistent assumption u h = O ( s ) , our model includes all terms up to the order s 2 . Hence it should deliver accurate results up to second-order stokes waves, which corresponds to s m ≈ 0.16 [<xref ref-type="bibr" rid="scirp.89888-ref16">16</xref>] , about 36 percents of the steepest possible Stokes wave with s = 0.44 . Then the maximal wave amplitude of a wave with k = 2 π (wave length λ = 1 ) should not be much higher than h max ≈ 0.026 .</p></sec></sec><sec id="s3"><title>3. Numerical Method and Results</title><sec id="s3_1"><title>3.1. Numerical Method</title><p>We concentrate on the 2<sup>nd</sup> order model ((35), (36)) with x in the domain [ 0, Γ ] and periodic lateral b. c. u h ( 0 ) = u h ( Γ ) , h ( 0 ) = h ( Γ ) . To evaluate (28), the expressions</p><p>D ^ f ( x ) ,   D ^ − 1 f ( x ) (45)</p><p>must be computed. The operator introduced in (20) thus reads D ^ n = ( − ∂ x x ) n / 2 . It is nonlocal for odd n and (45) can be written as</p><p>D ^ n f ( x ) = ∫ 0 Γ d x ′   G ( n ) ( x − x ′ ) f ( x ′ ) (46)</p><p>with the Green’s function</p><p>G ( n ) ( x ) = 1 Γ ∑ l = − ∞ ∞ | k l | n e i k l x (47)</p><p>and k l = 2 π l / Γ . Taking a finite difference scheme for the numerical integration of the system, the variable x is discretized as</p><p>x j = j Δ x ,   Δ x = Γ / N ,   j = 0 , ⋯ , N − 1</p><p>where N is the number of mesh points and f N = f 0 with f i ≡ f ( x i ) . The discrete form of (46) thus reads</p><p>D ^ n f j = ∑ l = 0 N − 1   G j l ( n ) f l (48)</p><p>with</p><p>G j l ( n ) = 1 N ∑ m = − N / 2 N / 2 | k m | n e i k m ( x j − x l ) (49)</p><p>which would result in time-consuming computations of convolutions when evaluating (28). Hence it is much more effective to compute (48) in Fourier space where it simply reads</p><p>D ^ n f ˜ l = | k l | n f ˜ l (50)</p><p>where f ˜ l is the discrete Fourier transform of f i that can be obtained numerically by any standard Fast-Fourier transform (FFT) [<xref ref-type="bibr" rid="scirp.89888-ref17">17</xref>] .</p><p>To evaluate S according to (28) it is therefore necessary to compute D ^ u h and D ^ − 1 u h in Fourier space, then perform the products h D ^ u h and h u h in real space and finally compute D ^ − 1 h D ^ u h in Fourier space again. In addition for (35), D ^ h has to be determined in Fourier space. Thus, seven FFTs (three forward and four backward) have to be performed at each time step.</p><p>The derivatives with respect to x occurring in ((35), (36)) are approximated with centered differences</p><p>∂ x f | x i → f i + 1 − f i − 1 2 Δ x (51)</p><p>what ensures the conservation of ∑ i   f i .</p><p>Finally, time integration is achieved by an explicit 4<sup>th</sup>-order Runge-Kutta algorithm [<xref ref-type="bibr" rid="scirp.89888-ref18">18</xref>] .</p></sec><sec id="s3_2"><title>3.2. Results</title><sec id="s3_2_1"><title>3.2.1. Benjamin-Feir Instability of Slightly Disturbed Coherent Wave Trains</title><p>The initial conditions are based on surface elevations in form of a traveling wave with given amplitude and wave number k 0 . If for the spatial scaling introduced in (6) the wave length is chosen, we can put k 0 = 2 π . The x-dimension is discretized with N = 2048 mesh points, the step sizes used are Δ x = 60 / N ≈ 0.029 , Δ t = 0.5 &#215; 10 − 3 , resulting in a side length of Γ = 60 and allowing for 60 initial wave lengths. Each wave length is resolved with about 33 mesh points.</p><p>As first shown in [<xref ref-type="bibr" rid="scirp.89888-ref8">8</xref>] , coherent Stokes waves with a single frequency and wave length are unstable with respect to the side-band instability. The time series in <xref ref-type="fig" rid="fig2">Figure 2</xref> presents the evolution of a 2<sup>nd</sup>-order Stokes wave [<xref ref-type="bibr" rid="scirp.89888-ref19">19</xref>] traveling to the right side as initial condition:</p><p>h ( x , 0 ) = A cos ( k 0 x ) + 1 2 k 0 A 2 ( 1 + cos ( 2 k 0 x ) ) + ε f (x)</p><p>u h ( x , 0 ) = k 0 ( A cos ( k 0 x ) + 3 4 k 0 A 2 ( 1 + cos ( 2 k 0 x ) ) + ε f ( x ) ) (52)</p><p>with</p><p>A = 0.0075 ,   k 0 = 2 π ,   ω 0 = k 0 .</p><p>To trigger the side band (Benjamin-Feir, BF) instability [<xref ref-type="bibr" rid="scirp.89888-ref20">20</xref>] , weak disturbances of the form</p><p>f ( x ) = cos ( ( k 0 + δ k ) x ) + cos ( ( k 0 − δ k ) x ) (53)</p><p>with ε = 0.01   A and δ k = 2 π / Γ have been added. The speed and wave length of the (undisturbed) traveling wave follows as</p><p>c 0 = ω 0 / k 0 + O ( A 2 ) = k 0 − 1 / 2 + O ( A 2 ) ≈ 0.4 , (54)</p><p>what yields a Courant number of</p><p>c 0 Δ t / Δ x ≈ 0.007.</p><p>The disturbances (39) belong to neighbored waves of k 0 in Fourier space. The absolute values of the Fourier amplitudes over time for the carrier wave ( k 0 ) as well as for its five neighbors ( k 0 &#177; δ k , k 0 &#177; 2 δ k ) are shown in <xref ref-type="fig" rid="fig3">Figure 3</xref>. In the beginning, the side bands grow exponentially, taking the energy from the carrier wave that decreases.</p></sec><sec id="s3_2_2"><title>3.2.2. Envelope Solitons</title><p>If a coherent wave is enveloped by a slowly varying function Φ ( x , t ) according to</p><p>h ( x , t ) = Re [ Φ ( x , t ) e i ( k 0 x + ω t ) ] , (55)</p><p>Zakharov [<xref ref-type="bibr" rid="scirp.89888-ref10">10</xref>] showed that for small but finite amplitudes an equation for the complex valued Φ ( x , t ) can be derived, having the form of the nonlinear Schr&#246;dinger equation (NLS):</p><p>i ∂ t Φ = 1 2 ω ″ ∂ ξ ξ Φ + ν | Φ | 2 Φ (56)</p><p>with ξ = x − ω ′ t and</p><p>ω ′ = d ω / d k | k 0 = 1 2 k 0 − 1 / 2 ,   ω ″ = d 2 ω / d k 2 | k 0 = − 1 4 k 0 − 3 / 2 . (57)</p><p>The nonlinear coefficient ν depends on the ratio of the water depth to the wave length of the carrier wave [<xref ref-type="bibr" rid="scirp.89888-ref11">11</xref>] and reads for infinite depth</p><p>ν = − 1 2 k 0 5 / 2 . (58)</p><p>Equation (56) has the well-known localized hyperbolic secant solutions</p><p>Φ ( ξ , t ) = A cosh ( κ ξ ) e i Ω t (59)</p><p>with the relation between reciprocal width and amplitude</p><p>κ = ν ω ″ A = 2 k 0 2 A (60)</p><p>and Ω = − κ 2 ω ″ / 2 = k 0 5 / 2 A 2 / 4 .</p><p>To see how envelope solitons behave in our model, we take as initial condition</p><p>h ( x , 0 ) = A cosh ( κ ( x − x 0 ) ) sin ( k 0 x ) ,   u h ( x , 0 ) = ω 0 h ( x , 0 ) . (61)</p><p><xref ref-type="fig" rid="fig4">Figure 4</xref> shows snapshots from the evolution for</p><p>A = 0.006 ,   κ = 1 / 3 ,   x 0 = 0.2 Γ ,   k 0 = 2 π ,   ω 0 = k 0</p><p>with N = 2048 and Γ = 60 . The envelope soliton travels thereby with the group speed ω ′ as given in (57) which is half of the phase speed ω 0 / k 0 of the carrier wave.</p><p>To confirm the agreement of our model and its numerical solutions with the results of the weakly nonlinear NLS, we also studied an initial condition as (61), but with an amplitude and width of the envelope that does not satisfy the relation (60). Taking the same κ = 1 / 3 but A = 0.003 , the package flows apart and finally extends over the whole domain, <xref ref-type="fig" rid="fig5">Figure 5</xref>.</p><p>Finally we show in <xref ref-type="fig" rid="fig6">Figure 6</xref> the interaction of two colliding envelope solitons, generated by the initial condition</p><p>h ( x , 0 ) = [ A 1 cosh ( κ 1 ( x − x 1 ) ) + A 2 cosh ( κ 2 ( x − x 2 ) ) ] sin ( k 0 x ) (62)</p><p>u h ( x , 0 ) = [ A 1 ω 0 cosh ( κ 1 ( x − x 1 ) ) − A 2 ω 0 cosh ( κ 2 ( x − x 2 ) ) ] sin ( k 0 x )</p><p>with</p><p>A 1 = 0.006 ,     A 2 = 0.009 ,     κ 1 = 1 / 3 ,     κ 2 = 1 / 2 ,     x 1 = 0.2 Γ ,     x 2 = 0.8 Γ .</p><p>The solitons travel in opposite direction and interact without changing their shapes strongly. Due to the periodic b.c. these interactions repeat after equidistant time intervals of T = Γ / 2 ω ′ ≈ 150 .</p></sec><sec id="s3_2_3"><title>3.2.3. Conservation of Energy</title><p>It is interesting to check the temporal variation of the energy during the runs. For an inviscid fluid, the total energy</p><p>E = E p + E k (63)</p><p>with the potential energy</p><p>E p = 1 2 ∫ 0 Γ d x   h 2 (64)</p><p>and the kinetic energy</p><p>E k = 1 2 ∫ 0 Γ   d x   ∫ 0 h   d z [ v x 2 + v z 2 ] (65)</p><p>must be conserved. For the latter one, one finds up to quadratic order the expression</p><p>E k = 1 2 ∫ 0 Γ d x   u h D ^ − 1 u h . (66)</p><p>The conservation of (63) can serve as a quality feature for the numerical solutions as well as for the accuracy of the derived system itself.</p><p><xref ref-type="fig" rid="fig7">Figure 7</xref>, <xref ref-type="fig" rid="fig8">Figure 8</xref> show the three energies (63)-(65) over time for the series depicted in <xref ref-type="fig" rid="fig2">Figure 2</xref> and <xref ref-type="fig" rid="fig6">Figure 6</xref>, respectively. In <xref ref-type="fig" rid="fig8">Figure 8</xref>, potential as well as kinetic energy varies strongly during the collision phases but the sum (63) remains fairly constant. <xref ref-type="table" rid="table1">Table 1</xref> shows the standard deviations normalized with the square mean defined as</p><p>σ ( f ) = 〈 f ( t ) 2 〉 − 〈 f ( t ) 〉 2 〈 f ( t ) 2 〉 (67)</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Standard deviations of the energies shown in <xref ref-type="fig" rid="fig7">Figure 7</xref>, <xref ref-type="fig" rid="fig8">Figure 8</xref></title></caption><table><tbody><thead><tr><th align="center" valign="middle" ></th><th align="center" valign="middle" ><xref ref-type="fig" rid="fig7">Figure 7</xref></th><th align="center" valign="middle" ><xref ref-type="fig" rid="fig8">Figure 8</xref></th></tr></thead><tr><td align="center" valign="middle" >σ ( E )</td><td align="center" valign="middle" >0.0024</td><td align="center" valign="middle" >0.0098</td></tr><tr><td align="center" valign="middle" >σ ( E p )</td><td align="center" valign="middle" >0.0026</td><td align="center" valign="middle" >0.2666</td></tr><tr><td align="center" valign="middle" >σ ( E k )</td><td align="center" valign="middle" >0.0069</td><td align="center" valign="middle" >0.2634</td></tr></tbody></table></table-wrap><p>with the mean</p><p>〈 ... 〉 = 1 T ∫ 0 T   d t ..., (68)</p><p>T = 7000 and f as one of the three energy functions.</p><p>Note that all computations are only up to second order which then applies also for the energy conservation so that</p><p>d t E = O ( ξ 3 ) (69)</p><p>where ξ stands for h, u h and combinations.</p></sec><sec id="s3_2_4"><title>3.2.4. High Waves Caused by Dispersive Focusing of an Unstable Stokes Wave</title><p>Waves on deep water are generated by wind and have a broad spectrum of wave lengths. Since their phase and group speed is proportional to ω − 1 , longer waves are faster than shorter ones and, if they propagate in the same direction, may catch up and enhance the total amplitude. This is already a linear effect but can be amplified by nonlinearities what then leads to even higher wave heights H ≈ 2 h . In this way, very large heights can be obtained, which is one of the mechanisms responsible for the occurrence of freak or rogue waves [<xref ref-type="bibr" rid="scirp.89888-ref14">14</xref>] and named “dispersive focusing” or “dispersive enhancement”.</p><p>To classify waves with respect to their height, the “abnormality index” AI</p><p>AI = H m / H s (70)</p><p>is introduced, where H m is the height of the wave and H s the significant wave height. The significant wave height is defined as the average height of the upper third of the wave height distribution (over time or space). Another way to compute H s is to use the root of the zeroth order moment of the spectrum</p><p>H m 0 = 4 [ 1 Γ ∫ 0 Γ   d x   h 2 ( x ) ] 1 / 2 . (71)</p><p>Then, a freak wave can be defined by AI &gt; 2. The probability for freak waves depends strongly on the initial wave pattern and on the dimensionality of the system. In 2D, only two propagation directions are possible and freak waves should occur quite often. <xref ref-type="fig" rid="fig9">Figure 9</xref> shows the evolution of an unstable Stokes wave as (52), but for a larger aspect ratio and a higher grid resolution N = 2 14 = 16384 at t = 14200 . A freak wave shows up with AI ≈ 2.8. In <xref ref-type="fig" rid="fig1">Figure 1</xref>0 we plot AI over time, the circle marks the situation shown in <xref ref-type="fig" rid="fig9">Figure 9</xref>.</p><p><xref ref-type="fig" rid="fig1">Figure 1</xref>1 shows the the absolute values of the Fourier amplitudes of h ( x ) depicted in <xref ref-type="fig" rid="fig9">Figure 9</xref>. A scaling law according to</p><p>| h k | ∼ exp ( − α | k | ) (72)</p><p>with α ≈ 2 / 15 can be seen over wide regions, in agreement with the findings of Zakharov et al. [<xref ref-type="bibr" rid="scirp.89888-ref21">21</xref>] .</p></sec><sec id="s3_2_5"><title>3.2.5. Waves Generated by Localized Pressure Forcing</title><p>In this section we consider an initially quiescent flat layer with h = u h = 0 at</p><p>t = 0 on which waves are generated by a spatially localized surface pressure of the form</p><p>P h ( x , t ) = P 0 ( t ) exp ( − x 2 / γ 2 ) . (73)</p><p>Inclusion of (73) modifies (35) to</p><p>∂ t u h = − ∂ x [ 1 2 u h 2 + h + P h ] + ( ∂ x h ) D ^ h . (74)</p><p>If the amplitude P 0 varies harmonically, P 0 ( t ) = A sin ( Ω t ) (73) acts as a wave maker and produces waves with wave length λ = 2 π / k = 2π / Ω 2 , traveling symmetrically to both sides. To simulate the situation where waves with shorter wave lengths are followed by longer (faster) waves, we perform a run with γ = 20 Δ x and Δ x = Γ / N = 0.0146 . Frequency and amplitude of the pressure are decreasing linearly in time, according to</p><p>Ω ( t ) = max ( ω 0 − 1 4 t x s , 0 ) ,   A ( t ) = Ω ( t ) ω 0 A 0 (75)</p><p>with A 0 = 0.005 ,   ω 0 = 2π ,   x s = 120 . Two runs have been performed, one with the nonlinear model ((74), (36)), the other with the same system but only keeping linear terms in h , u h . From <xref ref-type="fig" rid="fig1">Figure 1</xref>2 it is evident that the nonlinearities amplify the amplitudes and provide significantly higher waves. Maximal focusing is obtained after t ≈ 590 at x s , see <xref ref-type="fig" rid="fig1">Figure 1</xref>3.</p></sec></sec></sec><sec id="s4"><title>4. Conclusions</title><p>We presented the derivation and numerical solutions of dimension-reduced deep-water equations. The system can be considered as a systematic expansion</p><p>of the basic hydrodynamic equations with respect to powers of the wave steepness. We discussed the model in the lowest nonlinear order and showed numerical 1D-solutions where the Benjamin-Feir instability of coherent waves turned out and the behavior of envelope solitons has been studied. All results are in good agreement with previous work. The envelope solitons coincide well with solutions of the nonlinear Schr&#246;dinger equation both in amplitude and width. Our model is not based on a certain carrier wave and no spatial direction along the surface is distinguished. The formulation is rotationally invariant in the horizontal dimension(s) and allows therefore also for the study of colliding wave trains.</p><p>From the numerical side, the great advantage of the present model is its relatively straightforward and effective numerical realization. Due to the dimension reduction, CPU-times of the runs shown are in the range of hours on normal PCs or Laptops. Our system can be extended both to higher order nonlinearities as well as to three-dimensional potential flows, resulting in a reduced 2D set. Thus, the numerical examination of 2D envelope solitons occurring on the surface of a 3D potential flow should become feasible. This work is currently in progress and will be presented in a following paper.</p></sec><sec id="s5"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s6"><title>Cite this paper</title><p>Bestehorn, M., Tyvand, P.A. and Michelitsch, T. (2019) Dimension-Reduced Model for Deep-Water Waves. Journal of Applied Mathematics and Physics, 7, 72-92. https://doi.org/10.4236/jamp.2019.71007</p></sec></body><back><ref-list><title>References</title><ref id="scirp.89888-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Saint-Venant, A.J.C. (1871) Théorie du mouvement non permanent des eaux, avec application aux crues des rivières et a l’introduction de marées dans leurs lits. Comptes Rendus des Séances de Académie des Sciences, 73, 147, 237.</mixed-citation></ref><ref id="scirp.89888-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Vrij, A. (1966) Possible Mechanism for the Spontaneous Rupture of Thin, Free Liquid Films. Discussions of the Faraday Society, 42, 23. https://doi.org/10.1039/df9664200023</mixed-citation></ref><ref id="scirp.89888-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Oron, A., Davis, S.H. and Bankoff, S.G. (1997) Long-Scale Evolution of Thin Liquid Films. Reviews of Modern Physics, 69, 931. https://doi.org/10.1103/RevModPhys.69.931</mixed-citation></ref><ref id="scirp.89888-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Bestehorn, M. (2013) Laterally Extended Thin Liquid Films with Inertia under External Vibrations. Physics of Fluids, 25, 114106. https://doi.org/10.1063/1.4830255</mixed-citation></ref><ref id="scirp.89888-ref5"><label>5</label><mixed-citation publication-type="book" xlink:type="simple">Bestehorn, M. (2009) Fluid Dynamics and Pattern Formation. In: Meyers, R.A., Ed., Contribution to Encyclopedia of Complexity and System Science, 4, Springer, Berlin, 3611. https://doi.org/10.1007/978-0-387-30440-3_214</mixed-citation></ref><ref id="scirp.89888-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Stokes, G.G. (1847) On the Theory of Oscillatory Waves. Trans. Camb. Phil. Soc., 8, 441.</mixed-citation></ref><ref id="scirp.89888-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Dean, R.G. (1965) Stream Function Representation of Non-Linear Ocean Waves. Journal of Geophysical Research, 70, 4561. https://doi.org/10.1029/JZ070i018p04561</mixed-citation></ref><ref id="scirp.89888-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Benjamin, T.B. and Feir, J.E. (1967) The Disintegration of Wave Trains on Deep Water. Journal of Fluid Mechanics, 27, 417. https://doi.org/10.1017/S002211206700045X</mixed-citation></ref><ref id="scirp.89888-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Longuet-Higgins, M.S. and Cokelet, E.D. (1976) The Deformation of Steep Surface Waves on Water. I. A Numerical Method of Computation. Proceedings of the Royal Society of London, A350, 1. https://doi.org/10.1098/rspa.1976.0092</mixed-citation></ref><ref id="scirp.89888-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Zakharov, V.E. (1968) Stability of Periodic Waves of Finite Amplitude on the Surface of a Deep Fluid. Journal of Applied Mechanics and Technical Physics, 9, 190. https://doi.org/10.1007/BF00913182</mixed-citation></ref><ref id="scirp.89888-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Newell, A.C. (1985) Solitons in Mathematics and Physics. CBMS-NSF Regional Conference Series, 48.</mixed-citation></ref><ref id="scirp.89888-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">West, B.J., Brueckner, K.A., Janda, R.S., Milder, D.M. and Milton, R.L. (1987) A New Numerical Method for Surface Hydrodynamics. Journal of Geophysical Research, 92, 11803. https://doi.org/10.1029/JC092iC11p11803</mixed-citation></ref><ref id="scirp.89888-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Dommermuth, D.G. and Yue, D. (1987) A High-Order Spectral Method for the Study of Nonlinear Gravity Waves. Journal of Fluid Mechanics, 184, 267. https://doi.org/10.1017/S002211208700288X</mixed-citation></ref><ref id="scirp.89888-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Kharif, C., Pelinovsky, E. and Slunyaev, A. (2009) Rogue Waves in the Ocean. Springer.</mixed-citation></ref><ref id="scirp.89888-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Kwasnicki, M. (2017) Ten Definitions of the Fractional Laplacian Operator. Fractional Calculus and Applied Analysis, 20, 7. https://doi.org/10.1515/fca-2017-0002</mixed-citation></ref><ref id="scirp.89888-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Le Méhauté, B. (1976) An Introduction to Hydrodynamics and Water Waves. Springer, Berlin.  https://doi.org/10.1007/978-3-642-85567-2</mixed-citation></ref><ref id="scirp.89888-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Swarztrauber, P.N. (1982) Vectorizing the Fast Fourier Transforms. Academic Press, Cambridge.</mixed-citation></ref><ref id="scirp.89888-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Bestehorn, M. (2018) Computational Physics, with Worked out Examples in FORTRAN and MATLAB, De Gruyter. https://doi.org/10.1515/9783110515145</mixed-citation></ref><ref id="scirp.89888-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Kundu, P.K. and Cohen, I.M. (2004) Fluid Mechanics. Elsevier Academic Press, Cambridge.</mixed-citation></ref><ref id="scirp.89888-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Witham, G.B. (1974) Linear and Nonlinear Waves. John Wiley, Hoboken.</mixed-citation></ref><ref id="scirp.89888-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Zakharov, V.E., Dyachenko, A.I. and Prokofiev, A.O. (2006) Freak Waves as Nonlinear Stage of the Stokes Wave Modulation Instability. European Journal of Mechanics, 25, 677. https://doi.org/10.1016/j.euromechflu.2006.03.004</mixed-citation></ref></ref-list></back></article>