How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Flux-differencing SBP is conservative and semidiscretely entropy stable
Statement
Assume the affine-element method and all directional entropy/SBP data of Conservative flux-differencing SBP method for nonlinear systems. Suppose all nodal states remain in . Define the discrete entropy and the boundary contribution by If , then so is nonincreasing. Here is the explicitly defined normal flux of Conservative flux-differencing SBP method for nonlinear systems, and the boundary sum is over physical boundary faces. For the periodic conclusion, assume each identified boundary-face pair has matching nodes and positive weights and opposite normals. Treat each pair as one interior face using the flux above on the paired traces, with the same under orientation reversal; include it in the interior-face dissipation sum and omit it from . The conservative state-flux contributions of each pair cancel, while its entropy contribution is the same nonnegative interface dissipation in the displayed identity. The same semidiscretization conserves the quadrature-weighted total state on such a periodic mesh. No fully discrete entropy statement follows.
Facts & Assumptions
Given: The flux-differencing SBP equations, positive diagonal volume and face norms, exact affine SBP identities, paired face nodes and weights, common directional entropy pairs, symmetric entropy-conservative volume fluxes, nonnegative interface coefficients , and physical boundary flux data with .
Conservative flux-differencing SBP method for nonlinear systems: the interior normal flux is the entropy-conservative normal flux minus , and the semidiscrete residual is the displayed flux-differencing volume term plus the face SAT.
Convex entropy pairs, entropy variables, and entropy potentials for systems: and for each directional entropy pair.
Tadmor entropy-conservative two-point flux: each symmetric consistent directional two-point flux satisfies .
Interior facet orientations cancel in a matching mesh: every interior facet occurs twice with opposite induced orientations.
The boundary flux data satisfy the displayed nonnegative boundary entropy contribution.
For the periodic conclusion, each identified boundary-face pair has matching nodes and positive weights and opposite normals, is evaluated as one interior interface with the flux from [F1] and the same under orientation reversal, and is omitted from .
Proof
For a fixed cell and direction write and . Symmetry of from [F4] gives . By [F4] the first sum is , since and by [F2]. The second sum is by [F2], diagonal face selection, and consistency from [F4]. Summing directions and the potential identity in [F3] proves the volume entropy boundary identity.
The chain rule gives . Since the semidiscrete equation is , the entropy rate is the negative of the volume and SAT contractions. Combining the volume contraction from step 1.1 with cancels the physical flux and leaves, on each cell face, .
Sum the cell entropy rates from step 2.1. By [F5] the two cell contributions at an ordinary interior face can be written in one orientation as . For an identified periodic pair, [A2] supplies the same reversed orientation and matching weights, so the same calculation applies. Substitution of the flux definition in [F1] and the directional jump identity [F4] makes each interface contribution . The remaining physical boundary-cell contributions are by definition. Moving these terms to the left gives the asserted identity, and [A1] gives nonincrease.
For each component, the constant-vector contraction of the volume term is . The SBP identity and diagonal face selection [F2] reduce this to the physical normal-flux quadrature on the cell boundary, since consistency of the directional fluxes in [F4] gives . The constant-vector contraction of the SAT [F1] subtracts that physical flux and leaves only the numerical normal-flux quadrature. Its contributions cancel on interior faces by normal reversal and flux conservation [F1, F5]; for the periodic conclusion, the paired contributions cancel by [A2]. Thus the quadrature-weighted total state is constant on a periodic mesh with the stated pairing.
Remarks
The argument is semidiscrete. Tadmor's complete entropy analysis includes a separate positive forward-time entropy-production term, so the displayed bound does not transfer to an arbitrary time integrator. The degree-zero scalar forward-Euler and SSPRK branch is proved separately in this pair; it is not a fully discrete result for this high-order nonlinear method.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
11 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Travis C. Fisher and Mark H. Carpenter, High-Order Entropy Stable Finite Difference Schemes for Nonlinear Conservation Laws: Finite Domains, NASA/TM-2013-217971 (standard reference, not scraped)
- Eitan Tadmor, Entropy Stable Schemes, Handbook of Numerical Methods for Hyperbolic Problems, Vol. 17 (2016) (standard reference, not scraped)