Homogenization for nonlinear PDEs in general domains with oscillatory Neumann boundary data (Q2250469)

Given \(\Omega\) a bounded domain of \({\mathbb R}^n\) containing the closed unit ball \(K := \{ x \in {\mathbb R}^n : |x| \leqslant 1 \}\) and a Hölder continuous function \(g : {\mathbb R}^n \to [1,2]\) which is periodic with respect to the standard basis of \({\mathbb R}^n\) (i.e., \(g(x + e_i) = g(x)\) for every \(x \in {\mathbb R}^n\) and \(i = 1, \dots n\)), the authors consider the family (in the parameter \(\varepsilon > 0\)) of problems \[ \begin{cases} F (D^2 u^{\varepsilon}, x / \varepsilon) = 0 & \text{in } \Omega \setminus K, \\ u^{\varepsilon} = 1 & \text{in } K, \\ \frac{\partial u^{\varepsilon}}{\partial \nu\;} = g (x / \varepsilon) & \text{in } \partial \Omega, \end{cases}\eqno{(P_{\varepsilon})} \] where \(F\) is a uniform elliptic and fully nonlinear operator. The authors also suppose that \(\partial \Omega\) in \(C^2\) and does not contain any flat part. In that case, they say, the solutions \(u_{\varepsilon}\) of problems \((P_{\varepsilon})\) could have no limit (i.e., more than one limit) as \(\varepsilon \to 0\). For non-oscillatory boundary data they have the uniform convergence of \(v_{\varepsilon}\), solutions of \[ \begin{cases} F (D^2 v^{\varepsilon}, x / \varepsilon) = 0 & \text{in } \Omega, \\ v^{\varepsilon} (x) = f(x) & \text{in } \Gamma_D, \\ \frac{\partial v^{\varepsilon}}{\partial \nu\;} (x) = g (x) & \text{in } \Gamma_N, \end{cases} \] where \(\Gamma_N \cup \Gamma_D = \partial \Omega\), to \(v\) solution of \[ \begin{cases} \bar{F} (D^2 v)) = 0 & \text{in } \Omega, \\ v (x) = f(x) & \text{in } \Gamma_D, \\ \frac{\partial v}{\partial \nu\;} (x) = g (x) & \text{in } \Gamma_N, \end{cases} \] where \(\bar{F}\) is defined in the space of symmetric matrices \(n \times n\) and is a uniformly elliptic operator. For problems \((P_{\varepsilon})\), the authors study the limit behaviour as \(\varepsilon \to 0\) showing that, if \(\bar{F}\) is rotation and reflection invariant, there is a continuous function \(\bar{\mu} : S^{n-1} \to {\mathbb R}\) such that \(u_{\varepsilon}\) converges locally uniformly to a function \(u\) satisfying \[ \begin{cases} F (D^2 u) = 0 & \text{in } \Omega \setminus K, \\ u = 1 & \text{in } K, \\ \frac{\partial u}{\partial \nu} = \bar{\mu} (\nu) & \text{in } \partial \Omega . \end{cases} \]