2018
DOI: 10.1090/mcom/3329
|View full text |Cite
|
Sign up to set email alerts
|

Smoothed projections over weakly Lipschitz domains

Abstract: Abstract. We develop finite element exterior calculus over weakly Lipschitz domains. Specifically, we construct commuting projections from L p de Rham complexes over weakly Lipschitz domains onto finite element de Rham complexes. These projections satisfy uniform bounds for finite element spaces with bounded polynomial degree over shape-regular families of triangulations. Thus we extend the theory of finite element differential forms to polyhedral domains that are weakly Lipschitz but not strongly Lipschitz. A… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
6
1

Relationship

1
6

Authors

Journals

citations
Cited by 7 publications
(4 citation statements)
references
References 29 publications
0
4
0
Order By: Relevance
“…This result is a consequence of [37, Theorem 7.4 & Corollary 7.5]; details can be found for instance in [36,Theorem 2.3]. The extension of u k is then achieved via reflection.…”
Section: Cartesian Currentsmentioning
confidence: 74%
“…This result is a consequence of [37, Theorem 7.4 & Corollary 7.5]; details can be found for instance in [36,Theorem 2.3]. The extension of u k is then achieved via reflection.…”
Section: Cartesian Currentsmentioning
confidence: 74%
“…There have been kinds of interpolators to finite element spaces which work for functions with minimal regularity requirements, such as [16,19,23,24,26,31,32,41]. For these interpolators, the regularization, smoothing or averaging techniques are usually used based on macroelements consisting of patches of elements.…”
Section: Andmentioning
confidence: 99%
“…We start by finding a family of open, bounded, weakly Lipschitz, and simply connected sets (Ω s ) s compactly contained in Ω that exhausts Ω . To do so, we rely on a result proven in [29,Theorem 2.3] (see also [30,Theorem 7.4 and Corollary 7.5]), which guarantees that there exists a t > 0 and a bi-Lipschitz map Γ : ∂Ω×(−t, t) → Γ(∂Ω×(−t, t)) ⊂ R 2 such that the image of Γ is an open neighborhood of ∂Ω , Γ(x, 0) = x for x ∈ ∂Ω , Γ(∂Ω×(−t, 0)) ⊂ Ω , and Γ(∂Ω×(0, t)) ⊂ R 2 \ Ω . For s ∈ (0, t) we define the set Ω s = Ω \ Γ(∂Ω×[−s, 0)) ⊂ Ω .…”
Section: From (34) It Follows Thatmentioning
confidence: 99%
“…For s ∈ (0, t) we define the set Ω s = Ω \ Γ(∂Ω×[−s, 0)) ⊂ Ω . According to [29,Theorem 2.3], we can assume that each Ω s is an open, bounded, and weakly Lipschitz set. We claim that each Ω s is simply connected.…”
Section: From (34) It Follows Thatmentioning
confidence: 99%