A two-dimensional structural local-defect theory for scalar non-divergence advection-diffusion homogenization

Abstract: We establish a two-dimensional non-endpoint local-defect theory for scalar non-divergence advection-diffusion operators (Lu=-a:D^2u+b\cdot\nabla u), (a=a^{\rm per}+a^{\rm e}), (b=b^{\rm per}+b^{\rm e}), with Holder periodic background and Holder local defects satisfying (a_{ij}^{\rm e}\in L^r(\mathbb{R}^2)\cap L^\infty(\mathbb{R}^2)), (b_i^{\rm e}\in L^s(\mathbb{R}^2)\cap L^\infty(\mathbb{R}^2)), (1<r,s<2). The main estimate is a whole-space bound for (L_t=-a_t:D^2+b_t\cdot\nabla) in the range (1<q<2), with (q^*) defined by (1/q^*=1/q-1/2). The two-dimensional difficulty is that the periodic drift cannot be treated by the high-dimensional argument of Blanc--Le Bris--Lions. We remove it by periodic harmonic coordinates (P=x+χ), (L_{\rm per}P_α=0). In these variables the blow-down equation has a small local (L^2) drift, which yields a finite-energy Liouville theorem and closes the continuation argument. The same coordinates reduce the invariant-measure source to a planar Hodge problem of the form (H+\operatorname{div} Q), and a Piola pull-back gives the final divergence-form representative (mLu=-\operatorname{div}((ma-B)\nabla u)). Thus the central estimate, correctors, invariant measure and divergence-form reduction hold in the scalar regular non-endpoint regime.

• The paper introduces a structural reduction using periodic harmonic coordinates to remove periodic drift and transform the advection–diffusion operator.
• The paper establishes sharp analytic estimates and a finite-energy Liouville theorem, ensuring uniqueness and stability under non-endpoint Lebesgue conditions.
• The paper constructs invariant measures and correctors to achieve a divergence-form reduction, facilitating boundary-value homogenization and local-profile analysis.

Structural Local-Defect Theory for Scalar Non-Divergence Advection–Diffusion Homogenization in Two Dimensions

Problem Setting and Context

The paper develops a rigorous two-dimensional structural local-defect theory for homogenization of scalar non-divergence advection–diffusion operators. Specifically, it investigates operators of the form $Lu = - a : D^2 u + b \cdot \nabla u$, where $a$ and $b$ are the sum of a periodic background and a Lebesgue-localized defect, with $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$, $$b_i^{\rm e} \in L^s(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$, for $1 < r, s < 2$.

The study is motivated by prior local-defect programs initiated by Blanc–Le Bris–Lions for divergence-form elliptic and advection–diffusion equations, but previous approaches are not directly transferable to $d=2$ non-divergence settings due to technical obstructions related to the periodic drift and endpoint exponent ranges. The key contribution of the paper is a structural reduction and the establishment of analytic estimates necessary to enable the homogenization and boundary-value profile analysis in the two-dimensional regime, under regular non-endpoint Lebesgue assumptions.

Main Analytic and Structural Results

Harmonic Coordinate Transformation

The central technical innovation is the use of periodic harmonic coordinates, $P = x + \chi$, solving the cell problem $L_{\rm per} P_\alpha = 0$. This transformation removes the periodic drift by changing variables to harmonic coordinates, $Y = P(x)$. In these coordinates, the defect drift $a$0 becomes a small local $a$1 perturbation, enabling application of compactness arguments (via Mooney's critical-drift estimates) and Liouville theorems. The harmonic-coordinate map is proven to be a globally bi-Lipschitz $a$2 diffeomorphism, leveraging $a$3-harmonic mapping theory and global invertibility in the planar case.

Central Estimate and Liouville Theorem

A main technical estimate is established: for $a$4, with $a$5 defined by $a$6, solutions to $a$7 (for $a$8) admit bounds:

$a$9

Uniqueness modulo constants is shown, and the lower endpoint ($b$0) is proven to be inaccessible due to failure even in the pure Laplacian case, as clarified in the endpoint restriction discussion.

A finite-energy Liouville theorem is proved: any $b$1 ($b$2) with $b$3 and $b$4 must be constant, establishing compactness essential to the closedness step of the main estimate continuation argument.

Correctors and Structural Decomposition

The construction of correctors is provided using the central estimate, with periodic and defect parts:

$b$5

solving $b$6, where $b$7 solves the periodic cell problem and $b$8 is small in $b$9 ($$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$0, $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$1). Sublinearity at infinity is proven, ensuring bounded growth of correctors.

Invariant Measure and Divergence-Form Reduction

The invariant measure $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$2 is constructed via duality, satisfying

$$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$3

Regularity and positivity (boundedness, H\"older continuity, strict positivity in the interior, and decay at infinity) are established using Fokker–Planck and adjoint maximum principle theory.

The divergence-form reduction is achieved via Hodge decomposition and Piola transformation, yielding a divergence-form representative:

$$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$4

where $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$5 is skew-symmetric and satisfies regularity in $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$6. This reduction enables the deployment of boundary-value homogenization and profile analysis via existing divergence-form frameworks.

Endpoint Restrictions and Optimality

The analysis holds for $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$7, non-endpoint range, and scalar equations with $$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$8 coefficients. Endpoint failure ($$a_{ij}^{\rm e} \in L^r(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$9) is demonstrated: the Laplacian and Hodge decomposition breakdown in $$b_i^{\rm e} \in L^s(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$0 showcase sharpness of the Lebesgue exponent restrictions. The methods rely crucially on the non-divergence structure, harmonic coordinates, and two-dimensional compactness arguments unavailable in systems or endpoint cases.

Practical and Theoretical Implications

From a practical viewpoint, this framework rigorously supports two-dimensional homogenization in scalar non-divergence advection–diffusion settings with localized defects—enabling accurate local-profile analysis and numerical simulation of heterogeneous media. The divergence-form reduction opens the way for applying advanced local-defect arguments and boundary-layer analysis developed for higher dimensions.

Theoretically, the work establishes the necessity of harmonic-coordinate reductions in planar settings and clarifies the precise regularity and decay requirements for defect structures. The construction of invariant measures and correctors is structurally robust; the harmonic coordinate removal of periodic drift is essential for extending previous homogenization machinery from higher dimensions to $$b_i^{\rm e} \in L^s(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$$1.

Future developments may entail extending the scalar theory to systems (requiring new analytical innovations), relaxing coefficient regularity, or exploring further endpoint behaviors. The interplay between harmonic coordinates, Liouville theorems, and divergence-form structures is likely to inform subsequent advances in multi-scale homogenization and stochastic PDE theory.

Conclusion

The paper "A two-dimensional structural local-defect theory for scalar non-divergence advection-diffusion homogenization" (2607.02979) rigorously establishes a two-dimensional structural framework allowing the reduction of scalar non-divergence advection–diffusion operators with periodic background and localized defects to divergence-form representatives. The analytic estimates, harmonic-coordinate transformations, and invariant measure constructions address technical challenges unique to the planar case, enabling boundary-value homogenization and profile analysis with precise Lebesgue and H\"older regularity assumptions. The results hold under non-endpoint regimes, and the necessity of the restrictions is explicitly demonstrated, providing a comprehensive structural foundation for further mathematical and computational investigations in homogenization theory.