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.
Quantitative forced similarity estimate for real-linear Beltrami equations
Statement
Assume the Axiom of Choice and Countable Choice. Fix and . Let be measurable and supported in , with , and . If is continuous, tends to zero at infinity, and satisfies then The constants do not depend on the measurable coefficients or on the particular solution.
Statement references
Facts & Assumptions
Given: The Axiom of Choice and Countable Choice and the functions and parameters in the statement.
The complex-linear equation with and both data supported in has the solution , with and at infinity. (Planar Cauchy and Beurling transforms and near-two Beltrami inversion)
A continuous locally solution of , with and compact support of , factors through the principal quasiconformal coordinate as an entire holomorphic function; hence a bounded solution tending to zero is zero. This factorization is proved locally in the CGO construction. (Measurable-coefficient Beltrami CGO solutions and principal phases)
The Axiom of Choice and Countable Choice are used at [F1]–[F2]. (The Axiom of Choice, The Axiom of Countable Choice ())
Proof
Given: The data in the statement.
Define where and otherwise, and define where and otherwise. Then are measurable, supported in , satisfy , , and the equation becomes . The identities also hold on the zero denominator sets, because the corresponding original terms are zero there. Let . By [F1], , at infinity, and .
Put . The weak product and composition rules follow by local smooth approximation, since both factors are continuous and bounded on compact sets and their derivatives are in . The equation in step 1.1 gives . The particular solution obeys , by [F1]. Both and are continuous and tend to zero at infinity; their difference is bounded and solves the homogeneous equation. By [F2], . Finally , so the product rule gives . This proves the estimate.
Depends on
Used by
Dependency tree · two levels
26 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
- Barceló, Faraco and Ruiz, Stability of Calderón inverse conductivity problem in the plane (standard reference, not scraped)