Uniform boundary estimates in homogenization of higher-order elliptic systems (Q667343)

The paper is devoted to studying the following $2m$-order elliptic system, \[ \begin{cases} \mathcal{L}_\varepsilon u_\varepsilon =f &\text{ in } \Omega, \\ Tr (D^\gamma u_\varepsilon)=g_\gamma & \text{ on } \partial\Omega \quad\text{for } 0\leqslant|\gamma|\leqslant m-1, \end{cases}\eqno{(1)}\] where $\Omega \subset \mathbb{R}^d, d\geqslant1,$ is a bounded Lipschitz domain, $\mathcal{L}_\varepsilon$ stands for the differential expression \[ (\mathcal{L}_\varepsilon u_\varepsilon )_i = (-1)^{m}\sum_{|\alpha|=|\beta|=m} D^\alpha (A_{ij}^{\alpha \beta}(x/\varepsilon )D^\beta u_{\varepsilon j}), \qquad 1\leqslant i, j\leqslant n. \] The unknown $u_\varepsilon$ is an $n$th dimensional vector $u_\varepsilon=(u_{\varepsilon\,1},\ldots,u_{\varepsilon\,n}) u_{\varepsilon j}$. The coefficients $A_{ij}^{\alpha \beta}$ are some real, bounded measurable, satisfying the strong ellipticity condition \[ \mu |\xi|^2\leqslant \sum_{|\alpha|=|\beta|=m} A_{ij}^{\alpha\beta}(y)\xi^i_\alpha\xi^j_\beta\leqslant \frac{1}{\mu} |\xi|^2 \quad\text{for }\, a.e.\, y\in \mathbb{R}^{d}, \] and being periodic with respect to $\mathbb{Z}^d$. The main aim of the paper is to obtain the regularity estimate uniform in $\varepsilon>0$. The main obtained results are as follows. \par Let $\psi: \mathbb{R}^{d-1}\rightarrow \mathbb{R}$ be a $C^1$ function with \[ \begin{aligned} &\psi(0)=0, \quad|\nabla\psi|\leqslant M,\quad \sup_{|x'-y'|\leqslant t } |\nabla\psi(x')-\nabla \psi(y')| \leqslant \tau(t)\to0\quad t\to0+, \\ &D_r=\Big\{ (x',x_d)\in \mathbb{R}^d: |x'|<r \text{ and } \psi(x')<x_d<\psi(x')+r\Big\}, \\ &\Delta_r=\Big\{ (x',\psi(x'))\in \mathbb{R}^d: |x'|<r \Big\}. \end{aligned} \] Theorem. Let $u_\varepsilon \in H^{m}(D_1; \mathbb{R}^n)$ be a weak solution to (1) with $\Omega=D_1$, $\partial\Omega=\Delta_1$, $f=F$, $g_\gamma=D^\gamma G$, where $G\in C^{m-1,1}(D_1; \mathbb{R}^n), F\in L^p(D_1; \mathbb{R}^n)$ with $p>\max\big\{d/(m+1), 2d/(d+2m-2), 1\big\}$. Then for any $0<\lambda <\min\{m+1-d/p, 1\}$ and any $\varepsilon\leqslant r < 1,$ \[ \Big(\int_{D_r}|\nabla^m u_\varepsilon|^2\Big)^{1/2}\leqslant C r^{\lambda-1}\bigg\{\Big(\int_{D_1}|u_\varepsilon|^2 \Big)^{1/2}+\Big(\int_{D_1} |F|^p\Big)^{1/p} + \| G\|_{C^{m-1,1}(D_1)} \bigg\}, \] where $C$ depends only on $d,n,m, \lambda,\mu,p$ and $\tau(t)$. \par Theorem. Let $\Omega$ be a bounded $C^1$ domain in $\mathbb{R}^d$. Suppose that the coefficient matrix satisfies \[ \sup_{ x\in \mathbb{R}^d,\,0<r<t } \int_{B(x,r)}|A(y)-\int_{B(x,r)}A|dy\leqslant \varrho(t), \qquad 0<t\leqslant 1, \] for some nondecreasing continuous function $\varrho(t)$ on $[0,1]$ with $ \varrho(0)= 0$, and $u_\varepsilon\in H^m(\Omega; \mathbb{R}^n)$ be a weak solution to (1) with $f=\sum_{|\alpha|\leqslant m}D^\alpha f^\alpha$, where $\dot{g} =\{g_\gamma\}_{|\gamma|\leqslant m-1}\in \dot{B}^{m-1/p}_p(\partial\Omega; \mathbb{R}^n)$ and $ f^\alpha\in L^p(\Omega;\mathbb{R}^n)$ for $|\alpha|\leqslant m, 2\leqslant p< \infty$. Then \[ \| u_\varepsilon\|_{W^{m,p}(\Omega)} \leqslant C_p \,\bigg\{ \sum_{|\alpha|\leqslant m}\|f^\alpha\|_{L^p(\Omega)} + \|\dot{g}\|_{\dot{B}^{m-1/p}_p(\partial\Omega) }\bigg\}, \] where the constant $C_p$ depends only on $p,d,n,m,\mu,\Omega$ and $\varrho(t)$. \par Theorem. Let $\psi\in C^{1,\theta} (\mathbb{R}^{d-1})$ with $\psi(0)=0$, $\|\nabla\psi\|_{C^\theta(\mathbb{R}^{d-1})}\leqslant M_1$, and $u_\varepsilon\in H^m(D_{1}; \mathbb{R}^n )$ be a weak solution to (1) with $f=\sum_{|\alpha|\leqslant m-1}D^\alpha F^\alpha$, $g^\gamma=D^\gamma G $, where $f^\alpha\in L^{q}(D_1; \mathbb{R}^n) $ with $q>d, q\geqslant 2$, and $ G\in C^{m,\sigma}(D_1; \mathbb{R}^n)$ for some $0<\sigma\leqslant \theta$. Then for any $\varepsilon\leqslant r<1$, we have \[ \Big(\int_{D_r}|\nabla^m u_\varepsilon|^2\Big)^{1/2}\leqslant C \bigg\{\Big(\int_{D_1}|u_\varepsilon|^2 \Big)^{1/2} + \sum_{|\alpha|\leqslant m-1}\Big(\int_{D_1}|f^\alpha|^q\Big)^{1/q} + \|G \|_{C^{m,\sigma}(D_1)}\bigg\}, \] where $C$ depends only on $d$, $n$, $m$, $\mu$, $q$, $\sigma$, $\theta$ and $M_1$.