A common approach to singular perturbation and homogenization III: Nonlinear periodic homogenization with localized defects

TL;DR

This work develops a unified abstract framework for nonlinear periodic homogenization with localized defects in semilinear elliptic problems. By employing an implicit-function-type theorem tailored to singular perturbations and leveraging maximal regularity in both Sobolev and Sobolev–Morrey spaces, it proves existence, local uniqueness, and $L^ty$-convergence rates of solutions $u_$ to the oscillatory problem toward the homogenized solution $u_0$. The paper constructs explicit approximate solutions using cell-problem correctors and Steklov smoothing, and derives convergence rates $ orm{u_-u_0}_ty=O(^)$ with $>0$ depending on regularity and defect structure; rates can be pushed toward $1/N$ under additional assumptions. Overall, the results provide a robust, general approach to nonlinear periodic homogenization with defects, including precise $L^ty$-error estimates under minimal smoothness assumptions on the data.

Abstract

We consider periodic homogenization with localized defects for semilinear elliptic equations and systems of the type $$ \nabla\cdot\Big(\Big(A(x/\varepsilon)+B(x/\varepsilon)\Big)\nabla u(x)+c(x,u(x)\Big)=d(x,u(x)) \mbox{ in } Ω$$ with Dirichlet boundary conditions. For small $\varepsilon>0$ we show existence of weak solutions $u=u_\varepsilon$ as well as their local uniqueness for $\|u-u_0\|_\infty \approx 0$, where $u_0$ is a given non-degenerate weak solution to the homogenized problem. Moreover, we prove that $\|u_\varepsilon-u_0\|_\infty\to 0$ for $\varepsilon \to 0$, and we estimate the corresponding rate of convergence. Our assumptions are, roughly speaking, as follows: $Ω$ is a bounded Lipschitz domain, $A$, $B$, $c(\cdot,u)$ and $d(\cdot,u)$ are bounded and measurable, $c(x,\cdot)$ and $d(x,\cdot)$ are $C^1$-smooth, $A$ is periodic, and $B$ is a localized defect. Neither global uniqueness is supposed nor growth restriction for $c(x,\cdot)$ or $d(x,\cdot)$. The main tool of the proofs is an abstract result of implicit function theorem type which permits a common approach to nonlinear singular perturbation and homogenization.

Theorems & Definitions (34)

• Theorem 1.1
• Theorem 1.2
• Remark 1.3
• Remark 1.4
• Remark 1.5
• Remark 1.6
• Remark 1.7
• Remark 1.8
• Remark 1.9
• Remark 1.10