HEXAGONbeta

Stability and Convergence of a Regularized Immersed Boundary Method under Dynamic Cartesian Refinement. Part I: Fixed Geometry

Primarily AI-generated textHuman understanding: no partsmath.MP — Mathematical Physicsmath.AP — Analysis of PDEsmath-ph — Mathematical Physics

Contributed by Sida He ↗

Version 1 / Oct 27, 2026 / CC BY 4.0

Abstract

We analyze a conforming variational immersed boundary discretization of the two-dimensional unsteady Stokes equations with a fixed interface. Exactly divergence-free velocities are obtained from Cartesian bicubic Hermite streamfunctions; regularized surface moments impose the boundary condition, and backward Euler time stepping uses constrained orthogonal transfer. Arbitrary local fine-scale enrichments may be added or removed at every step while the complete coarse space is retained. For homogeneous interface data, a common coarse comparison family yields an exact energy identity, a physical no-slip defect of order (\sqrt{\varepsilon}+\sqrt{\ell}), and velocity convergence without a restriction coupling the time step to the number of mesh changes. We extend this analysis to a disk with prescribed time-dependent angular velocity. A coarse lifting reproduces rigid rotation exactly throughout every regularization support, independently of the refinement pattern and surface partition. Subtracting this lifting reduces the driven problem to the homogeneous constraint spaces with an explicitly controlled forcing perturbation. This gives driven stability, physical slip control, and a quantitative energy error estimate without assuming a uniform multiplier inf–sup condition. The method assumes exact integration and is not a standard staggered-grid AMR scheme. Manufactured unsteady stationary and rotating-disk calculations test the implementation and its quadrature sensitivity. General changes of interface geometry and fluid-driven rigid-body motion remain outside the analysis.

References

  1. Charles S. Peskin. The immersed boundary method. Acta Numerica , 11: 0 479--517, 2002. 10.1017/S0962492902000077.DOI
  2. Yoichiro Mori. Convergence proof of the velocity field for a Stokes flow immersed boundary method. Communications on Pure and Applied Mathematics , 61 0 (9): 0 1213--1263, 2008. 10.1002/cpa.20233.DOI
  3. Yang Liu and Yoichiro Mori. Properties of discrete delta functions and local convergence of the immersed boundary method. SIAM Journal on Numerical Analysis , 50 0 (6): 0 2986--3015, 2012. 10.1137/110836699.DOI
  4. Yang Liu and Yoichiro Mori. LpL^p convergence of the immersed boundary method for stationary Stokes problems. SIAM Journal on Numerical Analysis , 52 0 (1): 0 496--514, 2014. 10.1137/130911329.DOI
  5. Zhilin Li, Kejia Pan, and Juan Ruiz- Á lvarez. Convergence study of IB methods for Stokes equations with prescribed velocity boundary conditions. IMA Journal of Numerical Analysis , 45 0 (6): 0 3766--3799, 2025. 10.1093/imanum/drae101.DOI
  6. Roland Glowinski, Tsorng-Whay Pan, and Jacques P é riaux. A Lagrange multiplier/fictitious domain method for the numerical simulation of incompressible viscous flow around moving rigid bodies: (I) case where the rigid body motions are known a priori. Comptes Rendus de l'Acad é mie des Sciences, S é rie I, Math é matique , 324 0 (3): 0 361--369, 1997. 10.1016/S0764-4442(99)80376-0.DOI
  7. Bakytzhan Kallemov, Amneet Pal Singh Bhalla, Boyce E. Griffith, and Aleksandar Donev. An immersed boundary method for rigid bodies. Communications in Applied Mathematics and Computational Science , 11 0 (1): 0 79--141, 2016. 10.2140/camcos.2016.11.79. URL https://arxiv.org/abs/1505.07865.DOI
  8. Andreas Brenner, Eberhard B ä nsch, and Markus Bause. A priori error analysis for finite element approximations of the Stokes problem on dynamic meshes. IMA Journal of Numerical Analysis , 34 0 (1): 0 123--146, 2014. 10.1093/imanum/drt001. URL https://d-nb.info/1113290293/34.DOI
  9. Tomas Lundquist, Jan Nordstr ö m, and Arnaud Malan. Stable dynamical adaptive mesh refinement. Journal of Scientific Computing , 86: 0 43, 2021. 10.1007/s10915-021-01414-1.DOI
  10. Evan S. Gawlik and Adrian J. Lew. Unified analysis of finite element methods for problems with moving boundaries. SIAM Journal on Numerical Analysis , 53 0 (6): 0 2822--2846, 2015. 10.1137/140990437. URL https://webpages.scu.edu/ftp/egawlik/pdf/GaLe2015c.pdf.DOI
Show all 34 referencesShow fewer references
  1. Stefano Berrone, Andrea Bonito, Rob Stevenson, and Marco Verani. An optimal adaptive fictitious domain method. Mathematics of Computation , 88: 0 2101--2134, 2019. 10.1090/mcom/3414.DOI
  2. Luca Heltai and Wenyu Lei. A priori error estimates of regularized elliptic problems. Numerische Mathematik , 146 0 (3): 0 571--596, 2020. 10.1007/s00211-020-01152-w. URL https://arxiv.org/abs/1911.02293.DOI
  3. Luca Heltai and Wenyu Lei. Adaptive finite element approximations for elliptic problems using regularized forcing data. SIAM Journal on Numerical Analysis , 61 0 (2): 0 431--456, 2023. 10.1137/21M1455991. URL https://arxiv.org/abs/2110.15029.DOI
  4. Alexandre M. Roma, Charles S. Peskin, and Marsha J. Berger. An adaptive version of the immersed boundary method. Journal of Computational Physics , 153 0 (2): 0 509--534, 1999. 10.1006/jcph.1999.6293.DOI
  5. Yadong Zeng, Amneet Pal Singh Bhalla, and Lian Shen. A subcycling/non-subcycling time advancement scheme-based DLM immersed boundary method framework for solving single and multiphase fluid--structure interaction problems on dynamically adaptive grids. Computers & Fluids , 238: 0 105358, 2022. 10.1016/j.compfluid.2022.105358.DOI
  6. Wei Hou and Tim Colonius. An adaptive lattice Green's function method for external flows with two unbounded and one homogeneous directions. Journal of Computational Physics , 519: 0 113370, 2024. 10.1016/j.jcp.2024.113370. URL https://arxiv.org/abs/2402.13370.DOI
  7. Sida He, Zixuan Yang, Fotis Sotiropoulos, and Lian Shen. Numerical simulation of interaction between multiphase flows and thin flexible structures. Journal of Computational Physics , 448: 0 110691, 2022 a . 10.1016/j.jcp.2021.110691.DOI
  8. Dandan Yang, Sida He, Lian Shen, and Xianwu Luo. Large eddy simulation coupled with immersed boundary method for turbulent flows over a backward facing step. Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science , 235 0 (15): 0 2705--2714, 2021. 10.1177/0954406220954892.DOI
  9. Jichang Chen, Zhiwei Lu, Bin Wu, Sida He, Tianhang Xiao, Mingbo Tong, and Kan Kan. Flow transition and vortex evolution of a symmetric airfoil at low Reynolds number and high angle of attack. Physics of Fluids , 37 0 (2): 0 023603, 2025. 10.1063/5.0246708.DOI
  10. Sida He, Han Liu, and Lian Shen. Simulation-based study of turbulent aquatic canopy flows with flexible stems. Journal of Fluid Mechanics , 947: 0 A33, 2022 b . 10.1017/jfm.2022.655.DOI
  11. Kaiyuan Zheng, Sida He, Xizeng Zhao, Lian Shen, and Xiaojue Zhu. Free-surface-induced ground effect for flapping swimmers. Journal of Fluid Mechanics , 997: 0 A36, 2024. 10.1017/jfm.2024.830.DOI
  12. Haim Brezis. Functional Analysis, Sobolev Spaces and Partial Differential Equations . Universitext. Springer, New York, 2011. 10.1007/978-0-387-70914-7.DOI
  13. Jacques-Louis Lions and Enrico Magenes. Non-Homogeneous Boundary Value Problems and Applications, Volume I , volume 181 of Grundlehren der mathematischen Wissenschaften . Springer, Berlin--Heidelberg, 1972. 10.1007/978-3-642-65161-8.DOI
  14. Alexandre Ern and Jean-Luc Guermond. Finite Elements I : Approximation and Interpolation , volume 72 of Texts in Applied Mathematics . Springer, Cham, 2021 a . 10.1007/978-3-030-56341-7.DOI
  15. Erik Burman, Peter Hansbo, and Mats G. Larson. Cut Bogner--Fox--Schmit elements for plates. Advanced Modeling and Simulation in Engineering Sciences , 7: 0 27, 2020. 10.1186/s40323-020-00164-3.DOI
  16. Giovanni P. Galdi. An Introduction to the Mathematical Theory of the Navier--Stokes Equations: Steady-State Problems . Springer, 2 edition, 2011. 10.1007/978-0-387-09620-9.DOI
  17. Daniele Boffi, Nicola Cavallini, and Lucia Gastaldi. The finite element immersed boundary method with distributed Lagrange multiplier. SIAM Journal on Numerical Analysis , 53 0 (6): 0 2584--2604, 2015. 10.1137/140978399. URL https://arxiv.org/abs/1407.5184.DOI
  18. Alexandre Ern and Jean-Luc Guermond. Finite Elements II : Galerkin Approximation, Elliptic and Mixed PDEs , volume 73 of Texts in Applied Mathematics . Springer, Cham, 2021 b . 10.1007/978-3-030-56923-5.DOI
  19. Kambiz Salari and Patrick Knupp. Code verification by the method of manufactured solutions. Technical Report SAND2000-1444, Sandia National Laboratories, 2000.
  20. Leonardo de Moura and Sebastian Ullrich. The Lean 4 theorem prover and programming language. In Automated Deduction--- CADE 28 , volume 12699 of Lecture Notes in Computer Science , pages 625--635, Cham, 2021. Springer. 10.1007/978-3-030-79876-5_37.DOI
  21. The mathlib Community . The Lean mathematical library. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , CPP '20. ACM, 2020. 10.1145/3372885.3373824.DOI
  22. Mengjian Hua and Charles S. Peskin. An analysis of the numerical stability of the immersed boundary method. Journal of Computational Physics , 467: 0 111435, 2022. 10.1016/j.jcp.2022.111435. URL https://arxiv.org/abs/2111.15065.DOI
  23. Sida He. Stability and convergence of a regularized immersed boundary method under dynamic cartesian refinement. Part II : General prescribed motion, 2026 a . Unpublished companion manuscript, preparation version 0.1.1, 27 October 2026.
  24. Sida He. Stability and convergence of a regularized immersed boundary method under dynamic cartesian refinement. Part III : Fluid-driven rigid-body motion, 2026 b . Unpublished companion manuscript, preparation version 0.1.1, 27 October 2026.

Version history

  1. v1Submitted by Sida HeInitial depositCurrentOct 27, 2026