Pith. sign in

REVIEW 3 major objections 4 minor 95 references

Fractal dimension of singular times for SPDEs: Energy bounds, criticality, and weak-strong uniqueness

T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Pith's one-line read For a broad class of semilinear SPDEs, the set of singular times of any weak solution has fractal dimension at most 1−ℓExc, a formula that yields a 1/2 bound for stochastic 3D Navier–Stokes equations with multiplicative noise.

desk verdict The abstract theorem is genuinely new and carefully proven; the headline NSE 1/2-bound is a conditional theorem until the sketched existence and weak-strong uniqueness proofs are filled in. read the letter →

arxiv 2602.21981 v2 pith:PXWUWNRC submitted 2026-02-25 math.PR math-phmath.APmath.MP

classification math.PRmath-phmath.APmath.MP MSC 60H1528A8035B6535Q30
keywords partialregularitysingulartimesfractaldimensionstochasticNavier-Stokesequationscriticalspacesweak-stronguniquenessmultiplicativenoisequenchedenergyinequality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to prove a quantitative statement about the times at which a weak solution to an SPDE can fail to be smooth: those 'singular times' cannot be too large. For an abstract class of semilinear SPDEs it shows that, whenever a weak solution obeys an L^ℓ energy bound in a strictly subcritical but not supercritical space Z, its ε-singular times have Hausdorff and Minkowski dimension at most 1−ℓ·Exc, with the corresponding fractal measure equal to zero. The quantity Exc measures how much spatial regularity Z has in excess of the critical threshold of the equation, and the theorem interpolates between global irregularity and global regularity. Applied to quenched strong solutions of stochastic 3D Navier–Stokes equations with rough transport or Lie-transport noise, it recovers the classical deterministic 1/2 bound: singular times have dimension at most 1/2 and zero 1/2-dimensional measure. It also gives conditional improvements under supercritical Serrin-type integrability assumptions, with the bound independent of the noise roughness.

What carries the argument

The central object is the 'excess from criticality', Exc_X, which compares the spatial regularity of the energy space Z with the critical regularity of the SPDE setting X=(X0,X1,p,κ). The carrying mechanism is a quantitative lifetime estimate for local strong solutions: the probability that a strong solution started from u(t) dies within time T decays like T^{p·Exc_X}, with tail control by ||u(t)||_{X^Tr}. Combined with strong weak-strong uniqueness, this lets the author transfer strong-solution regularity to a weak solution at almost every restart time, and a Vitali covering argument converts the lifetime rate into the fractal-dimension bound 1−ℓExc_X.

What would settle it

Construct a process satisfying the energy bound and strong weak-strong uniqueness in a setting with 0<Exc_X<1/ℓ whose ε-singular times have Minkowski dimension strictly larger than 1−ℓExc_X; or, in the stochastic 3D Navier–Stokes case, exhibit a quenched strong solution whose ε-singular times have Minkowski dimension exceeding 1/2. Either would disprove the claimed bound.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.8: if a stochastic process u satisfies an energy bound E∫_0^T ||u||_Z^ℓ dt<∞, the abstract SPDE is locally well-posed in a critical setting X with Z embedded in its trace space, and u has the strong weak-strong uniqueness property, then whenever the excess Exc_X of Z over critical regularity satisfies 0<Exc_X<1/ℓ, the ε-singular times satisfy dim_M(T^ε_Sin)≤1−ℓExc_X with M^{1−ℓExc_X}(T^ε_Sin)=0, and the singular times satisfy dim_H(T_Sin)≤1−ℓExc_X with H^{1−ℓExc_X}(T_Sin)=0. For quenched strong Leray–Hopf-type solutions of stochastic 3D Navier–Stokes with multiplicative noise, this yields dim_M(T^ε_Sin)≤1/2, M^{1/2}(T^ε_Sin)=0 and the same Hausdorff bounds; und

Load-bearing premise

The load-bearing premise is Assumption 3.6: at almost every time t the weak solution has a version in the trace space X^Tr_{κ,p} and coincides on [t,τ) with the maximal strong solution started at u(t); for the Navier–Stokes application this is justified by the quenched strong energy inequality, which the paper itself flags as the weakest condition it could find and whose existence proof is only sketched.

Editorial extensions

If this is right

  • For quenched strong stochastic 3D Navier–Stokes solutions with multiplicative transport or Lie noise, ε-singular times have Minkowski dimension at most 1/2 and zero 1/2-dimensional Minkowski content, while singular times have Hausdorff dimension at most 1/2 and zero 1/2-dimensional Hausdorff measure.
  • Under supercritical Serrin-type bounds E∫||u||_{L^{q0}}^{p0}<∞, the dimension bound improves to δ_0, and the same holds for a negative-smoothness Besov variant.
  • The abstract theorem gives the sharp-looking dimension 1−ℓExc_X for any process satisfying an energy bound plus weak-strong uniqueness, covering the whole partial-regularity regime between global irregularity (dimension 1) and global regularity (dimension 0).
  • When Exc_X=0, the spatially critical case, singular times have Lebesgue measure zero, giving an endpoint version of the dimension bound.
  • The results are new even in the deterministic setting and provide the first partial-regularity bounds for SPDEs with multiplicative noise.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension is to run the same excess formula on related fluid and reaction-diffusion models that the paper lists as candidates; the main obstacle is verifying strong weak-strong uniqueness in those rougher settings, so each new instance would both broaden the theorem and stress-test its weakest premise.
  • If the quenched strong energy inequality is indeed the minimal hypothesis, the 1/2 bound may be sharp in the stochastic case as it is believed to be in the deterministic case: one could try to engineer weak solutions whose singular times have Minkowski dimension exactly 1/2.
  • The conditional Serrin-type improvement suggests a route toward the global-regularity endpoint: as 2/p0+3/q0 approaches 1, δ_0 approaches 0, so checking whether the required integrability bound can hold up to that endpoint would effectively convert the conditional partial-regularity result into a regularity criterion.
  • The paper leaves open whether the Minkowski bound passes from T^ε_Sin to the union T_Sin; a natural next step is to seek a modified definition or an additional countability assumption that restores σ-subadditivity for the Minkowski content.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper introduces a general framework for bounding the fractal dimension of singular times for weak solutions of semilinear SPDEs. Regular times are defined through local existence in critical X-settings, and under an L^ℓ_t(Z) energy bound, a positive excess Exc_X of Z above critical regularity, and a strong weak-strong uniqueness property, Theorem 3.8 asserts dim_M(T^ε_Sin)≤1−ℓExc_X with M^{1−ℓExc_X}(T^ε_Sin)=0, together with the Hausdorff analogue dim_H(T_Sin)≤1−ℓExc_X and H^{1−ℓExc_X}(T_Sin)=0. The proof combines a quantitative lower bound on the lifetime of local strong solutions (Proposition 4.1) with a Vitali covering argument. In the NSE part, the paper defines quenched strong stochastic Leray-Hopf solutions, proves Theorem 5.5 giving the stochastic analogue of the Leray–Scheffer 1/2-bound, and Theorem 5.6 giving improved dimensions under supercritical Serrin-type assumptions. The abstract theorem is supported by a detailed proof; the NSE applications depend on Proposition 5.3 and Proposition 5.9, whose proofs are only sketched or summarized.

Significance. If fully established, the abstract result is a clean, parameter-free mechanism: the dimensional bound is computed from structural exponents and interpolation, with no fitted constants, and it covers the whole partial-regularity window between global irregularity and global regularity. The NSE conclusions would be the first partial-regularity bounds for SPDEs with multiplicative transport-type noise and would extend the classical Leray–Scheffer 1/2-bound. The paper is honest about its main limitations, and the core covering argument in Section 4 is coherent. However, the headline NSE results are conditional on completing two sketched ingredients: the existence of quenched strong Leray-Hopf solutions with the pathwise strong energy inequality (Proposition 5.3) and the restarted weak-strong uniqueness needed for Assumption 3.6 (Proposition 5.9). These gaps are fixable within the manuscript's scope but must be addressed before the applications can be considered proved.

major comments (3)
  1. [§5.4 / Proposition 5.3] The existence of quenched strong Leray-Hopf solutions and the pathwise strong energy inequality is the central input for Definition 5.2(3) and hence for Theorem 5.5, but its proof is explicitly only a sketch. In the passage from the mollified energy equality (5.40) to (5.7), several load-bearing steps are asserted: (i) the convergence of the stochastic integral under the weak compactness (5.37) is delegated to [20, Lemma 2.6.5] or [34, Lemma 1.1], but the required strong convergence of the integrands (µ_n·ũ_j)·ũ_j and T_nũ_j·S_nũ_j is not checked for rough noise γ∈(0,1), which is the main range of interest; (ii) the limit equality is first obtained for t in a countable dense set J*, and the extension to all t≥t0 is a single sentence, without controlling the stochastic integral or dissipative terms as t*→t after the j-limit. Since Proposition 5.3 is the only existence result for this solu
  2. [§5.3.3 / Proposition 5.9 / Assumption 3.6] Theorem 3.8 is vacuous unless Assumption 3.6 can be verified for the NSE application. Assumption 3.6 requires, for a.a. t0, that u equals the maximal strong solution started from u(t0) on [t0,τ). Proposition 5.9, however, is stated only from initial time 0, and its proof takes u0∈L²(Ω;L²) and uses the energy inequality with t0=0. The restarted version at arbitrary a.e. t0, combined with the quenched strong energy inequality from that time, is exactly what is needed for Theorem 5.5, but this is neither stated nor proved; the sentence 'the general case follows similarly' after the reduction to u0∈L²(Ω;L²) does not supply the localization or restart argument. In addition, the Itô-formula cross term in Step 1 of the proof is only summarized as 'one can check'; this is a delicate term because u has only weak regularity and the test function is a mollified strong solution. The weak-strong uniq
  3. [§5.3.2 / Theorem 5.6] Theorem 5.6 is obtained through Proposition 3.13, whose compatibility condition (3.20) is asserted but never verified. After defining the X0-setting in (5.27), the proof says [15, Theorems 2.4 and 4.1] ensure compatibility, but no argument is given that the maximal solution in X0 and the maximal solution in Y coincide up to the X0-lifetime for initial data lying in both trace spaces. Since Theorem 5.6 is presented as a new conditional result even in the deterministic setting, this gap is load-bearing. The parameter choices also appear inconsistent: the line 'The assumption ν0>γ ensures...' should presumably be ν0>−γ, and later '1+δ0+γ0∈(0,1)' is incompatible with δ0,γ0≥0; these need correction for the statement to be checkable.
minor comments (4)
  1. [Definition 5.4] In the second bullet defining ε-singular times, 'We say that t0∈[0,∞) belongs to Tε_Reg if it is not ε-regular' should refer to Tε_Sin.
  2. [§5.3.2] The sign condition on ν0 is misstated: 'ν0>γ' should be 'ν0>−γ'. The later assertion '1+δ0+γ0∈(0,1)' also appears incompatible with the nonnegative definitions of δ0 and γ0 and should be reformulated.
  3. [§5.4 / proof of Proposition 5.3] The sentence 'by interpolation, it follows that rP-a.s. ũ_j → ũ weakly in L^{2/θ}(0,T;Hθ)' does not specify whether the null set may depend on θ; a uniform-in-θ null set would clarify the subsequent passage to the limit, since θ is later varied.
  4. [§1.1.2] The sentence 'It remains an open problem to determine whether the bounds ... can be obtained in terms of Minkowski/box-counting content or dimension' reads as if the Minkowski statement is the desired conclusion, but the discussion around (5.8)–(5.9) indicates that the open point is the Minkowski analogue for T_Sin, not for T^ε_Sin. The sentence should be rephrased.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the dimension bound follows from an energy bound, weak-strong uniqueness, and a quantitative lifetime estimate; the exponents are structural, not fitted.

full rationale

The derivation chain is a standard covering argument: Assumption 3.6 connects the process u to strong solutions at almost every time, Proposition 4.1 gives a quantitative lower bound on the lifetime of strong solutions in terms of the excess Exc_X, and Assumption 3.7 supplies the integrability that makes the Minkowski/Hausdorff content vanish. The final exponent 1 - l*Exc_X is computed from l and the difference between the Sobolev index of the energy space Z and the critical threshold; it is not calibrated to data. For the NSE application, Exc_X = 1/4 follows from the H^1 energy space versus the critical H^{1/2} scaling, and l = 2 gives 1/2. The verification of Assumption 3.6 for NSEs uses Proposition 5.9 (weak-strong uniqueness), which is proven in the paper and does not assume the singular-time bound. The paper explicitly marks Proposition 5.3 as a sketch and Theorem 5.6 as conditional on the unverified bound (5.11); these are completeness and conditionality limitations, not circular reductions. The heavy self-citations [9,15,16] supply published, parameter-free theorems (stochastic maximal regularity, critical local well-posedness) whose assumptions do not include the target singular-time conclusion; under the reviewing rules these citations are real external evidence and do not raise the circularity score. I find no equation, definition, or fitted parameter that is equivalent by construction to the claimed dimension bounds.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The central claim is not circular: no constants are fitted and the dimension formula is derived. But the theorem inherits a large apparatus—critical spaces, stochastic maximal regularity, critical weak-strong uniqueness—mostly developed in the same author's prior papers. The genuinely new object, quenched strong Leray-Hopf solutions, is defined here and its existence is only sketched.

assumptions (8)
  • standard math X0 and X1 are UMD Banach spaces with type 2 (Assumption 2.4).
    Needed for stochastic integration and maximal L^p regularity; standard functional-analytic background.
  • domain assumption (A,B) has stochastic maximal L^p regularity in the X-setting (Assumption 2.5).
    The whole critical-space framework and Proposition 4.1 depend on this; for NSE it is imported from [15, Theorem 3.2] with perturbation results [14].
  • domain assumption Criticality condition (Assumption 2.6): F,G are locally Lipschitz with exponents satisfying the balance (2.14), and local well-posedness Theorem 2.8 holds.
    This is the abstract setting inherited from [9,16]; it defines the critical threshold used in Exc_X.
  • domain assumption Energy bound (Assumption 3.7): E∫_0^T ||u||_Z^ℓ dt < ∞, localized on Ω_n.
    This is the input that defines ℓ and the energy space; it is assumed of the process u, not derived.
  • domain assumption Strong weak-strong uniqueness (Assumption 3.6): for a.a. t, u(t)∈X^Tr_{κ,p} and u equals the maximal strong solution on [t,τ).
    The bridge between the weak process and strong solutions; for NSE it is proved as Proposition 5.9 using the energy inequality.
  • ad hoc to paper Existence of quenched strong Leray-Hopf solutions satisfying the pathwise strong energy inequality (5.7), stated as Proposition 5.3.
    A new solution class introduced in Definition 5.2; Section 5.4 is only a proof sketch and relies on stochastic compactness, so as written it is a load-bearing premise for Theorem 5.5.
  • domain assumption Noise coefficients satisfy Assumption 5.1: σ_n, μ_n are C^γ with ℓ^2 summability, and σ_n are divergence-free.
    Defines the physically relevant transport/Lie noise and is needed for well-posedness and regularity of strong solutions.
  • domain assumption Instantaneous regularization of strong solutions ([15, Theorem 2.7]) used via Lemma 3.11 to make singular times independent of the setting X.
    Needed to identify abstract singular times with the NSE notion in Definition 5.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fractal dimension of singular times for SPDEs: Energy bounds, criticality, and weak-strong uniqueness." pith.science (2026). https://pith.science/paper/PXWUWNRC

@misc{pith2026260221981,
  author       = {Pith},
  title        = {Pith review of: Fractal dimension of singular times for SPDEs: Energy bounds, criticality, and weak-strong uniqueness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PXWUWNRC}},
  note         = {Machine review of arXiv:2602.21981}
}
abstract

For several physically relevant SPDEs, it is known that global weak solutions coexist with local strong ones. Typically, weak-strong uniqueness results are known, and ensure that the global and strong solutions coincide as long as the latter exist. Times at which a weak solution does not coincide with a strong one are called singular times. Determining their fractal dimension is fundamental to capturing the regularity of weak solutions. We define singular times for a wide class of semilinear SPDEs. We show that sets of singular times have fractal dimension (i.e., Hausdorff and/or Minkowski) at most $ 1-\ell\, \mathsf{Exc}$, where $\ell$ and $\mathsf{Exc}$ are the time integrability and the excess of spatial regularity compared to the critical regularity of the energy bound associated with weak solutions, respectively. Moreover, their corresponding $(1-\ell\,\mathsf{Exc} )$-dimensional measure is zero. We formulate and apply our theory to quenched strong Leray-Hopf solutions of 3D Navier-Stokes equations (NSEs) with physically relevant noises, including rough Kraichnan and Lie transport. In particular, we extend the fundamental $1/2$-dimensional bound of Leray and Scheffer on singular times for 3D NSEs to the stochastic setting, and we prove new conditional results under supercritical Serrin's conditions, irrespective of the roughness of the noise. Our framework is new even in the deterministic case, and provides the first partial regularity results for weak solutions to SPDEs with multiplicative noise.

Figures

Figures reproduced from arXiv: 2602.21981 by the authors.

Figure 1
Figure 1. Derivation of Theorem 1.1 from Theorem 1.2. We used that the critical Sobolev threshold for 3D NSEs is equal to ´1 (see below (1.8)), and the factor 1 2 in the excess formula Exc is because in (1.2) the leading operators are of second-order (or in other words, parabolic scaling with time counted as the unit). (1.16)-(1.17) has less regularity than the critical one (again, in terms of space-time Sobolev index2 , or s… view at source ↗
Figure 2
Figure 2. The striped region is the area of applicability of Theo￾rem 1.2. Here, ℓ is as in (1.16), and ExcX is the excess of (spatial) regularity of the latter bound over the critical threshold, see (1.18). Space-time sets of (possible) singularities for deterministic PDEs are also well￾studied in the literature, see e.g., [50]. In the context of 3D NSEs, space-time variants of singular sets were first studied by Scheffer in… view at source ↗
Figure 3
Figure 3. Visualization of the behaviour of u around the regular time t0, where ε P p0, 1q. The red box I ε 0 represents the region in the time-sample space where u is regular for the X-setting. Definition 3.3 (ε-regular and ε-singular times). Let ε P p0, 1q, and suppose that Assumption 3.1 holds. ‚ We say that a time t0 ą 0 is ε-regular (for u in the X-setting) if there exist a time t ă t0 and a stopping time τ : Ω Ñ rt, 8s … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

95 extracted references · 5 linked inside Pith

  1. [1]

    A. Agresti. The primitive equations with rough transport noise: Global well-posedness and regularity.arXiv preprint arXiv:2310.01193, 2023

  2. [2]

    A. Agresti. Global smooth solutions by transport noise of 3D Navier-Stokes equations with small hyperviscosity.arXiv preprint arXiv:2406.09267, 2024. To appear in Ann. Probab

  3. [3]

    A. Agresti. Entropy-Dissipating Stochastic Reaction-Diffusion equations: Global renormal- ized martingale solutions and their singular times. In preparation, 2026

  4. [4]

    Agresti, M

    A. Agresti, M. Hieber, A. Hussein, and M. Saal. The stochastic primitive equations with transport noise and turbulent pressure.Stoch. Partial Differ. Equ. Anal. Comput., 12(1):53– 133, 2024

  5. [5]

    Agresti, M

    A. Agresti, M. Hieber, A. Hussein, and M. Saal. The stochastic primitive equations with nonisothermal turbulent pressure.Ann. Appl. Probab., 35(1):635–700, 2025

  6. [6]

    Agresti, N

    A. Agresti, N. Lindemulder, and M.C. Veraar. On the trace embedding and its applications to evolution equations.Mathematische Nachrichten, 296(4):1319–1350, 2023

  7. [7]

    Agresti and M

    A. Agresti and M. Sauerbrey. Well-posedness of the stochastic thin-film equation with an interface potential.arXiv preprint:2403.12652, 2024. To appear in Comm. Math. Phys

  8. [8]

    Agresti, M

    A. Agresti, M. Sauerbrey, and M.C. Veraar. A stochastic flow approach to De Giorgi-Nash- Moser estimates for SPDEs with smooth transport noise.arXiv preprint arXiv:2511.12692, 2025

Show all 95 references
  1. [9]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Nonlinear parabolic stochastic evolution equations in critical spaces part I. Stochastic maximal regularity and local existence.Nonlinearity, 35(8):4100– 4210, 2022

  2. [10]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Nonlinear parabolic stochastic evolution equations in critical spaces part II.J. Evol. Equ., 22(2):Paper No. 56, 2022

  3. [11]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity.Journal of Differential Equations, 368:247–300, 2023

  4. [12]

    Agresti and M.C

    A. Agresti and M.C. Veraar. The critical variational setting for stochastic evolution equations. Probab. Theory Related Fields, 188(3-4):957–1015, 2024

  5. [13]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems.SIAM J. Math. Anal., 56(4):4870–4927, 2024

  6. [14]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Stochastic maximalL ppLqq-regularity for second order systems with periodic boundary conditions.Ann. Inst. Henri Poincar´ e Probab. Stat., 60(1):413–430, 2024

  7. [15]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Stochastic Navier–Stokes equations for turbulent flows in critical spaces.Communications in Mathematical Physics, 405(2):43, 2024

  8. [16]

    Agresti and M.C

    A. Agresti and M.C. Veraar. Nonlinear SPDEs and Maximal Regularity: An Extended Survey. NoDEA Nonlinear Differential Equations Appl., 32(6):Paper No. 123, 2025

  9. [17]

    Albritton, E

    D. Albritton, E. Bru´ e, and M. Colombo. Non-uniqueness of Leray solutions of the forced Navier-Stokes equations.Ann. of Math. (2), 196(1):415–455, 2022

  10. [18]

    A. Basson. Spatially homogeneous solutions of 3D stochastic Navier-Stokes equations and local energy inequality.Stochastic Process. Appl., 118(3):417–451, 2008. FRACTAL DIMENSION OF SINGULAR TIMES FOR SPDEs 51

  11. [19]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om.Interpolation spaces. An introduction. Springer-Verlag, Berlin,

  12. [20]

    Breit, E

    D. Breit, E. Feireisl, and M. Hofmanov´ a.Stochastically forced compressible fluid flows, vol- ume 3 ofDe Gruyter Series in Applied and Numerical Mathematics. De Gruyter, Berlin, 2018

  13. [21]

    Breit, A

    D. Breit, A. Prohl, and J. Wichmann. Numerical analysis of the stochastic Navier-Stokes equations.arXiv preprint arXiv:2508.05564, 2025

  14. [22]

    Brze´ zniak, M

    Z. Brze´ zniak, M. Capi´ nski, and F. Flandoli. Stochastic partial differential equations and turbulence.Math. Models Methods Appl. Sci., 1(1):41–59, 1991

  15. [23]

    Brze´ zniak and E

    Z. Brze´ zniak and E. Motyl. Existence of a martingale solution of the stochastic Navier-Stokes equations in unbounded 2D and 3D domains.J. Differential Equations, 254(4):1627–1685, 2013

  16. [24]

    Brze´ zniak, J.M.A.M

    Z. Brze´ zniak, J.M.A.M. van Neerven, M.C. Veraar, and L.W. Weis. Itˆ o’s formula in UMD Banach spaces and regularity of solutions of the Zakai equation.J. Differential Equations, 245(1):30–58, 2008

  17. [25]

    Buckmaster, M

    T. Buckmaster, M. Colombo, and V. Vicol. Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1.J. Eur. Math. Soc., 24(9):3333–3378, 2022

  18. [26]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg. Partial regularity of suitable weak solutions of the Navier-Stokes equations.Comm. Pure Appl. Math., 35(6):771–831, 1982

  19. [27]

    M. Cannone. Harmonic analysis tools for solving the incompressible Navier-Stokes equations. InHandbook of mathematical fluid dynamics. Vol. III, pages 161–244. North-Holland, Ams- terdam, 2004

  20. [28]

    Chaudhary and U

    A. Chaudhary and U. Koley. On weak-strong uniqueness for stochastic equations of incom- pressible fluid flow.J. Math. Fluid Mech., 24(3):Paper No. 62, 33, 2022

  21. [29]

    Chen and Z

    W. Chen and Z. Dong. Martingale suitable weak solutions of 3-D stochastic Navier-Stokes equations with vorticity bounds.J. Funct. Anal., 289(9):Paper No. 111081, 62, 2025

  22. [30]

    Choe and M

    H.J. Choe and M. Yang. The Minkowski dimension of boundary singular points in the Navier- Stokes equations.J. Differential Equations, 267(8):4705–4718, 2019

  23. [31]

    Colombo, C

    M. Colombo, C. De Lellis, and A. Massaccesi. The generalized Caffarelli-Kohn-Nirenberg theorem for the hyperdissipative Navier-Stokes system.Communications on Pure and Applied Mathematics, 73(3):609–663, 2020

  24. [32]

    Dareiotis and M

    K. Dareiotis and M. Gerencs´ er. LocalL8-estimates, weak Harnack inequality, and stochastic continuity of solutions of SPDEs.J. Differential Equations, 262(1):615–632, 2017

  25. [33]

    Dareiotis, B

    K. Dareiotis, B. Gess, M. Gnann, and M. Sauerbrey. Solutions to the stochastic thin-film equation for initial values with non-full support.Transactions of the American Mathematical Society, 2026

  26. [34]

    Debussche, N

    A. Debussche, N. Glatt-Holtz, and R. Temam. Local martingale and pathwise solutions for an abstract fluids model.Phys. D, 240(14-15):1123–1144, 2011

  27. [35]

    Debussche and E

    A. Debussche and E. M´ emin. Variational principles for fully coupled stochastic fluid dynamics across scales.Phys. D, 481:Paper No. 134777, 11, 2025

  28. [36]

    Debussche and U

    A. Debussche and U. Pappalettera. Second order perturbation theory of two-scale systems in fluid dynamics.Journal of the European Mathematical Society, 2024

  29. [37]

    Evans and R.F

    L.C. Evans and R.F. Gariepy.Measure theory and fine properties of functions. Textbooks in Mathematics. CRC Press, Boca Raton, FL, revised edition, 2015

  30. [38]

    Falconer.Fractal geometry: Mathematical foundations and applications

    K. Falconer.Fractal geometry: Mathematical foundations and applications. John Wiley & Sons, Ltd., Chichester, third edition, 2014

  31. [39]

    J. Fischer. Global existence of renormalized solutions to entropy-dissipating reaction-diffusion systems.Arch. Ration. Mech. Anal., 218(1):553–587, 2015

  32. [40]

    J. Fischer. Weak-strong uniqueness of solutions to entropy-dissipating reaction-diffusion equa- tions.Nonlinear Anal., 159:181–207, 2017

  33. [41]

    Flandoli and D

    F. Flandoli and D. Gatarek. Martingale and stationary solutions for stochastic Navier-Stokes equations.Probab. Theory Related Fields, 102(3):367–391, 1995

  34. [42]

    Flandoli and D

    F. Flandoli and D. Luo. High mode transport noise improves vorticity blow-up control in 3D Navier-Stokes equations.Probab. Theory Related Fields, 180, 2021

  35. [43]

    Flandoli and E

    F. Flandoli and E. Luongo.Stochastic partial differential equations in fluid mechanics, volume

  36. [44]

    Flandoli and U

    F. Flandoli and U. Pappalettera. From additive to transport noise in 2D fluid dynamics. Stochastics and Partial Differential Equations: Analysis and Computations, pages 1–41, 2022

  37. [45]

    Flandoli and M

    F. Flandoli and M. Romito. Partial regularity for the stochastic Navier-Stokes equations. Trans. Amer. Math. Soc., 354(6):2207–2241, 2002

  38. [46]

    B. Gess, D. Heydecker, and Z. Wu. Landau-Lifshitz-Navier-Stokes equations: Large deviations and relationship to the energy equality.arXiv preprint arXiv:2311.02223, 2023

  39. [47]

    Gess and R

    B. Gess and R. Lasarzik. Probabilistically strong solutions to stochastic Euler equations. arXiv preprint arXiv:2601.22073, 2026

  40. [48]

    Gess and I

    B. Gess and I. Yaroslavtsev. Stabilization by transport noise and enhanced dissipation in the Kraichnan model.J. Evol. Equ., 25(2):Paper No. 42, 63, 2025

  41. [49]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Souˇ cek.Cartesian currents in the calculus of variations. I, volume 37 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 1998

  42. [50]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Souˇ cek.Cartesian currents in the calculus of variations. II, volume 38 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 1998

  43. [51]

    D. Goodair. High order smoothness for stochastic Navier-Stokes equations with transport and stretching noise on bounded domains.Nonlinear Anal., 267:Paper No. 114054, 2026

  44. [52]

    Goodair and D

    D. Goodair and D. Crisan. On the 3D Navier-Stokes equations with stochastic Lie transport. InStochastic transport in upper ocean dynamics II, volume 11 ofMath. Planet Earth, pages 53–110. Springer, Cham, 2024

  45. [53]

    Gy¨ ongy and N.V

    I. Gy¨ ongy and N.V. Krylov. On conditional uniqueness of solutions to stochastic Navier- Stokes equations.arXiv preprint arXiv:2503.20645, 2025

  46. [54]

    Hofmanov´ a, J.-M

    M. Hofmanov´ a, J.-M. Leahy, and T. Nilssen. On a rough perturbation of the Navier-Stokes system and its vorticity formulation.Ann. Appl. Probab., 31(2):736–777, 2021

  47. [55]

    D.D. Holm. Variational principles for stochastic fluid dynamics.Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 471(2176):20140963, 2015

  48. [56]

    E. Hopf. ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen.Math. Nachr., 4:213–231, 1951

  49. [57]

    T. Hou, Y. Wang, and C. Yang. Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes equation.arXiv preprint arXiv:2509.25116, 2025

  50. [58]

    E. P. Hsu, Y. Wang, and Z. Wang. Stochastic De Giorgi iteration and regularity of stochastic partial differential equations.Ann. Probab., 45(5):2855–2866, 2017

  51. [59]

    Hyt¨ onen, J.M.A.M

    T. Hyt¨ onen, J.M.A.M. van Neerven, M.C. Veraar, and L. Weis.Analysis in Banach spaces. Vol. III. Harmonic analysis and spectral theory, volume 76 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.Springer, 2023

  52. [60]

    Hyt¨ onen, J.M.A.M

    T.P. Hyt¨ onen, J.M.A.M. van Neerven, M.C. Veraar, and L. Weis.Analysis in Banach spaces. Vol. II. Probabilistic Methods and Operator Theory., volume 67 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.Springer, 2017

  53. [61]

    Hyt¨ onen, J.M.A.M

    T.P. Hyt¨ onen, J.M.A.M. van Neerven, M.C. Veraar, and L.W. Weis.Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory, volume 63 ofErgebnisse der Math- ematik und ihrer Grenzgebiete. 3. Folge.Springer, 2016

  54. [62]

    Koh and M

    Y. Koh and M. Yang. The Minkowski dimension of interior singular points in the incompress- ible Navier-Stokes equations.J. Differential Equations, 261(6):3137–3148, 2016

  55. [63]

    N.V. Krylov. OnL p-theory of stochastic partial differential equations in the whole space. SIAM J. Math. Anal., 27(2):313–340, 1996

  56. [64]

    N.V. Krylov. An analytic approach to SPDEs. InStochastic partial differential equations: six perspectives, volume 64 ofMath. Surveys Monogr., pages 185–242. Amer. Math. Soc., Providence, RI, 1999

  57. [65]

    N.V. Krylov. A brief overview of theL p-theory of SPDEs.Theory Stoch. Process., 14(2):71– 78, 2008

  58. [66]

    Kukavica

    I. Kukavica. The fractal dimension of the singular set for solutions of the Navier-Stokes system.Nonlinearity, 22(12):2889–2900, 2009

  59. [67]

    Kukavica and Y

    I. Kukavica and Y. Pei. An estimate on the parabolic fractal dimension of the singular set for solutions of the Navier-Stokes system.Nonlinearity, 25(9):2775–2783, 2012

  60. [68]

    Kukavica and F

    I. Kukavica and F. Xu. On the almost global existence of the stochastic Navier-Stokes equa- tions inL 3 with small data.J. Differential Equations, 457:Paper No. 113987, 27, 2026. FRACTAL DIMENSION OF SINGULAR TIMES FOR SPDEs 53

  61. [69]

    P. G. Lemari´ e-Rieusset.The Navier-Stokes problem in the 21st century. CRC Press, Boca Raton, FL, 2016

  62. [70]

    J. Leray. Sur le mouvement d’un liquide visqueux emplissant l’espace.Acta Math., 63(1):193– 248, 1934

  63. [71]

    F. Lin. A new proof of the Caffarelli-Kohn-Nirenberg theorem.Comm. Pure Appl. Math., 51(3):241–257, 1998

  64. [72]

    Liu and M

    W. Liu and M. R¨ ockner.Stochastic partial differential equations: an introduction. Universi- text. Springer, Cham, 2015

  65. [73]

    Lunardi.Interpolation theory

    A. Lunardi.Interpolation theory. Appunti. Scuola Normale Superiore di Pisa. Edizioni della Normale, Pisa, second edition, 2009

  66. [74]

    X. Luo. On the possible time singularities for the 3D Navier-Stokes equations.Phys. D, 395:37–42, 2019

  67. [75]

    Majda and P.R

    A.J. Majda and P.R. Kramer. Simplified models for turbulent diffusion: theory, numerical modelling, and physical phenomena.Phys. Rep., 314(4-5):237–574, 1999

  68. [76]

    E. M´ emin. Fluid flow dynamics under location uncertainty.Geophys. Astrophys. Fluid Dyn., 108(2):119–146, 2014

  69. [77]

    Mikulevicius and B

    R. Mikulevicius and B. Rozovskii. On equations of stochastic fluid mechanics. InStochastics in finite and infinite dimensions, Trends Math., pages 285–302. Birkh¨ auser Boston, Boston, MA, 2001

  70. [78]

    Mikulevicius and B

    R. Mikulevicius and B. Rozovskii. GlobalL 2-solutions of stochastic Navier-Stokes equations. Ann. Probab., 33(1):137–176, 2005

  71. [79]

    Mikulevicius and B.L

    R. Mikulevicius and B.L. Rozovskii. Stochastic Navier–Stokes equations for turbulent flows. SIAM Journal on Mathematical Analysis, 35(5):1250–1310, 2004

  72. [80]

    van Neerven, M.C

    J.M.A.M. van Neerven, M.C. Veraar, and L.W. Weis. Stochastic integration in UMD Banach spaces.Ann. Probab., 35(4):1438–1478, 2007

  73. [81]

    van Neerven, M.C

    J.M.A.M. van Neerven, M.C. Veraar, and L.W. Weis. Stochastic maximalL p-regularity.Ann. Probab., 40(2):788–812, 2012

  74. [82]

    van Neerven, M.C

    J.M.A.M. van Neerven, M.C. Veraar, and L.W. Weis. Stochastic integration in Banach spaces—a survey. InStochastic analysis: a series of lectures, volume 68 ofProgr. Probab., pages 297–332. Birkh¨ auser/Springer, Basel, 2015

  75. [83]

    Portal and M.C

    P. Portal and M.C. Veraar. Stochastic maximal regularity for rough time-dependent problems. Stoch. Partial Differ. Equ. Anal. Comput., 7(4):541–597, 2019

  76. [84]

    Pr¨ uss, G

    J. Pr¨ uss, G. Simonett, and M. Wilke. Critical spaces for quasilinear parabolic evolution equations and applications.J. Differential Equations, 264(3):2028–2074, 2018

  77. [85]

    On quasilinear parabolic evolution equations in weightedL p-spaces II

    J. Pr¨ uss and M. Wilke. Addendum to the paper “On quasilinear parabolic evolution equations in weightedL p-spaces II”.J. Evol. Equ., 17(4):1381–1388, 2017

  78. [86]

    Pr¨ uss and M

    J. Pr¨ uss and M. Wilke. On critical spaces for the Navier-Stokes equations.J. Math. Fluid Mech., 20(2):733–755, 2018

  79. [87]

    Robinson, J.L

    J.C. Robinson, J.L. Rodrigo, and W. Sadowski.The three-dimensional Navier-Stokes equa- tions, volume 157 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016. Classical theory

  80. [88]

    Robinson and W

    J.C. Robinson and W. Sadowski. Decay of weak solutions and the singular set of the three- dimensional Navier-Stokes equations.Nonlinearity, 20(5):1185–1191, 2007

  81. [89]

    Robinson and W

    J.C. Robinson and W. Sadowski. Almost-everywhere uniqueness of Lagrangian trajectories for suitable weak solutions of the three-dimensional Navier-Stokes equations.Nonlinearity, 22(9):2093–2099, 2009

  82. [90]

    Scheffer

    V. Scheffer. Partial regularity of solutions to the Navier-Stokes equations.Pacific J. Math., 66(2):535–552, 1976

  83. [91]

    Scheffer

    V. Scheffer. Hausdorff measure and the Navier-Stokes equations.Comm. Math. Phys., 55(2):97–112, 1977

  84. [92]

    Schmeisser and H

    H.J. Schmeisser and H. Triebel.Topics in Fourier Analysis and Function Spaces. Wiley, 1987

  85. [93]

    Wang and G

    Y. Wang and G. Wu. Fractal dimension of potential singular points set in the Navier-Stokes equations under supercritical regularity.Proc. Roy. Soc. Edinburgh Sect. A, 154(3):727–745, 2024. Department of Mathematics Guido Castelnuovo, Sapienza University of Rome, P.le Aldo Moro...

  86. [1976]

    Grundlehren der Mathematischen Wissenschaften, No. 223

  87. [2330]

    52 ANTONIO AGRESTI

    Springer Nature, 2023. 52 ANTONIO AGRESTI

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.