Differentiability properties of functions from higher-order Orlicz-Sobolev spaces

DOI10.1016/J.NA.2011.12.023MaRDI QIDQ765846zbMATH OpenOpenAlexFDO

Publication date 22 March 2012

Published in Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.na.2011.12.023

zbMATH Keywords

differentiable function Lebesgue point Orlicz-Sobolev spaces Young function

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Review text

Let \(\Omega\) be an open subset of \(\mathbb R^n\) (\(n\geq 2\)) and \(A\) be a Young function. For \(1\leq m< n\), consider the conditions: (C1) \(\int_0 (t/A(t))^{m/(n-m)}dt< \infty\), (C2) \(\int^\infty (t/A(t))^{m/(n-m)}dt=\infty\). The following are the main results of the paper: Theorem 1. Assume that either \(1\leq m< n\) and (C1) holds or \(m\geq n\). If \(u\in W_{\text{loc}}^{m,A}(\Omega)\), then \(u\) has an \(m\)-th order differential almost everywhere in \(\Omega\), in the sense: \[ u(y)=T_x^m(u)(y)+o(|y-x|^m),\;\text{as}\;y\to x. \] Theorem 2. Assume that \(1\leq m< n\) and (C1)+(C2) holds. If \(u\in W_{\text{loc}}^{m,A}(\Omega)\), then \[ \lim_{r\to 0+} \oint_{B_r(x)} C\left({|u(y)-T_x^m(u)(y)|\over\sigma|y-x|^m}\right)dy=0 \] for every \(\sigma> 0\) and for a.e. \(x\in \Omega\). Hence, in particular \[ \lim_{r\to 0+}\left|\left| {u(.)-T_x^m(u)(.)\over|.-x|^m}\right|\right| ^{(a)}_{L^C(B_r(x))}=0. \] Here, \(C:=A_{n/m}\), and \(||v||^{(a)}_{L^C(\Theta)}\) is the averaged norm of the measurable function \(v\) over the measurable set \(\Theta\) of \(\mathbb R^n\) with \(|\Theta|< \infty\), with respect to the Young function \(C\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Differentiability properties of functions from higher-order Orlicz-Sobolev spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765846)