Regularity of velocity averages in kinetic equations with heterogeneity

Darko Mitrovi\'c; Kenneth H. Karlsen; Marko Erceg

arxiv: 2507.04102 · v3 · submitted 2025-07-05 · 🧮 math.AP

Regularity of velocity averages in kinetic equations with heterogeneity

Marko Erceg , Kenneth H. Karlsen , Darko Mitrovi\'c This is my paper

Pith reviewed 2026-05-19 05:51 UTC · model grok-4.3

classification 🧮 math.AP

keywords kinetic equationsvelocity averagesfractional Sobolev regularityspatial heterogeneitynon-degeneracy conditionconservation lawsregularity estimates

0 comments

The pith

Velocity averages of weak solutions to kinetic equations with x-dependent drift belong to a fractional Sobolev space.

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

The paper shows that velocity averages in kinetic equations retain fractional Sobolev regularity even when the drift vector depends on spatial position. Under a quantitative non-degeneracy condition on this x-dependent drift, the integral of any sufficiently regular weight rho against the solution h lies in W^{beta,r}_loc for beta in (0,1) and r at least 1. This extends earlier results that required the drift to be independent of x. A reader would care because the estimates supply compactness and regularity tools needed for nonlinear problems such as heterogeneous conservation laws.

Core claim

We prove that (t,x) maps to the integral over lambda of rho(lambda) h(t,x,lambda) d lambda belongs to the fractional Sobolev space W^{beta,r}_loc for some beta in (0,1) and r at least 1, for any sufficiently regular rho. This holds for weak solutions h in L^p (p>1) of the kinetic equation whose x-dependent drift f(x,lambda) satisfies a quantitative non-degeneracy condition. The result supplies the first quantitative regularity estimate in a general heterogeneous setting and yields a regularity statement for entropy solutions of heterogeneous conservation laws with nonlinear flux and L^infty initial data.

What carries the argument

The quantitative non-degeneracy condition on the x-dependent drift vector f(x,lambda), which supplies enough velocity variation with position to control the space-time regularity of the weighted averages.

If this is right

The fractional regularity applies directly to entropy solutions of heterogeneous scalar conservation laws with nonlinear flux and bounded initial data.
The estimates imply strong L^1_loc compactness of the velocity averages, strengthening earlier compactness results.
The exponents beta and r are determined explicitly by the parameters in the quantitative non-degeneracy condition.
The same argument works for any sufficiently regular weight function rho in the velocity variable.

Where Pith is reading between the lines

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

The regularity might translate into improved a-priori bounds or convergence rates for numerical schemes applied to heterogeneous conservation laws.
The method could be tested on kinetic models with more general position-dependent forces, such as those arising in mean-field games or traffic flow.
Sharpness of the exponent beta could be checked by constructing explicit heterogeneous examples where the regularity saturates at a precise value.

Load-bearing premise

The x-dependent drift vector satisfies a quantitative non-degeneracy condition that measures how the velocity directions change with position.

What would settle it

Finding an explicit x-dependent drift that obeys only a weaker non-degeneracy condition yet produces an L^p solution whose weighted velocity average lies outside every W^{beta,r}_loc with beta>0 would falsify the claim.

read the original abstract

This study investigates the regularity of kinetic equations with spatial heterogeneity. Recent progress has shown that velocity averages of weak solutions $h$ in $L^p$ ($p>1$) are strongly $L^1_{\text{loc}}$ compact under the natural non-degeneracy condition. We establish regularity estimates for equations with an $\boldsymbol{x}$-dependent drift vector $\mathfrak{f} = \mathfrak{f}(\boldsymbol{x}, \boldsymbol{\lambda})$, which satisfies a quantitative version of the non-degeneracy condition. We prove that $(t,\boldsymbol{x}) \mapsto \int \rho(\boldsymbol{\lambda}) h(t,\boldsymbol{x},\boldsymbol{\lambda})\, d\boldsymbol{\lambda}$, for any sufficiently regular $\rho(\cdot)$, belongs to the fractional Sobolev space $W_{\text{loc}}^{\beta,r}$, for some regularity $\beta\in (0,1)$ and integrability $r \geq 1$ exponents. While such estimates have long been known for $\boldsymbol{x}$-independent drift vectors $\mathfrak{f}=\mathfrak{f}(\boldsymbol{\lambda})$, this is the first quantitative regularity estimate in a general heterogeneous setting. As an application, we obtain a regularity estimate for entropy solutions to heterogeneous conservation laws with nonlinear flux and $L^\infty$ initial data.

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.

Desk Editor's Note private letter to a colleague

This gives the first quantitative fractional Sobolev regularity for velocity averages when the drift depends on x, but the commutator from x-dependence needs explicit control that the abstract does not make obvious.

read the letter

The main new result is a quantitative estimate showing that velocity averages of solutions to the kinetic equation belong to W^{β,r}_loc when the drift f(x,λ) satisfies a quantitative non-degeneracy condition at each fixed x. This extends the classical averaging lemmas, which were known for f depending only on λ, and the paper applies the estimate to obtain regularity for entropy solutions of heterogeneous scalar conservation laws with L^∞ initial data. That application is concrete and directly useful for compactness arguments in existence theory for such equations. The proof strategy appears to follow the usual Fourier-multiplier approach tuned to the non-degeneracy, which is a reasonable way to proceed. The citation pattern is standard and draws on the expected references for averaging lemmas and kinetic regularity. The argument engages the literature without obvious circularity or invented quantities. The soft spot is the handling of x-dependence. The transport operator is now f(x,λ)·∇_x, so the multiplier produces a commutator whose symbol involves derivatives of f with respect to x. The non-degeneracy condition is stated pointwise in x and supplies no uniform bound on |∇_x f| or on the modulus of continuity of f in x. If those commutator terms are not absorbed or estimated separately, they can cancel the fractional gain β. The abstract does not list extra assumptions that would control this, so the details in the proof matter. If the paper uses localization, mollification, or an additional structural assumption on f to close the estimate, the result holds; otherwise the claim is overstated. This work is for people already working on hyperbolic conservation laws, kinetic equations, and regularity methods for transport. A reader focused on compactness or existence for heterogeneous fluxes would find the extension and the application relevant. It is coherent on its own terms and shows clear engagement with the technical literature, so it deserves a serious referee even if revisions are needed on the commutator estimates. I would send it out for peer review rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that velocity averages of weak solutions to kinetic transport equations with x-dependent drift f(x,λ) belong to a fractional Sobolev space W^{β,r}_loc under a quantitative non-degeneracy condition on f. Specifically, for sufficiently regular ρ, the map (t,x) ↦ ∫ ρ(λ) h(t,x,λ) dλ lies in W^{β,r}_loc with β∈(0,1) and r≥1. The result is applied to obtain regularity estimates for entropy solutions of heterogeneous scalar conservation laws with nonlinear flux and L^∞ initial data.

Significance. If the estimates are valid, this constitutes the first quantitative fractional regularity result for velocity averages in the fully heterogeneous setting, extending classical averaging lemmas that require x-independent drifts. The quantitative non-degeneracy assumption permits explicit dependence of the exponents β and r on the non-degeneracy constants, which strengthens applicability to conservation laws.

major comments (2)

[§3] §3 (proof of the main averaging estimate, around the multiplier construction): the commutator [m(D_x), f(x,λ)·∇_x] produces a symbol involving ∂_x f; the quantitative non-degeneracy is stated only pointwise in x for the map λ ↦ f(x,λ) and supplies no uniform control on |∇_x f| or modulus of continuity in x. Without such control the lower-order error term may prevent closing the estimate with a positive fractional gain β.
[Assumption 1.1] Assumption 1.1 (quantitative non-degeneracy): the condition is formulated for each fixed x without uniformity in x or an explicit bound on the x-Lipschitz constant of f. This assumption is load-bearing for absorbing the commutator error and obtaining the claimed β>0.

minor comments (2)

[Theorem 1.1] The dependence of β and r on the non-degeneracy constants and on the regularity of ρ could be stated explicitly in the main theorem statement.
[Notation section] Notation for the drift vector alternates between fraktur f and bold f; consistent use would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable comments on our manuscript. We address each major comment below and outline the revisions we plan to make.

read point-by-point responses

Referee: [§3] §3 (proof of the main averaging estimate, around the multiplier construction): the commutator [m(D_x), f(x,λ)·∇_x] produces a symbol involving ∂_x f; the quantitative non-degeneracy is stated only pointwise in x for the map λ ↦ f(x,λ) and supplies no uniform control on |∇_x f| or modulus of continuity in x. Without such control the lower-order error term may prevent closing the estimate with a positive fractional gain β.

Authors: Thank you for pointing this out. Upon re-examining the proof in §3, the commutator [m(D_x), f(x,λ)·∇_x] indeed generates a term involving ∂_x f. However, under the quantitative non-degeneracy assumption, this term can be bounded in a way that it contributes only a lower-order perturbation, which is absorbed by the principal term providing the fractional regularity gain β. The pointwise nature of the assumption is sufficient because all estimates are performed locally in x, and the non-degeneracy constants may depend on x but remain positive. To address the concern explicitly, we will include an additional estimate in the revised manuscript showing how the error is controlled without requiring uniform bounds on ∇_x f. This constitutes a partial revision. revision: partial
Referee: [Assumption 1.1] Assumption 1.1 (quantitative non-degeneracy): the condition is formulated for each fixed x without uniformity in x or an explicit bound on the x-Lipschitz constant of f. This assumption is load-bearing for absorbing the commutator error and obtaining the claimed β>0.

Authors: The quantitative non-degeneracy condition in Assumption 1.1 is formulated pointwise in x precisely to accommodate fully heterogeneous drifts without imposing global regularity in x. The local nature of the Sobolev regularity result W^{β,r}_loc means that we work in small balls where the non-degeneracy constants are fixed, and no explicit x-Lipschitz bound is needed beyond what is implicitly required for the drift to be well-defined. We believe this is adequate for closing the estimate, as the commutator error is handled via the same non-degeneracy that yields the gain β. We do not plan to modify Assumption 1.1, but will add a clarifying paragraph in the introduction or assumptions section explaining why uniformity is not required. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained proof extending standard averaging lemmas

full rationale

The paper establishes a new regularity result for velocity averages under an x-dependent drift satisfying a quantitative non-degeneracy condition. The claimed estimates follow from adapting Fourier multiplier techniques and commutator control to the heterogeneous case, without any step that reduces by definition or construction to a fitted parameter, self-referential quantity, or load-bearing self-citation chain. The non-degeneracy assumption is stated externally and the proof is presented as building on prior x-independent results without renaming or smuggling ansatzes. This is a standard mathematical derivation whose validity rests on external verification of the estimates rather than tautological reduction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the quantitative non-degeneracy condition for the heterogeneous drift and standard functional-analytic assumptions in kinetic theory.

axioms (1)

domain assumption The drift vector f = f(x, λ) satisfies a quantitative version of the non-degeneracy condition.
This condition is invoked to obtain the fractional Sobolev regularity for the velocity averages.

pith-pipeline@v0.9.0 · 5760 in / 1158 out tokens · 38290 ms · 2026-05-19T05:51:39.471779+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish regularity estimates for equations with an x-dependent drift vector f = f(x, λ), which satisfies a quantitative version of the non-degeneracy condition... belongs to the fractional Sobolev space W^{β,r}_loc
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

non-degeneracy condition (1.3) ... meas{λ : |ξ₀ + f(x,λ)·ξ| < ν} ≤ ν^α

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A quantitative averaging lemma for spatially dependent vector fields
math.AP 2026-04 unverdicted novelty 6.0

A quantitative averaging lemma is established for spatially dependent vector fields via iterated regularization and the local inversion theorem.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · cited by 1 Pith paper

[1]

V. I. Agoshkov. Spaces of functions with differential-difference characteristics and the smooth- ness of solutions of the transport equation. Dokl. Akad. Nauk SSSR , 276(6):1289–1293, 1984. 2

work page 1984
[2]

Andreianov, K

B. Andreianov, K. H. Karlsen, and N. H. Risebro. A theory of L1-dissipative solvers for scalar conservation laws with discontinuous flux. Arch. Ration. Mech. Anal., 201(1):27–86, 2011. 30

work page 2011
[3]

Ars´ enio and N

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

work page 2019
[4]

Ars´ enio and L

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

work page 2011
[5]

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

work page 1994
[6]

Cercignani

C. Cercignani. The Boltzmann Equation and its Applications . Springer, Berlin, 1988. 1

work page 1988
[7]

G. M. Constantine and T. H. Savits. A multivariate Faa di Bruno formula with applications. Trans. Amer. Math. Soc., 348(2):503–520, 1996. 19, 23

work page 1996
[8]

C. M. Dafermos. Hyperbolic conservation laws in continuum physics , volume 325 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, second edition,

work page
[9]

30 32 ERCEG, KARLSEN, AND MITROVI ´C

work page
[10]

Dalibard

A.-L. Dalibard. Kinetic formulation for heterogeneous scalar conservation laws. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 23(4):475–498, 2006. 30, 31

work page 2006
[11]

DeVore and G

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

work page 2001
[12]

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, 3, 5, 8, 29

work page 1991
[13]

Erceg, K

M. Erceg, K. H. Karlsen, and D. Mitrovi´ c. Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift. Submitted, 2023. 2, 15, 16, 30

work page 2023
[14]

Erceg, K

M. Erceg, K. H. Karlsen, and D. Mitrovi´ c. On the regularity of entropy solutions to stochastic degenerate parabolic equations. Submitted, 2025. 5

work page 2025
[15]

Erceg, M

M. Erceg, M. Miˇ sur, and D. Mitrovi´ c. Velocity averaging for diffusive transport equations with discontinuous flux. J. Lond. Math. Soc. (2) , 107(2):658–703, 2023. 2, 17, 19

work page 2023
[16]

G´ erard

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

work page 1991
[17]

Gess and M

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

work page 2018
[18]

Gess and X

B. Gess and X. Lamy. Regularity of solutions to scalar conservation laws with a force.Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 36(2):505–521, 2019. 30

work page 2019
[19]

Golse, P.-L

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

work page 1988
[20]

Golse and B

F. Golse and B. Perthame. Optimal regularizing effect for scalar conservation laws. Rev. Mat. Iberoam., 29(4):1477–1504, 2013. 30

work page 2013
[21]

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

work page 2002
[22]

Grafakos

L. Grafakos. Classical Fourier analysis , volume 249 of Graduate Texts in Mathematics . Springer, New York, third edition, 2014. 6, 17, 19

work page 2014
[23]

Hyt¨ onen, J

T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. I . Springer, Cham, 2016. 6, 17

work page 2016
[24]

Hyt¨ onen, J

T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. III , volume 76. Springer, Cham, 2023. 6, 7

work page 2023
[25]

P.-E. Jabin. Some regularizing methods for transport equations and the regularity of solu- tions to scalar conservation laws. S´ emin.´Equ. D´ eriv. Partielles,´Ecole Polytech., (Exp. No. XVI):2008–2009, 2010. 30

work page 2008
[26]

Jabin, H.-Y

P.-E. Jabin, H.-Y. Lin, and E. Tadmor. Commutator method for averaging lemmas. Anal. PDE, 15(6):1561–1584, 2022. 2

work page 2022
[27]

Jabin and B

P.-E. Jabin and B. Perthame. Regularity in kinetic formulations via averaging lemmas. ESAIM Control Optim. Calc. Var. , 8:761–774, 2002. 30

work page 2002
[28]

Jabin and L

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

work page 2003
[29]

Jabin and L

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

work page 2004
[30]

K. H. Karlsen and J. D. Towers. Compactness estimates for difference schemes for conserva- tion laws with discontinuous flux. IMA J. Numer. Anal. , 44(6):3313–3353, 2024. 30

work page 2024
[31]

Lazar and D

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

work page 2012
[32]

Lazar and D

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

work page 2016
[33]

C. D. Lellis and M. Westdickenberg. On the optimality of velocity averaging lemmas. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 20(6):1075–1085, 2003. 30

work page 2003
[34]

Lions, B

P.-L. Lions, B. Perthame, and E. Tadmor. A kinetic formulation of multidimensional scalar conservation laws and related equations. J. Amer. Math. Soc. , 7(1):169–191, 1994. 1, 3, 8, 26, 29, 30

work page 1994
[35]

Lions, B

P.-L. Lions, B. Perthame, and E. Tadmor. Kinetic formulation of the isentropic gas dynamics and p-systems. Commun. Math. Phys. , 163:415–431, 1994. 30

work page 1994
[36]

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

work page 1994
[37]

E. Y. Panov. Existence and strong pre-compactness properties for entropy solutions of a first- order quasilinear equation with discontinuous flux. Arch. Ration. Mech. Anal. , 195(2):643– 673, 2010. 2

work page 2010
[38]

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, 3, 30 HETEROGENOUS VELOCITY AVERAGING 33

work page 2002
[39]

Perthame and P

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

work page 1998
[40]

Tadmor and T

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

work page 2007
[41]

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

work page 1990
[42]

A. Vasseur. Recent results in hydrodynamic limit. In C. Dafermos and M. Pokorny, editors, Handbook of Differential Equations: Evolutionary Equations , volume IV, pages 323–376. Elsevier, Amsterdam, 2008. 1

work page 2008
[43]

C. Villani. A review of mathematical topics in collisional kinetic theory. In S. Friedlander and D. Serre, editors, Handbook of Mathematical Fluid Dynamics, volume I, pages 71–305. North Holland, Amsterdam, 2002. 1

work page 2002
[44]

Westdickenberg

M. Westdickenberg. Some new velocity averaging results. SIAM J. Math. Anal. , 33(5):1007– 1032, 2002. 2 (Marko Erceg) Department of Mathematics, Faculty of Science, University of Zagreb, Bijeniˇcka cesta 30, 10000 Zagreb, Croatia Email address: maerceg@math.hr (Kenneth H. Karlsen) Department of Mathematics, University of Oslo, NO-0316 Oslo, Norway Email a...

work page 2002

[1] [1]

V. I. Agoshkov. Spaces of functions with differential-difference characteristics and the smooth- ness of solutions of the transport equation. Dokl. Akad. Nauk SSSR , 276(6):1289–1293, 1984. 2

work page 1984

[2] [2]

Andreianov, K

B. Andreianov, K. H. Karlsen, and N. H. Risebro. A theory of L1-dissipative solvers for scalar conservation laws with discontinuous flux. Arch. Ration. Mech. Anal., 201(1):27–86, 2011. 30

work page 2011

[3] [3]

Ars´ enio and N

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

work page 2019

[4] [4]

Ars´ enio and L

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

work page 2011

[5] [5]

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

work page 1994

[6] [6]

Cercignani

C. Cercignani. The Boltzmann Equation and its Applications . Springer, Berlin, 1988. 1

work page 1988

[7] [7]

G. M. Constantine and T. H. Savits. A multivariate Faa di Bruno formula with applications. Trans. Amer. Math. Soc., 348(2):503–520, 1996. 19, 23

work page 1996

[8] [8]

C. M. Dafermos. Hyperbolic conservation laws in continuum physics , volume 325 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, second edition,

work page

[9] [9]

30 32 ERCEG, KARLSEN, AND MITROVI ´C

work page

[10] [10]

Dalibard

A.-L. Dalibard. Kinetic formulation for heterogeneous scalar conservation laws. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 23(4):475–498, 2006. 30, 31

work page 2006

[11] [11]

DeVore and G

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

work page 2001

[12] [12]

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, 3, 5, 8, 29

work page 1991

[13] [13]

Erceg, K

M. Erceg, K. H. Karlsen, and D. Mitrovi´ c. Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift. Submitted, 2023. 2, 15, 16, 30

work page 2023

[14] [14]

Erceg, K

M. Erceg, K. H. Karlsen, and D. Mitrovi´ c. On the regularity of entropy solutions to stochastic degenerate parabolic equations. Submitted, 2025. 5

work page 2025

[15] [15]

Erceg, M

M. Erceg, M. Miˇ sur, and D. Mitrovi´ c. Velocity averaging for diffusive transport equations with discontinuous flux. J. Lond. Math. Soc. (2) , 107(2):658–703, 2023. 2, 17, 19

work page 2023

[16] [16]

G´ erard

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

work page 1991

[17] [17]

Gess and M

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

work page 2018

[18] [18]

Gess and X

B. Gess and X. Lamy. Regularity of solutions to scalar conservation laws with a force.Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 36(2):505–521, 2019. 30

work page 2019

[19] [19]

Golse, P.-L

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

work page 1988

[20] [20]

Golse and B

F. Golse and B. Perthame. Optimal regularizing effect for scalar conservation laws. Rev. Mat. Iberoam., 29(4):1477–1504, 2013. 30

work page 2013

[21] [21]

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

work page 2002

[22] [22]

Grafakos

L. Grafakos. Classical Fourier analysis , volume 249 of Graduate Texts in Mathematics . Springer, New York, third edition, 2014. 6, 17, 19

work page 2014

[23] [23]

Hyt¨ onen, J

T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. I . Springer, Cham, 2016. 6, 17

work page 2016

[24] [24]

Hyt¨ onen, J

T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. III , volume 76. Springer, Cham, 2023. 6, 7

work page 2023

[25] [25]

P.-E. Jabin. Some regularizing methods for transport equations and the regularity of solu- tions to scalar conservation laws. S´ emin.´Equ. D´ eriv. Partielles,´Ecole Polytech., (Exp. No. XVI):2008–2009, 2010. 30

work page 2008

[26] [26]

Jabin, H.-Y

P.-E. Jabin, H.-Y. Lin, and E. Tadmor. Commutator method for averaging lemmas. Anal. PDE, 15(6):1561–1584, 2022. 2

work page 2022

[27] [27]

Jabin and B

P.-E. Jabin and B. Perthame. Regularity in kinetic formulations via averaging lemmas. ESAIM Control Optim. Calc. Var. , 8:761–774, 2002. 30

work page 2002

[28] [28]

Jabin and L

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

work page 2003

[29] [29]

Jabin and L

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

work page 2004

[30] [30]

K. H. Karlsen and J. D. Towers. Compactness estimates for difference schemes for conserva- tion laws with discontinuous flux. IMA J. Numer. Anal. , 44(6):3313–3353, 2024. 30

work page 2024

[31] [31]

Lazar and D

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

work page 2012

[32] [32]

Lazar and D

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

work page 2016

[33] [33]

C. D. Lellis and M. Westdickenberg. On the optimality of velocity averaging lemmas. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 20(6):1075–1085, 2003. 30

work page 2003

[34] [34]

Lions, B

P.-L. Lions, B. Perthame, and E. Tadmor. A kinetic formulation of multidimensional scalar conservation laws and related equations. J. Amer. Math. Soc. , 7(1):169–191, 1994. 1, 3, 8, 26, 29, 30

work page 1994

[35] [35]

Lions, B

P.-L. Lions, B. Perthame, and E. Tadmor. Kinetic formulation of the isentropic gas dynamics and p-systems. Commun. Math. Phys. , 163:415–431, 1994. 30

work page 1994

[36] [36]

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

work page 1994

[37] [37]

E. Y. Panov. Existence and strong pre-compactness properties for entropy solutions of a first- order quasilinear equation with discontinuous flux. Arch. Ration. Mech. Anal. , 195(2):643– 673, 2010. 2

work page 2010

[38] [38]

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, 3, 30 HETEROGENOUS VELOCITY AVERAGING 33

work page 2002

[39] [39]

Perthame and P

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

work page 1998

[40] [40]

Tadmor and T

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

work page 2007

[41] [41]

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

work page 1990

[42] [42]

A. Vasseur. Recent results in hydrodynamic limit. In C. Dafermos and M. Pokorny, editors, Handbook of Differential Equations: Evolutionary Equations , volume IV, pages 323–376. Elsevier, Amsterdam, 2008. 1

work page 2008

[43] [43]

C. Villani. A review of mathematical topics in collisional kinetic theory. In S. Friedlander and D. Serre, editors, Handbook of Mathematical Fluid Dynamics, volume I, pages 71–305. North Holland, Amsterdam, 2002. 1

work page 2002

[44] [44]

Westdickenberg

M. Westdickenberg. Some new velocity averaging results. SIAM J. Math. Anal. , 33(5):1007– 1032, 2002. 2 (Marko Erceg) Department of Mathematics, Faculty of Science, University of Zagreb, Bijeniˇcka cesta 30, 10000 Zagreb, Croatia Email address: maerceg@math.hr (Kenneth H. Karlsen) Department of Mathematics, University of Oslo, NO-0316 Oslo, Norway Email a...

work page 2002