Em análise , um ramo da matemática, a desigualdade de Hilbert afirma que
|
∑
r
≠
s
você
r
você
s
¯
r
-
s
|
≤
π
∑
r
|
você
r
|
2
.
{\ displaystyle \ left | \ sum _ {r \ neq s} {\ dfrac {u_ {r} {\ overline {u_ {s}}}} {rs}} \ right | \ leq \ pi \ displaystyle \ sum _ {r} | u_ {r} | ^ {2}.}
para qualquer sequência u 1 , u 2 , ... de números complexos. Foi demonstrado pela primeira vez por David Hilbert com a constante 2 π em vez de π ; a constante aguda foi encontrada por Issai Schur . Isso implica que a transformada de Hilbert discreta é um operador limitado em ℓ 2 .
Formulação
Seja ( u m ) uma sequência de números complexos. Se a sequência for infinita, suponha que seja somada ao quadrado:
∑
m
|
você
m
|
2
<
∞
{\ displaystyle \ sum _ {m} | u_ {m} | ^ {2} <\ infty}
A desigualdade de Hilbert (ver Steele (2004) ) afirma que
|
∑
r
≠
s
você
r
você
s
¯
r
-
s
|
≤
π
∑
r
|
você
r
|
2
.
{\ displaystyle \ left | \ sum _ {r \ neq s} {\ dfrac {u_ {r} {\ overline {u_ {s}}}} {rs}} \ right | \ leq \ pi \ displaystyle \ sum _ {r} | u_ {r} | ^ {2}.}
Extensões
Em 1973, Montgomery & Vaughan relataram várias generalizações da desigualdade de Hilbert, considerando as formas bilineares
∑
r
≠
s
você
r
você
¯
s
csc
π
(
x
r
-
x
s
)
{\ displaystyle \ sum _ {r \ neq s} u_ {r} {\ overline {u}} _ {s} \ csc \ pi (x_ {r} -x_ {s})}
e
∑
r
≠
s
você
r
você
¯
s
λ
r
-
λ
s
,
{\ displaystyle \ sum _ {r \ neq s} {\ dfrac {u_ {r} {\ overline {u}} _ {s}} {\ lambda _ {r} - \ lambda _ {s}}},}
onde x 1 , x 2 , ..., x m são números reais distintos módulo 1 (isto é, eles pertencem a classes distintas no grupo quociente R / Z ) e λ 1 , ..., λ m são números reais distintos. As generalizações de Montgomery & Vaughan da desigualdade de Hilbert são dadas por
|
∑
r
≠
s
você
r
você
s
¯
csc
π
(
x
r
-
x
s
)
|
≤
δ
-
1
∑
r
|
você
r
|
2
.
{\ displaystyle \ left | \ sum _ {r \ neq s} u_ {r} {\ overline {u_ {s}}} \ csc \ pi (x_ {r} -x_ {s}) \ right | \ leq \ delta ^ {- 1} \ sum _ {r} | u_ {r} | ^ {2}.}
e
|
∑
r
≠
s
você
r
você
s
¯
λ
r
-
λ
s
|
≤
π
τ
-
1
∑
r
|
você
r
|
2
.
{\ displaystyle \ left | \ sum _ {r \ neq s} {\ dfrac {u_ {r} {\ overline {u_ {s}}}} {\ lambda _ {r} - \ lambda _ {s}}} \ right | \ leq \ pi \ tau ^ {- 1} \ sum _ {r} | u_ {r} | ^ {2}.}
Onde
δ
=
min
r
,
s
+
‖
x
r
-
x
s
‖
,
τ
=
min
r
,
s
+
‖
λ
r
-
λ
s
‖
,
{\ displaystyle \ delta = {\ min _ {r, s}} {} _ {+} \ | x_ {r} -x_ {s} \ |, \ quad \ tau = \ min _ {r, s} { } _ {+} \ | \ lambda _ {r} - \ lambda _ {s} \ |,}
‖
s
‖
=
min
m
∈
Z
|
s
-
m
|
{\ displaystyle \ | s \ | = \ min _ {m \ in \ mathbb {Z}} | sm |}
é a distância de s até o número inteiro mais próximo, e min + denota o menor valor positivo. Além disso, se
0
<
δ
r
≤
min
s
+
‖
x
r
-
x
s
‖
e
0
<
τ
r
≤
min
s
+
‖
λ
r
-
λ
s
‖
,
{\ displaystyle 0 <\ delta _ {r} \ leq {\ min _ {s}} {} _ {+} \ | x_ {r} -x_ {s} \ | \ quad {\ text {and}} \ quad 0 <\ tau _ {r} \ leq {\ min _ {s}} {} _ {+} \ | \ lambda _ {r} - \ lambda _ {s} \ |,}
então as seguintes desigualdades se mantêm:
|
∑
r
≠
s
você
r
você
s
¯
csc
π
(
x
r
-
x
s
)
|
≤
3
2
∑
r
|
você
r
|
2
δ
r
-
1
.
{\ displaystyle \ left | \ sum _ {r \ neq s} u_ {r} {\ overline {u_ {s}}} \ csc \ pi (x_ {r} -x_ {s}) \ right | \ leq { \ dfrac {3} {2}} \ sum _ {r} | u_ {r} | ^ {2} \ delta _ {r} ^ {- 1}.}
e
|
∑
r
≠
s
você
r
você
s
¯
λ
r
-
λ
s
|
≤
3
2
π
∑
r
|
você
r
|
2
τ
r
-
1
.
{\ displaystyle \ left | \ sum _ {r \ neq s} {\ dfrac {u_ {r} {\ overline {u_ {s}}}} {\ lambda _ {r} - \ lambda _ {s}}} \ right | \ leq {\ dfrac {3} {2}} \ pi \ sum _ {r} | u_ {r} | ^ {2} \ tau _ {r} ^ {- 1}.}
Referências
links externos
<img src="https://en.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">