La notación de Landau (Edmund Landau ) se define de la siguiente forma:
Si f(x), g(x) son funciones complejas definidas en un entorno de un punto
x
0
{\displaystyle x_{0}}
f
=
O
(
g
)
{\displaystyle f=O(g)\,\!}
x
→
x
0
{\displaystyle x\rightarrow x_{0}}
ϵ
>
0
{\displaystyle \epsilon >0}
|
f
(
x
)
|
≤
ϵ
|
g
(
x
)
|
{\displaystyle |f(x)|\leq \epsilon |g(x)|}
x
{\displaystyle x}
x
0
{\displaystyle x_{0}\,\!}
f
=
o
(
g
)
{\displaystyle f=o(g)\,\!}
x
→
x
0
{\displaystyle x\rightarrow x_{0}}
ϵ
>
0
{\displaystyle \epsilon >0}
|
f
(
x
)
|
<
ϵ
|
g
(
x
)
|
{\displaystyle |f(x)|<\epsilon |g(x)|\,\!}
x
{\displaystyle x}
x
0
{\displaystyle x_{0}\,\!}
Una versión un poco más restrictiva pero más manejable que la definición anterior es la siguiente:
Sean
f
(
x
)
{\displaystyle f(x)\,\!}
g
(
x
)
{\displaystyle g(x)\,\!}
x
>
x
0
.
{\displaystyle x>x_{0}.\,\!}
g
(
x
)
≠
0
∀
x
>
x
0
{\displaystyle g(x)\neq 0\ \ \forall x>x_{0}\,\!}
f
=
o
(
g
)
{\displaystyle f=o(g)\,\!}
f
=
O
(
g
)
{\displaystyle f=O(g)\,\!}
significan respectivamente que
f
(
x
)
/
g
(
x
)
→
0
{\displaystyle f(x)/g(x)\to 0\,\!}
x
→
x
0
{\displaystyle x\to x_{0}\,\!}
f
(
x
)
/
g
(
x
)
{\displaystyle f(x)/g(x)\,\!}
x
{\displaystyle x\,\!}
x
{\displaystyle x\,\!}
−
∞
{\displaystyle -\infty \,\!}
x
{\displaystyle x\,\!}
o
(
1
)
{\displaystyle o(1)\,\!}
O
(
1
)
{\displaystyle O(1)\,\!}
Dos funciones
f
(
x
)
{\displaystyle f(x)\,\!}
g
(
x
)
{\displaystyle g(x)\,\!}
x
0
{\displaystyle x_{0}\,\!}
asintóticamente iguales
f
(
x
)
/
g
(
x
)
→
1
{\displaystyle f(x)/g(x)\to 1\,\!}
x
→
x
0
{\displaystyle x\to x_{0}\,\!}
Si las fracciones
f
(
x
)
/
g
(
x
)
{\displaystyle f(x)/g(x)\,\!}
g
(
x
)
/
f
(
x
)
{\displaystyle g(x)/f(x)\,\!}
x
0
{\displaystyle x_{0}\,\!}
f
(
x
)
{\displaystyle f(x)\,\!}
g
(
x
)
{\displaystyle g(x)\,\!}
son del mismo orden
x
→
x
0
{\displaystyle x\to x_{0}\,\!}
Contexto de las propiedades
Sean
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} \,\!}
f
{\displaystyle f\,\!}
a
≤
x
<
b
{\displaystyle a\leq x<b\,\!}
(
a
,
b
′
)
{\displaystyle (a,b')\,\!}
b
′
<
b
{\displaystyle b'<b\,\!}
F
(
x
)
=
∫
a
x
f
(
t
)
d
t
x
∈
(
a
,
b
′
)
{\displaystyle F(x)=\int _{a}^{x}f(t)\mathrm {d} t\ \ x\in (a,b')\,\!}
Sea
u
0
,
u
1
,
u
2
,
…
{\displaystyle u_{0},u_{1},u_{2},\ldots \,\!}
U
ν
=
u
0
+
u
1
+
⋯
+
u
ν
(
ν
=
0
,
1
,
…
)
{\displaystyle U_{\nu }=u_{0}+u_{1}+\cdots +u_{\nu }\ \ (\nu =0,1,\ldots )\,\!}
la misma notación será utilizada para otras letras. Se tienen las siguientes propiedades:
Suponga que
f
(
x
)
{\displaystyle f(x)\,\!}
g
(
x
)
{\displaystyle g(x)\,\!}
a
≤
x
<
b
{\displaystyle a\leq x<b\,\!}
(
a
,
b
′
)
{\displaystyle (a,b')\,\!}
g
(
x
)
≥
0
{\displaystyle g(x)\geq 0\,\!}
G
(
x
)
→
+
∞
{\displaystyle G(x)\to +\infty \,\!}
x
→
b
{\displaystyle x\to b\,\!}
f
(
x
)
=
o
(
g
(
x
)
)
{\displaystyle f(x)=o(g(x))\,\!}
x
→
b
{\displaystyle x\to b\,\!}
F
(
x
)
=
o
(
G
(
x
)
)
{\displaystyle F(x)=o(G(x))\,\!}
Sean
{
u
ν
}
,
{
v
ν
}
,
{\displaystyle \{u_{\nu }\},\ \{v_{\nu }\},\ \,\!}
{
u
ν
}
=
o
{
v
ν
}
,
{\displaystyle \{u_{\nu }\}=o\{v_{\nu }\},\ \,\!}
V
ν
→
+
∞
{\displaystyle V_{\nu }\to +\infty \,\!}
U
ν
=
o
(
V
ν
)
{\displaystyle U_{\nu }=o(V_{\nu })\,\!}
Suponga que la serie
∑
v
ν
{\displaystyle \sum v_{\nu }\,\!}
v
{\displaystyle v\,\!}
u
ν
=
o
(
v
ν
)
{\displaystyle u_{\nu }=o(v_{\nu })\,\!}
u
ν
+
u
ν
+
1
+
⋯
=
o
(
v
ν
+
v
ν
+
1
+
⋯
)
{\displaystyle u_{\nu }+u_{\nu +1}+\cdots =o(v_{\nu }+v_{\nu +1}+\cdots )\,\!}
Sea
f
(
x
)
{\displaystyle f(x)\,\!}
x
≥
0
{\displaystyle x\geq 0\,\!}
F
(
x
)
=
∫
0
x
f
d
t
,
F
n
=
f
(
0
)
+
f
(
1
)
+
⋯
+
f
(
n
)
.
{\displaystyle F(x)=\int _{0}^{x}f\mathrm {d} t,\ \ \ F_{n}=f(0)+f(1)+\cdots +f(n).\,\!}
(
i
)
{\displaystyle (i)}
f
(
x
)
{\displaystyle f(x)\,\!}
F
(
n
)
−
f
n
{\displaystyle F(n)-f_{n}}
(
i
i
)
{\displaystyle (ii)}
f
(
x
)
{\displaystyle f(x)\,\!}
F
(
n
)
≤
F
n
≤
F
(
n
)
−
f
(
n
)
n
→
+
∞
{\displaystyle F(n)\leq F_{n}\leq F(n)-f(n)_{n}\to +\infty }
Sea
f
(
x
)
{\displaystyle f(x)\,\!}
x
≥
0
{\displaystyle x\geq 0\,\!}
(
i
)
{\displaystyle (i)}
f
(
x
)
{\displaystyle f(x)\,\!}
F
(
x
)
→
∞
{\displaystyle F(x)\to \infty \,\!}
(
i
i
)
{\displaystyle (ii)}
f
(
x
)
{\displaystyle f(x)\,\!}
f
(
x
)
=
o
(
F
(
x
)
)
{\displaystyle f(x)=o(F(x))\,\!}
F
n
{\displaystyle F_{n}\,\!}
F
(
n
)
{\displaystyle F(n)\,\!}
{\displaystyle \,\!}
Trigonometric Series , vol. 1, A. Zygmund. 
Datos: Q9050777