Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 L>0, let N≥1 be an integer, put h=L/N, and partition Ω=(0,L) into the open cells Ki=((i−1)h,ih), i=1,…,N, with centers xi=(i−12)h. The interior face Fi+1/2={ih} separates Ki and Ki+1 for i=1,…,N−1; 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 Ui∈G, set vi=v(Ui) and define the admissible face state Ui+1/2=(Ui+Ui+1)/2∈G. Define the face block Ki+1/2=K11(Ui+1/2), where K11 is the state-space block of Positive-semidefinite entropy-variable factorization of viscous flux for spatial direction one. The shared rightward viscous flux is

Gi+1/2=Ki+1/2vi+1−vih,i=1,…,N−1.

Set the boundary fluxes G1/2=GN+1/2=0. The finite-volume viscous operator is

U˙i=Gi+1/2−Gi−1/2h,i=1,…,N.

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.

K1K2K3KNG3=2G5=200

The schematic shows N=4 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