Second-order geometric consistency of nonlinear FE-HMM on surfaces via corrector non-degeneracy
We analyze the geometric variational crime of nonlinear finite element heterogeneous multiscale methods (FE--HMM) for $p$-growth monotone laws on curved surfaces, $p\ge2$. The practical method projects discrete gradients onto the exact tangent planes; we compare it with the exactly lifted method on the same discrete space. Without further hypotheses, the difference is $O(h_g^{p/(p-1)})$ in the metric induced by the cell correctors. The optimal order $O(h_g^2)$ holds with a constant given by a weighted negative moment of the corrected gradients, evaluated along the practical solution only; no bounds on discrete gradients in $L^\infty$ are used. The negative moment is a sufficient condition for the lower shifted $p$-structure of the discrete homogenized flux, which for $p>2$ is not available in general. For the model law and a fixed cell mesh, its uniform boundedness is equivalent to a finite-dimensional directional criterion on degenerate correctors, and for laminates it holds with an explicit bound, uniform in the cell mesh. With macro--micro quasi-optimality and an estimate for coefficient sampling, the reconstructed microscopic field converges as $O(h+H^{\min{s,1}}+h_g^2)$, where $H^s$ is the cell approximation rate. Experiments on a torus with an exact closest-point lift and a transported anisotropic $p=4$ material show second-order geometric convergence up to $98,304$ macroscopic quadrature points, each with a fully solved nonlinear cell problem, with bounded a posteriori constants for both load treatments.