2024/02/24 by Parker, Charles, Süli, Endre · 1 citation
#46E35 #65N30 #FOS: Mathematics #Numerical Analysis (math.NA)
paper · doi:10.48550/arxiv.2402.15789
On the reference tetrahedron K, we construct, for each k ∈ ℕ0, a right inverse for the trace operator u ↦ (u, ∂n u, …, ∂nk u)|∂ K. The operator is stable as a mapping from the trace space of Ws, p(K) to Ws, p(K) for all p ∈ (1, ∞) and s ∈ (k+1/p, ∞). Moreover, if the data is the trace of a polynomial of degree N ∈ ℕ0, then the resulting lifting is a polynomial of degree N. One consequence of the analysis is a novel characterization for the range of the trace operator.