On the singular set of minimizers of \(p(x)\)-energies (Q2248844)

In this paper, the author provides some Hausdorff measure estimates for the singular set of locally bounded minimizers \(u\;: \;\Omega\subset\mathbb{R}^{m}\rightarrow\mathbb{R}^n\) of the functional \[ u\mapsto \int_{\Omega}\left(g^{\alpha\beta}(x)h_{ij}(u)D_{\alpha}u^{i}(x)D_{\beta}u^j(x)\right)^{\frac{p(x)}{2}}\;dx. \] Here \(\Omega\) is both bounded and open and \(m\geq2\). One of the complications that the author must overcome in this work is the fact that the treatment here includes the variable growth setting -- i.e., the replacement of the growth exponent \(p\) with the Lipschitz continuous function \(x\mapsto p(x)\), as occurs above. In addition to the assumption that \(p\) is Lipschitz continuous on \(\Omega\), the author also makes the assumption that the maps \(x\mapsto g^{\alpha\beta}(x)\) and \(u\mapsto h_{ij}(u)\) are Hölder continuous. Finally, regarding the map \(x\mapsto p(x)\) it is further assumed that \[ 2\leq\gamma_1:=\inf_{x\in\Omega}p(x)\leq\sup_{x\in\Omega}p(x)=:\gamma_2<+\infty. \] Under these assumptions, it is then proved that if \(u\in W^{1,p(x)}(\Omega)\) is a bounded local minimizer of the above functional, then it holds that (a.) if \(m\leq\gamma_1+1\), then \(u\) can have at most isolated singular points; whereas (b.) if \(m>\gamma_1+1\), then the Hausdorff dimension of the singular set is at most \(m-\left[\gamma_1\right]-1\), where \(\left[\gamma_1\right]\) is the integer part of \(\gamma_1\).