1 Introduction
An understanding of the hydrostatics of floating bodies is important in a number of practical applications, including the design and optimization of ships (Biran Reference Biran2003), the capillary-driven self-assembly of mesoscale components (Bowden et al.
Reference Bowden, Terfort, Carbeck and Whitesides1997) and the stabilization of emulsions by colloidal particles (Tavacoli et al.
Reference Tavacoli, Katgert, Kim, Cates and Clegg2012). In these examples, the importance of gravitational forces compared to surface tension forces, measured by the Bond number (
$Bo$
), varies qualitatively. In contrast to macroscale floating bodies (
$Bo\gg 1$
), surface tension plays an important role in floating bodies (mesoscale or microscale) with
$Bo\sim 1$
or
$Bo\rightarrow 0$
, which may give rise to a disturbed water surface. The meniscus will add more complexities and new properties to the floating phenomena, which may lead to unexpected behaviours, such as the floatation of relatively dense bodies and multiple equilibrium floating positions (see Vella (Reference Vella2015) for a review).
To understand the floating phenomena, it is necessary to deal with the conditions of equilibria of floating bodies. For macroscale floating bodies, the formulation of the vertical equilibrium of forces is provided by Archimedes’ principle while the horizontal equilibria are not taken into account without the effects of surface tension; the equilibria of moments are determined by the relationship between the centres of gravity and buoyancy (Biran Reference Biran2003). For floating bodies (mesoscale and microscale) under the effects of surface tension, the formulations of equilibria are given by the balance of forces acting on the bodies, including the buoyancy force, the weight force and the capillary force (Bhatnagar & Finn Reference Bhatnagar and Finn2006; Vella, Lee & Kim Reference Vella, Lee and Kim2006); the equilibria can also be determined by the minimization of free energy (Rapacchietta, Neumann & Omenyi Reference Rapacchietta, Neumann and Omenyi1977). Regardless of the position and shape of the contact line, the resultant moment on an isotropic particle with respect to its centre due to surface tension is always equal to zero (Singh & Hesla Reference Singh and Hesla2004).
Regarding the capillary floating problems, the calculations of the forces exerted on floating bodies require the shape of the deformed meniscus, which can be determined by solving the Young–Laplace equation with Young’s relation as the boundary condition. However, the Young–Laplace equation can only be solved for the problems with axial symmetry (Concus Reference Concus1968; Padday Reference Padday1971; Majumdar & Michael Reference Majumdar and Michael1976) or under the two-dimensional hypothesis (Bhatnagar & Finn Reference Bhatnagar and Finn2016). In these cases, the Young–Laplace equation is expressed as an ordinary differential equation (ODE) retaining its nonlinearity. For the axisymmetric cases, the Young–Laplace equation can be solved numerically or by a perturbation method for its asymptotic solutions, e.g. a meniscus forming in the circular capillary (Concus Reference Concus1968), a pendent drop suspended from a solid surface (Majumdar & Michael Reference Majumdar and Michael1976) and a sessile drop resting on a solid surface (Padday Reference Padday1971). For the two-dimensional cases, the analytic solutions of the Young–Laplace equation can be obtained by direct integration (Miersemann Reference Miersemann2015) or integrating its parametric form (Princen Reference Princen and Matijević1969; Finn Reference Finn2010; Aspley, He & McCuan Reference Aspley, He and McCuan2015; Bhatnagar & Finn Reference Bhatnagar and Finn2016); the solutions can be classified into two families of curves and four barrier curves according to the constant of integration (Bhatnagar & Finn Reference Bhatnagar and Finn2016). The Young–Laplace equation can also be solved with a linearization assumption, valid when the inclination angles of the menisci are small. For multiple-particle configurations, a superposition approximation due to Nicolson (Reference Nicolson1949) is extensively applied for determining the interface around isotropic (Chan, Henry & White Reference Chan, Henry and White1981; Oettel, Dominguez & Dietrich Reference Oettel, Dominguez and Dietrich2005) and anisotropic (Stamou, Duschl & Johannsmann Reference Stamou, Duschl and Johannsmann2000) particles, which may lead to a violation of boundary conditions at small distance between particles. In two-particle configurations, the bipolar coordinates can be introduced for transforming the linearized Young–Laplace equation, where boundary conditions are imposed correctly (Kralchevsky et al. Reference Kralchevsky, Paunov, Ivanov and Nagayama1992; Paunov et al. Reference Paunov, Kralchevsky, Denkov, Ivanov and Nagayama1992).
In general, it is difficult to calculate the equilibrium configurations of small floating objects on a water surface. This calculation requires that the force balance equations of particles and the Young–Laplace equation for the surrounding menisci are solved simultaneously. This means that the menisci and the forces exerted on the particles affect each other. An alternative for determining the equilibrium configurations of the particles is to find the configurations (the stable equilibria) with minimum energy (Soligno, Dijkstra & Van Roij Reference Soligno, Dijkstra and Van Roij2016). Numerical techniques employed for minimizing energy are, e.g. a gradient descent method (Brakke Reference Brakke1992), and a simulated annealing algorithm (Soligno, Dijkstra & Van Roij Reference Soligno, Dijkstra and Van Roij2014). It is well known that the menisci minimizing energy are the stable equilibria while the solutions of the Young–Laplace equation are the equilibria (stable or unstable) of menisci. In contrast to the use of theoretical methods to solve the Young–Laplace equation, numerical iteration techniques to evolve energy are applicable in most cases; however, the numerical iteration techniques cannot be used to obtain any formulae for explanations, which may lead to a concealment of some of the remarkable properties of floatation. For example, the variational formula for the floating bodies in an unbounded (Bhatnagar & Finn Reference Bhatnagar and Finn2006) or bounded (Treinen Reference Treinen2016) fluid finds two possible equilibrium floating positions and predicts their stabilities by the variational method.
As already mentioned, a number of studies have dealt with the equilibrium configurations of floating bodies. Those studies can be divided into two groups according to the method of stability analysis, including the minimization of energy (Soligno et al. Reference Soligno, Dijkstra and Van Roij2016) and the second variation of energy (Bhatnagar & Finn Reference Bhatnagar and Finn2006). The first group finds the local energy minima by plotting the total free energy as a function of the orientation of the particle. The reason why the position of the particle is not considered can be explained by the fact that the position of the particle in general is unique for the configuration of minimal energy (if it exists) with a fixed particle orientation. By contrast, the second group calculates all of the equilibrium configurations by using the mechanical equilibrium conditions (derived from the first variation of energy) and then investigates their stabilities according to the second variation of energy. In all of these studies, there is more than one equilibrium configuration, where the unstable equilibria are neglected in the first group. For instance, there are at least four distinct equilibrium orientations satisfying Young’s relation for a two-dimensional convex particle at a planar interface without gravity; half of them are stable, where the stabilities depend on the orientation, the geometry and the contact angle of the particle (Raphaël et al. Reference Raphaël, Di Meglio, Berger and Calabi1992). For the case only affected by gravity, the stability of a floating body is determined by its orientation, geometry and distribution of mass, measured by the metacentric height (Biran Reference Biran2003). It is noted that surface tension and gravity affect the stability of floating bodies in a different way. For example, a body in two dimensions only under the effects of surface tension cannot float in a stable equilibrium with the liquid interface intersecting the interior of a straight side at a single point (Kemp & Siegel Reference Kemp and Siegel2011), while the restriction just described is inappropriate for macroscale floating bodies. To the best of our knowledge, the effects of both surface tension and gravity on the equilibria and their stabilities of a floating body with an arbitrary cross-section have not been studied previously.
In this paper, a mathematical model that considers the effects of gravity and surface tension is proposed to calculate the resultant force and moment of a floating body with an arbitrary cross-section and to determine their stabilities by the first derivatives of force and moment. The mathematical model is based on a force decomposition different from Keller (Reference Keller1998). Three types of cross-section are calculated by using the model to determine the vertical and rotational equilibria and their stabilities. Then the study is extended to investigate the surface tension effects on the vertical and rotational stabilities by varying the following parameters: the radii of curvature of the solid surface at the contact lines and the size of the floating body.

Figure 1. Schematics of a cylinder with an arbitrary cross-section lying on a surface: (a) the real force conditions, (b) the equivalent force conditions of the cylinder and (c) the geometric relations at the left contact point. The position vectors of the left and right contact points are denoted by
$\boldsymbol{r}_{l}$
and
$\boldsymbol{r}_{r}$
, respectively. The line pressure
$p_{c}$
is exerted on the straight line
$L_{c}$
between the contact points. The orthonormal basis vectors
$\boldsymbol{e}_{i}$
,
$\boldsymbol{e}_{j}$
and
$\boldsymbol{e}_{k}$
define a Cartesian coordinate system. The origin can be any point on the undisturbed water line, where
$(x,y,z)$
are the Cartesian coordinates.
2 Model
Consider a long cylinder with an arbitrary convex cross-section floating horizontally on the surface of an unbound liquid in a downward gravity field, as depicted in figure 1. Physically, the equilibrium of the cylinder is supported by the pressure force
$\boldsymbol{P}$
due to hydrostatic pressure
$p$
and the surface tension forces
$\boldsymbol{f}_{t}^{l}$
and
$\boldsymbol{f}_{t}^{r}$
at the contact points (contact lines in three dimensions), as shown in figure 1(a). However, the pressure force
$\boldsymbol{P}$
in general is difficult to calculate due to the geometry of the solid. By means of the Green formula, the integral over the wetted surface
$S_{w}$
of the solid is transformed to the buoyancy
$\boldsymbol{B}$
(analogous to the buoyancy in Archimedes’ principle) and the integral over the straight dashed line (see figure 1
b), while the calculation of the pressure force
$\boldsymbol{P}$
is different from that in previous studies (see Mansfield, Sepangi & Eastwood (Reference Mansfield, Sepangi and Eastwood1997), Keller (Reference Keller1998)). The application of the Green formula leads to a considerable simplification of the problem. A mathematical model for the conditions of equilibria and stabilities of the cylinder is presented, based on four forces, including the weight force
$\boldsymbol{G}$
, the surface tension forces
$\boldsymbol{f}_{t}^{l}$
and
$\boldsymbol{f}_{t}^{r}$
, the buoyancy
$\boldsymbol{B}$
and the compensating pressure force
$\boldsymbol{f}_{p}$
due to line pressure
$p_{c}$
, see figure 1(b). The line pressure
$p_{c}$
is the fictitious pressure exerted on the straight line
$L_{c}$
between the contact points, which is deduced from the application of the Green formula on the pressure force
$\boldsymbol{P}$
.
The model derivation is based on the following assumptions.
(i) The cylinder is long enough for the three-dimensional end effect to be negligible, i.e. all quantities and calculations are two-dimensional.
(ii) The cylinder surface is ideally smooth and has a constant contact angle
$\unicode[STIX]{x1D703}$ so that contact angle hysteresis is not considered. The cylinder can have finitely many sharp edges.
(iii) The cross-section is convex so that the meniscus (if it exists) can be uniquely determined by the contact angle and the position and orientation of the cylinder. The uniqueness argument is provided in appendix A.
2.1 Geometric constraints
In two dimensions, as the liquid surface is in equilibrium, the menisci at the two sides of the cylinder can be expressed as (Bhatnagar & Finn Reference Bhatnagar and Finn2016)

where
$u$
is the height of the meniscus,
$\unicode[STIX]{x1D713}$
is the inclination angle of the meniscus and
$\unicode[STIX]{x1D705}=\unicode[STIX]{x1D70C}g/\unicode[STIX]{x1D70E}$
is the capillary constant, with the density difference
$\unicode[STIX]{x1D70C}$
(positive) between gas and liquid, the gravitational acceleration
$g$
and the surface tension
$\unicode[STIX]{x1D70E}$
of the interface. Equation (2.1) can be obtained by integrating the parametric form of the Young–Laplace equation in two dimensions (which gives a conserved quantity
$C=\unicode[STIX]{x1D705}u^{2}/2+\cos \unicode[STIX]{x1D713}$
) and then determining
$C=1$
from the condition at infinity (Princen Reference Princen and Matijević1969; Finn Reference Finn2010; Aspley et al.
Reference Aspley, He and McCuan2015). Since the sign of the height
$u$
is the same as that of the inclination angle
$\unicode[STIX]{x1D713}$
, the expression of the height
$u$
can be given by transforming (2.1)

To omit unnecessary details, only the left side of the cylinder is considered, as shown in figure 1(c). The origin is arbitrary on the water line because the system has translation invariance along the
$x$
direction. According to Young’s relation, the geometric relation between the cylinder surface and the meniscus is given by

where the angles
$\unicode[STIX]{x1D719}_{l}=\unicode[STIX]{x03C0}/2-\unicode[STIX]{x1D713}_{l}$
and
$\unicode[STIX]{x1D711}_{l}$
are measured clockwise, with reference to figure 1(c), starting from the horizontal line, to the unit normal vectors
$\boldsymbol{n}_{m}$
and
$\boldsymbol{n}_{s}$
, of the meniscus and the cylinder surface at the left contact point, respectively. The cylinder surface is expressed by the parametric function
$\boldsymbol{r}(t)=[x(t),y(t)]$
, where the parametric expression is the same as that in Kemp & Siegel (Reference Kemp and Siegel2011). Meanwhile, the position and orientation of the cylinder are determined by
$\boldsymbol{r}(t)$
. It is assumed that the parametrization is oriented counterclockwise and the derivative
$\boldsymbol{r}^{\prime }(t)$
is never 0. The position vector of the left contact point is denoted by
$\boldsymbol{r}(t_{l})$
. According to the geometric relation at the left contact point, the parameter
$t_{l}$
and the angles
$\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D713}_{l}$
are related by

where the primes refer to derivatives
$\text{d}/\text{d}t$
with respect to the parameter
$t$
. Since the cross-section is convex, equations (2.2)–(2.4) have a unique solution
$\boldsymbol{r}(t_{l})$
for a specific contact angle
$\unicode[STIX]{x1D703}$
and a specific geometry
$\boldsymbol{r}(t)$
(see appendix A).
For the case of the right side, the equations used to determine
$\boldsymbol{r}(t_{r})$
can be obtained by simply replacing the subscript
$l$
with the subscript
$r$
in (2.2)–(2.4), and modifying (2.4a
) to

The angles
$\unicode[STIX]{x1D719}_{r}$
and
$\unicode[STIX]{x1D711}_{r}$
are measured counterclockwise. The subscript
$l$
means that the quantities are measured at the left contact point while the subscript
$r$
corresponds to the right contact point.
When the contact angle
$\unicode[STIX]{x1D703}$
and the shape of the cross-section are given, the position vectors
$\boldsymbol{r}(t_{l})$
and
$\boldsymbol{r}(t_{r})$
and the corresponding angles
$\unicode[STIX]{x1D711}$
are uniquely determined by the position and orientation of the cylinder. The six quantities
$x_{l}$
,
$x_{r}$
,
$u_{l}$
,
$u_{r}$
,
$\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D711}_{r}$
are called basic geometric quantities in the model, because they can be uniquely determined by the geometric constraints.
2.2 Forces
When the contact points are obtained from the position and orientation of the cylinder, the configuration is determined. The resultant force
$\boldsymbol{f}_{net}$
acting on the cylinder can be given by

The surface tension forces
$\boldsymbol{f}_{t}^{l}$
and
$\boldsymbol{f}_{t}^{r}$
at the left and right contact points are

respectively. The force
$\boldsymbol{P}$
due to the pressure
$p$
can be given by the integral over the wetted cylinder surface
$S_{w}$
:

However, the expression (2.8) is inconvenient to actually apply to calculation. By applying Green’s theorem to (2.8), the force
$\boldsymbol{P}$
can be rewritten as

where
$V_{B}$
denotes the area of the shaded section in figure 1(b) (i.e. the section submerged in the liquid), and
$p_{c}=\unicode[STIX]{x1D70C}gy$
is the compensating pressure on the straight line
$L_{c}$
between the contact points with the unit normal vectors
$\boldsymbol{n}_{c}$
of
$L_{c}$
directed inward toward the shaded section. Equation (2.9) expresses the decomposition of the force
$\boldsymbol{P}$
into the compensating pressure force
$\boldsymbol{f}_{p}$
and the buoyancy force
$\boldsymbol{B}$
, while there is another decomposition of
$\boldsymbol{P}$
adopted in, e.g. Keller (Reference Keller1998). Keller (Reference Keller1998) calculated the pressure force
$\boldsymbol{P}$
by directly integrating
$p$
over the wetted cylinder surface. Results shown that the vertical component of
$\boldsymbol{P}$
is equal to the weight of the liquid that occupies the volume whose boundaries comprise the undisturbed interface, the vertical lines between the contact points and the undisturbed interface and the wetted surface of the cylinder (Keller Reference Keller1998). The two methods of decomposition are equivalent from the point of view of force. The force
$\boldsymbol{f}_{p}$
can be obtained by integrating
$p_{c}\boldsymbol{n}_{c}$
on the line, given by

where the first vector on the right-hand side of (2.10) is equal to the horizontal component of the pressure force provided by Keller (Reference Keller1998).
The horizontal resultant force on the cylinder is the sum of the horizontal components of the forces
$\boldsymbol{f}_{p}$
,
$\boldsymbol{f}_{t}^{l}$
and
$\boldsymbol{f}_{t}^{r}$
:

Using (2.1), it is found that the horizontal force
$f_{net}^{h}$
is always zero, which means that the horizontal equilibrium condition is automatically satisfied. The horizontal resultant force induced by the surface tension imbalance has been investigated by Janssens, Chaurasia & Fried (Reference Janssens, Chaurasia and Fried2017). From (2.6), (2.7) and (2.10), the vertical resultant force,

can be calculated with the position vectors of the contact points
$\boldsymbol{r}(t_{l})=(x_{l},u_{l})$
and
$\boldsymbol{r}(t_{r})=(x_{r},u_{r})$
, and the angles
$\unicode[STIX]{x1D719}_{l}$
and
$\unicode[STIX]{x1D719}_{r}$
, where
$m$
is the mass of the cylinder. As discussed in the previous section, the basic geometric quantities depend only on the position and orientation of the cylinder. Thus, when the contact angle and the shape of the cross-section are given, the resultant force can be calculated from the position and orientation of the cylinder.
2.3 Vertical equilibrium and stability
After determining the relation between the resultant force and the position and orientation of the cylinder, the next step is to find the equilibrium position. However, it is inconvenient to calculate the equilibrium position by solving
$f_{net}^{v}=0$
directly, because the expression for
$V_{B}$
in (2.12) is difficult to determine without a given cross-section. An alternative is to calculate the force variation
$\unicode[STIX]{x1D6FF}f_{net}^{v}$
corresponding to an infinitesimal displacement
$\unicode[STIX]{x1D6FF}h$
in height of the cylinder with a fixed orientation and a given height
$h^{\ast }$
(see figure 2
a), and then to use the function
$\unicode[STIX]{x1D6FF}f_{net}^{v}/\unicode[STIX]{x1D6FF}h$
and the force
$f_{net}^{v}$
given by (2.12) as the ordinary differential equation and the initial condition, respectively, to form an initial value problem (IVP):

where
$h$
denotes the height of the cylinder measured from the undisturbed liquid surface and a dot over a character denotes the derivative of the corresponding displacement. It is noted that all the variations in the model are considered in the context of the principle of virtual work dating back to Bernoulli. The reference point
$p_{h}$
for determining the height
$h$
can be any point, e.g. the centroid of the cross-section. This problem has a unique solution, which means that the vertical force
$f_{net}^{v}$
is entirely determined by the height
$h$
. The vertical equilibria can be obtained from the force profile, and their stabilities can be determined by the derivatives
${\dot{f}}$
, where
${\dot{f}}<0$
and
${\dot{f}}>0$
correspond to stable and unstable equilibria, respectively.

Figure 2. An infinitesimal displacement in
$h$
results in the displacement of the contact points: (a)
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
and
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
for the reference frame fixed in the liquid, and (b)
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{l}$
and
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{r}$
for the reference frame fixed in the solid. The point
$p_{h}$
is the reference point for the height
$h$
. The horizontal thick dot-dash line and the horizontal thin dot-dash line are the water lines before and after the displacement of the cylinder, respectively. The blue thick and red thin dashed lines are the lines
$L_{c}$
before and after the displacement of the cylinder, respectively.
Because the weight force
$\boldsymbol{G}$
is constant, the variation of the net force
$f_{net}^{v}$
is deduced from (2.12) as

The variations
$(\unicode[STIX]{x1D6FF}x_{l},\unicode[STIX]{x1D6FF}u_{l})$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D6FF}V_{B}$
to the first order in
$\unicode[STIX]{x1D6FF}h$
are shown as












Thus, the differential equation
${\dot{f}}$
in (2.13) is related to the eight quantities at the contact points:
$x_{l}$
,
$x_{r}$
,
$u_{l}$
,
$u_{r}$
,
$\unicode[STIX]{x1D711}_{l}$
,
$\unicode[STIX]{x1D711}_{r}$
,
$R_{l}$
and
$R_{r}$
. Accordingly, an IVP in six dimensions is formed to calculate the basic geometric quantities. The radii of curvature
$R_{l}$
and
$R_{r}$
can be determined by the basic geometric quantities and the height
$h$
. The IVP for the basic geometric quantities consists of the system of equations: six ODEs and the corresponding initial conditions. For instance, the ODE for
$x_{l}$
is
${\dot{x}}_{l}=\unicode[STIX]{x1D6FF}x_{l}/\unicode[STIX]{x1D6FF}h$
together with the initial condition
$x_{l}(h^{\ast })=x_{l}^{\ast }$
. By solving the above IVP, the values of the quantities in (2.13) are obtained. Therefore the resultant force profile can be obtained by solving the system of ODEs together with the initial conditions:

where the omissions are the ODEs for the basic geometric quantities not shown and the corresponding initial conditions. A detailed description on the derivations of (2.15a–d ) is provided in appendix B.
In order to validate the model, the force profile of a uniform cylinder floating in an unbounded bath is obtained by using our numerical code. For simplicity, the Euler method is adopted to solve (2.17). The force analysis of this configuration was given by Princen (Reference Princen and Matijević1969), who derived an equilibrium equation for a uniform cylinder floating on a liquid surface. Following Princen (Reference Princen and Matijević1969), Rapacchietta et al. (Reference Rapacchietta, Neumann and Omenyi1977) developed a non-equilibrium model and provided the analytical expression of the resultant forces exerted on a uniform cylinder. The numerical result in this paper is compared to the analytical expression presented by Rapacchietta et al. (Reference Rapacchietta, Neumann and Omenyi1977). The resultant force exerted on the uniform cylinder is given by

where
$r$
denotes the radius of the cylinder.
Figure 3(a) compares the numerical result to the analytical solution of Rapacchietta et al. (Reference Rapacchietta, Neumann and Omenyi1977) for a uniform cylinder. The inset shows the relative error of the numerical simulation. An excellent agreement is found, demonstrating the validity of our numerical code for the force profile of the cylinder. We assume that all configurations are in equilibrium, i.e. the mass of the cylinder is given as a function of the position of the cylinder to counteract the other forces. During the numerical simulation, the stability in the vertical direction can easily be obtained from the first derivative of the force, as shown in figure 3(b). A theoretical stability analysis for this case was conducted by Bhatnagar & Finn (Reference Bhatnagar and Finn2006), who solved an eigenvalue problem associated with the second variation of energy to predict the vertical stability of the cylinder. Following the approach of Bhatnagar & Finn (Reference Bhatnagar and Finn2006) with some modifications, Chen & Siegel (Reference Chen and Siegel2018) predicted the vertical stability by using the relation between the total energy and the resultant force.
In the mathematical model, the variation of the resultant force is described as a function of the basic geometric quantities and their variations, transforming a number of irrelevant and repetitive problems of solving the resultant force in one problem similar to the IVP. The advantages of this model are that it avoids repetition of § 2.1 for determining the configurations in which the menisci satisfy the Young–Laplace equation with Young’s relation, and transforms the change of the configuration to the variations of the basic geometric quantities:
$\unicode[STIX]{x1D6FF}x_{l}$
,
$\unicode[STIX]{x1D6FF}x_{r}$
,
$\unicode[STIX]{x1D6FF}u_{l}$
,
$\unicode[STIX]{x1D6FF}u_{r}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
. Thus, the complex configurations can be obtained by integrating a simple configuration. For instance, the cylinder floating in an infinite bath without gravity (see Kemp & Siegel (Reference Kemp and Siegel2011)) can be used as the initial configuration in the model. The simulations for other cases are shown in § 3.

Figure 3. (a) Comparison between the numerical result and the analytical solution in Rapacchietta et al. (Reference Rapacchietta, Neumann and Omenyi1977). The following values of parameters are used:
$r=1.5~\text{mm}$
,
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/2$
,
$\unicode[STIX]{x1D70E}=0.072~\text{N}~\text{m}^{-1}$
,
$g=9.81~\text{m}~\text{s}^{-2}$
,
$\unicode[STIX]{x1D70C}=1000~\text{kg}~\text{m}^{-3}$
,
$m=\unicode[STIX]{x1D70C}\unicode[STIX]{x03C0}r^{2}/2$
and
$\unicode[STIX]{x1D6FF}h=-\text{3.75}\times 10^{-7}~\text{m}$
. In the following calculations, the values of
$\unicode[STIX]{x1D70C}$
,
$g$
and
$\unicode[STIX]{x1D70E}$
remain constant. The inset shows the relative error of the numerical simulation. (b) The first derivative of force indicates the stability of the cylinder, where A is a stable point, C is an unstable point and B is the turning point. The typical configurations are presented, where the red curves are menisci, the circles are cylinders and the dot-dash lines are water lines.
2.4 Rotational equilibrium and stability
When a vertical equilibrium is achieved, the forces with a resultant moment on the cylinder form a couple, which has the same moment
$\boldsymbol{M}$
about all points. Thus, the reference point of the resultant moment can be any point. Selecting the origin 0 as the reference point, the moment can be given by

where
$\boldsymbol{r}_{p}$
,
$\boldsymbol{r}_{B}$
and
$\boldsymbol{r}_{G}$
denote the position vectors of
$\boldsymbol{f}_{p}$
,
$\boldsymbol{B}$
and
$\boldsymbol{G}$
, respectively. The position vector
$\boldsymbol{r}_{p}$
depends on the two vectors
$\boldsymbol{r}_{l}$
and
$\boldsymbol{r}_{r}$
as:

where

We suppose that the shaded area
$V_{B}$
, the mass
$m$
and their centres
$\boldsymbol{r}_{B}$
and
$\boldsymbol{r}_{G}$
in figure 1(b) have been determined from the cross-section and the contact points
$\boldsymbol{r}_{l}$
and
$\boldsymbol{r}_{r}$
. The moment
$\boldsymbol{M}$
can be calculated by (2.19).

Figure 4. An infinitesimal rotation
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
results in the displacement of the contact points: (a)
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
and
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
for the reference frame fixed in the liquid, and (b)
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{l}$
and
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{r}$
for the reference frame fixed in the solid. The point
$p_{ro}$
is the instantaneous centre of rotation. The inclined black thin dot-dash line in (b) is the water line after the rotation
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
. The blue thick and red thin dashed lines are the lines
$L_{c}$
before and after the rotation of the cylinder, respectively.
To deal with the rotational equilibria, we will use an analogous approach to § 2.3 to obtain the moment profile
$\boldsymbol{M}(\unicode[STIX]{x1D700})$
. By rotating the cylinder counterclockwise around the point
$p_{ro}$
by an infinitesimally small angle
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
(see figure 4
a), the change in the moment can be divided into four parts:

where




Utilizing the same method as in § 2.3, an IVP to calculate the resultant moment
$\boldsymbol{M}$
is formed as follows:

where
$M$
is the scalar projection of
$\boldsymbol{M}$
in the direction of the
$z$
axis, and the subscript
$in$
denotes the initial condition. For simplicity, the resultant moment refers to its vector projection
$M$
, because the other scalar projections are zero. The rotational equilibria can be obtained from the moment profile, and their stabilities can be determined by the derivatives
${\dot{M}}$
, where
${\dot{M}}<0$
and
${\dot{M}}>0$
correspond to stable and unstable equilibria, respectively.
To keep the resultant moment
$M$
about any reference point constant, the force variation
$\unicode[STIX]{x1D6FF}f_{net}^{v}$
corresponding to the infinitesimal displacement
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
must be
$o(\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700})$
during rotation. From (2.14), the variation
$\unicode[STIX]{x1D6FF}f_{net}^{v}$
can be expressed in terms of the variations
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
,
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
and
$\unicode[STIX]{x1D6FF}V_{B}$
, which are linearly related to the rotational displacement
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
:















Substituting in (2.14) for the variations of the basic geometric quantities and the area
$\unicode[STIX]{x1D6FF}V_{B}$
given by (2.25a–d
) and (2.26a,b
), a straightforward but tedious calculation gives

where



From the solution (2.27) of
$\unicode[STIX]{x1D6FF}f_{net}^{v}=0$
, it is found that the height
$u_{ro}$
of the rotation centre
$p_{ro}$
has no effect on the balance of the vertical force which accounts for the first-order accuracy in
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
in the model. Under this condition, the height
$u_{ro}$
only leads to the horizontal displacement of the cylinder. For the same reason,
$u_{ro}$
has no effect on the moment
$M$
and its variation
$\unicode[STIX]{x1D6FF}M$
, and then
$u_{ro}$
could be given as zero for the following calculations.
After determining the instant rotation centre
$(x_{ro},u_{ro})$
, the basic geometric quantities can be obtained by integrating the initial conditions, where the numerical methods used are the same as those in § 2.3.
Referring to (2.22), the variation
$\unicode[STIX]{x1D6FF}M$
consists of
$\unicode[STIX]{x1D6FF}M_{t}$
,
$\unicode[STIX]{x1D6FF}M_{p}$
,
$\unicode[STIX]{x1D6FF}M_{B}$
and
$\unicode[STIX]{x1D6FF}M_{G}$
, which can be respectively given by:














where



Similar to the model for the vertical displacement, the variations of all quantities are expressed to the first order of
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
, and then the IVPs are formed to calculate the corresponding quantities. Before constructing the IVPs, the instant rotation centre
$p_{ro}$
is determined by (2.27) to keep the vertical equilibrium of the cylinder. So, the moment will not change with the location of the reference point of moment. For the initial conditions, the quantities for determining the initial configuration need to be given, including
$\boldsymbol{r}_{l}$
,
$\boldsymbol{r}_{r}$
,
$\boldsymbol{r}_{B}$
,
$\boldsymbol{r}_{G}$
,
$\unicode[STIX]{x1D711}_{l}$
,
$\unicode[STIX]{x1D711}_{r}$
and
$V_{B}$
. These quantities can be used to determine the resultant moment
$M$
and the radii of the curvature
$R_{l}$
and
$R_{r}$
.
In the model, the calculation of the resultant moment
$M$
can be performed in four steps. First, an IVP is formed by (2.25a–c
) and (2.26a,b
) with initial conditions and then is solved for calculating the basic geometric quantities in the process of rotation. Second, the area
$V_{B}$
is calculated by integrating (2.25d
) in the same way. Then the vector positions
$\boldsymbol{r}_{B}$
and
$\boldsymbol{r}_{G}$
are determined by solving the two systems of ODEs (2.30) and (2.31) with initial conditions. Finally, the differential function
${\dot{M}}$
is obtained by substituting equations (2.29a–d
) into (2.24) and then is solved for determining the rotational equilibria and their stabilities. The derivations of the variations
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
,
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
,
$\unicode[STIX]{x1D6FF}V_{B}$
and
$\unicode[STIX]{x1D6FF}M$
are provided in appendix C. Analogous expressions of
${\dot{f}}$
and
${\dot{M}}$
for axisymmetric floating bodies have been obtained by Huh & Mason (Reference Huh and Mason1974). However, the derivative
${\dot{M}}$
cannot be used to calculate
$M$
.
3 Results and discussion
In this section, cylinders with several cross-sections are investigated using our model for the vertical and rotational equilibria and their stabilities. Then the surface tension effects on the vertical and rotational stabilities are investigated by varying the following parameters: the radii of curvature of the solid surface at contact points and the size of floating body.
3.1 Cylinders of different cross-section shapes
3.1.1 Ellipse
The elliptical cross-section shape is expressed as the parametric equation

with
$a,b>0$
. The parametric equation can determine the initial conditions with a specified contact angle
$\unicode[STIX]{x1D703}$
. To simplify the problem, configurations without gravity are used as the initial conditions in the model, where the menisci around the cylinder are flat. To keep the menisci flat, the height
$h^{\ast }$
and the contact angle
$\unicode[STIX]{x1D703}$
satisfy the relation:

The height
$h^{\ast }$
can be obtained by solving equation (3.2). As presented in § 2.3, the basic geometric quantities are used as the initial conditions in the model of the vertical displacement, which are expressed in terms of the parameters
$h^{\ast }$
and
$\unicode[STIX]{x1D703}$
:

Then configurations varying with
$h$
can be obtained by solving the model.
In our model, the radii of curvature are the only parameters directly related to the shape of cross-section. After determining the radii of curvature corresponding to different cross-sections, the corresponding configurations can be calculated. For elliptical cross-sections, the radii of curvature are determined by:

where

with

for the vertical displacement and

for the rotational displacement, where the bar over the character designates the quantity measured on the reference frame of the cylinder before rotation. For simplicity, the contact angles and the resultant forces of the initial configurations are given by
$\unicode[STIX]{x03C0}/2$
and 0 for the cases regarding the vertical and rotational displacements, respectively.
Figure 5(a) shows the resultant forces varying with
$h$
, where the areas of the cross-sections are identical to each other. Results show the higher the ratio
$\unicode[STIX]{x1D706}=a/b$
, the greater the maximum resultant force (see the insets A–E) and the lower the height of the corresponding position, which are the same as the results in Liu, Feng & Wang (Reference Liu, Feng and Wang2007). The maximum resultant forces correspond to the second-order condition
$\unicode[STIX]{x1D6FF}f_{net}^{v}/\unicode[STIX]{x1D6FF}h=0$
for stability. In our model the vertical stability can be obtained directly from (2.13) without plotting the force profile.
For the rotational displacement, the buoyancy, the weight force and their position vectors are needed for the initial conditions:

To keep the vertical force balance of the floating cylinder, the rotation centre is calculated by (2.27). In these cases, the contact angles are
$\unicode[STIX]{x03C0}/2$
, leading to the central symmetry of the configurations. Thus the rotation centres are fixed at
$\mathbf{0}$
during rotation.
In figure 5(b), the moments of the four ellipses with different values of
$\unicode[STIX]{x1D706}$
are calculated by using our model. The areas of the cross-sections are identical to each other. The cases of
$\unicode[STIX]{x1D706}$
and
$1/\unicode[STIX]{x1D706}$
are equivalent to each other. There are two rotational equilibria for
$\unicode[STIX]{x1D700}\in [0,\unicode[STIX]{x03C0}/2]$
, where one equilibrium (
$\unicode[STIX]{x1D700}=0$
) is unstable and the other (
$\unicode[STIX]{x1D700}=\unicode[STIX]{x03C0}/2$
) is stable. The configurations with the maximum resultant moment are shown by the insets F–I. A similar configuration (spheroid) has been investigated theoretically by Huh & Mason (Reference Huh and Mason1974), and results show a prolate spheroid is rotationally stable whereas an oblate spheroid is unstable. This conclusion for the axisymmetric cases is still consistent with the two-dimensional cases. It can be conjectured that the rotational stability is closely related to the radii of curvature. In § 3.2, the effect of the radii of curvature
$R_{l}$
and
$R_{r}$
on the vertical and rotational stabilities will be studied.

Figure 5. (a) The resultant forces exerted on the cylinders varying with the height
$h$
and (b) the resultant moments exerted on the cylinders varying with the inclination angle
$\unicode[STIX]{x1D700}$
. The following values of parameters are used:
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/2$
and
$ab=(1.5~\text{mm})^{2}$
. It is assumed that the cylinders are in equilibrium (vertical and rotational), and then the solid lines correspond to the stable equilibria while the dashed lines correspond to the unstable equilibria. The insets refer to the configurations of different values of
$\unicode[STIX]{x1D706}$
: A, B, C, D and E correspond to
$\unicode[STIX]{x1D706}=3$
, 2, 1,
$1/2$
and
$1/3$
for vertical translation and F, G, H and I correspond to
$\unicode[STIX]{x1D706}=1/1.5$
,
$1/2$
,
$1/2.5$
and
$1/3$
for rotation, respectively.
3.1.2 Rectangle
Compared to the ellipse, the rectangular cross-section contains four sharp edges, which may lead to the pinning of contact point at the sharp edge, known as the Gibbs inequality condition (Princen Reference Princen and Matijević1969; Oliver, Huh & Mason Reference Oliver, Huh and Mason1977). In this section, rectangular cross-sections are taken as examples to study the edge effect on the vertical and rotational stabilities.
When the contact points lie on the straight line, the polar angles of
$\bar{\boldsymbol{r}}_{l}$
and
$\bar{\boldsymbol{r}}_{r}$
can be used to determine
$R_{l}$
and
$R_{r}$
(see figure 6
a),

respectively. However, when the contact points are pinned at the sharp edges, the values of
$R_{l}$
and
$R_{r}$
are uncertain. As discussed in Oliver et al. (Reference Oliver, Huh and Mason1977), the sharp edge can be considered as a continuous surface without singularities, which is rounded with
$R_{0}\rightarrow 0$
, so that the contact angle remains constant. We suppose that the right contact point is pinned at the sharp edge (see figure 6
b). When the contact point crosses the edge, the angle
$\bar{\unicode[STIX]{x1D711}}_{r}$
increases by the angle
$\unicode[STIX]{x03C0}-\unicode[STIX]{x1D6FC}$
. The angle
$\bar{\unicode[STIX]{x1D711}}_{r}$
before reaching the edge is denoted by
$\bar{\unicode[STIX]{x1D711}}_{r}^{\ast }$
, and therefore the radius of curvature at the right contact point is given by

The case on the left side is the same as that on the right side.

Figure 6. Schematics of (a) the rectangular cross-section and (b) the sharp corner with
$\unicode[STIX]{x1D6FC}=\unicode[STIX]{x03C0}/2$
.
In the case, the initial conditions are given by

and

Then the resultant force of the initial configuration can be calculated by (2.12).

Figure 7. (a) The resultant force profiles for squares (
$\unicode[STIX]{x1D70C}_{s}=0.5\unicode[STIX]{x1D70C}$
) with different contact angles, and the resultant moment profiles for (b) the squares and (c) the rectangles (
$\unicode[STIX]{x1D706}=0.4$
and
$\unicode[STIX]{x1D70C}_{s}=0.5\unicode[STIX]{x1D70C}$
) with different contact angles. There are three stages for the vertical displacement denoted by the Roman numerals in (a), where the insets denote the configurations that can bear the maximum force: A, B and C corresponding to
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/3$
,
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/2$
and
$\unicode[STIX]{x1D703}=2\unicode[STIX]{x03C0}/3$
, respectively. In (b) and (c), five typical configurations for rotational displacement are shown by the insets, where the circles denote centroids, the red lines denote the menisci and the dot-dash lines denote the water lines. All the rectangles have an area of
$100~\text{mm}^{2}$
.
Figure 7(a) shows the resultant forces acting on the squares varying with the height
$h$
, which is measured from the water line to the centroids of the squares. The squares (
$\unicode[STIX]{x1D706}=1$
) are selected because the ratio
$\unicode[STIX]{x1D706}=a/b$
has no qualitative effect on the force profiles. The movements of the squares into water can be divided into three stages (denoted by the Roman numerals in figure 7
a) due to the edge effect. Before the pinning of the contact points, the force profiles are straight lines similar to those without surface tension, because the surface tension forces remain constant in the first stage. When the contact points are attached to the edges, the force profiles are steeper than those of the first stage. Between the first and second stages, the non-smoothness of the force profiles is caused by the discontinuities of
$\unicode[STIX]{x1D6FF}f_{t}^{l}$
and
$\unicode[STIX]{x1D6FF}f_{t}^{r}$
, leading to the increases of the vertical stabilities. In the last stage, the squares reach the maximum depth (see the insets A, B and C), and at the same time the forces decrease dramatically due to the closure of menisci. Force profiles of the squares of the same size are shown for different contact angles. It is shown that the square with greater contact angle can reach a larger depth and bear a bigger pressing force. However, in the second stage all the squares have the same forces at the same depth regardless of the values of the contact angles due to the edge effect.
For the rotational displacement, the force balance conditions must be fulfilled for the initial configuration, which can be easily determined for the upright rectangle. The buoyancy and weight force and their position vectors can be obtained from the initial configuration. Figure 7(b) shows the moments varying with the angle
$\unicode[STIX]{x1D700}$
for a set of squares of the same size with different contact angles and densities. In the range
$\unicode[STIX]{x1D700}\in [0,\unicode[STIX]{x03C0}/4]$
, there are at least two rotational equilibria, corresponding to
$\unicode[STIX]{x1D700}=0$
and
$\unicode[STIX]{x1D700}=\unicode[STIX]{x03C0}/4$
, respectively. In the absence of gravity, the stable equilibria for a square exist only when the contact points are pinned at the corners (Kemp & Siegel Reference Kemp and Siegel2011), implying that the pinned menisci stabilize the square. This result is analogous to figure 7(b). Generally, there are five configurations of a rectangle that achieve force balance (see figure 7
b,c): (i) two contact points lie on the two opposing straight lines; (ii) one contact point is pinned while the other lies on the opposing straight line; (iii) two contact points are pinned at the two opposing straight corners; (iv) two contact points lie on the two adjacent lines; (v) two contact points are pinned at the two neighbouring corners. The derivative of the moment can be used to measure the rotational stability, where the derivative profile is discontinuous between the two stages. It is shown that the configuration with more pinned contact points is more stable. The change from one configuration to another is controlled by many factors, e.g. the ratio of the rectangle, the contact angle, etc. Thus there are many different moment profiles, as shown in figure 7(b,c). In figure 7(c), results for the rectangles with the ratio
$\unicode[STIX]{x1D706}\neq 1$
are presented, indicating that the ratio
$\unicode[STIX]{x1D706}$
also has an effect on the rotational equilibria and their stabilities. Results of the rotational displacement for
$\unicode[STIX]{x1D700}\in [0,\unicode[STIX]{x03C0}/2]$
are listed in table 1. All of the five typical configurations that achieve force balance are obtained, however not all the typical moment profiles are presented here. The number of equilibria and their stabilities will change with the change of parameters, indicating the bifurcation of the system, which is similar to the result in Zhou & Zhang (Reference Zhou and Zhang2017). It is noted that the type of configuration has an important effect on its rotational stability. The detailed analysis of the cause of the various results is beyond the scope of the present paper.

Figure 8. Schematic of the selected cross-section with
$\unicode[STIX]{x1D6FC}_{1}=\unicode[STIX]{x03C0}/2$
and
$\unicode[STIX]{x1D6FC}_{2}=\unicode[STIX]{x03C0}/4$
.
Table 1. Numerical results for the rotations of the rectangles in figure 7(b,c).

3.1.3 Selected shape
In this section, the configuration of a selected shape (see figure 8) is calculated to illustrate that our model is suitable for arbitrary convex shapes. The selected shape consists of three smooth segments (,
and
), which can be expressed as follows:

According to the previous process of calculations, the initial configuration needs to be given first. For the vertical displacement, the initial conditions include six basic geometric quantities, which can be obtained by solving (2.2), (2.3) and (2.4a,b ) with (3.12). Then the vertical resultant force can be calculated. For the rotational displacement, the initial conditions include not only the basic geometric quantities, but also the quantities that cannot be determined by the basic geometric quantities: the buoyancy, the weight force and their position vectors. It should be noted that the force balance conditions must be fulfilled for this initial configuration. For the configurations of force balance that are not easy to determine, the numerical results that are obtained by using the model of vertical displacement can be used as the initial conditions. The basic geometric quantities, the resultant forces and the resultant moments for the initial configurations are listed in table 2.
Table 2. Initial conditions in the models of vertical and rotational displacements. The density of the selected cross-section is given by
$\unicode[STIX]{x1D70C}_{s}=0.5\unicode[STIX]{x1D70C}$
. The contact angle is given by
$\unicode[STIX]{x1D703}=2\unicode[STIX]{x03C0}/3$
.

Referring to figure 8, this cross-section contains two sharp edges, so that the radii of curvature should be determined by a method analogous to that for the rectangles. For example, when the right contact point crosses the edge
$C$
,
$R_{r}$
can be given by

where
$\bar{\unicode[STIX]{x1D711}}_{r}^{\ast }=-\text{arctan}0.5$
and
$\unicode[STIX]{x1D6FC}_{2}=\unicode[STIX]{x03C0}/4$
. When the right contact point is on the interior of curve,
$R_{r}$
can also be easily determined by
$t_{r}$
. The case on the left side is the same as that on the right side.

Figure 9. (a) The profiles of the resultant force and its derivative for the vertical displacement, and (b) the profiles of the resultant moment and its derivative for the rotational displacement. The thick lines in (a) and (b) denote the force and the moment, respectively, and the thin lines denote their derivatives. There are four equilibria in (b):
$\unicode[STIX]{x1D700}=10.97^{\circ }$
for A,
$\unicode[STIX]{x1D700}=45.43^{\circ }$
for B,
$\unicode[STIX]{x1D700}=163.95^{\circ }$
for C and
$\unicode[STIX]{x1D700}=215.73^{\circ }$
for D.
In figure 9(a), the force profile and its first derivative are presented. The progress can be divided into four stages, which are clearly shown by the discontinuities of the first derivative
${\dot{f}}$
. Referring to (2.14), the derivative
${\dot{f}}$
is determined by the basic geometric quantities and the radii of curvature, and the position vectors are continuous. Thus the jump or drop of
${\dot{f}}$
between two stages is closely related to the sudden change of the radius of the curvature. The vertical equilibrium is used as the initial conditions for the rotation (see table 2). The rotation process is more complex. The moment
$M$
and its derivative
${\dot{M}}$
are divided into eleven stages, as shown in figure 9(b). Because the rotation is periodic with period
$2\unicode[STIX]{x03C0}$
, there are only ten stages for this rotation. The transition between two stages occurs when the contact point crosses the point (A, B or C). The points A and C are sharp edges, leading to two discontinuities of the radius of curvature, while only one discontinuity of the radius of curvature occurs at the point B. The rotational equilibria are also presented. The equilibria A and C are stable, and the equilibria B and D are unstable, where their stabilities are inferred from their derivatives
${\dot{M}}$
. For the vertical and rotational displacements, the transitions between different stages can be viewed in supplementary movies 1 and 2, respectively (available at https://doi.org/10.1017/jfm.2018.323).
3.2 Surface tension effects
In this section, the surface tension effects on the vertical and rotational stabilities are investigated by using our model. As mentioned in previous sections, the configuration can be expressed by several quantities. Thus the surface tension effects can be studied by changing the quantities involved in the stability.

Figure 10. Surface tension effects on the vertical stability: (a) the effect of the radii of curvature and (b) the effect of the Bond number. The left inset in (a) shows the left part of the symmetric configuration of the case (i)
$\unicode[STIX]{x1D719}_{l}=\unicode[STIX]{x03C0}/3$
and
$x_{l}=-1.5~\text{mm}$
for (a), while the configuration for (b) corresponds to the case (ii)
$\unicode[STIX]{x1D719}_{l}=\unicode[STIX]{x03C0}/3$
and
$R_{l}=R_{r}=3~\text{mm}$
. Because the floating body is convex,
$\unicode[STIX]{x1D703}\in [0,\unicode[STIX]{x1D719}_{l}+\unicode[STIX]{x03C0}/2]$
for
$\unicode[STIX]{x1D719}_{l}\in [0,\unicode[STIX]{x03C0}/2]$
and
$\unicode[STIX]{x1D703}\in [\unicode[STIX]{x1D719}_{l}-\unicode[STIX]{x03C0}/2,\unicode[STIX]{x03C0}]$
for
$\unicode[STIX]{x1D719}_{l}\in (\unicode[STIX]{x03C0}/2,\unicode[STIX]{x03C0}]$
.
For the vertical displacement, the stabilities can be inferred from the derivative
${\dot{f}}$
:
${\dot{f}}>0$
corresponds to an unstable equilibrium while
${\dot{f}}<0$
corresponds to a stable equilibrium. By substituting equations (2.2), (2.15a–d
) and (2.16) into (2.14), the derivative
${\dot{f}}=\unicode[STIX]{x1D6FF}f_{net}^{v}/\unicode[STIX]{x1D6FF}h$
is given by

where
$D=x_{r}-x_{l}$
denotes the horizontal distance between two contact points. Because there are too many variables involved in
${\dot{f}}$
, only several representative quantities are studied, including the distance
$D$
, the radii of curvature
$R_{l}$
and
$R_{r}$
. It is noted that the first term on the right-hand side of (3.14) is the same as the expression
${\dot{f}}$
for the case without surface tension. Then the surface tension effects on the vertical stability refer to the second term on the right-hand side of (3.14). In the second term, the effects at two contact points are independent and identical to each other, so that only the left side is taken into account.
Figure 10(a) shows the derivative
${\dot{f}}$
varying with the radii of curvature for the symmetric configurations (i.e. the right side is the mirror image of the left side with respect to
$x=0$
) for different contact angles, where
$\unicode[STIX]{x1D719}_{l}$
and
$x_{l}$
remain constant to keep the configuration unchanged (see the left inset). The additional diagrams for the mirror case of the origin configuration with respect to water line can be obtained by substituting
$\unicode[STIX]{x1D703}$
with
$\unicode[STIX]{x03C0}-\unicode[STIX]{x1D703}$
in figure 10(a). Assume without loss of generality that
$\unicode[STIX]{x1D719}_{l}\in [0,\unicode[STIX]{x03C0}/2]$
. It is found that the smaller the radius of curvature, the better the stability of the floating body for
$\unicode[STIX]{x1D703}\neq 0$
. For
$\unicode[STIX]{x1D703}=0$
, equation (3.14) can be reduced to

and therefore the radius of curvature has no effect on the vertical stability of the floating body. For
$\unicode[STIX]{x1D703}\in [0,\unicode[STIX]{x03C0}/2]$
, the vertical stability of floating body becomes better with the decrease of
$\unicode[STIX]{x1D703}$
. For
$\unicode[STIX]{x1D703}\in [\unicode[STIX]{x03C0}/2,\unicode[STIX]{x1D719}_{l}+\unicode[STIX]{x03C0}/2]$
, the vertical stability of floating body with
$R_{l}\geqslant R_{c}$
(see the critical point
$p_{c}$
in the right inset) becomes better with the decrease of
$\unicode[STIX]{x1D703}$
, while the opposite is true for the floating body with
$R_{l}<R_{c}$
. It is also found that from
$R_{l}\sim 10^{-4}$
to
$10^{-1}$
there is a dramatic change in the vertical stability, implying that
$R_{l}>10^{-1}$
and
$R_{l}<10^{-4}$
have pretty much the same effects of
$R_{l}=\infty$
and
$R_{l}=0$
, respectively.
In figure 10(b), the relation between the dimensionless parameters
${\dot{f}}/\unicode[STIX]{x1D70C}gD$
and the Bond number
$Bo=\unicode[STIX]{x1D70C}gD^{2}/\unicode[STIX]{x1D70E}$
is presented. For macroscale bodies (
$Bo\gg 1$
), the influence of surface tension is covered by the influence of gravity (see the horizontal dashed line). For microscale bodies (
$Bo\rightarrow 0$
), only the effects of surface tension exist (see the inclined dashed line). For mesoscale bodies (
$Bo\sim 1$
), the values of
${\dot{f}}$
vary continuously between the above two states, which may lead to the change of stability.

Figure 11. Surface tension effects on the rotational stability: (a) the effect of the radii of curvature and (b) the effect of the Bond number. The inset in (a) shows the configuration of the case (i)
$\unicode[STIX]{x1D70C}_{s}=0.5\unicode[STIX]{x1D70C}$
,
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/2$
,
$\unicode[STIX]{x1D706}=0.5$
and
$a=1.5~\text{mm}$
for (a), while the configuration for (b) corresponds to the case (ii)
$\unicode[STIX]{x1D70C}_{s}=0.5\unicode[STIX]{x1D70C}$
,
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}/2$
,
$\unicode[STIX]{x1D706}=0.5$
and
$R_{l}=R_{r}=\infty$
. The thick dashed lines denote the unstable equilibria while the thick solid lines correspond to the stable equilibria, where the thin vertical dot-dash lines correspond to the critical values
$R_{l}^{c}=1.598~\text{mm}$
and
$Bo_{c}=\text{26.59}$
, respectively. The horizontal dashed line in (a) represents the critical value of
${\dot{M}}$
and the horizontal dashed line in (b) corresponds to the case without the surface tension effects.
For the rotational displacement, a specific equilibrium configuration of the rectangle (see the inset in figure 11
a) is considered to study the effects of surface tension on the rotational stability. It is well known that for a floating body without the surface tension effects the metacentric height (
$\overline{GM}$
) is a measurement of its rotational stability (Biran Reference Biran2003). For a floating body under the surface tension effects, the derivative
${\dot{M}}$
can be used to determine the rotational stability. However, the expression of
${\dot{M}}$
is too complex to write here.
Figure 11(a) shows the derivative
${\dot{M}}$
varying with the radius of curvature
$R_{l}$
for the specific equilibrium configuration (see the inset), where
$R_{l}=R_{r}$
. The radii of curvature
$R_{l}$
and
$R_{r}$
at the contact points are varied artificially. Analogous to the vertical stability, the rotational stability will become better for smaller radii of curvature. Results show that in the range
$R_{l}\sim 10^{-4}$
to
$10^{-1}$
there is a dramatic change in the rotational stability, which is similar to the result of vertical stability, lead to a change in the rotational stability. Figure 11(b) shows the effect of size on the rotational stability. For comparison with the case without surface tension, the dimensionless parameter
${\dot{M}}/\unicode[STIX]{x1D70C}gD^{2}\overline{GM}$
is selected as the ordinate, because
${\dot{M}}=-\unicode[STIX]{x1D70C}gD^{2}\overline{GM}$
for the case without surface tension. The metacentric height is given by

where
$D=2a$
is the characteristic length for the Bond number
$Bo=\unicode[STIX]{x1D70C}gD^{2}/\unicode[STIX]{x1D70E}$
. It is found that when the Bond number is greater than 1000, the system tends towards the case without the surface tension effects. When the Bond number is less than 1, the gravity has no effect on the system.
4 Conclusions
In this paper, a model for calculating the force profile and the moment profile of a cylinder with an arbitrary cross-section is presented. The model first connects the basic geometric quantities and their derivatives to the configuration in which the menisci satisfy the Young–Laplace equation with Young’s relation, and then transforms a number of irrelevant and repetitive problems of solving the resultant force and moment into a series of IVPs. Thus, the complex configurations can be obtained by integrating a simple case. Three different cross-sections are calculated by using the model to determine the vertical and rotational equilibria and their stabilities. Results show that the model can be applied to the convex floating bodies with finitely many sharp edges. In addition, there are some striking phenomena. For instance, the number of equilibria and their stabilities will change with the change of parameters for the cross-section of rectangle, indicating the bifurcation of the system.
The study is then extended to investigate the surface tension effects on the vertical and rotational stabilities in two dimensions by varying the parameters: the radii of curvature and the size of the floating body. For the radii of curvature, in general the smaller the radii of curvature the better the vertical and rotational stabilities. However, for
$\unicode[STIX]{x1D703}=0$
(or
$\unicode[STIX]{x1D703}=\unicode[STIX]{x03C0}$
) the radii of curvature have no effect on the vertical stability of the floating body, referring to (3.15). Results also show in the range
$R_{l}\sim 10^{-4}$
to
$10^{-1}$
there is a dramatic change in the vertical and rotational stabilities, implying that
$R_{l}>10^{-1}$
and
$R_{l}<10^{-4}$
have pretty much the same effects as
$R_{l}=\infty$
and
$R_{l}=0$
, respectively. For macroscale bodies (
$Bo\gg 1$
), the influence of surface tension is covered by the influence of gravity. For microscale bodies (
$Bo\rightarrow 0$
), only the effects of surface tension exist. For mesoscale bodies (
$Bo\sim 1$
), the values of
${\dot{f}}$
and
${\dot{M}}$
vary continuously between the above two states, which may lead to the change of stability.
Acknowledgement
This research was partly supported by the National Natural Science Foundation of China (no. 11672116).
Supplementary movies
Supplementary movies are available at https://doi.org/10.1017/jfm.2018.323.
Appendix A.
Finn (Reference Finn1988) found that an axisymmetric meniscus can be uniquely determined by the contact angle and volume in an axisymmetric container convex to the liquid. Following Finn (Reference Finn1988), we consider a convex cylinder floating on the surface of a liquid with a given contact angle and a given position and orientation. For simplicity, only the configuration on the left side is considered (see figure 1
c). The cylinder surface on the left side can be expressed by the single-valued function
$x=x(y)$
, which is convex leftward. Thus the
$x^{\prime }(y)=\text{d}x/\text{d}y$
derivative is monotonically non-decreasing on that interval. Substituting (2.4a
) into
$x^{\prime }(y)=\text{d}x/\text{d}y$
, it is easy to find that
$\unicode[STIX]{x1D711}_{l}(y)$
is also monotonically non-decreasing. Substituting (2.4b
) into (2.2) and then using the geometric relation (2.3), the meniscus can be found as the solution of equation

where
$\unicode[STIX]{x1D713}_{l}(y)$
is strictly increasing. We assume the existence of the solution of (A 1). Then the solution of (A 1) is uniquely determined, because the function
$\unicode[STIX]{x1D713}_{l}(y)+\unicode[STIX]{x1D711}_{l}(y)$
is strictly increasing. It is noted the condition that the cylinder is convex is sufficient but not necessary for the uniqueness of the meniscus, similar to the condition for the uniqueness of the meniscus in an axisymmetric container presented by Finn (Reference Finn1988).
Appendix B.
An infinitesimal displacement in
$h$
will result in the displacements:
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
,
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
, as shown in figure 2(a). For simplicity, only the case on the left side is considered. From equations (2.2), (2.3) and (2.4a,b
), the variations
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
,
$\unicode[STIX]{x1D6FF}t_{l}$
,
$\unicode[STIX]{x1D6FF}u_{l}$
and
$\unicode[STIX]{x1D6FF}h$
are related by



so that

Because the parametrization of the cylinder is oriented counterclockwise, the signed curvature
$k$
at the left contact point is shown as

From the geometric relation at the left contact point, we have

By substituting equations (B 5) and (B 6) into (B 4), we obtain

From equations (B 1) and (B 7), the variation
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
can also be determined. When the cylinder is considered as the reference frame (see figure 2
b), the variation
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{l}$
is given by

so that
$\unicode[STIX]{x1D6FF}x_{l}$
and
$\unicode[STIX]{x1D6FF}u_{l}$
satisfy the relation

Thus the variation
$\unicode[STIX]{x1D6FF}x_{l}$
is obtained. The derivations for the variations
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
and
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
at the right contact point are similar to those at the left contact point.
For the variation
$\unicode[STIX]{x1D6FF}V_{B}$
, the derivation is based on the selection of the cylinder used as the reference frame. The variation
$\unicode[STIX]{x1D6FF}V_{B}$
to the first order in
$\unicode[STIX]{x1D6FF}h$
is the area of the quadrilateral, where the position vectors of four vertices of the quadrilateral are
$\boldsymbol{r}_{l}$
,
$\boldsymbol{r}_{r}$
,
$\boldsymbol{r}_{r}+\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{r}$
and
$\boldsymbol{r}_{l}+\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{l}$
:

where the quadrilateral ABCD is oriented counterclockwise, so that the vectors
$\boldsymbol{A}\boldsymbol{C}$
and
$\boldsymbol{B}\boldsymbol{D}$
are given by

By substituting (B 11) into (B 10),
$\unicode[STIX]{x1D6FF}V_{B}$
can be expressed in terms of the vectors of the contact points and their variations:

Appendix C.
An infinitesimal rotational displacement
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
of the cylinder will result in the displacements:
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{l}$
,
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
,
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
, as shown in figure 4(a). For simplicity, only the case on the left side is considered. Similar to the derivations in appendix B, the variations
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
and
$\unicode[STIX]{x1D6FF}u_{l}$
still satisfy the relation (B 1). For the rotation, equation (B 2) is modified to

which is established on the surface of the cylinder after rotation (designated by the tildes over characters). Referring to figure 12, the geometric relation gives

For the infinitesimal rotation, the tildes in the non-infinitesimal quantities in (C 1) can be removed. Substituting (C 2) into (C 1), we obtain

For the rotation, equation (B 3) is modified to

Substituting equations (B 5), (B 6), (C 3) and (C 4) into (B 1), we obtain

From equations (B 1) and (C 5), the variation
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{l}$
can also be determined. Considering the cylinder after rotation as a reference frame (see figure 12), the variation
$\unicode[STIX]{x1D6FF}\tilde{\boldsymbol{r}}_{l}$
is given by

so that
$\unicode[STIX]{x1D6FF}x_{l}$
and
$\unicode[STIX]{x1D6FF}u_{l}$
satisfy the relation

Thus the variation
$\unicode[STIX]{x1D6FF}x_{l}$
is obtained. The derivations for the variations
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{r}$
and
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D711}_{r}$
at the right contact point are similar to those at the left contact point.
In the context of rotation, the change of
$V_{B}$
to the first order in
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
, i.e. the quadrilateral ABCD for the variation
$\unicode[STIX]{x1D6FF}V_{B}$
(see figure 12
b), is obtained by replacing the tildes with the bars over the characters in (B 10) and (B 11). The variations
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{l}$
and
$\unicode[STIX]{x1D6FF}\bar{\boldsymbol{r}}_{r}$
are obtained based on the cylinder before rotation chosen as the reference frame, while the variations
$\unicode[STIX]{x1D6FF}\tilde{\boldsymbol{r}}_{l}$
and
$\unicode[STIX]{x1D6FF}\tilde{\boldsymbol{r}}_{r}$
correspond to the cylinder after rotation chosen as the reference frame. The relation of these variations can be described as


Figure 12. (a) The geometric relation between configurations before and after an infinitesimal rotation and (b) the quadrilateral ABCD for determining the variations
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{B}$
and
$\unicode[STIX]{x1D6FF}V_{B}$
.
The variation
$\unicode[STIX]{x1D6FF}M_{t}$
can be obtained by substituting

into (2.23a ). Equation (C 9) is derived from equations (2.7a,b ).
The moment
$M_{p}$
can be expressed as follows:

where
$\boldsymbol{r}_{p}$
and
$\boldsymbol{f}_{p}$
are given by (2.30) and (2.10), respectively. Then, the variation
$\unicode[STIX]{x1D6FF}M_{p}$
can be obtained by calculating the variation of (C 10) and neglecting the higher-order terms
$o(\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700})$
. Then (2.29b
) is derived.
For the variation
$\unicode[STIX]{x1D6FF}M_{B}$
, the variation
$\unicode[STIX]{x1D6FF}\boldsymbol{B}$
in (2.23c
) is given by

The centroid of the buoyancy
$\boldsymbol{r}_{B}$
is given by

Thus, from (C 12) the variation
$\unicode[STIX]{x1D6FF}\tilde{\boldsymbol{r}}_{B}$
is obtained as

where
$\unicode[STIX]{x1D6FF}S_{y}$
and
$\unicode[STIX]{x1D6FF}S_{x}$
are the first moments of area of the quadrilateral ABCD in the
$y$
and
$x$
directions, respectively. They can be given by

where the subscripts
$i$
denote the vertices:
$0,4\rightarrow A$
,
$1\rightarrow B$
,
$2\rightarrow C$
and
$3\rightarrow D$
. Neglecting the higher-order terms,
$\unicode[STIX]{x1D6FF}S_{y}$
and
$\unicode[STIX]{x1D6FF}S_{x}$
can be expressed in terms of the first order in
$\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D700}$
. Considering the water line as the reference frame,
$\unicode[STIX]{x1D6FF}\boldsymbol{r}_{B}$
and
$\unicode[STIX]{x1D6FF}\tilde{\boldsymbol{r}}_{B}$
satisfy the relation:

Substituting (C 11), (C 13) and (C 15) into (2.23c
), the variation
$\unicode[STIX]{x1D6FF}M_{B}$
is obtained.
The variation
$\unicode[STIX]{x1D6FF}M_{G}$
can be easily derived by substituting (2.31) into (2.23d
). Finally the variation
$\unicode[STIX]{x1D6FF}M$
is derived.