Abstract
We consider the flow of multiple particles in a Bingham fluid in an antiplane shear flow configuration. The limiting situation in which the internal and applied forces balance and the fluid and particles stop flowing, that is, when the flow settles, is formulated as finding the optimal ratio between the total variation functional and a linear functional. The minimal value for this quotient is referred to as the critical yield number or, in analogy to Rayleigh quotients, generalized eigenvalue. This minimum value can in general only be attained by discontinuous, hence not physical, velocities. However, we prove that these generalized eigenfunctions, whose jumps we refer to as limiting yield surfaces, appear as rescaled limits of the physical velocities. Then, we show the existence of geometrically simple minimizers. Furthermore, a numerical method for the minimization is then considered. It is based on a nonlinear finite difference discretization, whose consistency is proven, and a standard primaldual descent scheme. Finally, numerical examples show a variety of geometric solutions exhibiting the properties discussed in the theoretical sections.
Introduction
In this article, we investigate the stationary flow of particles in a Bingham fluid. Such fluids are important examples of nonNewtonian fluids, describing for instance cement, toothpaste, and crude oil [31]. They are characterized by two numerical quantities: a yield stress \(\tau _Y\) that must be exceeded for strain to appear, and a fluid viscosity \(\mu _f\) that describes its linear behaviour once it starts to flow (see Fig. 1).
An important property of Bingham fluid flows is the occurrence of plugs, which are regions where the fluid moves like a rigid body. Such rigid movements occur at positions where the stress does not exceed the yield stress.
In this paper we consider antiplane shear flow in an infinite cylinder, where an ensemble of inclusions move under their own weight inside a Bingham fluid of lower density, and in which the gravity and viscous forces are in equilibrium [cf (6)], therefore inducing a flow which is steady or stationary, that is, in which the velocity does not depend on time. For such a configuration, we are interested in determining the ratio between applied forces and the yield stress such that the Bingham fluid stops flowing completely. This ratio is called critical yield number.
Related work To our knowledge, the first mathematical studies of critical yield numbers were conducted by Mosolov and Miasnikov [27, 28], who also considered the antiplane situation for flows inside a pipe. In particular, they discovered the geometrical nature of the problem and related the critical yield number to what in modern terminology is known as the Cheeger constant of the crosssection of the region containing the fluid. Very similar situations appear in the modelling of the onset of landslides [18, 19, 22], where nonhomogeneous coefficients and different boundary conditions arise. Twofluid antiplane shear flows that arise in oilfield cementing are studied in [15, 16]. Settling of particles under gravity, not necessarily in antiplane configurations is also considered in [23, 30]. Finally, the previous work [17] also focuses in the antiplane settling problem. There, the analysis is limited to the case in which all particles move with the same velocity and where the main interest is to extract the critical yield numbers from geometric quantities. In the current work we lift this restriction and focus on the calculations of the limiting velocities, also from a numerical point of view. Various applications of the critical yield stress of suspensions are pointed out in [4, Sect. 4.3]. On the numerical aspects, there are several methods available in the literature for the computation of limit loads [8] and Cheeger sets [6, 7, 9], and both of these problems are closely related to ours, as we shall see below.
Structure of the paper We begin in Sect. 2 by recalling the mathematical models describing the stationary Bingham fluid flow in an antiplane configuration, and an optimization formulation for determining the critical yield number.
Next, in Sect. 3 we consider a relaxed formulation of this optimization problem, which is naturally set in spaces of functions of bounded variation, and show that the limiting velocity profile as the flow stops is a minimizer of this relaxed problem.
In Sect. 4, as in the case of a single particle [17], we prove that there exists a minimizer that attains only two non zero velocity values.
Finally, in Sect. 5 we present a numerical approach to compute minimizers. This approach is based on the nonsmooth convex optimization scheme of Chambolle–Pock [10] and an upwind finite difference discretization [11]. We prove the convergence of the discrete minimizers to continuous ones as the grid size decreases to zero. We then use this scheme to illustrate the theoretical results of Sect. 4.
The Model
The constitutive law for an incompressible Bingham fluid in three dimensions is given by the von Mises criterion
where v is its velocity (for which incompressibility implies \({\text {div}}v = 0\)), and \(\mathcal E v = (\nabla v + \nabla v^\top )/2\) is the linearized strain, \(\nabla v \in \mathbb R^{3 \times 3}\) being the Jacobian matrix of the vector v. We denote by \(\sigma _D\) the deviatoric part of the Cauchy stress tensor \(\sigma (x,y,z) \in \mathbb R^{3 \times 3}_{\text {sym}}\), that is
where p is the pressure and \(\mathrm {tr}\,\sigma _D = 0\). These equations state that as long as a certain stress is not reached, there is no response of the fluid (see Fig. 1).
The geometry we consider consists of a Bingham fluid filling a vertical cylindrical domain \(\hat{\Omega }\times \mathbb R\subset \mathbb R^3\) and a solid inclusion \(\hat{\Omega }_s \times \mathbb R\subset \hat{\Omega }\times \mathbb R\), where
with \(\hat{\Omega }_s^i \cap \hat{\Omega }_s^j = \emptyset \) and \(\partial \hat{\Omega }\cap \partial \hat{\Omega }_s^i=\emptyset \), so that \(\hat{\Omega }_s\) is composed of disconnected particles that do not touch the boundary of the domain. We denote by \(\hat{\Omega }_f = \hat{\Omega }\setminus \hat{\Omega }_s\) the portion of the domain occupied by the fluid, and by \(\rho _s, \rho _f\) the corresponding constant densities. We focus on a vertical stationary flow, meaning that the velocity is of the form \(v=\hat{\omega }(0,0,1)^T\) and constant in time. Moreover, all quantities are invariant along the vertical direction, so we can directly consider a scalar velocity \(\hat{\omega }:\hat{\Omega }\rightarrow \mathbb R\) (\(\hat{\omega }\) is the velocity of the fluid on \(\hat{\Omega }_f\) and of the solid in \(\hat{\Omega }_s\)), see Fig. 2. For the rest of the article, the differential operators denoted by \(\nabla \) and \({\text {div}}\) are the twodimensional ones.
Additionally to incompressibility, we consider the stronger condition of an exchange flow problem, meaning that we require that the total flux across the horizontal slice is zero,
A word on this condition is required. If the cylindrical domain was closed by a bottom fluid reservoir on which noslip boundaries are assumed, one could use incompressibility, the divergence theorem and the boundary conditions to obtain (3) in any horizontal plane. In our case, while not strictly consistent with an infinite cylinder, it is added as a modelling assumption, reflecting that the region of interest is far away from the bottom of the 3D domain. The same approximation has been used in previous works treating models of drilling and cementing of oil wells [14, 15] and justified experimentally in [20] with applications to magma in volcanic conduits.
In the antiplane case, the Bingham constitutive law (1) can be written in terms of the vector of shear stresses \(\hat{\tau }= (\sigma _{xz}, \sigma _{yz})\) to obtain
Since the material occupying the region \(\hat{\Omega }_s\) is perfectly rigid, the corresponding constitutive law is
Noting the decomposition of the stress tensor (2), the balance laws for the fluid and the solid particles then write
with \(p_z\) the pressure gradient along the vertical direction. The second equation in (6) expresses that for a steady fall motion, the gravity and buoyancy forces should be in equilibrium with the shear forces exerted by the fluid on each particle [32]. The buoyancy forces \(b_i\) on each solid particle should be understood as resulting from Archimedes’ principle and originating outside the region of interest, being exerted by the bottom reservoir of fluid. This interpretation implies that these forces are proportional to the volume of the solids and the vertical difference of pressure, a fact that we obtain as a consequence of the exchange flow condition in (9). In this equation, \(n_f\) is the exterior unit normal to \(\partial \hat{\Omega }_f\), which at \(\partial \hat{\Omega }_f \cap \partial \hat{\Omega }_s\) is the interior unit normal to \(\partial \hat{\Omega }_s\).
These equations are complemented by the following boundary conditions: we assume that on the boundaries of \(\hat{\Omega }\), we have a noslip boundary condition
and similarly we assume that \(\hat{\omega }\) is continuous across the interface \(\partial \hat{\Omega }_s\),
Eigenvalue Problems
We assume that \(\hat{\Omega }\) and \(\hat{\Omega }_s\) are bounded and strongly Lipschitz, \(\hat{\Omega }_s \subset \hat{\Omega }\), that \(\partial \hat{\Omega }_s \cap \partial \hat{\Omega }= \emptyset \) and that \(\hat{\Omega }_s\) has finitely many connected components. Following [17, 30], we introduce the functional
with the set of admissible velocities
where the argument m is a scalar multiplier for the exchange flow condition (3). Writing the Euler–Lagrange equations in the \(\hat{\omega }\) argument at an optimal pair for the saddle point problem, we obtain a solution of our constitutive and balance Eqs. (4) and (6), with
Notice that since we work in \(\hat{H}_\star \), the noslip boundary condition (7) and solid constitutive law (5) are automatically satisfied, and adequate testing directions are constant on connected components of \(\hat{\Omega }_s\), which leads to the force balance condition in the second part of (6). Condition (8) is implied (in an appropriate weak form) by the fact that \(\hat{\omega }\in H^1(\hat{\Omega })\).
Since \(\hat{F}\) is convex in its first argument and concave on the second, we can introduce the integral constraint in the space, and focus on the equivalent formulation of finding minimizers of
over
We proceed to simplify the dimensions in the above functional, so that we can work with just one parameter. Assuming a given length scale \(\hat{L}\), we define the buoyancy number Y and a velocity scale \(\hat{\omega }_0\) by
so that defining the rescaled velocity \(\omega \) and corresponding domains by
we end up with the functional
to be minimized over
By the direct method it is easy to prove (see for instance [17]) that \(G_Y^\diamond \) has a unique minimizer, which we denote by \(\omega _Y\) and that corresponds to the weak solution of (3), (4), (5), (6), (7), and (8) in physical dimensions through the scaling in (10). Now, noticing that \(u \mapsto Y\int _{\Omega _f} \nabla u\int _{\Omega _s}u\) is convex, and that the Gâteaux derivative of \(u \mapsto \int _{\Omega _f} \nabla u^2\) at the point \(\omega _Y\) in direction h is \(\int _{\Omega _f} \nabla \omega _Y \cdot \nabla h\), differentiating in the direction \(v\omega _Y\), as done in [13, Sect. I.3.5.4] shows that for every \(v \in H_\diamond \),
As in [17], one can introduce
and test inequality (12) with \(v = 0\) and \(v = 2\omega _Y\) to obtain
From this, and using the definition of \(Y_c\) in (13) it follows that
The last inequality implies, thanks to the homogeneous boundary conditions on \(\omega \), that \(\omega _Y = 0\) in \(\Omega _f\) as soon as \(Y \geqslant Y_c.\)
Relaxed Problem and Physical Meaning
We determine the critical yield stress \(Y_c\), defined in (13) and properties of the associated eigenfunction. The optimization problem (13) is equivalent to computing minimizers of the functional
Because E might not attain a minimizer in \(H_\diamond \), we consider a relaxed formulation on a subset of functions of bounded variation.
Functions of Bounded Variations and Their Properties
We recall the definition of the space of functions of bounded variation and some properties of such functions that we will use below. Proofs and further results can be found in [1], for example.
Definition 1
Let \(A \subset \mathbb R^2\) be open. A function \(v \in L^1(A)\) is said to be of bounded variation if its distributional gradient \(\nabla v\) is a Radon measure with finite mass, which we denote by \(\mathrm {TV}(v)\). In particular, if \(\nabla v \in L^1(A)\), then \(\mathrm {TV}(v)=\int _A \left\nabla v \right\). Similarly, for a set B with finite Lebesgue measure \(B < +\infty \) we define its perimeter to be the total variation of its characteristic function \(1_B\), that is, \({\text {Per}}(B)=\mathrm {TV}(1_{B})\).
Theorem 1
The space of functions of bounded variation on A, denoted \(\mathrm {BV}(A)\), is a Banach space when associated with the norm
The space of functions of bounded variation satisfies the following compactness property [1, Theorem 3.44]:
Theorem 2
(Compactness and lower semicontinuity in \(\mathrm {BV}\)) Let \(v_n \in \mathrm {BV}(A)\) be a sequence of functions such that \(\Vert v_n \Vert _{\mathrm {BV}(A)}\) is bounded. Then there exists \(v \in \mathrm {BV}(A)\) for which, possibly upon taking a subsequence, we have
In addition, for any sequence \((w_n)\) that converges to some w in \(L^1\),
We frequently use the coarea and layer cake formulas:
Lemma 1
Let \(u \in \mathrm {BV}(\mathbb R^2)\) with compact support, then the coarea formula [1, Theorem 3.40]
holds. If \(u \in L^1(\mathbb R^2)\) is nonnegative, then we also have the layer cake formula [26, Theorem 1.13]
An important role in characterizing constrained minimizers of the \(\mathrm {TV}\) functional is played by Cheeger sets, which we now define.
Definition 2
A set is called Cheeger set of \(A \subseteq \mathbb R^2\) if it minimizes the ratio \({\text {Per}}(\cdot ) / \cdot \) among the subsets of A.
The following result is well known and has been stated for instance in [25, Proposition 3.5, iii] and [29, Proposition 3.1]:
Theorem 3
For every nonempty measurable set \(A \subseteq \mathbb R^2\) open, there exists at least one Cheeger set, and its characteristic function minimizes the quotient \(u \mapsto \mathrm {TV}(u)/\Vert u\Vert _{L^1(A)}\) in \(L^1(A)\setminus \{0\}\). Moreover, almost every level set of every minimizer of this quotient is a Cheeger set.
Remark 1
Some sets may have more than one Cheeger set, which introduces nonuniqueness in the minimizers of the quotient \(\mathrm {TV}(\cdot )/\Vert \cdot \Vert _{L^1(A)}\). One example is the set \(\Omega \) of Fig. 6 below.
Generalized Minimizers of E
Using the compactness Theorem 2, it follows that the relaxed quotient
of (15) attains a minimizer in the space
Note that the quotient E is invariant with respect to scalar multiplication, and we can therefore add the constraint
to \(\mathcal {B}\) without changing the minimal value of the functional E. Thus, the problem of minimizing E over \(\mathcal {B}\) is equivalent to the following problem:
Problem 1
Find a minimizer of \(\mathrm {TV}\) over the set
By using standard compactness and lower semicontinuity results in \(\mathrm {BV}(\mathbb R^2)\), it is easy to see [17] that there is at least one solution to Problem 1. In particular, we emphasize that all the constraints above are closed with respect to the \(L^1\) topology.
Remark 2
Notice that \(\mathrm {BV}_\diamond \) is larger than the optimization space (28) used in [17] , where it has been assumed that \(v=\text {const.}\) in \(\Omega _s\). See also Sect. 5.3.
The Critical Yield Limit
We investigate the limit of \(\omega _Y\) [the minimizer of \(G_Y^\diamond \), defined in (11)] when \(Y \rightarrow Y_c\). For this purpose we first prove
Proposition 1
The quantity \(\int _{\Omega _f} \nabla \omega _Y\) is nonincreasing with respect to \(0 \leqslant Y \leqslant Y_C\). In particular, it is bounded.
Proof
Let \(Y_c \geqslant Y_1 > Y_2 \geqslant 0\). Then, from the definition (11) of \(\omega _Y\) being a minimizer of \(G_Y^\diamond \) it follows that
and summing, we get
which implies the assertion. \(\square \)
We are now ready to investigate the convergence of \(\omega _Y\) and its rate.
Theorem 4
For \(Y \nearrow Y_c\), we have
Moreover, the sequence of rescaled profiles
converges in the sense of Theorem 2, up to possibly taking a sequence, to a solution of Problem 1.
Proof
The first part of the proof is already presented in [13, Sect. VI 8.3, Equation (8.20)] but we reproduce it here for convenience. As before, let \(Y_c \geqslant Y_1 > Y_2 \geqslant 0\). We use (12) for \(Y_1\) and \(v=\omega _{Y_2}\) as well as the same inequality for \(Y_2\) and \(v = \omega _{Y_1}\) and sum the inequalities obtained to get
With \(Y_1 = Y_c\) and \(Y_2\) a generic Y, and since \(\omega _{Y_c}=0\), the above implies
On the other hand, the Cauchy–Schwarz inequality gives
Putting these two inequalities together, we obtain
which leads to (19).
Now, the associated functions \(v_Y\), defined in (20), have total variation 1 and zero mean. From Theorem 2 it follows that \(v_Y\) converges in \(L^1\) to some \(v_c\). Now, it follows directly from (21) and (14) that
and therefore, using the \(L^1\) convergence of \(v_Y\), its definition (20) and that \(\int _{\Omega } \nabla \omega _y=\int _{\Omega _f} \nabla \omega _y\), (22) implies
Recalling that \(\mathrm {TV}( v_Y) = 1\), the semicontinuity of the total variation with respect to \(L^1\) convergence implies \(\mathrm {TV}( v_c) \leqslant 1\), which yields
which can be rewritten as
so \(v_c\) is a maximizer of \(v \mapsto \frac{\int _{\Omega _s} v}{\int _\Omega \nabla v} \). \(\square \)
From the above result, we see that a minimizer of the quotient \(\frac{\int _\Omega \nabla v}{\int _{\Omega _s} v}\) can be obtained as a limit of rescaled physical velocities, and therefore carries information about their geometry. For this reason, we will focus on these minimizers in the following.
Piecewise Constant Minimizers
We prove the existence of solutions of Problem 1 with particular properties. In our previous work [17] this problem was considered under the assumption that the velocity is constant in the whole \(\Omega _s\). In the situation considered here, the physical velocity \(\omega \) is constant only on every connected component of \(\Omega _s\), and the velocity of each solid particle is an unknown. Therefore, the candidates of limiting profiles v over which we optimize (belonging to \(\mathrm {BV}_\diamond \)) also satisfy \(\nabla v = 0\) on \(\Omega _s\).
A Minimizer with Three Values
Theorem 5
There is a solution of Problem 1 that attains only two nonzero values.
The same result has been proved in [17] in the simpler situation when the velocities were considered uniformly constant on the whole \(\Omega _s\). For the proof of Theorem 5, we proceed in two steps:

1.
We prove the existence of a minimizer for Problem 1 which attains only finitely many values. This is accomplished by convexity arguments reminiscent of slicing by the coarea (16) and layer cake (17) formulas, but more involved.

2.
When considered over functions with finitely many values, the minimization of the total variation with integral constraints is a simple finitedimensional optimization problem, and standard linear programming arguments provide the result.
The core of the proof of Theorem 5 is the following lemma, that states that a simplified version of the minimization problem can be solved with finitely many values.
Lemma 2
Let \(\Omega _1 \subset \Omega _0\) be two bounded measurable sets, \(\nu \in \mathbb R\). Then, there exists a minimizer of \(\mathrm {TV}\) on the set
where the range consists of at most five values, one of them being zero.
In turn our proof of Lemma 2 is based on the following minimizing property of level sets, which we believe could be of interest in itself.
Lemma 3
Let \(\Omega _0, \Omega _1, \nu \) and \(\mathcal {A}_\nu (\Omega _0, \Omega _1)\) be as in Lemma 2, and u a minimizer of \(\mathrm {TV}\) in \(\mathcal {A}_\nu (\Omega _0, \Omega _1)\). Assume further that u has values only in [0, 1], and denote \(E_s := \{u > s\}\). Let \(s_0\) be a Lebesgue point of \( s \mapsto {\text {Per}}(E_s)\) and \(s \mapsto E_s\) (these two functions are measurable, so almost every \(s \in [0,1]\) is a Lebesgue point for them). Then \(1_{E_{s_0}}\) minimizes \(\mathrm {TV}\) in \(\mathcal {A}_{E_{s_0}}(\Omega _0, \Omega _1)\).
The proofs of these two lemmas are located after the proof of Theorem 5.
Proof of Theorem 5
Step 1. A minimizer with finite range
To begin the proof, we assume that we are given a minimizer u of the total variation in \(\mathrm {BV}_\diamond \), that is, a solution of Problem 1. We represent \(\Omega _s\) by its connected components \(\Omega ^i_s\), \(i=1,\ldots ,N\),
Since u belongs to \(\mathrm {BV}_\diamond \), u is constant on every \(\Omega ^i_s\), and we introduce the constants \(\gamma _i\) such that
We can assume that \(\gamma _i \leqslant \gamma _{i+1}\). Note that the constraint (18) reads
Defining
we have
Notice that each \(u_i\) minimizes the total variation among functions with fixed integral \(\int _\Omega u_i\), and satisfying the boundary conditions \(u = \gamma _i\) on \(\{u \leqslant \gamma _i\}\) and \(u=\gamma _{i+1}\) on \(\{u \geqslant \gamma _{i+1}\}\).
As a result, the function \(v_i := \frac{u_i  \gamma _i}{\gamma _{i+1}  \gamma _i} \) minimizes the total variation with constraints \(\left. v_i \right _{\mathbb R^2 \setminus \{u > \gamma _i\}} \equiv 0\), \(\left. v_i \right _{\{u \geqslant \gamma _{i+1}\}} \equiv 1\) and prescribed integral. Lemma 2 (applied with \(\Omega _0 = \{u > \gamma _i\}\) and \(\Omega _1 = \{u \geqslant \gamma _{i+1} \}\)) shows that \(v_i\) can be replaced by a five levelset function \(\tilde{v}_i\) which has total variation smaller or equal to \(\mathrm {TV}(v_i)\). Hence \(u_i\) can be replaced by the five levelset function \(\tilde{u}_i := \gamma _i + \tilde{v}_i (\gamma _{i+1}  \gamma _i)\) without increasing the total variation.
Therefore, the finitelyvalued function
is again a solution of Problem 1 (the functions u and \(\tilde{u}\) coincide on \(\Omega _s\), so the constraint is satisfied).
Step 2. Construction of a threevalued minimizer
Step 1 provides a solution \(\tilde{u}\) of Problem 1 that reaches a finite number (denoted as \(p+1\)) of values. We denote its range (listed in increasing order) by
where \(p^ \leqslant 0 \leqslant p^+\), \(p^+  p^ = p\) and \(\gamma _i < 0\) for \(i< 0\) and \(\gamma _i > 0\) for \(i >0.\)
Let us now define, for \(i <0\), \(E_i := \{\tilde{u} \leqslant \gamma _i\}\) and \(\alpha _i := \gamma _i  \gamma _{i+1}\) and for \(i > 0\), \(E_i := \{ \tilde{u} \geqslant \gamma _i\}\) and \(\alpha _i := \gamma _i  \gamma _{i1}.\) The function \(\tilde{u}\) then writes
where \(E_i \subset E_j\) whenever \(i<j<0\) or \(i>j>0.\)
We also have
where \(E_i^s = E_i \cap \Omega _s\).
Since \(\tilde{u}\) is a solution to Problem 1, the collection \((\alpha _i)\) minimizes \(\sum _i \alpha _i {\text {Per}}(E_i) \) with constraints
as well as \(\alpha _i < 0\) for \(i< 0\) and \(\alpha _i >0\) for \(i>0.\) The constraint on the sign of the \(\alpha _i\) is made such that the formula (24) holds. Indeed, if the \(\alpha _i\) change signs, the right hand side of (24) is only an upper bound for \(\mathrm {TV}(\tilde{u})\).
Introducing the vectors
minimizing (24) for \(\tilde{u}\) of the form (23) and with the constrained mentioned above is reformulated into finding a minimizer of
Denoting by \(\sigma \in \{1,1\}^{p} \subseteq \mathbb R^{p}\) indexed by \(i \in \{p^, \ldots ,p^+\}\) with \(\sigma _i = 1\) for \(i< 0 \) and \(\sigma _i = 1\) for \(i>0\), this minimization problem can be rewritten as
where \(\sigma :x := (x_1 \sigma _1, \ldots , x_p \sigma _p, x_{p+1} \sigma _{p+1})\). The space of constraints is then a (possibly empty) polyhedron given by the intersection of the quadrant \(\sigma :x \geqslant 0\) with the two hyperplanes \(c^T x = 0\) and \(b^T x =\Omega _s\). Now for a point of a polyhedron in \(\mathbb R^{p}\) to be a vertex, we must have that at least p constraints are active at it. Therefore, at least \(p2\) of these constraints should be of those defining the quadrant \(\sigma : x \geqslant 0\), meaning that at a vertex, at least \(p2\) coefficients of x are zero.
This polyhedron could be unbounded, but since \(a \geqslant 0\) and \(\sigma :x \geqslant 0\) componentwise, the minimization of \(a^T (\sigma :x)\) must have at least one solution in it. Moreover, since it is contained in a quadrant (\(\sigma : x \geqslant 0\)), it clearly does not contain any line, so it must have at least one vertex [5, Theorem 2.6]. Since the function to minimize is linear in x, it has a minimum at one such vertex [5, Theorem 2.7]. That proves the existence of a minimizer of (25) with at least \(p2\) of the \((\alpha _i)\) being zero. This corresponds to a minimizer for Problem 1 which has only two levelsets with nonzero values, finishing the proof of Theorem 5.\(\square \)
Proof of Lemma 2
Proof of Lemma 2
For conciseness, we denote the set \(\mathcal {A}_\nu (\Omega _0, \Omega _1)\) by \(\mathcal {A}\). Let w be an arbitrary minimizer of \(\mathrm {TV}\) in \(\mathcal {A}\). Splitting w at 0 and 1 we can write
with \(w^{1+} := w \cdot 1_{w \geqslant 1} + 1_{w < 1}\), \(w^{(0,1)} = w \cdot 1_{0 \leqslant w \leqslant 1} + 1_{w > 1}\), and \(w^\) the usual negative part. We see from the coarea formula that
With this splitting, \(w^\) can be seen to be a minimizer of \(\mathrm {TV}\) over
By Theorem 3, almost every level set of \(w^\) is a Cheeger set of \(\Omega _0 \setminus \{w >0\}\), the complement of \(\left\{ w > 0 \right\} \cup \mathbb R^2 \backslash \Omega _0\). In particular, if we replace \(w^\) by \(\frac{\int _\Omega w^}{\mathcal C_0}1_{\mathcal C_0}\), where \(\mathcal C_0\) is one such Cheeger set, the total variation doesn’t increase. Therefore, there exists a minimizer \(\tilde{w}^\) of \(\mathrm {TV}\) on \(\mathcal {A}^\) that reaches only one nonzero value.
With an analogous argumentation we see that, because \(w^{1+}\) minimizes \(\mathrm {TV}\) on the set
there exists a minimizer \(\tilde{w}^{1+}\) that writes
where \(\mathcal C_1\) is a Cheeger set of \(\{w \geqslant 1\}\) and \(\zeta \geqslant 0\) is a constant.
Moreover, defining
\(w^{(0,1)}\) minimizes \(\mathrm {TV}\) on the set
The remainder of the proof consists in showing that there exists a minimizer of \(\mathrm {TV}\) in \(\mathcal {A}^{(0,1)}_\mu \) that attains only three values. Since \(w^{(0,1)}\) is one of them, there exists some minimizer of \(\mathrm {TV}\) in \(\mathcal {A}^{(0,1)}_\mu \) with values in [0, 1]. We denote by u a generic one. In what follows, we denote by \(E_s := \{u > s\}\) the levelsets of u.
Noticing that \(\mathcal {A}^{(0,1)}_\mu =\mathcal {A}_\mu (\{w \leqslant 0\},\{w \geqslant 1\})\), we can use Lemma 3 to obtain that for almost every s, \(1_{E_{s}}\) minimizes \(\mathrm {TV}\) in \(\mathcal {A}^{(0,1)}_{E_{s}}\). That implies in particular that for a.e. s, \(E_s\) minimizes perimeter with fixed mass. We introduce \(E_s^{(1)}\) the set of points of density 1 for \(E_s\) and \(E_s^{(0)}\) the set of points of density 0 for \(E_s\), that is
Lebesgue differentiation theorem implies that \(E_s^{(1)} = E_s\) and \(E_s^{(0)} = \Omega \setminus E_s\) a.e.
Now, since the levelsets are nested, the function \(s \mapsto E_s\) is nonincreasing. Therefore, there exists \(s_\mu \) such that
Let us now define
We then have the following fact, to be proved below:
Claim
If \(E^\pm \) is not empty, \(1_{E^\pm }\) minimizes total variation in \(\mathcal {A}^{(0,1)}_{E^\pm }\), with \(E^+ \leqslant \mu \leqslant E^.\)
To finish the proof of Lemma 2, we distinguish two alternatives. Either \(E^+\) or \(E^\) has mass \(\mu \), in which case the claim above implies Lemma 2, or \(E^\pm \) are both nonempty and
In the second case, let \(s< s_\mu \). Then, \(E^ \in (E^+,E_s)\) and there exists \(t = \frac{E^  E^+}{E_sE^+}\) such that \(E^ = t E_s + (1t) E^+.\) The function \(t 1_{E_s} + (1t) 1_{E^+}\) therefore belongs to \(\mathcal {A}^{(0,1)}_{E^}\). Since \(1_{E^}\) is a minimizer of \(\mathrm {TV}\) in this set, one must have
This equation rewrites
Similarly, if \(s > s_\mu \), one has \(E_s < E^+\) and \(E^+\) is a convex combination of \(\{E^, E_s\}.\) The same steps lead to the same (27). Finally, one just write (we use (27), the coarea and the layercake formulas)
with \(\lambda = \frac{\mu  E^+}{E^  E^+}\).
As a result, one can replace \(w^{(0,1)}\) in the decomposition (26) by a three valued minimizer \(\tilde{w}^{(0,1)}\) of \(\mathrm {TV}\) in \(\mathcal {A}^{(0,1)}_\mu \). Therefore, combining the three modified parts we see that there exists a minimizer in \(\mathcal {A}\)
which attains at most five values. \(\square \)
Proof of claim
By Lemma 3, \(1_{E_s^{(1)}}\) minimizes total variation in \(\mathcal {A}^{(0,1)}_{E_s}\) for almost every s. Then, let us select a decreasing sequence \(s_n \searrow s_\mu \) such that for each n, \(1_{E_{s_n}^{(1)}}\) minimizes total variation in \(\mathcal {A}^{(0,1)}_{E_{s_n}}\). Since \(E_{s_n}^{(1)} \rightarrow E^+\) in \(L^1\), one has \(E^+ = \lim E_{s_n}^{(1)} = \lim E_{s_n}\) and the semicontinuity for the perimeter gives
In fact, the sequence \({\text {Per}}(E_{s_n}^{(1)})\) is bounded. To see this, we fix a value \(\hat{s} < s_\mu \) and since \(E_{s_1} \subset E_{s_n}^{(1)} \subset E_{\hat{s}}\) we can write for some \(t_n \in (0,1)\)
Therefore, applying Lemma 3 again we obtain
Now, let us assume that there exists \(v \in \mathrm {BV}(\Omega )\) with \(\int v = E^+\) and \(\mathrm {TV}(v) < {\text {Per}}(E^+)  \varepsilon \). By the above, for every \(\delta >0\) we can find n such that \( E^+ \geqslant E_{s_n} \geqslant E^+  \delta \) and
Now, if \(\delta < \varepsilon /10\) is small enough, we can find a ball \(B_n \subset \Omega \) such that \(\int _\Omega v \cdot 1_{\Omega \setminus B_n} = E_{s_n}\) and \(\Vert v \Vert _\infty {\text {Per}}(B_n) \leqslant \varepsilon /10\), so we get
and therefore we get a contradiction with the \(\mathrm {TV}\)minimality of \(E_{s_n}^{(1)}\).
Selecting an increasing sequence \(\tilde{s}_n \nearrow s_\mu \) and such that \(\Omega \setminus E_{s_n}^{(0)}\) minimizes \(\mathrm {TV}\) in \(\mathcal {A}^{(0,1)}_{E_{s_n}}\), we obtain similarly that \(1_{E^}\) minimizes \(\mathrm {TV}\) in \(\mathcal A^{(0,1)}_{E^}.\)\(\square \)
Proof of Lemma 3
Proof of Lemma 3
Since the arguments \(\Omega _0, \Omega _1\) are fixed for the course of this proof, we will denote the sets \(\mathcal {A}_\tau (\Omega _0, \Omega _1)\) by \(\mathcal {A}_\tau \) for each \(\tau >0\). First, note that for every \(s_1 < s_2\), the function
is such that \( v:= \frac{u_{[s_1,s_2]}  s_1}{s_2  s_1}\) minimizes the total variation in \(\mathcal {A}_{\int v}\). Indeed, if \(\hat{v} \in \mathcal {A}_{\int v}\) with \(\mathrm {TV}(\hat{v}) < \mathrm {TV}(v)\), then \(\mathrm {TV}(\hat{v}(s_2s_1)+s_1) < \mathrm {TV}(u_{[s_1,s_2]})\). Since \(u = (u \cdot 1_{u< s_1} s_1) + u_{[s_1,s_2]} + (u \cdot 1_{u> s_2}  s_2)\), then we would have
where \((u \cdot 1_{u< s_1} s_1) + (\hat{v}(s_2s_1)+s_1) + (u \cdot 1_{u> s_2}  s_2) \in \mathcal {A}_{\nu }\), which is a contradiction with the minimality of u.
Letting \(s_0\) as in the assumptions, we have just seen that for every \(h >0\), \(\frac{u_{[s_0  h, s_0 + h]}  (s_0h)}{2h}\) minimizes the total variation in \(\mathcal {A}_{\nu _h}\) with
On the other hand, the total variation of \(\frac{u_{[s_0  h, s_0 + h]}  (s_0h)}{2h}\) writes, using the coarea formula,
Finally, let us assume that \(1_{E_{s_0}}\) does not minimize total variation in \(\mathcal {A}_{E_{s_0}}\). Then, there would exist \(\varepsilon > 0\) and \(u_0 \in \mathcal {A}_{E_{s_0}}\) such that
Since \(s_0\) is a Lebesgue point, one can find \(\delta >0\) such that for every \(h \leqslant \delta \),
Let \(h\leqslant \delta \) and B be a ball such that \({\text {Per}}(B) \leqslant \frac{\varepsilon }{4 \Vert u_0 \Vert _\infty }\). There exists \(\alpha \) such that the function \(u_0 + \alpha 1_B\) satisfies
Reducing h if needed, one can enforce that \(\alpha  \leqslant 2 \Vert u_0 \Vert _\infty \).
Then,
which contradicts the minimality of \(u_{[s_0  h, s_0+h]}\) and proves the claim. \(\square \)
Minimizers with Connected LevelSets
In this subsection, we refine our analysis slightly, and show the existence of threevalued minimizers for Problem 1 with additional properties. We start with the following definition:
Definition 3
A set of finite perimeter A is called indecomposable, if there are no two disjoint finite perimeter sets B, C such that \(B>0\), \(C>0\), \(A = B \cup C\) and \({\text {Per}}(A)={\text {Per}}(B)+{\text {Per}}(C)\).
This notion is in fact a natural measuretheoretic sense of connectedness for sets for finite perimeter, for more information about it see [2].
Remark 3
By computing the Fenchel dual of Problem 1, it can be seen that the nonzero levelsets of any solution are minimizers of the functional
This optimality property in turn implies lower bounds only depending on k for the perimeter and mass of E, and in case it can be decomposed in the sense of Definition 3, the same lower bounds also hold for each set in such a decomposition. In consequence, E can only be decomposed in at most a finite number of sets. The proof of these statements relies heavily on the results of [2], and is presented in [12] for the unconstrained case, and [21] for the case with Dirichlet constraints, as used here.
Assuming these results, one can simplify the level sets of solutions further:
Theorem 6
There exists a minimizer for Problem 1 attaining exactly three values for which all nonzero levelsets are indecomposable.
Proof
First, we consider the positive levelset and assume that it is decomposable in two sets \(\Omega _1, \Omega _2\) as in Definition 3. Then the corresponding minimizer u can be written as
where \(\alpha , \beta >0\). Consider a perturbation of u of the form
with \(h \leqslant \alpha , k \leqslant \alpha \), and \(l \leqslant \beta \). Then, since \(\Omega _1 \cap \Omega _2 = \emptyset \), \(u_h \in \mathrm {BV}_\diamond \) if and only if
where \(\Omega _i^s := \Omega _i \cap \Omega _s.\) These two equations lead to
Under our assumptions on \(h, k, l, \Omega _1\) and \(\Omega _2\), and since \(1_{\Omega _1}+1_{\Omega _2}=1_{\Omega _1 \cup \Omega _2}\), the total variation of the perturbed function \(u_h\) can be written as
Then, because u is a minimizer of \(\mathrm {TV}\), it follows that
Since the left hand side and k, l are linear in h, one can replace h by \(h\) and obtain
which shows that \(u_h\) is also a minimizer. Now since we have
one can choose h such that \(h=\alpha \) or \(k = \alpha \) without violating \(l\le \beta \), and therefore produce a minimizer whose positive part is either \(\Omega _2\) or \(\Omega _1\), respectively. We proceed similarly for the negative part and therefore obtain an indecomposable negative levelset. \(\square \)
Remark 4
In the above proof, through an adequate choice of components for deletion, one can even obtain simply connected level sets. The measuretheoretic notion corresponding to simple connectedness is defined in [2] to be boundedness of the connected components of the complement of the set, these connected components having been defined through indecomposability. For example, assuming that \(\Omega _2\) is fully enclosed in \(\Omega _\) (that is if \(\partial \Omega _2 \cap \partial \Omega _ = \partial \Omega _2\)), then the variation of \(u_h\) can also be written
which is linear in h as long as \(k \geqslant \alpha  \beta  l\). The equality case in this last constraint corresponds to joining \(\Omega _2\) to \(\Omega _\), and avoiding creating a “hole” in \(\Omega _\) by the procedure mentioned above (which replaces \( \alpha 1_{\Omega _2}\) by zero). Clearly, this procedure can also be performed for the positive level set, and in fact the “holes” to be deleted could also be connected components of the zero level set. Therefore, a solution in which both the positive and negative level set are simply connected can be obtained.
Remark 5
The intuition behind these last results is that, like in the proof of Theorem 5, the constraints of the problem are linear with respect to the values, and the total variation is also linear as long as the signs of the differences of values at the interfaces do not change. In particular, the points at which the topology of the level sets changes are situations in which these signs change (that is, the values of two adjacent level sets are equal).
Numerical Scheme and Results
We now turn our attention to the numerical computation of solutions to the eigenvalue for Problem 1. At first, for simplicity, we limit ourselves to the case (considered in [17]) in which the velocities are assumed constant on the whole \(\Omega _s\). That is, the problem considered is minimization of the total variation in the space
where the constraint \(u \equiv 1 \text { in } \Omega _s\) corresponds to (18) under this simplification.
This restriction corresponds to the case in which either \(\Omega _s\) is connected, so that there is only one solid particle, or all the particles are constrained to move with the same velocity. In Sect. 5.4 we point out the required modifications for the multiparticle case and present a variety of computed examples.
To compute a minimizer of \(\mathrm {TV}\) in \(\mathrm {BV}_{\diamond ,1}\), we use a standard primal dual algorithm [10]. The constraint \(\int _{\Omega } v = 0\) is enforced through a scalar Lagrange multiplier q, whereas the conditions \(v = 0\) on \(\partial \Omega \) and \(v = 1\) on \(\Omega _s\) are encoded as indicator functions. Our discretization of choice is finite differences on a rectangular grid \(\{1,\ldots , m\}\times \{1,\ldots n\}\), where in this whole section, for simplicity, we assume that \(n=m\) and \(\Omega \Subset (0,1)^2\). This leads to a saddle point problem of the form
Here, \(X=\mathbb R^{n^2}\) denotes the space of realvalued discrete functions on the square grid \(G^n=\{1,\ldots , n\}\times \{1,\ldots n\}\). Since we use Dirichlet boundary conditions, the grid encloses the physical domain. The corresponding constraint set is then
where \(\Omega ^n\) and \(\Omega ^n_s\) denote the parts of the grid corresponding to \(\Omega \) and \(\Omega _s\) respectively (note that to correctly account for perimeter at the boundary we must have \(\Omega ^n \subset \{2,\ldots , n1\}\times \{2,\ldots n1\}\)). The indicator function (in the convex analysis sense) of a set A is denoted by \(\upchi _A\), so that \(\upchi _A(x)=0\) if \(x \in A\), and \(+\infty \) otherwise. \(\nabla \) stands for a suitable discrete gradient, whose choice we now discuss.
Discretization
We discretize the problem using the “upwind” scheme of [11] which has the advantage of carrying a high degree of isotropy. The discrete velocity is denoted by \(v^{ij}\), and we use the signed gradient \((\nabla v)^{ij}\) introduced in [11], containing separate components for forward and backward differences with opposite signs:
therefore, at each grid point \((i,j) \in G^n\) the signed gradient and its corresponding multiplier variables \(\nabla v^{ij}, p^{ij} \in (\mathbb R^2)^2\). We note that to compute the gradient when any of the indices is 1 or n one needs to extends the functions outside the grid, but for the problem at hand any choice will do, since \(\Omega ^n\) never touches the boundary of the grid.
For us it is important to use a discretization that takes into account derivatives in all coordinate directions equally, since we aim to resolve sharp geometric interfaces that are not induced by a regularization data term. Figure 3 contains a comparison with the results obtained when using forward differences. In that case, the geometry of the interfaces is distorted according to their orientations, a phenomenon which is minimized in the upwind scheme. Using centered differences is also not adequate, since the centered difference operator has a nontrivial kernel and our solutions are constant in large parts of the domain.
Convergence of the Discretization
It is wellknown that the standard finite difference discretizations of the total variation converge, in the sense of \(\Gamma \)convergence with respect to the \(L^1\) topology [11], where the discrete functionals are appropriately defined for piecewise constant functions. We now aim to demonstrate that the chosen discretization and penalization scheme still converges and correctly accounts for the boundary conditions in the limit. We introduce, for each \((i,j) \in \left\{ 1,\ldots ,n1 \right\} ^2\),
First, we need to decide which constraint to use in the discrete setting. We denote by
Our choice is to take
whereas
such that the discrete constraints are less restrictive than the continuous ones (see Fig. 4) and
We define \(\mathrm {TV}^n\) as in [11], when the function is piecewise constant on the \(R_{ij}^n\) and \(+\infty \) otherwise.
with \(\nabla v^{ij} \vee 0\) denotes the positive components of \(\nabla v^{ij}\), which was defined in (31), therefore picking only the ‘upwind’ variations. The norm is computed using the inner product in \(\mathbb R^{2 \times 2}\).
We first prove the following lemma, which states that the continuous total variation may be computed with multipliers with positive components, mimicking the discrete definition.
Lemma 4
Let \(v \in \mathrm {BV}(\mathbb R^d)\) and \(\Omega \subset \mathbb R^d\) open. Then, \(\mathrm {TV}(v,\Omega ) = \mathrm {TV}^+(v,\Omega )\), where
Proof
We recall that
Let p, q be admissible in the right hand side of (33). Then we notice that \(pq\) is also admissible in (34), because p, q being componentwise positive implies
and since \({\text {div}}(pq)={\text {div}}p  {\text {div}}q\) we have
To prove the reverse inequality, let \(\varepsilon > 0\) be arbitrary and \(p_\varepsilon \in \mathcal C_0^1(\Omega ,\mathbb R^d)\) with \(p_\varepsilon  \leqslant 1\) such that
which we can write (renaming \(p_\varepsilon \) to its additive inverse, for convenience) as
Noting that \(p_\varepsilon  \leqslant 1\) and \(\frac{\mathrm {d}\nabla v}{\mathrm {d}\nabla v} \leqslant 1\), the last inequality implies (since for \(\mu ,\nu  \leqslant 1\), \(\mu  \nu ^2 \leqslant 2  2 \mu \cdot \nu \)) as
Notice that we may write this integral, since the function \(\frac{\mathrm {d}\nabla v}{\mathrm {d}\nabla v}\) is a RadonNikodym derivative, in principle only in \(L^1(\Omega , \nabla v)\), but its modulus is 1 for \(\nabla v\)almost every point [1, Corollary 1.29], so it is also in \(L^2(\Omega , \nabla v)\). Now, by (35) and the Cauchy–Schwarz inequality we have
Now we replace the components \((p_\varepsilon )_{ij}\) by \((\tilde{p}_\varepsilon )_{ij}\) which are smooth, coincide with \((p_\varepsilon )_{ij}\) out of \(\{(p_\varepsilon )_{ij} < \sqrt{\varepsilon } \}\), that satisfy
and such that \(\{(\tilde{p}_\varepsilon )_{ij} = 0\}\) is the closure of an open set: One can for example choose
and define a smooth nondecreasing function \(\psi _\alpha : \mathbb R\rightarrow \mathbb R\) such that \(\psi _\alpha (t) = t\) for \(t \geqslant \alpha \), \(\psi _\alpha (t) \le t\) and \(\psi _\alpha (\alpha /2, \alpha /2)=\{0\}\) to define
Thus we have \(\tilde{p}_\varepsilon  \leqslant 1\) and \((\tilde{p}_\varepsilon )_{ij}  (p_\varepsilon )_{ij}  \leqslant \sqrt{\varepsilon }\), and taking into account (35) we obtain
Furthermore, using (36) and the definition of \(\tilde{p}_\varepsilon \) we obtain the estimate
which ensures, writing \(1\mu :\nu = \frac{1}{2} (1\mu ^2 + 1 \nu ^2 + \mu  \nu ^2)\) and by (37) that
Now, we notice that having fattened the levelset \(\{(\tilde{p}_\varepsilon )_{ij}=0\}\), we can write
where both quantities are smooth. Writing similarly
with \(\tilde{p}_\varepsilon ^\pm \) are smooth and have only positive components, we note that \((\tilde{p}_\varepsilon ^+,\tilde{p}_\varepsilon ^)\) are admissible in the right hand side of (33), so that (38) implies
Letting \(\varepsilon \rightarrow 0\), we conclude. \(\square \)
We can now prove Gammaconvergence of the discrete problems, implying convergence of the corresponding minimizers.
Theorem 7
where
and
Proof
First, we study the \(\Gamma \)liminf and assume that \(v_n \rightarrow v\) in \(L^1\). Notice that we can write \(\mathrm {TV}^n(v_n)\) as a dual formulation
where \({\text {div}}^n p \in \mathbb R^2\) is the signed divergence corresponding to (31), and defined by
This is obtained easily by a (discrete) integration by parts in the expression
Now, we note that every \(p : G \rightarrow (\mathbb R^2)^2\) can be viewed as the discretization of some smooth function \(\overline{p}:[0,1]^2 \rightarrow (\mathbb R^2)^2\), for example stating
As a result, one can write
It is well known that for a smooth function \(\overline{p}\), the quantity \({\text {div}}^n \overline{p}\) converges to
Therefore, using Lemma 4 we get
For \(\upchi _{C^n}\), let us first assume \(\upchi _{C}(v) = + \infty \), that is either \(v \not \equiv 0\) on \([0,1]^2 \setminus \Omega \) or \(v \not \equiv 1\) on \(\Omega _s\). If the latter holds, then for \(\varepsilon \) small enough, \(\Omega _s \cap \left( \{v > 1+2\varepsilon \} \cup \{v < 1 2 \varepsilon \} \right) \) has positive measure and thanks to the \(L^1\) convergence of \(v_n\),
must have a positive measure for n big enough. That implies \(\upchi _{C^n}(v_n) = + \infty \) and the \(\Gamma \)liminf inequality is trivially true. If \(\upchi _{C}(v) < \infty \), then \(\upchi _{C}(v) =0\) and the inequality is also true since \(C^n \subset C\).
Let now \(v \in \mathrm {BV}((0,1)^2)\). For the \(\Gamma \)limsup inequality we want to construct a sequence \(v_n \rightarrow v\) such that
If \(v \notin C\), any \(v_n \rightarrow v\) gives the inequality. If \(v \in C\), then we first introduce
where \(\psi _\delta \) is a convolution kernel with width \(\delta \).
Then, \(\mathrm {TV}(v_\delta ) \rightarrow \mathrm {TV}(v)\) ([3, Theorem 1.3], noticing that v is constant around \(\partial [0,1]^2\)) and, thanks to (32), if \(\delta \leqslant \frac{1}{n},\) we have \(\upchi _{C^n}(v_\delta ) = 0.\)
We define \(v_{\delta ,n}\) by
that satisfies \(\upchi _{C^n}(v_{\delta ,n}) = 0\), and compute
Then since \(v_\delta \in C^1\), it is clear that the right hand side converges to \(\partial _x v_\delta \). Note that in the ’upwind’ gradient of a smooth function, only one term by direction can be active, then it is also true for \(v_{\delta ,n}\) if n is large enough and therefore \(\mathrm {TV}^n(v_{\delta ,n}) \rightarrow \mathrm {TV}(v_\delta ).\) By a diagonal argument on \(\delta \) and n, we conclude. \(\square \)
Single Particle Results
In this section, we again restrict ourselves to the case in which there is either only one particle, or the particles are constrained to move with the same velocity.
In [17], it is shown analytically that the minimizers of \(\mathrm {TV}\) over the set \(\mathrm {BV}_{\diamond , 1}\) defined in (28) have levelsets that minimize some geometrical quantities. In particular, Theorem 4.10 shows that there exists a minimizer of the form
where \(\Omega _\) is the maximal Cheeger set of \(\Omega \setminus \Omega _s\), and \(\Omega _1\) is a minimizer of
over \(E \supset \Omega _s\).
Unfortunately, determining Cheeger sets analytically is only possible in a very narrow range of sets, which makes useful the numerical computation of minimizers. We present two examples of the output of the numerical method for (29) with the constraint (30). First, we consider the “Pacman” shaped \(\Omega _s\) within again a square \(\Omega \); see Fig. 5 (left). This example induces both asymmetry (leftright) and nonconvexity of \(\Omega _s\) which is showed in [17] to influence the geometry of the minimizer. The solution is shown in the central panel of Fig. 5 and the righthand panel shows a histogram of the solution.
The second example concerns the geometry depicted in Fig. 6 (top panel), in which \(\Omega _s\) denotes the two Lshaped regions in the white dumbbellshaped domain \(\Omega \). By giving a close look, it is clear that there is a Cheeger set of \(\Omega \setminus \Omega _s\) in each half of the domain, which implies the non uniqueness of the minimizer. The question is which solution the computations will converge to. Figure 6 (lower, left and right) show that different minimizers are selected numerically, in this case by using different numerical resolution.
Several Particles
We now extend the numerical scheme of to optimize also over the velocities \(\gamma _i\) on each component \(\Omega _s^i\). The corresponding problem is again the minimization (29), but with the new constraint set
Here, \((\Omega ^n_s)^i\) denotes the ith component of the discrete domain, corresponding to \(\Omega _s^i\). The set \(C^n\) is the discrete counterpart to the set \(\mathrm {BV}_\diamond \) used in Sects. 3 and 4.
We give several examples that illustrate the behavior of \(\mathrm {TV}\)minimizers in \(\mathrm {BV}_\diamond \) with a disconnected \(\Omega _s\). Figure 7 shows the influence of the positions of particles with respect to each other and to the boundary, which might lump up in different configurations. Figure 8 shows two generic situations: Fig. 8a, the flowing part is concentrated around one connected component of \(\Omega _s\) whereas on Fig. 8b, it is concentrated around the whole \(\Omega _s.\)
We also give an example where uniqueness of the minimizer is not expected. In Fig. 9, we consider a grid of circular particles in a square. It is easy to see analytically that any subset of the particles can be chosen as positive part of the minimizer. We present two computations at different numerical resolutions that pick two different subsets.
Since the solutions we compute correspond to limit profiles of the original flows (Theorem 7), the results presented both here and in Sect. 4.1 mean that near the stopping regime \(Y \rightarrow Y_c\) the transition between yielded and unyielded regions of the fluid typically happens closer and closer to the particle boundaries and the domain boundaries. This is consistent with the Cheeger set interpretation of the buoyancy case (which was already present in [17]) and the many previous works on nonbuoyancy cases ([19, 28], for example).
A Random Distribution of Small Particles
We also present two examples of random distribution of square particles in a bigger square. Figure 10 shows the same number of particles distributed in two different ways and the corresponding minimizers. This example shows that the yield number depends strongly on the geometry of the problem, not only on the ratio solid/fluid. An interesting problem would be to investigate the optimal distribution to maximize/minimize this yield number.
References
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. Oxford University Press, New York (2000)
Ambrosio, L., Caselles, V., Masnou, S., Morel, J.M.: Connected components of sets of finite perimeter and applications to image processing. J. Eur. Math. Soc. 3(1), 39–92 (2001)
Anzellotti, G., Giaquinta, M.: Existence of the displacement field for an elastoplastic body subject to Hencky’s law and von Mises yield condition. Manuscr. Math. 32(1–2), 101–136 (1980)
Balmforth, N.J., Frigaard, I.A., Ovarlez, G.: Yielding to stress: recent developments in viscoplastic fluid mechanics. Annu. Rev. Fluid Mech. 46(1), 121–146 (2014)
Bertsimas, D., Tsitsiklis, J.N.: Introduction to Linear Optimization. Athena Scientific, Belmont (1997)
Bogosel, B., Bucur, D., Fragalà, I.: Phase field approach to optimal packing problems and related Cheeger clusters. Appl. Math. Optim. (2018)
Carlier, G., Comte, M., Peyré, G.: Approximation of maximal Cheeger sets by projection. M2AN Math. Model. Numer. Anal. 43(1), 139–150 (2009)
Carlier, G., Comte, M., Ionescu, I., Peyré, G.: A projection approach to the numerical analysis of limit load problems. Math. Models Methods Appl. Sci. 21(6), 1291–1316 (2011)
Caselles, V., Facciolo, G., Meinhardt, E.: Anisotropic Cheeger sets and applications. SIAM J. Imaging Sci. 2(4), 1211–1254 (2009)
Chambolle, A., Pock, T.: A firstorder primaldual algorithm for convex problems with applications to imaging. J. Math. Imaging Vis. 40(1), 120–145 (2011)
Chambolle, A., Levine, S.E., Lucier, B.J.: An upwind finitedifference method for total variationbased image smoothing. SIAM J. Imaging Sci. 4(1), 277–299 (2011)
Chambolle, A., Duval, V., Peyré, G., Poon, C.: Geometric properties of solutions to the total variation denoising problem. Inverse Prob. 33(1), 015002 (2017)
Duvaut, G., Lions, J.L.: Inequalities in mechanics and physics. Springer, Berlin (1976). Grundlehren der Mathematischen Wissenschaften, 219
Frigaard, I.A.: Stratified exchange flows of two bingham fluids in an inclined slot. J. NonNewton. Fluid Mech. 78(1), 61–87 (1998)
Frigaard, I.A., Scherzer, O.: Uniaxial exchange flows of two Bingham fluids in a cylindrical duct. IMA J. Appl. Math. 61, 237–266 (1998)
Frigaard, I.A., Scherzer, O.: The effects of yield stress variation in uniaxial exchange flows of two Bingham fluids in a pipe. SIAM J. Appl. Math. 60, 1950–1976 (2000)
Frigaard, I.A., Iglesias, J.A., Mercier, G., Pöschl, C., Scherzer, O.: Critical yield numbers of rigid particles settling in Bingham fluids and Cheeger sets. SIAM J. Appl. Math. 77(2), 638–663 (2017)
Hassani, R., Ionescu, I.R., LachandRobert, T.: Shape optimization and supremal minimization approaches in landslides modeling. Appl. Math. Optim. 52, 349–364 (2005)
Hild, P., Ionescu, I.R., LachandRobert, T., Rosca, I.: The blocking of an inhomogeneous Bingham fluid. applications to landslides. M2AN Math. Model. Numer. Anal. 36, 1013–1026 (2002)
Huppert, H.E., Hallworth, M.A.: Bidirectional flows in constrained systems. J. Fluid Mech. 578, 95–112 (2007)
Iglesias, J.A., Mercier, G., Scherzer, O.: A note on convergence of solutions of total variation regularized linear inverse problems (2017). arXiv:1711.06495
Ionescu, I.R., LachandRobert, T.: Generalized cheeger’s sets related to landslides. Calc. Var. Partial Differ. Equ. 23, 227–249 (2005)
Jossic, L., Magnin, A.: Drag and stability of objects in a yield stress fluid. AIChE J. 47, 2666–2672 (2001)
Kawohl, B., LachandRobert, T.: Characterization of Cheeger sets for convex subsets of the plane. Pac. J. Math. 225(1), 103–118 (2006)
Leonardi, G.P., Pratelli, A.: On the Cheeger sets in strips and nonconvex domains. Calc. Var. Partial Differ. Equ. 55(1):Art. 15 (2016)
Lieb, E.H., Loss, M.: Analysis, Volume 14 of Graduate Studies in Mathematics, 2nd edn. American Mathematical Society, Providence, RI (2001)
Mosolov, P.P., Miasnikov, V.P.: Variational methods in the theory of the fluidity of a viscousplastic medium. J. Appl. Math. Mech. 29(3), 545–577 (1965)
Mosolov, P.P., Miasnikov, V.P.: On stagnant flow regions of a viscousplastic medium in pipes. J. Appl. Math. Mech. 30(4), 841–854 (1966)
Parini, E.: An introduction to the Cheeger problem. Surv. Math. Appl. 6, 9–21 (2011)
Putz, A., Frigaard, I.A.: Creeping flow around particles in a Bingham fluid. J. NonNewton. Fluid Mech. 165, 263–280 (2010)
Vinay, G., Wachs, A., Agassant, J.F.: Numerical simulation of nonisothermal viscoplastic waxy crude oil flows. J. NonNewton. Fluid Mech. 128(2), 144–162 (2005)
Weinberger, H.F.: Variational properties of steady fall in Stokes flow. J. Fluid Mech. 52(2), 321–344 (1972)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). This research was supported by the Austrian Science Fund (FWF) through the National Research Network ‘Geometry+Simulation’ (NFN S11704). We would like to thank Ian Frigaard (UBC) for useful discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Iglesias, J.A., Mercier, G. & Scherzer, O. Critical Yield Numbers and Limiting Yield Surfaces of Particle Arrays Settling in a Bingham Fluid. Appl Math Optim 82, 399–432 (2020). https://doi.org/10.1007/s0024501895318
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0024501895318
Keywords
 Bingham fluid
 Exchange flow
 Settling
 Critical yield number
 Total variation
 Piecewise constant solutions
Mathematics Subject Classification
 49Q20
 76A05
 76T20
 49M25