Existence of minimizers for non-quasiconvex functionals arising in optimal design (Q1389830): Difference between revisions

The paper is concerned with the minimization on the set \(D_\xi= \xi\cdot x+ H^1_0(\Omega; \mathbb{R}^N)\) of the integral functional \(F(u)= \int_\Omega f(Du)dx\), where \[ f: z\in \mathbb{R}^{nN}\to \begin{cases} \lambda+\alpha| z|^2,\quad &\text{if} \quad z\neq 0\\ 0,\quad & \text{if} \quad z = 0\end{cases} \] with \(0<\alpha,\lambda< +\infty\). Such functional was introduced by Kohn and Strang in the context of optimal design problems in electrostatics. Since \(F\) is not sequentially weakly lower-semicontinuous on \(D_\xi\), its lower-semicontinuous envelope \(\overline F= \int_\Omega Qf(Du)dx\) must be taken into account, where \(Qf\) is the quasiconvex envelope of \(f\). The explicit computation of \(Qf\) has been carried out by Kohn and Strang when \(n=2\). Moreover, Dacorogna and Marcellini gave necessary and sufficient conditions on \(\xi\) for the existence of minimizers of \(F\) on \(D_\xi\) again when \(n= 2\). In the paper both the problems of the explicit computation of \(Qf\), and of the determination of the conditions on \(\xi\) for the existence of minimizers of \(F\) on \(D_\xi\) are studied for general values of the space dimension \(n\). Fixing \(n\in\mathbb{N}\), and denoting by \(z_1,\dots, z_n\) the square roots of the eigenvalues of \(z^Tz\), it is proved that \[ Qf(z)= \begin{cases} \lambda+ \alpha| z|^2,\quad &\text{if}\quad \sum^n_{i=1} z_i\geq \sqrt{\lambda/\alpha}\\ \alpha| z|^2- \alpha(\sum^n_{i=1} z_i)^2+ 2\sqrt{\lambda\alpha} \sum^n_{i=1} z_i,\quad &\text{if} \quad \sum^n_{i=1} z_i< \sqrt{\lambda/\alpha}\end{cases}. \] Moreover, it is also proved that, if \(\xi\in \mathbb{R}^{nN}\), a sufficient condition for \(F\) to have minimizers on \(D_\xi\) is that either \(f(\xi)= Qf(\xi)\), or \(\text{rank }\xi= n\), and that a sufficient condition for \(F\) to have no minimizers on \(D_\xi\) is that \(f(\xi)> Qf(\xi)\) and \(\text{rank }\xi= 1\). It is also conjectured that, if \(f(\xi)> Qf(\xi)\) and \(2\leq \text{rank }\xi\leq n-1\), \(F\) has no minimizers on \(D_\xi\). The results of the paper are applicable to the existence of solutions of shape optimization problems in electrostatics. The proof of the existence theorem is based on the link between the considered functional and the homogenization theory for two phase composite materials. The case of the dual problem, i.e., of \(F\) acting on divergence free fields, is also considered. Finally, the result about existence is partially extended to the case of nonquadratic Kohn-Strang type functionals.