-
Energy release and Griffith's criterion for phase-field fracture
Authors:
Eleonora Maggiorelli,
Matteo Negri
Abstract:
Phase field evolutions are obtained by means of time discrete schemes, providing (or selecting) at each time step an equilibrium configuration of the system, which is usually computed by descent methods for the free energy (e.g.staggered and monolithic schemes) under a suitable irreversibility constraint on the phase-field parameter. We study in detail the time continuous limits of these evolution…
▽ More
Phase field evolutions are obtained by means of time discrete schemes, providing (or selecting) at each time step an equilibrium configuration of the system, which is usually computed by descent methods for the free energy (e.g.staggered and monolithic schemes) under a suitable irreversibility constraint on the phase-field parameter. We study in detail the time continuous limits of these evolutions considering monotonicity as irreversibility constraint and providing a general result, which holds independently of the scheme employed in the incremental problem. In particular, we show that in the steady state regime the limit evolution is simultaneous (in displacement and phase field parameter) and satisfies Griffith's criterion in terms of toughness and phase field energy release rate. In the unsteady regime the limit evolution may instead depend on the adopted scheme and Griffith's criterion may not hold. We prove also the thermodynamical consistency of the monotonicity constraint over the whole evolution, and we study the system of PDEs (actually, a weak variational inequality) in the steady state regime. Technically, the proof employs a suitable reparametrization of the time discrete points, whose Kuratowski limit characterizes the set of steady state propagation. The study of the quasi-static time continuous limit relies on the strong convergence of the phase field function together with the convergence of the power identity.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
AT1 fourth-order isogeometric phase-field modeling of brittle fracture
Authors:
Luigi Greco,
Eleonora Maggiorelli,
Matteo Negri,
Alessia Patton,
Alessandro Reali
Abstract:
A crucial aspect in phase-field modeling, based on the variational formulation of brittle fracture, is the accurate representation of how the fracture surface energy is dissipated during the fracture process in the energy competition within a minimization problem. In general, the family of AT1 functionals showcases a well-defined elastic limit and narrow transition regions before crack onset, as o…
▽ More
A crucial aspect in phase-field modeling, based on the variational formulation of brittle fracture, is the accurate representation of how the fracture surface energy is dissipated during the fracture process in the energy competition within a minimization problem. In general, the family of AT1 functionals showcases a well-defined elastic limit and narrow transition regions before crack onset, as opposed to AT2 models. On the other hand, high-order functionals provide similar accuracy as low-order ones but allow for larger mesh sizes in their discretization, remarkably reducing the computational cost. In this work, we aim to combine both these advantages and propose a novel AT1 fourth-order phase-field model for brittle fracture within an isogeometric framework, which provides a straightforward discretization of the high-order term in the crack surface density functional. For the introduced AT1 functional, we first prove a Γ-convergence result (in both the continuum and discretized isogeometric setting) based on a careful study of the optimal transition profile, which ultimately provides the explicit correction factor for the toughness and the exact size of the transition region. Fracture irreversibility is modeled by monotonicity of the damage variable and is conveniently enforced using the Projected Successive Over-Relaxation algorithm. Our numerical results indicate that the proposed fourth-order AT1 model is more accurate than the considered lower-order AT1 and AT2 models; this allows to employ larger mesh sizes, entailing a lower computational cost.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Homogenization of Griffith's Criterion for brittle Laminates
Authors:
Matteo Negri
Abstract:
We consider a periodic, linear elastic laminate with a brittle crack, evolving along a prescribed path according to Griffith's criterion. We study the homogenized limit of this evolution, as the size of the layers vanishes. The limit evolution is governed again by Griffith's criterion, in terms of the energy release (of the homogenized elastic energy) and an effective toughness, which in general d…
▽ More
We consider a periodic, linear elastic laminate with a brittle crack, evolving along a prescribed path according to Griffith's criterion. We study the homogenized limit of this evolution, as the size of the layers vanishes. The limit evolution is governed again by Griffith's criterion, in terms of the energy release (of the homogenized elastic energy) and an effective toughness, which in general differs from the weak* limit of the periodic toughness. We provide a variational characterization of the effective toughness and, by the energy identity, we link the toughening effect (in the limit) to the micro-instabilities of the evolution (in the periodic laminate). Finally, we provide a couple of explicit calculations of the effective toughness in the anti-plane setting, showing in particular an example of toughening by elastic contrast.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Wide flat minima and optimal generalization in classifying high-dimensional Gaussian mixtures
Authors:
Carlo Baldassi,
Enrico M. Malatesta,
Matteo Negri,
Riccardo Zecchina
Abstract:
We analyze the connection between minimizers with good generalizing properties and high local entropy regions of a threshold-linear classifier in Gaussian mixtures with the mean squared error loss function. We show that there exist configurations that achieve the Bayes-optimal generalization error, even in the case of unbalanced clusters. We explore analytically the error-counting loss landscape i…
▽ More
We analyze the connection between minimizers with good generalizing properties and high local entropy regions of a threshold-linear classifier in Gaussian mixtures with the mean squared error loss function. We show that there exist configurations that achieve the Bayes-optimal generalization error, even in the case of unbalanced clusters. We explore analytically the error-counting loss landscape in the vicinity of a Bayes-optimal solution, and show that the closer we get to such configurations, the higher the local entropy, implying that the Bayes-optimal solution lays inside a wide flat region. We also consider the algorithmically relevant case of targeting wide flat minima of the (differentiable) mean squared error loss. Our analytical and numerical results show not only that in the balanced case the dependence on the norm of the weights is mild, but also, in the unbalanced case, that the performances can be improved.
△ Less
Submitted 17 November, 2020; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Existence, energy identity and higher time regularity of solutions to a dynamic visco-elastic cohesive interface model
Authors:
Matteo Negri,
Riccardo Scala
Abstract:
We study the dynamics of visco-elastic materials coupled by a common cohesive interface (or, equivalently, {two single domains separated by} a prescribed cohesive crack) in the anti-plane setting. We consider a general class of traction-separation laws featuring an activation threshold on the normal stress, softening and elastic unloading. In strong form, the evolution is described by a system of…
▽ More
We study the dynamics of visco-elastic materials coupled by a common cohesive interface (or, equivalently, {two single domains separated by} a prescribed cohesive crack) in the anti-plane setting. We consider a general class of traction-separation laws featuring an activation threshold on the normal stress, softening and elastic unloading. In strong form, the evolution is described by a system of PDEs coupling momentum balance (in the bulk) with transmission and Karush-Kuhn-Tucker conditions (on the interface). We provide a detailed analysis of the system. We first prove existence of a weak solution, employing a time discrete approach and a regularization of the initial data. Then, we prove our main results: the energy identity and the existence of { solutions} with acceleration in $L^\infty (0,T; L^2)$.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
A quasi-static model for craquelure patterns
Authors:
Matteo Negri
Abstract:
We consider the quasi-static evolution of a brittle layer on a stiff substrate; adhesion between layers is assumed to be elastic. Employing a phase-field approach we obtain the quasi-static evolution as the limit of time-discrete evolutions computed by an alternate minimization scheme. We study the limit evolution, providing a qualitative discussion of its behaviour and a rigorous characterization…
▽ More
We consider the quasi-static evolution of a brittle layer on a stiff substrate; adhesion between layers is assumed to be elastic. Employing a phase-field approach we obtain the quasi-static evolution as the limit of time-discrete evolutions computed by an alternate minimization scheme. We study the limit evolution, providing a qualitative discussion of its behaviour and a rigorous characterization, in terms of parametrized balanced viscosity evolutions. Further, we study the transition layer of the phase-field, in a simplified setting, and show that it governs the spacing of cracks in the first stages of the evolution. Numerical results show a good consistency with the theoretical study and the local morphology of real life craquelure patterns.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Weak solutions for gradient flows under monotonicity constraints
Authors:
Matteo Negri,
Masato Kimura
Abstract:
We consider the gradient flow of a quadratic non-autonomous energy under monotonicity constraint in time and natural regularity assumptions. We provide first a notion of weak solution, inspired by the theory of curves of maximal slope, and then existence (employing time-discrete schemes with different "implementations" of the constraint), uniqueness, power and energy identity, comparison principle…
▽ More
We consider the gradient flow of a quadratic non-autonomous energy under monotonicity constraint in time and natural regularity assumptions. We provide first a notion of weak solution, inspired by the theory of curves of maximal slope, and then existence (employing time-discrete schemes with different "implementations" of the constraint), uniqueness, power and energy identity, comparison principle and continuous dependence. As a byproduct, we show that the energy identity gives a selection criterion for the (non-unique) evolutions obtained by other notions of solutions. We finally show that, for autonomous energies, the solutions obtained with the monotonicity constraint actually coincide with those obtained with a fixed obstacle, given by the initial datum.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
$Γ$-convergence for high order phase field fracture: continuum and isogeometric formulations
Authors:
Matteo Negri
Abstract:
We consider second order phase field functionals, in the continuum setting, and their discretization with isogeometric tensor product B-splines. We prove that these functionals, continuum and discrete, $Γ$-converge to a brittle fracture energy, defined in the space $GSBD^2$. In particular, in the isogeometric setting, since the projection operator is not Lagrangian (i.e., interpolatory) a special…
▽ More
We consider second order phase field functionals, in the continuum setting, and their discretization with isogeometric tensor product B-splines. We prove that these functionals, continuum and discrete, $Γ$-converge to a brittle fracture energy, defined in the space $GSBD^2$. In particular, in the isogeometric setting, since the projection operator is not Lagrangian (i.e., interpolatory) a special construction is needed in order to guarantee that recovery sequences take values in $[0,1]$; convergence holds, as expected, if $h = o (\varepsilon)$, being $h$ the size of the physical mesh and $\varepsilon$ the internal length in the phase field energy.
△ Less
Submitted 9 September, 2019; v1 submitted 23 July, 2019;
originally announced July 2019.
-
Analysis of staggered evolutions for nonlinear energies in phase field fracture
Authors:
Stefano Almi,
Matteo Negri
Abstract:
We consider a class of separately convex phase field energies employed in fracture mechanics, featuring non-interpenetration and a general softening behavior. We analyze the time-discrete evolutions generated by a staggered minimization scheme, where fracture irreversibility is modeled by a monotonicity constraint on the phase field variable. After recasting the staggered scheme by means of gradie…
▽ More
We consider a class of separately convex phase field energies employed in fracture mechanics, featuring non-interpenetration and a general softening behavior. We analyze the time-discrete evolutions generated by a staggered minimization scheme, where fracture irreversibility is modeled by a monotonicity constraint on the phase field variable. After recasting the staggered scheme by means of gradient flows, we characterize the time-continuous limits of the discrete solutions in terms of balanced viscosity evolutions, parametrized by their arc-length with respect to the L2-norm (for the phase field) and the H1-norm (for the displacement field). By a careful study of the energy balance we deduce that time-continuous evolutions may still exhibit an alternate behavior in discontinuity times.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
Space-time least-squares isogeometric method and efficient solver for parabolic problems
Authors:
Monica Montardini,
Matteo Negri,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this paper, we propose a space-time least-squares isogeometric method to solve parabolic evolution problems, well suited for high-degree smooth splines in the space-time domain. We focus on the linear solver and its computational efficiency: thanks to the proposed formulation and to the tensor-product construction of space-time splines, we can design a preconditioner whose application requires…
▽ More
In this paper, we propose a space-time least-squares isogeometric method to solve parabolic evolution problems, well suited for high-degree smooth splines in the space-time domain. We focus on the linear solver and its computational efficiency: thanks to the proposed formulation and to the tensor-product construction of space-time splines, we can design a preconditioner whose application requires the solution of a Sylvester-like equation, which is performed efficiently by the fast diagonalization method. The preconditioner is robust w.r.t. spline degree and mesh size. The computational time required for its application, for a serial execution, is almost proportional to the number of degrees-of-freedom and independent of the polynomial degree. The proposed approach is also well-suited for parallelization.
△ Less
Submitted 16 September, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Decision Theory in an Algebraic Setting
Authors:
Maurizio Negri
Abstract:
In decision theory an act is a function from a set of conditions to the set of real numbers. The set of conditions is a partition in some algebra of events. The expected value of an act can be calculated when a probability measure is given. We adopt an algebraic point of view by substituting the algebra of events with a finite distributive lattice and the probability measure with a lattice valuati…
▽ More
In decision theory an act is a function from a set of conditions to the set of real numbers. The set of conditions is a partition in some algebra of events. The expected value of an act can be calculated when a probability measure is given. We adopt an algebraic point of view by substituting the algebra of events with a finite distributive lattice and the probability measure with a lattice valuation. We introduce a partial order on acts that generalizes the dominance relation and show that the set of acts is a lattice with respect to this order. Finally we analyze some different kinds of comparison between acts, without supposing a common set of conditions for the acts to be compared.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
A Dutch Book theorem for partial subjective probability
Authors:
Maurizio Negri
Abstract:
The aim of this paper is to show that partial probability can be justified from the standpoint of subjective probability in much the same way as classical probability does. The seminal works of Ramsey and De Finetti have furnished a method for assessing subjective probabilities: ask about the bets the decision-maker would be willing to place. So we introduce the concept of partial bet and partial…
▽ More
The aim of this paper is to show that partial probability can be justified from the standpoint of subjective probability in much the same way as classical probability does. The seminal works of Ramsey and De Finetti have furnished a method for assessing subjective probabilities: ask about the bets the decision-maker would be willing to place. So we introduce the concept of partial bet and partial Dutch Book and prove for partial probability a result similar to the Ramsey-De Finetti theorem. Finally, we make a comparison between two concepts of bet: we can bet our money on a sentence describing an event, or we can bet our money on the event itself, generally conceived as a set. These two ways of understanding a bet are equivalent in classical probability, but not in partial probability.
△ Less
Submitted 30 May, 2014;
originally announced May 2014.
-
Partial Probability and Kleene Logic
Authors:
Maurizio Negri
Abstract:
There are two main approach to probability, one of set-theoretic character where probability is the measure of a set, and another one of linguistic character where probability is the degree of confidence in a proposition. In this work we give an unified algebraic treatment of these approaches through the concept of valued lattice, obtaining as a by-product a translation between them. Then we intro…
▽ More
There are two main approach to probability, one of set-theoretic character where probability is the measure of a set, and another one of linguistic character where probability is the degree of confidence in a proposition. In this work we give an unified algebraic treatment of these approaches through the concept of valued lattice, obtaining as a by-product a translation between them. Then we introduce the concept of partial valuation for DMF-algebras (De Morgan algebras with a single fixed point for negation), giving an algebraic setting for probability of partial events. We introduce the concept of partial probability for propositions, substituting classical logic with Kleene's logic. In this case too we give a translation between set-theoretic and linguistic probability. Finally, we introduce the concept of conditional partial probability and prove a weak form of Bayes's Theorem.
△ Less
Submitted 23 October, 2013;
originally announced October 2013.