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)subsetW1−s,p′loc(mathbbRn)subsetLp′loc(mathbbRn)
if sleq1 and 1/p+1/p′=1, that is if p′<n/(n−1). On the other hand, when n>1, 1/ralpha is in BVloc(mathbbRn) if alpha<n−1, 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/(n−1). I wouldn't bet on the limiting case.
No comments:
Post a Comment