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.
Lipschitz observable bias under bounded law shift
Statement
Let be a measurable space and let be a probability measure on it, meaning a countably additive measure on with . Let be a real normed vector space and give it the norm-Borel -algebra generated by its norm-open sets. Let be measurable maps. Let be -Lipschitz, meaning for all , with . Suppose
for some finite . For a measurable scalar function , write . Let be measurable with and -almost everywhere for a finite , and define the target probability law by for , with target expectation whenever the integral exists. Then the measurable scalar observables and are -integrable and
The estimate assumes a population mean-square error under and a bounded target density ; a finite test sample by itself establishes neither assumption. The state space may represent fluid fields when that measurable state model is supplied. For a physical application, both observables must use the same declared scalar unit; this mathematical proposition assigns no physical units.
Statement references
Facts & Assumptions
Given: The measurable space, normed state space, maps, Lipschitz observable, probability measure, population moment bounds, target density, and constant stated above.
are measurable and have the finite second moments displayed in the Statement; is -Lipschitz.
, , and -almost everywhere; target expectations use the stated density integral.
Random fluid observable and numerical approximation: a supplied measurable random state may take values in a specified measurable state or path space, and a real observable is its measurable scalar composition; physical outputs compared as a bias must use the same declared scalar unit. The Statement supplies a normed state space, measurable maps, Lipschitz , and the needed moment assumptions, and assigns no units.
Holder's inequality for integrals, including the endpoint cases: for measurable square-integrable real functions , .
Proof
Given: The hypotheses in [A1]–[A2] and the supplier interfaces in [F1]–[F2].
The Lipschitz map is continuous, so the measurable state maps make and measurable scalar observables as in [F1]. By [A2], , hence . For every , ; [F2] and [A1] therefore give . The same estimate with proves both target expectations are finite.
The target-density definition and Lipschitz condition give The integral is well-defined by step 1.1 and .
Apply [F2] to and , then use the mean-square bound in [A1] and from step 1.1. This bounds the last integral in step 2.1 by .
Multiplying the step 3.1 bound by in step 2.1 proves the claimed inequality.