(→7.3 Third example: Heterogeneity and anisotropy) |
|||
(69 intermediate revisions by the same user not shown) | |||
Line 25: | Line 25: | ||
* Guided by the local formulation, we deduce a natural way to approximate the flux/gradient-vector of a discretized function, as well as the anisotropic flux vector. We carry out a comparison of the formulas defining the flux in both DEC and Finite Element Method with linear interpolation functions (FEML). | * Guided by the local formulation, we deduce a natural way to approximate the flux/gradient-vector of a discretized function, as well as the anisotropic flux vector. We carry out a comparison of the formulas defining the flux in both DEC and Finite Element Method with linear interpolation functions (FEML). | ||
− | * In order to understand how to discretize the anisotropic Poisson equation, we develop the discretization of the pull-back operator of 1-forms under an arbitrary linear trasformation or tensor. The pull-back operator is one of the basic ingredients in Exterior Differential Calculus in the smooth setting and is essential in all of its applications in Topology [bott-Tu]. We discretize the ''pullback operator on primal 1-forms induced by an arbitrary tensor'' using Whitney interpolation (the Whitney map). The Whitney interpolation forms were introduced by Hassler Whitney in 1957 | + | * In order to understand how to discretize the anisotropic Poisson equation, we develop the discretization of the pull-back operator of 1-forms under an arbitrary linear trasformation or tensor. The pull-back operator is one of the basic ingredients in Exterior Differential Calculus in the smooth setting and is essential in all of its applications in Topology [bott-Tu]. We discretize the ''pullback operator on primal 1-forms induced by an arbitrary tensor'' using Whitney interpolation (the Whitney map). The Whitney interpolation forms were introduced by Hassler Whitney in 1957 <span id='citeF-12'></span>[[#cite-12|[12]]] and Bossavit <span id='citeF-1'></span>[[#cite-1|[1]]] explained their relevance in “mixed methods” of finite elements. To our knowledge, this is the first time that the discrete version of this operator is presented in the DEC literature. This has allowed us to discretize, in a principled manner, the anisotropic heat equation. |
* We carry out an analytic comparison of the DEC and FEML local formulations of the anisotropic Poisson equation. | * We carry out an analytic comparison of the DEC and FEML local formulations of the anisotropic Poisson equation. | ||
Line 41: | Line 41: | ||
In this section, we will recall the basic operators of Dicrete Exterior Calculus restricting ourselves to a mesh made up of one simplex/triangle. The local results we derive in the paper can be assembled, just as in the Finite elemnt Method, due to the additivity of both differentiation and integration. | In this section, we will recall the basic operators of Dicrete Exterior Calculus restricting ourselves to a mesh made up of one simplex/triangle. The local results we derive in the paper can be assembled, just as in the Finite elemnt Method, due to the additivity of both differentiation and integration. | ||
− | Let us consider a primal mesh made up of a single (positively oriented) triangle with vertices <math display="inline">v_1,v_2,v_3</math>. | + | Let us consider a primal mesh made up of a single (positively oriented) triangle with vertices <math display="inline">v_1,v_2,v_3</math> ([[#img-1|Figure 1]]). |
<div id='img-1'></div> | <div id='img-1'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle01.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle01.png|328px|Triangle ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding-bottom:10px;"| '''Figure 1'''. Triangle | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 1'''. Triangle <math display="inline">v_1,v_2,v_3</math> |
|} | |} | ||
Line 149: | Line 149: | ||
===2.2 Discrete derivative=== | ===2.2 Discrete derivative=== | ||
− | It has been argued that the DEC discretization of the differential of a function is given by the transpose of the matrix of the boundary operator on edges | + | It has been argued that the DEC discretization of the differential of a function is given by the transpose of the matrix of the boundary operator on edges <span id='citeF-8'></span><span id='citeF-6'></span>[[#cite-8|[6,8]]]. More precisely, suppose we have a function discretized by its values at the vertices |
{| class="formulaSCP" style="width: 100%; text-align: left;" | {| class="formulaSCP" style="width: 100%; text-align: left;" | ||
Line 173: | Line 173: | ||
|} | |} | ||
− | Indeed, such differences are rough approximations of the directional derivatives of <math display="inline">f</math> along the oriented edges. For instance, <math display="inline">f_2-f_1</math> is a rough approximation of the directional derivative of <math display="inline">f</math> at <math display="inline">v_1</math> in the direction of the vector <math display="inline">v_2-v_1</math>, i.e. | + | Indeed, such differences are rough approximations of the directional derivatives of <math display="inline">f</math> along the oriented edges. For instance, <math display="inline">f_2-f_1</math> is a rough approximation of the directional derivative of <math display="inline">f</math> at <math display="inline">v_1</math> in the direction of the vector <math display="inline">v_2-v_1</math>, i.e., |
{| class="formulaSCP" style="width: 100%; text-align: left;" | {| class="formulaSCP" style="width: 100%; text-align: left;" | ||
Line 205: | Line 205: | ||
The dual mesh of the primal mesh consisting of a single triangle is constructured as follows: | The dual mesh of the primal mesh consisting of a single triangle is constructured as follows: | ||
− | * To the 2-dimensional triangular face <math display="inline">[v_1,v_2,v_3]</math> will correspond the 0-dimensional point given by the circumcenter <math display="inline">c</math> of the triangle. | + | * To the 2-dimensional triangular face <math display="inline">[v_1,v_2,v_3]</math> will correspond the 0-dimensional point given by the circumcenter <math display="inline">c</math> of the triangle ([[#img-2|Figure 2]]). |
<div id='img-2'></div> | <div id='img-2'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle02.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle02.png|340px|Circumcenter ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding-bottom:10px;"| '''Figure 2'''. Circumcenter | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 2'''. Circumcenter <math display="inline">c</math> of the triangle <math display="inline">[v_1,v_2,v_3]</math> |
|} | |} | ||
− | * To the 1-dimensional edge <math display="inline">[v_1,v_2]</math> will correspond the 1-dimensional straight line segment <math display="inline">[p_1,c]</math> joining the midpoint <math display="inline">p_1</math> of the edge <math display="inline">[v_1,v_2]</math> to the circumcenter <math display="inline">c</math>. Similarly for the other edges. | + | * To the 1-dimensional edge <math display="inline">[v_1,v_2]</math> will correspond the 1-dimensional straight line segment <math display="inline">[p_1,c]</math> joining the midpoint <math display="inline">p_1</math> of the edge <math display="inline">[v_1,v_2]</math> to the circumcenter <math display="inline">c</math> ([[#img-3|Figure 3]]). Similarly for the other edges. |
<div id='img-3'></div> | <div id='img-3'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle03.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle03.png|340px|Dual segment ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding-bottom:10px;"| '''Figure 3'''. Dual segment | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 3'''. Dual segment <math display="inline">[p_1,c]</math> of the edge <math display="inline">[v_1,v_2]</math> |
|} | |} | ||
− | * To the 0-dimensional vertex/node <math display="inline">[v_1]</math> will correspond the oriented <math display="inline">2</math>-dimensional quadrilateral <math display="inline">[v_1,p_1,c,p_3]</math>. | + | * To the 0-dimensional vertex/node <math display="inline">[v_1]</math> will correspond the oriented <math display="inline">2</math>-dimensional quadrilateral <math display="inline">[v_1,p_1,c,p_3]</math> ([[#img-4|Figure 4]]). |
<div id='img-4'></div> | <div id='img-4'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: bottom;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: bottom;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle04.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Triangle04.png|340px|Dual quadrilateral ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding-bottom:10px;"| '''Figure 4'''. Dual quadrilateral | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 4'''. Dual quadrilateral <math display="inline">[v_1,p_1,c,p_3]</math> of the vertex <math display="inline">[v_1]</math> |
|} | |} | ||
Line 396: | Line 396: | ||
{| style="text-align: left; margin:auto;width: 100%;" | {| style="text-align: left; margin:auto;width: 100%;" | ||
|- | |- | ||
− | | style="text-align: center;" | <math>S(X(p))\cdot Y =X(p)\cdot S^T Y | + | | style="text-align: center;" | <math>S(X(p))\cdot Y =X(p)\cdot S^T Y =\alpha (p, S^T Y) =(S^T)^*\alpha (p, Y), </math> |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|} | |} | ||
|} | |} | ||
Line 684: | Line 680: | ||
|} | |} | ||
− | As in | + | As in Subsection [[#2.2 Discrete derivative|2.2]], the rough approximations to directional derivatives of a function <math display="inline">f</math> in the directions of the (oriented) edges are given as follows |
{| class="formulaSCP" style="width: 100%; text-align: left;" | {| class="formulaSCP" style="width: 100%; text-align: left;" | ||
Line 764: | Line 760: | ||
{| style="text-align: left; margin:auto;width: 100%;" | {| style="text-align: left; margin:auto;width: 100%;" | ||
|- | |- | ||
− | | style="text-align: center;" | <math>f_3-f_1 = W_1\cdot (v_3-v_1) </math> | + | | style="text-align: center;" | <math>f_3-f_1 = W_1\cdot (v_3-v_1) = W_1\cdot (v_3-v_2+v_2-v_1)</math> |
|- | |- | ||
− | + | | style="text-align: center;" | <math> = W_1\cdot (v_3-v_2)+W_1\cdot (v_2-v_1)= W_1\cdot (v_3-v_2)+f_2-f_1, </math> | |
− | + | ||
− | | style="text-align: center;" | <math> = W_1\cdot (v_3-v_2)+W_1\cdot (v_2-v_1) | + | |
− | + | ||
− | + | ||
|} | |} | ||
|} | |} | ||
Line 987: | Line 979: | ||
====4.2.1 <span id='lb-4.2.1'></span>Geometric interpretation of the entries of <math>K^{DEC}</math>==== | ====4.2.1 <span id='lb-4.2.1'></span>Geometric interpretation of the entries of <math>K^{DEC}</math>==== | ||
− | Consider the | + | Consider the [[#img-5|Figure 5]], where <math display="inline">J</math> denotes the <math display="inline">90^\circ </math> anti-clockwise rotation |
{| class="formulaSCP" style="width: 100%; text-align: left;" | {| class="formulaSCP" style="width: 100%; text-align: left;" | ||
Line 1,001: | Line 993: | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-DiscretizedAnisotropyOperator03-v2.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-DiscretizedAnisotropyOperator03-v2.png|420px|Geometric interpretation of the entries of the anisotropy tensor discretization ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding:10px;"| '''Figure 5'''. Geometric interpretation of the entries of the anisotropy tensor discretization | + | | colspan="1" style="padding:10px;"| '''Figure 5'''. Geometric interpretation of the entries of the anisotropy tensor discretization <math>K^{DEC}</math> |
|} | |} | ||
Line 1,073: | Line 1,065: | ||
|} | |} | ||
− | In order to simplify the notation, consider the lengths and areas defined in | + | In order to simplify the notation, consider the lengths and areas defined in [[#img-6|Figure 6]]. |
<div id='img-6'></div> | <div id='img-6'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-WellCenteredTriangle02-eps-converted-to.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-WellCenteredTriangle02-eps-converted-to.png|310px|Triangle ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding-bottom:10px;" | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 6'''. Triangle |
|} | |} | ||
Line 1,176: | Line 1,168: | ||
===5.3 Comparison between local DEC and FEML discretizations=== | ===5.3 Comparison between local DEC and FEML discretizations=== | ||
− | For the sake of brevity, we are only going to compare the entries of the first row and first column of each formulation. Consider the various lengths, areas and angles labeled in | + | For the sake of brevity, we are only going to compare the entries of the first row and first column of each formulation. Consider the various lengths, areas and angles labeled in [[#img-6|Figures 6]] and [[#img-7|7]]. |
<div id='img-7'></div> | <div id='img-7'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-WellCenteredTriangle03-eps-converted-to.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-WellCenteredTriangle03-eps-converted-to.png|298px|Circumscribed triangle.]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| colspan="1" style="padding-bottom:10px;"| '''Figure 7'''. Circumscribed triangle. | | colspan="1" style="padding-bottom:10px;"| '''Figure 7'''. Circumscribed triangle. | ||
Line 1,246: | Line 1,238: | ||
{| style="text-align: left; margin:auto;width: 100%;" | {| style="text-align: left; margin:auto;width: 100%;" | ||
|- | |- | ||
− | | style="text-align: center;" | <math>\begin{array}{l} \displaystyle{1\over 4A}\left(\displaystyle{l_1(\eta ^K_{3,1}+\eta ^K_{2, 1}-\eta ^K_{1, 1})\over L_1}+\displaystyle{l_3(\eta ^K_{3, 2}+\eta ^K_{2,2}-\eta ^K_{1, 2})\over L_3}\right) | + | | style="text-align: center;" | <math>\begin{array}{l} & \displaystyle{1\over 4A}\left(\displaystyle{l_1(\eta ^K_{3,1}+\eta ^K_{2, 1}-\eta ^K_{1, 1})\over L_1}+\displaystyle{l_3(\eta ^K_{3, 2}+\eta ^K_{2,2}-\eta ^K_{1, 2})\over L_3}\right) =\\ |
+ | &\qquad = -\displaystyle{1 \over 2A }\left(\displaystyle{l_1\over L_1}J(v_3-v_2)\cdot K(v_2-v_1) + \displaystyle{l_1\over L_1}J(v_3-v_2)\cdot K(v_3-v_1) \right) \\ | ||
+ | &\qquad = \displaystyle{J(v_3-v_2)\cdot K(v_1-v_3)\over 2A}{\tan (\alpha _3)\over 2} -\displaystyle{J(v_3-v_2)\cdot K( v_2-v_1)\over 2A}\displaystyle{\tan (\alpha _1)\over 2}\\ | ||
+ | &\qquad = \displaystyle{1\over 4A}J(v_3-v_2)\cdot K((v_1-v_3)\tan (\alpha _3)- (v_2-v_1)\tan (\alpha _1)). \end{array}</math> | ||
|} | |} | ||
|} | |} | ||
Line 1,374: | Line 1,369: | ||
|} | |} | ||
− | These expressions are valid regardless of the location of the circumcenter and can, indeed, take negative values. The angles that are measured in the scheme can be negative as in the obtuse triangle of | + | These expressions are valid regardless of the location of the circumcenter and can, indeed, take negative values. The angles that are measured in the scheme can be negative as in the obtuse triangle of [[#img-8|Figure 8]]. |
<div id='img-8'></div> | <div id='img-8'></div> | ||
Line 1,380: | Line 1,375: | ||
|- | |- | ||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle01a-eps-converted-to.png|180px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle01a-eps-converted-to.png|180px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NegativeAngles01-eps-converted-to.png|180px|Negative (exterior) angles measured in an obtuse triangle.]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NegativeAngles01-eps-converted-to.png|180px|Negative (exterior) angles measured in an obtuse triangle.]] | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan=" | + | | colspan="2" style="padding:10px;"| '''Figure 8'''. Negative (exterior) angles measured in an obtuse triangle |
|} | |} | ||
Line 1,410: | Line 1,404: | ||
===6.2 Area weights assigned to vertices=== | ===6.2 Area weights assigned to vertices=== | ||
− | In order to understand how local DEC assigns area weights to vertices differently from FEML, let us consider the obtuse triangle shown in | + | In order to understand how local DEC assigns area weights to vertices differently from FEML, let us consider the obtuse triangle shown in [[#img-8|Figure 8]]. Let <math display="inline">p_1,p_2,p_3</math> be the middle points of the segments <math display="inline">[v_1,v_2],[v_1,v_3],[v_2,v_3]</math> respectively. As shown in [[#img-9|Figure 9]], the triangle <math display="inline">[v_1,p_3,c]</math> lies completely outside of the triangle <math display="inline">[v_1,v_2,v_3]</math>. Geometrically, this implies that its area must be assigned a negative sign, which is confirmed by the determinant formulas of Subsection [[#6.1 The discrete Hodge star quantities revisited|6.1]]. On the other hand, the triangle <math display="inline">[v_1,p_1,c]</math> will have positive area. Thus, their sum gives us the area <math display="inline">A_1</math> in [[#img-9|Figure 9]]. |
<div id='img-9'></div> | <div id='img-9'></div> | ||
Line 1,416: | Line 1,410: | ||
|- | |- | ||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle03a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle03a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle04a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle04a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle05a-eps-converted-to.png|200px|Area weight assigned to ]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle05a-eps-converted-to.png|200px|Area weight assigned to ]] | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan=" | + | | colspan="3" style="padding-bottom:10px;"| '''Figure 9'''. Area weight assigned to <math display="inline">v_1</math> |
|} | |} | ||
− | The area <math display="inline">A_3</math> is computed similarly, where the triangle <math display="inline">[p_3,v_3,c]</math> is assigned negative area ( | + | The area <math display="inline">A_3</math> is computed similarly, where the triangle <math display="inline">[p_3,v_3,c]</math> is assigned negative area ([[#img-10|Figure 10]]). |
<div id='img-10'></div> | <div id='img-10'></div> | ||
Line 1,431: | Line 1,423: | ||
|- | |- | ||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle06a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle06a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle07a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle07a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle08a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle08a-eps-converted-to.png|200px|]] | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan=" | + | | colspan="3" style="padding-bottom:10px;"| '''Figure 10'''. Area weight assigned to <math display="inline">v_3</math> |
|} | |} | ||
− | Note that for <math display="inline">A_2</math>, the two triangles <math display="inline">[p_1,v_2,c]</math> and <math display="inline">[v_2,p_2,c]</math> both have positive areas ( | + | Note that for <math display="inline">A_2</math>, the two triangles <math display="inline">[p_1,v_2,c]</math> and <math display="inline">[v_2,p_2,c]</math> both have positive areas ([[#img-11|Figure 11]]). |
<div id='img-11'></div> | <div id='img-11'></div> | ||
Line 1,445: | Line 1,435: | ||
|- | |- | ||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle09a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle09a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle10a-eps-converted-to.png|200px|]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle10a-eps-converted-to.png|200px|]] | ||
− | |||
|style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle11a-eps-converted-to.png|200px|Area weight assigned to ]] | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-NonWellCenteredTriangle11a-eps-converted-to.png|200px|Area weight assigned to ]] | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan=" | + | | colspan="3" style="padding-bottom:10px;"| '''Figure 11'''. Area weight assigned to <math display="inline">v_2</math> |
|} | |} | ||
==7. Numerical examples== | ==7. Numerical examples== | ||
− | In this section, we present three numerical examples in order to illustrate the performance of DEC resulting from the local formulation and its implementation. In all cases, we solve the anisotropic Poisson equation. The FEML methodology that we have used in the comparison can be consulted <span id='citeF-11'></span><span id='citeF-13'></span><span id='citeF-2'></span>[[#cite-11|[11,13 | + | In this section, we present three numerical examples in order to illustrate the performance of DEC resulting from the local formulation and its implementation. In all cases, we solve the anisotropic Poisson equation. The FEML methodology that we have used in the comparison can be consulted <span id='citeF-11'></span><span id='citeF-13'></span><span id='citeF-2'></span>[[#cite-11|[2,11,13]]]. |
===7.1 First example: Heterogeneity=== | ===7.1 First example: Heterogeneity=== | ||
− | This example is intended to highlight how Local DEC deals effectively with heterogeneous materials. Consider the region in the plane given in | + | This example is intended to highlight how Local DEC deals effectively with heterogeneous materials. Consider the region in the plane given in [[#img-12|Figure 12]]. |
<div id='img-12'></div> | <div id='img-12'></div> | ||
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" |
|- | |- | ||
− | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_12_SquareWithConditions.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_12_SquareWithConditions.png|220px|Square and inner circle with different conditions.]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" style="padding | + | | colspan="1" style="padding:10px;"| '''Figure 12'''. Square and inner circle with different conditions |
|} | |} | ||
Line 1,473: | Line 1,461: | ||
− | The meshes used in this example are shown in | + | The meshes used in this example are shown in [[#img-13|Figure 13]] and vary from coarse to very fine. |
− | <div id='img- | + | <div id='img-13a'></div> |
− | <div id='img- | + | <div id='img-13b'></div> |
<div id='img-13c'></div> | <div id='img-13c'></div> | ||
+ | <div id='img-13d'></div> | ||
+ | <div id='img-13e'></div> | ||
+ | <div id='img-13f'></div> | ||
<div id='img-13'></div> | <div id='img-13'></div> | ||
{| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_13_Square_m1.png|150px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m1.png|150px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_13_Square_m2.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m2.png|144px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_13_Square_m3.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m3.png|144px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | ( | + | | (a) |
− | | ( | + | | (b) |
| (c) | | (c) | ||
+ | |- | ||
+ | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m4.png|150px|]] | ||
+ | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m5.png|150px|]] | ||
+ | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_13_Square_m6.png|150px|]] | ||
+ | |- style="text-align: center; font-size: 75%;" | ||
+ | | (d) | ||
+ | | (e) | ||
+ | | (f) | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="3" | '''Figure 13''' | + | | colspan="3" style="padding:10px;"| '''Figure 13'''. Six of the meshes used in the first example |
|} | |} | ||
+ | |||
+ | The numerical results for the maximum temperature value are exemplified in [[#table-1|Table 1]]. | ||
+ | |||
+ | <div id='table-1'></div> | ||
+ | <div class="center" style="font-size: 75%;">'''Table 1'''. Numerical simulation results of the first example</div> | ||
+ | |||
+ | <div id='tab-1'></div> | ||
+ | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" | ||
+ | |-style="text-align:center" | ||
+ | ! rowspan='2' | Mesh !! rowspan='2' | Nodes !! rowspan='2' | Elements !! colspan='2' | Max. Temp. Value !! colspan='2' | Max. Flux Magnitude | ||
+ | |-style="text-align:center" | ||
+ | ! DEC !! FEML !! DEC !! FEML | ||
+ | |- style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](a) | ||
+ | | 49 | ||
+ | | 80 | ||
+ | | 5.51836 | ||
+ | | 5.53345 | ||
+ | | 13.837 | ||
+ | | 13.453 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](b) | ||
+ | | 98 | ||
+ | | 162 | ||
+ | | 5.65826 | ||
+ | | 5.66648 | ||
+ | | 14.137 | ||
+ | | 14.024 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](c) | ||
+ | | 258 | ||
+ | | 466 | ||
+ | | 5.70585 | ||
+ | | 5.71709 | ||
+ | | 14.858 | ||
+ | | 14.770 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](d) | ||
+ | | 1,010 | ||
+ | | 1,914 | ||
+ | | 5.72103 | ||
+ | | 5.72280 | ||
+ | | 15.008 | ||
+ | | 15.006 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](e) | ||
+ | | 3,813 | ||
+ | | 7,424 | ||
+ | | 5.72725 | ||
+ | | 5.72725 | ||
+ | | 15.229 | ||
+ | | 15.228 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-13|Figure 13]](f) | ||
+ | | 13,911 | ||
+ | | 27,420 | ||
+ | | 5.72821 | ||
+ | | 5.72826 | ||
+ | | 15.342 | ||
+ | | 15.337 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 50,950 | ||
+ | | 101,098 | ||
+ | | 5.72841 | ||
+ | | 5.72842 | ||
+ | | 15.395 | ||
+ | | 15.396 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 135,519 | ||
+ | | 269,700 | ||
+ | | 5.72845 | ||
+ | | 5.72845 | ||
+ | | 15.420 | ||
+ | | 15.417 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 298,299 | ||
+ | | 594,596 | ||
+ | | 5.72848 | ||
+ | | 5.72848 | ||
+ | | 15.430 | ||
+ | | 15.429 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 600,594 | ||
+ | | 1,198,330 | ||
+ | | 5.72848 | ||
+ | | 5.72848 | ||
+ | | 15.433 | ||
+ | | 15.433 | ||
+ | |- style="text-align:center" | ||
+ | | | ||
+ | | 1,175,238 | ||
+ | | 2,346,474 | ||
+ | | 5.72849 | ||
+ | | 5.72849 | ||
+ | | 15.43724 | ||
+ | | 15.43724 | ||
+ | |} | ||
+ | |||
+ | |||
+ | The temperature and flux-magnitude distribution fields are shown in [[#img-14| Figure 14]]. | ||
<div id='img-14a'></div> | <div id='img-14a'></div> | ||
<div id='img-14b'></div> | <div id='img-14b'></div> | ||
− | |||
<div id='img-14'></div> | <div id='img-14'></div> | ||
− | {| | + | {| style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;max-width: auto;" |
+ | |- | ||
+ | | style="text-align: center;padding:10px;"| [[Image:Esqueda_et_al_2020a-Fig_14_Square_contour_temp.png|240px|Contour Fill of Temperatures]] | ||
+ | | style="text-align: center;padding:10px;"| [[Image:Esqueda_et_al_2020a-Fig_14_Square_contour_flux.png|240px|Contour Fill of Flux vectors on Elems]] | ||
|- | |- | ||
− | | | + | | style="text-align: center;font-size: 75%;"|(a) Contour fill of temperatures |
− | | | + | | style="text-align: center;font-size: 75%;"|(b) Contour fill of flux vectors on Elems |
− | + | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | | + | | colspan="2" style="padding:10px;"| '''Figure 14'''. Temperature and flux-magnitude distribution fields of the first example |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|} | |} | ||
− | |||
+ | [[#img-15|Figure 15]] shows the graphs of the temperature and the flux-magnitude along a horizontal line crossing the inner circle for the first two meshes. | ||
− | + | <div id='img-15a'></div> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
<div id='img-15b'></div> | <div id='img-15b'></div> | ||
+ | <div id='img-15c'></div> | ||
+ | <div id='img-15d'></div> | ||
+ | <div id='img-15e'></div> | ||
+ | <div id='img-15f'></div> | ||
<div id='img-15'></div> | <div id='img-15'></div> | ||
− | {| | + | {| style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;max-width: auto;" |
|- | |- | ||
− | | | + | | style="text-align: center;padding:10px;"| [[Image:Esqueda_et_al_2020a-Fig_15_Square_m1_diametral_temp.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a- | + | | style="text-align: center;padding:10px;"| [[Image:Esqueda_et_al_2020a-Fig_15_Square_m1_diametral_flux.png|300px|]] |
− | | | + | |
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|- | |- | ||
− | | | + | | style="text-align: center;font-size: 75%;"|(a) |
− | + | | style="text-align: center;font-size: 75%;"|(b) | |
− | | | + | |
− | + | ||
− | | (b) | + | |
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_15_Square_m2_diametral_temp.png| | + | |style="text-align: center;padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_15_Square_m2_diametral_temp.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_15_Square_m2_diametral_flux.png| | + | |style="text-align: center;padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_15_Square_m2_diametral_flux.png|300px|]] |
− | |- style="text-align: center; font-size: 75%;" | + | |- |
− | | (c) | + | | style="text-align: center;font-size: 75%;"|(c) |
− | | (d) | + | | style="text-align: center;font-size: 75%;"|(d) |
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_15_Square_m3_diametral_temp.png| | + | |style="text-align: center;padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_15_Square_m3_diametral_temp.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_15_Square_m3_diametral_flux.png| | + | |style="text-align: center;padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_15_Square_m3_diametral_flux.png|300px|]] |
− | |- style="text-align: center; font-size: 75%;" | + | |- |
− | | (e) | + | | style="text-align: center;font-size: 75%;"|(e) |
− | | (f) | + | | style="text-align: center;font-size: 75%;"|(f) |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="2" | '''Figure | + | | colspan="2" style="padding:10px;"| '''Figure 15'''. Temperature and Flux magnitude graphs of the first example along a cross-section of the domain for different meshes |
|} | |} | ||
− | |||
+ | [[#table-2|Table 2]] shows some global error metrics for different meshes. [[#img-16|Figure 16]] shows the error evolution in <math display="inline">L^2</math> norm for this example. | ||
− | + | <div id='table-2'></div> | |
− | + | <div class="center" style="font-size: 75%;">'''Table 2'''. DEC <math>L^2</math> errors in the first example</div> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
+ | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" | ||
+ | |-style="text-align:center" | ||
+ | ! Mesh !! Nodes !! <math> \sum (u-u_i)^2 \over nodes </math> !! <math>L^2</math> norm | ||
+ | |- style="text-align:center" | ||
+ | | 1 | ||
+ | | 49 | ||
+ | | 1.0537e-02 | ||
+ | | 1.4438e-01 | ||
+ | |- style="text-align:center" | ||
+ | | 2 | ||
+ | | 98 | ||
+ | | 4.2447e-03 | ||
+ | | 4.8558e-02 | ||
+ | |- style="text-align:center" | ||
+ | | 3 | ||
+ | | 258 | ||
+ | | 6.9781e-04 | ||
+ | | 3.0390e-03 | ||
+ | |- style="text-align:center" | ||
+ | | 4 | ||
+ | | 1,010 | ||
+ | | 8.8386e-05 | ||
+ | | 1.4877e-04 | ||
+ | |- style="text-align:center" | ||
+ | | 5 | ||
+ | | 3,813 | ||
+ | | 1.0736e-05 | ||
+ | | 7.7369e-06 | ||
+ | |- style="text-align:center" | ||
+ | | 6 | ||
+ | | 13,911 | ||
+ | | 1.4422e-06 | ||
+ | | 4.9791e-07 | ||
+ | |- style="text-align:center" | ||
+ | | 7 | ||
+ | | 50,950 | ||
+ | | 1.7582e-07 | ||
+ | | 2.9608e-08 | ||
+ | |- style="text-align:center" | ||
+ | | 8 | ||
+ | | 135,518 | ||
+ | | 3.2621e-08 | ||
+ | | 2.9233e-09 | ||
+ | |- style="text-align:center" | ||
+ | | 9 | ||
+ | | 298,299 | ||
+ | | 7.3566e-09 | ||
+ | | 3.3610e-10 | ||
+ | |- style="text-align:center" | ||
+ | | 10 | ||
+ | | 603,440 | ||
+ | | 1.8577e-09 | ||
+ | | 4.9496e-11 | ||
|} | |} | ||
− | <div id='img- | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-16'></div> |
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Square_Circle.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Square_Circle.png|430px|DEC ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 16'''. DEC <math>L^2</math> error in the first example |
|} | |} | ||
===7.2 Second example: Anisotropy=== | ===7.2 Second example: Anisotropy=== | ||
− | Let us solve the Poisson equation in a circle of radius one centered at the origin <math display="inline">(0,0)</math> under the following conditions ( | + | Let us solve the Poisson equation in a circle of radius one centered at the origin <math display="inline">(0,0)</math> under the following conditions ([[#img-17|Figure 17]]): |
* heat anisotropic diffusion constants <math display="inline">K_x = 1.5, K_y=1.0</math>; | * heat anisotropic diffusion constants <math display="inline">K_x = 1.5, K_y=1.0</math>; | ||
Line 1,741: | Line 1,722: | ||
<div id='img-18'></div> | <div id='img-18'></div> | ||
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" |
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_16_CircleWithConditions.png|180px|Disk of radius one.]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_16_CircleWithConditions.png|180px|Disk of radius one.]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 17'''. Disk of radius one |
|} | |} | ||
− | The meshes used in this example are shown in | + | |
− | <div id='img- | + | |
− | <div id='img- | + | The meshes used in this example are shown in [[#img-18|Figure 18]] and vary from very coarse to very fine. |
− | <div id='img- | + | |
− | <div id='img- | + | <div id='img-18a'></div> |
− | <div id='img- | + | <div id='img-18b'></div> |
− | <div id='img- | + | <div id='img-18c'></div> |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-18d'></div> |
+ | <div id='img-18e'></div> | ||
+ | <div id='img-18f'></div> | ||
+ | <div id='img-18'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh1.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh1.png|144px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh2.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh2.png|144px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh3.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh3.png|144px|]] |
− | | | + | |- |
− | | | + | | style="text-align: center;font-size: 75%;"|(a) |
− | | (a) | + | | style="text-align: center;font-size: 75%;"|(b) |
− | | (b) | + | | style="text-align: center;font-size: 75%;"|(c) |
− | | | + | |
− | | ( | + | |
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh5.png|144px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh4.png|144px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh6.png|144px|]] | + | |colspan="1" style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh5.png|144px|]] |
+ | |colspan="1" style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_17_CircleMesh6.png|144px|]] | ||
+ | |- | ||
+ | | style="text-align: center;font-size: 75%;"|(d) | ||
+ | |colspan="1" style="text-align: center;font-size: 75%;"|(e) | ||
+ | | colspan="1" style="text-align: center;font-size: 75%;"|(f) | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | | + | | colspan="3" style="padding:10px;" | '''Figure 18'''. First six meshes used for unit disk |
− | + | ||
− | + | ||
− | + | ||
|} | |} | ||
− | |||
− | + | The numerical results for the maximum temperature value (<math display="inline">u(0,0)=10.2</math>) are exemplified in [[#table-3|Table 3]] where a comparison with the Finite Element Method with linear interpolation functions (FEML) is also shown. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
+ | <div id='table-3'></div> | ||
+ | <div style="text-align: center; font-size: 75%; ">'''Table 3'''. Temperature value at the point (0,0) and Flux magnitude value at the point (-1, 0) of the numerical simulations for the second example</div> | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" | ||
+ | |-style="text-align:center" | ||
+ | ! rowspan='2' | Mesh !! rowspan='2' | Nodes !! rowspan='2' | Elements !! colspan='2' | Temp. Value at <math>(0,0)</math> !! colspan='2' | Flux Magnitude at <math>(-1,0)</math> | ||
+ | |-style="text-align:center" | ||
+ | ! DEC !! FEML !! DEC !! FEML | ||
+ | |- style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](a) | ||
+ | | 17 | ||
+ | | 20 | ||
+ | | 10.20014 | ||
+ | | 10.19002 | ||
+ | | 0.42133 | ||
+ | | 0.43865 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](b) | ||
+ | | 41 | ||
+ | | 56 | ||
+ | | 10.20007 | ||
+ | | 10.19678 | ||
+ | | 0.48544 | ||
+ | | 0.49387 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](c) | ||
+ | | 201 | ||
+ | | 344 | ||
+ | | 10.20012 | ||
+ | | 10.20158 | ||
+ | | 0.52470 | ||
+ | | 0.52428 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](d) | ||
+ | | 713 | ||
+ | | 1304 | ||
+ | | 10.20000 | ||
+ | | 10.19969 | ||
+ | | 0.54143 | ||
+ | | 0.54224 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](e) | ||
+ | | 2455 | ||
+ | | 4660 | ||
+ | | 10.20000 | ||
+ | | 10.19990 | ||
+ | | 0.54971 | ||
+ | | 0.55138 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-18|Figure 18]](f) | ||
+ | | 8180 | ||
+ | | 15862 | ||
+ | | 10.20000 | ||
+ | | 10.20002 | ||
+ | | 0.55326 | ||
+ | | 0.55409 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 20016 | ||
+ | | 39198 | ||
+ | | 10.20000 | ||
+ | | 10.19999 | ||
+ | | 0.55470 | ||
+ | | 0.55520 | ||
+ | |- style="text-align:center" | ||
+ | | | ||
+ | | 42306 | ||
+ | | 83362 | ||
+ | | 10.20000 | ||
+ | | 10.20000 | ||
+ | | 0.55540 | ||
+ | | 0.55572 | ||
|} | |} | ||
− | |||
− | The temperature distribution and Flux magnitude fields for the finest mesh are shown in | + | |
− | <div id='img- | + | The temperature distribution and Flux magnitude fields for the finest mesh are shown in [[#img-19|Figure 19]]. |
− | <div id='img- | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-19a'></div> |
+ | <div id='img-19b'></div> | ||
+ | <div id='img-19'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_18_CircleContourTemp.png|234px|Contour Fill of Temperatures]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_18_CircleContourTemp.png|234px|Contour Fill of Temperatures]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_18_CircleContourFlux.png|234px|Contour Fill of Flux vectors on Elems]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_18_CircleContourFlux.png|234px|Contour Fill of Flux vectors on Elems]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (a) Contour Fill of Temperatures | | (a) Contour Fill of Temperatures | ||
| (b) Contour Fill of Flux vectors on Elems | | (b) Contour Fill of Flux vectors on Elems | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="2" | '''Figure | + | | colspan="2" style="padding:10px;"| '''Figure 19'''. Temperature distribution and Flux magnitude fields for the finest mesh of the second example |
|} | |} | ||
− | + | ||
− | <div id='img- | + | [[#img-20|Figures 20]](a), (b) and (c) show the graphs of the temperature and flux magnitude values along a diameter of the circle for the different meshes of [[#img-18|Figures 18]](a), (b) and (c), respectively. |
− | <div id='img- | + | |
− | <div id='img- | + | <div id='img-20a'></div> |
− | <div id='img- | + | <div id='img-20b'></div> |
− | <div id='img- | + | <div id='img-20c'></div> |
− | <div id='img- | + | <div id='img-20d'></div> |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-20e'></div> |
+ | <div id='img-20f'></div> | ||
+ | <div id='img-20'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection01.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection01.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection01.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection01.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (a) | | (a) | ||
| (b) | | (b) | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection02.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection02.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection02.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection02.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (c) | | (c) | ||
| (d) | | (d) | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection03.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleTempCrossSection03.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection03.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_19_CircleFluxCrossSection03.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (e) | | (e) | ||
| (f) | | (f) | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="2" | '''Figure | + | | colspan="2" style="padding:10px;"| '''Figure 20'''. Temperature and Flux magnitude graphs of the second example along a diameter of the circle for different meshes: mesh in [[#img-18|Figure 18]](a), a-Temperature, b-Flux; mesh in [[#img-18|Figure 18]](b), c-Temperature, d-Flux; mesh in [[#img-18|Figure 18]](c), e-Temperature, f-Flux |
|} | |} | ||
− | |||
+ | [[#table-4|Table 4]] shows some global error metrics for different meshes. [[#img-21|Figure 21]] shows the error evolution in <math display="inline">L^2</math> norm for this example. | ||
− | + | <div id='table-4'></div> | |
− | + | <div class="center" style="font-size: 75%;">'''Table 4'''. DEC errors in the second example</div> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
+ | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" | ||
+ | |-style="text-align:center" | ||
+ | ! Mesh !! Nodes !! <math> \sum (u-u_i)^2 \over nodes </math> !! <math>L^2</math> norm | ||
+ | |- style="text-align:center" | ||
+ | | 1 | ||
+ | | 17 | ||
+ | | 1.5818e-04 | ||
+ | | 2.3555e-06 | ||
+ | |- style="text-align:center" | ||
+ | | 2 | ||
+ | | 51 | ||
+ | | 2.5395e-05 | ||
+ | | 1.5639e-07 | ||
+ | |- style="text-align:center" | ||
+ | | 3 | ||
+ | | 201 | ||
+ | | 3.3643e-06 | ||
+ | | 1.0517e-08 | ||
+ | |- style="text-align:center" | ||
+ | | 4 | ||
+ | | 713 | ||
+ | | 5.1563e-07 | ||
+ | | 8.3543e-10 | ||
+ | |- style="text-align:center" | ||
+ | | 5 | ||
+ | | 2,455 | ||
+ | | 8.9235e-08 | ||
+ | | 7.6073e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 6 | ||
+ | | 8,180 | ||
+ | | 3.1731e-08 | ||
+ | | 2.9858e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 7 | ||
+ | | 20,016 | ||
+ | | 2.0217e-08 | ||
+ | | 2.6580e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 8 | ||
+ | | 42,306 | ||
+ | | 1.4421e-08 | ||
+ | | 2.7062e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 9 | ||
+ | | 82,722 | ||
+ | | 9.8533e-09 | ||
+ | | 2.6164e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 10 | ||
+ | | 156,274 | ||
+ | | 7.1352e-09 | ||
+ | | 2.5954e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 11 | ||
+ | | 420,013 | ||
+ | | 4.4277e-09 | ||
+ | | 2.6151e-11 | ||
+ | |- style="text-align:center" | ||
+ | | 12 | ||
+ | | 935,016 | ||
+ | | 2.9635e-09 | ||
+ | | 2.6003e-11 | ||
|} | |} | ||
− | <div id='img- | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-21'></div> |
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Circle.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Circle.png|430px|DEC ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 21'''. DEC <math>L^2</math> error evolution in the second example |
|} | |} | ||
===7.3 Third example: Heterogeneity and anisotropy=== | ===7.3 Third example: Heterogeneity and anisotropy=== | ||
− | Let us solve the Poisson equation in a circle of radius on the following domain ( | + | Let us solve the Poisson equation in a circle of radius on the following domain ([[#img-22|Figure 22]]) with various material properties. The geometry of the domain is defined by segments of ellipses passing through the given points which have centers at the origin <math display="inline">(0,0)</math>. |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | |
+ | <div id='img-23'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_20_HuevoGeometry.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_20_HuevoGeometry.png|340px|Egg-like domain with different materials.]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding:10px;"| '''Figure 22'''. Egg-like domain with different materials |
|} | |} | ||
− | {| | + | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" |
− | + | |-style="text-align:center" | |
− | + | ! Point !! <math>x</math> !! <math>y</math> !! Point !! <math>x</math> !! <math>y</math> | |
− | | style=" | + | |- style="text-align:center" |
− | + | | a | |
− | + | | -5 | |
− | + | | 0 | |
− | + | | A | |
− | |- style=" | + | | 0 |
− | + | | -4 | |
− | | | + | |-style="text-align:center" |
− | | | + | | b |
− | | | + | | -4 |
− | | | + | | 0 |
− | | | + | | B |
− | |- | + | | 0 |
− | + | | -3 | |
− | | | + | |-style="text-align:center" |
− | | | + | | c |
− | | | + | | -3 |
− | | | + | | 0 |
− | | | + | | C |
− | |- | + | | 0 |
− | + | | -2 | |
− | | | + | |-style="text-align:center" |
− | | | + | | d |
− | | | + | | -1 |
− | | | + | | 0 |
− | | | + | | D |
− | |- | + | | 0 |
− | + | | -1 | |
− | | | + | |-style="text-align:center" |
− | | | + | | e |
− | | | + | | 1 |
− | | | + | | 0 |
− | | | + | | E |
− | |- | + | | 0 |
− | + | | 1 | |
− | | | + | |-style="text-align:center" |
− | | | + | | f |
− | | | + | | 6 |
− | | | + | | 0 |
− | | | + | | F |
− | |- | + | | 0 |
− | + | | 2 | |
− | | | + | |-style="text-align:center" |
− | | | + | | g |
− | | | + | | 7 |
− | | | + | | 0 |
− | | | + | | G |
− | |- | + | | 0 |
− | + | | 3 | |
− | | | + | |- style="text-align:center" |
− | | | + | | h |
− | | | + | | 8 |
− | | | + | | 0 |
− | | | + | | H |
− | |- style=" | + | | 0 |
− | + | | 4 | |
− | | | + | |
− | | | + | |
− | | | + | |
− | | | + | |
− | | | + | |
− | + | ||
|} | |} | ||
− | * The Dirichlet boundary condition is <math display="inline">u=10</math> and material properties (anisotropic heat diffusion constants, material angles and source terms) are given according to | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | * The Dirichlet boundary condition is <math display="inline">u=10</math> and material properties (anisotropic heat diffusion constants, material angles and source terms) are given according to [[#img-23|Figure 23]] and the table below. |
+ | |||
+ | <div id='img-24'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_21_HuevoWithConditions.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_21_HuevoWithConditions.png|300px|Dirichlet condition.]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding:10px;"| '''Figure 23'''. Dirichlet condition |
|} | |} | ||
− | {| | + | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" |
− | + | |-style="text-align:center" | |
− | | style="text-align: | + | ! !! <math>K_x</math> !! <math>K_y</math> !! Angle !! <math>q</math> |
− | + | |- style="text-align:center" | |
− | + | | Domain mat1 | |
− | + | | 5 | |
− | + | | 25 | |
− | |- | + | | 30 |
− | + | | 15 | |
− | | | + | |- style="text-align:center" |
− | | | + | | style="text-align: left;" | Domain mat2 |
− | + | | 25 | |
− | | | + | | 5 |
− | |- style=" | + | | 0 |
− | | style="text-align: left | + | | 5 |
− | | | + | |- style="text-align:center" |
− | | | + | | style="text-align: left;" | Domain mat3 |
− | | | + | | 50 |
− | | | + | | 12 |
− | |- style=" | + | | 45 |
− | | style="text-align: left | + | | 5 |
− | | | + | |- style="text-align:center" |
− | | | + | | style="text-align: left;" | Domain mat4 |
− | | | + | | 10 |
− | | | + | | 35 |
− | |- style=" | + | | 0 |
− | | style="text-align: left | + | | 5 |
− | | | + | |
− | + | ||
− | + | ||
− | | | + | |
− | + | ||
|} | |} | ||
− | The meshes used in this example are shown in | + | |
− | <div id='img- | + | The meshes used in this example are shown in [[#img-24|Figure 24]]. |
− | <div id='img- | + | |
− | <div id='img- | + | <div id='img-24a'></div> |
− | <div id='img- | + | <div id='img-24b'></div> |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-24c'></div> |
+ | <div id='img-24d'></div> | ||
+ | <div id='img-24'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_22_HuevoMesh1.png|210px|]] | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_22_HuevoMesh1.png|210px|]] |
− | | | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_22_HuevoMesh2.png|210px|]] |
− | |[[Image:Esqueda_et_al_2020a- | + | |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (a) | | (a) | ||
| (b) | | (b) | ||
− | |||
|- | |- | ||
− | | | + | | style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_22_HuevoMesh3.png|210px|]] |
+ | | style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_22_HuevoMesh4.png|210px|]] | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
+ | | (c) | ||
| (d) | | (d) | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="3" | '''Figure | + | | colspan="3" style="padding:10px;"| '''Figure 24'''. Meshes for layered egg-like figure |
|} | |} | ||
− | |||
− | + | The numerical results for the maximum temperature value (<math display="inline">u(0,0)=10.2</math>) are exemplified in [[#table-5|Table 5]] where a comparison with the Finite Element Method with linear interpolation functions (FEML) is also shown. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
+ | <div id='table-5'></div> | ||
+ | <div style="text-align: center; font-size: 75%; ">'''Table 5'''. Maximum temperature and Flux magnitude values in the numerical simulations of the third example</div> | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" | ||
+ | |-style="text-align:center" | ||
+ | ! rowspan='2' | Mesh !! rowspan='2' | Nodes !! rowspan='2' | Elements !! colspan='2' | Max. Temp. Value !! colspan='2' | Max. Flux Magnitude | ||
+ | |-style="text-align:center" | ||
+ | ! DEC !! FEML !! DEC !! FEML | ||
+ | |- style="text-align:center" | ||
+ | | [[#img-24|Figure 24]](a) | ||
+ | | 342 | ||
+ | | 616 | ||
+ | | 2.79221 | ||
+ | | 2.79854 | ||
+ | | 18.41066 | ||
+ | | 18.40573 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-24|Figure 24]](b) | ||
+ | | 1,259 | ||
+ | | 2,384 | ||
+ | | 2.83929 | ||
+ | | 2.84727 | ||
+ | | 18.93838 | ||
+ | | 18.91532 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-24|Figure 24]](c) | ||
+ | | 4,467 | ||
+ | | 8,668 | ||
+ | | 2.85608 | ||
+ | | 2.85717 | ||
+ | | 19.13297 | ||
+ | | 19.13193 | ||
+ | |-style="text-align:center" | ||
+ | | [[#img-24|Figure 24]](d) | ||
+ | | 14,250 | ||
+ | | 28,506 | ||
+ | | 2.85994 | ||
+ | | 2.86056 | ||
+ | | 19.20982 | ||
+ | | 19.20909 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 20,493 | ||
+ | | 40,316 | ||
+ | | 2.86120 | ||
+ | | 2.86177 | ||
+ | | 19.23120 | ||
+ | | 19.23457 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 60,380 | ||
+ | | 119,418 | ||
+ | | 2.86219 | ||
+ | | 2.86231 | ||
+ | | 19.26655 | ||
+ | | 19.26628 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 142,702 | ||
+ | | 283,162 | ||
+ | | 2.86249 | ||
+ | | 2.86256 | ||
+ | | 19.28045 | ||
+ | | 19.28028 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 291,363 | ||
+ | | 579,360 | ||
+ | | 2.86263 | ||
+ | | 2.86267 | ||
+ | | 19.28727 | ||
+ | | 19.28755 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 495,607 | ||
+ | | 986,724 | ||
+ | | 2.86275 | ||
+ | | 2.86269 | ||
+ | | 19.29057 | ||
+ | | 19.29081 | ||
+ | |- | ||
+ | | | ||
+ | | 1,064,447 | ||
+ | | 2,122,160 | ||
+ | | 2.86272 | ||
+ | | 2.86273 | ||
+ | | 19.29385 | ||
+ | | 19.29389 | ||
+ | |-style="text-align:center" | ||
+ | | | ||
+ | | 2,106,077 | ||
+ | | 4,202,536 | ||
+ | | 2.86274 | ||
+ | | 2.86274 | ||
+ | | 19.29618 | ||
+ | | 19.29615 | ||
+ | |- style="text-align:center" | ||
+ | | | ||
+ | | 4,031,557 | ||
+ | | 8,049,644 | ||
+ | | 2.86275 | ||
+ | | 2.86275 | ||
+ | | 19.29763 | ||
+ | | 19.29765 | ||
|} | |} | ||
− | |||
− | The temperature distribution and Flux magnitude fields for the finest mesh are shown in | + | |
− | <div id='img- | + | The temperature distribution and Flux magnitude fields for the finest mesh are shown in [[#img-25|Figure 25]]. |
− | <div id='img- | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-25a'></div> |
+ | <div id='img-25b'></div> | ||
+ | <div id='img-25'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_23_HuevoContourTemp.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_23_HuevoContourTemp.png|300px|Contour Fill of Temperatures]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_23_HuevoContourFlux.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_23_HuevoContourFlux.png|300px|Contour Fill of Flux vectors on Elems]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | (a) Contour | + | | (a) Contour fill of temperatures |
− | | (b) Contour | + | | (b) Contour till of flux vectors on elems |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="2" | '''Figure | + | | colspan="2" style="padding:10px;"| '''Figure 25'''. Temperature distribution and Flux magnitude fields for the finest mesh of the third example |
|} | |} | ||
− | + | ||
− | <div id='img- | + | |
− | <div id='img- | + | [[#img-26|Figure 26]] shows the graphs of the temperature and flux magnitude values along a diameter of the circle for different meshes of [[#img-24|Figure 24]]. |
− | <div id='img- | + | |
− | <div id='img- | + | <div id='img-26a'></div> |
− | <div id='img- | + | <div id='img-26b'></div> |
− | <div id='img- | + | <div id='img-26c'></div> |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-26d'></div> |
+ | <div id='img-26e'></div> | ||
+ | <div id='img-26f'></div> | ||
+ | <div id='img-26'></div> | ||
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection01.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection01.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection01.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection01.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (a) | | (a) | ||
| (b) | | (b) | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection02.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection02.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection02.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection02.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (c) | | (c) | ||
| (d) | | (d) | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection03.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoTempCrossSection03.png|300px|]] |
− | |[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection03.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-Fig_24_HuevoFluxCrossSection03.png|300px|]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
| (e) | | (e) | ||
| (f) | | (f) | ||
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="2" | '''Figure | + | | colspan="2" style="padding:10px;"| '''Figure 26'''. Temperature and Flux magnitude graphs of the third example along a cross-section of the domain |
+ | for different meshes: Mesh in [[#img-24|Figure 24]](a), a-Temperature, b-Flux; Mesh in [[#img-24|Figure 24]](b), c-Temperature, d-Flux; Mesh in [[#img-24|Figure 24]](c), e-Temperature, f-Flux | ||
|} | |} | ||
− | + | [[#table-6|Table 6]] shows some global error metrics for different meshes. [[#img-27|Figure 27]] shows the error evolution in <math display="inline">L^2</math> norm for this example. | |
+ | <div id='table-6'></div> | ||
+ | <div class="center" style="font-size: 75%;">'''Table 6'''. DEC errors in the third example</div> | ||
− | {| | + | {| class="wikitable" style="margin: 1em auto 0.1em auto;border-collapse: collapse;font-size:85%;width:auto;" |
− | + | |-style="text-align:center" | |
− | |- style=" | + | ! '''Mesh''' !! '''Nodes''' !! <math> \sum (u-u_i)^2 \over nodes </math> !! <math>L^2</math> norm |
− | + | |- style="text-align:center" | |
− | + | | 1 | |
− | + | | 342 | |
− | + | | 9.3638e-04 | |
− | |- style=" | + | | 2.7786e-02 |
− | + | |- style="text-align:center" | |
− | | | + | | 2 |
− | | | + | | 1,259 |
− | | | + | | 1.5173e-04 |
− | |- style=" | + | | 3.2731e-03 |
− | + | |- style="text-align:center" | |
− | | | + | | 3 |
− | | | + | | 4,467 |
− | | | + | | 2.2110e-05 |
− | |- style=" | + | | 2.2937e-04 |
− | + | |- style="text-align:center" | |
− | | | + | | 4 |
− | | | + | | 14,250 |
− | | | + | | 3.7233e-06 |
− | |- style=" | + | | 1.9151e-05 |
− | + | |- style="text-align:center" | |
− | | | + | | 5 |
− | | | + | | 20,492 |
− | | | + | | 2.2311e-06 |
− | |- style=" | + | | 9.5930e-06 |
− | + | |- style="text-align:center" | |
− | | | + | | 6 |
− | | | + | | 60,380 |
− | | | + | | 4.3769e-07 |
− | |- style=" | + | | 8.7330e-07 |
− | + | |- style="text-align:center" | |
− | | | + | | 7 |
− | | | + | | 142,702 |
− | | | + | | 1.1664e-07 |
− | |- style=" | + | | 1.3926e-07 |
− | + | |- style="text-align:center" | |
− | | | + | | 8 |
− | | | + | | 291,369 |
− | | | + | | 3.9764e-08 |
− | |- style=" | + | | 3.3314e-08 |
− | + | |- style="text-align:center" | |
− | | | + | | 9 |
− | | | + | | 497,378 |
− | | | + | | 1.6680e-08 |
− | |- style=" | + | | 1.0275e-08 |
− | + | |- style="text-align:center" | |
− | | | + | | 10 |
− | | | + | | 1,067,171 |
− | | | + | | 3.9594e-09 |
− | |- style=" | + | | 1.2190e-09 |
− | + | |- style="text-align:center" | |
− | | | + | | 11 |
− | | | + | | 2,106,248 |
− | | | + | | 9.6949e-10 |
− | |- style=" | + | | 1.4415e-10 |
− | + | ||
− | | | + | |
− | | | + | |
− | | | + | |
− | + | ||
|} | |} | ||
− | <div id='img- | + | |
− | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: | + | <div id='img-27'></div> |
+ | {| class="floating_imageSCP" style="text-align: center; border: 1px solid #BBB; margin: 1em auto; width: auto;" | ||
|- | |- | ||
− | |[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Eliptic_Egg.png| | + | |style="padding:10px;"|[[Image:Esqueda_et_al_2020a-DEC_Error_Graph_Eliptic_Egg.png|410px|DEC ]] |
|- style="text-align: center; font-size: 75%;" | |- style="text-align: center; font-size: 75%;" | ||
− | | colspan="1" | '''Figure | + | | colspan="1" style="padding-bottom:10px;"| '''Figure 27'''. DEC <math display="inline">L^2</math> evolution in the third example |
|} | |} | ||
+ | |||
'''Remark'''. As can be seen from the previous examples, DEC behaves well on coarse meshes. As expected, the results of DEC and FEML are identical for fine meshes. We would also like to point out the the computational costs of DEC and FEML are very similar since the local matrices are very similar in profile, or even identical in some cases. | '''Remark'''. As can be seen from the previous examples, DEC behaves well on coarse meshes. As expected, the results of DEC and FEML are identical for fine meshes. We would also like to point out the the computational costs of DEC and FEML are very similar since the local matrices are very similar in profile, or even identical in some cases. | ||
Line 2,375: | Line 2,359: | ||
<li>Local DEC allows a simple treatment of heterogeneous material properties assigned to subdomains (element by element), which eliminates the need of dealing with it through ad hoc modifications of the global discrete Hodge star operator matrix. </li> | <li>Local DEC allows a simple treatment of heterogeneous material properties assigned to subdomains (element by element), which eliminates the need of dealing with it through ad hoc modifications of the global discrete Hodge star operator matrix. </li> | ||
− | |||
</ol> | </ol> | ||
+ | |||
On the other hand we would like to point the following features: | On the other hand we would like to point the following features: | ||
Line 2,383: | Line 2,367: | ||
* The computational cost of DEC is similar to that of FEML. While the numerical results of DEC and FEML on fine meshes are virtually identical, the DEC solutions are better than those of FEML on coarse meshes. Furthermore, DEC solutions display numerical convergence, as shown by the error measurements. | * The computational cost of DEC is similar to that of FEML. While the numerical results of DEC and FEML on fine meshes are virtually identical, the DEC solutions are better than those of FEML on coarse meshes. Furthermore, DEC solutions display numerical convergence, as shown by the error measurements. | ||
+ | |||
Our future work will include the DEC discretization of convective terms, and DEC on 2-dimensional simplicial surfaces in 3D. Preliminary results on both problems are promising and competitive with FEML. | Our future work will include the DEC discretization of convective terms, and DEC on 2-dimensional simplicial surfaces in 3D. Preliminary results on both problems are promising and competitive with FEML. | ||
Line 2,393: | Line 2,378: | ||
==References== | ==References== | ||
+ | |||
+ | <div class="auto" style="text-align: left;width: auto; margin-left: auto; margin-right: auto;font-size: 85%;"> | ||
<div id="cite-1"></div> | <div id="cite-1"></div> | ||
− | + | [[#citeF-1|[1]]] Bossavit A. Mixed finite elements and the complex of Whitney forms. In J. Whiteman (ed.), The Mathematics of Finite Elements and Applications VI, pp. 137–144, Academic Press, 1988. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | </ | + | <div id="cite-2"></div> |
+ | [[#citeF-2|[2]]] Botello S., Moreles M.Z., Oñate E. Módulo de aplicaciones del método de los elementos finitos para resolver la ecuación de Poisson: MEFIPOISS. Aula CIMNE-CIMAT, Septiembre 2010. | ||
+ | |||
+ | <div id="cite-3"></div> | ||
+ | [[#citeF-3|[3]]] Cartan E. Sur certaines expressions différentielles et le problème de Pfaff. Annales Scientifiques de l'École Normale Supérieure, Série 3, Paris, Gauthier-Villars, Tome 16, pp. 239-332, 1899. | ||
+ | |||
+ | <div id="cite-4"></div> | ||
+ | [[#citeF-4|[4]]] Crane K., et al. Digital geometry processing with discrete exterior calculus. ACM SIGGRAPH 2013 Courses, pp. 1-126, July 2013. | ||
+ | |||
+ | <div id="cite-5"></div> | ||
+ | [[#citeF-5|[5]]] Dassios I., et al. A mathematical model for plasticity and damage: A discrete calculus formulation. Journal of Computational and Applied Mathematics, 312:27-38, 2017. | ||
+ | |||
+ | <div id="cite-6"></div> | ||
+ | [[#citeF-6|[6]]] Esqueda H., Herrera R., Botello S., Moreles M.A. A geometric description of discrete exterior calculus for general triangulations. Rev. Int. Métodos Numér. Cálc. Diseño Ing., 35(1), 2, 2019. https://www.scipedia.com/public/Herrera_et_al_2018b | ||
+ | |||
+ | <div id="cite-7"></div> | ||
+ | [[#citeF-7|[7]]] Griebel, M., Rieger C., Schier A. Upwind schemes for scalar advection-dominated problems in the Discrete Exterior Calculus. In Bothe D., Reusken A. (eds), Transport Processes at Fluidic Interfaces, Birkhäuser, Cham, 145-175, 2017. | ||
+ | |||
+ | <div id="cite-8"></div> | ||
+ | [[#citeF-8|[8]]] Hirani A.N. Discrete exterior calculus. Thesis, California Institute of Technology, 2003. | ||
+ | |||
+ | <div id="cite-9"></div> | ||
+ | [[#citeF-9|[9]]] Hirani A.N., Nakshatrala K.B., Chaudhry J.H. Numerical method for Darcy flow derived using discrete exterior calculus. International Journal for Computational Methods in Engineering Science and Mechanics, 16(3):151-169, 2015. | ||
+ | |||
+ | <div id="cite-10"></div> | ||
+ | [[#citeF-10|[10]]] Mohamed M.S., Hirani A.N., Samtaney R. Discrete exterior calculus discretization of incompressible Navier-Stokes equations over surface simplicial meshes. Journal of Computational Physics, 312: 175-191, 2016. | ||
+ | |||
+ | <div id="cite-11"></div> | ||
+ | [[#citeF-11|[11]]] Oñate E. 2D solids. Linear triangular and rectangular elements. In Structural Analysis with the Finite Element Method. Linear Statics, Volume 1: Basis and Solids, Chapter 4, pp. 117-157, CIMNE-Springer, Barcelona, 2009. | ||
+ | |||
+ | <div id="cite-12"></div> | ||
+ | [[#citeF-12|[12]]] Whitney H. Geometric integration theory. Princeton University Press, 1957. | ||
+ | |||
+ | <div id="cite-13"></div> | ||
+ | [[#citeF-13|[13]]] Zienkiewicz O.C., Taylor R.L., Zhu J.Z. Generalization of the finite element concepts. Galerkin-weighted residual and variational approaches. In The Finite Element Method Set (Sixth Edition), Butterworth-Heinemann, Oxford, Chapter 3, pp. 54-102, 2005. | ||
+ | |||
+ | </div> |
We present a local formulation for 2D Discrete Exterior Calculus (DEC) similar to that of the Finite Element Method (FEM), which allows a natural treatment of material heterogeneity (assigning material properties element by element). It also allows us to deduce, in a principled manner, anisotropic fluxes and the DEC discretization of the pullback of 1-forms by the anisotropy tensor, i.e. we deduce the discrete action of the anisotropy tensor on primal 1-forms. Due to the local formulation, the computational cost of DEC is similar to that of the Finite Element Method with Linear interpolating functions (FEML). The numerical DEC solutions to the anisotropic Poisson equation show numerical convergence, are very close to those of FEML on fine meshes and are slightly better than those of FEML on coarse meshes.
The theory of Discrete Exterior Calculus (DEC) is a relatively recent discretization [8] of the classical theory of Exterior Differential Calculus developed by E. Cartan [3], which is a fundamental tool in Differential Geometry and Topology. The aim of DEC is to solve partial differential equations preserving their geometrical and physical features as much as possible. There are only a few papers about implementions of DEC to solve certain PDEs, such as the Darcy flow and Poisson's equation [9], the Navier-Stokes equations [10], the simulation of elasticity, plasticity and failure of isotropic materials [5], some comparisons with the finite differences and finite volume methods on regular flat meshes [7], as well as applications in digital geometry processing [4].
In this paper, we describe a local formulation of DEC which is reminiscent of that of the Finite Element Method (FEM). Indeed, once the local systems of equations have been established, they can be assembled into a global linear system. This local formulation is also efficient and helpful in understanding various features of DEC that can otherwise remain unclear if one is dealing dealing with an entire mesh. Besides, we believe the local description to DEC will be accesible to a wide readership. We will, therefore, take a local approach when recalling all the objects required by 2D DEC [6]. Our main results are the following:
The paper is organized as follows. In Section 2, we describe the local versions of the discrete derivative operator, the dual mesh, the discrete Hodge star operator and the meaning of a continuous 1-form on the plane. In Section 3, we deduce the discretization of the pullback operator on primal 1-forms. In Section 4, we deduce the natural way of computing flux vectors in DEC (which turns out to be equivalent to the FEML result), as well as the anisotropic flux vectors. In Section 5, we present the local DEC formulation of the 2D anisotropic Poisson equation and compare it with the local system of FEML, proving that the diffusion terms are identical in both schemes, while the source terms are differentl due to a different area-weight assignment for the nodes. In Section 6, we re-examine the geometry of some of the local DEC quantities. In Section 7, we present and compare numerical examples of DEC and FEML approximate solutions to the 2D anisotropic Poisson equation on different domains with meshes of various resolutions. In Section 8, we summarize the contributions of this paper.
In this section, we will recall the basic operators of Dicrete Exterior Calculus restricting ourselves to a mesh made up of one simplex/triangle. The local results we derive in the paper can be assembled, just as in the Finite elemnt Method, due to the additivity of both differentiation and integration.
Let us consider a primal mesh made up of a single (positively oriented) triangle with vertices (Figure 1).
![]() |
Figure 1. Triangle |
Such a mesh has
|
|
|
There is a well known boundary operator
|
(1) |
which describes the boundary of the triangle as an alternated sum of its ordered oriented edges , and .
Similarly, one can compute the boundary of each edge
|
If we consider
then the map (1), which sends the oriented triangle to a sum of its oriented edges, is represented by the matrix
|
while the map (2), which sends the oriented edges to sums of their oriented vertices, is represented by the matrix
|
It has been argued that the DEC discretization of the differential of a function is given by the transpose of the matrix of the boundary operator on edges [6,8]. More precisely, suppose we have a function discretized by its values at the vertices
|
Its discrete derivative, according to DEC, is
|
Indeed, such differences are rough approximations of the directional derivatives of along the oriented edges. For instance, is a rough approximation of the directional derivative of at in the direction of the vector , i.e.,
|
It is precisely in this sense that, according to DEC,
Let
|
The dual mesh of the primal mesh consisting of a single triangle is constructured as follows:
![]() |
Figure 2. Circumcenter of the triangle |
![]() |
Figure 3. Dual segment of the edge |
![]() |
Figure 4. Dual quadrilateral of the vertex |
For the Poisson equation in 2D, we need two matrices: one relating original edges to dual edges, and another relating vertices to dual cells.
|
assigned to the segment ;
|
assigned to the edge .
|
assigned to the segment ;
In other words,
|
|
assigned to the quadrilateral ;
|
assigned to the quadrilateral ;
|
assigned to the quadrilateral .
In other words,
|
A differential 1-form on can be thought of as a function whose arguments are a point in and a vector in , i.e.
|
and which is linear on the vector argument.
The dot product of allows us to see continuous 1-forms in a more familiar form as vector fields in the following way: If is a vector field on , at each point we can consider the 1-form
|
where . On the other hand, from a continuos 1-form we can build a vector field as follows
|
where
|
Given a tensor (a linear transformation) and the vector field associated to a 1-form as above, consider the vector field . For any vector , the value of the corresponding continuous 1-form is given by the product
|
which is the value of the 1-form called the pullback of by the tensor .
In order to produce a primal 1-form from such a continuous 1-form we need to inegrate it along the edges of the mesh (the de Rham map). In our local description, this produces a collection of 3 numbers associated to the 3 oriented edges of the triangle, i.e. for the oriented edge joining to we have
|
This is equivalent to calculating the line integral (circulation) of the corresponding vector field along the path , , parametrizing the edge
|
In Section 2, we dealt with the primal discretization of a continuous 1-form. Now we wish to understand the pullback of a primal 1-form. In order to do this, we will interpolate a primal 1-form using the Whitney interpolation forms to produce a continuous 1-form (Whitney map) to which we can apply the pullback operator by a tensor (linear transformation), and then intergrate along the edges (de Rham map).
The Whitney interpolation forms were introduced by Whitney in 1957 [12], and Bossavit [1] explained their relevance to “mixed methods” of finite elements. For the sake of simplicity, we will only define the Whitney 0 and 1-forms.
First consider the Finite Element linear basis functions (or Whitney interpolation functions)
|
and their differentials
|
The Whitney interpolation 1-forms are
|
These differential 1-forms are such that, along the edge
|
i.e. or .
Now, suppose we have a primal 1-form given on our triangle by the collection of numbers
|
We form a continuous 1-form as follows
|
which is such that, for
|
Now we will calculate
|
for an arbitrary linear transformation
|
Let
|
and
|
As it turns out,
|
where
|
Anyhow, these quantities are areas of the parallelograms formed by one fixed edge of the original triangle and one edge transformed by .
Thus, we have that the induced transformation on primal 1-forms is
|
(6) |
When the material is isotropic, i.e. is a constant multiple of the identity matrix, we get a constant multiple of the identity matrix above as discrete pull-back operator.
In this section, we deduce the DEC formulae for the local flux, the local anisotropic flux and the local anisotropy operator for primal 1-forms.
We wish to find a natural construction for the discrete flux (discrete gradient vector) of a discrete function. Recall from Vector Calculus that the directional derivative of a differentiable function at a point in the direction of is defined by
|
Thus, we have three Vector Calculus identities
|
As in Subsection 2.2, the rough approximations to directional derivatives of a function in the directions of the (oriented) edges are given as follows
|
Thus, if we want to find a discrete gradient vector of at the point , we need to solve the equations
|
If
|
then
|
Now, if we were to find a discrete gradient vector of at the point , we need to solve the equations
|
The vectors solving these equations is actually equal to . Indeed, consider
|
so that
|
(10) |
Thus, adding up (7) and (9) we get
|
(11) |
Subtracting (8) from (10) we get
|
(12) |
Since and are linearly independent and the two inner products in (11) and (12) vanish,
|
Analogously, the corresponding gradient vector of at the vertex is equal to . This means that the three approximate gradient vectors at the three vertices coincide, i.e. we have a unique discrete flux vector on the given element. Note that the discrete flux satisfies
|
This means that the primal 1-form discretizing can be obtained by performing the dot products of the discrete flux vector with the vectors given by the triangle's oriented edges.
The local flux (gradient) of in FEML is given by
|
where and are the basis functions given in (3). Explicitly
|
where
|
is the area of the triangle, so that the FEML flux is given by
|
and we can see that it coincides with the DEC flux.
We will now discuss how to discretize anisotropy in 2D DEC. Let denote the symmetric anisotropy tensor
|
and recall the anisotropic Poisson equation
|
First recall that, in Exterior Differential Calculus, for any ,
|
where is the pullback of by .
Since we already have a discrete candidate for on the given element, the product of the matrix and gives us a candidate for the anisptropic flux vector on such an element
|
In order to produce a primal 1-form from , all we have to do is assume that is constant on the given triangle and take dot products with the edges of the triangle, i.e.
|
Nevertheless, in order to better understand the structure of the local system (as in FEML), it is desirable to have a factorization of the result as a matrix product
|
where the matrix is a real matrix depending on the geometry of the triangle and the matrix , and such that it is a multiple of the identity matrix when the domain is isotropic. In order to do this, we will use the discretization of the pullback opertator of Exterior Differential Calculus for arbitrary 1-forms from Section 3. Thus, using (6), is the following matrix where we have set , i.e.
|
where
|
Consider the Figure 5, where denotes the anti-clockwise rotation
|
![]() |
Figure 5. Geometric interpretation of the entries of the anisotropy tensor discretization |
We have
|
where is the area of the red triangle. Thus, the numbers are quotients of areas of transformed triangles divided by the area of the original triangle.
In this section, we describe the local DEC discretization of the 2D anisotropic Poisson equation and compare it to that of FEML.
The anisotropic Poisson equation reads as follows
|
where and are two functions on a certain domain in and is the anisotropy tensor. In terms of the exterior derivative and the Hodge star operator it reads as follows
|
where and . Following the discretization of the discretized divergence operator [6], the corresponding local DEC discretization of the anisotropic Poisson equation is
|
or equivalently
|
(13) |
In order to simplify the notation, consider the lengths and areas defined in Figure 6.
![]() |
Figure 6. Triangle |
Now, the discretized equation (13) looks as follows:
|
The diffusive term matrix is actually symmetric (see Subsection 5.3.1).
The diffusive elemental matrix in FEM (frequently called “stiffness matrix”) on an element is given by
|
where is the matrix representing the anisotropic diffusion tensor, and the matrix is given explicitly by
|
Since the matrix is constant on an element of the mesh, the integral is easy to compute. Thus, the difussive matrix for a linear triangular element (FEML) is given by
|
Now, let us consider the first diagonal entry of the local FEML anisotropic Poisson diffusive matrix ,
|
where is the anticlockwise rotation,
|
In this notation, the diffusive term in local FEML is given as follows
|
For the sake of brevity, we are only going to compare the entries of the first row and first column of each formulation. Consider the various lengths, areas and angles labeled in Figures 6 and 7.
![]() |
Figure 7. Circumscribed triangle. |
We have the following identities:
|
For instance, we claim that
|
Indeed,
|
Thus,
|
All we have to do now is show that
|
Note that, since is orthogonal to , must be parallel to . Thus,
|
(14) |
Now we are going to express in terms of . Let us consider
|
where are coefficients to be determined. Taking inner products with and we get the two equations
|
Solving for and
|
Substituting all the relevant quantities in (14) we have, for instance, that the coefficient of is
|
and similarly for the coefficient of . The calculations for the remaining entries are similar.
Thus, the local DEC and FEML diffusive terms of the 2D anisotropic Poisson equation coincide.
As already observed in [6], the right hand sides of the local DEC and FEML systems are different
|
While FEML uses a barycentric subdivision to calculate the areas associated to each node/vertex, DEC uses a circumcentric subdivision. Eventually, this leads the DEC discretization to a better approximation of the solution (on coarse meshes).
The numbers appearing in the local DEC matrices can be expressed both in terms of determinants and in terms of trigonometric functions. More precisely,
|
These expressions are valid regardless of the location of the circumcenter and can, indeed, take negative values. The angles that are measured in the scheme can be negative as in the obtuse triangle of Figure 8.
![]() |
![]() |
Figure 8. Negative (exterior) angles measured in an obtuse triangle |
and some quantities can even be zero. For instance, if
|
then
|
In order to understand how local DEC assigns area weights to vertices differently from FEML, let us consider the obtuse triangle shown in Figure 8. Let be the middle points of the segments respectively. As shown in Figure 9, the triangle lies completely outside of the triangle . Geometrically, this implies that its area must be assigned a negative sign, which is confirmed by the determinant formulas of Subsection 6.1. On the other hand, the triangle will have positive area. Thus, their sum gives us the area in Figure 9.
![]() |
![]() |
![]() |
Figure 9. Area weight assigned to |
The area is computed similarly, where the triangle is assigned negative area (Figure 10).
![]() |
![]() |
![]() |
Figure 10. Area weight assigned to |
Note that for , the two triangles and both have positive areas (Figure 11).
![]() |
![]() |
![]() |
Figure 11. Area weight assigned to |
In this section, we present three numerical examples in order to illustrate the performance of DEC resulting from the local formulation and its implementation. In all cases, we solve the anisotropic Poisson equation. The FEML methodology that we have used in the comparison can be consulted [2,11,13].
This example is intended to highlight how Local DEC deals effectively with heterogeneous materials. Consider the region in the plane given in Figure 12.
![]() |
Figure 12. Square and inner circle with different conditions |
The meshes used in this example are shown in Figure 13 and vary from coarse to very fine.
![]() |
![]() |
![]() |
(a) | (b) | (c) |
![]() |
![]() |
![]() |
(d) | (e) | (f) |
Figure 13. Six of the meshes used in the first example |
The numerical results for the maximum temperature value are exemplified in Table 1.
Mesh | Nodes | Elements | Max. Temp. Value | Max. Flux Magnitude | ||
---|---|---|---|---|---|---|
DEC | FEML | DEC | FEML | |||
Figure 13(a) | 49 | 80 | 5.51836 | 5.53345 | 13.837 | 13.453 |
Figure 13(b) | 98 | 162 | 5.65826 | 5.66648 | 14.137 | 14.024 |
Figure 13(c) | 258 | 466 | 5.70585 | 5.71709 | 14.858 | 14.770 |
Figure 13(d) | 1,010 | 1,914 | 5.72103 | 5.72280 | 15.008 | 15.006 |
Figure 13(e) | 3,813 | 7,424 | 5.72725 | 5.72725 | 15.229 | 15.228 |
Figure 13(f) | 13,911 | 27,420 | 5.72821 | 5.72826 | 15.342 | 15.337 |
50,950 | 101,098 | 5.72841 | 5.72842 | 15.395 | 15.396 | |
135,519 | 269,700 | 5.72845 | 5.72845 | 15.420 | 15.417 | |
298,299 | 594,596 | 5.72848 | 5.72848 | 15.430 | 15.429 | |
600,594 | 1,198,330 | 5.72848 | 5.72848 | 15.433 | 15.433 | |
1,175,238 | 2,346,474 | 5.72849 | 5.72849 | 15.43724 | 15.43724 |
The temperature and flux-magnitude distribution fields are shown in Figure 14.
![]() |
![]() |
(a) Contour fill of temperatures | (b) Contour fill of flux vectors on Elems |
Figure 14. Temperature and flux-magnitude distribution fields of the first example |
Figure 15 shows the graphs of the temperature and the flux-magnitude along a horizontal line crossing the inner circle for the first two meshes.
![]() |
![]() |
(a) | (b) |
![]() |
![]() |
(c) | (d) |
![]() |
![]() |
(e) | (f) |
Figure 15. Temperature and Flux magnitude graphs of the first example along a cross-section of the domain for different meshes |
Table 2 shows some global error metrics for different meshes. Figure 16 shows the error evolution in norm for this example.
Mesh | Nodes | norm | |
---|---|---|---|
1 | 49 | 1.0537e-02 | 1.4438e-01 |
2 | 98 | 4.2447e-03 | 4.8558e-02 |
3 | 258 | 6.9781e-04 | 3.0390e-03 |
4 | 1,010 | 8.8386e-05 | 1.4877e-04 |
5 | 3,813 | 1.0736e-05 | 7.7369e-06 |
6 | 13,911 | 1.4422e-06 | 4.9791e-07 |
7 | 50,950 | 1.7582e-07 | 2.9608e-08 |
8 | 135,518 | 3.2621e-08 | 2.9233e-09 |
9 | 298,299 | 7.3566e-09 | 3.3610e-10 |
10 | 603,440 | 1.8577e-09 | 4.9496e-11 |
![]() |
Figure 16. DEC error in the first example |
Let us solve the Poisson equation in a circle of radius one centered at the origin under the following conditions (Figure 17):
![]() |
Figure 17. Disk of radius one |
The meshes used in this example are shown in Figure 18 and vary from very coarse to very fine.
![]() |
![]() |
![]() |
(a) | (b) | (c) |
![]() |
![]() |
![]() |
(d) | (e) | (f) |
Figure 18. First six meshes used for unit disk |
The numerical results for the maximum temperature value () are exemplified in Table 3 where a comparison with the Finite Element Method with linear interpolation functions (FEML) is also shown.
Mesh | Nodes | Elements | Temp. Value at | Flux Magnitude at | ||
---|---|---|---|---|---|---|
DEC | FEML | DEC | FEML | |||
Figure 18(a) | 17 | 20 | 10.20014 | 10.19002 | 0.42133 | 0.43865 |
Figure 18(b) | 41 | 56 | 10.20007 | 10.19678 | 0.48544 | 0.49387 |
Figure 18(c) | 201 | 344 | 10.20012 | 10.20158 | 0.52470 | 0.52428 |
Figure 18(d) | 713 | 1304 | 10.20000 | 10.19969 | 0.54143 | 0.54224 |
Figure 18(e) | 2455 | 4660 | 10.20000 | 10.19990 | 0.54971 | 0.55138 |
Figure 18(f) | 8180 | 15862 | 10.20000 | 10.20002 | 0.55326 | 0.55409 |
20016 | 39198 | 10.20000 | 10.19999 | 0.55470 | 0.55520 | |
42306 | 83362 | 10.20000 | 10.20000 | 0.55540 | 0.55572 |
The temperature distribution and Flux magnitude fields for the finest mesh are shown in Figure 19.
![]() |
![]() |
(a) Contour Fill of Temperatures | (b) Contour Fill of Flux vectors on Elems |
Figure 19. Temperature distribution and Flux magnitude fields for the finest mesh of the second example |
Figures 20(a), (b) and (c) show the graphs of the temperature and flux magnitude values along a diameter of the circle for the different meshes of Figures 18(a), (b) and (c), respectively.
![]() |
![]() |
(a) | (b) |
![]() |
![]() |
(c) | (d) |
![]() |
![]() |
(e) | (f) |
Figure 20. Temperature and Flux magnitude graphs of the second example along a diameter of the circle for different meshes: mesh in Figure 18(a), a-Temperature, b-Flux; mesh in Figure 18(b), c-Temperature, d-Flux; mesh in Figure 18(c), e-Temperature, f-Flux |
Table 4 shows some global error metrics for different meshes. Figure 21 shows the error evolution in norm for this example.
Mesh | Nodes | norm | |
---|---|---|---|
1 | 17 | 1.5818e-04 | 2.3555e-06 |
2 | 51 | 2.5395e-05 | 1.5639e-07 |
3 | 201 | 3.3643e-06 | 1.0517e-08 |
4 | 713 | 5.1563e-07 | 8.3543e-10 |
5 | 2,455 | 8.9235e-08 | 7.6073e-11 |
6 | 8,180 | 3.1731e-08 | 2.9858e-11 |
7 | 20,016 | 2.0217e-08 | 2.6580e-11 |
8 | 42,306 | 1.4421e-08 | 2.7062e-11 |
9 | 82,722 | 9.8533e-09 | 2.6164e-11 |
10 | 156,274 | 7.1352e-09 | 2.5954e-11 |
11 | 420,013 | 4.4277e-09 | 2.6151e-11 |
12 | 935,016 | 2.9635e-09 | 2.6003e-11 |
![]() |
Figure 21. DEC error evolution in the second example |
Let us solve the Poisson equation in a circle of radius on the following domain (Figure 22) with various material properties. The geometry of the domain is defined by segments of ellipses passing through the given points which have centers at the origin .
![]() |
Figure 22. Egg-like domain with different materials |
Point | Point | ||||
---|---|---|---|---|---|
a | -5 | 0 | A | 0 | -4 |
b | -4 | 0 | B | 0 | -3 |
c | -3 | 0 | C | 0 | -2 |
d | -1 | 0 | D | 0 | -1 |
e | 1 | 0 | E | 0 | 1 |
f | 6 | 0 | F | 0 | 2 |
g | 7 | 0 | G | 0 | 3 |
h | 8 | 0 | H | 0 | 4 |
![]() |
Figure 23. Dirichlet condition |
Angle | ||||
---|---|---|---|---|
Domain mat1 | 5 | 25 | 30 | 15 |
Domain mat2 | 25 | 5 | 0 | 5 |
Domain mat3 | 50 | 12 | 45 | 5 |
Domain mat4 | 10 | 35 | 0 | 5 |
The meshes used in this example are shown in Figure 24.
![]() |
![]() | |
(a) | (b) | |
![]() |
![]() | |
(c) | (d) | |
Figure 24. Meshes for layered egg-like figure |
The numerical results for the maximum temperature value () are exemplified in Table 5 where a comparison with the Finite Element Method with linear interpolation functions (FEML) is also shown.
Mesh | Nodes | Elements | Max. Temp. Value | Max. Flux Magnitude | ||
---|---|---|---|---|---|---|
DEC | FEML | DEC | FEML | |||
Figure 24(a) | 342 | 616 | 2.79221 | 2.79854 | 18.41066 | 18.40573 |
Figure 24(b) | 1,259 | 2,384 | 2.83929 | 2.84727 | 18.93838 | 18.91532 |
Figure 24(c) | 4,467 | 8,668 | 2.85608 | 2.85717 | 19.13297 | 19.13193 |
Figure 24(d) | 14,250 | 28,506 | 2.85994 | 2.86056 | 19.20982 | 19.20909 |
20,493 | 40,316 | 2.86120 | 2.86177 | 19.23120 | 19.23457 | |
60,380 | 119,418 | 2.86219 | 2.86231 | 19.26655 | 19.26628 | |
142,702 | 283,162 | 2.86249 | 2.86256 | 19.28045 | 19.28028 | |
291,363 | 579,360 | 2.86263 | 2.86267 | 19.28727 | 19.28755 | |
495,607 | 986,724 | 2.86275 | 2.86269 | 19.29057 | 19.29081 | |
1,064,447 | 2,122,160 | 2.86272 | 2.86273 | 19.29385 | 19.29389 | |
2,106,077 | 4,202,536 | 2.86274 | 2.86274 | 19.29618 | 19.29615 | |
4,031,557 | 8,049,644 | 2.86275 | 2.86275 | 19.29763 | 19.29765 |
The temperature distribution and Flux magnitude fields for the finest mesh are shown in Figure 25.
![]() |
![]() |
(a) Contour fill of temperatures | (b) Contour till of flux vectors on elems |
Figure 25. Temperature distribution and Flux magnitude fields for the finest mesh of the third example |
Figure 26 shows the graphs of the temperature and flux magnitude values along a diameter of the circle for different meshes of Figure 24.
![]() |
![]() |
(a) | (b) |
![]() |
![]() |
(c) | (d) |
![]() |
![]() |
(e) | (f) |
Figure 26. Temperature and Flux magnitude graphs of the third example along a cross-section of the domain
for different meshes: Mesh in Figure 24(a), a-Temperature, b-Flux; Mesh in Figure 24(b), c-Temperature, d-Flux; Mesh in Figure 24(c), e-Temperature, f-Flux |
Table 6 shows some global error metrics for different meshes. Figure 27 shows the error evolution in norm for this example.
Mesh | Nodes | norm | |
---|---|---|---|
1 | 342 | 9.3638e-04 | 2.7786e-02 |
2 | 1,259 | 1.5173e-04 | 3.2731e-03 |
3 | 4,467 | 2.2110e-05 | 2.2937e-04 |
4 | 14,250 | 3.7233e-06 | 1.9151e-05 |
5 | 20,492 | 2.2311e-06 | 9.5930e-06 |
6 | 60,380 | 4.3769e-07 | 8.7330e-07 |
7 | 142,702 | 1.1664e-07 | 1.3926e-07 |
8 | 291,369 | 3.9764e-08 | 3.3314e-08 |
9 | 497,378 | 1.6680e-08 | 1.0275e-08 |
10 | 1,067,171 | 3.9594e-09 | 1.2190e-09 |
11 | 2,106,248 | 9.6949e-10 | 1.4415e-10 |
![]() |
Figure 27. DEC evolution in the third example |
Remark. As can be seen from the previous examples, DEC behaves well on coarse meshes. As expected, the results of DEC and FEML are identical for fine meshes. We would also like to point out the the computational costs of DEC and FEML are very similar since the local matrices are very similar in profile, or even identical in some cases.
DEC is a relatively recent discretization scheme for PDE's which takes into account the geometric and analytic features of the operators and the domains involved. The main contributions of this paper are the following:
On the other hand we would like to point the following features:
Our future work will include the DEC discretization of convective terms, and DEC on 2-dimensional simplicial surfaces in 3D. Preliminary results on both problems are promising and competitive with FEML.
The second named author was partially supported by a CONACyT grant, and would like to thank the International Centre for Numerical Methods in Engineering (CIMNE) and the University of Swansea for their hospitality. We gratefully acknowledge the support of NVIDIA Corporation with the donation of the Titan X Pascal GPU used for this research.
[1] Bossavit A. Mixed finite elements and the complex of Whitney forms. In J. Whiteman (ed.), The Mathematics of Finite Elements and Applications VI, pp. 137–144, Academic Press, 1988.
[2] Botello S., Moreles M.Z., Oñate E. Módulo de aplicaciones del método de los elementos finitos para resolver la ecuación de Poisson: MEFIPOISS. Aula CIMNE-CIMAT, Septiembre 2010.
[3] Cartan E. Sur certaines expressions différentielles et le problème de Pfaff. Annales Scientifiques de l'École Normale Supérieure, Série 3, Paris, Gauthier-Villars, Tome 16, pp. 239-332, 1899.
[4] Crane K., et al. Digital geometry processing with discrete exterior calculus. ACM SIGGRAPH 2013 Courses, pp. 1-126, July 2013.
[5] Dassios I., et al. A mathematical model for plasticity and damage: A discrete calculus formulation. Journal of Computational and Applied Mathematics, 312:27-38, 2017.
[6] Esqueda H., Herrera R., Botello S., Moreles M.A. A geometric description of discrete exterior calculus for general triangulations. Rev. Int. Métodos Numér. Cálc. Diseño Ing., 35(1), 2, 2019. https://www.scipedia.com/public/Herrera_et_al_2018b
[7] Griebel, M., Rieger C., Schier A. Upwind schemes for scalar advection-dominated problems in the Discrete Exterior Calculus. In Bothe D., Reusken A. (eds), Transport Processes at Fluidic Interfaces, Birkhäuser, Cham, 145-175, 2017.
[8] Hirani A.N. Discrete exterior calculus. Thesis, California Institute of Technology, 2003.
[9] Hirani A.N., Nakshatrala K.B., Chaudhry J.H. Numerical method for Darcy flow derived using discrete exterior calculus. International Journal for Computational Methods in Engineering Science and Mechanics, 16(3):151-169, 2015.
[10] Mohamed M.S., Hirani A.N., Samtaney R. Discrete exterior calculus discretization of incompressible Navier-Stokes equations over surface simplicial meshes. Journal of Computational Physics, 312: 175-191, 2016.
[11] Oñate E. 2D solids. Linear triangular and rectangular elements. In Structural Analysis with the Finite Element Method. Linear Statics, Volume 1: Basis and Solids, Chapter 4, pp. 117-157, CIMNE-Springer, Barcelona, 2009.
[12] Whitney H. Geometric integration theory. Princeton University Press, 1957.
[13] Zienkiewicz O.C., Taylor R.L., Zhu J.Z. Generalization of the finite element concepts. Galerkin-weighted residual and variational approaches. In The Finite Element Method Set (Sixth Edition), Butterworth-Heinemann, Oxford, Chapter 3, pp. 54-102, 2005.
Published on 19/06/20
Accepted on 24/05/20
Submitted on 22/04/20
Volume 36, Issue 2, 2020
DOI: 10.23967/j.rimni.2020.05.003
Licence: CC BY-NC-SA license