1 Introduction
Lifting of a body from the liquid surface and thereby induced flows are of interest for both theoretical studies and applications. Mathematical modelling of the lifting process and physical phenomena that have to be taken into account are now at the early stage of investigations. The processes that occur when a body enters a liquid were studied in Korobkin & Pukhnachov (Reference Korobkin and Pukhnachov1988). The weight of the liquid, capillary forces and forces of adhesion of liquid particles to the solid surface determine liquid separation from the surface of the lifting body. On the other hand, the action of adhesion forces is localized near the body surface and exerts a minor effect on the global flow of the liquid from whose surface the body is lifting. For flat surfaces with the horizontal size of the wetted part of the body being much greater than its immersion depth, a thin layer of the liquid stays on the lifting body surface owing to the forces of adhesion between the liquid and the body surface. However, this thin layer weakly affects the liquid flow in the main domain and the pressure distribution over the wetted part of the body during its lifting. Therefore, the size of the wetted part of the body, which decreases with time, can be approximately determined with adhesion forces being ignored. The limiting case of a flat body is a rectangular beam with a flat lower horizontal surface considered in this study.
Lifting of bodies from the surface of a deep liquid with the bottom effect being ignored has been studied theoretically, experimentally and numerically (Reis et al. Reference Reis, Jung, Aristoff and Stocker2010; Piro & Maki Reference Piro and Maki2011; Tassin et al. Reference Tassin, Piro, Korobkin, Maki and Cooker2013; Korobkin Reference Korobkin2013). Reis et al. (Reference Reis, Jung, Aristoff and Stocker2010) performed experimental investigations of lifting of a circular glass disk from the water surface. The goal of their study was to explain the process of lapping by felines. The law of vertical lifting of the disk followed the motion of cat’s tongue recorded by a high-speed video camera. The analysis of the measured hydrodynamic forces made it possible to conclude that the main physical phenomena determined by these forces are the liquid inertia and weight. The liquid viscosity and surface tension exert minor effects on the loads and liquid flow induced by disk lifting from the liquid surface.
The entry into water with a constant negative acceleration and subsequent exit from water were studied for a wedge with a
$10^{\circ }$
rise of the bottom (Piro & Maki Reference Piro and Maki2011) and for a parabolic contour (Tassin et al.
Reference Tassin, Piro, Korobkin, Maki and Cooker2013). The liquid flow and the load distribution along the wetted part of the body were determined by means of the numerical solution of the Navier–Stokes equations. It was shown that the hydrodynamic loads at the initial stage of the body entry into water are positive and sufficiently large compared to the loads that act on the body at the final stage of its entry into the water and at the stage when the body out of the water. As the body is gradually decelerated, the loads acquire negative values. The minimum (maximum in terms of the absolute values) negative loads are reached when the body velocity is equal to zero. Later on, as the body leaves the water, the magnitude of the negative loads increases and becomes equal to zero when the body is located at a certain height above the undisturbed level of the liquid. The negative loads last for a much longer time than the positive loads and may exceed the latter in magnitude. It was noted that the hydrodynamic forces at the stage of the entry into water substantially depend on the body shape. At the stage of the exit from water, these loads are mainly determined by the horizontal size of the wetted part of the body and weakly depend on the body shape.
Korobkin (Reference Korobkin2013) proposed a linearized model of lifting of a flat body from the free boundary of an infinitely deep liquid. This model is based on the main assumption that the velocity of motion of the boundary of the liquid–body contact region is proportional to the local velocity of the flow at the periphery of the contact region. This assumption is similar to that used in Bendgamin (Reference Bendgamin1968) for modelling the outflow of an ideal incompressible liquid from a rectangular container. The hydrodynamic forces calculated by the model proposed in Korobkin (Reference Korobkin2013) for a wedge and a parabolic contour agree well with the results of numerical calculations reported in Piro & Maki (Reference Piro and Maki2011) and Tassin et al. (Reference Tassin, Piro, Korobkin, Maki and Cooker2013).
Problems similar to that discussed in this paper are encountered in investigations of the wave impact on the lower flat surface of offshore platforms. This problem has been studied numerically by the finite element method (Baarholm & Faltinsen Reference Baarholm and Faltinsen2004) and experimentally (Scolan et al. Reference Scolan, Remy and Thibault2006). It was demonstrated that the impact of the wave on a body located above the liquid surface consists of two stages. At the first stage, the liquid impinges onto the body and the wetted surface of the body increases with time. At the second stage, the liquid in the wave under the body is shifted downward, the wetted part of the body decreases and the loads on the body are directed toward the liquid. Both numerical and experimental results show that the negative loads on the body impacted by the wave can exceed the positive loads in magnitude and last for a longer time.
Lifting of bodies partly immersed in a finite-depth liquid with allowance for the effect of the bottom was not considered previously. Therefore, the challenge of this work is to study wave flows induced by vertical lifting of a rectangular beam partly immersed in shallow water occupying a rectangular prismatic channel with a horizontal bottom. Such flows are modelled within the framework of the first approximation of the shallow water theory (Friedrichs Reference Friedrichs1948; Stocker Reference Stocker1957; Henderson Reference Henderson1966; Sturm Reference Sturm2001; Chaudhry Reference Chaudhry2008) ignoring the effects of friction, liquid viscosity and surface tension. The liquid flow in the domain adjacent to the lower beam surface is calculated analytically. The flow outside this domain is obtained by means of the CABARET (compact accurately boundary-adjusting high-resolution technique) scheme (Goloviznin Reference Goloviznin2005; Karabasov & Goloviznin Reference Karabasov and Goloviznin2009), which ensures second-order accuracy on smooth solutions.
2 Formulation of the problem
Let us assume that a rectangular prismatic channel with a horizontal bottom which is filled by an incompressible liquid with a partly immersed rectangular beam of length
$2L$
whose width coincides with the channel width and whose upper and lower planes are parallel to the channel bottom (figure 1
a). We assume that the channel is not limited by length. At the time
$t<0$
, the liquid and the beam are at rest. Let us introduce a Cartesian coordinate system whose origin is on the channel bottom, the
$x$
axis is directed along the channel and the
$z$
axis is directed vertically upward, normal to the channel bottom. Let us assume that the
$z$
axis passes through the beam centre; therefore, the beam edges have the coordinates
$-L$
and
$L$
on the
$x$
axis. The initial depth of the liquid
$h_{0}$
outside the beam is assumed to be much smaller than the beam length
and the beam is immersed in water to a depth
$h_{0}-h_{1}$
, where
$h_{1}$
is the distance between the channel bottom and the lower surface of the beam. The pressure on the free surface of the liquid at
$|x|>L$
is considered equal to zero.
Initial position of the beam partly immersed in an undisturbed liquid (a). The first stage of the process in the time interval
$(0,T_{1})$
: the edges of the beam lower surface are in the water medium (b). The second stage of the process in the time interval
$(T_{1},T_{2})$
: the edges of the beam lower surface leave the water medium, while some part of the lower surface of the beam defined by the interval
$|x|\leqslant a(t)<L$
still contacts the liquid (c). The third stage of the process at
$t>T_{2}$
: the beam is separated from the liquid (d).
At the time
$t\geqslant 0$
, the beam moves vertically upward with a given acceleration
$H^{\prime \prime }(t)\geqslant 0$
, where
$H^{\prime \prime }(t)$
is continuous function, and with a given initial velocity
$H^{\prime }(0)\geqslant 0$
. We suppose that in the simulation of arising flow, we can neglect the influence of the liquid viscosity and surface tension. In particular this means that the liquid depth and the channel width are much greater than the thickness of viscous boundary layers on the side walls and bottom of the channel, and also on the wetted surface of the beam. It allows us to model a considered flow as a plane-parallel flow of an ideal incompressible liquid. Let us assume also that the following conditions are satisfied at beam lifting:
where
$c_{0}=\sqrt{gh_{0}}$
,
$g$
is the free-fall acceleration. It follows from conditions (2.1) and (2.2) that the resultant liquid flow can be described within the framework of the first approximation of the one-dimensional shallow water theory (Friedrichs Reference Friedrichs1948; Stocker Reference Stocker1957; Henderson Reference Henderson1966; Sturm Reference Sturm2001; Chaudhry Reference Chaudhry2008), where
$h_{0}$
and
$L$
is characteristic depth and wavelength of the flow.
For the solution of the considered problem we use the standard dimensionless variables
where
$h(x,t)$
,
$u(x,t)$
,
$q=hu$
and
$\unicode[STIX]{x1D70C}$
are the depth, velocity, flow rate and constant density of the liquid,
$p(x,z,t)$
is the pressure in the liquid. To describe the beam lifting, we will introduce the following dimensionless variables
which are in agreement with conditions (2.2). Input parameters after being written in the dimensionless variables (2.3) become
Shallow water equations written in the dimensionless variables (2.3) have the form
where
$\widetilde{p}(x,t)=p(x,h(x,t),t)$
is the pressure on the liquid surface. Here and everywhere further the asterisk at the dimensionless variables is omitted for brevity.
As the beam is lifting, the edges of its lower surface start to leave the water at a certain time instant
$T_{1}\geqslant 0$
. At
$T_{1}>0$
, the first stage of the process occurs in the time interval
$(0,T_{1})$
. At this stage (figure 1
b), the lower surface of the beam is completely immersed in the liquid, and the distance
$H(t)$
from the lower surface of the beam to the channel bottom is smaller than the depth
$h_{L}(t)=h(\pm (L+0),t)$
, where
$L=1$
, of the liquid adjacent to the end faces of the beam, i.e.
$H(t)<h_{L}(t)$
. We will assume that the hydrostatic pressure makes the liquid level
$h(x,t)$
under the beam increase so that
As a result, a liquid flow directed toward the beam centre is formed; outside the beam, this flow consists of depression waves of the initial level
$h_{0}=1$
. The first stage is finalized when the depth of the liquid adjacent to the end faces of the beam becomes smaller than or equal to the height of lifting of the lower surface of the beam, i.e.
$h_{L}(T_{1})\leqslant H(T_{1})$
. The first stage was studied in Kuznetsova & Ostapenko (Reference Kuznetsova and Ostapenko2015) for the case of a channel of finite length.
Separation of the beam from the liquid occurs at a certain time
$T_{2}>T_{1}$
. In the time interval
$(T_{1},T_{2})$
, the second stage of the process takes place (figure 1
c): the beam edges leave the water medium, while some part of the lower surface of the beam still contacts the liquid. We assume that this part of the lower surface of the beam is defined by the interval
$|x|\leqslant a(t)$
, where
$a(t)<1$
at
$t\in (T_{1},T_{2})$
. At the third stage (figure 1
d), at
$t>T_{2}$
, the beam becomes separated from the water, then water movement occurs as a liquid flow with free upper surface.
3 Liquid flow in the domain adjacent to the beam
At the first two stages, at
$t\in (0,T_{2})$
, the flow domain is divided into two parts: subdomain
$|x|\leqslant a(t)$
where the liquid is adjacent to the beam and the doubly connected subdomain
$|x|>a(t)$
with the free upper boundary of the liquid, where
$a(t)=1$
at
$t\in (0,T_{1}]$
and
$a(t)\in (0,1]$
at
$t\in [T_{1},T_{2})$
. In the first subdomain, where the liquid depth is
$h=H(t)$
, the first equation of system (2.6) yields
Integrating this equation with respect to
$x$
and taking into account the boundary condition
$u(0,t)=0$
, which follows from the symmetry of the problem about the point
$x=0$
, we obtain
In particular, at the boundary point
$x=a(t)$
, we have
The second equation of system (2.6) is used to determine the pressure
$\widetilde{p}(x,t)$
along the wetted lower surface of the beam. Substituting the values
$h=H(t)$
and
$u=-xR(t)$
into the left-hand side of this equation, we obtain
where
Integrating (3.4) with respect to
$x$
, we find
at the first stage and
at the second stage.
It follows from (3.7) that the pressure
$\widetilde{p}(x,t)$
in the liquid–beam contact domain at the second stage satisfies the following conditions. This pressure
$\widetilde{p}(x,t)>0$
if the inequality is satisfied:
In this case, the beam decelerates lifting of the adjacent liquid. Under the condition
from which it follows that
$p(x,t)=0$
, the beam does not prevent the free flow of the liquid ascending behind it. Finally, under the condition
which means that
$\widetilde{p}(x,t)<0$
, the beam accelerates lifting of the adjacent liquid.
In §§ 4 and 5, we will study the liquid flow outside the beam at the first stage. The flow in the second stage essentially depend on the sign of function (3.5). We will study the case with
$G=0$
in §§ 6 and 7, the case with
$G>0$
in §§ 8 and 9, the case with
$G<0$
in the §§ 10–12. The correctness of constructed solutions will be considered in appendices A and B.
4 Liquid flow outside the beam at the first stage
At the first stage the flow in the domain
$|x|\leqslant 1$
is uniquely determined by formulas (3.2) and (3.6). To characterize the flow outside the beam at this stage (in view of the symmetry of the problem and of the fact that
$p_{x}=0$
at
$|x|>1$
), it is sufficient for a homogeneous system of the shallow water equations
to solve the initial boundary value problem in the domain
$x>1,t>0$
with the initial conditions
and the boundary conditions
The boundary condition (4.3) follows from the assumption that condition (2.7) is satisfied.
Problem (4.1)–(4.3) is well posed if the flow
$h_{L}(t),u_{L}(t)=Q(t)/h_{L}(t)$
on the boundary
$x=L=1$
obtained by solving this problem is subcritical or critical, i.e. satisfies the inequality
In this case, the only characteristic of system (4.1) arrives on the boundary
$x=1$
from the domain
$x>1$
. It is the
$r$
-characteristic bringing the value of the
$r$
-invariant
from the undisturbed part of the liquid.
Formula (4.5) yields the equation for finding the depth
$h_{L}$
:
This equation has real solutions if the following inequalities are satisfied:
Using the Cardano formula, we obtain
As the solution of problem (4.1)–(4.3) has a constant value (4.5) of the
$r$
-invariant, each
$s$
-characteristic leaving the boundary point
$(1,\unicode[STIX]{x1D703})$
extends with the constant speed
and its current parameters remain invariable and equal to boundary values
$h_{L}(\unicode[STIX]{x1D703})$
and
$u_{L}(\unicode[STIX]{x1D703})$
. In view of formulas (4.3), (4.8) and (4.9), it follows from the condition
$H^{\prime \prime }\geqslant 0$
that the functions
$h_{L}(\unicode[STIX]{x1D703})$
and
$\unicode[STIX]{x1D706}_{s}(\unicode[STIX]{x1D703})$
decrease at
$\unicode[STIX]{x1D703}\in [0,T_{1}]$
. It means that the
$s$
-characteristics in problem (4.1)–(4.3) disperse in time (figure 2). Therefore, the solution of this problem is continuous and represents an
$s$
-depression wave of the initial liquid of depth
$h_{0}=1$
.
Fields of characteristics in the cases
$G=0$
(a),
$G>0$
(b) and
$G<0$
(c) at the first and second stages: the solid straight lines show the
$s$
-characteristics; the dashed lines show the
$r$
-characteristics.
5 Lifting of the beam with a finite initial velocity
In solving problem (4.1)–(4.3), in the case with
$H^{\prime }(0)>0$
, the depth of the liquid adjacent to the beam at the point
$x=L=1$
instantaneously (i.e. at the time
$t=0$
) decreases to a certain value
$h_{L}(0)<1$
. In this case, for the inequality
$T_{1}>0$
, the following condition should be valid:
Violation of this condition means that (within the shallow water theory) the depth of the liquid adjacent to the beam at the point
$x=L+0$
is smaller than or equal to the depth of the liquid under the beam immediately after the beginning of beam lifting. As a result, the first stage of the flow considered in this work will be absent.
If the initial depth of the liquid under the beam is
$h_{1}<h_{c}$
, condition (5.1) is satisfied by virtue of inequality (4.8). If the initial depth is
$h_{1}\geqslant h_{c}$
, condition (5.1) leads to an additional constraint on the initial velocity of beam lifting
As the liquid depth
$H(t)$
under the beam at the first stage continuously and strongly monotonically increases, while the depth
$h_{L}(t)$
of the liquid adjacent to the beam continuously and monotonically decreases, for the considered problem to be well posed in the case with
$h_{1}\geqslant h_{c}$
, it is sufficient to satisfy the condition (5.2) at the initial time, which means that the first stage of the flow exists; in the case with
$h_{1}<h_{c}$
, it is sufficient to satisfy the condition (4.7) in the time interval
$(0,T_{c})$
, where
$H(T_{c})=h_{c}$
and
$T_{c}\leqslant T_{1}$
. If the condition (4.7) is violated in the time interval
$(0,T_{c})$
, such flows are not considered in this paper.
If the beam lifting velocity
$H^{\prime }$
is constant and satisfies well-posedness condition (4.7) at
$h_{1}\leqslant h_{c}$
or condition (5.2) of the first stage existence at
$h_{1}\geqslant h_{c}$
, then the flow in the domain
$x>1$
at the first stage is a centred
$s$
-depression wave (Stocker Reference Stocker1957). In this case, the final time instant of the first stage is
$T_{1}=(h_{L}-h_{1})/H^{\prime }$
.
For the description of wave flows at the second stage, first of all, it is necessary to define the law of motion of the boundary line
$x=a(t)$
of the beam–liquid contact region. We will study various cases of such motion assuming that solutions of the considered problem are continuous on the boundary line.
6 Motion of the boundary line along the characteristic of the shallow water equations
Let us assume that beam lifting occurs under condition (3.9) at the second stage. Double integration of the second equation of this condition with initial data
$H(T_{1})=H_{1}$
and
$H^{\prime }(T_{1})=H_{1}^{\prime }$
yields
Substituting (6.1) into formula (3.2), we obtain the liquid velocity in such a flow:
The depth
$h=H(t)$
defined by the second formula of (6.1) and the velocity
$u$
defined by formula (6.2) represent the exact solution of the homogeneous system (4.1) defined in an infinite strip
This solution describes the process of filling of the entire space by the liquid at the final time
$\unicode[STIX]{x0394}t=1/H_{1}^{\prime }$
owing to the inflow of the liquid from infinity.
In the considered simplest case, the beam at the second stage does not influence the flow of the liquid lifting behind it. At the beginning of the second stage, the temporal derivative of the flow depth has a discontinuity on the beam boundary
$L=1$
:
This weak discontinuity of the exact solution lying on the boundary line
$x=a(t)$
propagates along the
$r$
-characteristic of the homogeneous system (4.1) with the velocity
It follows from formula (6.5) that, for obtaining the function
$x=a(t)$
, it is sufficient to integrate the ordinary differential equation
with the initial condition
$a(T_{1})=L$
. In this case, however, it is more convenient to find the boundary line
$x=a(t)$
by using the initial
$r$
-invariant value
brought to the point
$(L,T_{1})$
from the undisturbed part of the liquid.
From (6.7), taking into account formula (3.2) we obtain
Differentiating equation (6.8) and taking into account formulas (3.3) and (3.5), we obtain
From here, taking into account conditions (3.9), we find the sought velocity of boundary line propagation (6.5). It follows from (6.8) that separation of the beam from the liquid occurs at the origin of the coordinate system
$x=0$
, at the zero length of the contact region
$a(T_{2})=0$
, at the depth
After determining the position of the boundary line by (6.8), the flow in the external domain
$x>a(t)$
is found by solving the initial boundary value problem for the system (4.1), with the initial data formed at
$t=T_{1}$
and the boundary condition
defined on the moving boundary
$x=a(t)$
. In the considered case, the liquid flow at the second stage can be also found by solving the initial boundary value problem for system (4.1) in the domain
$x>0$
with the no-penetration boundary condition
In such a calculation, the boundary line
$x=a(t)$
is not allocated specially and is localized by the through computation.
Appendix A shows that the solution constructed in this section satisfies the correctness condition
of the considered problem.
7 Results of numerical simulations at
$G=0$
In view of the symmetry of the problem with respect to the origin
$x=0$
, the numerical solution of the homogeneous system of the shallow water equations (4.1) is performed in the domain
$[1,4]$
at the first stage, in the domain
$[a(t),4]$
with a moving left boundary at the second stage and in the domain
$[0,4]$
at the third stage. The right boundary of the computational domain at
$x=4$
is subjected to the non-reflecting boundary condition
which means preservation of the
$r$
-invariant value brought from the undisturbed part
$x>1+t$
of the liquid. The boundary condition (7.1) allows approximate modelling of the solution of an initial boundary value problem in a semi-infinite spatial interval.
The conditions imposed on the left boundaries of the computational domains are condition (4.3) at the first stage and the no-penetration condition
at the third stage. The conditions on the moving left boundary
$x=a(t)$
at the second stage depend on the propagation velocity of this boundary line. In the considered case, when the boundary line
$x=a(t)$
propagates along the
$r$
-characteristic of the shallow water system (4.1), only condition (6.11) is imposed on this line.
Wave profiles for five consecutive time instants for the case of beam lifting according to formula (7.3) with the initial velocity
$H^{\prime }(0)=0.088$
at the initial depth of the liquid under the beam
$h_{1}=0.5$
;
$t=1.131$
(1), 2.475 (2), 2.828 (3), 3.677 (4) and 4.596 (5).
For the numerical solution of system (4.1), we used the explicit second-order CABARET scheme (Goloviznin Reference Goloviznin2005). The main advantages of this scheme are provided by the following property: in the linear case, this scheme is reversible in time and exact for two different Courant numbers
$r=0.5$
and
$r=1$
. For this reason, the scheme possesses unique dissipative and dispersive properties (Karabasov & Goloviznin Reference Karabasov and Goloviznin2009). In view of the special flux correction the CABARET scheme is monotonic (Ostapenko Reference Ostapenko2012) at Courant numbers
$r\leqslant 0.5$
. Therefore, the value
$r=0.5$
is used in the computations described below. Moreover, the CABARET scheme has a compact stencil bounded by the size of one spatio-temporal cell of the difference grid. As a result, its accuracy does not decrease on severely non-uniform difference grids, which were used to construct the numerical algorithm at the second stage of the flow in the neighbourhood of the moving boundary
$x=a(t)$
of the computational domain.
In all calculations described further, the beam is lifting in such a manner that condition (4.7) is satisfied at the first stage, which guarantees the correctness of problem (4.1)–(4.3). The dashed curves in the figures show the initial position of the liquid surface at
$t=0$
. Let us assume that condition (3.9) holds during the first and second stages. In this case, it follows from (6.1) that the beam lifts by the law
Figure 3 shows five consecutive instants of the results of numerical simulations of the considered problem for the case of beam lifting in accordance with law (7.3) for the initial velocity
$H^{\prime }(0)=0.088$
and the initial depth of the liquid under the beam
$h_{1}=0.5$
. At the second stage, the calculations were carried out in two ways. In the first case, system (4.1) is solved in the domain
$[a(t),4]$
with a moving left boundary defined by formula (6.8); condition (6.11) is imposed on this boundary. In the second case, taking into account that the beam does not influence the liquid flow at
$G=0$
at the second stage, we solve system (4.1) in the domain
$[0,4]$
with the left boundary condition (7.2). The calculations performed on a sequence of consecutively refined grids show that the difference solutions obtained in these two ways converge to the same exact solution become visually indiscernible on a sufficiently fine grid. It is indirect confirmation of the correctness of formula (6.8) at
$G=0$
.
The results of numerical simulations show that the first stage of the considered problem, when the lower surface of the beam is completely immersed in water and the depression wave propagates in the domain
$x>1$
(curve 1 in figure 3
a), is finalized at the time
$T_{1}=1.9$
. The second stage, when the edges of the lower surface of the beam start to go out from the water (curve 2 in figure 3
a), is finalized at the time
$T_{2}=2.83$
, when the beam separates from the liquid (curve 3 in figure 3
b). At
$t>T_{2}$
, liquid lifting that occurred at the second stage leads to the formation of a wave of the liquid level increase (curves 4 and 5 in figure 3
b) propagating in the positive direction of the
$x$
axis.
8 Motion of the boundary line with a subcritical velocity
Let us assume that the boundary line
$x=a(t)$
in the second stage propagates with a subcritical velocity
and the exact solution of the considered problem is continuous in the curvilinear triangle
$\widetilde{\unicode[STIX]{x1D6E5}}=ABT_{2}$
(figure 2
b) bounded by the boundary line
$x=a(t)$
, the
$s$
-characteristic leaving the point
$A_{1}=(1,T_{1})$
and the
$r$
-characteristic coming to the point
$T_{2}$
on the
$t$
axis. In this case, the
$r$
-characteristics arriving on the boundary line
$x=a(t)$
bring the initial value of the
$r$
-invariant from the undisturbed part of the liquid. As a result, (6.7) yields explicit formulas for the boundary line (6.8) and for the velocity of its propagation (6.9).
In view of (3.3), (3.5), (6.8) and (6.9), inequalities (8.1) can be rewritten as
where the first inequality can be presented in the form
Since in the considered case
$H^{\prime }>0$
,
$H^{\prime \prime }\geqslant 0$
and
$C=\sqrt{H}\leqslant 1$
, inequality (8.3) is satisfied under the condition
$H>4/9$
, which, in view of (4.8), follows from the constraint
$H>h_{L}(T_{1})\geqslant h_{c}=4/9$
. Thus, conditions (3.8) and (8.1) are equivalent at the second stage if the considered solution is continuous in the domain
$\widetilde{\unicode[STIX]{x1D6E5}}$
.
If the liquid velocity
$U$
on the boundary line
$x=a(t)$
is greater than the line propagation velocity (6.9), i.e. if condition (8.1) is taken into account, the velocity
$U$
satisfies the inequalities
the liquid outflows from the domain
$|x|\leqslant a(t)$
adjacent to the beam. Taking into account (3.3), (3.5) and (6.8), we can present the first inequality of (8.4) in the form
As
$H^{\prime \prime }\geqslant 0$
and
$C\leqslant 1$
inequality (8.5) is obviously satisfied under the condition
$H=C^{2}>16/25$
. It follows from here that, if the liquid depth at the end of the first stage satisfies the condition
$4/9<H(T_{1})<16/25$
and the inequality opposite to (8.5) is valid at
$t=T_{1}$
, the liquid flows into the domain
$|x|\leqslant a(t)$
at the beginning of the second stage.
It follows from (6.8) that, as in the case with
$G=0$
, separation of the beam from the liquid occurs at depth (6.10), and at the time instant
$T_{2}=H^{-1}(1)$
, where
$H^{-1}(h)$
is a function inverse to
$H(t)$
. In particular, if the beam lifts with a constant velocity during the first and second stages, we have
As inequality (8.5) is satisfied in some time interval
$(t_{2},T_{2})$
, where
$t_{2}\geqslant T_{1}$
, the liquid always outflows from the domain
$|x|\leqslant a(t)$
at the end of the second stage.
Wave profiles for five consecutive time instants for the case of beam lifting with the constant velocity
$H^{\prime }(0)=0.265$
at the initial depth of the liquid under the beam
$h_{1}=0.25$
;
$t=0.566$
(1), 2.475 (2), 2.828 (3), 3.536 (4) and 4.950 (5).
After determining the position of the boundary line by (6.8), the flow in the external domain
$x>a(t)$
under condition (3.8) is found by solving the initial boundary value problem for the system (4.1) with the initial data formed at
$t=T_{1}$
and the boundary condition (6.11). In the considered case with
$G>0$
, in contrast to the case with
$G=0$
, the validity of correctness conditions (6.13) on the entire segment
$[a(t),1]$
is verified by means of numerical calculations. At the same time, with taking into account that the solution
is known on the boundary line
$x=a(t)$
, the condition (6.13) can be verified analytically in a certain neighbourhood of the boundary line (see appendix B).
9 Results of numerical simulations at
$G>0$
Figures 4–6 show the results of numerical simulations of the considered problem for the case of beam lifting in such a manner that condition (3.8) is satisfied and the exact solution is continuous in the domain
$\widetilde{\unicode[STIX]{x1D6E5}}$
, which guarantees the well posedness of formula (6.8) for the boundary line
$x=a(t)$
propagating with the subcritical velocity (8.1) defined by (6.9). At the second stage, system (4.1) is solved in the domain
$[a(t),4]$
in two ways. In the first case, the left moving boundary of this domain is defined by formula (6.8), and condition (6.11) is imposed on this boundary. In the second case, two boundary conditions (8.7) are imposed on the boundary line
$x=a(t)$
; the position of this line is not defined by an exact formula; it is calculated in the course of solving system (4.1) in the domain
$[a(t),4]$
. The calculations performed on a sequence of gradually refined grids show that the difference solutions obtained in these two ways converge to the same exact solution and become visually indiscernible on a sufficiently fine grid. It is indirect confirmation of the correctness of formula (6.8) for numerical simulations illustrated in figures 4–6.
Wave profiles for five consecutive time instants for the case of beam lifting with the constant acceleration
$H^{\prime \prime }(0)=0.138$
at the initial depth of the liquid under the beam
$h_{1}=0.5$
;
$t=1.273$
(1), 2.263 (2), 2.701 (3), 3.889 (4) and 4.950 (5).
Wave profiles for five consecutive time instants for the case of beam lifting with the constant acceleration
$H^{\prime \prime }(0)=0.293$
at the initial depth of the liquid under the beam
$h_{1}=0.5$
;
$t=0.707$
(1), 1.414 (2), 1.711 (3), 3.182 (4) and 4.243 (5).
In figure 4, the beam is lifting with a constant velocity
$H^{\prime }(0)=0.265$
at the initial depth of the liquid under the beam
$h_{1}=1/4$
, which, by virtue of condition (4.7) and the inequality
$h_{1}<4/9$
, ensures the existence of the first stage of the flow. This stage, when the lower surface of the beam is completely immersed in water and the centred depression waves propagate in the domain
$x>1$
(curve 1 in figure 4
a), is finalized at the time
$T_{1}=1.38$
. The second stage, when the edges of the lower surface of the beam start to go out from the water (curve 2 in figure 4
a), is finalized, as predicted by formula (8.6), at the time
$T_{2}=2.83$
when the beam separates from the liquid (curve 3 in figure 4
b). At
$t>T_{2}$
, liquid lifting that occurred at the second stage leads to the formation of a shock wave moving in the positive direction of the
$x$
axis (curves 4 and 5 in figure 4
b).
In figure 5, the beam is lifting with a constant acceleration
$H_{0}^{\prime \prime }=0.138$
and zero initial velocity (which guarantees the existence of the first stage of the flow) at the initial depth
$h_{1}=1/2$
. The first stage, when the lower surface of the beam is completely immersed in water (curve 1 in figure 5
a), is finalized at the time
$T_{1}=1.68$
s, and the second stage shown by curve 2 in figure 5(a) is finalized at the time
$T_{2}=2.70$
s (curve 3 in figure 5
b). At
$t>T_{2}$
, liquid lifting that occurred at the second stage leads to the formation of a wave of the liquid level increase (curves 4 and 5 in figure 5
b).
In figure 6, the beam is lifting from the initial depth
$h_{1}=1/2$
with a constant velocity
which leads to violation of condition (5.2) necessary for the existence of the first stage of the flow. As a result, the second stage shown by curves 1 and 2 in figure 6(a) begins immediately after the beginning of beam lifting and ends at the time
$T_{2}=1.71$
(curve 3 in figure 6
b). At the third stage (
$t>T_{2}$
), liquid lifting that occurs at the second stage leads to the formation of a shock wave moving in the positive direction of the
$x$
axis (curves 4 and 5 in figure 6
b). Let us note that in figures 4(b) and 6(b) the strong discontinuities are the shock waves (Friedrichs & Lax Reference Friedrichs and Lax1971; Lax Reference Lax1972) modelling the hydraulic bores of the real flow.
Remark.
From the classical condition (2.1) of the long-wave approximation it follows (Friedrichs Reference Friedrichs1948) that the spatial derivative of the liquid level should be much less than one
$(|h_{x}|\ll 1)$
. This contradicts the fact that at the shocks, which describe the hydraulic bores, the spatial derivative of the liquid level is equal to infinity
$(|h_{x}|=\infty )$
. Nevertheless, a comparison of exact discontinuous solutions of shallow water equations (4.1) with natural observations and with the results of laboratory experiments showed (Stocker Reference Stocker1957; Henderson Reference Henderson1966; Sturm Reference Sturm2001; Chaudhry Reference Chaudhry2008) that theoretical predictions agree fairly well with observable and experimental results in terms of the flow types, velocities of shock waves (hydraulic bores or jumps) and averaged depths of the flow behind their fronts. The paper by Ostapenko (Reference Ostapenko2015) explains this paradox of the shallow water theory. In this paper constitutive conservation laws of the shallow water theory are obtained from the multidimensional integral conservation laws of mass and momentum, which describe the flow of an ideal incompressible fluid above a horizontal bottom. The restrictions on flow parameters arising in this case have the integral form and not directly related to the classic conditions of long-wave approximation (2.1). It proves the applicability of the shallow water theory for modelling of wave flows with hydraulic bores, with areas in which the horizontal velocity of the liquid changes its sign and is comparable with the vertical flow velocity, and also to simulate the initial stage of the formation of a depression waves where the wavelength is less than or comparable to the flow depth.
10 Energy conservation law in the domain adjacent to the beam
Let us assume that beam lifting in some time interval
$(t_{1},t_{2})\subseteq (T_{1},T_{2})$
at the second stage occurs under condition (3.10). In this case, it follows from formulas (B 5)–(B 7) that the local correctness condition
implies propagation of the boundary line
$x=a(t)$
with a supercritical velocity
and does not imply its propagation with the subcritical velocity (8.1). If the boundary line propagates with the supercritical velocity (10.2), then the
$r$
- and
$s$
-characteristics of system (4.1) emanate from this line in the domain
$x>a(t)$
, and none of them arrive on the line
$x=a(t)$
(figure 2
c). This means that the external flow at
$x>a(t)$
does not affect the boundary line motion within the framework of the shallow water theory. As a result, for definition of the boundary line position from (3.3) at
$G<0$
, it is necessary to use one more additional relation, which should be derived from the fundamental physical law of the liquid flow in the domain
$|x|\leqslant a(t)$
adjacent to the beam.
Therefore, we consider the energy conservation law in the two-dimensional spatial domain
The conservation law will be written in dimensionless variables (2.3)–(2.5) in which the asterisk is omitted for the brevity. Within the long-wave approximation (2.1), (2.2), the total energy
$E$
of the liquid in this domain, which is the sum of the kinetic and potential energies, in view of (3.2) and (3.3) is determined by the formula
The change in the total energy (10.4) results from its flux with the velocity
through the moving lateral boundaries
$x=\pm a(t)$
of domain (10.3) and from the pressure work
on these lateral boundaries, where
$p(x,z,t)=H(t)-z$
is the hydrostatic law of pressure. The change in the total energy (10.4) occurs also results from the pressure work
$W_{2}=-PH^{\prime }$
on the top moving boundary
$z=H(t)$
of domain (10.3). The total pressure force
$P$
is calculated by the formula
where the surface pressure
$\widetilde{p}(x,t)$
is determined by (3.7). As a result, we have
Part of the total energy (10.4) transforms with some speed
$\unicode[STIX]{x0394}E$
to the energy of liquid vortices concentrated in small areas
$|x\pm a(t)|<\unicode[STIX]{x1D6FF}$
of the boundary lines
$x=\pm a(t)$
whose sizes
$2\unicode[STIX]{x1D6FF}$
are neglected within the long-wave approximation. Since the shallow water equations (4.1) represent the hyperbolic system of conservation laws with convex expansion (Friedrichs & Lax Reference Friedrichs and Lax1971; Lax Reference Lax1972), an energy transition
$\unicode[STIX]{x0394}E$
is similar to the losses of the total energy to shock waves in the classical shallow water theory (Stocker Reference Stocker1957; Ostapenko Reference Ostapenko2007; Chaudhry Reference Chaudhry2008). Taking this into consideration, we obtain the total energy conservation law in domain (10.3) from (10.4)–(10.8):
After conversions, (10.9) can be written in the form
which will be used for obtaining an additional relation that allows one to determine the velocity of the boundary line
$x=a(t)$
under condition (3.10).
11 Motion of the boundary line under the condition
$G<0$
As the basic criterion that allows one to determine the position of the boundary line
$x=a(t)$
under condition (3.10), we use the assumption that the minimum possible part of the total energy of the liquid transforms to the vortex energy
$\unicode[STIX]{x0394}E$
when the liquid leaves domain (10.3). As a result we have from (10.10) under constraint (10.2) that the liquid flow occurs under the condition
Hence the boundary line
$x=a(t)$
propagates with the critical velocity (6.5). The acceleration of such propagation, taking into account (3.3), (3.5) and (6.5), is calculated by the formula
If the point
$(a(t),t)$
of the boundary line
$x=a(t)$
lies on the
$r$
-characteristic of system (4.1), where the
$r$
-invariant has a constant value
$r_{1}$
, the liquid and sound velocities
$U=U(a(t),t)$
and
$C=C(a(t),t)$
at this point satisfy the condition
$U=2C+r_{1}$
, whereas the
$r$
-characteristic velocity at this point is calculated by the formula
$\unicode[STIX]{x1D706}_{r}=U-C=C+r_{1}.$
From here, the
$r$
-characteristic acceleration on the boundary line is
It follows from (11.2) and (11.3) that the boundary line propagating with the
$r$
-critical velocity at
$G<0$
is the envelope of the
$r$
-characteristics emanating from this line in the external domain
$x>a(t)$
(figure 2
c). This means that the flow in the domain
$x>a(t)$
does not affect the liquid flow in the domain
$|x|\leqslant a(t)$
adjacent to the beam. Formula (6.5) yields the ordinary differential equation (6.6) for the boundary line
$x=a(t)$
. Integrating this equation in the time interval
$(t_{1},t_{2})$
, we obtain
It follows from inequalities (10.1) and (10.2) that
Which means that, in the case of the boundary line (11.4) propagating with the critical velocity (6.5), the free liquid surface comes up to the bottom beam surface at a right angle within the long-wave approximation.
12 Results of numerical simulations at
$G<0$
at the beginning of the second stage
Figures 7–9 show the results of numerical simulations of the considered problem for the case of beam lifting with a constant acceleration and zero initial velocity in such a manner that condition (3.10) is satisfied at the beginning of the second stage. In figure 7, the beam lifts with the acceleration
$H^{\prime \prime }=0.75$
from the initial depth
$h_{1}=0.975$
, which can be approximately interpreted as the beam lifting from the surface of the undisturbed liquid. In this case, inequality
$G<0$
is satisfied during the entire second stage (curves 1 and 2 in figure 7
a), which ends at the time instant
$T_{2}=0.905$
, when the maximum liquid lifting
$h(0,T_{2})=1.28$
is reached (curve 3 in figure 7
b).
Wave profiles for five consecutive time instants for the case of beam lifting with the constant acceleration
$H_{0}^{\prime \prime }=0.75$
and zero initial velocity at the initial depth of the liquid under the beam
$h_{1}=0.975$
;
$t=0.424$
(1), 0.778 (2), 0.905 (3), 1.414 (4) and 2.333 (5).
Wave profiles for six consecutive time instants for the case of beam lifting with the constant acceleration
$H_{0}^{\prime \prime }=2.5$
and zero initial velocity at the initial depth of the liquid under the beam
$h_{1}=0.75$
;
$t=0.212$
(1), 0.453 (2), 0.636 (3), 0.792 (4), 1.414 (5) and 2.121 (6).
Wave profiles for six consecutive time instants for the case of beam lifting with the constant acceleration
$H_{0}^{\prime \prime }=7.5$
and zero initial velocity at the initial depth of the liquid under the beam
$h_{1}=0.975$
;
$t=0.141$
(1), 0.294 (2), 0.495 (3), 0.587 (4), 1.061 (5) and 1.697 (6).
In figure 8, the beam lifts with acceleration
$H^{\prime \prime }=2.5$
from the initial depth
$h_{1}=0.75$
. In this case, inequality
$G<0$
is satisfied only at the beginning of the second stage (curve 1 in figure 8
a) in the time interval
$(T_{1},t_{2})\subseteq (T_{1},T_{2})$
, where
$T_{1}=0.085$
,
$t_{2}=0.453$
,
$a(t_{2})=0.468$
and
$T_{2}=0.792$
. At the time instant
$t_{2}$
(curve 2 in figure 8
a), the function
$G$
changes its sign, and beam lifting in the time interval
$(t_{2},T_{2})$
occurs under the inequality
$G>0$
(curve 3 in figure 8
a). At the end of the second stage (curve 4 in figure 8
b), the maximum liquid lifting
$h(0,T_{2})=1.53$
is reached.
In figure 9, the beam lifts with the acceleration
$H^{\prime \prime }=7.5$
from the initial depth
$h_{1}=0.975$
. In this case, inequality
$G<0$
is satisfied only at the beginning of the second stage (curve 1 in figure 9
a) in the time interval
$(T_{1},t_{2})\subseteq (T_{1},T_{2})$
, where
$T_{1}=0.003$
,
$t_{2}=0.294$
,
$a(t_{2})=0.497$
and
$T_{2}=0.587$
. At the time instant
$t_{2}$
(curve 2 in figure 9
a), the function
$G$
changes its sign, and beam lifting in the time interval
$(t_{2},T_{2})$
occurs under the inequality
$G>0$
(curve 3 in figure 9
a). At the end of the second stage (curve 4 in figure 9
b), the maximum liquid lifting
$h(0,T_{2})=2.27$
is reached. Let us note that in figures 8(b) and 9(b) the strong discontinuities are the shock waves modelling the hydraulic bores of the real flow.
At the second stage, two boundary conditions (8.7) for system (4.1) are imposed on the left moving boundary of the computational domain
$[a(t),4]$
. If inequality
$G<0$
is satisfied in the time interval
$(T_{1},t_{2})\subseteq (T_{1},T_{2})$
, setting of the two boundary conditions on boundary line (11.4) is related to the fact that both characteristics pass from this line to the external domain
$x>a(t)$
. If the inequality
$G>0$
is satisfied in the time interval
$(t_{2},T_{2})\subset (T_{1},T_{2})$
, in view that the inequality
$G<0$
is satisfied in the previous time interval
$(T_{1},t_{2})$
, the boundary line
$x=a(t)$
at
$t\in (t_{2},T_{2})$
is described by the equation
$a(t)=-(2C+r_{1})/R$
derived from the formula
$U-2C=-aR-2C=r_{1}$
, where
$r_{1}$
is the
$r$
-invariant value brought along the
$r$
-characteristic coming from the domain
$x>a(t)$
to the boundary line. Thus, the line can propagate both with the
$r$
-critical (6.5) and subcritical (8.1) velocities. It follows from formulas (11.2) and (11.3) that the boundary line
$x=a(t)$
in the first case is the envelope of the
$r$
-characteristics coming to this line from the external domain
$x>a(t)$
. Unlike the situation studied in §§ 8 and 9, the
$r$
-invariant value
$r_{1}$
in the considered case is unknown in advance. Therefore the only way to solve the problem is where the two boundary conditions (8.7) are imposed on the boundary line
$x=a(t)$
, and the position of this line is calculated in the course of solving system (4.1) in the domain
$[a(t),4]$
.
The results of numerical calculations presented in figures 7–9 show that the maximum lifting of the liquid behind the beam can be appreciably greater than the initial liquid depth
$h_{0}=1$
if condition (3.10) is satisfied at the beginning of the second stage. Thus, an increase in the acceleration of beam lifting leads to an increase in the maximum height of liquid lifting. The numerical calculations performed under the condition that the beam lifts with acceleration
$H^{\prime \prime }>7.5$
show a further increasing of the maximum lifting of the liquid.
13 Conclusion
As we had to use the heuristic assumption (Korobkin Reference Korobkin2013) that the velocity of the liquid–body contact boundary is proportional to the local velocity of the liquid flow in the theoretical modelling of lifting of a flat body from the free boundary of an infinitely deep liquid, the main challenge of this work was to obtain an exact law of motion of this boundary line within the framework of the long-wave approximation in solving the problem of lifting of a rectangular beam partly immersed in shallow water. To justify the initial motion of the liquid behind the beam during its lifting from the liquid surface, it is necessary to take into account the forces of adhesion of liquid particles with the solid body surface, which were neglected in this work. Therefore, to induce this initial motion of the liquid, we introduced the first stage at which the lower surface of the beam is immersed in the liquid to a finite depth.
In analysing the solution of the problem, we obtained constraint (4.7) on the beam lifting velocity at the first stage. If this condition is violated, initial boundary value problem (4.1)–(4.3) for the liquid flow in the external region
$x>L$
becomes incorrect; such flows are not considered in this paper. We also obtained another constraint (5.2) on the initial velocity of beam lifting. If this condition is violated, the edges of the lower surface of the beam instantaneously leave the water medium in accordance with the shallow water theory (figure 6
a). The latter does not contradict the requirement of the formation of initial motion of the liquid behind the beam because the shallow water model predicts that a horizontal flow of the liquid instantaneously arises for all finite initial velocities of beam lifting. This flow is directed toward the beam centre and induces vertical lifting of the liquid behind the beam.
The propagation of the beam–liquid boundary line
$x=a(t)$
at the second stage is calculated without any heuristic assumptions about the relationship between this boundary line velocity and the local velocity of the liquid flow. Thus, the boundary line motion essentially depends on the sign of the function
$G$
defined by formula (3.5). Under the condition
$G=0$
, the beam–liquid boundary line
$x=a(t)$
propagates along the
$r$
-characteristic of the shallow water system (4.1). Under the condition
$G>0$
, the boundary line can propagate with the
$r$
-critical (6.5) or subcritical (8.1) velocity. In the first case, it is the envelope of the
$r$
-characteristics coming to this line from the external domain
$x>a(t)$
. Under the condition
$G<0$
, the boundary line propagates with the
$r$
-critical velocity (10.2) and is the envelope of the
$r$
-characteristics emanating from this line in the external domain
$x>a(t)$
.
If the inequality
$G\geqslant 0$
is satisfied and the exact solution is continuous in the second stage, the boundary line
$x=a(t)$
is defined by the exact formula (6.8). In this case, when the beam decelerates lifting of the adjacent liquid at
$G>0$
or does not prevent its free flow at
$G=0$
, the maximum liquid depth behind the beam coincides with the initial liquid depth outside the beam (figures 3–6). If the inequality
$G<0$
is satisfied in some time interval
$(t_{1},t_{2})\subseteq (T_{1},T_{2})$
, the boundary line in this time interval is defined by formula (11.4). If the inequality
$G>0$
is satisfied in some time interval
$(t_{3},t_{4})\subseteq (T_{1},T_{2})$
and the opposite inequality
$G<0$
is satisfied in some previous time interval
$(t_{1},t_{2})\subseteq (T_{1},T_{2})$
, where
$t_{2}<t_{3}$
, it is impossible to obtain an exact formula for the boundary line. In this case, the position of the boundary line
$x=a(t)$
is defined numerically in the course of solving system (4.1) in the domain
$[a(t),4L]$
. If the inequality
$G<0$
is satisfied in some time interval
$(T_{1},t_{2})\subseteq (T_{1},T_{2})$
in the beginning of the second stage, whereby the beam accelerates lifting of the adjacent liquid in this time interval, the maximum lifting of the liquid behind the beam can be appreciably greater than the initial liquid depth outside the beam (figures 7–9).
It is further planned to compare the solutions obtained in this work with results of laboratory experiments and with numerical simulations performed on the basis of hydrodynamic models of higher levels.
Acknowledgements
The authors are grateful to professor A. A. Korobkin for formulating this problem. This work was partially supported by the Russian Foundation for Basic Research (grant no. 16-01-00333).
Appendix A. Well posedness of the solution at
$G=0$
Let us show that the solution constructed in § 6 satisfies the correctness condition (6.13) of the considered problem. If beam lifting at the second stage occurs under condition (3.9), the
$r$
-invariant of system (4.1) is constant and equal to the initial value
$r_{0}=-2$
in some right neighbourhood
of the boundary line (6.8). By virtue of this fact, the solution of system (4.1) is continuous in neighbourhood (A 1), and each
$s$
-characteristic of the solution leaving the boundary line at
$\unicode[STIX]{x1D703}\in (T_{1},T_{2})$
propagates with a constant velocity
in this vicinity.
Let us show that neighbourhood (A 1) contains a curvilinear triangle
limited by the boundary line
$x=a(t)$
, the
$s$
-characteristic leaving the point
$A_{1}=(1,T_{1})$
and the level line
$t=T_{2}$
(triangle
$ABT_{2}$
in figure 2
a). For the inclusion
$\unicode[STIX]{x1D6E5}\subset U_{\unicode[STIX]{x1D6FF}}^{+}$
, it is sufficient to prove that the exact solution is continuous in domain (A 3). As the function
$C(\unicode[STIX]{x1D703})$
at
$\unicode[STIX]{x1D703}\in (T_{1},T_{2})$
is monotonously increasing, the
$s$
-characteristics (A 2) leaving the boundary line at
$\unicode[STIX]{x1D703}\in (T_{1},T_{2})$
eventually converge, forming an
$s$
-compression wave. The evolution of this compression wave leads to a gradient catastrophe, which results in the formation of a shock wave describing the hydraulic bore of a real flow. For the solution continuity in the domain
$\unicode[STIX]{x1D6E5}$
, it is sufficient that the point
$(x_{c},t_{c})$
of this gradient catastrophe lies in figure 2(a) above the level line
$t=T_{2}$
, i.e. that the inequality
is satisfied.
For determining the coordinates of the point
$(x_{c},t_{c})$
, we consider two rectilinear
$s$
-characteristics
leaving the boundary line
$x=a(t)$
in time instants
$\unicode[STIX]{x1D703},\unicode[STIX]{x1D703}_{\unicode[STIX]{x1D70F}}\in [T_{1},T_{2}]$
, where
$\unicode[STIX]{x1D703}_{\unicode[STIX]{x1D70F}}=\unicode[STIX]{x1D703}+\unicode[STIX]{x1D70F}$
. As these characteristics cross at a point with the coordinates
the coordinates of the point
$(x_{c},t_{c})$
are found by the formulas
where
$\unicode[STIX]{x1D703}_{c}\in [T_{1},T_{2}]$
,
Taking into account (6.1), (6.5) and (A 2), we have
As
$\unicode[STIX]{x1D703}_{c}\leqslant T_{2}$
and function (A 10) monotonously decreases, the validity of condition (A 4) follows from the inequalities
The last inequality is equivalent to the condition of existence of solution (6.1). Thus, the continuity of the exact solution in domain (A 3) is proved. As a result, the flow parameters are constant on each
$s$
-characteristic lying in domain (A 3), and the liquid depth (strictly monotonously increasing on the boundary line) satisfies the condition
from which the correctness condition (6.13) follows.
Appendix B. About the well posedness of the solution at
$G>0$
If the boundary line
$x=a(t)$
propagates with the subcritical velocity (8.1), the solution (8.7) known on this line can be unambiguously continued into the external domain
$x>a(t)$
. In particular, it is possible to determine one-sided temporal and spatial derivatives of the functions
$h(x,t)$
and
$u(x,t)$
, for which the following abbreviated notations are used:
Differentiating relations (8.7) with respect to
$t$
at
$x=a(t)+0$
, we obtain
Eliminating the temporal derivatives
$h_{t}^{+}$
and
$u_{t}^{+}$
from system (B 2) by using the first equation of system (4.1) and the differential corollary
of this system, we obtain the following algebraic equations for determining the spatial derivatives:
Solving system (B 4) by Cramer’s rule and taking into account (3.3) and (3.5), we obtain the expressions for the spatial derivatives
where the determinants are calculated by the formulas
From (B 5)–(B 7), taking into account the inequality
$G>0$
, we obtain
which guarantees the well posedness (6.13) of the resultant solution in a certain right neighbourhood
$[a(t),a(t)+\unicode[STIX]{x1D6FF}]$
of the boundary line.
Using formulas (6.9) and (8.1), we obtain
Substituting expression (B 10) in (B 6), we obtain from first (B 5) the following explicit formula for the spatial depth derivative:
Within the framework of the shallow water theory (B 11) defines the angle between the free surface of the liquid and the lower surface of the lifting beam. In particular, if the beam lifts with a constant velocity, we have
In the limiting case
$G\rightarrow 0$
(
$a^{\prime }\rightarrow \unicode[STIX]{x1D706}_{r}$
), when the boundary line propagates along the
$r$
-characteristic, we obtain
In the end of the second stage from (B 12) and (B 13) we have
$h_{x}^{+}(T_{2})=-H^{\prime }(T_{2})/2.$