Maximum principle in potential theory and imbedding

0 downloads 0 Views 1MB Size Report
Monotonicity of capacity: if E I c E 2 then ca~p(E~, K(Lp))~cap(E2, K(Lv)). 3. ... The capacity cap(-, K(Lp)) is an outer capacity, i.e., for any set E c G we have.
MAXIMUM PRINCIPLE IN POTENTIAL THEORY AND IMBEDDING THEOREMS FOR AN!SOTROPIC SPACES OF DIFFERENTIABLE FUNCTIONS S. K. Vodop'yanov

UDC 517.5:517.968

The applicability of the ideas and methods of classical potential theory [1-3] and its nonlinear generalization [4-11] depends on the properties of the potentials ( U ~ ) ( x ) = S K

lq--l. y) d~t(y) (or(UIc,u)(x)=l~nK(x,Y) [ [I. K(Y,z)d[~(z)

dy

Inn possible to preserve in the more general i s t h e g e n e r a l i z e d maximum p r i n c i p l e : if c is a positive constant.

(x,

Rn in the nonlinear

theory.

case,

q~(t,

oo)), w h i c h i t

is

One o f t h e b a s i c p r o p e r t i e s of potentials on s u p p ~ t h e n (U~lx)(x) 0. 2.2. In what follows we consider only the case of Euclidean space R ~ with the group of dilations 8t=tA=exp(Alnt), t > 0, where A is a real n • n-matrix with eigenvalues kj~ Re Xj > 0 and t r A = v, defined on it. Let A' be the matrix conjugate to A, 6 t = t A , and p ~ C ~ ( R ~ \ { 0 } ) be a 5~-homogeneous metric connected with the group ~ . The space of anisotropic Bessel potentials L~ is defined as the convolutions of functions from Lv(R: ) with kernel Gy whose Fourier transform Gv(~) = ~ G~(x) e-~xdx is equal to (I +p~(~))-~/z (here ~x = ~x~ + Rn

~zxz+...+~'x,~ is the scalar product of the vectors x and ~). Thus, L~={/~Lp:

/=G~,g,g~Lp},

l I

Gv (x) g

[ h e r e 2k>max~f/a#, aj a r e t h e e l e m e n t s o f t h e m a t r i x A, A~/(x) i s t h e c e n t e r e d d i f f e r e n c e J t h e f u n c t i o n f o f o r d e r 2k w i t h v e c t o r s t e p t and w i t h c e n t e r a t t h e p o i n t x ) .

of

It is established i n [32] t h a t t h e f u n c t i o n / E P ( L v ) i f and o n l y i f ]~Lq(R'~), t / q = l / p - y / n and T T / ~ L v ( R ~ ) . Comparing t h e s e two d e s c r i p t i o n s , and c o n s i d e r i n g t h e c o m p a c t n e s s o f

[[/I]L~M[I/]IIY(Lp ), where the constant the function f. The imbedding L~p(Rn)-+IV(Lp), L~-+Lq, I/q= I/p-7/n, and consequently the lower

the support of-the function f, we conclude that M depends on the diameter of the support of also follows from these descriptions, since bound follows. THEOREM 4.

Let the matrix A be diagonal,

f~L~p

and

t r A = n.

oo

S cap ( { I / [ > t}, L~) dt p t/N},n~).

of the semiadditivity

of the capacity

h a v e cap({]/[~t},L~)
p we con"-Lq(~), q > 1 is considered in point 2.4. 2.3 . Considering the Besov space B p,p~ l (R n~j, p > 1 , | ~ R ~ , as the space of traces on a hyperplane, of functions from suitably chosen spaces of aniso~tropic Bessel potentials, we get from Theorems 4-7, corresponding assertions for the Besov spaces (cf. the definition in [43]). Let the hyperplane R = in the space R =+~ be defined by fixing the last coordinate: {x ~ R TM :

L e t m ~ R ? ~ +~, x = 1 It

is proved

t >0, pmn+l

in [34]

that

l~= •

for

i = 1, 2, ..., n.

any function/~C~(R

=)

[I/ll )lv,v(Rn ~ inf IIext /IIL~,(~n+~ ), w h e r e e x t / ~ C ~ ( R "+~) i s a n y e x t e n s i o n taken over all such extensions. It

where cap (E,B~,v(Rn)) = inf

p ~ (1, ~ ) ,

o f t h e f u n c t i o n f t o t h e s p a c e R "+~, and t h e i n f i m u m i s follows in particular from this that for any set E~R =

cap(E,

BIv,v(Rn))..-.cap(E, L?* (R'~+i)),

{[[ul]~[,v(Rn) p~ , u >j i on g}.

This equivalence lets us establish,

the space B~,v(Rn), properties 1-6 of the capacity, a number of propositions and theorems.

l*p>n,

Proposition 12.

If

Proposition 13.

If E c R

for

formulated in point 1.2, and lets us prove

In what follows we choose the component ran+l so that l * - n / p = m * - ( n + i ) / p . the metric r(x) is defined by a smoothness vector I.

As above,

then for any compact set e ~ r with diana e~< I one has

cap (e,

1

~ is a Borel set, then I E p-vz*)/n < c cap (E,

where

R n=

x.+~ = 0).

By,v), ' t < p < n/l*,

]El is the Lebesgue measure of the set E. Proposition

14.

IfE~R"

is a Borel set, l~c(ln 2n ~l-p ]--fT/

Proposition

15.

If i < p < n / l *

Proposition

16.

If l