Current browse context:
math.CA
Change to browse by:
References & Citations
Mathematics > Classical Analysis and ODEs
Title: A Trace theorem for Martinet--type vector fields
(Submitted on 6 Jun 2018)
Abstract: In $\mathbb{R}^3$ we consider the vector fields \[
X_1 =\frac{ \partial }{\partial x},\qquad
X_2 =\frac{ \partial }{\partial y}+ |x|^\alpha \frac{ \partial }{\partial z}, \]
where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+ =\{(x,y,z)\in\mathbb{R}^3: z\geq 0\}$ be the (closed) upper half-space and let $f\in C^1 ( \mathbb{R} ^3_+ )$ be a function such that $X_1f, X_2f \in L^ p(\mathbb{R}^3_+)$ for some $p>1$. In this paper, we prove that the restriction of $f$ to the plane $z=0$ belongs to a suitable Besov space that is defined using the Carnot-Carath\'eodory metric associated with $X_1$ and $X_2$ and the related perimeter measure.
Link back to: arXiv, form interface, contact.