OpenFrontiers
← Back to the index

Cardiovascular mathematics · 2006-bio-8

Biophysics and Biomechanics · ICM 2006: Cardiovascular mathematics

Inferred from the community field; finer classification has not been reviewed.

Source assessment · not reviewedAs of 2026-08-18Source & evidence ↓

Problem statement

Consider a finite computational segment of a deformable artery. Blood is modeled by the incompressible Navier–Stokes equations in the time-dependent lumen, the arterial wall is modeled by an elastic or viscoelastic deformation equation, and velocity and traction are continuous across the fluid–wall interface. The inlet and outlet cross-sections of the segment are artificial boundaries introduced by truncating the full circulatory system, whose omitted portions continue to influence the local flow; at these cross-sections the available data may consist only of cross-sectional averages, such as mean pressure or volumetric flow rate, rather than a complete velocity or traction field. Construct boundary conditions, or an equivalent coupling to reduced models of the omitted circulation, that use the available averaged data and represent the influence of the omitted circulation, and prove that the resulting coupled fluid–structure initial-boundary-value problem is well posed, with existence, uniqueness, and continuous dependence on the initial data, boundary data, and forcing terms in suitable function spaces.

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Remaining questions in this record

Remaining questions recorded by the source

These are retained within the parent record and are not counted as additional index entries.

Question 1

Given a patient-specific model of blood flow in a truncated arterial domain, measurements of pressure and flow, and a distributed-network or lumped-parameter reduced model of the omitted distal vasculature, construct a rigorous and computationally efficient procedure to identify the reduced model's anatomical and physiological parameters, including its resistances, impedances, compliances, and inertances, and couple the calibrated reduced model to the artificial outlets so that the combined model reproduces the available physiological measurements.

Source reference: “Open Problems in Computational Vascular Biomechanics: Hemodynamics and Arterial Wall Mechanics,” Charles A. Taylor and Jay D. Humphrey, Computer Methods in Applied Mechanics and Engineering 198 (2009), 3514–3523, Section 5.3 (“In Vivo Fluid and Solid Boundary Conditions”). DOI: https://doi.org/10.1016/j.cma.2009.02.004

Question 2

Consider a three-dimensional Navier–Stokes/elastic-wall fluid–structure model of a deformable artery coupled at an artificial cross-section to a one-dimensional compliant-vessel model whose wall law relates mean pressure to cross-sectional area. Prove or disprove that imposing continuity of volumetric flow rate, mean total normal stress, and cross-sectional area at the coupling interface yields an energy-stable coupled problem when the three-dimensional wall model requires boundary conditions at that interface.

Source reference: “On the Stability of the Coupling of 3D and 1D Fluid-Structure Interaction Models for Blood Flow Simulations,” Luca Formaggia, Alexandra Moura, and Fabio Nobile, ESAIM: Mathematical Modelling and Numerical Analysis 41 (2007), 743–769, discussion following Theorem 5.1. DOI: https://doi.org/10.1051/m2an:2007039

Progress & source assessment

Source-reported assessment from the ICM catalogue snapshot. This is not an independent review by Frontier Science.

unresolved

The exact problem asks for one artificial-boundary treatment that simultaneously uses cross-sectional pressure or flow data, represents the omitted circulation, and yields existence, uniqueness, and continuous dependence for the fully coupled Navier–Stokes/deformable-wall problem. No verified result supplies all three components. The literature contains substantial but non-exhaustive progress:

  • “On the coupling of 3D and 1D Navier–Stokes equations for flow problems in compliant vessels,” Luca Formaggia, Jean-Frédéric Gerbeau, Fabio Nobile, and Alfio Quarteroni, Computer Methods in Applied Mechanics and Engineering 191 (2001), 561–582. DOI: 10.1016/S0045-7825(01)00302-4. This work couples a two- or three-dimensional fluid–structure model to a one-dimensional compliant-vessel model, derives energy bounds under an outflow kinetic-energy-flux condition, and demonstrates numerically that the reduced model absorbs outgoing waves. An energy estimate and numerical coupling do not establish existence, uniqueness, or continuous dependence for the coupled moving-domain problem.

  • “On the stability of the coupling of 3D and 1D fluid-structure interaction models for blood flow simulations,” Luca Formaggia, Alexandra Moura, and Fabio Nobile, ESAIM: Mathematical Modelling and Numerical Analysis 41 (2007), 743–769. DOI: 10.1051/m2an:2007039. The paper derives a global energy estimate for flux/mean-total-stress matching and treats several wall models. It explicitly notes that the cited well-posedness results for defective flow-rate or mean-pressure conditions cover rigid walls, not the deformable-wall system. For wall models requiring endpoint conditions, its estimate uses homogeneous structural conditions and does not establish stability when cross-sectional area continuity is imposed.

  • “Absorbing boundary conditions for a 3D non-Newtonian fluid–structure interaction model for blood flow in arteries,” João Janela, Alexandra Moura, and Adélia Sequeira, International Journal of Engineering Science 48 (2010), 1332–1349. DOI: 10.1016/j.ijengsci.2010.08.004. This extends the 3D–1D energy estimate to a shear-thinning generalized-Newtonian fluid with a nonlinear hyperelastic wall and compares 3D–1D and linear absorbing outlet conditions numerically, including a carotid geometry. It does not prove well-posedness of the complete coupled initial-boundary-value problem.

  • “Fluid structure system with boundary conditions involving the pressure,” Jean-Jérôme Casanova, Journal of Evolution Equations 21 (2021), 107–149. DOI: 10.1007/s00028-020-00581-2; arXiv: 1707.06382. Theorem 4.3 proves local existence and uniqueness of strong solutions for a two-dimensional rectangular-type Navier–Stokes domain coupled to a damped Euler–Bernoulli beam with dynamic-pressure conditions at inflow and outflow; Theorem 4.4 gives a strong solution on a prescribed time interval for small data. This is a genuine well-posedness result, but only for a special two-dimensional wall model and prescribed pressure conditions, not a general three-dimensional artificial-boundary coupling to the omitted circulation or the flow-rate-data case.

  • “Existence of solutions and continuous and semi-discrete stability estimates for 3D/0D coupled systems modelling airflows and blood flows,” Céline Grandmont and Sébastien Martin, ESAIM: Mathematical Modelling and Numerical Analysis 55 (2021), 2365–2419. DOI: 10.1051/m2an/2021055. This proves existence and stability results for Stokes–Windkessel and Navier–Stokes–Windkessel systems, including local-in-time or small-data strong results for the nonlinear system. The three-dimensional lateral walls are explicitly assumed rigid, so the theorem does not cover the coupled arterial-wall unknown in the statement.

  • “Well-posedness of an initial-boundary value problem for a vascular blood flow model with a prescribed moving boundary,” Jiahui Li and Peicheng Zhu, Electronic Research Archive 34 (2026), 5626–5659. DOI: 10.3934/era.2026251. The authors prove existence and uniqueness of weak solutions in a moving vascular domain, but the wall displacement is prescribed a priori rather than solved as a structural unknown, and the artificial boundaries are not coupled to a reduced circulation model.

The survey “Geometric multiscale modeling of the cardiovascular system, between theory and practice,” Alfio Quarteroni, Alessandro Veneziani, and Christian Vergara, Computer Methods in Applied Mechanics and Engineering 302 (2016), 193–252. DOI: 10.1016/j.cma.2016.01.007 confirms that flux/pressure data, local–systemic coupling, structural-law mismatch, spurious reflection, and patient-specific parameter identification remain separate mathematical and computational issues. Thus the established constructions and special-case well-posedness theorems do not collectively exhaust the deformable-artery problem stated here; a rigorous general boundary formulation satisfying all of its requirements remains unresolved.

References
  1. [1]ICM Conjectures · 2006-bio-8 link
  2. [2]ICM 2006: Cardiovascular mathematics link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.