Abstract:We consider a boundary value problem for the $p$-Laplacian, posed in the exterior of small cavities that all have the same $p$-capacity and are anchored to the unit sphere in $\mathbb{R}^d$, where $1<p<d.$ We assume that the distance between anchoring points is at least $\varepsilon$ and the characteristic diameter of cavities is $\alpha \varepsilon$, where $\alpha=\alpha(\varepsilon)$ tends to 0 with $\varepsilon$. We also assume that anchoring points are asymptotically uniformly distributed as $\varepsilon \downarrow 0$, and their number is asymptotic to a positive constant times $\varepsilon^{1-d}$. The solution $u=u^\varepsilon$ is required to be 1 on all cavities and decay to 0 at infinity. Our goal is to describe the behavior of solutions for small $\varepsilon>0$. We show that the problem possesses a critical window characterized by $\tau:=\lim_{\varepsilon \downarrow 0}\alpha /\alpha_c \in (0,\infty)$, where $\alpha_c=\varepsilon^{1/\gamma}$ and $\gamma= \frac{d-p}{p-1}.$ We prove that outside the unit sphere, as $\varepsilon\downarrow 0$, the solution converges to $A_*U$ for some constant $A_*$, where $U(x)=\min\{1,|x|^{-\gamma}\}$ is the radial $p$-harmonic function outside the unit ball. Here the constant $A_*$ equals 0 if $\tau=0$, while $A_*=1$ if $\tau=\infty$. In the critical window where $\tau$ is positive and finite, $ A_*\in(0,1)$ is explicitly computed in terms of the parameters of the problem. We also evaluate the limiting $p$-capacity in all three cases mentioned above. Our key new tool is the construction of an explicit ansatz function $u_{A_*}^\varepsilon$ that approximates the solution $u^\varepsilon$ in $L^{\infty}(\mathbb{R}^d)$ and satisfies $\|\nabla u^\varepsilon-\nabla u_{A_*}^\varepsilon \|_{L^{p}(\mathbb{R}^d)} \to 0$ as $\varepsilon \downarrow 0$.

The curse of dimensionality for the $L_p$-discrepancy with finite $p$

The $L_p$-discrepancy for finite $p>1$ suffers from the curse of dimensionality

Discrete logarithmic Sobolev inequalities in Banach spaces

Conditions for tractability of the weighted $L_p$-discrepancy and integration in non-homogeneous tensor product spaces

Dirichlet improvability in $L_p$-norms

Constructing Optimal $L_{\infty}$ Star Discrepancy Sets

On the upper bound of the $L_p$ discrepancy of Halton's sequence and the Central Limit Theorem for Hammersley's net

A note on the periodic $L_2$-discrepancy of Korobov's $p$-sets

A basic homogenization problem for the $p$-Laplacian in ${\mathbb R}^d$ perforated along a sphere: $L^\infty$ estimates

Low discrepancy sequences in high dimensions: How well are their projections distributed?

Central Limit Theorem in High Dimensions : The Optimal Bound on Dimension Growth Rate

A Generalized L 2 -Discrepancy for Cubature and Uncertainty Quantification of Nonlinear Structures

Dimension-free Fourier restriction inequalities

Dimension-free estimates for low degree functions on the Hamming cube

$L^p$-Sobolev inequalities on Euclidean submanifolds

On the $L_p$ discrepancy of two-dimensional folded Hammersley point sets

Hardy space decomposition of Lp on the unit circle : 0 < p ≤ 1

Discrete-to-Continuum Rates of Convergence for $p$-Laplacian Regularization

$L^{p}$-integrability of functions with Fourier supports on fractal sets on the moment curve

Discretization on high-dimensional domains

Breaking the Curse for Uniform Approximation in Hilbert Spaces via Monte Carlo Methods