Abstract
We consider the gradient flow of a quadratic non-autonomous energy under monotonicity constraints. First, we provide a notion of weak solution, inspired by the theory of curves of maximal slope, and then we prove existence (employing time-discrete schemes with different implementations of the constraint), uniqueness, power and energy identity, comparison principle and continuous dependence. As a by-product, we show that the energy identity gives a selection criterion for the (non-unique) evolutions obtained by other notions of solutions. Finally, we show that for autonomous energies the evolution obtained with the monotonicity constraint actually coincides with the evolution obtained by replacing the constraint with a fixed obstacle, given by the initial datum.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There are many physical phenomena, including fatigue, damage, and fracture of materials, see e.g. [4, 8, 20,21,22, 26] which are irreversible and grow in one direction following an energy gradient structure; modeling and analysis of such phenomena by nonlinear differential equations is a challenging and interesting problem. The following prototype problem is often considered as a mathematical model of such unidirectional gradient systems
where \({\dot{u}}:=\partial _t u\) and \(\Delta u\) is the Laplacian. The set \(\Omega \) is a bounded domain in \({\mathbb {R}}^d\) and \([\cdot ]_+\) denotes the positive part, i.e., \([a]_+=\max \{ a,0 \}\) for \(a\in {\mathbb {R}}\). This is important as a model that features both unidirectional growth and energy gradient structure. The former is given by the positive part, which enforces monotonicity of u in time; as far as the latter, note that the term \(-\Delta u(t,x) - f(t,x)\) is the \(L^2\)-gradient of the energy
under homogeneous Dirichlet or Neumann boundary condition. Note also that (1.1) is a dissipative system, since
the first term is the dissipation while the second plays the role of the power of external forces (see also Remark 2.9).
Due to the strong nonlinearity of (1.1), induced by the positive part, care must be taken in its mathematical handling. For instance, using the monotone graph \(\alpha ^{-1}\) with \(\alpha (s):=[s]_+\), the parabolic equation in (1.1) can be written in the form of the doubly nonlinear evolution equation
However, in this case, \(\alpha ^{-1}\) is multivalued and its derivative is unbounded, so the standard theory of doubly nonlinear evolution equation [9] cannot be applied. Still, this theory is the technical background of the first existence and uniqueness result for (1.1), obtained in [7] assuming that \(\Delta u_0 \in L^2\) and \(f \in AC ( 0,T; L^2)\). An alternative proof of existence and uniqueness, based on minimizing movements, follows as a by product of the general results of [18] assuming \(f \in AC ( 0,T; L^2)\) and \(u_0 \in H^1\) (the original result [18] is actually stated for f independent of time). More recently, in [2], the authors succeeded in directly constructing a strong solution, using a backward Euler scheme and assuming that \(u_0 \in H^2\), that \(f \in L^2(0,T; L^2)\), and that there exists \(f^\star \in L^2\) satisfying \(f (t,x) \le f^* (x)\) for a.e. \((t,x) \in (0,T) \times \Omega \).
Our main goal is to give a new definition of weak solution for (1.1) and to show existence and uniqueness of the solution, assuming only \(f \in L^2(0,T; L^2)\) and \(u_0 \in H^1\). Our approach relies on the constrained gradient structure of (1.1). We employ techniques from the theory of curves of maximal slope [5, 13, 14, 24] which gives a new definition of weak solutions for gradient flows based on the energy (or power) inequality and on the notion of slope.
More precisely, we consider an energy \({\mathcal {F}}: [0,T] \times H^1_0 \rightarrow {\mathbb {R}}\) of the form
where \(a(\cdot , \cdot )\) is a coercive, continuous bi-linear form in \(H^1_0\), f belongs to \(L^2(0,T; L^2)\), and \(\langle \cdot , \cdot \rangle \) denotes the \(L^2\)-scalar product. Introducing the operator \(A:H^1_0 \rightarrow H^{-1}\) defined by \( a ( u, v) = - ( A u ,v )\) the Fréchet differential of \({\mathcal {F}}(t, \cdot )\) clearly reads
where \((\cdot , \cdot )\) denotes the duality between \(H^1_0\) and \(H^{-1}\). If \(Au \in L^2\) we can write
In particular, the positive part \([ A u (t) + f (t) ]_+\) turns out to be the \(L^2\)-projection of \(- \nabla _{\!L^2} {\mathcal {F}}( t, u)\) on the cone of positive functions. Therefore, a natural formulation for the unilateral gradient flow is
Technically, if \(u (t) \not \in H^2\) the above PDE makes sense whenever \(A u (t) + f (t)\) is a locally finite Radon measure and \([A u (t) + f (t)]_+\) is its positive part in the sense of Hahn decomposition (see Proposition 2.5).
Before proceeding with the content of our work, we provide, for the reader’s convenience, an introductory presentation of unconstrained \(L^2\)-gradient flows in the framework of curves of maximal slope [5]. For sake of simplicity, we assume that \(f \in AC(0,T;L^2)\). Let \(u \in H^1(0,T; L^2)\) with \(Au \in L^2 (0,T; L^2)\), then u solves the parabolic problem
if and only if \(t \mapsto {\mathcal {F}}(t , u(t))\) is absolutely continuous and
a.e. in (0, T). Let us give a short proof of the equivalence between (1.3) and (1.4). If \({\dot{u}} ( t) = - \nabla _{L^2} {\mathcal {F}}( t , u(t))\) a.e. in (0, T) by [10, Lemma 3.3] the energy \(t \mapsto {\mathcal {F}}( t, u(t))\) is absolutely continuous and by the chain rule
As \({\dot{u}} ( t) = - \nabla _{L^2} {\mathcal {F}}( t , u(t))\) we have
and (1.4) follows. Conversely, by the chain rule and by Cauchy inequality
By (1.4) the above inequalities turn into equalities. In particular
By Cauchy inequality these identities imply \( {\dot{u}} ( t) = - \nabla _{L^2} {\mathcal {F}}( t , u(t)) = A u(t) + f(t) \).
Now, let us turn to our unilateral gradient flow, introducing the notion of weak solution. For sake of clarity, we start assuming again \(f \in AC(0,T;L^2)\). In this case, \(u \in H^1 ( 0, T ; L^2)\) is a unilateral gradient flow if the energy \(t \mapsto {\mathcal {F}}(t, u(t))\) is absolutely continuous and for a.e. \(t \in (0,T)\) the following power estimate holds
Here \(| {\dot{u}} |_{L^2_+}\) and \(| \partial {\mathcal {F}}|_{L^2_+} (t, u)\) denote respectively a “singular distance”, which takes into account the unilateral constraint, and the unilateral slope respectively defined by
If \( | \partial {\mathcal {F}}|_{L^2_+} (t, u )\) is finite then \(A u + f(t)\) is a Radon measure with positive part in \(L^2\) and \( | \partial {\mathcal {F}}|_{L^2_+} (t, u) = \Vert [ A u + f (t) ]_+ \Vert _{L^2} \) (see Corollary 3.8). Therefore, inequality (1.5) reads, in analogy with (1.4),
Note that in the above inequality we cannot write the identity \( A u(t) + f (t) = - \nabla _{L^2} {\mathcal {F}}(t, u(t)) \) since in general \(A u(t) \not \in L^2\) and thus the \(L^2\)-gradient is not well defined.
When \(f \in L^2(0,T;L^2)\) the power balance inequality (1.5) does not make sense since the time derivative of f is not available. However, the same role is played by the power balance
where \({\mathcal {E}}( u) = \tfrac{1}{2} a (u ,u)\). To be precise, in Definition 2.2 we will employ the time-integral formulation of (1.6) which is more convenient in the proofs, i.e.,
for every \(t^* \in (0,T)\).
As we will see, for any \(f \in L^2(0,T;L^2)\) and any initial datum \(u_0 \in H^1_0\) there exists a unique solution \(u \in H^1(0,T; L^2)\) satisfying (1.6) (see Theorem 2.3). For the solution u the power estimate (1.6) actually holds as equality. Moreover, (see Theorem 2.5) u solves also the parabolic equation
Noteworthy, the above parabolic equation is not equivalent to (1.6), in particular it may have many solutions (an explicit example is given in Sect. 5.2). In other terms, (1.6) provides a criterion to select a unique solution among those of the parabolic equation.
Now, let us describe in detail the structure and the content of the article. Sections and results are organized according to the time regularity of the datum f, which plays an important role (both in the analysis and in the applications). First of all we consider the most general case, i.e., \(f \in L^2(0,T;L^2)\), which occupies most of the paper. We prove existence and uniqueness of a solution in the sense of (1.6). Existence is obtained by time discretization, employing three different incremental problems of interest in the applications [3, 17, 26]. Let \(t_{n,k} = k \tau _n\) be a uniform discretization of the interval [0, T] with \(\tau _n = T/ n\). In the first scheme, given \(u_{n,k}\) at time \(t_{n,k}\), the configuration \(u_{n,k+1} \) at time \(t_{n,k+1}\) is simply given by
In the second scheme, we employ instead an a posteriori truncation, i.e., given \(u_{n,k}\) we define \(u_{n,k+1} \) by
The fact that the first minimization is unconstrained makes this scheme very convenient in the numerical implementation [3, 26], on the other hand the analysis is slightly more involved. Last, we consider a penalty method, i.e., given \(u_{n,k}\) we get \(u_{n,k+1}\) by solving,
where \(\alpha _n \rightarrow +\infty \) and
Each scheme defines a sequence of discrete solutions \(u_n\) (depending on \(\tau _n\)) which enjoys suitable compactness properties and which converges (weakly and up to subsequences) to a solution of (1.6); a posteriori we actually prove that the whole sequence converges.
Note that for \(f \in L^2(0,T;L^2)\) the time regularity of solutions is rather low, since in general \(u \in H^1 (0,T;L^2)\). As a consequence, uniqueness does not follow from classical tools, we use instead a contradiction argument [19] based on energy balance and convexity. For the same reason, the energy identity does not follow by the chain rule, which would require at least \(u \in H^1_{loc} (0,T; H^1)\), rather, it is proved employing a measure theory argument, employed also in [12, 22].
In the second case we consider \(f \in AC (0,T;L^2)\). Existence and uniqueness is obviously contained in the previous one, however, from a theoretical point of view, it is interesting to know that in this case solutions are of class \(H^1_{loc} (0,T; H^1_0) \cap W^{1,\infty }_{loc} (0,T; L^2)\); as a consequence, a better representation holds and few issues, due to the lack of time regularity, are avoided.
Lastly, when f is independent of time, besides recovering the classical result of [18], we prove a (rather surprising) property: the unique solution of (1.6) turns out to coincide with the unique solution of the unconstrained \(L^2\)-gradient flow for the functional \({\tilde{{\mathcal {F}}}} (u) = {\mathcal {F}}(u) + I_+ (u -u_0)\), in other terms, the monotonicity constraint can be replaced by a fixed obstacle, given by the initial datum \(u_0\); this property, however, does not hold when f depends on time.
To complete our analysis, we prove a comparison principle and a (non-quantitative) continuous dependence property for solutions of (1.6); moreover, for the interested reader, we provide in the appendix further properties, representations and remarks on the unilateral slope.
2 Setting and statement of the main results
Let us consider an open, bounded domain \(\Omega \subset {\mathbb {R}}^d\). Throughout the paper we employ the shorthand notation \(L^2\) for \(L^2(\Omega )\) and similarly for other functional spaces. We use the notation \(\langle \cdot , \cdot \rangle \) for the scalar product in \(L^2\), while \(( \cdot , \cdot )\) denotes the duality between \(H^{-1}\) and \(H^1_0\). We consider a coercive, continuous and symmetric bi-linear form \(a(\cdot , \cdot )\) in \(H^1_0 \times H^1_0\) given by
where \(B = B^T \in L^\infty (\Omega , {\mathbb {R}}^{d \times d})\) and \(b \in L^\infty (\Omega )\); in order to guarantee coercivity we assume that B is positive definite (i.e., there exists \(C_B >0 \) such that \(\xi \cdot B(x) \xi \ge C_B | \xi |^2\), for every \(\xi \in {\mathbb {R}}^d\) and a.e. \(x \in \Omega \)) and that \(C_\Omega \, \mathrm {ess}\text {-}\mathrm {inf} \{ b \} + C_B >0\), where \(C_\Omega \) is the Poincaré constant of \(\Omega \). Let \(A: H^1_0 \rightarrow H^{-1}\) be the associated operator, given by \((A u , v) = - a ( u , v)\). Accordingly, we introduce the stored energy \({\mathcal {E}}: H^1_0 \rightarrow {\mathbb {R}}\) given by
In (2.1) and in the sequel we drop, whenever possible, the dependence on \(x \in \Omega \). Clearly \( a^{1/2} (u,u)\) is the energy-norm which is equivalent to the standard norm in \(H^1_0\).
Let [0, T] be a time interval and let \( f \in L^2 ( 0,T ; L^2)\). Let us choose a representative of f (defined for every \(t \in [0,T]\)) and consider the free energy \({\mathcal {F}}: [0,T] \times L^2 \rightarrow {\mathbb {R}}\cup \{ +\infty \}\) given by
(in the sequel we will see that the evolution is actually independent of the choice of the representative). Clearly, for \(u,v \in H^1_0\) and \(t \in [0,T]\) the Fréchet differential of \({\mathcal {F}}(t, \cdot )\) reads
In particular, if \(Au \in L^2\)
Here, following the theory of curves of maximal slope [5] we provide first a notion of unilateral slope. To this end, for \(w \in L^2\) let us introduce the following notation
Accordingly, we will say that \(v \rightarrow u\) in \(L^2_+\) when \(| v - u |_{L^2_+} \rightarrow 0 \), i.e. when \(v \ge u\) and \(v \rightarrow u\) in \(L^2\). Finally, let us introduce the unilateral \(L^2\)-slope, defined as follows.
Definition 2.1
(Unilateral slope) For \(u \in H^1_0\) let
where \([\,\cdot \,]_-\) denotes negative part and \(v \rightarrow u\) in \(L^2_+\). For convenience, set \( | \partial {\mathcal {F}}|_{L^2_+} (t, u) = +\infty \) if \(u \not \in H^1_0\).
In Sect. 3 we will see that
whenever \( A u + f(t)\) is a locally finite Radon measure with positive part in \(L^2\). For equivalent ways of writing the slope, in terms of a “singular metric” and in terms of a “unilateral subdifferential”, see Appendix A and B.
2.1 The case \(f \in L^2(0,T;L^2)\)
Definition 2.2
An evolution \(u \in L^\infty (0,T; H^1_0) \cap H^1 ( 0, T ; L^2)\) is a unilateral gradient flow for the energy \({\mathcal {F}}\) if for every \(0 \le t^* \le T\) it holds
Upon identifying \(u \in H^1(0,T; L^2)\) with its AC representative, for every \(0 \le t_1 \le t_2 \le T\) we can write
where the identity holds in \(L^2\) (and thus a.e. in \(\Omega \)). If \({\dot{u}} (t) \ge 0\) (a.e. in \(\Omega \)) for a.e. \(t \in (0,T)\) then \(u (t_2) \ge u(t_1)\) (a.e. in \(\Omega \)) for every \(0 \le t_1 \le t_2 \le T\), and thus we will say that u is monotone in [0, T]. The fact that the evolution u, appearing in Definition 2.2, is monotone in [0, T] is implicitly written in (2.5); indeed for \(t^*=T\) (2.5) implies that
then \(| {\dot{u}} (t) |_{L^2_+} < +\infty \) for a.e. \(t \in (0,T)\), i.e., \({\dot{u}} (t) \ge 0\) for a.e. \(t \in (0,T)\).
Note that (2.5) is independent of the choice of the representative of the datum f.
The next theorem contains the main result: existence, uniqueness, and power identity.
Theorem 2.3
Given \(u_0 \in H^1_0\) there exists a unique unilateral gradient flow u for \({\mathcal {F}}\) with \(u(0) =u_0\). Moreover, the energy \(t \mapsto {\mathcal {E}}( u(t))\) is absolutely continuous in [0, T] and for a.e. \(t \in (0,T)\) it holds
Note that the above power identity implies that \(| {\dot{u}} (t) |_{L^2_+} = | \partial {\mathcal {F}}|_{L^2_+} (t, u(t))\).
The proof of the above theorem is split in different sections: existence is proved by means of three different time-discrete schemes, contained in Sects. 4.1, 4.2, and 4.3, while energy identity and uniqueness are proved in Sect. 4.4.
In order to better understand and justify the above definition of solution we state here the following results, dealing respectively with strong and weak solutions of the parabolic problem \({\dot{u}} (t) = [ A u (t) + f (t) ]_+\).
Theorem 2.4
Let \(u_0 \in H^1_0\). Let \(u \in H^1(0,T; L^2)\) with \(u(0) = u_0\) and \(A u(t) + f(t) \in L^2\) for a.e. \(t \in (0,T)\). Then u is a unilateral gradient flow in the sense of Definition 2.2 if and only if it solves the parabolic problem
Theorem 2.5
Let u be the unilateral gradient flow provided by Theorem 2.3, then u solves the parabolic partial differential equation
where \(A u (t) + f (t)\) is a (locally finite) Radon measure and \([A u (t) + f (t)]_+ \in L^2\) is its positive part.
Remark 2.6
As far as Theorem 2.4, note that in general \(A u(t) + f(t) \in H^{-1} \setminus L^2\) for a.e. \(t \in (0,T)\); an explicit example is given in Sect. 5.1. In particular, if \(\Psi : L^2 \rightarrow [0,+\infty ]\) is given by \(\Psi (v) = \tfrac{1}{2} \Vert v \Vert ^2_{L^2} + I_+ (v)\) (where \(I_+\) is the indicator function of the set \(\{ v \ge 0\}\)) it is not always possible to re-write (2.7) in the form
since \(\partial \Psi \subset L^2\) and thus \(A u(t) + f(t)\) should be in \(L^2\). The latter equation, in the form
is adopted e.g. in [1, 2] under stronger regularity on the data (e.g. if \(u_0 \in H^2\) and f is suitably controlled) which ensure \(A u(t) + f(t)\) in \(L^2\) for a.e. \(t \in (0,T)\), see e.g. [2, Theorem 2.6].
Remark 2.7
In Sect. 5.1 we will see that solutions of (2.8) are not unique. Lack of uniqueness is essentially due to the unilateral constraint, since the solution of the unconstrained gradient flow for \({\mathcal {F}}\) would be unique (see e.g. [10]).
Remark 2.8
Due to the lack of time regularity of the datum f, in general the energy \( t \mapsto {\mathcal {F}}(t , u(t))\) is not absolutely continuous, for this reason in (2.6) we employ the derivative of the energy \(t \mapsto {\mathcal {E}}( u (t))\). The absolute continuity of the energy \( t \mapsto {\mathcal {F}}(t , u(t))\) is recovered under more restrictive assumptions of the datum f, for instance when \(f \in AC (0,T; L^2)\), see Proposition 2.12. Finally, note that (2.6) can be equivalently written in integral form as: for every \(0 \le t^* \le T\) it holds
therefore the energy inequality (2.5) turns into an equality.
Remark 2.9
From the physical point of view solutions in the sense of Definition 2.2 could be equivalently characterized as a solutions to the parabolic problem (2.8) satisfying the energy identity
where
denote respectively the dissipation and the power of external forces.
Unilateral gradient flows, in the sense of Definition 2.2, enjoy comparison principle and continuous dependence; on the contrary, by lack of uniqueness, solutions of (2.8) do not satisfy them.
Proposition 2.10
Let u denote the unilateral gradient flow with initial condition \(u_0 \in H^1_0\) and data \(f \in L^2(0,T; L^2)\). Let v denote the unilateral gradient flow with initial condition \(v_0 \in H^1_0\) and data \(g \in L^2(0,T; L^2)\). If \(u_0 \le v_0 \) and \(f \le g \) then \(u \le v\) in [0, T].
Proposition 2.11
Let \(f^m \rightarrow f\) in \(L^2(0,T; L^2)\) and \(u_0^m \rightarrow u_0\) in \(H^1_0\); let \(u^m\) and u be the corresponding unilateral gradient flows. Then \(u^m \rightharpoonup u\) in \(H^1 (0,T;L^2)\) and \(u^m (t) \rightarrow u(t)\) in \(H^1_0\) for every \(t \in [0,T]\).
2.2 The case \(f \in AC(0,T;L^2)\)
If \(f \in AC ( 0, T; L^2)\) the results of Theorems 2.3 and 2.5 can be improved.
Proposition 2.12
Let \(f \in AC ( 0, T; L^2)\) and let u be a unilateral gradient flow in the sense of Definition 2.2, then the energy \(t \mapsto {\mathcal {F}}( t , u(t))\) is absolutely continuous in [0, T] and
Moreover, following [18], the unique solution u of Theorem 2.3 is also the unique solution in \(H^1(0,T; L^2) \cap H^{1}_{loc} (0,T ; H^1_0)\) of
where \(\Phi : H^1_0 \rightarrow [0,+\infty ]\) is defined by \(\Phi (u) = \tfrac{1}{2} \Vert u \Vert _{L^2}^2 + I_+ (u )\) and \(\partial \Phi (u) \subset H^{-1}\) denotes its subdifferential. Finally, the solution u belongs also to the space \(W^{1,\infty }_{loc} ( 0 , T ; L^2 ) \).
Inequality (2.12) provides, in the non-autonomous case, a notion of curve of maximal (unilateral) slope corresponding to [5, Definition 1.3.2]. Moreover, as a consequence of Proposition 2.12, for every \(0 \le t^* \le T\) the energy identity reads
2.3 The case f independent of time
The existence and uniqueness of solutions when f is independent of time has been already treated in the literature, see e.g. [18]; however, in this case we show that the constraint on \({\dot{u}}\) can be replaced by a fixed obstacle, as a consequence we provide a further and simple characterization (2.15) of solutions, in the spirit of the recent [1, Remark 5.3] but with a different proof.
Proposition 2.13
Let \(f \in L^2\) and \({\mathcal {F}}(u) = \tfrac{1}{2} a ( u , u) - \langle f , u \rangle \) (both independent of time). Given \(u_0 \in H^1_0\), let \(u \in H^1 (0,T;L^2) \cap L^\infty (0,T;H^1_0)\) be the unilateral gradient flow for \({\mathcal {F}}\) with initial datum \(u_0\).
Then, u turns out to be the (unconstrained) \(L^2\)-gradient flow for the functional \({\tilde{{\mathcal {F}}}} (u) = {\mathcal {F}}(u) + I_+ (u -u_0)\). Moreover, u is also the unique solution of the following parabolic obstacle problem:
As we will see in Sect. 7 the above characterization does not hold when the datum f depends on time.
2.4 Generalizations and applications
To conclude this section, let us mention that several of the above results can be extended or partially extended to more general functionals, with few modifications in the definitions and in proofs. The choice of quadratic functionals is motivated by sake of simplicity and by the fact that quadratic, or separately quadratic, energies are mostly used in applications.
As far as generalizations, let us mention the following. Let \(p \in (1,+\infty )\) such that \(W^{1,p} \subset L^2\) (by Sobolev embedding), let \(f \in L^2(0,T; L^2)\) and consider \(w: {\mathbb {R}}\rightarrow [0,+\infty )\) to be \(\lambda \)-convex, i.e. (see [5, Definition 2.4.1]),
for some \(\lambda <0\) and for every \(z_0, z_1 \in {\mathbb {R}}\) and \(s\in (0,1)\). The double-well potential \(w(z) = z^2 ( z-1)^2\), appearing in the Allen-Cahn equation, is a prototype \(\lambda \)-convex functions for \(\lambda \le \min _z w''(z)\). Under these assumptions, we can define the stored energy \({\mathcal {E}}\) and the free energy \({\mathcal {F}}\) respectively given by
In this case, adapting the arguments of the following sections, it is not difficult to see that for \(u_0 \in W^{1,p}_0\) there exists an evolution \(u \in H^1(0,T; L^2) \cap L^\infty (0,T;W^{1,p})\) which satisfies the energy identity (2.10). However, in this weak setting, uniqueness is still open since the arguments of Sect. 4.4 do not apply.
As far as applications, let us mention the phase-field approach to damage and fracture, based on the “Ambrosio-Tortorelli” energy [6]
In this context the unilateral gradient flow takes the form [3, 8, 21]
where \( F ( t, v ) = (v -1) | \nabla u (t,v) + \nabla g(t) |^2 \) and
Here the monotonicity constraint models irreversibility, with \(v=0\) corresponding to the sound material and \(v=1\) to the fully damaged or fully cracked material. We remark that, beside the non-linearity, the regularity of the forcing term \(t \mapsto F (t , v(t) ) \) is usually quite low.
3 Energy and unilateral slope
To the purpose of this section, fix \(t \in [0,T]\) and let \(f (t) \in L^2\). If \(u \in H^1_0\) the differential of \({\mathcal {F}}( t, \cdot )\) restricted to \(H^1_0\) is
Lemma 3.1
If \(u \in H^1_0\) then
Proof
Denote \(S = \sup \{ - d{\mathcal {F}}(t, u) [z] : z \in H^1_0 , \, | z |_{L^2_+} \le 1 \} \). Since \(z=0\) is an admissible variation, it is clear that \(S \in [0, +\infty ]\).
Given \(z \ne 0\) as in (3.2) let \(v_s = u + s z\) for \(s \ge 0\). Then, being \([r]_- \ge -r\) for \(r \in {\mathbb {R}}\)
Taking the supremum on the right hand side we get \(| \partial {\mathcal {F}}|_{L^2_+} (t, u) \ge S\).
Let us prove that \(| \partial {\mathcal {F}}|_{L^2_+} (t, u) \le S\). If \(| \partial {\mathcal {F}}|_{L^2_+} (t, u)=0\) there is nothing to prove. Otherwise, let \(v_n \rightarrow u\) with \(v_n \ge u\) such that \(0 < | \partial {\mathcal {F}}|_{L^2_+} (t, u) = \lim _{n \rightarrow +\infty } [{\mathcal {F}}(t, v_n) - {\mathcal {F}}(t, u)]_- / \Vert v_n - u \Vert _{L^2} \). Hence, \({\mathcal {F}}(t, v_n) - {\mathcal {F}}(t, u) <0\) for \(n \gg 1\). By convexity, \({\mathcal {F}}(t, v_n) \ge {\mathcal {F}}(t, u) + d {\mathcal {F}}(t, u) [v_n- u]\) and then, for \(n \gg 1\),
where \(\xi _n = (v_n - u) / \Vert v_n -u \Vert _{L^2}\) belongs to \(H^1_0\), \(\xi _n \ge 0\) and \(\Vert \xi _n \Vert _{L^2} \le 1\). \(\square \)
As \(u \mapsto - d {\mathcal {F}}( t ,u ) [z]\) is linear, taking the supremum in (3.2) yields also the following Corollary.
Corollary 3.2
The map \( u \mapsto | \partial {\mathcal {F}}|_{L^2_+} (t, u) \) is convex in \(H^1_0\).
Remark 3.3
If \(t \mapsto u(t)\) is measurable from [0, T] to \(H^1_0\) then the map \(t \mapsto | \partial {\mathcal {F}}|_{L^2_+} ( t , u(t))\) is measurable. Indeed, given \(z \in H^1_0\) with \(z \ge 0\) and \(\Vert z \Vert _{L^2} \le 1\) the map
is measurable. Taking a dense countable subset \(\{ z_n \}\) of \(\{ z \in H^1_0\) : \(z \ge 0\) and \(\Vert z \Vert _{L^2} \le 1\}\) yields
where the supremum is taken pointwise in [0, T]. Measurability follows.
Corollary 3.4
Let \(f_n (t) \rightharpoonup f(t)\) in \(L^2\) and consider the energies
If \(u_n \rightharpoonup u\) in \(H^1_0\) then
Proof
The weak lower semicontinuity of the energy is obvious. Let \(z \in H^1_0\) with \(z \ge 0\) and \(\Vert z \Vert _{L^2} \le 1\). If \(f_n (t) \rightharpoonup f(t)\) and \(u_n \rightharpoonup u\) in \(H^1_0\) then we get
By Lemma 3.1 we deduce that
from which (3.3) follows by taking the supremum with respect to z. \(\square \)
Remark 3.5
The energy \({\mathcal {F}}( t , \cdot )\) is T-monotone, i.e. \(( \xi _u - \xi _v , [u- v]_+ ) \ge 0\) for \(\xi _u \in \partial {\mathcal {F}}( t, u )\) and \(\xi _v \in \partial {\mathcal {F}}( t, v )\), where \(\partial {\mathcal {F}}(t,\cdot ) \subset H^{-1}\) denotes the subdifferential in \(H^1_0\). For the details, see [25, Remark 2.4].
To conclude, we provide in Corollary 3.8 an \(L^2\) “representation” of the slope, which is fundamental to connect the unilateral gradient flow and the parabolic problem (2.8); its proof is a direct consequence of the next abstract lemmas on Radon measures.
Lemma 3.6
Let \(\zeta \in H^{-1}\) with
then \(\zeta \) is a (locally finite) Radon measure whose positive part \(\zeta _+\) belongs to \(L^2\). Moreover
Proof
For the first part see [22, Lemma A.2] or [11]. We give a short proof of the second part. By density we can write
which concludes the proof. \(\square \)
Lemma 3.7
Let \(\zeta \) be as in the previous lemma and \(z \in L^2\) with \(z \ge 0\) and \(z \ge \zeta \) in \(H^{-1}\). Then \(z \ge \zeta _+\) in \(L^2\).
Proof
Since \((z-\zeta )\) is a positive measure, it follows that \(\zeta \) is a measure as well. Write \(\zeta = \zeta _+ - \zeta _-\), where \(\zeta _\pm \) are supported on the disjoint sets \(\Omega _\pm \). In particular we have \(z \ge \zeta _+\) as measures and functions in \(\Omega _+\). As \(z \ge 0\) it follows that \(z \ge \zeta _+\) also in \(\Omega _-\). \(\square \)
Invoking Lemma 3.6 together with Lemma 3.1 and (3.1) we get this Corollary.
Corollary 3.8
The following conditions are equivalent:
-
(i)
\(| \partial {\mathcal {F}}|_{L^2_+} (t, u) < +\infty \) ,
-
(ii)
\(- d {\mathcal {F}}( t, u) = A u + f (t) \) is a (locally finite) Radon measure such that \([ Au + f (t)]_+ \in L^2\).
Moreover \(| \partial {\mathcal {F}}|_{L^2_+} (t, u) = \Vert [ Au + f (t)]_+ \Vert _{L^2}\).
4 Solutions for \(f \in L^2(0,T;L^2)\)
In the following subsections we prove existence of unilateral gradient flows, in the sense of Definition 2.2, by means of three discrete schemes, which take into account the monotonicity constraint in different ways. We remark that all these ways of introducing monotonicity are currently employed in applications to phase-field fracture, with suitable adaptations. We provide complete proofs, however, those parts which are quite similar are not repeated.
4.1 Constrained incremental problem
Let \(\tau _n = T /n\) and \(t_{n,k} = k \tau _n\) for \(k = 0, ..., n\). First of all, for every index \(k=0,...,n-1\) define
Let \(f_n \in L^2(0,T; L^2)\) given by \(f_n (t) = f_{n,k+1}\) for every \(t \in (t_{n,k} , t_{n,k+1}]\). Note that \(f_n \rightarrow f\) in \(L^2(0,T; L^2)\) and that \(f_n(t) \rightarrow f(t)\) in \(L^2\) for a.e. \(t\in (0,T)\). Denote by \({\mathcal {F}}_n\) the corresponding energy, i.e. \({\mathcal {F}}_n ( t , u ) = \tfrac{1}{2} a (u,u) - \langle f_n (t) , u \rangle \). Note that \({\mathcal {F}}_n ( t , \cdot ) = {\mathcal {F}}_n ( t_{n,k+1} , \cdot )\) for every \(t \in (t_{n,k} , t_{n,k+1}]\).
Define \(u_{n,0} = u_0\) at time \(t_{n,0}\), and then, given \(u_{n,k}\) at time \(t_{n,k}\), let the configuration at time \(t_{n,k+1}\) be given by
Note that a unique minimizer exists by standard arguments and that \(u_{n,k+1} \ge u_{n,k}\).
Define \(u_n : [0,T] \rightarrow L^2\) and \(u^\sharp _n : [0,T] \rightarrow L^2\) respectively as the piecewise affine interpolation and the piecewise constant backward (left-continuous) interpolation of the values \(u_{n,k}\) in the points \(t_{n,k}\). In this section we will prove the following proposition. We write for simplicity \(u_{n,k+1} = u_n ( t_{n,k+1})\) and \({\dot{u}}_{n,k+1} = (u_{n,k+1} - u_{n,k} )/ \tau _n\) instead of \({\dot{u}}_{n} (t)\) for \(t \in (t_{n,k} , t_{n,k+1})\).
Proposition 4.1
Let \(u_n\) be defined as above. There exists a subsequence (not relabeled) and \(u \in H^1(0,T;L^2)\) such that \(u_n \rightharpoonup u\) in \(H^1( 0,T; L^2)\) where u is a unilateral gradient flow in the sense of Definition 2.2.
Remark 4.2
After Sect. 4.4 we will see that actually the whole sequence \(u_n\) converges weakly to u in \(H^1(0,T;L^2)\) and that both \(u_n^\sharp \rightarrow u\) and \(u_n \rightarrow u\) (strongly) in \(H^1_0\) pointwise in [0, T].
Lemma 4.3
For every \(t \in (t_{n,k} , t_{n,k+1})\) it holds
Proof
By definition \(u_{n,k+1}\) is the solution (in \(H^1_0\)) of the variational problem
for every \(v \in H^1_0\) with \(v \ge u_{n,k}\). Choosing \(v = 2 u_{n,k+1} - u_{n,k}\) and \(v = u_{n,k}\) yields respectively \((v - u_{n,k+1} )= \tau _n {\dot{u}}_{n,k+1}\) and \((v - u_{n,k+1} )= - \tau _n {\dot{u}}_{n,k+1}\); hence
which gives the second equality in (4.2). Moreover, the variational inequality implies that
Then, by Lemma 3.1
Assume that \({\dot{u}}_{n,k+1} \ne 0\), otherwise (4.2) is trivial; equation (4.3) provides
Hence, choosing \(z = {\dot{u}}_{n,k+1} / \Vert {\dot{u}}_{n,k+1} \Vert _{L^2}\) in (4.5) gives \(| \partial {\mathcal {F}}_n |_{L^2_+} (t_{n,k}, u_{n,k+1}) = \Vert {\dot{u}}_{n,k+1} \Vert _{L^2} \) and the last equality in (4.2) is proved. \(\square \)
Lemma 4.4
For every \(0 \le k \le n-1\), the following energy estimate holds
Proof
Using (4.2) and being \({\mathcal {F}}_n (t_{n,k+1}, \cdot )\) convex we get, for \(t \in ( t_{n,k} , t_{n,k+1})\),
Writing
we get
Using the interpolation \(u_n\), \(u_n^\sharp \), and \(f_n\) we get (4.6). \(\square \)
Proof of Proposition 4.1
Using (4.6) for \(0 \le k \le n-1\) and (4.2) we get
Hence \( \Vert {\dot{u}}_n \Vert ^2_{L^2(0,T; L^2)} \le C + \Vert f_n \Vert _{L^2(0,T; L^2)} \, \Vert {\dot{u}}_n \Vert _{L^2(0,T; L^2)} \). Being \(f_n\) bounded in \(L^2(0,T; L^2)\) the sequence \(u_n\) turns out to be bounded in \(H^1 (0,T; L^2)\) and thus, up to subsequences (not relabeled), \(u_n \rightharpoonup u\) in \(H^1 (0,T ; L^2)\). By weak convergence \({\dot{u}}_n \ge 0\) implies \({\dot{u}} \ge 0\). We will identify u with its absolutely continuous representative, i.e.
Hence \(u_n (t) \rightharpoonup u(t)\) in \(L^2\) for every \(t \in (0,T)\). We claim that \(u_n^\sharp \rightharpoonup u\) in \(H^1(0,T; L^2)\) and that \(u_n^\sharp (t) \rightharpoonup u(t)\) in \(H^1_0\) for every \(t \in [0,T]\). For every \(0 \le k \le n-1\) from (4.6) we get
By coercivity of the stored elastic energy, we deduce that \(u_n\) is bounded in \(L^\infty (0,T ; H^1_0)\) and thus \(u_n^\sharp \) is bounded in \(L^\infty (0,T ; H^1_0)\) as well. Given \(t \in (0,T]\) let \(k_n\) such that \(t_{n,k_n} < t \le t_{n,k_n+1}\). Remembering that \(u_n^\sharp (t) = u_n ( t_{n,k_n+1} )\) we can write
It follows that \(u^\sharp _n (t) \rightharpoonup u(t)\) in \(L^2\) for every \(t \in [0,T]\). As \(u_n^\sharp ( t)\) is bounded in \(H^1_0\) it follows that \(u^\sharp _n (t) \rightharpoonup u(t)\) in \(H^1_0\).
Given \(t^* \in (0,T]\) let \(k_n\) such that \(t_{n,k_n} < t^* \le t_{n,k_n+1}\). Using (4.6) we get
Clearly \(t_{n,k_n+1} \rightarrow t^*\) and the sequence \(u_{n,k_n+1} = u_n^\sharp ( t^* )\) converges weakly to \(u (t^*)\) in \(H^1_0\). Hence
By weak convergence in \(H^1(0,T; L^2)\) we get
All the above \(\Vert \cdot \Vert _{L^2}\)-norms can be replaced with \(| \cdot |_{L^2_+}\) since \({\dot{u}}_n\) and \({\dot{u}}\) are non-negative. Since \(f_n(t) \rightarrow f(t)\) in \(L^2\) and \(u^\sharp _n(t) \rightharpoonup u(t)\) in \(H^1\) for a.e. \(t\in (0,T)\), by (3.3) we get
Then, by Fatou’s Lemma
For last term in the left hand side of (4.8) we easily have
Taking the liminf in (4.8) gives the thesis. \(\square \)
4.2 Unconstrained incremental problem with a posteriori truncation
In this section we consider an alternative discrete scheme, numerically more convenient than (4.1), employed in [3, 26]. Let \(\tau _n\) and \(t_{n,k}\) be as in the previous subsection. Define \(u_{n,0} = u_0\) at time \(t_{n,0}\) and then by induction let
Note that the first minimization is unconstrained, the constraint is taken into account a posteriori, simply by truncation. In this way \(u_{n,k+1} - u_{n,k} = [ {{\tilde{u}}}_{n,k+1} - u_{n,k}]_+\).
As in the previous subsection, \(u_n : [0,T] \rightarrow L^2\) denotes the piecewise affine interpolation and \(u^\sharp _n\) denotes the piecewise constant backward (left-continuous) interpolation of \(u_{n,k}\) in the points \(t_{n,k}\). Moreover, we introduce \({\tilde{u}}_n : [0,T] \rightarrow L^2\), the piecewise constant backwards (left-continuous) interpolation of \({\tilde{u}}_{n,k}\).
Proposition 4.5
Upon extracting a subsequence (not relabeled) \(u_n \rightharpoonup u\) in \(H^1( 0,T; L^2)\) where u is a unilateral gradient flow in the sense of Definition 2.2.
Lemma 4.6
For every index \(0 \le k \le n-1\)
Moreover,
Proof
By minimality
Hence, by (3.2)
which gives (4.13). In particular, remembering that \(u_{n,k+1} - u_{n,k} = [ {{\tilde{u}}}_{n,k+1} - u_{n,k}]_+\) we get
which gives (4.15).
It remains to prove (4.14). Define the sets \(\Omega _- = \{ {{\tilde{u}}}_{n,k+1} \le u_{n,k} \}\) and \(\Omega _+ = \{ {{\tilde{u}}}_{n,k+1} > u_{n,k} \}\). We claim that
for every \(z \in H^1_0\) with \(z=0\) in \(\Omega _-\). Since \(z=0\) in \(\Omega _-\)
As \({{\tilde{u}}}_{n,k+1} = u_{n,k+1} \) in \(\Omega _+\) and \(z=0\) in \(\Omega _-\)
where the last equality follows by minimality. Joining the integrals on \(\Omega ^\pm \) proves (4.18).
Using (4.16) and (4.18) with \(z = u_{n,k+1} - u_{n,k}\) (note that \(z=0\) in \(\Omega _-\)) we get
Let us see that \(\langle {{\tilde{u}}}_{n,k+1} - u_{n,k} , u_{n,k+1} - u_{n,k} \rangle = \langle u_{n,k+1} - u_{n,k} , u_{n,k+1} - u_{n,k} \rangle \), indeed, their difference reads \(\langle {{\tilde{u}}}_{n,k+1} - u_{n,k+1} , u_{n,k+1} - u_{n,k} \rangle \) which vanishes because \({{\tilde{u}}}_{n,k+1} - u_{n,k+1} = 0\) in \(\Omega _+\) and \(u_{n,k+1} - u_{n,k} = 0\) in \(\Omega _-\). Hence \(d {\mathcal {F}}_n (t_{n,k+1}, {{\tilde{u}}}_{n,k+1}) [u_{n,k+1} - u_{n,k}] = d {\mathcal {F}}_n ( t_{n,k+1}, u_{n,k+1}) [u_{n,k+1} - u_{n,k}] \). \(\square \)
Next lemma follows closely the corresponding one in the previous subsection.
Lemma 4.7
For every \(0 \le k \le n-1\), the following energy estimate holds
Proof
Write, \(u_{n,k+1} = u_n ( t_{n,k+1})\) etc. By convexity and by (4.15) and (4.13)
Following line by line the proof of Lemma 4.4 provides (4.19). \(\square \)
Note that formally (since the sequences do not coincide) the only difference between (4.6) and (4.19) is the slope: in the former it is evaluated in \((t , u^\sharp _n (t))\) while in the latter in \((t , {\tilde{u}}_n (t))\).
Proof of Proposition 4.5
Following line by line the first step in the proof of Proposition 4.1 we get that the sequence \(u_n\) is bounded in \(L^\infty (0,T; H^1_0)\) and in \(H^1(0,T; L^2)\). Hence \(u_n \rightharpoonup u\) in \(H^1( 0,T; L^2)\), upon extracting a (non-relabeled) subsequence.
We claim that \({\tilde{u}}_n (t) \rightharpoonup u(t)\) in \(H^1_0\) for a.e. \(t\in (0,T)\). Fix \(t \in (0,T)\) such that \(f_{n} (t) \rightarrow f(t)\) in \(L^2\). For every \(n \in {\mathbb {N}}\) let \(k_n\) such that \(t_{n,k_n} < t \le t_{n,k_n+1}\). Note that \(f_{n,k+1} = f_n(t) \rightarrow f(t)\) in \(L^2\). By minimality we can write that
where we used the continuity of the bi-linear form. Since \(u_n\) is bounded in \(L^\infty (0,T;H^1_0)\) the right hand side is bounded uniformly with respect to n and k; thus there exists \(C>0\) s.t.
where in the second line we used coercivity. As \(f_{n,k+1} \rightarrow f(t)\) in \(L^2\), a simple algebraic estimate yields \(\Vert {\tilde{u}}_{n,k+1} \Vert _{H^1_0} \le C'\).
Since \(u_{n,k} = u_n ( t_{n,k}) \rightarrow u(t)\) in \(L^2\) it follows that \({\tilde{u}}_n (t) = {\tilde{u}}_{n,k+1} \rightarrow u(t)\) in \(L^2\). Being \({\tilde{u}}_{n,k+1}\) bounded uniformly in \(H^1_0\) we get \({\tilde{u}}_n (t) \rightharpoonup u(t)\) in \(H^1_0\).
To conclude the proof it is enough to argue as in the proof of Proposition 4.1\(\square \)
4.3 Unconstrained incremental problem with penalty
Let \(\alpha > 1\). For \(v \in L^2\) let us denote
Clearly, when \(\alpha \) is large \(| v |_{L^2_\alpha }\) penalizes \(v_-\). Note that \(\Psi _\alpha \) can be equivalently seen as a Yosida regularization of the indicator function of the set \(\{ v \in L^2 : v \ge 0\}\).
Moreover, we have \( | v |_{L^2_\alpha } \ge \Vert v \Vert _{L^2} \ge | v |_{L^2_\alpha } / \alpha \), hence \(| v_n - v|_{L^2_\alpha } \rightarrow 0\) is equivalent to \(v_n \rightarrow v\) in \(L^2\). Clearly
Before proceeding, let us prove this lemma.
Lemma 4.8
For \(v \in L^2\) it holds
Proof
We introduce the set \({\hat{V}} = \{ z \in L^2 : z=0 \text { if } v=0 , \,z \ge 0 \text { if } v>0, \, z \le 0 \text { if } v<0 \}\) and we will prove that
It is enough to consider \(| v |_{L^2_{\alpha }}\ne 0\), otherwise there is nothing to prove. The first identity follows by density of \(H^1_0\) in \(L^2\) and by continuity of \( | \cdot |_{L^2_\alpha }\) and \(d \Psi _\alpha ( v) [ \cdot ]\). Let us check the second identity. Clearly
In order to prove the opposite inequality, given \(z \in L^2\) let \( {\hat{z}} \in L^2\) be defined by
Then, \( {\hat{z}}\in {\hat{V}}\), \(| {\hat{z}} |_{L^2_{\alpha }} \le | z |_{L^2_{\alpha }} \le 1 \) and \( d \Psi _{\alpha } ( v ) [ z ] \le d \Psi _{\alpha } ( v ) [ {\hat{z}} ]\) because
To prove the last equality in (4.21), given \(\tau \) and v, let us introduce the Hilbert space \(L^2_\lambda \) where \(\lambda \) is the measure \(\lambda = {\mathcal {L}}^d_{| \{ v \, \ge \, 0 \} } + \alpha {\mathcal {L}}^d_{| \{ v \, < \, 0 \} }\) (being \({\mathcal {L}}^d\) the d-dimensional Lebesgue measure). Then we write
Since v and z belong to \({\hat{V}}\) we have \(\Vert v \Vert _{L^2_\lambda } = | v |_{L^2_{\alpha }}\) and \(\Vert z \Vert _{L^2_\lambda } = | z |_{L^2_{\alpha }}\); thus the previous inequality yields
Clearly, \(z = v / | v |_{L^2_{\alpha }}\) is the maximizer, which gives (4.20). \(\square \)
Finally, let us introduce the slope
where \(v \rightarrow u\) in \(L^2_\alpha \), i.e., \(|v - u|_{L^2_\alpha } \rightarrow 0\), and the second identity follows by the same arguments of Lemma 3.1. We remark that, if \(| \phi |_{L^2_+} \le 1\), then \(\phi \ge 0\) and \(\Vert \phi \Vert _{L^2} \le 1\), thus \( | \phi |_{L^2_\alpha } = \Vert \phi \Vert _{L^2} \le 1\), hence \(| \partial {\mathcal {F}}|_{L^2_\alpha } (t,u) \ge | \partial {\mathcal {F}}|_{L^2_+} (t,u)\).
Let \(\alpha _n\) be a monotone increasing sequence with \(\alpha _0 \ge 1\) and with \(\lim _{n\rightarrow +\infty } \alpha _n = +\infty \). Let \(t_{n,k}\) and \({\mathcal {F}}_n\) be as in the previous sections. Define \(u_{n,0} = u_0\) and by induction
Let \(u_n : [0,T] \rightarrow L^2 (\Omega )\) and \(u^\sharp _n : [0,T] \rightarrow L^2 (\Omega )\) denote respectively the piecewise affine and the piecewise constant interpolation of \(u_{n,k}\) in \(t_{n,k}\), as in the previous sections.
Proposition 4.9
Upon extracting a subsequence (non relabeled) \(u_n \rightharpoonup u\) in \(H^1( 0,T; L^2)\) where u is a unilateral gradient flow, in the sense of Definition 2.2.
Lemma 4.10
For every \(t \in (t_{n,k} , t_{n,k+1})\)
Proof
By minimality \(u_{n,k+1}\) satisfies the Euler-Lagrange equation
Hence, by Lemma 4.8
By Lemma 4.10, choosing \(z = {\dot{u}}_n\) we obtain
which concludes the proof. \(\square \)
Lemma 4.11
For every \(0 \le k \le n-1\), the following energy estimate holds
Proof
It is enough to combine the proof of Lemma 4.4 with Lemma 4.10. \(\square \)
Proof of Proposition 4.9
As \(| {\dot{u}}_n |_{L^2_{\alpha _n}} \ge \Vert {\dot{u}}_n \Vert _{L^2}\), arguing as in the proof of Proposition 4.1, it follows that the sequence \(u_n\) is bounded in \(H^1(0,T;L^2)\) and in \(L^\infty (0,T;H^1_0)\). Thus, upon extracting a subsequence (non relabeled) \(u_n \rightharpoonup u\) in \(H^1(0,T;L^2)\) and \(u_n {\mathop {\rightharpoonup }\limits ^{*}}u\) in \(L^\infty (0,T;H^1_0)\).
Given \(t^* \in (0,T]\) let \(k_n\) such that \(t_{n,k_n} < t^* \le t_{n,k_n+1}\); by the previous lemma we have
As in the proof of Proposition 4.1 we get that \(u^\sharp _n (t) \rightharpoonup u(t)\) in \(H^1_0\) and thus by convexity of the energy \({\mathcal {E}}( u (t^*) ) \le \liminf _{n \rightarrow +\infty } {\mathcal {E}}( u_n ( t_{n,k_n+1} ) ) \).
Note that \(| {\dot{u}}_n |_{L^2_{\alpha _n}} \ge | {\dot{u}}_n |_{L^2_{\alpha }}\) for every \(\alpha _n \ge \alpha \) and that \(| \cdot |^2_{L^2_\alpha }\) is positive and convex. Then, by weak convergence in \(H^1(0,T; L^2)\) for every \(\tau >0\) we get
Note that
Then, taking the supremum with respect to \(\alpha \) in (4.24) by monotone convergence we get
Since \(u^\sharp _n (t) \rightharpoonup u(t)\) in \(H^1_0\), by Corollary 3.4 together with \(| \partial {\mathcal {F}}_n |_{L^2_+} (t, \cdot ) \le | \partial {\mathcal {F}}_n |_{L^2_\alpha } (t, \cdot )\) we obtain
Passing to the limit in the discrete energy estimate, as in the proof of Proposition 4.1, we conclude the proof. \(\square \)
4.4 Energy identity, uniqueness and strong convergence
This section contains the proof of Theorem 2.3. We give first a short proof of the following Lemma.
Lemma 4.12
Let \(w \in H^1 ( 0, T ; L^2)\). Consider a sequence of finite subdivisions \(t_{j,i} \) of [0, T] with \(0 = t_{j,0}< ...< t_{j,i}< t_{j,i+1}< ... < t_{j,I_j} = T\) and let \(\tau _j =\max _i (t_{j,i+1} - t_{j,i} )\). Let \(w_j\) be the piecewise affine interpolation of (the continuous representative) of w in the points \(t_{j,i}\). Then
If \(\tau _j \rightarrow 0 \) then \(w_j \rightharpoonup w \) in \(H^1 ( 0, T ; L^2)\) and \(\Vert {\dot{w}}_j \Vert _{L^2} \rightharpoonup \Vert {\dot{w}} \Vert _{L^2}\) in \(L^2(0,T)\).
Proof
For \(t \in (t_{j,i} , t_{j,i+1})\) we have . Hence, by Jensen inequality
Taking the sum for \(i=0,...,I_j-1\) yields the estimate (4.25). For \(t \in (t_{j,i} , t_{j,i+1})\) we can write
where in the last inequality we used (4.27). Hence
Taking the sum for \(i=0,...,I_j-1\) yields the estimate (4.26).
From (4.25), (4.26) it is clear that \(w_j \rightharpoonup w \) in \(H^1 ( 0, T ; L^2)\) for \(\tau _j \rightarrow 0\). Let us see that \(\Vert {\dot{w}}_j \Vert _{L^2} \rightharpoonup \Vert {\dot{w}} \Vert _{L^2}\) in \(L^2(0,T)\). First, we show that \(\Vert {\dot{w}}_j \Vert _{L^2} \rightarrow \Vert {\dot{w}} \Vert _{L^2}\) a.e. in (0, T). For \(t \in (t_{j,i} , t_{j,i+1})\)
It is well known (see e.g. [16, Proposition 2.1.22]) that as \(| t_{j,i+1} - t_{j,i} | \rightarrow 0\) the last term is infinitesimal for a.e. \(t\in (0,T)\).
Since \(\Vert {\dot{w}}_j \Vert _{L^2} \rightarrow \Vert {\dot{w}} \Vert _{L^2}\) a.e. in (0, T) and \(\Vert {\dot{w}}_j \Vert _{L^2}\) is bounded in \(L^2 (0,T)\) we know, by classical results, that \(\Vert {\dot{w}}_j \Vert _{L^2} \rightarrow \Vert {\dot{w}} \Vert _{L^2}\) strongly in \(L^1(0,T)\) and weakly in \(L^2(0,T)\). \(\square \)
Lemma 4.13
Let \(u \in H^1(0,T ; L^2)\) be a monotone evolution and assume that \( | \partial {\mathcal {F}}|_{L^2_+} ( \cdot , u (\cdot ) ) \in L^2 (0,T)\). Then for every \(0 \le t^* \le T\)
Proof
The lack of time regularity in \(H^1_0\) prevents from employing the chain rule, we will use instead a Riemann sum argument, adapted from [12, Lemma 4.12], see also [22, Proposition 3.8]. Note that \( | \partial {\mathcal {F}}|_{L^2_+} ( \cdot , u (\cdot ) ) < +\infty \) a.e. in (0, T).
Given \(t^*\) let \(0< t_* < t^*\) with \(| \partial {\mathcal {F}}|_{L^2_+} ( t_* , u (t_*) ) < +\infty \). We can find a sequence of finite subdivisions \({\mathcal {T}}_j = \{ t_{j,i} \}\) of \([t_*,t^*]\) with \(t_* = t_{j,0}< ...< t_{j,i}< t_{j,i+1}< ... < t_{j,I_j} = t^*\), such that \(\lim _{j \rightarrow +\infty } \max _i \{ t_{j,i+1} - t_{j,i} \} = 0 \) and
strongly in \(L^2(t_*,t^*)\), and
(It is enough to apply the Riemann sum argument to the couple \(( | \partial {\mathcal {F}}|_{L^2_+} , f ) \in L^2(0,T; {\mathbb {R}} \, \otimes \, L^2)\); for sake of clarity, we also remark that, in general, the points \(\{ t_{j,i} \}\) do not coincide with the points \(t_{n,k} = k \tau _n\) appearing in the discrete scheme). By convexity of \({\mathcal {F}}( t_{j,i+1} , \cdot )\) we write
Denote by \(u_j\) the piecewise affine interpolation of \(u(t_{j,i})\). Writing explicitly the energies \({\mathcal {F}}( t_{j,i} , u ( t_{j,i+1} ) )\) and \({\mathcal {F}}( t_{j,i} , u ( t_{j,i} ) )\) we get
Using the above estimate for \(i=1,...,I_j\) we get, in terms of the functions \(S_j\) and \(F_j\) appearing in (4.28) and (4.29),
By (4.28) we known that \(S_j ( \cdot ) \rightarrow | \partial {\mathcal {F}}|_{L^2_+} ( \cdot , u ( \cdot ))\) strongly in \(L^2(t_*,t^*)\) and by (4.29) that \(F_j \rightarrow f\) strongly in \(L^2(t_*,t^*; L^2)\). By Lemma 4.12 we get \({\dot{u}}_j \rightharpoonup {\dot{u}} \) in \(L^2(t_*,t^* ; L^2 )\) and \(\Vert {\dot{u}}_j \Vert _{L^2} \rightharpoonup \Vert {\dot{u}} \Vert _{L^2}\) in \(L^2 (t_*,t^*)\). In summary, we can pass to the limit in (4.30) and get, by Young’s inequality,
Taking the liminf of the right hand for \(t_* \rightarrow 0^+\) we get
which concludes the proof. \(\square \)
Proof of Theorem 2.3
Clearly, using (2.5) and Lemma 4.13 it follows that for every \(0 \le t^* \le T\) we get the energy identity
Let us prove uniqueness. Remember that in our weak setting solutions belong only to \(H^1(0,T;L^2) \cap L^\infty (0,T;H^1_0)\), therefore we are not in a position to employ any argument based on the chain rule for \({\mathcal {F}}\). Instead, we follow the contradiction argument of [19, Theorem 15]. Assume that \(u_{\tiny \mathrm{I}}\) and \(u_{\tiny \mathrm{II}}\) are different unilateral gradient flows with the same initial value \(u_0\). Let \(t^*\) such that \(u_{\tiny \mathrm{I}}(t^*) \ne u_{\tiny \mathrm{II}}(t^*)\). Define \( u_\natural = \tfrac{1}{2} ( u_{\tiny \mathrm{I}}+ u_{\tiny \mathrm{II}})\). Writing the energy identity (4.31) for both \(u_{\tiny \mathrm{I}}\) and \(u_{\tiny \mathrm{II}}\) we get (for \(i={\small \mathrm{I, II}}\))
Taking the sum for \(i={\small \mathrm{I, II}}\) and using the strict convexity of the energy \({\mathcal {E}}\), the convexity of \(\tfrac{1}{2} \Vert \cdot \Vert ^2_{L^2}\), the convexity of \(\tfrac{1}{2} | \partial {\mathcal {F}}|^2_{L^2_+} ( t, \cdot ) \) (see Corollary 3.2) and the linearity of \( \langle f(t) , \cdot \rangle \) we get
Hence \( | \partial {\mathcal {F}}|_{L^2_+} ( \cdot , u_\natural (\cdot ) )\) belongs to \(L^2(0,t^*)\) and clearly \(u_\natural \in H^1(0,T; L^2)\). The previous inequality is a contradiction with Lemma 4.13.
Since the limit evolution is unique it is not necessary to extract any subsequence in Propositions 4.1, 4.5 and 4.9. \(\square \)
Corollary 4.14
Let \(u_n\) be one the sequences provided by the discrete schemes of Sects. 4.1, 4.2, or 4.3. Then \(u_n \rightarrow u \) in \(H^1_0\) pointwise in [0, T].
Proof
Given \(t^* \in [0,T]\) let us first prove that \(u_n^\sharp (t^*) \rightarrow u(t^*)\) in \(H^1_0\). Since \(u^\sharp _n (t^*) \rightharpoonup u(t^*)\) in \(H^1_0\) it is enough to show that \({\mathcal {E}}( u^\sharp _n (t^*)) \rightarrow {\mathcal {E}}( u(t^*) ) \), which implies that \(u^\sharp _n (t^*) \rightarrow u(t^*)\) in \(H^1_0\). Let \(k_n\) such that \( t_{n,k_n} < t^* \le t_{n,k_n+1}\) and recall (4.8), i.e.,
Then,
where, in the last line, we used (4.9) and (4.11) from Proposition 4.1 together with the energy identity (4.31). As a consequence, all inequalities above turn into equalities and \(u^\sharp _n (t^*) \rightarrow u(t^*)\) in \(H^1_0\); hence \( u_n ( t_{n,k_n+1} ) = u^\sharp _n (t^*) \rightarrow u ( t^*)\) in \(H^1_0\). A similar argument shows that \(u_n ( t_{n,k_n} ) \rightarrow u ( t^*)\) in \(H^1_0\). Being \(u_n (t^*)\) a convex combination of \(u_n ( t_{n,k_n} ) \) and \(u_n ( t_{n,k_n+1} )\) it converges strongly to \(u (t^*)\) as well. \(\square \)
5 Further properties of solutions
5.1 Parabolic equation
Proof of Theorem 2.4
When \(A u (t) + f(t) \in L^2\) it is defined the \(L^2\)-gradient of the energy \({\mathcal {E}}\) in u(t), i.e.,
In a similar way, \(\nabla {\mathcal {F}}( t , u(t)) = - A u (t) - f (t)\), in particular
Under the regularity assumptions of Theorem 2.4 we know, e.g. by [10, Lemma 3.3], that the energy \(t \mapsto {\mathcal {E}}( u(t))\) is absolutely continuous and that a.e. in (0, T) it holds
Assume that u is a solution of (2.7), i.e. \({\dot{u}} (t) = [ -\nabla {\mathcal {F}}(t, u(t)) ]_+\), then
Taking the integral in time gives Definition 2.2.
Conversely, assume that u is the unilateral gradient flow given by Theorem 2.3. Being \({\dot{u}} \ge 0\) we get
Since \( {\dot{{\mathcal {E}}}} ( u(t)) = - \tfrac{1}{2} \Vert {\dot{u}}(t) \Vert ^2_{L^2} - \tfrac{1}{2} \Vert \nabla {\mathcal {F}}(t, u(t)) \Vert ^2_{L^2} + \langle f(t) , {\dot{u}} (t) \rangle \) all the above inequalities turn into equalities. In particular,
then Cauchy inequality implies \( {\dot{u}} ( t) = [ - \nabla {\mathcal {F}}( t , u(t))]_+ = [ A u(t) + f(t) ]_+ \). \(\square \)
Proof of Theorem 2.5
Let u be the unilateral gradient flow for \({\mathcal {F}}\) with initial datum \(u_0\), in the sense of Definition 2.2. By the energy identity we know that \(\Vert {\dot{u}} (t) \Vert _{L^2} = | \partial {\mathcal {F}}|_{L^2_+} ( t, u (t))\) is a.e. finite in [0, T]. Hence, by Corollary 3.8, for a.e. \(t \in [0,T]\) we have
Now, let us show that \( - d {\mathcal {F}}( t , u (t) ) \le {\dot{u}}(t)\) in \(H^{-1}\) for a.e. t in [0, T]. By uniqueness, we can rely on the discrete scheme of Sect. 4.1. By (4.4) for every \(t \in (t_{n,k} , t_{n,k+1})\) we have
which reads, by symmetry of \(a ( \cdot , \cdot )\),
Thus, for every \(0 \le t_1 < t_2 \le T\) we can write
Passing to the limit, by the strong convergence of \(u^\sharp _n (t)\) in \(L^2(0,T;L^2)\) together with the strong convergence of \(f_n\) in \(L^2(0,T;L^2)\) and the weak convergence of \(u_n\) in \(H^1(0,T;L^2)\), we get
Since the above inequality holds for any choice of \(t_1 < t_2\), for a.e. \(t\in (0,T)\) we have
which reads \(( A u(t) + f(t) , \phi ) \le \langle {\dot{u}} (t) , \phi \rangle \). Therefore, applying Lemma 3.7 we get \([ Au(t) + f(t)]_+ \le {\dot{u}} (t) \). By (5.2), we have \(\Vert {\dot{u}} (t) \Vert _{L^2} = \Vert [ A u(t) + f(t)]_+ \Vert _{L^2}\), it follows that \({\dot{u}} (t) = [ A u(t) + f(t)]_+\).
5.2 Non-uniqueness for the parabolic PDE in \(L^2\)
We provide an example in which the parabolic problem (2.8) has many solutions, and thus it is not equivalent to Definition 2.2. Let \(u_0 \in H^1_0 (-1,1)\) be defined by \(u_0(x) = 1 - | x|\). We will denote by \(u'\) and \(u''\) the first and second space derivatives, respectively. Clearly \(u''_0 = - 2 \delta _0\), where \(\delta _0\) denotes the Dirac delta in the origin. Note that \(u_0 >0\) in \((-1,1)\) and \([u''_0]_+ = 0\).
Let \(f = u_0\) and consider the energy \({\mathcal {F}}: H^1_0(-1,1) \rightarrow {\mathbb {R}}\) given by
Clearly \(A u + f = u'' + f \). Let us define \(u(t) = (1+t) u_0 \). Then, \({\dot{u}} (t) = u_0\) and \(u'' (t) = (1+t) u''_0 = -2 (1+t) \delta _0\). Since \([ u''(t) + f ]_+ = [ - 2 (1+t) \delta _0 + u_0 ]_+ = u_0\), it turns out that u solves
On the other hand u does not satisfy the energy identity
which is equivalent to (2.5). Indeed, \({\mathcal {E}}( u(t) ) = \tfrac{1}{2} (1+t)^2 \int _{(-1,1)} | u'_0 |^2 \, dx = (1 + t)^2\), \({\mathcal {E}}( u_0 ) = 1\), \(\Vert {\dot{u}} (t) \Vert ^2_{L^2} = \Vert u_0 \Vert ^2_{L^2}\) while \(\langle f , {\dot{u}} (t) \rangle = \Vert u_0 \Vert ^2_{L^2}\).
Solution of the unilateral gradient flow. The solution of the unilateral gradient flow, in the sense of Definition 2.2, is computed hereafter. Let us start considering the sub-interval (0, 1) and the following parabolic problem
By classical results, see e.g. [15, Theorem 5 (ii) §7.1] there exists a unique solution \(u_r\) which belongs to \( L^\infty (0,T; H^2(0,1)) \cap H^1 (0,T; H^1(0,1)) \).
Lemma 5.1
Let \(u_r\) be the solution of the above parabolic problem. Then \({\dot{u}}_r (t) \ge 0\), and thus
Moreover \(u'_r (t, 0) < 0\) for a.e. \(t \in (0,T)\).
Proof
First, let us prove that \({\dot{u}}_r \ge 0\). For convenience, we introduce the set \({\mathcal {U}}_r = \{ u \in H^1(0,1) : \, u(0)=1 ,\, u(1)=0 \}\) and the energy \({\mathcal {F}}_r : {\mathcal {U}}_r \rightarrow {\mathbb {R}}\) given by
Consider again an implicit (unconstrained) Euler scheme. Let \(\tau > 0\) such that \(T/\tau \) is integer and let \(t_{k} = k \tau \) for \(k =0,...,T/\tau \). Given \(u_0\) we define by induction
We will prove by induction that \(u_{k+1} \ge u_k\) for every index k. Let us see that \(u_1 \ge u_0\). Clearly, being \(u_0\) affine,
Consider the auxiliary function \(u_* = u_0 + | u_1 - u_0|\) and note that
We claim that \({\mathcal {F}}_r(u_*) \le {\mathcal {F}}_r(u_1)\). Indeed, since \((u_1-u_0)\) and \(| u_1 - u_0|\) belong to \(H^1_0(0,1)\) we can write
and
Since \(u_* \ge u_1\) and \(f=u_0 > 0\) we have \({\mathcal {F}}_r (u_*) \le {\mathcal {F}}_r (u_1)\). As \(| u_* - u_0 | = | u_1 - u_0 |\) from the latter inequality it follows that
and then, by uniqueness of the minimizer in (5.5), that \(u_1 = u_* \ge \max \{ u_0 , u_1 \} \), hence \(u_1 \ge u_0\).
Next, let us see that \(u_{k+1} \ge u_k\) for \(k \ge 1\). In this case, we employ the Euler-Lagrange equation for \(u_{k}\), i.e.,
As in the case \(k=0\), we check that \({\mathcal {F}}_r ( u_*) \le {\mathcal {F}}( u_{k+1})\) for \(u_* = u_k + | u_{k+1} - u_k |\). Choosing \(\phi = u_{k+1} - u_k \) and \(\phi = | u_{k+1} - u_k |\) in the Euler-Lagrange equation yields, respectively,
and
By induction \(u_k \ge u_{k-1}\) and \((u_k - u_{k-1} ) ( u_{k+1} - u_k) \le (u_k - u_{k-1} ) | u_{k+1} - u_k |\). Hence \({\mathcal {F}}_r ( u_*) \le {\mathcal {F}}( u_{k+1})\).
It is well known that up to subsequences the piecewise affine interpolation \(u_\tau \) converges weakly in \(H^1(0,T; L^2(0,1))\) to the unique solution \(u_r\) of (5.4). Therefore, \(u_r\) is monotone non-decreasing in time.
It is simple to check that the minimizer of the energy \({\mathcal {F}}_r\) in \({\mathcal {U}}_r\) is the function
Since \(u_0 < u_{min}\), the comparison principle for (5.4) implies \(u_0 \le u(t) \le u_{min}\) in (0, T). Moreover, \(u_0 ( t, 0) = u_r (t , 0) = u_{min} (t,0) = 1\), hence \( u_r'(t, 0) \le u'_{min}(t,0) = - 2/3\). \(\square \)
Proposition 5.2
The function u defined by
is the unilateral gradient flow for the functional \({\mathcal {F}}\) with initial conditions \(u_0(x) = 1 - |x|\).
Proof
For convenience, denote \(u_l (t,x) = u_r (t,-x)\) and note that, by previous lemma, it holds \({\dot{u}}_{l} (t) = [ u''_{l} (t) + f ]_+\).
Moreover, in terms of \(u_l\) and \(u_r\) the derivatives of u read
where \({\mathcal {L}}\) and \(\delta _0\) denote respectively the Lebesgue measure and the Dirac delta. We remark that \({\dot{u}} ( t , 0 ) = 0\). Note that \([ u'_r ( t, 0) - u'_l (t,0) ] = 2 u'_r (t,0) < 0\), hence
In particular \({\dot{u}} (t) = [u''(t) + f]_+\).
By the regularity of f we can characterize the unilateral gradient flow for \({\mathcal {F}}\) as in Proposition 2.12, i.e.
Being \(u \in H^1(0,T; H^1_0(-1,1))\) the chain rule and the fact that \({\dot{u}}(t,0)=0\) yield
which concludes the proof. \(\square \)
5.3 Comparison principle
Proof of Proposition 2.10
Since the unilateral gradient flow is unique it is enough to prove the maximum principle for the discrete solutions provided in Sect. 4.2; indeed, if \(u_{n,k} \le v_{n,k}\) for every \(k \ge 0\) then \(u_n \le v_n \) in [0, T] and passing to the limit weakly in \(H^1(0,T; L^2)\) we get \(u \le v \) in [0, T]. To this end, fix \(\tau _n>0\) and assume that \(u_{n,0} = u_0 \le v_0 = v_{n,0}\). We will show by induction that \(u_{n,k} \le v_{n,k}\) for every index \(k \ge 1\). We recall that \(u_{n,k+1} = \max \{ {{\tilde{u}}}_{n,k+1} , u_{n,k} \}\) and that
In a similar way, \(v_{n,k+1} = \max \{ {{\tilde{v}}}_{n,k+1} , v_{n,k} \}\) and
By minimality there exists \(\xi _{n,k+1} \in \partial {\mathcal {F}}( t_{n,k+1} , {{\tilde{u}}}_{n,k+1} ) \subset H^{-1}\) such that \(\xi _{n,k+1} + \frac{1}{\tau _n} ( {{\tilde{u}}}_{n,k+1} - u_{n,k}) = 0\) in \(H^{-1}\). In a similar way, there exists \(\zeta _{n,k+1} \in \partial {\mathcal {F}}( t_{n,k+1} , {{\tilde{v}}}_{n,k+1} )\) such that \(\zeta _{n,k+1} + ( f -g ) + \frac{1}{\tau _n} ( {{\tilde{v}}}_{n,k+1} - v_{n,k}) = 0\) in \(H^{-1}\). Assume by induction that \(u_{n,k} \le v_{n,k}\), we claim that \({{\tilde{u}}}_{n,k+1} \le {{\tilde{v}}}_{n,k+1}\) from which we get \(u_{n,k+1} \le v_{n,k+1}\). Using \([ {{\tilde{u}}}_{n,k+1} - {{\tilde{v}}}_{n,k+1} ]_+ \in H^1_0\) as a test function we get
The first term is non-negative by T-monotonicity, see Remark 3.5, the second is non-negative because \(f \le g\), hence for the last term we can write
Since \(u_{n,k} \le v_{n,k}\) the integrand in the left hand side is non-positive; it follows that \( [ {{\tilde{u}}}_{n,k+1} - {{\tilde{v}}}_{n,k+1} ]_+ = 0\) and thus \( {{\tilde{u}}}_{n,k+1} \le {{\tilde{v}}}_{n,k+1}\). \(\square \)
5.4 Continuous dependence
Proof of Proposition 2.11
We adopt the scheme of [23]. Denote \({\mathcal {F}}^m ( t , u) = {\mathcal {E}}( u) - \langle u , f^m (t) \rangle \). By definition we know that for every \(0 \le t^* \le T\) it holds
We recall that by Theorem 2.5 and Corollary 3.8 we have \(\Vert {\dot{u}}^m (t) \Vert _{L^2} = \Vert [ A u^m(t) + f^m(t) ]_+ \Vert _{L^2} = | \partial {\mathcal {F}}^m |_{L^2_+} ( t, u^m(t)) \). Hence, choosing \(t^* =T\) above we obtain
Since \(u^m_0 \rightarrow u_0\) in \(H^1_0\) we have \({\mathcal {E}}(u^m_0) \rightarrow {\mathcal {E}}( u_0)\); since \(f^m \rightarrow f\) in \(L^2(0,T;L^2)\) the above estimate implies that the sequence \({\dot{u}}^m\) is bounded in \(L^2(0,T;L^2)\). It follows that \(u_m\) is bounded in \(H^1(0,T;L^2)\). Moreover, by (5.6) and by coercivity of the stored energy, for every \(0 \le t^* \le T\) we have
Hence, the sequence \(u_m\) is bounded also in \(L^\infty (0,T; H^1_0)\). In conclusion, there exists a subsequence (non relabeled) such that \(u^m \rightharpoonup u\) in \(H^1(0,T;L^2)\); clearly \(u_m\) is monotone non-decreasing. Moreover, arguing as in the proof of Proposition 4.1, we get that \(u_m (t) \rightharpoonup u(t)\) in \(H^1_0\) for every \(t \in [0,T]\).
It remains to show that u is the unilateral gradient flow for \({\mathcal {F}}\) with initial condition \(u_0\). By (5.6) for every \(t^* \in (0,T]\) we can write
We know that \({\mathcal {E}}( u^m_0 ) \rightarrow {\mathcal {E}}( u_0 )\) because \(u^m_0 \rightarrow u_0\) (strongly) in \(H^1_0\). Since \({\dot{u}}^m \rightharpoonup {\dot{u}}\) in \(L^2(0,T;L^2)\) we have \(\Vert {\dot{u}} \Vert ^2_{L^2(0,t^*;L^2)} \le \liminf _{m \rightarrow +\infty } \Vert {\dot{u}}^m \Vert ^2_{L^2(0,t^*;L^2)}\). As \(u^m \rightharpoonup u \) in \(H^1_0\) a.e. in (0, T) we can apply Corollary 3.4 and then by Fatou’s lemma we get
Finally, \(\int _0^{t^*} \langle f^m (t) , {\dot{u}}^m (t) \rangle \, dt \rightarrow \int _0^{t^*} \langle f (t) , {\dot{u}} (t) \rangle \, dt \) by strong-weak convergence in \(L^2(0,t^*;L^2)\). In conclusion, we get
which is (2.5).
In order to prove that \(u_m (t) \rightarrow u(t)\) strongly in \(H^1_0\) for every \(t \in [0,T]\) it is enough to follow the proof of the strong convergence in Sect. 4.4. \(\square \)
6 Solutions for \(f \in AC (0,T;L^2)\)
In this section we consider the case in which \(f \in AC(0,T;L^2)\) and we will prove the assertions contained in Proposition 2.12.
6.1 Characterization by power balance
First we prove (2.12). If \(f \in AC(0,T;L^2)\) then the map \(t \mapsto \langle f(t) , u(t) \rangle \) is absolutely continuous in (0, T) and for a.e. \(t \in (0,T)\) it holds
We already know, by Theorem 2.3, that the stored energy \( t \mapsto {\mathcal {E}}( u(t))\) is absolutely continuous and that for a.e. \(t \in (0,T)\) we have
Therefore \(t \mapsto {\mathcal {F}}( t, u(t) ) = {\mathcal {E}}(u(t)) - \langle f(t) , u(t) \rangle \) is absolutely continuous and for a.e. \(t \in (0,T)\)
which gives (2.12).
6.2 Characterization by differential inclusions in \(H^1_0\)
The results of this section are essentially an adaption of those contained in [18]; we provide some short alternative proofs, for sake of completeness.
Proposition 6.1
Let \(u_0 \in H^1_0\) and \(f \in AC (0,T ; L^2)\) then the unilateral gradient flow u belongs to \(W^{1,\infty }_{loc} ( 0 , T ; L^2 ) \cap W^{1,2}_{loc} (0,T ; H^1_0)\).
Proof
We will employ the discrete evolutions \(u_n\) obtained by the implicit Euler scheme of Sect. 4.1. We will show that given \(0< T' < T\) the sequence \(u_n\) is bounded in \(W^{1,\infty } ( T' , T ; L^2 ) \cap W^{1,2} ( T' , T ; H^1_0)\).
Let us denote \({\dot{u}}_{n,k} = ( u_{n,k} - u_{n,k-1} ) / \tau _n\). For \(k\ge 0\) by (4.3) we have
For \(k \ge 1\) by (4.4) we get
Hence, for \(k \ge 1\) we obtain
Let us write explicitly the left hand side as
A simple algebraic calculation gives \(- \langle {\dot{u}}_{n,k} , {\dot{u}}_{n,k+1} \rangle + \langle {\dot{u}}_{n,k+1} , {\dot{u}}_{n,k+1} \rangle \ge \tfrac{1}{2} \Vert {\dot{u}}_{n,k+1} \Vert ^2_{L^2} - \tfrac{1}{2} \Vert {\dot{u}}_{n,k} \Vert ^2_{L^2}\). Hence by coercivity (6.2) reads, for \(k \ge 1\),
Neglecting the \(H^1_0\)-norm and denoting \(a_k = \Vert {\dot{u}}_{n,k} \Vert _{L^2}\) we obtain the discrete inequality \(a^2_{k+1} - a^2_k \le b_k a_{k+1}\) where \(b_k = 2 \Vert f_{n,k+1} - f_{n,k}\Vert _{L^2}\). By an elementary algebraic calculation we get \(a_{k+1} \le a_k + b_k\). Then for every \(k_0 < k\) we can write
Let \(k'_n\) such that \( \tau _n (k'_n - 1) < T' \le \tau _n k'_n \). Given \(k > k'_n\) the estimate \(a_k \le a_{k_0} + C\) holds for every index \(k_0\) such that \(1 \le k_0 \le k'_n\) with \(C=2 \,\Vert f \Vert _{AC (0,T; L^2)}\). Taking the sum of \(a_k \le a_{k_0} + C\) for \(k_0=1,...,k'_n\) (and k fixed) and dividing by \(k'_n\) yields
Hence, for every \(k > k'_n\) we have
where \(C (T') >0\) is independent of n because the sequence \(u_n\) is bounded in \(H^1 ( 0 , T ; L^2)\). (Note that \(C(T')\) diverges as \(T' \rightarrow 0^+\)). Taking the supremum with respect to \(k > k'_n\) it follows that the sequence \({\dot{u}}_n\) is bounded in \(L^\infty ( T'', T ; L^2)\) for every \(T''>T' > 0\).
Let us go back to (6.3). For every \(k > k'_n\), now we can write
Taking the sum for \(k > k'_n\) we get
for every \(T''> T' >0\), which concludes the proof. \(\square \)
Let \(\Phi : H^1_0 \rightarrow [0,+\infty ]\) be defined by \(\Phi (u) = \tfrac{1}{2} \Vert u \Vert _{L^2}^2 + I_+ (u )\) (where \(I_+ (u)\) denotes the indicator function of \(\{ u > 0 \}\)) and let \(\partial \Phi (u) \subset H^{-1}\) be its subdifferential. Let \(\Phi ^*\) be its Legendre transform, i.e. \( \Phi ^*(\xi ) = \sup \{ ( \xi , v ) - \Phi (v) : v \in H^1_0 \}\) for \(\xi \in H^{-1}\). By Lemma 3.6 it is easy to check that the domain of \(\Phi ^*\) is \(D \Phi ^* = \{ \xi \in H^{-1} : \xi \in {\mathcal {M}}_{loc} \,,\, \xi _+ \in L^2 \}\) and then that \(\Phi ^* (\xi ) = \tfrac{1}{2} \Vert \xi _+ \Vert ^2_{L^2}\) for \(\xi \in D\Phi ^*\).
Proposition 6.2
Let \(f \in AC (0,T;L^2)\) and \(u \in W^{1,2}_{loc} ( 0,T ; H^1_0)\). Then u is a unilateral gradient flow for \({\mathcal {F}}\) with initial condition \(u_0\) if and only if it solves the differential inclusion
Proof
Since \({\dot{u}} (t) \in H^1_0\), for a.e. \(t \in (0,T)\), by classical results in convex analysis we have
The fact that \(\partial \Phi ( {\dot{u}} (t) ) \ne \emptyset \) implicitly says that \( {\dot{u}}(t) \in D \Phi \) and hence \( {\dot{u}} (t) \ge 0\). Moreover, if \(u \in W^{1,2}_{loc} (0,T; H^1_0)\) with \({\dot{u}} \ge 0\) then by (6.4) for a.e. \(t \in (0,T)\) we can write
which is indeed the characterization (2.12) of unilateral gradient flows. Conversely, if the energy identity (2.14) holds then for a.e. \(t \in (0,T)\) we have
and then (6.4) holds.
7 A characterization for f independent of time
In this section we will prove Proposition 2.13.
Step I. We employ the discrete scheme of Sect. 4.1. We claim that for every \(v \in H^1_0\) with \(u_0 \le v \le u_{n,k+1}\) we have
Given \(v \in H^1_0\) with \(u_0 \le v \le u_{n,k+1}\) and \(0 \le m \le k+1\) let \(\Omega _{n,m} = \{ v \ge u_{n,m} \}\). The monotonicity of \(u_{n,m}\) with respect to m implies that the sets \(\Omega _{n,m}\) are monotone non-increasing, moreover \(\Omega _{n,0} = \Omega \) and \(\Omega _{n,k+1} = \{ v = u_{n,k+1} \}\). Note that \(\{ \Omega _{n,m} \setminus \Omega _{n,m+1} : \text { for } m =0 , ...,k \}\) is a disjoint partition of \(\Omega \setminus \Omega _{n,k+1}\). For any measurable subset \(\Omega '\) of \(\Omega \) we employ the notation
For each index \(0 \le m \le k\) let us define \(v_{n,m} = \min \{ \max \{ v , u_{n,m} \} , u_{n,m+1} \} \), i.e.,
Since \(u_{n,m} \le v_{n,m} \le u_{n,m+1}\) by minimality we have
Being \(\Vert u_{n,m+1} - u_{n,m} \Vert ^2_{L^2} \ge \Vert v_{n,m} - u_{n,m} \Vert ^2_{L^2}\) we have \({\mathcal {F}}( u_{n,m+1} ) \le {\mathcal {F}}( v_{n,m} ) \); the latter inequality can be written as
which, by definition of \(v_{n,m}\), yields
Let \(m=k+1\). Being \(\Omega _{n,k+1} = \{ v = u_{n,k+1} \}\) we have \(v_{n,k} = v\) in \(\Omega _{n,k}\) (while \(v_{n,k} = u_{n,k}\) in \(\Omega ^c_{n,k}\)), hence by minimality we can write
Using iteratively (7.2) we get
Hence
which proves the claim (7.1).
Step II. Thanks to (7.1), the incremental problem (4.1) can be replaced by the fixed obstacle problem
Indeed, let \(v \ge u_0\). Denote \(v^+ = \max \{ v , u_{n,k+1} \}\) and \(v^- = \min \{ v , u_{n,k+1} \}\), accordingly let \(\Omega ^+ = \{ v > u_{n,k+1} \}\) and \(\Omega ^- = \Omega \setminus \Omega ^+\). By minimality of \(u_{n,k+1}\) we can write
then, being \(v^+ = u_{n,k+1}\) in \(\Omega ^-\), we have
Since \(u_0 \le v^- \le u_{n,k+1}\) we can invoke (7.1) which gives
In \(\Omega ^+\) we have \(v^- = u_{n,k+1}\), and then
Taking the sum of estimates in \(\Omega ^\pm \) shows that (7.3) holds. As a consequence, the limit evolution u turns out to be the \(L^2\)-gradient flow for the functional \({\tilde{{\mathcal {F}}}} ( u ) = {\mathcal {F}}(u) + I_+ (u - u_0)\).
Step III. Now, let us show that the unilateral gradient flow is a solution of the parabolic obstacle problem (2.15), i.e.,
By Theorem 2.5 we know that \({\dot{u}} (t) = [ A u(t) + f ]_+\) hence
In particular \(( u(t) - u_0 , {\dot{u}}(t) - A u(t) - f ) \ge 0\). Therefore, re-writing the second line in (7.4), it remains to show that for a.e. \(t \in (0,T)\) we have
The functional \({\mathcal {J}} ( w) = {\mathcal {F}}(w) + \tfrac{1}{2 \tau _n} \Vert w - u_{n,k} \Vert ^2_{L^2}\) is convex, thus (7.1) implies that \(d {\mathcal {J}} (u_{n,k+1}) [ u_0 - u_{n,k+1} ] \ge 0\), i.e.
In terms of the piece-wise affine interpolation \(u_n\) and the piece-wise constant interpolation \(u_n^\sharp \) (see Sect. 4.1), for every \(t \in (t_{n,k} , t_{n,k+1})\) the previous inequality reads
Given \(0< t^-< t^+ < T\), we obtain
By Remark 4.2 we know that \(u_n \rightharpoonup u\) in \(H^1(0,T;L^2)\), that \(u_n^\sharp \) is bounded in \(L^\infty (0,T;H^1_0)\) and that \(u_n^\sharp (t) \rightarrow u(t)\) strongly in \(H^1_0\) for a.e. t in (0, T). Therefore, we can pass to the limit in the previous inequality and get
By arbitrariness of \(t^-\) and \(t^+\) we conclude that (7.5) holds a.e. in [0, T].
Step IV. We prove that there exists a unique solution of (7.4). Assume, by contradiction, that \(u_{\tiny \mathrm{I}}\) and \(u_{\tiny \mathrm{II}}\) are solutions of (7.4) with \(u_{\tiny \mathrm{I}}(t^*) \ne u_{\tiny \mathrm{II}}(t^*)\). We define \(u_\natural = \tfrac{1}{2} ( u_{\tiny \mathrm{I}}+ u_{\tiny \mathrm{II}})\). By linearity, for a.e. \(t \in (0,T)\) we have \({\dot{u}}_\natural (t) - A u_\natural (t) - f \ge 0\) and \( u_\natural (t) \ge u_0\), thus
On the other hand, by the strict convexity of the \(L^2\)-norm we can write
Moreover, by convexity of \(u \mapsto a (u,u) \) we have
Taking the integral in \((0,t^*)\) we obtain the contradiction
which concludes the proof. \(\square \)
Remark 7.1
If f depends on time then, in general, unilateral gradient flows do not enjoy (2.15), as the following example shows. Let \(\Omega = (0,1)\) and \(u_0 (x) = x ( x-1)\). Define
It is easy to check that u is monotone non-decreasing and that \({\dot{u}} (t) = u'' (t) + f(t)\) for \(t \in (0,1)\). In particular we have \(\Vert {\dot{u}} (t) \Vert _{L^2} = | {\dot{u}} (t) |_{L^2_+}\) and \(| \partial {\mathcal {F}}|_{L^2_+} (t, u(t)) = \Vert u'' (t) + f(t) \Vert _{L^2}\). Thus, by the chain rule
and
Hence u is the unilateral gradient flow for \(t \in [0,1]\). For \(t > 1\) we have \({\dot{{\mathcal {F}}}} ( t , u(t)) = 0\) and \(u (t) =0\), hence \(\Vert {\dot{u}} (t) \Vert _{L^2} = 0\). In this case we have \(| \partial {\mathcal {F}}|_{L^2_+} (t, u(t)) = \Vert [ u'' (t) + f(t) ]_+ \Vert _{L^2} = 0\). Hence u is the unilateral gradient flow also for \(t > 1\). On the other hand for \(t >1\) we have
thus (2.15) does not hold. \(\square \)
References
Akagi, G., Efendiev, M.: Allen-Cahn equation with strong irreversibility. Eur. J. Appl. Math. 30(4), 707–755 (2019)
Akagi, G., Kimura, M.: Unidirectional evolution equations of diffusion type. J. Differ. Equ. 266(1), 1–43 (2019)
Almi, S., Belz, S., Negri, M.: Convergence of discrete and continuous unilateral flows for Ambrosio-Tortorelli energies and application to mechanics. ESAIM Math. Model. Numer. Anal. 53(2), 659–699 (2019)
Almi, S., Negri, M.: Analysis of staggered evolutions for nonlinear energies in phase field fracture. Arch. Ration. Mech. Anal. 236, 189–252 (2020)
Ambrosio, L., Gigli, N., Savaré, G.: Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Zürich. Birkhäuser, Basel (2005)
Ambrosio, L., Tortorelli, V.M.: Approximation of functionals depending on jumps by elliptic functionals via \(\Gamma \)-convergence. Commun. Pure Appl. Math. 43(8), 999–1036 (1990)
Arai, T.: On the existence of the solution for \(\partial \varphi (u^{\prime } (t))+\partial \psi (u(t))\ni f(t)\). J. Fac. Sci. Univ. Tokyo Sect. IA Math. 26(1), 75–96 (1979)
Babadjian, J.-F., Millot, V.: Unilateral gradient flow of the Ambrosio-Tortorelli functional by minimizing movements. Ann. Inst. H. Poincaré Anal. Non Linéaire 31(4), 779–822 (2014)
Barbu, V.: Nonlinear Semigroups and Differential Equations in Banach Spaces. Noorhoff (1976)
Brézis, H.: Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert. North-Holland Publishing Co., Amsterdam (1973)
Crismale, V., Lazzaroni, G.: Viscous approximation of quasistatic evolutions for a coupled elastoplastic-damage model. Calc. Var. Partial Differ. Equ. 55(1), 54 (2016). (Art. 17)
Dal Maso, G., Francfort, G.A., Toader, R.: Quasistatic crack growth in nonlinear elasticity. Arch. Ration. Mech. Anal. 176(2), 165–225 (2005)
De Giorgi, E., Marino, A., Tosques, M.: Problemi di evoluzione in spazi metrici e curve di massima pendenza. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 68(3), 180–187 (1980)
De Giorgi, E.: New problems on minimizing movements. In: Boundary Value Problems for Partial Differential Equations and Applications. Baiocchi, C., Lions, J.L. (eds.), Masson, Paris, 81–98 (1993)
Evans, L.C.: Partial differential equations. American Mathematical Society, Providence, RI (1998)
Gasiński, L., Papageorgiou, N.S.: Nonlinear analysis. Series in Mathematical Analysis and Applications, vol. 9. Chapman & Hall/CRC, Boca Raton, FL (2006)
Gerasimov, T., De Lorenzis, L.: On penalization in variational phase-field models of brittle fracture. Comput. Methods Appl. Mech. Eng. 354, 990–1026 (2019)
Gianazza, U., Savaré, G.: Some results on minimizing movements. Rend. Accad. Naz. Sci. XL Mem. Mat. 18, 57–80 (1994)
Gigli, N.: On the heat flow on metric measure spaces: existence, uniqueness and stability. Calc. Var. Partial Differ. Equ. 39(1–2), 101–120 (2010)
Knees, D.: Convergence analysis of time-discretisation schemes for rate-independent systems. ESAIM Control Optim. Calc. Var. 25, 38 (2019). (Paper No. 65)
Knees, D., Rossi, R., Zanini, C.: A vanishing viscosity approach to a rate-independent damage model. Math. Models Methods Appl. Sci. 23(4), 565–616 (2013)
Negri, M.: A unilateral \(L^2\)-gradient flow and its quasi-static limit in phase-field fracture by alternate minimization. Adv. Calc. Var. 12(1), 1–29 (2019)
Sandier, E., Serfaty, S.: Gamma-convergence of gradient flows with applications to Ginzburg-Landau. Commun. Pure Appl. Math. 57(12), 1627–1672 (2004)
Santambrogio, F.: Euclidean, metric, and Wasserstein gradient flows: an overview. Bull. Math. Sci. 7(1), 87–154 (2017)
Shirakawa, K., Kimura, M.: Stability analysis for Allen-Cahn type equation associated with the total variation energy. Nonlinear Anal. 60(2), 257–282 (2005)
Takaishi, T., Kimura, M.: Phase field model for mode III crack growth in two dimensional elasticity. Kybernetika 45(4), 605–614 (2009)
Funding
Open access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by: Japan Society for the Promotion of Science (JP20KK0058), Japan Society for the Promotion of Science (JP20H01812), INdAM Istituto Nazionale di Alta Matematica.
Appendices
Appendix A. Metric settings
Having in mind [5] it is interesting to see if and how our framework fits into some sort of metric setting. For sake of simplicity, we assume that f is constant.
A singular metric for \({{\varvec{L}}}^\mathbf{2}_\mathbf{+}\). Consider the “singular” metric
Accordingly, we will say that \(u_m \rightarrow u\) when \(d_+ ( u_m , u) \rightarrow 0\), i.e. when \(u_m \ge u\) and \(u_m \rightarrow u\) in \(L^2\).
It is clear that if \(u \in AC_{loc} (0,T; L^2_+)\) then u is monotone non-decreasing, moreover the metric derivative (cf. [5, Theorem 1.1.2]) exists a.e. in (0, T) and reads
Finally, the unilateral slope reads (cf. [5, Definition 1.2.4])
A key point in [5] is the fact that slopes are upper gradients (cf. [5, Definition 1.2.1 and 1.2.2]), however in our case we have the following.
Remark A.1
The unilateral slope \(| \partial {\mathcal {F}}|_{L^2_+}\) is neither a strong nor a weak upper gradient for \({\mathcal {F}}\).
The counter-example of Sect. 5.2 applies also here. Let \(u_0 (x) = 1 - |x|\), \(u(t) = (1+t) u_0\) and \(f = u_0\). Clearly \({\dot{u}} = u_0\) and \(u \in AC (0,T; L^2 (-1,1))\). Moreover,
Hence,
Now, let us check that the inequality \(| {\dot{{\mathcal {F}}}} ( u(t)) | \le | \partial {\mathcal {F}}|_{L^2_+} (u(t)) \, | {\dot{u}}(t) |_{L^2_+}\) fails for t sufficiently large. For every \(z \in H^1_0(-1,1)\) with \(z \ge 0\) and \(\Vert z \Vert _{L^2} \le 1\) we have
then \( | \partial {\mathcal {F}}|_{L^2_+} ( u(t) ) = \sup \big \{ \! - d{\mathcal {F}}(u(t)) [z] : z \in H^1_0 , \, | z |_{L^2_+} \le 1 \big \} \le \Vert u_0 \Vert _{L^2}\) and thus
A quasi-metric for \({{\varvec{L}}}^\mathbf{2}_{\varvec{\alpha }}\). In the setting of Sect. 4.3 it is natural to introduce
where
It is not difficult to check that \(d_\alpha \) is a quasi-metric in \(L^2\), i.e., that
however \(d_\alpha \) is not a metric since it is not symmetric. First, note that the metric derivative coincides with \( | {\dot{v}} |_{L^2_\alpha }\); indeed, if \(v \in AC ( 0,T ; L^2 )\) then, in every differentiability point t, we can write
Therefore the slope of \({\mathcal {F}}( t, \cdot )\) with respect to the quasi-metric \(d_\alpha \) actually coincides with the slope \(| \partial {\mathcal {F}}|_{L^2_\alpha } ( t, \cdot )\) defined in Sect. 4.3. In this case, following the arguments of [5, Theorem 1.2.5], the slope \(|\partial {\mathcal {F}}|_{L^2_\alpha } ( t, \cdot )\) turns out to be a strong upper gradient for \({\mathcal {F}}( t, \cdot )\).
Appendix B. A unilateral \(L^2\)-subdifferential
In this section we propose a notion of unilateral subdifferential in \(L^2\) and show its connection with the unilateral slope (2.4). For sake of simplicity we consider again an autonomous functional \({\mathcal {F}}\).
Definition B.1
For \(u \in H^1_0\) the unilateral subdifferential is
As usual, \(\partial _+ {\mathcal {F}}( u) = \emptyset \) if \({\mathcal {F}}(u) = + \infty \) (i.e. if \(u \not \in H^1_0\)). It is easy to check that \(\partial _+ {\mathcal {F}}(u)\) is convex and closed. Note also that \(\partial _+ {\mathcal {F}}( u)\) is much larger than \(\partial {\mathcal {F}}(u)\), indeed if \(\zeta \in \partial {\mathcal {F}}(u)\) then every \(\xi \ge \zeta \) belongs to \( \partial _+ {\mathcal {F}}(u)\). However, in analogy with the unconstrained setting, we can define the “minimal selection”
Note that, being \(\partial _+ {\mathcal {F}}( u)\) closed in \(L^2\), the minimum is attained. Next lemma shows the natural relationship between unilateral slope and unilateral subdifferential.
Lemma B.2
If \(u \in H^1_0\) then \(| \partial {\mathcal {F}}|_{L^2_+} ( u) = \min \{ \Vert \xi \Vert _{L^2} : \xi \in \partial _+ {\mathcal {F}}(u) \}\). Moreover, if \(\partial _+ {\mathcal {F}}(u) \ne \emptyset \) then \(\partial ^\circ _+ {\mathcal {F}}(u) = \{ - [ A u + f ]_+ \}\).
Proof
In the definition of slope (2.4) it is not restrictive to consider \(v \ge u\) such that \({\mathcal {F}}(v) \le {\mathcal {F}}(u)\). In this case, for \(\xi \in \partial _+ {\mathcal {F}}(u)\) we have
Hence \(| \partial {\mathcal {F}}|_{L^2_+} (u) \le \Vert \xi \Vert _{L^2}\) for every \(\xi \in \partial _+ {\mathcal {F}}(u)\) from which
The previous inequality holds also when \(\partial _+ {\mathcal {F}}(u) = \emptyset \), in which case the right-hand side is infinite.
Let us prove that \( | \partial {\mathcal {F}}|_{L^2_+} (u) \ge \min \{ \Vert \xi \Vert _{L^2} : \xi \in \partial _+ {\mathcal {F}}(u) \}\). If \( | \partial {\mathcal {F}}|_{L^2_+} (u)\) is infinite there is nothing to prove. Otherwise, \(u \in H^1_0\) and by Lemma 3.1
By Lemma 3.6 it follows that \(- d {\mathcal {F}}(u) = A u + f \) is a Radon measure \(\mu \) with positive part \(\mu _+\) in \(L^2\) and \( | \partial {\mathcal {F}}|_{L^2_+} (u) = \Vert \mu _+ \Vert _{L^2}\). To conclude, it is enough to see that \(- [Au + f]_+ = - \mu _+ \in \partial _+ {\mathcal {F}}( u)\); indeed, by convexity for every \(v \in H^1_0\) with \(v \ge u\) we have
which concludes the proof. \(\square \)
Within this setting, the parabolic problem (2.8) would read
Clearly, the non-uniqueness issue for the parabolic problem (2.8), applies also here. Moreover, we have the following.
Remark B.3
The unilateral subdifferentials \(\partial _+^\circ {\mathcal {F}}(u)\) and \(\partial _+ {\mathcal {F}}(u)\) are not monotone in \(L^2\), as the following example shows.
For \(f = -1\) let \( {\mathcal {F}}(u) = \tfrac{1}{2} \int _{(-1,1)} | u' |^2 + u \, dx\) and \(u_0=0\). Clearly \({\mathcal {F}}(u) \ge {\mathcal {F}}(u_0)\) for every \(u \ge u_0\), hence \(0 = \xi _0 \in \partial _+ {\mathcal {F}}(u_0)\). Clearly \(\xi _0 \in \partial _+^\circ {\mathcal {F}}(u_0)\). On other hand, let \(u \in H^1_0\) with \(u > 0\) in \((-1,1)\) and \([u''-1]_+ \not \equiv 0\). Then, by Lemma B.2 we have \(\partial _+^\circ {\mathcal {F}}(u) = \{ - [u'' - 1 ]_+ \}\). Denoting \(\xi _u = - [u'' - 1 ]_+\) we have
and thus \(\partial _+^\circ {\mathcal {F}}(u)\) is not monotone. As a consequence, \(\partial _+ {\mathcal {F}}(u)\) is not monotone, since it is larger than \(\partial _+^\circ {\mathcal {F}}(u)\).
Appendix C. Unconstrained gradient flow
The aim of this last section is to provide, to the unfamiliar reader, the equivalence between gradient flows and curves of maximal slope (for our family of functionals) in the case of unconstrained evolutions. As we have already observed, for unilateral evolutions these notions are not always equivalent.
If \(A u \in L^2\) then the \(L^2\)-gradient of the energy \({\mathcal {E}}\) reads
In a similar way, \(\nabla {\mathcal {F}}( t , u) = - A u - f (t)\).
Proposition C.1
If \(u \in H^1(0,T; L^2)\) and \( A u \in L^2 (0,T;L^2)\) then \({\dot{u}} ( t) = - \nabla {\mathcal {F}}( t , u(t)) \) if and only if
a.e. in (0, T).
Proof
Under the regularity assumptions on u, we know by [10, Lemma 3.3] that the energy \(t \mapsto {\mathcal {E}}( u(t))\) is absolutely continuous and that
a.e. in (0, T). If \({\dot{u}} ( t) = - \nabla {\mathcal {F}}( t , u(t))\) then
and (C.2) reads
Now, assume \( {\dot{{\mathcal {E}}}} ( u(t)) \le - \tfrac{1}{2} \Vert {\dot{u}}(t) \Vert ^2_{L^2} - \tfrac{1}{2} \Vert \nabla {\mathcal {F}}(t, u(t)) \Vert ^2_{L^2} + \langle f(t) , {\dot{u}} (t) \rangle \). By Cauchy inequality
Hence (C.2) yields
and thus
As a consequence, by (C.2) the inequalities in (C.3) turn into equalities and give
Cauchy inequality implies \( {\dot{u}} ( t) = - \nabla {\mathcal {F}}( t , u(t)) \). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kimura, M., Negri, M. Weak solutions for unidirectional gradient flows: existence, uniqueness, and convergence of time discretization schemes. Nonlinear Differ. Equ. Appl. 28, 59 (2021). https://doi.org/10.1007/s00030-021-00720-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-021-00720-9