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 Motivación y teoría básica 1

1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Definiciones y ejemplos básicos . . . . . . . . . . . . . . . . . . . . . . 1
2 Aproximación polinomial de Weierstrass 5
2.1 Problema básico de la mejor aproximación . . . . . . . . . . . . . . . . 5
2.2 Teorema de aproximación polinomial de Weierstrass . . . . . . . . . . 5
3 Polinomios ortogonales de Sobolev 7
3.1 Ortogonalidad estándar . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2 Ortogonalidad no estándar . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2.1 Ortogonalidad tipo Sobolev . . . . . . . . . . . . . . . . . . . . 8

v
 CAPÍTULO 1

Motivación y teoría básica

1.1. Introducción

1.2. Definiciones y ejemplos básicos

Definición 1.1. Llamaremos espacio métrico al par (X, d), donde X es cualquier
conjunto no vacio y d : X × X → [0, ∞) es una función que satisface las siguientes
propiedades, para cualesquiera x, y, z ∈ X:

1. d(x, x) = 0, (reflexividad).

2. d(x, y) > 0, si x 6= y.

3. d(x, y) = d(y, x), (simetría).

4. d(x, y) ≤ d(x, z) + d(z, y), (desigualdad triangular).

A la función d, la llamaremos métrica (o distancia) sobre el conjunto X.

EJEMPLO 1

1. Tomamos X = R. Entonces, d(x, y) = |y − x| define una métrica sobre R.

Partiendo de las propiedades del valor absoluto se deducen las 4 propiedades
necesarias para ser una métrica.

2. Tomamos cualquier conjunto X no vacio, y definimos la métrica:


1 si x 6= y
d(x, y) =
0 si x = y

Esta métrica es conocida popularmente como la métrica discreta, y puede ser

introducida sobre cualquier conjunto no vacío. Por tanto, para todo conjunto
X 6= ∅, existe alguna métrica d tal que (X, d) es un espacio métrico.

1
2 Motivación y teoría básica

3. Dados un conjunto X y un espacio métrico (M, dM ), podemos definir una mé-

trica sobre el conjunto de todas las funciones acotadas f : X → M (es decir,
aquellas cuya imagen es un conjunto acotado en M ), tomando:

d(f, g) = supx∈X {dM (f (x), g(x))}

Definición 1.2. Llamaremos espacio normado al par (X, k·k), donde X es un espacio
vectorial y k · k : X → R es una función que satisface las siguientes propiedades, para
cualesquiera x, y ∈ X; λ ∈ R:

1. kxk ≥ 0.

2. kxk = 0, si y solo si x = 0.

3. kλxk = |λ|kxk.

4. kx + yk ≤ kxk + kyk.

EJEMPLO 2

1. Rn , con las llamadas p-normas:

k(x1 , ..., xn )kp := (xp1 + ... + xpn )1/p , p > 1

k(x1 , ..., xn )k∞ := máx{|x1 |, ..., |xn |}
tiene estructura de espacio normado. Para p = 2, tenemos la norma euclídea.

2.

3.

A partir de una norma, se puede definir una métrica d sobre el mismo espacio,
tomando d(x, y) = kx − yk. Por tanto, cualquier espacio normado, es también un
espacio métrico considerando la métrica inducida (de la manera que acabamos de
describir) por la norma definida sobre este espacio. Comprobemos esta afirmación:
TEOREMA 1: Dado un espacio normado (X, k·k),, la función definida por d(x, y) =
ky − xk es una métrica sobre X y las siguientes funciones:

1. + : X × X → X, definida por +(x, y) = x + y,

2. · : R × X → X, definida por ·(x, y) = x · y,

3. Φ : X → [0, ∞), definida por Φ(x) = kxk;

son todas continuas con respecto a la métrica d.

DEMOSTRACIÓN: Veamos que se verifican las propiedades 1-4 de la métrica:

1.2 Definiciones y ejemplos básicos 3

1. d(x, x) = kx − xk = k0k = 0;

2. d(x, y) = kx − yk > 0, si x 6= y;

3. d(x, y) = kx − yk = k − 1(y − x)k = | − 1|ky − xk = ky − xk = d(y, x);

4. d(x, y) = kx − yk = kx − z + z − yk ≤ kx − zk + kz − yk = d(x, z) + d(z, y).

Demostremos ahora la continuidad de las anteriores funciones:

1. Para la función suma, consideramos dos sucesiones: {xn }∞ ∞

n=0 , {yn }n=0 ⊂ X;
tales que xn −→ x ∈ X, yn −→ y ∈ X. Entonces se tiene que d(xn +yn , x+y) =
kxn + yn − (x + y)k = k(xn − x) + (yn − y)k ≤ kxn − xk + kyn − yk −→ 0; es
decir, xn + yn −→ x + y. Por tanto, + es una función continua.

2. Para la función mutiplicación, nuevamente consideramos dos sucesiones: {xn }∞

n=0 ⊂
∞
X, {λn }n=0 ⊂ R; con xn −→ x ∈ X, λn −→ λ ∈ R. Tenemos que d(λn xn , λx) =
kλn xn − λxk = kλn xn − λxn + λxn − λxk ≤ kλn xn − λxn k + kλxn − λxk =
|λn − λ|kxn k + |lambda|kxn − xk −→ 0; equivalentemente, λn xn −→ λx, lo que
implica que · es una función continua.

3. De la desigualdad tringular de la norma, se sigue que kxk − kyk = kx − y +

yk − kyk ≤ kx − yk + kyk − kyk = kx − yk. De igual manera, se tiene que
kyk − kxk ≤ ky − xk. Por tanto, |kxk − kyk| ≤ kx − yk, lo cual implica la
continuidad de la función norma.
 CAPÍTULO 2

Aproximación polinomial de
Weierstrass

2.1. Problema básico de la mejor aproximación

2.2. Teorema de aproximación polinomial de Weierstrass

5
 CAPÍTULO 3

Polinomios ortogonales de Sobolev

3.1. Ortogonalidad estándar

Sea P el conjunto de los polinomios con coeficientes reales.

Definición 3.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 3.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 3.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

7
8 Polinomios ortogonales de Sobolev

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.

3.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.

3.2.1. 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 3.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 m
X
(k)
hp, qiS = p (z)q (k) (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.

3.2 Ortogonalidad no estándar 9

Definición 3.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

Definición 3.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 3.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
n
Q̃n (z) = z + 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

Tras el comienzo del estudio de los polinomios ortogonales de Sobolev, se descu-

brieron notables diferencias entre los mismos y los polinomios ortogonales estándar
con respecto a una medida µ. En el caso estándar los ceros de la sucesión de polino-
mios ortagonales se encuentran en el interior de la cápsula convexa del soporte de la
medida de ortogonalidad. Consideramos el siguiente ejemplo de producto interno de
Sobolev, propuesto en 1962 por Althammer:
Z Z
hp, qiS = p(x)q(x)dµ0 (x) + p0 (x)q 0 (x)dµ1 (x),
10 Polinomios ortogonales de Sobolev

donde supp (µ0 ) = supp (µ1 ) = [−1, 1].


10dx, −1 ≤ x < 0
dµ0 (x) = dx, dµ1 (x) =
dx, 0≤x≤1

El polinomio ortogonal mónico de grado 2 es:

27 1
Q̄2 (x) = x2 + x− ,
35 3
y se puede observar que tiene un cero en x = −10 08, que está fuera del soporte de la
medida de ortogonalidad, algo frecuente en los polinomios ortogonales tipo Sobolev.
 Bibliografía

[1] Abel, N. H.: Beweis eines Ausdrucks, von welchem die Binomial-Formel ein
einzelner 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.

11