Lorentz-boosted diffusion: initial value formulation and exact solutions

By embedding Fick-type diffusion into relativistic Fokker-Planck kinetic theory, this paper formulates a well-posed initial-value problem for Lorentz-boosted diffusion that admits exact, closed-form analytic solutions as a discrete superposition of band-limited initial data.

The Gist

The Big Problem: The "Time Travel" Paradox of Heat

Imagine you have a cup of hot coffee. If you leave it alone, the heat spreads out evenly. This is diffusion. In physics, we have a famous equation (Fick's Law) that predicts exactly how that heat will spread. It works perfectly if you are sitting still in your kitchen.

But what happens if you are on a spaceship zooming past your kitchen at near the speed of light?

According to Einstein's theory of relativity, time and space get mixed up for the person on the spaceship. If you try to use the standard "heat spreading" equation from the perspective of the spaceship, something weird happens: the math breaks.

The equation predicts that the heat doesn't just spread; it explodes. It suggests that tiny, invisible ripples of heat would grow infinitely fast, making the whole system unstable. In physics terms, the problem becomes "ill-posed." It's like trying to predict the weather, but the math says the temperature could instantly jump to infinity or minus infinity. The equation loses its ability to predict the future (or the past).

The Old Solutions (and why they failed)

Physicists have tried to fix this before:

1. The "Wait and See" approach: Solve the equation while standing still, then try to translate the answer to the moving spaceship. Problem: The math says the heat can't exist before you started the experiment, so the moving observer sees a "gap" in time where the heat doesn't exist.
2. The "Speed Limit" approach: Add a rule that says heat can't travel faster than light (like a speed limit sign). Problem: While this fixes the explosion, it changes the nature of heat. It stops being simple diffusion and becomes something else entirely (like sound waves), which isn't what we see in real life for slow-moving heat.

The New Solution: The "Kinetic Filter"

This paper, by L. Gavassino, proposes a clever new way to fix the problem. Instead of changing the rules of heat, the author looks at where heat actually comes from.

The Analogy: The Crowd of Runners
Imagine the "heat" isn't a smooth fluid, but a massive crowd of individual runners (particles).

• In the rest frame (standing still), these runners jostle around randomly. If you zoom out, they look like a smooth cloud spreading out. This matches the standard diffusion equation.
• In the moving frame (the spaceship), the runners are still jostling, but the spaceship is zooming past them.

The author realized that the "exploding" math happens because we are trying to describe the crowd using a smooth equation that allows for impossible runner behaviors. The standard equation allows for runners that move in ways that violate the laws of the microscopic world (the kinetic theory).

The "Band-Limited" Filter
The paper argues that to make the math work for the moving observer, we must put a filter on the initial data. We can't just pick any starting shape for the heat. We can only pick shapes that correspond to a real, physical crowd of runners.

This filter acts like a noise-canceling headphone for the math. It blocks out the "high-pitched" frequencies (tiny, rapid fluctuations) that cause the explosion.

• The Result: The "heat" can no longer be infinitely sharp or concentrated. It must be "smooth" in a very specific mathematical way.
• The Catch: This means the heat cannot be perfectly localized (like a single dot). It must always have a tiny bit of "fuzziness" or spread, even at the start.

The Magic of the "Discrete Green Function"

Once we apply this filter, something magical happens. The equation becomes stable again, both forward in time (predicting the future) and backward in time (rewinding the movie).

The author found a way to write the solution using a Sampling Theorem (similar to how digital music works).

• The Analogy: Imagine the heat profile is a song. Usually, to reconstruct a song, you need a continuous stream of data. But because of the "filter" (the limit on how fast the runners can move), the song is now "band-limited."
• The Discovery: You don't need the whole song to reconstruct it. You only need to know the volume of the song at specific, evenly spaced points (like taking snapshots). If you know the value at these specific points, you can perfectly reconstruct the entire wave, past, present, and future.

The paper provides an exact formula (a "Green function") that acts like a master key. If you know the heat at a few specific spots, this key tells you exactly how the heat will evolve everywhere else, without ever causing an explosion.

Why This Matters

1. It's Not Just Math: This isn't just a trick to make equations look nice. It shows that for the laws of physics to make sense in a moving frame, nature must impose a limit on how "sharp" a temperature change can be.
2. Time Travel is Safe: In this specific, filtered world, you can run the movie backward. The heat will "un-spread" (anti-diffuse) back to its source without blowing up the universe, because the "impossible" high-frequency ripples were never allowed to exist in the first place.
3. Real World vs. Theory: In everyday life (slow speeds), this filter is so wide that we don't notice it. The heat looks like a smooth blob. But if you were zooming near the speed of light, you would realize that heat isn't a smooth fluid; it's a collection of particles, and that microscopic reality saves the macroscopic math from breaking.

Summary

The paper solves a 100-year-old puzzle: How does heat behave when you are moving super fast?
The answer is: It behaves normally, but only if you accept that heat can't be infinitely sharp. By restricting the starting conditions to only those that make sense for the tiny particles underneath, the math becomes stable, predictable, and reversible. It turns a broken equation into a working machine by realizing that nature has a built-in "resolution limit."

Technical Summary

1. Problem Statement

The paper addresses a fundamental inconsistency in relativistic hydrodynamics regarding the diffusion equation.

• The Paradox: The standard diffusion equation ($\partial_t n = \partial_x^2 n$) is well-posed in the rest frame of the medium. However, when transformed to a moving (boosted) frame via Lorentz transformations, the resulting equation (Eq. 3) becomes ill-posed in the sense of Hadamard.
• The Pathology: In a boosted frame, the equation admits exponentially growing solutions (instabilities) with growth rates that diverge as the wavelength decreases (short-wavelength limit). This renders the initial-value problem (IVP) unsolvable for generic initial data (e.g., Sobolev spaces) and prevents backward-time evolution.
• Existing Solutions & Limitations: Previous approaches either modified the diffusion law (e.g., Cattaneo theory) to enforce causality (losing the universality of Fick's law) or approximated the Lorentz transformation (losing covariance).

Core Question: Can one formulate a well-posed initial-value problem for Lorentz-boosted diffusion that preserves Fick's law exactly, without modifying the equation or the transformation, by imposing physically motivated constraints on the initial data?

2. Methodology

The author employs a microscopic kinetic embedding strategy rather than treating the diffusion equation as a standalone partial differential equation (PDE).

• Kinetic Foundation: The work starts from the relativistic Fokker-Planck kinetic theory, which describes the evolution of a particle distribution function $f(t, x, p)$. It is established that Fick's law arises as the exact hydrodynamic sector (long-wavelength limit) of this kinetic theory.
• Admissibility Criterion: The key insight is that not all mathematical solutions to the boosted diffusion equation correspond to physical states in the underlying kinetic theory. The author imposes a kinetic admissibility condition: a density profile is valid only if it can be realized as the momentum integral of a convergent distribution function $f$.
• Mathematical Framework:
  • The analysis is restricted to 1D spatial dimensions.
  • The author utilizes Paley-Wiener spaces ($PW_\Lambda$), which are spaces of band-limited functions (functions whose Fourier transforms have compact support).
  • The Shannon-Whittaker sampling theorem is used to construct exact solutions from discrete spatial samples.

3. Key Contributions and Results

A. Derivation of the Wavenumber Cutoff ($\Lambda$)

By analyzing the dispersion relation of the boosted diffusion equation ($\tilde{\omega}(\tilde{k})$) and enforcing the kinetic convergence condition ($|\text{Im } k| < 1$), the author derives a strict upper bound on the allowed wavenumbers in the boosted frame:
$$|\tilde{k}| < \Lambda = \frac{1 + 2v}{\sqrt{v(1-v)}}$$

• Consequence: Exponentially unstable modes (which require $|\tilde{k}| \ge \Lambda$) are automatically excluded because they correspond to non-convergent kinetic integrals.
• Stability: The remaining "stable branch" of solutions is bounded, ensuring that the growth rate of any perturbation is finite ($\le e^{|\tilde{t}|/(\gamma v)}$).

B. Well-Posedness of the Initial Value Problem

The paper proves that the IVP for the boosted diffusion equation is well-posed (forward and backward in time) if restricted to the space of band-limited functions $PW_\Lambda$:

• Existence & Uniqueness: Solutions exist and are unique for initial data in $PW_\Lambda$.
• Regularity: Solutions are $C^\infty$ and real-analytic.
• Backward Evolution: Unlike standard diffusion, the problem is well-posed backward in time. However, "anti-diffusion" amplifies high-frequency modes near the cutoff $\Lambda$, but the growth is controlled and does not diverge instantly due to the band limit.

C. Exact Analytic Solutions and the "Discrete" Green Function

The author constructs an exact fundamental solution $K(\tilde{t}, \tilde{x})$ (the Green function) for the boosted system.

• Sampling Theorem: Any admissible solution can be reconstructed from its values on a discrete lattice of points $\tilde{x}_a = \pi a / \Lambda$:
  $$\delta n(\tilde{t}, \tilde{x}) = \sum_{a=-\infty}^{\infty} \delta n(0, \tilde{x}_a) K(\tilde{t}, \tilde{x} - \tilde{x}_a)$$
• Closed Form: The Green function $K$ is derived in closed analytic form (Eq. 27) by transforming the integral back to the rest frame and evaluating it using error functions.
• Properties of $K$:
  • It is smooth and real-analytic everywhere (no Dirac delta sources).
  • It exhibits an exponential asymmetry ($e^{-x}$) in the rest frame due to the relativity of simultaneity.
  • It describes both forward (diffusive) and backward (anti-diffusive) evolution.

D. Physical Implications of Band-Limitation

• No Compact Support: Admissible initial data cannot be compactly supported (e.g., a localized "box" profile is forbidden). If a profile vanishes on an interval, it must vanish everywhere. This is a direct consequence of the band-limit $\Lambda$.
• Localization Bounds: There is a fundamental limit to how sharply a density can be localized, governed by an uncertainty relation $\Delta \tilde{x} > (4\Lambda)^{-1}$.
• Causality at the Kinetic Level: The restriction to band-limited functions ensures that the microscopic distribution function $f$ respects causality. Standard diffusion Green functions (which have infinite tails) fail to be kinetically admissible in boosted frames because they imply instantaneous non-local correlations in the distribution function.

4. Significance and Conclusion

• Conceptual Resolution: The paper resolves the "ill-posedness" of boosted diffusion not by changing the physics (equation or transformation) but by refining the domain of definition for the initial data. It demonstrates that the "unphysical" unstable solutions are artifacts of including initial data that have no microscopic realization.
• Microscopic Justification: It provides a rigorous microscopic justification for why, in practical long-wavelength applications, one can often ignore the unstable branch of boosted diffusion. In the limit where the initial profile varies slowly compared to the cutoff scale $1/\Lambda$, the exact band-limited solutions are indistinguishable from standard solutions where the unstable branch is simply discarded.
• New Mathematical Structure: The work introduces a novel "discrete" structure to relativistic diffusion, where continuous evolution is exactly equivalent to a superposition of discrete spatial samples weighted by a specific Green function.
• Limitations: The author notes that this framework is currently limited to 1D, linear regimes, and homogeneous backgrounds. It is not intended as a direct replacement for standard relativistic hydrodynamics codes but serves as a conceptual proof-of-principle that acausal-looking equations can be made well-posed via non-local constraints derived from kinetic theory.

In summary, Gavassino demonstrates that Lorentz-boosted diffusion is well-posed provided one restricts initial data to a Paley-Wiener space determined by the underlying kinetic theory, thereby eliminating exponential instabilities and enabling a consistent, exact description of diffusion in moving frames.