Inverse problem of shape identification from boundary measurement for Stokes equations: Shape differentiability of Lagrangian

For Stokes equations under divergence-free and mixed boundary conditions, the inverse problem of shape identification from boundary measurement is investigated. Taking the least-square misfit as an objective function, the state-constrained optimization is treated by using an adjoint state within the Lagrange approach. The directional differentiability of a Lagrangian function with respect to shape variations is proved within the velocity method, and a Hadamard representation of the shape derivative by boundary integrals is derived explicitly. The application to gradient descent methods of iterative optimization is discussed.