pith. sign in

arxiv: 2604.08198 · v1 · submitted 2026-04-09 · 🧮 math.AP

Existence of solutions for an interaction problem between a bubble and a compressible viscous fluid

Fabien Lespagnol (IMAG , ANGUS) , Matthieu Hillairet (IMAG This is my paper

Pith reviewed 2026-05-10 17:06 UTC · model grok-4.3

classification 🧮 math.AP
keywords bubble dynamicscompressible viscous fluidweak solutionsfluid-bubble interactionpenalization methodradial expansionexistence of solutionsNavier-Stokes equations
0
0 comments X

The pith

Existence of weak solutions is proven for a compressible viscous fluid interacting with spherical bubbles that can expand and contract radially, up to collision or collapse.

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

The paper examines the coupled dynamics of a finite number of spherical bubbles inside a bounded three-dimensional domain filled with compressible viscous fluid. The governing system links fluid density, velocity and pressure to the bubbles' translational, rotational and radial velocities through nonlinear PDEs and ODEs. Using penalization techniques adapted from fluid-solid interaction problems, the authors show that weak solutions exist for the full model. The addition of the radial expansion-contraction mode produces extra nonlinear terms in the momentum equations, which are controlled through suitably modified compactness arguments. A sympathetic reader cares because the result supplies a rigorous existence theory for bubble motion without freezing the bubble radii.

Core claim

We prove the existence of weak solutions for this model until the collision or collapse of the bubbles. The formulation follows penalization methods developed for fluid-solid interaction, and the main technical step is to accommodate the new nonlinear terms arising from the radial expansion-contraction velocity inside the compactness arguments.

What carries the argument

Penalization method for the fluid-bubble system that absorbs the additional nonlinear momentum contributions from radial bubble velocities while preserving compactness.

If this is right

  • Weak solutions exist for the coupled PDE-ODE system that includes radial bubble motion.
  • The solutions remain valid until the first time a bubble collides with another bubble or collapses.
  • Compactness arguments extend directly to the extra nonlinear terms generated by the radial velocities.
  • The penalization framework previously used for rigid bodies carries over to compressible bubbles with an internal degree of freedom.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may guide the construction of structure-preserving numerical schemes that track bubble radii dynamically.
  • Similar compactness techniques could be tested on models with different equations of state or with heat transfer.
  • Energy identities derived from the same penalization might quantify dissipation introduced specifically by radial motion.
  • The analysis leaves open the possibility of continuing solutions past collisions by allowing merging or other regularizations.

Load-bearing premise

The penalization method and compactness arguments remain valid when the new nonlinear terms from the radial expansion-contraction velocity are added to the momentum equations.

What would settle it

An explicit initial configuration for which the constructed approximating sequence fails to converge or the limiting solution ceases to exist in finite time before any bubble collision or collapse occurs.

read the original abstract

In this paper, we study the dynamics of a finite number of spherical bubbles in a compressible fluid within a bounded open domain of R 3 . The fluid-bubble interaction is described by a system of nonlinear partial differential equations (PDEs) and ordinary differential equations (ODEs) coupling the fluid's density, velocity and pressure to the bubble's translational, rotational and radial velocities. We prove the existence of weak solutions for this model until the collision or collapse of the bubbles. The formulation of the fluid-bubble system, along with the techniques used for the existence proof, is inspired by penalization methods developed for fluid-solid interaction. The main contribution of this work is the addition of a radial expansion-contraction mode in the bubble motion, which introduces new nonlinear terms in the momentum equations that need to be treated carefully in the compactness arguments.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves existence of weak solutions to a coupled PDE-ODE system modeling a compressible viscous fluid interacting with a finite number of spherical bubbles that translate, rotate, and radially expand or contract. The system is posed in a bounded domain in R^3, and solutions are obtained up to the first time of bubble collision or collapse. The proof adapts penalization techniques from fluid-solid interaction problems, with the main novelty being the careful handling of additional nonlinear terms in the momentum equations induced by the radial velocity mode.

Significance. If the central existence result holds, the work extends the mathematical theory of fluid-bubble interactions to include radial dynamics, which is physically relevant for compressible flows and phenomena such as cavitation. It provides a rigorous existence framework that incorporates the new nonlinear coupling between fluid velocity and bubble radius evolution, building on standard compactness and penalization methods.

major comments (2)
  1. [§4 and §5] §4 (a priori estimates) and §5 (passage to the limit): the L^2 bounds obtained on the radial velocity from the ODE system appear insufficient to guarantee the strong convergence or higher integrability needed to pass to the limit in the convective and stress terms that couple the fluid momentum to the time-varying bubble radius and radial velocity. Without additional estimates controlling the interface motion or the nonlinear products near the bubble boundary, the compactness argument for these new terms may not close.
  2. [§3] The penalization construction (likely §3) must be verified to absorb the radial-mode contributions uniformly in the penalty parameter; the manuscript does not explicitly show that the extra nonlinearities do not degrade the energy estimates or the compactness of the penalized velocity field.
minor comments (2)
  1. Notation for the bubble radius function R(t) and its time derivative should be introduced earlier and used consistently when writing the momentum equation.
  2. The statement of the weak formulation in the limit could be made more explicit by listing the test functions admissible for the radial velocity term.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, providing clarifications on the estimates and compactness arguments while incorporating additional details where needed to strengthen the presentation.

read point-by-point responses

  1. Referee: [§4 and §5] §4 (a priori estimates) and §5 (passage to the limit): the L^2 bounds obtained on the radial velocity from the ODE system appear insufficient to guarantee the strong convergence or higher integrability needed to pass to the limit in the convective and stress terms that couple the fluid momentum to the time-varying bubble radius and radial velocity. Without additional estimates controlling the interface motion or the nonlinear products near the bubble boundary, the compactness argument for these new terms may not close.

    Authors: We appreciate the referee highlighting this potential gap in the compactness argument. The L^2 bound on the radial velocity follows from the energy estimate on the coupled ODE system, and combined with the uniform positive lower bound on bubble radii (up to the first collision/collapse time) and the smoothness of the interfaces, the nonlinear convective and stress terms involving the radial mode can be passed to the limit via weak convergence in L^2 and integration by parts against divergence-free test functions, exploiting that the interface has measure zero. However, to make this rigorous and explicit, we will add a dedicated lemma in the revised §5 detailing the convergence of these products, including an application of the Aubin-Lions lemma for time compactness of the radial velocity and control of boundary traces. This revision will close the argument without requiring higher integrability beyond what is already available. revision: yes

  2. Referee: [§3] The penalization construction (likely §3) must be verified to absorb the radial-mode contributions uniformly in the penalty parameter; the manuscript does not explicitly show that the extra nonlinearities do not degrade the energy estimates or the compactness of the penalized velocity field.

    Authors: The penalization in §3 extends the bubble velocity (including the radial expansion mode) to the fluid domain, and the energy estimates are obtained by testing the penalized momentum equation with a velocity field that incorporates the full bubble motion. The radial contributions appear as additional integrals that are bounded using the L^2 control on the radial velocity and the uniform bounds on bubble radii; these terms are absorbed into the dissipation without degrading the estimates uniformly in the penalty parameter, preserving the compactness of the penalized velocity via standard arguments. We acknowledge that this verification is not written out in full detail. In the revised manuscript we will insert an explicit computation of the energy inequality in §3 and §4 that isolates and controls the radial-mode nonlinearities, confirming uniformity in the penalty parameter. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard existence proof via penalization and compactness

full rationale

The paper establishes existence of weak solutions for a compressible fluid-bubble system with added radial dynamics by adapting penalization approximations and compactness arguments from fluid-solid interaction literature. The derivation proceeds through a priori estimates on the penalized system, passage to the limit, and handling of new nonlinear convective/stress terms induced by the bubble's radial velocity; these steps are carried out directly in the manuscript without reducing to fitted parameters, self-definitions, or load-bearing self-citations whose validity depends on the present result. Any referenced prior techniques are external and independently verifiable in the cited works, leaving the central claim self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard domain assumptions from fluid dynamics and analysis; no free parameters or invented entities are introduced.

axioms (3)
  • domain assumption The fluid is compressible and viscous, governed by a system of nonlinear PDEs for density, velocity, and pressure.
    This is the foundational modeling choice stated in the abstract for the fluid part of the system.
  • domain assumption Bubbles remain spherical and their dynamics are described by ODEs for translational, rotational, and radial velocities.
    Core assumption enabling the coupling between fluid PDEs and bubble ODEs.
  • standard math Weak solutions are defined in appropriate Sobolev-type function spaces with suitable integrability.
    Standard in existence proofs for nonlinear PDE systems; invoked implicitly for the compactness arguments.

pith-pipeline@v0.9.0 · 5451 in / 1379 out tokens · 62333 ms · 2026-05-10T17:06:13.950565+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

41 extracted references · 41 canonical work pages

  1. [1]

    Velazquez

    Zsolt Biro and Juan-Jose L. Velazquez. Analysis Of a Free Bounda ry Problem Arising in Bubble Dynamics. SIAM Journal on Mathematical Analysis , 2000

    work page 2000

  2. [2]

    Con vergence Analysis of a Penalization Method for the Three- Dimensional Motion of a Rigid Body in an Incompressible Viscous Fluid

    Claire Bost, Georges-Henri Cottet, and Emmanuel Maitre. Con vergence Analysis of a Penalization Method for the Three- Dimensional Motion of a Rigid Body in an Incompressible Viscous Fluid. SIAM Journal on Numerical Analysis , 2010. 36

    work page 2010

  3. [3]

    Existence of weak solutions for an interaction pr oblem between an elastic structure and a compressible viscous fluid

    Muriel Boulakia. Existence of weak solutions for an interaction pr oblem between an elastic structure and a compressible viscous fluid. Journal de Math´ ematiques Pures et Appliqu´ ees, 2005

    work page 2005

  4. [4]

    Existence of Weak Solutions for the Three-Dimen sional Motion of an Elastic Structure in an Incompressible Fluid

    Muriel Boulakia. Existence of Weak Solutions for the Three-Dimen sional Motion of an Elastic Structure in an Incompressible Fluid. Journal of Mathematical Fluid Mechanics , 2006

    work page 2006

  5. [5]

    Schwindt, and Tak´ eo Takahashi

    Muriel Boulakia, Erica L. Schwindt, and Tak´ eo Takahashi. Existence of strong solutions for the motion of an elastic structure in an incompressible viscous fluid. Interfaces and Free Boundaries, Mathematical Analysis, Co mputation and Applications , 2012

    work page 2012

  6. [6]

    Weak solutions of a visc ous model for fluid-bubbles interaction, 2025

    Cosmin Burtea and David G´ erard-Varet. Weak solutions of a visc ous model for fluid-bubbles interaction, 2025

    work page 2025

  7. [7]

    Chemetov, ˇS´ arka Neˇ casov´ a, and Boris Muha

    Nikolai V. Chemetov, ˇS´ arka Neˇ casov´ a, and Boris Muha. Weak-strong uniqueness for fluid-rigid body interaction problem with slip boundary condition. Journal of mathematical physics , 2019

    work page 2019

  8. [8]

    Benoit Desjardins and Maria J. Esteban. Existence of Weak Solut ions for the Motion of Rigid Bodies in a Viscous Fluid. Archive for Rational Mechanics and Analysis , 1999

    work page 1999

  9. [9]

    Benoit Desjardins and Maria J. Esteban. On Weak Solutions for Flu id-Rigid Structure Interaction: Compressible and Incompressible Models. Communications in Partial Differential Equations , 1999

    work page 1999

  10. [10]

    Esteban, C´ eline Grandmont, and P atrick Le Tallec

    Benoit Desjardins, Maria J. Esteban, C´ eline Grandmont, and P atrick Le Tallec. Weak solutions for a fluid-elastic structure interaction model. Revista Matem´ atica Complutense, 2001

    work page 2001

  11. [11]

    Lawrence C. Evans. Partial differential equations . American Mathematical Society, 2022

    work page 2022

  12. [12]

    On compactness of solutions to the compressib le isentropic Navier-Stokes equations when the density is not square integrable

    Eduard Feireisl. On compactness of solutions to the compressib le isentropic Navier-Stokes equations when the density is not square integrable. Commentationes Mathematicae Universitatis Carolinae , 2001

    work page 2001

  13. [13]

    Viscous and/or heat conducting compressible fl uids

    Eduard Feireisl. Viscous and/or heat conducting compressible fl uids. Handbook of mathematical fluid dynamics , 2002

    work page 2002

  14. [14]

    On the Motion of Rigid Bodies in a Viscous Compress ible Fluid

    Eduard Feireisl. On the Motion of Rigid Bodies in a Viscous Compress ible Fluid. Archive for Rational Mechanics and Analysis, 2003

    work page 2003

  15. [15]

    On the motion of rigid bodies in a viscous incompressible flui d, pages 419–441

    Eduard Feireisl. On the motion of rigid bodies in a viscous incompressible flui d, pages 419–441. Birkh¨ auser Basel, 2003

    work page 2003

  16. [16]

    Dynamics of viscous compressible fluids

    Eduard Feireisl. Dynamics of viscous compressible fluids . Oxford University Press, 2004

    work page 2004

  17. [17]

    On t he Existence of Globally Defined Weak Solutions to the Navier-Stokes Equations

    Eduard Feireisl, Antonin Novotn´ y, and Hana Petzeltov´ a. On t he Existence of Globally Defined Weak Solutions to the Navier-Stokes Equations. Journal of Mathematical Fluid Mechanics , 2001

    work page 2001

  18. [18]

    On the domain dependence of solutions to the compressible Navier–Stokes equations of a barotropic fluid

    Eduard Feireisl, Anton ´ ın Novotn´ y, and Hana Petzeltov´ a. On the domain dependence of solutions to the compressible Navier–Stokes equations of a barotropic fluid. Mathematical Methods in the Applied Sciences , 2002

    work page 2002

  19. [19]

    Existence for an Unsteady Fluid-Structure Interaction Problem

    C´ eline Grandmont and Yvon Maday. Existence for an Unsteady Fluid-Structure Interaction Problem. ESAIM: Mathematical Modelling and Numerical Analysis , 2000

    work page 2000

  20. [20]

    A regularity result for a so lid–fluid system associated to the compressible Navier–Stokes equations

    Sergio Guerrero and Muriel Boulakia. A regularity result for a so lid–fluid system associated to the compressible Navier–Stokes equations. Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 2009

    work page 2009

  21. [21]

    Existence of Weak S olutions Up to Collision for Viscous Fluid-Solid Systems with Slip

    David G´ erard-Varet and Matthieu Hillairet. Existence of Weak S olutions Up to Collision for Viscous Fluid-Solid Systems with Slip. Communications on Pure and Applied Mathematics , 2014

    work page 2014

  22. [22]

    Haak, Debayan Maity, Tak´ eo Takahashi, and Mar ius Tucsnak

    Bernhard H. Haak, Debayan Maity, Tak´ eo Takahashi, and Mar ius Tucsnak. Mathematical analysis of the motion of a rigid body in a compressible Navier–Stokes–Fourier fluid. Mathematische Nachrichten , 2019

    work page 2019

  23. [23]

    The Lp-approach to the fluid-rigid body interaction problem for compress ible fluids

    Matthias Hieber and Miho Murata. The Lp-approach to the fluid-rigid body interaction problem for compress ible fluids. Evolution Equations and Control Theory , 2015

    work page 2015

  24. [24]

    Analysis o f compressible bubbly flows

    Matthieu Hillairet, H´ el` ene Mathis, and Nicolas Seguin. Analysis o f compressible bubbly flows. Part I: construction of a microscopic model. ESAIM: Mathematical Modelling and Numerical Analysis , 2023

    work page 2023

  25. [25]

    Analysis o f compressible bubbly flows

    Matthieu Hillairet, H´ el` ene Mathis, and Nicolas Seguin. Analysis o f compressible bubbly flows. Part II: derivation of a macroscopic model. ESAIM: Mathematical Modelling and Numerical Analysis , 2023. 37

    work page 2023

  26. [26]

    Starovoitov

    Karl-Heinz Hoffmann and Victor N. Starovoitov. On a motion of a solid body in a viscous fluid: two-dimensional case. Fakult¨ at f¨ ur Mathematik, Technische Universit¨ at M¨ unchen, 1996

    work page 1996

  27. [27]

    Starovoitov

    Karl-Heinz Hoffmann and Victor N. Starovoitov. Zur bewegung e iner kugel in einer z¨ ahen fl¨ ussigkeit.Doc. Math, 2000

    work page 2000

  28. [28]

    Victor N. Judakov. The solvability of the problem of the motion of a rigid body in a viscous incompressible fluid. Dinamika Sploˇ sn. Sredy, 1974

    work page 1974

  29. [29]

    Weak-strong uniqueness for the compressible fluid-rigid body inter- action

    Ondˇ rej Kreml, ˇS´ arka Neˇ casov´ a, and Tomasz Piasecki. Weak-strong uniqueness for the compressible fluid-rigid body inter- action. Journal of Differential Equations , 2020

    work page 2020

  30. [30]

    Mathematical topics in fluid mechanics, volume 2: compressi ble models

    Pierre-Louis Lions. Mathematical topics in fluid mechanics, volume 2: compressi ble models. Oxford University Press, 1996

    work page 1996

  31. [31]

    Mathematical topics in fluid mechanics, volume 2: compressi ble models

    Pierre-Louis Lions. Mathematical topics in fluid mechanics, volume 2: compressi ble models. Oxford University Press, 1998

    work page 1998

  32. [32]

    Motion of a rigid body in a compressible fluid with Navier-slip boundary condition

    ˇS´ arka Neˇ casov´ a, Mythily Ramaswamy, Anarb Roy, and Anja Schl¨ omerkemper. Motion of a rigid body in a compressible fluid with Navier-slip boundary condition. Journal of Differential Equations , 2022

    work page 2022

  33. [33]

    Oxford University Press, 2004

    Antonin Novotn´ y and Ivan Straˇ skraba.Introduction to the Mathematical Theory of Compressible Fl ow. Oxford University Press, 2004

    work page 2004

  34. [34]

    Milton S. Plesset. The Dynamics of Cavitation Bubbles. Journal of Applied Mechanics , 1949

    work page 1949

  35. [35]

    Plesset and Andrea Prosperetti

    Milton S. Plesset and Andrea Prosperetti. Bubble dynamics and c avitation. Annual review of fluid mechanics , 1977

    work page 1977

  36. [36]

    Lord Rayleigh. VIII. On the pressure developed in a liquid during t he collapse of a spherical cavity. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science , 1917

    work page 1917

  37. [37]

    Stabilization of a rigid body mov ing in a compressible viscous fluid

    Arnab Roy and Tak´ eo Takahashi. Stabilization of a rigid body mov ing in a compressible viscous fluid. Journal of Evolution Equations, 2020

    work page 2020

  38. [38]

    Global Weak Solutions for the Two-Dimensional Motion of Several Rigid Bodies in an Incompressible Viscous Fluid

    Jorge Alonso San Mart ´ ın, Victor Starovoitov, and Marius Tucsnak. Global Weak Solutions for the Two-Dimensional Motion of Several Rigid Bodies in an Incompressible Viscous Fluid. Archive for Rational Mechanics and Analysis , 2002

    work page 2002

  39. [39]

    Chute libre d’un solide dans un fluide visqueux incompr essible

    Denis Serre. Chute libre d’un solide dans un fluide visqueux incompr essible. existence. Japan Journal of Applied Mathematics , 1987

    work page 1987

  40. [40]

    Analysis of strong solutions for the equatio ns modeling the motion of a rigid-fluid system in a bounded domain

    Tak´ eo Takahashi. Analysis of strong solutions for the equatio ns modeling the motion of a rigid-fluid system in a bounded domain. Advances in Differential Equations , 2003

    work page 2003

  41. [41]

    Global Strong Solution s for the Two-Dimensional Motion of an Infinite Cylinder in a Viscous Fluid

    Tak´ eo Takahashi and Marius Tucsnak. Global Strong Solution s for the Two-Dimensional Motion of an Infinite Cylinder in a Viscous Fluid. Journal of Mathematical Fluid Mechanics , 2004. 38

    work page 2004