1. Introduction
For a standard model of Hele-Shaw flow in a rectilinear channel, consisting of a semi-infinite inviscid fluid region and a semi-infinite viscous fluid region separated by a single interface, the interface exhibits the Saffman–Taylor instability when the inviscid fluid displaces the viscous, and is stable when the viscous fluid displaces the inviscid (Saffman & Taylor Reference Saffman and Taylor1958). In the absence of surface tension, exact solution methods exist that exhibit either finite-time singularity or long-time finger formation (Howison Reference Howison1986a,Reference Howisonb); however, the problem is ill-posed. A regularisation such as surface tension is needed to stabilise sufficiently large-wavenumber perturbations. In the presence of surface tension, solutions generically tend to a linearly stable travelling wave solution known as the Saffman–Taylor finger, although for very small surface tension, finite-amplitude noise in experiments and numerical simulations can lead to tip-splitting (Casademunt Reference Casademunt2004).
The traditional Saffman–Taylor instability is normally studied on the assumption that the viscous fluid region extends infinitely far along the channel, so that there is only a single interface to consider. However, in reality the fluid region will only have finite extent, so that there are in fact two interfaces: one in which the viscous fluid is being displaced by the driving inviscid fluid and one in which the viscous fluid is the one advancing (see figure 1). In this case, the force driving the fluid region is the pressure difference between the two inviscid fluids on either end of the fluid region. In the absence of surface tension, some classes of exact solutions to the two-interface problem have been found through use of special functions, in both channel geometries (Feigenbaum, Procaccia & Davidovich Reference Feigenbaum, Procaccia and Davidovich2001; Crowdy & Tanveer Reference Crowdy and Tanveer2004) as well as annular geometries (Crowdy Reference Crowdy2002; Dallaston & McCue Reference Dallaston and McCue2012). The exact solutions in these studies, however, do not exhibit the interfaces becoming closely separated. Richardson (Reference Richardson1982, Reference Richardson1996) similarly finds exact solutions for two-interface channel flow, some of which exhibit topological changes when two cusps form on different parts of the interface at the same point in space (none of these solutions correspond to the two semi-infinite regions of different pressure meeting, however). Farmer & Howison (Reference Farmer and Howison2006) consider an approximate model where the two interfaces in an unbounded Hele-Shaw cell are very close, resulting in a thin filament of viscous liquid, and construct exact solutions to this approximate model (see § 4.1). All of these zero-surface-tension models are ill-posed.
The two-interface Hele-Shaw model in the limit that the interfaces are close is of great importance as, even if the fluid region is not initially thin, the effect of the Saffman–Taylor instability will result in a thin fluid region or filament developing (see, for example, the experimental results in Ward & White (Reference Ward and White2011), Morrow, De Cock & McCue (Reference Morrow, De Cock and McCue2023) and Cardoso & Woods (Reference Cardoso and Woods1995), although the latter study focuses on a much less viscous thin annular region in a more viscous ambient fluid). This formation of a thin filament precedes the fluid ‘bursting’, at which point the two inviscid regions meet and the pressure rapidly equalises. The breakup of a thin viscous filament in a Hele-Shaw cell (with surface tension but in the absence of a driving pressure difference) has also been examined by the use of the lubrication approximation (Constantin et al. Reference Constantin, Dupont, Goldstein, Kadanoff, Shelley and Zhou1993; Dupont et al. Reference Dupont, Goldstein, Kadanoff and Zhou1993; Goldstein, Pesci & Shelley Reference Goldstein, Pesci and Shelley1993, Reference Goldstein, Pesci and Shelley1995; Almgren Reference Almgren1996; Almgren, Bertozzi & Brenner Reference Almgren, Bertozzi and Brenner1996; Goldstein, Pesci & Shelley Reference Goldstein, Pesci and Shelley1998). The complicated, but self-similar breakup behaviour of the filament in particular (where the filament thickness goes to zero at a finite time and point in space) is detailed in Almgren et al. (Reference Almgren, Bertozzi and Brenner1996).
In this article we consider two-interface Hele-Shaw flow in a channel, including the effects of both driving pressure difference and surface tension, with particular focus on the case in which the fluid interfaces become close together. In § 2 we describe the full two-interface model and its stability. In § 3 we derive a simplified model (the thin-filament approximation) that applies when the two interfaces are close together, by applying the lubrication approximation (up to second order) in a coordinate system following the filament centreline. The application of lubrication theory in an evolving, curvlinear coordinate system is similar to that applied in Van De Fliert, Howell & Ockendon (Reference Van De Fliert, Howell and Ockendon1995) and Howell (Reference Howell2003), although taking such an approximation to higher order is not standard. Our approximation also represents a generalisation of the model by Farmer & Howison (Reference Farmer and Howison2006) by including both the effects of surface tension as well as higher order terms, which include the effect of flow along the filament. In § 4 we demonstrate the importance of including these higher-order terms by showing (both numerically and by constructing similarity solutions) that the leading-order problem generically blows up in finite time, even in the presence of surface tension. We also find quasi-travelling wave solutions, which may be thought of as the analogue of Saffman–Taylor fingers, which generalise the ‘grim reaper’ exact solution found by Farmer & Howison (Reference Farmer and Howison2006). In § 5 we compute numerical solutions of the thin-filament model including the higher-order regularising terms. Solutions of the original two-interface model, found using a level-set method, are seen to approach the thin-filament model results as the resolution of the level-set method is increased. We show the general behaviour of our thin-filament model is not to tend toward a quasi-travelling wave solution, but instead to develop a rapidly expanding ‘bubble’ of circular shape and decreasing thickness.
2. Formulation of the two-interface Hele-Shaw flow problem
2.1. Hele-Shaw flow equations
We consider flow in a Hele-Shaw channel of non-dimensional width $2{\rm \pi}$ in the $x$ direction. The fluid region $\varOmega$ is bounded above and below by interfaces $\partial \varOmega _{U}$ and $\partial \varOmega _{L}$, respectively. A non-dimensional pressure difference $P$ acts to push the fluid region in the positive $y$ direction, while surface tension acts on both interfaces (see figure 1). The standard governing equations in non-dimensional form are (e.g. Morrow et al. Reference Morrow, Moroney, Dallaston and McCue2021)
with $\phi$ the velocity potential, $v_{n}$ the normal velocity of each interface, $\kappa _{U}$ and $\kappa _{L}$ the curvatures of each interface, $P$ is the non-dimensional pressure difference and $\sigma$ the non-dimensional surface tension. In (2.1) the normal vector $\hat {\boldsymbol n}$ of each interface is defined so that a flat interface has normal in the positive $y$ direction, and the signs of curvatures $\kappa$ are chosen such that positive $\kappa$ implies a concave interface in the positive $y$ direction (for example, both interfaces in figure 1 have negative curvature at $x=0$ and positive curvature at $x=\pm {\rm \pi}$). This choice of sign convention for both interfaces will simplify the thin-filament derivation in the next section.
For definiteness, we consider no-flux boundary conditions on the channel walls:
although many of our results, in particular the thin-filament model derived in § 3, do not rely on these conditions, and could equally apply to an infinitely long fluid region in an unbounded cell, or an annular fluid region represented by a closed curve (in that case, the constant pressure difference $P$ would physically require injection or extraction of air into the interior of the cell).
The system (2.1) is derived from the dimensional system by introducing the length scale $[x]$, the pressure scale $[p]$ and defining the dimensionless velocity potential $\phi$ in terms of the pressure $p$:
so that
where $p_U$ and $p_L$ are the upper and lower inviscid fluid pressures, $b$ is the plate separation, $\ell$ is the channel width, $\mu$ is the viscosity, $\hat \gamma$ is the surface tension and $[t]$ is an arbitrary time scale. While one of the parameters $P$ or $\sigma$ (if non-zero) could be scaled out by choosing an appropriate time scale, retaining both parameters aids in understanding the effects of the terms that arise in our later analysis.
2.2. Linear stability
The two-interface Hele-Shaw configuration has an exact base state where both interfaces are horizontal, and the fluid region moves upward at constant velocity $v_{n} = P/h_0$, where $h_0$ is the distance between the two interfaces. To examine the stability of this configuration, we write the system (2.1) in Cartesian ($x,y$) coordinates, and define the upper and lower interfaces as $y = f_{U}(x,t)$ and $y = f_{L}(x,t)$, respectively. In addition to Laplace's equation for $\phi$, the boundary conditions (2.1b)–(2.1d) are
(for notational compactness we use variable subscripts to refer to partial derivatives throughout this article; text or numerical subscripts, however, do not refer to partial derivatives). The base state is (up to arbitrary translation in $y$) represented by $f_{L} = (P/h_0)t - h_0$, $f_{U} = (P/h_0)t$ and $\phi = (P/h_0) \hat y$, where $\hat y = (y-Pt/h_0)$ is the coordinate in the travelling frame.
To examine linear stability then, we impose perturbations on $f_{L}$, $f_{U}$:
On substitution into the boundary conditions:
A perturbation with wavenumber $k$ in the $x$ direction takes the form
where the pressure boundary conditions give $c_1$ and $c_2$ in terms of the interfacial amplitudes $A$ and $B$, and the kinematic conditions result in an eigenvalue problem for $\lambda$:
The eigenvalues of this system are thus
The growth rate curves ($\lambda = \lambda (k)$) are shown in figure 2 (solid line) for parameter values $\sigma = 0.1, h_0 = 0.2$. One eigenvalue is negative for all wavenumbers $k$, while the other is positive for a finite band of wavenumbers that ranges from zero up to a critical wavenumber. The presence of surface tension regularises the system by stabilising the wavenumbers for large $k$. We emphasise that the system is unstable no matter the direction of the pressure gradient (regardless of the sign of $P$), as each direction involves one of the interfaces moving in the unstable direction according to the Saffman–Taylor instability.
Our linear stability analysis here for a finite viscous fluid evolving in a Hele-Shaw channel is analogous to that presented for a radial geometry with two interfaces (Morrow et al. Reference Morrow, De Cock and McCue2023). Generalisations and alterations to include different viscous fluids on either side of the interfaces have been conducted for both linear and weakly nonlinear frameworks (Gin & Daripa Reference Gin and Daripa2015; Anjos & Li Reference Anjos and Li2020).
We close this section by noting some limiting behaviour of (2.10). For large $h_0$, in order to keep the speed of the base state $O(1)$, we need to keep the driving pressure difference $P=O(h_0)$. In that case, $\lambda \sim -\sigma k^3\pm kP/h_0$ as $h_0\rightarrow \infty$. This limit agrees with the well-studied single-interface problem (an infinite body of viscous fluid), with the plus (minus) sign associated with the unstable (stable) direction of flow. Of a more particular interest here is the other limit of $h_0\ll 1$. Again, supposing that $P=O(h_0)$ in order to keep the interface speed $O(1)$, we have
where for (2.12) $k=O(1)$ means strictly of order one, while for (2.13) $k=O(1/h_0)$ means strictly of order $1/h_0$.
3. Thin-filament approximation
3.1. Model in intrinsic coordinate system
In this section we derive an approximation of the two-interface flow by considering the thickness of the fluid region (that is, the distance between the two interfaces) to be small. This approximation is valid when the separation of the two interfaces is smaller than the radius of curvature of either interface, but still larger than the plate separation (if the interface separation is of the same order as the plate separation, the depth averaging that leads to two-dimensional Hele-Shaw flow (2.1) is no longer valid).
We start by converting the governing equations and boundary conditions into an intrinsic coordinate system $(x,y) \mapsto (s,n)$ in which the filament is represented by a centreline curve $\bar {\boldsymbol x}(s,t) = (\bar x, \bar y)$, with $s$ the arclength coordinate and $n$ the coordinate normal to this centreline; thus
(e.g. Van De Fliert et al. Reference Van De Fliert, Howell and Ockendon1995; Howell Reference Howell2003). The coordinate system is represented schematically in figure 3. Here $\boldsymbol n = (-\bar y_s, \bar x_s)$ is the centreline normal (again we use the variable subscript $s$ to represent the $s$ partial derivative, for brevity). In this coordinate system we specify the upper and lower interfaces to occur at $n = \pm h(s,t)/2$, respectively, so that the normal thickness is $h$. The upper interface is thus given by the curve
and a (non-unit) normal to this interface (as opposed to the centreline) is then
where $\boldsymbol s = (\bar x_s, \bar y_s)$ is the centreline unit tangent vector and $\kappa = \bar x_s \bar y_{ss} - \bar y_s \bar x_{ss}$ is the centreline curvature.
The velocity normal to the interface (not the centreline) $v_{{U}}$ is equal to the normal derivative of the potential via the kinematic condition (2.1b):
The component of the upper interface velocity in the centreline-normal direction, $v_{{nU}}$, is then
Similarly, on the lower interface, the velocity in the centreline-normal direction is
From the interface velocities (3.5) we compute the centreline velocity and thickness evolution. Let $\eta$ be a Lagrangian coordinate (such that $\eta$ is constant at a point on the curve $\boldsymbol x$ moving in the direction normal to the centreline); then
Here the notation $\textrm {D}/\textrm {D} t$ represents the Lagrangian derivative (holding $\eta$ constant). Taking the centreline-normal component of each term in this equation, and noting that $\textrm {D}\boldsymbol n/\textrm {D} t$ is orthogonal to $\boldsymbol n$, we find
with the result for the lower interface derived in very similar fashion to that for the upper. Arranging for $v_{n}$ and $Dh/Dt$, and substituting (3.5), we then find expressions for the normal velocity and thickness evolution in the centreline-normal direction:
where the notation $\langle\,f \rangle = (f|_{n=-h/2} + f|_{n=h/2})/2$ represents a value averaged between the two interfaces.
As is standard in free-boundary lubrication problems, it is useful to be able to express the thickness evolution in a conservative form. To do so, we first note that Laplace's equation (2.1a), under the coordinate transformation (3.1), becomes
which is equivalent to
Integrating over $n$ gives
so that, using (3.8a,b),
Thus,
The first term on the right-hand side of (3.13) represents the effect of dilation or compression of the film as its length changes, while the second term represents the contribution of flux along the filament.
The expressions (3.8a,b) and (3.13) are exact, but we have not yet determined the potential $\phi$. We now formally take the lubrication approximation by substituting $n = \epsilon N$, $h = \epsilon H$ and $t = \epsilon T$, taking $\epsilon \ll 1$. In this expansion we assume the curvature $\kappa = O(1)$ (or smaller), and the surface tension $\sigma = O(1)$. Unlike most standard lubrication models where the leading-order behaviour in $\epsilon$ is all that is required, in our case we will see that terms at order $\epsilon ^2$ are necessary to fully regularise the instability, and so we expand to this order.
Writing $\phi = \phi _0 + \epsilon \phi _1 + \epsilon ^2\phi _2 + \cdots$ and substituting into Laplace's equation (3.9), we have
with pressure conditions from (2.1c) and (2.1d):
Here $\kappa$ is again the centreline curvature, and $K_1$ and $K_2$ are order $\epsilon$ and $\epsilon ^2$ corrections to the curvature on the upper interface, respectively:
(the corrections on the lower interface are the same, with appropriate changes in sign). Solving for each component of the potential $\phi$ term by term gives
where
is the leading-order centreline velocity. Substitution of these expressions into the expansions of (3.8a,b) and (3.13) results in expressions for the rescaled normal velocity $V_{n} = \epsilon ^{-1}v_{n}$ and $\textrm {D} H/rD T = \textrm {D} h/\textrm {D} t$:
and
In (3.18b) and (3.18c), the order of terms in the lubrication parameter $\epsilon$ is explicit. We can of course formally remove the scaling by returning to $h, t$ variables, resulting in
with $v_0 = (P + 2\sigma \kappa )/h$ the leading-order velocity and $\kappa _1 = \epsilon ^{-1} K_1$, $\kappa _2 = \epsilon ^{-2}K_2$ the rescaled versions of (3.16a,b):
The higher-order terms have been included in the above derivation as they are needed to fully regularise the instability. This will become apparent when we examine the behaviour of the leading-order system in § 4. In particular, the higher spatial derivative of thickness $h$ resulting from the interface curvature correction term $\kappa _{1}$ plays a crucial role. In the case where driving pressure $P$ and centreline curvature $\kappa$ both vanish, (3.19) reduces to the well-known thin-film equation
where $h = h(s,t)$ and arclength $s$ becomes time-independent. This equation has been studied extensively in the context of droplet breakup in Hele-Shaw flow (Constantin et al. Reference Constantin, Dupont, Goldstein, Kadanoff, Shelley and Zhou1993; Dupont et al. Reference Dupont, Goldstein, Kadanoff and Zhou1993; Goldstein et al. Reference Goldstein, Pesci and Shelley1993, Reference Goldstein, Pesci and Shelley1995; Almgren Reference Almgren1996; Almgren et al. Reference Almgren, Bertozzi and Brenner1996; Goldstein et al. Reference Goldstein, Pesci and Shelley1998). In our case, this fourth-order spatial derivative term stabilises high-wavenumber perturbations, as is shown in the following stability analysis of the filament model.
3.2. Stability
As with the full two-interface model (2.1), the thin-filament approximation (3.19) has an exact solution comprising a straight filament of uniform thickness $h_0$ moving upward with speed $P/h_0$. To test the stability of this straight filament, we write the centreline $\bar {\boldsymbol x}(s,t)$ in Cartesian coordinates as $y = f(x,t)$, write thickness $h$ as a function of $x$ and $t$ and perturb the straight filament:
In the linear approximation, $\textrm {D}/\textrm {D} t = \partial /\partial t + O(f_x^2)$, $s = x + O(f_x^2)$ and $\kappa = f_{xx} + O(f_x^2)$. On substituting these expansions into (3.19) we obtain the eigenvalue problem
The eigenvalues are thus
We note that the linear stability of the filament model (3.19) does not agree exactly with the full model, even for zero surface tension. When $\sigma =0$, the error in the filament model is due to the final term $P^2h_0^2 k^6/144$, which arises from the product of the two higher-order correction terms in the off-diagonal terms in the determinant. This term is (implicitly) of order $\epsilon ^4$, which is of higher order than the model is accurate to. If further terms were taken in the lubrication expansion, they would contribute further order $\epsilon ^4$ terms which would presumably cancel with the term present here.
For non-zero surface tension $\sigma$, (3.23) has the same limiting behaviours (2.11) and (2.12) as the full model, but differs slightly from (2.13). In the latter case, both (2.10) and (3.23) give $\lambda =O(1/h_0^3)$ as $h_0\rightarrow 0$ for $k=O(1/h_0)$, but with a different prefactor. Thus, our thin-filament approximation recovers the same leading-order linear stability behaviour as the full model for small and moderate wavenumbers, which is all we can expect from such a lubrication model. For very large wavenumbers (i.e. very small wavelengths of perturbation), with $k\gg 1/h_0$, while the scalings between the eigenvalues of the full and filament model may differ, these modes of perturbation decay very quickly and therefore any differences in the models are of no practical consequence.
In figure 2 we compare the eigenvalues of the thin-filament approximation (3.23) against those of the full problem (2.10). For even moderately small thickness ($h_0 = 0.2$) and small surface tension ($\sigma = 0.1$), the agreement is excellent in the region in which eigenvalues are positive; the difference for negative values occurs for much larger $k$ than depicted. These linear stability results do indicate, however, that the approximation will not be valid if surface tension is zero (or much smaller than the filament thickness), which is unsurprising given the implicit assumption that $\sigma = O(1)$ in the lubrication parameter $\epsilon$.
4. Properties of the leading-order model
In this section we consider the properties of the leading-order version of (3.19), that is, neglecting terms of order $\epsilon ^2$:
where $\kappa$ is the centreline curvature. In the leading-order model (4.1a,b), there is no fluid flow tangent to the centreline; the change in filament thickness is due purely to the stretching or compression of the filament.
Potential issues with the leading-order model can first be observed in the linear stability analysis of a flat filament. The stability analysis of the leading-order model (4.1a,b) is the same as for the higher-order model with the higher-order terms absent; the eigenvalues of this leading-order system are thus
For small $k$, (4.2) coincides with the leading-order behaviour (2.11), while for $k=O(1)$, (4.2) is no longer a reasonable approximation for the full model. Indeed, unlike in (3.23), where both eigenvalues become negative for sufficiently large wavenumber $k$, in (4.2), one eigenvalue tends to a positive, constant value as $k\to \infty$:
(see figure 2). Thus the system is (significantly) unstable to perturbations at arbitrarily small spatial scales, even in the presence of surface tension. While this analysis does not suggest the leading-order problem is technically ill-posed if $\sigma > 0$ (the eigenvalues do not become arbitrarily large), this large-$k$ behaviour strongly suggests that singularities in curvature will generically form (see e.g. Dallaston & McCue Reference Dallaston and McCue2014). We confirm the self-similar formation of curvature singularities in § 4.2.
4.1. The unregularised (zero surface tension) leading-order model
In the case $\sigma = 0$, the leading-order model (4.1a,b) reduces to that considered by Farmer & Howison (Reference Farmer and Howison2006). In this case the problem is indeed ill-posed; the eigenvalues (4.2) are $\lambda = \pm (P/h_0)k$, as are the eigenvalues of the full two-interface problem (2.10), so one eigenvalue is arbitrarily large as $k\to \infty$. Solutions that exhibit this ill-posedness may be constructed by showing that the centreline is given by level curves of a harmonic function. We summarise the approach of Farmer & Howison (Reference Farmer and Howison2006) and further examine this approach here.
Assuming the filament centreline $(x(\eta,t),y(\eta,t))$ and the thickness $h(\eta,t)$ are parametrised by a Lagrangian coordinate $\eta$, then
For $\sigma =0$, the evolution of $h$ (4.1a,b) is equivalent to conservation of mass between a point $\eta$ and reference point $\eta _0$. That is, we may define an area function $A(\eta )$, such that
is constant in time on a point on the centreline moving with its normal velocity. Choosing to scale time such that $P=1$, we arrive at the following:
These are Cauchy–Riemann equations relating $(x,y)$ to $(A,t)$. This line of argument was used by Farmer & Howison (Reference Farmer and Howison2006) to demonstrate that $w = A + \mathrm i t$ must be an analytic function of the complex spatial variable $z=x+\mathrm {i}y$; thus, for a given time $t$, the centreline is the level curve of the harmonic function $t(x,y)$.
Given the definition of $A$ (4.5), the thickness $h$ may be calculated by
This thickness will go to zero at a critical point $z_c$ where $w'(z_c) = 0$. As this is also a point where the conformal map between $w$ and $z$ ceases to be smooth, we expect to see a singularity in the curvature in the centreline there. The preimage of the straight line $w = A + \mathrm i t_c$ that passes through the critical point is the centreline in the $z$ plane; assuming $w''(z_c)\neq 0$ the centreline must therefore have a corner with an angle of ${\rm \pi} /2$ at $z_c$ (and not a cusp, as suggested by Farmer & Howison (Reference Farmer and Howison2006)). If the initial condition is such that $w''(z_c)$ also vanishes but the third derivative is non-zero, the corner angle is ${\rm \pi} /3$, and so on.
As an example, consider an initial condition with the centreline on $y=0$ and initial thickness given by $h(x,0) = \delta [1-a\cos x]$, with $\delta > 0$ and $0 < a < 1$. This initial condition corresponds to an initially horizontal filament that is thinner near $x=0$. We thus have $A = \delta [x - a\sin x]$ at $t=0$ (determined by choosing our reference point $\eta _0$ to lie on $x=0$), and, analytically continuing into the complex plane,
Taking the imaginary part, we find that the centreline location is given implicitly by
The critical point occurs for $z_c = \mathrm i\cosh ^{-1}(1/a)$ and time $t_c = \delta (\cosh ^{-1}(1/a) - \sqrt {1-a^2})$. The centreline profiles of this solution, along with the upper and lower interfaces (found by adding and subtracting half the thickness $h$ (4.7), respectively, in the normal direction) are plotted in figure 4(a), showing the formation of the ${\rm \pi} /2$ angle as $t\to t_c^-$.
As an example of an initial condition that leads to a non-${\rm \pi} /2$ angle, consider
which on integrating results in
Again, the centreline is determined by taking the contours of the imaginary part of this function. In this case, since $w'(z_c) = w''(z_c) = 0$, the corner angle at the critical point where $h\to 0$ is ${\rm \pi} /3$. Profiles of this solution are shown in figure 4(b).
The previous two exact solutions show only a subset of the possible singular behaviours of the ill-posed zero-surface-tension model; as centrelines are given by level curves of a harmonic function $t = \Im (w(z))$, with thickness given by (4.7), a variety of other solution behaviours are possible. One such possibility is a zero-angle cusp that results from a square root singularity, an example of which is the complex function
This function has a square root singularity at $z=0$, as well as the appropriate periodicity. The level curve that passes through this singularity occurs at $t=0$, so as $t\to 0^{-}$, a zero-angle, backward-facing cusp forms on the interface. The thickness $h$, which is given by $|w'(z)|$, becomes infinite at the cusp, so that the interface at the cusp becomes stationary. The profiles and thickness corresponding to (4.12) are shown in figures 4(c) and 4(d), respectively, for the parameter values of $\delta = 0.2$ and $a=0.5$.
4.2. Singularity formation in the leading-order model with surface tension
We now further consider the leading-order model (4.1a,b) in the presence of surface tension. As eigenvalues (4.2) are positive for arbitrarily large wavenumber, we expect the possibility of singularities in curvature, and this does indeed generically occur, as we both demonstrate through the construction of similarity solutions and corroborate with numerical simulations.
To establish the existence of curvature singularities we perform a self-similar analysis. This analysis is simplest to carry out in Cartesian coordinates. Let the thickness $h = h(x,t)$ be a function of $x$ and $t$, and define the centreline to be given by the function $y = f(x,t)$; we then have
where $\partial /\partial t$ is the time derivative with $x$ held constant. Using (4.1a,b) then results in
Further simplification is achieved by defining the filament thickness in the $y$ direction ${\bar h}(x,t) = h\sqrt {1+f_x^2}$ (as opposed to the thickness $h$ in the centreline-normal direction), which results in the system of equations
By introducing ${\bar h}$, (4.15a,b) has been written in conservative form, which highlights the fact that mass is indeed conserved in this system.
Assume a singularity occurs at a time $t=t_c$ at $x=x_c$, and let
where the similarity exponents $\alpha,\beta,\gamma$ are to be determined. Furthermore, we assume the profile and thickness are symmetric in $x$. Assuming that $\alpha > 1$, the dominant term in the velocity $f_t$ is $\dot f_0 = \dot f_0(t_c)$. Thus, on balancing terms we find $\beta = -1$ and $\alpha = 2\gamma -1$, with $\gamma$ being undetermined (a second-kind self-similarity). Given $\alpha > \gamma$ (which we will check for consistency after the fact), the dominant terms in (4.15a,b) become
These equations can be further scaled to remove $\dot f_0$ and $\sigma$. Let $F = (\,\dot f_0)^{-1}\hat F$ and $H = 2\sigma (\,\dot f_0)^{-2} H$, then
Let $u = \hat F'$ and eliminate $\hat F$, so that $u$ satisfies the second-order equation
For symmetry we require $u$ to be odd in $\xi$; thus, when $\xi =0$, $u=0$, which is therefore a singular point of the ordinary differential equation. By expanding near this point we find that the similarity exponent $\gamma$ is uniquely specified by the first odd power in the expansion greater than unity:
where $C$ is an arbitrary scaling factor. Expanding near the singular point results in $\gamma = n/(n-1) > 1$, which is consistent with the assumptions made on the similarity exponents above.
Given $\gamma = n/(n-1)$, the equation for $u$ can be solved implicitly by letting $u$ be the independent variable, which allows us to construct parametric solutions for $\hat F$ and $\hat G$:
While $n$ can be any odd number $\geq 3$, dependent on the initial condition, the most generic case will be $n=3$, in which case $\gamma = 3/2$ and $\alpha =2$. The constant $C$ is arbitrary, due to scale invariance in (4.15a,b) in the limit that curvature dominates over the driving pressure $P$. In a given case, the scale $C$, velocity $\dot f_0$ and exponent $n$ will all depend on the initial condition of the time-dependent problem.
We provide numerical evidence for the curvature singularity formation by numerically solving the system (4.15a,b). This computation is performed in MATLAB using finite-difference discretisation along with MATLAB's ode15s algorithm for time stepping. Parameters $P = 1$, $\sigma = 0.5$ and an initial condition of $f(x,0) = -\cos (x)$ and $h(x,0) = 1$ is chosen in order to start with high curvature near $x=0$, where the singularity will occur.
In figure 5 we plot the results of this numerical computation. The singularity time $t_c$ is estimated by fitting a straight line through $h_{max}(t)^{-1}=(\max _x h(x,t))^{-1}$, which occurs at $x=0$, and should (according to the analysis above) go to zero linearly. The centreline velocity $\dot f_0(t)$ at the maximum thickness is observed to tend to a non-zero constant, from which $\dot f_0$ is estimated. Scaling the profiles near the singularity time into similarity variables $\xi, \hat F, \hat H$, we observe collapse. The exact similarity profiles (4.21a–c), with a suitable fitted value of the arbitrary constant $C$, match well with the numerical profiles.
The curvature singularity exhibited by this model is weaker than a corner singularity, in that as $\alpha > \gamma$, the first derivative goes to zero in the neighbourhood of the singularity, even while the curvature becomes unbounded. It is also interesting to note that the singularity is not dependent on (and does not require) the driving pressure $P$; its cause is the presence of surface tension pulling regions of high positive curvature inward, concentrating the thickness at a single point. It is thus only present as the leading-order model (4.1a,b) has a surface-tension-dependent velocity, but no regularising term that penalises higher derivatives of thickness, as appears in the second-order model in (3.19b).
4.3. Quasi-travelling wave solutions
The system (4.15a,b), while insufficiently regularised to simulate the full dynamics of a thin filament, does exhibit a quasi-travelling wave solution of the form (in Cartesian variables)
where $t_0$ is a finite time. A solution of this form is similar to, but not exactly, a travelling wave, as the centreline has a fixed shape but moves to infinity (with speed unbounded) as $t\to t_0$, while the thickness linearly decreases to zero. The parameter $B$ is the analogue of a travelling wave speed. Solutions to (4.15a,b) of this form generalise the ‘grim reaper’ solutions to the zero-surface-tension problem found in Farmer & Howison (Reference Farmer and Howison2006), and are also candidates for asymptotically valid solutions to the higher-order system (3.19), since as the thickness goes to zero, we would expect the higher-order terms to vanish at a faster rate than the leading-order terms. We will see in § 5 that these quasi-travelling waves do not appear to be attractors, but will compute them here for completeness.
On substitution of the ansatz (4.22a,b) into the leading-order model in Cartesian form (4.15a,b), and scaling the variables according to
we obtain
This equation may be solved numerically directly, but to further simplify we cast it into the following curvature–angle formulation. Let $\theta = -\tan ^{-1} \hat F'$ be the angle between the tangent to the centreline and the $x$ axis (counting positive for negative $F'$), and scaled curvature $K = B^{-1}\kappa = \hat F''/(1+\hat F'^2)^{3/2}$ (see figure 6a). We then obtain the first-order equation
For a semi-infinite curve, the appropriate interval is $-{\rm \pi} /2 < \theta < {\rm \pi}/2$, where the nose at $\theta =0$ is a singular point, at which we require $K(0) = -1$. In the limit of the tail of the travelling wave $\theta \to {\rm \pi}/2$, we must have $K \sim \theta -{\rm \pi} /2 \to 0$.
We solve (4.25) numerically for different values of $\hat \sigma$, and reconstruct the $\hat x, \hat F$ coordinates, using
The $\hat \sigma =0$ and $\hat \sigma \to \infty$ limits are amenable to exact solutions. If $\hat \sigma =0$ then $K = K_0 = -\cos (\theta )$, which is the ‘grim reaper’ solution found by Farmer & Howison (Reference Farmer and Howison2006) (also relevant for the zero-surface-tension Saffman–Taylor finger (Saffman & Taylor Reference Saffman and Taylor1958) and for curve shortening flow (Angenent Reference Angenent1991)), equivalent to a centreline profile $\hat F = \ln (\cos \hat x)$. On the other hand, as $\hat \sigma \to \infty$ the equation for $K$ becomes linear, and has exact solution
Plots of these quasi-travelling wave solutions are shown in figure 6(b). The effect of $\hat \sigma$, and thus of surface tension, is weak, as all solutions are bounded between the $\hat \sigma =0$ and $\hat \sigma \to \infty$ limits. The scaled curvature at the nose is required to be $-1$ in all cases, and thus returning to the unscaled system, we expect the curvature at the nose to be $-1/B$, that is, inversely proportional to the wave speed parameter.
The corresponding scaled thickness in the $y$ direction is $\bar H = \sec ^2\theta (1+\hat \sigma \kappa )$. The time-dependent thickness in the centreline-normal direction is thus
At a fixed time $t_0$ then, the thickness is unbounded in the tails as $\theta \to \pm {\rm \pi}/2$. If, however, we consider a fixed value of $y$ (in the non-travelling coordinate system) as the singular time $t_0$ is approached, then from (4.22a,b) and (4.26a,b), the corresponding value of $\theta$ behaves as
Thus $h = O(\mathrm e^{-y/B})$ is bounded for a fixed value of $y$ as $t\to t_0$. The exponential decay in $y$ of the thickness also means that a quasi-travelling wave solution does not require infinite mass to form, even as its length is unbounded in the $y$ direction as $t\to t_0$.
In § 5 we simulate the second-order thin-filament model, including with initial conditions close to a quasi-travelling wave solution. These simulations demonstrate that these quasi-travelling wave solutions do not appear to be stable.
5. Numerical simulation and comparison
In this section we describe numerical simulations of the second-order thin-filament model (3.19), and compare against simulations of the full two-interface problem (2.1).
Our solution method for the thin-filament model (3.19) is a front tracking method, whereby the centreline is represented by $N$ points $\boldsymbol x_j = (x_j, y_j),\ j=1,\ldots, N$. The thickness also has a value $h_j$ at each point. At a given time, the normal vector, curvature and arclength derivatives of $h$ and related quantities in (3.19) are calculated using a central finite-difference scheme. The points are then moved in time in the normal direction with velocity given by (3.19a) (consistent with (3.19b) being the Lagrangian evolution equation for $h$) using MATLAB's ode15s. Since moving points with normal velocity results in highly unevenly spaced points on the centreline, we remesh onto an evenly spaced grid when the ratio between minimum and maximum node spacing drops below a threshold value. We typically use 2000–5000 points (increasing this resolution does not have an appreciable effect in the simulations reported here) and remesh when the minimum-to-maximum node spacing is less than $0.8$.
5.1. Validation against solution of the two-interface problem
To validate solutions of the thin-filament model (3.19) it is valuable to compare it with solutions of the full two-interface system (2.1), which is a more challenging numerical problem. We solve (2.1) using the numerical framework proposed by Morrow et al. (Reference Morrow, Moroney, Dallaston and McCue2021, Reference Morrow, De Cock and McCue2023), which we briefly summarise here. The framework is based on the level-set method, in which we represent each interface, $f_{L}$ and $f_{U}$, as the zero level set of the associated level-set functions $\psi _{{L}}$ and $\psi _{{U}}$. Each level-set function is chosen such that the viscous fluid will occupy the region where both $\psi _{{L}}$ and $\psi _{{U}} > 0$; otherwise the region is filled with inviscid fluid. Both level-set functions are updated according to
where
and $\boldsymbol {n}_{L} = \boldsymbol {\nabla } \psi _{{L}} / |\boldsymbol {\nabla } \psi _{{L}}|$ and $\boldsymbol {n}_{U} = \boldsymbol {\nabla } \psi _{{U}} / |\boldsymbol {\nabla } \psi _{{U}}|$ are the unit (outward) normals. We discretise the spatial derivatives in (5.1a,b) using a second-order essentially non-oscillatory scheme and integrate in time using second-order total-variation-diminishing Runge–Kutta with time step $\Delta t = 10^{-5}$. We perform simulations on the computational domain $-{\rm \pi} \le x \le {\rm \pi}$ and $-0.5 \le y \le 4$, which is discretised into equally spaced nodes with mesh size $\Delta x = 2 {\rm \pi}/ 750$. Simulations are concluded when the minimum distance between the two interfaces is less than $3 \Delta x$. Further, we periodically perform reinitialisation to maintain both $\psi _{{L}}$ and $\psi _{{U}}$ as signed distance functions. The details of this reinitialisation procedure are described in Morrow et al. (Reference Morrow, Moroney, Dallaston and McCue2021).
We solve (2.1a) for the velocity potential $\phi$ via a finite-difference stencil. Following Chen et al. (Reference Chen, Merriman, Osher and Smereka1997), we modify the stencil at nodes adjacent to either interface, corresponding to where $\psi _{{L}}$ or $\psi _{{U}}$ changes sign, by imposing a ghost node on the interface to incorporate the appropriate dynamic boundary conditions (2.1c) and (2.1d). Here, $\kappa _{L} = \boldsymbol {\nabla } \boldsymbol{\cdot } \boldsymbol {n}_{L}$ and $\kappa _{U} = \boldsymbol {\nabla } \boldsymbol{\cdot } \boldsymbol {n}_{U}$. By solving for $\phi$, we can compute $f_{L}$ and $f_{U}$ from (5.2a,b). These choices of $f_{L}$ and $f_{U}$ satisfy the kinematic boundary conditions (2.1b) and give a continuous expression for $f_{L}$ and $f_{U}$ in the region occupied by the viscous fluid $\boldsymbol {x} \in \varOmega$. However, to solve (5.1a,b), we require expressions for $f_{L}$ and $f_{U}$ over the entire computational domain. To extend our expressions for $f_{L}$ and $f_{U}$ into the gas regions, we follow Moroney et al. (Reference Moroney, Lusmore, McCue and McElwain2017) by solving the biharmonic equation
By doing so, we obtain smooth continuous normal velocities over the entire computational domain, allowing us to solve (5.1a,b) for $\psi _{{L}}$ and $\psi _{{U}}$.
In figure 7 we compare the results of the filament model and full two-interface model, with initial conditions
These initial conditions correspond to an initial centreline location of $y=0$ and an initial thickness $h(x,0) = 1/12 - 0.0075\textrm {sech}^2 x$, which is an almost flat filament with a small thinner region near the centre of the channel, $x=0$. As demonstrated in figure 7(a), the agreement between the two methods is initially very good, and only start to disagree quantitatively when the filament thins near the central region, leading to a large increase in velocity. This is to be expected, as the level-set method will become inaccurate when the filament thickness becomes too thin to capture accurately using a level-set function on a discretised mesh. To demonstrate this point, in figure 7(b) we plot the minimum thickness $h_{min}(t)$ against time, for level-set computations of increasing resolution. We see that the level-set result does approach that of the filament model as the resolution is increased (of course, we do not expect the results to be identical due to the approximation made in deriving the thin-filament model (3.19), but this error is much smaller than the achievable discretisation error in the level-set simulation). Ultimately in the level-set simulations, the thickness saturates at a value dependent on the resolution. This limitation means that the level-set simulations ultimately underestimate the speed at which the filament advances when it becomes very thin, as can be observed in the profiles shown in figure 7(a).
5.2. Numerical results for late times
Here we use the front-tracking scheme to solve the thin-filament model for later times, in the regime where the thickness becomes too small for the level-set method to accurately resolve. We use the initial condition
which is the same as the initial condition of the exact solution (4.9) depicted in figure 4(b). In order to observe the effect of different surface tensions $\sigma$, we run simulations for $\sigma = 0.1$ (figure 8), as well as $\sigma = 0.05$ and $\sigma = 0.2$ (figure 9).
In the $\sigma =0.1$ simulation (figure 8), the filament bulges outward in the centre near $x=0$, where the thin filament is initially thinner (and so the filament moves faster). This bulge becomes a ‘bubble’ that rapidly expands in radius while the thickness rapidly decreases. The majority of the fluid is pushed into the outer regions of the channel. At a finite time, the bubble intersects the channel walls at $x = \pm {\rm \pi}$. Unlike a fluid-filled Hele-Shaw cell, there is nothing to prevent the filament reaching the channel walls; this does not correspond to singular behaviour in the mathematical model, but physically represents an area of gas of lower pressure being trapped by the filament.
To further understand this behaviour, we note that (3.19) has as a solution a perfectly circular bubble of radius $R(t)$, which evolves according to
Here $c$ is a constant that depends on the initial thickness. In such a solution, the radius (if initially greater than $2\sigma /P$) grows exponentially, but does not exhibit a finite-time singularity. It may be that this is the behaviour that is governing late stages of evolution of the filament depicted in this section. In figure 8(e) we plot the curvature $\kappa _{nose}$ at the nose, or front, of the bubble (where $x=0$), while in figure 8(f) we plot $\kappa /\kappa _{nose}$. The curvature initially grows in magnitude (in our convention the curvature is negative in the bubble) when the bulge initially grows, but then rapidly decreases in magnitude at the time when the bubble expands outwards. When this happens, the curvature tends to a uniform state in the bubble region ($\kappa /\kappa _{nose} \to 1$), implying the convergence to a circular shape. While we have only plotted the interface up to the time at which it intersects the channel wall, mathematically the simulation continues for longer, and the bubble becomes more circular in shape. Ultimately, the thickness becomes so small and the velocity so large that the numerical method no longer converges.
This behaviour is also seen for smaller and larger surface tension values $\sigma = 0.05$ and $0.2$, as depicted in figure 9. The notable effect of different surface tension is that the bulging region that forms the ‘neck’ of the bubble is smaller or larger in width as the surface tension is smaller or larger.
5.3. Initial condition near a quasi-travelling wave
In addition to the previous near-flat initial conditions, we demonstrate the instability of the quasi-travelling wave solutions considered in § 4.3 by choosing an initial condition close to one such solution. For simplicity we use the ‘grim reaper’ exact solution for zero surface tension $K_0 = -\cos \theta$, and a scale factor $B=1$, for which
(the exact solution is a good approximation for small $\sigma$, and although we do not show the results here, we have observed the same behaviour from numerically constructed initial conditions by solving (4.25) for $\hat \sigma > 0$). In terms of the quasi-travelling wave solution, the factor $b$ in the thickness $h$ is arbitrary as it corresponds to translation in time. As the travelling wave is semi-infinite, we must of course approximate it by a finite curve that respects the required boundary conditions at $x=\pm {\rm \pi}$. We thus choose the closely related ‘hairclip’ curve, defined by
The larger the parameter $\alpha$ is made, the more elongated the initial finger becomes. We note that the thickness will become large on the sides of the initial finger, representing the blow-up in thickness of the quasi-travelling wave in the limit $\theta \to {\rm \pi}/2$ discussed in § 4.3.
We depict the result of such an initial condition in figure 10, for the values $\sigma =0.05$, $\alpha =20$, $b=0.1$. The regions with large thickness on the sides of the finger correspond to the exponential growth in thickness required for the travelling wave solution as $y\to -\infty$ (see § 4.3); the filament in this region does not evolve to a great extent over the simulation. At the front, while the finger does initially propagate forwards, the nose bulges outward and becomes more circular in shape, leading to the same late-time behaviour as seen for the more general initial conditions.
6. Discussion
In this paper we have developed a simplified but highly accurate second-order lubrication flow model (3.19) that describes two-interface Hele-Shaw flow very well in regions where the thickness of the fluid region becomes small. Due to the instability of one of the interfaces, this limit is one that is generally reached, even if initially the thickness is not very small. By examining the generic singular behaviour of the leading-order model, even in the presence of surface tension (§ 4), we have shown why a second-order model is necessary to represent the dynamics of the full problem. In particular, the fourth-order spatial derivative term arising from the difference in curvature between the upper and lower interfaces is necessary to regularise the system. Although we have included all terms formally of order $\epsilon ^2$ in our model and simulations, we have also observed that the leading-order model along with the addition of only this regularising term (proportional to $[hh_{sss}]_s$) will behave in a qualitatively similar manner (with small quantitative differences). We have not shown these results here for the sake of brevity.
Here we note some clear differences between the instability of a thin filament, and the classical Saffman–Taylor instability in a semi-infinite fluid region that results inthe Saffman–Taylor finger with (in the small-surface-tension limit) width half that of the channel. One difference is that the thin-filament model does not feel the effects of the channel wall away from the thick neck regions, and thus the rapidly expanding bubble may intersect the channel walls at finite time with no breakdown in the mathematical model. Physically speaking, this phenomenon would correspond to trapping a part of the lower-pressure gas inside the fluid region. In addition, as the walls have no strong effect, the orientation of the filament motion to be mainly in the positive $y$ direction is a somewhat artificial consequence of the initial condition. For this reason it may be more natural to consider the fluid in an unbounded Hele-Shaw cell, with the length scale set by the initial thickness.
The specifics of the late stages of evolution of the filament (depicted in § 5), wherein the thickness becomes very small and the velocity correspondingly large, are not resolved. In order to understand the dynamics at late times of this system, an analysis of the stability of the quasi-travelling wave solutions, and the stability of the expanding circular bubble (5.6a,b) to non-radially symmetric perturbations, would be very valuable. We observe that in our model, the filament does not appear to exhibit finite-time ‘bursting’ behaviour, that is, the thickness does not go to zero at an isolated finite point in space and time. In the case of self-similar breakup in the manner of the unforced lubrication equation described in Almgren et al. (Reference Almgren, Bertozzi and Brenner1996), the thickness goes to zero at a point where the curvature becomes infinite, while in our solutions depicted in § 5, the thickness becomes small in the expanding circular region where the curvature is also decreasing, while the curvature is largest in magnitude in the neck regions, where the thickness does not decrease. Bursting in physical systems is likely to require fully three-dimensional effects to explain (that is, when the filament thickness becomes of the same order as the separation between plates in the Hele-Shaw apparatus). Once these two length scales are comparable, the filament model and indeed the two-dimensional Hele-Shaw model are no longer valid. The dynamics of the filament model studied in this work indicates that such a regime will generically be approached very rapidly in the form of the expanding bubble depicted in § 5.
Acknowledgements
The authors would like to thank C. Please for many fruitful discussions.
Declaration of interests
The authors report no conflict of interest.