-
Analysis of finite element approximations of Stokes equations with non-smooth data
Authors:
Ricardo G. Durán,
Lucia Gastaldi,
Ariel L. Lombardi
Abstract:
In this paper we analyze the finite element approximation of the Stokes equations with non-smooth Dirichlet boundary data. To define the discrete solution, we first approximate the boundary datum by a smooth one and then apply a standard finite element method to the regularized problem.
We prove almost optimal order error estimates for two regularization procedures in the case of general data in…
▽ More
In this paper we analyze the finite element approximation of the Stokes equations with non-smooth Dirichlet boundary data. To define the discrete solution, we first approximate the boundary datum by a smooth one and then apply a standard finite element method to the regularized problem.
We prove almost optimal order error estimates for two regularization procedures in the case of general data in fractional order Sobolev spaces, and for the Lagrange interpolation (with appropriate modifications at the discontinuities) for piecewise smooth data. Our results apply in particular to the classic lid-driven cavity problem improving the error estimates obtained in [Z. Cai and Y. Wang, Math. Comp., 78(266):771-787, 2009].
Finally, we introduce and analyze an a posteriori error estimator. We prove its reliability and efficiency, and show some numerical examples which suggest that optimal order of convergence is obtained by an adaptive procedure based on our estimator.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Distinguishing extension numbers for $\mathbf R^n$ and $S^n$
Authors:
Alex Lombardi
Abstract:
In the setting of a group $Γ$ acting faithfully on a set $X$, a $k$-coloring $c: X\rightarrow \{1, 2, ..., k\}$ is called $Γ$-distinguishing if the only element of $Γ$ that fixes $c$ is the identity element. The distinguishing number $D_Γ(X)$ is the minimum value of $k$ such that a $Γ$-distinguishing $k$-coloring of $X$ exists. Now, fixing $k= D_Γ(X)$, a subset $W\subset X$ with trivial pointwise…
▽ More
In the setting of a group $Γ$ acting faithfully on a set $X$, a $k$-coloring $c: X\rightarrow \{1, 2, ..., k\}$ is called $Γ$-distinguishing if the only element of $Γ$ that fixes $c$ is the identity element. The distinguishing number $D_Γ(X)$ is the minimum value of $k$ such that a $Γ$-distinguishing $k$-coloring of $X$ exists. Now, fixing $k= D_Γ(X)$, a subset $W\subset X$ with trivial pointwise stabilizer satisfies the precoloring extension property $P(W)$ if every precoloring $c: X-W\rightarrow \{1, ..., k\}$ can be extended to a $Γ$-distinguishing $k$-coloring of $X$. The distinguishing extension number $\text{ext}_D(X, Γ)$ is then defined to be the minimum $n$ such that for all applicable $W\subset X$, $|W|\geq n$ implies that $P(W)$ holds. In this paper, we compute $\text{ext}_D(X, Γ)$ in two particular instances: when $X = S^1$ is the unit circle and $Γ= \text{Isom}(S^1) = O(2)$ is its isometry group, and when $X = V(C_n)$ is the set of vertices of the cycle of order $n$ and $Γ= \text{Aut}(C_n) = D_n$, the dihedral group of a regular $n$-gon. This resolves two conjectures of Ferrara, Gethner, Hartke, Stolee, and Wenger. In the case of $X=\mathbf R^2$, we prove that $\text{ext}_D(\mathbf R^2, SE(2))<\infty$, which is consistent with (but does not resolve) another conjecture of Ferrara et al. On the other hand, we also prove that for all $n\geq 3$, $\text{ext}_D(S^{n-1}, O(n)) = \infty$, and for all $n\geq 3$, $\text{ext}_D(\mathbf R^n, E(n))=\infty$, disproving two other conjectures from the same authors.
△ Less
Submitted 25 August, 2014;
originally announced August 2014.
-
Anisotropic mesh refinement in polyhedral domains: error estimates with data in L^2(Ω)
Authors:
Thomas Apel,
Ariel L. Lombardi,
Max Winkler
Abstract:
The paper is concerned with the finite element solution of the Poisson equation with homogeneous Dirichlet boundary condition in a three-dimensional domain. Anisotropic, graded meshes from a former paper are reused for dealing with the singular behaviour of the solution in the vicinity of the non-smooth parts of the boundary. The discretization error is analyzed for the piecewise linear approximat…
▽ More
The paper is concerned with the finite element solution of the Poisson equation with homogeneous Dirichlet boundary condition in a three-dimensional domain. Anisotropic, graded meshes from a former paper are reused for dealing with the singular behaviour of the solution in the vicinity of the non-smooth parts of the boundary. The discretization error is analyzed for the piecewise linear approximation in the H^1(Ω)- and L^2(Ω)-norms by using a new quasi-interpolation operator. This new interpolant is introduced in order to prove the estimates for L^2(Ω)-data in the differential equation which is not possible for the standard nodal interpolant. These new estimates allow for the extension of certain error estimates for optimal control problems with elliptic partial differential equation and for a simpler proof of the discrete compactness property for edge elements of any order on this kind of finite element meshes.
△ Less
Submitted 12 March, 2013;
originally announced March 2013.
-
A Block Solver for the Exponentially Fitted IIPG-0 method
Authors:
Blanca Ayuso de Dios,
Ariel Lombardi,
Paola Pietra,
Ludmil Zikatanov
Abstract:
We consider an exponentially fitted discontinuous Galerkin method and propose a robust block solver for the resulting linear systems.
We consider an exponentially fitted discontinuous Galerkin method and propose a robust block solver for the resulting linear systems.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
Interior penalty discontinuous Galerkin FEM for the $p(x)$-Laplacian
Authors:
L. M. Del Pezzo,
A. Lombardi,
S. Martínez
Abstract:
In this paper we construct an "Interior Penalty" Discontinuous Galerkin method to approximate the minimizer of a variational problem related to the $p(x)-$Laplacian. The function $p:Ω\to [p_1,p_2]$ is log Hölder continuous and $1<p_1\leq p_2<\infty$. We prove that the minimizers of the discrete functional converge to the solution. We also make some numerical experiments in dimension one to compare…
▽ More
In this paper we construct an "Interior Penalty" Discontinuous Galerkin method to approximate the minimizer of a variational problem related to the $p(x)-$Laplacian. The function $p:Ω\to [p_1,p_2]$ is log Hölder continuous and $1<p_1\leq p_2<\infty$. We prove that the minimizers of the discrete functional converge to the solution. We also make some numerical experiments in dimension one to compare this method with the Conforming Galerkin Method, in the case where $p_1$ is close to one. This example is motivated by its applications to image processing.
△ Less
Submitted 21 August, 2013; v1 submitted 10 September, 2010;
originally announced September 2010.
-
Error estimates for Raviart-Thomas interpolation of any order on anisotropic tetrahedra
Authors:
G. Acosta,
Th. Apel,
R. G. Durán,
A. L. Lombardi
Abstract:
We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizations of this condition, namely, the so-called three dimensional maximum angle condition and the regular vertex property, for tetrahedra.
Our techniques are different from those used in previous papers on the subject and the resu…
▽ More
We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizations of this condition, namely, the so-called three dimensional maximum angle condition and the regular vertex property, for tetrahedra.
Our techniques are different from those used in previous papers on the subject and the results obtained are more general in several aspects. First, intermediate regularity is allowed, that is, for the Raviart-Thomas interpolation of degree $k\ge 0$, we prove error estimates of order $j+1$ when the vector field being approximated has components in $W^{j+1,p}$, for triangles or tetrahedra, where $0\le j \le k$ and $1\le p \le\infty$. These results are new even in the two dimensional case. Indeed, the estimate was known only in the case $j=k$. On the other hand, in the three dimensional case, results under the maximum angle condition were known only for $k=0$.
△ Less
Submitted 11 September, 2008;
originally announced September 2008.
