scholarly journals $$H^1$$-conforming finite element cochain complexes and commuting quasi-interpolation operators on Cartesian meshes

CALCOLO ◽  
2021 ◽  
Vol 58 (2) ◽  
Author(s):  
Francesca Bonizzoni ◽  
Guido Kanschat

AbstractA finite element cochain complex on Cartesian meshes of any dimension based on the $$H^1$$ H 1 -inner product is introduced. It yields $$H^1$$ H 1 -conforming finite element spaces with exterior derivatives in $$H^1$$ H 1 . We use a tensor product construction to obtain $$L^2$$ L 2 -stable projectors into these spaces which commute with the exterior derivative. The finite element complex is generalized to a family of arbitrary order.

2008 ◽  
Vol 18 (05) ◽  
pp. 739-757 ◽  
Author(s):  
SNORRE H. CHRISTIANSEN

Given a cellular complex, we construct spaces of differential forms which form a complex under the exterior derivative, which is isomorphic to the cochain complex of the cellular complex. The construction applies in particular to subsets of Euclidean space divided into polyhedra, for which it provides, for each k, a space of k-forms with a basis indexed by the set of k-dimensional cells. In the framework of mimetic finite differences, the construction provides a conforming reconstruction operator. The construction requires auxiliary spaces of differential forms on each cell, for which we provide two examples. When the cells are simplexes, the construction can be used to recover the standard mixed finite element spaces also called Whitney forms. We can also recover the dual finite elements previously constructed by A. Buffa and the author on the barycentric refinement of a two-dimensional mesh.


1972 ◽  
Vol 24 (4) ◽  
pp. 686-695 ◽  
Author(s):  
Marvin Marcus ◽  
William Robert Gordon

Let V be an n-dimensional vector space over the complex numbers equipped with an inner product (x, y), and let (P, μ) be a symmetry class in the mth tensor product of V associated with a permutation group G and a character χ (see below). Then for each T ∊ Hom (V, V) the function φ which sends each m-tuple (v1, … , vm) of elements of V to the tensor μ(TV1, … , Tvm) is symmetric with respect to G and x, and so there is a unique linear map K(T) from P to P such that φ = K(T)μ.It is easily checked that K: Hom(V, V) → Hom(P, P) is a rational representation of the multiplicative semi-group in Hom(V, V): for any two linear operators S and T on VK(ST) = K(S)K(T).Moreover, if T is normal then, with respect to the inner product induced on P by the inner product on V (see below), K(T) is normal.


Sign in / Sign up

Export Citation Format

Share Document