High-order homogenization in optimal control by the Bloch wave method

This article examines a linear-quadratic elliptic optimal control problem in which the cost functional and the state equation involve a highly oscillatory periodic coefficient $A^\eps$. The small parameter $\eps>0$ denotes the periodicity length. We propose a high-order effective control problem with constant coefficients that provides an approximation of the original one with error $O(\eps^M)$, where $M\in\N$ is as large as one likes. Our analysis relies on a Bloch wave expansion of the optimal solution and is performed in two steps. In the first step, we expand the lowest Bloch eigenvalue in a Taylor series to obtain a high-order effective optimal control problem. In the second step, the original and the effective problem are rewritten in terms of the Bloch and the Fourier transform, respectively. This allows for a direct comparison of the optimal control problems via the corresponding variational inequalities, leading to our main theoretical result on the high-oder approximation.