Generalized Besicovitch spaces and applications to deterministic homogenization (Q608389)

The main purpose of the paper is to present a mathematical framework which handles nonlinear homogenization problems. The paper starts with a description of the concept of algebras with mean value, then with that of generalized Besicovitch spaces. The authors also introduce the notion of two scale \(A\)-convergence, where \(A\) is an algebra with mean value in \(\mathbb R^N\). This theoretical part of the paper ends up with some considerations on ergodicity properties. The last part of the paper applies this framework to the homogenization of nonlinear parabolic pseudo-monotone operators in a general deterministic setting. The authors consider the evolution problem \[ \frac{\partial u_\varepsilon}{\partial t}- \operatorname{div} a(x,t,x/\varepsilon,t/\varepsilon, u_\varepsilon,Du_\varepsilon)+ a_{0}(x,t,x/\varepsilon,t/\varepsilon,u_\varepsilon,Du_\varepsilon)=f \quad\text{in }\Omega \times (0,T), \] where \(\Omega\) is a bounded and open subset of \(\mathbb R^N\) with Lipschitz boundary \(\partial \Omega \). Homogeneous Dirichlet boundary conditions \(u_\varepsilon=0\) are imposed on \(\partial \Omega \times (0,T)\). The solution starts from 0 at \(t=0\). Here \(f\) belongs to \({L^p}'(0,T;W^{-1,p}(\Omega ))\), where \(p'\) is the conjugate exponent of some \(p\geq 2\) which appears in some of the conditions imposed to \(a\) and \(a_0\). These conditions imply that the elliptic part of the operator is a pseudo-monotone operator which is degenerate. The authors first build the functional framework which is adapted to the problem. They explicit the algebra with mean value and the generalized Besicovitch space which are underlying the problem. They then prove uniform estimates on the solution which allow to derive weak convergences. They finally build the test functions which establish the homogenization result for this problem.