pith. sign in

arxiv: 2311.01234 · v2 · submitted 2023-11-02 · 🧮 math.AP · math.PR

Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift

Pith reviewed 2026-05-24 05:25 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords velocity averagingkinetic equationsH-distributionscompactnessirregular driftstochastic PDEdeterministic PDEnon-degeneracy condition
0
0 comments X

The pith

Velocity averages of kinetic equation solutions stay strongly compact in L1_loc even for drifts in L^q and solutions bounded only in L^p with p<2, when a non-degeneracy condition holds.

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

The paper establishes L1_loc compactness for velocity averages of solution sequences to deterministic and stochastic kinetic equations under weaker integrability than earlier results. Drifts may lie in L^q provided they meet a general non-degeneracy condition, while the sequences themselves need only be uniformly bounded in L^p for exponents p that can be strictly less than 2, as long as 1/p + 1/q < 1. The argument proceeds by applying the broader framework of H-distributions instead of the more restrictive H-measures. This combination resolves a long-standing question about strong compactness under these minimal assumptions.

Core claim

The central claim is that velocity averages remain strongly compact in L1_loc for sequences solving kinetic equations when the drift belongs to L^q and satisfies a general non-degeneracy condition, while the solutions are merely bounded in L^p with the relation 1/p + 1/q < 1 holding and p allowed to be less than 2; both deterministic and stochastic heterogeneous cases are covered by replacing H-measures with H-distributions in the compactness proof.

What carries the argument

H-distributions, a generalization of H-measures that capture oscillatory behavior of sequences to establish compactness of velocity averages.

If this is right

  • Velocity averaging lemmas now cover kinetic equations whose coefficients have lower integrability than previously required.
  • Stochastic kinetic equations with rough drifts admit the same compactness conclusions as their deterministic counterparts.
  • Strong compactness holds for solution sequences whose L^p bound is allowed to be strictly below 2.
  • The method supplies compactness for a class of problems that remained open under earlier H-measure techniques.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same H-distribution approach may transfer to averaging results for other transport or kinetic models that previously relied on H-measures.
  • Mean-field limits or particle approximations involving irregular interaction fields could inherit the compactness directly.
  • Numerical schemes for conservation laws or fluid models with stochastic terms might be justified at the same low regularity level.

Load-bearing premise

The drift must satisfy a general non-degeneracy condition and the solution sequences must be formulated so that H-distributions apply directly.

What would settle it

A concrete sequence of solutions bounded in L^p whose drift lies in L^q with 1/p + 1/q < 1 yet violates the non-degeneracy condition and produces velocity averages that fail to be strongly compact in L1_loc would show the conditions are insufficient.

read the original abstract

This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift ${\mathfrak f}={\mathfrak f}(t,{\boldsymbol x},{\boldsymbol \lambda})$ that are more lenient than those stipulated in previous studies. The main outcome permits the inclusion of highly irregular drift vectors ${\mathfrak f} \in L^q$ that adhere to a general non-degeneracy condition. Moreover, the sequence $\{u_n\}$ is uniformly bounded in $L^p$ -- for an exponent $p$ allowed to be strictly smaller than $2$ -- under the requirement $\frac{1}{p} + \frac{1}{q} < 1$. Resolving the matter of strong compactness in velocity averages, considering these assumptions, has remained an open problem for a long time. The cornerstone of our work's progress lies in the strategic employment of the broader concept of $H$-distributions, moving beyond the traditional reliance on $H$-measures. Notably, our study represents one of the first significant uses of $H$-distributions in this context.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes L¹_loc compactness results for velocity averages of solutions to deterministic and stochastic kinetic equations with irregular drifts. The main theorem allows drifts f ∈ L^q satisfying a general non-degeneracy condition and solutions u_n bounded in L^p with p < 2 provided that 1/p + 1/q < 1, achieved via the use of H-distributions.

Significance. This result is significant because it resolves an open problem regarding strong compactness of velocity averages under these minimal integrability conditions, extending beyond the p ≥ 2 restriction of prior work using H-measures. The strategic use of H-distributions enables handling more irregular coefficients, with implications for analysis of kinetic models in heterogeneous media. The paper provides one of the first substantial applications of H-distributions in this area.

minor comments (2)
  1. [Abstract] The non-degeneracy condition on the drift is referred to but not stated; including a brief description would improve accessibility.
  2. The stochastic case is mentioned but the precise sense in which the equation is satisfied (e.g., Itô vs Stratonovich) could be clarified in the introduction for readers unfamiliar with the framework.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of our manuscript, including the accurate summary of our main results on L^1_loc compactness via H-distributions and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external H-distributions tool

full rationale

The paper's central advance is the application of H-distributions (an extension of H-measures) to obtain velocity averaging compactness for kinetic equations under weaker integrability (p<2 with 1/p+1/q<1) and a general non-degeneracy condition on irregular drifts f in L^q. No equations, fitted parameters, or self-citations are quoted in the provided text that reduce the claimed compactness result to a definition or prior fit by construction. The argument is presented as depending on an independent external tool (H-distributions) applied to the kinetic equation in a compatible weak sense, with no load-bearing self-citation chain or ansatz smuggling visible. This is the normal case of a self-contained technical extension.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the claim rests on the non-degeneracy condition for the drift (domain assumption) and the existence of H-distributions for the given sequences (domain assumption). No free parameters or invented entities are mentioned.

axioms (2)
  • standard math Standard properties of L^p and L^q spaces and kinetic equations
    Invoked to set up the problem and state the integrability conditions.
  • domain assumption Existence and properties of H-distributions applicable to the sequences u_n
    Central tool invoked to obtain the compactness result.

pith-pipeline@v0.9.0 · 5770 in / 1293 out tokens · 42998 ms · 2026-05-24T05:25:29.134991+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

55 extracted references · 55 canonical work pages

  1. [1]

    V. I. Agoshkov. Spaces of functions with differential-di fference characteristics and the smooth- ness of solutions of the transport equation. Dokl. Akad. Nauk SSSR , 276(6):1289–1293, 1984. 2 26 ERCEG, KARLSEN, AND MITROVI ´C

  2. [2]

    Aleksi´ c and D

    J. Aleksi´ c and D. Mitrovi´ c. Strong traces for averaged solutions of heterogeneous ultra- parabolic transport equations. J. Hyperbolic Differ. Equ. , 10(4):659–676, 2013. 3

  3. [3]

    Antoni´ c, K

    N. Antoni´ c, K. Burazin, and J. Jankov. Small-amplitude homogenization of elastic plates via H-measures. ZAMM, 102(5):e202000348, 2023. 3

  4. [4]

    Antoni´ c, M

    N. Antoni´ c, M. Erceg, and M. Miˇ sur. Distributions of an isotropic order and applications to H-distributions. Anal. Appl. (Singap.) , 19(5):801–843, 2021. 4

  5. [5]

    Antoni´ c and M

    N. Antoni´ c and M. Lazar. H-measures and variants applied to parabolic equations. J. Math. Anal. Appl. , 343(1):207–225, 2008. 5

  6. [6]

    Antoni´ c, M

    N. Antoni´ c, M. Miˇ sur, and D. Mitrovi´ c. On compactnessof commutators of multiplications and fourier multipliers. Mediterr. J. Math. , 15:170, 2018. 25

  7. [7]

    Antoni´ c and D

    N. Antoni´ c and D. Mitrovi´ c.H-distributions: an extension of H-measures to an Lp-Lq setting. Abstr. Appl. Anal. , pages Art. ID 901084, 12, 2011. 3

  8. [8]

    Antonic, D

    N. Antonic, D. Mitrovic, and L. Palle. On relationship be tween h-distributions and microlocal compactness forms. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. , 31(2):297–318, 2020. 3

  9. [9]

    Ars´ enio and N

    D. Ars´ enio and N. Masmoudi. Maximal gain of regularity i n velocity averaging lemmas. Anal. PDE, 12(2):333–388, 2019. 2

  10. [10]

    Ars´ enio and L

    D. Ars´ enio and L. Saint-Raymond. Compactness in kinet ic transport equations and hypoel- lipticity. J. Funct. Anal. , 261(10):3044–3098, 2011. 2

  11. [11]

    B´ ezard

    M. B´ ezard. R´ egularit´ eLp pr´ ecis´ ee des moyennes dans les ´ equations de transport.Bull. Soc. Math. France, 122(1):29–76, 1994. 2

  12. [12]

    Da Prato and J

    G. Da Prato and J. Zabczyk. Stochastic equations in infinite dimensions , volume 152 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, second edition, 2014. 4, 13

  13. [13]

    Dehman, J

    B. Dehman, J. Le Rousseau, and M. L´ eautaud. Controllab ility of two coupled wave equations on a compact manifold. Arch. Ration. Mech. Anal. , 211(1):113–187, 2014. 3

  14. [14]

    DeVore and G

    R. DeVore and G. Petrova. The averaging lemma. J. Amer. Math. Soc. , 14(2):279–296, 2001. 2

  15. [15]

    R. J. DiPerna, P.-L. Lions, and Y. Meyer. Lp regularity of velocity averages. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 8(3-4):271–287, 1991. 2

  16. [16]

    R. E. Edwards. Functional analysis. Theory and applications . Holt, Rinehart and Winston, New York, 1965. 23

  17. [17]

    Erceg, M

    M. Erceg, M. Miˇ sur, and D. Mitrovi´ c. Velocity averagi ng for diffusive transport equations with discontinuous flux. Journal of the London Mathematical Society , 107(2):658–703, 2023. 2, 3, 5, 22, 24

  18. [18]

    L. C. Evans. Weak convergence methods for nonlinear partial differential equations, volume 74 of CBMS Regional Conference Series in Mathematics . Published for the Conference Board of the Mathematical Sciences, W ashington, DC, 1990. 2

  19. [19]

    Flandoli and D

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

  20. [20]

    G´ erard

    P. G´ erard. Microlocal defect measures. Comm. Partial Differential Equations , 16(11):1761– 1794, 1991. 2, 3

  21. [21]

    Gess and M

    B. Gess and M. Hofmanov´ a. W ell-posedness and regulari ty for quasilinear degenerate parabolic-hyperbolic SPDE. Ann. Probab., 46(5):2495–2544, 2018. 4, 5

  22. [22]

    Gess and P

    B. Gess and P. E. Souganidis. Long-time behavior, invar iant measures, and regularizing effects for stochastic scalar conservation laws. Comm. Pure Appl. Math. , 70(8):1562–1597, 2017. 4

  23. [23]

    Golse, P.-L

    F. Golse, P.-L. Lions, B. Perthame, and R. Sentis. Regul arity of the moments of the solution of a transport equation. J. Funct. Anal. , 76(1):110–125, 1988. 2

  24. [24]

    Golse and L

    F. Golse and L. Saint-Raymond. Velocity averaging in L1 for the transport equation. C. R. Math. Acad. Sci. Paris , 334(7):557–562, 2002. 2

  25. [25]

    Grafakos

    L. Grafakos. Classical Fourier analysis , volume 249 of Graduate Texts in Mathematics . Springer, New York, second edition, 2008. 21

  26. [26]

    Grisvard

    P. Grisvard. Elliptic problems in nonsmooth domains , volume 24 of Monographs and Studies in Mathematics . Pitman, Boston, MA, 1985. 18

  27. [27]

    Holden, K

    H. Holden, K. H. Karlsen, D. Mitrovic, and E. Y. Panov. St rong compactness of approximate solutions to degenerate elliptic-hyperbolic equations wi th discontinuous flux function. Acta Mathematica Scientia , 29B(6):1573—1612, 2009 (special issue dedicated to J. Gli mm on the occasion of his 75th birthday). 5

  28. [28]

    H¨ ormander

    L. H¨ ormander. The analysis of linear partial differential operators. I , volume 256 of Grundlehren der mathematischen Wissenschaften [Fundamen tal Principles of Mathemati- cal Sciences]. Springer-Verlag, Berlin, second edition, 1990. Distribu tion theory and Fourier analysis. 2 DETERMINISTIC AND STOCHASTIC VELOCITY A VERAGING 27

  29. [29]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. W eis. Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory . Springer, Cham, 2016. 7, 8, 13

  30. [30]

    Jabin and L

    P.-E. Jabin and L. Vega. Averaging lemmas and the X-ray t ransform. C. R. Math. Acad. Sci. Paris, 337(8):505–510, 2003. 2

  31. [31]

    Jabin and L

    P.-E. Jabin and L. Vega. A real space method for averagin g lemmas. J. Math. Pures Appl. (9), 83(11):1309–1351, 2004. 2

  32. [32]

    Jakubowski

    A. Jakubowski. The almost sure skorokhod representati on for subsequences in nonmetric spaces. Theory Probab. Appl. , 42:167–174, 1997. 4, 15, 19

  33. [33]

    K. H. Karlsen, M. Kunzinger, and D. Mitrovic. A dynamic c apillarity equation with stochastic forcing on manifolds: a singular limit problem. Trans. Amer. Math. Soc. , to appear. 4, 14, 15, 18, 19

  34. [34]

    J. A. Langa, J. Real, and J. Simon. Existence and regular ity of the pressure for the stochastic Navier-Stokes equations. Appl. Math. Optim. , 48(3):195–210, 2003. 13, 14

  35. [35]

    Lazar and D

    M. Lazar and D. Mitrovi´ c. Velocity averaging—a genera l framework. Dyn. Partial Differ. Equ., 9(3):239–260, 2012. 2, 3, 24

  36. [36]

    Lazar and D

    M. Lazar and D. Mitrovi´ c. On an extension of a bilinear f unctional on L p(Rd) ⊗ E to a Bochner space with an application to velocity averaging. C. R. Math. Acad. Sci. Paris , 351(7-8):261–264, 2013. 3, 6, 22, 23

  37. [37]

    Lazar and D

    M. Lazar and D. Mitrovi´ c. Existence of solutions for a s calar conservation law with a flux of low regularity. Electron. J. Differential Equations , pages Paper No. 325, 18, 2016. 3, 22, 23

  38. [38]

    Lazar and D

    M. Lazar and D. Mitrovi´ c. On a new class of functional sp aces with application to the velocity averaging. Glasnik Matematiˇ cki, 52(72):115–130, 2017. 22

  39. [39]

    Lazar and E

    M. Lazar and E. Zuazua. Averaged control and observatio n of parameter-depending wave equations. C. R. Math. Acad. Sci. Paris , 352(6):497–502, 2014. 3

  40. [40]

    Lions, B

    P.-L. Lions, B. Perthame, and P. E. Souganidis. Stochas tic averaging lemmas for kinetic equations. In S´ eminaire Laurent Schwartz—´Equations aux d´ eriv´ ees partielles et applications. Ann´ ee 2011–2012, S´ emin.´Equ. D´ eriv. Partielles, pages Exp. No. XXVI, 17. ´Ecole Polytech., Palaiseau, 2013. 4

  41. [41]

    Lions, B

    P.-L. Lions, B. Perthame, and E. Tadmor. A kinetic formu lation of multidimensional scalar conservation laws and related equations. J. Amer. Math. Soc. , 7(1):169–191, 1994. 5

  42. [42]

    Miˇ sur and D

    M. Miˇ sur and D. Mitrovi´ c. On a generalization of compe nsated compactness in the Lp-Lq setting. J. Funct. Anal. , 268(7):1904–1927, 2015. 3, 23

  43. [43]

    J. F. Nariyoshi. Critical velocity averaging lemmas, 2 020. 4

  44. [44]

    E. Y. Panov. On sequences of measure-valued solutions o f a first-order quasilinear equation. Mat. Sb. , 185(2):87–106, 1994. 3

  45. [45]

    E. Y. Panov. Existence of strong traces for generalized solutions of multidimensional scalar conservation laws. J. Hyperbolic Differ. Equ. , 2(4):885–908, 2005. 3

  46. [46]

    E. Y. Panov. Existence and strong pre-compactness prop erties for entropy solutions of a first-order quasilinear equation with discontinuous flux. Archive for Rational Mechanics and Analysis, 195(2):643–673, Feb 2010. 3

  47. [47]

    E. Y. Panov. Ultra-parabolic H-measures and compensated compactness. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 28(1):47–62, 2011. 5

  48. [48]

    Perthame

    B. Perthame. Kinetic formulation of conservation laws , volume 21 of Oxford Lecture Series in Mathematics and its Applications . Oxford University Press, Oxford, 2002. 1

  49. [49]

    Perthame and P

    B. Perthame and P. E. Souganidis. A limiting case for vel ocity averaging. Ann. Sci. ´Ecole Norm. Sup. (4) , 31(4):591–598, 1998. 2

  50. [50]

    Punshon-Smith and S

    S. Punshon-Smith and S. Smith. On the Boltzmann equatio n with stochastic kinetic trans- port: global existence of renormalized martingale solutio ns. Arch. Ration. Mech. Anal. , 229(2):627–708, 2018. 4

  51. [51]

    F. Rindler. Directional oscillations, concentration s, and compensated compactness via mi- crolocal compactness forms. Arch. Ration. Mech. Anal. , 215(1):1–63, 2015. 3

  52. [52]

    E. M. Stein. Singular integrals and differentiability properties of fun ctions. Princeton Math- ematical Series, No. 30. Princeton University Press, Princ eton, N.J., 1970. 21, 22

  53. [53]

    Tadmor and T

    E. Tadmor and T. Tao. Velocity averaging, kinetic formu lations and regularizing effects in quasilinear pdes. Comm. Pure Appl. Math. , 60(10):1488–1521, 2007. 2, 5

  54. [54]

    L. Tartar. H-measures, a new approach for studying homogenisation, osc illations and con- centration effects in partial differential equations. Proc. Roy. Soc. Edinburgh Sect. A , 115(3- 4):193–230, 1990. 2, 3

  55. [55]

    W estdickenberg

    M. W estdickenberg. Some new velocity averaging result s. SIAM J. Math. Anal. , 33(5):1007– 1032, 2002. 2 28 ERCEG, KARLSEN, AND MITROVI ´C (Marko Erceg) F aculty of Science – Department of Mathematics, University o f Za- greb, Bijeni ˇcka cesta 30, 10000 Zagreb, Croatia Email address : maerceg@math.hr (Kenneth H. Karlsen) Department of Mathematics, Unive...