Time-periodic solutions for viscous fluids interacting with nonlinear Koiter plates
Pith reviewed 2026-05-20 08:11 UTC · model grok-4.3
The pith
Time-periodic weak solutions exist for incompressible Navier-Stokes flow coupled to a nonlinear Koiter plate in a space-periodic channel.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Existence of time-periodic weak solutions is proved for the incompressible Navier-Stokes equations in a three-dimensional moving domain coupled with the nonlinear Koiter plate equation on its upper boundary, via a single Leray-Schauder fixed-point theorem applied to the fully coupled Galerkin system; this replaces the unavailable two-stage Kakutani-Glicksberg-Fan argument because the nonlinear Koiter energy destroys convexity of the solution map.
What carries the argument
Single Leray-Schauder fixed point applied directly to the fully coupled Galerkin system, which handles the loss of convexity induced by the nonlinear Koiter energy.
If this is right
- Time-periodic weak solutions exist for the fully nonlinear fluid-plate system under space-periodic lateral boundaries and time-periodic pressure forcing.
- The single fixed-point strategy succeeds where the two-stage linear argument fails precisely because of the membrane-plus-bending nonlinearity.
- The solutions satisfy the no-slip condition at the moving interface and the weak form of both the fluid and plate equations.
- The result covers the first existence theory for nonlinear elastic energy in this class of periodic fluid-structure problems.
Where Pith is reading between the lines
- The same single-step Galerkin fixed-point reduction may apply to other nonlinear shell or plate models that lose convexity.
- Numerical schemes built on the coupled Galerkin system could be used to approximate the periodic states directly.
- The periodic-channel setting suggests direct relevance to driven flows in pipes with flexible walls under oscillating pressure.
Load-bearing premise
The nonlinear Koiter energy remains sufficiently coercive in H2 to close the a-priori estimates inside the Leray-Schauder degree argument on the Galerkin level.
What would settle it
An explicit counter-example consisting of a specific time-periodic pressure gradient and domain geometry for which no time-periodic weak solution exists would falsify the claim.
Figures
read the original abstract
We prove the existence of time-periodic weak solutions for a fluid-structure interaction system coupling the incompressible Navier-Stokes equations in a three-dimensional moving domain with a nonlinear Koiter plate equation on its upper boundary. The lateral boundary is space-periodic, a natural setting for flow in pipes and channels of periodic cross-section driven by a time-periodic pressure gradient, and the fluid satisfies a no-slip coupling condition at the moving interface. The elastic energy of the plate is governed by the nonlinear Koiter model, which yields an $H^2$-coercive operator and accounts for both membrane and bending effects. To the best of our knowledge, this is the first result on time-periodic weak solutions for a fluid-structure interaction system with a \emph{nonlinear} elastic energy. The main novelty, compared to our earlier works on the linear case -- a linear elastic plate and a linear Koiter shell respectively -- is the replacement of a two-stage fixed-point procedure -- a Leray-Schauder argument at the discrete level followed by a set-valued Kakutani-Glicksberg-Fan argument at the continuous level -- by a \emph{single} Leray-Schauder fixed point applied directly to the fully coupled Galerkin system. This reduction is not merely a simplification: the nonlinearity of the Koiter energy destroys the convexity of the solution map on which Kakutani-Fan relies, making the two-stage approach of~\cite{Claudiu22} unavailable and the single fixed point the only viable strategy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the existence of time-periodic weak solutions for a fluid-structure interaction system coupling the incompressible Navier-Stokes equations in a three-dimensional moving domain with a nonlinear Koiter plate equation on its upper boundary. The lateral boundary is space-periodic, and the fluid satisfies a no-slip coupling condition at the moving interface. The elastic energy of the plate is governed by the nonlinear Koiter model, which yields an H^2-coercive operator. The proof relies on a Galerkin approximation combined with a single Leray-Schauder fixed-point argument applied directly to the fully coupled system, as the nonlinearity destroys the convexity needed for the two-stage Kakutani-Glicksberg-Fan procedure used in prior linear works.
Significance. If the result holds, this is a significant advancement as the first existence result for time-periodic weak solutions in FSI with nonlinear elastic energy. The single-stage Leray-Schauder strategy is a technical improvement over the authors' earlier linear cases. The H^2-coercivity of the nonlinear Koiter energy is invoked to close the a priori estimates. This contributes to the theory by handling more realistic nonlinear models in periodic channel flows.
major comments (1)
- [§4] §4 (Galerkin fixed-point map): the application of Leray-Schauder requires a uniform a priori bound on the solution independent of the Galerkin dimension N; the manuscript should explicitly verify that the H^2-coercivity estimate closes this bound without additional smallness assumptions on the time-periodic pressure gradient.
minor comments (2)
- [Introduction] The comparison to the linear case in Claudiu22 could briefly recall why the solution map loses convexity under the nonlinear Koiter energy.
- [Preliminaries] Notation for the time-dependent domain and the trace operator at the moving interface should be introduced with a dedicated preliminary subsection.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the positive recommendation for minor revision. We address the single major comment below.
read point-by-point responses
-
Referee: [§4] §4 (Galerkin fixed-point map): the application of Leray-Schauder requires a uniform a priori bound on the solution independent of the Galerkin dimension N; the manuscript should explicitly verify that the H^2-coercivity estimate closes this bound without additional smallness assumptions on the time-periodic pressure gradient.
Authors: We agree that an explicit verification of the N-independent bound is necessary for the Leray-Schauder argument. The a priori estimates in Section 4 are derived directly from the H^2-coercivity of the nonlinear Koiter energy, which controls all nonlinear coupling terms arising in the Galerkin system. These estimates yield a bound on the solution that is independent of the Galerkin dimension N and does not require any smallness assumption on the time-periodic pressure gradient. To make this verification fully explicit as requested, we will add a clarifying remark immediately after the statement of the a priori estimates in Section 4, confirming that the radius of the ball on which the fixed-point map is considered can be chosen independently of N. revision: yes
Circularity Check
Minor self-citation for comparison only; central existence proof is independent
full rationale
The paper references its earlier linear works solely to explain the methodological shift necessitated by the nonlinearity of the Koiter energy, which eliminates the convexity required for the Kakutani-Glicksberg-Fan argument used previously. The core result relies on applying a single Leray-Schauder fixed-point theorem directly to the fully coupled Galerkin system, supported by H^2-coercivity estimates and standard functional analysis tools. This self-citation is not load-bearing for the current proof and does not reduce the derivation to prior results by construction. No patterns such as self-definitional steps, fitted inputs as predictions, or ansatz smuggling are present in the provided text.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of Sobolev spaces, weak solutions to Navier-Stokes, and Leray-Schauder fixed-point theorem in Banach spaces
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the nonlinearity of the Koiter energy destroys the convexity of the solution map... single Leray-Schauder fixed point applied directly to the fully coupled Galerkin system
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanalpha_pin_under_high_calibration echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
⟨K'(η),η⟩≥2K(η) ... H²-coercive operator
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
A variational approach to hyperbolic evolutions and fluid-structure interactions.J
Barbora Beneˇ sov´ a, Malte Kampschulte, and Sebastian Schwarzacher. A variational approach to hyperbolic evolutions and fluid-structure interactions.J. Eur. Math. Soc., 2023
work page 2023
-
[2]
M. E. Bogovskij. The solution of some problems of vector analysis related to the operators div and grad. Tr. Semin. S.L. Soboleva 1, 5-40 (1980)., 1980
work page 1980
-
[3]
Compressible fluids interacting with a linear-elastic shell.Arch
Dominic Breit and Sebastian Schwarzacher. Compressible fluids interacting with a linear-elastic shell.Arch. Ration. Mech. Anal., 228(2):495–562, 2018
work page 2018
-
[4]
Existence of time-periodic strong solutions to a fluid-structure system.Discrete Contin
Jean-J´ erˆ ome Casanova. Existence of time-periodic strong solutions to a fluid-structure system.Discrete Contin. Dyn. Syst., 39(6):3291–3313, 2019
work page 2019
-
[5]
Antonin Chambolle, Beno¯ ıt Desjardins, Maria J Esteban, and C´ eline Grandmont. Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate.Journal of Mathematical Fluid Mechanics, 7:368–404, 2005
work page 2005
-
[6]
Esteban, and C´ eline Grandmont
Antonin Chambolle, Benoˆ ıt Desjardins, Maria J. Esteban, and C´ eline Grandmont. Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate.J. Math. Fluid Mech., 7(3):368–404, 2005
work page 2005
-
[7]
P. G. Ciarlet and A. Roquefort. Justification of a two-dimensional nonlinear shell model of Koiter’s type. Chin. Ann. Math., Ser. B, 22(2):129–144, 2001
work page 2001
- [8]
-
[9]
Philippe G. Ciarlet. An introduction to differential geometry with applications to elasticity.J. Elasticity, 78-79(1-3):3–201, 2005
work page 2005
-
[10]
A nonlinear shell model of koiter’s type.Comptes Rendus
Philippe G Ciarlet and Cristinel Mardare. A nonlinear shell model of koiter’s type.Comptes Rendus. Math´ ematique, 356(2):227–234, 2018
work page 2018
-
[11]
Evans.Partial differential equations, volume 19 ofGrad
Lawrence C. Evans.Partial differential equations, volume 19 ofGrad. Stud. Math.Providence, RI: American Mathematical Society, 2 edition, 2010
work page 2010
-
[12]
Galdi.An introduction to the mathematical theory of the Navier-Stokes equations
Giovanni P. Galdi.An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I: Linearized steady problems. New York, NY: Springer-Verlag, 1994
work page 1994
-
[13]
Giovanni P. Galdi. On time-periodic flow of a viscous liquid past a moving cylinder.Arch. Ration. Mech. Anal., 210(2):451–498, 2013
work page 2013
-
[14]
Giovanni P. Galdi. Viscous flow past a body translating by time-periodic motion with zero average.Arch. Ration. Mech. Anal., 237(3):1237–1269, 2020
work page 2020
-
[15]
Giovanni P. Galdi and Ana L. Silvestre. Existence of time-periodic solutions to the Navier-Stokes equations around a moving body.Pac. J. Math., 223(2):251–267, 2006
work page 2006
-
[16]
A linear isotropic Cosserat shell model including terms up too(h 5)
Ionel-Dumitrel Ghiba, Mircea Bˆ ırsan, and Patrizio Neff. A linear isotropic Cosserat shell model including terms up too(h 5). Existence and uniqueness.Journal of Elasticity, 154:579–605, 2023
work page 2023
-
[17]
Ionel-Dumitrel Ghiba, Trung Hieu Giang, and Catalina Ureche. Nonlinear kirchhoff-love shell models derived from the ciarlet-geymonat energy: modelling and well-posedness, 2026
work page 2026
-
[18]
Ionel-Dumitrel Ghiba and Patrizio Neff. Linear constrained Cosserat-shell models including terms up to o(h5): conditional and unconditional existence and uniqueness.Zeitschrift f¨ ur angewandte Mathematik und Physik, 74(2):47, 2023
work page 2023
-
[19]
C´ eline Grandmont. Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate.SIAM J. Math. Anal., 40(2):716–737, 2008
work page 2008
-
[20]
Gurtin.An introduction to continuum mechanics, volume 158 ofMath
Morton E. Gurtin.An introduction to continuum mechanics, volume 158 ofMath. Sci. Eng.Elsevier, Amsterdam, 1981
work page 1981
-
[21]
Malte Kampschulte, Sebastian Schwarzacher, and Gianmarco Sperone. Unrestricted deformations of thin elastic structures interacting with fluids.Journal de Math´ ematiques Pures et Appliqu´ ees, 173:96–148, 2023. 27
work page 2023
-
[22]
Ondˇ rej Kreml, V´ aclav M´ acha,ˇS´ arka Neˇ casov´ a, and Srdan Trifunovi´ c. On time-periodic solutions to an interaction problem between compressible viscous fluids and viscoelastic beams.Nonlinearity, 38(1):015005, nov 2024
work page 2024
-
[23]
Daniel Lengeler. Weak solutions for an incompressible, generalized Newtonian fluid interacting with a linearly elastic Koiter type shell.SIAM J. Math. Anal., 46(4):2614–2649, 2014
work page 2014
-
[24]
Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell.Arch
Daniel Lengeler and Michael R˚ uˇ ziˇ cka. Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell.Arch. Ration. Mech. Anal., 211(1):205–255, 2014
work page 2014
-
[25]
Claudiu Mˆ ındril˘ a and Sebastian Schwarzacher. Time-periodic weak solutions for an incompressible New- tonian fluid interacting with an elastic plate.SIAM J. Math. Anal., 54(4):4139–4162, 2022
work page 2022
-
[26]
Claudiu Mˆ ındril˘ a and Sebastian Schwarzacher. Time-periodic weak solutions for the interaction of an incompressible fluid with a linear koiter type shell under dynamic pressure boundary conditions.ArXiv preprint, 2023
work page 2023
-
[27]
PhD thesis, Charles University, Prague, CZ, 2024
Petre-Claudiu Mˆ ındril˘ a.Time-periodic weak solutions for fluid-structure interactions. PhD thesis, Charles University, Prague, CZ, 2024
work page 2024
-
[28]
Maryam Mohammadi Saem, Ionel-Dumitrel Ghiba, and Patrizio Neff. A geometrically nonlinear Cosserat (micropolar) curvy shell model via Gamma convergence.Journal of Nonlinear Science, 33(5), 2023
work page 2023
-
[29]
Time-periodic solutions for hyperbolic-parabolic systems.arXiv preprint arXiv:2412.18801, 2024
Stanislav Mosny, Boris Muha, Sebastian Schwarzacher, and Justin T Webster. Time-periodic solutions for hyperbolic-parabolic systems.arXiv preprint arXiv:2412.18801, 2024
-
[30]
Boris Muha and Sunˇ cica ˇCani´ c. Fluid-structure interaction between an incompressible, viscous 3d fluid and an elastic shell with nonlinear Koiter membrane energy.Interfaces Free Bound., 17(4):465–495, 2015
work page 2015
-
[31]
Boris Muha and Sebastian Schwarzacher. Existence and regularity of weak solutions for a fluid interacting with a non-linear shell in three dimensions.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 2022
work page 2022
-
[32]
G. Prouse. Soluzioni periodiche dell’equazione die Navier-Stokes.Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat., 35:443–447, 1963
work page 1963
-
[33]
Hackensack, NJ: World Scientific, 2015
Gregory Seregin.Lecture notes on regularity theory for the Navier-Stokes equations. Hackensack, NJ: World Scientific, 2015. 28
work page 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.