On the limit matrix obtained in the homogenization of an optimal control problem (Q698363)

The paper considers a sequence of elliptic equations \[ \text{div}(A_k(x)\nabla u_k(x))= f(x)\quad\text{in }\Omega,\quad u_k\in H^1_0(\Omega),\quad k= 1,2,\dots, \] a sequence \(\{B_k(\cdot)\}\) of matrices and looks for a matrix \(B_0\) such that \[ \int_\Omega\langle B_k(x)\nabla u_k(x),\nabla u_k(x)\rangle dx\to \int_\Omega\langle B_0(x)\nabla u_0(x),\nabla u_0(x)\rangle dx\quad\text{as }k\to\infty, \] where \(u_0\) is the weak limit of the sequence \(\{u_k\}\) in \(H^1_0(\Omega)\). Symmetry of the matrices \(A_k\) and \(B_k\) is not assumed. It is shown that the matrix \(B_0\) can be defined by means of the H-limit for the sequence of block-matrices \[ \left\{\begin{pmatrix} A_k & 0\\ -B_k & A_k\end{pmatrix}\right\}. \] The case of perforated domains is discussed, too.