Sunday, 3 April 2011

real analysis - Embedding of BV and L^P spaces

An L1loc function on mathbbRn is in BVloc iff its distributional derivatives partialifinmathcalM1loc, i.e. they are all locally finite (Radon) measures. If n=1, the situation is well-known, and BVlocsubsetLinftyloc. So assume ngeq2. Since Ws,pc(mathbbRn)subsetC0c(mathbbRn) if s>n/p, you have that BVloc(mathbbRn)subsetW1s,ploc(mathbbRn)subsetLploc(mathbbRn)

if sleq1 and 1/p+1/p=1, that is if p<n/(n1). On the other hand, when n>1, 1/ralpha is in BVloc(mathbbRn) if alpha<n1, since partial derivatives are in L1loc, but it is in Lq only for q<n/alpha, so that BVloc(mathbbRn)subsetLqloc(mathbbRn) fails for any q>n/(n1). I wouldn't bet on the limiting case.

No comments:

Post a Comment