home | index | units | counting | geometry | algebra | trigonometry & functions | calculus
analysis | sets & logic | number theory | recreational | misc | nomenclature & history | physics

Final Answers
© 2000-2017   Gérard P. Michon, Ph.D.

Asymptotic Analysis

The scientist knows very well that he is approaching ultimate truth only in an asymptotic curve and is barred from ever reaching it.
  Konrad Lorenz (1903-1989) in  "On Agression" (1963)

Related articles on this site:

Related Links (Outside this Site)

Asymptotic Analysis  by  Adolf J. Hildebrand  (UIUC, Math 595, Fall 2009).
Complex Variables, Contour Integration  by  Joceline Lega  (1998).
Padé and Algebraic Approximants applied to the Quantum Anharmonic Oscillator (pdf)
by  Christopher Orth,  University of Minnesota, Morris  (2005-12-12)
Adding, Multiplying and the Mellin Transform  by  Greg Muller  (2007).
The n-category Café  (discussing papers by  Tom Leinster,  in 2006 & 2007):
Euler characteristic of a category (2006-10-11)
Euler characteristic of a category as the sum of a divergent series (2007-07-09)
This Week's Finds in Mathematical Physics  by  John C. Baez :  124 | 125 | 126 (1998)
Euler's Proof that  z(-1) = -1/12 (2003)   |   The Number 24 (2008)
Open Problems in Asymptotics Relevant to Sequence Transformations with Special Emphasis to the Summation of Divergent Stieltjes Series
by  Ernst Joachim Weniger,  Universität Regensburg  (1995-03-15).
Euler-Maclaurin formula, Bernoulli numbers, Zeta function & analytic continuation  by  Terry Tao  (2010).
Divergence of perturbation theory:  Steps towards a convergent series.
by  Gerardo Enrique Oleaga Apadula  &  Sergio A. Pernice   (1998)
[ On the applicability of Lebesgue's  dominated convergence theorem ]

Wikipedia :   Power Series   |   Formal Power Series   |   Taylor Series   |   Analytic Continuation
Regularization (Physics)   |   Renormalization   |   Eilenberg-Mazur swindle   |   Telescoping sum
Resummation   |   Divergent series   |   Series acceleration   |   Perturbation theory   |   Asymptotics
Asymptotic expansion   |   Watson's lemma (1918)   |   WKB approximation (Jeffreys, 1923)
Monotone convergence theorem   |   Fatou's lemma (mnemonic, video proof)
Lebesgue's dominated convergence theorem   |   Fatou-Lebesgue theorem
Vitali convergence theorem
Encyclopedia of Mathematics :   Summation methods   |   Semi-continuous summation methods
Rogosinski summation (1925)

Mathematical Physics  by  Carl M. Bender  (PSI, 2010)
 Carl Bender at the blackboard
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15

Asymptotic Analysis

(2012-08-01)   Fundamentals of Asymptotics
Only  zero  is asymptotic to  zero.

Let's first consider numerical functions  (where  division  makes sense):

Numerical Functions :

Two numerical functions  f  and  g  are said to be  asymptotic  (or  equivalent)  to each other in the neighborhood of some limit point  L  when the ratio  f (x) / g (x)  tends to 1  as  x  tends to  L.  In other words, the following two notations are equivalent, by definition:

 f (x)   ~   g (x)     ( x ® L )  or  f (x) / g (x)   ®   1
x ® L

Likewise, the statement   " f (x)  is  negligible  compared to  g (x)  as  x  tends to  L "   is denoted or defined as follows:

 f (x)   <<   g (x)     ( x ® L )  or  f (x) / g (x)   ®   0
x ® L

Note that this relation is  unrelated  to ordering in the real line.  For example, both of the following relations are true as  x  tends to zero:

-1   <   x2       but       x2   <<   -1

You can manipulate algebraically an asymptotic equivalence exactly as you would an ordinary equation,  except  that you're not allowed to transpose everything to one side of the equation!  Nothing  (but zero itself)  is asymptotic to zero...

Extension to Vectorial Functions :

For vectorial functions, the symmetry in the above definitions must be broken.  Negligibility is not difficult to define in a normed vector space:  One quantity is negligible compared to another when the norm of the first is negligible compared to the norm of the other.  With this in mind, we can promote to a definition among vectors what's a simple characteristic theorem for equivalent scalars quantities  (with the definitions given above):

Definitions for Vectorial Asymptotics
As  x  tends to  L,  one vectorial quantity  f (x)  is said to be  negligible  compared to another quantity  g (x)  when the ratio   || f (x) || / || g (x) ||   has a limit of zero.
Two quantities are  asymptotically equivalent to  each other  ("asymptotic to"  or  "equivalent to", for short)  if their difference is negligible compared to their sum.

Is zero asymptotic to zero?

In asymptotics, "zero" is any function which is identically equal to  0  (the null vector)  in some  neighborhood  of the relevant limit point.  The following relations are valid whenever  f  is a nonzero quantity:

0 << f         and         f ~ f

By convention, we retain the validity of those two for zero quantities:  Only zero is negligible compared to zero.  Only zero is equivalent to zero.

Schwartz functions   |   Asymptotic approximations   |   Wikipedia :   Asymptotics

(2016-01-14)   Solving Asymptotic Equations
The method of dominant balance.

If, for a given  limit point  L,  we have:

f (x)   ~   g (x)  +  h (x)
with   h (x)   <<   g (x)

Then, we have   f (x)   ~   g (x)

That makes asymptotic equivalences easier to solve than algebraic equations.

 Come back later, we're
 still working on this one...

Method of dominant balance   |   Wikipedia :   Method of dominant balance

(2012-10-04)   Asymptotic expansions about a limit point.
Asymptotic expansions may or may not be convergent.

 Come back later, we're
 still working on this one...

(2012-08-03)   Stieltjes Functions  &  Moments
   Thomas Stieltjes 
Thomas Stieljes

Well before the more general notion of  distributions  was devised  (in 1944, by my late teacher Laurent Schwartz)  the Dutch mathematician Thomas Stieltjes  considered  measures  as generalized derivatives of functions  of bounded variations of a real variable.  Such functions are differences of two monotonous bounded functions; they need not be differentiable or continuous.  (Stieltjes got his doctorate in Paris, under Hermite and Darboux.)

Let's define a  weight function  r  as a nonnegative function of a nonnegative variable which has a moment of order  n,  expressed by the following  convergent  integral,  for any nonnegative integer  n :

an   =    ò  ¥  r(t)  t n  dt

To any such weight function is associated a  Stieltjes function  defined by:

f (x)   =    ò  ¥    r(t)  dt
0 1 + x t

 Come back later, we're
 still working on this one...

Stieltjes series   |   Stieltjes moment problem   |   Thomas Stieltjes (1856-1894)

 James Stirling (the Venetian) 
 1692-1770 (2012-08-01)   Stirling Approximation  & Stirling Series
The  Stirling series  is a divergent  asymptotic series.

 Come back later, we're
 still working on this one...

Stirling approximation   |   Lanczos approximation   |   Implementation of the Gamma function

(2016-03-12)   Hyper-Asymptotics
Asymptotics beyond all orders.

All of the above is sometimes called  Poincaré asymptotics.

 Come back later, we're
 still working on this one...

visits since January 23, 2017
 (c) Copyright 2000-2017, Gerard P. Michon, Ph.D.