Dimensionless Small-Parameter Check¶
Validity check — instantiates Solvable Baseline Decomposition
Forms the dimensionless ratio that decides whether a departure is genuinely small — the go/no-go check that a perturbative expansion is even allowed at the operating point.
A perturbation is only useful if it is actually small relative to the thing it perturbs — and "small" is meaningless until you say small compared to what. Dimensionless Small-Parameter Check builds the reference scales that make the comparison possible and then forms the dimensionless ratio ε that decides the question. Its defining move is normalization: it strips units from the departure by dividing it by the appropriate baseline scale, yielding a pure number, and then tests whether that number is ≪ 1. If it is, a perturbative expansion is licensed and the whole baseline-plus-correction machinery is allowed to proceed; if ε is order one or larger, the method is invalid at this operating point and the honest verdict is to stop. This is a go/no-go gate on a single configuration — it certifies smallness here, not everywhere. It says nothing about naming the departures (already done) or computing their effects (not yet).
Example¶
An engineer is modeling airflow over a small drone rotor and wants to treat viscosity and compressibility as perturbations on an idealized inviscid, incompressible baseline flow. Before trusting that, the check runs. It forms the governing dimensionless groups: the Reynolds number (the ratio of inertial to viscous forces) and the Mach number (flow speed over the speed of sound). Normalizing against the rotor's chord length, tip speed, and air properties, it finds the Mach number is about 0.08 — comfortably ≪ 1, so compressibility is a genuinely small departure and can be corrected perturbatively. But the Reynolds number comes out around 4,000, which is not small in the relevant sense: viscous effects are not a gentle correction here, they organize into a turbulent boundary layer. Verdict: compressibility, yes, treat as a small parameter; viscosity, no — an inviscid baseline plus a small viscous correction is not licensed at this operating point, and pretending otherwise would smuggle turbulence in as if it were a footnote.
How it works¶
- Choose the reference scales. Identify the baseline quantities (a length, a velocity, an energy, a time) against which the departure will be measured.
- Nondimensionalize the departure. Divide the departure by the matching baseline scale to produce a pure dimensionless number, ε.
- Test ε against the smallness threshold. Compare ε to 1 (or to a stricter bound the accuracy target demands); ε ≪ 1 licenses the expansion, ε ≳ 1 forbids it.
- Return a per-parameter verdict. Where several departures exist, report smallness for each — some may qualify while others do not.
Tuning parameters¶
- Reference-scale choice — which baseline quantity the departure is normalized against. The wrong reference can make a large effect look small (or vice versa), so this is the highest-leverage and most abused dial.
- Smallness threshold — how far below 1 ε must sit before the expansion is trusted. A strict threshold buys accuracy and rejects marginal cases; a loose one admits departures that are barely small.
- Quantitative vs. qualitative — whether ε is computed as a number or argued heuristically. Numbers are checkable; qualitative "it's small" is fast but hides borderline cases.
- Per-term vs. pooled — whether each departure gets its own ε or a single worst-case ratio stands in for all; per-term is more honest when departures differ in size.
When it helps, and when it misleads¶
Its strength is that it converts an assumption everyone hopes is true — "the departure is small" — into a computed, checkable number, and it does so before any effort is spent computing corrections that a large ε would render worthless. Nondimensionalization is the disciplined engine here: the Buckingham π theorem guarantees that the relevant physics can be captured in a handful of dimensionless groups, which is why the ratio, not the raw departure, is the thing to judge.[n1]
Its failure mode is the mis-normalized parameter: a departure divided by the wrong scale that reads as small when the physically relevant ratio is not. A dimensionless number can also be small on average yet large locally — the classic case where a globally small ε hides a boundary layer or a resonance where it blows up. The misuse is treating a single computed ε as a license for the whole problem when it was only ever a verdict on one operating point. The discipline is to normalize against the governing scale, not the convenient one, and to remember that this check licenses smallness here — mapping where ε stops being small across the parameter space is a different job.
How it implements the components¶
smallness_or_validity_assumption— it makes this assumption explicit and testable, returning a go/no-go verdict on whether the departure is small enough to expand in.scale_normalization_reference— it constructs the baseline reference scales and uses them to nondimensionalize the departure into the ratio being judged.
It does not map where smallness fails across the parameter range — that validity_range_boundary belongs to Validity Boundary Scan, its nearest twin: this check judges ε ≪ 1 at one operating point, the scan sweeps parameters to find the edge where ε stops being small. Nor does it name the departure it normalizes (perturbation_delta_definition, Delta Term Isolation).
Related¶
- Instantiates: Solvable Baseline Decomposition — supplies the smallness verdict that licenses (or forbids) the perturbative expansion.
- Consumes: Delta Term Isolation supplies the named departure whose size this check normalizes and tests.
- Sibling mechanisms: Zeroth-Order Model Selection · Delta Term Isolation · First-Order Correction Pass · Successive-Order Refinement · Convergence or Asymptotic Behavior Check · Benchmark Backtest · Validity Boundary Scan · Fallback Trigger Rule · Residual Comparison Test
Editorial Notes¶
Form Classification¶
Form family: Assessment, Review & Assurance
Rationale: Dimensionless Small-Parameter Check operates as a bounded evaluation of existing evidence or work that produces a finding or disposition because it forms the dimensionless ratio that decides whether a departure is genuinely small — the go/no-go check that a perturbative expansion is even allowed at the operating point.
Independent corroboration: The frozen evidence defines Dimensionless Small-Parameter Check as 'Forms the dimensionless ratio that decides whether a departure is genuinely small — the go/no-go check that a perturbative expansion is even allowed at the operating point', so its operative form is Assessment, Review & Assurance.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Physics
Origin pattern: Single lineage
Present-day reach: Multi-domain
Rationale: Perturbation theory cohered normalization of a departure into a dimensionless parameter and the requirement that it be much less than one before expansion is valid.
Related originating lineages:
- Mathematics — Asymptotic analysis supplied small-parameter expansions and operating-point validity bounds.
Review resolution: Perturbation theory cohered normalization of a departure into a dimensionless parameter and the requirement that it be much less than one before expansion is valid. Asymptotic mathematics materially co-formed the physical small-parameter criterion used to license perturbation expansions.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] The Buckingham π theorem of dimensional analysis states that a relation among physical variables can be re-expressed in terms of a smaller set of dimensionless groups — the formal basis for judging a departure by its normalized ratio (like Reynolds or Mach number) rather than its raw, unit-bearing magnitude. ↩