Fréchet differentiability of unsteady incompressible navier-stokes flow with respect to domain variations of low regularity by using a general analytical framework

We consider shape optimization problems governed by the unsteady Navier-Stokes equations by applying the method of mappings, where the problem is transformed to a reference domain ref and the physical domain is given by = τ(ref ) with a domain transformation 2 W1;1(ref ). We show the Fréchet differentiability of 7 (v; p)(Ω) in a neighborhood of Ω = id under as low regularity requirements on ref and τ as possible. We propose a general analytical framework beyond the implicit function theorem to show the Fréchet differentiability of the transformationto-state mapping conveniently. It can be applied to other shape optimization or optimal control problems and takes care of the usual norm discrepancy needed for nonlinear problems to show differentiability of the state equation and invertibility of the linearized operator. By applying the framework to the unsteady Navier-Stokes equations, we show that for Lipschitz domains ref and arbitrary r > 1, s > 0 the mapping τ ϵ (W1,∞ § W1+s;r)(Ω_ref ) → (v; p)(Ω) × (W(0; T; V ) + W(0; T;H₀ ¹ )) × (L₀ ²; T;L₀ ² ) +W^1;1(0; T; ^cl(H¹)∗ (L₀ ²))∗) is Fréchet differentiable at τ = id and the mapping τ ϵ (W^1,∞ § W^1+s,r)(Ω_ref ) ϵ (v, p) (L²(0,T,H₀ ¹ ) § C([0,T],L²) ϵ (L²(0,T,L₀ ²) + W^1,1(0,T,^cl(H₁)ϵ (L₀ ²))∗) is Fréchet differentiable on a neighborhood of id, where V H₀ ¹ (Ω_ref ) is the subspace of solenoidal functions and W(0; T; V ) is the usual space of weak solutions. A crucial role in the analysis plays the handling of the incompressibility condition and the low time regularity of the pressure for weak solutions.