-
Two-Scale Finite Element Approximation of a Homogenized Plate Model
Authors:
Martin Rumpf,
Stefan Simon,
Christoph Smoch
Abstract:
This paper studies the discretization of a homogenization and dimension reduction model for the elastic deformation of microstructured thin plates proposed by Hornung, Neukamm, and Velčić in 2014. Thereby, a nonlinear bending energy is based on a homogenized quadratic form which acts on the second fundamental form associated with the elastic deformation. Convergence is proven for a multi-affine fi…
▽ More
This paper studies the discretization of a homogenization and dimension reduction model for the elastic deformation of microstructured thin plates proposed by Hornung, Neukamm, and Velčić in 2014. Thereby, a nonlinear bending energy is based on a homogenized quadratic form which acts on the second fundamental form associated with the elastic deformation. Convergence is proven for a multi-affine finite element discretization of the involved three-dimensional microscopic cell problems and a discrete Kirchhoff triangle discretization of the two-dimensional isometry-constrained macroscopic problem. Finally, the convergence properties are numerically verified in selected test cases and qualitatively compared with deformation experiments for microstructured sheets of paper.
△ Less
Submitted 18 June, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Parametrizing Product Shape Manifolds by Composite Networks
Authors:
Josua Sassen,
Klaus Hildebrandt,
Martin Rumpf,
Benedikt Wirth
Abstract:
Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural network approximation. We show that this is indeed possible for shape spaces with a special product structure, namely those smoothly approximable by a direct sum of…
▽ More
Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural network approximation. We show that this is indeed possible for shape spaces with a special product structure, namely those smoothly approximable by a direct sum of low-dimensional manifolds. Our proposed architecture leverages this structure by separately learning approximations for the low-dimensional factors and a subsequent combination. After develo** the approach as a general framework, we apply it to a shape space of triangular surfaces. Here, typical examples of data manifolds are given through datasets of articulated models and can be factorized, for example, by a Sparse Principal Geodesic Analysis (SPGA). We demonstrate the effectiveness of our proposed approach with experiments on synthetic data as well as manifolds extracted from data via SPGA.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Approximation of Splines in Wasserstein Spaces
Authors:
Jorge Justiniano,
Martin Rumpf,
Matthias Erbar
Abstract:
This paper investigates a time discrete variational model for splines in Wasserstein spaces to interpolate probability measures. Cubic splines in Euclidean space are known to minimize the integrated squared acceleration subject to a set of interpolation constraints. As generalization on the space of probability measures the integral over the squared acceleration is considered as a spline energy an…
▽ More
This paper investigates a time discrete variational model for splines in Wasserstein spaces to interpolate probability measures. Cubic splines in Euclidean space are known to minimize the integrated squared acceleration subject to a set of interpolation constraints. As generalization on the space of probability measures the integral over the squared acceleration is considered as a spline energy and regularized by addition of the usual action functional. Both energies are then discretized in time using local Wasserstein-2 distances and the generalized Wasserstein barycenter. The existence of time discrete regularized splines for given interpolation conditions is established. On the subspace of Gaussian distributions, the spline interpolation problem is solved explicitly and consistency in the discrete to continuous limit is shown. The computation of time discrete splines is implemented numerically, based on entropy regularization and the Sinkhorn algorithm. A variant of the iPALM method is applied for the minimization of the fully discrete functional. A variety of numerical examples demonstrate the robustness of the approach and show striking characteristics of the method. As a particular application the spline interpolation for synthesized textures is presented.
△ Less
Submitted 15 February, 2024; v1 submitted 21 February, 2023;
originally announced February 2023.
-
Convergent autoencoder approximation of low bending and low distortion manifold embeddings
Authors:
Juliane Braunsmann,
Marko Rajković,
Martin Rumpf,
Benedikt Wirth
Abstract:
Autoencoders, which consist of an encoder and a decoder, are widely used in machine learning for dimension reduction of high-dimensional data. The encoder embeds the input data manifold into a lower-dimensional latent space, while the decoder represents the inverse map, providing a parametrization of the data manifold by the manifold in latent space. A good regularity and structure of the embedded…
▽ More
Autoencoders, which consist of an encoder and a decoder, are widely used in machine learning for dimension reduction of high-dimensional data. The encoder embeds the input data manifold into a lower-dimensional latent space, while the decoder represents the inverse map, providing a parametrization of the data manifold by the manifold in latent space. A good regularity and structure of the embedded manifold may substantially simplify further data processing tasks such as cluster analysis or data interpolation. We propose and analyze a novel regularization for learning the encoder component of an autoencoder: a loss functional that prefers isometric, extrinsically flat embeddings and allows to train the encoder on its own. To perform the training it is assumed that for pairs of nearby points on the input manifold their local Riemannian distance and their local Riemannian average can be evaluated. The loss functional is computed via Monte Carlo integration with different sampling strategies for pairs of points on the input manifold. Our main theorem identifies a geometric loss functional of the embedding map as the $Γ$-limit of the sampling-dependent loss functionals. Numerical tests, using image data that encodes different explicitly given data manifolds, show that smooth manifold embeddings into latent space are obtained. Due to the promotion of extrinsic flatness, these embeddings are regular enough such that interpolation between not too distant points on the manifold is well approximated by linear interpolation in latent space as one possible postprocessing.
△ Less
Submitted 10 January, 2024; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Two-scale elastic shape optimization for additive manufacturing
Authors:
Sergio Conti,
Martin Rumpf,
Stefan Simon
Abstract:
In this paper, a two-scale approach for elastic shape optimization of fine-scale structures in additive manufacturing is investigated. To this end, a free material optimization is performed on the macro-scale using elasticity tensors in a set of microscopically realizable tensors. A database of these realizable tensors and their cost values is obtained with a shape and topology optimization on mic…
▽ More
In this paper, a two-scale approach for elastic shape optimization of fine-scale structures in additive manufacturing is investigated. To this end, a free material optimization is performed on the macro-scale using elasticity tensors in a set of microscopically realizable tensors. A database of these realizable tensors and their cost values is obtained with a shape and topology optimization on microscopic cells, working within a fixed set of elasticity tensors samples. This microscopic optimization takes into account manufacturability constraints via predefined material bridges to neighbouring cells at the faces of the microscopic fundamental cell. For the actual additive manufacturing on a chosen fine-scale, a piece-wise constant elasticity tensor ansatz on grid cells of a macroscopic mesh is applied. The macroscopic optimization is performed in an efficient online phase, whereas the associated cell-wise optimal material patterns are retrieved from the database that was computed offline. For that, the set of admissible realizable elasticity tensors is parametrized using tensor product cubic B-splines over the unit square matching the precomputed samples. This representation is then efficiently used in an interior point method for the free material optimization on the macro-scale.
△ Less
Submitted 27 July, 2022; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Finite Element Approximation of Large-Scale Isometric Deformations of Parametrized Surfaces
Authors:
Martin Rumpf,
Stefan Simon,
Christoph Smoch
Abstract:
In this paper, the numerical approximation of isometric deformations of thin elastic shells is discussed. To this end, for a thin shell represented by a parametrized surface, it is shown how to transform the stored elastic energy for an isometric deformation such that the highest order term is quadratic. For this reformulated model, existence of optimal isometric deformations is shown. A finite el…
▽ More
In this paper, the numerical approximation of isometric deformations of thin elastic shells is discussed. To this end, for a thin shell represented by a parametrized surface, it is shown how to transform the stored elastic energy for an isometric deformation such that the highest order term is quadratic. For this reformulated model, existence of optimal isometric deformations is shown. A finite element approximation is obtained using the Discrete Kirchhoff Triangle (DKT) approach and the convergence of discrete minimizers to a continuous minimizer is demonstrated. In that respect, this paper generalizes the results by Bartels for the approximation of bending isometries of plates. A Newton scheme is derived to numerically simulate large bending isometries of shells. The proven convergence properties are experimentally verified and characteristics of isometric deformations are discussed.
△ Less
Submitted 30 June, 2022; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Consistent Approximation of Interpolating Splines in Image Metamorphosis
Authors:
Jorge Justiniano,
Marko Rajković,
Martin Rumpf
Abstract:
This paper investigates a variational model for splines in the image metamorphosis model for the smooth interpolation of key frames in the space of images. The Riemannian manifold of images based on the metamorphosis model defines shortest geodesic paths interpolating two images as minimizers of the path energy which measures the viscous dissipation caused by the motion field and dissipation cause…
▽ More
This paper investigates a variational model for splines in the image metamorphosis model for the smooth interpolation of key frames in the space of images. The Riemannian manifold of images based on the metamorphosis model defines shortest geodesic paths interpolating two images as minimizers of the path energy which measures the viscous dissipation caused by the motion field and dissipation caused by the material derivative of the image intensity along motion paths. In this paper, we aim at smooth interpolation of multiple key frame images picking up the general observation of cubic splines in Euclidean space which minimize the squared acceleration along the interpolation path. To this end, we propose the spline functional which combines quadratic functionals of the Eulerian motion acceleration and of the second material derivative of the image intensity as the proper notion of image intensity acceleration. We propose a variational time discretization of this model and study the convergence to a suitably relaxed time continuous model via $Γ$-convergence methodology. As a byproduct, this also allows to establish the existence of metamorphosis splines for given key frame images as minimizers of the time continuous spline functional. The time discretization is complemented by effective spatial discretization based on finite differences and a stable B-spline interpolation of deformed quantities. A variety of numerical examples demonstrates the robustness and versatility of the proposed method in applications. For the minimization of the fully discrete energy functional a variant of the iPALM algorithm is used.
△ Less
Submitted 16 November, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
A Pessimistic Bilevel Stochastic Problem for Elastic Shape Optimization
Authors:
Johanna Burtscheidt,
Matthias Claus,
Sergio Conti,
Martin Rumpf,
Josua Sassen,
Rüdiger Schultz
Abstract:
We consider pessimistic bilevel stochastic programs in which the follower maximizes over a fixed compact convex set a strictly convex quadratic function, whose Hessian depends on the leader's decision. The resulting random variable is evaluated by a convex risk measure. Under assumptions including real analyticity of the lower-level goal function, we prove existence of optimal solutions. We discus…
▽ More
We consider pessimistic bilevel stochastic programs in which the follower maximizes over a fixed compact convex set a strictly convex quadratic function, whose Hessian depends on the leader's decision. The resulting random variable is evaluated by a convex risk measure. Under assumptions including real analyticity of the lower-level goal function, we prove existence of optimal solutions. We discuss an alternate model where the leader hedges against optimal lower-level solutions, and show that in this case solvability can be guaranteed under weaker conditions both in a deterministic and in a stochastic setting. The approach is applied to a mechanical shape optimization problem in which the leader decides on an optimal material distribution to minimize a tracking-type cost functional, whereas the follower chooses forces from an admissible set to maximize a compliance objective. The material distribution is considered to be stochastically perturbed in the actual construction phase. Computational results illustrate the bilevel optimization concept and demonstrate the interplay of follower and leader in shape design and testing.
△ Less
Submitted 29 November, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Mean curvature motion of point cloud varifolds
Authors:
Blanche Buet,
Martin Rumpf
Abstract:
This paper investigates a discretization scheme for mean curvature motion on point cloud varifolds with particular emphasis on singular evolutions. To define the varifold a local covariance analysis is applied to compute an approximate tangent plane for the points in the cloud. The core ingredient of the mean curvature motion model is the regularization of the first variation of the varifold via c…
▽ More
This paper investigates a discretization scheme for mean curvature motion on point cloud varifolds with particular emphasis on singular evolutions. To define the varifold a local covariance analysis is applied to compute an approximate tangent plane for the points in the cloud. The core ingredient of the mean curvature motion model is the regularization of the first variation of the varifold via convolution with kernels with small stencil. Consistency with the evolution velocity for a smooth surface is proven if a sufficiently small stencil and a regular sampling are taking into account. Furthermore, an implicit and a semiimplicit time discretization are derived. The implicit scheme comes with discrete barrier properties known for the smooth, continuous evolution, whereas the semiimplicit still ensures in all our numerical experiments very good approximation properties while being easy to implement. It is shown that the proposed method is robust with respect to noise and recovers the evolution of smooth curves as well as the formation of singularities such as triple points in 2D or minimal cones in 3D.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
On Material Optimisation for Nonlinearly Elastic Plates and Shells
Authors:
Peter Hornung,
Martin Rumpf,
Stefan Simon
Abstract:
This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical s…
▽ More
This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical solutions are stationary points. Furthermore, it is demonstrated that the optimal design of cylindrically deforming, clamped rectangular plates is non trivial, i.e. with a material distribution which is not just depending on one axial direction on the plate. Analytical results are complemented with numerical optimization results using a suitable finite element discretization and a phase field description of the material phases. Finally, using numerical methods an outlook on the optimal design of non isometrically deforming plates and shells is given.
△ Less
Submitted 3 March, 2020; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Consistent Curvature Approximation on Riemannian Shape Spaces
Authors:
Alexander Effland,
Behrend Heeren,
Martin Rumpf,
Benedikt Wirth
Abstract:
We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time discretization of geodesic calculus presented in Rumpf and Wirth (2015), which just requires an approximation of the squared Riemannian distance that is typically easy to…
▽ More
We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time discretization of geodesic calculus presented in Rumpf and Wirth (2015), which just requires an approximation of the squared Riemannian distance that is typically easy to compute. First we obtain first order discrete covariant derivatives via a Schild's ladder type discretization of parallel transport. Second order discrete covariant derivatives are then computed as nested first order discrete covariant derivatives. These finally give rise to an approximation of the curvature tensor. First and second order consistency are proven for the approximations of the covariant derivative and the curvature tensor. The findings are experimentally validated on two-dimensional surfaces embedded in $\mathbb{R}^3$. Furthermore, as a proof of concept the method is applied to the shape space of triangular meshes, and discrete sectional curvature indicatrices are computed on low-dimensional vector bundles.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Geometry of martensite needles in shape memory alloys
Authors:
Sergio Conti,
Martin Lenz,
Nora Lüthen,
Martin Rumpf,
Barbara Zwicknagl
Abstract:
We study the geometry of needle-shaped domains in shape-memory alloys. Needle-shaped domains are ubiquitously found in martensites around macroscopic interfaces between regions which are laminated in different directions, or close to macroscopic austenite/twinned-martensite interfaces. Their geometry results from the interplay of the local nonconvexity of the effective energy density with long-ran…
▽ More
We study the geometry of needle-shaped domains in shape-memory alloys. Needle-shaped domains are ubiquitously found in martensites around macroscopic interfaces between regions which are laminated in different directions, or close to macroscopic austenite/twinned-martensite interfaces. Their geometry results from the interplay of the local nonconvexity of the effective energy density with long-range (linear) interactions mediated by the elastic strain field, and is up to now poorly understood. We present a two-dimensional shape optimization model based on finite elasticity and discuss its numerical solution. Our results indicate that the tapering profile of the needles can be understood within finite elasticity, but not with linearized elasticity. The resulting tapering and bending reproduce the main features of experimental observations on NiAl.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Image Morphing in Deep Feature Spaces: Theory and Applications
Authors:
Alexander Effland,
Erich Kobler,
Thomas Pock,
Marko Rajković,
Martin Rumpf
Abstract:
This paper combines image metamorphosis with deep features. To this end, images are considered as maps into a high-dimensional feature space and a structure-sensitive, anisotropic flow regularization is incorporated in the metamorphosis model proposed by Miller, Trouvé, Younes and coworkers. For this model a variational time discretization of the Riemannian path energy is presented and the existen…
▽ More
This paper combines image metamorphosis with deep features. To this end, images are considered as maps into a high-dimensional feature space and a structure-sensitive, anisotropic flow regularization is incorporated in the metamorphosis model proposed by Miller, Trouvé, Younes and coworkers. For this model a variational time discretization of the Riemannian path energy is presented and the existence of discrete geodesic paths minimizing this energy is demonstrated. Furthermore, convergence of discrete geodesic paths to geodesic paths in the time continuous model is investigated. The spatial discretization is based on a finite difference approximation in image space and a stable spline approximation in deformation space, the fully discrete model is optimized using the iPALM algorithm. Numerical experiments indicate that the incorporation of semantic deep features is superior to intensity-based approaches.
△ Less
Submitted 2 July, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Geometric optimization using nonlinear rotation-invariant coordinates
Authors:
Josua Sassen,
Behrend Heeren,
Klaus Hildebrandt,
Martin Rumpf
Abstract:
Geometric optimization problems are at the core of many applications in geometry processing. The choice of a representation fitting an optimization problem can considerably simplify solving the problem. We consider the Nonlinear Rotation-Invariant Coordinates (NRIC) that represent the nodal positions of a discrete triangular surface with fixed combinatorics as a vector that stacks all edge lengths…
▽ More
Geometric optimization problems are at the core of many applications in geometry processing. The choice of a representation fitting an optimization problem can considerably simplify solving the problem. We consider the Nonlinear Rotation-Invariant Coordinates (NRIC) that represent the nodal positions of a discrete triangular surface with fixed combinatorics as a vector that stacks all edge lengths and dihedral angles of the mesh. It is known that this representation associates a unique vector to an equivalence class of nodal positions that differ by a rigid body motion. Moreover, integrability conditions that ensure the existence of nodal positions that match a given vector of edge lengths and dihedral angles have been established. The goal of this paper is to develop the machinery needed to use the NRIC for solving geometric optimization problems. First, we use the integrability conditions to derive an implicit description of the space of discrete surfaces as a submanifold of an Euclidean space and a corresponding description of its tangent spaces. Secondly, we reformulate the integrability conditions using quaternions and provide explicit formulas for their first and second derivatives facilitating the use of Hessians in NRIC-based optimization problems. Lastly, we introduce a fast and robust algorithm that reconstructs nodal positions from almost integrable NRIC. We demonstrate the benefits of this approach on a collection of geometric optimization problems. Comparisons to alternative approaches indicate that NRIC-based optimization is particularly effective for problems involving near-isometric deformations.
△ Less
Submitted 28 April, 2020; v1 submitted 30 August, 2019;
originally announced August 2019.
-
Convergence of the Time Discrete Metamorphosis Model on Hadamard Manifolds
Authors:
Alexander Effland,
Sebastian Neumayer,
Martin Rumpf
Abstract:
Continuous image morphing is a classical task in image processing. The metamorphosis model proposed by Trouvé, Younes and coworkers casts this problem in the frame of Riemannian geometry and geodesic paths between images. The associated metric in the space of images incorporates dissipation caused by a viscous flow transporting image intensities and its variations along motion paths. In many appli…
▽ More
Continuous image morphing is a classical task in image processing. The metamorphosis model proposed by Trouvé, Younes and coworkers casts this problem in the frame of Riemannian geometry and geodesic paths between images. The associated metric in the space of images incorporates dissipation caused by a viscous flow transporting image intensities and its variations along motion paths. In many applications, images are maps from the image domain into a manifold (e.g. in diffusion tensor imaging (DTI) the manifold of symmetric positive definite matrices with a suitable Riemannian metric). In this paper, we propose a generalized metamorphosis model for manifold-valued images, where the range space is a finite-dimensional Hadamard manifold. A corresponding time discrete version was presented by Neumayer et al. based on the general variational time discretization proposed by Berkels et al. Here, we prove the Mosco--convergence of the time discrete metamorphosis functional to the proposed manifold-valued metamorphosis model, which implies the convergence of time discrete geodesic paths to a geodesic path in the (time continuous) metamorphosis model. In particular, the existence of geodesic paths is established. In fact, images as maps into Hadamard manifold are not only relevant in applications, but it is also shown that the joint convexity of the distance function which characterizes Hadamard manifolds is a crucial ingredient to establish existence of the metamorphosis model.
△ Less
Submitted 25 March, 2020; v1 submitted 28 February, 2019;
originally announced February 2019.
-
Simultaneous elastic shape optimization for a domain splitting in bone tissue engineering
Authors:
Patrick Dondl,
Patrina S. P. Poh,
Martin Rumpf,
Stefan Simon
Abstract:
This paper deals with the simulateneous optimization of a subset $\mathcal{O}_0$ of some domain $Ω$ and its complement $\mathcal{O}_1 = Ω\setminus \overline{\mathcal{O}}_0$ both considered as separate elastic objects subject to a set of loading scenarios. If one asks for a configuration which minimizes the maximal elastic cost functional both phases compete for space since elastic shapes usually g…
▽ More
This paper deals with the simulateneous optimization of a subset $\mathcal{O}_0$ of some domain $Ω$ and its complement $\mathcal{O}_1 = Ω\setminus \overline{\mathcal{O}}_0$ both considered as separate elastic objects subject to a set of loading scenarios. If one asks for a configuration which minimizes the maximal elastic cost functional both phases compete for space since elastic shapes usually get mechanically more stable when being enlarged. Such a problem arises in biomechanics where a bioresorbable polymer scaffold is implanted in place of lost bone tissue and in a regeneration phase new bone tissue grows in the scaffold complement via osteogenesis. In fact, the polymer scaffold should be mechanically stable to bear loading in the early stage regeneration phase and at the same time the new bone tissue grown in the complement of this scaffold should as well bear the loading. Here, this optimal subdomain splitting problem with appropriate elastic cost functionals is introduced and existence of optimal two phase configurations is established for a regularized formulation. Furthermore, based on a phase field approximation a finite element discretization is derived. Numerical experiments are presented for the design of optimal periodic scaffold microstructure.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Homogenization in magnetic-shape-memory polymer composites
Authors:
Sergio Conti,
Martin Lenz,
Matthäus Pawelczyk,
Martin Rumpf
Abstract:
Magnetic-shape-memory materials (e.g. specific NiMnGa alloys) react with a large change of shape to the presence of an external magnetic field. As an alternative for the difficult to manifacture single crystal of these alloys we study composite materials in which small magnetic-shape-memory particles are embedded in a polymer matrix. The macroscopic properties of the composite depend strongly on t…
▽ More
Magnetic-shape-memory materials (e.g. specific NiMnGa alloys) react with a large change of shape to the presence of an external magnetic field. As an alternative for the difficult to manifacture single crystal of these alloys we study composite materials in which small magnetic-shape-memory particles are embedded in a polymer matrix. The macroscopic properties of the composite depend strongly on the geometry of the microstructure and on the characteristics of the particles and the polymer.
We present a variational model based on micromagnetism and elasticity, and derive via homogenization an effective macroscopic model under the assumption that the microstructure is periodic. We then study numerically the resulting cell problem, and discuss the effect of the microstructure on the macroscopic material behavior. Our results may be used to optimize the shape of the particles and the microstructure.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
Variational time discretization of Riemannian splines
Authors:
Behrend Heeren,
Martin Rumpf,
Benedikt Wirth
Abstract:
We investigate a generalization of cubic splines to Riemannian manifolds. Spline curves are defined as minimizers of the spline energy - a combination of the Riemannian path energy and the time integral of the squared covariant derivative of the path velocity - under suitable interpolation conditions. A variational time discretization for the spline energy leads to a constrained optimization probl…
▽ More
We investigate a generalization of cubic splines to Riemannian manifolds. Spline curves are defined as minimizers of the spline energy - a combination of the Riemannian path energy and the time integral of the squared covariant derivative of the path velocity - under suitable interpolation conditions. A variational time discretization for the spline energy leads to a constrained optimization problem over discrete paths on the manifold. Existence of continuous and discrete spline curves is established using the direct method in the calculus of variations. Furthermore, the convergence of discrete spline paths to a continuous spline curve follows from the $Γ$-convergence of the discrete to the continuous spline energy. Finally, selected example settings are discussed, including splines on embedded finite-dimensional manifolds, on a high-dimensional manifold of discrete shells with applications in surface processing, and on the infinite-dimensional shape manifold of viscous rods.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
Branching Structures in Elastic Shape Optimization
Authors:
Nora Lüthen,
Martin Rumpf,
Sascha Tölkes,
Orestis Vantzos
Abstract:
Fine scale elastic structures are widespread in nature, for instances in plants or bones, whenever stiffness and low weight are required. These patterns frequently refine towards a Dirichlet boundary to ensure an effective load transfer. The paper discusses the optimization of such supporting structures in a specific class of domain patterns in 2D, which composes of periodic and branching period t…
▽ More
Fine scale elastic structures are widespread in nature, for instances in plants or bones, whenever stiffness and low weight are required. These patterns frequently refine towards a Dirichlet boundary to ensure an effective load transfer. The paper discusses the optimization of such supporting structures in a specific class of domain patterns in 2D, which composes of periodic and branching period transitions on subdomain facets. These investigations can be considered as a case study to display examples of optimal branching domain patterns.
In explicit, a rectangular domain is decomposed into rectangular subdomains, which share facets with neighbouring subdomains or with facets which split on one side into equally sized facets of two different subdomains. On each subdomain one considers an elastic material phase with stiff elasticity coefficients and an approximate void phase with orders of magnitude softer material. For given load on the outer domain boundary, which is distributed on a prescribed fine scale pattern representing the contact area of the shape, the interior elastic phase is optimized with respect to the compliance cost. The elastic stress is supposed to be continuous on the domain and a stress based finite volume discretization is used for the optimization. If in one direction equally sized subdomains with equal adjacent subdomain topology line up, these subdomains are consider as equal copies including the enforced boundary conditions for the stress and form a locally periodic substructure.
An alternating descent algorithm is employed for a discrete characteristic function describing the stiff elastic subset on the subdomains and the solution of the elastic state equation. Numerical experiments are shown for compression and shear load on the boundary of a quadratic domain.
△ Less
Submitted 10 November, 2017;
originally announced November 2017.
-
Computation of Optimal Transport on Discrete Metric Measure Spaces
Authors:
Matthias Erbar,
Martin Rumpf,
Bernhard Schmitzer,
Stefan Simon
Abstract:
In this paper we investigate the numerical approximation of an analogue of the Wasserstein distance for optimal transport on graphs that is defined via a discrete modification of the Benamou--Brenier formula. This approach involves the logarithmic mean of measure densities on adjacent nodes of the graph. For this model a variational time discretization of the probability densities on graph nodes a…
▽ More
In this paper we investigate the numerical approximation of an analogue of the Wasserstein distance for optimal transport on graphs that is defined via a discrete modification of the Benamou--Brenier formula. This approach involves the logarithmic mean of measure densities on adjacent nodes of the graph. For this model a variational time discretization of the probability densities on graph nodes and the momenta on graph edges is proposed. A robust descent algorithm for the action functional is derived, which in particular uses a proximal splitting with an edgewise nonlinear projection on the convex subgraph of the logarithmic mean. Thereby, suitable chosen slack variables avoid a global coupling of probability densities on all graph nodes in the projection step. For the time discrete action functional $Γ$--convergence to the time continuous action is established. Numerical results for a selection of test cases show qualitative and quantitative properties of the optimal transport on graphs. Finally, we use our algorithm to implement a JKO scheme for the gradient flow of the entropy in the discrete transportation distance, which is known to coincide with the underlying Markov semigroup, and test our results against a classical backward Euler discretization of this discrete heat flow.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
Image Extrapolation for the Time Discrete Metamorphosis Model - Existence and Applications
Authors:
Alexander Effland,
Martin Rumpf,
Florian Schäfer
Abstract:
The space of images can be equipped with a Riemannian metric measuring both the cost of transport of image intensities and the variation of image intensities along motion lines. The resulting metamorphosis model was introduced and analyzed by Trouvé and Younes, and a variational time discretization for the geodesic interpolation was proposed by Berkels et al. In this paper, this time discrete mode…
▽ More
The space of images can be equipped with a Riemannian metric measuring both the cost of transport of image intensities and the variation of image intensities along motion lines. The resulting metamorphosis model was introduced and analyzed by Trouvé and Younes, and a variational time discretization for the geodesic interpolation was proposed by Berkels et al. In this paper, this time discrete model is expanded and an image extrapolation via a discrete exponential map is consistently derived for the variational time discretization. For a given weakly differentiable initial image and an initial image variation, the exponential map allows to compute a discrete geodesic extrapolation path in the space of images. It is shown that a time step of this shooting method can be formulated in the associated deformations only. For sufficiently small time steps local existence and uniqueness are proved using a suitable fixed point formulation and the implicit function theorem. A spatial Galerkin discretization with cubic splines on coarse meshes for the deformation and piecewise bilinear finite elements on fine meshes for the image intensities are used to derive a fully practical algorithm. Different applications underline the efficiency and stability of the proposed approach.
△ Less
Submitted 12 May, 2017;
originally announced May 2017.
-
Smooth Interpolation of Key Frames in a Riemannian Shell Space
Authors:
Pascal Huber,
Ricardo Perl,
Martin Rumpf
Abstract:
Splines and subdivision curves are flexible tools in the design and manipulation of curves in Euclidean space. In this paper we study generalizations of interpolating splines and subdivision schemes to the Riemannian manifold of shell surfaces in which the associated metric measures both bending and membrane distortion. The shells under consideration are assumed to be represented by Loop subdivisi…
▽ More
Splines and subdivision curves are flexible tools in the design and manipulation of curves in Euclidean space. In this paper we study generalizations of interpolating splines and subdivision schemes to the Riemannian manifold of shell surfaces in which the associated metric measures both bending and membrane distortion. The shells under consideration are assumed to be represented by Loop subdivision surfaces. This enables the animation of shells via the smooth interpolation of a given set of key frame control meshes. Using a variational time discretization of geodesics efficient numerical implementations can be derived. These are based on a discrete geodesic interpolation, discrete geometric logarithm, discrete exponential map, and discrete parallel transport. With these building blocks at hand discrete Riemannian cardinal splines and three different types of discrete, interpolatory subdivision schemes are defined. Numerical results for two different subdivision shell models underline the potential of this approach in key frame animation.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
Generalized optimal transport with singular sources
Authors:
Jan Maas,
Martin Rumpf,
Stefan Simon
Abstract:
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local den…
▽ More
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local density modulation, which is a desirable feature in applications such as image war** and blending. A key advantage of the use of a functional with linear growth in space is that it allows for singular sources and sinks, which can be supported on points or lines. On a technical level, the $L^2$-norm in time ensures a disintegration of the source in time, which we use to obtain the well-posedness of the model and the existence of geodesic paths. Furthermore, a numerical scheme based on the proximal splitting approach (Papadakis et al., 2014) is presented. We compare our model with the corresponding model involving the $L^2(L^2)$-norm of the source, which merges the metamorphosis approach and the optimal transport approaches in imaging. Selected numerical test cases show strikingly different behaviour.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
Stochastic Dominance Constraints in Elastic Shape Optimization
Authors:
Sergio Conti,
Martin Rumpf,
Rüdiger Schultz,
Sascha Tölkes
Abstract:
This paper deals with shape optimization for elastic materials under stochastic loads. It transfers the paradigm of stochastic dominance, which allows for flexible risk aversion via comparison with benchmark random variables, from finite-dimensional stochastic programming to shape optimization. Rather than handling risk aversion in the objective, this enables risk aversion by including dominance c…
▽ More
This paper deals with shape optimization for elastic materials under stochastic loads. It transfers the paradigm of stochastic dominance, which allows for flexible risk aversion via comparison with benchmark random variables, from finite-dimensional stochastic programming to shape optimization. Rather than handling risk aversion in the objective, this enables risk aversion by including dominance constraints that single out subsets of nonanticipative shapes which compare favorably to a chosen stochastic benchmark. This new class of stochastic shape optimization problems arises by optimizing over such feasible sets. The analytical description is built on risk-averse cost measures. The underlying cost functional is of compliance type plus a perimeter term, in the implementation shapes are represented by a phase field which permits an easy estimate of a regularized perimeter. The analytical description and the numerical implementation of dominance constraints are built on risk-averse measures for the cost functional. A suitable numerical discretization is obtained using finite elements both for the displacement and the phase field function. Different numerical experiments demonstrate the potential of the proposed stochastic shape optimization model and in particular the impact of high variability of forces or probabilities in the different realizations.
△ Less
Submitted 30 June, 2016;
originally announced June 2016.
-
Material Optimization for Nonlinearly Elastic Planar Beams
Authors:
Peter Hornung,
Martin Rumpf,
Stefan Simon
Abstract:
We consider the problem of an optimal distribution of soft and hard material for nonlinearly elastic planar beams. We prove that under gravitational force the optimal distribution involves no microstructure and is ordered, and we provide numerical simulations confirming and extending this observation.
We consider the problem of an optimal distribution of soft and hard material for nonlinearly elastic planar beams. We prove that under gravitational force the optimal distribution involves no microstructure and is ordered, and we provide numerical simulations confirming and extending this observation.
△ Less
Submitted 8 April, 2016;
originally announced April 2016.
-
Optimization of the branching pattern in coherent phase transitions
Authors:
Patrick Dondl,
Behrend Heeren,
Martin Rumpf
Abstract:
Branching can be observed at the austenite-martensite interface of martensitic phase transformations. For a model problem, Kohn and Müller studied a branching pattern with optimal scaling of the energy with respect to its parameters. Here, we present finite element simulations that suggest a topologically different class of branching patterns and derive a novel, low dimensional family of patterns.…
▽ More
Branching can be observed at the austenite-martensite interface of martensitic phase transformations. For a model problem, Kohn and Müller studied a branching pattern with optimal scaling of the energy with respect to its parameters. Here, we present finite element simulations that suggest a topologically different class of branching patterns and derive a novel, low dimensional family of patterns. After a geometric optimization within this family, the resulting pattern bears a striking resemblance to our simulation. The novel microstructure admits the same scaling exponents but results in a significantly lower upper energy bound.
△ Less
Submitted 6 January, 2016; v1 submitted 21 December, 2015;
originally announced December 2015.
-
A posteriori modeling error estimates in the optimization of two-scale elastic composite materials
Authors:
Sergio Conti,
Benedict Geihe,
Martin Lenz,
Martin Rumpf
Abstract:
The a posteriori analysis of the discretization error and the modeling error is studied for a compliance cost functional in the context of the optimization of composite elastic materials and a two-scale linearized elasticity model. A mechanically simple, parametrized microscopic supporting structure is chosen and the parameters describing the structure are determined minimizing the compliance obje…
▽ More
The a posteriori analysis of the discretization error and the modeling error is studied for a compliance cost functional in the context of the optimization of composite elastic materials and a two-scale linearized elasticity model. A mechanically simple, parametrized microscopic supporting structure is chosen and the parameters describing the structure are determined minimizing the compliance objective. An a posteriori error estimate is derived which includes the modeling error caused by the replacement of a nested laminate microstructure by this considerably simpler microstructure. Indeed, nested laminates are known to realize the minimal compliance and provide a benchmark for the quality of the microstructures. To estimate the local difference in the compliance functional the dual weighted residual approach is used. Different numerical experiments show that the resulting adaptive scheme leads to simple parametrized microscopic supporting structures that can compete with the optimal nested laminate construction. The derived a posteriori error indicators allow to verify that the suggested simplified microstructures achieve the optimal value of the compliance up to a few percent. Furthermore, it is shown how discretization error and modeling error can be balanced by choosing an optimal level of grid refinement. Our two scale results with a single scale microstructure can provide guidance towards the design of a producible macroscopic fine scale pattern.
△ Less
Submitted 11 March, 2017; v1 submitted 13 November, 2015;
originally announced November 2015.
-
Shape Aware Matching of Implicit Surfaces based on Thin Shell Energies
Authors:
José A. Iglesias,
Martin Rumpf,
Otmar Scherzer
Abstract:
A shape sensitive, variational approach for the matching of surfaces considered as thin elastic shells is investigated. The elasticity functional to be minimized takes into account two different types of nonlinear energies: a membrane energy measuring the rate of tangential distortion when deforming the reference shell into the template shell, and a bending energy measuring the bending under the d…
▽ More
A shape sensitive, variational approach for the matching of surfaces considered as thin elastic shells is investigated. The elasticity functional to be minimized takes into account two different types of nonlinear energies: a membrane energy measuring the rate of tangential distortion when deforming the reference shell into the template shell, and a bending energy measuring the bending under the deformation in terms of the change of the shape operators from the undeformed into the deformed configuration. The variational method applies to surfaces described as level sets. It is mathematically well-posed and an existence proof of an optimal matching deformation is given. The variational model is implemented using a finite element discretization combined with a narrow band approach on an efficient hierarchical grid structure. For the optimization a regularized nonlinear conjugate gradient scheme and a cascadic multilevel strategy are used. The features of the proposed approach are studied for synthetic test cases and a collection of geometry processing examples.
△ Less
Submitted 21 February, 2017; v1 submitted 22 September, 2015;
originally announced September 2015.
-
A Posteriori Error Control for the Binary Mumford-Shah Model
Authors:
Benjamin Berkels,
Alexander Effland,
Martin Rumpf
Abstract:
The binary Mumford-Shah model is a widespread tool for image segmentation and can be considered as a basic model in shape optimization with a broad range of applications in computer vision, ranging from basic segmentation and labeling to object reconstruction. This paper presents robust a posteriori error estimates for a natural error quantity, namely the area of the non properly segmented region.…
▽ More
The binary Mumford-Shah model is a widespread tool for image segmentation and can be considered as a basic model in shape optimization with a broad range of applications in computer vision, ranging from basic segmentation and labeling to object reconstruction. This paper presents robust a posteriori error estimates for a natural error quantity, namely the area of the non properly segmented region. To this end, a suitable strictly convex and non-constrained relaxation of the originally non-convex functional is investigated and Repin's functional approach for a posteriori error estimation is used to control the numerical error for the relaxed problem in the $L^2$-norm. In combination with a suitable cut out argument, a fully practical estimate for the area mismatch is derived. This estimate is incorporated in an adaptive meshing strategy. Two different adaptive primal-dual finite element schemes, and the most frequently used finite difference discretization are investigated and compared. Numerical experiments show qualitative and quantitative properties of the estimates and demonstrate their usefulness in practical applications.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
A $BV$ Functional and its Relaxation for Joint Motion Estimation and Image Sequence Recovery
Authors:
Sergio Conti,
Janusz Ginster,
Martin Rumpf
Abstract:
The estimation of motion in an image sequence is a fundamental task in image processing. Frequently, the image sequence is corrupted by noise and one simultaneously asks for the underlying motion field and a restored sequence. In smoothly shaded regions of the restored image sequence the brightness constancy assumption along motion paths leads to a pointwise differential condition on the motion fi…
▽ More
The estimation of motion in an image sequence is a fundamental task in image processing. Frequently, the image sequence is corrupted by noise and one simultaneously asks for the underlying motion field and a restored sequence. In smoothly shaded regions of the restored image sequence the brightness constancy assumption along motion paths leads to a pointwise differential condition on the motion field. At object boundaries which are edge discontinuities both for the image intensity and for the motion field this condition is no longer well defined. In this paper a total-variation type functional is discussed for joint image restoration and motion estimation. This functional turns out not to be lower semicontinuous, and in particular fine-scale oscillations may appear around edges. By the general theory of vector valued $BV$ functionals its relaxation leads to the appearance of a singular part of the energy density, which can be determined by the solution of a local minimization problem at edges. Based on bounds for the singular part of the energy and under appropriate assumptions on the local intensity variation one can exclude the existence of microstructures and obtain a model well-suited for simultaneous image restoration and motion estimation. Indeed, the relaxed model incorporates a generalized variational formulation of the brightness constancy assumption. The analytical findings are related to ambiguity problems in motion estimation such as the proper distinction between foreground and background motion at object edges.
△ Less
Submitted 8 April, 2015;
originally announced April 2015.
-
A generalized model for optimal transport of images including dissipation and density modulation
Authors:
Jan Maas,
Martin Rumpf,
Carola Schönlieb,
Stefan Simon
Abstract:
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image c…
▽ More
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image contrast and explicitly allows for sources and sinks in the transport equations which are incorporated in the metric related to the metamorphosis approach by Trouvé and Younes. In the non-viscous case with source term existence of geodesic paths is proven in the space of measures. The proposed model is explored on the range from merely optimal transport to strongly dissipative dynamics. For this model a robust and effective variational time discretization of geodesic paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals. These functionals are defined on corresponding pairs of intensity functions and on associated pairwise matching deformations. Existence of time discrete geodesics is demonstrated. Furthermore, a finite element implementation is proposed and applied to instructive test cases and to real images. In the non-viscous case this is compared to the algorithm proposed by Benamou and Brenier including a discretization of the source term. Finally, the model is generalized to define discrete weighted barycentres with applications to textures and objects.
△ Less
Submitted 8 April, 2015;
originally announced April 2015.
-
A Nested Variational Time Discretization for Parametric Anisotropic Willmore Flow
Authors:
Ricardo Perl,
Paola Pozzi,
Martin Rumpf
Abstract:
A variational time discretization of anisotropic Willmore flow combined with a spatial discretization via piecewise affine finite elements is presented. Here, both the energy and the metric underlying the gradient flow are anisotropic, which in particular ensures that Wulff shapes are invariant up to scaling under the gradient flow. In each time step of the gradient flow a nested optimization prob…
▽ More
A variational time discretization of anisotropic Willmore flow combined with a spatial discretization via piecewise affine finite elements is presented. Here, both the energy and the metric underlying the gradient flow are anisotropic, which in particular ensures that Wulff shapes are invariant up to scaling under the gradient flow. In each time step of the gradient flow a nested optimization problem has to be solved. Thereby, an outer variational problem reflects the time discretization of the actual Willmore flow and involves an approximate anisotropic $L^2$-distance between two consecutive time steps and a fully implicit approximation of the anisotropic Willmore energy. The anisotropic mean curvature needed to evaluate the energy integrand is replaced by the time discrete, approximate speed from an inner, fully implicit variational scheme for anisotropic mean curvature motion. To solve the nested optimization problem a Newton method for the associated Lagrangian is applied. Computational results for the evolution of curves underline the robustness of the new scheme, in particular with respect to large time steps.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
On Isogeometric Subdivision Methods for PDEs on Surfaces
Authors:
Bert Jüttler,
Angelos Mantzaflaris,
Ricardo Perl,
Martin Rumpf
Abstract:
Subdivision surfaces are proven to be a powerful tool in geometric modeling and computer graphics, due to the great flexibility they offer in capturing irregular topologies. This paper discusses the robust and efficient implementation of an isogeometric discretization approach to partial differential equations on surfaces using subdivision methodology. Elliptic equations with the Laplace-Beltrami…
▽ More
Subdivision surfaces are proven to be a powerful tool in geometric modeling and computer graphics, due to the great flexibility they offer in capturing irregular topologies. This paper discusses the robust and efficient implementation of an isogeometric discretization approach to partial differential equations on surfaces using subdivision methodology. Elliptic equations with the Laplace-Beltrami and the surface bi-Laplacian operator as well as the associated eigenvalue problems are considered. Thereby, efficiency relies on the proper choice of a numerical quadrature scheme which preserves the expected higher order consistency. A particular emphasis is on the robustness of the approach in the vicinity of extraordinary vertices. In this paper, the focus is on Loop's subdivision scheme on triangular meshes. Based on a series of numerical experiments, different quadrature schemes are compared and a mid-edge quadrature, which is easy-to-implement via lookup tables, turns out to be a preferable choice due to its robustness and efficiency.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Bézier curves in the space of images
Authors:
Alexander Effland,
Martin Rumpf,
Stefan Simon,
Kirsten Stahn,
Benedikt Wirth
Abstract:
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then co…
▽ More
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then computed via the Riemannian version of de Casteljau's algorithm, which is based on a hierarchical scheme of convex combination along geodesic curves. Geodesics are approximated using a variational discretization of the Riemannian path energy. This leads to a generalized de Casteljau method to compute suitable discrete Bézier curves in image space. Selected test cases demonstrate qualitative properties of the approach. Furthermore, a Bézier approach for the modulation of face interpolation and shape animation via image sketches is presented.
△ Less
Submitted 9 March, 2015;
originally announced March 2015.
-
Time Discrete Geodesic Paths in the Space of Images
Authors:
Benjamin Berkels,
Alexander Effland,
Martin Rumpf
Abstract:
In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach, where the underlying Riemannian metric simultaneously measures the cost of image transport and intensity variation. A robust and effective variational time discretization of geodesics paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image…
▽ More
In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach, where the underlying Riemannian metric simultaneously measures the cost of image transport and intensity variation. A robust and effective variational time discretization of geodesics paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals over a set of image intensity maps and pairwise matching deformations. For square-integrable input images the existence of discrete, connecting geodesic paths defined as minimizers of this variational problem is shown. Furthermore, $Γ$-convergence of the underlying discrete path energy to the continuous path energy is proved. This includes a diffeomorphism property for the induced transport and the existence of a square-integrable weak material derivative in space and time. A spatial discretization via finite elements combined with an alternating descent scheme in the set of image intensity maps and the set of matching deformations is presented to approximate discrete geodesic paths numerically. Computational results underline the efficiency of the proposed approach and demonstrate important qualitative properties.
△ Less
Submitted 27 May, 2015; v1 submitted 6 March, 2015;
originally announced March 2015.
-
Hysteresis in Magnetic Shape Memory Composites: Modeling and Simulation
Authors:
Sergio Conti,
Martin Lenz,
Martin Rumpf
Abstract:
Magnetic shape memory alloys are characterized by the coupling between a structural phase transition and magnetic one. This permits to control the shape change via an external magnetic field, at least in single crystals. Composite materials with single-crystalline particles embedded in a softer matrix have been proposed as a way to overcome the blocking of the transformation at grain boundaries. W…
▽ More
Magnetic shape memory alloys are characterized by the coupling between a structural phase transition and magnetic one. This permits to control the shape change via an external magnetic field, at least in single crystals. Composite materials with single-crystalline particles embedded in a softer matrix have been proposed as a way to overcome the blocking of the transformation at grain boundaries. We investigate hysteresis phenomena for small NiMnGa single crystals embedded in a polymer matrix for slowly varying magnetic fields. The evolution of the microstructure is studied within the rate-independent variational framework proposed by Mielke and Theil (1999). The underlying variational model incorporates linearized elasticity, micromagnetism, stray field and a dissipation term proportional to the volume swept by the phase boundary. The time discretization is based on an incremental minimization of the sum of energy and dissipation. A backtracking approach is employed to approximately ensure the global minimality condition. We illustrate and discuss the influence of the particle geometry (volume fraction, shape, arrangement) and the polymer elastic parameters on the observed hysteresis and compare with recent experimental results.
△ Less
Submitted 23 February, 2015; v1 submitted 19 February, 2015;
originally announced February 2015.
-
A posteriori error estimates for sequential laminates in shape optimization
Authors:
Benedict Geihe,
Martin Rumpf
Abstract:
A posteriori error estimates are derived in the context of two-dimensional structural elastic shape optimization under the compliance objective. It is known that the optimal shape features are microstructures that can be constructed using sequential lamination. The descriptive parameters explicitly depend on the stress. To derive error estimates the dual weighted residual approach for control prob…
▽ More
A posteriori error estimates are derived in the context of two-dimensional structural elastic shape optimization under the compliance objective. It is known that the optimal shape features are microstructures that can be constructed using sequential lamination. The descriptive parameters explicitly depend on the stress. To derive error estimates the dual weighted residual approach for control problems in PDE constrained optimization is employed, involving the elastic solution and the microstructure parameters. Rigorous estimation of interpolation errors ensures robustness of the estimates while local approximations are used to obtain fully practical error indicators. Numerical results show sharply resolved interfaces between regions of full and intermediate material density.
△ Less
Submitted 29 January, 2015;
originally announced January 2015.
-
3D Adaptive Central Schemes: part I Algorithms for Assembling the Dual Mesh
Authors:
Sebastian Noelle,
Wolfram Rosenbaum,
Martin Rumpf
Abstract:
Central schemes are frequently used for incompressible and compressible flow calculations. The present paper is the first in a forthcoming series where a new approach to a 2nd order accurate Finite Volume scheme operating on cartesian grids is discussed. Here we start with an adaptively refined cartesian primal grid in 3D and present a construction technique for the staggered dual grid based on…
▽ More
Central schemes are frequently used for incompressible and compressible flow calculations. The present paper is the first in a forthcoming series where a new approach to a 2nd order accurate Finite Volume scheme operating on cartesian grids is discussed. Here we start with an adaptively refined cartesian primal grid in 3D and present a construction technique for the staggered dual grid based on $L^{\infty}$-Voronoi cells. The local refinement constellation on the primal grid leads to a finite number of uniquely defined local patterns on a primal cell. Assembling adjacent local patterns forms the dual grid. All local patterns can be analysed in advance. Later, running the numerical scheme on staggered grids, all necessary geometric information can instantly be retrieved from lookup-tables. The new scheme is compared to established ones in terms of algorithmical complexity and computational effort.
△ Less
Submitted 15 January, 2015;
originally announced January 2015.
-
Variational time discretization of geodesic calculus
Authors:
Martin Rumpf,
Benedikt Wirth
Abstract:
We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the…
▽ More
We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the direct methods in the calculus of variation, on $Γ$-convergence, and on weighted finite element error estimation. The convergence results of the discrete geodesic calculus are experimentally confirmed for a basic model on a two-dimensional Riemannian manifold.
This provides a theoretical basis for applications in computer vision: In particular, discrete geodesics offer an effective tool for shape morphing and the computation of a distance between shapes, the discrete logarithm allows a linear representation of strongly nonlinear shape variability, the discrete exponential map provides a robust tool for shape extrapolation, and the discrete parallel transport can be used to transfer geometric details from one shape to another. The basic operations are exemplarily illustrated for two different shape spaces, the space of viscous volumetric objects and the space of discrete viscous shells.
△ Less
Submitted 22 March, 2013; v1 submitted 7 October, 2012;
originally announced October 2012.
-
Discrete geodesic calculus in the space of viscous fluidic objects
Authors:
Martin Rumpf,
Benedikt Wirth
Abstract:
Based on a local approximation of the Riemannian distance on a manifold by a computationally cheap dissimilarity measure, a time discrete geodesic calculus is developed, and applications to shape space are explored. The dissimilarity measure is derived from a deformation energy whose Hessian reproduces the underlying Riemannian metric, and it is used to define length and energy of discrete paths i…
▽ More
Based on a local approximation of the Riemannian distance on a manifold by a computationally cheap dissimilarity measure, a time discrete geodesic calculus is developed, and applications to shape space are explored. The dissimilarity measure is derived from a deformation energy whose Hessian reproduces the underlying Riemannian metric, and it is used to define length and energy of discrete paths in shape space. The notion of discrete geodesics defined as energy minimizing paths gives rise to a discrete logarithmic map, a variational definition of a discrete exponential map, and a time discrete parallel transport. This new concept is applied to a shape space in which shapes are considered as boundary contours of physical objects consisting of viscous material. The flexibility and computational efficiency of the approach is demonstrated for topology preserving shape morphing, the representation of paths in shape space via local shape variations as path generators, shape extrapolation via discrete geodesic flow, and the transfer of geometric features.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
