ON L^p–L^q TRACE INEQUALITIES

Abstract: We give necessary and sufficient conditions in order that inequalities of the type

| T_K f|_{L^q(dmu)}leq C |f|_{L^p(dsigma)}, qquad f in L^p(dsigma),

hold for a class of integral operators

T_{K} f (x) = i n t_{R^{n}} K (x, y) f (y) d s i g m a (y)

with nonnegative kernels, and measures

d m u

and

d s i g m a

on

R^{n}

, in the case where

p > q > 0

and

p > 1

. An important model is provided by the dyadic integral operator with kernel

K_{m a t h c a l D} (x, y) s u m_{Q i n m a t h c a l D} K (Q) c h i_{Q} (x) c h i_{Q} (y)

, where

m a t h c a l D = Q

is the family of all dyadic cubes in

R^{n}

, and

K (Q)

are arbitrary nonnegative constants associated with

Q i n m a t h c a l D

. The corresponding continuous versions are deduced from their dyadic counterparts. In particular, we show that, for the convolution operator

T_{k} f = k s t a r f

with positive radially decreasing kernel

k (| x - y |)

, the trace inequality

| T_k f|_{L^q(dmu)}leq C |f|_{L^p(d x)}, qquad f in L^p(dx),

holds if and only if

{m a t h c a l W}_{k} [m u] i n L^{s} (d m u)

, where

s = f r a c q (p - 1) p - q

. Here

{m a t h c a l W}_{k} [m u]

is a nonlinear Wolff potential defined by

and

. Analogous inequalities for

1 l e q < p

were characterized earlier by the authors using a different method which is not applicable when

q < 1

.

Cited In (23)

   Recommendations

This page was built for publication: ON $L^p$–$L^q$ TRACE INEQUALITIES