Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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 residual SUPG form with the exact cell parameter

Definition

Use the uniform mesh, coefficients, and spaces of One-dimensional stationary convection–diffusion model and uniform P1 space. On every cell set τ=h2∣b∣(coth⁡(Pe)−1Pe),coth⁡s:=cosh⁡ssinh⁡s. For w∈Sh(g0,g1)+C2([0,1]) and vh∈Vh, define ah(w,vh):=ϵ∫01w′vh′ dx+b∫01w′vh dx+∑K∈Thτ∫K(−ϵw′′+bw′)(bvh′) dx, Fh(vh):=∫01fvh dx+∑K∈Thτ∫Kf(bvh′) dx. Second derivatives are taken classically on each cell. The strong equation residual is RK(w):=−ϵw′′+bw′−f. For P1 trial functions, wh′′=0 on each cell, so the cell term is τ∫K(bwh′)(bvh′). On the smooth consistency extension it retains −ϵw′′; thus the full residual pairing is τ∫K(RK(w)+f)(bvh′), while the load contains the matching f term. The SUPG equation is ah(wh,vh)=Fh(vh) and adds the same residual-weighted streamline test perturbation to the differential equation and its load.

Depends on

Used by

Dependency tree · one level

1 result 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