The minimum angle condition for $d$-simplices
Extracted source text ยท arXiv 1812.05874
% This is example.tex a demonstration file that shows how to code
% an article for ENUMATH 2017.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[runningheads]{amsart}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{epsfig}
\usepackage{graphics}
% see the list of further useful packages
% in the Reference Guide
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\meas{{\rm meas}\, }
\def\diam{{\rm diam}\, }
\def\grad{{\rm grad}\, }
\def\det{{\rm det}\, }
\def\hes{{\rm hes}\, }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
\title{The minimum angle condition for $d$-simplices}
% your contribution title if the original one is too long use an abbreviated title (for running head):
%\titlerunning{Minimum angle conditions}
\author{Sergey Korotov \and Jon Eivind Vatne}
% Use \authorrunning{Short Title} for an abbreviated version of the author list (for running head):
%\authorrunning{S. Korotov, J. E. Vatne}
\address{
Department of Computing, Mathematics and Physics, Western Norway University of Applied Sciences,
Post Box 7030, N-5020 Bergen, Norway, {\tt sergey.korotov@hvl.no, jon.eivind.vatne@hvl.no}
}
\maketitle
\begin{abstract}
In this note we present a natural generalization of the minimum angle condition,
commonly used in the finite element analysis for planar triangulations, to the case
of simplicial meshes in any space dimension.
The equivalence of this condition with some other mesh regularity conditions
is proved.
\end{abstract}
\section{Introduction}
\label{chapter-intro}
Various regularity properties (usually prescribed in terms of geometric characteristics)
are required from the meshes/partitions of space domains in order to guarantee suitable
interpolation and convergence results. %\cite{Cia,BraKorKri-2009,BraKorKri-Zlamal}.
In this paper we present and analyse a natural higher-dimensional
analogue of the so-called minimum angle condition, commonly imposed on planar triangulations
in the finite element analysis,
which roughly speaking forbids the mesh elements to shrink.
First, we recall the basic results on the topic.
Let $\mathcal F = \{\mathcal T_h\}_{h \to 0}$ be a family of conforming triangulations
$\mathcal T_h$ of a bounded polygonal domain.
In 1968
the following {\it minimum angle condition} was proposed \cite{Zla,Zen}:
there exists a constant $\alpha_0 > 0$
such that for any triangulation $\mathcal T_h \in \mathcal F$ and any triangle $T \in \mathcal T_h$
the bound
\begin{equation}
\alpha_T \ge \alpha_0,
\label{eq-lower-bound}
\end{equation}
holds, where $\alpha_T$ is the minimum angle of $T$.
Later, many other (geometric) conditions on triangulations equivalent to (\ref{eq-lower-bound})
have been proposed, see e.g. \cite{BraKorKri-2008,BraKorKri-2009,BraKorKri-Zlamal}
and references therein. Moreover, some higher-dimensional analogues of (\ref{eq-lower-bound})
were proposed \cite{BraKorKri-Zlamal,Cia}. Under all these conditions various interpolation
and finite element convergence estimates
are usually derived, we refer to \cite{Cia} as one of the basic sources in this respect.
In what follows, we will mainly concentrate on mesh regularity
conditions based on estimates of dihedral angles.
Thus, in 2008,
in \cite{BraKorKri-2008}, condition (\ref{eq-lower-bound})
was generalized
to tetrahedral elements as follows: there exists a constant $\alpha_0 > 0$
such that for any conforming tetrahedralization $\mathcal T_h \in \mathcal F$ and any
tetrahedron $T \in \mathcal T_h$ one has
\begin{equation}
\alpha_{\rm D}^T \ge \alpha_0 \quad \text{and} \quad \alpha_{\rm F}^T \ge \alpha_0,
\label{eq-lower-bound-3D}
\end{equation}
where $\alpha_{\rm D}^T$ is the minimum of values of dihedral angles between faces of $T$ and
$\alpha_{\rm F}^T$ is the minimum angle in all four triangular faces of $T$. This condition was
also proved to be equivalent with many other regularity conditions on tetrahedral meshes, see
\cite{BraKorKri-2008}.
However, the next step of proposing the higher-dimensional condition in terms of
dihedral angles has not been done so far. In this paper we address this issue to.
Namely, we recall the minimum angle-type condition based on the concept of
$d$-sine of F. Eriksson (see \cite{Eri}) as presented in the paper \cite{BraKorKri-Zlamal},
then propose a natural higher-dimesional analogue of (\ref{eq-lower-bound}) and (\ref{eq-lower-bound-3D}),
and prove the equivalence of these two regularity conditions in any dimension.
\section{Minimum angle conditions in higher dimensions}
\label{chapter-denotation}
A $d$-simplex $S$ in ${\bf R}^d, d \in \{1, 2, 3, \dots \}$,
is the convex hull of $d+1$ vertices $A_0, A_1, \dots, A_{d}$ that do not
belong to the same $(d-1)$-dimensional hyperplane, i.e.,
$$
S = {\rm conv} \{A_0, A_1, \dots , A_{d}\}.
$$
Further,
$$
F_i = {\rm conv} \{A_0, \dots , A_{i-1}, A_{i+1}, \dots ,A_{d}\}
$$
is the $(d-1)$-facet of $S$ opposite to the vertex $A_i$ for $i \in \{0, \dots, d\}$.
For $d \ge 2$ the dihedral angle $\beta_{ij}$ between two $(d-1)$-facets $F_i$ and $F_j$ of $S$
is defined by means of the inner product of their outward unit normals $n_i$ and $n_j$
\begin{equation}
\cos \beta_{ij} = - n_i \cdot n_j.
\label{dihedral-angle}
\end{equation}
In 1978, Eriksson introduced a generalization of the sine function to an arbitrary
$d$-dimensional spatial angle, see \cite[p.~74]{Eri}.
\begin{definition}
Let $\hat A_i$ be the angle at the vertex $A_i$ of the simplex $S$. Then $d$-sine of the angle
$\hat A_i$ for $d>1$ is given by
\begin{equation}
\sin_d (\hat A_{i} | A_0 A_1 \dots A_{d})
= \frac{ d^{d-1} \, (\meas_d S)^{d-1} }{(d-1) ! \, {\bf \Pi}_{j = 0, j \neq i}^{d} \meas_{d-1} F_j }.
\label{d-sine}
\end{equation}
\end{definition}
\begin{remark}
The $d$-sine is really a generalization of the classical sine function. In order to
see that, set $d=2$ and consider an arbitrary triangle $A_{0} A_{1} A_{2}$. Let $\hat A_{0}$
be its angle at the vertex $A_{0}$. Then, obviously,
\begin{equation}
\meas_2 (A_0 A_1 A_2) = {1\over 2} |A_0 A_1| |A_0 A_2| \sin \hat A_0,
\label{2d-area-triangle}
\end{equation}
which implies
\begin{equation}
\sin \hat A_0 = \sin_2 (\hat A_0 | A_0 A_1 A_2).
\label{eq-compare}
\end{equation}
\end{remark}
\begin{definition}
A family $\mathcal F = \{\mathcal T_h \}_{h \to 0}$ of partitions of a polytope
$\overline \Omega \subset {\bf R}^d$ into
$d$-simplices is said to satisfy the {\it generalized minimum angle condition} if
there exists $C > 0$ such that for any $\mathcal T_h \in \mathcal F$ and any
$S = {\rm conv} \{ A_0, \dots , A_{d} \} \in \mathcal T_h$
one has
\begin{equation}
\forall \ i \in \{0, 1, \dots , d \}
\qquad
\sin_d ( \hat A_i | A_{0} A_{1} \dots A_{d}) \ge C > 0.
\label{eq_dsine_bounded}
\end{equation}
\label{conditions-4-any-dimension}
\end{definition}
Now we present a natural generalization of conditions (\ref{eq-lower-bound}) and
(\ref{eq-lower-bound-3D}) for simplicial meshes in any dimension.
\begin{definition}
A family $\mathcal F = \{\mathcal T_h \}_{h \to 0}$ of partitions of a polytope
$\overline \Omega \subset {\bf R}^d$ into
$d$-simplices is said to satisfy the {\it $d$-dimensional minimum angle condition} if
there exists a constant $\alpha_0 > 0$ such that for $\mathcal T_h \in \mathcal F$
and any simplex $S \in \mathcal T_h$ and any subsimplex $S'\subseteq S$ with vertex
set contained in the vertex set of $S$, the minimum dihedral angle in $S'$ is not less
than $\alpha_0$.
\label{def-minimum-general}
\end{definition}
\begin{remark}
Obviously, the above condition coincides with (\ref{eq-lower-bound}) for the case
$d=2$, and with (\ref{eq-lower-bound-3D}) -- for $d=3$, and by nature it has a form
of limiting all the dihedral angles from below.
In case $S$ is a triangle, the dihedral angles are the ordinary angles.
Definitions~\ref{conditions-4-any-dimension} and \ref{def-minimum-general} thus
express exactly the same condition in dimension two.
\label{remark-low-dimension}
\end{remark}
\begin{lemma}
% Let $ABCD$ be a tetrahedron. Then
% \begin{equation}
%\sin_3 (\hat A | A B C D)
%= \sin \beta_1 \sin \beta_2 \sin \alpha ,
%\label{sines-tetrahedron-ABCD}
%\end{equation}
% where $\alpha$ is the angle at the vertex $A$ of the face $ABD$,
% $\beta_1$ is the dihedral angle between faces $ABC$ and $ABD$, and
% $\beta_2$ is the dihedral angle between faces $ADC$ and $ADB$.
For a $d$-simplex we observe that
\begin{equation}
\sin_d (\hat A_{i} | A_0 A_1 \dots A_{d})
= \sin_{d-1} (\hat A_{i} | A_0 A_1 \dots A_{d-1})\prod_{j=0, j\neq i}^{d-1}\sin(\beta_j),
\label{d-sine-product}
\end{equation}
where $\beta_j$ is the dihedral angle between the facet omitting $A_j$ and the facet
omitting $A_d$.
\label{lemma-sines-tetrahedron-ABCD}
\end{lemma}
For the proof see \cite[p. 74--76]{Eri}.
%Note that an immediate consequence of (\ref{d-sine-product})
%is that $\sin_d$ is less than or equal to one.
\begin{theorem}
The $d$-dimensional minimum angle condition presented in Definition~\ref{def-minimum-general} and
the generalized minimum angle condition from Definition~\ref{conditions-4-any-dimension} are equivalent.
\end{theorem}
%\begin{proof}
% ....................................
%
% Now, we show that the generalized minimum angle condition implies $d$-dimensional minimum angle condition
% using contradiction arguments. We may assume that we have an infinite sequence of simplices whose dihedral
% angles between certain $k$-dimensional facets tends to zero. Then we use the product formula for
% appropriate angles and show that $d$-dimensional sines of certain angles tend to zero.
%\end{proof}
\begin{proof}
The proof is by induction on the dimension $d$.
For $d=2$ the two conditions are in fact the same, as pointed out in Remark~\ref{remark-low-dimension}.
Assume by induction that the theorem is true for all dimensions smaller than $d$.\\
Assume first that the condition in Definition~\ref{conditions-4-any-dimension} is satisfied, so that there exists a constant $C>0$ as in \eqref{eq_dsine_bounded}.
Using \eqref{d-sine-product}, we get that
\begin{equation}
C\leq \sin_d (\hat A_{i} | A_0 A_1 \dots A_{d})
= \sin_{d-1} (\hat A_{i} | A_0 A_1 \dots A_{d-1})\prod_{j=0, j\neq i}^{d-1}\sin(\beta_j) .
\end{equation}
All the factors on the right are bounded from above by $1$, and therefore each of them must be larger than or equal to $C$.
In this formula, all the dihedral angles involve the face opposite the vertex $A_d$.
However, by reordering the vertices, we get that any dihedral angle $\beta$ satisfies $\sin\beta\geq C$.
Since $\sin_{d-1} (\hat A_{i} | A_0 A_1 \dots A_{d-1})\geq C$ we can use the induction hypothesis to conclude that all dihedral angles in simplices of strictly smaller dimension than $d$ are not smaller than a constant $\alpha_0'$, say.
We can then let $\alpha_0=\min\{\alpha_0',\arcsin C\}$ and see that the condition in Definition~\ref{def-minimum-general} is satisfied.\\
Assume next that the condition in Definition~\ref{def-minimum-general} holds, so that $\alpha_0>0$ is a lower bound for all the dihedral angles considered in any dimension.
Since any subsimplex of a facet is also a subsimplex of the whole simplex, we get by induction that there is a constant $C'$ such that
\begin{equation}
\sin_{d-1} (\hat A_{i} | A_0 A_1 \dots A_{d-1})\geq C'.
\end{equation}
By the product formula \eqref{d-sine-product} we then get
\begin{equation*}
\sin_d (\hat A_{i} | A_0 A_1 \dots A_{d})
= \sin_{d-1} (\hat A_{i} | A_0 A_1 \dots A_{d-1})\prod_{j=0, j\neq i}^{d-1}\sin(\beta_j)
\geq C'\prod_{j=0, j\neq i}^{d-1}\sin(\beta_j).
\end{equation*}
By the minimal angle condition, we know that $\beta_j>\alpha_0$.
We will show that there also exists an upper bound $\gamma_0<\pi$ such that $\beta_j\leq \gamma_0$.
Then $\sin\beta_j\geq \min(\sin \alpha_0,\sin\gamma_0)$ and
\begin{equation*}
\sin_d (\hat A_{i} | A_0 A_1 \dots A_{d})
\geq C'\prod_{j=0, j\neq i}^{d-1}\sin(\beta_j)\geq C'\big(\min(\sin \alpha_0,\sin\gamma_0)\big)^{d-1}.
\end{equation*}
We then get the theorem by setting
\begin{equation}
C=C'\big(\min(\sin \alpha_0,\sin\gamma_0)\big)^{d-1}.
\end{equation}
Assume to get a contradiction that there is no upper bound for the dihedral angles smaller than $\pi$.
There is then a sequence $S_h$ of simplices with a dihedral angle tending to $\pi$.
In the limit, the sequence must degenerate into a set spanning a proper subspace $H\subset\mathbb{R}^d$.
By the induction hypothesis, any subsimplex of dimension $k$ satisfy that all $\sin_{k}$ at any vertex is bounded from below.
It follows that any subsimplex will not give a degenerate limit.
In particular, the limit of any facet will span a subspace of dimension $d-1$, namely $H$.
Therefore the outward normals of the facets will tend to normals of $H$.
Now the dihedral angle between two facets cannot tend to zero by the minimal angle condition.
Therefore all the outward normals must tend to normals of $H$ pointing in the same direction,
which again implies that {\em all} the dihedral angles tend to $\pi$.
This is clearly false (e.g. it violates the upper bound for the sum of the dihedral angles,
see e.g. \cite{Gad-1956}), and we have established our contradiction.
\end{proof}
\section*{Final remarks}
\begin{itemize}
\item
Generation of meshes under satisfying the minimum angle conditions is presented and discussed
e.g. in \cite{HanKorKri-2010,HanKorKri-2014}.
\medskip
\item
The proposed $d$-dimensional minimum angle condition is also equivalent to the classical
inscribed ball condition of Ciarlet \cite{Cia} due to the equivalence results of \cite{BraKorKri-2009}.
(Several other less known equivalent regularity conditions can be found in the same reference.)
\end{itemize}
%
%\section*{Acknowledgments}
%The authors are indebted to .............
% 1. BibTeX version:
%
% If you want to choose this version uncomment the next two lines and insert the name of the BibTeX file.
%
%
% \bibliographystyle{vmams}
% \bibliography{example} % use BibTeX file example.bib (BibTeX -> author.bbl)
\ifx\undefined\bysame
\newcommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\,}
\fi
\begin{thebibliography}{99}
\parskip1.0ex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Ape}
% {\sc T. Apel},
%{\em Anisotropic Finite Elements: Local Estimates and Applications},
%Adv. in Numer. Math., B. G. Teubner, Stuttgart, 1999.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{ApeDob}
% {\sc T. Apel and M. Dobrowolski},
% {\em Anisotropic interpolation with applications to the finite element method},
% Computing {\bf 47} (1992), 277--293.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{BabAzi}
% {\sc I. Babu\v ska and A. K. Aziz},
%{\em On the angle condition in the finite element method},
%SIAM J. Numer. Anal. {\bf 13} (1976), 214--226.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{BarGre}
% {\sc R. E. Barnhill and J. A. Gregory},
%{\em Sard kernel theorems on triangular domains with applications to finite element error bounds},
%Numer. Math. {\bf 25} (1976), 215--229.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Bar} P. Barto\v s.
%S\'{\i}nusov\'a veta o simplexoch v $E_n$.
%{\it \v Casopis pro p\v estov\' an\'{\i} matematiky}
%93 (1968), 273--277.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{BraKorKri-2008}
{\sc J. Brandts, S. Korotov, M. K\v r\'{\i}\v zek},
{\em On the equivalence of regularity criteria for
triangular and tetrahedral finite element partitions},
Comput. Math. Appl. \textbf{55} (2008), 2227--2233.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{BraKorKri-2009}
{\sc J. Brandts, S. Korotov, and M. K\v r\'{\i}\v zek},
{\em On the equivalence of ball conditions for simplicial
finite elements in ${\bf R}^d$},
Appl. Math. Lett. {\bf 22} (2009), 1210--1212.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{BraKorKri-Zlamal}
{\sc J. Brandts, S. Korotov, and M. K\v r\'{\i}\v zek},
{\em Generalization of the Zl\'amal condition for
simplicial finite elements in ${\bf R}^d$},
Appl. Math. {\bf 56} (2011), 417--424.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{BraKorKriSol}
%J. Brandts, S. Korotov, M. K\v r\'{\i}\v zek, J. \v Solc.
%On nonobtuse simplicial partitions.
%{\it SIAM Rev.} 51 (2009), 317--335.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{CheDeyEdeFacTen}
%{\sc S. W. Cheng, T. K. Dey, H. Edelsbrunner, M. A. Facello, and S. H. Teng},
%{\em Sliver exudation}, In: Proc. 15-th ACM Symp. Comp. Geometry, 1999, pp. 1--13.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Cia}
{\sc P. G. Ciarlet},
{\em The Finite Element Method for Elliptic Problems},
North-Holland, Amsterdam, 1978.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{DazSim}
%E. F. D'Azevedo, R. B. Simpson.
%On optimal interpolation triangle incidences.
%{\it SIAM J. Sci. Statist. Comput.} 10 (1989), 1063--1075.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Ede}
%{\sc H. Edelsbrunner},
%{\em Triangulations and meshes in computational geometry},
%Acta Numer. {\bf 9} (2000), 133--213.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Eri}
{\sc F. Eriksson},
{\em The law of sines for tetrahedra and $n$-simplices},
Geom. Dedicata {\bf 7} (1978), 71--80.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Gri}
%P. Grisvard.
%Elliptic Problems in Nonsmooth Domains.
%Pitman Monographs and Surveys in Pure and Applied Mathematics,
%vol. 24, Harlow, 1985.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Gad-1952}
%{\sc J. W. Gaddum},
%{\em The sums of dihedral and trihedral angles in a tetrahedron},
%Amer. Math. Monthly {\bf 59} (1952), 370--371.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Gad-1956}
{\sc J. W. Gaddum},
{\em Distance sums on a sphere and angle sums in a simplex},
Amer. Math. Monthly {\bf 63} (1956), 91--96.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{HanKorKri-2010}
{\sc A. Hannukainen, S. Korotov, M. K\v r\'{\i}\v zek},
{\em On global and local mesh refinements by a generalized conforming bisection algorithm},
J. Comp. Appl. Math. \textbf{235} (2010), 419--436.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{HanKorKri-2012}
%{\sc A. Hannukainen, S. Korotov, and M. K\v r\'{\i}\v zek},
%{\em The maximum angle condition is not necessary for convergence of the finite element method},
%Numer. Math. {\bf 120} (2012), 79--88.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{HanKorKri-2014}
{\sc A. Hannukainen, S. Korotov, and M. K\v r\'{\i}\v zek},
{\em On numerical regularity of the face-to-face longest-edge bisection algorithm
for tetrahedral partitions,} Science of Computer Programming \textbf{90} (2014), 34--41.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{HanKorKri-2017}
%{\sc A. Hannukainen, S. Korotov, and M. K\v r\'{\i}\v zek},
%{\em Generalizations of the Synge-type condition in the finite element method},
%Appl. Math. {\bf 62} (2017), 1--13.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{HanKorKri-2018}
%{\sc A. Hannukainen, S. Korotov, and M. K\v r\'{\i}\v zek},
%{\em Maximum angle condition for $n$-dimensional simplicial elements},
%In Proc. of ENUMATH-2017, Voss, Norway, Springer (in press).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Jam}
%{\sc P. Jamet},
%{\em Estimation de l'erreur pour des \'el\'ements finis droits
%presque d\'eg\'en\'er\'es},
%RAIRO Anal. Num\'er. {\bf 10} (1976), 43--60.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KhaKorVat-2018}
%{\sc A. Khademi, S. Korotov, and J. E. Vatne},
%{\em On interpolation error on degenerating prismatic elements},
%Appl. Math. {\bf 63} (2018), 237--258.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KobTsu-2015}
%{\sc K. Kobayashi and T. Tsuchiya},
%{\em On the circumradius condition for piecewise linear trian-
%gular elements},
%Japan J. Indust. Appl. Math. {\bf 32} (2015), 65--76.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KobTsu-2015-II}
%{\sc K. Kobayashi and T. Tsuchiya},
%{\em A priori error estimates for Lagrange intrepolation on triangles},
%Appl. Math. {\bf 60} (2015), 485--499.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KobTsu-2016}
%{\sc K. Kobayashi and T. Tsuchiya},
%{\em Extending Babu\v ska-Aziz theorem to higher-order Largange interpolation},
%Appl. Math. {\bf 61} (2016), 121--133.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Kri-1991}
%{\sc M. K\v r\'{\i}\v zek},
%{\em On semiregular families of triangulations and linear
%interpolation},
%Appl. Math. {\bf 36} (1991), 223--232.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Kri-1992}
%{\sc M. K\v r\'{\i}\v zek},
%{\em On the maximum angle condition for linear tetrahedral elements},
%SIAM J. Numer. Anal. {\bf 29} (1992), 513--520.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KriNei-1996}
%{\sc M. K\v r\'{\i}\v zek and P. Neittaanm\"aki},
%{\em Mathematical and Numerical Modelling in Electrical Engineering:
%Theory and Applications}, Kluwer Academic Publishers, 1996.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{KriRooChe}
%M. K\v r\'{\i}\v zek, H.-G. Roos, W. Chen.
%Two-sided bounds of the discretization error for finite elements.
%{\it ESAIM Math. Model. Numer. Anal.} 45 (2011), 915--924.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Kuc}
%{\sc V. Ku\v cera},
%{\em A note on necessary and sufficient condition for convergence of the finite
%element method}, Proc. Conf. Appl. Math. 2015 (eds. J. Brandts et al.),
%Inst. of Math., Prague, 2015, pp. 132--139.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Kuc-2016}
%{\sc V. Ku\v cera},
%{\em Several notes on the circumradius condition},
%Appl. Math. {\bf 61} (2016), 287--298.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Kuc-NM}
%{\sc V. Ku\v cera},
%{\em On necessary and sufficient conditions for finite
%element convergence},
%Numer. Math. (submitted), arXiv 1601.02942.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{LinLin}
%J. Lin, Q. Lin.
%Global superconvergence of the mixed finite
%element methods for 2-d Maxwell equations.
%{\it J. Comput. Math.} 21 (2003), 637--646.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{MaoShi}
%{\sc S. Mao and Z. Shi},
%{\em Error estimates of triangular finite elements under a weak angle condition},
%J. Comput. Appl. Math. {\bf 230} (2009), 329--331.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Osw}
%{\sc P. Oswald},
%{\em Divergence of FEM: Babu\v ska-Aziz triangulations revisited},
%Appl. Math. {\bf 60} (2015), 473--484.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Rek}
% {\sc K.~Rektorys},
% {\em Survey of Applicable Mathematics I},
%Kluwer Acad. Publ., Dordrecht, 1994.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{StrFix}
%G. Strang, G. Fix.
%An Analysis of the Finite Element Method.
%Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1973.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Syn}
%{\sc J. L. Synge},
%{\em The Hypercircle in Mathematical Physics},
%Cambridge Univ. Press, Cambridge, 1957.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Zen}
{\sc A. \v Zen\'{\i}\v sek},
{\em The convergence of the finite element method for boundary
value problems of a system of elliptic equations (in Czech)},
Apl. Mat. {\bf 14} (1969), 355--377.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\bibitem{Zha}
%S. Zhang.
%Successive subdivisions of tetrahedra and multigrid methods on tetrahedral meshes.
%{\it Houston J. Math.} 21 (1995), 541--556.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibitem{Zla}
{\sc M. Zl\'amal},
{\em On the finite element method},
Numer. Math. {\bf 12} (1968), 394--409.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{thebibliography}
\end{document}