We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Analysis of PDEs

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

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$.
Comments: 25 pages, 6 figures
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
MSC classes: 35J92, 35J66
Cite as: arXiv:2205.07133 [math.AP]
  (or arXiv:2205.07133v2 [math.AP] for this version)

Submission history

From: Yuval Peres [view email]
[v1] Sat, 14 May 2022 21:08:15 GMT (2762kb,D)
[v2] Tue, 21 Jun 2022 16:37:44 GMT (3101kb,D)

Link back to: arXiv, form interface, contact.