Math 2.0

Fluid mechanics Incompressible viscous flow Counterexample

Stokes' paradox

Builds on Stokes flowStokesletNo-slip conditionOseen equations

Counterexample

Let D={x∈ℝ2:∣x∣≤a}D = \set{x \in \R^2 : \abs{x} \le a} be a disk of radius a>0a > 0, the cross-section of an infinite circular cylinder, and let U≠0U \ne 0 be a speed. Consider the two-dimensional steady Stokes equations μΔu=∇p\mu \Delta u = \nabla p, ∇⋅u=0\nabla \cdot u = 0 in ℝ2∖D\R^2 \setminus D. They have no smooth solution (u,p)(u, p) with u=0 on ∣x∣=aandu(x)→(U,0) as ∣x∣→∞.u = 0 \text{ on } \abs{x} = a \qquad \text{and} \qquad u(x) \to (U, 0) \text{ as } \abs{x} \to \infty. So slow uniform flow past a cylinder has no Stokes solution in the plane. For a sphere in three dimensions, the same problem is solvable and gives Stokes' law.

Why: a body that feels a nonzero force FF produces at large distances a two-dimensional Stokeslet, whose velocity grows like ∣F∣log⁡∣x∣\abs{F} \log \abs{x}. One cannot match such a flow both to the no-slip condition on the cylinder and to a finite uniform stream at infinity.

Remarks

The paradox shows that the Stokes approximation fails far from the body in two dimensions, however small the Reynolds number. At a distance of order ν/U\nu / U the neglected inertial terms become as large as the viscous ones. Oseen's linearisation, the Oseen equations, keeps a part of the inertia and does have a solution. Its drag per unit length depends on the logarithm of the Reynolds number; Lamb computed it in 1911. Matched asymptotic expansions later explained the structure systematically.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. No-slip condition concept
  2. Oseen equations concept
  3. Stokes flow concept
  4. Stokeslet concept
  5. Stokes' paradox counterexample

Further reading

  1. Web https://en.wikipedia.org/wiki/Stokes'_paradox
About this page
TagM1KHFRHCC1
URIm2://M1KHFRHCC1
Kindcounterexample
WritingW0 stub
MSC76D07, 35Q35
UsesStokes flow, Stokeslet, No-slip condition, Oseen equations
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)
  • edge refutes or not_instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.