2017/07/31 by Dominic Breit, Lars Diening, Franz Gmeineder
Mathematics 路 #Advanced Harmonic Analysis Research #Bounded function #Constant (computer programming) #Constant coefficients #Differential operator #Geometric Analysis and Curvature Flows #Lipschitz continuity #Nonlinear Partial Differential Equations #Operator (biology) #Quasiconvex function #Space (punctuation) #TRACE (psycholinguistics) #math.AP #msc:06D05 #msc:26D10
paper 路 pdf 路 doi:10.2140/apde.2020.13.559
published as Analysis & PDE 13 (2020) 559-594
arxiv created 2019/03/09 路 openalex created_date 2019/06/07 路 openalex publication_date 2020/03/19 路 arxiv updated 2020/03/25 路 openalex updated_date 2026/08/05
We consider the space [math] of functions of bounded [math] -variation. For a given first-order linear homogeneous differential operator with constant coefficients [math] , this is the space of [math] -functions [math] such that the distributional differential expression [math] is a finite (vectorial) Radon measure. We show that for Lipschitz domains [math] , [math] -functions have an [math] -trace if and only if [math] is [math] -elliptic (or, equivalently, if the kernel of [math] is finite-dimensional). The existence of an [math] -trace was previously only known for the special cases that [math] coincides either with the full or the symmetric gradient of the function [math] (and hence covered the special cases BV or BD). As a main novelty, we do not use the fundamental theorem of calculus to construct the trace operator (an approach which is only available in the BV- and BD-settings) but rather compare projections onto the nullspace of [math] as we approach the boundary. As a sample application, we study the Dirichlet problem for quasiconvex variational functionals with linear growth depending on [math] .