Homogenization of an evolution problem with \( L\log L\) data in a domain with oscillating boundary (Q681684): Difference between revisions

The article under review deals with a parabolic homogenisation problem on a domain \(\Omega_\varepsilon \subseteq \Omega'\times (-h^-,h^+) \subseteq \mathbb{R}^N\), where \(\Omega'\subseteq \mathbb{R}^{N-1}\) is open, connected with Lipschitz boundary and \(\Omega_\varepsilon = \bigcup\limits_{\{k\in \mathbb{Z}^{N-1}; \varepsilon \omega +\varepsilon k\subset\subset\Omega'\}} (\epsilon \omega +\epsilon k)\times [0,h^+)\cup\bigg(\Omega'\times (-h^-,0)\bigg)\), \(\overline{\omega}\subseteq (0,1)^{N-1}\) with \(\omega\) being open connected with Lipschitz boundary and \(h^-,h^+>0\). Let \(A \in L^\infty((0,T)\times \Omega)^{N\times N}\) be such that \(A(t,x)\xi\xi\geq \alpha|\xi|^2\) for all \(\xi\in \mathbb{R}^N\) and a.e.\((t,x)\), some \(\alpha>0\), and let \(a\in L^\infty((0,T)\times \Omega)\) be uniformly strictly positive. Assuming \(f_\epsilon \in L^2((0,T)\times \Omega_\varepsilon)\) and \(u_\varepsilon^{(0)} \in L^2(\Omega_\varepsilon)\), the authors impose uniform-in-\(\varepsilon\)-estimates only of the following type \[ \sup_{\varepsilon>0} \int_{\Omega_\varepsilon}(1+|u^{(0)}_\varepsilon|)\ln(1+|u^{(0)}_\varepsilon|) < \infty \] and \[ \sup_{\varepsilon>0} \int_{(0,T)\times \Omega_\varepsilon} (1+|f_\varepsilon|)\ln(1+|f_\varepsilon|) <\infty. \] Given all these assumptions, the authors study the family of solutions \((u_\varepsilon)_\varepsilon\) of the homogeneous Neumann problem associated with \[ \partial_t u_\varepsilon - \mathrm{div}\, A\mathrm{grad}\, u_\varepsilon + au_\varepsilon = f_\varepsilon \] subject to the initial condition \[ u_\varepsilon(0,\cdot)=u_\varepsilon^{(0)}. \] Modulo an appropriate choice of subsequences, the author provide as their main result of the paper a limit equation, which is satisfied by the limit of \((u_{\varepsilon_{n}})_n\) for some null-sequence \((\varepsilon_n)_n\) of positive numbers. Maybe more importantly, however, in Section 2, the authors derive estimates uniformly in \(\varepsilon>0\) under the above stated conditions. More precisely, they derive \(L^1\)-boundedness and equi-integrability properties for the data as well as for \(u_\epsilon\) and \(\mathrm{grad}\, u_\epsilon\) on \(\Omega^+=\Omega'\times (0,h^+)\) (extended by zero on \(\Omega^+\setminus \Omega_\varepsilon\)) as well as a uniform bound for \(u_\epsilon\) restricted to \(\Omega^-=\Omega'\times (-h^-,0)\) in \(L^m(0,T; W^{1,m}(\Omega^-))\) where \(m=(N+2)/(N+1)\) and \(N\geq 3\). An adapted estimate is also true for \(N=2\). A predecessor of the present article can be found in [the authors, Commun. Contemp. Math. 15, No. 6, Article ID 1350008, 13 p. (2013; Zbl 1284.35050)], where an elliptic equation has been considered.