Differentiability properties of functions from higher-order Orlicz-Sobolev spaces (Q765846)

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\).