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.
High contrast destroys contrast-independent conditioning
Example
In dimension , let on the first half-period and on the second, with . Then Thus pointwise ellipticity of each fixed coefficient does not give a contrast-independent condition number.
Facts & Assumptions
Given: A layered periodic scalar coefficient with positive values and on equal fractions, where each fixed is uniformly elliptic with and .
Symmetry and uniform ellipticity of the effective tensor: is symmetric positive definite for every fixed .
Periodic correctors and effective tensor: the effective matrix is the mean corrector flux.
One-dimensional nonaligned micro sampling resonance bound: the mean-zero harmonic-mean corrector for the one-dimensional profile belongs to ; its smooth periodic approximants lift to the higher-dimensional cell.
Tonelli's theorem for nonnegative measurable functions on a sigma-finite product: iterated integration over the unit cell is valid for the layered coefficient times a smooth periodic test derivative.
Proof
The normal corrector has derivative with ; this derivative has zero mean, and its periodic primitive gives constant normal flux . With and , [F3] supplies the one-dimensional mean-zero corrector; lifting its smooth periodic approximants in the first coordinate gives the required member of . For each tangential coordinate , zero is the corrector: for every smooth periodic , Tonelli [F4] and the one-dimensional FTC in give , and density extends this to . Its mean flux is . These correctors yield the stated diagonal entries.
Since , the tangential eigenvalue is at least the normal one: . The spectral condition number is therefore their ratio, , which diverges as . Every fixed remains positive and satisfies [F1]; only a uniform-in-contrast condition number fails.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
21 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.