Departamento de Matemáticas, Facultad de Ciencias

Universidad Autónoma de Madrid

Teoría de la Aproximación en el contexto

de los Espacios de Sobolev

Trabajo de fin de grado

Grado en Matemáticas

Autor: Rodrigo Jiménez

Tutor: Eva Tourís

Curso 2020-2021
 Resumen
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula
eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient mon-
tes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium
quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet
nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo.
Nullam dictum felis eu pede mollis pretium. Integer tincidunt. Cras dapibus. Vivamus
elementum semper nisi. Aenean vulputate eleifend tellus. Aenean leo ligula, porttitor
eu, consequat vitae, eleifend ac, enim. Aliquam lorem ante, dapibus in, viverra quis,
feugiat a, tellus. Phasellus viverra nulla ut metus varius laoreet. Quisque rutrum. Ae-
nean imperdiet. Etiam ultricies nisi vel augue. Curabitur ullamcorper ultricies nisi.
Nam eget dui. Etiam rhoncus. Maecenas tempus, tellus eget condimentum rhoncus,
sem quam semper libero, sit amet adipiscing sem neque sed ipsum. Nam quam nunc,
blandit vel, luctus pulvinar, hendrerit id, lorem. Maecenas nec odio et ante tincidunt
tempus. Donec vitae sapien ut libero venenatis faucibus. Nullam quis ante. Etiam sit
amet orci eget eros faucibus tincidunt. Duis leo. Sed fringilla mauris sit amet nibh.
Donec sodales sagittis magna. Sed consequat, leo eget bibendum sodales, augue velit
cursus nunc,

Abstract
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula
eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturi-
ent montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu,
pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel,
aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis
vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt. Cras
dapibus. Vivamus elementum semper nisi. Aenean vulputate eleifend tellus. Ae-
nean leo ligula, porttitor eu, consequat vitae, eleifend ac, enim. Aliquam lorem ante,
dapibus in, viverra quis, feugiat a, tellus. Phasellus viverra nulla ut metus varius
laoreet. Quisque rutrum. Aenean imperdiet. Etiam ultricies nisi vel augue. Cur-
abitur ullamcorper ultricies nisi. Nam eget dui. Etiam rhoncus. Maecenas tempus,
tellus eget condimentum rhoncus, sem quam semper libero, sit amet adipiscing sem
neque sed ipsum. Nam quam nunc, blandit vel, luctus pulvinar, hendrerit id, lorem.
Maecenas nec odio et ante tincidunt tempus. Donec vitae sapien ut libero

iii
Índice general

1 Introducción y preliminares 1
1.1 Ortogonalidad estándar . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Ortogonalidad no estándar . . . . . . . . . . . . . . . . . . . . . . . . . 2

v
 CAPÍTULO 1

Introducción y preliminares

1.1. Ortogonalidad estándar

Sea P el conjunto de los polinomios con coeficientes reales.

Definición 1.1. Sea h·, ·i : P × P −→ [0, ∞) un producto interno definido sobre P.

Se dice que una sucesión {pn }n>0 de polinomios de P es una sucesión de polinomios
ortogonales con respecto a este producto interno si:

1. grad(pn ) = n, ∀n ∈ Z+

2. hpm , pn i = 0 si m 6= n, y hpn , pn i =
6 0 ; ∀m, n ∈ Z+

Si, además, hpn , pn i = 1∀n ∈ Z+ , diremos que la sucesión es ortonormal con respecto
a este producto interno.

Definición 1.2. Diremos que un producto interno h·, ·i : P × P → [0, ∞) es estándar

sobre P si verifica que hxp, qi = hp, xqi; ∀p, q ∈ P.

Definición 1.3. Dada una sucesión {pn }n>0 de polinomios de P ortogonales con
respecto al producto interno h·, ·i, diremos que es estándar si el producto interno h·, ·i
es estándar sobre P.
Ejemplo 1:

1. Sea µ una medida de Borel positiva con supp(µ) = I ⊂ R no finito y que cum-
ple: Z
|x|n dµ(x) < ∞ ; ∀n ∈ Z+
I
R
Se puede ver que el producto interno hp, qiµ = T p(x)q(x)dµ(x) es un producto interno
estándar sobre P, a partir del cual se puede definir unívocamente una sucesión de
polinomios ortogonales mónicos {Pn }n≥0 que verifica:
Z
k
hPn , x iµ = Pn (x)xk dµ(x) = 0, para k = 0, 1, . . . , n − 1
I

1
2 Introducción y preliminares

A la sucesión {Pn }n≥0 la denominaremos la sucesión estándar de polinomios ortogo-

nales mónicos respecto a la medida µ.

2. Definimos sobre Pn el siguiente producto interno no estándar: Sean p, q ∈ Pn ,

k
X m
X
p(x) = ai xi y q(x) = bj xj
i=0 j=0

con ai , bj ∈ R, (0 ≤ i ≤ k), (0 ≤ j ≤ m), (0 ≤ k, m ≤ n), y ak bm 6= 0.

Pmı́n(k,m)
Si hp, qi = i=0 ai bi , entonces se cumple lo siguiente:
mı́n(k+1,m) mı́n(k,m+1)
X X
hxp, qi = ai bi+1 , hp, xqi = ai+1 bi ;
i=0 i=0

y estas dos sumas, generalmente, no son iguales.

1.2. Ortogonalidad no estándar

En esta sección procedemos a describir los productos internos que no son estándar
sobre P, centrándonos en la ortogonalidad tipo Sobolev.

Un producto interno de Sobolev sobre P (o sobre P(C))es un producto interno

dependiente de las derivadas de los polinomios hasta un cierto orden.
Definición 1.4. Sea (µ0 , . . . , µm ) un vector de medidas de Borel positivas sobre C
tales que: Z
|z|2n dµk (z) < ∞, n ∈ Z+ , k = 0, . . . , m;
C
es decir, cada elemento de la sucesión {z n }∞
n=0 es una función de cuadrado integrable
para cada µk , (k = 0, . . . , m). Expresado de otra manera:
{z n }∞ 2
n=0 ⊂ L (µk ) , k = 0, . . . , m.
Supondremos además que el soporte de µ0 es un subconjunto no finito de C, y que
µm no es la medida nula. De esta manera, definimos el producto interno de Sobolev
sobre P(C) asociado al vector de medidas (µ0 , . . . , µm ) , como:
m Z
X X m
(k)
hp, qiS = (k)
p (z)q (z)dµk (z) = hp(k) , q (k) iL2 (µk ) ∀p, q ∈ P(C),
k=0 k=0

donde q (k) denota la derivada k -ésima del polinomio q.

Definición 1.5. La norma asociada a este producto interno de Sobolev se denomina
norma de Sobolev y se define de la manera usual:
m
!1/2
(k) 2

1/2
X
kqkS = hq, qiS = q 2
L (µk )
k=0
1.2 Ortogonalidad no estándar 3

Definición 1.6. Dada una sucesión de polinomios {Qn }∞n=0 , diremos que es ortogonal
con respecto al producto interno de Sobolev hp, qiS si ∀m, n ∈ Z+ se verifica que
grad (Qn ) = n y 
6= 0, n = m
hQn , Qm iS ;
= 0, n 6= m
de manera análoga a la definición para ortogonalidad estándar.

Se dice que Qn es el n -ésimo polinomio ortogonal de Sobolev asociado al producto

interno hp, qiS .
De manera análoga a la ortogonalidad estándar, si hQn , Qn iS = 1, ∀n ∈ Z+ , se
dice que la sucesión es ortonormal.

Definición 1.7. El n -ésimo polinomio ortogonal mónico de Sobolev es aquel polino-

mio Q̃n (z) que satisface

6= 0, n = m
hQ̃n , Q̃m iS ∀m, n ∈ Z+ ;
= 0, n 6= m

y su coeficiente principal es 1.
n o
De esta manera, la sucesión Q̃n se define de manera unívoca:
n≥0

n−1
X
Q̃n (z) = z n + ci,n z i , (ci,n ∈ C)
i=0

hQ̃n , z k iS = 0; k = 0, 1, . . . , n − 1.

Dada una sucesión de polinomios {Qn }∞ n=0 , ortogonal con respecto al producto
interno de Sobolev hp, qiS , el polinomio ortonormal de grado n correspondiente a
dicho producto viene dado por:
1
qn (z) = Qn (z), n = 0, 1, 2, . . .
kQn kS
 Bibliografía

[1] Abel, N. H.: Beweis eines Ausdrucks, von welchem die Binomial-Formel ein ein-
zelner Fall ist. J. Reine angew. Math. 1 (1826), 159–160.

[2] Stein, E. M. and Weiss, G. Introduction to Fourier analysis on Euclidean

spaces. Princeton Mathematical Series 32, Princeton University Press, Princeton,
NJ, 1971.