Definition
Canonical pressure from an integrable tensor
A bounded Fourier symbol assigns an H minus s pressure to an L1 momentum tensor.
For a matrix field with entries in , define its canonical pressure by
The right side is a bounded measurable function. Its inverse Fourier transform is in for every , by the integrable-input Sobolev bound.
Pressure equation
The definition gives
For inputs also in , this agrees with . For an incompressible velocity, taking divergence of the momentum equation produces this pressure source with , when the other terms have zero divergence. A difference of quadratic tensors gives a difference-pressure source.
Actual pressures
Another distributional solution differs by a harmonic distribution. Identifying its gradient with requires a global growth or Sobolev bound on that gradient; the Poisson equation alone does not supply it.