SHAPE OPTIMIZATION FOR DIRICHLET PROBLEMS: RELAXED SOLUTIONS AND OPTIMALITY CONDITIONS GIUSEPPE BUTTAZZO AND GIANNI DAL MASO

Transcription

1 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 2, October 1990 SHAPE OPTIMIZATION FOR DIRICHLET PROBLEMS: RELAXED SOLUTIONS AND OPTIMALITY CONDITIONS GIUSEPPE BUTTAZZO AND GIANNI DAL MASO ABSTRACT. We study a problem of shape optimal design for an elliptic equation with Dirichlet boundary condition. We introduce a relaxed formulation of the problem which always admits a solution, and we find necessary conditions for optimality both for the relaxed and the original problem. Let Q be a bounded open subset of R n (n > 2), let ƒ e L (Q), and let g: Q, x R > R be a Carathéodory function (i.e. g(x, s) measurable in x and continuous in s) such that \g(x,s)\< a 0 (x) + b 0 \s\ 2 \/(x,s)eqxr, for suitable a Q e L l (Q) and b 0 er. We consider the following optimal design problem: (1) min / g(x, u A {x))dx, where sf(çl) is the family of all open subsets of Q, and u A is the solution of the Dirichlet problem (2) -Au A =fina, u A eh l ( A ) > extended by 0 in Q\^4. It is well known that, in general, the minimum problem (1) has no solution (see for instance Example 2). The reason is that, although the solutions u A of (2) corresponding to a minimizing sequence (A h ) of (1) always admit a limit point u in the weak (not necessarily in the strong) topology of 7/ l 0 (Q), we can not find, in general, an open subset A of Q such that u = u A. On the contrary, it can be proved (see [4]) that the limit function u is the solution of a relaxed Dirichlet problem of the form (3) -Au + juu = f in Q, ueh^(q)n L 2 (Q; ju), Received by the editors May 17, 1989 and, in revised form, November, Mathematics Subject Classification (1985 Revision). Primary 49A American Mathematical Society /90 $1.00+ $.25 per page

2 532 GIUSEPPE BUTTAZZO AND GIANNI DAL MASO for a suitable nonnegative measure ju which vanishes on all sets of (harmonic) capacity 0, but may take the value +00 on some subsets of Q. Following [3], we shall denote by ^0(Q) the class of all measures with the properties considered above. The precise meaning of equation (3) is the following: (4) / DuDtpdx+ I uç>d/i= I fq>dx Ja JQ JQ for every Vp G HQ(Q) D L 2 (Q.\ JU), where the pointwise value of an H l function is defined as usual up to sets of capacity 0. If S is a Borel subset of Q, the measure oo s defined by ( 0 if B n S has capacity 0 (5) oo s (B) = \ I +00 otherwise, belongs to «^(Q). Note that if S is closed in Q, then problem (3) reduces to problem (2) with A = Q\S and ju = oo^. The relaxed formulation of the optimization problem ( 1 ) is then: (6) min ƒ g(x, u (x))dx, where u is the unique solution of the relaxed Dirichlet problem (3) in the sense given by (4). The following theorem follows easily from the compactness and density results for relaxed Dirichlet problems proved in [1] (Theorem 2.38) and [4] (Theorem 4.16). Theorem 1. Problem (6) admits a solution, and (7) min ƒ g(x, u,ix))dx = inf / g(x, uax))dx. We now give an example where problem ( 1 ) has no solution. Example 2. Assume that f(x) > 0 a.e. in 1, let w be the solution of (8) -Aw = f inq, weh*(q), and let g(x, s) = \s - cw(x)\ 2, with 0 < c < 1. Then the relaxed problem (6) attains its minimum value 0 at the measure ju defined by li(b) - ] ^ f ï-dx c J B which corresponds to u cw. On the other hand, it is clear from (2) and (8) that there are no domains A for which g(x, u A (x)) =

3 SHAPE OPTIMIZATION FOR DIRICHLET PROBLEMS a.e. in Q. By (7) this implies that the original problem (1) has no solution. Our goal is to find optimality conditions for the solutions of problem (6). We recall that the fine topology on Q is the weakest topology on SI for which all superharmonic functions are continuous. For a systematic study of properties of the fine topology we refer to Doob [5], Part 1, Chapter XI. Let ju be a minimum point of (6) and let w = M. By A = A(fi) we denote the set of all x e Si having a fine neighborhood V such that fi(v) < +oo, and by JU A the restriction of n to A ; it is clear that A is finely open in Si. By d*a and cl*'a we denote the fine boundary and the fine closure of A in SI. Proposition 3. There exist a Radon measure v e Jt 0 (Sl) carried by d*a, and a continuous linear map T: L 2 (Si) L 2 (d*a, v) such that, if h e L 2 (SÏ) and w e HQ (Si) n L 2 (Sl ; ju) is a solution of in the sense given by (4), then -Aw + juw - h in Q I DwDcpdx + I T(h)(pdv+ / wq)dju A = / hcpdx J A Jd*A J A Jcl*A for every cp e HQ (SI). If A is an open set with a smooth boundary and ju A (B) = J BnA ûdx with û e L (Sl), an integration by parts leads to the form /ON /DN f JBHOA dn d W J rtu\ 9w/dn dw/dn where a denotes the surface measure on the (Euclidean) boundary da of A, n is the outer unit normal to A, and W is the solution of the Dirichlet problem -AW = lin A, W EHQ(A). In addition to the previous hypotheses, we assume now that g(x, s) is continuously differentiate with respect to s and that \g s (x,s)\ < a x {x) + b x \s\ V{x,s)eSlxR for suitable a x e L l (Sl) and b { e R. In order to give our optimality conditions, we introduce the adjoint equation (10) -Av+/iv = g s9 ve HhSi)riL 2 {Sl; ju),

4 534 GIUSEPPE BUTTAZZO AND GIANNI DAL MASO where g s denotes the function g s (x, u(x)). We denote by v the solution of (10) in the sense given by (4), with ƒ replaced by g s, and we set (11) a = T(f), P = T{g s ). Our main result is the following theorem. Theorem 4. Let ju = oo 5 + JU A be a solution of problem (6), let u = u be the corresponding solution of (3), and let v be the solution of the adjoint equation (10). If A- A(/u), then u = v = 0 on Q\A (up to a set of capacity 0), and (a) uv < 0 a.e. on A, (b) ap >0 v-a.e. on d*a, (c) f(x)g s (x, 0) > 0 a.e. on Q\cl*A, (d) uv = 0 ju A -a.e. on A, where a and /? are given by (11). Suppose now that there exists an optimal domain A for the original problem (1), and that A has a smooth boundary. By (7) the measure ju - oo 5 defined by (5) with S = Q\A is a minimum point of the relaxed problem (6). Taking (9) into account, the optimality conditions of Theorem 4 become: (a') uv < 0 a.e. on A,, ^ > o a-a.e. onfin^, dndn ~ (c') ƒ(*)*,(*, 0)>0 a.e. on Q\^, while condition (d) is trivial because /u A = 0. From (a') and (b') we obtain / i // x dudv ^ r^ ^ A (b ) TT-TT- =0 <r-a.e. onfînôa The last condition is already known in shape optimization (see for instance [2, 9, 10, 13, 15]), while conditions (a') and (c ; ) seem to be new. Similar relaxed formulations for different classes of optimal design problems (with Neumann or other boundary conditions) have been considered by Murat and Tartar in [8, 11, 12, 14], and by Kohn, Strang, and Vogelius in [6, 7]. REFERENCES 1. H. Attouch, Variational convergence for functions and operators, Pitman, London, J. Cea, Problems of shape optimal design, Proceedings of Optimization of Distributed Parameter Structures, Iowa City, 1980, Sijthoffand Noordhoff, Rockville, 1981, pp

5 SHAPE OPTIMIZATION FOR DIRICHLET PROBLEMS G. Dal Maso, Y-convergence and jn-capacities, Ann. Scuola Norm. Sup. Pisa CI. Sci. (4) 14 (1987), G. Dal Maso and U. Mosco, Wiener's criterion and T-convergence, Appl. Math. Optim. 15 (1987), J. L. Doob, Classical potential theory and its probabilistic counterpart, Springer-Verlag, Berlin, R. V. Kohn and G. Strang, Optimal design and relaxation of variational problems, I, II, III, Comm. Pure Appl. Math. 39 (1986), , , R. V. Kohn and M. Vogelius, Relaxation of a variational method for impedance computed tomography, Comm. Pure Appl. Math. 40 (1987), F. Murat, Control in coefficients, Encyclopedia of Systems and Control, Pergamon Press, Elmsford, N.Y., 1983, pp F. Murat and J. Simon, Etude de problèmes d'optimal design, Proceedings of Optimization Techniques. Modelling and Optimization in the Service of Man, Part 2, Nice 1975, Lecture Notes in Comput. Sci. 41 (1976), F. Murat and J. Simon, Sur le contrôle par un domaine géométrique, Univ. Paris VI, preprint 76015, F. Murat and L. Tartar, Calcul des variations et homogénéisation, Proceedings of Les Méthodes de l'homogénéisation: Théorie et applications en physique, Ecole d'eté d'analyse Numérique C.E.A.-E.D.F.-INRIA, Bréausans-Nappe 1983, Collect. Dir. Études Rech. Elec. France 57 (1985), F. Murat and L. Tartar, Optimality conditions and homogenization, Proceedings of Nonlinear Variational Problems, Isola d'elba 1983, Res. Notes Math. 127(1985), O. Pironneau, Optimal shape design for elliptic systems, Springer-Verlag, Berlin, L. Tartar, Problèmes de contrôle des coefficients dans des équations aux dérivées partielles, Control Theory, Numerical Methods and Computer Systems Modelling, Lecture Notes in Econom. and Math. Systems 107 (1975), J. P. Zolesio, The material derivative (or speed) method for shape optimization, Proceedings of Optimization of Distributed Parameter Structures, Iowa City, 1980, Sijthoff and Noordhoff, Rockville, 1981, pp DIPARTIMENTO Di MATEMATICA, VIA MACHIAVELLI, FERRARA, ITALY S.I.S.S.A., STRADA COSTIERA, TRIESTE, ITALY

6