{"id":"587a78ba-4aca-44d4-bb5b-4dee119c6e35","arxiv_id":"2501.18518","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives, from integral balance laws and surface geometry, the standard surface balance equation with jump conditions, and shows how it relates to existing formulations.","lead":"This paper presents a rigorous, self-contained derivation of transport theorems and balance laws for fluids divided by a moving internal surface, such as a shock or phase boundary. It unifies formulas from several classical sources and clarifies which time derivative goes with each term.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.4 is proven only for graph surfaces with wν > v·ν, while the global and degenerate cases needed for (70) and hence (71) are deferred to an omitted extension.","rationale":"The paper has genuine independent support: Theorems 4.1–4.3 are proved in full, the final surface balance (71) reproduces the established Müller/Dreyer equation and reduces to the classical Rankine-Hugoniot condition in the no-surface limit, and there is no circularity or fitted parameters. The weak spot is the proof of Theorem 4.4, the only theorem invoked with a global statement whose proof is explicitly local and conditional on a strict velocity ordering. Because the pillbox derivation of the central equation (71) relies directly on (70), the rigor of the central claim depends on resolving this gap. The authors flag the gap honestly, and the missing arguments appear to be standard, so this does not warrant rejection. It does warrant a conditional verdict until the extension is supplied or the theorem is restated locally. This matches the reader's weakest_assumption, and the recommended verdict is unchanged.","tokens_in":27237,"tokens_out":31044,"duration_ms":362657,"concrete_test":"Write out the omitted cases of Theorem 4.4: (i) reverse the normal to cover wν < v·ν and verify that (69) is invariant under the interchange V1↔V2; (ii) for wν = v·ν, regularize with w^ε = w + ε νΣ, prove (69) for w^ε, and pass ε→0; (iii) partition a non-graph surface into finitely many patches satisfying (46), apply the local formula on each patch, and check that the surface-correction terms on patch boundaries cancel. If all three steps hold, the derivation of (71) is complete; if any step fails, the central claim is not established in that regime.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central pillbox derivation of (71) uses formula (70), which is Theorem 4.4. The proof of Theorem 4.4 is explicitly local: Section 2.4 assumes 'without loss of generality' that all components of νΣ are positive and that wν > v·ν, with V2(0) represented as a graph column (46). The proof in Section 4.4 then says this is not a serious restriction because the theorem is used locally, and the global piecewise extension is 'omitted.' This gap is load-bearing because the theorem is stated globally and the balance law (54) is asserted for arbitrary material volumes. For a material interface with wν = v·ν, the strict ordering fails and the proof as written does not apply. For a surface that turns back on itself, the graph representation fails globally even locally in some coordinate systems. Since the final surface equation (71) is obtained by applying (70) to each pillbox, the rigorous status of the central claim inherits this gap. The gap is honestly acknowledged and is likely patchable by reversing the normal for wν < v·ν, by a limiting argument for wν = v·ν, and by partitioning a non-graph surface into graph patches, but as written the proof of the global theorem is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops transport theorems and balance laws for material control volumes in R^3 that are divided by a moving singular surface across which fields may be discontinuous. The central result is the pointwise surface differential balance (71), derived from the integral balance (54) via a generalized Reynolds transport theorem (Theorem 4.4) and a pillbox argument. The paper also gives a self-contained review of surface calculus, moving-surface time derivatives, and surface transport theorems, and it sketches the reduction to moving curves and points in Section 5.","tokens_in":27481,"tokens_out":18188,"duration_ms":187083,"significance":"If the proof gaps are closed, this would be a useful rigorous reference that unifies volume and surface balance derivations and clarifies the origin of the flux-correction term in Müller's transport formula. The paper's strengths are that the classical theorems are proved rather than cited, the derivations contain no fitted parameters, and the comparison with the existing literature (Müller, Dreyer, Dziuk-Elliott, Cermelli et al.) is explicit. However, the proof of the load-bearing Theorem 4.4 is incomplete as written, and Section 4.3 contains an unjustified omission of jump terms, so the rigorous status of the main claim needs substantial revision.","major_comments":[{"comment":"The proof of Theorem 4.4 is carried out only under the global graph assumption (46) and the strict ordering wν > v·ν, which is introduced as 'without loss of generality' in Section 2.4. The text in Section 4.4 explicitly says that the piecewise extension is 'omitted'. This is load-bearing because formula (70) is used directly in the pillbox derivation of (71) in Section 4.5. In particular, the proof as written does not cover the material-interface case wν = v·ν, nor a surface that cannot be represented as a single graph over one fixed shadow domain. The authors should either supply the omitted extension (e.g., by a partition of the surface into graph patches and a limiting argument for the degenerate ordering) or restate Theorem 4.4 with an explicitly local graph hypothesis and verify that the pillbox argument needs only the local version.","section":"Theorem 4.4; assumptions in Section 2.4, Eq. (46)"},{"comment":"Equation (66) is obtained from (54) by applying the Gauss-Green theorem and the surface divergence theorem to a control volume that may contain the singular surface Σ(t). For such a control volume the Gauss-Green theorem produces an additional surface jump contribution ∫_Σ JjK·νΣ dS, and the time derivative of the volume term would, in the non-smooth case, require the generalized transport theorem which adds ∫_Σ JψK w·νΣ dS. These jump terms are absent from (66). Consequently, the pillbox limit in Section 4.3 yields Eq. (67), which is not a valid surface balance in the presence of bulk discontinuities; it is incompatible with the final equation (71) unless the combination Jψv + jK·νΣ − JψK wν vanishes. The authors should either explicitly restrict Section 4.3 to fields that are continuous across Σ (and say so), or include the jump terms so that the limiting process gives the full surface balance with jumps.","section":"Section 4.3, Eqs. (66) and (67)"},{"comment":"The volume VΣ,ε is defined as a geometric tube around a patch of Σ(t), but the generalized transport theorem (70) and the balance law (54) were derived for material volumes whose boundary moves with the particle velocity v. If VΣ,ε is intended to be a material volume, the authors should state that at each evaluation time one chooses a material volume that instantaneously coincides with the geometric pillbox; otherwise the boundary term in (70) would have to use the boundary velocity w rather than v, which would change the resulting jump condition. As written, the application of (70) to the geometric pillbox is not justified and needs a clarifying sentence or a short argument.","section":"Section 4.5, pillbox derivation after Eq. (71)"}],"minor_comments":[{"comment":"Equations (74) and (75) are presented as direct reductions to two and one dimensions, but only a heuristic sketch is given. Since the paper advertises a rigorous derivation, either provide the reduction in more detail or explicitly label these formulas as formal analogies.","section":"Section 5, after Eq. (73)"},{"comment":"The phrase 'We we set ψν' contains a duplicated word and should read 'We set ψν'.","section":"Theorem 4.3, proof, line before Eq. (64)"},{"comment":"The name 'Müeller' appears to be a typo for 'Müller'.","section":"Introduction, paragraph 2"},{"comment":"In the surface integral transformation, the symbol uν should read wν (the normal component of the surface velocity), based on Eq. (36).","section":"Section 4.4, proof of Theorem 4.4"},{"comment":"The phrase 'of of the inequalities' should be corrected to 'of the inequalities'.","section":"Section 4.3, Lebesgue differentiation paragraph"},{"comment":"The color coding (green and blue) used to distinguish volume and surface terms is not reproduced in the arXiv text; statements such as 'terms marked with mixed colors' are unintelligible without the actual colors. Please add labels or use another marking scheme.","section":"General notation, Section 3"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a careful survey and derivation of known results, with the claimed novelty being a rigorous derivation of the surface balance (71). The gaps identified by the stress-test note are real and are honestly acknowledged in the manuscript. In addition, I found a more direct issue in Section 4.3: Eq. (66) omits the jump terms that necessarily arise when the control volume contains the singular surface, so Eq. (67) is not correct in the discontinuous case. These issues are fixable within the manuscript's scope, but they require a substantive revision of the proof structure and the regularity hypotheses. The paper would also benefit from a clearer statement of whether the pillbox in Section 4.5 is a material volume or an arbitrary moving volume."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is worth having on the shelf: it takes the standard integral balance for a volume split by a singular surface and derives the pointwise surface balance equation (71) in a clean, self-contained way, with explicit definitions of the Thomas, Lagrangian, and other surface time derivatives. The continuity with Müller, Dreyer, Dziuk–Elliott, and Cermelli–Fried–Gurtin is honestly traced, and the authors show how the so-called flux correction in Müller's transport formula comes out of the parametrized moving surface rather than being postulated. That is the genuinely useful contribution: one proof-based reference where the pieces are assembled with consistent notation.\n\nThe soft spot is exactly where the stress-test note points. Theorem 4.4 is stated globally but proved only under the local assumptions of a graph representation and the ordering wν > v·ν; the piecewise extension is deferred with a remark that it is 'omitted.' Since the pillbox derivation of (71) relies on this theorem, the rigorous status of the central claim inherits that gap. This is a real limitation, but it is honestly stated, and the gap looks patchable: reverse the normal for the opposite ordering, use a limiting argument for equality, and patch non-graph surfaces locally. The lower-dimensional reductions in Section 5 are sketched rather than derived, which is fine for a reference but worth flagging.\n\nI do not see circularity: the derivation starts from the integral balance (54) and surface geometry, and only after the fact compares with Müller and Dreyer. No fitted parameters, no invented entities. The citation pattern is broad and fair, including the authors' own past work only where pertinent.\n\nWho gets value: anyone working on phase boundaries, surfactant transport, or sharp-interface models who wants a single source for the surface balance law and its proof machinery. The paper does not change the equations physicists already use, but it makes their derivation accessible and checkable. The proof gap is not fatal; it is a technical incompleteness in a theorem whose final form appears correct.\n\nI would send this to a serious referee. It deserves careful review, and the main request to the authors should be to supply the omitted global extension or, failing that, restate Theorem 4.4 as a local result. I would also bring it to a reading group for people interested in moving interface problems.","headline":"A careful, readable unification of known surface balance laws; the main value is reference-grade clarity, with a genuine but acknowledged proof gap in the global version of the central transport theorem.","tokens_in":27983,"tokens_out":1159,"would_cite":true,"duration_ms":14802,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L65","53A45","35Q35"],"pacs":[],"model":"deepseek-v4-flash","headline":"From one generic integral balance law, this paper derives the pointwise differential balance that holds on a moving singular surface inside a material volume.","keywords":["balance laws","singular interfaces","transport theorems","moving surfaces","jump conditions","mean curvature","Reynolds transport theorem","surface balance equations"],"falsifier":"Take a closed spherical interface with a known bulk flow and surface density, compute both sides of (71) numerically at a point where the surface normal is horizontal, and check whether the equality holds; because a sphere cannot be represented as one global graph over a fixed plane, failure at such a point would show that the graph assumption in the proof is not actually without loss of generality.","tokens_in":27020,"feed_emoji":"📐","tokens_out":9762,"duration_ms":92551,"temperature":0.7,"pith_summary":"This paper establishes that a single integral balance for a material volume split by a moving singular surface, where bulk fields may jump, implies a pointwise differential balance law on the surface, coupling surface dynamics to the jump in bulk quantities across it. The derivation proves the transport theorems it needs: the volume Reynolds transport theorem, a surface transport theorem for moving hypersurfaces, and a generalized Reynolds transport theorem that accounts for the singular surface. Along the way it shows that a flux-correction term appearing in classical surface transport formulas is not an extra postulate but follows from differentiating the parametrized moving surface and its area element. If the derivation is right, modelers of shocks, phase boundaries, reaction fronts, and surfactant-laden interfaces can treat bulk and surface balance equations as two consequences of one integral law, with curvature terms entering with definite geometric meaning.","feed_headline":"One equation unites bulk flows and curved surface dynamics","feed_subtitle":"A pillbox derivation shows the surface balance law follows without extra assumptions.","key_machinery":"The argument is carried by the parametrized moving surface: a reference surface $\\Sigma_0$ is transported by a flow map $\\chi_\\Sigma^t$ to $\\Sigma(t)$, giving surface velocity $w$ and a time-dependent metric $g_{\\alpha\\beta}$ whose area element evolves by $\\frac{d}{dt}\\sqrt{g}=(\\nabla_\\Sigma\\cdot w)\\sqrt{g}$. From this the paper proves the surface transport theorem (61)–(65), relating the Lagrangian surface time derivative, the Thomas derivative, and the partial time derivative, and the generalized Reynolds transport theorem (69)–(70), which adds a surface integral involving the jump $\\llbracket\\psi(w-v)\\rrbracket\\cdot\\nu_\\Sigma$. The surface divergence theorem (58)–(59) converts tangential flux integrals into surface divergences, and the pillbox limit, a thin cylindrical neighborhood shrunk onto the surface, isolates the surface contribution and produces (71).","core_discovery":"The paper's central result is that the generic integral balance (54), applied to a control volume divided by a moving surface $\\Sigma(t)$, yields the pointwise surface balance law $$\\partial_t \\psi_\\Sigma + \\nabla_\\Sigma\\cdot(\\psi_\\Sigma w_q) + (\\psi_\\nu - 2\\kappa_M\\psi_\\Sigma)w_\\nu + \\nabla_\\Sigma\\cdot j^q_\\Sigma - \\xi_\\Sigma = \\llbracket\\psi\\rrbracket w_\\nu - \\llbracket\\psi v + j\\rrbracket\\cdot\\nu_\\Sigma.$$ Here $\\psi_\\Sigma$ is the surface density, $w_q$ and $w_\\nu$ are the tangential and normal components of the surface velocity, $\\psi_\\nu$ is the normal derivative of the surface density, $\\kappa_M$ is the mean curvature, $j_\\Sigma$ is the surface flux, $\\xi_\\Sigma$ the surface source, and the right-hand side collects the jumps of bulk density, momentum flux, and diffusive flux across the surface. The paper shows that this equation follows by applying the generalized Reynolds transport theorem and the surface transport theorem to the integral balance and then shrinking a curved pillbox onto the surface; no term is added by hand, and the result is independent of the parametrization used in the proof.","pith_inferences":["A natural test is to apply (71) to surfactant transport on a deforming droplet, where $j_\\Sigma$ is a surface diffusion flux; the sign of the curvature term could be checked against fully resolved numerical simulations.","Because the proof of Theorem 4.4 is local, a global version for closed or self-intersecting interfaces would need either a piecewise graph construction or an implicit level-set formulation, suggesting a concrete technical gap to fill.","The framework suggests that kinetic relations at phase boundaries, often added as separate constitutive assumptions, could be incorporated through the surface source $\\xi_\\Sigma$ or through jump-dependent surface fluxes without changing the balance structure.","Although boundary interactions are excluded, the same pillbox machinery may extend to interfaces meeting the outer boundary of a domain, connecting this derivation to domain-boundary interface conditions."],"forward_implications":["Surface balance laws used in sharp-interface and phase-transition models follow from the same integral balance as the bulk equations, so the two need not be postulated separately.","In the absence of surface density, surface flux, and surface source, (71) reduces to the classical jump condition $\\llbracket\\psi(w-v)-j\\rrbracket\\cdot\\nu_\\Sigma=0$, recovering standard Rankine-Hugoniot conditions as a special case.","The final surface balance is independent of the parametrization used in the proof, so different coordinate-based formulations in the literature are reconciled.","Symmetry reduction yields the moving-curve equation (74) in two dimensions and the generalized Rankine-Hugoniot condition (75) for a moving point in one dimension.","The derivation clarifies which terms are geometric, such as the mean-curvature term $-2\\kappa_M\\psi_\\Sigma w_\\nu$, and which are physical, namely sources and fluxes, aiding consistent constitutive modeling on interfaces."],"supporting_citations":[{"why":"Provides the classical surface balance in the form (73) whose derivation this paper revisits, including the flux-correction term the new proof generates rather than postulates.","marker":"[30]"},{"why":"Supplies the motivating preprint formulation of surface transport and jump conditions that the paper compares with (71).","marker":"[15]"},{"why":"Gives the surface transport (Leibniz) formula that Theorem 4.3 extends and proves, in both parametrized and level-set form.","marker":"[16]"},{"why":"Proves transport relations for surface integrals in the case of vanishing normal derivative, a special case of the surface balance in (65).","marker":"[10]"},{"why":"Classical source for the generalized Reynolds transport theorem and the pillbox argument that the paper adapts to surface balances.","marker":"[43]"},{"why":"Supplies the tensor calculus, surface metric, curvature, and surface divergence identities used throughout the derivation.","marker":"[3]"},{"why":"Provides the two-dimensional moving-phase-boundary theory to which Section 5 reduces the surface balance.","marker":"[21]"},{"why":"Introduces the general pillbox derivation of jump conditions that the paper extends to surfaces carrying their own dynamics.","marker":"[23]"}],"fun_headline_variants":["Surface balance law derived, not assumed","Pillbox derivation yields surface law from bulk balance","Unified balance law for singular interfaces","Transport theorems give surface balance without extra terms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the generalized transport theorem assumes the singular surface can locally be drawn as a single-valued graph over a fixed flat shadow region with a positive normal component and with the surface moving faster than the fluid in the normal direction, and it leaves the extension to surfaces that cannot be drawn this way to a piecewise argument that is not written out.","fun_headline_variants_meta":{"raw":{"variants":["Surface balance law derived, not assumed","Pillbox derivation yields surface law from bulk balance","Unified balance law for singular interfaces","Transport theorems give surface balance without extra terms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000543,"raw_usage":{"total_tokens":2552,"prompt_tokens":851,"completion_tokens":1701,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":1646}},"tokens_in":467,"tokens_out":1701,"duration_ms":12211,"temperature":1.0,"reasoning_tokens":1646,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T23:10:00.904580+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a closed spherical interface with a known bulk flow and surface density, compute both sides of (71) numerically at a point where the surface normal is horizontal, and check whether the equality holds; because a sphere cannot be represented as one global graph over a fixed plane, failure at such a point would show that the graph assumption in the proof is not actually without loss of generality.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the classical surface balance in the form (73) whose derivation this paper revisits, including the flux-correction term the new proof generates rather than postulates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the motivating preprint formulation of surface transport and jump conditions that the paper compares with (71)."},{"cited_title":"Dziuk and C","cited_arxiv_id":null,"evidence_quote":"Gives the surface transport (Leibniz) formula that Theorem 4.3 extends and proves, in both parametrized and level-set form."},{"cited_title":"Cermelli, E","cited_arxiv_id":null,"evidence_quote":"Proves transport relations for surface integrals in the case of vanishing normal derivative, a special case of the surface balance in (65)."},{"cited_title":"Truesdell and R","cited_arxiv_id":null,"evidence_quote":"Classical source for the generalized Reynolds transport theorem and the pillbox argument that the paper adapts to surface balances."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the tensor calculus, surface metric, curvature, and surface divergence identities used throughout the derivation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the two-dimensional moving-phase-boundary theory to which Section 5 reduces the surface balance."},{"cited_title":"Kotchine","cited_arxiv_id":null,"evidence_quote":"Introduces the general pillbox derivation of jump conditions that the paper extends to surfaces carrying their own dynamics."}],"review_version":1}