1. Introduction
Mach reflection is a phenomenon in fluid dynamics that has significant impact on both theoretical research and practical applications. It was discovered and named by the physicist Ernst Mach, who studied shock wave interactions at the wavefront (Mach & Wosyka Reference Mach and Wosyka1875). In his innovative experiment, meticulously reviewed by Reichenbach (Reference Reichenbach1983) and replicated by Krehl & van der Geest (Reference Krehl and van der Geest1991), Mach reflection occurs when a shock wave encounters a compressive corner. Three shock waves typically emerge in the Mach reflection process: the incident and reflected waves and the ‘Mach stem’ that bridges between them, which has been extensively studied since the pioneering work of von Neumann (Reference von Neumann1943, Reference von Neumann1945). In contrast, Mach expansion is observed when a shock wave interacts with an expansive corner. This interaction leads to the gradual divergence of expansion waves from the corner, resulting in the formation of a dynamically evolving fan-shaped region. This region serves as a bridge between the incident shock wave and the Mach stem (Whitham Reference Whitham1957, Reference Whitham1959; Bazhenova et al. Reference Bazhenova, Gvozdeva, Komarov and Sukhov1975), as illustrated in figure 1.
This phenomenon was also observed in oceanic surface waves (Cornish Reference Cornish1910). Gilmore et al. (Reference Gilmore, Plesset and Crossley1950) elucidated the intersection and reflection phenomena of hydraulic jumps in liquids and shock waves in gases by drawing parallels between the two. Their discussion included analyses of regular and Mach reflections, comparing experimental observations with theoretical projections. Nevertheless, a comprehensive theoretical explanation of Mach reflection in water waves was not achieved until the pioneering contributions of Miles (Reference Miles1977a , Reference Milesb ). Miles examined the interaction of two obliquely colliding solitons in surface gravity waves and proposed that the dynamics depend on their incident angles and amplitudes. A weakly interacting scenario occurs when the incident angles are sufficiently small, allowing the two solitons to approximately linearly superpose, resulting in regular reflection. As the incident angle increases, the solitons undergo Mach reflection, leading to the formation of the Miles resonant soliton. This phenomenon is characterised by the triple-point interaction among the incident, reflected and fused (Mach–Miles) solitons, which has been validated by both experimental results (Perroud Reference Perroud1957; Melville Reference Melville1980) and numerical simulations (Funakoshi Reference Funakoshi1980; Tanaka Reference Tanaka1993).
Diagram of a shock wave that encounters the compressive corner (a,b) and expansive corner (c,d): (a) Mach reflection; (b) regular reflection; (c) Mach expansion; (d) regular expansion.

To describe the (2 + 1)-dimensional wave motion in a fluid of finite depth, Kadomtsev & Petviashvili (Reference Kadomtsev and Petviashvili1970) proposed a unidirectional model amenable to weak transverse variation, known as the Kadomtsev–Petviashvili (KP) equation,
where
$u$
is the surface elevation,
$x$
and
$y$
are the longitudinal and transverse spatial coordinates, respectively, and the subscripts denote partial derivatives. The complete integrability of the KP equation (Ablowitz & Clarkson Reference Ablowitz and Clarkson1991) yields the analyticity of resonant multisoliton solutions (Kodama Reference Kodama2004; Biondini & Chakravarty Reference Biondini and Chakravarty2006; Biondini Reference Biondini2007; Kodama Reference Kodama2010), which provides a foundation for the investigation of Miles’ resonant soliton phenomena. Miles’ theory experienced rapid development due to these explicit multisoliton solutions and direct numerical simulations of the KP equation (Tsuji & Oikawa Reference Tsuji and Oikawa2007; Biondini et al. Reference Biondini, Maruno, Oikawa and Tsuji2009; Kodama et al. Reference Kodama, Oikawa and Tsuji2009). These new findings have also been confirmed by laboratory experiments (Li et al. Reference Li, Yeh and Kodama2011; Kodama & Yeh Reference Kodama and Yeh2016) and oceanic field observations (Ablowitz & Baldwin Reference Ablowitz and Baldwin2012; Wang & Pawlowicz Reference Wang and Pawlowicz2012).
The KP equation (1.1), also termed the KP-II equation, admits stable line solitons (Ablowitz & Clarkson Reference Ablowitz and Clarkson1991),
\begin{equation} u=A\;\text{sech}^2 \left [ \frac {\sqrt {A}}{12} (x+q y-c t) \right ] \,,\quad c=\frac {A}{3}+q^2\,, \end{equation}
where
$A$
is the amplitude,
$c$
is the wave frequency and
$q$
denotes the slope of the line soliton. Thus, the propagation of line solitons can be characterised by determining
$A=A(y,t)$
and
$q=q(y,t)$
. Ryskamp et al. (Reference Ryskamp, Maiden, Biondini and Hoefer2021) employed the Whitham modulation theory, with
$A$
and
$q$
varying slowly in time and space, to derive the modulation equations for the KP equation (see also Lee & Grimshaw Reference Lee and Grimshaw1990; Neu Reference Neu2015), which are
\begin{equation} \begin{aligned} &A_t+2q A_y+\frac {4}{3}A q_y=0\,,\\ &q_t+\frac {1}{3}A_y+2q q_y=0\,. \end{aligned} \end{equation}
The above
$2\times 2$
quasilinear hyperbolic system is a limiting case of the Whitham modulation equations for periodic waves, as discussed by Ablowitz et al. (Reference Ablowitz, Biondini and Wang2017). This scenario specifically addresses
$x$
-independent modulations of line solitons, as Biondini et al. (Reference Biondini, Hoefer and Moro2020) highlighted.
Assisted by the exact solution (Biondini & Chakravarty Reference Biondini and Chakravarty2006; Kodama Reference Kodama2018) for the Y-shaped soliton of (1.1) (Ryskamp et al. Reference Ryskamp, Hoefer and Biondini2022), through an analysis of (1.3), revised the classical Rankine–Hugoniot (RH) jump conditions and proposed the modified RH conditions. They accurately described the Miles resonant solitons and precisely characterised the Mach reflection phenomenon of line solitons within the KP framework. The amplitudes and slopes of the Mach stem and the reflected soliton were analytically determined by
where the subscripts
$w$
,
$i$
and 0 represent the parameters of the Mach, reflected and incident solitons, respectively. By applying the modified RH jump conditions, they derived the critical slope
$q_{{cr}}=\sqrt {A_0}$
that distinguishes the region between regular and Mach reflections. These conclusions were further verified through numerical experiments conducted by Ryskamp et al. (Reference Ryskamp, Hoefer and Biondini2022).
As for the Mach expansion of line solitons, Ryskamp et al. (Reference Ryskamp, Maiden, Biondini and Hoefer2021) utilised the equivalent characteristic form of (1.3) to perform eigenvalue analysis, leading to a precise description of line-soliton Mach expansion in the context of the KP equation. The study identified the critical angle for Mach expansion, along with the corresponding amplitude for forming a Mach stem, denoted as
which can also be viewed as an extension of (1.4) for the case
$q_0\lt 0$
. Results presented by Ryskamp et al. (Reference Ryskamp, Maiden, Biondini and Hoefer2021) have been validated through numerical simulations, indicating that when the angle between the direction of propagation of the line soliton and the reflecting surface (referred to as the symmetry plane) is small, the line soliton undergoes Mach expansion. Starting from the point of incidence, they gradually expand to form an arc-shaped wave that connects the incident soliton and the Mach stem. As the angle increases, the Mach stem disappears, resulting in regular expansion. The planar depiction of the Mach expansion process for line solitons in the KP equation closely resembles the Mach expansion observed in aerodynamics, as illustrated in figure 1(c,d).
The previous discussions on Mach reflection/expansion of solitons are predominantly based on the KP equation. However, it is important to note that the KP equation is inherently anisotropic and describe unidirectional wave propagation. This limitation means it does not effectively capture wave phenomena with significant transverse variations in the ocean. In this paper, we focus on the weakly nonlinear isotropic bidirectional Benney–Luke (BL) equation,
where
$\xi$
denotes the surface velocity potential, and
$\unicode{x1D6E5}$
and
$\nabla$
are the Laplacian and gradient operators, respectively. As shown by Ablowitz et al. (Reference Ablowitz, Fokas and Musslimani2006), the BL (1.6) can be formally reduced to the KP (1.1) in the appropriate limits.
The BL equation was initially proposed by Benney & Luke (Reference Benney and Luke1964) for studying free-surface shallow-water waves and was later extended to isotropic and two-way propagating internal waves by Yuan et al. (Reference Yuan, Wang and Chen2020) and Yuan & Wang (Reference Yuan and Wang2022). Bokhove & Kalogirou (Reference Bokhove and Kalogirou2016) used this equation to simulate a soliton splash occurring from a wave running through a confined channel, with the numerical results showing strong agreement with experimental data, which supports the notion that the BL approximation serves as a ‘reasonable’ reduced model for free-surface water waves. Melville (Reference Melville1980) utilised a finite difference method to investigate the initial value problem for the BL equation concerning two-dimensional soliton reflection, demonstrating a high degree of consistency with Miles’ theoretical framework. Ablowitz & Curtis (Reference Ablowitz and Curtis2011) employed both analytical and numerical techniques to explore how the BL equation can be utilised to modify the web solutions of the KP equation. Furthermore, Ablowitz & Curtis (Reference Ablowitz and Curtis2013) developed a direct perturbation method, leveraging inherent conservation laws to ascertain the gradual progression of the parameters within non-decaying, two-dimensional solutions to the BL equation, with numerical simulations corroborating these findings. Building on the relationship between the KP and BL equations, Gidel et al. (Reference Gidel, Bokhove and Kalogirou2017) extended the conclusions drawn from the Mach reflection phenomena of the KP equation to the BL equation. Using a variational Galerkin finite element method, numerical simulations conducted by Gidel et al. (Reference Gidel, Bokhove and Kalogirou2017) aligned well with the theoretical predictions proposed by Miles (Reference Miles1977b ). However, only asymptotic solutions were applied to characterise the Mach reflection and Mach expansion phenomena within the framework of the BL equation. Consequently, a rigorous theory based on an exact solution remains absent, underscoring the primary concern addressed in the present paper.
Milewski (Reference Milewski1998) incorporated the effects of bottom topography into the derivation of the BL equation, leading to the formulation of the forced Benney–Luke (fBL) equation that captures the influence of topography on surface waves (Curtis & Shen Reference Curtis and Shen2015) and internal waves (Yuan et al. Reference Yuan, Wang and Chen2020; Yuan & Wang Reference Yuan and Wang2022). The fBL equation can also be reduced to the forced Kadomtsev–Petviashvili (fKP) equation (see, for example, Lee et al. Reference Lee, Yates and Wu1989). Lee & Grimshaw (Reference Lee and Grimshaw1990) analysed the numerical outcomes from the fKP equation, alongside the modulation equations (1.3), to scrutinize the evolution of upstream-advancing waves, which exhibit a parabolic progression. However, when considering the isotropic nature of the fBL equation, the precise depiction of its two-dimensional upstream-advancing wave dynamics is also a point of interest that merits attention.
In this work, we focus on the oblique interactions of line solitons based on the BL equation, as well as the wave wakes generated by moving topography, governed by the fBL equation. Section 2.1 presents the relationship between the fBL and fKP equations, while § 2.2 outlines the numerical schemes we implemented. In § 3, we begin our exploration of line soliton dynamics by deriving the modulation equations from the BL equation. Using the bent soliton as our initial condition, we investigate the Mach expansion phenomenon for oblique solitons in § 4. Section 5 concentrates on the Mach reflection phenomenon in the BL equation, utilizing reverse bent soliton initial data. We examine the shock wave issue within the modulation system, applying both classical and modified RH conditions. As the modulation system serves as a far-field approximation to the fBL equation, in § 6, we utilize it to delineate the evolution characteristics of waves generated by moving topography. We provide an approximate description of the evolution patterns for upstream-advancing waves and wave wakes, validated through numerical simulations of the primitive equation. Section 7 provides a summary of the key findings and suggests potential extensions. Additionally, the Appendix (A) includes a detailed discussion of a more general Whitham modulation theory for the BL equation.
2. Mathematical formulation and numerical schemes
2.1. Relationship between the fBL equation and the fKP equation
Consider a three-dimensional incompressible and inviscid fluid flowing irrotationally, bounded above by a free surface
$z=\eta (x,y,t)$
and below by a varying bottom topography
$b(x,y,t)$
, where
$x$
and
$y$
are the horizontal coordinates, and the
$z$
-axis points upwards with
$z=0$
the undisturbed free surface. The velocity potential on the free surface,
$\xi (x,y,t)$
, is governed by the fBL equation (Milewski Reference Milewski1998)
Here,
$\mu$
and
$\epsilon$
are small parameters measuring the dispersive and nonlinear effects, respectively, and we assume
$\epsilon =O(\mu ^2)$
to balance these two effects. We should point out that (2.1) is derived under the assumption of a small perturbation in bottom topography, specifically that the ratio of the bottom amplitude to the mean depth of the fluid is of order
$\epsilon ^2$
. This equation is commonly used to explore the mechanisms by which waves are generated in flow over topography (Milewski & Tabak Reference Milewski and Tabak1999). It is also noted that (2.1) can also describe nonlinear internal waves, with variations primarily manifesting as differences in the coefficients of the constituent terms (Yuan et al. Reference Yuan, Wang and Chen2020).
Equation (2.1) can be reduced to the fKP equation by the following change of variables. Assuming a primarily left-propagating wave with weak transverse variation, we substitute
into (2.1) and neglect terms of order
$\textit {O}(\epsilon ^2,\epsilon \mu )$
, leading to
Returning to the original independent variables and letting
$\zeta =-\xi _x$
, (2.3) becomes the fKP equation,
which covers the KP equation under flat topography
$b\equiv 0$
. Lee & Grimshaw (Reference Lee and Grimshaw1990) conducted a detailed investigation into the solution behaviour of (2.4) when a localized forcing disturbance moves with a near-critical speed in horizontally unbounded shallow water.
To normalize the fBL equation, we introduce new independent and dependent variables
so that (2.1) can be transformed to the standard form
where all the tilde superscripts have been dropped for ease of notation. When the bottom topography is flat, the standard form of the fBL (2.6) reduces to the classic BL (1.6). In the subsequent sections, our analyses associated with the BL equation will be based on (2.6). Considering the flat topography situation, (2.6) admits the exact solution
where
$k$
and
$l$
denote the wavenumbers in the
$x$
and
$y$
directions, respectively,
$\omega$
is the wave frequency and
$a$
is a free parameter measuring the amplitude. These parameters are connected through the dispersion relation
$a=\omega ^2/(k^2+l^2)-1$
. Correspondingly, under the scales (2.5), the fKP equation reads
For the flat bottom scenario, it admits the line soliton solution
\begin{equation} \zeta ^{({KP})}=A^{({KP})}\mathrm{sech}^2\left [\frac {\sqrt {A^{({KP})}}}{2k} (kx+ly-\omega t) \right ]\,, \end{equation}
with the dispersion relation
$A^{({KP})}=-2-l^2/k^2-2\omega /k$
. Finally, a simple rescaling
shifts the fKP (2.8) with a flat bottom to the standard form (1.1), which serves as a bridge for the subsequent comparisons between the conclusions drawn from the KP equation, namely expressions (1.4) and (1.5), and the BL equation.
2.2. Numerical schemes
Here, we briefly describe the numerical methods for dealing with the fBL equation. The numerical algorithm is based on the pseudospectral method, and all the derivatives and pseudodifferential operators are computed with the aid of their Fourier symbols. The time integration of the equations is carried out using the classic fourth-order Runge–Kutta scheme with the method of integrating factors (see Milewski & Tabak (Reference Milewski and Tabak1999) for details). Firstly, to fit these waves in a periodic domain of computation, we need to make
$\xi$
periodic, which can be achieved by writing
where the constant vector
$\boldsymbol{C}=(C_1,C_2)$
is chosen to ensure that
$\Psi$
is periodic. Thus, the fBL (2.6) can be rewritten as
where
$\mathcal{N}(\Psi, b)$
includes all the nonlinear and topography terms, shown as
Secondly, by performing a Fourier transform of (2.12) with respect to the spatial variables, we can reformulate it into a first-order single complex evolution equation through the introduction of
with
\begin{equation} \mathcal{S}=-\frac {\boldsymbol{C}\cdot \mathrm{i}\boldsymbol{k}}{1+|\boldsymbol{k}|^{2}}\,,\quad \mathcal{L}=\sqrt {\frac {|\boldsymbol{k}|^{2}}{1+|\boldsymbol{k}|^{2}}+\frac {\left (\boldsymbol{C}\cdot \boldsymbol{k}\right )^2}{\left (1+|\boldsymbol{k}|^{2}\right )^{2}}}\,, \end{equation}
where the hat denotes Fourier-transformed variables and
$\boldsymbol{k}= ( k, l )$
is the wavenumber vector. Therefore, (2.12) can be recast as
Upon noticing that
$\Psi$
is real so that
$\widehat {\Psi }^*(\boldsymbol{k})=\widehat {\Psi }(-\boldsymbol{k})$
, the two equations in (2.16) are equivalent; thus,
$\widehat {\Psi }$
and
$\widehat {\Psi _t}$
can be recovered from
$\widehat {v_1}$
alone with
where the asterisk represents the complex conjugation. When
$\boldsymbol{k}=(0,0)$
, it is noted that
$\mathcal{L}(\boldsymbol{0})=0$
, which leads to the singularity of
$\widehat {\Psi }(\boldsymbol{k})$
in (2.17a
). Indeed, the value of
$\widehat {\Psi }(\boldsymbol{0})$
can be obtained by directly solving (2.17b
). The approach of integrating factors, in conjunction with the fourth-order Runge–Kutta scheme and the pseudospectral method, is utilised for the time stepping of the first equation in (2.16). Interested readers are referred to Milewski & Tabak (Reference Milewski and Tabak1999) for more details.
To investigate the non-periodic and non-decaying solutions to the fBL equation, a windowing method, as proposed by Schlatter et al. (Reference Schlatter, Adams and Kleiser2005), is implemented to facilitate successful numerical computations. Indeed, this method has been widely employed to study nonlinear interactions among solitary waves by Kao & Kodama (Reference Kao and Kodama2012), Ablowitz & Curtis (Reference Ablowitz and Curtis2013), Yuan et al. (Reference Yuan, Grimshaw, Johnson and Chen2018) and Yuan & Wang (Reference Yuan and Wang2022). For line solitons, we extend the computational domain sufficiently long in the
$x$
direction to ensure that all solitons remain spatially distant from the boundary lines. Consequently, this expansion necessitates that these waves intersect with the boundary lines in the
$y$
direction. To retain the effectiveness of the Fourier transform in the
$y$
direction, a fundamental approach involves introducing a smooth function within the windowing method. This function exhibits compact support, with values that divide the solution into the interior and boundary layer regions. The smooth function
$W(y)$
can be simply defined as
where
$y=\pm L_y$
denotes the boundary lines in the
$y$
direction with the parameters
$n=27$
and
$a=(1.111)^n\ln 10$
throughout this paper (see Kao & Kodama (Reference Kao and Kodama2012) for more details). Correspondingly, at each time step, the solution within the computational domain is redefined as
where
$\Psi$
is the solution to the fBL equation and
$\widetilde {\Psi }$
is assumed to satisfy the fBL equation in the boundary layers. Applying the windowing method obviates the requirement for the constant vector
$\boldsymbol{C}$
to guarantee the periodicity of the boundaries in the
$y$
direction. Thus, we take
$C_2=0$
in (2.12). Submitting the transformation (2.19) into the fBL (2.12) and denoting
$\psi (x,y,t)=W(y)\Psi (x,y,t)$
, an alternative equation for
$\psi$
can be derived as follows:
where
\begin{align} G_1(W,\widetilde {\Psi },b)=&-\left (1-W\right )\left [ (1-\unicode{x1D6E5} )\widetilde {\Psi }_{tt}-2C_1\widetilde {\Psi }_{xt}-\unicode{x1D6E5} \widetilde {\Psi }-\mathcal{N}(\widetilde {\Psi },b)\right ]\,,\nonumber \\ G_{2}(W,\psi, \widetilde {\Psi },b)=&-\left ( W_{yy}\widetilde {\Psi }_{tt}+2W_y\widetilde {\Psi }_{ytt}+W_{yy}\widetilde {\Psi }+2W_y\widetilde {\Psi }_y \right )-(1-W)\left [ 2\left ( \nabla \psi \cdot \nabla \widetilde {\Psi } \right )_t \hphantom{\left ( |\nabla \widetilde {\Psi }|^2_t+\widetilde {\Psi }_t\unicode{x1D6E5} \widetilde {\Psi } \right )\widetilde {\Psi }-W_{yy}\widetilde {\Psi }_t \widetilde {\Psi }}\right .\nonumber \\ &-W\!\left .\left ( |\nabla \widetilde {\Psi }|^2_t+\widetilde {\Psi }_t\unicode{x1D6E5} \widetilde {\Psi } \right ) -2W_y\!\left ( \widetilde {\Psi }_y \widetilde {\Psi }_t+\widetilde {\Psi } \widetilde {\Psi }_{yt} \right )+\psi _t\unicode{x1D6E5} \widetilde {\Psi }\!-W_{yy}\widetilde {\Psi }_t \widetilde {\Psi } \right ]\nonumber \\ &-2W_y^2\widetilde {\Psi } \widetilde {\Psi }_t+ \! 2W_y \!\left ( \psi _y \widetilde {\Psi }_t+\psi _{yt}\widetilde {\Psi }+\psi _t \widetilde {\Psi }_y \right )+W_{yy}\psi _t \widetilde {\Psi }+(1-W)b_t\,, \end{align}
subject to the initial condition
Given the assumption that
$\widehat {\Psi }$
complies with the fBL (2.12) within the boundary layers, we can deduce that
$G_1=0$
, leaving only the term
$G_2$
to be influential. To ensure the spectral accuracy of the results, we analytically calculate the terms related to
$\widehat {\Psi }$
and
$W$
in
$G_2$
.
Based on the above numerical method, computations for (2.6) are performed with a computational domain of
$x\times y=[-500,500]\times [-1000,1000]$
, discretized with
$1024\times 2048$
Fourier modes along the propagating and transverse directions, respectively. The pseudospectral scheme is coupled with the 2/3 rule dealiasing technique (i.e. using a buffer of half the number of modes in each horizontal direction for each time step). The numerical results for the BL equation will be presented in a reference frame that moves in the
$x$
direction at a speed
$v$
. In the context of solitary wave interactions, the frame speed is chosen so that a single oblique solitary wave remains stationary when there is no wave interaction.
3. Modulation theory
In the past few years, research on the modulation theory of the KP equation has been extensively conducted. The modulation system of the KP (2.8) without forcing reveals
\begin{equation} \begin{aligned} &k_y-(k q)_x=0\,,\\ &k_t-\left (\frac {a k}{2}+\frac {k q^2}{2}+k\right )_x=0\,,\\ &q_t+q \left (\frac {a}{2}+\frac {q^2}{2}\right )_x-q_x\left (\frac {a}{2}+\frac {q^2}{2}+1\right )-\left (\frac {a}{2}+\frac {q^2}{2}\right )_y=0\,,\\ &\left ( a^{\frac{3}{2}} \right )_t-\left (a^{\frac{3}{2}}-\frac {1}{2} a^{\frac{3}{2}} q^2+\frac {3 a^{\frac{5}{2}}}{10}\right )_x-\left (a^{\frac{3}{2}} q\right )_y=0\,, \end{aligned} \end{equation}
where
$a=A^{({KP})}$
is the wave amplitude, and
$k$
and
$l=qk$
denote the wavenumbers in the
$x$
and
$y$
directions, respectively (Grava et al. Reference Grava, Klein and Pitton2018; Biondini et al. Reference Biondini, Hoefer and Moro2020; Ryskamp et al. Reference Ryskamp, Hoefer and Biondini2022). Although system (3.1) contains four equations with three unknowns to solve, the first equation holds automatically under a smoothness assumption (see Ablowitz et al. (Reference Ablowitz, Biondini and Wang2017) for details).
Next, we derive the modulation equations for the BL equation. The complete Whitham modulation theory for (1.6) is thoroughly presented in the Appendix (A); in the following, we briefly outline the derivation focusing on soliton dynamics, a limiting case of periodic waves. To adapt the modulation theory, we rescale the independent variables as follows:
where
$\varepsilon$
is a small parameter; thus, (1.6) can be rewritten as
To apply the method of multiple scales, we search for a solution in the form of
$\xi (\eta, X,Y,T)$
, where
$\eta (X,Y,T)$
is a fast variable satisfying
Here,
$k$
and
$l$
are the local wavenumbers in the
$X$
and
$Y$
directions, respectively, and
$\omega$
is the wave frequency, all of which are assumed to vary slowly with respect to
$X$
,
$Y$
and
$T$
. Equating the mixed second derivatives of
$\eta$
yields the following compatibility conditions:
The first two relations in the conditions (3.5) constitute the first and second modulation equations, which automatically imply the third one for
$T\gt 0$
if it is satisfied at
$T=0$
. In addition, these two modulation equations are also called the equations of conservations of waves. We then seek an asymptotic solution of
$\xi$
expanding in powers of
$\varepsilon$
, namely,
Substituting (3.6) into (3.3) and collecting terms in the same power of
$\varepsilon$
, the leading-order equation can be satisfied if we take
where
$\delta$
is a scaling factor, and
$a$
is a slowly varying function, shown as
Proceeding to the next-to-leading-order equation, it yields that
$\xi ^{(1)}$
satisfies a forced problem. The standard solvability argument implies the forcing terms must be orthogonal to
$\xi ^{(0)}$
. Returning to the original independent variables, upon simplification, we can transform the solvability condition into
where sgn
$(\omega )$
denotes the direction of wave propagation if, without loss of generality, we take the wavenumber
$k\gt 0$
. For convenience, we assume the wave propagates along the negative
$x$
direction (i.e.
$\omega \lt 0$
), and more discussions about the sign of
$\omega$
are given in the Appendix (A). We introduce the dependent variable
$q=l/k$
as the slope of soliton (2.7). Subsequently, the compatibility conditions (3.5) and the modulation (3.9) lead to
\begin{align} &\left (a\sqrt {a}\frac {5+4a}{1+a}\right )_t-\left (a\sqrt {a}\frac {5+3a}{\sqrt {1+a}}\frac {1}{\sqrt {1+q^2}}\right )_x-\left (a\sqrt {a}\frac {5+3a}{\sqrt {1+a}}\frac {q}{\sqrt {1+q^2}}\right )_y=0\,. \end{align}
In fact, (3.10a
)–(3.10c
) arise from the consistency (3.5), and (3.10d
) is related to a certain conservation law inherent in the BL equation. In particular, the constraint
$k_y-(qk)_x=0$
can be shown to be invariant with respect to time by the method discussed by Ablowitz et al. (Reference Ablowitz, Biondini and Wang2017). Thus, if the phase
$\eta (X,Y,T)$
is smooth, then (3.10a
) is automatically satisfied.
It is observed that (3.10c
) and (3.10d
) only involve two physical variables,
$a$
and
$q$
, giving rise to a closed system. Equations (3.10c
) and (3.10d
) will be employed in the subsequent sections to capture soliton amplitude and slope evolutions.
4. Bent solitons – Mach expansion
A bent soliton in water waves refers to a type of soliton propagating over the water surface while following a curved or bent trajectory. The solution characterised by an initial condition with a bent soliton, governed by the KP equation, exhibits smoothing and expanding dynamics akin to a Mach expansion in supersonic flow (Ryskamp et al. Reference Ryskamp, Maiden, Biondini and Hoefer2021). To investigate the underlying phenomenon in the BL equation and compare it with the KP equation, we adopt the analogous bent soliton initial condition,
where
$\theta _0$
denotes the initial inclined angle of the soliton (see figure 2
a). In this scenario, we are only concerned with variations of amplitude and slope along the
$y$
direction. Consequently, the modulation equations (3.10c
) and (3.10d
) lead to a
$2\times 2$
quasilinear hyperbolic system, given by
\begin{equation} \begin{aligned} &a_t-\frac {q\sqrt {1+a}}{\sqrt {1+q^2}}a_y-\frac {2a\left (5+3a\right )(1+a)^{3/2}}{\left (12a^2+25a+15\right ) \left (1+q^2\right )^{3/2}}q_y=0\,,\\ &q_t-\frac {\sqrt {1+q^2}}{2\sqrt {1+a}}a_y-\frac {q\sqrt {1+a}}{\sqrt {1+q^2}}q_y=0\,, \end{aligned} \end{equation}
with the characteristic speeds
\begin{equation} \begin{aligned} &U(a,q)=-\frac {\sqrt {1+a}}{\sqrt {1+q^2}}q-\frac {\sqrt {a}\sqrt {1+a}\sqrt {5+3a}}{\sqrt {12a^2+25a+15}\sqrt {1+q^2}}\,,\\ &V(a,q)=-\frac {\sqrt {1+a}}{\sqrt {1+q^2}}q+\frac {\sqrt {a}\sqrt {1+a}\sqrt {5+3a}}{\sqrt {12a^2+25a+15}\sqrt {1+q^2}}\,. \end{aligned} \end{equation}
Integrating along each characteristic direction unveils that
are the Riemann invariants for system (4.2), where
$I_m^n$
denotes the definite integral with the lower limit
$m$
and the upper limit
$n$
, shown as
Time evolution of the bent-stem soliton initial data (4.1) with
$\theta _0=-15^\circ$
and
$a_0=0.21$
, obtained by numerically solving the BL equation: (a)
$t=0$
, (b)
$t=300$
and (c)
$t=600$
. The black solid curve in the inset of (c) represents the cross-sectional profile at
$y=0$
(corresponding to the dash–dotted line in the main panel), and the red dashed curve illustrates the theoretical prediction of the waveform given by (4.10). The snapshots are shown in a frame of reference moving with
$v=-1.1/\cos (-15^\circ )\approx -1.1388$
in the
$x$
direction.

Based on the Riemann variables,
$r$
and
$s$
, the modulation (4.2) can be equivalently transformed to the diagonal form
Subsequently, theoretical analyses based on the method of characteristics will be performed for the modulation system (4.6). Meanwhile, the fifth-order weighted essentially non-oscillatory (WENO5) scheme (see Shu (Reference Shu1998) for details of the method) will be applied to numerically solve some initial-value problems for the quasilinear hyperbolic system (4.2).
4.1. Mach expansion
The occurrence of Mach expansion originates from the bent soliton initial condition (4.1) with
$\theta _0\lt 0$
, depicted in figure 2(a), and the negative sign of
$\theta$
yields two rarefaction waves emanating from the point
$(0,0)$
. Figure 2(a–c) show the evolution of the initial data (4.1) with
$\omega _0=-1.1$
and
$\theta _0=-15^\circ$
. In figures 2(b) and 2(c), a vertical soliton is observed in conjunction with the evolution of the bent soliton, identified as the Mach stem.
The specific characteristics of the Mach stem can be described by the hyperbolic system (4.2) associated with the initial data (4.1). In this case, one wave propagates along the positive direction of the
$y$
axis with the Riemann variable
$r$
held constant, while the other wave propagates along the negative direction of the
$y$
axis with the other Riemann variable
$s$
held constant. Therefore, the slope
$q_w$
and the amplitude
$a_w$
of the Mach stem are subject to the constraint
which yields the expressions
Here, the amplitude
$a_w$
of the Mach stem can be obtained by numerically solving the following boundary value problem:
Figures 3(a) and 3(b) show the evolution of the amplitude
$a$
and the slope
$q$
for the initial data (4.1) with
$\theta _0=-15^\circ$
and
$a_0=0.21$
. Results depicted by the dark solid curves are derived from numerical simulations for the BL equation (1.6), whereas the outcomes illustrated by the red dashed curves are obtained from numerical simulations for the modulation equations (4.2). It can be observed from figures 3(a) and 3(b) that the amplitude and the slope are well predicted by the solutions of the modulation equations (4.2). Furthermore, after a long period of evolution, the amplitude and the slope of the Mach stem converge to
$a_w\approx 0.088$
and
$q_w=0$
, respectively, as derived from (4.8). Interestingly, we have observed that the Mach wave takes the form of a soliton, accompanied by a series of arc-shaped oscillations trailing behind the wavefront, which will be explained in § 6. The waveform of the Mach stem can be expressed as
Furthermore, the simple wave solution to the modulation (4.2) with the bent soliton initial data (4.1) reveals
\begin{equation} \begin{aligned} I_0^a&=\left \{ \begin{array}{ll} I_0^{a_0}\,, & |y|\gt V_0t\,,\\[2pt] \frac {\theta _0}{V_w-V_0}\frac {|y|}{t}-\frac {V_0I_0^{a_w}-V_wI_0^{a_0}}{V_w-V_0}\,, & V_wt\le |y|\le V_0 t\,,\\[8pt] I_0^{a_w}\,, & |y|\lt V_wt\,, \end{array}\right .\\[3pt] q&=\text{sgn}(y)\left \{ \begin{array}{ll} \tan \theta _0\,, & |y| \gt V_0 t\,,\\[3pt] \tan (\theta _0+I_{a}^{a_0})\,, & V_w t\le |y|\le V_0 t\,,\\[3pt] 0\,, & |y|\lt V_wt\,, \end{array}\right . \end{aligned} \end{equation}
with
The amplitude of the Mach stem, as determined by the modulation (4.2), is illustrated in figure 3(c) through the contour plot. In the plot, the black dash–dotted lines and blue dashed lines represent the edges of the rarefaction wave, with the slopes given by
$\pm V_0$
and
$\pm V_w$
.
The appearance of the Mach stem is due to
$a_w\gt 0$
. When
$a_w=0$
, we can determine the critical angle of the slope for the occurrence of the Mach stem, which is given by
Thus, in the case of
$\theta _{{cr}}\le \theta _0\le 0$
, the bent soliton will evolve into a Mach stem perpendicular to the propagation direction, exhibiting a phenomenon similar to Mach expansion in gas dynamics.
(a–b) Evolutions of the amplitude
$a$
and slope
$q$
for the bent soliton initial data (4.1) with
$\theta _0=-15^\circ$
and
$a_0=0.21$
at different times. They are obtained from the numerical simulations for the BL equation (1.6) (dark solid curves) and the modulation equations (4.2) (red dashed curves). (c) Space–time contour plots of the amplitude of the Mach stem with the same initial data, where the blue dashed lines and black dash–dotted lines characterise the edges of the evolution, predicted by the solutions (4.11).

4.2. Regular expansion
When
$\theta _0\lt \theta _{{cr}}$
(corresponding to the negative value of
$a_w$
), the Mach stem disappears; instead, the regular expansion phenomenon occurs. Similar to the analysis in Ryskamp et al. (Reference Ryskamp, Maiden, Biondini and Hoefer2021), we let
$a_w=0$
, resulting in
$q_w\neq 0$
. By symmetry, we can obtain
$q$
locally based on the simple wave criterion,
with the initial discontinuity at
$y=0$
. Then, with the aid of the Riemann invariants, the solution for the rarefaction wave is given by
\begin{equation} \begin{aligned} I_0^a&=\left \{ \begin{array}{ll} I_0^{a_0}\,, & |y| \gt V_0t\,,\\[3pt] \frac {I_0^{a_0}}{V_0-V_w}\frac {|y|}{t}-\frac {V_wI_0^{a_0}}{V_0-V_w}\,, & V_w t\le |y|\le V_0t\,,\\[6pt] 0\,, & |y|\lt V_w t\,, \end{array} \right .\\[2pt] q&=\text{sgn}(y)\left \{ \begin{array}{ll} \tan \theta _0\,, & |y|\gt V_0t\,,\\[2pt] \tan (\theta _0+I_{a}^{a_0}) & V_wt\le |y|\le V_0t\,,\\[2pt] q_{w+}\,, & |y|\lt V_wt\,, \end{array}\right . \end{aligned} \end{equation}
with
Time evolution of the bent-stem soliton initial data (4.1) with
$\theta _0=-60^\circ$
and
$a_0=0.21$
: (a)
$t=0$
, (b)
$t=500$
and (c)
$t=1000$
. The snapshots are shown in a frame of reference moving with
$v=-1.1/ \cos (-60^\circ )=-2.2$
in the
$x$
direction.

Figure 4 shows the regular reflection of the bent soliton with
$\theta =-60^\circ$
and
$a_0=0.21$
for the initial condition (4.1). To mitigate the interference of trailing waves from the cyclic boundary on the outcomes, we extend the computational domain to
$x\times y=[-2000,2000]\times [-1000,1000]$
in this scenario while maintaining Fourier modes unchanged. Unlike the Mach expansion shown in figure 2, a stable Mach stem formation does not emerge in this situation. What is noted instead is the presence of an arc-shaped wavefront, which exhibits a gradual reduction in amplitude attenuating with time and serves to connect two bent solitons.
4.3. Comparison between the BL and KP equations
To capture the effects of isotropism, we investigate wave propagation in both the BL and KP equations, and the main results are shown in figure 5, where we take the bent soliton in the form of (4.1) as the initial data. In fact, due to its reduction of the BL equation, the KP equation shares characteristics similar to those of the BL equation to some extent, especially for the central part of the soliton evolution (Ablowitz & Curtis Reference Ablowitz and Curtis2011; Gidel et al. Reference Gidel, Bokhove and Kalogirou2017; Yuan & Wang Reference Yuan and Wang2022). Thus, we mainly focus on the differences between these two equations for the Mach expansion of the oblique soliton, namely, the wall reduction factor and the speed of the Mach stem.
According to the modulation equations (3.1), the corresponding amplitude and critical slope of the Mach stem in the KP equation can be obtained as follows:
where the initial amplitude
$A^{({KP})}_0$
is derived based on the dispersion relation
Thus, one obtains the wall reduction factor, speed and critical angle with respect to the initial angel
$\theta _0$
and speed
$\omega _0$
, shown as
\begin{equation} \begin{aligned} &\lambda ^{({KP})}=\frac {A^{({KP})}_w}{A^{({KP})}_0}=\left (\frac {\sqrt {2}\sin \theta _0}{\sqrt {3}\sqrt {-3-\cos 2\theta _0-4\omega _0\cos \theta _0}}+1\right )^2\,,\\ &c_w^{({KP})}=-\frac {A^{({KP})}_w}{2}-1\,,\\ &\theta _{{cr}}^{({KP})}=\arctan q^{({KP})}_{{cr}}=-\text{arcsec}\left (\frac {\sqrt {9\omega _0^2-8}-3\omega _0}{4}\right )\,, \end{aligned} \end{equation}
where the wall reduction factor refers to the ratio of the amplitude of the Mach stem to that of the incident soliton (see, Ryskamp et al. Reference Ryskamp, Maiden, Biondini and Hoefer2021).
To facilitate a comparative analysis between the BL and KP equations, based on the relationship
$\zeta =-\xi _x$
, we define the soliton amplitude in the BL equation as
$A^{({BL})}=-ka/\omega$
, with the dispersion relation
$a=\omega ^2/( k^2+l^2 )-1$
. Thus, we can reveal the wall reduction factor, speed and critical angle for the BL equation,
\begin{align} \lambda ^{({BL})}& =\frac {A^{({BL})}_w}{A^{({BL})}_0}=\frac {a_w\sqrt {a_0+1}}{k_0a_0\sqrt {a_w+1}}\,, \nonumber \\ c_w^{({BL})} & =-\sqrt {A^{({BL})}_w+1}\,,\nonumber\\ \theta _{{cr}}^{({BL})}& =\int _{a_0}^{0} \frac {\sqrt {12a^2+25a+15}}{2(1+a)\sqrt {a}\sqrt {5+3a}}\,\text{d}a\sim \sqrt {6\varepsilon }\left ( 1-\frac {11}{180}\varepsilon +\frac {2123}{36000}\varepsilon ^2 \right )+O(\varepsilon ^3)\,, \end{align}
with
$a_0=\omega _0^2-1$
,
$\varepsilon =-\omega _0-1$
and
$a_w$
being determined through numerical solutions of (4.9).
Comparative plot of the wall reduction factor (a) and the speed (b) of the Mach stem in the KP (red dashed curves) and BL (black solid curves) equations with the initial angle
$\theta _0$
and speed
$\omega _0$
of soliton. The dash–dotted curves denote the critical angle of the Mach expansion versus the initial speed
$\omega _0$
for the KP (red) and BL (black) equations given by (4.19) and (4.20), respectively.

Figure 5 presents a comparison of the wall reduction factor and the speed of the Mach stem between the KP and BL equations as functions of the initial angle
$\theta _0$
and speed
$\omega _0$
. The wall reduction factor and the Mach stem speed for the KP and BL equations are depicted by the red dashed and black solid curves, respectively. The dash–dotted curves correspond to the critical angle of the Mach wave fan for both the KP and BL equations, derived from expressions (4.19) and (4.20). Clearly, compared with the KP equation, the decrease of the critical angle for the BL equation is more rapid as
$|\omega _0|$
is far away from the unity. Upon visual inspection of figure 5, it is discernible that when the speed
$|\omega _0|$
is close to unity, there is a pronounced correspondence between the two datasets. Furthermore, as
$|\omega _0|$
increases, the divergence between the datasets becomes progressively more pronounced. Examination of figure 5(a) reveals that, for each speed, the wall reduction factor diminishes as the initial angle approaches the critical angle. This signifies that the amplitude of the Mach stem formed by the Mach expansion relative to the incident wave amplitude decreases. Additionally, it is observed that the wall reduction factor for the KP equation is consistently lower than that for the BL equation. This discrepancy becomes increasingly evident as the initial speed increases. While in figure 5(b), for the speed of the Mach stem
$c_w$
, regardless of the initial speed, the differences in
$c_w$
between the two models are insignificant as the initial angle surpasses the criticality. However, as
$\theta _0$
approaches the critical angle
$\theta _{{cr}}$
, a distinct divergence emerges in the values of
$c_w$
.
5. Reverse bent solitons – Mach reflection
5.1. Mach reflection
When
$\theta _0\gt 0$
in the initial data for the bent soliton, not only does the Mach stem occur, but two solitons also arise symmetrically with the slope sgn
$(y)q\lt 0$
. Figure 6 illustrates the evolution of the reverse bent soliton with
$a_0=0.21$
and
$\theta _0=20^\circ$
in the initial condition (4.1). In figure 6, one can observe that, as the reverse bent soliton
$(a_0,q_0)$
propagates, the Mach stem
$(a_w,q_w)$
and the soliton
$(a_i,q_i)$
are generated at the bend point, and as time evolves, these three solitons maintain their intersection at the same point
$P$
, which is identified as the Miles resonant solitons (Miles Reference Miles1977b
).
In this case, two oblique solitons (analogous to oblique shock waves in gas dynamics) symmetrically emanate from the bend point. Ryskamp et al. (Reference Ryskamp, Hoefer and Biondini2022) investigated a similar initial condition for the KP equation. Building upon the methodology outlined in Ryskamp et al. (Reference Ryskamp, Hoefer and Biondini2022), we employ the modified RH conditions to scrutinize the dynamics of the reverse bent soliton, shown as
where
$s_y$
denotes the velocity of the discontinuity in the
$y$
direction, the multivalued functions
$f$
and
$h$
satisfy the conservation law
$f_t+h_y=0$
and,
$m$
as well as
$n$
, denote the count of values of the multivalued functions on either side of the discontinuity point.
Snapshot during the evolution of the bent-stem soliton initial data (4.1) with
$\theta _0=20^\circ$
and
$a_0=0.21$
: (a)
$t=0$
, (b)
$t=300$
and (c)
$t=600$
. The snapshots are shown in a frame of reference moving with
$v=-1.1/\cos (20^\circ )\approx -1.1706$
in the
$x$
direction.

Therefore, the modulation equation (3.10d ) can be represented in the conservation form as demonstrated by
with
Thus, the velocity
$(s_x,s_y)$
at the discontinuity point
$P$
satisfies the modified RH conditions, shown as
where the subscripts
$w$
,
$i$
and 0 represent the parameters of the Mach, reflected and incident solitons, respectively, as shown in figure 6(c)
It is noted that the KP equation is an integrable system with an elegant mathematical structure and infinite conservation laws. However, the BL equation is non-integrable; thus, some conclusions in Ryskamp et al. (Reference Ryskamp, Hoefer and Biondini2022) drawn from the KP equation may not directly apply to the BL equation. The following modifications are applied to address the difficulty of non-integrability. Considering the consistency equation (3.10c
), by alternately neglecting the
$x$
and
$y$
directions, we can decompose it into two separate equations in the conservation form
with
\begin{equation} \begin{aligned} F^{(1)}&=\frac {1}{q}\,,\quad G^{(1)}=-\frac {\sqrt {1+q^2}\sqrt {1+a}}{q}\,,\\ F^{(2)}&=q\,,\quad H^{(2)}=-\sqrt {1+q^2}\sqrt {1+a}\,. \end{aligned} \end{equation}
Moreover, the velocity
$(s_x,s_y)$
at the point
$P$
satisfies the classical RH conditions
\begin{equation} \begin{aligned} s_x=\frac {G^{(1)}_0-G^{(1)}_w}{F^{(1)}_0-F^{(1)}_w}=\frac {G^{(1)}_i-G^{(1)}_w}{F^{(1)}_i-F^{(1)}_w}=\frac {G^{(1)}_0-G^{(1)}_i}{F^{(1)}_0-F^{(1)}_i}\,,\\ s_y=\frac {H^{(2)}_0-H^{(2)}_w}{F^{(2)}_0-F^{(2)}_w}=\frac {H^{(2)}_i-H^{(2)}_w}{F^{(2)}_i-F^{(2)}_w}=\frac {H^{(2)}_0-H^{(2)}_i}{F^{(2)}_0-F^{(2)}_i}\,, \end{aligned} \end{equation}
where the fourth term of the continued equality in each expression can be derived from the second and third terms.
(a) Evolutions of the amplitude
$a$
for the bent soliton initial data (4.1) with
$\theta _0=20^\circ$
and
$a_0=0.21$
at
$t=600$
. They are obtained from the direct numerical simulations of the BL equation (1.6) (dark solid curves) and the theoretical prediction based on the algebraic equations (5.4) and (5.7) (red dashed curves) with
$a_w\approx 0.478149$
and
$a_i\approx 0.0568022$
. (b) The corresponding contour plot of (a) (see also figure 6
c): the black dash–dotted lines represent the theoretical prediction obtained through the algebraic equations (5.4) and (5.7) with
$q_i\approx 0.797368$
.

By solving the system of equations (5.4) and (5.7) and considering the initial data
$(a_0,q_0)$
, we can derive the numerical solution
$(a_w,q_w)$
and
$(a_i,q_i)$
. Additionally, the velocity
$(s_x,s_y)$
can also be accurately determined. The comparative illustration between the results of theoretical predictions and numerical simulations is depicted in figure 7. In figure 7(a), the dark solid lines correspond to numerical simulations of the BL equation (1.6), while the red dashed lines represent theoretical predictions derived from the algebraic expressions (5.4) and (5.7). The numerically determined values for the amplitude
$a$
and the slope
$q$
exhibit a remarkable concordance with the theoretical expectations. The contour plot, as depicted in figure 7(b), further substantiates the precision of the theoretical forecasts; the black dash–dotted lines therein correspond to the theoretical predictions culled from the aforementioned algebraic relations. The concurrence between the outcomes of the numerical simulations and the theoretical prognoses is striking, with the modulation theory adeptly delineating the evolution of reverse bent solitons, known as Mach reflection.
5.2. Regular reflection
When the velocity
$s_y\leqslant 0$
, the Mach stem will not appear. In this case, by substituting
$s_y=0$
into (5.4) and (5.7), the critical slope
$q_{{cr}}$
is attained, which only depends on the initial amplitude
$a_0$
. The corresponding parameters for the reflected soliton are as follows:
Moreover, based on the expressions of
$s_x$
in (5.4) and (5.7), one obtains the relation between
$a_w$
and
$a_0$
as
Considering (5.9), the numerical solution for
$a_w$
in terms of
$a_0$
can be derived, leading to the determination of the critical slope
Thus, when
$\theta _0\gt \arctan q_{{cr}}$
, the soliton dynamics demonstrates the X-shaped pattern rather than the Mach stem, as shown in figure 8, termed the regular reflection. The generation mechanism of the X-shaped pattern is the interaction of two line solitons with an ignorable phase shift. The numerical results for the regular reflection of the reverse bent soliton with
$\theta _0=45^\circ$
and
$a_0=0.21$
in the initial data (4.1) are depicted in figure 8. The X-shaped soliton pattern is observed to evolve symmetrically, with the two solitons intersecting at the same point as the reverse bent soliton propagates.
Time evolution of the bent-stem soliton initial data (4.1) with
$\theta _0=45^\circ$
and
$a_0=0.21$
: (a)
$t=0$
, (b)
$t=150$
and (c)
$t=600$
. The snapshots are shown in a frame of reference moving with
$v=-1.1/\cos (45^\circ )\approx -1.5556$
in the
$x$
direction.

5.3. Comparison between the BL and KP equations
Through the above results, based on the modulation equations (3.1) for the KP equation, we can conclude similar results for the Mach stem in the reverse bent soliton case. Specifically, the velocity
$(s_x,s_y)$
at the discontinuity point
$P$
is shown as
\begin{equation} \begin{aligned} s_x=\frac {g_0+g_i-g_w}{f_0+f_i-f_w}=\frac {G^{(1)}_0-G^{(1)}_w}{F^{(1)}_0-F^{(1)}_w}=\frac {G^{(1)}_i-G^{(1)}_w}{F^{(1)}_i-F^{(1)}_w}=\frac {G^{(1)}_0-G^{(1)}_i}{F^{(1)}_0-F^{(1)}_i}\,,\\ s_y=\frac {h_0+h_i-h_w}{f_0+f_i-f_w}=\frac {H^{(2)}_0-H^{(2)}_w}{F^{(2)}_0-F^{(2)}_w}=\frac {H^{(2)}_i-H^{(2)}_w}{F^{(2)}_i-F^{(2)}_w}=\frac {H^{(2)}_0-H^{(2)}_i}{F^{(2)}_0-F^{(2)}_i}\,, \end{aligned} \end{equation}
with
\begin{equation} \begin{gathered} f=a^{3/2}\,,\quad g=-a^{3/2}+\frac {1}{2}a^{3/2}q^2-\frac {3}{10}a^{5/2}\,,\quad h=-a^{3/2}q\,,\\ F^{(1)}=\frac {1}{q}\,,\quad G^{(1)}=-\frac {a}{2q}-\frac {1}{q}-\frac {q}{2}\,,\\ F^{(2)}=q\,,\quad H^{(2)}=-1-\frac {a}{2}-\frac {q^2}{2}\,. \end{gathered} \end{equation}
The integrability of the KP equation implies the existence of exact Y-shaped soliton solutions, and the amplitude and the slope of each leg are uniquely determined by the phase parameters
$\kappa _1$
,
$\kappa _2$
and
$\kappa _3$
(see Biondini Reference Biondini2007). Without loss of generality, we assume
$\kappa _1\lt \kappa _2\lt \kappa _3$
. Thus, we have
\begin{equation} \begin{gathered} A_0^{({KP})}=\frac {(\kappa _2-\kappa _1)^2}{6\times 2^{1/3}}\,,\quad A_w^{({KP})}=\frac {(\kappa _3-\kappa _1)^2}{6\times 2^{1/3}}\,,\quad A_i^{({KP})}=\frac {(\kappa _3-\kappa _2)^2}{6\times 2^{1/3}}\,,\\ q_0=-\frac {\kappa _2+\kappa _1}{2^{2/3}}\,,\quad q_w=-\frac {\kappa _3+\kappa _1}{2^{2/3}}\,,\quad q_i=-\frac {\kappa _3+\kappa _2}{2^{2/3}}\,. \end{gathered} \end{equation}
We let
$\kappa _3=-\kappa _1$
to ensure
$q_w=0$
for the symmetry of the reverse bent soliton case. Replacing
$\kappa _1$
and
$\kappa _2$
with
$A_0^{({KP})}$
and
$q_0$
makes it straightforward to infer that
\begin{equation} \begin{gathered} A_w^{({KP})}=\left ( \frac {q_0}{\sqrt {3}}+\sqrt {A_0^{({KP})}} \right )^2\,,\quad A_i^{({KP})}=\frac {q_0^2}{3}\,,\quad q_i=-\sqrt {3}\sqrt {A_0^{({KP})}}\,,\\ s_x=-1-\frac {A_0^{({KP})}}{2}=c_w^{({KP})}\,,\quad s_y=\frac {1}{3}\left ( \sqrt {3A_0^{({KP})}}-q_0 \right )\,. \end{gathered} \end{equation}
Thus,
$s_y=0$
leads to the critical slope
$q_{{cr}}^{({KP})}=\sqrt {3A_0^{({KP})}}$
. The scaling (2.10) converts (5.14) to the data for (1.1), which agree well with the findings presented in Ryskamp et al. (Reference Ryskamp, Hoefer and Biondini2022).
Finally, we can obtain the reduction factor and the critical angle in terms of the initial angle
$\theta _0$
and speed
$\omega _0$
, i.e.
\begin{align} \lambda ^{({KP})}& =\frac {A^{({KP})}_w}{A^{({KP})}_0}=\left (\frac {\sqrt {2}\sin \theta _0}{\sqrt {3}\sqrt {-3-\cos 2\theta _0-4\omega _0\cos \theta _0}}+1\right )^2\,, \nonumber \\ \theta _{{cr}}^{({KP})}& =\arctan q^{({KP})}_{{cr}}=\text{arcsec}\left ( \frac {\sqrt {9\omega _0^2-8}-3\omega _0}{4}\right ). \end{align}
The same as figure 5 except that
$\theta _0\gt 0$
for the Mach reflection of the line solitons.

Figure 9 illustrates the comparison of the wall reduction factor and the Mach stem speed for the KP and BL equations as functions of the initial angle
$\theta _0$
and speed
$\omega _0$
. This figure deviates from the previous one, denoted as figure 5, in that it specifically considers scenarios where the initial angle
$\theta _0\gt 0$
, thus focusing on the Mach reflection of line solitons. In figure 9(a), the wall reduce factor
$\lambda$
of the BL equation is consistently greater than that of the KP equation across various initial angles and velocities. The disparity between these coefficients diminishes as the initial angle decreases or the speed approaches unity. Analogously, the variation of the Mach stem speed
$c_w$
in figure 9(b) exhibits a similar trend. However, diverging from the observations in figure 5(a), it is discernible from figure 9(a) that the critical angle
$\theta _{{cr}}^{({BL})}$
is less than
$\theta _{{cr}}^{({KP})}$
, and this discrepancy intensifies with an increase in speed
$|\omega _0|$
.
6. Upstream-advancing waves and wakes
In the ocean, one intriguing phenomenon is surface/internal wave generation due to a uniformly running stream disturbed by a static surface pressure or bottom topography, or equivalently, owing to the relativity of motion, a constantly moving disturbance at the top/bottom of the still fluid body, resulting in a series of upstream-advancing waves. Most studies for this problem are based on horizontally one-dimensional (Lee et al. 1989) or (two-dimensional) anisotropic (Katsis & Akylas Reference Katsis and Akylas1987; Lee & Grimshaw Reference Lee and Grimshaw1990) models. In particular, Katsis & Akylas (Reference Katsis and Akylas1987) explored the dynamics of two-dimensional disturbances within a horizontally infinite fluid medium, using a delta function as a forcing term for the KP equation. Subsequently, Lee & Grimshaw (Reference Lee and Grimshaw1990) advanced the study by examining the nonlinear wave phenomena generated when such disturbances move at speeds close to resonance in a horizontal, unbounded domain, employing the fKP equation (2.8) as the theoretical starting point. However, it is not appreciated for more general cases, for instance, when the transverse variation is too strong to ignore the influence of isotropism.
In the above two cases (§§ 4 and 5), we concentrate on the most active region of wave–wave interactions and compare the results between the KP and BL equations. The windowing scheme is applied in the numerical simulations to make the wave propagation in the transverse direction inapparent. However, the
$(2+1)$
-dimensional wave motion should be considered in an unbounded fluid, especially for the realistic ocean situation. In this section, we consider waves generated by a constantly moving topography for the standard fBL (2.6), and the following Gaussian function is employed to model the topography:
where
$c_b$
and
$b_0$
denote the speed and height of the topography, respectively. Specifically, the lengths of the computational domain in the
$x$
and
$y$
directions are chosen as
$L_x=1000$
and
$L_y=2000$
, and
$\delta _x=L_x/200$
and
$\delta _y=L_y/200$
are used in the subsequent computations. The numerical outcomes of the fBL equation for the wave induced by the moving topography are acquired through the computational methodologies delineated in § 2. Based on the value between the speed
$c_b$
of the moving topography and the characteristic speed of the BL equation, it yields three cases: subcritical, critical and supercritical. The details will be discussed subsequently.
6.1. Subcritical speed
Our concern in this subsection is to investigate the solution behaviour of (2.6) when a localized forcing topography moves with a subcritical speed (
$c_b\lt 1$
). Thus, when the wave propagates a sufficient distance from the topography, the impact of the topography becomes negligible and can, therefore, be disregarded. Consequently, we are able to conduct a detailed analysis of the Whitham equations (4.2). Here, following the approach of Lee & Grimshaw (Reference Lee and Grimshaw1990), we aim to derive a similarity solution under the assumption that
$k=1$
and
$a$
is independent of
$y$
, leading to
where
$C$
is an integration constant, and the function
$f(t)$
is subject to the constraint
Evolution of the wave generated by the moving topography with
$b_0=0.1$
and
$c_b=0.8$
at (a–c)
$t=50$
and (d–f)
$t=450$
. (a,d) Contour plots of the wave, where the black dash–dotted circular arcs with a radius of
$t$
and a centre at the origin
$(0,0)$
denote the predicted locations of the start-up waves and the black dotted line denotes the linear theory prediction of the wake angle
$19.96^\circ$
; (b,e)
$y$
cross-sections of the wave; (c,f) positions of the topography at the corresponding times.

From the above results, one can observe that the wave’s shape is a circle with the centre at
$(f(t)-C,0)$
and radius
$f(t)$
, while the wave propagates at speed
$\partial _tf(t)$
. Furthermore, we assume
$a=0$
and
$t=0$
, which leads to
$f(t)=\pm\, t$
, and a start-up wave initiated by abrupt topography movement is a circle with the centre at
$(0,0)$
and radius
$t$
. Figure 10 shows the evolution of the wave generated by the moving topography with
$b_0=0.1$
and
$c_b=0.8$
at
$t=50$
and
$t=450$
. It is depicted in figure 10 that the movement of the topography generates a series of oscillation waves – the so-called transverse waves, the maximum amplitude of which is of the same order as
$b_0$
and gradually diminishes to zero in the
$y$
direction. Consequently, the variation of
$a$
in the
$y$
direction is negligible, which guarantees the validity of dropping the
$y$
-dependence in theoretical analyses. As depicted in figures 10(a) and 10(d), the black dash–dotted curves represent the predicted positions of the start-up wave based on the abovementioned discussions. It can be observed that the numerical results are in accordance with the theoretical predictions.
In figure 10(d), it can be seen that the moving topography induces a sequence of trailing waves. By focusing on wave wakes, an approximate analysis can be conducted using the linear theory. Linearizing the BL equation (with a flat bottom) yields
which leads to the linear dispersion relation
Thus, considering the speed
$c_b$
of the moving topography, the dispersion relation in the moving frame is derived as follows:
where
$\phi$
is the inclination of the normal (direction of
$\boldsymbol{k}$
) to the line of the waves. Hence, the wake angle
$\alpha$
denoting the slope of a ray through the topography is (see, Whitham Reference Whitham1999)
\begin{equation} \tan \alpha =\frac {\partial _lG(k,l)}{\partial _kG(k,l)}=\frac {c_b^2 \tan \phi }{\left (\tan ^2\phi +1\right )^2-c_b^2}\,. \end{equation}
Clearly,
$\alpha \to 0$
as
$\phi \to 0$
or
$\phi \to \pi /2$
. Hence, the maximum value of
$\alpha$
occurs when
$\phi \in (0, \pi /2)$
, which can be determined as
\begin{equation} \alpha _m=\arctan \frac {3 \sqrt {3} c_b^2 \sqrt {\sqrt {4-3 c_b^2}-1}}{4 \left (2-3c_b^2+\sqrt {4-3 c_b^2}\right )},\quad \text{at}\quad \phi _m=\arctan \sqrt {\frac {\sqrt {4-3c_b^2}-1}{3}}\,. \end{equation}
When
$c_b=0$
, it follows that
$\alpha _m=0$
. The wake angle gradually expands as
$c_b$
increases, reaching
$90^\circ$
as
$c_b$
approaches unity. The dependence of
$\alpha _m$
on
$c_b$
is a remarkable wave phenomenon in shallow water, completely different from the deep-water situation, where the famous Kelvin wake angle of
$19.47^\circ$
is retained regardless of the speed of the moving object on the free surface. Figure 10(d) presents a comparison between the theoretical predictions and numerical results for the wake angle, depicted by the black dashed lines. It is observable that the trailing waves are all confined within the actualized region, which further confirms the validity of the linear theory.
Evolution of the wave generated by the moving topography with
$b_0=0.1$
and
$c_b=1$
at (a–c)
$t=50$
and (d–f)
$t=1400$
. (a,d) contour plots of the wave, where the black dash–dotted circular arcs with a radius of
$t$
and a centre at the origin
$(0,0)$
denote the predicted locations of the start-up waves and the black dotted circular arc coarsely fitted as
$(x-350)^2+y^2=1100^2$
denotes the locations of the first precursor wave; (b,e)
$y$
cross-sections of the wave; (c,f) positions of the topography at the corresponding times.

6.2. Critical speed
In the case of moving topography with critical speed (
$c_b=1$
), the wave generated by topography will propagate at the same speed as the topography, which is depicted in figure 11. In figures 11(a) and 11(d), it can be observed that the start-up wave is ‘propelled’ a certain distance by the topography due to the consistency in speed between the two, leading to the formation of what is known as the upstream-advancing waves, thereby enabling it to surpass the boundary of the theoretical circle (the black dash–dotted curves). When the start-up wave is counter to the direction of topography movement, it remains unaffected by the influence of the topography. As depicted in figures 11(b) and 11(e), it is evident that the ‘propulsion’ by the topography occurs in the form of waves propagating forward. As time evolves, the distance over which the upstream-advancing waves are propelled increases, and the number of precursor waves also augments. During the propulsion process, the amplitude of the first precursor wave undergoes continuous variation; hence, the impact of
$a_t$
in (6.2) cannot be disregarded. The simplification by assuming
$a=0$
for approximation does not adequately predict the behaviour. However, by disregarding the local wave characteristics near the topography and instead considering the far-field waveform, it can still be approximated by circular functions (see the black dotted curves in figure 11
d). Considering the wake induced by the topography, shown in figure 11(d), the transverse wave has significantly diminished in intensity, while the divergence wave has gained prominence in contrast to figure 10(d). From (6.8), we can deduce that as
$c_b\to 1$
, the wake angle approaches
$\pi /2$
, implying that the wake will no longer be confined within a specific angle but will gradually diffuse across the entire plane behind the topography, shown in figure 11(d). This diffusion, however, is a slow process, necessitating extended computational time for its evolution.
Evolution of the first precursor wave with
$c_b=1$
,
$b_0=0.1$
and the time interval
$\unicode{x1D6E5} t=25$
: (a) variation of its amplitude, where the inset shows the amplitude evolution at the plane
$y=0$
over time with the amplitude of the topography
$b_0=0.05$
,
$0.1$
and
$0.15$
; (b) evolution of its crestlines in the
$x{-}y$
plane; (c) evolution of the distance between the crestlines and the origin point
$(0,0)$
.

To delve deeper into the dynamics of the first precursor wave, we examine the morphological changes of its crestlines and the amplitude variations along these lines, considering a specific topography amplitude of
$b_0=0.1$
. Figure 12(a) illustrates the temporal progression of the first precursor wave’s amplitude, starting from
$t=50$
and displaying the results at the time interval of
$\unicode{x1D6E5} t=25$
until
$t=400$
. This figure includes an inset detailing the amplitude’s evolution at the plane
$y=0$
over time for various topography amplitudes, specifically
$b_0=0.05$
,
$0.1$
and
$0.15$
. The amplitude evolution is marked by a rapid increase near the initial time, then reaching the maximum value, after which it undergoes a temperate decay. Concurrently with this decay, energy redistribution occurs, manifesting as a lateral diffusion that leads to a progressive levelling of the crestlines. Comparing the amplitudes of the first precursor waves for the three distinct topography amplitudes, one observes that an increase in the topography amplitude leads to a corresponding increase in the growth rate and peak amplitude of the precursor wave. Additionally, the decay of the wave is accelerated, and the amplitude, once it reaches a steady state, is also notably higher. The spatial evolution of the crestlines of the first precursor wave in the
$x{-}y$
plane is shown in figure 12(b), where the crestlines evolve in a manner that resembles a circular arc emanating from the origin
$(0,0)$
as time elapses. The evolution of the distance between the crestlines and the origin is depicted in figure 12(c). It can be observed that the distance is almost equal at any given moment, with only a slight protrusion near
$y=0$
, and this protrusion becomes increasingly evident as time progresses, which indicates that the peak line is essentially an arc and the main reason for the protrusion is the ‘propulsion’ effect of the topography mentioned above, which causes the centre of the circle to move forward. While the above findings are derived from numerical experiments, the precise patterns of how amplitude and peak lines move with the topography still require further theoretical investigations.
6.3. Supercritical speed
When the topography moves with the supercritical speed (
$c_b\gt 1$
), the upstream waves disappear; instead, a wave emerges ahead of the topography, moving at a similar speed. This wave, under the ‘propelling’ influence of the topography, gradually narrows, and its amplitude slowly increases until it reaches a steady state, as shown in figures 13(b) and 13(e). In this case, the transverse waves vanish entirely, leaving behind only the distinct strip-like divergence waves, which can be observed in figure 13(d). For the wake angle, the condition
$c_b\gt 1$
leads to the emergence of complex values in (6.8), rendering the formula ineffective. Considering the situation from an alternative perspective, the anterior portion of the strip-like divergence wave, influenced by the topography, advances at a speed of
$c_b$
, while the rear part of the strip-like divergence wave, which is distant from the topography, is confined to the characteristic wave speed of the fluid, and can only propagate outwards at the unit speed, which can also be discerned from figures 13(a) and 13(d). Therefore, the strip-like divergence wave is confined within a specific angle, which starkly contrasts the wake angle for the topography moving at a subcritical speed. The wake angle
$\alpha$
in the supercritical case can be obtained as
$\alpha =\arcsin (1/c_b )$
, which (the black dotted line) exhibits a commendable consistency with the numerical simulation shown in figures 13(a) and 13(d).
Evolution of the wave generated by the moving topography with
$b_0=0.1$
and
$c_b=1.5$
at (a–c)
$t=50$
and (d–f)
$t=300$
. (a,d) Contour plots of the wave, where the black dash–dotted circular arcs with a radius of
$t$
and a centre at the origin
$(0,0)$
denote the predicted locations of the start-up waves and the black dotted lines denote the linear predictions of wake angles
$41.81^\circ$
; (b,e)
$y$
cross-sections of the wave; (c,f) the positions of the topography at the corresponding times.

In a realistic situation, the bottom of the ocean may be complicated, with multiple topographies. When a homogeneous or density-stratified flow passes through such a region, the interactions of wave wakes may happen. To investigate these interactions, we use two Gaussian functions to describe the bottom configuration, i.e.
where
$l$
measures the separation distance between two locally confined topographies in the
$y$
direction. The numerical results for the wakes generated by the two topographies moving at the same speed are depicted in figure 14. When
$t=400$
, the wakes emanating from the topographies commence to interact with each other. Up to
$t=800$
, the wake pattern exhibits a typical reflection characterised by the
$y=0$
plane acting as the plane of symmetry. As time passes, the increase of the inner angle between the wakes, which leads to a gradual increase in amplitude, fulfils the conditions conducive to the onset of a Mach reflection. This eventually results in the formation of a Mach stem between the two wakes, as demonstrated in figure 14(c).
Evolution of the wave generated by the moving topography (6.9) with
$b_0=0.1$
,
$c_b=1.1$
and
$l=400$
at
$t=400$
(a),
$800$
(b) and
$1200$
(c), where the black cross ‘
$\times$
’ denotes the positions of the topography peaks. The snapshots are shown in a frame of reference moving with
$v=1.1$
in the
$x$
direction.

We conducted numerical simulations to explore whether altering topography parameters can lead to Mach reflection through wake interactions. The results for various topography speeds and amplitudes are illustrated in figure 15. Our findings indicate that Mach reflection does not occur when the amplitude of the topography is small or when the speed of the topography is large, which corresponds to a smaller angle between the two wakes. In these tests, only regular reflection is observed. Further investigations are needed to determine the specific conditions under which the Mach stem phenomenon occurs, particularly regarding the amplitude and velocity of the topography.
(a i,b i,c i) Evolution of the wave generated by the moving topography (6.9) with different amplitudes and speeds at
$t=1800$
and
$l=400$
. (a ii,b ii,c ii) The black solid and dotted curves denote the wave profiles at
$y=0$
and
$y=200$
, respectively. (a iii,b iii,c iii) The dashed curves denote the positions of the topography at the corresponding parameters.

Note that we fix the distance between two Gaussian topographies in figures 14 and 15, setting
$l=400$
. If
$l$
is increased, the interaction angle may change, potentially leading to a weak interaction. To investigate the condition under which the Mach stem appears, we conduct numerical experiments by varying
$l$
while keeping
$b_0=0.1$
and
$c_b=1.1$
(the same data as figure 14). In summary, the Mach stem is generated when
$l\leqslant 1000$
with the generation time
$t\in (0, 3001)$
. Additionally, increasing
$l$
results in longer generation times. For instance, we observe the Mach stem for
$l=100$
,
$200$
and
$1000$
when
$t\in (0, T]$
, where
$T=490$
,
$1200$
and
$3000.5$
, respectively. However, the situation for
$l\gt 1000$
remains to be explored, as it requires significantly more time for numerical simulations, and a thorough analysis will be conducted in the future.
7. Concluding remarks
Mach expansion and Mach reflection are two significant phenomena in aerodynamics that share an analogy with the dynamics of oblique solitons as they propagate and evolve in oceanic environments. This study focuses on the forced fBL equation, which is a weakly nonlinear, isotropic and bidirectional model that describes the motion of both surface and internal waves influenced by moving topography in oceanic settings. In the absence of topographical influences, the fBL equation simplifies to the classic BL equation. To obtain numerical results relevant to both the BL and fBL equations, we have employed the standard pseudospectral method, incorporating the windowing scheme and integrating factors. We have also established the relationship between the fKP and fBL equations, which facilitates a more comprehensive analysis of their differences in Mach expansions and Mach reflections of oblique solitons in the context of flat topography. Using Whitham’s theory, we have derived the modulation equations (3.10) for the BL equation related to soliton dynamics, and the complete spectrum of the Whitham modulation theory is discussed in the Appendix (A).
For the bent soliton initial data (corresponding to the initial angle
$\theta _0\lt 0$
), the Mach expansion has been observed in the BL equation for relatively small magnitudes of the inclined angle
$|\theta _0|$
: the propagation of bent soliton results in the gradual extension of a perpendicular soliton at the bend point, referred to as the Mach stem. The amplitude of the Mach stem diminishes progressively as the angle
$|\theta _0|$
increases towards a critical threshold, leading to the eventual dissolution of this structure. Concurrently, a regular expansion occurs, which manifests a circular wavefront. The conclusions drawn about the BL equation are contrasted with those regarding the KP equation, as depicted in figure 5. Notably, the wall reduction factor for the BL equation is consistently greater than that for the KP equation, and this discrepancy diminishes as the initial angle
$|\theta _0|$
or speed
$|\omega _0|$
increases. Conversely, the speed of the Mach stem is found to be in good agreement with various values of the initial speed
$\omega _0$
, with discrepancies only emerging when the initial angle
$\theta _0$
approaches the critical angle
$\theta _{{cr}}$
that distinguishes Mach expansions from regular expansions.
While for the reverse bent soliton initial data, i.e.
$\theta _0\gt 0$
, a notable distinction arises: a Mach stem forms with an amplitude that surpasses that of the initial soliton, and subsequently, a smaller soliton emanates from the bend point in the direction of
$\theta \lt 0$
. These three solitons converge at a single point, forming a tripartite structure referred to as the three-wave resonance soliton, akin to the Mach reflection. Utilizing both classical and modified RH conditions, the amplitude and slope of the Mach stem
$(a_w,q_w)$
and the reflected soliton
$(a_i,q_i)$
can be numerically determined, along with the velocity of the triple-wave resonance point
$(s_x,s_y)$
. The growth rate of the length of Mach stem,
$s_y$
, is inversely related to the initial angle
$\theta _0$
. When
$s_y$
reduces to zero as
$\theta _0$
increases, the Mach stem fails to form; instead, an X-shaped soliton appears, indicative of regular reflection, where the reflected soliton gradually transitions into one with an identical amplitude
$a_0$
but an opposite slope
$-q_0$
. Comparative analyses on Mach reflections between the BL and KP equations are presented in figure 9, illustrating that the critical angle
$\theta _{{cr}}^{({BL})}$
for the BL equation is less than
$\theta _{{cr}}^{({KP})}$
for the KP equation, and this discrepancy becomes more pronounced as the speed
$|\omega _0|$
increases.
Building upon the modulation equations of the BL equation, we have conducted a further investigation into the evolution of waves generated by uniformly moving topography. One of the most notable findings is that the waves in the far field exhibit a circular pattern, diverging from the parabolic wavefronts in the KP equation typically associated with its anisotropic nature. Considering the difference between the topography speed
$c_b$
and the characteristic speed of shallow water, we have studied wave patterns and dynamics across the subcritical, critical and supercritical regimes. In the subcritical regime, the topography induces a start-up wave at the instant of movement commencement, diffusing radially at a characteristic speed and forming a circular boundary. The wake angle can be determined using the linear theory, with its relationship to the topography speed expressed by (6.8). When the topography attains the critical velocity, the wave is ‘propelled’ by the topography, leading to the development of an upstream-advancing wave and resulting in an arc-shaped wavefront. When the topographic speed exceeds the critical value, transverse waves vanish within the wake, leaving only strip-like dispersive waves confined to an angle defined by
$\alpha =\arcsin (1/c_b)$
. When two topographies, symmetrically distributed along the
$x$
axis, move at identical supercritical speeds, their generated wakes can interact with one another. Specifically, depending on the selected amplitudes and speeds of the terrains, Mach reflection may occur between the two wakes; otherwise, regular reflection will manifest.
The conclusions drawn above rely on the modulation theory of the BL equation. A more thorough and extensive exploration is necessary to understand the upstream-advancing wave dynamics, particularly regarding topographies moving at a critical speed. Additionally, the precise conditions that lead to the formation of a Mach stem during the interaction of two wakes – including the amplitude and speed of each Gaussian topography, as well as the separation distance between them – merit further investigation.
Supplementary materials
Supplementary materials are available at https://doi.org/10.1017/jfm.2025.342.
Funding
This work was partially supported by the National Natural Science Foundation of China (grant nos. 12325207 and 12101590) and the Strategic Priority Research Program of the Chinese Academy of Sciences (nos. XDB0640000 and XDB0640200).
Declaration of interests
The authors report no conflict of interest.
Appendix A. Derivation of the general Whitham system for the BL equation
In this appendix, we derive the full Whitham modulation equations for the BL equation (1.6). Starting from (3.6), we substitute the expansion into (3.3) and collect terms according to the power of
$\varepsilon$
. To leading order,
$O(1/\varepsilon ^{2})$
, we have
Integrating (A1) over the real line yields
where
$c_1$
is an integration constant. Multiplying (A2) by
$2\xi ^{(0)}_{\eta \eta }$
and integrating again, one obtains
where
$c_2$
is also an integration constant. The above differential equation admits an elliptic function solution
$\xi ^{(0)}_{\eta }$
, which satisfies
where
$\lambda _{1}\leqslant \lambda _{2}\leqslant \lambda _{3}$
, assumed real, are the roots of the cubic polynomial on the right-hand side of (A3). The normalization of the elliptic function with period one gives the following cnoidal wave solution:
where
$\text{cn}(\cdot \,; m)$
is one of the Jacobi elliptic functions,
$m$
is the elliptic parameter,
$K_{m}$
is the complete elliptic integral of the first kind and
$\eta _{*}$
is an integration constant. A direct calculation yields
and
\begin{align} \xi ^{(0)}_{\eta \eta \eta \eta }&=64BK_{m}^{3}\;\text{cn}(2K_{m}(\eta -\eta _{*});m)\;\text{sn}(2K_{m}(\eta -\eta _{*});m)\;\text{dn}(2K_{m}(\eta -\eta _{*});m) \notag\\ &\quad \cdot \left [1-2m+3m\;\text{cn}^{2}(2K_{m}(\eta -\eta _{*});m)\right ]\,. \end{align}
The solution (A5) can be easily verified by substituting the above into (A1). Note that
$\xi ^{(0)}_{\eta }$
is the well-known exact cnoidal wave solution to the KP equation, which is consistent with the result discussed in Ablowitz et al. (Reference Ablowitz, Fokas and Musslimani2006). In what follows, we will find
$A$
and
$B$
regarding physical variables.
Case 1. If
$\omega \gt 0$
, then it is clear that the real oscillating solution corresponds to the motion of
$\xi ^{(0)}_{\eta }$
between two zeros where
$f (\xi ^{(0)}_{\eta } )\geqslant 0$
, that is, in the interval
$\lambda _{2}\leqslant \xi ^{(0)}_{\eta } \leqslant \lambda _{3}$
. In this case,
It follows from (A3)–(A4) that
$\lambda _{1}+\lambda _{2}+\lambda _{3}={\omega ^{2}-k^{2}-l^{2}}/{\omega (k^{2}+l^{2})}$
. Thus,
Case 2. If
$\omega \lt 0$
, then
$f (\xi ^{(0)}_{\eta } )\geqslant 0$
whenever
$\lambda _{1}\leqslant \xi ^{(0)}_{\eta } \leqslant \lambda _{2}$
. In this case,
Recalling
$\lambda _{1}+\lambda _{2}+\lambda _{3}={\omega ^{2}-k^{2}-l^{2}}/{\omega (k^{2}+l^{2})}$
, one deduces
In summary, for any non-zero
$\omega$
, we obtain
and
By integrating expression (A5) with respect to
$\eta$
, one derives the following travelling wave solution to the BL equation (3.3):
where
$E(2K_{m}(\eta -\eta _{*})):=E(\phi, m)$
is the incomplete elliptic integral of the second kind, and
$\phi =\text{am}(2K_{m}(\eta -\eta _{*}))$
denotes the corresponding Jacobi amplitude. Specifically, (A14) is an unbounded travelling wave if
$A\not \equiv 0$
.
We proceed with the derivation by examining the next-to-leading-order terms, namely
$O(1/\varepsilon )$
; after a tedious calculation, one obtains
where
\begin{align} g=&-\left (\omega _{T}+k_{X}+l_{Y}\right )\xi ^{(0)}_{\eta }-2\omega \xi ^{(0)}_{\eta T} -2k\xi ^{(0)}_{\eta X}-2l \xi ^{(0)}_{\eta Y}-\big(\omega ^{2}k_{X}+\omega ^{2}l_{Y}-l^{2}\omega _{T} \notag\\ &- k^{2}\omega _{T}+4\omega k \omega _{X}+4\omega l \omega _{Y}\big)\xi ^{(0)}_{\eta \eta \eta }+2\omega \big(k^{2}+l^{2}\big)\xi ^{(0)}_{\eta \eta \eta T}-2\omega ^{2}k\xi ^{(0)}_{\eta \eta \eta X}\notag \\ &-2\omega ^{2}l\xi ^{(0)}_{\eta \eta \eta Y}-\left (2k\omega _{X}+2l\omega _{Y}+\omega k_{X}+\omega l_{Y}\right )\big(\xi ^{(0)}_{\eta }\big)^{2}+\big(k^{2}+l^{2}\big)\xi ^{(0)}_{\eta \eta }\xi ^{(0)}_{T}\notag \\ &-2\omega k \xi ^{(0)}_{\eta \eta }\xi ^{(0)}_{X}-2\omega l \xi ^{(0)}_{\eta \eta }\xi ^{(0)}_{Y}+2\big(k^{2}+l^{2}\big)\xi ^{(0)}_{\eta }\xi ^{(0)}_{\eta T}-4\omega k\xi ^{(0)}_{\eta }\xi ^{(0)}_{\eta X}-4\omega l\xi ^{(0)}_{\eta }\xi ^{(0)}_{\eta Y}\,. \end{align}
Recall that the solution
$\xi ^{(0)}_{\eta }$
of (A1) is periodic with period one, namely,
$\xi _{\eta }(\eta +1)=\xi _{\eta }(\eta )$
. Integrating (A15) with respect to
$\eta$
over a period, one needs the periodicity condition
to avoid the secular terms, giving rise to a modulation equation. Multiplying (A15) by
$\xi ^{(0)}_{\eta }$
and integrating over
$[0,1]$
gives the solvability condition
which provides another modulation equation. Overall, we have four Whitham modulation equations, including the first two compatibility conditions in (3.5), the periodicity condition (A17) and the solvability condition (A18). By substituting (A16) into (A17) and (A18), we have
\begin{align} 0&=2\omega \partial _Tg_{1}+2k\partial _Xg_{1}+2l \partial _Yg_{1}+\left (\omega _{T}+k_{X}+l_{Y}\right )g_{1}-\frac {1}{2}\big(k^{2}+l^{2}\big)\partial _T g_{2}\notag \\ &\quad +k\omega \partial _X g_{2}+l\omega \partial _Y g_{2}+\left (2k\omega _{X}+2l\omega _{Y}+\omega k_{X}+\omega l_{Y}\right )g_{2}+(A +B\alpha )\notag \\ &\quad \times \left[2k\omega A_{X}+2l\omega A_{Y}-(k^{2}+l^{2})A_{T}-\frac {1-m}{m}\big(2k\omega B_X+2l\omega B_Y-k^{2}B_T-l^{2}B_T\big)\right]\,, \end{align}
\begin{align} &0=k\partial _X g_{2}+l\partial _Y g_{2}+\omega \partial _T g_{2}+\left (\omega _{T}+k_{X}+l_{Y}\right )g_{2} +\left (2k\omega _{X}+2l\omega _{Y}+\omega k_{X}+\omega l_{Y}\right )g_{3}\notag \\ &\quad +\omega k \partial _X g_{3}+\omega l\partial _Y g_{3}-\frac {1}{2}\big(k^{2}+l^{2}\big)\partial _T g_{3} -\omega ^{2}k\partial _X g_{4}-\omega ^{2}l\partial _Y g_{4}+\omega \big(k^{2}+l^{2}\big)\partial _T g_{4}\notag \\ &\quad -\big(4\omega k \omega _{X}+4\omega l \omega _{Y}+\omega ^{2}k_{X}+\omega ^{2}l_{Y}-l^{2}\omega _{T}-k^{2}\omega _{T}\big)g_{4}+\big(A^{2}+2AB\alpha +B^{2}\alpha ^{2}\big)\notag \\ &\quad \times \left [2k\omega A_{X}+2l\omega A_{Y}-(k^{2}+l^{2})A_{T}-\frac {1-m}{m}(2k\omega B_X+2l\omega B_Y-k^{2}B_T-l^{2}B_T)\right ]\,, \end{align}
where
$\alpha =\text{cn}^{2}(-2K_{m}\eta _{*};m)$
,
$g_{j}=\int _{0}^{1} (\xi ^{(0)}_{\eta } )^{j}\;\text{d}\eta$
for
$j=1,2,3$
, and
$g_{4}=\int _{0}^{1} (\xi ^{(0)}_{\eta \eta } )^{2}\;\text{d}\eta$
. Using (A5) and the properties of the Jacobi elliptic functions (see Byrd & Friedman (Reference Byrd and Friedman2013), formulae (312), (361)), one obtains
\begin{align} g_{1}&=A+\frac {B}{m K_{m}}[E_{m}-(1-m)K_{m}]\,,\notag \\ g_{2}&=A^{2}+\frac {2AB}{m K_{m}}[E_{m}-(1-m)K_{m}]+\frac {B^{2}}{3m^{2}K_{m}}[(2-3m)(1-m)K_{m}+2(2m-1)E_{m}]\,,\notag \\ g_{3}&=A^{3}+\frac {3A^{2}B}{m K_{m}}[E_{m}-(1-m)K_{m}]+\frac {AB^{2}}{m^{2}K_{m}}[(2-3m)(1-m)K_{m}+2(2m-1)E_{m}]\notag \\ &\quad+\frac {B^{3}}{5mK_{m}}\left \{\frac {4(2m-1)}{3m^{2}}\left [(2-3m)(1-m)K_{m}+2(2m-1)E_{m}\right ]\right.\notag \\&\quad \left. +\frac {3(1-m)}{m}\left [E_{m}-(1-m)K_{m}\right ]\right \}\,,\notag\\ g_{4}&=\frac {16B^{2}K_{m}}{15m^{2}}[(1-m)(m-2)K_{m}+2(m^{2}-m+1)E_{m}]\,, \end{align}
where
$E_{m}$
is the complete elliptic integral of the second kind.
Hence, there are four Whitham modulation equations, the first two compatibility conditions in (3.5), along with (A19) and (A20), for the four dependent variables
$k$
,
$l$
,
$\omega$
and
$m$
. Furthermore, to delve into the soliton dynamics of the BL equation, the travelling wave solution (A14) can be specialized to a solitary wave (kink wave) by taking
$m\to 1$
. We claim that a solitary wave solution implies
$\omega ^{2}-k^{2}-l^{2}\gt 0$
. Indeed, a soliton solution yields
$A\equiv 0$
; otherwise, it is unbounded. The following analysis is based on different signs of
$\omega$
.
Case 1. If
$\omega \gt 0$
,
$m \to 1$
is equivalent to
$\lambda _{1} \to \lambda _{2}$
. It then follows that
$\omega ={\lambda _{3}-\lambda _{1}}/{16K_{m}^{2}}$
, and
$A= {\omega ^{2}-k^{2}-l^{2}}/{3\omega (k^{2}+l^{2})}- {\lambda _{3}-\lambda _{1}}/{3}=0$
implies
$B=\lambda _{3} -\lambda _{1}= {\omega ^{2}-k^{2}-l^{2}}/{\omega (k^{2}+l^{2})}\gt 0$
.
Case 2. If
$\omega \lt 0$
,
$m \to 1$
means
$\lambda _{2} \to \lambda _{3}$
. Hence,
$\omega =- {\lambda _{3}-\lambda _{1}}/{16K_{m}^{2}}$
, and
$A= {\omega ^{2}-k^{2}-l^{2}}/{3\omega (k^{2}+l^{2})}+ {\lambda _{3}-\lambda _{1}}/{3}=0$
leads to
$B=\lambda _{1}-\lambda _{3}= {\omega ^{2}-k^{2}-l^{2}}/{\omega (k^{2}+l^{2})}\lt 0$
.
Therefore,
$\omega ^{2}-k^{2}-l^{2}\gt 0$
holds for any non-zero
$\omega$
with
$|\omega |= {\lambda _{3}-\lambda _{1}}/{16K_{m}^{2}}$
.
Meanwhile, passing to this limit in the phase
$\eta$
, one obtains
$2K_{m}\eta \to {\sqrt {\lambda _{3}-\lambda _{1}}}/{2\epsilon \sqrt {|\omega |}}(kX+lY-\omega T)$
. Hence, (A14) reduces to a kink wave, i.e.
where
$a= {\omega ^{2}-k^{2}-l^{2}}/{k^{2}+l^{2}}\gt 0$
, and the integration constant
$\eta _{*}$
in (A14) is taken to be
$0$
. The corresponding soliton slope is denoted by
$q=l/k$
. Without loss of generality, we assume the wavenumber
$k\gt 0$
. Then, the sign of velocity is uniquely determined by the sign of frequency
$\omega$
. In addition, returning to the original independent variables associated with (1.6), the general four modulation equations can be reduced to the following three modulation equations in terms of three physical variables
$k$
,
$q$
and
$a$
:
\begin{equation} q_{t}+\text{sgn}(\omega )\left [ q_{x}\!\left (\!\sqrt {a+1} \sqrt {1+q^{2}}\right )-q\!\left (\!\sqrt {a+1} \sqrt {1+q^{2}}\right )_{x}\!+\left (\!\sqrt {a+1} \sqrt {1+q^{2}}\right )_{y}\!\right ]=0, \end{equation}
\begin{equation} \text{sgn} (\omega )\left [\frac {(4a+5)a\sqrt {a}}{a+1}\right ]_{t}+\left [\frac {(3a+5)a\sqrt {a}}{\sqrt {a+1} \sqrt {1+q^{2}}}\right ]_{x}+\left [\frac {(3a+5)qa\sqrt {a}}{\sqrt {a+1} \sqrt {1+q^{2}}}\right ]_{y}=0\,. \end{equation}
In fact, (A24) is derived from the last two compatibility conditions in (3.5), and the third relation holds automatically if the phase
$\eta (X,Y,T)$
is smooth, as mentioned in § 3. Hence, (A23)–(A24) only rely on the first two compatibility conditions in (3.5). Upon contemplating the propagation of waves in the leftward direction, i.e.
$\omega \lt 0$
, the modulation equations (A23)–(A25), as well as
$k_y-(qk)_x=0$
, can be simplified to the form of (3.10a
)–(3.10d
) as delineated in the main text.


























































































