A trace theorem for Martinet-type vector fields

Abstract: In

m a t h b b 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

a l p h a i n l e f t [1, + i n f t y i g h t [

. Let

m a t h b b R_{+}^{3} = (x, y, z) i n m a t h b b R^{3} : z g e q 0

be the (closed) upper half-space and let

f i n C^{1} (m a t h b b R_{+}^{3})

be a function such that

X_{1} f, X_{2} f i n L^{p} (m a t h b b 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.

Recommendations

Cites work

Cited in

(1)

This page was built for publication: A trace theorem for Martinet-type vector fields