Editing Shape optimization (section)

==Techniques==

Shape optimization problems are usually solved [[numerical analysis|numerically]], by using [[iterative method]]s. That is, one starts with an initial guess for a shape, and then gradually evolves it,
until it morphs into the optimal shape.

=== Keeping track of the shape ===
To solve a shape optimization problem, one needs to find a way to represent a shape in the [[computer memory]], and follow its evolution. Several approaches are usually used.

One approach is to follow the boundary of the shape. For that, one can 
sample the shape boundary in a relatively dense and uniform manner, that is, to consider enough points to get a sufficiently accurate outline of the shape. Then, one can evolve the shape by gradually moving the boundary points. This is called the ''Lagrangian approach''.

Another approach is to consider a [[function (mathematics)|function]] defined on a rectangular box around the shape, which is positive inside of the shape, zero on the boundary of the shape, and negative outside of the shape. One can then evolve this function instead of the shape itself. One can consider a rectangular grid on the box and sample the function at the grid points. As the shape evolves, the grid points do not change; only the function values at the grid points change. This approach, of using a fixed grid, is called the ''Eulerian approach''. The idea of using a function to represent the shape is at the basis of the [[level-set method]].

A third approach is to think of the shape evolution as of a flow problem. That is, one can imagine that the shape is made of a plastic material gradually deforming such that any point inside or on the boundary of the shape can be always traced back to a point of the original shape in a one-to-one fashion. Mathematically, if <math>\Omega_0</math> is the initial shape, and <math>\Omega_t</math> is the shape at time ''t'', one considers the [[diffeomorphism]]s

:<math>f_t:\Omega_0\to \Omega_t, \mbox{ for } 0\le t\le t_0.</math>

The idea is again that shapes are difficult entities to be dealt with directly, so manipulate them by means of a function.

=== Iterative methods using shape gradients ===

Consider a smooth velocity field <math>V</math> and the family of transformations <math>T_s</math> of the initial domain <math>\Omega_0</math> under the velocity field <math>V</math>:

:<math>x(0) = x_0 \in \Omega_0, \quad x'(s) = V(x(s)), \quad T_s(x_0) = x(s), \quad s \geq 0 </math>,

and denote

:<math>\Omega_0 \mapsto T_s(\Omega_0) = \Omega_s.</math>

Then the Gâteaux or shape derivative of <math>\mathcal{F}(\Omega)</math> at <math>\Omega_0</math> with respect to the shape is the limit of

:<math>d\mathcal{F}(\Omega_0;V) = \lim_{s \to 0}\frac{\mathcal{F}(\Omega_s) - \mathcal{F}(\Omega_0)}{s}</math>

if this limit exists. If in addition the derivative is linear with respect to <math>V</math>, there is a unique element of <math>\nabla \mathcal{F} \in L^2(\partial \Omega_0)</math> and

:<math>d\mathcal{F}(\Omega_0;V) = \langle \nabla \mathcal{F}, V \rangle_{\partial \Omega_0}</math>

where <math>\nabla \mathcal{F}</math> is called the shape gradient. This gives a natural idea of [[gradient descent]], where the boundary <math>\partial \Omega</math> is evolved in the direction of negative shape gradient in order to reduce the value of the cost functional. Higher order derivatives can be similarly defined, leading to Newtonlike methods.

Typically, gradient descent is preferred, even if requires a large number of iterations, because, it can be hard to compute the second-order derivative (that is, the [[Hessian matrix|Hessian]])  of the objective functional <math>\mathcal{F}</math>.

If the shape optimization problem has constraints, that is, the functional 
<math>\mathcal{G}</math> is present, one has to find ways to convert the 
constrained problem into an unconstrained one. Sometimes ideas based on [[Lagrange multipliers]], like the [[adjoint state method]], can work.

=== Geometry parametrization ===

Shape optimization can be faced using standard optimization methods if a parametrization of the geometry is defined. Such parametrization is very important in CAE field where goal functions are usually complex functions evaluated using numerical models (CFD, FEA,...). A convenient approach, suitable for a wide class of problems, consists in the parametrization of the CAD model coupled with a full automation of all the process required for function evaluation (meshing, solving and result processing). [[Mesh morphing]] is a valid choice for complex problems that resolves typical issues associated with [[re-meshing]] such as discontinuities in the computed objective and constraint functions.

In this case the parametrization is defined after the meshing stage acting directly on the numerical model used for calculation that is changed using mesh updating methods. 
There are several algorithms available for mesh morphing ([[deforming volume]]s, [[pseudosolid]]s, [[radial basis function]]s).
The selection of the parametrization approach depends mainly on the size of the problem: the CAD approach is preferred for small-to-medium sized models whilst the mesh morphing approach is the best (and sometimes the only feasible one) for large and very large models.
The multi-objective Pareto optimization (NSGA II) could be utilized as a powerful approach for shape optimization. In this regard, the Pareto optimization approach displays useful advantages in design method such as the effect of area constraint that other multi-objective optimization cannot declare it. The approach of using a penalty function is an effective technique which could be used in the first stage of optimization. In this method the constrained shape design problem is adapted to an unconstrained problem with utilizing the constraints in the objective function as a penalty factor. Most of the time penalty factor is dependent to the amount of constraint variation rather than constraint number. The GA real-coded technique is applied in the present optimization problem. Therefore, the calculations are based on real value of variables. <ref name="ssttds">{{cite journal | last1 = Talebitooti | first1 = R.| last2 = shojaeefard | first2 = M.H.| last3 = Yarmohammadisatri | first3 = Sadegh | title = Shape design optimization of cylindrical tank using b-spline curves | journal = Computer & Fluids | volume = 109 | pages = 100–112 | doi= 10.1016/j.compfluid.2014.12.004 | year = 2015}}</ref>