Table of Contents
Fetching ...

Dirichlet Problems in Perforated Domains

Robert Righi, Zhongwei Shen

Abstract

In this paper we establish $W^{1,p}$ estimates for solutions $u_\varepsilon$ to Laplace's equation with the Dirichlet condition in a bounded and perforated, not necessarily periodically, $C^1$ domain $Ω_{\varepsilon, η}$ in $\mathbb{R}^d$. The bounding constants depend explicitly on two small parameters $\varepsilon$ and $η$, where $\varepsilon$ represents the scale of the minimal distance between holes, and $η$ denotes the ratio between the size of the holes and $\varepsilon$. The proof relies on a large-scale $L^p$ estimate for $\nabla u_\varepsilon$, whose proof is divided into two parts. In the first part, we show that as $\varepsilon, η$ approach zero, harmonic functions in $Ω_{\varepsilon, η}$ may be approximated by solutions of an intermediate problem for a Schrödinger operator in $Ω$. In the second part, a real-variable method is employed to establish the large-scale $L^p$ estimate for $\nabla u_\varepsilon$ by using the approximation at scales above $\varepsilon$. The results are sharp except in the case $d\ge 3$ and $p=d$ or $d^\prime$.

Dirichlet Problems in Perforated Domains

Abstract

In this paper we establish estimates for solutions to Laplace's equation with the Dirichlet condition in a bounded and perforated, not necessarily periodically, domain in . The bounding constants depend explicitly on two small parameters and , where represents the scale of the minimal distance between holes, and denotes the ratio between the size of the holes and . The proof relies on a large-scale estimate for , whose proof is divided into two parts. In the first part, we show that as approach zero, harmonic functions in may be approximated by solutions of an intermediate problem for a Schrödinger operator in . In the second part, a real-variable method is employed to establish the large-scale estimate for by using the approximation at scales above . The results are sharp except in the case and or .
Paper Structure (11 sections, 38 theorems, 254 equations)

This paper contains 11 sections, 38 theorems, 254 equations.

Key Result

Theorem 1.1

Suppose that $0< \sigma_\varepsilon \le 1$ and $2< p< \infty$. Let $\Omega$ be a bounded $C^1$ domain in $\mathbb{R}^d$ and $\Omega_{\varepsilon, \eta}$ be given by O-e. Then where $C$ depends only on $d$, $p$, $\Omega$, and $\{Y_z^s\}$.

Theorems & Definitions (77)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Lemma 2.1
  • Lemma 2.2
  • proof
  • Theorem 2.3
  • proof
  • Lemma 2.4
  • proof
  • ...and 67 more