The biharmonic obstacle problem with varying obstacles and a related maximal operator (Q4938488)

Let \(\Omega\subseteq{\mathbb R}^n\), \(n\geq 2\), be a bounded domain. For every \(k\in{\mathbb N}\) let \(\psi_k\in C^1(\Omega)\) with \(\psi_k<0\) near \(\partial\Omega\), \(u_k\) be the solution of the biharmonic obstacle problem \[ \min\left\{\int_\Omega (\Delta v)^2dx : v\in H^2_0(\Omega),\;v\geq\psi_k\text{ a.e. in }\Omega\right\}, \] and let \({\mathcal M}(x)=\sup\{|D^3u_k(x)|: k\in{\mathbb N}\}\), where \(|D^3u_k|\) denotes the Euclidean length of the vector of all the third partial derivatives of \(u_k\). In the paper the author proves that, if \(u_k\to u\) strongly in \(H^2(\Omega)\) and \({\mathcal M}\in L^2_{\text{loc}}(\Omega)\), then \(\Delta u_k\to\Delta u\) \(C_{1,2}\)-a.e. in \(\Omega\) (\(C_{1,2}\) is the usual Newtonian capacity), and, provided \(\|\psi_k\|_{L^\infty(\Omega)}\) and \(\|\Delta\psi_k\|_{L^\infty(\omega)}\) are uniformly bounded, \(u_k\to u\) strongly in \(W^{3,2}_{\text{loc}}(\Omega)\). The author also focuses on the nature of the maximal function \({\mathcal M}\), and discusses the regularity properties of the solutions of the biharmonic obstacle problems for smooth radial data. For the entire collection see [Zbl 0923.00035].