Skip to content

Lady Windermere's Fan

A telescoping identity decomposing global numerical error into locally introduced defects carried forward by later evolution.

Version
v1 · 2026-09-28 · History
Domain-specific #
10293
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Numerical Analysis, Error Analysis → Mathematics
Aliases
Lady Windermere's fan argument, Lady Windermere's fan identity

Core Idea

Lady Windermere's Fan is a telescoping error identity that expresses a time-stepping method's global error as the sum of local defects propagated through subsequent exact or numerical evolution.

Replace one exact step at a time by the numerical step; adjacent mixed trajectories cancel, leaving global error. Each local defect is multiplied by later flow sensitivity before contributing at final time.

Structural Signature

Sig role-phrases:

  • Exact flow — Advances the true solution. It is reference. Counterfactual: No baseline means no error definition.
  • Numerical step — Advances an approximation. It is method. Counterfactual: Without it there is no local defect.
  • Local error — Compares one numerical step with exact evolution from the same state. It is source. Counterfactual: Global error is not one local defect.
  • Insertion sequence — Replaces exact steps by numerical ones successively. It is telescope. Counterfactual: Unordered subtraction does not yield the identity.
  • Propagation operator — Carries each defect to final time. It is amplification. Counterfactual: Unstable dynamics can magnify small defects.
  • Global error — Sums all propagated contributions. It is output. Counterfactual: Naive summing without stability is incomplete.

What It Is Not

  • It is not local error alone.
  • It is not a comedy reference in this context.
  • It is not convergence without stability.
  • It is not unweighted accumulation by default.
  • Closest near-miss. A simple sum of local error magnitudes is a bound only when propagation factors are controlled.

Scope of Application

  • Numerical ODEs. Proves global error bounds.
  • Time integration. Relates one-step defects to final accuracy.
  • Stability analysis. Controls amplification.
  • PDE discretization. Extends telescoping arguments.

Clarity

Include telescoping decompositions that insert and subtract mixed exact/numerical trajectories to represent global error as propagated local errors. Exclude generic triangle inequalities, local truncation error alone, and convergence claims with no stability control.

Manages Complexity

High-order defects can still grow under unstable propagation. The telescope is algebraic while useful bounds require Lipschitz or stability data.

Abstract Reasoning

  1. Exact flow — Advances the true solution. No baseline means no error definition.
  2. Numerical step — Advances an approximation. Without it there is no local defect.
  3. Local error — Compares one numerical step with exact evolution from the same state. Global error is not one local defect.
  4. Insertion sequence — Replaces exact steps by numerical ones successively. Unordered subtraction does not yield the identity.
  5. Propagation operator — Carries each defect to final time. Unstable dynamics can magnify small defects.
  6. Global error — Sums all propagated contributions. Naive summing without stability is incomplete.

Knowledge Transfer

Telescoping local-error transport transfers across stable time-stepping schemes after exact and numerical propagators are defined; local order alone does not guarantee global accuracy.

Examples

Applied / In Practice

Replace one exact step at a time by the numerical step; adjacent mixed trajectories cancel, leaving global error.

Mapped back: operation → successive insertion; result → sum of defects.

Applied / In Practice

Each local defect is multiplied by later flow sensitivity before contributing at final time.

Mapped back: source → local error; transport → propagator.

Structural Tensions

T1 — Local Accuracy versus Global Stability. High-order defects can still grow under unstable propagation.

Diagnostic: What bounds the transport?

T2 — Exact Identity versus Practical Estimate. The telescope is algebraic while useful bounds require Lipschitz or stability data.

Diagnostic: Which constants are controlled?

Structural–Framed Character

Advances the true solution. Advances an approximation. High-order defects can still grow under unstable propagation.

Structural Core vs. Domain Accent

Carries each defect to final time. Sums all propagated contributions. The identity loses its meaning when exact and numerical evolution operators or common time grid are undefined.

This entry is a kind of Decomposition.

  • Approved root. The frozen graph retains Lady Windermere's Fan without a parent edge.

  • Related — Local truncation error and Global error. One source term. The final accumulated difference.

Relationships to Other Abstractions

Local relationship map for Lady Windermere's FanParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Lady Windermere's FanDOMAINPrime abstraction: Decomposition — is a kind ofDecompositionPRIME

Current abstraction Lady Windermere's Fan Domain-specific

Parents (1) — more general patterns this builds on

  • Lady Windermere's Fan is a kind of Decomposition Prime

    Lady Windermere's Fan is a strict kind of Decomposition: it telescopically decomposes global numerical error into transported local defects.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Lady Windermere's Fan sits in a moderately populated region (41st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Physical & Geometric Dynamical Quantities (29 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Local truncation error. Tell: One source term.
  • Global error. Tell: The final accumulated difference.
  • Discrete Grönwall inequality. Tell: Often bounds propagation.
  • Telescoping series. Tell: The general algebraic pattern.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Lady_Windermere%27s_Fan_(mathematics) (revision 1371087101).
  • Preserved source candidate: https://link.springer.com/article/10.1007/s00211-026-01551-5

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.