{
  "abstract": "We study optimal shape design for a Stokes boundary-control problem with an internal no-slip obstacle and a fixed outer boundary carrying impermeability, Navier friction and a controlled tangential load. A coercive-form turnpike theorem gives horizon-uniform estimates, a continuous optimal-control representative and an exact endpoint decomposition of the optimal value. For compact Piola-transported families, flux compactness and recovery controls prove continuity of dynamic values without a common strong KKT inverse. For fixed spatial force and tracking data and arbitrary normal heights in $H^m(\\Gamma_0)$, $m\\ge5$, in dimensions two and three, we derive the stationary reduced derivative and Hessian. A current-domain Piola argument and localized Green identities give a Hadamard density under additional collar regularity. A normal-graph Sobolev metric and a quadratic reference-shape penalty define an infinite-dimensional GFDS. The Riesz-transformed reduced Stokes gradient $K$ is locally Lipschitz and compact. Local existence and uniqueness follow from local Lipschitz regularity of the full regularized field $G_\\eta(h)=K(h)+\\eta h$; compactness of $K$ enters the long-time analysis. For a positive penalty, a strict energy barrier gives global existence and precompactness. Under this barrier, polynomial spatial data give convergence to one critical shape through an analytic Fredholm gradient inequality. If the penalty also exceeds the uniform reduced-Hessian bound on the safe ball, its minimizer is unique and interior, and the flow converges exponentially to it. The exact-volume projected flow has corresponding confinement and analytic convergence results for feasible initial data satisfying the barrier. Normalized dynamic values converge uniformly to stationary values; with a fixed positive running reference penalty, their design minimizers converge strongly in the height space. The retained spherical flow uses a distinct material-data convention. The shape-flow theorem is reference-chart dependent, not an intrinsic $L^2$ or Willmore Stokes flow theorem.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "name": "Jan Sokołowski"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/035xc6x6sr2c6.bib",
  "cited_by": 0,
  "doi": null,
  "fulltext_url": null,
  "id": "035xc6x6sr2c6",
  "issns": [],
  "landing_url": "https://hal.science/hal-05775538v1",
  "language": "en",
  "licence": "CC-BY-4.0",
  "licence_label": "CC BY 4.0",
  "licence_source": "article",
  "licence_url": "https://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": null,
  "native_subjects": [
    [
      "hal",
      "0.math"
    ],
    [
      "hal",
      "0.nlin"
    ]
  ],
  "openalex": null,
  "pdf_url": "https://hal.science/hal-05775538/document",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-02",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/035xc6x6sr2c6.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T12:17:46Z",
      "native_id": "hal-05775538",
      "source": "hal",
      "url": "https://hal.science/hal-05775538v1"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "hal:0.math",
      "subfield": "general"
    },
    {
      "field": "physics",
      "origin": "hal:0.nlin",
      "subfield": "statistical-nonlinear"
    }
  ],
  "title": "On optimal design of control problems for Stokes",
  "title_text": "On optimal design of control problems for Stokes",
  "type": "preprint",
  "updated_at": "2026-10-30T12:17:46Z",
  "url": "https://research.draconitic.com/paper/035xc6x6sr2c6",
  "venue": "HAL",
  "versions": []
}