-
A survey and benchmark of high-dimensional Bayesian optimization of discrete sequences
Authors:
Miguel González-Duque,
Richard Michael,
Simon Bartels,
Yevgen Zainchkovskyy,
Søren Hauberg,
Wouter Boomsma
Abstract:
Optimizing discrete black-box functions is key in several domains, e.g. protein engineering and drug design. Due to the lack of gradient information and the need for sample efficiency, Bayesian optimization is an ideal candidate for these tasks. Several methods for high-dimensional continuous and categorical Bayesian optimization have been proposed recently. However, our survey of the field reveal…
▽ More
Optimizing discrete black-box functions is key in several domains, e.g. protein engineering and drug design. Due to the lack of gradient information and the need for sample efficiency, Bayesian optimization is an ideal candidate for these tasks. Several methods for high-dimensional continuous and categorical Bayesian optimization have been proposed recently. However, our survey of the field reveals highly heterogeneous experimental set-ups across methods and technical barriers for the replicability and application of published algorithms to real-world tasks. To address these issues, we develop a unified framework to test a vast array of high-dimensional Bayesian optimization methods and a collection of standardized black-box functions representing real-world application domains in chemistry and biology. These two components of the benchmark are each supported by flexible, scalable, and easily extendable software libraries (poli and poli-baselines), allowing practitioners to readily incorporate new optimization objectives or discrete optimizers. Project website: https://machinelearninglifescience.github.io/hdbo_benchmark
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
A Continuous Relaxation for Discrete Bayesian Optimization
Authors:
Richard Michael,
Simon Bartels,
Miguel González-Duque,
Yevgen Zainchkovskyy,
Jes Frellsen,
Søren Hauberg,
Wouter Boomsma
Abstract:
To optimize efficiently over discrete data and with only few available target observations is a challenge in Bayesian optimization. We propose a continuous relaxation of the objective function and show that inference and optimization can be computationally tractable. We consider in particular the optimization domain where very few observations and strict budgets exist; motivated by optimizing prot…
▽ More
To optimize efficiently over discrete data and with only few available target observations is a challenge in Bayesian optimization. We propose a continuous relaxation of the objective function and show that inference and optimization can be computationally tractable. We consider in particular the optimization domain where very few observations and strict budgets exist; motivated by optimizing protein sequences for expensive to evaluate bio-chemical properties. The advantages of our approach are two-fold: the problem is treated in the continuous setting, and available prior knowledge over sequences can be incorporated directly. More specifically, we utilize available and learned distributions over the problem domain for a weighting of the Hellinger distance which yields a covariance function. We show that the resulting acquisition function can be optimized with both continuous or discrete optimization algorithms and empirically assess our method on two bio-chemical sequence optimization tasks.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Exact a posteriori error control for variational problems via convex duality and explicit flux reconstruction
Authors:
Sören Bartels,
Alex Kaltenbach
Abstract:
A posteriori error estimates are an important tool to bound discretization errors in terms of computable quantities avoiding regularity conditions that are often difficult to establish. For non-linear and non-differentiable problems, problems involving jum** coefficients, and finite element methods using anisotropic triangulations, such estimates often involve large factors, leading to sub-optim…
▽ More
A posteriori error estimates are an important tool to bound discretization errors in terms of computable quantities avoiding regularity conditions that are often difficult to establish. For non-linear and non-differentiable problems, problems involving jum** coefficients, and finite element methods using anisotropic triangulations, such estimates often involve large factors, leading to sub-optimal error estimates. By making use of convex duality arguments, exact and explicit error representations are derived that avoid such effects.
△ Less
Submitted 11 June, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
Necessary and Sufficient Conditions for Avoiding Babuska's Paradox on Simplicial Meshes
Authors:
Sören Bartels,
Philipp Tscherner
Abstract:
It is shown that discretizations based on variational or weak formulations of the plate bending problem with simple support boundary conditions do not lead to failure of convergence when polygonal domain approximations are used and the imposed boundary conditions are compatible with the nodal interpolation of the restriction of certain regular functions to approximating domains. It is further show…
▽ More
It is shown that discretizations based on variational or weak formulations of the plate bending problem with simple support boundary conditions do not lead to failure of convergence when polygonal domain approximations are used and the imposed boundary conditions are compatible with the nodal interpolation of the restriction of certain regular functions to approximating domains. It is further shown that this is optimal in the sense that a full realization of the boundary conditions leads to failure of convergence for conforming methods. The abstract conditions imply that standard nonconforming and discontinuous Galerkin methods converge correctly while conforming methods require a suitable relaxation of the boundary condition. The results are confirmed by numerical experiments.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Numerical Approximation of Optimal Convex Shapes in $\mathbb{R}^3$
Authors:
Sören Bartels,
Hedwig Keller,
Gerd Wachsmuth
Abstract:
In the optimization of convex domains under a PDE constraint numerical difficulties arise in the approximation of convex domains in $\mathbb{R}^3$. Previous research used a restriction to rotationally symmetric domains to reduce shape optimization problems to a two-dimensional setting. In the current research, two approaches for the approximation in $\mathbb{R}^3$ are considered. First, a notion o…
▽ More
In the optimization of convex domains under a PDE constraint numerical difficulties arise in the approximation of convex domains in $\mathbb{R}^3$. Previous research used a restriction to rotationally symmetric domains to reduce shape optimization problems to a two-dimensional setting. In the current research, two approaches for the approximation in $\mathbb{R}^3$ are considered. First, a notion of discrete convexity allows for a nearly convex approximation with polyhedral domains. An alternative approach is based on the recent observation that higher order finite elements can approximate convex functions conformally. As a second approach these results are used to approximate optimal convex domains with isoparametric convex domains. The proposed algorithms were tested on shape optimization problems constrained by a Poisson equation and both algorithms achieved similar results.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Quadratic constraint consistency in the projection-free approximation of harmonic maps and bending isometries
Authors:
Georgios Akrivis,
Sören Bartels,
Christian Palus
Abstract:
We devise a projection-free iterative scheme for the approximation of harmonic maps that provides a second-order accuracy of the constraint violation and is unconditionally energy stable. A corresponding error estimate is valid under a mild but necessary discrete regularity condition. The method is based on the application of a BDF2 scheme and the considered problem serves as a model for partial d…
▽ More
We devise a projection-free iterative scheme for the approximation of harmonic maps that provides a second-order accuracy of the constraint violation and is unconditionally energy stable. A corresponding error estimate is valid under a mild but necessary discrete regularity condition. The method is based on the application of a BDF2 scheme and the considered problem serves as a model for partial differential equations with holonomic constraint. The performance of the method is illustrated via the computation of stationary harmonic maps and bending isometries.
△ Less
Submitted 1 May, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
Explicit a posteriori error representation for variational problems and application to TV-minimization
Authors:
Sören Bartels,
Alex Kaltenbach
Abstract:
In this paper, we propose a general approach for explicit a posteriori error representation for convex minimization problems using basic convex duality relations. Exploiting discrete orthogonality relations in the space of element-wise constant vector fields as well as a discrete integration-by-parts formula between the Crouzeix-Raviart and the Raviart-Thomas element, all convex duality relations…
▽ More
In this paper, we propose a general approach for explicit a posteriori error representation for convex minimization problems using basic convex duality relations. Exploiting discrete orthogonality relations in the space of element-wise constant vector fields as well as a discrete integration-by-parts formula between the Crouzeix-Raviart and the Raviart-Thomas element, all convex duality relations are transferred to a discrete level, making the explicit a posteriori error representation -- initially based on continuous arguments only -- practicable from a numerical point of view. In addition, we provide a generalized Marini formula for the primal solution that determines a discrete primal solution in terms of a given discrete dual solution. We benchmark all these concepts via the Rudin-Osher-Fatemi model. This leads to an adaptive algorithm that yields a (quasi-optimal) linear convergence rate.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
Error analysis for a Crouzeix-Raviart approximation of the obstacle problem
Authors:
Sören Bartels,
Alex Kaltenbach
Abstract:
In the present paper, we study a Crouzeix-Raviart approximation of the obstacle problem, which imposes the obstacle constraint in the midpoints (i.e., barycenters) of the elements of a triangulation. We establish a priori error estimates imposing natural regularity assumptions, which are optimal, and the reliability and efficiency of a primal-dual type a posteriori error estimator for general obst…
▽ More
In the present paper, we study a Crouzeix-Raviart approximation of the obstacle problem, which imposes the obstacle constraint in the midpoints (i.e., barycenters) of the elements of a triangulation. We establish a priori error estimates imposing natural regularity assumptions, which are optimal, and the reliability and efficiency of a primal-dual type a posteriori error estimator for general obstacles and involving data oscillation terms stemming only from the right-hand side. Numerical experiments are carried out to support the theoretical findings.
△ Less
Submitted 23 March, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Benchmarking Numerical Algorithms for Harmonic Maps into the Sphere
Authors:
Sören Bartels,
Klaus Böhnlein,
Christian Palus,
Oliver Sander
Abstract:
We numerically benchmark methods for computing harmonic maps into the unit sphere, with particular focus on harmonic maps with singularities. For the discretization we compare two different approaches, both based on Lagrange finite elements. While the first method enforces the unit-length constraint only at the Lagrange nodes, the other one adds a pointwise projection to fulfill the constraint eve…
▽ More
We numerically benchmark methods for computing harmonic maps into the unit sphere, with particular focus on harmonic maps with singularities. For the discretization we compare two different approaches, both based on Lagrange finite elements. While the first method enforces the unit-length constraint only at the Lagrange nodes, the other one adds a pointwise projection to fulfill the constraint everywhere. For the solution of the resulting algebraic problems we compare a nonconforming gradient flow with a Riemannian trust-region method. Both are energy-decreasing and can be shown to converge globally to a stationary point of the Dirichlet energy. We observe that while the nonconforming and the conforming discretizations both show similar behavior, the second-order trust-region method needs less iterations than the solver based on gradient flow.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Quasi-optimal error estimates for the approximation of stable harmonic maps
Authors:
Sören Bartels,
Christian Palus,
Zhangxian Wang
Abstract:
Based on a quantitative version of the inverse function theorem and an appropriate saddle-point formulation we derive a quasi-optimal error estimate for the finite element approximation of harmonic maps into spheres with a nodal discretization of the unit-length constraint. The estimate holds under natural regularity requirements and appropriate geometric stability conditions on solutions. Extensi…
▽ More
Based on a quantitative version of the inverse function theorem and an appropriate saddle-point formulation we derive a quasi-optimal error estimate for the finite element approximation of harmonic maps into spheres with a nodal discretization of the unit-length constraint. The estimate holds under natural regularity requirements and appropriate geometric stability conditions on solutions. Extensions to other target manifolds including boundaries of ellipsoids are discussed.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Error analysis for the numerical approximation of the harmonic map heat flow with nodal constraints
Authors:
Sören Bartels,
Balázs Kovács,
Zhangxian Wang
Abstract:
An error estimate for a canonical discretization of the harmonic map heat flow into spheres is derived. The numerical scheme uses standard finite elements with a nodal treatment of linearized unit-length constraints. The analysis is based on elementary approximation results and only uses the discrete weak formulation.
An error estimate for a canonical discretization of the harmonic map heat flow into spheres is derived. The numerical scheme uses standard finite elements with a nodal treatment of linearized unit-length constraints. The analysis is based on elementary approximation results and only uses the discrete weak formulation.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Modeling and simulation of nematic LCE rods
Authors:
Sören Bartels,
Max Griehl,
Jakob Keck,
Stefan Neukamm
Abstract:
We introduce a nonlinear, one-dimensional bending-twisting model for an inextensible bi-rod that is composed of a nematic liquid crystal elastomer. The model combines an elastic energy that is quadratic in curvature and torsion with a Frank-Oseen energy for the liquid crystal elastomer. Moreover, the model features a nematic-elastic coupling that relates the crystalline orientation with a spontane…
▽ More
We introduce a nonlinear, one-dimensional bending-twisting model for an inextensible bi-rod that is composed of a nematic liquid crystal elastomer. The model combines an elastic energy that is quadratic in curvature and torsion with a Frank-Oseen energy for the liquid crystal elastomer. Moreover, the model features a nematic-elastic coupling that relates the crystalline orientation with a spontaneous bending-twisting term. We show that the model can be derived as a $Γ$-limit from three-dimensional nonlinear elasticity. Moreover, we introduce a numerical scheme to compute critical points of the bending-twisting model via a discrete gradient flow. We present various numerical simulations that illustrate the rich mechanical behavior predicted by the model. The numerical experiments reveal good stability and approximation properties of the method.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Error Estimates For A Linear Folding Model
Authors:
Sören Bartels,
Andrea Bonito,
Philipp Tscherner
Abstract:
An interior penalty discontinuous Galerkin method is devised to approximate minimizers of a linear folding model by discontinuous isoparametric finite element functions that account for an approximation of a folding arc. The numerical analysis of the discrete model includes an a priori error estimate in case of an accurate representation of the folding curve by the isoparametric mesh. Additional e…
▽ More
An interior penalty discontinuous Galerkin method is devised to approximate minimizers of a linear folding model by discontinuous isoparametric finite element functions that account for an approximation of a folding arc. The numerical analysis of the discrete model includes an a priori error estimate in case of an accurate representation of the folding curve by the isoparametric mesh. Additional estimates show that geometric consistency errors may be controlled separately if the folding arc is approximated by piecewise polynomial curves. Various numerical experiments are carried out to validate the a priori error estimate for the folding model.
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
Explicit and efficient error estimation for convex minimization problems
Authors:
Sören Bartels,
Alex Kaltenbach
Abstract:
We combine a systematic approach for deriving general a posteriori error estimates for convex minimization problems based on convex duality relations with a recently derived generalized Marini formula. The a posteriori error estimates are essentially constant-free and apply to a large class of variational problems including the $p$-Dirichlet problem, as well as degenerate minimization, obstacle an…
▽ More
We combine a systematic approach for deriving general a posteriori error estimates for convex minimization problems based on convex duality relations with a recently derived generalized Marini formula. The a posteriori error estimates are essentially constant-free and apply to a large class of variational problems including the $p$-Dirichlet problem, as well as degenerate minimization, obstacle and image de-noising problems. In addition, these a posteriori error estimates are based on a comparison to a given non-conforming finite element solution. For the $p$-Dirichlet problem, these a posteriori error bounds are equivalent to residual type a posteriori error bounds and, hence, reliable and efficient.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Computing confined elasticae
Authors:
Sören Bartels,
Pascal Weyer
Abstract:
A numerical scheme for computing arc-length parametrized curves of low bending energy that are confined to convex domains is devised. The convergence of the discrete formulations to a continuous model and the unconditional stability of an iterative scheme are addressed. Numerical simulations confirm the theoretical results and lead to a classification of observed optimal curves within spheres.
A numerical scheme for computing arc-length parametrized curves of low bending energy that are confined to convex domains is devised. The convergence of the discrete formulations to a continuous model and the unconditional stability of an iterative scheme are addressed. Numerical simulations confirm the theoretical results and lead to a classification of observed optimal curves within spheres.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
A nonlinear bending theory for nematic LCE plates
Authors:
Sören Bartels,
Max Griehl,
Stefan Neukamm,
David Padilla-Garza,
Christian Palus
Abstract:
In this paper, we study an elastic bilayer plate composed of a nematic liquid crystal elastomer in the top layer and a nonlinearly elastic material in the bottom layer. While the bottom layer is assumed to be stress-free in the flat reference configuration, the top layer features an eigenstrain that depends on the local liquid crystal orientation. As a consequence, the plate shows non-flat deforma…
▽ More
In this paper, we study an elastic bilayer plate composed of a nematic liquid crystal elastomer in the top layer and a nonlinearly elastic material in the bottom layer. While the bottom layer is assumed to be stress-free in the flat reference configuration, the top layer features an eigenstrain that depends on the local liquid crystal orientation. As a consequence, the plate shows non-flat deformations in equilibrium with a geometry that non-trivially depends on the relative thickness and shape of the plate, material parameters, boundary conditions for the deformation, and anchorings of the liquid crystal orientation. We focus on thin plates in the bending regime and derive a two-dimensional bending model that combines a nonlinear bending energy for the deformation, with a surface Oseen-Frank energy for the director field that describes the local orientation of the liquid crystal elastomer. Both energies are nonlinearly coupled by means of a spontaneous curvature term that effectively describes the nematic-elastic coupling. We rigorously derive this model as a Γ-limit from three-dimensional, nonlinear elasticity. We also devise a new numerical algorithm to compute stationary points of the two-dimensional model. We conduct numerical experiments and present simulation results that illustrate the practical properties of the proposed scheme as well as the rich mechanical behavior of the system.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Adaptive Cholesky Gaussian Processes
Authors:
Simon Bartels,
Kristoffer Stensbo-Smidt,
Pablo Moreno-Muñoz,
Wouter Boomsma,
Jes Frellsen,
Søren Hauberg
Abstract:
We present a method to approximate Gaussian process regression models for large datasets by considering only a subset of the data. Our approach is novel in that the size of the subset is selected on the fly during exact inference with little computational overhead. From an empirical observation that the log-marginal likelihood often exhibits a linear trend once a sufficient subset of a dataset has…
▽ More
We present a method to approximate Gaussian process regression models for large datasets by considering only a subset of the data. Our approach is novel in that the size of the subset is selected on the fly during exact inference with little computational overhead. From an empirical observation that the log-marginal likelihood often exhibits a linear trend once a sufficient subset of a dataset has been observed, we conclude that many large datasets contain redundant information that only slightly affects the posterior. Based on this, we provide probabilistic bounds on the full model evidence that can identify such subsets. Remarkably, these bounds are largely composed of terms that appear in intermediate steps of the standard Cholesky decomposition, allowing us to modify the algorithm to adaptively stop the decomposition once enough data have been observed.
△ Less
Submitted 23 February, 2023; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Error estimates for total-variation regularized minimization problems with singular dual solutions
Authors:
Alex Kaltenbach,
Sören Bartels
Abstract:
Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems using the Crouzeix--Raviart finite element require the existence of a Lipschitz continuous dual solution, which is not generally given. We provide analytic proofs showing that the Lipschitz continuity of a dual solution is not necessary, in general. Using the Lipschitz tru…
▽ More
Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems using the Crouzeix--Raviart finite element require the existence of a Lipschitz continuous dual solution, which is not generally given. We provide analytic proofs showing that the Lipschitz continuity of a dual solution is not necessary, in general. Using the Lipschitz truncation technique, we, in addition, derive error estimates that depend directly on the Sobolev regularity of a given dual solution.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Numerical Approximation of Optimal Convex and Rotationally Symmetric Shapes for an Eigenvalue Problem arising in Optimal Insulation
Authors:
Hedwig Keller,
Sören Bartels,
Gerd Wachsmuth
Abstract:
We are interested in the optimization of convex domains under a PDE constraint. Due to the difficulties of approximating convex domains in $\mathbb{R}^3$, the restriction to rotationally symmetric domains is used to reduce shape optimization problems to a two-dimensional setting. For the optimization of an eigenvalue arising in a problem of optimal insulation, the existence of an optimal domain is…
▽ More
We are interested in the optimization of convex domains under a PDE constraint. Due to the difficulties of approximating convex domains in $\mathbb{R}^3$, the restriction to rotationally symmetric domains is used to reduce shape optimization problems to a two-dimensional setting. For the optimization of an eigenvalue arising in a problem of optimal insulation, the existence of an optimal domain is proven. An algorithm is proposed that can be applied to general shape optimization problems under the geometric constraints of convexity and rotational symmetry. The approximated optimal domains for the eigenvalue problem in optimal insulation are discussed.
△ Less
Submitted 8 November, 2021; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Simulating Self-Avoiding Isometric Plate Bending
Authors:
Sören Bartels,
Frank Meyer,
Christian Palus
Abstract:
Inspired by recent results on self-avoiding inextensible curves, we propose and experimentally investigate a numerical method for simulating isometric plate bending without self-intersections. We consider a nonlinear two-dimensional Kirchhoff plate model which is augmented via addition of a tangent-point energy. The resulting continuous model energy is finite if and only if the corresponding defor…
▽ More
Inspired by recent results on self-avoiding inextensible curves, we propose and experimentally investigate a numerical method for simulating isometric plate bending without self-intersections. We consider a nonlinear two-dimensional Kirchhoff plate model which is augmented via addition of a tangent-point energy. The resulting continuous model energy is finite if and only if the corresponding deformation is injective, i.e. neither includes self-intersections nor self-contact. We propose a finite element method method based on discrete Kirchhoff triangles for the spatial discretization and employ a semi-implicit gradient descent scheme for the minimization of the discretized energy functional. Practical properties of the proposed method are illustrated with numerous numerical simulations, exploring the model behavior in different settings and demonstrating that our method is capable of preventing non-injective deformations.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
Modeling and simulation of thin sheet folding
Authors:
Sören Bartels,
Andrea Bonito,
Peter Hornung
Abstract:
The article addresses the mathematical modeling of the folding of a thin elastic sheet along a prescribed curved arc. A rigorous model reduction from a general hyperelastic material description is carried out under appropriate scaling conditions on the energy and the geometric properties of the folding arc in dependence on the small sheet thickness. The resulting two-dimensional model is a piecewi…
▽ More
The article addresses the mathematical modeling of the folding of a thin elastic sheet along a prescribed curved arc. A rigorous model reduction from a general hyperelastic material description is carried out under appropriate scaling conditions on the energy and the geometric properties of the folding arc in dependence on the small sheet thickness. The resulting two-dimensional model is a piecewise nonlinear Kirchhoff plate bending model with a continuity condition at the folding arc. A discontinuous Galerkin method and an iterative scheme are devised for the accurate numerical approximation of large deformations.
△ Less
Submitted 8 February, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Kernel-Matrix Determinant Estimates from stopped Cholesky Decomposition
Authors:
Simon Bartels,
Wouter Boomsma,
Jes Frellsen,
Damien Garreau
Abstract:
Algorithms involving Gaussian processes or determinantal point processes typically require computing the determinant of a kernel matrix. Frequently, the latter is computed from the Cholesky decomposition, an algorithm of cubic complexity in the size of the matrix. We show that, under mild assumptions, it is possible to estimate the determinant from only a sub-matrix, with probabilistic guarantee o…
▽ More
Algorithms involving Gaussian processes or determinantal point processes typically require computing the determinant of a kernel matrix. Frequently, the latter is computed from the Cholesky decomposition, an algorithm of cubic complexity in the size of the matrix. We show that, under mild assumptions, it is possible to estimate the determinant from only a sub-matrix, with probabilistic guarantee on the relative error. We present an augmentation of the Cholesky decomposition that stops under certain conditions before processing the whole matrix. Experiments demonstrate that this can save a considerable amount of time while having an overhead of less than $5\%$ when not stop** early. More generally, we present a probabilistic stop** strategy for the approximation of a sum of known length where addends are revealed sequentially. We do not assume independence between addends, only that they are bounded from below and decrease in conditional expectation.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Singular solutions, graded meshes, and adaptivity for total-variation regularized minimization problems
Authors:
Sören Bartels,
Robert Tovey,
Friedrich Wassmer
Abstract:
Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems require the existence of a Lipschitz continuous dual solution. We discuss the validity of this condition and devise numerical methods using locally refined meshes that lead to improved convergence rates despite the occurrence of discontinuities. It turns out that nearly li…
▽ More
Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems require the existence of a Lipschitz continuous dual solution. We discuss the validity of this condition and devise numerical methods using locally refined meshes that lead to improved convergence rates despite the occurrence of discontinuities. It turns out that nearly linear convergence is possible on suitably constructed meshes.
△ Less
Submitted 25 June, 2021;
originally announced June 2021.
-
Approximation of fractional harmonic maps
Authors:
Harbir Antil,
Sören Bartels,
Armin Schikorra
Abstract:
This paper addresses the approximation of fractional harmonic maps. Besides a unit-length constraint, one has to tackle the difficulty of nonlocality. We establish weak compactness results for critical points of the fractional Dirichlet energy on unit-length vector fields. We devise and analyze numerical methods for the approximation of various partial differential equations related to fractional…
▽ More
This paper addresses the approximation of fractional harmonic maps. Besides a unit-length constraint, one has to tackle the difficulty of nonlocality. We establish weak compactness results for critical points of the fractional Dirichlet energy on unit-length vector fields. We devise and analyze numerical methods for the approximation of various partial differential equations related to fractional harmonic maps. The compactness results imply the convergence of numerical approximations. Numerical examples on spin chain dynamics and point defects are presented to demonstrate the effectiveness of the proposed methods.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Orthogonality relations of Crouzeix-Raviart and Raviart-Thomas finite element spaces
Authors:
Sören Bartels,
Zhangxian Wang
Abstract:
Identities that relate projections of Raviart-Thomas finite element vector fields to discrete gradients of Crouzeix-Raviart finite element functions are derived under general conditions. Various implications such as discrete convex duality results and a characterization of the image of the projection of the Crouzeix-Ravaiart space onto elementwise constant functions are deduced.
Identities that relate projections of Raviart-Thomas finite element vector fields to discrete gradients of Crouzeix-Raviart finite element functions are derived under general conditions. Various implications such as discrete convex duality results and a characterization of the image of the projection of the Crouzeix-Ravaiart space onto elementwise constant functions are deduced.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Simulation of constrained elastic curves and application to a conical sheet indentation problem
Authors:
Sören Bartels
Abstract:
We consider variational problems that model the bending behavior of curves that are constrained to belong to given hypersurfaces. Finite element discretizations of corresponding functionals are justified rigorously via Gamma-convergence. The stability of semi-implicit discretizations of gradient flows is investigated which provide a practical method to determine stationary configurations. A partic…
▽ More
We consider variational problems that model the bending behavior of curves that are constrained to belong to given hypersurfaces. Finite element discretizations of corresponding functionals are justified rigorously via Gamma-convergence. The stability of semi-implicit discretizations of gradient flows is investigated which provide a practical method to determine stationary configurations. A particular application of the considered models arises in the description of conical sheet deformations.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Error estimates for a class of discontinuous Galerkin methods for nonsmooth problems via convex duality relations
Authors:
Sören Bartels
Abstract:
We devise and analyze a class of interior penalty discontinuous Galerkin methods for nonlinear and nonsmooth variational problems. Discrete duality relations are derived that lead to optimal error estimates in the case of total-variation regularized minimization or obstacle problems. The analysis provides explicit estimates that precisely determine the role of stabilization parameters. Numerical e…
▽ More
We devise and analyze a class of interior penalty discontinuous Galerkin methods for nonlinear and nonsmooth variational problems. Discrete duality relations are derived that lead to optimal error estimates in the case of total-variation regularized minimization or obstacle problems. The analysis provides explicit estimates that precisely determine the role of stabilization parameters. Numerical experiments suppport the optimality of the estimates.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Stable Gradient Flow Discretizations for Simulating Bilayer Plate Bending with Isometry and Obstacle Constraints
Authors:
Sören Bartels,
Christian Palus
Abstract:
Bilayer plates are compound materials that exhibit large bending deformations when exposed to environmental changes that lead to different mechanical responses in the involved materials. In this article a new numerical method which is suitable for simulating the isometric deformation induced by a given material mismatch in a bilayer plate is discussed. A dimensionally reduced formulation of the be…
▽ More
Bilayer plates are compound materials that exhibit large bending deformations when exposed to environmental changes that lead to different mechanical responses in the involved materials. In this article a new numerical method which is suitable for simulating the isometric deformation induced by a given material mismatch in a bilayer plate is discussed. A dimensionally reduced formulation of the bending energy is discretized generically in an abstract setting and specified for discrete Kirchhoff triangles; convergence towards the continuous formulation is proved. A practical semi-implicit discrete gradient flow employing a linearization of the isometry constraint is proposed as an iterative method for the minimization of the bending energy; stability and a bound on the violation of the isometry constraint are proved. The incorporation of obstacles is discussed and the practical performance of the method is illustrated with numerical experiments involving the simulation of large bending deformations and investigation of contact phenomena.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Nonconforming discretizations of convex minimization problems and precise relations to mixed methods
Authors:
Sören Bartels
Abstract:
This article discusses nonconforming finite element methods for convex minimization problems and systematically derives dual mixed formulations. Duality relations lead to simple error estimates that avoid an explicit treatment of nonconformity errors. A reconstruction formula provides the discrete solution of the dual problem via a simple postprocessing procedure which implies a strong duality rel…
▽ More
This article discusses nonconforming finite element methods for convex minimization problems and systematically derives dual mixed formulations. Duality relations lead to simple error estimates that avoid an explicit treatment of nonconformity errors. A reconstruction formula provides the discrete solution of the dual problem via a simple postprocessing procedure which implies a strong duality relation and is of interest in a posteriori error estimation. The framework applies to differentiable and nonsmooth problems, examples include $p$-Laplace, total-variation regularized, and obstacle problems. Numerical experiments illustrate advantages of nonconforming over standard conforming methods.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Parameter learning and fractional differential operators: application in image regularization and decomposition
Authors:
Sören Bartels,
Nico Weber
Abstract:
In this paper, we focus on learning optimal parameters for PDE-based image regularization and decomposition. First we learn the regularization parameter and the differential operator for gray-scale image denoising using the fractional Laplacian in combination with a bilevel optimization problem. In our setting the fractional Laplacian allows the use of Fourier transform, which enables the optimiza…
▽ More
In this paper, we focus on learning optimal parameters for PDE-based image regularization and decomposition. First we learn the regularization parameter and the differential operator for gray-scale image denoising using the fractional Laplacian in combination with a bilevel optimization problem. In our setting the fractional Laplacian allows the use of Fourier transform, which enables the optimization of the denoising operator. We prove stable and explainable results as an advantage in comparison to other machine learning approaches. The numerical experiments correlate with our theoretical model setting and show a reduction of computing time in contrast to the ROF model. Second we introduce a new image decomposition model with the fractional Laplacian and the Riesz potential. We provide an explicit formula for the unique solution and the numerical experiments illustrate the efficiency.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
Numerical simulation of inextensible elastic ribbons
Authors:
Sören Bartels
Abstract:
Using dimensionally reduced models for the numerical simulation of thin objects is highly attractive as this reduces the computational work substantially. The case of narrow thin elastic bands is considered and a convergent finite element discretization for the one-dimensional energy functional together with a fully practical, energy-monotone iterative method for computing stationary configuration…
▽ More
Using dimensionally reduced models for the numerical simulation of thin objects is highly attractive as this reduces the computational work substantially. The case of narrow thin elastic bands is considered and a convergent finite element discretization for the one-dimensional energy functional together with a fully practical, energy-monotone iterative method for computing stationary configurations are devised. Numerical experiments confirm the theoretical findings and illustrate the qualitative behavior of elastic narrow bands.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Numerical solution of a bending-torsion model for elastic rods
Authors:
Sören Bartels,
Philipp Reiter
Abstract:
Aiming at simulating elastic rods, we discretize a rod model based on a general theory of hyperelasticity for inextensible and unshearable rods. After reviewing this model and discussing topological effects of periodic rods, we prove convergence of the discretized functionals and stability of a corresponding discrete flow. Our experiments numerically confirm thresholds e.g. for Michell's instabili…
▽ More
Aiming at simulating elastic rods, we discretize a rod model based on a general theory of hyperelasticity for inextensible and unshearable rods. After reviewing this model and discussing topological effects of periodic rods, we prove convergence of the discretized functionals and stability of a corresponding discrete flow. Our experiments numerically confirm thresholds e.g. for Michell's instability and indicate a complex energy landscape, in particular in the presence of impermeability.
△ Less
Submitted 16 November, 2019;
originally announced November 2019.
-
Conjugate Gradients for Kernel Machines
Authors:
Simon Bartels,
Philipp Hennig
Abstract:
Regularized least-squares (kernel-ridge / Gaussian process) regression is a fundamental algorithm of statistics and machine learning. Because generic algorithms for the exact solution have cubic complexity in the number of datapoints, large datasets require to resort to approximations. In this work, the computation of the least-squares prediction is itself treated as a probabilistic inference prob…
▽ More
Regularized least-squares (kernel-ridge / Gaussian process) regression is a fundamental algorithm of statistics and machine learning. Because generic algorithms for the exact solution have cubic complexity in the number of datapoints, large datasets require to resort to approximations. In this work, the computation of the least-squares prediction is itself treated as a probabilistic inference problem. We propose a structured Gaussian regression model on the kernel function that uses projections of the kernel matrix to obtain a low-rank approximation of the kernel and the matrix. A central result is an enhanced way to use the method of conjugate gradients for the specific setting of least-squares regression as encountered in machine learning. Our method improves the approximation of the kernel ridge regressor / Gaussian process posterior mean over vanilla conjugate gradients and, allows computation of the posterior variance and the log marginal likelihood (evidence) without further overhead.
△ Less
Submitted 14 November, 2019;
originally announced November 2019.
-
Convergence of fully discrete implicit and semi-implicit approximations of nonlinear parabolic equations
Authors:
Sören Bartels,
Michael Růžička
Abstract:
The article addresses the convergence of implicit and semi-implicit, fully discrete approximations of a class of nonlinear parabolic evolution problems. Such schemes are popular in the numerical solution of evolutions defined with the $p$-Laplace operator since the latter lead to linear systems of equations in the time steps. The semi-implicit treatment of the operator requires introducing a regul…
▽ More
The article addresses the convergence of implicit and semi-implicit, fully discrete approximations of a class of nonlinear parabolic evolution problems. Such schemes are popular in the numerical solution of evolutions defined with the $p$-Laplace operator since the latter lead to linear systems of equations in the time steps. The semi-implicit treatment of the operator requires introducing a regularization parameter that has to be suitably related to other discretization parameters. To avoid restrictive, unpractical conditions, a careful convergence analysis has to be carried out. The arguments presented in this article show that convergence holds under a moderate condition that relates the step size to the regularization parameter but which is independent of the spatial resolution.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
Primal-dual gap estimators for a posteriori error analysis of nonsmooth minimization problems
Authors:
Sören Bartels,
Marijo Milicevic
Abstract:
The primal-dual gap is a natural upper bound for the energy error and, for uniformly convex minimization problems, also for the error in the energy norm. This feature can be used to construct reliable primal-dual gap error estimators for which the constant in the reliability estimate equals one for the energy error and equals the uniform convexity constant for the error in the energy norm. In part…
▽ More
The primal-dual gap is a natural upper bound for the energy error and, for uniformly convex minimization problems, also for the error in the energy norm. This feature can be used to construct reliable primal-dual gap error estimators for which the constant in the reliability estimate equals one for the energy error and equals the uniform convexity constant for the error in the energy norm. In particular, it defines a reliable upper bound for any functions that are feasible for the primal and the associated dual problem. The abstract a posteriori error estimate based on the primal-dual gap is provided in this article, and the abstract theory is applied to the nonlinear Laplace problem and the Rudin-Osher-Fatemi image denoising problem. The discretization of the primal and dual problems with conforming, low-order finite element spaces is addressed. The primal-dual gap error estimator is used to define an adaptive finite element scheme and numerical experiments are presented, which illustrate the accurate, local mesh refinement in a neighborhood of the singularities, the reliability of the primal-dual gap error estimator and the moderate overestimation of the error.
△ Less
Submitted 11 February, 2019;
originally announced February 2019.
-
Finite element simulation of nonlinear bending models for thin elastic rods and plates
Authors:
Sören Bartels
Abstract:
Nonlinear bending phenomena of thin elastic structures arise in various modern and classical applications. Characterizing low energy states of elastic rods has been investigated by Bernoulli in 1738 and related models are used to determine configurations of DNA strands. The bending of a piece of paper has been described mathematically by Kirchhoff in 1850 and extensions of his model arise in nanot…
▽ More
Nonlinear bending phenomena of thin elastic structures arise in various modern and classical applications. Characterizing low energy states of elastic rods has been investigated by Bernoulli in 1738 and related models are used to determine configurations of DNA strands. The bending of a piece of paper has been described mathematically by Kirchhoff in 1850 and extensions of his model arise in nanotechnological applications such as the development of externally operated microtools. A rigorous mathematical framework that identifies these models as dimensionally reduced limits from three-dimensional hyperelasticity has only recently been established. It provides a solid basis for develo** and analyzing numerical approximation schemes. The fourth order character of bending problems and a pointwise isometry constraint for large deformations require appropriate discretization techniques which are discussed in this article. Methods developed for the approximation of harmonic maps are adapted to discretize the isometry constraint and gradient flows are used to decrease the bending energy. For the case of elastic rods, torsion effects and a self-avoidance potential that guarantees injectivity of deformations are incorporated. The devised and rigorously analyzed numerical methods are illustrated by means of experiments related to the relaxation of elastic knots, the formation of singularities in a Möbius strip, and the simulation of actuated bilayer plates.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Numerical approximation of optimal convex shapes
Authors:
Sören Bartels,
Gerd Wachsmuth
Abstract:
This article investigates the numerical approximation of shape optimization problems with PDE constraint on classes of convex domains. The convexity constraint provides a compactness property which implies well posedness of the problem. Moreover, we prove the convergence of discretizations in two-dimensional situations. A numerical algorithm is devised that iteratively solves the discrete formulat…
▽ More
This article investigates the numerical approximation of shape optimization problems with PDE constraint on classes of convex domains. The convexity constraint provides a compactness property which implies well posedness of the problem. Moreover, we prove the convergence of discretizations in two-dimensional situations. A numerical algorithm is devised that iteratively solves the discrete formulation. Numerical experiments show that optimal convex shapes are generally non-smooth and that three-dimensional problems require an appropriate relaxation of the convexity condition.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
Probabilistic Linear Solvers: A Unifying View
Authors:
Simon Bartels,
Jon Cockayne,
Ilse C. F. Ipsen,
Philipp Hennig
Abstract:
Several recent works have developed a new, probabilistic interpretation for numerical algorithms solving linear systems in which the solution is inferred in a Bayesian framework, either directly or by inferring the unknown action of the matrix inverse. These approaches have typically focused on replicating the behavior of the conjugate gradient method as a prototypical iterative method. In this wo…
▽ More
Several recent works have developed a new, probabilistic interpretation for numerical algorithms solving linear systems in which the solution is inferred in a Bayesian framework, either directly or by inferring the unknown action of the matrix inverse. These approaches have typically focused on replicating the behavior of the conjugate gradient method as a prototypical iterative method. In this work surprisingly general conditions for equivalence of these disparate methods are presented. We also describe connections between probabilistic linear solvers and projection methods for linear systems, providing a probabilistic interpretation of a far more general class of iterative methods. In particular, this provides such an interpretation of the generalised minimum residual method. A probabilistic view of preconditioning is also introduced. These developments unify the literature on probabilistic linear solvers, and provide foundational connections to the literature on iterative solvers for linear systems.
△ Less
Submitted 17 October, 2018; v1 submitted 8 October, 2018;
originally announced October 2018.
-
Stability of a simple scheme for the approximation of elastic knots and self-avoiding inextensible curves
Authors:
Sören Bartels,
Philipp Reiter
Abstract:
We discuss a semi-implicit numerical scheme that allows for minimizing the bending energy of curves within certain isotopy classes. To this end we consider a weighted sum of the bending energy and the tangent-point functional. Based on estimates for the second derivative of the latter and a uniform bi-Lipschitz radius, we prove a stability result implying energy decay during the evolution as well…
▽ More
We discuss a semi-implicit numerical scheme that allows for minimizing the bending energy of curves within certain isotopy classes. To this end we consider a weighted sum of the bending energy and the tangent-point functional. Based on estimates for the second derivative of the latter and a uniform bi-Lipschitz radius, we prove a stability result implying energy decay during the evolution as well as maintenance of arclength parametrization. Finally we present some numerical experiments exploring the energy landscape, targeted to the question how to obtain global minimizers of the bending energy in knot classes, so-called elastic knots.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
Unconditional stability of semi-implicit discretizations of singular flows
Authors:
Sören Bartels,
Lars Diening,
Ricardo H. Nochetto
Abstract:
A popular and efficient discretization of evolutions involving the singular $p$-Laplace operator is based on a factorization of the differential operator into a linear part which is treated implicitly and a regularized singular factor which is treated explicitly. It is shown that an unconditional energy stability property for this semi-implicit time step** strategy holds. Related error estimates…
▽ More
A popular and efficient discretization of evolutions involving the singular $p$-Laplace operator is based on a factorization of the differential operator into a linear part which is treated implicitly and a regularized singular factor which is treated explicitly. It is shown that an unconditional energy stability property for this semi-implicit time step** strategy holds. Related error estimates depend critically on a required regularization parameter. Numerical experiments reveal reduced experimental convergence rates for smaller regularization parameters and thereby confirm that this dependence cannot be avoided in general.
△ Less
Submitted 29 November, 2017;
originally announced December 2017.
-
Error bounds for discretized optimal transport and its reliable efficient numerical solution
Authors:
Sören Bartels,
Stephan Hertzog
Abstract:
The discretization of optimal transport problems often leads to large linear programs with sparse solutions. We derive error estimates for the approximation of the problem using convex combinations of Dirac measures and devise an active-set strategy that uses the optimality conditions to predict the support of a solution within a multilevel strategy. Numerical experiments confirm the theoretically…
▽ More
The discretization of optimal transport problems often leads to large linear programs with sparse solutions. We derive error estimates for the approximation of the problem using convex combinations of Dirac measures and devise an active-set strategy that uses the optimality conditions to predict the support of a solution within a multilevel strategy. Numerical experiments confirm the theoretically predicted convergence rates and a linear growth of effective problem sizes with respect to the variables used to discretize given data.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
Numerical solution of a nonlinear eigenvalue problem arising in optimal insulation
Authors:
Sören Bartels,
Giuseppe Buttazzo
Abstract:
The optimal insulation of a heat conducting body by a thin film of variable thickness can be formulated as a nondifferentiable, nonlocal eigenvalue problem. The discretization and iterative solution for the reliable computation of corresponding eigenfunctions that determine the optimal layer thickness are addressed. Corresponding numerical experiments confirm the theoretical observation that a sym…
▽ More
The optimal insulation of a heat conducting body by a thin film of variable thickness can be formulated as a nondifferentiable, nonlocal eigenvalue problem. The discretization and iterative solution for the reliable computation of corresponding eigenfunctions that determine the optimal layer thickness are addressed. Corresponding numerical experiments confirm the theoretical observation that a symmetry breaking occurs for the case of small available insulation masses and provide insight in the geometry of optimal films. An experimental shape optimization indicates that convex bodies with one axis of symmetry have favorable insulation properties.
△ Less
Submitted 12 August, 2017;
originally announced August 2017.
-
Alternating direction method of multipliers with variable step sizes
Authors:
Sören Bartels,
Marijo Milicevic
Abstract:
The alternating direction method of multipliers (ADMM) is a flexible method to solve a large class of convex minimization problems. Particular features are its unconditional convergence with respect to the involved step size and its direct applicability. This article deals with the ADMM with variable step sizes and devises an adjustment rule for the step size relying on the monotonicity of the res…
▽ More
The alternating direction method of multipliers (ADMM) is a flexible method to solve a large class of convex minimization problems. Particular features are its unconditional convergence with respect to the involved step size and its direct applicability. This article deals with the ADMM with variable step sizes and devises an adjustment rule for the step size relying on the monotonicity of the residual and discusses proper stop** criteria. The numerical experiments show significant improvements over established variants of the ADMM.
△ Less
Submitted 20 April, 2017;
originally announced April 2017.
-
Modeling and simulation of thermally actuated bilayer plates
Authors:
Soeren Bartels,
Andrea Bonito,
Anastasia Muliana,
Ricardo H. Nochetto
Abstract:
We present a mathematical model of polymer bilayers that undergo large bending deformations when actuated by non-mechanical stimuli such as thermal effects. The simple model captures a large class of nonlinear bending effects and can be discretized with standard plate elements. We devise a fully practical iterative scheme and apply it to the simulation of folding of several practically useful comp…
▽ More
We present a mathematical model of polymer bilayers that undergo large bending deformations when actuated by non-mechanical stimuli such as thermal effects. The simple model captures a large class of nonlinear bending effects and can be discretized with standard plate elements. We devise a fully practical iterative scheme and apply it to the simulation of folding of several practically useful compliant structures comprising of thin elastic layers.
△ Less
Submitted 24 October, 2017; v1 submitted 6 April, 2017;
originally announced April 2017.
-
Spectral approximation of fractional PDEs in image processing and phase field modeling
Authors:
Harbir Antil,
Sören Bartels
Abstract:
Fractional differential operators provide an attractive mathematical tool to model effects with limited regularity properties. Particular examples are image processing and phase field models in which jumps across lower dimensional subsets and sharp transitions across interfaces are of interest. The numerical solution of corresponding model problems via a spectral method is analyzed. Its efficiency…
▽ More
Fractional differential operators provide an attractive mathematical tool to model effects with limited regularity properties. Particular examples are image processing and phase field models in which jumps across lower dimensional subsets and sharp transitions across interfaces are of interest. The numerical solution of corresponding model problems via a spectral method is analyzed. Its efficiency and features of the model problems are illustrated by numerical experiments.
△ Less
Submitted 22 August, 2017; v1 submitted 2 April, 2017;
originally announced April 2017.
-
Fast Bayesian Optimization of Machine Learning Hyperparameters on Large Datasets
Authors:
Aaron Klein,
Stefan Falkner,
Simon Bartels,
Philipp Hennig,
Frank Hutter
Abstract:
Bayesian optimization has become a successful tool for hyperparameter optimization of machine learning algorithms, such as support vector machines or deep neural networks. Despite its success, for large datasets, training and validating a single configuration often takes hours, days, or even weeks, which limits the achievable performance. To accelerate hyperparameter optimization, we propose a gen…
▽ More
Bayesian optimization has become a successful tool for hyperparameter optimization of machine learning algorithms, such as support vector machines or deep neural networks. Despite its success, for large datasets, training and validating a single configuration often takes hours, days, or even weeks, which limits the achievable performance. To accelerate hyperparameter optimization, we propose a generative model for the validation error as a function of training set size, which is learned during the optimization process and allows exploration of preliminary configurations on small subsets, by extrapolating to the full dataset. We construct a Bayesian optimization procedure, dubbed Fabolas, which models loss and training time as a function of dataset size and automatically trades off high information gain about the global optimum against computational cost. Experiments optimizing support vector machines and deep neural networks show that Fabolas often finds high-quality solutions 10 to 100 times faster than other state-of-the-art Bayesian optimization methods or the recently proposed bandit strategy Hyperband.
△ Less
Submitted 7 March, 2017; v1 submitted 23 May, 2016;
originally announced May 2016.
-
Bilayer Plates: Model Reduction, $Γ$-Convergent Finite Element Approximation and Discrete Gradient Flow
Authors:
Söeren Bartels,
Andrea Bonito,
Ricardo H. Nochetto
Abstract:
The bending of bilayer plates is a mechanism which allows for large deformations via small externally induced lattice mismatches of the underlying materials. Its mathematical modeling, discussed herein, consists of a nonlinear fourth order problem with a pointwise isometry constraint. A discretization based on Kirchhoff quadrilaterals is devised and its $Γ$-convergence is proved. An iterative meth…
▽ More
The bending of bilayer plates is a mechanism which allows for large deformations via small externally induced lattice mismatches of the underlying materials. Its mathematical modeling, discussed herein, consists of a nonlinear fourth order problem with a pointwise isometry constraint. A discretization based on Kirchhoff quadrilaterals is devised and its $Γ$-convergence is proved. An iterative method that decreases the energy is proposed and its convergence to stationary configurations is investigated. Its performance, as well as reduced model capabilities, are explored via several insightful numerical experiments involving large (geometrically nonlinear) deformations.
△ Less
Submitted 8 October, 2015; v1 submitted 10 June, 2015;
originally announced June 2015.
-
Discrete Total Variation Flows Without Regularization
Authors:
Ricardo H. Nochetto,
Soeren Bartels,
Abner J. Salgado
Abstract:
We propose and analyze an algorithm for the solution of the $L^2$-subgradient flow of the total variation functional. The algorithm involves no regularization, thus the numerical solution preserves the main features that motivate practitioners to consider this type of energy. We propose an iterative scheme for the solution of the arising problems, show that the iterations converge, and develop a s…
▽ More
We propose and analyze an algorithm for the solution of the $L^2$-subgradient flow of the total variation functional. The algorithm involves no regularization, thus the numerical solution preserves the main features that motivate practitioners to consider this type of energy. We propose an iterative scheme for the solution of the arising problems, show that the iterations converge, and develop a stop** criterion for them. We present numerical experiments which illustrate the power of the method, explore the solution behavior, and compare with regularized flows.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
