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.
One-dimensional orthogonal finite-volume viscous scheme
Definition
Let , let be an integer, put , and partition into the open cells , , with centers . The interior face separates and for ; the two endpoints are boundary faces. This is the one-dimensional uniform specialization of Finite-volume cell-face meshes and geometric regularity: cells are convex intervals, faces are their endpoints, and the common face orientation is from left to right.
For cell states , set and define the admissible face state . Define the face block , where is the state-space block of Positive-semidefinite entropy-variable factorization of viscous flux for spatial direction one. The shared rightward viscous flux is
Set the boundary fluxes . The finite-volume viscous operator is
This is only the viscous diffusion part of the balance law; no Euler convection term or time discretization is included. The boundary convention is zero total viscous flux.
The schematic shows cells and two representative shared-flux arrows. The arrows show the rightward orientation used in the balances; the endpoint labels are the imposed zero boundary fluxes, and the omitted interior face uses the same convention. The drawing illustrates signed incidences only and is not used as a proof.
Depends on
Used by
Dependency tree · one level
5 results within one dependency step 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
- R. Eymard, T. Gallouët, and R. Herbin, Finite Volume Methods, January 2019 updated author text, complete manuscript (standard reference, not scraped)
- Jérôme Droniou, Finite volume schemes for diffusion equations: introduction to and review of modern methods, 2014, complete preprint (standard reference, not scraped)
- Pablo Fernandez, Ngoc-Cuong Nguyen, and Jaime Peraire, Entropy-stable hybridized discontinuous Galerkin methods for the compressible Euler and Navier-Stokes equations, complete author preprint (standard reference, not scraped)