-
The Stokes problem with Navier slip boundary condition: Minimal fractional Sobolev regularity of the domain
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Patrick Sodre
Abstract:
We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $Ω$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are of class $C^{1,1-n/s}$, our result improves upon the recent one by Amrouche-Seloula, who assume $Ω$ to be of class $C^{1,1}$. We deal with the slip boundary conditi…
▽ More
We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $Ω$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are of class $C^{1,1-n/s}$, our result improves upon the recent one by Amrouche-Seloula, who assume $Ω$ to be of class $C^{1,1}$. We deal with the slip boundary condition directly via a new localization technique, which features domain, space and operator decompositions. To flatten the boundary of $Ω$ locally, we construct a novel $W^2_s$ diffeomorphism for $Ω$ of class $W^{2-1/s}_s$. The fractional regularity gain, from $2-1/s$ to $2$, guarantees that the Piola transform is of class $W^1_s$. This allows us to transform $W^1_r$ vector fields without changing their regularity, provided $r\le s$, and preserve the unit normal which is Hölder. It is in this sense that the boundary regularity $W^{2-1/s}_s$ seems to be minimal.
△ Less
Submitted 24 December, 2015;
originally announced December 2015.
-
Optimal Control of a Free Boundary Problem with Surface Tension Effects: A Priori Error Analysis
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Patrick Sodré
Abstract:
We present a finite element method along with its analysis for the optimal control of a model free boundary problem with surface tension effects, formulated and studied in \cite{HAntil_RHNochetto_PSodre_2014a}. The state system couples the Laplace equation in the bulk with the Young-Laplace equation on the free boundary to account for surface tension. We first prove that the state and adjoint syst…
▽ More
We present a finite element method along with its analysis for the optimal control of a model free boundary problem with surface tension effects, formulated and studied in \cite{HAntil_RHNochetto_PSodre_2014a}. The state system couples the Laplace equation in the bulk with the Young-Laplace equation on the free boundary to account for surface tension. We first prove that the state and adjoint system have the requisite regularity for the error analysis (strong solutions). We discretize the state, adjoint and control variables via piecewise linear finite elements and show optimal $O(h)$ error estimates for all variables, including the control. This entails using the second order sufficient optimality conditions of \cite{HAntil_RHNochetto_PSodre_2014a}, and the first order necessary optimality conditions for both the continuous and discrete systems. We conclude with two numerical examples which examine the various error estimates.
△ Less
Submitted 31 December, 2014; v1 submitted 23 February, 2014;
originally announced February 2014.
-
Optimal Control of a Free Boundary Problem: Analysis with Second Order Sufficient Conditions
Authors:
Harbir Antil,
Ricardo H. Nochetto,
Patrick Sodré
Abstract:
We consider a PDE-constrained optimization problem governed by a free boundary problem. The state system is based on coupling the Laplace equation in the bulk with a Young-Laplace equation on the free boundary to account for surface tension, as proposed by P.\ Saavedra and L.\ R.\ Scott \cite{PSaavedra_RScott_1991}. This amounts to solving a second order system both in the bulk and on the interfac…
▽ More
We consider a PDE-constrained optimization problem governed by a free boundary problem. The state system is based on coupling the Laplace equation in the bulk with a Young-Laplace equation on the free boundary to account for surface tension, as proposed by P.\ Saavedra and L.\ R.\ Scott \cite{PSaavedra_RScott_1991}. This amounts to solving a second order system both in the bulk and on the interface. Our analysis hinges on a convex control constraint such that the state constraints are always satisfied. Using only first order regularity we show that the control to state operator is twice continuously Fréchet differentiable. We improve slightly the regularity of the state variables and exploit it to show existence of a control together with second order sufficient optimality conditions.
△ Less
Submitted 27 May, 2014; v1 submitted 28 September, 2012;
originally announced October 2012.
