-
Minimization of Nonlinear Energies in Python Using FEM and Automatic Differentiation Tools
Authors:
Michal Béreš,
Jan Valdman
Abstract:
This contribution examines the capabilities of the Python ecosystem to solve nonlinear energy minimization problems, with a particular focus on transitioning from traditional MATLAB methods to Python's advanced computational tools, such as automatic differentiation. We demonstrate Python's streamlined approach to minimizing nonlinear energies by analyzing three problem benchmarks - the p-Laplacian…
▽ More
This contribution examines the capabilities of the Python ecosystem to solve nonlinear energy minimization problems, with a particular focus on transitioning from traditional MATLAB methods to Python's advanced computational tools, such as automatic differentiation. We demonstrate Python's streamlined approach to minimizing nonlinear energies by analyzing three problem benchmarks - the p-Laplacian, the Ginzburg-Landau model, and the Neo-Hookean hyperelasticity. This approach merely requires the provision of the energy functional itself, making it a simple and efficient way to solve this category of problems. The results show that the implementation is about ten times faster than the MATLAB implementation for large-scale problems. Our findings highlight Python's efficiency and ease of use in scientific computing, establishing it as a preferable choice for implementing sophisticated mathematical models and accelerating the development of numerical simulations.
△ Less
Submitted 3 May, 2024;
originally announced July 2024.
-
On a vectorized basic linear algebra package for prototy** codes in MATLAB
Authors:
Alexej Moskovka,
Talal Rahman,
Jan Valdman,
Jon Eivind Vatne
Abstract:
When writing high-performance code for numerical computation in a scripting language like MATLAB, it is crucial to have the operations in a large for-loop vectorized. If not, the code becomes too slow to use, even for a moderately large problem. However, in the process of vectorizing, the code often loses its original structure and becomes less readable. This is particularly true in the case of a…
▽ More
When writing high-performance code for numerical computation in a scripting language like MATLAB, it is crucial to have the operations in a large for-loop vectorized. If not, the code becomes too slow to use, even for a moderately large problem. However, in the process of vectorizing, the code often loses its original structure and becomes less readable. This is particularly true in the case of a finite element implementation, even though finite element methods are inherently structured. A basic remedy to this is the separation of the vectorization part from the mathematics part of the code, which is easily achieved through building the code on top of the basic linear algebra subprograms that are already vectorized codes, an idea that has been used in a series of papers over the last fifteen years, develo** codes that are fast and still structured and readable. We discuss the vectorized basic linear algebra package and introduce a formalism using multi-linear algebra to explain and define formally the functions in the package, as well as MATLAB pagetime functions. We provide examples from computations of varying complexity, including the computation of normal vectors, volumes, and finite element methods. Benchmarking shows that we also get fast computations. Using the library, we can write codes that closely follow our mathematical thinking, making writing, following, reusing, and extending the code easier.
△ Less
Submitted 15 March, 2024;
originally announced April 2024.
-
Vectorized implementation of primal hybrid FEM in MATLAB
Authors:
Harish Nagula Mallesham,
Kamana Porwal,
Jan Valdman,
Sanjib Kumar Acharya
Abstract:
We present efficient MATLAB implementations of the lowest-order primal hybrid finite element method (FEM) for linear second-order elliptic and parabolic problems with mixed boundary conditions in two spatial dimensions. We employ the Crank-Nicolson finite difference scheme for the complete discrete setup of the parabolic problem. All the codes presented are fully vectorized using matrix-wise array…
▽ More
We present efficient MATLAB implementations of the lowest-order primal hybrid finite element method (FEM) for linear second-order elliptic and parabolic problems with mixed boundary conditions in two spatial dimensions. We employ the Crank-Nicolson finite difference scheme for the complete discrete setup of the parabolic problem. All the codes presented are fully vectorized using matrix-wise array operations. Numerical experiments are conducted to show the performance of the software.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
Minimization of energy functionals via FEM: implementation of hp-FEM
Authors:
Miroslav Frost,
Alexej Moskovka,
Jan Valdman
Abstract:
Many problems in science and engineering can be rigorously recast into minimizing a suitable energy functional. We have been develo** efficient and flexible solution strategies to tackle various minimization problems by employing finite element discretization with P1 triangular elements [1,2]. An extension to rectangular hp-finite elements in 2D is introduced in this contribution.
Many problems in science and engineering can be rigorously recast into minimizing a suitable energy functional. We have been develo** efficient and flexible solution strategies to tackle various minimization problems by employing finite element discretization with P1 triangular elements [1,2]. An extension to rectangular hp-finite elements in 2D is introduced in this contribution.
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Hadamard's inequality in the mean
Authors:
Jonathan Bevan,
Martin Kružík,
Jan Valdman
Abstract:
Let $Q$ be a Lipschitz domain in $\mathbb{R}^n$ and let $f \in L^{\infty}(Q)$. We investigate conditions under which the functional $$I_n(\varphi)=\int_Q |\nabla \varphi|^n+ f(x)\,\mathrm{det} \nabla \varphi\, \mathrm{d}x $$ obeys $I_n \geq 0$ for all $\varphi \in W_0^{1,n}(Q,\mathbb{R}^n)$, an inequality that we refer to as Hadamard-in-the-mean, or (HIM). We prove that there are piecewise constan…
▽ More
Let $Q$ be a Lipschitz domain in $\mathbb{R}^n$ and let $f \in L^{\infty}(Q)$. We investigate conditions under which the functional $$I_n(\varphi)=\int_Q |\nabla \varphi|^n+ f(x)\,\mathrm{det} \nabla \varphi\, \mathrm{d}x $$ obeys $I_n \geq 0$ for all $\varphi \in W_0^{1,n}(Q,\mathbb{R}^n)$, an inequality that we refer to as Hadamard-in-the-mean, or (HIM). We prove that there are piecewise constant $f$ such that (HIM) holds and is strictly stronger than the best possible inequality that can be derived using the Hadamard inequality $n^{\frac{n}{2}}|\det A|\leq |A|^n$ alone. When $f$ takes just two values, we find that (HIM) holds if and only if the variation of $f$ in $Q$ is at most $2n^{\frac{n}{2}}$. For more general $f$, we show that (i) it is both the geometry of the `jump sets' as well as the sizes of the `jumps' that determine whether (HIM) holds and (ii) the variation of $f$ can be made to exceed $2n^{\frac{n}{2}}$, provided $f$ is suitably chosen. Specifically, in the planar case $n=2$ we divide $Q$ into three regions $\{f=0\}$ and $\{f=\pm c\}$, and prove that as long as $\{f=0\}$ `insulates' $\{f= c\}$ from $\{f= -c\}$ sufficiently, there is $c>2$ such that (HIM) holds. Perhaps surprisingly, (HIM) can hold even when the insulation region $\{f=0\}$ enables the sets $\{f=\pm c\}$ to meet in a point. As part of our analysis, and in the spirit of the work of Mielke and Sprenger (1998), we give new examples of functions that are quasiconvex at the boundary.
△ Less
Submitted 29 February, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
Surface penalization of self-interpenetration in linear and nonlinear elasticity
Authors:
Stefan Krömer,
Jan Valdman
Abstract:
We analyze a term penalizing surface self-penetration, as a soft constraint for models of hyperelastic materials to approximate the Ciarlet-Nečas condition (almost everywhere global invertibility of deformations). For a linear elastic energy subject to an additional local invertibility constraint, we prove that the penalized elastic functionals converge to the original functional subject to the Ci…
▽ More
We analyze a term penalizing surface self-penetration, as a soft constraint for models of hyperelastic materials to approximate the Ciarlet-Nečas condition (almost everywhere global invertibility of deformations). For a linear elastic energy subject to an additional local invertibility constraint, we prove that the penalized elastic functionals converge to the original functional subject to the Ciarlet-Nečas condition. The approach also works for nonlinear models of non-simple materials including a suitable higher order term in the elastic energy, without artificial local constraints. Numerical experiments illustrate our results for a self-contact problem in 3d.
△ Less
Submitted 23 May, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Elastoplastic deformations of layered structures
Authors:
Daria Drozdenko,
Michal Knapek,
Martin Kružík,
Kristián Máthis,
Karel Švadlenka,
Jan Valdman
Abstract:
We formulate a large-strain model of single-slip crystal elastoplasticity in the framework of energetic solutions. Numerical performance of the model is compared with lab experiments on the compression of a stack of note papers.
We formulate a large-strain model of single-slip crystal elastoplasticity in the framework of energetic solutions. Numerical performance of the model is compared with lab experiments on the compression of a stack of note papers.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
On the SCD semismooth* Newton method for generalized equations with application to a class of static contact problems with Coulomb friction
Authors:
H. Gfrerer,
M. Mandlmayr,
J. V. Outrata,
J. Valdman
Abstract:
In the paper, a variant of the \ssstar Newton method is developed for the numerical solution of generalized equations, in which the multi-valued part is a so-called SCD (subspace containing derivative) map**. Under a rather mild regularity requirement, the method exhibits (locally) superlinear convergence behavior. From the main conceptual algorithm, two implementable variants are derived whose…
▽ More
In the paper, a variant of the \ssstar Newton method is developed for the numerical solution of generalized equations, in which the multi-valued part is a so-called SCD (subspace containing derivative) map**. Under a rather mild regularity requirement, the method exhibits (locally) superlinear convergence behavior. From the main conceptual algorithm, two implementable variants are derived whose efficiency is tested via a generalized equation modeling a discretized static contact problem with Coulomb friction.
△ Less
Submitted 12 October, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
MATLAB implementation of hp finite elements on rectangles
Authors:
Alexej Moskovka,
Jan Valdman
Abstract:
A simple MATLAB implementation of hierarchical shape functions on 2D rectangles is explained and available for download. Global shape functions are ordered for a given polynomial degree according to the indices of the nodes, edges, or elements to which they belong. For a uniform p-refinement, the hierarchical structure enables an effective assembly of mass and stiffness matrices. A solution of a b…
▽ More
A simple MATLAB implementation of hierarchical shape functions on 2D rectangles is explained and available for download. Global shape functions are ordered for a given polynomial degree according to the indices of the nodes, edges, or elements to which they belong. For a uniform p-refinement, the hierarchical structure enables an effective assembly of mass and stiffness matrices. A solution of a boundary value problem is approximated for various levels of uniform h and p refinements.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
On the application of the SCD semismooth* Newton method to variational inequalities of the second kind
Authors:
Helmut Gfrerer,
Jiri V. Outrata,
Jan Valdman
Abstract:
The paper starts with a description of the SCD (subspace containing derivative) map**s and the SCD semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one obtains an implementable algorithm exhibiting a locally superlinear convergence. Thereafter we suggest several globally convergen…
▽ More
The paper starts with a description of the SCD (subspace containing derivative) map**s and the SCD semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one obtains an implementable algorithm exhibiting a locally superlinear convergence. Thereafter we suggest several globally convergent hybrid algorithms in which one combines the SCD semismooth* Newton method with selected splitting algorithms for the solution of monotone variational inequalities. Finally we demonstrate the efficiency of one of these methods via a Cournot-Nash equilibrium, modeled as a variational inequalities of the second kind, where one admits really large numbers of players (firms) and produced commodities.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Linearization and Computation for Large-Strain Viscoelasticity
Authors:
Patrick Dondl,
Martin Jesenko,
Martin Kružík,
Jan Valdman
Abstract:
Time-discrete numerical minimization schemes for simple viscoelastic materials in the large strain Kelvin-Voigt rheology are not well-posed due to non-quasiconvexity of the dissipation functional. A possible solution is to resort into non-simple material models with higher-order gradients of deformations. This makes, however, numerical computations much more involved. Here we propose another appro…
▽ More
Time-discrete numerical minimization schemes for simple viscoelastic materials in the large strain Kelvin-Voigt rheology are not well-posed due to non-quasiconvexity of the dissipation functional. A possible solution is to resort into non-simple material models with higher-order gradients of deformations. This makes, however, numerical computations much more involved. Here we propose another approach relying on local minimizers of the simple-material model. Computational tests are provided showing a very good agreement between our model and the original one.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Fast MATLAB evaluation of nonlinear energies using FEM in 2D and 3D: nodal elements
Authors:
Alexej Moskovka,
Jan Valdman
Abstract:
Nonlinear energy functionals appearing in the calculus of variations can be discretized by the finite element (FE) method and formulated as a sum of energy contributions from local elements. A fast evaluation of energy functionals containing the first order gradient terms is a central part of this contribution. We describe a vectorized implementation using the simplest linear nodal (P1) elements i…
▽ More
Nonlinear energy functionals appearing in the calculus of variations can be discretized by the finite element (FE) method and formulated as a sum of energy contributions from local elements. A fast evaluation of energy functionals containing the first order gradient terms is a central part of this contribution. We describe a vectorized implementation using the simplest linear nodal (P1) elements in which all energy contributions are evaluated all at once without the loop over triangular or tetrahedral elements. Furthermore, in connection to the first-order optimization methods, the discrete gradient of energy functional is assembled in a way that the gradient components are evaluated over all degrees of freedom all at once. The key ingredient is the vectorization of exact or approximate energy gradients over nodal patches. It leads to a time-efficient implementation at higher memory-cost. Provided codes in MATLAB related to 2D/3D hyperelasticity and 2D p-Laplacian problem are available for download and structured in a way it can be easily extended to other types of vector or scalar forms of energies.
△ Less
Submitted 10 May, 2022; v1 submitted 22 August, 2021;
originally announced September 2021.
-
On the solution of contact problems with Tresca friction by the semismooth* Newton method
Authors:
Helmut Gfrerer,
Jiri V. Outrata,
Jan Valdman
Abstract:
An equilibrium of a linear elastic body subject to loading and satisfying the friction and contact conditions can be described by a variational inequality of the second kind and the respective discrete model attains the form of a generalized equation. To its numerical solution we apply the semismooth* Newton method by Gfrerer and Outrata (2019) in which, in contrast to most available Newton-type m…
▽ More
An equilibrium of a linear elastic body subject to loading and satisfying the friction and contact conditions can be described by a variational inequality of the second kind and the respective discrete model attains the form of a generalized equation. To its numerical solution we apply the semismooth* Newton method by Gfrerer and Outrata (2019) in which, in contrast to most available Newton-type methods for inclusions, one approximates not only the single-valued but also the multi-valued part. This is performed on the basis of limiting (Morduchovich) coderivative. In our case of the Tresca friction, the multi-valued part amounts to the subdifferential of a convex function generated by the friction and contact conditions. The full 3D discrete problem is then reduced to the contact boundary. Implementation details of the semismooth* Newton method are provided and numerical tests demonstrate its superlinear convergence and mesh independence.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Minimization of p-Laplacian via the Finite Element Method in MATLAB
Authors:
Ctirad Matonoha,
Alexej Moskovka,
Jan Valdman
Abstract:
Minimization of energy functionals is based on a discretization by the finite element method and optimization by the trust-region method. A key tool is a local evaluation of the approximated gradients together with sparsity of the resulting Hessian matrix. We describe a vectorized MATLAB implementation of the p-Laplace problem in one and two space-dimensions, however it is easily applicable to oth…
▽ More
Minimization of energy functionals is based on a discretization by the finite element method and optimization by the trust-region method. A key tool is a local evaluation of the approximated gradients together with sparsity of the resulting Hessian matrix. We describe a vectorized MATLAB implementation of the p-Laplace problem in one and two space-dimensions, however it is easily applicable to other energy formulations.
△ Less
Submitted 16 May, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
On the application of the semismooth* Newton method to variational inequalities of the second kind
Authors:
Helmut Gfrerer,
Jiri V. Outrata,
Jan Valdman
Abstract:
The paper starts with a concise description of the recently developed semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one obtains an implementable algorithm exhibiting a local superlinear convergence. Thereafter we suggest several globally convergent hybrid algorithms in which one…
▽ More
The paper starts with a concise description of the recently developed semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one obtains an implementable algorithm exhibiting a local superlinear convergence. Thereafter we suggest several globally convergent hybrid algorithms in which one combines the semismooth* Newton method with selected splitting algorithms for the solution of monotone variational inequalities. Their efficiency is documented by extensive numerical experiments.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
MATLAB Implementation of Element-based Solvers
Authors:
Leszek Marcinkowski,
Jan Valdman
Abstract:
Rahman and Valdman (2013) introduced a vectorized way to assemble finite element stiffness and mass matrices in MATLAB. Local element matrices are computed all at once by array operations and stored in multi-dimentional arrays (matrices). We build some iterative solvers on available multi-dimentional structures completely avoiding the use of a sparse matrix.
Rahman and Valdman (2013) introduced a vectorized way to assemble finite element stiffness and mass matrices in MATLAB. Local element matrices are computed all at once by array operations and stored in multi-dimentional arrays (matrices). We build some iterative solvers on available multi-dimentional structures completely avoiding the use of a sparse matrix.
△ Less
Submitted 10 January, 2020; v1 submitted 10 November, 2019;
originally announced November 2019.
-
On computation of optimal strategies in oligopolistic markets respecting the cost of change
Authors:
Jiří V. Outrata,
Jan Valdman
Abstract:
The paper deals with a class of parametrized equilibrium problems, where the objectives of the players do possess nonsmooth terms. The respective Nash equilibria can be characterized via a parameter-dependent variational inequality of the second kind, whose Lipschitzian stability is thoroughly investigated. This theory is then applied to evolution of a oligopolistic market in which the firms adopt…
▽ More
The paper deals with a class of parametrized equilibrium problems, where the objectives of the players do possess nonsmooth terms. The respective Nash equilibria can be characterized via a parameter-dependent variational inequality of the second kind, whose Lipschitzian stability is thoroughly investigated. This theory is then applied to evolution of a oligopolistic market in which the firms adopt their production strategies to changing input costs, while each change of the production is associated with some "costs of change". We examine both the Cournot-Nash equilibria as well as the two-level case, when one firm decides to take over the role of the Leader (Stackelberg equilibrium). The impact of costs of change is illustrated by academic examples.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Poincare-Friedrichs Type Constants for Operators Involving grad, curl, and div: Theory and Numerical Experiments
Authors:
Dirk Pauly,
Jan Valdman
Abstract:
We give some theoretical as well as computational results on Laplace and Maxwell constants. Besides the classical de Rham complex we investigate the complex of elasticity and the complex related to the biharmonic equation and general relativity as well using the general functional analytical concept of Hilbert complexes. We consider mixed boundary conditions and bounded Lipschitz domains of arbitr…
▽ More
We give some theoretical as well as computational results on Laplace and Maxwell constants. Besides the classical de Rham complex we investigate the complex of elasticity and the complex related to the biharmonic equation and general relativity as well using the general functional analytical concept of Hilbert complexes. We consider mixed boundary conditions and bounded Lipschitz domains of arbitrary topology. Our numerical aspects are presented by examples for the de Rham complex in 2D and 3D which not only confirm our theoretical findings but also indicate some interesting conjectures.
△ Less
Submitted 12 January, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
MATLAB Implementation of C1 finite elements: Bogner-Fox-Schmit rectangle
Authors:
Jan Valdman
Abstract:
Rahman and Valdman (2013) introduced a new vectorized way to assemble finite element matrices. We utilize underlying vectorization concepts and extend MATLAB codes to implementation of Bogner-Fox-Schmit C1 rectangular elements in 2D. Our focus is on the detailed construction of elements and simple computer demonstrations including energies evaluations and their visualizations.
Rahman and Valdman (2013) introduced a new vectorized way to assemble finite element matrices. We utilize underlying vectorization concepts and extend MATLAB codes to implementation of Bogner-Fox-Schmit C1 rectangular elements in 2D. Our focus is on the detailed construction of elements and simple computer demonstrations including energies evaluations and their visualizations.
△ Less
Submitted 10 January, 2020; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Numerical approximation of von Kármán viscoelastic plates
Authors:
Manuel Friedrich,
Martin Kružík,
Jan Valdman
Abstract:
We consider metric gradient flows and their discretizations in time and space. We prove an abstract convergence result for time-space discretizations and identify their limits as curves of maximal slope. As an application, we consider a finite element approximation of a quasistatic evolution for viscoelastic von Kármán plates. Computational experiments are provided, too.
We consider metric gradient flows and their discretizations in time and space. We prove an abstract convergence result for time-space discretizations and identify their limits as curves of maximal slope. As an application, we consider a finite element approximation of a quasistatic evolution for viscoelastic von Kármán plates. Computational experiments are provided, too.
△ Less
Submitted 21 October, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
SpinDoctor: a Matlab toolbox for diffusion MRI simulation
Authors:
**g-Rebecca Li,
Van-Dang Nguyen,
Try Nguyen Tran,
Jan Valdman,
Bang Cong Trang,
Khieu Van Nguyen,
Vu Duc Thach Son,
Hoang An Tran,
Hoang Trong An Tran,
Thi Minh Phuong Nguyen
Abstract:
The complex transverse water proton magnetization subject to diffusion-encoding magnetic field gradient pulses in a heterogeneous medium can be modeled by the multiple compartment Bloch-Torrey partial differential equation (BTPDE). A mathematical model for the time-dependent apparent diffusion coefficient (ADC), called the H-ADC model, was obtained recently using homogenization techniques on the B…
▽ More
The complex transverse water proton magnetization subject to diffusion-encoding magnetic field gradient pulses in a heterogeneous medium can be modeled by the multiple compartment Bloch-Torrey partial differential equation (BTPDE). A mathematical model for the time-dependent apparent diffusion coefficient (ADC), called the H-ADC model, was obtained recently using homogenization techniques on the BTPDE. Under the assumption of negligible water exchange between compartments, the H-ADC model produces the ADC of a diffusion medium from the solution of a diffusion equation (DE) subject to a time-dependent Neumann boundary condition. This paper describes a publicly available Matlab toolbox called SpinDoctor that can be used 1) to solve the BTPDE to obtain the dMRI signal (the toolbox provides a way of robustly fitting the dMRI signal to obtain the fitted ADC); 2) to solve the DE of the H-ADC model to obtain the ADC; 3) a short-time approximation formula for the ADC is also included in the toolbox for comparison with the simulated ADC. The PDEs are solved by P 1 finite elements combined with build-in Matlab routines for solving ordinary differential equations. The finite element mesh generation is performed using an external package called Tetgen that is included in the toolbox. SpinDoctor provides built-in options of including 1) spherical cells with a nucleus; 2) cylindrical cells with a myelin layer; 3) an extra-cellular space (ECS) enclosed either a) in a box or b) in a tight wrap** around the cells; 4) deformation of canonical cells by bending and twisting. 5) permeable membranes for the BT-PDE (the H-ADC assumes negligible permeability). Built-in diffusion-encoding pulse sequences include the Pulsed Gradient Spin Echo and the Oscilating Gradient Spin Echo.
△ Less
Submitted 16 September, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
Global injectivity in second-gradient Nonlinear Elasticity and its approximation with penalty terms
Authors:
Stefan Krömer,
Jan Valdman
Abstract:
We present a new penalty term approximating the Ciarlet-Nečas condition (global invertibility of deformations) as a soft constraint for hyperelastic materials. For non-simple materials including a suitable higher order term in the elastic energy, we prove that the penalized functionals converge to the original functional subject to the Ciarlet-Nečas condition. Moreover, the penalization can be cho…
▽ More
We present a new penalty term approximating the Ciarlet-Nečas condition (global invertibility of deformations) as a soft constraint for hyperelastic materials. For non-simple materials including a suitable higher order term in the elastic energy, we prove that the penalized functionals converge to the original functional subject to the Ciarlet-Nečas condition. Moreover, the penalization can be chosen in such a way that all low energy deformations, self-interpenetration is completely avoided even for sufficiently small finite values of the penalization parameter. We also present numerical experiments in 2d illustrating our theoretical results.
△ Less
Submitted 9 January, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Interfacial polyconvex energy-enhanced evolutionary model for shape memory alloys
Authors:
Miroslav Frost,
Martin Kružík,
Jan Valdman
Abstract:
A sharp-interface model describing static equilibrium configurations of shape mory alloys by means of interfacial polyconvex energy density introduced by Šilhavý in 2010 and extended to a quasistatic situation by Knüpfer and Kružík in 2016 is computationally tested. Elastic properties of variants of martensite and the austenite are described by polyconvex energy density functions. Volume fractions…
▽ More
A sharp-interface model describing static equilibrium configurations of shape mory alloys by means of interfacial polyconvex energy density introduced by Šilhavý in 2010 and extended to a quasistatic situation by Knüpfer and Kružík in 2016 is computationally tested. Elastic properties of variants of martensite and the austenite are described by polyconvex energy density functions. Volume fractions of particular variants are modeled by a map of bounded variation. Additionally, energy stored in martensite-martensite and austenite-martensite interfaces is measured by an interface-polyconvex function. It is assumed that transformations between material variants are accompanied by energy dissipation which, in our case, is positively and one-homogeneous giving rise to a rate-independent model. Various two-dimensional computational examples are presented and the used computer code is made available for downloads.
△ Less
Submitted 24 March, 2019; v1 submitted 15 September, 2018;
originally announced September 2018.
-
Efficient and flexible MATLAB implementation of 2D and 3D elastoplastic problems
Authors:
Martin Čermák,
Stanislav Sysala,
Jan Valdman
Abstract:
We propose an effective and flexible way to implement 2D and 3D elastoplastic problems in MATLAB using fully vectorized codes. Our technique is applied to a broad class of the problems including perfect plasticity or plasticity with hardening and several yield criteria. The problems are formulated in terms of displacements, discretized by the implicit Euler method in time and the finite element me…
▽ More
We propose an effective and flexible way to implement 2D and 3D elastoplastic problems in MATLAB using fully vectorized codes. Our technique is applied to a broad class of the problems including perfect plasticity or plasticity with hardening and several yield criteria. The problems are formulated in terms of displacements, discretized by the implicit Euler method in time and the finite element method in space, and solved by the semismooth Newton method. We discuss in detail selected models with the von Mises and Prager-Drucker yield criteria and four types of finite elements. The related codes are available for download. A particular interest is devoted to the assembling of tangential stiffness matrices. Since these matrices are repeatedly constructed in each Newton iteration and in each time step, we propose another vectorized assembling than current ones known for the elastic stiffness matrices. The main idea is based on a construction of two large and sparse matrices representing the strain-displacement and tangent operators, respectively, where the former matrix remains fixed and the latter one is updated only at some integration points. Comparisons with other available MATLAB codes show that our technique is also efficient for purely elastic problems. In elastoplasticity, the assembly times are linearly proportional to the number of integration points in a plastic phase and additional times due to plasticity never exceed assembly time of the elastic stiffness matrix.
△ Less
Submitted 6 September, 2018; v1 submitted 10 May, 2018;
originally announced May 2018.
-
Verifications of primal energy identities for variational problems with obstacles
Authors:
Sergey Repin,
Jan Valdman
Abstract:
We discuss error identities for two classes of free boundary problems generated by obstacles. The identities suggest true forms of the respective error measures which consist of two parts: standard energy norm and a certain nonlinear measure. The latter measure controls (in a weak sense) approximation of free boundaries. Numerical tests confirm sharpness of error identities and show that in differ…
▽ More
We discuss error identities for two classes of free boundary problems generated by obstacles. The identities suggest true forms of the respective error measures which consist of two parts: standard energy norm and a certain nonlinear measure. The latter measure controls (in a weak sense) approximation of free boundaries. Numerical tests confirm sharpness of error identities and show that in different examples one or another part of the error measure may be dominant.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Error identities for variational problems with obstacles
Authors:
Sergey Repin,
Jan Valdman
Abstract:
The paper is concerned with a class of nonlinear free boundary problems, which are usually solved by variational methods based on primal (or primal-dual) variational settings. We deduce and investigate special relations (error identities). They show that a certain nonlinear measure of the distance to the exact solution (specific for each problem) is equivalent to the respective duality gap, which…
▽ More
The paper is concerned with a class of nonlinear free boundary problems, which are usually solved by variational methods based on primal (or primal-dual) variational settings. We deduce and investigate special relations (error identities). They show that a certain nonlinear measure of the distance to the exact solution (specific for each problem) is equivalent to the respective duality gap, which minimization is a keystone of all variational numerical methods. Therefore, the identity defines the measure that contains maximal quantitative information on the quality of a numerical solution available through these methods. The measure has quadratic terms generated by the linear part of the differential operator and nonlinear terms associated with free boundaries. We obtain fully computable two sided bounds of this measure and show that they provide efficient estimates of the distance between the minimizer and any function from the corresponding energy space. Several examples show that for different minimization sequence the balance between different components of the overall error measure may be different and domination of nonlinear terms may indicate that coincidence sets are approximated incorrectly.
△ Less
Submitted 28 February, 2017;
originally announced February 2017.
-
Computational modeling of magnetic hysteresis with thermal effects
Authors:
Martin Kružík,
Jan Valdman
Abstract:
We study computational behavior of a mesoscopic model describing temperature/external magnetic field-driven evolution of magnetization.
Due to nonconvex anisotropy energy describing magnetic properties of a body, magnetization can develop fast spatial oscillations creating complicated microstructures. These microstructures are encoded in Young measures, their first moments then identify macrosco…
▽ More
We study computational behavior of a mesoscopic model describing temperature/external magnetic field-driven evolution of magnetization.
Due to nonconvex anisotropy energy describing magnetic properties of a body, magnetization can develop fast spatial oscillations creating complicated microstructures. These microstructures are encoded in Young measures, their first moments then identify macroscopic magnetization. Our model assumes that changes of magnetization can contribute to dissipation and, consequently, to variations of the body temperature affecting the length of magnetization vectors. In the ferromagnetic state, minima of the anisotropic energy density depend on temperature and they tend to zero as we approach the so-called Curie temperature. This brings the specimen to a paramagnetic state. Such a thermo-magnetic model is fully discretized and tested on two-dimensional examples. Computational results qualitatively agree with experimental observations. The own MATLAB code used in our simulations is available for download.
△ Less
Submitted 20 November, 2016;
originally announced November 2016.
-
A FEM approximation of a two-phase obstacle problem and its a posteriori error estimate
Authors:
Farid Bozorgnia,
Jan Valdman
Abstract:
This paper is concerned with the two--phase obstacle problem, a type of a variational free boundary problem. We recall the basic estimates of Repin and Valdman (2015) and verify them numerically on two examples in two space dimensions. A solution algorithm is proposed for the construction of the finite element approximation to the two--phase obstacle problem. The algorithm is not based on the prim…
▽ More
This paper is concerned with the two--phase obstacle problem, a type of a variational free boundary problem. We recall the basic estimates of Repin and Valdman (2015) and verify them numerically on two examples in two space dimensions. A solution algorithm is proposed for the construction of the finite element approximation to the two--phase obstacle problem. The algorithm is not based on the primal (convex and nondifferentiable) energy minimization problem but on a dual maximization problem formulated for Lagrange multipliers. The dual problem is equivalent to a quadratic programming problem with box constraints. The quality of approximations is measured by a functional a posteriori error estimate which provides a guaranteed upper bound of the difference of approximated and exact energies of the primal minimization problem. The majorant functional in the upper bound contains auxiliary variables and it is optimized with respect to them to provide a sharp upper bound. A space density of the nonlinear related part of the majorant functional serves as an indicator of the free boundary.
△ Less
Submitted 3 June, 2016;
originally announced June 2016.
-
Stress-driven solution to rate-independent elasto-plasticity with damage at small strains and its computer implementation
Authors:
Tomáš Roubíček,
Jan Valdman
Abstract:
The quasistatic rate-independent damage combined with linearized plasticity with hardening at small strains is investigated. The fractional-step time discretisation is devised with the purpose to obtain a numerically efficient scheme converging possibly to a physically relevant stress-driven solutions, which however is to be verified a-posteriori by using a suitable integrated variant of the maxim…
▽ More
The quasistatic rate-independent damage combined with linearized plasticity with hardening at small strains is investigated. The fractional-step time discretisation is devised with the purpose to obtain a numerically efficient scheme converging possibly to a physically relevant stress-driven solutions, which however is to be verified a-posteriori by using a suitable integrated variant of the maximum-dissipation principle. Gradient theories both for damage and for plasticity are considered to make the scheme numerically stable with guaranteed convergence within the class of weak solutions. After finite-element approximation, this scheme is computationally implemented and illustrative 2-dimensional simulations are performed.
△ Less
Submitted 3 June, 2015;
originally announced June 2015.
-
Perfect plasticity with damage and healing at small strains, its modelling, analysis, and computer implementation
Authors:
Tomáš Roubíček,
Jan Valdman
Abstract:
The quasistatic, Prandtl-Reuss perfect plasticity at small strains is combined with a gradient, reversible (i.e. admitting healing) damage which influences both the elastic moduli and the yield stress. Existence of weak solutions of the resulted system of variational inequalities is proved by a suitable fractional-step discretisation in time with guaranteed numericalstability and convergence. Afte…
▽ More
The quasistatic, Prandtl-Reuss perfect plasticity at small strains is combined with a gradient, reversible (i.e. admitting healing) damage which influences both the elastic moduli and the yield stress. Existence of weak solutions of the resulted system of variational inequalities is proved by a suitable fractional-step discretisation in time with guaranteed numericalstability and convergence. After finite-element approximation, this scheme is computationally implemented and illustrative 2-dimensional simulations are performed. The model allows e.g. for application in geophysical modelling of re-occurring rupture of lithospheric faults. Resulted incremental problems are solved in MATLAB by quasi-Newton method to resolve elastoplasticity component of the solution while damage component is obtained by solution of a quadratic programming problem.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Fast MATLAB assembly of FEM matrices in 2D and 3D: Edge elements
Authors:
Immanuel Anjam,
Jan Valdman
Abstract:
We propose an effective and flexible way to assemble finite element stiffness and mass matrices in MATLAB. We apply this for problems discretized by edge finite elements. Typical edge finite elements are Raviart-Thomas elements used in discretizations of H(div) spaces and Nedelec elements in discretizations of H(curl) spaces. We explain vectorization ideas and comment on a freely available MATLAB…
▽ More
We propose an effective and flexible way to assemble finite element stiffness and mass matrices in MATLAB. We apply this for problems discretized by edge finite elements. Typical edge finite elements are Raviart-Thomas elements used in discretizations of H(div) spaces and Nedelec elements in discretizations of H(curl) spaces. We explain vectorization ideas and comment on a freely available MATLAB code which is fast and scalable with respect to time.
△ Less
Submitted 11 May, 2015; v1 submitted 16 September, 2014;
originally announced September 2014.
-
Additive Schwarz preconditioner for the general finite volume element discretization of symmetric elliptic problems
Authors:
Leszek Marcinkowski,
Talal Rahman,
Atle Loneland,
Jan Valdman
Abstract:
A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a nonsymmetric system of algebraic equations arising from a general finite volume element discretization of symmetric elliptic problems with large jumps in the entries of the coefficient matrices across subdomains. It is shown in the analysis, that the convergence of the preconditioned GM…
▽ More
A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a nonsymmetric system of algebraic equations arising from a general finite volume element discretization of symmetric elliptic problems with large jumps in the entries of the coefficient matrices across subdomains. It is shown in the analysis, that the convergence of the preconditioned GMRES iteration with the proposed preconditioners, depends polylogarithmically on the mesh parameters, in other words, the convergence is only weakly dependent on the mesh parameters, and it is robust with respect to the jumps in the coefficients.
△ Less
Submitted 22 December, 2014; v1 submitted 1 May, 2014;
originally announced May 2014.
-
Verification of functional a posteriori error estimates for obstacle problem in 2D
Authors:
Petr Harasim,
Jan Valdman
Abstract:
We verify functional a posteriori error estimate proposed by S. Repin for a class of obstacle problems. The obstacle problem is formulated as a quadratic minimization problem with constrains equivalently formulated as a variational inequality. New benchmarks with known analytical solutions in 2D are constructed based on 1D benchmark introduced by P. Harasim and J. Valdman. Numerical approximation…
▽ More
We verify functional a posteriori error estimate proposed by S. Repin for a class of obstacle problems. The obstacle problem is formulated as a quadratic minimization problem with constrains equivalently formulated as a variational inequality. New benchmarks with known analytical solutions in 2D are constructed based on 1D benchmark introduced by P. Harasim and J. Valdman. Numerical approximation of the obstacle problem is obtained by the finite element method using bilinear elements on a rectangular mesh. Error of the approximation is meassured in the energy norm and bounded from above by a functional majorant, whose value is minimized with respect to unknown gradient field discretized by Raviart-Thomas elements and Lagrange multipliers field discretized by piecewise constant functions.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Verification of functional a posteriori error estimates for obstacle problem in 1D
Authors:
Petr Harasim,
Jan Valdman
Abstract:
We verify functional a posteriori error estimate for obstacle problem proposed by Repin. Simplification into 1D allows for the construction of a nonlinear benchmark for which an exact solution of the obstacle problem can be derived. Quality of a numerical approximation obtained by the finite element method is compared with the exact solution and the error of approximation is bounded from above by…
▽ More
We verify functional a posteriori error estimate for obstacle problem proposed by Repin. Simplification into 1D allows for the construction of a nonlinear benchmark for which an exact solution of the obstacle problem can be derived. Quality of a numerical approximation obtained by the finite element method is compared with the exact solution and the error of approximation is bounded from above by a majorant error estimate. The sharpness of the majorant error estimate is discussed.
△ Less
Submitted 12 August, 2013; v1 submitted 24 January, 2013;
originally announced January 2013.
-
A TFETI Domain Decomposition Solver for Elastoplastic Problems
Authors:
M. Čermák,
T. Kozubek,
S. Sysala,
J. Valdman
Abstract:
We propose an algorithm for the efficient parallel implementation of elastoplastic problems with hardening based on the so-called TFETI (Total Finite Element Tearing and Interconnecting) domain decomposition method. We consider an associated elastoplastic model with the von Mises plastic criterion and the linear isotropic hardening law. Such a model is discretized by the implicit Euler method in t…
▽ More
We propose an algorithm for the efficient parallel implementation of elastoplastic problems with hardening based on the so-called TFETI (Total Finite Element Tearing and Interconnecting) domain decomposition method. We consider an associated elastoplastic model with the von Mises plastic criterion and the linear isotropic hardening law. Such a model is discretized by the implicit Euler method in time and the consequent one time step elastoplastic problem by the finite element method in space. The latter results in a system of nonlinear equations with a strongly semismooth and strongly monotone operator. The semismooth Newton method is applied to solve this nonlinear system. Corresponding linearized problems arising in the Newton iterations are solved in parallel by the above mentioned TFETI domain decomposition method. The proposed TFETI based algorithm was implemented in Matlab parallel environment and its performance was illustrated on a 3D elastoplastic benchmark. Numerical results for different time discretizations and mesh levels are presented and discussed and a local quadratic convergence of the semismooth Newton method is observed.
△ Less
Submitted 7 January, 2014; v1 submitted 9 May, 2012;
originally announced May 2012.
-
A posteriori error estimates for approximate solutions of Barenblatt-Biot poroelastic model
Authors:
J. M. Nordbotten,
T. Rahman,
S. I. Repin,
J. Valdman
Abstract:
The paper is concerned with the Barenblatt-Biott model in the theory of poroelasticity. We derive a guaranteed estimate of the difference between exact and approximate solutions expressed in a combined norm that encompasses errors for the pressure fields computed from the diffusion part of the model and errors related to stresses (strains) of the elastic part. Estimates do not contain generic (mes…
▽ More
The paper is concerned with the Barenblatt-Biott model in the theory of poroelasticity. We derive a guaranteed estimate of the difference between exact and approximate solutions expressed in a combined norm that encompasses errors for the pressure fields computed from the diffusion part of the model and errors related to stresses (strains) of the elastic part. Estimates do not contain generic (mesh-dependent) constants and are valid for any conforming approximation of pressure and stress fields.
△ Less
Submitted 27 March, 2010;
originally announced March 2010.