🔢 mathematics

To collide, or not to collide, that is the question -- a survey

This paper provides a comprehensive survey of existing results concerning the conditions under which a body either collides with or remains separated from the boundary of its container.

Original authors: Florian Oschmann

Published 2026-08-28

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Florian Oschmann

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine dropping a small, solid ball into a glass of water. A child would instantly say the ball sinks until it hits the bottom. The physics seems obvious: gravity pulls it down, water pushes back, and eventually, the two meet. But for mathematicians studying the motion of fluids, this simple question hides a deep and surprising complexity. The field of fluid mechanics describes how liquids and gases flow using equations that track density, speed, and pressure. When a solid object moves through a fluid, the fluid must flow around it, and the object feels the force of that flow. The central puzzle is whether the mathematical rules governing this interaction allow the object to ever actually touch the container wall, or if the fluid creates an invisible barrier that keeps the object suspended forever.

This question is not just about balls in glasses; it touches on how we model the world around us, from blood flowing through veins to air moving over airplane wings. The behavior depends heavily on the type of fluid and the shape of the object. In the real world, fluids like water are "Newtonian," meaning their resistance to flow is constant. However, many substances, such as paint, ketchup, or blood, are "non-Newtonian," where their thickness changes depending on how fast they are stirred or squeezed. Furthermore, fluids can be "incompressible," like water, where the density stays the same, or "compressible," like air, where the density changes as the fluid is squeezed. The new research by Florian Oschmann investigates exactly when and why a solid object collides with a wall in these different scenarios.

The paper begins by addressing a counterintuitive result that has puzzled scientists for some time: under certain standard conditions, a perfectly smooth ball moving through a smooth fluid will never actually touch the bottom of its container. This happens when the fluid is "incompressible" and follows a "no-slip" rule, meaning the fluid layer right next to the solid surface sticks to it and moves at the same speed. As the ball gets closer to the bottom, the gap between them becomes incredibly thin. Because the fluid is stuck to both surfaces, it must squeeze through this tiny channel. The mathematics shows that the force required to push the fluid out of the way grows so large as the gap shrinks that it acts like an infinite cushion, stopping the ball just before it makes contact. The ball slows down and approaches the wall, but the time it would take to actually touch is infinite.

However, the author demonstrates that this "no-collision" rule is not a universal law of nature; it is a specific consequence of the ball's perfect smoothness and the fluid's sticking behavior. The paper proves that if the object is not a perfect sphere but has a slightly different shape, or if the fluid is allowed to slip along the surfaces rather than sticking to them, the collision happens in a finite amount of time. Specifically, if the object is shaped like a parabola—curving more sharply than a ball—or if the fluid can slide past the walls, the fluid can escape the narrowing gap more easily. In these cases, the resistance does not become infinite, and the object crashes into the bottom. The research provides precise mathematical conditions for when this happens, showing that the "roughness" of the shape or the "slipperiness" of the boundary are the deciding factors.

The study also explores more complex fluids, such as gases that can be compressed or liquids that change thickness with temperature. For these compressible fluids, the situation is even more difficult to solve completely, but the author shows that if the solid object is heavy enough and the fluid has certain properties, a collision is inevitable. The paper constructs specific mathematical examples to prove that collision occurs in finite time for these cases. Conversely, it also shows that if we add a control mechanism, like a spring or a feedback system that actively pushes the object away from the wall, we can mathematically guarantee that a collision will never happen, regardless of the fluid's behavior.

Perhaps the most striking finding concerns the uniqueness of solutions. The paper constructs a specific scenario involving a ball colliding with a wall under a specially designed, "singular" driving force. In this specific setup, the mathematical equations allow for two different valid outcomes: one where the ball collides and then reverses its motion (effectively moving backward in time), and another where the ball collides and simply sticks to the wall, remaining stationary. This demonstrates that for this particular force, the future state of the system is not uniquely determined by its past, highlighting that the standard equations may require additional rules to fully describe reality when objects touch.

Ultimately, the work clarifies the boundary between the idealized world of smooth mathematics and the messy reality of physical contact. It confirms that while a perfect sphere in a sticky fluid will hover forever, the slightest change in shape or surface behavior allows the collision to occur. The research does not just say "it depends"; it provides the exact mathematical thresholds that determine whether an object sinks to the bottom or remains suspended. By mapping out these conditions for everything from simple water to complex, heat-conducting gases, the paper offers a comprehensive guide to when and how solids meet fluids, turning a child's simple observation into a rigorous understanding of the forces that govern our physical world.

Technical Summary: To collide, or not to collide, that is the question – a survey

Problem Statement
The central question investigated in this work is whether a solid body immersed in a fluid will eventually touch the boundary of its container (collision) in finite time. While physical intuition suggests a heavy object in a fluid should sink and hit the bottom, the mathematical analysis of fluid-structure interaction (FSI) systems reveals a more complex reality. The paper surveys known results and provides new proofs regarding collision phenomena across various fluid models: incompressible and compressible, Newtonian and non-Newtonian, and with different boundary conditions (no-slip vs. slip). The core difficulty lies in the interplay between the fluid's viscous stress, the geometry of the solid near the contact point, and the boundary conditions imposed on the fluid velocity.

Methodology
The paper employs a rigorous analytical approach based on the weak formulation of the Navier-Stokes (and related) equations coupled with Newton's laws for the solid's motion. The methodology relies on three primary pillars:

Test Function Construction: A critical component of the analysis is the construction of specific test functions ( $w_h$ ) associated with the solid's distance $h(t)$ to the boundary. These functions are designed to be divergence-free, rigid on the solid, and vanish on the container boundary. By testing the momentum equation against $w_h$ , the author derives energy estimates that depend on the distance $h$ .
Uniform Bounds and Regularity: The analysis establishes uniform bounds on the fluid velocity, density, and temperature (where applicable) that are independent of the distance $h$ . These bounds are derived using energy inequalities, entropy estimates, and Sobolev embeddings.
Drag Force and Singularity Analysis: The collision behavior is linked to the growth rate of the drag force as $h \to 0$ . The paper analyzes the stress tensor $S$ and the resulting drag force $D_h$ . For "smooth" bodies (like spheres) under no-slip conditions, the drag force grows sufficiently fast to prevent collision. For "rougher" bodies (modeled by parabolic shapes with Hölder exponent $\alpha$ ) or under slip conditions, the drag growth is slower, potentially allowing collision.

The paper distinguishes between dimensions $d=2$ and $d=3$ , noting that the 3D case allows for a broader class of collision scenarios due to different scaling properties of the test functions and Sobolev embeddings.

Key Contributions and Results

General Collision Criteria for Parabolic Shapes:
The paper proves that for a solid of class $C^{1,\alpha}$ moving vertically in a 3D domain under gravity, collision occurs in finite time if the solid is "suitably rough" (specifically, if the Hölder exponent $\alpha$ is small enough) and the fluid satisfies specific growth conditions on the stress tensor.
- Theorem 2.2: For compressible and incompressible fluids with stress tensors satisfying monotonicity and growth conditions (including power-law fluids), collision occurs if $\alpha < \min\left\{ \frac{3-p}{2p-1}, \frac{3(4p\gamma - 3p - 6\gamma)}{p\gamma + 3p + 6\gamma} \right\}$ , provided the solid's mass is large enough and initial velocities are small. Here, $p$ relates to the stress growth and $\gamma$ to the pressure-density relation.
- No-Collision for Balls: Conversely, for a spherical body ( $\alpha=1$ ) with no-slip boundary conditions, the paper confirms that collision is forbidden in finite time for Newtonian fluids. The fluid creates a "lubrication" effect that generates infinite drag as the gap closes.
Incompressible Fluids Review (Chapters 6 & 8):
- Starovoitov's Result: The paper reviews the result that for $C^{1,\alpha}$ bodies, if $\alpha \geq \frac{d-1}{2}$ (e.g., $\alpha \geq 1/2$ in 2D, $\alpha \geq 1$ in 3D), no collision occurs. If $\alpha < \frac{d-1}{2}$ , collision occurs.
- Slip Boundary Conditions: The paper demonstrates that if slip conditions are imposed (allowing tangential flow), even a spherical body can collide in finite time, provided the slip coefficients on both the solid and the container are non-zero. If either coefficient vanishes, the no-collision result for spheres is recovered.
- Euler Fluids: For inviscid (Euler) fluids, collision occurs with non-zero speed, contrasting with the zero-speed collision (or no-collision) in viscous regimes.
Singular Forces and Non-Uniqueness (Chapter 7):
The paper constructs a specific example where a ball-shaped solid collides in finite time under a "singular" driving force $f$ . This force is not a standard function but a distribution in $W^{-1,2}$ . This construction leads to a proof of non-uniqueness: for this specific force, there exist two distinct solutions—one where the ball collides and sticks, and another where it collides and then moves "backwards" in time. This highlights that the no-collision result for balls relies heavily on the regularity of the external force (e.g., gravity).
Compressible and Non-Newtonian Extensions:
The survey extends these results to compressible Navier-Stokes, non-Newtonian fluids (power-law, Carreau-Yasuda), and heat-conducting fluids. It shows that while the general mechanism of collision via "roughness" holds, the specific constraints on the parameters ( $\alpha, p, \gamma$ ) vary. For instance, in 2D compressible Stokes flow, collision is possible for shear-thinning fluids, whereas in 3D, shear-thickening fluids are often required for the specific test function construction used.
Control and Regularity:
The paper notes that introducing feedback controls (e.g., PD controllers) or assuming higher regularity of the solution (e.g., in Besov spaces or for multipolar fluids) can enforce no-collision results even in scenarios where collision might otherwise be possible.

Significance and Claims
The paper positions itself as a comprehensive survey and a source of detailed proofs for collision phenomena in FSI.

Clarification of Paradoxes: It resolves the apparent paradox between physical intuition (objects sink) and mathematical results (balls in viscous fluids with no-slip never touch) by attributing the difference to the "smoothness" of the body and the "no-slip" condition.
Role of Geometry: It emphasizes that the shape of the solid near the contact zone (quantified by $\alpha$ ) is the decisive factor. A "flat" tip (ball) prevents collision, while a "sharp" or "parabolic" tip allows it.
Limitations: The author modestly states that a complete solution for all compressible fluids is out of reach. Their results for compressible fluids are conditional on specific properties of the fluid and solid (e.g., large mass, small initial velocity, specific stress tensor growth).
Non-Uniqueness: The construction of non-unique solutions for singular forces serves as a cautionary note about the well-posedness of FSI problems when the driving force lacks sufficient regularity.

In summary, the work provides a unified framework for understanding when and why collision occurs in fluid-structure interactions, bridging the gap between incompressible and compressible, Newtonian and non-Newtonian, and no-slip and slip regimes through the lens of test function analysis and energy estimates.

More like this