{"id":"799efdf6-2898-4d68-9874-8e0e2759bc12","arxiv_id":"1908.03209","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Global L∞ entropy solutions of the isentropic nozzle Euler equations constructed by the author's Godunov scheme are shown to satisfy the mechanical energy inequality whenever the initial weighted energy is finite.","lead":"A mathematical proof shows that global bounded solutions to the isentropic nozzle Euler equations satisfy an energy inequality, so their total mechanical energy cannot increase over time. The paper supplies the dissipation mechanism missing from earlier existence results for large-data nozzle flows.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Energy inequality hinges on unproved Proposition 4.1; the L2 estimates (4.3)-(4.4) are asserted via [T1] but not derived for the modified Lax-Friedrichs scheme and near-vacuum cells.","rationale":"The reader's weakest-assumption diagnosis is correct: Proposition 4.1 is the linchpin of the energy inequality, and it is deferred rather than proved. My review confirms that the derivation of (4.5) depends directly on (4.3)-(4.4). I also checked the apparent issue of boundary terms in telescoping (4.2): the leftover terms are multiplied by Δt and are o(1), so they do not constitute an additional gap. The cited estimates in [T1] are for a different numerical scheme, so the transfer is nontrivial and has not been demonstrated in the text. The near-vacuum construction in Appendix A is also not covered by the cited estimates. This is a correctness risk of medium severity: the claim is plausible and no internal contradiction is evident, but the proof as written is incomplete. Because the reader's verdict is already CONDITIONAL, my stress-test does not change the verdict. I found no evidence of circularity, fitted parameters, or fabricated results; the issue is an omitted proof of a central estimate. The concrete test—providing the missing proof—would resolve whether the concern lands.","tokens_in":13887,"tokens_out":9205,"duration_ms":85850,"concrete_test":"Write out a complete proof of Proposition 4.1 for the scheme of Section 3 and Appendix A, adapting [T1, (6.18)] and [T1, Lemma 7.1] step by step. Specifically, verify that the staggered Lax-Friedrichs average E^n_j satisfies the same L2 bound as the Godunov projection, and that cells where u_Δ is set to the exact Riemann solution (near-vacuum cases) do not violate (4.3)-(4.4). If any step in the adaptation uses Godunov-specific structure with no Lax-Friedrichs analogue, the proposition fails and the energy inequality is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 1.2 depends on the o(1) error in (4.5), which is obtained from Proposition 4.1. Specifically, after summing (4.2) and applying Jensen, the proof requires ∑(D_n+E_n)=O(√Δx); this follows only if the temporal-oscillation bounds (4.3) and (4.4) hold. Proposition 4.1 is not proved in the paper. The text states that (4.3) and (4.4) 'can be obtained in a similar manner to [T1, (6.18)] and [T1, Lemma 7.1]', but those results were proved for the modified Godunov scheme, whereas the present paper introduces a modified Lax-Friedrichs scheme with a staggered average operator E^n_j and a different recurrence structure (4.1). No argument is given that the L2 bounds survive this change. Moreover, in cells near the vacuum (Appendix A) the approximate solution is defined as the exact Riemann solution or by formula (A.1), which is not the same as the smooth perturbed construction used in Section 3; the cited estimates from [T1] were not shown to cover these cells. If either (4.3) or (4.4) fails, the accumulated error in (4.5) is not o(1), the limit inequality (4.9) does not follow, and Theorem 1.2 is unsupported. A secondary gap is the unproved entropy condition along discontinuities, cited from [T1, Lemmas 5.1-5.4], but the primary load-bearing issue is the missing proof of Proposition 4.1.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the isentropic compressible Euler equations in a nozzle with variable cross-section A(x). It introduces a modified Lax-Friedrichs-type scheme with staggered cell averages and Riemann-solution building blocks, and claims in Theorem 1.2 that the global L∞ entropy weak solution obtained in Theorem 1.1 satisfies the mechanical-energy inequality (1.9) whenever the initial weighted energy is finite. The proof derives a discrete energy inequality (4.2) from a cell-wise Green formula, controls the accumulated errors by Proposition 4.1, and then passes to the limit via compensated compactness cited from [T6].","tokens_in":93,"tokens_out":5613,"duration_ms":103323,"significance":"If the theorem is correct, it upgrades known large-data L∞ existence results for nozzle flows by adding finite mechanical energy and finite propagation, which are physically important properties. The paper's strategy of deriving the energy inequality at the discrete level from a recurrence formula is attractive and avoids assuming the inequality in the limit. The construction is presented in considerable detail. However, the main new estimate (Proposition 4.1) is not proved in the manuscript, and the convergence step is delegated to a prior paper for a different scheme; these are central gaps rather than presentation issues.","major_comments":[{"comment":"The error control leading to (4.5) is not established. After summing (4.2), the proof needs ∑_{k=0}^n (D_k+E_k)=O(√Δx), and this follows only from the temporal oscillation estimates (4.3) and (4.4). The manuscript states that these can be obtained 'in a similar manner to [T1, (6.18)] and [T1, Lemma 7.1]', but those results are proved for the modified Godunov scheme in [T1]. The scheme here is a modified Lax-Friedrichs scheme with a staggered averaging operator E^n_j and recurrence (4.1), and in the near-vacuum cells (Appendix A) the approximate solution is either the exact Riemann solution or is defined by (A.1); no argument shows the L2 bounds survive these changes. If either (4.3) or (4.4) fails, the o(1) error in (4.5), and hence Theorem 1.2, is unsupported. This proposition must either be proved in full or the cited estimates must be verified line-by-line for the present scheme including the vacuum cells.","section":"§4, Proposition 4.1"},{"comment":"The passage from the discrete inequality (4.8) to the limit inequality (4.9) is delegated to [T6] with the sentence 'By virtue of the methods of compensated compactness for the approximate solutions (see [T6])'. [T6] treats the modified Godunov scheme, not the modified Lax-Friedrichs scheme introduced here, and the paper does not show that the entropy dissipation measures for the new scheme are compact, nor that the approximate solutions converge almost everywhere to the solution of Theorem 1.1. Since the final inequality is obtained in the limit, this convergence is load-bearing and needs to be stated as a theorem with a proof or with a precise identification of which results in [T6] carry over and why.","section":"§4, convergence to the weak solution"},{"comment":"The near-vacuum construction is sketched rather than proved. In particular, the definition of the approximate solution in Case 1.2(ii) uses (A.1) and a Riemann solution with state u_L^{(4)}, and the text says 'otherwise, the definition of u_Δ is similar to Subsection 3.1', but it is not verified that this piecewise definition satisfies the entropy condition along discontinuities, which is needed for (4.1), nor that the estimates (4.3) and (4.4) hold for these cells. The reference to [T1, Appendix A] is to the construction for the Godunov-type scheme, not to the current Lax-Friedrichs-type scheme. This gap is connected to the previous one, but deserves separate statement because vacuum cells are exactly where the L^2-oscillation estimates are least routine.","section":"Appendix A"}],"minor_comments":[{"comment":"The abstract contains two typos: 'comparetively' should be 'comparatively' and 'we drive' should be 'we derive'.","section":"Abstract"},{"comment":"The sentence 'Then, we introduce the following proposition:' places Proposition 4.1 after the inequality it is meant to justify; reordering or an explicit forward reference would improve readability.","section":"§4"},{"comment":"The constant C in (4.3) and the O(Δx) in (4.4) are not qualified as uniform in Δx, in X, and in the cut-off R_T; the text should state the required uniformity explicitly.","section":"§4, Proposition 4.1"},{"comment":"The abstract cites [T6] as 'Nonlinear Anal. Real World Appl. 209: 217-238 (2017)', while the reference list gives volume 37, pages 217-238; the citation needs to be made consistent.","section":"References"},{"comment":"The sentence 'η_* should be a strictly convex weak entropy pair' should read 'η_* is a strictly convex weak entropy'; this is a minor wording issue.","section":"§2"},{"comment":"In the display after (4.2), the accumulated error is written as D_n+E_n, while Proposition 4.1 uses the index k; the notation should be unified to avoid confusion.","section":"§4"}],"recommendation":"major_revision","confidential_remarks":"The paper relies very heavily on the author's own prior work [T1] and [T6] for existence, convergence, and key estimates. This is not circular reasoning, but it means that a referee without detailed access to those papers cannot verify the central claim. I recommend that the editor seek a second opinion specifically on the transferability of the [T1] and [T6] estimates to the modified Lax-Friedrichs scheme."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Tsuge's paper does one concrete new thing: it introduces a modified Lax-Friedrichs scheme with a discrete recurrence formula and uses it to prove an energy inequality for the global L∞ solutions he constructed earlier. That inequality — ∫ A(x)η*(u)dx ≤ ∫ A(x)η*(u0)dx for a.e. t — is a genuine strengthening of the previous existence theorem, and the paper is honest that those solutions did not have finite energy before. The mechanical energy is the physically relevant quantity, so this is a real step for the nozzle flow subfield.\n\nThe main proof idea is sensible. The recurrence formula lets him sum a discrete energy inequality, and the Jensen step plus the error estimate gives the o(1) limit. The algebra producing the A_n, B_n, C_n terms and the R(x,u) remainder is routine but I didn't find an obvious slip.\n\nThe soft spot is exactly where the reader put it. Proposition 4.1 carries the whole weight: the temporal oscillation bounds (4.3) and (4.4) are what turn the sum of D_n+E_n into O(√Δx). The paper does not prove them. It says they 'can be obtained in a similar manner' to results in [T1], but [T1] was for the modified Godunov scheme. Here the scheme is Lax-Friedrichs with staggered averaging, so it is not automatic that the L2 bounds transfer. On top of that, the near-vacuum cells in Appendix A define the approximate solution differently, sometimes as the exact Riemann solution, and the construction is only sketched. The cited estimates are not shown to cover those cells. If (4.3) or (4.4) fails in any of these cases, the o(1) in (4.5) disappears and Theorem 1.2 is unsupported. That is a load-bearing gap, not a cosmetic one.\n\nThe entropy condition along discontinuities is also cited from [T1, Lemmas 5.1–5.4] rather than reproved, though that is a lesser concern since the construction is essentially the same as the earlier Godunov scheme.\n\nI don't see circularity or fabricated results. The heavy self-citation is natural here; this paper is explicitly a remark on the author's own existence theorem. The missing arguments are the problem.\n\nWho is this for? People working on conservation laws with geometric effects and finite energy solutions. The paper deserves a serious referee; the editor should send it out. But the referee should be told to demand a full proof of Proposition 4.1 and the vacuum construction before accepting.","headline":"Useful strengthening of the author's own existence theorem, but the energy inequality rests on an unproved proposition carried over from a different scheme.","tokens_in":14764,"tokens_out":2013,"would_cite":false,"duration_ms":20722,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L03","35L65","35Q31","76N10","76N15","35A01","35B35","35B50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a finite-energy inequality for global L∞ nozzle-flow solutions to the compressible Euler equations.","keywords":["compressible Euler equations","isentropic nozzle flow","compensated compactness","finite energy solutions","modified Lax-Friedrichs scheme","energy inequality","L-infinity solutions","global weak solutions"],"falsifier":"Evaluate the two sums in (4.3) and (4.4) for the modified Lax-Friedrichs approximations in a non-monotone nozzle with admissible large data; if either sum exceeds the stated bound, the $o(1)$ error in (4.5) fails and the weighted energy inequality for the limiting weak solution cannot be concluded.","tokens_in":13581,"feed_emoji":"","tokens_out":6001,"duration_ms":62543,"temperature":0.7,"pith_summary":"This paper tries to establish that the global bounded weak solutions of the compressible Euler equations for isentropic nozzle flow, which had previously been constructed for large data and a general nozzle, dissipate mechanical energy. The proof introduces a modified Lax-Friedrichs scheme whose approximate solutions obey a discretized recurrence inequality for the mechanical energy, rather than trying to prove the energy inequality directly for the weak solution. From that recurrence, convexity, and error estimates deferred to an earlier paper, the paper derives a weighted energy inequality for the approximations. Passing to the limit through compensated compactness then gives the same energy inequality for the weak solution, so the constructed $L^\\infty$ solution also has finite energy and finite propagation.","feed_headline":"Finite energy proven for global L∞ nozzle-flow solutions","feed_subtitle":"A modified Lax-Friedrichs scheme yields the energy inequality and carries it to the weak-solution limit.","key_machinery":"The load-bearing object is the recurrence formula (4.1), obtained by applying Green's formula to the mechanical energy pair $(\\eta_*, q_*)$ in each staggered cell of the modified Lax-Friedrichs scheme. The formula expresses the cell energy at the next time level in terms of the previous level plus flux-difference terms, source terms involving $A'/A$, and error terms $D_n+E_n$. Proposition 4.1 controls those error terms through two $L^2$ estimates on jumps between adjacent time levels and within time steps, with the proof deferred to an earlier paper. Jensen's inequality then converts the recurrence into a global weighted energy inequality, and compensated compactness carries it to the limiting weak solution; the Riemann-invariant bounds in (1.8) keep the approximate states inside the invariant region and away from vacuum pathologies.","core_discovery":"The central claim is Theorem 1.2: whenever the initial weighted mechanical energy $\\int_{\\mathbb{R}} A(x)\\eta_*(u_0(x))\\,dx$ is finite, the global entropy weak solution from Theorem 1.1 satisfies $$\\int_{\\mathbb{R}} A(x)\\eta_*(u(x,t))\\,dx \\le \\int_{\\mathbb{R}} A(x)\\eta_*(u_0(x))\\,dx$$ for almost every $t>0$. Here $A(x)$ is the nozzle cross-section and $\\eta_* = \\frac{m^2}{2\\rho} + \\frac{\\rho^\\gamma}{\\gamma(\\gamma-1)}$ is the mechanical energy. The proof works by first proving the same inequality for the modified Lax-Friedrichs approximations and then showing that the inequality survives the compensated-compactness limit, so the dissipative character of the approximate scheme is inherited by the weak solution itself.","pith_inferences":["The strict convexity of $\\eta_*$ means the weighted energy inequality supplies control beyond the $L^\\infty$ bound, placing the constructed solutions in a natural weighted $L^1$ class that may support compactness or stability arguments unavailable for merely bounded entropy solutions.","A testable consequence is that any numerical or analytical candidate for an admissible weak solution of the isentropic nozzle equations with finite initial energy should satisfy the same weighted inequality; a counterexample would indicate that the construction selects a particular admissible solution rather than all entropy solutions.","The proof's error terms depend on regularity of $A$ through $A'/A$, so a natural extension is to determine the minimal nozzle regularity needed for the energy inequality to hold, and to check whether rougher nozzles admit solutions that violate it."],"forward_implications":["If correct, the $L^\\infty$ weak solutions of Theorem 1.1 have finite weighted mechanical energy at almost every time, bounded by the initial energy.","The energy inequality survives the compensated-compactness limit, so the dissipativity of the modified Lax-Friedrichs scheme is a property of the limiting weak solution, not just of the approximations.","Because the solution is $L^\\infty$, finite energy is accompanied by finite propagation speed, giving the combination of physical properties that the paper identifies as essential.","The paper states that the same recurrence-formula method applies to the earlier spherically symmetric, Laval-nozzle, and general $a\\in L^1(\\mathbb{R})$ cases, so a corresponding energy inequality should hold there as well."],"supporting_citations":[{"why":"Supplies the validity of the approximate Riemann construction, the entropy conditions along discontinuities cited as Lemmas 5.1-5.4, and the deferred estimates (4.3)-(4.4) via (6.18) and Lemma 7.1.","marker":"[T1]"},{"why":"Provides the global $L^\\infty$ entropy weak solution for the isentropic nozzle flow whose energy inequality is the target, and supplies the compensated-compactness convergence framework used to pass to the limit.","marker":"[T6]"},{"why":"Introduced the idea of deriving an energy inequality from a recurrence formula for discretized approximate solutions before taking a limit.","marker":"[T2]"},{"why":"Extended the recurrence-formula energy method and is cited as the source of the same technique used in the present proof.","marker":"[T3]"}],"fun_headline_variants":["Energy inequality proven for L∞ nozzle-flow solutions","Global L∞ solutions satisfy energy inequality","Finite energy for isentropic nozzle flows","Modified Lax-Friedrichs secures energy bound","L∞ solutions to Euler equations gain finite energy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on Proposition 4.1's two estimates, which are not proved in this paper; they are deferred to an earlier paper, and if either fails the error term in (4.5) is not small and the energy inequality does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Energy inequality proven for L∞ nozzle-flow solutions","Global L∞ solutions satisfy energy inequality","Finite energy for isentropic nozzle flows","Modified Lax-Friedrichs secures energy bound","L∞ solutions to Euler equations gain finite energy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1337,"prompt_tokens":933,"completion_tokens":404,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":333}},"tokens_in":549,"tokens_out":404,"duration_ms":4722,"temperature":1.0,"reasoning_tokens":333,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:22:29.447301+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the two sums in (4.3) and (4.4) for the modified Lax-Friedrichs approximations in a non-monotone nozzle with admissible large data; if either sum exceeds the stated bound, the $o(1)$ error in (4.5) fails and the weighted energy inequality for the limiting weak solution cannot be concluded.","supporting_citations":[],"review_version":1}