Representations of relaxations of linear-quadratic optimal control problems for elliptic systems (Q961986): Difference between revisions

Summary: The paper considers optimal control problems of the type \[ \begin{cases} I(h,j)= \int_\Omega \big[\langle B(x)\nabla u,\nabla u\rangle+\langle g(x,h(x)),\nabla u\rangle+ F(x,h(x))\big]\,dx\to\min,\\ \text{div}\big[ A(x)\nabla u-f(x,h(x))\big]=0 \quad\text{in }\Omega,\\ u=(u_1,\dots,u_m)\in H_0^1(\Omega,\mathbb R^m), \quad h\in{\mathcal M}, \end{cases} \] where the set \({\mathcal M}\) of admissible controls \(h\) consists of all measurable vector-functions \(h(\cdot)\) with values from a given compact set \(M\subset\mathbb R^r\). The functions \(f\) and \(g\) are affine with respect to \(h\), but the matrix \(B\) can be negatively definite. It is shown that the relaxation of such problems can be represented as a joint passage from \(M\) to its convex hull and from \(F\) to a new function \({\mathcal F}\), which is lower semicontinuous with respect to \(h\).