Sharp exponents and a Wiener type condition for boundary regularity of quasiminimizers (Q305739)

A \(Q\)-quasiminimizer \(u \in W^{1,p}(\Omega)\), \(\Omega\) a bounded, open set in \(\mathbb{R}^n\), is a function which satisfies \[ \int_D |\nabla u|^p \,dx \leq Q \int_D |\nabla( u +\varphi )|^p \,dx \] for every \(\varphi \in C^{\infty}_0(\Omega)\), see [\textit{M. Giaquinta} and \textit{E. Giusti}, Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 79--107 (1984; Zbl 0541.49008)]. Only sufficient conditions for the Wiener-type regularity of quasiminimizers at a boundary point have been known and these estimates do not have an explicit dependence on the quasiminimizing constant \(Q\). For a recent result, see [\textit{E. DiBenedetto} and \textit{U. Gianazza}, Manuscr. Math. 149, No. 3--4, 339--346 (2016; Zbl 1347.49053)]. The author derives a sharp Wiener-type boundary regularity condition for quasiminimizers. She shows that if \(p > 1\), \(x_o \in \partial \Omega\) and for some \(\varepsilon > 0\) the Wiener type sum \[ \sum_{j = 0}^{\infty}(2^{j(n-p)} \mathrm{cap}_p\big(B(x_o,2^{-j-1}) \setminus \Omega, B(x_o, 2^{-j})\big)^{\alpha/(p-1)+\varepsilon} \] diverges, then \(x_o\) is a regular boundary point for \(Q\)-quasiminimizers meaning that every \(Q\)-quasiminimizer \(u\) takes continuously the boundary value of \(f \in C(\overline{\Omega} \cap W^{1,p}(\Omega))\), \(f - u \in W^{1,p}_0(\Omega)\) at \(x_o\). Here \(\mathrm{cap}_p\) refers to the \(p\)-capacity and \(\alpha \geq 1\) is the unique solution of the equation \(Q = \alpha^p/(1 + p(\alpha -1))\). The proof makes use of the sharp \(p\)-Dirichlet integral estimates for quasiminimizers in [\textit{O. Martio}, Complex Anal. Oper. Theory 5, No. 3, 683--699 (2011; Zbl 1275.31003)]. The sharpness of the above Wiener condition is demonstrated in the case \(1 < p <n\).