{"id":"679bd925-b64c-4916-b21f-70d3d4a8725d","arxiv_id":"2501.06820","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence of time-periodic weak solutions is proved for a 3D/2D/3D incompressible fluid interacting with a thin elastic shell and a thick viscoelastic solid under small Bernoulli pressure boundary data.","lead":"This mathematics paper proves that a simplified model of blood flow through an artery, where a viscous fluid pushes against a thin elastic layer and a thick elastic wall, has solutions that repeat periodically in time, as long as the driving pressure is small enough. The proof extends earlier two-dimensional results to three dimensions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The asserted equivalence of Galerkin systems (5.6) and (5.7) is unproved and algebraically suspect: the two differ by a moving-domain boundary term, so the energy estimates behind Proposition 5.11 may target a different evolution law.","rationale":"I read the paper in good faith. The central claim, Theorem 2.6, is the existence of a time-periodic weak solution to the 3D/2D/3D multilayered FSI problem under small Bernoulli pressure data. The proof strategy is standard: Galerkin approximation on a prescribed moving domain, uniform energy estimates, a Leray-Schauder fixed point for the periodicity map, and a set-valued fixed point to close the domain and convection. The weakest point is precisely the transition from (5.6) to (5.7), because without that equivalence the energy estimates and the fixed-point argument are not anchored to the weak formulation (2.4). My independent check of the algebra using the Reynolds transport theorem confirms that the claimed equivalence is not merely missing but likely false in the presence of time-dependent basis functions. This is not an internal inconsistency in the final theorem statement, but it is a correctness risk in the proof as written, and it is fixable: the authors could either prove the equivalence by supplying the missing boundary term and a modified energy identity, or reformulate the Galerkin scheme with time-independent-in-reference test functions via a Piola/ALE pullback so that the projection is genuinely equivalent. The paper has substantial merit: the a priori estimates in Section 3 are coherent, the compactness section follows the established template of Lengeler-Růžička, and the result would be a meaningful extension of the 2D/1D/2D theory. The reader's CONDITIONAL verdict is appropriate; no verdict change is needed, provided the requested revision proves or replaces the disputed Galerkin equivalence.","tokens_in":25620,"tokens_out":15480,"duration_ms":147607,"concrete_test":"Take n=1 and a single mode: choose a nonconstant time-periodic δ(t), e.g. δ(t)=ε cos(2πt/T) with ε>0 small, and a smooth Y_1∈H^2_0(ω). Set u=a'(t)F_δ(Y_1), η=a(t)Y_1, d=a(t)s(r)Y_1 e_r. Substitute into (5.6) and (5.7) at a fixed time t_0 with ∂_t δ(t_0)≠0 and compute the residual difference D(t_0) = LHS(5.7) - LHS(5.6). Using the Reynolds identity, D(t_0)=d/dt∫_{Ω^δ}u·X_1^F dx - 1/2∫_{∂Ω^δ}(u·X_1^F)(V·n)dS, which is nonzero for generic a(t). A symbolic computation for a simple axisymmetric domain and Y_1 would exhibit this nonzero difference, refuting the claimed pointwise equivalence. Alternatively, the authors should provide a derivation showing that this difference vanishes identically for all n and all admissible δ.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 2.6 hinges on the claim, between (5.6) and (5.7), that the Galerkin system (5.6) can be rewritten as the 'equivalent' system (5.7). No derivation is supplied, and the rewriting appears algebraically false. In (5.6) the fluid term is -∫ u_n·∂_t X_k^F dx, while (5.7) replaces it with d/dt(1/2∫ u_n·X_k^F dx) + 1/2∫(∂_t u_n·X_k^F - u_n·∂_t X_k^F) dx. Using the Reynolds transport theorem on the moving domain Ω^δ(t), d/dt∫ u_n·X_k^F dx = ∫ ∂_t u_n·X_k^F dx + ∫ u_n·∂_t X_k^F dx + ∫_{∂Ω^δ(t)} (u_n·X_k^F)(V·n) dS. Substitution shows that the difference between the left-hand sides of (5.7) and (5.6) is generically nonzero; it equals d/dt∫ u_n·X_k^F dx minus one half of the boundary integral, and the boundary term does not vanish because X_k^F = F_δ(Y_k) or J_δ \\tilde Z_k^F depends on time through δ(t), while V·n = ∂_t δ on Γ^δ(t). Consequently, multiplying (5.7) by (a_k^n)'(t) and summing need not produce an energy identity for solutions of (5.6). The subsequent uniform bound (5.14), the Leray-Schauder fixed-point argument in Proposition 5.11, and the eventual passage to the limit would then establish existence for a different Galerkin system than the projection of the weak formulation (2.4). This is the central gap in the proof of Theorem 2.6, and it is exactly the weakest assumption identified by the reader.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a 3D/2D/3D fluid-structure interaction problem in which an incompressible viscous fluid in a cylinder interacts with a 2D thin elastic shell and a 3D thick elastic solid. The system is driven by time-periodic boundary data of Bernoulli-pressure type at the inlet and outlet. The main result, Theorem 2.6, asserts the existence of at least one time-periodic weak solution when the L^2 norm of the prescribed boundary pressure is sufficiently small, and Corollary 2.10 asserts a corresponding result for the initial-value problem, including the purely elastic thick-solid case. The strategy is to derive uniform energy estimates, prove L^2 compactness of the fluid velocity, then use a Galerkin approximation, a Leray-Schauder fixed-point argument for the finite-dimensional periodic problem, and a set-valued fixed-point argument for the decoupled regularized system.","tokens_in":25885,"tokens_out":12880,"duration_ms":121187,"significance":"If Theorem 2.6 is correct, the paper gives a meaningful extension of existing 2D/1D/2D multilayered FSI results to a fully 3D/2D/3D configuration, with a physiologically motivated Bernoulli-pressure boundary condition. The role of viscoelasticity in the thick solid is clearly highlighted: it provides the diffusion estimate (3.19) needed for the time-periodic energy bound. The paper also contains useful structural tools, notably the divergence-free extension operator of Proposition 3.1 and a compactness argument for the coupled unknowns. However, the correctness of the main existence proof currently rests on an unproved and apparently false equivalence between two Galerkin systems, so the significance cannot be fully assessed until that gap is resolved.","major_comments":[{"comment":"The assertion that (5.7) is an equivalent rewriting of (5.6) is not derived, and a direct computation indicates that it is false. For a moving domain Ω^δ(t), the Reynolds transport theorem gives d/dt(1/2∫ u·X) + 1/2∫(∂_t u·X - u·∂_t X) = ∫ ∂_t u·X + 1/2∫_{∂Ω^δ(t)} (u·X)(V·n), whereas the corresponding term in (5.6) is -∫ u·∂_t X. The difference between the two left-hand sides is generically nonzero, being d/dt∫ u·X minus half of the boundary integral, and the boundary term does not vanish because X_k^F = F_δ(Y_k) (or J_δ \\tilde Z_k^F) depends on time through δ(t). Moreover, (5.7) as displayed omits the shell term -1/2(∂_t η_n)^2 (R+δ) X_k that appears in (5.6). Since (5.6) is the Galerkin projection of the weak formulation (2.4), the energy identity (5.8) and the subsequent Leray-Schauder argument in Proposition 5.11 may apply to a different evolution law. This is a load-bearing gap in the proof of Theorem 2.6.","section":"Section 5.1.1, Eqs. (5.6) and (5.7)"},{"comment":"Remark 5.10 states that, for fixed n, a_n is bounded in C^2(I;R^n), but this is not proved and appears too strong as stated: the right-hand side of (5.7) contains the term ⟨F(t), X_k^F⟩, where P_in/out is only assumed to lie in L^2_per(I), so the second derivatives of a_n are at best in L^2, not necessarily in C^0. The compactness argument used in Proposition 5.11 would work with W^{2,2} or C^1 bounds, but the claim as written should be corrected and justified.","section":"Section 5.1.2, Remark 5.10 and Proposition 5.11"},{"comment":"The proof of Corollary 2.10 is deferred to [23] in a single sentence: the reader is told that the argument is a simplified version of Theorem 2.6, that Subsection 5.1.2 is skipped, and that the time interval is restricted to (0,T_max), with the details referred to [23]. Since the initial-value existence result is one of the paper's stated contributions, the proof should be supplied or at least the precise modifications and the role of [23] should be explained in enough detail to make the corollary verifiable.","section":"Section 2.2, proof of Corollary 2.10"},{"comment":"The extension operator F_δ is a central tool used in the energy estimates, the compactness proof (e.g., Eq. (4.16)), and the upper-semicontinuity step of the fixed-point argument, but the proof of Proposition 3.1 is only the sentence 'It follows by elementary computations involving the product rule differentiation.' In particular, the stability estimate (3.4) with its L^q interpolation exponent is nontrivial and should be proved in detail or supported by a precise reference. As written, this leaves a load-bearing technical step without verification.","section":"Section 3.1, Proposition 3.1"}],"minor_comments":[{"comment":"In the upper-semicontinuity verification, Eq. (5.19) uses ∂_t q_n but the test functions are quantified as (q,ξ,ξ); the notation should be made consistent, and the construction of the limiting test functions (q - F_{Rεδ_n}ξ,0,0) ∈ V^{Rεδ_n}_{test} should be spelled out more carefully.","section":"Section 5.2, Eq. (5.19)"},{"comment":"The displayed term T_4, written as ∫_Ω_S (∂_t d)^2 |∇∂_t d · ∇d| dA dt, appears dimensionally inconsistent; it should presumably be (∂_t d)^2 |∇∂_t d| |∇d| or an analogous product.","section":"Section 3.3, Eq. (3.25)"},{"comment":"Several standard arguments are delegated to [23] and [28] without precise statements of what is being imported; adding explicit statements of the imported results would improve verifiability.","section":"Throughout"},{"comment":"The text contains small typographical errors, such as 'Propsition 4.1' instead of 'Proposition 4.1' and inconsistent use of Rεδ versus Rεη in the spaces V^{Rεδ}_{soln} and V^{Rεη}_{soln}; these should be corrected.","section":"Section 5.3"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is potentially significant, but the proof currently hinges on the unproved and algebraically suspect equivalence of the Galerkin systems (5.6) and (5.7). If that equivalence cannot be repaired, the existence argument would not establish Theorem 2.6. The paper also relies heavily on [23] and [28] for several nontrivial steps, including the proof of Corollary 2.10; the authors should either provide full arguments or clearly delineate the imported results. The correct recommendation is major revision rather than rejection, because the overall strategy appears salvageable and the energy/compactness framework is promising."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The paper tackles something genuinely open: time-periodic weak solutions for a 3D fluid/2D shell/3D viscoelastic solid with Bernoulli pressure boundary data. That is a real extension of Muha-Čanić's 2D/1D/2D result and of Mîndrilă-Schwarzacher's single-layer work. The viscoelasticity assumption is reasonable and clearly flagged, and the overall Galerkin-plus-fixed-point strategy is the right standard tool for this community. Section 4's compactness argument is substantive and mostly careful.\n\nThe soft spot is exactly the one in the reader's report: the passage from the Galerkin system (5.6) to the 'equivalent' system (5.7) is asserted without derivation. The stress-test note suggests the two differ by a moving-boundary term from Reynolds transport; I haven't independently verified that algebra, but the onus is on the authors to show the equivalence, and they don't. Since all the energy estimates and the fixed-point argument run on (5.7), this is load-bearing, not cosmetic. There are also smaller gaps: Corollary 2.10's proof is explicitly deferred to [23], the boundedness claim in Remark 5.10 appears with no argument, and the extension operator estimates in Proposition 3.1 are only sketched. None of these alone is fatal, but the Galerkin equivalence is.\n\nThe citation pattern is fine: reliance on [23], [27], [28] is methodological inheritance, not circularity. The authors are doing serious work in an established program.\n\nBottom line: this deserves a serious referee and a major-revision decision, not a desk reject. If the Galerkin equivalence can be proved (or the scheme adjusted so the energy identity genuinely holds at the discrete level), the main theorem stands and the paper is a solid contribution. As written, I wouldn't cite it yet, and I'd want the referee to demand the missing derivation.","headline":"First 3D/2D/3D time-periodic FSI existence result, but the Galerkin equivalence at the heart of the proof is asserted without proof and looks algebraically suspect.","tokens_in":26611,"tokens_out":1971,"would_cite":false,"duration_ms":18125,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","74F10","35B10","35D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under small time-periodic Bernoulli pressure, the 3D fluid–shell–solid blood-vessel model admits at least one time-periodic weak solution.","keywords":["fluid-structure interaction","time-periodic weak solutions","viscoelasticity","Koiter shell","Navier-Stokes equations","Bernoulli pressure boundary conditions","Galerkin method","fixed-point methods"],"falsifier":"Write out the Galerkin systems (5.6) and (5.7) for a one-mode ansatz and compare the resulting ODEs: if they are not identical, the claimed equivalence in Section 5.1.1 fails and the fixed-point proof no longer targets the original weak formulation; alternatively, a numerical search over small periodic $P_{\\mathrm{in/out}}$ that violates the energy bound (2.7) would refute the theorem.","tokens_in":25242,"feed_emoji":"💓","tokens_out":12747,"duration_ms":104863,"temperature":0.7,"pith_summary":"The paper aims to prove existence of time-periodic weak solutions for a multilayered fluid-structure interaction model shaped like a blood-vessel segment: a viscous incompressible fluid fills a cylindrical tube, a thin elastic shell covers the tube wall, and a thick elastic solid surrounds the shell. The system is driven only by the pressure condition $p+\\frac12|u|^2=P_{\\mathrm{in/out}}(t)$ on the inlet and outlet, with the prescribed pressure periodic in time. The main theorem asserts that if the $L^2$-norm of $P_{\\mathrm{in/out}}$ is sufficiently small, at least one time-periodic weak solution $(u,\\eta,d)$ exists and satisfies a uniform energy bound. The decisive hypothesis is viscoelasticity in the thick solid: the damping term injects $|\\nabla\\partial_t d|^2$ into the dissipation and thereby produces the diffusion estimate needed for periodic energy control. Without that damping, the same framework still yields a local-in-time weak solution for the initial-value problem, extending earlier 2D/1D/2D results to the 3D/2D/3D geometry.","feed_headline":"Time-periodic flow exists for 3D fluid-shell-solid vessels","feed_subtitle":"Small periodic inlet/outlet pressure makes the layered wall move periodically, with energy bounded by a constant.","key_machinery":"The load-bearing mechanism is the energy balance $\\frac{d}{dt}\\mathcal E(t)+\\mathcal D(t)=\\pm P_{\\mathrm{in/out}}(t)\\int_{\\Gamma_{\\mathrm{in/out}}}u\\cdot n\\,dA$, together with the divergence-free extension operator $F_\\delta(\\xi)$ of Proposition 3.1, which maps a thin-shell displacement test function $\\xi$ into a fluid test function with trace $\\xi e_r$ and satisfies the norm estimates (3.2)-(3.4). The viscoelastic term $\\delta\\partial_t d$ in the Lamé stress (1.9) places $|\\nabla\\partial_t d|^2$ inside the dissipation $\\mathcal D(t)$, which is what makes the time-integrated diffusion estimate (3.19) possible under periodicity. Smallness of $P_{\\mathrm{in/out}}$ then converts the energy inequality into the uniform bound (3.31); the Galerkin system (5.7) is solved by a finite-dimensional Leray-Schauder fixed point, and passing to the limit uses the $L^2$-compactness of the fluid velocity established in Section 4.","core_discovery":"The central claim is Theorem 2.6: for time-periodic Bernoulli pressure data $P_{\\mathrm{in/out}}\\in L^2_{\\mathrm{per}}(I)$ with $\\|P_{\\mathrm{in/out}}\\|_{L^2_t}\\le C_0(\\mathrm{data})$, the coupled system (1.16) has at least one time-periodic weak solution $(u,\\eta,d)$ in the energy space $\\mathcal{V}^\\eta_{\\mathrm{soln}}$, and the bound $\\sup_{t\\in I}\\mathcal E(t)+\\int_I\\mathcal D(t)\\,dt\\le C_0$ holds. The proof constructs the solution by decoupling the fluid-structure interaction, solving a linearized and regularized problem for each finite-dimensional Galerkin projection by a Leray-Schauder fixed-point argument, and then closing the nonlinear coupling with a set-valued Kakutani-Glicksberg-Fan fixed-point theorem. The same decoupling, together with the compactness result of Proposition 4.1, yields Corollary 2.10: finite-energy initial data produce a local weak solution even when the thick solid is purely elastic ($\\delta=0$).","pith_inferences":["The smallness threshold $C_0(\\mathrm{data})$ is left implicit; a numerical continuation in $\\|P_{\\mathrm{in/out}}\\|_{L^2_t}$ could map the actual boundary between periodic weak solutions and their absence, sharpening the theorem.","The same decoupling-and-extension strategy may adapt to non-Newtonian fluids of Carreau type, which the paper itself points toward in Remark 1.19 and which would make the model more realistic for blood.","If the theorem is correct, the contrast between periodic existence (which requires $\\delta>0$) and initial-value existence (which allows $\\delta=0$) suggests that viscoelasticity is the mechanism selecting recurrent dynamics in layered vessels; testing a lower-dimensional analog could isolate that effect.","The energy bound (2.7) gives a compactness route to long-time behavior: any periodic solution inherits bounded energy and dissipation, so questions about stability over successive cycles become well-posed."],"forward_implications":["A cardiac-cycle-type boundary condition of small periodic dynamic pressure is compatible with the existence of a time-periodic flow, shell displacement, and solid displacement in the 3D/2D/3D geometry.","The existence theory for multilayered fluid-structure interactions, previously available in the 2D/1D/2D setting, now extends to the full three-dimensional configuration.","Viscoelastic damping in the thick solid marks the boundary of the periodic existence argument: without it the theorem is not claimed, and only the local initial-value existence is obtained.","Any time-periodic solution produced by Theorem 2.6 obeys the quantitative balance $\\sup_{t\\in I}\\mathcal E(t)+\\int_I\\mathcal D(t)\\,dt\\le C_0$, so small boundary data force uniformly small energy over the whole period."],"supporting_citations":[{"why":"The 2D/1D/2D multilayered fluid-structure result that the paper extends to 3D/2D/3D and uses as its comparison baseline.","marker":"[32]"},{"why":"Supplies the divergence-free extension operator, the Piola transform, the approximation lemma, and the Galerkin argument on which the proof relies.","marker":"[23]"},{"why":"Predecessor time-periodic Koiter-shell analysis whose extension-operator and energy-estimate techniques are adapted here.","marker":"[28]"},{"why":"Establishes time-periodic weak solutions for a fluid interacting with an elastic plate, the precedent for the periodic analysis.","marker":"[27]"},{"why":"Provides the Koiter elastic energy and its $H^2$ coercivity, justifying the reduction $K'(\\eta)=\\Delta^2\\eta$.","marker":"[12]"},{"why":"Foundational weak-existence result for a viscous fluid interacting with an elastic plate, which the later machinery builds on.","marker":"[17]"}],"fun_headline_variants":["Small periodic pressure gives time-periodic 3D flow","Layered 3D fluid-structure: periodic weak solutions proved","Viscoelastic layer enables periodic solutions in 3D/2D/3D","Time-periodic weak solution for multilayered fluid system","3D shell-solid flow: periodic solutions for small pressure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the finite-dimensional Galerkin system (5.7) is exactly the projection of the weak formulation (2.4), an equivalence stated without proof between (5.6) and (5.7); if the two systems describe different evolution laws, the energy estimates and fixed-point arguments apply to a different problem and Theorem 2.6 is not established.","fun_headline_variants_meta":{"raw":{"variants":["Small periodic pressure gives time-periodic 3D flow","Layered 3D fluid-structure: periodic weak solutions proved","Viscoelastic layer enables periodic solutions in 3D/2D/3D","Time-periodic weak solution for multilayered fluid system","3D shell-solid flow: periodic solutions for small pressure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000221,"raw_usage":{"total_tokens":1452,"prompt_tokens":947,"completion_tokens":505,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":563,"completion_tokens_details":{"reasoning_tokens":417}},"tokens_in":563,"tokens_out":505,"duration_ms":5333,"temperature":1.0,"reasoning_tokens":417,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:51:26.787353+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Write out the Galerkin systems (5.6) and (5.7) for a one-mode ansatz and compare the resulting ODEs: if they are not identical, the claimed equivalence in Section 5.1.1 fails and the fixed-point proof no longer targets the original weak formulation; alternatively, a numerical search over small periodic $P_{\\mathrm{in/out}}$ that violates the energy bound (2.7) would refute the theorem.","supporting_citations":[{"cited_title":"Existence of a solution to a fluid-multi-layered-st ructure interaction problem","cited_arxiv_id":null,"evidence_quote":"The 2D/1D/2D multilayered fluid-structure result that the paper extends to 3D/2D/3D and uses as its comparison baseline."},{"cited_title":"Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell","cited_arxiv_id":null,"evidence_quote":"Supplies the divergence-free extension operator, the Piola transform, the approximation lemma, and the Galerkin argument on which the proof relies."},{"cited_title":"Time-periodic weak solutions for the interaction of an incompressible fluid with a linear Koiter type shell under dynamic pressure boundary conditions","cited_arxiv_id":"2303.13625","evidence_quote":"Predecessor time-periodic Koiter-shell analysis whose extension-operator and energy-estimate techniques are adapted here."},{"cited_title":"Time-periodic weak solutions for an incompressible Newtonian flu id interacting with an elastic plate","cited_arxiv_id":null,"evidence_quote":"Establishes time-periodic weak solutions for a fluid interacting with an elastic plate, the precedent for the periodic analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Koiter elastic energy and its $H^2$ coercivity, justifying the reduction $K'(\\eta)=\\Delta^2\\eta$."},{"cited_title":"Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate","cited_arxiv_id":null,"evidence_quote":"Foundational weak-existence result for a viscous fluid interacting with an elastic plate, which the later machinery builds on."}],"review_version":1}