Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Characteristic solution for a finite signed regularized vorticity

Definition

Assume AC. Let ω0 be a finite signed Borel measure on R2, set M=∣ω0∣(R2), and let ω0=ω0+−ω0− be its Jordan decomposition. The Jordan total-variation formula gives M=ω0+(R2)+ω0−(R2). If M=0, its characteristic solution is the constant zero measure curve. If M>0, set E=R2×{+1,−1} with sigma-algebra B(R2)⊗2{+1,−1}, and define the probability measure λ0 by λ0(A×{s})=ω0s(A)/M for Borel A and s∈{+1,−1}; its total mass is one by the displayed formula. A signed characteristic solution for the regularized kernel Kε on [0,T] is a jointly measurable path map Z:[0,T]×E→R2, modulo λ0-almost everywhere equality, with absolutely continuous paths for almost every label, Z0(x,s)=x, and

Zt(x,s)=x+M∫0t∫ErKε(Zu(x,s)−Zu(y,r)) dλ0(y,r) du,

such that its time-supremum function is measurable and ∫Esup⁡0≤t≤T∣Zt(x,s)∣ dλ0(x,s)<∞. It represents the signed measure curve

ωt=M∫Es δZt(x,s) dλ0(x,s).

Here ω0s denotes ω0+ when s=+1 and ω0− when s=−1. The total variation mass is M at time zero, and the sign coordinate records each Jordan part separately.

Depends on

Used by

Dependency tree · two levels

25 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