-
The semi-analytic theory and computation of finite-depth standing water waves
Authors:
Ahmad Abassi,
Jon Wilkening
Abstract:
We propose a Stokes expansion ansatz for finite-depth standing water waves in two dimensions and devise a recursive algorithm to compute the expansion coefficients. We implement the algorithm on a supercomputer using arbitrary-precision arithmetic. The Stokes expansion introduces hyperbolic terms that require exponentiation of power series, which we handle efficiently using Bell polynomials. Altho…
▽ More
We propose a Stokes expansion ansatz for finite-depth standing water waves in two dimensions and devise a recursive algorithm to compute the expansion coefficients. We implement the algorithm on a supercomputer using arbitrary-precision arithmetic. The Stokes expansion introduces hyperbolic terms that require exponentiation of power series, which we handle efficiently using Bell polynomials. Although exact resonances occur at a countable dense set of fluid depths, we prove that for almost every depth, the divisors that arise in the recurrence are bounded away from zero by a slowly decaying function of the wave number. A direct connection between small divisors and imperfect bifurcations is observed. They are found to activate secondary standing waves that oscillate non-uniformly in space and time on top of the primary wave, with different amplitudes and phases on each bifurcation branch. We compute new families of standing waves using a shooting method and find that Padé approximants of the Stokes expansion continue to converge to the shooting method solutions at large amplitudes as new small divisors enter the recurrence. Closely spaced poles and zeros of the Padé approximants are observed, which suggests that the bifurcation branches are separated by branch cuts.
△ Less
Submitted 9 July, 2025; v1 submitted 1 January, 2024;
originally announced January 2024.
-
Spatially quasi-periodic water waves of finite depth
Authors:
Jon Wilkening,
Xinyu Zhao
Abstract:
We present a numerical study of spatially quasi-periodic gravity-capillary waves of finite depth in both the initial value problem and traveling wave settings. We adopt a quasi-periodic conformal mapping formulation of the Euler equations, where one-dimensional quasi-periodic functions are represented by periodic functions on a higher-dimensional torus. We compute the time evolution of free surfac…
▽ More
We present a numerical study of spatially quasi-periodic gravity-capillary waves of finite depth in both the initial value problem and traveling wave settings. We adopt a quasi-periodic conformal mapping formulation of the Euler equations, where one-dimensional quasi-periodic functions are represented by periodic functions on a higher-dimensional torus. We compute the time evolution of free surface waves in the presence of a background flow and a quasi-periodic bottom boundary and observe the formation of quasi-periodic patterns on the free surface. Two types of quasi-periodic traveling waves are computed: small-amplitude waves bifurcating from the zero-amplitude solution and larger-amplitude waves bifurcating from finite-amplitude periodic traveling waves. We derive weakly nonlinear approximations of the first type and investigate the associated small-divisor problem. We find that waves of the second type exhibit striking nonlinear behavior, e.g., the peaks and troughs are shifted non-periodically from the corresponding periodic waves due to the activation of quasi-periodic modes.
△ Less
Submitted 6 May, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Spatially quasi-periodic bifurcations from periodic traveling water waves and a method for detecting bifurcations using signed singular values
Authors:
Jon Wilkening,
Xinyu Zhao
Abstract:
We present a method of detecting bifurcations by locating zeros of a signed version of the smallest singular value of the Jacobian. This enables the use of quadratically convergent root-bracketing techniques or Chebyshev interpolation to locate bifurcation points. Only positive singular values have to be computed, though the method relies on the existence of an analytic or smooth singular value de…
▽ More
We present a method of detecting bifurcations by locating zeros of a signed version of the smallest singular value of the Jacobian. This enables the use of quadratically convergent root-bracketing techniques or Chebyshev interpolation to locate bifurcation points. Only positive singular values have to be computed, though the method relies on the existence of an analytic or smooth singular value decomposition (SVD). The sign of the determinant of the Jacobian, computed as part of the bidiagonal reduction in the SVD algorithm, eliminates slope discontinuities at the zeros of the smallest singular value. We use the method to search for spatially quasi-periodic traveling water waves that bifurcate from large-amplitude periodic waves. The water wave equations are formulated in a conformal mapping framework to facilitate the computation of the quasi-periodic Dirichlet-Neumann operator. We find examples of pure gravity waves with zero surface tension and overhanging gravity-capillary waves. In both cases, the waves have two spatial quasi-periods whose ratio is irrational. We follow the secondary branches via numerical continuation beyond the realm of linearization about solutions on the primary branch to obtain traveling water waves that extend over the real line with no two crests or troughs of exactly the same shape. The pure gravity wave problem is of relevance to ocean waves, where capillary effects can be neglected. Such waves can only exist through secondary bifurcation as they do not persist to zero amplitude. The gravity-capillary wave problem demonstrates the effectiveness of using the signed smallest singular value as a test function for multi-parameter bifurcation problems. This test function becomes mesh independent once the mesh is fine enough.
△ Less
Submitted 28 January, 2023; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Numerical Algorithms for Water Waves with Background Flow over Obstacles and Topography
Authors:
David M. Ambrose,
Roberto Camassa,
Jeremy L. Marzuola,
Richard M. McLaughlin,
Quentin Robinson,
Jon Wilkening
Abstract:
We present two accurate and efficient algorithms for solving the incompressible, irrotational Euler equations with a free surface in two dimensions with background flow over a periodic, multiply-connected fluid domain that includes stationary obstacles and variable bottom topography. One approach is formulated in terms of the surface velocity potential while the other evolves the vortex sheet stre…
▽ More
We present two accurate and efficient algorithms for solving the incompressible, irrotational Euler equations with a free surface in two dimensions with background flow over a periodic, multiply-connected fluid domain that includes stationary obstacles and variable bottom topography. One approach is formulated in terms of the surface velocity potential while the other evolves the vortex sheet strength. Both methods employ layer potentials in the form of periodized Cauchy integrals to compute the normal velocity of the free surface, are compatible with arbitrary parameterizations of the free surface and boundaries, and allow for circulation around each obstacle, which leads to multiple-valued velocity potentials but single-valued stream functions. We prove that the resulting second-kind Fredholm integral equations are invertible, possibly after a physically motivated finite-rank correction. In an angle-arclength setting, we show how to avoid curve reconstruction errors that are incompatible with spatial periodicity. We use the proposed methods to study gravity-capillary waves generated by flow around several elliptical obstacles above a flat or variable bottom boundary. In each case, the free surface eventually self-intersects in a splash singularity or collides with a boundary. We also show how to evaluate the velocity and pressure with spectral accuracy throughout the fluid, including near the free surface and solid boundaries. To assess the accuracy of the time evolution, we monitor energy conservation and the decay of Fourier modes and compare the numerical results of the two methods to each other. We implement several solvers for the discretized linear systems and compare their performance. The fastest approach employs a graphics processing unit (GPU) to construct the matrices and carry out iterations of the generalized minimal residual method (GMRES).
△ Less
Submitted 5 May, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Quasi-periodic traveling gravity-capillary waves
Authors:
Jon Wilkening,
Xinyu Zhao
Abstract:
We present a numerical study of spatially quasi-periodic traveling waves on the surface of an ideal fluid of infinite depth. This is a generalization of the classic Wilton ripple problem to the case when the ratio of wave numbers satisfying the dispersion relation is irrational. We propose a conformal mapping formulation of the water wave equations that employs a quasi-periodic variant of the Hilb…
▽ More
We present a numerical study of spatially quasi-periodic traveling waves on the surface of an ideal fluid of infinite depth. This is a generalization of the classic Wilton ripple problem to the case when the ratio of wave numbers satisfying the dispersion relation is irrational. We propose a conformal mapping formulation of the water wave equations that employs a quasi-periodic variant of the Hilbert transform to compute the normal velocity of the fluid from its velocity potential on the free surface. We develop a Fourier pseudo-spectral discretization of the traveling water wave equations in which one-dimensional quasi-periodic functions are represented by two-dimensional periodic functions on the torus. This leads to an overdetermined nonlinear least squares problem that we solve using a variant of the Levenberg-Marquardt method. We investigate various properties of quasi-periodic traveling waves, including Fourier resonances, time evolution in conformal space on the torus, asymmetric wave crests, capillary wave patterns that change from one gravity wave trough to the next without repeating, and the dependence of wave speed and surface tension on the amplitude parameters that describe a two-parameter family of waves.
△ Less
Submitted 14 December, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Spatially quasi-periodic water waves of infinite depth
Authors:
Jon Wilkening,
Xinyu Zhao
Abstract:
We formulate the two-dimensional gravity-capillary water wave equations in a spatially quasi-periodic setting and present a numerical study of solutions of the initial value problem. We propose a Fourier pseudo-spectral discretization of the equations of motion in which one-dimensional quasi-periodic functions are represented by two-dimensional periodic functions on a torus. We adopt a conformal m…
▽ More
We formulate the two-dimensional gravity-capillary water wave equations in a spatially quasi-periodic setting and present a numerical study of solutions of the initial value problem. We propose a Fourier pseudo-spectral discretization of the equations of motion in which one-dimensional quasi-periodic functions are represented by two-dimensional periodic functions on a torus. We adopt a conformal mapping formulation and employ a quasi-periodic version of the Hilbert transform to determine the normal velocity of the free surface. Two methods of time-stepping the initial value problem are proposed, an explicit Runge-Kutta (ERK) method and an exponential time-differencing (ETD) scheme. The ETD approach makes use of the small-scale decomposition to eliminate stiffness due to surface tension. We perform a convergence study to compare the accuracy and efficiency of the methods on a traveling wave test problem. We also present an example of a periodic wave profile containing vertical tangent lines that is set in motion with a quasi-periodic velocity potential. As time evolves, each wave peak evolves differently, and only some of them overturn. Beyond water waves, we argue that spatial quasi-periodicity is a natural setting to study the dynamics of linear and nonlinear waves, offering a third option to the usual modeling assumption that solutions either evolve on a periodic domain or decay at infinity.
△ Less
Submitted 10 February, 2021; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Harmonic Stability of Standing Water Waves
Authors:
Jon Wilkening
Abstract:
A numerical method is developed to study the stability of standing water waves and other time-periodic solutions of the free-surface Euler equations using Floquet theory. A Fourier truncation of the monodromy operator is computed by solving the linearized Euler equations about the standing wave with initial conditions ranging over all Fourier modes up to a given wave number. The eigenvalues of the…
▽ More
A numerical method is developed to study the stability of standing water waves and other time-periodic solutions of the free-surface Euler equations using Floquet theory. A Fourier truncation of the monodromy operator is computed by solving the linearized Euler equations about the standing wave with initial conditions ranging over all Fourier modes up to a given wave number. The eigenvalues of the truncated monodromy operator are computed and ordered by the mean wave number of the corresponding eigenfunctions, which we introduce as a method of retaining only accurately computed Floquet multipliers. The mean wave number matches up with analytical results for the zero-amplitude standing wave and is helpful in identifying which Floquet multipliers collide and leave the unit circle to form unstable eigenmodes or rejoin the unit circle to regain stability. For standing waves in deep water, most waves with crest acceleration below $A_c=0.889$ are found to be linearly stable to harmonic perturbations; however, we find several bubbles of instability at lower values of $A_c$ that have not been reported previously in the literature. We also study the stability of several new or recently discovered time-periodic gravity-capillary or gravity waves in deep or shallow water, finding several examples of large-amplitude waves that are stable to harmonic perturbations and others that are not. A new method of matching the Floquet multipliers of two nearby standing waves by solving a linear assignment problem is also proposed to track individual eigenvalues via homotopy from the zero-amplitude state to large-amplitude standing waves.
△ Less
Submitted 12 March, 2020; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Rigorous Asymptotic Models of Water Waves
Authors:
C. H. Arthur Cheng,
Rafael Granero-Belinchon,
Steve Shkoller,
Jon Wilkening
Abstract:
We develop a rigorous asymptotic derivation for two mathematical models of water waves that capture the full nonlinearity of the Euler equations up to quadratic and cubic interactions, respectively. Specifically, letting epsilon denote an asymptotic parameter denoting the steepness of the water wave, we use a Stokes expansion in epsilon to derive a set of linear recursion relations for the tangent…
▽ More
We develop a rigorous asymptotic derivation for two mathematical models of water waves that capture the full nonlinearity of the Euler equations up to quadratic and cubic interactions, respectively. Specifically, letting epsilon denote an asymptotic parameter denoting the steepness of the water wave, we use a Stokes expansion in epsilon to derive a set of linear recursion relations for the tangential component of velocity, the stream function, and the water wave parameterization. The solution of the water waves system is obtained as an infinite sum of solutions to linear problems at each epsilon^k level, and truncation of this series leads to our two asymptotic models, that we call the quadratic and cubic h-models.
Using the growth rate of the Catalan numbers (from number theory), we prove well-posedness of the h-models in spaces of analytic functions, and prove error bounds for solutions of the h-models compared against solutions of the water waves system. We also show that the Craig-Sulem models of water waves can be obtained from our asymptotic procedure and that their WW2 model is well-posed in our functional framework.
We then develop a novel numerical algorithm to solve the quadratic and cubic h-models as well as the full water waves system. For three very different examples, we show that the agreement between the model equations and the water waves solution is excellent, even when the wave steepness is quite large. We also present a numerical example of corner formation for water waves.
△ Less
Submitted 30 June, 2018;
originally announced July 2018.
-
The instability of Wilton ripples
Authors:
Olga Trichtchenko,
Bernard Deconinck,
Jon Wilkening
Abstract:
Wilton ripples are a type of periodic traveling wave solution of the full water wave problem incorporating the effects of surface tension. They are characterized by a resonance phenomenon that alters the order at which the resonant harmonic mode enters in a perturbation expansion. We compute such solutions using non-perturbative numerical methods and investigate their stability by examining the sp…
▽ More
Wilton ripples are a type of periodic traveling wave solution of the full water wave problem incorporating the effects of surface tension. They are characterized by a resonance phenomenon that alters the order at which the resonant harmonic mode enters in a perturbation expansion. We compute such solutions using non-perturbative numerical methods and investigate their stability by examining the spectrum of the water wave problem linearized about the resonant traveling wave. Instabilities are observed that differ from any previously found in the context of the water wave problem.
△ Less
Submitted 9 August, 2016; v1 submitted 4 November, 2015;
originally announced December 2015.
-
Optimizing intermittent water supply in urban pipe distribution networks
Authors:
Anna M. Lieb,
Chris H. Rycroft,
Jon Wilkening
Abstract:
In many urban areas of the developing world, piped water is supplied only intermittently, as valves direct water to different parts of the water distribution system at different times. The flow is transient, and may transition between free-surface and pressurized, resulting in complex dynamical features with important consequences for water suppliers and users. Here, we develop a computational mod…
▽ More
In many urban areas of the developing world, piped water is supplied only intermittently, as valves direct water to different parts of the water distribution system at different times. The flow is transient, and may transition between free-surface and pressurized, resulting in complex dynamical features with important consequences for water suppliers and users. Here, we develop a computational model of transition, transient pipe flow in a network, accounting for a wide variety of realistic boundary conditions. We validate the model against several published data sets, and demonstrate its use on a real pipe network. The model is extended to consider several optimization problems motivated by realistic scenarios. We demonstrate how to infer water flow in a small pipe network from a single pressure sensor, and show how to control water inflow to minimize damaging pressure gradients.
△ Less
Submitted 22 April, 2016; v1 submitted 10 September, 2015;
originally announced September 2015.
-
Comparison of five methods of computing the Dirichlet-Neumann operator for the water wave problem
Authors:
Jon Wilkening,
Vishal Vasan
Abstract:
We compare the effectiveness of solving Dirichlet-Neumann problems via the Craig-Sulem (CS) expansion, the Ablowitz-Fokas-Musslimani (AFM) implicit formulation, the dual AFM formulation (AFM*), a boundary integral collocation method (BIM), and the transformed field expansion (TFE) method. The first three methods involve highly ill-conditioned intermediate calculations that we show can be overcome…
▽ More
We compare the effectiveness of solving Dirichlet-Neumann problems via the Craig-Sulem (CS) expansion, the Ablowitz-Fokas-Musslimani (AFM) implicit formulation, the dual AFM formulation (AFM*), a boundary integral collocation method (BIM), and the transformed field expansion (TFE) method. The first three methods involve highly ill-conditioned intermediate calculations that we show can be overcome using multiple-precision arithmetic. The latter two methods avoid catastrophic cancellation of digits in intermediate results, and are much better suited to numerical computation.
For the Craig-Sulem expansion, we explore the cancellation of terms at each order (up to 150th) for three types of wave profiles, namely band-limited, real-analytic, or smooth. For the AFM and AFM* methods, we present an example in which representing the Dirichlet or Neumann data as a series using the AFM basis functions is impossible, causing the methods to fail. The example involves band-limited wave profiles of arbitrarily small amplitude, with analytic Dirichlet data. We then show how to regularize the AFM and AFM* methods by over-sampling the basis functions and using the singular value decomposition or QR-factorization to orthogonalize them. Two additional examples are used to compare all five methods in the context of water waves, namely a large-amplitude standing wave in deep water, and a pair of interacting traveling waves in finite depth.
△ Less
Submitted 2 July, 2014; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Relative-Periodic Elastic Collisions of Water Waves
Authors:
Jon Wilkening
Abstract:
We compute time-periodic and relative-periodic solutions of the free-surface Euler equations that take the form of overtaking collisions of unidirectional solitary waves of different amplitude on a periodic domain. As a starting guess, we superpose two Stokes waves offset by half the spatial period. Using an overdetermined shooting method, the background radiation generated by collisions of the St…
▽ More
We compute time-periodic and relative-periodic solutions of the free-surface Euler equations that take the form of overtaking collisions of unidirectional solitary waves of different amplitude on a periodic domain. As a starting guess, we superpose two Stokes waves offset by half the spatial period. Using an overdetermined shooting method, the background radiation generated by collisions of the Stokes waves is tuned to be identical before and after each collision. In some cases, the radiation is effectively eliminated in this procedure, yielding smooth soliton-like solutions that interact elastically forever. We find examples in which the larger wave subsumes the smaller wave each time they collide, and others in which the trailing wave bumps into the leading wave, transferring energy without fully merging. Similarities notwithstanding, these solutions are found quantitatively to lie outside of the Korteweg-de Vries regime. We conclude that quasi-periodic elastic collisions are not unique to integrable model water wave equations when the domain is periodic.
△ Less
Submitted 9 May, 2014;
originally announced May 2014.
-
Overdetermined Shooting Methods for Computing Standing Water Waves with Spectral Accuracy
Authors:
Jon Wilkening,
Jia Yu
Abstract:
A high-performance shooting algorithm is developed to compute time-periodic solutions of the free-surface Euler equations with spectral accuracy in double and quadruple precision. The method is used to study resonance and its effect on standing water waves. We identify new nucleation mechanisms in which isolated large-amplitude solutions, and closed loops of such solutions, suddenly exist for dept…
▽ More
A high-performance shooting algorithm is developed to compute time-periodic solutions of the free-surface Euler equations with spectral accuracy in double and quadruple precision. The method is used to study resonance and its effect on standing water waves. We identify new nucleation mechanisms in which isolated large-amplitude solutions, and closed loops of such solutions, suddenly exist for depths below a critical threshold. We also study degenerate and secondary bifurcations related to Wilton's ripples in the traveling case, and explore the breakdown of self-similarity at the crests of extreme standing waves. In shallow water, we find that standing waves take the form of counter-propagating solitary waves that repeatedly collide quasi-elastically. In deep water with surface tension, we find that standing waves resemble counter-propagating depression waves. We also discuss existence and non-uniqueness of solutions, and smooth versus erratic dependence of Fourier modes on wave amplitude and fluid depth.
In the numerical method, robustness is achieved by posing the problem as an overdetermined nonlinear system and using either adjoint-based minimization techniques or a quadratically convergent trust-region method to minimize the objective function. Accuracy is maintained using spectral collocation with optional mesh refinement in space, a high order Runge-Kutta or spectral deferred correction method in time, and quadruple-precision for improved navigation of delicate regions of parameter space as well as validation of double-precision results. Implementation issues for GPU acceleration are briefly discussed, and the performance of the algorithm is tested for a number of hardware configurations.
△ Less
Submitted 20 October, 2012;
originally announced October 2012.
-
Breakdown of self-similarity at the crests of large amplitude standing water waves
Authors:
Jon Wilkening
Abstract:
We study the limiting behavior of large-amplitude standing waves on deep water using high-resolution numerical simulations in double and quadruple precision. While periodic traveling waves approach Stokes's sharply crested extreme wave in an asymptotically self-similar manner, we find that standing waves behave differently. Instead of sharpening to a corner or cusp as previously conjectured, the c…
▽ More
We study the limiting behavior of large-amplitude standing waves on deep water using high-resolution numerical simulations in double and quadruple precision. While periodic traveling waves approach Stokes's sharply crested extreme wave in an asymptotically self-similar manner, we find that standing waves behave differently. Instead of sharpening to a corner or cusp as previously conjectured, the crest tip develops a variety of oscillatory structures. This causes the bifurcation curve that parametrizes these waves to fragment into disjoint branches corresponding to the different oscillation patterns that occur. In many cases, a vertical jet of fluid pushes these structures upward, leading to wave profiles commonly seen in wave tank experiments. Thus, we observe a rich array of dynamic behavior at small length scales in a regime previously thought to be self-similar.
△ Less
Submitted 26 October, 2011; v1 submitted 10 November, 2010;
originally announced November 2010.
