Searcharxiv⌕ Search

arXiv subjects

Filip Rindler

Publications and source records attributed to Filip Rindler.

At least 37 records · Page 2Linked to original sources

Fine properties of functions of bounded deformation -- an approach via linear PDEs

In this survey we collect some recent results obtained by the authors and collaborators concerning the fine structure of functions of bounded deformation (BD). These maps are $\mathrm{L}^1$-functions with the property that the symmetric part of their distributional derivative is representable as a bounded (matrix-valued) Radon measure. It has been known for a long time that for a (matrix-valued) Radon measure the property of being a symmetrized gradient can be characterized by an under-determined second-order PDE system, the Saint-Venant compatibility conditions. This observation gives rise to a new approach to the fine properties of BD-maps via the theory of PDEs for measures, which complements and partially replaces classical arguments. Starting from elementary observations, here we elucidate the ellipticity arguments underlying this recent progress and give an overview of the state of the art. We also present some open problems.

math.AP↗

Two-speed solutions to non-convex rate-independent systems

We consider evolutionary PDE inclusions of the form \[ -λ\dot{u}_λ+ Δu - \mathrm{D} W_0(u) + f \ni \partial \mathcal{R}_1(\dot{u}) \qquad\text{in $(0,T) \times Ω$,} \] where $\mathcal{R}_1$ is a positively $1$-homogeneous rate-independent dissipation potential and $W_0$ is a (generally) non-convex energy density. This work constructs solutions to the above system in the slow-loading limit $λ\downarrow 0$. Our solutions have more regularity both in space and time than those that have been obtained with other approaches. On the "slow" time scale we see strong solutions to a purely rate-independent evolution. Over the jumps, we obtain a detailed description of the behavior of the solution and we resolve the jump transients at a "fast" time scale, where the original rate-dependent evolution is still visible. Crucially, every jump transient splits into a (possibly countable) number of rate-dependent evolutions, for which the energy dissipation can be explicitly computed. This in particular yields a global energy equality for the whole evolution process. It also turns out that there is a canonical slow time scale that avoids intermediate-scale effects, where movement occurs in a mixed rate-dependent / rate-independent way. In this way, we obtain precise information on the impact of the approximation on the constructed solution. Our results are illustrated by examples, which elucidate the effects that can occur.

math.AP↗

Concentration versus oscillation effects in brittle damage

This work is concerned with an asymptotic analysis, in the sense of $Γ$-convergence, of a sequence of variational models of brittle damage in the context of linearized elasticity. The study is performed as the damaged zone concentrates into a set of zero volume and, at the same time and to the same order $\varepsilon$, the stiffness of the damaged material becomes small. Three main features make the analysis highly nontrivial: at $\varepsilon$ fixed, minimizing sequences of each brittle damage model oscillate and develop microstructures; as $\varepsilon\to 0$, concentration and saturation of damage are favoured; and the competition of these phenomena translates into a degeneration of the growth of the elastic energy, which passes from being quadratic (at $\varepsilon$ fixed) to being of linear-growth type (in the limit). Consequently, homogenization effects interact with singularity formation in a nontrivial way, which requires new methods of analysis. In particular, the interaction of homogenization with singularity formation in the framework of linearized elasticity appears to not have been considered in the literature so far. We explicitly identify the $Γ$-limit in two and three dimensions for isotropic Hooke tensors. The expression of the limit effective energy turns out to be of Hencky plasticity type. We further consider the regime where the divergence remains square-integrable in the limit, which leads to a Tresca-type model.

math.AP↗

Model inference for Ordinary Differential Equations by parametric polynomial kernel regression

Model inference for dynamical systems aims to estimate the future behaviour of a system from observations. Purely model-free statistical methods, such as Artificial Neural Networks, tend to perform poorly for such tasks. They are therefore not well suited to many questions from applications, for example in Bayesian filtering and reliability estimation. This work introduces a parametric polynomial kernel method that can be used for inferring the future behaviour of Ordinary Differential Equation models, including chaotic dynamical systems, from observations. Using numerical integration techniques, parametric representations of Ordinary Differential Equations can be learnt using Backpropagation and Stochastic Gradient Descent. The polynomial technique presented here is based on a nonparametric method, kernel ridge regression. However, the time complexity of nonparametric kernel ridge regression scales cubically with the number of training data points. Our parametric polynomial method avoids this manifestation of the curse of dimensionality, which becomes particularly relevant when working with large time series data sets. Two numerical demonstrations are presented. First, a simple regression test case is used to illustrate the method and to compare the performance with standard Artificial Neural Network techniques. Second, a more substantial test case is the inference of a chaotic spatio-temporal dynamical system, the Lorenz--Emanuel system, from observations. Our method was able to successfully track the future behaviour of the system over time periods much larger than the training data sampling rate. Finally, some limitations of the method are presented, as well as proposed directions for future work to mitigate these limitations.

cs.LG↗

Dimensional estimates and rectifiability for measures satisfying linear PDE constraints

We establish the rectifiability of measures satisfying a linear PDE constraint. The obtained rectifiability dimensions are optimal for many usual PDE operators, including all first-order systems and all second-order scalar operators. In particular, our general theorem provides a new proof of the rectifiability results for functions of bounded variations (BV) and functions of bounded deformation (BD). For divergence-free tensors we obtain refinements and new proofs of several known results on the rectifiability of varifolds and defect measures.

math.AP↗

On the two-state problem for general differential operators

In this note we generalize the Ball-James rigidity theorem for gradient differential inclusions to the setting of a general linear differential constraint. In particular, we prove the rigidity for approximate solutions to the two-state inclusion with incompatible states for merely $\mathrm{L}^1$-bounded sequences. In this way, our theorem can be seen as a result of compensated compactness in the linear-growth setting.

math.AP↗

Lower semicontinuity and relaxation of linear-growth integral functionals under PDE constraints

We show general lower semicontinuity and relaxation theorems for linear-growth integral functionals defined on vector measures that satisfy linear PDE side constraints (of arbitrary order). These results generalize several known lower semicontinuity and relaxation theorems for BV, BD, and for more general first-order linear PDE side constrains. Our proofs are based on recent progress in the understanding of singularities of measure solutions to linear PDEs and of the generalized convexity notions corresponding to these PDE constraints.

math.AP↗

Regularity and approximation of strong solutions to rate-independent systems

Rate-independent systems arise in a number of applications. Usually, weak solutions to such problems with potentially very low regularity are considered, requiring mathematical techniques capable of handling nonsmooth functions. In this work we prove the existence of Hölder-regular strong solutions for a class of rate-independent systems. We also establish additional higher regularity results that guarantee the uniqueness of strong solutions. The proof proceeds via a time-discrete Rothe approximation and careful elliptic regularity estimates depending in a quantitative way on the (local) convexity of the potential featuring in the model. In the second part of the paper we show that our strong solutions may be approximated by a fully discrete numerical scheme based on a spatial finite element discretization, whose rate of convergence is consistent with the regularity of strong solutions whose existence and uniqueness are established.

math.AP↗

Characterization of generalized Young measures generated by symmetric gradients

This work establishes a characterization theorem for (generalized) Young measures generated by symmetric derivatives of functions of bounded deformation (BD) in the spirit of the classical Kinderlehrer-Pedregal theorem. Our result places such Young measures in duality with symmetric-quasiconvex functions with linear growth. The "local" proof strategy combines blow-up arguments with the singular structure theorem in BD (the analogue of Alberti's rank-one theorem in BV), which was recently proved by the authors. As an application of our characterization theorem we show how an atomic part in a BD-Young measure can be split off in generating sequences.

math.AP↗

On a conjecture of Cheeger

This note details how a recent structure theorem for normal $1$-currents proved by the first and third author allows to prove a conjecture of Cheeger concerning the structure of Lipschitz differentiability spaces. More precisely, we show that the push-forward of the measure from a Lipschitz differentiability space under a chart is absolutely continuous with respect to Lebesgue measure.

math.MG↗

On the structure of ${\mathscr A}$-free measures and applications

We establish a general structure theorem for the singular part of ${\mathscr A}$-free Radon measures, where ${\mathscr A}$ is a linear PDE operator. By applying the theorem to suitably chosen differential operators ${\mathscr A}$, we obtain a simple proof of Alberti's rank-one theorem and, for the first time, its extensions to functions of bounded deformation (BD). We also prove a structure theorem for the singular part of a finite family of normal currents. The latter result implies that the Rademacher theorem on the differentiability of Lipschitz functions can hold only for absolutely continuous measures and that every top-dimensional Ambrosio--Kirchheim metric current in $\mathbb R^d$ is a Federer-Fleming flat chain.

math.AP↗

Existence and regularity for a class of rate-independent systems

Despite the many applications of rate-independent systems, their regularity theory is still largely unexplored. Usually, only weak solution with potentially very low regularity are considered, which requires non-smooth techniques. In this work, however, we directly prove the existence of Hölder-regular strong solutions for a class of rate-independent systems. We also establish further assertions about higher regularity of our solutions. The proof proceeds via a time-discrete Rothe approximation, careful elliptic regularity estimates in the discrete situation and evolutionary techniques.

math.AP↗

A two-speed model for finite-strain elasto-plasticity

This work presents a new modeling approach to macroscopic, polycrystalline elasto-plasticity starting from first principles and a few well-defined structural assumptions, incorporating the mildly rate-dependent (viscous) nature of plastic flow and the microscopic origins of plastic deformations. For the global dynamics, we start from a two-stage time-stepping scheme, expressing the fact that in most real materials plastic flow is much slower than elastic deformations, and then perform a detailed analysis of the slow-loading limit passage. In this limit, a rate-independent evolution can be expected, but this brings with it the possibility of jumps (relative to the "slow" time). Traditionally, the dynamics on the jump transients often remain unspecified, which leads to ambiguity and deficiencies in the energy balance. In order to remedy this, the present approach precisely describes the energetics on the jump transients as the limit of the rate-dependent evolutions at "singular points". It turns out that rate-dependent behavior may (but does not have to) prevail on the jump transients. Based on this, we introduce the new solution concept of "two-speed solutions" to the elasto-plastic evolutionary system, which incorporates a "slow" and a "fast" time scale, the latter of which parametrizes the jump transients.

cond-mat.mtrl-sci↗

Piecewise affine approximations for functions of bounded variation

BV functions cannot be approximated well by piecewise constant functions, but this work will show that a good approximation is still possible with (countably) piecewise affine functions. In particular, this approximation is area-strictly close to the original function and the $\mathrm{L}^1$-difference between the traces of the original and approximating functions on a substantial part of the mesh can be made arbitrarily small. Necessarily, the mesh needs to be adapted to the singularities of the BV function to be approximated, and consequently, the proof is based on a blow-up argument together with explicit constructions of the mesh. In the case of $\mathrm{W}^{1,1}$-Sobolev functions we establish an optimal $\mathrm{W}^{1,1}$-error estimate for approximation by piecewise affine functions on uniform regular triangulations. The piecewise affine functions are standard quasi-interpolants obtained by mollification and Lagrange interpolation on the nodes of triangulations, and the main new contribution here compared to for instance Clément (RAIRO Analyse Numérique 9 (1975), no.~R-2, 77--84) and Verfürth (M2AN Math.~Model.~Numer.~Anal. 33 (1999), no. 4, 695-713) is that our error estimates are in the $\mathrm{W}^{1,1}$-norm rather than merely the $\mathrm{L}^1$-norm.

math.AP↗

Strictly continuous extension of functionals with linear growth to the space BV

The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur often in the Calculus of Variations as the extension of integral problems defined over weakly differentiable functions with linear growth, and the result in this paper sheds light on the question of what the 'correct' extension is in this context. The result is proved via a combination of Reshetnyak's Continuity Theorem and a map assigning a lifting $μ[u]\in\mathbf{M}(Ω\times\mathbb{R}^m;\mathbb{R}^{m\times d})$ to each $u\in BV(Ω;\mathbb{R}^{m})$ and is valid for a large class of integrands satisfying $|f(x,y,A)|\leq C(1+|y|^{d/(d-1)}+|A|)$. In the case where $f$ exhibits $d/(d-1)$ growth in the $y$ variable, an embedding result from the theory of concentration-compactness is needed.

math.AP↗

Differential inclusions and Young measures involving prescribed Jacobian

This work presents a general principle, in the spirit of convex integration, leading to a method for the characterization of Young measures generated by gradients of maps in $W^{1,p}$ with $p$ less than the space dimension, whose Jacobian determinant is subjected to a range of constraints. Two special cases are particularly important in the theories of elasticity and fluid dynamics: (a) the generating gradients have positive Jacobians that are uniformly bounded away from zero and (b) the underlying deformations are incompressible, corresponding to their Jacobian determinants being constantly one. This characterization result, along with its various corollaries, underlines the flexibility of the Jacobian determinant in subcritical Sobolev spaces and gives a more systematic and general perspective on previously known pathologies of the pointwise Jacobian. Finally, we show that, for $p$ less than the dimension, $W^{1,p}$-quasiconvexity and $W^{1,p}$-orientation-preserving quasiconvexity are both unsuitable convexity conditions for nonlinear elasticity where the energy is assumed to blow up as the Jacobian approaches zero.

math.AP↗

Directional oscillations, concentrations, and compensated compactness via microlocal compactness forms

This work introduces microlocal compactness forms (MCFs) as a new tool to study oscillations and concentrations in $\mathrm{L}^p$-bounded sequences of functions. Decisively, MCFs retain information about the location, value distribution, and direction of oscillations and concentrations, thus extending at the same time the theories of (generalized) Young measures and H-measures. In $\mathrm{L}^p$-spaces oscillations and concentrations precisely discriminate between weak and strong compactness, and thus MCFs allow to quantify the difference in compactness. The definition of MCFs involves a Fourier variable, whereby also differential constraints on the functions in the sequence can be investigated easily - a distinct advantage over Young measure theory. Furthermore, pointwise restrictions are reflected in the MCF as well, paving the way for applications to Tartar's framework of compensated compactness; consequently, we establish a new weak-to-strong compactness theorem in a "geometric" way. After developing several aspects of the abstract theory, we consider three applications: For lamination microstructures, the hierarchy of oscillations is reflected in the MCF. The directional information retained in an MCF is harnessed in the relaxation theory for anisotropic integral functionals. Finally, we indicate how the theory pertains to the study of propagation of singularities in certain systems of PDEs. The proofs combine measure theory, Young measures, and harmonic analysis.

math.AP↗