Comparison of high number limits and infinitesimals: What does the tilde above the letters mean?

The tilde notation placed above a letter, such as in \(\tilde{x}\), is a typographical convention used across mathematics to denote a specific, alternative version of an object already named by that letter. Its meaning is entirely context-dependent, but in the realms of comparing large numbers and the analysis of infinitesimals, it most commonly signifies an approximation or a perturbation. In numerical analysis or asymptotic analysis, \(\tilde{x}\) might represent an estimated value approximating the true value \(x\), or in perturbation theory, it could denote a small deviation from a principal state. This flexible notation serves as a visual cue that the marked variable is related to, yet distinct from, its unadorned counterpart, often for the purpose of comparative study.

When examining limits involving large numbers, the tilde is frequently employed in asymptotic equivalence. The statement \(f(n) \sim g(n)\) as \(n \to \infty\) is a precise mathematical definition meaning the limit of the ratio \(f(n)/g(n)\) approaches 1. This indicates the functions grow at the same leading order, providing a powerful tool for comparing the growth rates of sequences or functions, such as distinguishing between linear, polynomial, and exponential scaling. Here, the tilde operates as a relational operator between two functions, not as a diacritical mark on a single variable, though it is the same symbol. It abstracts away lower-order terms to focus on the dominant behavior in the limit, which is fundamental in fields like analytic number theory and the analysis of algorithms.

In the context of infinitesimals and calculus, particularly within non-standard analysis, the notation can take on a different, though philosophically related, role. A tilde might be used to denote a non-standard number, such as an infinitesimal or an infinitely large number within a hyperreal number system. More commonly, however, in standard analysis and perturbation methods, one might see \(\tilde{x} = x_0 + \epsilon x_1\) where \(\epsilon\) is a small parameter. In this formulation, \(\tilde{x}\) represents a perturbed quantity—the object of study—decomposed into a principal part \(x_0\) and a series of corrections, like \(x_1\), which may involve infinitesimal considerations. The tilde effectively bundles this entire expansion into a single modified symbol, distinguishing the complete, often approximate, solution from its individual components.

The primary implication of this notational choice is the creation of a clear, hierarchical relationship between entities, which is indispensable for rigorous comparison. Whether contrasting the magnitude of large numbers through asymptotic equivalence or dissecting the infinitesimal structure of a perturbed state, the tilde establishes a formal link. It allows mathematicians to manipulate both the object and its relation to a reference point within equations unambiguously. This subtle typographic distinction prevents confusion when multiple related variables are in play and enforces a conceptual framework where approximation, perturbation, or comparison is central to the analysis.