Shape Optimization Course – Day 1
The main speakers of the course were Giuseppe Buttazzo and Edouard Oudet. See more details in the Shape Optimization page.
Day 1. Speaker – Giuseppe Buttazzo
Optimization problems have the following form: where is a functional (sometimes called cost) and is the set of admissible objects. A Shape Optimization Problem has the following form: , where again is a functional (e.g. area or perimeter) and is a class of admissible domains (e.g. bounded area, convex, connected). There are a few aspects of a shape optimization problem, each important in its own way:
 Existence of a solution. This is not a trivial question, because sometimes optimal forms do not exist. A general method is to provide a topology for such that the map is lower semicontinuous and the sublevels of are compact. (i.e. is compact for every ). This is not easy in general, because the two facts are in contradiction. For the compacity we need fewer open sets, but for the lower continuity of we need more open sets. The key is to find a balance between the two. There is not a general topology for ; changing the functional we may need to change the topology we use, or the class of admissible domains.
 Uniqueness. This is not generally the case for shape optimization problems, because sometimes, if we have a solution, its translates or rigid motions of the shape are are also a solution.
 Regularity. In some problems, we may get existence, and we may wonder if the shapes we found are regularly enough (e.g of class , etc).
 Necessary conditions of optimality. These are conditions for which we have the following implication: is optimal implies satisfies . Maybe sometimes not all objects which satisfy are optimal.
 Numerical approximation. This is is an important tool, since in many cases it turns out that the optimal shape is not what we would expect. Numerical approximation can give us some idea of what we are looking for and what should we try and prove theoretically. See for example the discussion on the Newton problem, where many people tried to prove that the optimal solution in case of a disk is radial. After seeing numerically that this is not the case, the theoretical proof of the existence of a better nonradial solution appeared.
Some of the problems of Shape Optimization can be written in the form
, for which classical results in the Calculus of Variations provide the existence of a solution given that the two following conditions hold:
 (H1) Convexity: is convex for every ;
 (H2) Coercivity: there exist and such that .
The notation simply means that and . (this roughly means that on )
A theorem in Calculus of variation simply states that under conditions (H1) and (H2) the problem admits a minimizing solution .
Isoperimetric Problems
This type of problems is known back to the ancient Greeks. The Queen Dido problem is quite known. The problem is to encompass the maximum area along the coast having a very long rope at your disposal(the coast line does not count). If you consider the coast to be straight, then the problem can be solved using a symmetrization about the line of the coast and the Isoperimetric Problem, which says that the maximum area of a region with fixed perimeter is the circle. Altering the coast line can lead to problems. If the coast is not bounded then there may be no solution, but it can be proved that if the coast is contained in a fixed compact set, then the Dido problem has a solution even if the coast is not straight. For the existence you may take a look at this paper, or you can find it in the book of Henrot, Pierre, Variation et Optimisation des Formes, une Analyse Geometrique. Assuming the existence, it can be proved that the shape of the rope must be a portion of a circle. The proof goes pretty easy using the Isoperimetric Inequality.
In the image on the right side there is an example of an unbounded coast for which the dido problem has no solution. The points are so that each segment is the half of the preceding one, and the points are chosen such that each of the triangles has area 1. The considered problem is . Consider a segment of length sliding along the line towards . As the segment gets closer and closer to it covers more and more small segments, and that means that the area of grows to . Therefore any position can be improved and the minimum does not exist. The same picture can give a nonexistence case for the problem .
For the existence of solution for Isoperimetric Problems in higher dimensions, take a look at the following posts: Post1, Post2.
Best packing
Assume you have a bounded object and you want to pack it using some expensive paper. Therefore, you want to minimize the cost of the packing. Since the cost depends on the perimeter(area) of the packing, the problem has the form .
In two dimensions the result is easy to guess and it is the convex hull of the figure . In three dimensions things are not that simple anymore, since the convex hull may not be the best packing. Take for example a dumbbell.
An easy calculation can show that it is sometimes more economic to pack the dumbbell as it is and not use its convex hull.
Best aerodinamical shape
This is attributed to Newton, who first thought of this problem. The problem consists of finding the best 3D aerodinamical shape which is above an open set . This is equivalent to finding a function for which the resistance is minimal. This problem is the main subject of the second day of the course, and will be presented in the next post.

November 5, 2011 at 7:57 pmExistence Result for the Isoperimetric Problems « Problems – Beni Bogoşel

November 7, 2012 at 12:14 pmShape Optimization Course – Day 4 « Beni Bogoşel's blog