Optimal convergence rates in multiscale elliptic homogenization

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Niu, Weisheng, Xu, Yao, Zhuge, Jinping
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909781933948928
author Niu, Weisheng
Xu, Yao
Zhuge, Jinping
author_facet Niu, Weisheng
Xu, Yao
Zhuge, Jinping
contents This paper is devoted to the quantitative homogenization of multiscale elliptic operator $-\nabla\cdot A_\varepsilon \nabla$, where $A_\varepsilon(x) = A(x/\varepsilon_1, x/\varepsilon_2,\cdots, x/\varepsilon_n)$, $\varepsilon = (\varepsilon_1, \varepsilon_2,\cdots, \varepsilon_n) \in (0,1]^n$ and $\varepsilon_i > \varepsilon_{i+1}$. We assume that $A(y_1,y_2,\cdots, y_n)$ is 1-periodic in each $y_i \in \mathbb{R}^d$ and real analytic. Classically, the method of reiterated homogenization has been applied to study this multiscale elliptic operator, which leads to a convergence rate limited by the ratios $\max \{ \varepsilon_{i+1}/\varepsilon_i: 1\le i\le n-1\}$. In the present paper, under the assumption of real analytic coefficients, we introduce the so-called multiscale correctors and more accurate effective operators, and improve the ratio part of the convergence rate to $\max \{ e^{-c\varepsilon_{i}/\varepsilon_{i+1}}: 1\le i\le n-1 \}$. This convergence rate is optimal in the sense that $c>0$ cannot be replaced by a larger constant. As a byproduct, the uniform Lipschitz estimate is established under a mild double-log scale-separation condition.
format Preprint
id arxiv_https___arxiv_org_abs_2509_09410
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Optimal convergence rates in multiscale elliptic homogenization
Niu, Weisheng
Xu, Yao
Zhuge, Jinping
Analysis of PDEs
35B27
This paper is devoted to the quantitative homogenization of multiscale elliptic operator $-\nabla\cdot A_\varepsilon \nabla$, where $A_\varepsilon(x) = A(x/\varepsilon_1, x/\varepsilon_2,\cdots, x/\varepsilon_n)$, $\varepsilon = (\varepsilon_1, \varepsilon_2,\cdots, \varepsilon_n) \in (0,1]^n$ and $\varepsilon_i > \varepsilon_{i+1}$. We assume that $A(y_1,y_2,\cdots, y_n)$ is 1-periodic in each $y_i \in \mathbb{R}^d$ and real analytic. Classically, the method of reiterated homogenization has been applied to study this multiscale elliptic operator, which leads to a convergence rate limited by the ratios $\max \{ \varepsilon_{i+1}/\varepsilon_i: 1\le i\le n-1\}$. In the present paper, under the assumption of real analytic coefficients, we introduce the so-called multiscale correctors and more accurate effective operators, and improve the ratio part of the convergence rate to $\max \{ e^{-c\varepsilon_{i}/\varepsilon_{i+1}}: 1\le i\le n-1 \}$. This convergence rate is optimal in the sense that $c>0$ cannot be replaced by a larger constant. As a byproduct, the uniform Lipschitz estimate is established under a mild double-log scale-separation condition.
title Optimal convergence rates in multiscale elliptic homogenization
topic Analysis of PDEs
35B27
url https://arxiv.org/abs/2509.09410