-
Monotone two-scale methods for a class of integrodifferential operators and applications
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto,
Abner J. Salgado,
Céline Torres
Abstract:
We develop a monotone, two-scale discretization for a class of integrodifferential operators of order $2s$, $s \in (0,1)$. We apply it to develop numerical schemes, and convergence rates, for linear and obstacle problems governed by such operators. As applications of the monotonicity, we provide error estimates for free boundaries and a convergent numerical scheme for a concave fully nonlinear, no…
▽ More
We develop a monotone, two-scale discretization for a class of integrodifferential operators of order $2s$, $s \in (0,1)$. We apply it to develop numerical schemes, and convergence rates, for linear and obstacle problems governed by such operators. As applications of the monotonicity, we provide error estimates for free boundaries and a convergent numerical scheme for a concave fully nonlinear, nonlocal, problem.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Projection-Free Method for the Full Frank-Oseen Model of Liquid Crystals
Authors:
Lucas Bouck,
Ricardo H. Nochetto
Abstract:
Liquid crystals are materials that experience an intermediate phase where the material can flow like a liquid, but the molecules maintain an orientation order. The Frank-Oseen model is a continuum model of a liquid crystal. The model represents the liquid crystal orientation as a vector field and posits that the vector field minimizes some elastic energy subject to a pointwise unit length constrai…
▽ More
Liquid crystals are materials that experience an intermediate phase where the material can flow like a liquid, but the molecules maintain an orientation order. The Frank-Oseen model is a continuum model of a liquid crystal. The model represents the liquid crystal orientation as a vector field and posits that the vector field minimizes some elastic energy subject to a pointwise unit length constraint, which is a nonconvex constraint. Previous numerical methods in the literature assumed restrictions on the physical constants or had regularity assumptions that ruled out point defects, which are important physical phenomena to model. We present a finite element discretization of the full Frank-Oseen model and a projection free gradient flow algorithm for the discrete problem in the spirit of Bartels (2016). We prove Gamma-convergence of the discrete to the continuous problem: weak convergence of subsequences of discrete minimizers and convergence of energies. We also prove that the gradient flow algorithm has a desirable energy decrease property. Our analysis only requires that the physical constants are positive, which presents challenges due to the additional nonlinearities from the elastic energy.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Conforming virtual element method for nondivergence form linear elliptic equations with Cordes coefficients
Authors:
Guillaume Bonnet,
Andrea Cangiani,
Ricardo H. Nochetto
Abstract:
We propose and analyze an $H^2$-conforming Virtual Element Method (VEM) for the simplest linear elliptic PDEs in nondivergence form with Cordes coefficients. The VEM hinges on a hierarchical construction valid for any dimension $d \ge 2$. The analysis relies on the continuous Miranda-Talenti estimate for convex domains $Ω$ and is rather elementary. We prove stability and error estimates in…
▽ More
We propose and analyze an $H^2$-conforming Virtual Element Method (VEM) for the simplest linear elliptic PDEs in nondivergence form with Cordes coefficients. The VEM hinges on a hierarchical construction valid for any dimension $d \ge 2$. The analysis relies on the continuous Miranda-Talenti estimate for convex domains $Ω$ and is rather elementary. We prove stability and error estimates in $H^2(Ω)$, including the effect of quadrature, under minimal regularity of the data. Numerical experiments illustrate the interplay of coefficient regularity and convergence rates in $H^2(Ω)$.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Adaptive Finite Element Methods
Authors:
Andrea Bonito,
Claudio Canuto,
Ricardo H. Nochetto,
Andreas Veeser
Abstract:
This is a survey on the theory of adaptive finite element methods (AFEMs), which are fundamental in modern computational science and engineering but whose mathematical assessment is a formidable challenge. We present a self-contained and up-to-date discussion of AFEMs for linear second order elliptic PDEs and dimension d>1, with emphasis on foundational issues. After a brief review of functional a…
▽ More
This is a survey on the theory of adaptive finite element methods (AFEMs), which are fundamental in modern computational science and engineering but whose mathematical assessment is a formidable challenge. We present a self-contained and up-to-date discussion of AFEMs for linear second order elliptic PDEs and dimension d>1, with emphasis on foundational issues. After a brief review of functional analysis and basic finite element theory, including piecewise polynomial approximation in graded meshes, we present the core material for coercive problems. We start with a novel a posteriori error analysis applicable to rough data, which delivers estimators fully equivalent to the solution error. They are used in the design and study of three AFEMs depending on the structure of data. We prove linear convergence of these algorithms and rate-optimality provided the solution and data belong to suitable approximation classes. We also address the relation between approximation and regularity classes. We finally extend this theory to discontinuous Galerkin methods as prototypes of non-conforming AFEMs and beyond coercive problems to inf-sup stable AFEMs.
△ Less
Submitted 10 May, 2024; v1 submitted 11 February, 2024;
originally announced February 2024.
-
Quasi-linear fractional-order operators in Lipschitz domains
Authors:
Juan Pablo Borthagaray,
Wenbo Li,
Ricardo H. Nochetto
Abstract:
We prove Besov boundary regularity for solutions of the homogeneous Dirichlet problem for fractional-order quasi-linear operators with variable coefficients on Lipschitz domains $Ω$ of $\mathbb{R}^d$. Our estimates are consistent with the boundary behavior of solutions on smooth domains and apply to fractional $p$-Laplacians and operators with finite horizon. The proof exploits the underlying vari…
▽ More
We prove Besov boundary regularity for solutions of the homogeneous Dirichlet problem for fractional-order quasi-linear operators with variable coefficients on Lipschitz domains $Ω$ of $\mathbb{R}^d$. Our estimates are consistent with the boundary behavior of solutions on smooth domains and apply to fractional $p$-Laplacians and operators with finite horizon. The proof exploits the underlying variational structure and uses a new and flexible local translation operator. We further apply these regularity estimates to derive novel error estimates for finite element approximations of fractional $p$-Laplacians and present several simulations that reveal the boundary behavior of solutions.
△ Less
Submitted 28 May, 2023;
originally announced May 2023.
-
Adaptive VEM for variable data: convergence and optimality
Authors:
L. Beirão da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca,
M. Verani
Abstract:
We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori e…
▽ More
We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori error estimators upon increasing the stabilization parameter. Our AVEM concatenates two modules, GALERKIN and DATA. The former deals with piecewise constant data and is shown in [8] to be a contraction between consecutive iterates. The latter approximates general data by piecewise constants to a desired accuracy. AVEM is shown to be convergent and quasi-optimal, in terms of error decay versus degrees of freedom, for solutions and data belonging to appropriate approximation classes. Numerical experiments illustrate the interplay between these two modules and provide computational evidence of optimality.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
$Γ$-convergent LDG method for large bending deformations of bilayer plates
Authors:
Andrea Bonito,
Ricardo H. Nochetto,
Shuo Yang
Abstract:
Bilayer plates are slender structures made of two thin layers of different materials. They react to environmental stimuli and undergo large bending deformations with relatively small actuation. The reduced model is a constrained minimization problem for the second fundamental form, with a given spontaneous curvature that encodes material properties, subject to an isometry constraint. We design a l…
▽ More
Bilayer plates are slender structures made of two thin layers of different materials. They react to environmental stimuli and undergo large bending deformations with relatively small actuation. The reduced model is a constrained minimization problem for the second fundamental form, with a given spontaneous curvature that encodes material properties, subject to an isometry constraint. We design a local discontinuous Galerkin (LDG) method which imposes a relaxed discrete isometry constraint and controls deformation gradients at barycenters of elements. We prove $Γ$-convergence of LDG, design a fully practical gradient flow, which gives rise to a linear scheme at every step, and show energy stability and control of the isometry defect. We extend the $Γ$-convergence analysis to piecewise quadratic creases. We also illustrate the performance of the LDG method with several insightful simulations of large deformations, one including a curved crease.
△ Less
Submitted 23 November, 2023; v1 submitted 8 January, 2023;
originally announced January 2023.
-
Fractional Elliptic Problems on Lipschitz Domains: Regularity and Approximation
Authors:
Juan Pablo Borthagaray,
Wenbo Li,
Ricardo H. Nochetto
Abstract:
This survey hinges on the interplay between regularity and approximation for linear and quasi-linear fractional elliptic problems on Lipschitz domains. For the linear Dirichlet integral Laplacian, after briefly recalling Hölder regularity and applications, we discuss novel optimal shift theorems in Besov spaces and their Sobolev counterparts. These results extend to problems with finite horizon an…
▽ More
This survey hinges on the interplay between regularity and approximation for linear and quasi-linear fractional elliptic problems on Lipschitz domains. For the linear Dirichlet integral Laplacian, after briefly recalling Hölder regularity and applications, we discuss novel optimal shift theorems in Besov spaces and their Sobolev counterparts. These results extend to problems with finite horizon and are instrumental for the subsequent error analysis. Moreover, we dwell on extensions of Besov regularity to the fractional $p$-Laplacian, and review the regularity of fractional minimal graphs and stickiness. We discretize these problems using continuous piecewise linear finite elements and derive global and local error estimates for linear problems, thereby improving some existing error estimates for both quasi-uniform and graded meshes. We also present a BPX preconditioner which turns out to be robust with respect to both the fractional order and the number of levels. We conclude with the discretization of fractional quasi-linear problems and their error analysis. We illustrate the theory with several illuminating numerical experiments.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Reduced Membrane Model for Liquid Crystal Polymer Networks: Asymptotics and Computation
Authors:
Lucas Bouck,
Ricardo H. Nochetto,
Shuo Yang
Abstract:
We examine a reduced membrane model of liquid crystal polymer networks (LCNs) via asymptotics and computation. This model requires solving a minimization problem for a non-convex stretching energy. We show a formal asymptotic derivation of the 2D membrane model from 3D rubber elasticity. We construct approximate solutions with point defects. We design a finite element method with regularization, a…
▽ More
We examine a reduced membrane model of liquid crystal polymer networks (LCNs) via asymptotics and computation. This model requires solving a minimization problem for a non-convex stretching energy. We show a formal asymptotic derivation of the 2D membrane model from 3D rubber elasticity. We construct approximate solutions with point defects. We design a finite element method with regularization, and propose a nonlinear gradient flow with Newton inner iteration to solve the non-convex discrete minimization problem. We present numerical simulations of practical interests to illustrate the ability of the model and our method to capture rich physical phenomena.
△ Less
Submitted 20 March, 2024; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Convergent FEM for a membrane model of liquid crystal polymer networks
Authors:
Lucas Bouck,
Ricardo H. Nochetto,
Shuo Yang
Abstract:
We design a finite element method (FEM) for a membrane model of liquid crystal polymer networks (LCNs). This model consists of a minimization problem of a non-convex stretching energy. We discuss properties of this energy functional such as lack of weak lower semicontinuity. We devise a discretization with regularization, propose a novel iterative scheme to solve the non-convex discrete minimizati…
▽ More
We design a finite element method (FEM) for a membrane model of liquid crystal polymer networks (LCNs). This model consists of a minimization problem of a non-convex stretching energy. We discuss properties of this energy functional such as lack of weak lower semicontinuity. We devise a discretization with regularization, propose a novel iterative scheme to solve the non-convex discrete minimization problem, and prove stability of the scheme and convergence of discrete minimizers. We present numerical simulations to illustrate convergence properties of our algorithm and features of the model.
△ Less
Submitted 24 July, 2023; v1 submitted 10 September, 2022;
originally announced September 2022.
-
Adaptive VEM: Stabilization-Free A Posteriori Error Analysis and Contraction Property
Authors:
L. Beirao da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca,
M. Verani
Abstract:
In the present paper we initiate the challenging task of building a mathematically sound theory for Adaptive Virtual Element Methods (AVEMs). Among the realm of polygonal meshes, we restrict our analysis to triangular meshes with hanging nodes in 2d -- the simplest meshes with a systematic refinement procedure that preserves shape regularity and optimal complexity. A major challenge in the a poste…
▽ More
In the present paper we initiate the challenging task of building a mathematically sound theory for Adaptive Virtual Element Methods (AVEMs). Among the realm of polygonal meshes, we restrict our analysis to triangular meshes with hanging nodes in 2d -- the simplest meshes with a systematic refinement procedure that preserves shape regularity and optimal complexity. A major challenge in the a posteriori error analysis of AVEMs is the presence of the stabilization term, which is of the same order as the residual-type error estimator but prevents the equivalence of the latter with the energy error. Under the assumption that any chain of recursively created hanging nodes has uniformly bounded length, we show that the stabilization term can be made arbitrarily small relative to the error estimator provided the stabilization parameter of the scheme is sufficiently large. This quantitative estimate leads to stabilization-free upper and lower a posteriori bounds for the energy error. This novel and crucial property of VEMs hinges on the largest subspace of continuous piecewise linear functions and the delicate interplay between its coarser scales and the finer ones of the VEM space. An important consequence for piecewise constant data is a contraction property between consecutive loops of AVEMs, which we also prove. Our results apply to $H^1$-conforming (lowest order) VEMs of any kind, including the classical and enhanced VEMs.
△ Less
Submitted 30 November, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Besov regularity for the Dirichlet integral fractional Laplacian in Lipschitz domains
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto
Abstract:
We prove Besov regularity estimates for the solution of the Dirichlet problem involving the integral fractional Laplacian of order $s$ in bounded Lipschitz domains $Ω$: \[ \begin{aligned} \|u\|_{\dot{B}^{s+r}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, &
\quad r = \min\{s,1/2\}, & \quad \mbox{if } s \neq 1/2, \\ \|u\|_{\dot{B}^{1-ε}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, &
\quad ε\in (0,1), & \quad \mb…
▽ More
We prove Besov regularity estimates for the solution of the Dirichlet problem involving the integral fractional Laplacian of order $s$ in bounded Lipschitz domains $Ω$: \[ \begin{aligned} \|u\|_{\dot{B}^{s+r}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, &
\quad r = \min\{s,1/2\}, & \quad \mbox{if } s \neq 1/2, \\ \|u\|_{\dot{B}^{1-ε}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, &
\quad ε\in (0,1), & \quad \mbox{if } s = 1/2, \end{aligned} \] with explicit dependence of $C$ on $s$ and $ε$. These estimates are consistent with the regularity on smooth domains and show that there is no loss of regularity due to Lipschitz boundaries. The proof uses elementary ingredients, such as the variational structure of the problem and the difference quotient technique.
△ Less
Submitted 28 December, 2022; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Constructive approximation on graded meshes for the integral fractional Laplacian
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto
Abstract:
We consider the homogeneous Dirichlet problem for the integral fractional Laplacian $(-Δ)^s$. We prove optimal Sobolev regularity estimates in Lipschitz domains provided the solution is $C^s$ up to the boundary. We present the construction of graded bisection meshes by a greedy algorithm and derive quasi-optimal convergence rates for approximations to the solution of such a problem by continuous p…
▽ More
We consider the homogeneous Dirichlet problem for the integral fractional Laplacian $(-Δ)^s$. We prove optimal Sobolev regularity estimates in Lipschitz domains provided the solution is $C^s$ up to the boundary. We present the construction of graded bisection meshes by a greedy algorithm and derive quasi-optimal convergence rates for approximations to the solution of such a problem by continuous piecewise linear functions. The nonlinear Sobolev scale dictates the relation between regularity and approximability.
△ Less
Submitted 28 December, 2022; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Finite element algorithms for nonlocal minimal graphs
Authors:
Juan Pablo Borthagaray,
Wenbo Li,
Ricardo H. Nochetto
Abstract:
We discuss computational and qualitative aspects of the fractional Plateau and the prescribed fractional mean curvature problems on bounded domains subject to exterior data being a subgraph. We recast these problems in terms of energy minimization, and we discretize the latter with piecewise linear finite elements. For the computation of the discrete solutions, we propose and study a gradient flow…
▽ More
We discuss computational and qualitative aspects of the fractional Plateau and the prescribed fractional mean curvature problems on bounded domains subject to exterior data being a subgraph. We recast these problems in terms of energy minimization, and we discretize the latter with piecewise linear finite elements. For the computation of the discrete solutions, we propose and study a gradient flow and a Newton scheme, and we quantify the effect of Dirichlet data truncation. We also present a wide variety of numerical experiments that illustrate qualitative and quantitative features of fractional minimal graphs and the associated discrete problems.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Gamma-convergent projection-free finite element methods for nematic liquid crystals: The Ericksen model
Authors:
Ricardo H. Nochetto,
Michele Ruggeri,
Shuo Yang
Abstract:
The Ericksen model for nematic liquid crystals couples a director field with a scalar degree of orientation variable, and allows the formation of various defects with finite energy. We propose a simple but novel finite element approximation of the problem that can be implemented easily within standard finite element packages. Our scheme is projection-free and thus circumvents the use of weakly acu…
▽ More
The Ericksen model for nematic liquid crystals couples a director field with a scalar degree of orientation variable, and allows the formation of various defects with finite energy. We propose a simple but novel finite element approximation of the problem that can be implemented easily within standard finite element packages. Our scheme is projection-free and thus circumvents the use of weakly acute meshes, which are quite restrictive in 3D but are required by recent algorithms for convergence. We prove stability and $Γ$-convergence properties of the new method in the presence of defects. We also design an effective nested gradient flow algorithm for computing minimizers that controls the violation of the unit-length constraint of the director. We present several simulations in 2D and 3D that document the performance of the proposed scheme and its ability to capture quite intriguing defects.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Robust BPX Preconditioner for Fractional Laplacians on Bounded Lipschitz Domains
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto,
Shuonan Wu,
**chao Xu
Abstract:
We propose and analyze a robust BPX preconditioner for the integral fractional Laplacian on bounded Lipschitz domains. For either quasi-uniform grids or graded bisection grids, we show that the condition numbers of the resulting systems remain uniformly bounded with respect to both the number of levels and the fractional power. The results apply also to the spectral and censored fractional Laplaci…
▽ More
We propose and analyze a robust BPX preconditioner for the integral fractional Laplacian on bounded Lipschitz domains. For either quasi-uniform grids or graded bisection grids, we show that the condition numbers of the resulting systems remain uniformly bounded with respect to both the number of levels and the fractional power. The results apply also to the spectral and censored fractional Laplacians.
△ Less
Submitted 2 June, 2021; v1 submitted 23 March, 2021;
originally announced March 2021.
-
LDG approximation of large deformations of prestrained plates
Authors:
Andrea Bonito,
Diane Guignard,
Ricardo H. Nochetto,
Shuo Yang
Abstract:
A reduced model for large deformations of prestrained plates consists of minimizing a second order bending energy subject to a nonconvex metric constraint. The former involves the second fundamental form of the middle plate and the later is a restriction on its first fundamental form. We discuss a formal derivation of this reduced model along with an equivalent formulation that makes it amenable c…
▽ More
A reduced model for large deformations of prestrained plates consists of minimizing a second order bending energy subject to a nonconvex metric constraint. The former involves the second fundamental form of the middle plate and the later is a restriction on its first fundamental form. We discuss a formal derivation of this reduced model along with an equivalent formulation that makes it amenable computationally. We propose a local discontinuous Galerkin (LDG) finite element approach that hinges on the notion of reconstructed Hessian. We design discrete gradient flows to minimize the ensuing nonconvex problem and to find a suitable initial deformation. We present several insightful numerical experiments, some of practical interest, and assess various computational aspects of the approximation process.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Equilibrium analysis of an immersed rigid leaflet by the virtual element method
Authors:
L. Beirão da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca
Abstract:
We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness)…
▽ More
We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness), we identify sufficient conditions on the spring stiffness function for the existence (and uniqueness) of equilibrium positions. We propose a numerical technique that exploits the mesh flexibility of the Virtual Element Method (VEM). A (polygonal) computational mesh is generated by cutting a fixed background grid with the leaflet geometry, and the problem is then solved with stable VEM Stokes elements of degrees $1$ and $2$ combined with a bisection algorithm. We present a large array of numerical experiments to document the accuracy and robustness with respect to degenerate geometry of the proposed methodology.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Local energy estimates for the fractional Laplacian
Authors:
Juan Pablo Borthagaray,
Dmitriy Leykekhman,
Ricardo H. Nochetto
Abstract:
The integral fractional Laplacian of order $s \in (0,1)$ is a nonlocal operator. It is known that solutions to the Dirichlet problem involving such an operator exhibit an algebraic boundary singularity regardless of the domain regularity. This, in turn, deteriorates the global regularity of solutions and as a result the global convergence rate of the numerical solutions. For finite element discret…
▽ More
The integral fractional Laplacian of order $s \in (0,1)$ is a nonlocal operator. It is known that solutions to the Dirichlet problem involving such an operator exhibit an algebraic boundary singularity regardless of the domain regularity. This, in turn, deteriorates the global regularity of solutions and as a result the global convergence rate of the numerical solutions. For finite element discretizations, we derive local error estimates in the $H^s$-seminorm and show optimal convergence rates in the interior of the domain by only assuming meshes to be shape-regular. These estimates quantify the fact that the reduced approximation error is concentrated near the boundary of the domain. We illustrate our theoretical results with several numerical examples.
△ Less
Submitted 28 December, 2022; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Quantitative Stability and Error Estimates for Optimal Transport Plans
Authors:
Wenbo Li,
Ricardo H. Nochetto
Abstract:
Optimal transport maps and plans between two absolutely continuous measures $μ$ and $ν$ can be approximated by solving semi-discrete or fully-discrete optimal transport problems. These two problems ensue from approximating $μ$ or both $μ$ and $ν$ by Dirac measures. Extending an idea from [Gigli, On Hölder continuity-in-time of the optimal transport map towards measures along a curve], we character…
▽ More
Optimal transport maps and plans between two absolutely continuous measures $μ$ and $ν$ can be approximated by solving semi-discrete or fully-discrete optimal transport problems. These two problems ensue from approximating $μ$ or both $μ$ and $ν$ by Dirac measures. Extending an idea from [Gigli, On Hölder continuity-in-time of the optimal transport map towards measures along a curve], we characterize how transport plans change under perturbation of both $μ$ and $ν$. We apply this insight to prove error estimates for semi-discrete and fully-discrete algorithms in terms of errors solely arising from approximating measures. We obtain weighted $L^2$ error estimates for both types of algorithms with a convergence rate $O(h^{1/2})$. This coincides with the rate in [Berman, Convergence rates for discretized Monge--Ampère equations and quantitative stability of Optimal Transport, Theorem 5.4] for semi-discrete methods, but the error notion is different.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Discontinuous Galerkin Approach to Large Bending Deformation of a Bilayer Plate with Isometry Constraint
Authors:
Andrea Bonito,
Ricardo H. Nochetto,
Dimitris Ntogkas
Abstract:
We present a computational model of thin elastic bilayers that undergo large bending isometric deformations when actuated by non-mechanical stimuli. We propose a discontinuous Galerkin approximation of the variational formulation discussed in Bartels et al. (2018). We showcase its advantages and good computational performance with configurations of interest in both engineering and medicine and eit…
▽ More
We present a computational model of thin elastic bilayers that undergo large bending isometric deformations when actuated by non-mechanical stimuli. We propose a discontinuous Galerkin approximation of the variational formulation discussed in Bartels et al. (2018). We showcase its advantages and good computational performance with configurations of interest in both engineering and medicine and either Dirichlet or free boundary conditions.
△ Less
Submitted 12 August, 2020; v1 submitted 31 January, 2020;
originally announced February 2020.
-
DG Approach to Large Bending Plate Deformations with Isometry Constraint
Authors:
Andrea Bonito,
Ricardo H. Nochetto,
Dimitrios Ntogkas
Abstract:
We propose a new discontinuous Galerkin (dG) method for a geometrically nonlinear Kirchhoff plate model for large isometric bending deformations. The minimization problem is nonconvex due to the isometry constraint. We present a practical discrete gradient flow that decreases the energy and computes discrete minimizers that satisfy a prescribed discrete isometry defect. We prove $Γ$-convergence of…
▽ More
We propose a new discontinuous Galerkin (dG) method for a geometrically nonlinear Kirchhoff plate model for large isometric bending deformations. The minimization problem is nonconvex due to the isometry constraint. We present a practical discrete gradient flow that decreases the energy and computes discrete minimizers that satisfy a prescribed discrete isometry defect. We prove $Γ$-convergence of the discrete energies and discrete global minimizers. We document the flexibility and accuracy of the dG method with several numerical experiments.
△ Less
Submitted 29 September, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
A structure-preserving FEM for the uniaxially constrained $\mathbf{Q}$-tensor model of nematic liquid crystals
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto,
Shawn W. Walker
Abstract:
We consider the one-constant Landau - de Gennes model for nematic liquid crystals. The order parameter is a traceless tensor field $\mathbf{Q}$, which is constrained to be uniaxial: $\mathbf{Q} = s (\mathbf{n}\otimes\mathbf{n} - d^{-1} \mathbf{I})$ where $\mathbf{n}$ is a director field, $s\in\mathbb{R}$ is the degree of orientation, and $d\ge2$ is the dimension. Building on similarities with the…
▽ More
We consider the one-constant Landau - de Gennes model for nematic liquid crystals. The order parameter is a traceless tensor field $\mathbf{Q}$, which is constrained to be uniaxial: $\mathbf{Q} = s (\mathbf{n}\otimes\mathbf{n} - d^{-1} \mathbf{I})$ where $\mathbf{n}$ is a director field, $s\in\mathbb{R}$ is the degree of orientation, and $d\ge2$ is the dimension. Building on similarities with the one-constant Ericksen energy, we propose a structure-preserving finite element method for the computation of equilibrium configurations. We prove stability and consistency of the method without regularization, and $Γ$-convergence of the discrete energies towards the continuous one as the mesh size goes to zero. We design an alternating direction gradient flow algorithm for the solution of the discrete problems, and we show that such a scheme decreases the energy monotonically. Finally, we illustrate the method's capabilities by presenting some numerical simulations in two and three dimensions including non-orientable line fields.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Linear and Nonlinear Fractional Elliptic Problems
Authors:
Juan Pablo Borthagaray,
Wenbo Li,
Ricardo H. Nochetto
Abstract:
This paper surveys recent analytical and numerical research on linear problems for the integral fractional Laplacian, fractional obstacle problems, and fractional minimal graphs. The emphasis is on the interplay between regularity, including boundary behavior, and approximability by piecewise linear finite element methods. We discuss several error estimates on graded meshes, and computational chal…
▽ More
This paper surveys recent analytical and numerical research on linear problems for the integral fractional Laplacian, fractional obstacle problems, and fractional minimal graphs. The emphasis is on the interplay between regularity, including boundary behavior, and approximability by piecewise linear finite element methods. We discuss several error estimates on graded meshes, and computational challenges associated to implementing and solving efficiently the ensuing integral equations, along with numerical experiments.
△ Less
Submitted 16 October, 2019; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Finite Element Methods for the Laplace-Beltrami Operator
Authors:
Andrea Bonito,
Alan Demlow,
Ricardo H. Nochetto
Abstract:
Partial differential equations posed on surfaces arise in a number of applications. In this survey we describe three popular finite element methods for approximating solutions to the Laplace-Beltrami problem posed on an $n$-dimensional surface $γ$ embedded in $\mathbb{R}^{n+1}$: the parametric, trace, and narrow band methods. The parametric method entails constructing an approximating polyhedral s…
▽ More
Partial differential equations posed on surfaces arise in a number of applications. In this survey we describe three popular finite element methods for approximating solutions to the Laplace-Beltrami problem posed on an $n$-dimensional surface $γ$ embedded in $\mathbb{R}^{n+1}$: the parametric, trace, and narrow band methods. The parametric method entails constructing an approximating polyhedral surface $Γ$ whose faces comprise the finite element triangulation. The finite element method is then posed over the approximate surface $Γ$ in a manner very similar to standard FEM on Euclidean domains. In the trace method it is assumed that the given surface $γ$ is embedded in an $n+1$-dimensional domain $Ω$ which has itself been triangulated. An $n$-dimensional approximate surface $Γ$ is then constructed roughly speaking by interpolating $γ$ over the triangulation of $Ω$, and the finite element space over $Γ$ consists of the trace (restriction) of a standard finite element space on $Ω$ to $Γ$. In the narrow band method the PDE posed on the surface is extended to a triangulated $n+1$-dimensional band about $γ$ whose width is proportional to the diameter of elements in the triangulation. In all cases we provide optimal a priori error estimates for the lowest-order finite element methods, and we also present a posteriori error estimates for the parametric and trace methods. Our presentation focuses especially on the relationship between the regularity of the surface $γ$, which is never assumed better than of class $C^2$, the manner in which $γ$ is represented in theory and practice, and the properties of the resulting methods.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
Finite element discretizations of nonlocal minimal graphs: convergence
Authors:
Juan Pablo Borthagaray,
Wenbo Li,
Ricardo H. Nochetto
Abstract:
In this paper, we propose and analyze a finite element discretization for the computation of fractional minimal graphs of order~$s \in (0,1/2)$ on a bounded domain $Ω$. Such a Plateau problem of order $s$ can be reinterpreted as a Dirichlet problem for a nonlocal, nonlinear, degenerate operator of order $s + 1/2$. We prove that our numerical scheme converges in $W^{2r}_1(Ω)$ for all $r<s$, where…
▽ More
In this paper, we propose and analyze a finite element discretization for the computation of fractional minimal graphs of order~$s \in (0,1/2)$ on a bounded domain $Ω$. Such a Plateau problem of order $s$ can be reinterpreted as a Dirichlet problem for a nonlocal, nonlinear, degenerate operator of order $s + 1/2$. We prove that our numerical scheme converges in $W^{2r}_1(Ω)$ for all $r<s$, where $W^{2s}_1(Ω)$ is closely related to the natural energy space. Moreover, we introduce a geometric notion of error that, for any pair of $H^1$ functions, in the limit $s \to 1/2$ recovers a weighted $L^2$-discrepancy between the normal vectors to their graphs. We derive error bounds with respect to this novel geometric quantity as well. In spite of performing approximations with continuous, piecewise linear, Lagrangian finite elements, the so-called {\em stickiness} phenomenon becomes apparent in the numerical experiments we present.
△ Less
Submitted 25 March, 2020; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Two-scale methods for convex envelopes
Authors:
Wenbo Li,
Ricardo H. Nochetto
Abstract:
We develop two-scale methods for computing the convex envelope of a continuous function over a convex domain in any dimension.This hinges on a fully nonlinear obstacle formulation [A. M. Oberman, "The convex envelope is the solution of a nonlinear obstacle problem", Proc. Amer. Math. Soc. 135(6):1689--1694, 2007]. We prove convergence and error estimates in the max norm. The proof utilizes a discr…
▽ More
We develop two-scale methods for computing the convex envelope of a continuous function over a convex domain in any dimension.This hinges on a fully nonlinear obstacle formulation [A. M. Oberman, "The convex envelope is the solution of a nonlinear obstacle problem", Proc. Amer. Math. Soc. 135(6):1689--1694, 2007]. We prove convergence and error estimates in the max norm. The proof utilizes a discrete comparison principle, a discrete barrier argument to deal with Dirichlet boundary values, and the property of flatness in one direction within the non-contact set. Our error analysis extends to a modified version of the finite difference wide stencil method of [A. M. Oberman, "Computing the convex envelope using a nonlinear partial differential equation", Math. Models Meth. Appl. Sci, 18(05):759--780, 2008].
△ Less
Submitted 30 December, 2018;
originally announced December 2018.
-
On the dynamics of ferrofluids: Global weak solutions to the Rosensweig system and rigorous convergence to equilibrium
Authors:
Ricardo H. Nochetto,
Konstantina Trivisa,
Franziska Weber
Abstract:
This article establishes the global existence of weak solutions to a model proposed by Rosensweig (Rosensweig, Ferrohydrodynamics (1985)) for the dynamics of ferrofluids. The system is expressed by the conservation of linear momentum, the incompressibility condition, the conservation of angular momentum, and the evolution of the magnetization. The existence proof is inspired by the DiPerna-Lions t…
▽ More
This article establishes the global existence of weak solutions to a model proposed by Rosensweig (Rosensweig, Ferrohydrodynamics (1985)) for the dynamics of ferrofluids. The system is expressed by the conservation of linear momentum, the incompressibility condition, the conservation of angular momentum, and the evolution of the magnetization. The existence proof is inspired by the DiPerna-Lions theory of renormalized solutions. In addition, the rigorous relaxation limit of the equations of ferrohydrodynamics towards the quasi-equilibrium is investigated. The proof relies on the relative entropy method, which involves constructing a suitable functional, analyzing its time evolution and obtaining convergence results for the sequence of approximating solutions.
△ Less
Submitted 1 October, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Convergent filtered scheme for the Monge-Ampère Equation
Authors:
Ricardo H. Nochetto,
Dimitrios Ntogkas
Abstract:
We propose an extension to our monotone and convergent method for the Monge-Ampère equation in dimension $d \geq2$, that incorporates the idea of filtered schemes. The method combines our original monotone operator with a more accurate non-monotone modification, using an appropriately chosen filter. This results in a remarkable improvement of accuracy, but without sacrificing the convergence to th…
▽ More
We propose an extension to our monotone and convergent method for the Monge-Ampère equation in dimension $d \geq2$, that incorporates the idea of filtered schemes. The method combines our original monotone operator with a more accurate non-monotone modification, using an appropriately chosen filter. This results in a remarkable improvement of accuracy, but without sacrificing the convergence to the unique viscosity solution.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Weighted Sobolev regularity and rate of approximation of the obstacle problem for the integral fractional Laplacian
Authors:
Juan Pablo Borthagaray,
Ricardo H. Nochetto,
Abner J. Salgado
Abstract:
We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.
We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.
△ Less
Submitted 16 October, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
A saturation property for the spectral-Galerkin approximation of a Dirichlet problem in a square
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show t…
▽ More
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show that an increment proportional to $p$ yields a $p$-robust error reduction and provide computational evidence that a constant increment does not.
△ Less
Submitted 3 January, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
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.
-
The Ericksen Model of Liquid Crystals with Colloidal and Electric Effects
Authors:
Ricardo H. Nochetto,
Shawn W. Walker,
Wujun Zhang
Abstract:
We present a robust discretization of the Ericksen model of liquid crystals with variable degree of orientation coupled with colloidal effects and electric fields. The total energy consists of the Ericksen energy, a weak anchoring (or penalized Dirichlet) energy to model colloids, and an electrical energy for a given electric field. We describe our special discretization of the total energy along…
▽ More
We present a robust discretization of the Ericksen model of liquid crystals with variable degree of orientation coupled with colloidal effects and electric fields. The total energy consists of the Ericksen energy, a weak anchoring (or penalized Dirichlet) energy to model colloids, and an electrical energy for a given electric field. We describe our special discretization of the total energy along with a method to compute minimizers via a discrete quasi-gradient flow algorithm which has a strictly monotone energy decreasing property. Numerical experiments are given in two and three dimensions to illustrate that the method is able to capture non-trivial defect patterns, such as the Saturn ring defect. We conclude with a rigorous proof of the Gamma-convergence of our discrete energy to the continuous energy.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
Tensor FEM for spectral fractional diffusion
Authors:
Lehel Banjai,
Jens M. Melenk,
Ricardo H. Nochetto,
Enrique Otarola,
Abner J. Salgado,
Christoph Schwab
Abstract:
We design and analyze several Finite Element Methods (FEMs) applied to the Caffarelli-Silvestre extension that localizes the fractional powers of symmetric, coercive, linear elliptic operators in bounded domains with Dirichlet boundary conditions. We consider open, bounded, polytopal but not necessarily convex domains $Ω\subset \mathbb{R}^d$ with $d=1,2$. For the solution to the extension problem,…
▽ More
We design and analyze several Finite Element Methods (FEMs) applied to the Caffarelli-Silvestre extension that localizes the fractional powers of symmetric, coercive, linear elliptic operators in bounded domains with Dirichlet boundary conditions. We consider open, bounded, polytopal but not necessarily convex domains $Ω\subset \mathbb{R}^d$ with $d=1,2$. For the solution to the extension problem, we establish analytic regularity with respect to the extended variable $y\in (0,\infty)$. We prove that the solution belongs to countably normed, power-exponentially weighted Bochner spaces of analytic functions with respect to $y$, taking values in corner-weighted Kondat'ev type Sobolev spaces in $Ω$. In $Ω\subset \mathbb{R}^d$, we discretize with continuous, piecewise linear, Lagrangian FEM ($P_1$-FEM) with mesh refinement near corners, and prove that first order convergence rate is attained for compatible data $f\in \mathbb{H}^{1-s}(Ω)$.
We also prove that tensorization of a $P_1$-FEM in $Ω$ with a suitable $hp$-FEM in the extended variable achieves log-linear complexity with respect to $\mathcal{N}_Ω$, the number of degrees of freedom in the domain $Ω$. In addition, we propose a novel, sparse tensor product FEM based on a multilevel $P_1$-FEM in $Ω$ and on a $P_1$-FEM on radical-geometric meshes in the extended variable. We prove that this approach also achieves log-linear complexity with respect to $\mathcal{N}_Ω$. Finally, under the stronger assumption that the data is analytic in $\overlineΩ$, and without compatibility at $\partial Ω$, we establish exponential rates of convergence of $hp$-FEM for spectral, fractional diffusion operators. We also report numerical experiments for model problems which confirm the theoretical results. We indicate several extensions and generalizations of the proposed methods.
△ Less
Submitted 23 July, 2017;
originally announced July 2017.
-
Numerical Methods for Fractional Diffusion
Authors:
Andrea Bonito,
Juan Pablo Borthagaray,
Ricardo H. Nochetto,
Enrique Otarola,
Abner J. Salgado
Abstract:
We present three schemes for the numerical approximation of fractional diffusion, which build on different definitions of such a non-local process. The first method is a PDE approach that applies to the spectral definition and exploits the extension to one higher dimension. The second method is the integral formulation and deals with singular non-integrable kernels. The third method is a discretiz…
▽ More
We present three schemes for the numerical approximation of fractional diffusion, which build on different definitions of such a non-local process. The first method is a PDE approach that applies to the spectral definition and exploits the extension to one higher dimension. The second method is the integral formulation and deals with singular non-integrable kernels. The third method is a discretization of the Dunford-Taylor formula. We discuss pros and cons of each method, error estimates, and document their performance with a few numerical experiments.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Two-scale method for the Monge-Ampère Equation: Pointwise Error Estimates
Authors:
Ricardo H. Nochetto,
Dimitrios Ntogkas,
Wujun Zhang
Abstract:
In this paper we continue the analysis of the two-scale method for the Monge-Ampère equation for dimension $d \geq 2$ introduced in [10]. We prove continuous dependence of discrete solutions on data that in turn hinges on a discrete version of the Alexandroff estimate. They are both instrumental to prove pointwise error estimates for classical solutions with Hölder and Sobolev regularity. We also…
▽ More
In this paper we continue the analysis of the two-scale method for the Monge-Ampère equation for dimension $d \geq 2$ introduced in [10]. We prove continuous dependence of discrete solutions on data that in turn hinges on a discrete version of the Alexandroff estimate. They are both instrumental to prove pointwise error estimates for classical solutions with Hölder and Sobolev regularity. We also derive convergence rates for viscosity solutions with bounded Hessians which may be piecewise smooth or degenerate.
△ Less
Submitted 12 April, 2018; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Two-Scale Method for the Monge-Ampère Equation: Convergence to the Viscosity Solution
Authors:
Ricardo H. Nochetto,
Dimitrios Ntogkas,
Wujun Zhang
Abstract:
We propose a two-scale finite element method for the Monge-Ampère equation with Dirichlet boundary condition in dimension $d\ge2$ and prove that it converges to the viscosity solution uniformly. The method is inspired by a finite difference method of Froese and Oberman, but is defined on unstructured grids and relies on two separate scales: the first one is the mesh size $h$ and the second one is…
▽ More
We propose a two-scale finite element method for the Monge-Ampère equation with Dirichlet boundary condition in dimension $d\ge2$ and prove that it converges to the viscosity solution uniformly. The method is inspired by a finite difference method of Froese and Oberman, but is defined on unstructured grids and relies on two separate scales: the first one is the mesh size $h$ and the second one is a larger scale that controls appropriate directions and substitutes the need of a wide stencil. The main tools for the analysis are a discrete comparison principle and discrete barrier functions that control the behavior of the discrete solution, which is continuous piecewise linear, both close to the boundary and in the interior of the domain.
△ Less
Submitted 12 April, 2018; v1 submitted 19 June, 2017;
originally announced June 2017.
-
Controlling the Kelvin Force: Basic Strategies and Applications to Magnetic Drug Targeting
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Pablo Venegas
Abstract:
Motivated by problems arising in magnetic drug targeting, we propose to generate an almost constant Kelvin (magnetic) force in a target subdomain, moving along a prescribed trajectory. This is carried out by solving a minimization problem with a tracking type cost functional. The magnetic sources are assumed to be dipoles and the control variables are the magnetic field intensity, the source locat…
▽ More
Motivated by problems arising in magnetic drug targeting, we propose to generate an almost constant Kelvin (magnetic) force in a target subdomain, moving along a prescribed trajectory. This is carried out by solving a minimization problem with a tracking type cost functional. The magnetic sources are assumed to be dipoles and the control variables are the magnetic field intensity, the source location and the magnetic field direction. The resulting magnetic field is shown to effectively steer the drug concentration, governed by a drift-diffusion PDE, from an initial to a desired location with limited spreading.
△ Less
Submitted 22 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.
-
Optimizing the Kelvin force in a moving target subdomain
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Pablo Venegas
Abstract:
In order to generate a desired Kelvin (magnetic) force in a target subdomain moving along a prescribed trajectory, we propose a minimization problem with a tracking type cost functional. We use the so-called dipole approximation to realize the magnetic field, where the location and the direction of the magnetic sources are assumed to be fixed. The magnetic field intensity acts as the control and e…
▽ More
In order to generate a desired Kelvin (magnetic) force in a target subdomain moving along a prescribed trajectory, we propose a minimization problem with a tracking type cost functional. We use the so-called dipole approximation to realize the magnetic field, where the location and the direction of the magnetic sources are assumed to be fixed. The magnetic field intensity acts as the control and exhibits limiting pointwise constraints. We address two specific problems: the first one corresponds to a fixed final time whereas the second one deals with an unknown force to minimize the final time. We prove existence of solutions and deduce local uniqueness provided that a second order sufficient condition is valid. We use the classical backward Euler scheme for time discretization. For both problems we prove the $H^1$-weak convergence of this semi-discrete numerical scheme. This result is motivated by $Γ$-convergence and does not require second order sufficient condition. If the latter holds then we prove $H^1$-strong local convergence. We report computational results to assess the performance of the numerical methods. As an application, we study the control of magnetic nanoparticles as those used in magnetic drug delivery, where the optimized Kelvin force is used to transport the drug to a desired location.
△ Less
Submitted 22 December, 2016; v1 submitted 22 December, 2016;
originally announced December 2016.
-
On p-Robust Saturation for hp-AFEM
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent e…
▽ More
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent error reduction. The resulting adaptive method can be turned into an instance optimal $hp$-adaptive method by the addition of a coarsening routine.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Pointwise rates of convergence for the Oliker-Prussner method for the Monge-Ampère equation
Authors:
Ricardo H. Nochetto,
Wujun Zhang
Abstract:
We study the Oliker-Prussner method exploiting its geometric nature. We derive discrete stability and continuous dependence estimates in the max-norm by using a discrete Alexandroff estimate and the Brunn-Minkowski inequality. We show that the method is exact for all convex quadratic polynomials provided the underlying set of nodes is translation invariant within the domain; nodes still conform to…
▽ More
We study the Oliker-Prussner method exploiting its geometric nature. We derive discrete stability and continuous dependence estimates in the max-norm by using a discrete Alexandroff estimate and the Brunn-Minkowski inequality. We show that the method is exact for all convex quadratic polynomials provided the underlying set of nodes is translation invariant within the domain; nodes still conform to the domain boundary. This gives a suitable notion of operator consistency which, combined with stability, leads to pointwise rates of convergence for classical and non-classical solutions of the Monge-Ampère equation.
△ Less
Submitted 24 September, 2018; v1 submitted 8 November, 2016;
originally announced November 2016.
-
A diffuse interface model for two-phase ferrofluid flows
Authors:
Ricardo H. Nochetto,
Abner J. Salgado,
Ignacio Tomas
Abstract:
We develop a model describing the behavior of two-phase ferrofluid flows using phase field-techniques and present an energy-stable numerical scheme for it. For a simplified, yet physically realistic, version of this model and the corresponding numerical scheme we prove, in addition to stability, convergence and as by-product existence of solutions. With a series of numerical experiments we illustr…
▽ More
We develop a model describing the behavior of two-phase ferrofluid flows using phase field-techniques and present an energy-stable numerical scheme for it. For a simplified, yet physically realistic, version of this model and the corresponding numerical scheme we prove, in addition to stability, convergence and as by-product existence of solutions. With a series of numerical experiments we illustrate the potential of these simple models and their ability to capture basic phenomenological features of ferrofluids such as the Rosensweig instability.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
A finite element method for nematic liquid crystals with variable degree of orientation
Authors:
Ricardo H. Nochetto,
Shawn W. Walker,
Wujun Zhang
Abstract:
We consider the simplest one-constant model, put forward by J. Ericksen, for nematic liquid crystals with variable degree of orientation. The equilibrium state is described by a director field $\mathbf{n}$ and its degree of orientation $s$, where the pair $(s, \mathbf{n})$ minimizes a sum of Frank-like energies and a double well potential. In particular, the Euler-Lagrange equations for the minimi…
▽ More
We consider the simplest one-constant model, put forward by J. Ericksen, for nematic liquid crystals with variable degree of orientation. The equilibrium state is described by a director field $\mathbf{n}$ and its degree of orientation $s$, where the pair $(s, \mathbf{n})$ minimizes a sum of Frank-like energies and a double well potential. In particular, the Euler-Lagrange equations for the minimizer contain a degenerate elliptic equation for $\mathbf{n}$, which allows for line and plane defects to have finite energy.
We present a structure preserving discretization of the liquid crystal energy with piecewise linear finite elements that can handle the degenerate elliptic part without regularization, and show that it is consistent and stable. We prove $Γ$-convergence of discrete global minimizers to continuous ones as the mesh size goes to zero. We develop a quasi-gradient flow scheme for computing discrete equilibrium solutions and prove it has a strictly monotone energy decreasing property. We present simulations in two and three dimensions to illustrate the method's ability to handle non-trivial defects.
A music video summary of the paper is available on YouTube: "Mathematical Modeling and Simulation of Nematic Liquid Crystals (A Montage)," http://www.youtube.com/watch?v=pWWw7\_6cQ-U
△ Less
Submitted 2 August, 2017; v1 submitted 31 December, 2015;
originally announced January 2016.
-
The Stokes problem with Navier slip boundary condition: Minimal fractional Sobolev regularity of the domain
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Patrick Sodre
Abstract:
We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $Ω$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are of class $C^{1,1-n/s}$, our result improves upon the recent one by Amrouche-Seloula, who assume $Ω$ to be of class $C^{1,1}$. We deal with the slip boundary conditi…
▽ More
We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $Ω$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are of class $C^{1,1-n/s}$, our result improves upon the recent one by Amrouche-Seloula, who assume $Ω$ to be of class $C^{1,1}$. We deal with the slip boundary condition directly via a new localization technique, which features domain, space and operator decompositions. To flatten the boundary of $Ω$ locally, we construct a novel $W^2_s$ diffeomorphism for $Ω$ of class $W^{2-1/s}_s$. The fractional regularity gain, from $2-1/s$ to $2$, guarantees that the Piola transform is of class $W^1_s$. This allows us to transform $W^1_r$ vector fields without changing their regularity, provided $r\le s$, and preserve the unit normal which is Hölder. It is in this sense that the boundary regularity $W^{2-1/s}_s$ seems to be minimal.
△ Less
Submitted 24 December, 2015;
originally announced December 2015.
-
Fast multilevel solvers for a class of discrete fourth order parabolic problems
Authors:
Bin Zheng,
Luo** Chen,
Xiaozhe Hu,
Long Chen,
Ricardo H. Nochetto,
**chao Xu
Abstract:
In this paper, we study fast iterative solvers for the solution of fourth order parabolic equations discretized by mixed finite element methods. We propose to use consistent mass matrix in the discretization and use lumped mass matrix to construct efficient preconditioners. We provide eigenvalue analysis for the preconditioned system and estimate the convergence rate of the preconditioned GMRes me…
▽ More
In this paper, we study fast iterative solvers for the solution of fourth order parabolic equations discretized by mixed finite element methods. We propose to use consistent mass matrix in the discretization and use lumped mass matrix to construct efficient preconditioners. We provide eigenvalue analysis for the preconditioned system and estimate the convergence rate of the preconditioned GMRes method. Furthermore, we show that these preconditioners only need to be solved inexactly by optimal multigrid algorithms. Our numerical examples indicate that the proposed preconditioners are very efficient and robust with respect to both discretization parameters and diffusion coefficients. We also investigate the performance of multigrid algorithms with either collective smoothers or distributive smoothers when solving the preconditioner systems.
△ Less
Submitted 25 February, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
High-Order AFEM for the Laplace-Beltrami Operator: Convergence Rates
Authors:
Andrea Bonito,
J. Manuel Cascón,
Pedro Morin,
Khamron Mekchay,
Ricardo H. Nochetto
Abstract:
We present a new AFEM for the Laplace-Beltrami operator with arbitrary polynomial degree on parametric surfaces, which are globally $W^1_\infty$ and piecewise in a suitable Besov class embedded in $C^{1,α}$ with $α\in (0,1]$. The idea is to have the surface sufficiently well resolved in $W^1_\infty$ relative to the current resolution of the PDE in $H^1$. This gives rise to a conditional contractio…
▽ More
We present a new AFEM for the Laplace-Beltrami operator with arbitrary polynomial degree on parametric surfaces, which are globally $W^1_\infty$ and piecewise in a suitable Besov class embedded in $C^{1,α}$ with $α\in (0,1]$. The idea is to have the surface sufficiently well resolved in $W^1_\infty$ relative to the current resolution of the PDE in $H^1$. This gives rise to a conditional contraction property of the PDE module. We present a suitable approximation class and discuss its relation to Besov regularity of the surface, solution, and forcing. We prove optimal convergence rates for AFEM which are dictated by the worst decay rate of the surface error in $W^1_\infty$ and PDE error in $H^1$.
△ Less
Submitted 12 September, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
The equations of ferrohydrodynamics: modeling and numerical methods
Authors:
Ricardo H. Nochetto,
Abner J. Salgado,
Ignacio Tomas
Abstract:
We discuss the equations describing the motion of ferrofluids subject to an external magnetic field. We concentrate on the model proposed by R. Rosensweig, provide an appropriate definition for the effective magnetizing field, and explain the simplifications behind this definition. We show that this system is formally energy stable, and devise a numerical scheme that mimics the same stability esti…
▽ More
We discuss the equations describing the motion of ferrofluids subject to an external magnetic field. We concentrate on the model proposed by R. Rosensweig, provide an appropriate definition for the effective magnetizing field, and explain the simplifications behind this definition. We show that this system is formally energy stable, and devise a numerical scheme that mimics the same stability estimate. We prove that solutions of the numerical scheme always exist and, under further simplifying assumptions, that the discrete solutions converge. We also discuss alternative formulations proposed in pre-existing work, primarily involving a regularization of the magnetization equation and supply boundary conditions which lead to an energy stable system. We present a series of numerical experiments which illustrate the potential of the scheme in the context of real applications.
△ Less
Submitted 12 November, 2015;
originally announced November 2015.
-
Adaptive Spectral Galerkin Methods with Dynamic Marking
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive d…
▽ More
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive discretization errors, and show exponential convergence with linear computational complexity whenever the solution belongs to a Gevrey approximation class.
△ Less
Submitted 1 November, 2015;
originally announced November 2015.
-
A PDE Approach to Numerical Fractional Diffusion
Authors:
Ricardo H. Nochetto,
Enrique Otarola,
Abner J. Salgado
Abstract:
Fractional diffusion has become a fundamental tool for the modeling of multiscale and heterogeneous phenomena. However, due to its nonlocal nature, its accurate numerical approximation is delicate. We survey our research program on the design and analysis of efficient solution techniques for problems involving fractional powers of elliptic operators. Starting from a localization PDE result for the…
▽ More
Fractional diffusion has become a fundamental tool for the modeling of multiscale and heterogeneous phenomena. However, due to its nonlocal nature, its accurate numerical approximation is delicate. We survey our research program on the design and analysis of efficient solution techniques for problems involving fractional powers of elliptic operators. Starting from a localization PDE result for these operators, we develop local techniques for their solution: a priori and a posteriori error analyses, adaptivity and multilevel methods. We show the flexibility of our approach by proposing and analyzing local solution techniques for a space-time fractional parabolic equation.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.