AsymptoticGreaterEqual

AsymptoticGreaterEqual[f,g,xx*]

gives conditions for or as xx*.

AsymptoticGreaterEqual[f,g,{x1,,xn}{,,}]

gives conditions for or as {x1,,xn}{,,}.

Details and Options

  • Asymptotic greater or equal is also expressed as f is big-omega of g, f is lower bounded by g, f is of order at least g, and f grows at least as fast as g. The point x* is often assumed from context.
  • Asymptotic greater or equal is an order relation and means TemplateBox[{{f, (, x, )}}, Abs]>=c TemplateBox[{{g, (, x, )}}, Abs] when x is near x* for some constant .
  • Typical uses include expressing simple lower bounds for functions and sequences near some point. It is frequently used for solutions to equations and to give simple lower bounds for computational complexity.
  • For a finite limit point x* and {,,}:
  • AsymptoticGreaterEqual[f[x],g[x],xx*]there exist and such that 0<TemplateBox[{{x, -, {x, ^, *}}}, Abs]<delta(c,x^*) implies TemplateBox[{{f, (, x, )}}, Abs]>=c TemplateBox[{{g, (, x, )}}, Abs]
    AsymptoticGreaterEqual[f[x1,,xn],g[x1,,xn],{x1,,xn}{,,}]there exist and such that 0<TemplateBox[{{{, {{{x, _, 1}, -, {x, _, 1, ^, *}}, ,, ..., ,, {{x, _, n}, -, {x, _, n, ^, *}}}, }}}, Norm]<delta(epsilon,x^*) implies TemplateBox[{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}, Abs]>=c TemplateBox[{{g, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}, Abs]
  • For an infinite limit point:
  • AsymptoticGreaterEqual[f[x],g[x],x]there exist and such that implies TemplateBox[{{f, (, x, )}}, Abs]>=c TemplateBox[{{g, (, x, )}}, Abs]
    AsymptoticGreaterEqual[f[x1,,xn],g[x1,,xn],{x1,,xn}{,,}]there exist and such that implies TemplateBox[{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}, Abs]>=c TemplateBox[{{g, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}, Abs]
  • AsymptoticGreaterEqual[f[x],g[x],xx*] exists if and only if MinLimit[Abs[f[x]/g[x]],xx*]>0 when g[x] does not have an infinite set of zeros near x*.
  • The following options can be given:
  • Assumptions$Assumptionsassumptions on parameters
    DirectionRealsdirection to approach the limit point
    GenerateConditionsAutomaticgenerate conditions for parameters
    MethodAutomaticmethod to use
    PerformanceGoal"Quality"what to optimize
  • Possible settings for Direction include:
  • Reals or "TwoSided"from both real directions
    "FromAbove" or -1from above or larger values
    "FromBelow" or +1from below or smaller values
    Complexesfrom all complex directions
    Exp[ θ]in the direction
    {dir1,,dirn}use direction diri for variable xi independently
  • DirectionExp[ θ] at x* indicates the direction tangent of a curve approaching the limit point x*.
  • Possible settings for GenerateConditions include:
  • Automaticnon-generic conditions only
    Trueall conditions
    Falseno conditions
    Nonereturn unevaluated if conditions are needed
  • Possible settings for PerformanceGoal include $PerformanceGoal, "Quality" and "Speed". With the "Quality" setting, Limit typically solves more problems or produces simpler results, but it potentially uses more time and memory.

Examples

open allclose all

Basic Examples  (2)

Verify that as :

Visualize the two functions:

Verify that as :

Visualize the two functions:

Scope  (9)

Compare functions that are not strictly positive:

Show that diverges at least as fast as at the origin:

Answers may be Boolean expressions rather than explicit True or False:

When comparing functions with parameters, conditions for the result may be generated:

By default, a two-sided comparison of the functions is made:

When comparing larger values of , is indeed no smaller than x^2 TemplateBox[{{x}}, UnitStepSeq]:

The relationship fails for smaller values of :

Visualize the two functions:

Functions like Sqrt may have the same relationship in both real directions along the negative reals:

If approached from above in the complex plane, the same relationship is observed:

However, approaching from below in the complex plane produces a different result:

This is due to a branch cut where the imaginary part of Sqrt reverses sign as the axis is crossed:

Hence, the relationship does not hold in the complex plane in general:

Visualize the relative sizes of the functions when approached from the four real and imaginary directions:

Compare multivariate functions:

Visualize the norms of the two functions:

Compare multivariate functions at infinity:

Use parameters when comparing multivariate functions:

Options  (10)

Assumptions  (1)

Specify conditions on parameters using Assumptions:

Different assumptions can produce different results:

Direction  (5)

Test the relation from below:

Equivalently:

Test the relation from above:

Equivalently:

Test the relation at piecewise discontinuities:

Since it fails in one direction, the two-sided result is false as well:

Visualize the two functions and their ratio:

The relationship at a simple pole is independent of the direction of approach:

Test the relation at a branch cut:

Compute the relation, approaching from different quadrants:

Approaching the origin from the first quadrant:

Equivalently:

Approaching the origin from the fourth quadrant:

Approach the origin from the right half-plane:

Approaching the origin from the bottom half-plane:

Visualize the ratio of the functions, which becomes large near the origin except along x=-TemplateBox[{y}, Abs]:

GenerateConditions  (3)

Return a result without stating conditions:

This result is only valid if n>0:

Return unevaluated if the results depend on the value of parameters:

By default, conditions are generated that guarantee a result:

By default, conditions are not generated if only special values invalidate the result:

With GenerateConditions->True, even these non-generic conditions are reported:

PerformanceGoal  (1)

Use PerformanceGoal to avoid potentially expensive computations:

The default setting uses all available techniques to try to produce a result:

Applications  (10)

Basic Applications  (4)

Show that at 0:

Establish this symbolically:

Visualize the functions:

This relationship extends to all real powers:

Visualize functions with fractional and negative powers:

Show that at :

Establish this symbolically:

Visualize the relationship in a logarithmic plot:

This relationship extends to all real powers:

Visualize functions with fractional and negative powers:

Show that at 0:

Visualize the three functions:

Show that at :

Visualize the three functions:

Computational Complexity  (4)

Simple sorting algorithms (bubble sort, insertion sort) take approximately a n2 steps to sort n objects, while optimal general algorithms (heap sort, merge sort) take approximately b n Log[n] steps to do the sort. Show that , so that optimal algorithms are never slower for large enough collections of objects:

Certain special algorithms (counting sort, radix sort), where there is information ahead of time about the possible inputs, can run in c n time. Show that :

Visualize the growth of the three time scales:

In a bubble sort, adjoining neighbors are compared and swapped if they are out of order. After one pass of n-1 comparisons, the largest element is at the end. The process is then repeated on remaining n-1 elements, and so forth, until only two elements at the very beginning remain. If comparison and swap takes c steps, the total number of steps for the sort is as follows:

The polynomial is in :

It is also in :

Thus , and the algorithm is said to have quadratic run time:

In a merge sort, the list of elements is split in two, each half is sorted, and then the two halves are combined. Thus, the time T[n] to do the sort will be the sum of some constant time b to compute the middle, 2T[n/2] to sort each half, and some multiple a n of the number of elements to combine the two halves:

Solve the recurrence equation to find the time t to sort n elements:

Show that :

Conversely, :

Hence , and the algorithm is said to have run time:

The traveling salesperson problem (TSP) consists of finding the shortest route connecting cities. A naive algorithm is to try all routes. The HeldKarp algorithm improves that to roughly steps. Show that :

Both algorithms show that the complexity class of TSP is no worse than EXPTIME, which are problems that can be solved in time . For HeldKarp, using for some suffices:

For the factorial, it is necessary to use a higher-degree polynomial, for example :

Approximate solutions can be found in time, so the approximate TSP is in the complexity class P of problems solvable in polynomial time. Any polynomial algorithm is faster than an exponential one, or :

Convergence Testing  (2)

A sequence is said to be absolutely summable if sum_(n=1)^inftyTemplateBox[{{a, _, n}}, Abs]<infty. If a second sequence and is not absolutely summable, the comparison test states that is not absolutely summable either. Use the test to show that diverges by comparing with the sum of :

Since the harmonic series diverges, so does :

Compare with the answer given by SumConvergence:

Another sequence comparable to is 1/TemplateBox[{n}, PrimePi], and thus it is not absolutely summable either:

Show that the sequence , and thus cannot be absolutely summable:

Compare with the answer given by SumConvergence:

A function is said to be absolutely integrable on if int_a^bTemplateBox[{{f, , {(, x, )}}}, Abs]dx<infty. If and are continuous on the open interval and at both and , the comparison test states that if is not absolutely integrable, then is not as well. Use the test to show that is not absolutely integrable on :

Since and is not integrable on , neither is :

The function is not absolutely integrable on :

At both and , , and hence the nonintegrability of follows:

At , for :

Show that these functions are not absolutely integrable over because is not:

For , , so the comparison test gives no information about convergence:

Properties & Relations  (8)

AsymptoticGreaterEqual is a reflexive relation, i.e. :

And it is a transitive relation, i.e. and implies :

However, it is not symmetric, i.e. does not imply :

AsymptoticGreaterEqual[f[x],g[x],xx0] iff MinLimit[Abs[f[x]/g[x]],xx0]>0:

AsymptoticGreaterEqual[f[x],g[x],xx0] if Limit[Abs[f[x]/g[x]],xx0]>0:

However, when the limit is Indeterminate, it is inconclusive:

If , then :

If and , then :

If or , then :

However, does not imply or :

If and , then :

If and , then :

Introduced in 2018
 (11.3)