Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicable
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.

No-flow mixed Darcy problem and coefficient norms

Definition

Assume Countable Choice. Let D⊂Rd be a bounded connected Lipschitz polyhedral domain, d∈{2,3}, and set V:=H0(div⁡;D) and Q:=L02(D) with the real graph and integral inner products from The real H(div) space and The real zero-mean L2 space is Hilbert. A permeability tensor K(x) is a measurable real symmetric d×d matrix field for which there are constants 0<κmin⁡≤κmax⁡<∞ satisfying κmin⁡∣ξ∣2≤ξ⋅K(x)ξ≤κmax⁡∣ξ∣2 for almost every x∈D and every ξ∈Rd. It is positive definite almost everywhere, so K−1 is measurable and has eigenvalues between κmax⁡−1 and κmin⁡−1. Define a(u,v):=∫DK−1u⋅v,b(v,q):=−∫Dq div⁡v, and the weighted flux norm ∥v∥K−1:=a(v,v)1/2. For data F∈V′ and f∈Q, the no-flow mixed Darcy problem is to find (u,p)∈V×Q such that a(u,v)+b(v,p)=F(v)(v∈V),b(u,q)=−∫Dfq(q∈Q). The pressure space's zero-mean constraint fixes the additive constant (Neumann) gauge; u∈H0(div⁡;D) encodes zero weak normal flux on the full boundary. In the standard source-only Darcy problem used for hybridization, F=0.

Depends on

Used by

Dependency tree · two levels

20 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