UNIVERSIDAD NACIONAL DE TRUJILLO

FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS

ESCUELA PROFESIONAL DE MATEMÁTICAS

Espacios de Sobolev fraccionarios vı́a derivada de

Riemann-Liouville

TESIS

PARA OPTAR EL TÍTULO DE

LICENCIADO EN MATEMÁTICAS

Autor: Vargas Garcia Aldrin Athon

Asesor: Dr. Montalvo Bonilla Manuel Cosme

Trujillo – Perú
2023
Dedicatoria

Dedicado a mis padres.

iii
Agradecimiento

Agradezco, en primer lugar, a toda mi familia. En especial, a mis padres Luis y Nohemı́,
por apoyarme incondicionalmente a pesar de las dificultades.
A todos los docentes de la Escuela Profesional de Matemáticas, por compartir conmigo
sus conocimientos, brindarme consejos y por guiarme en mi vida universitaria.
A mi asesor Manuel Montalvo, por la atención y paciencia hacia mi persona, durante la
elaboración de este trabajo.
Al profesor Cesar Torres, por compartir conmigo sus conocimientos y experiencia en el área
de estudios, ası́ como la oportunidad de participar en el grupo de Cálculo Fraccionario.
A mi gran amigo Fernando Angelats por todo su apoyo en la redacción del proyecto.
A mis hermanos Luis Araneda y Luis Garcı́a por alentarme a siempre cumplir mis metas.

iv
Índice general

Resumen vii

Abstract viii

1. Introducción 1
1.1. Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Descripción de la situación problemática . . . . . . . . . . . . . . . 1
1.1.2. Formulación del problema . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.3. Objetivos de la investigación . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4. Justificación de la investigación . . . . . . . . . . . . . . . . . . . . 2
1.2. Hipótesis y variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1. Formulación de hipótesis principal . . . . . . . . . . . . . . . . . . . 2
1.2.2. Variables de investigación . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Metodologı́a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.1. Objeto de estudio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.2. Metodologı́a de la investigación . . . . . . . . . . . . . . . . . . . . 3

2. Marco teórico 4
2.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Algunos casos especiales de integración por partes . . . . . . . . . . . . . . 18

3. Resultados 23
3.1. Derivada débil fraccionaria . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2. Normas en Waα,p
+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

v
  
3.3. Espacios Waα,p
+ (a, b), R, ∥ ∥pW α,p . . . . . . . . . . . . . . . . . . . . . . . 39
a +

3.4. Inmersiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

Conclusiones 48

Referencias bibliográficas 49

vi
Resumen

En este trabajo se definió, a partir de las derivadas débiles fraccionarias de Riemann-

Liouville, el espacio de Sobolev fraccionario, consistiendo de aquellas funciones de Lp (a, b)
cuyas derivadas débiles también pertenecen a Lp (a, b). Además se demostró que dicho es-
pacio es completo, reflexivo y separable.

Palabras clave: derivada fraccionaria, derivadas débiles, funciones Lp .

vii
Abstract

In this work, the fractional Sobolev space was defined from the weak fractional derivati-
ves of Riemann-Liouville, consisting of those functions of Lp (a, b) whose weak derivatives
also belong to Lp (a, b). Furthermore, it was demonstrated that said space is complete,
reflective and separable.

Keywords: Riemann-Liouville derivative, weak derivative, functions Lp .

viii
Capı́tulo 1

Introducción

1.1. Planteamiento del problema

1.1.1. Descripción de la situación problemática

Actualmente diversos problemas y fenómenos están siendo modelados por ecuaciones di-
ferenciales fraccionarias como la descripción de la temperatura en una capa granular [13]
y en la transición entre funcionamiento estable e inestable durante el vaciado de un silo
[14]. En el caso clásico, derivadas de orden entero, los espacios de Sobolev desempeñan
un papel fundamental en el estudio de las ecuaciones diferenciales de orden entero. Para
el caso fraccionario, diferentes tipos de derivadas fraccionarias han aparecido siendo las
mas usadas la derivada fraccionaria de Riemann-Liouville, de Caputo o de Canavati. En
la teorı́a del calculo fraccionario resulta importante el estudio de este tipo de espacios
tipo Sobolev fraccionario dado que ellos serian una herramienta valiosa en el estudio de
las ecuaciones diferenciales fraccionarias.

1.1.2. Formulación del problema

Por lo expuesto anteriormente es muy ventajoso, tener un espacio tipo Sobolev que nos
permita abordar el estudio de las ecuaciones diferenciales fraccionarias, es por ello que
el presente trabajo nos hemos planteado la siguiente interrogante ¿Se podrá definir un
espacio de Sobolev de orden fraccionario usando la derivada de Riemann-Liouville?

1
1.1.3. Objetivos de la investigación

[Link]. General

Construir espacios de Sobolev fraccionarios usando la derivada de Riemann-Liouville.

[Link]. Especı́ficos

Estudiar la integral de Riemann-Liouville y determinar sus principales propiedades.

Estudiar la derivada de Riemann-Lioville en base a la integral de Riemann-Liouville

y determinar sus principales propiedades.

Estudiar la derivada débil fraccionaria.

1.1.4. Justificación de la investigación

Por lo expuesto en la descripción de la situación problemática se observa la necesidad de

construir un espacio de Sobolev de orden fraccionario el cual permitirá abordar el estudio
de las ecuaciones diferenciales fraccionarias.

1.2. Hipótesis y variables

1.2.1. Formulación de hipótesis principal

A partir de la derivada fraccionaria de Riemann-Liouville es posible construir un espacio

de Sobolev fraccionario.

1.2.2. Variables de investigación

Variable independiente:

• Derivada Fraccionaria

Variable dependiente:

• Espacios de Sobolev Fraccionarios

2
1.3. Metodologı́a

1.3.1. Objeto de estudio

En la investigación se estudiará los espacios de Sobolev Clásicos, los espacios AC([a, b]) y
sus propiedades mas importantes. Luego se estudiara la integral fraccionaria de Riemann-
Liouville, sus propiedades más importantes, para luego estudiar y demostrar algunas pro-
piedades de la derivada fraccionaria de Riemann-Liouville.

1.3.2. Metodologı́a de la investigación

Para el desarrollo de esta tesis, se realizo una búsqueda y selección de información bi-
bliográfica especializada, tanto fı́sica como virtual sobre: espacios Lp , espacios de Sobolev,
integral de Riemann-Liouville y derivada de Riemann-Liouville. Luego mediante análisis
de la información y haciendo uso del método deductivo y inductivo se obtuvieron resulta-
dos que permitieron lograr el objetivo principal y los objetivos especı́ficos formulados en
el presente trabajo.

3
Capı́tulo 2

Marco teórico

2.1. Preliminares
Definición 2.1.1. Sea 1 ≤ p < ∞ el espacio clásico de Sobolev W 1,p = W 1,p ((a, b), R) de
orden uno sobre un intervalo abierto y acotado (a, b) ⊂ R está definido por

 Z b Z b 
W 1,p
= p p
u ∈ L ; ∃g ∈ L , ∀φ ∈ Cc∞ (1)
u(t)φ (t)dt = − g(t)φ(t)dt (2.1)
a a

donde Lp = Lp ((a, b), R) es el espacio de funciones g : (a, b) → R que son integrables

con potencia p, Cc∞ = Cc∞ ((a, b), R) es el conjunto de funciones suaves φ : (a, b) → R con
soporte compacto sopφ ⊂ (a, b) y φ(1) es la derivada clásica de φ. La función g, satisfacien-
′
do la condición anterior, se denota por u y es llamada derivada débil de u de primer orden.

El espacio de Sobolev W n,p = W n,p ((a, b), R) de orden n > 1 es definido por

n ′
o
W n,p = u ∈ W n−1,p ; u ∈ W n−1,p . (2.2)

Los espacios W n,p pueden ser caracterizados por el teorema a continuación.

Teorema 2.1.2. Sea n ∈ N, u ∈ W n,p sı́ y sólo sı́ existen funciones g1 , ......, gn ∈ Lp , tal

4
que

Z b Z b
j j
u(t)φ (t)dt = (−1) gj (t)φ(t)dt (2.3)
a a

para φ ∈ Cc∞ y j = 1, ..., n, donde φ(j) denota la derivada clásica de φ de orden j. En tal
caso, existen funciones absolutamente continuas ū : [a, b] → R, tal que u = ū c.t.p sobre
(a, b), la cual posee derivadas clásicas absolutamente continuas u(1) , ...un−1 , la derivada
u(n) = (u(n−1) )(1) ∈ Lp , y

g1 = u(1) , ..., gn = u(n) . (2.4)

Demostración. Para los detalles de la demostración ver [3].

′ ′ ′ ′ ′ ′
Observación 2.1.3. Del Teorema 2.1.2 se tiene g1 = u , g2 = (u ) , ..., gn = (...(u ) ...) .
Cada una de las funciones gj , j = 1, ...n., es denotada por Dj u y es llamada la derivada
débil de u de orden j.

El espacio W n,p dotado con la norma

n
p
X
∥u∥pW n,p = Di u Lp
, u ∈ W n,p , (2.5)
i=0

donde Do u = u, tiene propiedades útiles como completitud, reflexividad (para 1 < p < ∞)
y separabilidad.
Por AC n,1 = AC n,1 ([a, b] , R), donde n ∈ N, se denota el conjunto de todas las funciones
f : [a, b] → R, que tiene un representante (c.t.p. en [a, b]) que es absolutamente continuo
junto con sus derivadas clásicas de órdenes 1, ..., n − 1. Tal función posee la derivada clási-
ca de orden n, existente c.t.p. sobre [a, b] y perteneciente a L1 . Estas derivadas clásicas
son las derivadas débiles D1 f, ..., Dn f .

Se sabe que f ∈ AC n,1 sı́ y sólo sı́ existen c0 , c1 , ..., cn−1 ∈ R y φ ∈ L1 tal que

5
 n−1 Z tZ t1 Z tn−1
X ci i
f (t) = (t − a) + ... φ(τ )dτ dtn−1 ...dt1 , t ∈ [a, b] , c.t.p. (2.6)
i=0
i! a a a

En tal caso,

Di f (a) = ci , i = 0, . . . , n − 1.
(2.7)
Dn f (t) = φ(t), t ∈ [a, b] , c.t.p.

Ejemplo 2.1.4.
Z t
1,1
f ∈ AC , f (t) = c0 + φ(τ )dτ
a

f (a) = c0
′
f (t) = φ(t)

Ahora, si
Z tZ t1
2,1
f ∈ AC , f (t) = c0 + c1 (t − a) + φ(t)dτ dt1
a 1

f (a) = c0
Z t
′
f (t) = c1 + φ(τ )dτ
a
′′
f (t) = φ(t)

Por AC n,p = AC n,p ([a, b] , R) se denota al conjunto de todas las funciones

f : [a, b] → R, la cual tiene un representante (2.6) con c0 , c1 , ..., cn−1 ∈ R y φ ∈ Lp . Se
sabe que AC n,p = W n,p para 1 ≤ p < ∞, [4].

Definición Sean α > 0, y h ∈ L1 . La integral fraccionaria izquierda de Riemman-Liouville

α
de h sobre el intervalo [a, b] es la función Ia+ h dada por

Z t
α 1 h(τ )
(Ia+ h)(t) = dτ, t ∈ [a, b] , c.t.p. (2.8)
Γ(α) a (t − τ )1−α

6
Observación 2.1.5. La integral anterior existe y es finita c.t.p. en [a, b].

Dado que

lı́m (Iaα+ h)(t) = h(t), t ∈ [a, b] , c.t.p. (2.9)

α→0+

será demostrado mas adelante en el Teorema 2.1.7., es natural escribir

(Ia0+ h)(t) = h(t) t ∈ [a, b] , c.t.p. (2.10)

7
Definición 2.1.6.
Un punto x0 se dice que es un punto de Lebesgue de la función φ(x) ∈ L1 (a, b) si:

Z t
1
lı́m [φ(x0 − s) − φ(x0 )]ds = 0. (2.11)
t→0 t 0

Se sabe que casi todos los puntos x0 ∈ [a, b] son puntos de Lebesgue de una función
φ ∈ L1 [a, b].
Teorema 2.1.7.
Sea φ ∈ L1 (a, b). Entonces
lı́m (Iaα+ φ)(x) = φ(x), (2.12)
α→0

para todo punto de Lebesgue de una función φ y consecuentemente en casi todo [a, b].
Demostración. Sea x0 un punto de Lebesgue arbitrario de φ. Sea
Z x0
ϕ(t) = φ(s)ds.
x0 −t

Utilizando un cambio de variable s = x0 − v, ds = −dv se obtiene

Z 0 Z t Z t
ϕ(t) = −φ(x0 − v)dv = φ(x0 − v)dv = φ(x0 − s)ds.
t 0 0

Por (2.11) tenemos

Z t
ϕ(t) 1
− φ(x0 ) = [φ(x0 − s) − φ(x0 )] → 0.
t t 0

Por lo tanto, ϕ(t) = t[φ(x0 ) + b(t)], donde b(t) es una función acotada tal que, |b(t)| < ϵ
siempre que, 0 < t < δ = δ(ϵ),

Z t
1
b(t) = [φ(x0 − s) − φ(x0 )]ds.
t 0

Por definición, tenemos

Z x
1
(Iaα+ φ)(x) = (x − t)α−1 φ(t)dt. (2.13)
Γ(α) a

8
Usando el cambio de variable s = x − t, entonces

Z 0 Z x−a
1 1
(Iaα+ φ)(x) = s α−1
φ(x − s) − ds = sα−1 φ(x − s),
Γ(α) x−a Γ(α) 0

o también

Z x0 −a
1
(Iaα+ φ)(x0 ) = tα−1 φ(x0 − t)dt.
Γ(α) 0

Como

Z t
ϕ(t) = φ(x0 − s)dt , tenemos dϕ(t) = φ(x0 − t)dt.
a

de tal manera que

Z x0 −a Z x0 −a
1 α−1 1
t φ(x0 − t)dt = tα−1 dϕ.
Γ(α) 0 Γ(α) 0

Integrando por partes y reemplazando en (2.13)

u = tα−1 φ(x0 − t)dt, du = (α − 1)tα−2 dt, dv = dϕ, v = ϕ(t).

 Z x0 −a 
1 x0 −a
(Iaα+ φ)(x) = α−1
t ϕ(t)|0 − α−2
ϕ(t)(α − 1)t dt
Γ(α) 0

1 − α x0 −a ϕ(t)
 
ϕ(x0 − a)
Z
1 ϕ(t)
= − + dt
Γ(α)(x0 − a)1−α Γ(α) t1−α t=0 Γ(α) 0 t2−α
ya que

 
1 ϕ(t) α
t = 0,
Γ(α) t1 t=0

reducimos la expresión

x0 −a
ϕ(x0 − a) 1−α
Z
ϕ(t)
= 1−α
+ dt,
Γ(α)(x0 − a) Γ(α) 0 t2−α
como ϕ(t) = t [φ(x0 ) + b(t)] entonces

9
 x0 −a
ϕ(x0 − a) 1−α
Z
t [φ(x0 ) + b(t)]
(Iaα+ φ)(x0 ) = 1−α
+ dt
Γ(α)(x0 − a) Γ(α) 0 t2−α

x0 −a x0 −a
ϕ(x0 − a) (1 − α)φ(x0 ) 1−α
Z Z
α−1
= + t dt + tα−1 b(t)dt
Γ(α)(x0 − a)1−α Γ(α) 0 Γ(α) 0

x0 −a δ x0 −a
ϕ(x0 − a) (1 − α)φ(x0 ) 1−α 1−α
Z Z Z
α−1 α−1
= 1−α
+ t dt+ t b(t)dt+ tα−1 b(t)dt
Γ(α)(x0 − a) Γ(α) 0 Γ(α) 0 Γ(α) δ

R x0 −a
y al reducir 0
tα−1 dt = 1
α
[tα ]x0 0 −a = α1 (x0 − a)α, reescribimos

δ x0 −a
ϕ(x0 − a) (1 − α)φ(x0 ) 1 1−α 1−α
Z Z
= 1−α
+ (x0 −a)α + t α−1
b(t)dt+ tα−1 b(t)dt
Γ(α)(x0 − a) Γ(α) α Γ(α) 0 Γ(α) δ

Restando a ambos lados φ(x0 ) a la expresión

 
ϕ(x0 − a) 1−α
(Iaα+ φ)(x0 ) − φ(x0 ) = + φ(x0 ) α
(x0 − a) − 1
Γ(α)(x0 − a)1−α αΓ(α)

δ x0 −a
1−α 1−α
Z Z
α−1
+ t b(t)dt + tα−1 b(t)dt
Γ(α) 0 Γ(α) δ

y aplicando el limite obtenemos

 
ϕ(x0 − a) 1−α
lı́m |(Iaα+ φ)(x0 ) − φ(x0 )| ≤ lı́m+ + lı́m φ(x0 ) α
(x0 − a) − 1
α→0+ α→0 Γ(α)(x0 − a)1−α α→0+ αΓ(α)

δ x0 −a
1−α 1−α
Z Z
α−1
+ lı́m+ t b(t)dt + lı́m+ tα−1 b(t)dt
α→0 Γ(α) 0 α→0 Γ(α) δ

ϕ(x0 − a)
lı́m+ =0 pues Γ(α) → ∞, α → 0+
α→0 Γ(α)(x0 − a)1−α

10
    
1−α α 1−α α
lı́m φ(x0 ) (x0 − a) − 1 ≤ |φ(x0 )| lı́m+ (x0 − a) − 1 = 0
α→0+ αΓ(α) α→0 αΓ(α)

x0 −a
1−α
Z
lı́m+ tα−1 b(t)dt = 0 pues Γ(α) → ∞, α → 0+
α→0 Γ(α) δ

δ δ
1−α 1−α
Z Z
lı́m+ |(Iaα+ φ)(x0 ) − φ(x0 )| ≤ lı́m+ α−1
t b(t)dt ≤ lı́m+ |tα−1 ||b(t)|dt
α→0 α→0 Γ(α) 0 α→0 Γ(α) 0

como |b(t)| ≤ ϵ, cuando 0 < t < δ

δ
1−α
Z
lı́m+ |(Iaα+ φ)(x0 ) − φ(x0 )| ≤ lı́m+ ϵ tα−1 dt
α→0 α→0 Γ(α) 0

δ
(1 − α)ϵδ α

1−α 1 α (1 − α)ϵ α
lı́m+ ϵ t = lı́m+ δ = lı́m+ =ϵ
α→0 Γ(α) α 0 α→0 αΓ(α) α→0 Γ(α + 1)
Como x0 es punto de Lebesgue arbitrario, por lo tanto

lı́m (Iaα+ φ)(x0 ) = φ(x), t ∈ [a, b] c.t.p. (2.14)

α→0+

De tal manera es natural escribir (2.10).

Observación 2.1.8. Si α ≥ 1, el lado derecho de (2.8) existe (y es finito) sobre todo
[a, b]. Además, Iaα+ h puede ser definido sobre todo [a, b] y es continua sobre [a, b]. (Brezis,
1987)
Observación 2.1.9. Si h es esencialmente acotada sobre [a, b] y 0 < α < 1, entonces
el lado derecho de (2.8) es definido y acotado casi en todas partes sobre (a, b]. Además,
en ese caso Iaα+ h puede ser definido casi en todas partes sobre (a, b]. También se puede
deducir que Iaα+ h es igual casi en todas partes sobre (a, b] a una función continua sobre
[a, b]. Asimismo se puede demostrar que h ∈ Lp con 1 ≤ p < ∞, entonces Iaα+ h ∈ Lp
(Bourdin y Idczak, 2014).

11
Sea n − 1 < α ≤ n, donde n ∈ N. Por ACaα,1
+ = ACaα,1
+ ([a, b] , R) denotamos el con-

junto de todas las funciones f : [a, b] → R que tiene una representación

n−1
X ci
f (t) = (t − a)α−n+i + Iaα+ φ(t) t ∈ [a, b] c.t.p. (2.15)
i=0
Γ(α − n + 1 + i)

con c0 , c1 , ..., cn−1 ∈ R y φ ∈ L1 . Por supuesto, ACan,1

+ = AC
n,1
.

Decimos que f ∈ L1 posee la derivada izquierda Riemann-Liouville Daα+ f de orden

α ∈ (n − 1, n], n ∈ N, sobre el intervalo [a, b] si Ian−α
+ f ∈ AC
n,1
. Por esa derivada nos
referimos a la derivada Dn (Ian−α n n
+ f ) . Es claro que Da+ f = D f .

La derivada fraccionaria izquierda de Riemann-Liouville de f ∈ AC[a, b] de orden α ∈

(n − 1, n], n ∈ N esta definida por
Z t
1 f (τ )
(Daα+ f )(t) = Dan+ (Ian−α
+ f )(t) = Dn dτ, t ∈ [a, b].
Γ(n − α) a (t − τ )α−n+1

Proposición 2.1.10. (Propiedad de semigrupo) Sea φ ∈ L1 (a, b), entonces se verifica

que
I α I β φ(t) = I α+β φ(t), α, β > 0 (2.16)

para casi todo t ∈ [a, b].

Demostración.
Para cada φ ∈ L1 (a, b) se tiene
Z x Z t
1 1 φ(τ )dτ
Iaα+ Iaβ+ φ(x) = 1−α 1−β
dt
Γ(α)Γ(β) a (x − t) a (t − τ )
Z xZ t
1 φ(τ )
= dτ dt.
Γ(α)Γ(β) a a (x − t)1−α (t − τ )1−β

12
Cambiando el orden de integración

a ≤ t ≤ x, a≤τ ≤x

a ≤ τ ≤ t, τ ≤t≤x

Z x Z x
1 φ(τ )
Iaα+ Iaβ+ φ(x) = dtdτ,
Γ(α)Γ(β) a τ (x − t)1−α (t − τ )1−β
usando el cambio de variable

(x − t) 1
s= , ds = − dt,
(x − τ ) (x − τ )
si τ = t ⇒ s = 1, si t = x ⇒ s = 0.

Z x Z 0
1 φ(t)
Iaα+ Iaβ+ φ(x) = − (x − τ )dsdτ.
Γ(α)Γ(β) a 1 (s(x − τ ))1−α (t − τ )1−β

(x − t) = s(x − τ )

t = x − sx − sτ

t − τ = x − sx + sτ − τ

t − τ = x(1 − s) − τ (1 − s)

t − τ = (x − τ )(1 − s)

Z x Z 1
1 φ(τ )
Iaα+ Iaβ+ φ(x)) = dsdτ
Γ(α)Γ(β) a 0 s1−α (x − τ )1−α (x − τ )1−β (1 − s)1−β

Z x Z 1
1 φ(τ )
= sα−1 (1 − sβ−1 )dsdτ
Γ(α)Γ(β) a (x − τ )1−α−β 0

Z x
1 φ(τ )
= B(α, β)dτ.
Γ(α)Γ(β) a (x − τ )1−α−β

13
 Γ(α)Γ(β)
Como B(α, β) = ,
Γ(α + β)

Z x
B(α, β) φ(τ )
Iaα+ Iaβ+ φ(x) = dτ
Γ(α)Γ(β) a (x − τ )1−α−β
Z x
1 φ(τ )
= dτ
Γ(α + β) a (x − τ )1−α−β
Iaα+ Iaβ+ φ(x) = Iaα+β
+ φ(x).

En caso de que f no sea continua pero sı́ pertenezca a L1 (a, b) basta con encontrar una
sucesión de funciones continuas que converjan a f en la norma de L1 (a, b) y utilizar el
procedimiento anterior.

1
Ejemplo 2.1.11. Sea f (t) = 1 y α = 2

Z t
1 1
I (1) = 1
2
a+ (t − τ )−1/2 dτ
Γ( 2 ) 0
Z t
1
=√ (u)−1/2 du (con τ = t − u)
π 0
2
= √ t1/2
π

Si a la función obtenida anteriormente se le vuelve a aplicar la derivada de Riemann-

1 1
Liouville de orden 1/2 se obtiene el resultado del cálculo elemental. Es decir Ia2+ Ia2+ (1) = t,
que como vemos cumple con la propiedad anterior.

Teorema 2.1.12. Si n − 1 < α < n, n ∈ N y f ∈ L1 , entonces f posee la deriva-

da izquierda de Riemann-Liouville Daα+ f de orden α sobre el intervalo [a, b], sı́ y sólo sı́
f ∈ ACaα,1
+ , es decir, f posee representacion (2.15). En tal caso

Di (Ian−α
+ f )(a) = ci , i = 0, ..., n − 1 (2.17)

(Daα+ f )(t) = φ(t), t ∈ [a, b] c.t.p. (2.18)

14
Por ACaα,p
+ (1 < p < ∞), denotamos al conjunto de todas las funciones f : [a, b] → R que

poseen representación (15) con c0 , c1 , ..., cn−1 ∈ R y φ ∈ Lp .

Demostración. Para los detalles de la demostración ver [1].

Observación 2.1.13. Para 1 ≤ p < ∞. f tiene la derivada izquierda Riemann-Liouville

Daα+ f ∈ Lp sı́ y sólo sı́ f ∈ ACaα,p p
+ ; es decir, f tiene representación (15) con φ ∈ L .

Sea α > 0. Por la integral fraccionaria derecha Riemann-Liouville de h ∈ L1 sobre el

intervalo [a, b] nos referimos a la función

Z b
1 h(τ )
(Ibα− h)(t) = dτ, t ∈ [a, b] (2.19)
Γ(α) t (τ − t)1−α
Similarmente, como en el caso de la integral izquierda, se tiene:

(Ibo− h)(t) = h(t), t ∈ [a, b] c.t.p. (2.20)

Observación 2.1.14. Ibα− φ tiene las propiedades análogas a aquellas descritas en las ob-
servaciones 2.1.8. y 2.1.9.

Por ACbα,1 α,1

− = ACb− ([a, b] , R) denotamos al conjunto de todas las funciones f : [a, b] → R

que tienen representación

n−1
X di
f (t) = (−1)i (b − t)α−n+i + Ibα− ψ(τ ), t ∈ [a, b] c.t.p. (2.21)
i=0
Γ(α − n + 1 + i)

con d0 , d1 , ..., dn−1 ∈ R y ψ ∈ L1 . Se tiene también que ACbn,1

− = AC
n,1
.

f ∈ L1 posee derivada derecha Riemann-Liouville Dbα− f de orden α ∈ (n − 1, n], n ∈ N

sobre el intervalo [a, b], si Ibn−α
− f ∈ AC n,1 . Por la derivada nos referimos a la función
(−1)n Dn (Ibn−α
− f ). Es claro que Dbn− f = (−1)n Dn f .

15
Teorema 2.1.15.
Si n − 1 < α ≤ n, n ∈ N, y f ∈ L1 , entonces f tiene derivada derecha Riemann-
Liouville Dbα− f de orden α sobre el intervalo [a, b] sı́ y sólo sı́ f ∈ ACbα,p
− f ; es decir, f tiene

representación (2.21) . En tal caso,

Di (Ibn−α
− f )(b) = di , i = 0, ..., n − 1. (2.22)

(Dbn− f )(t) = ψ(t), t ∈ [a, b] c.t.p. (2.23)

Por ACbα,p α,p

− = ACb− ([a, b] , R) denotamos al conjunto de todas las funciones f : [a, b] → R

que tienen representación (2.21) con d0 , d1 , ..., dn−1 ∈ R y ψ ∈ Lp .

Demostración. Para los detalles de la demostración ver [1].

Observación 2.1.16. Como el caso de la derivada izquierda de Riemann-Liouville,

el siguiente teorema es válido para cualquier 1 ≤ p < ∞: f posee la derivada derecha
de Riemann-Liouville Dbα− f ∈ Lp si y sólo si f ∈ ACbα,p
− ; es decir, f posee representación

(2.15) con ψ ∈ Lp .

Proposición 2.1.17. Sea f ∈ L1 (a, b), entonces se verifica que

lı́m (Daα+ f )(t) = f (t) t ∈ [a, b] c.t.p.

α→0+

Demostración.
Por definición, se tiene:
 Z t 
1
(Daα+ f )(t) =D n
(t − τ ) n−α−1
f (τ )dτ .
Γ(n − α) a

Aplicando el lı́mite a ambos lados,

 Z t 
1
lı́m (Daα+ f )(t) = lı́m+ D n
(t − τ ) n−α−1
f (τ )dτ
α→0+ α→0 Γ(n − α) a

16
  Z t 
1
lı́m+ (Daα+ f )(t) =D n
(t − τ )n−1
f (τ )dτ = Dan+ (Ian+ f )(t) = f (t).
α→0 Γ(n) a

Proposición 2.1.18. Sea f ∈ L1 (a, b), entonces se verifica que

(Daα+ Iaα+ f )(t) = f (t) t ∈ [a, b] c.t.p.

Demostración. Por el Teorema 2.1.10, se tiene

(Iaα+ f )(t) = Iaα−k k

+ (Ia+ f )(t)

luego

(Daα+ Iaα+ f )(t) = (Dan+ Ian−α α

+ Ia+ f )(t)

= (Dan+ Ian+ f )(t)

= f (t).

Con lo cual queda demostrado. ■

Algo interesante que podemos observar es que al igual que en el cálculo elemental, el
operador de Riemann-Liouville de derivación fraccionaria es el inverso por la izquierda al
de integración fraccionaria.

Teorema 2.1.19. Si α, β > 0, entonces

ACaα,1 β,1
+ ⊂ ACa+ , (2.24)

si y sólo si
∞
[
β ∈ (0, 1], α∈ [β + i, 1 + i] , (2.25)
i=0

17
ó
β ∈ (1, ∞), α=β+i i = 0, 1, ...n. (2.26)

Demostración. Para los detalles de la demostración ver [6].

Teorema 2.1.20.
(a) Si n − 1 < α ≤ n, n ∈ N, 0 < β < α − n + 1 y x ∈ ACaα,1
+ es de la forma (2.15),

entonces.
x(t) = Iaβ+ ψ(t), t ∈ [a, b] c.t.p. (2.27)

donde ψ ∈ L1 es dado por

n−1
X ci
ψ(t) = (t − a)α−n−β+i + Iaα−β
+ φ(t), t ∈ [a, b] c.t.p. (2.28)
t=0
Γ(α − n + 1 − β + i)

(b) Si n − 1 < α ≤ n, n ∈ N, n ≥ 2, β = α − j, j ∈ 1, ..., n − 1, y x ∈ ACaα,1

+ son de la

forma (2.15), entonces

(n−j)−1
X di
x(t) = (t − a)β−(n−j)+i + Iaβ+ ψ(t), t ∈ [a, b] c.t.p.
i=0
Γ(β − (n − j) + 1 + i)
(2.29)
donde
d i = ci , i = 0, ..., (n − j) − 1. (2.30)
j−1
X
ψ(t) = Iai + cn−j+i (t) + Iaj+ φ(t), t ∈ [a, b] c.t.p. (2.31)
i=0

Demostración. Para los detalles de la demostración ver [6].

2.2. Algunos casos especiales de integración por par-

tes
Sea C = C([a, b], R) el conjunto de las funciones f : [a, b] → R tal que la derivada f (i) ∈ C,
i = 0, ..., n (por f (0) nos referimos a la función f ). Es claro que estas derivadas clásicas

18
coinciden con las débiles D0 f, D1 f, ..., Dn f .

19
 Lema 2.2.1.
Si n − 1 < α < n, n ∈ N, f ∈ C n , y

D(i) f (b) = 0, i = 0, ..., n − 1, (2.32)

entonces Ibn−α
− f ∈ C n,

Di (Ibn−α
− f )(b) = 0, i = 0, ..., n − 1, y
(2.33)
Dbα− f = Ibn−α
− (Dbn− f ) = Ibn−α
− ((−1)n Dn f ) ∈ C.

Consecuentemente, f ∈ Ibα− (C).

Demostración.
Supongamos que f ∈ C n y

D(i) f (b) = 0, i = 0, ..., n − 1. (2.34)

luego

Ibn−α
− f (t) = Ibn−α
− Ibn− (Dbn− f )(t)

= Ibn− Ibn−α
− (Dbn− f )(t) (2.35)

= Ibn− Ibn−α
− ((−1)n Dn f )(t)

para todo t ∈ [a, b]. Por lo que Ibn−α

− f ∈ C n y Dbα− f = Ibn−α
− ((−1)n Dn f ) ∈ C, por Obser-
vación 2.1.6. Luego por la igualdad (2.28) se obtiene

Di (Ibn−α
− f )(b) = 0, i = 0, ..., n − 1. (2.36)

Por lo tanto f ∈ Ibα− (C).

Observación 2.2.2. Un lema análogo puede ser obtenido para la integral por la izquierda
Iaα+ f y derivada izquierda Daα+ f respectivamente (sin el término (−1)n ).

20
Teorema 2.2.3.
Si n − 1 < α ≤ n, n ∈ N, entonces
Z b Z b
f (t)(Dbα− g)(t)dt = (Daα+ f )(t)g(t)dt (2.37)
a a

para cualquier f ∈ ACaα,1

+ y g ∈ C
n
satisfaciendo las condiciones de contorno

Di g(a) = Di g(b) = 0 i = 0, ..., n − 1. (2.38)

Demostración.
Dado que
Z b
Ib1− (Dbn− g)(t) = (Dbn− g)(t)dt
t
Z b
= (−1)n (Dn g)(t)dt
t
(2.39)
= (−1) ((Dn−1 g)(b) − (Dn−1 g)(t))
n

= (−1)n−1 Dn−1 g)(t)

= Dbn−1
− g(t)

Para cada f ∈ ACaα,1 1

+ de la forma (2.11) con c0 , c1 , ..., cn−1 ∈ R y φ ∈ L . Por el Lema

2.2.21. y Observación 2.2.14. se tiene:

Z b
f (t)(Dbα− g)(t)dt (2.40)
a

21
es equivalente a
Z b
= f (t)Ibn−α
− (Dbn− g)(t)dt
a
Z n−1
b X
ci
= ( (t − a)α−n+i + Iaα+ φ(τ )).(Ibn−α
− (Dbn− g))(t)dt
a i=0 Γ(α − n + 1 + i)
n−1
X Z b
α−n+1+i n−α n
= ci Ib− (Ib− Db− g)(a) + (Daα+ f )(t)(Ibn− Dbn− g)(t)dt (2.41)
i=0 a
n−1
X Z b
= ci Ib1+i n
− Db− g(a) + (Daα+ f )(t)g(t)dt
i=0 a
Z b
= (Daα+ f )(t)g(t)dt
a

Lo cual completa la prueba.

El siguiente resultado demostrado por Idczak y Majewski (2012) y más tarde por Bourdin
e Idczak (2015) es fundamental para el desarrollo del presente trabajo.
Teorema 2.2.4.
Si 0 < α < 1, α > 1/p, α > 1/q, 1 ≤ p < ∞ y 1 ≤ q < ∞, entonces
Z b Z b
f (t)(Dbα− g)(t)dt = (Ia1−α
+ f )(a)g(a) − (Ib1−α
− g)(b)f (b) + (Daα+ f )(t)g(t)dt (2.42)
a a

para f ∈ ACaα,p α,q

+ ([a, b], R) y g ∈ ACb− ([a, b], R),.

Demostración. Para los detalles de la demostración ver [4].

Teorema 2.2.5. Si α > 0 y 1 ≤ p < ∞ , entonces el operador Iaα+ : Lp → Lp

es completamente continuo, es decir, la imagen de conjuntos acotados son relativamente
compactos.
Demostración. Para los detalles de la demostración ver [9].

22
Capı́tulo 3

Resultados

3.1. Derivada débil fraccionaria

Definición 3.1.1. Sea 0 < α ≤ 1, 1 ≤ p < ∞ y u ∈ Lp , uαa+ ∈ Lp es la derivada
fraccionaria débil izquierda de orden α de u si, ∀φ ∈ Cc∞ se cumple que
Z b Z b
u(t)Dbα− φ(t)dt = uαa+ φ(t)dt. (3.1)
a a

Teorema 3.1.2 La derivada débil es única.

Demostración. Supongamos que existe otra una función g ∈ Lp que cumple

Z b Z b
u(t)Dbα− φ(t)dt = g(t)φ(t)dt
a a

por lo tanto Z b Z b Z b
u(t)Dbα− φ(t)dt = g(t)φ(t)dt = uαa+ φ(t)dt
a a a

Luego Z b Z b
g(t)φ(t)dt − uαa+ φ(t)dt = 0
a a
Z b
(g − uαa+ )(t)φ(t)dt = 0
a

como se cumple para ∀φ ∈ Cc∞ , g − uαa+ = 0 c.t.p por lo tanto g = uαa+ c.t.p.

23
Sea 0 < α ≤ 1 y 1 ≤ p < ∞, definamos el conjunto Waα,p
+ ((a, b), R) por

 Z b Z b 
Waα,p
+
p α p ∞
= u ∈ L ; ∃ua+ ∈ L ; ∀φ ∈ Cc α
u(t)Db− φ(t)dt = α
ua+ φ(t)dt . (3.2)
a a

Para n ∈ N, n ≥ 2 tal que n − 1 < α ≤ n, el conjunto Waα,p α,p

+ = Wa+ ([a, b]), R) esta dado

por
n o
α−(n−1)
Waα,p
+ = u ∈ W α−1,p
a+ ; ua+ ∈ W n−1,p
a+ (3.3)

Observación 3.1.3. Puesto que Db1− φ = −D1 φ = −φ(1) para φ ∈ Cc∞ , la derivada
′
fraccionaria izquierda u1a+ de u coincide con la derivada débil clásica de u, es decir u =
D1 u. Por lo tanto
Wan,p
+ = W
n,p
= AC n,p = ACan,p
+ (3.4)

para n ∈ N.
Para el conjunto Waα,p
+ se tiene la siguiente caracterización

Teorema 3.1.4. Si n − 1 < α ≤ n, n ∈ N, y 1 ≤ p < ∞, entonces

Waα,p α,p p
+ = ACa+ ∩ L . (3.5)

Demostración. Para el caso que α = n se sigue de (3.4) y de el hecho que ACan,p p

+ ⊂ L .

Para el caso que n − 1 < α < n, se aplica la inducción con respecto a n ∈ N.

Sea n = 1. Si u ∈ ACaα,p p
+ ∩ L , entonces por el Teorema 2.1.12, u tiene la derivada

Daα+ u ∈ Lp .Por el Teorema 2.2.23. se tiene

Z b Z b
u(t)Dbα− φ(t)dt = (Daα+ u)(t)φ(t)dt (3.6)
a a

para cualquier φ ∈ Cc∞ . Luego, u ∈ Waα,p

+ con

uαa+ = g = Daα+ u ∈ Lp . (3.7)

Por lo tanto = ACaα,p p α,p

+ ∩ L . ⫅ Wa+

Supongamos que u ∈ Waα,p p p

+ , luego u ∈ L , y existe una función g ∈ L tal que

24
 Z b Z b
u(t)Dbα− φ(t)dt = g(t)φ(t)dt (3.8)
a a

para cualquier φ ∈ Cc∞ . Para que u ∈ ACaα,p

+ ∩ L
p
es suficiente demostrar por Teorema
2.1.12. y definicion ACaα,p
+ que u posee la derivada izquierda de Riemann-Liouville de or-

den α, y pertenece a Lp ; es decir, que Ia1−α

+ u es absolutamente continua sobre [a, b] y es la

derivada clásica de primer orden (existente c.t.p. sobre [a,b]) y pertenece a Lp .

Si φ ∈ Cc∞ , entonces (Lema 2.2.1.) φ ∈ Ibα− (C) y Dbα− φ = Ib1−α 1

− (−D φ). Por el teore-

ma fraccionario clásico sobre la integración por partes (Idzack y Majewski, 2012) se tiene,

Z b Z b
u(t)Dbα− φ(t)dt = u(t)(Ib1−α 1
− (−D φ))(t)dt
a a
Z b
= (Da1−α 1−α 1−α 1
+ Ia+ u)(t)(Ib− (−D φ))(t)dt
a
Z b
(3.9)
= (Ia1−α 1
+ u)(t)(−D φ)(t)dt
a
Z b
=− (Ia1−α 1
+ u)(t)(D φ)(t)dt
a

De (3.8) y (3.9) se obtiene

Z b Z b
(Ia1−α 1
+ u)(t)(D φ)(t)dt =− g(t)φ(t)dt (3.10)
a a

para cualquier φ ∈ Cc∞ , luego Ia1−α

+ u ∈ W
1,p
. Lo que implica, Ia1−α
+ u es absolutamente con-

tinua y su derivada clásica es igual a g ∈ Lp c.t.p sobre [a,b], por lo tanto Waα,p α,p
+ = ACa+ ∩L
p

para 1 ≤ p < ∞.

Supongamos que

Waα,p α,p
+ = ACa+ ∩ L
p
(3.11)

para cualquier α ∈ (n − 1, n), n ∈ N. Se demostrará que la igualdad se mantiene para

cualquier α ∈ (n, n + 1).

25
Sea α ∈ (n, n+1), n ∈ N y u ∈ Waα,p α−1,p
+ , entonces u ∈ Wa+ = ACaα−1,p
+ ∩Lp y uα−n n,p
a+ ∈ Wa+ .

Luego

n−1
X ci
u(t) = (t − a)α−1−n+i + Iaα−1
+ φ(t) t ∈ [a, b] c.t.p. (3.12)
i=0
Γ(α − n + i)

donde c0 , c1 , ..., cn−1 ∈ R y φ ∈ Lp . Si n = 1, de la igualdad anterior y de (2.40) se sigue

que

φ = Daα−1 α−1
+ u = ua+ ∈ Wa1,p
+ = W
1,p
. (3.13)

Si n ≥ 2, del teorema 2.2.20(b) y (2.40) se tiene

(α−1)−(n−1)
uaα−n
+ = Daα−n
+ u = Da+ u
n−2
X (3.14)
= Iai + c1+i + Ian−1
+ φ

i=0

n,p
Esto es Ian−1
+ φ ∈ Wa+ por lo que

φ = Dan−1 n−1
+ Ia+ φ = D Ia+ φ ∈ Dn−1 (Wan,p
n−1 n−1
+ )
(3.15)
= Dn−1 (W n,p ) = W 1,p

En ambos casos (n = 1, n ≥ 2) existen cn ∈ R y λ ∈ Lp tal que

φ = cn + Ia1+ λ. (3.16)

Luego
Ian+1−α
+ u ∈ ACan+1,p
+ . (3.17)

En efecto, por

Γ(δ)
Iaν+ ((. − a)δ−1 )(t) = (t − a)ν+δ−1 , t ∈ [a, b] c.t.p. para ν > 0, δ > 0) (3.18)
Γ(ν + δ)

26
 n−1
X ci
Ian+1−α
+ u(t) = Ian+1−α
+ ((. − a)α−1−n+i )(t) + Ian+1−α
+ Iaα−1
+ φ(t)

i=0
Γ(α − n + i)
n−1
X ci Γ(α − n + i)
= (t − a)i + Ian+ φ(t)
i=0
Γ(α − n + i) Γ(1 + i)
n−1
(3.19)
X ci
= + Ian+ cn (t) + Ian+1
+ λ(t)

i=0
Γ(1 + i)
n−1
X ci
= (t − a)i + Ian+1
+ λ(t)

i=0
i!

para t ∈ [a, b] c.t.p.. Por lo tanto, Ian+1−α

+ u ∈ ACan+1,p
+ .

Por otro lado, sea u ∈ ACaα,p p α,p

+ ∩ L . Para demostrar que u ∈ Wa+ basta demostrar que

u ∈ Waα−1,p
+ , uα,p n,p
a+ ∈ Wa+ . (3.20)

El teorema 2.2.20(b) implica la igualdad

Daα−1 1
+ u = cn + Ia+ φ, (3.21)

donde

n
X ci
u(t) = (t − a)α−(n+1)+i + Iaα+ φ(t), t ∈ [a, b] c.t.p. , φ ∈ Lp (3.22)
i=0
Γ(α − n + i)

,u ∈ ACaα−1,p
+ ∩ Lp = Waα−1,p
+ . Del teorema 2.2.20(b), (2.40) y dado que u ∈ Waα−n
+ se tiene
que

n−1
X
uα−n
a+ = Daα−n
+ u = Iai + c1+i + Ian+ φ
i=0
n−1
(3.23)
X c1+i
= (t − a)i + Ian+
i=0
i!

n,p n,p
Luego uα−n
a+ ∈ ACa+ = Wa+ . Con lo cual queda demostrado.

27
 Observación 3.1.5. Si n − 1 < α ≤ n y (n − α)p < 1, entonces ACaα,p
+ ⊂ Lp .
Consecuentemente, Waα,p
+ = ACaα,p
+ ∩ L
p
= ACaα,p α,p
+ . Si (n − α)p ≥ 1, entonces Wa+ =
ACaα,p
+ ∩ L
p
es decir Waα,p α,p
+ es el conjunto de todas las funciones pertenecientes a ACa+ ,

esto es Ian−α n−α

+ f satisface la condicion (Ia+ f )(a) = 0.

A continuación se tiene una generalización del Teorema 2.1.2.

Teorema 3.1.6. Sea n − 1 < α ≤ n, n ∈ N, 1 ≤ p < ∞, y u ∈ Lp . Entonces, u ∈ Waα,p

+ si

y sólo si existen funciones g1 , ..., gn ∈ Lp tal que

Z b Z b
α−(n−i)
u(t)Db− φ(t)dt = gi (t)∀φ(t)dt, φ ∈ Cc∞ , i = 1, 2, ..., n. (3.24)
a a

α−(n−1) α−(n−2)
En tal caso existen las derivadas izquierdas de Riemann-Liouville Da+ u, Da+ u, ..., Daα+ u
de u y
α−(n−1) α−(n−2)
g1 = Da+ u, g2 = Da+ u, ..., gn = Daα+ u. (3.25)

Demostración.
Para α = n viene del Teorema 2.1.2, se tiene la igualdad (3.24) y (3.25). A continuación
se demostrará para n − 1 < α < n, 1 < n, pues para el caso n = 1 es suficiente usar la
definición de Waα,p
+ con α ∈ (0, 1).

Supongamos que el teorema 3.1.6. se cumple para n ∈ N, α ∈ (n − 1, n). Luego, pa-

ra u ∈ Waα,p
+ con α ∈ (n, n + 1) fijo, se tiene

u ∈ Waα−1,p
+ , (3.26)

por lo cual,
Daα−n,p
+ = uα−n,p
a+ ∈ Wan,p
+ , (3.27)

puesto que , α − 1 ∈ (n − 1, n)) la relación (3.27) implica (por inducción) la existencia de

28
funciones g1 , ..., gn ∈ Lp tal que
Z b Z b
α−((n+1)−i) (α−1)−(n−i)
u(t)Db− φ(t)dt = u(t)Db− φ(t)dt
a a
Z b
(3.28)
= gi (t)φ(t)dt
a

para cualquier φ ∈ Cc∞ e i = 1, ..., n. Ademas,

(α−1)−(n−1) α−((n+1)−1)
g1 = Da+ u = Da+ u,
(α−1)−(n−2) α−((n+1)−2)
g2 = Da+ u = Da+ u,

. (3.29)

.
(α−1)−(n−n) α−((n+1)−n)
gn = Da+ u = Da+ u.

1−(α−n)
De la existencia de Daα−n
+ u y de (3.29) se tiene que Ia+ u ∈ W n+1,p . En particular,
α−((n+1)−(n+1))
existen las derivadas Daα+ u ∈ Lp . Si gn+1 = Daα+ u, entonces gn+1 = Da+ u,
luego, por el Teorema 2.2.3. se tiene
Z b Z b
α−((n+1)−(n+1))
u(t)Db− φ(t)dt = u(t)Dbα− φ(t)dt
a a
Z b
= Daα+ u(t)φ(t)dt (3.30)
a
Z b
= gn+1 (t)φ(t)dt
a

para cualquier φ ∈ Cc∞ .

Luego existen las funciones g1 , ..., gn+1 ∈ Lp tal que

Z b Z b
α−((n+1)−i)
u(t)Db− φ(t)dt = gi (t)φ(t)dt (3.31)
a a

para cualquier i = 1, ..., n + 1. Dado que α − ((n + 1) − i) = α − 1 − (n − i), la condición

29
anterior para i = 1, ..., n + 1 implican

u ∈ Waα−1,p
+ . (3.32)

Además, la condición (3.31) para i = 1, el Lema 2.2.1. y la forma integral del teorema
fraccionario clásico de integración por partes (Samko, Kilbas y Marichev, 1993, p. 34)
implican que
Z b Z b
g1 (t)φ(t)dt = u(t)Dbα−n
− φ(t)dt
a a
Z b
= u(t)Ibn−α+1
− Db1− φ(t)dt
a
Z b
(3.33)
= Ian−α+1
+ u(t)Db1− φ(t)dt
a
Z b
=− Ian−α+1
+ u(t)D1 φ(t)dt
a

para cualquier φ ∈ Cc∞ . Es decir, que Ian−α+1

+ u ∈ W 1,p . Al fijar i = 2, ..., n + 1 y usando
una vez más el Lema 2.2.1. y la forma integral del teorema fraccionario clásico sobre la
integración por partes, se tiene

Z b Z b
α−((n+1)−i)
gi (t)φ(t)dt = u(t)Db− φ(t)dt
a a
Z b Z b
(n+1)−α i (n+1)−α
= u(t)Ib− Db− φ(t)dtIa+ u(t)Dbi − φ(t)dt
=
a a
Z b Z b (3.34)
i (n+1)−α i i (n+1)−α
= (−1) Ia+ u(t)D φ(t)dt = (−1) Ia+ u(t)D1 Di−1 φ(t)dt
a a
Z b Z b
1 1−(α−n)
= (−1)i−1
D Ia+ i−1
u(t)D φ(t)dt = (−1) i−1
Daα−n
+ u(t)D
i−1
φ(t)dt.
a a

Del Teorema 2.1.2. se sigue que

uα−n α−n
a+ = Da+ u ∈ W
n,p
. (3.35)

Las funciones g1 , ..., gn , serán llamadas las derivadas débiles fraccionarias por la izquierda

30
de u ∈ Waα,p
+ de ordenes α − (n − 1), ..., α, respectivamente. La unicidad de dichas deriva-

das se deduce del trabajo de Brezis (1983, pp. 54–56). Del teorema 3.1.6 se tiene que las
derivadas coinciden con las respectivas derivadas de Riemann-Liouville.

Tenemos la siguiente contraparte de la Observación 2.1.3.

Teorema 3.1.7.
Si u ∈ Waα,p
+ , n − 1 < α ≤ n, y n ∈ N, entonces

α−(n−1)
gi = Di−1 (Da+ u), i = 1, ..., n. (3.36)

Demostración.
Si u ∈ Waα,p n−α
+ , entonces Ia+ u ∈ W
n,p
,de la definición de la derivada de Riemann-Liouville
y del Teorema 3.1.6. se implica que

1−(α−n+1)
g1 = Daα−n+1
+ u = D1 Ia+ u = D1 (Ian−α
+ u)

2−(α−n+2)
g2 = Daα−n+2
+ u = D2 Ia+ u = D2 (Ian−α
+ u)

= D1 (D1 Ian−α 1 α−n+1

+ u) = D (Da+ u); (3.37)
n−(α−n+n)
gn = Daα−n+n
+ u = Dn Ia+ u

= Dn−1 (D1 Ian−α

+ u) = D
n−1
(Daα−n+1
+ u).

la prueba está completa.

3.2. Normas en Waα,p

+

Teorema 3.2.1.
Sea α ∈ (n − 1, n], n ∈ N y el espacio Waα,p α,p
+ (a, b), la función ∥·∥W α,p : Wa+ → R definida
a+

por
n−1
X p
α−(n−1)+i
∥u∥pW α,p = ∥u∥pLp + Da+ u para cada u ∈ Waα,p
+ (3.38)
a+ Lp
i=0

31
define una norma en Waα,p p
+ (a, b) (aquı́ ∥.∥Lp denota la norma clásica de L ).

Demostración.
1. Sea u ∈ Waα,p
+ ,
p p
α−(n−1)+i α−(n−1)+i
∥u∥pW α,p = ∥u∥pLp +
Pn−1
, como 0 ≤ ∥u∥pLp y 0 ≤
Pn−1
i=0 Da+ u i=0 Da+ u
a+ Lp Lp
por lo tanto 0 ≤ ∥u∥pW α,p
+a

2. Sea u=0
p
α−(n−1)+i
∥u∥pW α,p = ∥0∥pLp +
Pn−1
i=0 Da+ 0 = 0.
a+ Lp

3. Sea u ∈ Waα,p
+ y α ∈ R,

n−1
X p
α−(n−1)+i
∥αu∥pW α,p = ∥αu∥pLp + Da+ αu
+ a Lp
i=0
n−1
X p
α−(n−1)+i
∥αu∥pW α,p = |α| ∥u∥pLp + αDa+ u
a+ Lp
i=0
n−1
X p
α−(n−1)+i
∥αu∥pW α,p = |α| ∥u∥pLp + |α| Da+ u
+ a Lp
i=0

∥αu∥pW α,p = |α| ∥u∥pW α,p

a+ a+

4. Sea u y v ∈ Waα,p
+ ,

n−1
X p
α−(n−1)+i
∥u + v∥pW α,p = ∥u + v∥pLp + Da+ (u + v)
a+ Lp
i=0
n−1
X p
α−(n−1)+i α−(n−1)+i
∥u + v∥pW α,p = ∥u + v∥pLp + Da+ u + Da+ v
a+ Lp
i=0

Ahora aplicando la desigualdad de Minkowski en Lp obtenemos:

n−1 n−1
X p X p
α−(n−1)+i α−(n−1)+i
∥u + v∥pW α,p ≤ ∥u∥pLp + ∥v∥pLp + Da+ u + Da+ v
a + Lp Lp
i=0 i=0

∥u + v∥pW α,p ≤ ∥u∥pW α,p + ∥v∥pW α,p

a+ a+ a+

Por lo tanto Waα,p

+ es una norma.

32
Teorema 3.2.2.
Si n ∈ N y α ∈ (n − 1, n], entonces la norma ∥.∥W α,p es equivalente a la norma ∥u∥a,W α,p
a+ a+

dada por

n−1
p
X
∥u∥pa,W α,p = Di Ian−α
+ u(a) + ∥Daα+ u∥pLp u ∈ Waα,p
+ . (3.39)
a+
i=0

Demostración.
Para esta demostración haremos uso de inducción matemática. Asumiendo que n = 1 y
(1 − α)p < 1. Luego, para u ∈ Waα,p
+ ,

c 1
u(t) = + Iaα+ φ(t) (3.40)
Γ(α) (t − a)1−α
con c ∈ R y φ ∈ Lp , se tiene
Z b p
c 1
∥u∥pLp = 1−α
+ Iaα+ φ(t) dt
a Γ(α) (t − a)
|c|p
Z b
p−1
≤2 ( (t − a)(α−1)p dt + ∥Iaα+ φ∥pLp ) (3.41)
Γ(α)p a
|c|p 1
p−1
≤2 ( p
(b − a)(α−1)p+1 + K p ∥φ∥pLp )
Γ(α) (α − 1)p + 1

donde K = (b − a)α /Γ(α + 1). Por lo tanto (es claro, c = Ia1−α u(a) y φ = Daα+ u),

∥u∥pLp ≤ Lα,0 (|c|p + ∥φ∥pLp )

p
= Lα,0 ( Ia1−α
+ u(a) + ∥Daα+ u∥pLp ) (3.42)

= Lα,0 ∥u∥pa,W α,p

a+

donde

(b − a)1−(1−α)p
 
p−1
Lα,0 = 2 + Kp (3.43)
Γ(α)p (1 − (1 − α)p)
Consecuentemente

∥u∥pW α,p = ∥u∥pLp + ∥Daα+ u∥pLp ≤ Lα,1 ∥u∥pa,W α,p (3.44)

a+ a+

33
donde Lα,1 = Lα,0 + 1.

Ahora probaremos que existe una constante Mα,1 > 0 tal que

∥u∥pa,W α,p ≤ Mα,1 ∥u∥pW α,p , u ∈ Waα,p

+ (3.45)
a+ a+

En efecto, sea u ∈ Waα,p 1−α i 1−α

+ y considérese una función de coordenadas (Ia+ u) deIa+ u con

i = 1, ..., m fijo. El teorema del valor medio implica la existencia de t0 ∈ (a, b) tal que

Z b
1
(Ia1−α i
+ u) (t0 ) = (Ia1−α i
+ u) (s)ds (3.46)
b−a a

De la continuidad absoluta de (Ia1−α i

+ u) se tiene que

Z t
(Ia1−α i
+ u) (t) = (Ia1−α
+ u)(t0 ) + D1 (Ia1−α i
+ u) (s)ds (3.47)
t0

para todo t ∈ [a, b]. Consecuentemente,

Z t
1
(Ia1−α i
+ u) (t) ≤ 1−α
Ia+ u L1 + |Daα+ u(s)| ds
b−a t0
1
≤ I 1−α
+ u
L1
+ ∥Daα+ u∥L1 (3.48)
b−a a
1 (b − a)1−α
≤ ∥u∥L1 + ∥Daα+ u∥L1
b − a Γ(2 − α)

para t ∈ [a, b]. En particular

1 (b − a)1−α
(Ia1−α i
+ u) (a) ≤ ∥u∥L1 + ∥Daα+ u∥L1 . (3.49)
b − a Γ(2 − α)
Además,

Ia1−α α
+ u(a) ≤ mMα,0 (∥u∥L1 + ∥Da+ u∥L1 )
(3.50)
(p−1)/p
≤ mMα,0 (b − a) (∥u∥Lp + ∥Daα+ u∥Lp )

donde Mα,0 = (b − a)−α /Γ(2 − α) + 1. Por lo tanto

34
 p
Ia1−α
+ u(a)
p
≤ mp Mα,0 (b − a)p−1 2p−1 (∥u∥pLp + ∥Daα+ u∥pLp ) (3.51)

y, consecuentemente,

p
∥u∥pa,W α,p = Ia1−α
+ u(a) + ∥Daα+ u∥pLp
a+

p
≤ mp Mα,0 (b − a)p−1 2p−1 + 1 (∥u∥pLp + ∥Daα+ u∥pLp )


(3.52)

= Mα,1 ∥u∥pW α,p

a+

p
donde Mα,1 = mp Mα,0 (b − a)p−1 2p−1 + 1.

Cuando (1 − α)p ≥ 1, entonces (véase, Observación 3.1.5) Waα,p α,p p

+ ⊂ ACa+ ∩ L es el con-

junto de las funciones u pertenecientes a ACaα,p 1−α

+ que satisfacen la condición (Ia+ )(a) = 0.

En consecuencia, de la misma manera como en el caso de (1 − α)p < 1 (poniendo c = 0)

obtenemos la desigualdad ∥u∥pW α,p ≤ Lα,1 ∥u∥pa,W α,p con algún Lα,1 > 0. La desigualdad
a+ a+

∥u∥pa,W α,p ≤ Mα,1 ∥u∥pW α,p con algún Mα,1 > 0 es obvia (es suficiente poner Mα,1 = 1 y
a+ + a

usar el hecho que (Ia1−α

+ u)(a) = 0 ).

Ahora, se supondrá que la afirmación es cierta para algunos n ∈ N. Se demostrará que es

cierta para n + 1.

Sea α ∈ (n, n + 1]. Se sabe que existen constantes Lα,n > 0 y Mα,n > 0 tal que

 
1
∥u∥pa,W α−1,p ≤ ∥u∥pW α−1,p ≤ Lα,n ∥u∥pa,W α−1,p (3.53)
Mα,n a+ a+ a+

para cualquier u ∈ Waα−1,p

+ . Si u ∈ Waα,p α−1,p
+ , entonces u ∈ Wa+ y por lo tanto (de la
suposición de inducción)

35
 n
p
X
∥u∥pW α,p = ∥u∥pLp + Daα−n+i
+ u Lp
a+
i=0
n−1
X p
(α−1)−(n−1)+i
= ∥u∥pLp + Da+ u + ∥Daα+ u∥pLp
Lp
i=0

= ∥u∥pW α−1,p + ∥Daα+ u∥pLp (3.54)

a+

≤ Lα−1,n ∥u∥pa,W α−1,p + ∥Daα+ u∥pLp

a+
n−1
!
X p p
n−(α−1)
= Lα−1,n Di Ia+ u(a) + Daα−1
+ u
Lp
+ ∥Daα+ u∥pLp .
i=0

n−(α−1)
Ya que Daα−1 n
+ u = D Ia+ u = Dn Ian+1−α
+ u ∈ Wa1,p n+1−α
+ (porque Ia+ u ∈ Wan+1,p
+ ), por lo
tanto (véase el caso n = 1)

p p p
n−(α−1) n−(α−1)
Daα−1
+ u
Lp
= Dn Ia+ u ≤ Dn Ia+ u
Lp W 1,p
+a
p
n−(α−1)
≤ L1,1 Dn Ia+ u
a,W 1,p
+ a (3.55)
 p 
n−(α−1) n−(α−1)
= L1,1 Dn Ia+ u(a) + D1 Dn Ia+ u
Lp
 p 
n−(α−1) n−(α−1)
= L1,1 Dn Ia+ u(a) + Dn+1 Ia+ u .
Lp

donde L1,1 es tal que

∥ν∥pW 1,p ≤ L1,1 ∥ν∥pa,W 1,p (3.56)
a+ a+

para ν ∈ Wa1,p
+ . Por lo tanto,

36
 n−1
X p
n−(α−1))
∥u∥pW α,p ≤ Lα−1,n Di Ia+ u(a)
a+
i=0
 p 
n−(α−1)) n−(α−1))
+ Lα−1,n L1,1 Dn Ia+ u(a) + Dn+1 Ia+ u + ∥Daα+ u∥pLp
Lp
n
! (3.57)
p
X
≤ Lα,n+1 Di Ian+1−α
+ u(a) + ∥Daα+ u∥pLp
i=0

≤ Lα,n+1 ∥u∥pa,W α,p

a+

n−(α−1)
donde Lα,n+1 = Lα−1,n +Lα−1,n L1,1 +1 (usamos la igualdad Dn+1 Ia+ u = Dn+1 Ian+1−α
+ u=
Daα+ u).

Por otro lado, ya que u ∈ Waα−1,p

+ , por lo tanto (del supuesto de inducción)

n−1
X p p
n−(α−1)
Di Ia+ u(a) + Daα−1
+ u
Lp
i=0
n−1
! (3.58)
X p
α−1−(n−1)+i
≤ Mα−1,n ∥u∥pLp + Da+ u .
Lp
i=0

Además,

n−1
X p
n−(α−1)
Di Ia+ u(a)
i=0
n−2
! (3.59)
X p p
α−1−(n−1)+i
≤ Mα−1,n ∥u∥pLp + Da+ u + Daα−1
+ u
Lp
.
Lp
i=0

Recuérdese que Ian+1−α

+ u ∈ W n−1,p , además Ian+1−α
+ u ∈ W n,p , Dn Ian+1−α
+ u ∈ W 1,p , y
Daα+ u = Dn+1 Ian+1−α
+ u = D1 Dn Ian+1−α
+ u.

Por lo tanto,

37
 p
Dn Ian+1−α
+ u(a) + ∥Daα+ u∥pLp
p
= Dn Ian+1−α
+ u a,W 1,p
+ a

p (3.60)
≤ M1,1 Dn Ian+1−α
+ u W 1,p
+
  a p 
n−(α−1)
≤ M1,1 Dn Ia+ u + ∥Daα+ u∥pLp
Lp

donde M1,1 es tal que

∥ν∥pa,W 1,p ≤ M1,1 ∥ν∥pW 1,p (3.61)
a+ a+

Consecuentemente,

n−1
X p
n−(α−1)
∥u∥pa,W α,p = Di Ia+ u(a)
a+
i=0
p
n−(α−1)
+ Dn Ia+ u(a) + ∥Daα+ u∥pLp
n−2
!
X p p
α−1−(n−1)+i
≤ Mα−1,n ∥u∥pLp + Da+ u + Daα−1
+ u
Lp
Lp
i=0
p
Daα−1 + ∥Daα+ u∥pLp


+ M1,1 + u
(3.62)
Lp
n−1
!
X p
α−1−(n−1)+i
= Mα,n+1 ∥u∥pLp + Da+ u + ∥Daα+ u∥pLp
Lp
i=0
n
!
p
X
= Mα,n+1 ∥u∥pLp + Daα−n+i
+ u Lp
i=0

= Mα,n+1 ∥u∥W α,p ,

a+

donde Mα,n+1 = Mα−1,n + M1,1 .

38
  
3.3. Espacios Waα,p
+ (a, b), R, ∥ ∥pW α,p
a+

Definición 3.3.1. Sea 0 < α ≤ 1, 1 ≤ p < ∞, definimos el espacio de Sobolev por la

izquierda de orden α, Waα,p
+ ((a, b), R),

 Z b Z b 
Waα,p
+ (a, b) = u∈L p
; ∃uαa+ p
∈ L ; ∀φ ∈ Cc∞ u(t)Dbα− φ(t)dt = uαa+ φ(t)dt .
a a

dotado de la norma ∥·∥pW α,p .

a+

Teorema 3.3.2. El espacio Waα,p

+ es completo con respecto a cada una de las normas
∥.∥W α,p y ∥.∥a,W α,p , para cualquier α > 0 y 1 ≤ p < ∞ .
a+ a+

Demostración. Sea n ∈ N tal que α ∈ (n − 1, n]. Demostraremos que Waα,p

+ con la
norma ∥.∥a,W α,p es completo. Sea (uk ) ⊂ Waα,p
+ una sucesión de Cauchy con respecto a
a+

esta norma. Además, (Di Ian−α

+ uk (a)), i = a, ..., n − 1, son sucesiones de Cauchy en R y


Daα+ uk es una sucesión de Cauchy en Lp . Sean c0 , c1 , ..., cn−1 en R y φ ∈ Lp lı́mites de
las sucesiones anteriores en R y en Lp , respectivamente.
Luego la función

n−1
X ci
u(t) = (t − a)α−n+i + Iaα+ φ(t), t ∈ [a, b] c.t.p, (3.63)
i=0
Γ(α − n + 1 + i)

perteneciente a Waα,p α,p p

+ y es el lı́mite de (uk ) en Wa+ con respecto a ∥·∥a,W α,p (para u ∈ L es
a+

suficiente considerar los casos (n − α)p < 1 y (n − α)p ≥ 1, en el segundo caso Ian−α
+ (a) = 0

para cualquier k ∈ N y, consecuentemente, c0 = 0).

Teorema 3.3.3. El espacio Waα,p

+ es reflexivo con respecto a las normas ∥·∥W α,p y ∥.∥a,W α,p
a+ a+

para cualquier α > 0 y 1 < p < ∞.

39
 Demostración.
Consideremos Waα,p
+ con la norma ∥.∥W α,p y definimos la aplicación
a+

α−(n−1)
λ : u ∈ Waα,p
+ → (u, Da+ u, ..., Daα−1 α p p p p
+ u, Da+ u) ∈ L xL x...xL xL . (3.64)

Dado que λ es una isometrı́a, λ(Waα,p

+ ) es el subespacio lineal cerrado del espacio reflexivo

Lp x...xLp . Entonces, es reflexivo y en consecuencia Waα,p

+ es reflexiva con respecto a la
norma ∥.∥a,W α,p .
a+

De la equivalencia de las normas se tiene que Waα,p

+ con la norma ∥.∥a,W α,p también es refle-
a+

xiva (es suficiente considerar la aplicación identidad i : (Waα,p

+ , ∥.∥W α,p ) → (Waα,p
+ , ∥.∥W α,p )
a+ a+

siendo el homeomorfismo lineal.

Teorema 3.3.4. El espacio Waα,p

+ es separable con respecto a cada una de las normas
∥.∥W α,p y ∥.∥a,W α,p , para cualquier α > 0 y 1 ≤ p < ∞.
a+ a+

Demostración.
Consideremos Waα,p
+ con la norma ∥.∥W α,p y la aplicación λ definida en la prueba del
a+

teorema 2.2.2. El subconjunto λ(Waα,p

+ ) de Lp × ..... × Lp es separable. Puesto que λ es una
isometrı́a, Waα,p
+ también es separable con respecto a la norma ∥.∥W α,p . La equivalencia de
a+

las normas ∥.∥a,W α,p y ∥.∥W α,p implica la separabilidad de Waα,p

+ con respecto a ∥.∥W α,p .
a+ a+ a+

3.4. Inmersiones
Tenemos la siguiente extensión del Teorema 2.2.19.
Teorema 3.4.1.
(a) Si 0 < β < α ≤ 1, entonces

ACaα,p β q β,q
+ ⊂ Ia+ (L ) ⊂ ACa+ , (3.65)

40
para 1 ≤ q ≤ p < ∞ y 1 ≤ q < 1/(1 − α + β) consecuentemente,

Waα,p β,p
+ ⊂ Wa+ , (3.66)

para 1 ≤ q ≤ p < ∞ y 1 ≤ q < 1/(1 − α + β).

(b) Si n − 1 < α ≤ n, n ∈ N, n ≥ 2, y 0 < β < α − (n − 1), entonces

ACaα,p β q β,q
+ ⊂ Ia+ (L ) ⊂ ACa+ , (3.67)

para 1 ≤ p < ∞ y 1 ≤ q < (1/(n − α + β)); consecuentemente

Waα,p β,p
+ ⊂ Wa+ , (3.68)

para 1 ≤ p < ∞ y 1 ≤ q < (1/(n − α + β));

(c) Si n − 1 < α ≤ n, n ∈ N, n ≥ 2, β = α − i, y i ∈ 1, ..., n − 1, luego

ACaα,p β,q
+ ⊂ ACa+ , (3.69)

para 1 ≤ p < ∞ y 1 ≤ q < ∞; consecuentemente

Waα,p β,q
+ ⊂ Wa+ , (3.70)

para 1 ≤ p < ∞, (n − α)p < 1, 1 ≤ q < ∞ , y (n − α)q < 1 o 1 ≤ p < ∞, (n − α)p ≥ 1,

y 1 ≤ q < ∞.

(d) Si 0 < α = β, luego

ACaα,p β,q
+ ⊂ ACa+ , (3.71)

para 1 ≤ q ≤ p < ∞, consecuentemente,

41
 Waα,p β,q
+ ⊂ Wa+ , (3.72)

para 1 ≤ q ≤ p < ∞.

Demostración.
(a) Fijemos p ∈ [1, ∞). Los teoremas 2.1.19. y 2.1.20(a) implican que

ACaα,p α,1 β q β,q

+ ⊂ ACa+ ⊂ Ia+ (L ) ⊂ ACa+ , (3.73)

siempre que (α − β − 1)q > −1 y 1 ≤ q ≤ p ; es decir, 1 ≤ q < 1/(1 − α + β) y 1 ≤ q ≤ p.

Consecuentemente, para tal p y q,

Waα,p α,p p β,q q β,q

+ = ACa+ ∩ L ⊂ ACa+ ∩ L = Wa+ . (3.74)

(b) Fijemos p ∈ [1, ∞). En ese caso α−β > 1 y, consecuentemente, Iaα−β 1 α−β−1
+ φ = Ia+ Ia+ φ∈
C para cualquier φ ∈ L1 . Por lo tanto por Teorema 2.2.19. y 2.2.20(a)

ACaα,p α,1 β q β,q

+ ⊂ ACa+ ⊂ Ia+ (L ) ⊂ ACa+ , (3.75)

siempre que (α − β − n)q > −1 y 1 ≤ q < ∞ , es decir, 1 ≤ q < 1/(n − α + β).

Consecuentemente, para tal q y 1 ≤ p < ∞ ,

Waα,p α,p p β q
+ = ACa+ ∩ L ⊂ Ia+ (L )
(3.76)
= Iaβ+ (Lq ) ∩ Lq ⊂ ACaβ,q q β,q
+ ∩ L = Wa+ .

(usamos aqui la inclusión Iaβ+ (Lq ) ⊂ (Lq )).

(c) Fijamos p ∈ [1, ∞). Los teoremas 2.2.19. y 2.2.20(b) implican que

ACaα,p α,1 β,q

+ ⊂ ACa+ ⊂ ACa+ , (3.77)

42
para cualquier q ∈ [1, ∞) .

Si (n − α)p < 1, por la Observación 3.1.3., ACaα,p p α,p

+ ∩ L = ACa+ .

Entonces,

Waα,p α,p p α,p β,q β,q q β,q

+ = ACa+ ∩ L = ACa+ ⊂ ACa+ ⊂ ACa+ ∩ L = Wa+ (3.78)

siempre que (n − α)q < 1. Si (n − α)p ≥ 1, entonces ) ACaα,p p

+ ∩ L es el conjunto de todas

las funciones pertenecientes a ACaα,p n−α

+ que satisface la condición (Ia+ f )(a) = 0. Luego

por el Teorema 2.1.20(b), ACaα,p p β,q q α,p β,q

+ ∩ L ⊂ ACa+ ∩ L , esto es Wa+ ⊂ Wa+ para cualquier

1 ≤ q < ∞.

(d) La demostracion es inmediata.

Teorema 3.4.2
La inmersión Waα,p β,q
+ ⊂ Wa+ , para 0 < β < α ≤ 1, 1 ≤ q ≤ p < ∞ y 1 ≤ q < 1/(1 − α + β),

es compacto.

Demostración
Sea 0 < β < α ≤ 1, 1 ≤ q ≤ p < ∞ y 1 ≤ q < 1/(1 − α + β), y (uk ), donde

ck 1
uk (t) = + Iaα+ φk (t) t ∈ [a, b], c.t.p., k∈N (3.79)
Γ(α) (t − a)1−α
es una sucesión acotada en Waα,p
+ . Se mostrará que contiene una subsucesión la cual es

convergente en Waβ,q
+ .

Ya que (uk ) es acotado por el Teorema 3.2.2, las sucesiones (ck ) y (φk ) son acotadas
en R y Lp , respectivamente. Entonces, podemos escoger una subsucesión (kj )j∈N de ente-
ros positivos tal que (ckj ) es convergente a algún co en R y por el Teorema 2.2.5. (Iaα−β
+ φkj )

es convergente a algún ψ̄0 en Lp . También, (Iaα−β q

+ φkj ) es convergente a ψ̄0 en L , mas aún,

43



la sucesión (ckj /Γ(α − β))(. − a)α−1−β converge en Lq a (c0 /Γ(α − β))(. − a)α−1−β .
Por los teoremas 2.2.20. ((2.27) y (2.28)), la sucesión (ckj ) converge en Waβ,q
+ a u0 , dado

por

u0 (t) = Iaβ+ ψ0 (t), t ∈ [a, b] c.t.p., (3.80)

donde ψ0 (t) = (c0 /Γ(α − β))(. − a)α−1−β + ψ̄0 (t). La prueba está completa.

Teorema 3.4.3.
La inmersión
Waα,p β,q
+ ⊂ Wa+ , (3.81)

para n−1 < α ≤ n, n ∈ N, n ≥ 2, 0 < β < α−(n−1), 1 ≤ p < ∞, y 1 ≤ q < 1/(n−α+β),

es compacto.

Demostración.
Consideremos la sucesión acotada (uk ) en Waα,p
+ , donde

ck0
uk (t) = (t − a)α−n
Γ(α − n + 1)
ck1
+ (t − a)α−n+1 (3.82)
Γ(α − n + 2)
ck
... + n−1 (t − a)α−1 + Iaα+ φk (t), t ∈ [a, b], c.t.p,
Γ(α)

con ck0 , ck1 , ..., ckn−1 ∈ R y φk ∈ Lp . Mostraremos que contiene una subsucesión la cual es
convergente a Waβ,q
+ .

Ya que (uk ) es acotada, las sucesiones (ck0 ), (ck1 ), ..., (ckn−1 ) ∈ R y (φk ) son acotadas en
R y Lp , respectivamente. Entonces por el Teorema 2.2.5, podemos escoger una subsuce-
k k k
sión (kj )j∈N de enteros positivos tal que (c0j ), (c1j ), ..., (cn−1
j
) son convergentes a algún
c0 , c1 , ..., cn−1 ∈ R tal que la sucesión (Iaγ+ φkj ) es convergente en Lp a algún ω0 donde
γ = (α − β) − 1 > 0. Consecuentemente, (Iaγ+ φkj ) es convergente en L1 a ω0 y

44
 Iaα−β 1 γ 1
+ φkj = Ia+ Ia+ φkj → Ia+ ω0 , (3.83)

en Lq , porque
Z b
q
Ia1+ Iaγ+ φkj (t) − Ia1+ ω0 (t) dt
a
Z b Z t q
≤ γ
Ia+ φkj (s) − ω0 (s) ds dt (3.84)
a a
q
≤ Iaγ+ φkj − ω0 L1
(b − a)

entonces, la sucesión (Daβ+ ukj ), donde

k
c0j
(Daβ+ ukj )(t) = (t − a)α−n−β
Γ(α − n + 1 − β)
k
c1 j
+ (t − a)α−n−β+1 + (3.85)
Γ(α − n + 2 − β)
j k
cn−1
... + (t − a)α−β−1 + Iaα−β
+ φkj (t),
Γ(α − β)

converge a la función

c0
ψ0 (t) = (t − a)α−n−β
Γ(α − n + 1 − β)
c1
+ (t − a)α−n−β+1 + ... (3.86)
Γ(α − n + 2 − β)
cn−1
+ (t − a)α−β−1 + Ia1+ ω0 (t)
Γ(α − β)

en Lq . Por lo tanto, la sucesión (ukj ) converge en Waβ,q β

+ a Ia+ ψ0 y la demostración estas

completa.

Teorema 3.4.4.
La inmersión
Waα,p β,q
+ ⊂ Wa+ , (3.87)

para n − 1 < α ≤ n, n ∈ N, n ≥ 2, β = α − i, i ∈ 1, ..., n − 1, y 1 ≤ q ≤ p < ∞, es

45
compacto.

Demostración.
Consideremos la sucesión acotada (uk ) ∈ Waα,p
+ , donde

ck0
uk (t) = (t − a)α−n
Γ(α − n + 1)
ck1
+ (t − a)α−n+1 (3.88)
Γ(α − n + 2)
ck
+ ... + n−1 (t − a)α−1 + Iaα+ φk (t) t ∈ [a, b], c.t.p,
Γ(α)

con ck0 , ck1 , ..., ckn−1 ∈ R y φk ∈ Lp . Se mostrará que contiene una subsucesión la cual es
convergente en Waβ,q
+ .

Ya que (uk ) es acotado, las sucesiones (ck0 ), (ck1 ), ..., (ckn−1 ) ∈ R y (φk ) son acotadas en
R y Lp , respectivamente. Entonces por el Teorema 2.2.5, podemos escoger una subsuce-
k k k
sión (kj )j∈N de enteros positivos tal que (c0j ), (c1j ), ..., (cn−1
j
) son convergentes para algún
c0 , c1 , ..., cn−1 ∈ R y tal que

   
kj kj
Ia1+ cn−i+1 Iai−1 , Iai + φkj


, ..., + cn−1 (3.89)

son convergentes para algún ψ̄1,0 , ..., ψ̄i−1,0 , ψ̄0 ∈ Lp y, consecuentemente, en Lq . Por con-
siguiente por el teorema 2.1.20(b),

k k k
Daβ+ ukj = cn−i
j
+ Ia1+ cn−i+1
j
+ ... + Iai−1 j i
+ cn−1 + Ia+ φkj → ψ0 , (3.90)

en Lq , donde ψ0 ∈ Lq es dado por

ψ0 (t) = cn−i + ψ̄1,0 (t) + ... + +ψ̄i−1,0 (t) + +ψ̄0 (t), t ∈ [a, b], c.t.p. (3.91)

46
Es decir, la sucesión (ukj ) converge en Waβ,q
+ a u0 dado por

d0
u0 (t) = (t − a)β−(n−i)
Γ(β − (n − i) + 1)
d1
+ (t − a)β−(n−i)+1 (3.92)
Γ(β − (n − i) + 2)
dn−(i+1)
... + (t − a)β−1 + Iaβ+ ψ0 (t) t ∈ [a, b] c.t.p,
Γ(β)

donde
d0 = c0 , d1 = c1 , ..., dn−(i+1) = cn−(i+1) , (3.93)

lo cual completa la demostración.

47
Conclusiones

En el presente trabajo se construye el espacio Waα,p α,p

+ = Wa+ ((a, b), R), dado por

 Z b Z b 
Waα,p
+
p p ∞
= u ∈ L ; ∃g ∈ L ; ∀φ ∈ Cc α
u(t)Db− φ(t)dt = g(t)φ(t)dt ,
a a

con la norma ∥.∥W α,p . Y se concluye que este espacio, al igual que los espacios de Sobolev
a+

clásicos, posee las siguientes propiedades:

1. En el espacio Waα,p
+ las normas ∥.∥W α,p y ∥.∥a,W α,p son equivalentes.
a+ a+

2. El espacio Waα,p
+ es completo, reflexivo y separable para α > 0 y 1 ≤ p < ∞ .

3. El espacio Waα,p β,q

+ esta inmerso compactamente en el espacio Wa+ , para 0 < β < α ≤

1, 1 ≤ q ≤ p < ∞ y 1 ≤ q < 1/(1 − α + β).

48
Referencias bibliográficas

[1] Idczak, D., & Walczak, S. Fractional Sobolev spaces via Riemann-Liouville deri-
vatives , Journal of Function Spaces and Applications, (2013), 1-15.

[2] H. Brezis. Analyse Fonctionnelle, Theorie et Applications,Masson, (1983).

[3] R. A. Adams. Sobolev Spaces, Academic Press, (1975).

[4] S. G. Samko, A. A. Kilbas, and O. I. Marichev. Fractional Integrals and

Derivatives-Theory and Applications, Gordonand Breach Science Publishers, (1993).

[5] L. Bourdin and D. Idczak. Fractional fundamental lemma and fractional integra-
tion by parts formula-applications to critical points of Bolza functionals and to linear
boundary value problems, Adv. Differential Equations 20 (2015) 213 - 232

[6] Idczak, D. y Majewski, M Fractional fundamental lemma of α ∈ (n − 1/2, n) with

n ∈ N, n ≥ 2. Dynamic Systems and Applications, vol. 21, 251–268, (2012).

[7] Idczak, D. y Walczak, S. “A fractional imbedding theorem”, Fractional Calculus

and Applied Analysis. vol. 15, no. 3, 418–425., (2012).

[8] Idczak, D. y Walczak, S. Compactness of fractional imbeddings., 17th Interna-

tional Conference on Methods and Models in Automation and Robotics (MMAR),
(2012).

[9] Kantorowitch, W. y Akilov, G. Functional Analysis, (1984).

[10] Michalski, M. Derivatives of noninteger order and their applications. Dissertationes

Mathematicae. vol. 338 Polish Academy of Sciences, Academic Press, (1993).

49
[11] R. A. Adams. Existence of a weak solution for fractional Euler–Lagrange equa-
tions.,Journal of Mathematical Analysis and Applications (2013) 399(1), 239–251.
[Link]
.

[12] Kamocki, R., y Majewski, M. On a fractional Dirichlet problem., 17th Interna-

tional Conference on Methods and Models in Automation and Robotics (MMAR),
(2012).

[13] Ewa Szymanek The Application of Fractional Order Differential Calculus for the
Description of Temperature Profiles in a Granular Layer, Czestochowa University of
Technology, Institute of Advanced Energy Technologies, Czestochowa, Poland (2012).

[14] Leszczynski, J., y T. Blaszczyk, T. The Modeling the transition between stable
and unstable operation while emptying a silo, Czestochowa University of Technology,
Czestochowa, Poland (2010).

50