◀ Back to Arnold–Boffi–Falk definition page
In this example:
- \(R\) is the reference quadrilateral. The following numbering of the subentities of the reference is used:
- \(\mathcal{V}\) is spanned by: \(\left(\begin{array}{c}\displaystyle 1\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle y\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x y\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x^{2}\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x^{2} y\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x^{3}\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle x^{3} y\\\displaystyle 0\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle 1\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle y\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle y^{2}\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle y^{3}\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle x\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle x y\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle x y^{2}\end{array}\right)\), \(\left(\begin{array}{c}\displaystyle 0\\\displaystyle x y^{3}\end{array}\right)\)
- \(\mathcal{L}=\{l_0,...,l_{15}\}\)
- Functionals and basis functions:
\(\displaystyle l_{0}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{0}}\boldsymbol{v}\cdot(1 - s_{0})\hat{\boldsymbol{n}}_{0}\)
where \(e_{0}\) is the 0th edge;
\(\hat{\boldsymbol{n}}_{0}\) is the normal to facet 0;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{0}\).
\(\displaystyle \boldsymbol{\phi}_{0} = \left(\begin{array}{c}\displaystyle 10 x \left(6 x^{2} y - 4 x^{2} - 9 x y + 6 x + 3 y - 2\right)\\\displaystyle 60 x y^{3} - 108 x y^{2} + 54 x y - 6 x - 40 y^{3} + 72 y^{2} - 36 y + 4\end{array}\right)\)
This DOF is associated with edge 0 of the reference element.
\(\displaystyle l_{1}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{0}}\boldsymbol{v}\cdot(s_{0})\hat{\boldsymbol{n}}_{0}\)
where \(e_{0}\) is the 0th edge;
\(\hat{\boldsymbol{n}}_{0}\) is the normal to facet 0;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{0}\).
\(\displaystyle \boldsymbol{\phi}_{1} = \left(\begin{array}{c}\displaystyle 50 x \left(- 6 x^{2} y + 4 x^{2} + 9 x y - 6 x - 3 y + 2\right)\\\displaystyle - 60 x y^{3} + 108 x y^{2} - 54 x y + 6 x + 20 y^{3} - 36 y^{2} + 18 y - 2\end{array}\right)\)
This DOF is associated with edge 0 of the reference element.
\(\displaystyle l_{2}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{1}}\boldsymbol{v}\cdot(1 - s_{0})\hat{\boldsymbol{n}}_{1}\)
where \(e_{1}\) is the 1st edge;
\(\hat{\boldsymbol{n}}_{1}\) is the normal to facet 1;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{1}\).
\(\displaystyle \boldsymbol{\phi}_{2} = \left(\begin{array}{c}\displaystyle - 60 x^{3} y + 40 x^{3} + 108 x^{2} y - 72 x^{2} - 54 x y + 36 x + 6 y - 4\\\displaystyle 10 y \left(- 6 x y^{2} + 9 x y - 3 x + 4 y^{2} - 6 y + 2\right)\end{array}\right)\)
This DOF is associated with edge 1 of the reference element.
\(\displaystyle l_{3}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{1}}\boldsymbol{v}\cdot(s_{0})\hat{\boldsymbol{n}}_{1}\)
where \(e_{1}\) is the 1st edge;
\(\hat{\boldsymbol{n}}_{1}\) is the normal to facet 1;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{1}\).
\(\displaystyle \boldsymbol{\phi}_{3} = \left(\begin{array}{c}\displaystyle 60 x^{3} y - 20 x^{3} - 108 x^{2} y + 36 x^{2} + 54 x y - 18 x - 6 y + 2\\\displaystyle 50 y \left(6 x y^{2} - 9 x y + 3 x - 4 y^{2} + 6 y - 2\right)\end{array}\right)\)
This DOF is associated with edge 1 of the reference element.
\(\displaystyle l_{4}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{2}}\boldsymbol{v}\cdot(1 - s_{0})\hat{\boldsymbol{n}}_{2}\)
where \(e_{2}\) is the 2nd edge;
\(\hat{\boldsymbol{n}}_{2}\) is the normal to facet 2;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{2}\).
\(\displaystyle \boldsymbol{\phi}_{4} = \left(\begin{array}{c}\displaystyle 2 x \left(- 150 x^{2} y + 100 x^{2} + 234 x y - 156 x - 81 y + 54\right)\\\displaystyle 10 y \left(- 6 x y^{2} + 9 x y - 3 x + 2 y^{2} - 3 y + 1\right)\end{array}\right)\)
This DOF is associated with edge 2 of the reference element.
\(\displaystyle l_{5}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{2}}\boldsymbol{v}\cdot(s_{0})\hat{\boldsymbol{n}}_{2}\)
where \(e_{2}\) is the 2nd edge;
\(\hat{\boldsymbol{n}}_{2}\) is the normal to facet 2;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{2}\).
\(\displaystyle \boldsymbol{\phi}_{5} = \left(\begin{array}{c}\displaystyle 2 x \left(150 x^{2} y - 50 x^{2} - 234 x y + 78 x + 81 y - 27\right)\\\displaystyle 50 y \left(6 x y^{2} - 9 x y + 3 x - 2 y^{2} + 3 y - 1\right)\end{array}\right)\)
This DOF is associated with edge 2 of the reference element.
\(\displaystyle l_{6}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{3}}\boldsymbol{v}\cdot(1 - s_{0})\hat{\boldsymbol{n}}_{3}\)
where \(e_{3}\) is the 3rd edge;
\(\hat{\boldsymbol{n}}_{3}\) is the normal to facet 3;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{3}\).
\(\displaystyle \boldsymbol{\phi}_{6} = \left(\begin{array}{c}\displaystyle 10 x \left(6 x^{2} y - 2 x^{2} - 9 x y + 3 x + 3 y - 1\right)\\\displaystyle 2 y \left(150 x y^{2} - 234 x y + 81 x - 100 y^{2} + 156 y - 54\right)\end{array}\right)\)
This DOF is associated with edge 3 of the reference element.
\(\displaystyle l_{7}:\boldsymbol{v}\mapsto\displaystyle\int_{e_{3}}\boldsymbol{v}\cdot(s_{0})\hat{\boldsymbol{n}}_{3}\)
where \(e_{3}\) is the 3rd edge;
\(\hat{\boldsymbol{n}}_{3}\) is the normal to facet 3;
and \(s_{0},s_{1}\) is a parametrisation of \(e_{3}\).
\(\displaystyle \boldsymbol{\phi}_{7} = \left(\begin{array}{c}\displaystyle 50 x \left(- 6 x^{2} y + 2 x^{2} + 9 x y - 3 x - 3 y + 1\right)\\\displaystyle 2 y \left(- 150 x y^{2} + 234 x y - 81 x + 50 y^{2} - 78 y + 27\right)\end{array}\right)\)
This DOF is associated with edge 3 of the reference element.
\(\displaystyle l_{8}:\boldsymbol{v}\mapsto\displaystyle\int_{R}\boldsymbol{v}\cdot\left(\begin{array}{c}1 - s_{1}\\0\end{array}\right)\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{8} = \left(\begin{array}{c}\displaystyle 24 x \left(- 15 x^{2} y + 10 x^{2} + 24 x y - 16 x - 9 y + 6\right)\\\displaystyle 30 y \left(- 4 x y^{2} + 6 x y - 2 x + 2 y^{2} - 3 y + 1\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{9}:\boldsymbol{v}\mapsto\displaystyle\int_{R}\boldsymbol{v}\cdot\left(\begin{array}{c}0\\1 - s_{0}\end{array}\right)\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{9} = \left(\begin{array}{c}\displaystyle 30 x \left(- 4 x^{2} y + 2 x^{2} + 6 x y - 3 x - 2 y + 1\right)\\\displaystyle 24 y \left(- 15 x y^{2} + 24 x y - 9 x + 10 y^{2} - 16 y + 6\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{10}:\boldsymbol{v}\mapsto\displaystyle\int_{R}\boldsymbol{v}\cdot\left(\begin{array}{c}0\\s_{0}\end{array}\right)\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{10} = \left(\begin{array}{c}\displaystyle 150 x \left(4 x^{2} y - 2 x^{2} - 6 x y + 3 x + 2 y - 1\right)\\\displaystyle 24 y \left(15 x y^{2} - 24 x y + 9 x - 5 y^{2} + 8 y - 3\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{11}:\boldsymbol{v}\mapsto\displaystyle\int_{R}\boldsymbol{v}\cdot\left(\begin{array}{c}s_{1}\\0\end{array}\right)\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{11} = \left(\begin{array}{c}\displaystyle 24 x \left(15 x^{2} y - 5 x^{2} - 24 x y + 8 x + 9 y - 3\right)\\\displaystyle 150 y \left(4 x y^{2} - 6 x y + 2 x - 2 y^{2} + 3 y - 1\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{12}:\mathbf{v}\mapsto\displaystyle\int_{R}(s_{0}^{2})\nabla\cdot\mathbf{v}\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{12} = \left(\begin{array}{c}\displaystyle 60 x \left(- 6 x^{2} y + 4 x^{2} + 9 x y - 6 x - 3 y + 2\right)\\\displaystyle 0\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{13}:\mathbf{v}\mapsto\displaystyle\int_{R}(s_{1}^{2})\nabla\cdot\mathbf{v}\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{13} = \left(\begin{array}{c}\displaystyle 0\\\displaystyle 60 y \left(- 6 x y^{2} + 9 x y - 3 x + 4 y^{2} - 6 y + 2\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{14}:\mathbf{v}\mapsto\displaystyle\int_{R}(s_{0}^{2} s_{1})\nabla\cdot\mathbf{v}\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{14} = \left(\begin{array}{c}\displaystyle 180 x \left(4 x^{2} y - 2 x^{2} - 6 x y + 3 x + 2 y - 1\right)\\\displaystyle 0\end{array}\right)\)
This DOF is associated with face 0 of the reference element.
\(\displaystyle l_{15}:\mathbf{v}\mapsto\displaystyle\int_{R}(s_{0} s_{1}^{2})\nabla\cdot\mathbf{v}\)
where \(R\) is the reference element;
and \(s_{0},s_{1}\) is a parametrisation of \(R\).
\(\displaystyle \boldsymbol{\phi}_{15} = \left(\begin{array}{c}\displaystyle 0\\\displaystyle 180 y \left(4 x y^{2} - 6 x y + 2 x - 2 y^{2} + 3 y - 1\right)\end{array}\right)\)
This DOF is associated with face 0 of the reference element.