1. Introduction
The Cauchy–Poisson problem is classical in fluid mechanics and applied mathematics. This pioneering initial-value problem for water waves is described in the textbook by Lamb (Reference Lamb1932, pp. 384–398). It is hereafter referred to as the CP problem. There are two separate subproblems of the fully linearized CP problem: (i) The primary CP problem, where the fluid starts its motion from rest, with a prescribed surface elevation. (ii) The secondary CP problem, where the fluid is forced into motion with zero initial surface elevation (initially horizontal surface). The present paper is devoted to this secondary CP problem, which we will formulate in its fully nonlinear version. The way to initiate the flow in our secondary CP problem, is to apply an instantaneous pressure impulse to the initially horizontal surface and thereafter let the nonlinear free-surface flow evolve in a uniform gravitational field.
Not much research exists on the fully nonlinear CP problem. Shinbrot (Reference Shinbrot1976) and Reeder & Shinbrot (Reference Reeder and Shinbrot1976, Reference Reeder and Shinbrot1979) performed mathematical investigations for this class of problems. Debnath (Reference Debnath1989) studied weak free-surface nonlinearities by the Lagrangian description of motion.
These mathematical papers did not consider the causal initiation of free-surface nonlinearity, which is our present focus. At infinite depth, the early time span of a gravitational time unit will be decisive for the further nonlinear process. This is known from two theoretical studies on the present class of Cauchy–Poisson problem, where a surface pressure is turned on to work on the initially horizontal surface of a semi-infinite fluid. Saffman & Yuen (Reference Saffman and Yuen1979) applied a surface pressure which was sinusoidal in space and time, but of finite duration. Their aim was to investigate numerically the highest non-breaking standing waves which are periodic in space and as close as possible to periodic in time. They found interesting results with full nonlinearity, but their dilemma was that their induced flow departed too much from strict periodicity in time. Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) realized that a similar model could be interesting for investigating the highest transient waves, which they did. They applied an instantaneous pressure impulse instead of the surface pressure of long duration studied by Saffman & Yuen (Reference Saffman and Yuen1979). Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) achieved much higher amplitudes of transient waves than are known experimentally for periodic waves (Taylor Reference Taylor1953), but they did not compute the motion after the stagnant peaks had been reached, since these peaks will experience essentially free fall which inevitably leads to surface breaking.
Our theoretical model follows the earlier work by Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001), with one essential difference. They considered a spatially periodic pressure impulse (sinusoidal), while we will consider a localized pressure impulse (of the multipole type). Spatial periodicity forbids deep-water dispersion from reducing nonlinearity by shifting the energy to longer wavelengths, since the longest wavelength is that of the pressure impulse itself. Only shorter wavelengths can be triggered in these periodic models, which makes the growing of nonlinearity in time inevitable.
During the first gravitational time unit, it is not very essential whether a nonlinear flow is spatially periodic or not. The build-up of free-surface nonlinearity that our model will give during the gravitational time unit will be analogous to the previous work, but after that, it will become very different. After a gravitational time unit, we will have a dominating deep-water dispersion spreading out the non-periodic wave pattern to reduce its amplitude and make it gradually adapt to linear theory. After a couple of gravitational time units, our type of flow will become linearized, although there will be surviving signatures from the early stage where nonlinearity was crucial. These signatures will be increasingly difficult to extract as the linearized dispersive flow dominates.
The strong-impact limit of impulsive flow, which is studied here for the secondary CP problem, is essentially a slamming type of flow (Wagner Reference Wagner1932; Korobkin & Pukhnachov Reference Korobkin and Pukhnachov1988). The conventional way of modelling incompressible slamming problems (water impact) is to give the forced impulsive motion of a body entering a liquid with an initially free horizontal surface, and compute the resulting flow and the impact pressure forces that it generates on the body. The normal velocity is then the cause, and the impulsive pressure field is its effect. In the present paper we will take an opposite causal view on slamming, where an impulsive surface pressure distribution is taken as the cause, and the resulting free-surface flow is the induced effect. The present type of theory may be considered as a parallel development which is complementary to the voluminous slamming theory. A mathematical advantage with our approach is our consistent analysis of the early free-surface nonlinearities that evolve within an impulsive time scale, before gravity takes over and dominates the process.
The present work consists of two parts. In this first part we will develop an analytical small-time expansion to third order in time, in the standard Eulerian description of motion. Exact closed-form solutions will be given for two families of pressure impulses; the dipole type and the quadrupole type. Numerical simulations for the fully nonlinear free-surface flow will be presented, but only for the quadrupole type of pressure impulses because of the slow far-field decay of the dipole distributions. Comparisons between analytical and numerical results will be postponed to Part 2 of this work (Tyvand, Mulstad & Bestehorn Reference Tyvand, Mulstad and Bestehorn2021), where a second-order small-time expansion is developed in the Lagrangian description of motion. We will then show and compare two analytical and one numerical approach to the same strongly nonlinear problem, and investigate in detail how the analytical solutions fail when the free-surface nonlinearity becomes too strong.
2. Modelling assumptions and formulation
We consider an inviscid and incompressible fluid (liquid) which is initially at rest with the horizontal free surface $z=0$. The fluid has constant depth $h$ and a free surface subject to constant atmospheric pressure. Time is denoted by $t$. Cartesian coordinates $x, y, z$ are introduced, where the $z$ axis is directed upwards in the gravity field and the horizontal $x, y$ plane defines the undisturbed free surface. The fluid layer is of infinite horizontal extent. The gravitational acceleration is $g$, and $\rho$ denotes the constant fluid density. The components of the velocity vector $\boldsymbol {v}$ are denoted by $(u,v,w)$. The surface elevation is $\eta (x,y,t)$. It is very important to note that $\eta$ by definition represents the strictly vertical motion of the mathematical free surface, not the motion of a fluid particle at the surface. This means that the following integral is zero
since the average surface level must be constant in the absence of mass sources in the fluid domain.
We assume a forced initial flow $w(x,y,0,0)$ at the free surface, and its forcing will be discussed in detail below. The forcing transfers a net downward momentum in the fluid, and a net energy (being equal to the kinetic energy at $t=0^{+}$), but zero mass flux, as already stated in (2.1). We will see that the forcing induces not only a vertical velocity but also horizontal velocity components at the parts of the surface where the forcing takes place. No vorticity is generated within the inviscid fluid, which implies that the flow is irrotational according to Lord Kelvin's theorem
implying the existence of a velocity potential $\varPhi (x,y,z,t)$ so that $\boldsymbol {v} = \boldsymbol {\nabla } \varPhi$. The incompressible flow of the homogeneous fluid implies the validity of Laplace's equation
in the entire fluid domain. From the equation of motion Bernoulli's equation follows
The atmospheric pressure $p_{atm}$ appears as an integration constant. The flow decays to zero at infinite distance of a disturbance taking place around the origin, which means that $p=p_{atm}$ at $z=0$ as $\vert \boldsymbol {\nabla } \varPhi \vert \rightarrow 0$ in the far field ($x^{2} + y^{2} \rightarrow \infty$) for finite time $t$. From now on we will disregard the reference pressure $p_{atm}$ (which corresponds to making the transformation $p-p_{atm} \rightarrow p$).
The nonlinear kinematic free-surface condition is
The nonlinear dynamic free-surface condition is given by
where surface tension is neglected. Both these nonlinear conditions are relevant for $t>0^{+}$, after the forcing of the flow has been finished. We generally assume constant fluid depth $h$, and the kinematic bottom condition is
The analysis below will concentrate on the case of infinite depth.
The initial-value problem remains to be formulated. It is a CP problem of the secondary type where the free surface is assumed horizontal at $t=0^{+}$
We assume an initial forcing stage of infinitesimal duration $0<t<0^{+}$, during which a surface pressure impulse $P(x,y)$ is applied in order to force the surface into a finite vertical motion $w(x,y,0,0^{+})$. This pressure impulse has the dimension of pressure multiplied by time. Figure 1 gives a sketch of the two-dimensional pressure impulse and resulting surface elevation.
We now introduce the following small-time expansion
where $\delta (t)$ is the Dirac delta function and $H(t)$ is the Heaviside unit step function. In the small-time expansion we have applied the condition (2.8), as there is no zeroth-order elevation in this type of Cauchy–Poisson problem. The pressure impulse in the small-time expansion is linked to the zeroth-order potential by the relationship
which is valid everywhere in the fluid and follows from inserting this small-time expansion into the Bernoulli equation (2.4). The Dirac term for the pressure is here balanced by the time derivative of the suddenly triggered zeroth-order potential, since the derivative of the Heaviside function is the Dirac delta function. This relationship links the pressure impulse to the initial flow field arising at $t=0^{+}$. The pressure impulse received by the surface, thereby forcing the fluid into motion, is thus given by
The gradient of the function $P(x,y)$ creates a horizontal force on the surface particles, so that they will not have a purely vertical motion, as they do when the surface remains free during the impulsive start. This makes the free-surface process in our nonlinear CP problem more complicated mathematically than the related problem of a submerged body forced impulsively into motion (Tyvand & Miloh Reference Tyvand and Miloh1995a,Reference Tyvand and Milohb). On the other hand, the absence of moving solid boundaries is a simplifying element in our problem.
Apart from $p_{-1}$, which assembles the total pressure impulse received on the surface during an infinitesimal time span of impulsive forcing, all the other quantities that enter the small-time expansion will refer to the situation after the forcing has been finished. This implies that the initial condition for the pressure is
which means physically that the surface is again free after the surface forcing has been finished.
2.1. On conservation of momentum and energy
The physical consistency of the present model will now be demonstrated by checking the conservation of momentum and energy, but these general arguments will be completed only for the case of infinite depth. We consider a vertical fluid column below an infinitesimal surface area $\, \textrm {d} x \, \textrm {d} y$. The principle of momentum conservation for such a column is given as
Here, we will not discuss the possible interaction of the pressure impulse with a rigid bottom. The present arguments for the conservation of momentum apply only to the limit $h \rightarrow \infty$. Carrying out the integrations for infinite depth yields
which is identical to (2.11), confirming that our model satisfies the conservation of momentum for infinite depth. The conservation of momentum is also valid for individual vertical columns of fluid, since the pressure forces in the horizontal direction does not contribute to that balance. Nevertheless, it can be shown that the local surface momentum may occasionally be upward, in the direction opposite of a positive local pressure impulse. In such cases, there must be a stronger downward momentum in the fluid domain below the surface to compensate for the surface momentum. The simple identity (2.13) confirms the conservation of the imposed downward momentum for the initial flow.
We proceed to consider the subsequent momentum balance for $t>0^{+}$. Then the surface is again free, since the surface pressure impulse has been terminated. We restrict this analysis to two-dimensional (2-D) flow in the $x, z$ plane, and start from the vertical component of the Euler equation, which can be written as
valid for incompressible irrotational 2-D flow in an inviscid fluid. We integrate (2.15) over $z$, from the bottom $z = - h$ to the instantaneous surface $z = \eta (x,t)$
Applying the Leibniz rule and using the kinematic condition expressed as
this turns into
where we assume $p(\eta )=0$ and $w(-h)=0$. This applies after the pressure impulse is terminated, and we let $h\rightarrow \infty$. The pressure impulse itself has already been considered separately. As $h\rightarrow \infty$, the fluid at the bottom is at rest, with hydrostatic pressure $p(-h) = \rho g h$. Thus
Equation (2.19) constitutes a formula for the evolution of the vertical momentum of a column with height $h+\eta$. Its linear part is just the local surface deformation. According to linear theory, the vertical momentum initially delivered by the pressure impulse is gradually reduced due to the weight of the moving vertical surface column. We may say that the downward momentum is absorbed by the buoyancy force of the displaced fluid, when the surface motion is downward. This means that there is a steady-state vertical motion due to inertia as long as linear theory is valid to first order in the small-time expansion. In linear theory only gravity can modify this steady initial flow, and gravity enters the small-time expansion at a higher (third) order and starts reducing the amplitude of the vertical flow. The initiation of a steady inertial motion is the reason that we can use the small-time expansion for describing the early stages of the flow, even with full nonlinear effects included. However, as soon as the gravitational effects become dominating, the small-time expansion loses its relevance, just as the initial vertical momentum is being converted to oscillatory motion where there is no longer a net vertical momentum. The nonlinear contribution to (2.19) expresses that the vertical momentum is also transmitted in the horizontal direction, and the later oscillatory wave motion will no longer have any net momentum in the vertical direction.
The validity of the small-time expansion rests on the existence of a net vertical momentum, which means that the small-time asymptotic expansion will diverge once the oscillatory wave motion has started. Strong free-surface nonlinearity can only develop before the flow has become oscillatory, which is known from the work by Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) on a similar problem with spatial periodicity. These authors considered infinite depth in order to make the impulsive suction more efficient for generating high surface peaks with strong nonlinearity. With no bottom present, the vertical force impulse initially delivered to the surface converts fully and instantaneously into vertical momentum of the bulk fluid.
We look at the conservation of energy. The kinetic energy $E_0$ in the fluid at $t=0^{+}$ is generated by the pressure impulse, and is equal to the surface-integrated pressure impulse multiplied by the average velocity ($w\vert _{z=0}/2$) during the infinitesimal time interval $0 < t < 0^{+}$ of impulsive start. Conservation of energy then gives
inserting from (2.11). Here, $S_0$ is the entire horizontal plane $z=0$, but we have extended the integration area to $S$ which consists of $S_0$ plus a hemisphere surface (for $z<0$) with infinite radius. Here we assume that the flow field decays sufficiently quickly at infinity, so the integral has zero contribution from the hemisphere surface at infinity. We develop this integral further, as follows
where we have applied the Gauss theorem and introduced the infinitesimal mass element $\textrm {d} m$. We have now reproduced the kinetic energy integral, which confirms the conservation of energy.
3. The small-time expansion to each order
Laplace's equation is valid to each order in the small-time expansion
We already have the dynamic surface condition for the initial flow
where the pressure impulse distribution $P(x,y)$ will be a given function, representing the causal forcing of the entire flow. This instantaneous forcing delivers the momentum and energy of the subsequent fluid flow.
The derivation of the higher-order flow conditions is carried out by introducing the free-surface operator of individual time derivative
We need to apply this operator (3.3) successively, reinserting the small-time expansion at each stage, finally taking the limit $t \rightarrow 0$. The partial (spatial) derivatives will from now on be denoted by subscripts. Again we emphasize that the surface elevation $\eta (x,y,t)$ represents the strictly vertical motion of the surface, otherwise the operator (3.3) could not have this form with a purely vertical convective term.
First the three leading orders of the kinematic condition (2.5) are derived, giving
These kinematic conditions differ from those valid when the surface is free during the impulsive start (Tyvand & Miloh Reference Tyvand and Miloh1995a,Reference Tyvand and Milohb). New non-zero terms like $\phi _{0x}$ and $\phi _{0y}$ appear because of the surface pressure impulse. These terms vanish when the flow is started by an impulsive forcing beneath the free surface, because an equipotential initial surface condition will then be valid. We see that the physics of the nonlinear free-surface flow will be different with a non-zero horizontal surface velocity being present initially.
The mass balance constraint (2.1) must be valid to each order
The leading-order dynamic condition has already been stated in (3.2). It tells that a steady-state velocity field is built up by the externally imposed impulsive pressure field $P(x,y)$, and this steady flow lasts due to inertia after this instantaneous external forcing has been turned off. As the leading-order kinematic condition (3.4) shows, this early steady flow will build up a surface elevation as a linear function of time, as long as linear theory is valid, and gravity has not yet been triggered. The physical insight that an impulsive surface pressure creates an immediate yet lasting steady flow with elevation growing linearly in time, is the basis for applying the small-time expansion. Its validity is based on the lasting steady inertial flow in the bulk of the fluid kicked into motion of a surface pressure impulse. The higher-order temporal Taylor series terms then come automatically as they are triggered by the linearly increasing elevation interacting with itself and later also involving gravity. These interactions are clean, in the sense that no other time dependence than power series in time will appear in this small-time asymptotics as long as there is no singularities at the free surface, which again requires that the function $P(x,y)$ is a continuous function of $x$ and $y$ along the entire surface. Korobkin & Yilmaz (Reference Korobkin and Yilmaz2009) showed that singularities in such free-surface flows must be resolved by inner expansions that are not power series in time.
Now we have argued physically for the validity of the asymptotic small-time expansion in terms of a Taylor series in time. Since there is no steady forcing, this argument is given indirectly via fluid inertia, which is a less obvious reasoning than referring to a steady cause for the flow. In the case of a steady submerged sink being turned on impulsively (Tyvand Reference Tyvand1992; Miloh & Tyvand Reference Miloh and Tyvand1993), the steady cause of the flow is obvious and makes it easy to argue for the asymptotic validity of a Taylor series expansion in time.
We have now established the kinematic conditions to third order, as well as the leading-order dynamic condition (3.2). Let us derive the two next orders of the dynamic condition (2.6). The small-time expansion inserted into the condition itself gives
after evaluating it at $t=0$. Next we apply the operator (3.3) once to derive the third-order dynamic condition
For constant depth $h$, the kinematic bottom condition to each order is
In the limit of infinite depth ($h \rightarrow \infty$), we have the condition $\vert \boldsymbol {\nabla } \phi _n \vert \rightarrow 0$ as $z \rightarrow -\infty$, valid at each order $n$.
We note that there is only one gravitational term in this three-term expansion. In order to determine the three first orders of the flow field, we first need to know the pressure impulse in the entire fluid, from which the zeroth-order potential and the first-order surface elevation follows. The next step is to calculate the first-order potential from its Dirichlet condition (3.8). We can then calculate the second-order potential from the Dirichlet condition (3.9), inserting the known first-order elevation and lower-order potentials.
So far, the formulation is valid for three-dimensional flow. The following calculations will be limited to two-dimensional flows, and we will only consider a semi-infinite fluid domain ($h \rightarrow \infty$).
4. Initial flows for given pressure impulses
In the absence of gravity, linearized theory is very simple. It is governed by (2.11) alone. The initial flow for the semi-infinite fluid continues steadily without any modification from the linearized surface. This fully linearized flow is steady but represents an artificial situation where the initial flux is fed steadily through a fixed isoflux boundary $z=0$. With this perspective, we realize that the entire surface deformation is a nonlinear phenomenon in the absence of gravity. The steady linearized flow that is initially started by the pressure impulse, continues steadily by inertia, provided the appropriate flux is fed to the semi-infinite domain, in or out through the boundary $z=0$.
The arguments leading to (2.14) show that the zeroth-order potential $\phi _0$ takes care of the initial momentum delivered to the fluid. Equation (2.19) indicates how this initial momentum is gradually changed by nonlinear advection and buoyancy. Our analytical study is limited to early stages of this nonlinear process, and the small-time expansion will diverge before a gravitational time unit has passed since the impulsive initiation of the flow.
5. The 2-D symmetric dipole pressure impulse
This paper will be devoted to 2-D multipole distributions of the initial pressure impulse covering the entire surface. One advantage is to avoid singularities in the flow, making the small-time expansion uniformly valid. Another advantage is that all higher-order flows belong to the multipole family of flows. The multipole potentials can be derived by successive differentiations and exact Laurent series expansions, which will be shown in appendix B. The efficiency of these calculations outperforms residue calculus for each new potential arising in the small-time expansion.
The family of distributions that we will study here, is generated by a mathematical source located outside the fluid domain, in the external apex point $(x, z) = (0, L)$. We first consider the symmetric impulsive pressure field due to a fictitious vertical dipole in the apex. The symmetric pressure impulse field is thus chosen as the following harmonic function
which is a symmetric (vertical) dipole field that is an analytical continuation of the surface pressure impulse
where $P_0$ again denotes the maximal value of the surface pressure impulse. The zeroth-order potential that is induced by the symmetric pressure impulse is given by
We will now introduce dimensionless variables, noting that $L$ is the only length scale. Choosing $L$ as the unit of dimensionless surface elevation means that the mathematical apex point is located one length unit above the undisturbed free surface; $P_0/(\rho L)$ is the unit of dimensionless velocity, which implies $\rho L^{2}/P_0$ as unit of dimensionless time. The dimensionless group appearing in our small-time expansion is the dimensionless gravity parameter $G$ defined as
measuring the importance of gravity in the early nonlinear CP problem. The larger the value of $G$, the smaller time is available for developing strong local nonlinearities at the free surface before outward radiation of waves will dominate; $G$ increases with the width of the pressure impulse distribution, and with the density of the fluid, but it decreases with the amplitude of the pressure impulse. The stronger pressure impulse, the weaker is the gravitation in comparison with the nonlinear free-surface effects developing during the early stages of the impulsively generated flow.
The dimensionless free-surface conditions have the same form as those with dimension. The only modification occurs in the dynamic condition for the second-order potential (3.9) which gets the dimensionless form
where the dimensionless gravity parameter $G = \rho ^{2} L^{3} g/P_0^{2}$ replaces the gravitational acceleration $g$ in the version with dimension (3.9). For our 2-D problem, the third-order dynamic condition (5.5) can be rewritten as
The dimensionless version of the zeroth-order potential is
It is advantageous to introduce the harmonic functions $f_n(x,z)$ and $g_n(x,z)$, defined by their value at the boundary $z=0$
where $n=1, 2, 3,\ldots\,$. Tyvand & Miloh (Reference Tyvand and Miloh1995b) considered the functions $f_n$ and $g_n$, formulating the recursive scheme elaborated in appendix B. It is already known that
which is introduced into the dynamic condition (3.8), implying
which by analytical extension implies $\phi _1(x,z)=-f_2(x,z)/2$ in the undisturbed fluid domain $z<0$. From the kinematic conditions (3.4) and (3.5) we have
The separate functions $f_m(x,0)$ arise from Laurent series expansions around the complex point $x=i$, carried out by Mathematica (temporarily introducing $x^{2}$ as a variable). These series of symmetric $f_m$ functions is a sum of horizontally differentiated antisymmetric $g_m$ functions.
A useful check for the surface elevation to each order is the constraint of zero net upward volume flux
which expresses conservation of mass. This constraint is obviously satisfied in (5.12) and (5.13), since the functions $g_n$ vanish in the limit $\vert x \vert \rightarrow \infty$.
We will now express the third-order dynamic condition (5.6) in terms of the functions $f_n$ and $g_n$:
Summing up these contributions, we get the relationship
Equation (5.16) originates from a condition valid at $z=0$, but by analytical extension of these harmonic functions it is valid in the entire half-plane $z<0$. We achieve finite expansions in terms of the functions $f_m$ and $g_m$, both for the potentials and the surface elevations to each order. Due to symmetry around $x=0$, the antisymmetric functions $g_m$ disappear in the final expressions for $\phi _2$ and $\eta _3$.
The total third-order elevation (3.6)
consists of three categories of terms
where
are the direct contributions (without interactions) from the third-order flow field (second-order potential).
There are two remaining contributions to $\eta _3$: first the contributions from the second-order solution interacting with the first-order solution
and finally the triple self-interaction of the first-order solution
Each category of third-order terms in (5.18) satisfies mass balance individually
as each integral is zero. In total, there are four separate mass balances, including the gravitational contribution in $\eta _{33}$. We leave as an open question whether there are mathematical reasons for these separate mass balances.
The total third-order elevation is thus
6. The 2-D oblique dipole pressure impulse
We will now study the full early nonlinear interactions between a symmetric vertical dipole pressure impulse (with dimensionless amplitude $A$) and an antisymmetric horizontal dipole pressure impulse (with dimensionless amplitude $B$). This is equivalent to consider an oblique dipole (with arbitrary orientation), located in the fictitious apex point in the dimensionless position $(x, z) = (0, 1)$ outside the fluid. This oblique dipole is a superposition of a vertical dipole and a horizontal dipole.
The capital subscripts $A$ and $B$ will here refer to the contributions from the symmetric and antisymmetric dipole pressure impulses. Combined or repeated subscripts like $AB$ and $BB$ will refer to higher-order cross-interactions or self-interactions.
The total dimensionless zeroth-order potential at the free surface is then
implying that $\phi _0 = \phi _{0A} + \phi _{0B} = - A f_1 - B g_1$ in the entire half-plane $z \le 0$. This oblique dipole field will always have a sign change in the surface pressure impulse $P(x) = -\rho \phi _0(x,0) = \rho (A f_1(x,0) + B g_1(x,0))$, because $\vert f_1(x,0)\vert$ decays more rapidly to zero than $\vert g_1(x,0) \vert$ as $\vert x \vert \rightarrow \infty$. The first-order elevation is
The leading-order interaction potential is denoted by $\phi _{1AB}$, and it is given by the second-order dynamic condition
and by analytical extension the first-order potential comprises no interaction between the two superposed pressure impulses with amplitudes $A$ and $B$:
The total first-order potential is thus
with the corresponding total second-order elevation
This total second-order elevation comprises two qualitatively different contributions: (i) The symmetric superposition of the separate elevations generated by the vertical and horizontal dipole fields of pressure impulses. (ii) An antisymmetric function representing the leading nonlinear interaction between the horizontal-dipole and vertical dipole pressure impulses, being revealed by the product $A B$ of the respective amplitudes for these dipole pressure impulses.
The third-order elevation $\eta _3$ is complicated. First we must calculate the new second-order interactions potentials $\phi _{2AAB}$ and $\phi _{2ABB}$ at $z=0$. The third-order dynamic condition (3.9) is
Again, there are three contributions to the third-order elevation
first the elevation following directly from the vertical gradient of the second-order potential
The contributions from the second-order solution interacting with the first-order solution are
and finally the contributions from the first-order solution interacting three times with itself
In the formulas for $\eta _{312}$ and $\eta _{3111}$ we have checked that mass balance is satisfied for the symmetric interaction terms with amplitudes $A B^{2}$.
These indefinite integrals confirm mass balance, as each of the integrated terms go to zero as $\vert x \vert \rightarrow \infty$.
Mass balance is trivial for the antisymmetric terms with amplitudes $B^{3}$ and $A^{2} B$. Each elevation term $g_n(x)$ has zero net mass flux over the entire surface, for any $n\ge 2$. However, the case $n=1$ is exceptional as the pressure impulse $g_1(x)$ gives a diverging momentum flux on each side of $x=0$. In other words, there are infinite upward and downward momentum fluxes in this case. These fluxes balance one another with zero sum, and there is finite energy and finite mass fluxes at the surface $z=0$.
The total third-order elevation for the oblique dipole field is given by the formula
This expression includes the full third-order nonlinear interactions.
Figure 2 illustrates the three different types of dipole-type pressure impulse distributions that are contained in the general formulas: the symmetric case, the antisymmetric case and an asymmetric case (with central downward flow). All the first-, second- and third-order elevation components resulting from this family of pressure impulses are illustrated in figure 3. In Part 2, these contributions will be summed up to give the total third-order elevation, to be compared with the second-order elevation according to the Lagrangian description of motion.
7. The 2-D symmetric quadrupole-type impulse
We turn our attention to quadrupole-type pressure impulses. These are fields with a dominant quadrupole contribution, with a dipole term added for the purpose of minimizing the far-field forcing of the horizontal velocity. This improves the possibilities for comparison with slamming flow, where the far-field free-surface flow is strictly vertical. Our quadrupole-type pressure impulse decays so strongly in space that the horizontal far-field velocity is negligible compared with the vertical far-field velocity. The symmetric pressure impulse field of the quadrupole type is chosen as the following harmonic function
which is an analytical continuation of the surface pressure impulse
where $P_0$ again denotes the maximum pressure impulse. The induced zeroth-order potential is
and it is a symmetric quadrupole potential plus a dipole correction providing a far-field decay as $(x/L)^{-4}$.
Now we introduce dimensionless variables in the same manner as we did for the dipole impulses above. The following transformations
replace variables with dimension by dimensionless variables, recalling the dimensionless gravity parameter $G$, still defined by (5.4) above.
We omit most details of the calculations, being similar to those for the dipole pressure impulse. We first give the dimensionless version of the zeroth-order potential (7.3)
leading to the first-order elevation
The first-order potential is
which by analytic extension implies $\phi _1 (x, z) = - f_2(x,z)/8 - f_3(x,z)$ leading to the second-order elevation
Taking this procedure one step further, yields the second-order potential, first defined along the undisturbed surface $z=0$
and by analytic extension this dependency of $\phi _2$ on the functions $f_n,\ (n=1,\ldots .,6)$ holds for all $z\le 0$. From this knowledge we derive the total third-order elevation
These surface elevations are integrated in $x$ in order to verify mass balance, according to (3.7).
8. The 2-D asymmetric quadrupole-type impulse
We will now study the full early nonlinear interactions between a symmetric quadrupole-type pressure impulse (with dimensionless amplitude $A$) and an antisymmetric quadrupole-type pressure impulse (with dimensionless amplitude $B$). This oblique quadrupole-type field has its singularities located in the fictitious apex point with dimensionless position $(x, z) = (0, 1)$ outside the fluid.
As in case of an oblique dipole field, capital subscripts $A$ and $B$ will refer to the contributions from the symmetric and antisymmetric pressure impulses. Combined or repeated subscripts like $AB$ and $BB$ will refer to higher-order cross-interactions or self-interactions.
The total dimensionless zeroth-order potential at the free surface is then
and by definition $\phi _0 = \phi _{0A} + \phi _{0B} = - A f_2 - B g_2$ in the entire half-plane $z \le 0$. The dimensionless surface pressure impulse is $P(x) = -\phi _0(x,0) = (A f_2(x,0) + B g_2(x,0))$.
where the first-order surface elevation
can be written as
From this we derive the first-order potential
where the last expression is valid for all $z \le 0$. There is a non-zero interaction potential $\phi _{1AB} = - g_3/2$, while the similar interaction potential was found to be zero for an oblique dipole-field impulsive pressure.
The induced second-order elevation is
The second-order potential at the undisturbed surface is
The exact formula for the third-order elevation of an oblique quadrupole-type pressure impulse distribution is
We have performed the mass balance verifications of these expressions, but omit them in the text. These new consistency checks apply to $\eta _{2BB}$ and $\eta _{3ABB}$, in addition to $\eta _{1A}$, $\eta _{2AA}$, $\eta _{3AAA}$, already checked in the previous section. The remaining contributions to the surface elevation (up to third order) have trivial mass balances. Equation (8.8) includes the full third-order nonlinear interactions.
Figure 4 illustrates the three different types of quadrupole-type pressure impulse distributions that are contained in the general formulas: the symmetric case, the antisymmetric case and an asymmetric case (with central downward flow). All the first-, second- and third-order elevation components resulting from this family of pressure impulses are illustrated in figure 5. In Part 2, these contributions will be summed up to give the total third-order elevation, to be compared with the second-order elevation according to the Lagrangian description of motion. Comparisons with numerical solutions will also be given.
9. Numerical results for the nonlinear problem
We will here complement our analytical formulas with numerical simulations for the resulting nonlinear wave motion generated by the pressure impulse.
For the numerical computations performed in this section, we apply a dimension-reduced deep-water model which is derived in detail in Bestehorn, Tyvand & Michelitsch (Reference Bestehorn, Tyvand and Michelitsch2019), for a brief overview see appendix C.
The $(1+1)$ dimensional system in gravitational units (appendix A) has the form
where $u_s=u(x,z=\eta (x,t),t)$ is the horizontal surface velocity and $\eta (x,t)$ denotes the location of the free surface. For the definition of the fractal operator $\hat D$ and its inverse $\hat D^{-1}$ see appendix C.
To integrate (9.1), (9.2) numerically it is effective to evaluate $\hat D \eta ,\ \hat D u_s$ and $\hat D^{-1}u_s$ in Fourier space, then perform the products $\eta \hat D u_s$ and $\eta u_s$ in real space and finally compute $\hat D^{-1} (\eta \hat D u_s)$ in Fourier space again. Thus, seven Fourier transforms (three forward and four backward) have to be performed at each time step what is achieved applying standard fast Fourier transforms (Swarztrauber Reference Swarztrauber1982).
The derivatives with respect to $x$ are approximated with centred differences
which ensures the conservation of $\sum _i f_i$, important for mass conservation of (9.2). Finally, time marching is obtained by an explicit fourth-order Runge–Kutta algorithm Bestehorn (Reference Bestehorn2018).
We performed several runs with a symmetric quadrupole-type pressure impulse which is best suited for numerical investigation because it generates flows that are localized in the sense that they decay quickly towards infinity.
The numerical representation of the initial delta-shaped pressure pulse is resolved to a rectangle according to
For the impulse time we take $\delta t = 20 {\rm \Delta} t$, where ${\rm \Delta} t=3\times 10^{-5}$ is the Runge–Kutta time step. For the spatial discretization, 4048 mesh points are used, giving an accurate representation for the intrinsic time and length scales of the solutions. The initial condition for all runs is $\eta (x,0)=u_s(x,0)=0$.
Figure 6 shows time sequences for three different values of $p_0$. Since the shape of $\eta$ stays mirror symmetric ($\eta (x,t)=\eta (-x,t$)) for all times, only half of the layer is plotted. It can be clearly seen how the nonlinearities influence the time evolution of the surface shape if $P_0$ increases.
Nonlinear effects in wave crests are essentially different from nonlinear effects in wave troughs. This is seen immediately from our small-time expansion, because a sign change of the basic amplitude $A$ does not affect the second-order elevation but changes the signs of the first- and third-order elevations. We will therefore show results for a negative amplitude of the quadrupole-type distribution of pressure impulse, $P_0 = - 0.225$. For a negative initial pressure, the surface is lifted in the initial phase and then spreads out in the form of a travelling localized wave, see figure 7.
10. Discussion
We have investigated a nonlinear Cauchy–Poisson problem where the flow is caused entirely by an impulsive surface pressure which puts the initially horizontal surface instantaneously into motion. The force impulse that is delivered to the fluid is converted into a net vertical momentum for each fluid column. Even though the net momentum is vertical, most surface particles will also be put into tangential initial motion, because of the tangential derivative of the surface pressure impulse. Due to inertia, the initial flow continues with its momentum after this instantaneous driving force has been turned off, and the total energy is conserved in this inviscid flow. Even though the net momentum is vertical, there is no net mass transport, which is forbidden by mass conservation with zero net mass flux at infinity.
A small-time expansion of the fully nonlinear free-surface flow has been carried out exactly to third order, for two multipole families of surface pressure impulses. We let $A$ represent the amplitude of the symmetric contribution to each multipole family of pressure impulses that we consider, while $B$ represents the corresponding antisymmetric contribution. The third-order Eulerian solution gives us an opportunity of seeing in detail how the free-surface flow from an asymmetric pressure impulse deviates from a superposition of symmetric and antisymmetric flows. To the second order in time, these deviations enter the product terms $AB$. To the third order in time, these deviations appears as product terms $A B^{2}$ and $A^{2} B$, but their time window of significance is narrow, as the full numerical solution confirms: there is only a short time span from the time when the third-order flow becomes important, until the whole small-time asymptotics breaks down and we are left with only numerical predictions of the further nonlinear flow evolution.
A symmetric pressure impulse with negative amplitude $-A$ will not give a mirror image of the nonlinear free-surface flow induced by the positive amplitude $+A$. The second-order elevation has the amplitude $A^{2}$ and does not change sign when the pressure impulse changes sign. As a contrast, the first- and third-order elevations have the amplitudes $A$ and $A^{3}$, changing sign when $A$ changes sign. Important nonlinear effects are therefore revealed by comparing two initial pressure impulses that are equal, apart from having opposite signs.
The influence of gravity on the early free-surface flow is governed by the parameter $G$ defined as
and alternatively the amplitude of the pressure impulse is measured in gravitational units as
The highest value of $\hat {P}_0$ that produces a reasonably accurate surface peak in the numerical computations is $\hat {P}_0 = 0.5$. The surface will probably break if the pressure impulse is significantly stronger than that.
The present small-time expansion is strictly Eulerian. The higher-order surface deformations are described solely through adding up these vertical elevations $\eta _n$, not by mixing them with Lagrangian descriptions that include tangential motion of the surface particles. This is an important point in the presence of initial tangential surface motion, and it will be investigated in Part 2 of this work whether a small-time expansion in Lagrangian variables may give a closer approximation to the fully nonlinear process than the present Eulerian description. We will not be able to develop a third-order analytical solution in a Lagrangian small-time expansion, only a second-order solution. The present work operates at the limit of what can be done consistently and exactly analytically for moderately strong nonlinear processes. Highly nonlinear free-surface processes can hardly ever be followed closely analytically. The present nonlinear processes are moderately strong, since two consecutive levels of fully nonlinear interactions are calculated exactly in closed form with a finite number of terms. Our full algebra is huge, but it could be carried out efficiently and systematically by Mathematica. All symmetric contributions to the surface elevation have been shown to obey the constraints of mass balance, which is a very useful check for the algebra.
Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) investigated a fully nonlinear standing oscillation which starts as a Cauchy–Poisson problem with a periodic pressure impulse. Their free-surface flow has the following linearized limit
expressed in gravitational units. Here, $C$ is the initial vertical velocity at the initially horizontal free surface. A case that is comparable with our present results is represented by $C=0.5$, where maximal surface deflection occurs at the time $t=1.67$ after the impulsive start. The extremal points at the surface are then approximately $\eta _{max} = 0.67$ at the crest and $\eta _{min} = -0.4$ at the trough. Linear theory would give $\eta _{max} = \vert \eta _{min} \vert = 0.5$ occurring at $t = {\rm \pi}/2 = 1.57$. When $C<0.5$, the surface performs a gentle oscillation with almost periodic time dependence, even though the initial state of a horizontal free surface is not fully recovered.
A direct comparison between our results and those of Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) is not possible because of the incompatible definitions of length units, but our strongest computed pressure impulse $\hat {P}_0 = 0.5$ seems to be reasonably comparable with their case $C=0.5$. Longuet-Higgins & Dommermuth (Reference Longuet-Higgins and Dommermuth2001) has also computed cases with $C>0.5$, and in these cases slender upward spikes will be formed under a strong impulsive suction (negative pressure impulse). Such upward spikes cannot continue as waves, so they will eventually fall down as slender jet flows with an acceleration close to gravity and inevitably lead to breaking of the free surface.
More general conclusions concerning the present model and its three solution methods will be presented at the end of Part 2.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Gravitational dimensionless variables
In the main text we have introduced and applied dimensionless variables based on the amplitude of the pressure impulse, which is convenient for the early nonlinear process where gravity does not enter the second-order problem. However, the process will become gravitational after this early stage, so we need gravitational units for describing the gravitational free-surface flow that takes over after the early impulsive stage is finished.
We will now introduce dimensionless variables based on gravity, noting that $L$ is the only length scale. With infinite depth, $L$ must still be chosen as the length scale of the pressure impulse. The mathematical apex point for the dipole field is thus located one length unit above the undisturbed free surface. We choose gravitational units for the flow, which means that we informally can introduce all the dimensionless units by putting $g=1,~L=1$ and $\rho =1$.
The formal introduction of dimensionless variables in gravitational units can be given as follows
where the dimensionless quantities are represented by a tilde superscript. In the main text we have worked with dimensionless quantities based on the pressure impulse amplitude $P_0$, which generates unit flow amplitudes in this dimensionless description, and gravity enters the problem through a dimensionless gravity parameter
scaled with the amplitude and length scale of the pressure impulse. With gravitational units for dimensionless variables, the gravitational parameter will always be unity, making the substitution $G \rightarrow 1$ in the equations of the main text. With gravitational variables, the flow amplitude will no longer be unity but instead given by the initial condition
which has the dimensionless version
The dimensionless amplitude of the pressure impulse is thus given by
which now represents the initial flow amplitude of the dimensionless zeroth-order potential $\tilde {\phi }_0$ in the small-time expansion. We note the relationship between $\tilde {P}_0$ and the dimensionless gravity parameter $G$ which was used in the main text.
Appendix B. Two families of harmonic functions
We will here develop recursive schemes for calculating the requested higher orders of the harmonic functions $f_n(x,z)$ and $g_n(x,z)$ defined by their values at the boundary of the half-plane $z<0$
where $n$ is a positive integer. These functions are here presented in dimensionless form.
We note the useful identities
We will now show how these related families of multipole-type functions can be calculated recursively. First, we introduce a source potential $\chi$ in the apex point $(0,1)$, which is a fictitious point located outside the fluid domain,
and its gradients give us the two first-order functions
Each new order function is a linear combination of the $z$ derivative of the previous function plus a linear combination of the lower-order function, according to the following recursive scheme
Note that these recursive formulas are valid in the entire half-plane $z \le 0$.
In the free-surface conditions we need the first and second derivatives of these functions, to be expressed by the values of the functions at the undisturbed free surface, $f_n(x,0)$ and $g_n(x,0)$. The recursion formulas that we have developed here, contain the information for calculating these derivatives. We will now list the coefficients entering the expressions for the vertical derivatives at the undisturbed free surface, defined by
where $n = 1, 2,\ldots$. The increasing-order sets of coefficients for the vertical derivatives of the functions $f_n$ are
The increasing-order sets of non-zero coefficients for the vertical derivatives of the functions $g_n$ are
The relationships for the horizontal derivatives of these functions can be written by general formulas (valid for all positive integers $n$)
where Laplace's equation has been utilized.
Appendix C. Dimension-reduced deep-water model
We give a brief derivation for the dimension-reduced deep-water model (9.1), (9.2) applied for the numerical computations of § 9. For more details see Bestehorn et al. (Reference Bestehorn, Tyvand and Michelitsch2019).
Starting from the kinematic boundary condition and the Euler equations for an incompressible, potential flow, the set
is found where $u_s(x,t) = u(x,z=\eta (x,t),t)$ is the horizontal velocity component at the free surface located at $z=\eta (x,t)$ and
denotes the horizontal flux. From $\nabla ^{2} u = 0$, the general form for $u$ reads
and therefore
where c.c. stands for complex conjugate. Expanding e$^{|k|\eta }$ with respect to the (small) steepness $s=|k|\eta$ (C 3) is written as
We define the linear fractional operator of order $s^{N}$
with $\hat D$ as the self-adjoint operator
that has the Fourier representation $\hat D^{n} \longrightarrow |k|^{n}$. Now, $u_k$ can be eliminated between (C 4), (C 5) and up to order $s^{N}$ (C 2) takes the form
with $\hat L_N^{-1}$ as operator inverse constructed from
Up to first order ($N=1$), (C 6) and (C 9) yield
and (C 8) explicitly reads
Assuming for the surface pressure $p(x, z=\eta (x)) = \textrm {const.}$, the pressure gradient in (C 1) reads $\partial _x p|_{z=\eta } = -\partial _z p|_{z=\eta }\partial _x\eta$ and with the Euler equation (first order)
Here, $w_s(x,t) = w(x, z=\eta (x,t),t)$ denotes the vertical velocity component at the surface and can be taken from the continuity equation in appropriate order as $w_s = -\partial _x \hat D^{-1} u_s$. Finally, (C 1) turns into
Inversion of the operator in the brackets on the left-hand side of (C 13) and scaling according to appendix A, (9.1) and (9.2) are obtained in the desired second order $s^{2}$.