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.

Coefficient-scaled averaging and BDDC

Definition

Use the spaces and partial Schur operator of Primal interface spaces and jump convention and Discrete harmonic extension and interface Schur complement. Let E0:W~→W^ average every remaining interface degree of freedom and preserve every already-shared primal value. It is a scaled average if the weights for all copies of each such degree of freedom sum to one. Put Eˉ:=RE0:W~→W~. Then E0R=IW^ and Eˉ is a projection onto W^.

In the PE26 two-dimensional corner-constraint branch, each non-primal node is interior to one interface edge shared by exactly two subdomains i,j. Set

(E0w)(x)=ρiρi+ρjwi(x)+ρjρi+ρjwj(x).

At primal nodes the copies already agree, so the average is the common value. For any finite-dimensional positive definite partial Schur operator S~, the BDDC preconditioner is

MBDDC−1:=E0S~−1E0T:W^′→W^,

for the assembled interface system with operator S^=RTS~R. Its constrained partial-energy interpretation is established in BDDC is the constrained partial-energy minimizer ↗.

Depends on

Used by

Dependency tree · two levels

7 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