Pith. sign in

REVIEW 3 major objections 3 minor 71 references

A hierarchy of blood vessel models, Part I: 3D-1D to 1D

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read This paper proves that a 1D slender-body equation for blood pressure around a thin vessel is the ε→0 limit of a coupled 3D-1D Darcy–Poiseuille model, with an explicit error of order ε^{1/2}|log ε|.

desk verdict Promising new 1D perfusion model but a load-bearing gap in the kernel positivity proof means the main theorem lacks support as written. read the letter →

arxiv 2507.13316 v1 pith:CBVQ4ZUZ submitted 2025-07-17 math.AP physics.bio-phphysics.flu-dynq-bio.TO

classification math.APphysics.bio-phphysics.flu-dynq-bio.TO MSC 35B2535J0535R0976S0592C35
keywords bloodperfusionDarcy–PoiseuilleslenderbodyapproximationintegrodifferentialequationGreen'sfunctionfree-endvessel3D-1Dcouplingasymptoticconvergence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to prove that a much simpler one-dimensional model captures the behavior of a coupled 3D-1D blood-perfusion model as the vessel radius ε tends to zero. The 1D model expresses the exterior pressure through an explicit half-space Green's function, while the interior pressure solves a new 1D integrodifferential equation whose kernel encodes the vessel geometry. The main work is a detailed analysis of that 1D equation: existence, uniqueness, weighted a priori bounds with explicit ε-dependence, and kernel estimates establishing near-positivity and near-antisymmetry. If the proof is right, one may replace the 3D-1D system by the cheaper 1D equation for curved vessels, with a quantified error, and the bounds feed directly into the companion paper's convergence to the full 3D-3D Darcy–Stokes system.

What carries the argument

The load-bearing object is the 1D integrodifferential equation (1.17) for the interior pressure p_{SB}(s), whose kernel K_ε(s,t) is the θ-average of the half-space Neumann Green's function evaluated on the vessel surface. The proof proceeds through three kernel lemmas: near-positivity of the integral operator (Lemma 3.1), near-antisymmetry of its derivatives (Lemma 3.2), and weighted integration by parts (Lemma 3.3). These supply coercivity of the bilinear form B in (3.76) and the weighted a priori bounds (1.20)-(1.21); then the error estimate Theorem 1.3 follows from residual bounds for the normal derivative of q_{SB} (Lemma 4.1) and an energy identity on the difference between the two solutions.

What would settle it

Compute the quadratic form in Lemma 3.1 for a radius function that vanishes linearly at the tip, for example a(s)=1−s near s=1, which violates (1.4): if the negative lower bound grows worse than C $ε^{{1/2}}$|log ε|^{1/2}, the coercivity step (3.78), and with it Theorem 1.2 and the rate in Theorem 1.3, would fail. Equivalently, solve (1.17) numerically for such a blunt tip and check whether ∥p_{SB}∥_{L∞} grows faster than $ε^{{-1/2}}$.

Watch

Extended reading notes

Core claim

The central claim is that for a curved vessel whose radius εa(s) satisfies the admissible-radius conditions (1.2)-(1.4), the solution (q_{SB}, p_{SB}) of the 1D slender-body model (1.16)-(1.17) is within C $ε^{{1/2}}$|log ε| |p_0| of the solution (q, p) of the 3D-1D system (1.9a)-(1.9d), measured in the mixed norms of (1.22). This rests on Theorem 1.2, which states that the degenerate 1D integrodifferential equation has a unique solution satisfying ∥p_{SB}∥_{L∞} ≤ C $ε^{{-1/2}}$|p_0| and ∥$a^{{3/2}}$($a^{4}$ p_{SB,s})_{ss}∥_{$L^{2}$} ≤ C |log ε| |p_0|. The paper argues these estimates make precise the sense in which the explicit 1D Green's function model is the asymptotic reduction of the 3D-1D coupling as ε→0.

Load-bearing premise

The load-bearing premise is the spheroidal tip condition (1.4), which makes the kernel in Lemma 3.1 nearly positive and closes the coercivity estimate, with the well-posedness of the 3D-1D solution itself deferred to the companion paper.

Editorial extensions

If this is right

  • The 1D equation (1.17) can be used in place of the coupled 3D-1D system for curved vessels with spheroidally tipped, non-constant radius, with a guaranteed approximation error O(ε^{1/2}|log ε|) in the norms of Theorem 1.3.
  • The weighted bounds of Theorem 1.2 serve as the 1D regularity input that the companion Part II uses to compare both reduced models directly with the full 3D-3D Darcy–Stokes system.
  • The analysis extends to an infinite-slab geometry with prescribed pressures at both ends, as described in Remark 1, at the cost of replacing the single-reflection Green's function by an infinite sum of reflections.
  • The numerical experiments in Section 1.5 suggest that the ε^{-1/2} bound on ∥p_{SB}∥_{L∞} itself may not be sharp, although the full equation with the integral term does not satisfy a maximum principle near a self-approaching tip.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One consequence the paper leaves implicit is that the ε^{1/2}|log ε| rate is largely set by the spheroidal free-end treatment; a blunt or linearly tapered tip would likely destroy the near-positivity of Lemma 3.1 and the coercivity argument.
  • If the numerically suggested uniform-in-ε L∞ bound for p_{SB} can be proved, it would improve the interior-pressure estimate in Theorem 1.2, though it would probably not change the leading error rate of Theorem 1.3.
  • Because the 1D model is closed-form and geometry encoded in a kernel, it is a natural surrogate for shape-optimization and inverse problems over vascular arrangements, an application the paper mentions but does not develop.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper proposes a 3D-1D Darcy-Poiseuille system for blood perfusion around a thin vessel and derives from it a 1D slender-body Green's function model in which the interior pressure solves a degenerate integrodifferential equation. The main results are Theorem 1.1 (well-posedness of the 3D-1D system, with proof deferred to an appendix), Theorem 1.2 (well-posedness and weighted a priori estimates for the 1D equation), and Theorem 1.3 (an ε^{1/2}|log ε| error estimate between the two models). Sections 2 and 4 collect integral estimates and compute residuals for the 1D approximation, and Section 5 proves the error estimate assuming Theorem 1.2. Numerical experiments in Section 1.5 illustrate the behavior of the 1D model. The central claim of the paper is the convergence of the 3D-1D solution to the 1D slender-body solution, with the rate controlled by estimates for the 1D integrodifferential equation.

Significance. If the proof chain is completed, this would be a valuable contribution: it gives a rigorous, quantitative sense in which a practical 1D Green's function model is the slender limit of a 3D-1D Darcy-Poiseuille system, and the a priori estimates in Theorem 1.2 are designed to be reusable in Part II for comparison with a 3D-3D Darcy-Stokes system. The paper is careful and detailed in its residual calculations and in the derivation of the 1D equation, and the inclusion of numerical examples helps orient the reader. The main limitations are that the proof of the key near-positivity lemma (Lemma 3.1) contains a serious gap, and that the well-posedness of the 3D-1D system is not proved in this manuscript but is quoted from the companion paper [56].

major comments (3)
  1. [§3.1.1, Eq. (3.17)] The proof of Lemma 3.1 fails at the claimed diagonal-dominance step. From (3.8), KY(τ, φϵ(τ)) = η/(4πϵa*(τ)), so the geometric mean of the diagonal entries is η/(4πϵ) (a*(τ)a*(t))^{-1/2}. The expression on the right-hand side of (3.17), η/(8π) 1/(ϵ²a*(τ)a*(t)), is not equal to this geometric mean; it is larger by a factor proportional to 1/(2ϵ√(a*(τ)a*(t))). Moreover, an entrywise bound of the form |K(τ,t)| ≤ √(K(τ,τ)K(t,t)) does not imply positive definiteness of the symmetric kernel, nor does it imply diagonal dominance. Therefore the inference to (3.15) and to Iϵ,0 ≥ 0 is unsupported. Since Lemma 3.1 is used directly in the coercivity estimate (3.78) and again in (3.93)-(3.94), the well-posedness and all weighted bounds of Theorem 1.2, and consequently the rate in Theorem 1.3, lose their stated support.
  2. [Appendix A / Theorem 1.1] Theorem 1.1 is announced with a proof in Appendix A, but the appendix does not actually prove the central coercivity of the bilinear form B in (A.5). Instead it states, without proof, that by [56, section 4] the form is bounded and coercive. Since Theorem 1.3 compares the 3D-1D solution (q,p), whose existence is asserted by Theorem 1.1, with the 1D model, the main convergence claim is conditional on an unpublished companion paper unless the coercivity proof is included or the dependency is explicitly disclosed as an assumption. This is a load-bearing missing argument, not a stylistic issue.
  3. [§3.1.1, Eq. (3.31)] The bound (3.31), stated as |KY(τ,t)| ≥ C/ϵ² for all τ,t ∈ [-1,1], has the wrong direction. Near the diagonal the kernel behaves like C/(ϵa*(τ)), which for a*(τ) near 1 is larger than C/ϵ² only in a different scaling regime; more importantly, the subsequent estimate of Iϵ,3 in (3.32) requires an upper bound |KY(τ,t)| ≤ C/ϵ². As written, (3.31) cannot justify the step that follows. This is a separate defect in the proof of Lemma 3.1, and it reinforces that the lemma's proof needs revision.
minor comments (3)
  1. [§3.2, Eq. (3.72)] The notation [(a⁴v_t)_t]^* is used before it is defined; the defining sentence should be moved earlier to avoid confusion.
  2. [§1.5] The numerical experiments are descriptive and useful for illustrating the model, but they do not include a convergence study in ϵ or a direct comparison with the 3D-1D solution. A quantitative test of the rate in Theorem 1.3 would strengthen the paper.
  3. [§2.1, Lemma 2.4] The constant d03 = 2 is correct for m=0 and n=3, but the notation d_{mn} is introduced only for the even evaluation lemma; it would be clearer to state the admissible range of m and n explicitly before the display.

Circularity Check

1 steps flagged · score 3.0 of 10

Main 1D-to-3D-1D error estimate is derived, not presupposed; the main circularity risk is a load-bearing self-citation for 3D-1D well-posedness, plus a non-circular proof gap in Lemma 3.1.

  1. self citation load bearing [Appendix A, after equation (A.5)]
    "Note that by [56, section 4], we have that B(·, ·) is bounded and coercive on D^{1,2}(Ω_ε) × H_a^0(0,1) × D^{1,2}(Ω_ε) × H_a^0(0,1)."

    Theorem 1.1, which supplies the 3D-1D solution (q,p) used in Theorem 1.3, is not proved in this paper: Appendix A imports the coercivity of the bilinear form from the authors' own companion preprint [56]. That citation is not machine-checked, code-reproduced, or otherwise independently verified here, and the abstract announces that Part II relies on the 1D estimates of this paper. The existence input to the central convergence theorem is therefore supported by a same-author, unverified citation rather than by a self-contained argument, making this a load-bearing self-citation even though the main 1D error estimate itself is derived rather than assumed.

full rationale

The central derivation is not circular: the 1D model (1.16)-(1.17) is defined independently of the 3D-1D solution, Theorem 1.2 proves the 1D a priori bounds from kernel estimates in Sections 2-3, and Theorem 1.3 is obtained by a residual/energy calculation in Sections 4-5. No fitted parameter is relabeled as a prediction, and the convergence rate is not assumed. The main circularity concern is the deferred coercivity of the 3D-1D bilinear form: Appendix A cites the authors' unpublished Part II [56, section 4] for the boundedness/coercivity needed for Theorem 1.1, which is an input to Theorem 1.3; because Part II is announced to depend on Part I's Theorem 1.2, the support is a same-author citation whose independence is not established in this manuscript. Separately, but not as circularity, the proof of Lemma 3.1 contains a load-bearing inequality gap: equation (3.17) claims an equality between η/(8πϵ²a*(τ)a*(t)) and the product of the kernel diagonals, which is dimensionally inconsistent (the left side scales as 1/length² and the product as 1/length), so the asserted diagonal dominance and I_ε0 ≥ 0 are not established as written; this threatens Theorem 1.2 and hence Theorem 1.3, but it is a correctness gap, not a circular reduction. Score 3 reflects one load-bearing self-citation with independent central content.

Assumptions & free parameters 2 free parameters · 7 assumptions · 0 invented entities

No data are fitted anywhere in the paper: all constants C in theorems 1.1-1.3 depend only on c_Γ, κ*, a*, a0, and the model inputs (η, ω, p0) are physical parameters, not fit parameters. Two hand-chosen scales appear: the O(ε²) centerline truncation ℓ(ε) (1.13) and the bulk/tip split (δ, a0) in (1.3). The paper's logical debt is to its own prior work: the integral machinery of [51] (with modifications), the angle-averaged map of [55], and above all the unpublished companion [56], which supplies the coercivity behind Theorem 1.1 and the whole 3D-3D leg (Theorem 1.4). The genuinely new analysis, the ε-dependent study of the degenerate 1D integrodifferential equation (1.17), is carried out inside this manuscript. No new physical entities are postulated, so the graviton problem does not apply.

free parameters (2)
  • ℓ(ε): O(ε²) truncation length of the effective centerline (1.13) = any function satisfying C^{-1}ε² ≤ ℓ(ε) ≤ Cε²
    Chosen by hand in (1.13) to stop the effective centerline O(ε²) short of the degenerate tip. The near-positivity decomposition I_0+I_1+I_2+I_3 in Lemma 3.1 and endpoint bounds such as (3.28)-(3.39) use this scale. The theorem statements are designed to be independent of the specific choice within the allowed range.
  • δ and a0: tip-region size and bulk radius lower bound (1.3) = 0 < δ ≪ 1 and a0 > 0, both independent of ε
    Assumption (1.3) guarantees the radius stays above a0 on [0,1−δ]; the split between bulk and spheroidal-tip regions is chosen by the authors to make Lemma 2.6 and Lemma 3.1 work. Not fitted to data, but a hand-chosen modeling and analytic input.
assumptions (7)
  • domain assumption Radius function class (1.2)-(1.4): C² regularity, a ≥ a0 on [0,1−δ], spheroidal tip a(s) = sqrt(1−s²) + O(ε² sqrt(1−s²)), monotone decay to a(1)=0
    Defines the vessel geometry for the whole analysis. Lemma 2.6, Lemma 3.1, Theorem 1.2, and therefore Theorem 1.3 all use the spheroidal tip relation (1.4); a blunt or conical tip would change every ε-scaling in the paper.
  • domain assumption C² reflection: X_s(0) ⟂ {z=0} and the separation condition c_Γ > 0 (1.1)
    Guarantees the reflected curve Y ∈ C²[−1,1] (2.8) and the bounds (2.21); used throughout section 3 (extension f*, expansions (2.12)-(2.13), kernel K_Y in Lemma 3.1).
  • ad hoc to paper Boundedness and coercivity of the 3D-1D bilinear form B in (A.5), as stated in [56, section 4]
    Theorem 1.1 and Appendix A rest on this companion-paper result; it is not proven here, and [56] is an unpublished preprint with no identifier. This is the least locally justified input to the main convergence theorem.
  • standard math Integral lemmas 2.1-2.5 from Mori-Ohm-Spirn [51], stated without proof
    Published in Arch. Ration. Mech. Anal. 235 (2020). The authors modify them for the endpoint (using a refined Lemma 2.2 and correcting a swapped case in [51, Lemma 3.4]); they do not reprove the bases.
  • standard math Weighted Hardy/Poincaré inequality (3.73): ∥u∥_{L²} ≤ C∥a²u_s∥_{L²} on H_a0(0,1)
    Classical Hardy inequality cited to [45,65]; used to make ∥a²u_s∥_{L²} a norm in the proofs of Theorem 1.2 and Theorem 1.3.
  • standard math Sobolev inequality ∥u∥_{L⁶(Ωε)} ≤ C∥∇u∥_{L²(Ωε)} with C independent of ε (A.2)
    Cited to [51,50]; gives the D^{1,2}(Ωε) norm used in theorems 1.1 and 1.3.
  • standard math Maximum principle for (a⁴v_s)_s − α(s)v = α(s)f (3.83): ∥v∥_{L∞} ≤ 2∥f∥_{L∞}
    Proven in the paper by an energy-minimization argument (3.84)-(3.86); the step at the degenerate endpoint s=1 is informal (piecewise replacement), but the bound is standard for such degenerate elliptic equations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A hierarchy of blood vessel models, Part I: 3D-1D to 1D." pith.science (2026). https://pith.science/paper/CBVQ4ZUZ

@misc{pith2026250713316,
  author       = {Pith},
  title        = {Pith review of: A hierarchy of blood vessel models, Part I: 3D-1D to 1D},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CBVQ4ZUZ}},
  note         = {Machine review of arXiv:2507.13316}
}
abstract

We propose and analyze a family of models describing blood perfusion through a tissue surrounding a thin blood vessel. Our goal is to rigorously establish convergence results among 3D-3D Darcy--Stokes, 3D-1D Darcy--Poiseuille, and 1D Green's function methods commonly used to model this process. In Part I, we propose a 3D-1D Darcy--Poiseuille system where the coupling across the permeable vessel surface involves an angle-averaged Neumann boundary condition coupled with a geometrically constrained Robin boundary condition. We show that this model is well-posed and moreover limits to a 1D Green's function model as the maximum vessel radius $\epsilon\to 0$. In the 1D model, the exterior blood pressure is given by an explicit Green's function expression involving the interior blood pressure. The interior pressure satisfies a novel 1D integrodifferential equation in which the integral term incorporates the effects of the exterior pressure and the vessel geometry. Much of this paper is devoted to analyzing this integrodifferential equation. Using the \emph{a priori} bounds obtained here, we show that the solution to the 1D model converges to the 3D-1D solution with a rate proportional to $\epsilon^{1/2}|\log\epsilon|$. In Part II [Ohm \& Strikwerda, arXiv preprint July 2025], we rely on the 1D estimates to show that both the 1D and 3D-1D models converge to a coupled 3D-3D Darcy-Stokes system as $\epsilon\to 0$, thereby establishing a convergence chain among all hierarchy levels.

Figures

Figures reproduced from arXiv: 2507.13316 by the authors.

Figure 1
Figure 1. An example of the blood vessel geometry Vϵ considered in this analysis. 1.2. The 3D-1D Darcy–Poiseuille model and the 1D slender body model. We begin by introducing the coupled 3D-1D Darcy–Poiseuille system. Let Ωϵ = R 3 +\Vϵ denote the porous medium surrounding the vessel. Throughout Ωϵ, the blood flow is given by Darcy’s law coupled with an incompressibility constraint; in particular the blood pressure q satisfies… view at source ↗
Figure 2
Figure 2. Interior pressure p SB(s) depicted along three different 3D vessel center￾line geometries. In all cases, p0 = 1, η = 0.05, ω = 10, ϵ = 0.01, and the radius function a(s) is spheroidal (1.27). Here the colorbar corresponds to the value of p SB(s). We begin in figure 2 with a display of the interior pressure p SB(s) along three different 3D vessels. Note that the equation (1.17) is written for a unit length curve in a… view at source ↗
Figure 3
Figure 3. Visualizations of a slice of the exterior pressure field q SB(x) for the same vessel geometry in the case (a) η = ω = 1 and (b) η = 0.05, ω = 10. The cool colors correspond to the value of q SB and the warm colors correspond to the value of p SB along the vessel. the tip, and, near the vessel, the exterior pressure q SB likewise remains close to 1 up to the tip. In the second case, the interior of the vessel is less… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: (a),(b) The vessel centerline geometries considered in the ϵ-scaling tests of figure 5. The color corresponds to the value of p SB(s) using ϵ = 0.02, η = 0.05, ω = 10 (i.e. the blue curve in figures 5a,b). (c) The profile of the radius function ϵa(s) for L = 4.7426 and…
Figure 5
Figure 5. Figure 5: Plots of p SB(s) versus arclength s for different values of length-to￾maximum-width ratio ϵ. Figures (a) and (c) are the straight vessel and (b) and (d) are the near-self-intersecting vessel pictured in figure 4. In (a) and (b), the vessel walls are very permeable rela…
Figure 6
Figure 6. Figure 6: Sketches of the reflection X∗ of X across z = 0; the extension f ∗ of f(s), s ∈ [0, 1], to t ∈ [−1, 1]; and the stretch operator φ −1 ϵ (s) [PITH_FULL_IMAGE:figures/full_fig_p012_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

71 extracted references · 37 canonical work pages

  1. [56]

    Ohm and S

    L. Ohm and S. Strikwerda. A hierarchy of blood vessel models, part II: 3D-3D to 3D-1D and 1D. arXiv preprint, 2025

  2. [1]

    Berntsson, A

    F. Berntsson, A. Ghosh, V. Kozlov, and S. Nazarov. A one dimensional model of blood flow through a curvilinear artery. Applied Mathematical Modelling , 63:633–643, 2018

  3. [2]

    Berrone, C

    S. Berrone, C. Giverso, D. Grappein, L. Preziosi, and S. Scial` o. An optimization based 3d-1d coupling strategy for tissue perfusion and chemical transport during tumor-induced angiogenesis. Computers & Mathematics with Applications, 151:252–270, 2023

  4. [3]

    R. L. Bishop. There is more than one way to frame a curve. The American Mathematical Monthly, 82(3):246–251, 1975

  5. [4]

    Blanco, R

    P. Blanco, R. Feij´ oo, and S. Urquiza. A unified variational approach for coupling 3d–1d models and its blood flow applications. Computer Methods in Applied Mechanics and Engineering , 196(41-44):4391–4410, 2007

  6. [5]

    P. J. Blanco and R. A. Feij´ oo. A 3d-1d-0d computational model for the entire cardiovascular system. Mec´ anica Computacional, 29(59):5887–5911, 2010

  7. [6]

    P. J. Blanco, M. Pivello, S. Urquiza, and R. A. Feij´ oo. On the potentialities of 3d–1d coupled models in hemo- dynamics simulations. Journal of biomechanics , 42(7):919–930, 2009

  8. [7]

    Bochner et al

    S. Bochner et al. Lectures on Fourier integrals, volume 42. Princeton University Press, 1959

Show all 71 references
  1. [8]

    Bociu, M

    L. Bociu, M. Broussard, G. Guidoboni, and S. Strikwerda. Analysis of a multiscale interface problem based on the coupling of partial and ordinary differential equations to model tissue perfusion. Multiscale Modeling & Simulation, 23(1):1–24, 2025

  2. [9]

    Boulakia, C

    M. Boulakia, C. Grandmont, F. Lespagnol, and P. Zunino. Mathematical and numerical analysis of reduced order interface conditions and augmented finite elements for mixed dimensional problems. Computers & Mathematics with Applications, 175:536–569, 2024

  3. [10]

    ˇCani´ c, C

    S. ˇCani´ c, C. J. Hartley, D. Rosenstrauch, J. Tambaˇ ca, G. Guidoboni, and A. Mikeli´ c. Blood flow in compliant arteries: an effective viscoelastic reduced model, numerics, and experimental validation. Annals of Biomedical Engineering, 34:575–592, 2006

  4. [11]

    Canic and A

    S. Canic and A. Mikelic. Effective equations modeling the flow of a viscous incompressible fluid through a long elastic tube arising in the study of blood flow through small arteries. SIAM Journal on Applied Dynamical Systems, 2(3):431–463, 2003

  5. [12]

    ˇCani´ c, A

    S. ˇCani´ c, A. Mikeli´ c, and J. Tambaˇ ca. A two-dimensional effective model describing fluid–structure interaction in blood flow: analysis, simulation and experimental validation. Comptes Rendus M´ ecanique, 333(12):867–883, 2005

  6. [13]

    Cassot, F

    F. Cassot, F. Lauwers, S. Lorthois, P. Puwanarajah, V. Cances-Lauwers, and H. Duvernoy. Branching patterns for arterioles and venules of the human cerebral cortex. Brain research, 1313:62–78, 2010

  7. [14]

    Castineira, E

    G. Castineira, E. Maruˇ si´ c-Paloka, I. Paˇ zanin, and J. M. Rodriguez. Rigorous justification of the asymptotic model describing a curved-pipe flow in a time-dependent domain, 2019

  8. [15]

    Coccarelli, J

    A. Coccarelli, J. M. Carson, A. Aggarwal, and S. Pant. A framework for incorporating 3d hyperelastic vascular wall models in 1d blood flow simulations. Biomechanics and Modeling in Mechanobiology , 20:1231–1249, 2021. A HIERARCHY OF BLOOD VESSEL MODELS, PART I: 3D-1D TO 1D 35

  9. [16]

    W. Craig. A course on partial differential equations , volume 197. American Mathematical Soc., 2018

  10. [17]

    D’Angelo

    C. D’Angelo. Multiscale modelling of metabolism and transport phenomena in living tissues . PhD thesis, EPFL, 2007

  11. [18]

    D’Angelo

    C. D’Angelo. Finite element approximation of elliptic problems with dirac measure terms in weighted spaces: applications to one-and three-dimensional coupled problems. SIAM Journal on Numerical Analysis , 50(1):194– 215, 2012

  12. [19]

    D’angelo and A

    C. D’angelo and A. Quarteroni. On the coupling of 1d and 3d diffusion-reaction equations: application to tissue perfusion problems. Mathematical Models and Methods in Applied Sciences , 18(08):1481–1504, 2008

  13. [20]

    G. E. Fasshauer. Positive definite kernels: past, present and future. Dolomites Research Notes on Approximation, 4:21–63, 2011

  14. [21]

    Formaggia, J.-F

    L. Formaggia, J.-F. Gerbeau, F. Nobile, and A. Quarteroni. On the coupling of 3d and 1d navier–stokes equations for flow problems in compliant vessels. Computer methods in applied mechanics and engineering , 191(6-7):561– 582, 2001

  15. [22]

    Formaggia, A

    L. Formaggia, A. Moura, and F. Nobile. Coupling 3d and 1d fluid-structure interaction models for blood flow simulations. In PAMM: Proceedings in Applied Mathematics and Mechanics, volume 6, pages 27–30. Wiley Online Library, 2006

  16. [23]

    Formaggia, A

    L. Formaggia, A. Moura, and F. Nobile. On the stability of the coupling of 3d and 1d fluid-structure interaction models for blood flow simulations. ESAIM: Mathematical Modelling and Numerical Analysis , 41(4):743–769, 2007

  17. [24]

    Fritz, T

    M. Fritz, T. K¨ oppl, J. T. Oden, A. Wagner, B. Wohlmuth, and C. Wu. A 1d–0d–3d coupled model for simulating blood flow and transport processes in breast tissue. International Journal for Numerical Methods in Biomedical Engineering, 38(7):e3612, 2022

  18. [25]

    B. C. Fry, E. B. Coburn, S. Whiteman, A. Harris, B. Siesky, and J. Arciero. Predicting retinal tissue oxygenation using an image-based theoretical model. Mathematical biosciences, 305:1–9, 2018

  19. [26]

    G. P. Galdi. An introduction to the mathematical theory of the Navier-Stokes equations: Steady-state problems . Springer Science & Business Media, 2011

  20. [27]

    Ghosh, V

    A. Ghosh, V. Kozlov, and S. Nazarov. Modified reynolds equation for steady flow through a curved pipe. Journal of Mathematical Fluid Mechanics , 23:1–22, 2021

  21. [28]

    G¨ otz.Interactions of fibers and flow: asymptotics, theory and numerics

    T. G¨ otz.Interactions of fibers and flow: asymptotics, theory and numerics . Doctoral dissertation, University of Kaiserslautern, 2000

  22. [29]

    Grinberg, E

    L. Grinberg, E. Cheever, T. Anor, J. R. Madsen, and G. Karniadakis. Modeling blood flow circulation in intracranial arterial networks: a comparative 3d/1d simulation study. Annals of biomedical engineering, 39:297– 309, 2011

  23. [30]

    P. R. Halmos and V. S. Sunder. Bounded integral operators on L2 spaces, volume 96. Springer Science & Business Media, 2012

  24. [31]

    R. A. Handelsman and J. B. Keller. Axially symmetric potential flow around a slender body. Journal of Fluid Mechanics, 28(1):131–147, 1967

  25. [32]

    Hsu and T

    R. Hsu and T. W. Secomb. A green’s function method for analysis of oxygen delivery to tissue by microvascular networks. Mathematical biosciences, 96(1):61–78, 1989

  26. [33]

    E. R. Hyde, C. Michler, J. Lee, A. N. Cookson, R. Chabiniok, D. A. Nordsletten, and N. P. Smith. Parameterisa- tion of multi-scale continuum perfusion models from discrete vascular networks. Medical & biological engineering & computing, 51:557–570, 2013

  27. [34]

    R. E. Johnson. An improved slender-body theory for Stokes flow. Journal of Fluid Mechanics , 99(02):411–431, 1980

  28. [35]

    J. B. Keller and S. I. Rubinow. Slender-body theory for slow viscous flow. Journal of Fluid Mechanics, 75(4):705– 714, 1976

  29. [36]

    T. Koch, M. Schneider, R. Helmig, and P. Jenny. Modeling tissue perfusion in terms of 1d-3d embedded mixed- dimension coupled problems with distributed sources. Journal of Computational Physics , 410:109370, 2020

  30. [37]

    K¨ oppl, E

    T. K¨ oppl, E. Vidotto, and B. Wohlmuth. A 3d-1d coupled blood flow and oxygen transport model to generate microvascular networks. International journal for numerical methods in biomedical engineering , 36(10):e3386, 2020

  31. [38]

    V. A. Kozlov and S. A. Nazarov. A one-dimensional model of flow in a junction of thin channels, including arterial trees. Sbornik: Mathematics , 208(8):1138, 2017

  32. [39]

    Kuchta, F

    M. Kuchta, F. Laurino, K.-A. Mardal, and P. Zunino. Analysis and approximation of mixed-dimensional pdes on 3d-1d domains coupled with lagrange multipliers. SIAM Journal on Numerical Analysis , 59(1):558–582, 2021

  33. [40]

    Lauga and T

    E. Lauga and T. R. Powers. The hydrodynamics of swimming microorganisms. Reports on Progress in Physics , 72(9):096601, 2009. 36 LAUREL OHM AND SARAH STRIKWERDA

  34. [41]

    Laurino and P

    F. Laurino and P. Zunino. Derivation and analysis of coupled pdes on manifolds with high dimensionality gap arising from topological model reduction. ESAIM: Mathematical Modelling and Numerical Analysis , 53(6):2047– 2080, 2019

  35. [42]

    Lighthill

    J. Lighthill. Flagellar hydrodynamics. SIAM review, 18(2):161–230, 1976

  36. [43]

    Maruˇ si´ c-Paloka

    E. Maruˇ si´ c-Paloka. Rigorous justification of the kirchhoff law for junction of thin pipes filled with viscous fluid. Asymptotic Analysis, 33(1):51–66, 2003

  37. [44]

    Mikeli´ c, G

    A. Mikeli´ c, G. Guidoboni, and S.ˇCani´ c. Fluid-structure interaction in a pre-stressed tube with thick elastic walls i: the stationary stokes problem. Networks and Heterogeneous Media , 2(3):397–423, 2007

  38. [45]

    Mironescu

    P. Mironescu. The role of the hardy type inequalities in the theory of function spaces. Revue roumaine de math´ ematiques pures et appliqu´ ees, 63(4):447–525, 2018

  39. [46]

    Molnar and J

    C. Molnar and J. Gair. 21.1. overview of the circulatory system. NSCC Academic Biology 1050 , 2022

  40. [47]

    J. P. Moran. Line source distributions and slender-body theory. Journal of Fluid Mechanics, 17(2):285–304, 1963

  41. [48]

    Mori and L

    Y. Mori and L. Ohm. An error bound for the slender body approximation of a thin, rigid fiber sedimenting in stokes flow. Research in the Mathematical Sciences , 7(2):1–27, 2020

  42. [49]

    Mori and L

    Y. Mori and L. Ohm. Accuracy of slender body theory in approximating force exerted by thin fiber on viscous fluid. Studies in Applied Mathematics , 2021

  43. [50]

    Y. Mori, L. Ohm, and D. Spirn. Theoretical justification and error analysis for slender body theory. Communi- cations on Pure and Applied Mathematics , 73(6):1245–1314, 2020

  44. [51]

    Y. Mori, L. Ohm, and D. Spirn. Theoretical justification and error analysis for slender body theory with free ends. Archive for Rational Mechanics and Analysis , 235(3):1905–1978, 2020

  45. [52]

    J. Newman. Applications of slender-body theory in ship hydrodynamics. Annual Review of Fluid Mechanics , 2(1):67–94, 1970

  46. [53]

    F. Nobile. Coupling strategies for the numerical simulation of blood flow in deformable arteries by 3d and 1d models. Mathematical and Computer Modelling , 49(11-12):2152–2160, 2009

  47. [54]

    Notaro, L

    D. Notaro, L. Cattaneo, L. Formaggia, A. Scotti, and P. Zunino. A mixed finite element method for model- ing the fluid exchange between microcirculation and tissue interstitium. Advances in discretization methods: discontinuities, virtual elements, fictitious domain methods , ...

  48. [55]

    L. Ohm. On an angle-averaged Neumann-to-Dirichlet map for thin filaments. arXiv preprint arXiv:2308.06592 , 2023

  49. [57]

    Panasenko and R

    G. Panasenko and R. Stavre. Three dimensional asymptotic analysis of an axisymmetric flow in a thin tube with thin stiff elastic wall. Journal of Mathematical Fluid Mechanics , 22(2):20, 2020

  50. [58]

    Possenti, A

    L. Possenti, A. Cicchetti, R. Rosati, D. Cerroni, M. L. Costantino, T. Rancati, and P. Zunino. A mesoscale computational model for microvascular oxygen transfer. Annals of Biomedical Engineering , 49:3356–3373, 2021

  51. [59]

    A. R. Pries and T. W. Secomb. Blood flow in microvascular networks. In Microcirculation, pages 3–36. Elsevier, 2008

  52. [60]

    Y. Qi. Microvascular Hydrodynamics: Structure and Adaptation Principles. University of California, Los Angeles, 2022

  53. [61]

    Qi, S.-S

    Y. Qi, S.-S. Chang, Y. Wang, C. Chen, K. I. Baek, T. Hsiai, and M. Roper. Hemodynamic regulation allows stable growth of microvascular networks. Proceedings of the National Academy of Sciences , 121(9):e2310993121, 2024

  54. [62]

    Qi and M

    Y. Qi and M. Roper. Control of low flow regions in the cortical vasculature determines optimal arterio-venous ratios. Proceedings of the National Academy of Sciences , 118(34):e2021840118, 2021

  55. [63]

    T. W. Secomb, R. Hsu, E. Y. Park, and M. W. Dewhirst. Green’s function methods for analysis of oxygen delivery to tissue by microvascular networks. Annals of biomedical engineering , 32:1519–1529, 2004

  56. [64]

    R. J. Shipley, A. F. Smith, P. W. Sweeney, A. R. Pries, and T. W. Secomb. A hybrid discrete–continuum approach for modelling microcirculatory blood flow. Mathematical medicine and biology: a journal of the IMA , 37(1):40–57, 2020

  57. [65]

    E. M. Stein and G. Weiss. Introduction to Fourier analysis on Euclidean spaces , volume 1. Princeton university press, 1971

  58. [66]

    Tambaˇ ca, S.ˇCani´ c, and A

    J. Tambaˇ ca, S.ˇCani´ c, and A. Mikeli´ c. Effective model of the fluid flow through elastic tube with variable radius. Grazer Mathematische Berichte , 348:91–112, 2005

  59. [67]

    T. Tao. Lecture notes 2 for 247a. https://www.math.ucla.edu/ tao/247a.1.06f/notes2.pdf, 2004

  60. [68]

    Tornberg and M

    A.-K. Tornberg and M. J. Shelley. Simulating the dynamics and interactions of flexible fibers in stokes flows. Journal of Computational Physics , 196(1):8–40, 2004

  61. [69]

    E. Tuck. Some methods for flows past blunt slender bodies. Journal of Fluid Mechanics , 18(4):619–635, 1964. A HIERARCHY OF BLOOD VESSEL MODELS, PART I: 3D-1D TO 1D 37

  62. [70]

    Vitullo, L

    P. Vitullo, L. Cicci, L. Possenti, A. Coclite, M. L. Costantino, and P. Zunino. Sensitivity analysis of a multi- physics model for the vascular microenvironment. International journal for numerical methods in biomedical engineering, 39(11):e3752, 2023

  63. [71]

    Zunino, J

    P. Zunino, J. Tambaˇ ca, E. Cutr ` ı, S.ˇCani´ c, L. Formaggia, and F. Migliavacca. Integrated stent models based on dimension reduction: review and future perspectives. Annals of biomedical engineering , 44:604–617, 2016. Department of Mathematics, University of Wisconsin - M...

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.