Stationary solutions to the two-dimensional Broadwell model

A.Nouri; L.Arkeryd

REVIEW 2 major objections 5 minor 11 references

Stationary solutions to the two-dimensional Broadwell model

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Given boundary data with finite mass and entropy, the two-dimensional Broadwell model admits a stationary renormalized solution in $L^1$.

desk verdict Substantive L1 existence proof for the 2D stationary Broadwell model; the stress-test gap in Lemma 3.6 is repairable by a Fatou argument, and the remaining issues are minor. read the letter →

arxiv 1908.04487 v1 pith:2Z3XWNR7 submitted 2019-08-13 math-ph math.MP

L.Arkeryd , A.Nouri This is my paper · ORCID

classification math-phmath.MP MSC 82C2282C40

keywords BroadwellmodeldiscretevelocityBoltzmannequationrenormalizedsolutionsstationaryL1compactnessKolmogorov-Riesztheorementropydissipationboundaryvalueproblem

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 proves an existence theorem for the stationary two-dimensional Broadwell model, a four-velocity discrete analogue of the Boltzmann equation posed on the unit square. The main result is that any nonnegative boundary data with finite mass and finite entropy admit a nonnegative renormalized solution in $L^1$ with finite entropy dissipation. This matters because the averaging lemmas used for continuous-velocity Boltzmann equations are not available when velocities form a discrete set, so the paper develops a direct $L^1$-compactness argument in their place. A fair reader would take the paper to show that physically natural boundary data, specified only through mass and entropy flux, are enough for a weak stationary solution.

What carries the argument

The load-bearing mechanism is a truncation of the collision operator: replace each $F_i$ by $F_i/(1+F_i/k)$ in the gain and loss terms, and truncate the boundary data at $k^2$. The approximate problems are solved by a fixed-point argument after adding damping and mollification. The passage $k\to\infty$ uses a sequence of alternating approximations $(f^{k,l}_1,f^{k,l}_2)$ that squeeze $F^k_1,F^k_2$ from above and below; their $L^1$-compactness is transferred from the gain terms, via the Kolmogorov-Riesz theorem, to the solutions themselves. Uniform entropy-production bounds then control the gain term in the limit, yielding the renormalized solution.

What would settle it

Find a nonnegative boundary datum with finite mass and entropy for which every $L^1$ limit $F$ of the truncated approximations has divergent entropy dissipation $\int (F_1F_2-F_3F_4)\ln(F_1F_2/F_3F_4)$, while the approximations' entropy production stays bounded; equivalently, check directly whether the convexity argument of Lemma 3.6 can be run with the discrete collision operator rather than the continuous one.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: given a nonnegative boundary value $f_b=(f_{b1},\dots,f_{b4})$ on the four sides of $[0,1]^2$ with finite mass and finite entropy, there exists a stationary nonnegative renormalized solution $F=(F_1,\dots,F_4)$ in $L^1([0,1]^2)^4$ to the Broadwell model (1.1), with finite entropy dissipation. The solution satisfies the renormalized equations in the distributional sense, such as $\partial_x\ln(1+F_1)=(F_3F_4-F_1F_2)/(1+F_1)$. Existence is obtained by solving truncated problems, proving strong $L^1$ compactness of the approximating sequence through the Kolmogorov-Riesz theorem, and passing to the limit in the renormalized formulation using the entropy-dissipation bound.

Load-bearing premise

The proof relies on a convexity argument, imported from the continuous-velocity theory, that turns the $L^1$ convergence of the approximations into the limiting entropy-dissipation bound (3.23); if that argument does not carry over to this four-velocity discrete collision operator, the control of the gain term $F_3F_4/(1+F_1)$ in the limiting renormalized equation would fail.

Editorial extensions

If this is right

Existence holds under minimal boundary assumptions: finite mass and finite entropy, with no smallness, regularity, or boundedness of the boundary data.
The approximating sequence converges strongly in $L^1$ to the limit, so the proof gives a concrete constructive scheme rather than a purely abstract existence argument.
The resulting stationary solution has finite entropy dissipation, so it inherits the entropy structure of the underlying kinetic equation.
The same compactness approach applies to stationary problems on strictly convex domains with $C^1$ boundary, as noted in the paper.

Reading between the lines

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

The alternating upper-and-lower approximations could be read as a numerical algorithm, with the gap between the two monotone sequences serving as a computable error bound.
A natural next test is whether the same direct compactness route works for discrete velocity models with more than four velocities; because the technique here is limited to two-dimensional velocity sets, a genuinely new mechanism would be needed in three dimensions.
The finite entropy dissipation of the limit opens stability questions the paper does not address, such as uniqueness under monotone boundary data or relaxation to equilibrium as the domain grows.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Bottom line: this is a substantive existence paper. It proves what Theorem 1.1 says: nonnegative L1 boundary data with finite mass and entropy give a stationary renormalized L1 solution with finite entropy dissipation for the 2D Broadwell model. That is genuinely new relative to the continuous-data result in [6] and the exact-solution classes in [3], [4], [9]. I believe the proof is correct.

The architecture is sound. Section 2 sets up an approximation with damping and mollification, obtains a fixed point by Schauder, then removes damping via monotone alternating schemes that force strong L1 convergence. Section 3 derives uniform mass, entropy, large-set L-infinity bounds, equicontinuity, gain-term compactness, and then uses Kolmogorov-Riesz and the alternating approximation to show the k-sequence is Cauchy. These are careful estimates. The self-citations [1,2] supply only a template for the fixed-point continuity and compactness argument, and the proof is largely self-contained.

The flagged issue in Lemma 3.6 – the derivation of (3.23) – is less serious than the stress-test note suggests. The paper cites [7] for a convexity argument, which is indeed underspecified for the discrete-velocity setting. But the convergence needed is pointwise a.e.: A_k = F1^k F2^k /((1+F1^k/k)(1+F2^k/k)) converges a.e. to F1F2 because L1 functions are finite a.e., and the entropy integrand (A_k - B_k) ln(A_k/B_k) is nonnegative. Fatou then gives (3.23) directly from the uniform bound on D_k in Lemma 3.1. No velocity averaging or renormalized stability is needed. The paper should spell this out instead of citing [7], but it is a one-paragraph fix, not a flaw.

Minor issues: in Lemma 3.5, the final Cauchy estimate writes the exceptional set as (Omega_{k1}^{epsilon Lambda})^c for both k and k' when the set is k-dependent; you have to use the small-mass property (3.8) to switch between them. Slop, but harmless. Also the last line says 'Theorem 2.1' rather than Theorem 1.1, and the entropy inequality (3.23) for the limit F is stated without much interpretation.

Who this is for: people working on discrete-velocity kinetic models and L1 theory of stationary equations. The main theorem is new, the proof strategy is clear, and the gaps are local and repairable. I would send it to peer review and ask the authors to clean up Lemma 3.6 and the Lemma 3.5 alignment.

Referee Report

2 major / 5 minor

Summary. The paper proves an existence theorem for stationary renormalized L1 solutions of the two-dimensional Broadwell model in a square, with nonnegative boundary data of finite mass and entropy (Theorem 1.1). The proof proceeds by constructing approximate solutions (2.1)-(2.6) with truncated collision terms via a fixed-point argument, deriving uniform bounds on mass, entropy, and entropy production (Lemmas 3.1-3.4), proving L1 compactness of the approximating sequence through Kolmogorov-Riesz and an alternating-approximation scheme (Lemma 3.5), and finally passing to the limit to obtain a renormalized solution (Lemma 3.6). The paper is clearly written and the approximation strategy is original in the discrete-velocity setting, but the passage-to-the-limit step contains a key unproved lower-semicontinuity assertion for the entropy dissipation.

Significance. If the proof is completed, this would be a valuable extension of the L1 theory for the Broadwell model to two spatial dimensions under minimal integral data conditions. The main strengths are the self-contained construction of the approximate solutions, the detailed mass and entropy estimates, and the use of direct L1-compactness arguments that avoid the velocity-averaging tools unavailable for discrete velocities. The paper also contains a plausible extension remark to strictly convex C1 domains. However, the central limit passage in Lemma 3.6 depends on an entropy-dissipation bound for the limit that is imported from the continuous-velocity DiPerna-Lions theory without a discrete-velocity proof; this is the main obstacle to accepting the theorem as stated.

major comments (2)

[Lemma 3.6, Eq. (3.23)] The inequality ∫(F1F2−F3F4) ln(F1F2/F3F4) ≤ cb is asserted by a 'convexity argument together with the L1 convergence of (F^k) to F (see [7])'. This is not an immediate consequence of the preceding estimates: the uniform bound (3.3) controls the entropy production of the truncated variables F_i^k/(1+F_i^k/k), and strong L1 convergence of F_i^k does not imply convergence of the products F_1^kF_2^k in L1. Moreover, the cited result [7] is proved in the continuous-velocity setting using velocity averaging and renormalized stability, neither of which is available for the discrete Broadwell model. Since (3.23) is used immediately afterwards to control ∫_{A_η^c} F3F4/(1+F1) and to justify the theorem's claim of finite entropy dissipation, the proof needs either a self-contained lower-semicontinuity lemma adapted to the four-velocity collision operator or a different estimate.
[Lemma 3.5, Cauchy estimate] The estimate ‖F^k_1−F^{k'}_1‖_{L1} ≤ ‖F^k_1−F^{k'}_1‖_{L1((Ω^{εΛ}_{k1})^c)} + 2 c_b ε is justified 'by (3.8)', but (3.8) only controls ∫_{Ω^{εΛ}_{k1}}(F^k_1+F^k_2) and gives no control of F^{k'}_1 on the same set Ω^{εΛ}_{k1}. The argument needs either a common exceptional set for k and k' or an explicit uniform-integrability argument (available from the weak compactness of the sequence) to make the Cauchy-step estimate rigorous. Without this, the strong compactness conclusion of Lemma 3.5 is not fully established.

minor comments (5)

[End of proof of Lemma 3.6] The proof ends with 'This completes the proof of Theorem 2.1', but the theorem is numbered Theorem 1.1; the numbering should be corrected.
[Title and abstract] There are typos in the title ('mod el') and abstract ('theoren'); these should be corrected before publication.
[Lemma 3.1, entropy-flux display] In the entropy-flux display near the end of the proof of Lemma 3.1, the expression 'F k42' should read 'F k4'; the notation should be made consistent.
[Introduction] The fixed-point theorem used in the approximation step is attributed to 'Schaeffer' in the introduction; if the intended reference is the Schauder fixed point theorem, the name should be corrected.
[Eq. (3.23)] The integrand in (3.23) is defined only formally when products are zero or equal; the paper should state the standard convention (e.g., z ln z → 0 as z → 0 and continuity at equality) to make the estimate meaningful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the existence proof constructs approximations and passes to the limit; cited self-results are technical, not load-bearing.

full rationale

The paper's derivation chain is a standard compactness-existence argument: Lemma 2.1 builds approximate solutions F^k by a Schauder fixed-point procedure; Lemmas 3.1-3.5 establish uniform entropy bounds, L1 equicontinuity, and compactness of the approximations; Lemma 3.6 passes to the limit in the renormalized formulation. The target theorem, existence of a stationary renormalized solution, is never assumed as an input. The only self-citations, [1] and [2], are technical references for the continuity of the auxiliary fixed-point map and for context in the continuous-velocity case; neither states or presupposes the Broadwell existence result. The entropy-dissipation bound (3.23) for the limit is attributed to an external convexity/lower-semicontinuity argument from DiPerna-Lions [7], not to a fitted parameter or to the paper's own conclusion. Even if the adaptation of that argument to the discrete-velocity setting requires more detail, that is a potential correctness gap, not circularity: the bound is derived, not assumed, and no equation or claim reduces to its own input by construction. There are no fitted parameters renamed as predictions, no uniqueness theorem imported from the authors to forbid alternatives, and no ansatz smuggled in via citation. The derivation is therefore self-contained in the sense relevant to circularity.

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

The central claim is an existence theorem in analysis. It rests on standard functional-analytic tools (Kolmogorov-Riesz compactness, Schauder fixed point, monotone and dominated convergence, uniform integrability), on the specific structure of the four-velocity Broadwell model, on the boundary-data hypotheses of finite mass and entropy, and on the external DiPerna-Lions convexity argument cited as [7]. There are no fitted parameters and no new postulated entities.

assumptions (5)

standard math Kolmogorov-Riesz theorem: a bounded, translationally equicontinuous subset of L1 is relatively compact.
Used in Lemma 3.4 and Lemma 3.5 to obtain strong L1 compactness of truncated gain terms and of the approximation sequence.
standard math Schauder fixed point theorem provides a fixed point for the compact, continuous map T on the convex set Kα.
Used in Lemma 2.1, Step I, to obtain solutions of the damped, convolved approximate equations.
standard math The DiPerna-Lions convexity argument [7] passes entropy dissipation bounds to the L1 limit.
Used in Lemma 3.6, Eq. (3.23), to bound the entropy production of the limiting solution.
domain assumption The boundary data f_b are nonnegative, integrable, and have finite entropy.
This is a hypothesis of Theorem 1.1 and is used throughout the estimates, e.g., in Lemma 3.1 and Lemma 3.2.
domain assumption The model is the four-velocity Broadwell equation on the square [0,1]^2 with velocities (1,0), (-1,0), (0,1), (0,-1).
The proof uses the two-dimensional orthogonal structure; the technique is explicitly restricted to this setting.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Stationary solutions to the two-dimensional Broadwell model." pith.science (2026). https://pith.science/paper/2Z3XWNR7

@misc{pith2026190804487,
  author       = {Pith},
  title        = {Pith review of: Stationary solutions to the two-dimensional Broadwell model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2Z3XWNR7}},
  note         = {Machine review of arXiv:1908.04487}
}

read the original abstract

Existence of renormalized solutions to the two-dimensional Broadwell model with given indata in L1 is proven. Averaging techniques from the continuous velocity case being unavailable when the velocities are discrete, the approach is based on direct L1-compactness arguments using the Kolmogorov-Riesz theoren.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[6]

Cercignani, R

C. Cercignani, R. Illner, M. Shinbrot, A boundary value problem for the 2-dimensional Broad- well model , Comm. Math. Phys. 114 (1988), 687-698

work page 1988
[3]

Bobylev, Exact solutions of discrete kinetic models and stationary p roblems for the plane Broadwell model, Math

A. Bobylev, Exact solutions of discrete kinetic models and stationary p roblems for the plane Broadwell model, Math. Meth. Appl. Sci. (4) 19 (1996), 825-845. 19

work page 1996
[4]

Bobylev, G

A. Bobylev, G. Toscani, Two dimensional alf-space problems for the Broadwell discre te velocitry model, Cont. Mechanics and Thermodyamics 8 (1996), 257-274

work page 1996
[9]

O. V. Ilyin, Symmetries, the current function, and exact solutions for B roadwell’s two- dimensional stationary kinetic model , Teor. Mat. Fiz. 179 (2014), 350-359

work page 2014
[7]

R. J. DiPerna, P. L. Lions On the Cauchy problem for Boltzmann equations: Global existe nce and weak stability , Ann. Math 130 (1989), 321-366

work page 1989
[1]

Arkeryd, A

L. Arkeryd, A. Nouri, On the stationary Povzner equation in Rn J. Math. Kyoto Univ. 39 (1) (1999), 115-153

work page 1999
[2]

Arkeryd, A

L. Arkeryd, A. Nouri, The stationary Boltzmann equation in the slab with given mass for hard and soft forces, Annali della Scuole Normale Superiore di Pisa Cl. Sci.Mat. , Ser IV, Vol XXXVII (1998), 533-566

work page 1998
[5]

Bobylev, M

A. Bobylev, M. Vinerean-Bernhoﬀ, Discrete velocity models of the Boltzmann equation and conservation laws , Kinetic and Related Models 3 (2008), 335-358

work page 2008

Show all 11 references

[8]

Illner, T

R. Illner, T. Platkowski, Discrete velocity models of the Boltzmann equation: survey on the mathematical aspects of the theory , Siam Rev. 30 (1988), 213-255

1988
[10]

A. N. Kolmogorov, ¨Uber Kompaktheit der Funktionenmengen bei der Konvergenz i m Mittel , Nachr. Ges. Wiss. G¨ ottingen 9 (1931), 60-63

1931
[11]

Riesz, Sur les ensembles compacts de fonctions sommables , Acta Szeged Sect

M. Riesz, Sur les ensembles compacts de fonctions sommables , Acta Szeged Sect. Math. 6 (1933), 136-142. 20

1933

Pith tools

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

[1] [6]

Cercignani, R

C. Cercignani, R. Illner, M. Shinbrot, A boundary value problem for the 2-dimensional Broad- well model , Comm. Math. Phys. 114 (1988), 687-698

work page 1988

[2] [3]

Bobylev, Exact solutions of discrete kinetic models and stationary p roblems for the plane Broadwell model, Math

A. Bobylev, Exact solutions of discrete kinetic models and stationary p roblems for the plane Broadwell model, Math. Meth. Appl. Sci. (4) 19 (1996), 825-845. 19

work page 1996

[3] [4]

Bobylev, G

A. Bobylev, G. Toscani, Two dimensional alf-space problems for the Broadwell discre te velocitry model, Cont. Mechanics and Thermodyamics 8 (1996), 257-274

work page 1996

[4] [9]

O. V. Ilyin, Symmetries, the current function, and exact solutions for B roadwell’s two- dimensional stationary kinetic model , Teor. Mat. Fiz. 179 (2014), 350-359

work page 2014

[5] [7]

R. J. DiPerna, P. L. Lions On the Cauchy problem for Boltzmann equations: Global existe nce and weak stability , Ann. Math 130 (1989), 321-366

work page 1989

[6] [1]

Arkeryd, A

L. Arkeryd, A. Nouri, On the stationary Povzner equation in Rn J. Math. Kyoto Univ. 39 (1) (1999), 115-153

work page 1999

[7] [2]

Arkeryd, A

L. Arkeryd, A. Nouri, The stationary Boltzmann equation in the slab with given mass for hard and soft forces, Annali della Scuole Normale Superiore di Pisa Cl. Sci.Mat. , Ser IV, Vol XXXVII (1998), 533-566

work page 1998

[8] [5]

Bobylev, M

A. Bobylev, M. Vinerean-Bernhoﬀ, Discrete velocity models of the Boltzmann equation and conservation laws , Kinetic and Related Models 3 (2008), 335-358

work page 2008