# AsymptoticEqual

AsymptoticEqual[f,g,xx*]

gives conditions for or as xx*.

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

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

# Details and Options    • Asymptotic equal is also expressed as f is big-theta of g, f is bounded by g, f is of order g, and f grows as g. The point x* is often assumed from context.
• Asymptotic equal is an equivalence relation and means when x is near x* for some constants and . It is a coarser asymptotic equivalence relation than AsymptoticEquivalent.
• Typical uses include expressing simple bounds for functions and sequences near some point. It is frequently used for asymptotic solutions to equations and to give simple lower bounds for computational complexity.
• For a finite limit point x* and { ,, }, the result is:
•  AsymptoticEqual[f[x],g[x],xx*] there exist , and such that implies AsymptoticEqual[f[x1,…,xn],g[x1,…,xn],{x1,…,xn}{ ,…, }] there exist , and such that implies • • For an infinite limit point, the result is:
•  AsymptoticEqual[f[x],g[x],x∞] there exist , and such that implies AsymptoticEqual[f[x1,…,xn],g[x1,…,xn],{x1,…,xn}{∞,…,∞}] there exist , and such that implies • • AsymptoticEqual[f[x],g[x],xx*] exists if and only if MinLimit[Abs[f[x]/g[x]],xx*]>0 and MaxLimit[Abs[f[x]/g[x]],xx*]< when g[x] does not have an infinite set of zeros near x*.
• The following options can be given:
•  Assumptions \$Assumptions assumptions on parameters Direction Reals direction to approach the limit point GenerateConditions Automatic generate conditions for parameters Method Automatic method to use PerformanceGoal "Quality" what to optimize
• Possible settings for Direction include:
•  Reals or "TwoSided" from both real directions "FromAbove" or -1 from above or larger values "FromBelow" or +1 from below or smaller values Complexes from 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:
•  Automatic non-generic conditions only True all conditions False no conditions None return 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 all close all

## Basic Examples(2)

Verify that as :

 In:= Out= The former can be "sandwiched" between two constant multiples of the latter:

 In:= Out= Verify that as :

 In:= Out= The former can be "sandwiched" between two constant multiples of the latter:

 In:= Out= ## Properties & Relations(6)

Introduced in 2018
(11.3)