See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/289398130

Una nota sobre la desigualdad de Hardy

Article · January 2016

CITATIONS READS

0 153

3 authors:

William Ramírez Alejandro Urieles

Corporación Universidad de la Costa Universidad del Atlántico
7 PUBLICATIONS   5 CITATIONS    16 PUBLICATIONS   26 CITATIONS   

SEE PROFILE SEE PROFILE

Julio Romero
Universidad del Atlántico
2 PUBLICATIONS   0 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Investigación sobre orden negativo Polinomios de Bernoulli, Euler y Genocchi View project

Investigación sobre la desigualdad de Hardy View project

All content following this page was uploaded by William Ramírez on 08 January 2016.

The user has requested enhancement of the downloaded file.

 Revista del programa del matemáticas (2015) Pag. 110-118

Una nota sobre la desigualdad de Hardy

A note on the Hardy inequality
William RAMÍREZ1
1
EDICBAS, Universidad de la Costa CUC, Barranquilla-Colombia
e-mail: wramirez4@cuc.edu.co

Julio ROMERO P.2

2
Gecit, Universidad del Atlántico, Barranquilla-Colombia
e-mail: julioromero@mail.uniatlantico.edu.co

Alejandro URIELES G.3

3
Sistema Dinámico y EDO, Universidad del Atlántico, Barranquilla-Colombia
e-mail: alejandrourieles@mail.uniatlantico.edu.co

Recibido:15/12/2015 - Aceptado:27/12/2015

Resumen
En la presente nota hacemos un comentario sobre la famosa desigualdad de Hardy tanto para el caso discreto
como para el caso continuo y se presentan algunas de sus generalizaciones. Se demuestra la versión clásica
para el caso continuo y a través de un criterio alternativo se demuestra en detalle una versión reciente de dicha
desigualdad.

Palabras claves: operador de Hardy, función peso, operador conjugado, exponente conjugado, desigualdad de
Hölder.

Abstract
In this note we do a commentary on the famous Hardy inequality for both the discrete case to the continuous
case and presented some of their generalizations. We show the classic version for the continuous case and
through an alternative approach is shown in detail a recent version of this inequality.

Keywords: operador Hardy, weight function, conjugate operator, conjugate exponent, Hölder inequality.

1. Introducción
En 1920, se prueba la siguiente desigualdad discreta de Hardy (ver [1, 3, 6]). Si p > 1 y {ak }∞
k=1 es una sucesión
de números no negativos, se verifica la desigualdad

∞ n
!p  ∞
p X
X 1X p
ak ≤ apn . (1)
n=1
n p−1 n=1
k=1
William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
En una nota publicada en 1925 G. H. Hardy [2] prueba la siguiente versión continua de la desigualdad anterior.
Para cualquier función f (x) ≥ 0 tal que f ∈ Lp (0, ∞) y p > 1, se verifica la desigualdad
Z ∞  Z x p  p Z ∞
1 p
f (t)dt dx ≤ f p (x)dx. (2)
0 x 0 p−1 0

 p
p
La constante en (1) y (2) es óptima. (2) es la forma original de la desigualdad integral de Hardy y ha
p−1
sido estudiada extensamente y usada para la investigación de otras desigualdades más generales.

La desigualdad (1) establece que el operador de Hardy discreto h definido por

( n
)
1X
h (ak ) (n) = ak ,
n
k=1

envı́a lp en lp , mientras que la desigualdad (2) establece que el operador de Hardy continuo H dedinido por
Z x
1
(Hf )(x) = f (t) dt, (3)
x 0

envı́a Lp en Lp (ver [2]).

Poco después, utilizando (2) G. H. Hardy demuestra la primera modificación, con pesos de tipo potencias
Z ∞  Z x p  p Z ∞
1  p
f (t) dt x dx ≤ f p (x)x dx, (4)
0 x 0 p−1− 0

con
 1 < p< ∞ y  < p − 1 para toda función f > 0 medible y definida en (0, ∞), donde la constante
p
p
es óptima.
p−1−

De (4) puede derivarse la siguiente desigualdad

Z ∞  Z ∞ p  p Z ∞
1  p
f (t) dt x dx ≤ f p (x)x dx, (5)
0 x x 1+−p 0

con 1 < p < ∞ y  > p − 1 para toda función f > 0 medible y definida en (0, ∞).

En las últimas décadas la desigualdad (4) ha sido extendida a la siguiente forma

q !1/q !1/p
Z b Z x Z b
p
f (t) dt u(x) dx ≤C f (x)v(x) dx , (6)
a a a

con a, b ∈ R que cumplen ∞ ≤ a < b ≤ ∞, u y v funciones pesos, es decir, funciones medibles positivas casi
siempre en el intervalo (a, b), p y q parámetros reales que satisfacen

0 < q ≤ ∞, 1 ≤ p ≤ ∞.

Es conocido que (6) se cumple para toda función medible f > 0 si y solo si A < ∞ (ver [2, 6]) donde,
!1/q Z 1/p0
Z b x
1−p0
A := sup u(t) dt v (t) dt , (7)
a<x<b x a

VOL. 2 No 2 (2015) 111 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
p
con p0 = , para el caso 1 < p ≤ q < ∞. Y
p−1

 !r/q Z 1/r
Z b Z b x r/q0
0 0
A :=  u(t) dt v 1−p (t) dt v 1−p (x) dx , (8)
a x a

1 1 1
con = − , para el caso 0 < q < p < ∞, q 6= 1 y 1 < p < ∞.
r q p
La desigualdad dual de (6) es una extensión de (5) y tiene la forma

!q !1/q !1/p
Z b Z b Z b
p
f (t) dt u(x) dx ≤C f (x)v(x) dx . (9)
a x a

Es conocido que (9) se cumple para toda función medible f > 0 si y solo si à < ∞ [2] donde,

1/q !1/p0
Z x Z b
0
à := sup u(t) dt v 1−p (t) dt , (10)
a<x<b a x

1 1 1
con = − , para el caso 1 < p ≤ q < ∞. Y
r q p
 !r/q0 1/r
Z b Z x r/q Z b
0 0
à :=  u(t) dt v 1−p (t) dt v 1−p (x) dx , (11)
a a x

1 1 1
con = − , para el caso 0 < q < p < ∞, q 6= 1 y 1 < p < ∞.
r q p
En 1969, G.Talenti y G. Tomasselli [1, 2, 3] determinan condiciones que tenı́an que verificar las funciones u y v
para que el operador H y su conjugado H̃ estuviesen acotados de Lp (u) en Lp (v).

Las desigualdades (1) y (2) han sido generalizadas y aplicadas en análisis y teorı́a de ecuaciones diferenciales
una de éstas generalizaciones y aplicaciones son estudiadas en [2, 3]. El propósito de este trabajo es presentar la
desigualdad clásica de Hardy y algunas de sus generalizaciones tomando como base [2]. En la sección 2 damos
algunas observaciones y resultados conocidos del análisis que serán utilizados durante el trabajo. Finalmente
en la sección 3 estudiamos la demostración de la versión clásica de la desigualdad de Hardy y bajo cierta
variación dada en [6] demostaramos la una versión actual de la desigualdad de Hardy.

2. Preliminares

Por un peso, entenderemos una función localmente integrable w en I = (a, b) ⊂ R tal que w(x) > 0 para todo
x ∈ (a, b). Para I = (a, b) ⊂ R denotamos por W (I) o W (a, b) al conjunto

W (a, b) = {w definidas en (a, b), medibles, positivas y finitas en casi todo punto}.

Sea w un peso, y sea I ⊂ R abierto. Dado 1 ≤ p < ∞, definimos el espacio Lp (I, w) = Lp (w) como el conjunto

VOL. 2 No 2 (2015) 112 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
de todas las funciones f medibles en I tal que
Z
kf kpLp (I,w) = |f (x)|p w(x)dx < ∞, x ∈ I. (12)
I

Para 1 < p < ∞, p0 denota el exponente conjugado de p:

1 1
+ 0 = 1.
p p

Para 1 < p < ∞ se define la dualidad en el espacio Lp (w)

0 0 0
(Lp (w)) = Lp (w1−p ).

0 0
Más aún, dado T un funcional lineal y continuo de Lp (w) en R, existe una única función g ∈ Lp (w1−p ) tal que
T : Lp (w) → R, es dado por
Z b
T (f ) = f (x)g(x) dx.
a

Especificamente,
kgkLp0 (w1−p0 ) = sup kf kLp (w) = 1|hg, f i|.

Si definimos el operador de Hardy continuo H por

Z x
(Hf )(x) := f (t) dt, (13)
a

entonces la desigualdad (6) nos queda

kHf kLq (u) ≤ Ckf kLp (v) . (14)

La desigualdad (14) se cumple para funciones f > 0 si y solo si A < ∞ donde A es dado en (7) o (8) respecti-
vamente.

Si definimos el operador conjugado de Hardy H̃ por

Z b
(H̃f )(x) := f (t) dt, (15)
x

entonces la desigualdad (9) nos queda

kH̃f kLq (u) ≤ Ckf kLp (v) . (16)

La desigualdad (16) se cumple para funciones f > 0 si y solo si à < ∞, donde à es dado en (10) o (11),
respectivamente.

O BSERVACI ÓN 2.1. Los operadores de Hardy H y H̃ son mutuamente conjugados, es decir, si

H : Lp (v) −→ Lq (u), 1 < p, q < ∞,

entonces (H)0 = H̃ y
0 0 0 0
H̃ : Lq (u1−q ) −→ Lp (v 1−p ).

VOL. 2 No 2 (2015) 113 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
Las desigualdades (14) y (16) son un prototipo de una desigualdad general en norma con peso de la forma

kT f kLq (u) ≤ Ckf kLp (v) , (17)

donde T es un operador integral general, usualmente uno de los operadores clásicos del Análisis Armónico
(ver [2, 4, 5, 6] ). La desigualdad (17) afirma que T aplica Lp (v) continuamente a Lq (u):

T : Lp (v) −→ Lq (u).

3. Demostración de la desigualdad de Hardy

En esta sección demostraremos la desigualdad (2) ver teorema 1 y la desigualdad (6) teniendo en cuenta una
modificación en (7) ver teoremas 2 y 3.

T EOREMA 1. Sean p > 1 y f (x) ≥ 0 tal que f ∈ Lp (0, ∞), entonces

Z ∞  Z x p  p Z ∞
1 p
f (t)dt dx ≤ f p (x)dx. (18)
0 x 0 p−1 0

Demostración. Utilizando (3) tenemos que

Z x Z 1
1
(Hf )(x) = f (s) ds = f (tx) dt,
x 0 0

ası́
Z ∞  Z x p Z ∞
1
f (t)dt dx = [Hf (x)]p dx,
0 x 0 0

entonces
Z ∞ 1/p Z 1
p

[Hf (t)] dx =
f (t·) dt

0 0 p
Z 1
≤ kf (t·)kp dt
0
Z 1 Z ∞ 1/p
p
= f (tx) dx dt
0 0
Z 1 Z ∞ 1/p
p ds
= f (s) dt
0 0 t
Z ∞ 1/p
p
= f p (s) ds .
p−1 0

Más detalles se encuentran en [1, 2, 6].

Para la demostración de (6) consideramos la siguiente notación

Z x
0
U (x) := v 1−p (t) dt. (19)
a

VOL. 2 No 2 (2015) 114 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
Ası́, (7) nos queda

!1/q
Z b
0
A := sup u(t) dt U 1/p (x). (20)
a<x<b x

T EOREMA 2. Sea 1 < p ≤ q < ∞ y u, v ∈ W (a, b). Entonces la desigualdad de Hardy

q !1/q !1/p
Z b Z x Z b
p
f (t) dt u(x) dx ≤C f (x)v(x) dx (21)
a a a

se cumple para toda función f > 0 si y solo si B < ∞ donde,

Z x −1/p
1−p0
B := sup v (t) dt
a<x<b a
Z x Z t q !1/q
1−p0
× u(t) v (s) ds dt , (22)
a a

o bien 1/q
Z x
B := sup U −1/p (x) u(t)U q (t) dt . (23)
a<x<b a

Por otra parte, la constante C en (21) satisface

B ≤ C ≤ p0 B. (24)

Demostración. (i) Supongamos que la desigualdad (21) se cumple para toda f > 0 con una constante C < ∞
y consideremos la función
0
ft (x) = χ(a, t)(x)v 1−p (x),

con t ∈ (a, b) arbitrario pero fijo. Entonces de (21) tenemos,

Z t Z x q 1/q Z t 1/p
0 0
v 1−p (s) ds u(x) dx ≤C v 1−p (x) dx , (25)
a a a

y de (19)
Z t 1/q
U q (x)u(x) dx ≤ C(U (t))1/p .
0

Consecuentemente B ≤ C < ∞.

(ii) Debido a la dualidad para g > 0 podemos expresar la desigualdad (21) ası́,

 !p0 1/p0 !1/q0

Z b Z b Z b
0
1−p q0 1−q 0
 g(t) dt v (x) dx ≤C g (x)u (x) dx , (26)
a x a

VOL. 2 No 2 (2015) 115 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
para g con soporte en (a, b) utilizando la desigualdad de Hölder e integración por partes tenemos,

!p0
Z b Z b
0
V = g(t) dt v 1−p (x) dx
a x
!p0 −1
Z b Z b Z x 
0
0
= p g(t) dt g(x) v 1−p (t) dt dx
a x a
!p0 −1 Z
Z b Z b x 
0 0
0 1−p0 0 0
= p g(x)u (1−q )/q
(x) g(t) dt v (t) dt u(q −1)/q (x) dx
a x a
!1/q0
Z b
0 0 1/q
≤ p0 g q (x)u1−q (x) dx V1 , (27)
a

donde !q(p0 −1) Z

Z b Z b x q
1/q 1−p0
V1 := g(t) dt v (t) dt u(x) dx. (28)
a x a

Denotamos !q(p0 −1)

Z b
h(x) := g(t) dt .
x

Entonces, en (28) utilizando (23) y organizando de manera adecuada tenemos,

Z b Z x q
1/q 0
V1 = h(x) v 1−p (t) dt u(x) dx
a a
Z b
= h(x)U q (x)u(x) dx
a
Z b Z b
= [−h0 (t)] dt U q (x)u(x) dx
a x
Z bZ b
= [−h0 (t)U q (x)u(x)] dt dx
a x
Z bZ t
= [−h0 (t)U q (x)u(x)] dx dt
a a
Z b Z t
0
= [−h (t)] U q (x)u(x) dx dt
a a
Z b Z t q/p
0
≤ Bq [−h0 (t)] v 1−p (x) dx dt
a a
 !p/q q/p
Z b Z b
0
≤ Bq  [−h0 (t)] dt v 1−p (x) dx
a x
!q/p
Z b
q p/q 1−p0
= B h (x)v (x) dx
a
 !(p0 −1)p q/p
Z b Z b
0
= Bq  g(t) dt v 1−p (x) dx
a x
 !p0 q/p
Z b Z b
0
= Bq  g(t) dt v 1−p (x) dx = B q V q/p .
a x

VOL. 2 No 2 (2015) 116 Revista cientı́fica - Universidad del Atlántico

William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
Ahora de (27) tenemos,
!1/q0
Z b
0 0 0
V 1/p ≤ p0 B g q (x)u1−q (x) dx ,
a

es decir la desigualdad (26) y ası́ (21), por otra parte C ≤ p0 B.

1 1 1
T EOREMA 3. Sean 0 < q < p < ∞, p > 1, = − y u, v ∈ W (a, b). Sea U dado por (19), entonces la desigualdad
r q p
de Hardy
q !1/q !1/p
Z b Z x Z b
p
f (t) dt u(x) dx ≤C f (x)v(x) dx ,
a a a

se cumple para toda función f > 0 si y solo si B < ∞ donde,

r/q !1/r
Z b Z t
q −r/q
B := u(s)U (s) ds U (t) dV (t) . (29)
a a

Por otra parte, la constante C satisface

0 0
qp−1/r (p0 )1/q r−1/r 2−1/q B ≤ C ≤ q 1/q p0 B. (30)

Demostración. Para la demostración del teorema anterior es suficiente seguir las mismas ideas de la prueba
usada en el teorema 2.

Agradecimientos. Los autores agradecen el apoyo brindado por el proyecto Impacto Caribe: Sobre nuevas fa-
milias de polinomios tipo Apostol generalizados. Resolución 002627 del 03-03-2015. Universidad del Atlántico
Km 7 Vı́a Pto. Barranquilla, Colombia.

Referencias

[1] A. L. Bernardis, Desigualdades con pesos para el operador de Hardy y aplicaciones: casos lineal y multilineal . Actas
del XII Congreso Dr. Antonio Montero, 2014.

[2] A. Kufner, L. Maligranda and L. Pearson The Prehistory of the Hardy Inequality. MAA. 113, 715-732. 2006.

[3] A. Kufner, L. E. Pearson and A. Wedesting, Weighted Inequalities of Hardy Type. World Scientific Publishing
Co, Singapore, New Jersey. London. Hong Kong, 2003.

[4] F. Marcellán, Y. Quintana and A. Urieles, On W 1,p .convergence of Fourier-Sobolev expansions. J. Math. Anal.
Appl. 398, 594–599. 2013.

[5] F. Marcellán, Y. Quintana and A. Urieles, On the Pollard decomposition method applied to some Jacobi-Sobolev
expansions. Turkish J. Math. 37 (6), 934-948. 2013.

[6] B. Opic and A. Kufner, Hardy-Type Inequalities. Pitman Research Notes in Mathematics Series, Vol 211, Long-
man Scientific and Technical Harlow, 1990.

VOL. 2 No 2 (2015) 117 Revista cientı́fica - Universidad del Atlántico

 William RAMÍREZ et all MATUA - Revista del programa de Matemáticas
Para citar este articulo: RAMIREZ et all., 2015, “Una nota sobre la desigualdad de Hardy“.
Disponible en Revistas y publicaciones de la Universidad del Atlántico en:
http://investigaciones.uniatlantico.edu.co/revistas/index.php/MATUA.

VOL. 2 No 2 (2015) 118 Revista cientı́fica - Universidad del Atlántico

View publication stats