differential-equations / Fluid dynamics; incompressible porous media equation

Finite-time blowup for the IPM equation with a uniformly space-time smooth force

Yes. Theorem 2.1: there are a smooth odd initial density ρin∈C∞(T2)\rho_{in}\in C^\infty(\mathbb T^2) of zero spatial mean, an odd force F∈C∞([0,1]×T2)F\in C^\infty([0,1]\times\mathbb T^2), and a solution smooth on [0,T][0,T] for every T<1T<1 with ρ(t)→ρ∗\rho(t)\to\rho_* in CηC^\eta for every 0≤η<10\le\eta<1, yet ∥∇ρ(t)∥∞\|\nabla\rho(t)\|_\infty and ∥DxuT(ρ(t))∥∞\|D_xu_{\mathbb T}(\rho(t))\|_\infty both diverging as t↑1t\uparrow1. The advance over Córdoba and Martínez-Zoroa is precisely the force class, from Lt∞Cx∞L^\infty_t C^\infty_x to uniformly space-time smooth, on the torus rather than the plane. Not the Clay Millennium problem: that problem is Navier-Stokes with viscosity, and Fefferman's official description states that the Euler equation "is not on the Clay Institute's list of prize problems".

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsSep 8, 2026Significance 25/100Registry: lean verified

Finite-time blowup for the IPM equation with a uniformly space-time smooth force

Prior state unknown→proved

Yes. Theorem 2.1: there are a smooth odd initial density ρin∈C∞(T2)\rho_{in}\in C^\infty(\mathbb T^2) of zero spatial mean, an odd force F∈C∞([0,1]×T2)F\in C^\infty([0,1]\times\mathbb T^2), and a solution smooth on [0,T][0,T] for every T<1T<1 with ρ(t)→ρ∗\rho(t)\to\rho_* in CηC^\eta for every 0≤η<10\le\eta<1, yet ∥∇ρ(t)∥∞\|\nabla\rho(t)\|_\infty and ∥DxuT(ρ(t))∥∞\|D_xu_{\mathbb T}(\rho(t))\|_\infty both diverging as t↑1t\uparrow1. The advance over Córdoba and Martí…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Yes. Theorem 2.1: there are a smooth odd initial density ρin∈C∞(T2)\rho_{in}\in C^\infty(\mathbb T^2) of zero spatial mean, an odd force F∈C∞([0,1]×T2)F\in C^\infty([0,1]\times\mathbb T^2), and a solution smooth on [0,T][0,T] for every T<1T<1 with ρ(t)→ρ∗\rho(t)\to\rho_* in CηC^\eta for every 0≤η<10\le\eta<1, yet ∥∇ρ(t)∥∞\|\nabla\rho(t)\|_\infty and ∥DxuT(ρ(t))∥∞\|D_xu_{\mathbb T}(\rho(t))\|_\infty both diverging as t↑1t\uparrow1. The advance over Córdoba and Martínez-Zoroa is precisely the force class, from Lt∞Cx∞L^\infty_t C^\infty_x to uniformly space-time smooth, on the torus rather than the plane. Not the Clay Millennium problem: that problem is Navier-Stokes with viscosity, and Fefferman's official description states that the Euler equation "is not on the Clay Institute's list of prize problems".

Yes. Theorem 2.1: there are a smooth odd initial density ρin∈C∞(T2)\rho_{in}\in C^\infty(\mathbb T^2) of zero spatial mean, an odd force F∈C∞([0,1]×T2)F\in C^\infty([0,1]\times\mathbb T^2), and a solution smooth on [0,T][0,T] for every T<1T<1 with ρ(t)→ρ∗\rho(t)\to\rho_* in CηC^\eta for every 0≤η<10\le\eta<1, yet ∥∇ρ(t)∥∞\|\nabla\rho(t)\|_\infty and ∥DxuT(ρ(t))∥∞\|D_xu_{\mathbb T}(\rho(t))\|_\infty both diverging as t↑1t\uparrow1. The advance over Córdoba and Martínez-Zoroa is precisely the force class, from Lt∞Cx∞L^\infty_t C^\infty_x to uniformly space-time smooth, on the torus rather than the plane. Not the Clay Millennium problem: that problem is Navier-Stokes with viscosity, and Fefferman's official description states that the Euler equation "is not on the Clay Institute's list of prize problems".

Recorded attempts

Evidence graph

Connected research record

Finite-time blowup for the IPM equation with a uniformly space-time smooth force — Mathematical Frontier Network