Abstract
We present a spectral mimetic least-squares method on curvilinear grids, which conserves important invariants. The method is developed using differential forms where the topological part and the constitutive part have been separated. It is shown that the topological part is solved exactly, independent of the order of the spectral expansion. The method is applied to a model convection-diffusion problem, where we show that conservation of a potential is satisfied up to machine precision. The convective term is represented using the Lie derivative, by means of Cartans homotopy formula. The spectral mimetic least-squares method is compared to a standard spectral least-squares method. It is shown that both schemes lead to spectral convergence.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
We first consider general convection-diffusion of a scalar in 2D:
where \(\phi \) is the unknown potential, f the source term, D is the diffusion coefficient tensor of the system, and \(\mathbf {u}\) a known divergence free vector field. Equation 1 is subjected to a homogeneous Dirichlet boundary condition:
The method presented is based on a combination of mimetic methods, presented in [2, 4, 12] and least-squares spectral element methods, [1, 14]. Recent work combining the two methods include [6]. The method is derived using basic components from differential geometry, which leads to conservation of invariants of the system. Using the least-squares principles lead to a symmetric positive definite matrix for the discretized problem.
2 Differential Geometry
In differential geometry the unknowns are presented by forms instead of vector and scalar fields, as in vector calculus. Variables associated with points, such as the temperature, are represented by a 0-form while variables associated with a volume are represented by 3-forms, e.g. the density. 1-forms and 2-forms can likewise represent variables associated with lines and surfaces. Furthermore forms have inner and outer orientation. Outer oriented 2-forms represent variables working through surfaces, such as a flux, while inner oriented 2-forms represent variables working on a surface e.g. describing vorticity in a plane.
Generalising the definitions of 0-forms, 1-forms, 2-forms and 3-forms, the general k-form is denoted \(\omega ^{(k)} \in \varLambda ^k(\varOmega _n)\) on the n-dimensional domain \(\varOmega _n\), for \(0 \le k \le n\). \(\varLambda ^k(\varOmega _n)\) is the space of k-forms on \(\varOmega _n\), i.e. the collection of all k-linear, antisymmetric mappings of vectors belonging to the n-dimensional tangent vector space V:
Differential geometry also introduces the wedge product between k-forms and m-forms, which produces a (\(k+m\))-form: \( \wedge : \varLambda ^k(\varOmega _n) \times \varLambda ^m(\varOmega _n) \rightarrow \varLambda ^{k+m}(\varOmega _n)\). The wedge product, also called a skew-symmetric product, has the property: \(\alpha ^{(k)} \wedge \beta ^{(m)} = (-1)^{km}\beta ^{(m)} \wedge \alpha ^{(k)}\).
Instead of using three different operators to represent curl, divergence and gradient, differential forms are equipped with an operator representing all three operators; the exterior derivative, d. The exterior derivative operates on k-forms and maps them into (k+1)-forms: \(d : \varLambda ^k(\varOmega _n) \rightarrow \varLambda ^{k+1}(\varOmega _n)\). The exterior derivative can be defined by means of the Stokes theorem [3]:
Since the exterior derivative is constructed using only the boundary of the domain of interest, the discrete version of the exterior derivative can be performed exactly.
The interior product is the inverse operation of the exterior derivative and is the mapping: \(\iota _Y : \varLambda ^k(\varOmega _n) \rightarrow \varLambda ^{k-1}(\varOmega _n)\) for some vector field \(Y \in \varOmega _n\) and \(1 \le k \le n\), defined as:
The Lie-derivative represents how forms change when they are altered by the flow of some vector field \(Y \in \varOmega _n\) and is the mapping: \(\mathcal {L}_Y : \varLambda ^k(\varOmega _n) \rightarrow \varLambda ^{k}(\varOmega _n)\), see [13, 15]. The Lie-derivative can be seen as the convection operator for differential geometry and is defined by applying Cartan’s formula:
The inner and outer oriented forms are connected using the Hodge-star operator denoted with a \(\star \), see [3, 10]. The Hodge-star operator, \(\star \), is a map between k-forms and (\(n-k\))-forms of opposite orientation in a n-dimensional domain: \({\star } : \varLambda ^k(\varOmega ^n)\rightarrow {\varLambda }^{n-k}(\varOmega ^n)\) see for example Fig. 1. In this report the \(\sim \) denotes inner oriented forms. The Hodge-star operator is defined using the following relation:
where \(\omega ^{(n)}\) is a unit n-form and the brackets \((\cdot ,\cdot )\) denote an inner product, which computes a scalar field from the vector proxy of the forms. This inner product results in a 0-form defined such that on the n-dimensional Euclidean domain: \( (\alpha ^{(1)},\beta ^{(1)}) = \sum _{i=1}^{n}\sum _{j=1}^{n} A_i B_j g^{ij}, \) where \((A_1,...,A_n)\) and \((B_1,...,B_n)\) define the vector proxies of \(\alpha ^{(1)}\) and \(\beta ^{(1)}\), respectively, and \(g^{ij}\) is the inverse of the metric tensor.
The spaces of forms are also equipped with an integral inner product or also referred to as an \(L^2\) inner product defined as:
When working with multiple domains, differential forms are equipped with an operator, which transforms forms defined on the codomain to the domain; the pullback operator. Consider the mapping of coordinates \(\varPhi : \widehat{\varOmega } \rightarrow \varOmega \), then the pullback operator is the mapping: \(\varPhi ^* : \varLambda (\varOmega ) \rightarrow \varLambda (\widehat{\varOmega })\). For the k-form \(a^{(k)}\) defined on \(\varOmega \), the following relation can then be constructed:
3 Mimetic Least-Squares Formulation
The variable \(\phi \) in (1), is represented by the inner oriented 0-form \({\tilde{\phi }}^{(0)}\). The Laplace operator working on a 0-form is constructed using the exterior derivative and Hodge star operator \(\varDelta \rightarrow \star d \star d\), which results in a 0-form. The source function in (1) can be represented by an inner oriented 0-form, \(\tilde{f}^{(0)}\). The term \(\nabla \cdot (\mathbf {u}\phi )\) represents the conservation of convective flux, which is naturally constructed using the Lie-derivative. One way of implementing this is to consider the 2-form \(\varvec{\star } \tilde{\phi }^{(0)} \) for the convective term, such that the following equation is obtained:
where the right hand side is replaced by the 2-form \(f^{(2)} = \star \tilde{f}^{(0)}\). Using Cartans homotopy formula, (6), the convective term reduces to only one term, since \(d \circ d \equiv 0\). This leads to the following equation:
This allows defining the outer oriented 1-form \(q^{(1)} = \iota _\mathbf {u} \varvec{\star } {\tilde{\phi }}^{(0)} + \varvec{\star }d\tilde{\phi }^{(0)}\), which can be interpreted as the total flux of the potential, i.e. the sum of convective and diffusive fluxes. A solution to the problem in (1), can then be obtained by solving a conservation equation and a constitutive relation:
The conservation equation can be solved exactly, while the approximation is introduced in the constitutive equation. A least-squares functional is established by integrating the squared residual over the domain,
where \(\left| \left| \alpha ^{(k)} \right| \right| _0^2 = ( \alpha ^{(k)}, \alpha ^{(k)})_\varOmega \). The least-squares method is a minimisation problem where the functional \(\mathcal {J}\) is minimised by setting the gradient of \(\mathcal {J}\) to zero, [8]. If we define \({\tilde{\varLambda }}_0^{0}(\varOmega )\) as the space of all inner oriented 0-forms, satisfying the boundary conditions in (2), and \(\varLambda ^{1}(\varOmega )\) as the space of all outer oriented 1-forms, then the variational formulation is obtained as: Find \({\tilde{\phi }}^{(0)} \in {\tilde{\varLambda }}_0^{0}(\varOmega )\) and \(q^{(1)} \in \varLambda ^{1}(\varOmega )\) such that:
4 Mimetic Spectral Discretization
The unknowns in the system are expanded using Lagrange polynomials [9] and edge polynomials [5]. Consider the one dimensional domain \(\varOmega _1= [-1,1]\) on which N+1 Gauss-Lobatto-Legendre (GLL) nodes are defined: \(-1 = x_0< \cdot \cdot \cdot < x_N = 1\). Using these nodes we define N+1 Lagrange polynomials \(h_i(x)\), such that \(h_i(x_j) = \delta _{ij}\). The expansion coefficients are then equal to the 0-form evaluated in the nodes: \(a_i = a^{(0)}(x_i)\). The 0-form \( \phi ^{(0)} = \phi (x,y)\) is expanded using Lagrange polynomials in both coordinate directions:
For 1-forms and 2-forms edge polynomials, presented in [5], are used to construct the approximation of the form. Consider the 1-form \(q^{(1)} = q^x(x,y)dx + q^y(x,y) dy\). Then the approximated form is represented as:
where \(e_i(x)\) and \(e_j(y)\) are edge polynomials defined from derivative of the Lagrange polynomials. From the N+1 Lagrange polynomials it is possible to define N edge polynomials:
which are connected to line segments between the nodes by the following relation: \( \int _{x_{j-1}}^{x_{j}} e_i(x) dx = \delta _{ij}\) for \(i,j=1:N\). For the 2-form \(\rho ^{(2)} = P(x,y) dx \wedge dy\) the approximate form is constructed as:
5 Numerical Results
Choosing a solution for the convection-diffusion problem as:
and a known divergence free velocity field as \(\mathbf {u} = u^x\frac{\partial }{\partial x} + u^y \frac{\partial }{\partial y}\) where \(u^x = \sin (\pi x)\cos (\pi y)\) and \( u^y = -\sin (\pi y)\cos (\pi x) \) we can calculate the source term.
The grid is constructed using the mappings; \( x(\xi ,\eta ) = \xi + c\sin (\pi \xi )\sin (\pi \eta ) \) and \( y(\xi ,\eta ) = \eta + c\sin (\pi \xi )\sin (\pi \eta ) \), where c is a skewness parameter, see Fig. 2. The results are shown in Fig. 3. It is observed that we obtain exponential convergence for the unknown potential (Fig. 3b) as well as for the accuracy of the constitutive equation (Fig. 3c). Both convergence plots show lower accuracy for large skewness of the mesh (the c parameter). In Fig. 3d we plot the invariant, \(q^{(1)}\), as function of the polynomial order and it is solved to machine accuracy.
In order to study the method on convection-dominated problems we consider the slightly different problem:
with the solution:
In Fig. 4 we present the results for the second problem. We observe that for small values of \(\epsilon \) it is not possible to obtain an accurate solution for the problem. The condition number has increased to a critical level which causes problems. In [11] a stabilization term is introduced in the form as ’upwinding’ flux for a Least-Squares finite element method. This introduces stabilization, however a slightly modified convection-diffusion equation system is solved. In [7] it is argued that all least-squares methods do not give reasonable results for convection-dominated problems possessing both interior and boundary layer structures in the solution. Solving convection-dominated problems with the least-squares method require further investigation. This introduces stabilization, however a slightly modified convection-diffusion equation system is solved for.
6 Conclusion
In this paper we present a spectral mimetic least-squares method for convection-diffusion problems. We show that by encapsulating the underlying geometric properties in the problem, we are able to discretize the convection-diffusion problem such that the invariant is conserved. The topological part of the problem can be satisfied to machine precision for moderate low values of the diffusion coefficient. However, for highly convection-dominated problems, i.e. for low values of the diffusion coefficient, the condition number of the associated matrix is huge and it is not possible to obtain the correct solution of the matrix system. We have in the present problem used a direct solver, however one of the main features of the Least-Squares method is that we obtain symmetric coefficient matrices and we can therefore use fast iterative solvers such as the preconditioned conjugate gradient method. Stabilization techniques could be one way of solving the problems with high condition numbers.
References
Bochev, P., Gunzburger, M.: On least-squares finite element methods for the Poisson equation and their connection to the Dirichlet and Kelvin principles. SIAM J. Numer. Anal. 43(1), 340–362 (2005). https://doi.org/10.1137/S003614290443353X
Bochev, P.B., Hyman, J.M.: Principles of mimetic discretizations of differential operators. In: Arnold, D.N., Bochev, P.B., Lehoucq, R.B., Nicolaides, R.A., Shashkov, M. (eds.) Compatible Spatial Discretizations. The IMA Volumes in Mathematics and its Applications, vol. 142, pp. 89–119. Springer, New York (2006). https://doi.org/10.1007/0-387-38034-5_5
Burke, W.L.: Applied Differential Geometry. Cambridge University Press, Cambridge (1985)
Desbrun, M., Hirani, A.N., Leok, M., Marsden, J.E.: Discrete Exterior Calculus. ArXiv Mathematics e-prints, August 2005
Gerritsma, M.: Edge functions for spectral element methods. In: Hesthaven, J., Rønquist, E. (eds.) Spectral and High Order Methods for Partial Differential Equations, vol. 76, pp. 199–207. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-15337-2_17
Gerritsma, M., Bochev, P.: A spectral mimetic least-squares method for the stokes equations with no-slip boundary condition. Comput. Math. Appl. 71(11), 2285–2300 (2016)
Hsieh, P.W., Yang, S.Y.: On efficient least-squares finite element methods for convection-dominated problems. Comput. Methods Appl. Mech. Eng. 199(1), 183–196 (2009)
Jiang, B.: The Least-Squares Finite Element Method: Theory and Applications in Computational Fluide Dynamics and Electromagnetics. Scientific Computation. Springer, New York (1998). http://opac.inria.fr/record=b1094463
Karniadakis, G., Sherwin, S.: Spectral/hp Element Methods for Computational Fluid Dynamics, 2nd edn. Oxford University Press, Oxford (2005)
Kreeft, J., Palha, A., Gerritsma, M.: Mimetic framework on curvilinear quadrilaterals of arbitrary order. ArXiv e-prints, November 2011
Lazarov, R., Tobiska, L., Vassilevski, P.: Streamline-diffusion least-squares mixed finite element methods for convection-diffusion problems. East-West J. Numer. Math 5(4), 249–264 (1997)
Mattiussi, C.: A reference discretization strategy for the numerical solution of physical field problems. In: Hawkes, P.W. (ed.) Electron Microscopy and Holography, Advances in Imaging and Electron Physics, vol. 121, pp. 143–279. Elsevier (2002). http://www.sciencedirect.com/science/article/pii/S1076567002800271
McInerney, A.: First Steps in Differential Geometry: Riemannian, Contact, Symplectic. Undergraduate Texts in Mathematics, 1st edn. Springer, New York (2013). https://doi.org/10.1007/978-1-4614-7732-7
Proot, M.M.J., Gerritsma, M.: A least-squares spectral element formulation for the stokes problem. J. Sci. Comput. 17 (2002)
Tu, L.W.: An Introduction to Manifolds. Universitext, 2nd edn. Springer, New York (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Hjort, R.O., Gervang, B. (2018). Spectral Mimetic Least-Squares Methods on Curvilinear Grids. In: Lirkov, I., Margenov, S. (eds) Large-Scale Scientific Computing. LSSC 2017. Lecture Notes in Computer Science(), vol 10665. Springer, Cham. https://doi.org/10.1007/978-3-319-73441-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-73441-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73440-8
Online ISBN: 978-3-319-73441-5
eBook Packages: Computer ScienceComputer Science (R0)