Source author record

Filip Rindler

Filip Rindler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Elasto-plastic evolution of single crystals driven by dislocation flow

This work introduces a model for large-strain, geometrically nonlinear elasto-plastic dynamics in single crystals. The key feature of our model is that the plastic dynamics are entirely driven by the movement of dislocations, that is, $1$-dimensional topological defects in the crystal lattice. It is well known that glide motion of dislocations is the dominant microscopic mechanism for plastic deformation in many crystalline materials, most notably in metals. We propose a novel geometric language, built on the concepts of space-time "slip trajectories" and the "crystal scaffold" to describe the movement of (discrete) dislocations and to couple this movement to plastic flow. The energetics and dissipation relationships in our model are derived from first principles drawing on the theories of crystal modeling, elasticity, and thermodynamics. The resulting force balances involve a new configurational stress tensor describing the forces acting against slip. In order to place our model into context, we further show that it recovers several laws that were known in special cases before, most notably the equation for the Peach-Koehler force (linearized configurational force) and the fact that the combination of all dislocations yields the curl of the plastic distortion field. Finally, we also include a brief discussion on how a number of other effects, such as hardening, softening, dislocation climb, and coarse-graining, could be incorporated into our model.

preprint2022arXiv

Shape optimization of light structures and the vanishing mass conjecture

This work proves rigorous results about the vanishing-mass limit of the classical problem to find a shape with minimal elastic compliance. Contrary to all previous results in the mathematical literature, which utilize a soft mass constraint by introducing a Lagrange multiplier, we here consider the hard mass constraint. Our results are the first to establish the convergence of approximately optimal shapes of (exact) size $\varepsilon \downarrow 0$ to a limit generalized shape represented by a (possibly diffuse) probability measure. This limit generalized shape is a minimizer of the limit compliance, which involves a new integrand, namely the one conjectured by Bouchitté in 2001 and predicted heuristically before in works of Allaire & Kohn and Kohn & Strang from the 1980s and 1990s. This integrand gives the energy of the limit generalized shape understood as a fine oscillation of (optimal) lower-dimensional structures. Its appearance is surprising since the integrand in the original compliance is just a quadratic form and the non-convexity of the problem is not immediately obvious. In fact, it is the interaction of the mass constraint with the requirement of attaining the loading (in the form of a divergence-constraint) that gives rise to this new integrand. We also present connections to the theory of Michell trusses, first formulated in 1904, and show how our results can be interpreted as a rigorous justification of that theory on the level of functionals in both two and three dimensions, settling this open problem. Our proofs rest on compensated compactness arguments applied to an explicit family of (symmetric) $\mathrm{div}$-quasiconvex quadratic forms, computations involving the Hashin-Shtrikman bounds for the Kohn-Strang integrand, and the characterization of limit minimizers due to Bouchitté & Buttazzo.

preprint2022arXiv

Transport of currents and geometric Rademacher-type theorems

The transport of many kinds of singular structures in a medium, such as vortex points/lines/sheets in fluids, dislocation loops in crystalline plastic solids, or topological singularities in magnetism, can be expressed in terms of the geometric (Lie) transport equation \[ \frac{\mathrm{d}}{\mathrm{d} t} T_t + \mathcal{L}_{b_t} T_t = 0 \] for a time-indexed family of integral or normal $k$-currents $t \mapsto T_t$ in $\mathbb{R}^d$. Here, $b_t$ is the driving vector field and $\mathcal{L}_{b_t} T_t$ is the Lie derivative of $T_t$ with respect to $b_t$. Written in coordinates for different values of $k$, this PDE encompasses the classical transport equation ($k = d$), the continuity equation ($k = 0$), as well as the equations for the transport of dislocation lines in crystals ($k = 1$) and membranes in liquids ($k =d-1$). The top-dimensional and bottom-dimensional cases have received a great deal of attention in connection with the DiPerna--Lions and Ambrosio theories of Regular Lagrangian Flows. On the other hand, very little is rigorously known at present in the intermediate-dimensional cases. This work develops the theory of the geometric transport equation for arbitrary $k$ and in the case of boundaryless currents $T_t$, covering in particular existence and uniqueness of solutions, structure theorems, rectifiability, and a number of Rademacher-type differentiability results. The latter yield, given an absolutely continuous (in time) path $t \mapsto T_t$, the existence almost everywhere of a ''geometric derivative'', namely a driving vector field $b_t$. This subtle question turns out to be intimately related to the critical set of the evolution, a new notion introduced in this work, which is closely related to Sard's theorem and concerns singularities that are ''smeared out in time''. Our differentiability results are sharp, which we demonstrate through an explicit example.

preprint2020arXiv

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.

preprint2020arXiv

Liftings, Young measures, and lower semicontinuity

This work introduces liftings and their associated Young measures as new tools to study the asymptotic behaviour of sequences of pairs $(u_j,Du_j)j$ for $(u_j)_j \in \mathrm{BV}(Ω;\mathbb{R}^m)$ under weak* convergence. These tools are then used to prove an integral representation theorem for the relaxation of the functional \[ \mathcal{F}\colon u\to\int_Ωf(x,u(x),\nabla u(x)) \;\mathrm{dx},\quad u\in\mathrm{W}^{1,1}(Ω;\mathbb{R}^m),\quad Ω\in\mathbb{R}^d\text{ open}, \] to the space $\mathrm{BV}(Ω; \mathbb{R}^m)$. Lower semicontinuity results of this type were first obtained by Fonseca and Müller [Arch. Ration. Mech. Anal. 123 (1993), 1-49] and later improved by a number of authors, but our theorem is valid under more natural, essentially optimal, hypotheses than those currently present in the literature, requiring principally that $f$ be Carathéodory and quasiconvex in the final variable. The key idea is that liftings provide the right way of localising $\mathcal{F}$ in the $x$ and $u$ variables simultaneously under weak* convergence. As a consequence, we are able to implement an optimal measure-theoretic blow-up procedure.

preprint2020arXiv

On the relaxation of integral functionals depending on the symmetrized gradient

We prove results on the relaxation and weak* lower semicontinuity of integral functionals of the form \[ \mathcal{F}[u] := \int_Ω f \bigg( \frac{1}{2} \bigl( \nabla u(x) + \nabla u(x)^T \bigr) \bigg)\,\mathrm{d} x, \qquad u : Ω\subset \mathbb{R}^d \to \mathbb{R}^d, \] over the space $\mathrm{BD}(Ω)$ of functions of bounded deformation or over the Temam-Strang space \[ \mathrm{U}(Ω):=\bigl\{u\in \mathrm{BD}(Ω): \ \mathrm{div} \ u\in \mathrm{L}^2(Ω)\bigr\}, \] depending on the growth and shape of the integrand $f$. Such functionals are interesting for example in the study of Hencky plasticity and related models.

preprint2020arXiv

Probabilistic solution of chaotic dynamical system inverse problems using Bayesian Artificial Neural Networks

This paper demonstrates the application of Bayesian Artificial Neural Networks to Ordinary Differential Equation (ODE) inverse problems. We consider the case of estimating an unknown chaotic dynamical system transition model from state observation data. Inverse problems for chaotic systems are numerically challenging as small perturbations in model parameters can cause very large changes in estimated forward trajectories. Bayesian Artificial Neural Networks can be used to simultaneously fit a model and estimate model parameter uncertainty. Knowledge of model parameter uncertainty can then be incorporated into the probabilistic estimates of the inferred system's forward time evolution. The method is demonstrated numerically by analysing the chaotic Sprott B system. Observations of the system are used to estimate a posterior predictive distribution over the weights of a parametric polynomial kernel Artificial Neural Network. It is shown that the proposed method is able to perform accurate time predictions. Further, the proposed method is able to correctly account for model uncertainties and provide useful prediction uncertainty bounds.

preprint2020arXiv

Relaxation for partially coercive integral functionals with linear growth

We prove an integral representation theorem for the $\mathrm{L}^1(Ω;\mathbb{R}^m)$-relaxation of the functional \[ \mathcal{F}\colon u\mapsto\int_Ωf(x,u(x),\nabla u(x))\;\mathrm{dd } x,\quad u\in\mathrm{W}^{1,1}(Ω;\mathbb{R}^m),\quadΩ\subset\mathbb{R}^d\text{ open,} \] to the space $\mathrm{BV}(Ω;\mathbb{R}^m)$ under very general assumptions, requiring principally that $f$ be Carathéodory, partially coercive, and quasiconvex in the final variable. Our result is the first of its kind which applies to integrands which are unbounded in the $u$-variable and thus allows to treat many problems from applications. Such functionals are out of reach of the classical blow-up approach introduced by Fonseca & Müller [Arch. Ration. Mech. Anal. 123 (1993), 1--49]. Our proof relies on an intricate truncation construction (in the $x$ and $u$ arguments simultaneously) made possible by the theory of liftings as introduced in the companion paper arXiv:1708.04165, and features techniques which could be of use for other problems featuring $u$-dependent integrands.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

A local proof for the characterization of Young measures generated by sequences in BV

This work presents a new proof of the recent characterization theorem for generalized Young measures generated by sequences in BV by Kristensen and the author [Arch. Ration. Mech. Anal. 197 (2010), 539-598]. The present argument is based on a localization technique together with a local Hahn-Banach argument in novel function spaces combined with an application of Alberti's Rank-One Theorem. This strategy avoids employing a relaxation theorem as in the previously known proof, and the new tools introduced in its course should prove useful in other contexts as well. In particular, we introduce homogeneous Young measures, separately at regular and singular points, which exhibit rather different behaviour than the classical homogeneous Young measures. As an application, we show how for BV-Young measures with an atomic part one can find a generating sequence respecting this structure.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

Orientation-preserving Young measures

We prove a characterization result in the spirit of the Kinderlehrer-Pedregal Theorem for Young measures generated by gradients of Sobolev maps satisfying the orientation-preserving constraint, that is the pointwise Jacobian is positive almost everywhere. The argument to construct the appropriate generating sequences from such Young measures is based on a variant of convex integration in conjunction with an explicit lamination construction in matrix space. Our generating sequence is bounded in $L^p$ for $p$ less than the space dimension, a regime in which the pointwise Jacobian loses some of its important properties. On the other hand, for $p$ larger than, or equal to, the space dimension the situation necessarily becomes rigid and a construction as presented here cannot succeed. Applications to relaxation of integral functionals, the theory of semiconvex hulls, and approximation of weakly orientation-preserving maps by strictly orientation-preserving ones in Sobolev spaces are given.

preprint2014arXiv

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.

preprint2014arXiv

Thin-film limits of functionals on A-free vector fields

This paper deals with variational principles on thin films subject to linear PDE constraints represented by a constant-rank operator $\mathcal{A}$. We study the effective behavior of integral functionals as the thickness of the domain tends to zero, investigating both upper and lower bounds for the $Γ$-limit. Under certain conditions we show that the limit is an integral functional and give an explicit formula. The limit functional turns out to be constrained to $\mathcal{A}_0$-free vector fields, where the limit operator $\mathcal{A}_0$ is in general not of constant rank. This result extends work by Bouchitte, Fonseca and Mascarenhas [J. Convex Anal. 16 (2009), pp. 351--365] to the setting of $\mathcal{A}$-free vector fields. While the lower bound follows from a Young measure approach together with a new decomposition lemma, the construction of a recovery sequence relies on algebraic considerations in Fourier space. This part of the argument requires a careful analysis of the limiting behavior of the rescaled operators $\mathcal{A}_ε$ by a suitable convergence of their symbols, as well as an explicit construction for plane waves inspired by the bending moment formulas in the theory of (linear) elasticity. We also give a few applications to common operators $\mathcal{A}$.

preprint2011arXiv

Lower semicontinuity and Young measures in BV without Alberti's Rank-One Theorem

We give a new proof of sequential weak* lower semicontinuity in $\BV(Ω;\R^m)$ for integral functionals with a quasiconvex Carathéodory integrand with linear growth at infinity and such that the recession function $f^\infty$ exists in a strong sense and is (jointly) continuous. In contrast to the classical proofs by Ambrosio & Dal Maso [J. Funct. Anal. 109 (1992), 76-97] and Fonseca & Müller [Arch. Ration. Mech. Anal. 123 (1993), 1-49], we do not use Alberti's Rank-One Theorem [Proc. Roy. Soc. Edinburgh Sect. A} 123 (1993), 239-274], but a rigidity result for gradients. The proof is set in the framework of generalized Young measures and proceeds via establishing Jensen-type inequalities for regular and singular points of $Du$.

preprint2011arXiv

Lower semicontinuity for integral functionals in the space of functions of bounded deformation via rigidity and Young measures

We establish a general weak* lower semicontinuity result in the space $\BD(Ω)$ of functions of bounded deformation for functionals of the form $$\Fcal(u) := \int_Ωf \bigl(x, \Ecal u \bigr) \dd x + \int_Ωf^\infty \Bigl(x, \frac{\di E^s u}{\di \abs{E^s u}} \Bigr) \dd \abs{E^s u} + \int_{\partial Ω} f^\infty \bigl(x, u|_{\partial Ω} \odot n_Ω\bigr) \dd \Hcal^{d-1}$$, $u \in \BD(Ω)$. The main novelty is that we allow for non-vanishing Cantor-parts in the symmetrized derivative $Eu$. The proof is accomplished via Jensen-type inequalities for generalized Young measures and a construction of good blow-ups, which is based on local rigidity arguments for some differential inclusions involving symmetrized gradients. This strategy allows us to establish the lower semicontinuity result without an Alberti-type theorem in $\BD(Ω)$, which is not available at present. We also include existence and relaxation results for variational problems in $\BD(Ω)$, as well as a complete discussion of some differential inclusions for the symmetrized gradient in two dimensions.