La transformada de Fourier en L2(R)

(1)

Benem´

erita Universidad Aut´

onoma

de Puebla

Facultad de Ciencias F´ısico Matem´

aticas

La transformada de Fourier en

L

2

(

_R

)

Tesis que para obtener el grado de

Licenciado en Matem´

aticas

Presenta:

Eder Cardoso Garc´ıa

Asesores:

Dr. Francisco Javier Mendoza Torres Dr. Juan Alberto Escamilla Reyna

(2)

(3)

´

_{Indice general}

Introducci´on III

1. Preliminares 1

1.1. Espacios Lp . . . 1 1.2. Producto interior y espacio de Hilbert . . . 5 1.3. La transformada de Fourier en L1(_R) . . . 9

2. La transformada de Fourier en L2(_R): Primer m´

eto-do 15

2.1. Subconjuntos densos en L2(_R) . . . 16 2.2. Teorema de Plancherel . . . 19

3. La transformada de Fourier en L2(_R): Segundo

m´etodo 25

3.1. La transformada de Fourier en K . . . 26 3.2. Extensión a L2(_R) . . . 36 3.3. Relación entre los dos métodos . . . 41

Conclusiones 43

Bibliograf´ıa 45

(4)

(5)

Introducci´

on

El presente trabajo pertenece al área del Análisis de Fourier. Esta rama de la matemática debe su nombre al matemático y f´ısico francés Jean-Baptiste Joseph Fourier (1768-1830) conocido por sus trabajos sobre la descomposición de funciones periódicas en series trigonométricas convergentes llamadas series de Fouri-er, método con el cual consiguió resolver la ecuación del calor.

En su obra “Théorie analytique de la chaleur”(1822), Fourier dedujo la ecuación que controla la difusión del calor. Después resolvió el problema de la distribución de temperatura, en un tiempo dado, a partir de la distribución en el instante inicial. Para ello inventó el método de separación de variables, también conocido como método de Fourier. Para hallar la solución nece-sitó expresar la función que proporciona el dato inicial como suma de una serie trigonométrica, a dicha suma se la conoce como serie de Fourier. Tal suma está muy relacionada con la transformada de Fourier que es un término fundamental en esta tesis.

Si f es una función Lebesgue integrable definida en _R, su transformada de Fourier es la función definida también en _R y

(6)

con valores complejos, que representaremos como fb, dada por:

b

f (s) =

Z ∞

−∞

f (x)e−2πixsdx.

Esta transformada existe para todo s ∈ _R porque h(x) =

e−2πixs es una funci´on medible acotada con respecto a la variable “x”.

El objetivo de la tesis es describir dos m´etodos diferentes para extender la definici´on de la transformada de Fourier aL2(_R). Te-niendo definida la transformada de Fourier en un subconjunto de L1(_R) de tal manera que sea denso en el espacio L2(_R), ex-tenderemos la transformada de Fourier del subespacio denso a

L2(_R).

La presente tesis está conformada por tres cap´ıtulos, los ´ ulti-mos dos se refieren a los diferentes métodos, mientras que en el primero se definen nociones elementales para el desarrollo de estos últimos.

En el Cap´ıtulo 1 se exponen las definiciones y resultados nece-sarios del An´alisis Funcional, Teor´ıa de la integral de Lebesgue, as´ı como resultados b´asicos de los espacios normados, de Hilbert,

Lp(_R), en particular consideramosL1(_R), L2(_R) que son espacios en los que se desenvuelve la teor´ıa expuesta en este trabajo.

En el Cap´ıtulo 2 presentamos un primer m´etodo para ex-tender la transformada de Fourier de L1(_R) a L2(_R) mediante el Teorema de Plancherel, se considera el subconjunto L1(_R)∩

(7)

v

r´apido, tambi´en se tiene definida la transformada de Fourier, se puede aplicar el mismo procedimiento para extender la transfor-mada de este espacio a L2(_R).

En el Cap´ıtulo 3 estudiamos un segundo m´etodo para exten-der la transformada de Fourier, utilizamos el espacio de las fun-ciones escalonadas. Teniendo definida la transformada de Fourier en este espacio, construimos la transformada inversa de Fourier y como consecuencia se cumple la identidad de Plancherel, luego extendemos estos conceptos a L2(_R).

(8)

(9)

Cap´ıtulo 1

Preliminares

En este cap´ıtulo se exponen los resultados m´as importantes para el desarrollo del trabajo de tesis, algunos otros que se necesiten para explicar los primeros y que no se mencionen, los supondremos conocidos.

Definimos primeramente los espacios de medida para poder definir los espacios de Lebesgue con la norma k · kp, 1 ≤ p < ∞.

En particular nos interesan los casos p= 1 y p = 2.

Puntualizaremos tambi´en el concepto de espacio normado, espacio de Hilbert, para finalizar describiremos algunas propie-dades fundamentales de la transformada de Fourier en L1(_R), el espacio de funciones Lebesgue integrables en _R.

1.1. Espacios

L

p

Consideremos (X,Σ, µ) un espacio de medida, donde µ es una medida positiva y recordemos que f : X → _K (_R ´o _C) es Σ-medible si la pre-imagen de abiertos es medible.

Dos funciones f, g son iguales µ-casi donde sea o son iguales

(10)

para µ-casi en todos los puntos x, si se tiene que f(x) = g(x) cuando x /∈ N, para alguna N ∈ Σ tal que µ(N) = 0.

Decimos que una sucesi´on de funciones{fn}n∈_N confn : X →

K(R´oC) convergeµ-casi donde sea si existe un conjuntoN ∈ Σ

con µ(N) = 0 tal que f(x) = l´ımfn(x) para x /∈ N.

Denotaremos por L = L(X,Σ, µ) la colecci´on de funciones Lebesgue integrables de valores reales definidas sobre X, con respecto a la medida µ.

Consideremos el espacio de Lebesgue L = L∼, donde ∼ es la relaci´on de equivalencia: f ∼ g si y s´olo si f = g µ-casi donde sea.

Definici´on 1.1. Se define Lp(X) con 1 ≤ p < ∞, como el espacio de todas las clases µ-equivalentes de funciones f : X →

C medibles tales que |f|p es integrable con respecto a µ en X. Si

f ∈ Lp(X) su norma se define como

kfkp =

Z

X

|f|pdµ

1_p

.

Si p = 1, entonces L1(X) = L. Si f ∈ L1(X) se define su norma por

kfk1 =

Z

X

|f|dµ.

Si p = 2, L2(X) es el espacio de Lebesgue de todas las clases

µ-equivalentes cuadrado integrable. Si f ∈ L2(X) se define su norma por

kfk2 =

Z

X

|f|2dµ

1/2

(11)

1.1 Espacios Lp 3

Tambi´en definimos el espacio L∞ = L∞(X,Σ, µ), el cual con-siste de todas las clases de funciones de valores reales que son acotadas casi donde sea. Sea f ∈ L∞ y N ∈ Σ con µ(N) = 0, definimos

S(N) = sup{|f(x)| : x /∈ N}

y norma

kfk∞ = inf{S(N) : N ∈ Σ, µ(N) = 0}.

Una funci´on en L∞(X) es llamada una funci´on esencialmente acotada.

El siguiente resultado se refiere a la propiedad de integrabi-lidad absoluta de la integral de Lebesgue.

Teorema 1.2. Una funci´on medible f pertenece a L1(X) si y s´olo si |f| pertenece a L1(X).

Utilizando el teorema anterior se obtiene el siguiente coro-lario.

Corolario 1.3. Si f es medible, g es integrable y |f| ≤ |g|, entonces f es integrable y

Z

X

|f|dµ ≤

Z

X

|g|dµ.

(12)

Teorema 1.4(Teorema de la Convergencia Mon´otona). Si {fn}n∈N

es una sucesi´on creciente de funciones en M+(X,Σ) la cual con-verge a f puntualmente, entonces

Z

X

f dµ = l´ım

Z

X

fndµ.

Teorema 1.5(Teorema de la Convergencia Dominada de Lebes-gue). Sea {fn}n∈N una sucesi´on de funciones integrables la cual

converge casi en todas partes a una funci´on medible f de valores reales. Si existe una funci´on integrable g tal que |fn| ≤ g para

todo n, entonces f ∈ L1(X) y

Z

X

f dµ = l´ım

Z

X

fndµ.

El Teorema de Fubini se refiere a la integraci´on con respecto a la medida producto y la integraci´on iterada con respecto a las medidas en el producto de espacios.

Teorema 1.6 (Teorema de Fubini). Sean (X,Σ, µ) y (Y,∆, ν)

espacios σ-finitos y sea la medida π en Γ = Σ ×∆ el producto de µ y ν. Si la funci´on F : Z = X ×Y → _R es integrable con respecto a π, entonces

Z X Z Y F dν dµ = Z Z

F dπ =

Z Y Z X F dµ dν.

Un resultado importante sobre el espacioL2(X) que se utiliza frecuentemente es el siguiente.

Teorema 1.7 (Desigualdad de Cauchy-Bunyakovskiˇı-Schwarz).

Si f, g ∈ L2(X), entonces f g es integrable y

Z X

f g dµ

≤ Z X

(13)

1.2 Producto interior y espacio de Hilbert 5

En lo que resta de la tesis, trabajaremos s´olo en el espacio

Lp(_R) = Lp(_R,ML, m) con 1 ≤ p < ∞, donde ML es la sigma

´

algebra de Lebesgue en _R y m es la medida de Lebesgue.

1.2. Producto interior y espacio de Hilbert

Definición 1.8. Sea V un espacio vectorial sobre _K (_R ó _C). Un producto escalar en V es una función h·,·i : V ×V −→ _K, la cual satisface las siguientes condiciones

(a) hax+by, zi = ahx, zi+bhy, zi, y an´alogamentehx, ay+bzi =

ahx, yi+ bhx, zi,

(b) hx, yi = hy, xi,

(c) hx, xi ≥ 0 y hx, xi = 0, si y s´olo si x = 0,

donde x, y, z ∈ V, a, b ∈ _R ´o _C y c es el conjugado del complejo c.

Un espacio prehilbertiano o espacio prehilbert es un espacio vectorial provisto de un producto escalar.

Definición 1.9. Un espacio vectorial V sobre _K (_R ó _C) se dice que es normado si en él se puede definir una norma, es decir, una aplicación || · || : V → _R, que cumple lo siguiente

(a) ∀ x ∈ V, ||x|| ≥ 0,

(b) ||x|| = 0 ⇐⇒ x = 0,

(c) ∀ x ∈ V, ∀ a ∈ _K, kaxk = |a| kxk,

(14)

donde |a| es el valor absoluto de a, si a ∈ _R ´o es el m´odulo de

a, si a ∈ _C.

Cada producto interior h·,·i en un espacio vectorial V da lugar a una norma, que se define como

kxk = phx, xi.

Definici´on 1.10. Sea {xn}n_N una sucesi´on en (X,k · k),

espa-cio normado, diremos que {xn}_n_N es de Cauchy, si para todo

n´umero real > 0 existe un entero positivo N tal que para todos los n´umeros naturales m, n > N se cumple

kxm−xnk< .

Un espacio normado (X,k · k) se dice que es de Banach si es completo, esto es, si toda sucesi´on de Cauchy es convergente en ´el.

Un espacio prehilbertiano completo H con respecto a la norma inducida por el producto escalar definido en el mismo espacio H, es llamado un espacio de Hilbert.

Es conocido que los espacios (Lp(_R),k · kp), 1 ≤ p ≤ ∞ son

de Banach.

Ejemplo 1.11. L2(_R) es un espacio de Hilbert, con el producto interior

hf, gi =

Z ∞

∞

f g dm(x).

(15)

1.2 Producto interior y espacio de Hilbert 7

Consideremos que (X,h·,·i) es un espacio con producto inte-rior.

Proposici´on 1.12(Desigualdad de Cauchy-Schwarz-Buniakow-ski). Para todo x, y ∈ X, se cumple que: |hx, yi| ≤ kxk · kyk.

Proposici´on 1.13 (Desigualdad triangular). Para cualesquiera

x, y ∈ X, se cumple que: kx+yk ≤ kxk+kyk.

Teorema 1.14. Sea H un espacio de Hilbert. Para cualquier

y ∈ H fijo, los mapeos:

x → hx, yi, x → hy, xi, x → kxk,

son funciones continuas sobre H.

Sea (X,h·,·i) un espacio prehilbertiano.

Dos elementos f, g ∈ X son ortogonales (en s´ımbolos: f ⊥

g) si hf, gi = 0.

Observemos que si f y g son ortogonales, entonces se tiene:

kf+gk2 ₌ _k_f_k2₊_k_g_k2_{. A esta f´}_{ormula se le llama el teorema}

de Pit´agoras.

Un elemento f ∈ X se dice que es ortogonal a un subcon-junto A de X si f ⊥ g para todo g ∈ A.

Dos subconjuntos A y B de H son ortogonales si hf, gi = 0 para todo f ∈ A y g ∈ B.

Si A es un subconjunto de H, entonces el conjunto A⊥ =

{f ∈ X : f ⊥ A} es llamado el complemento ortogonal de

(16)

Notaci´on 1.15. Sea B ⊂ H, L(B) denotar´a el conjunto de todas las combinaciones lineales finitas de elementos deB. L(B)

es el subespacio mas peque˜no de H que contiene a B.

Proposici´on 1.16. Sea X un espacio prehilbertiano

(a) Tenemos {0}⊥ = X, X⊥ = {0}, es decir, {0} es el ´unico elemento ortogonal a todos los elementos de X.

(b) Para cualquier subconjunto A de X, el conjunto A⊥ es un subespacio cerrado de X.

(c) A⊂ B implica: B⊥ ⊂A⊥.

(d) A⊥ = L(A)⊥ = L(A)⊥.

(e) Para A⊂ X se tiene que A⊥⊥ = L(A).

Teorema 1.17 (Teorema de Proyecci´on). Sea H un espacio de Hilbert y sea T 6= {0} un subespacio cerrado de H. Entonces

T⊥⊥ = T. Adem´as cada f ∈ H puede ser descompuesta de forma ´

unica como f = g + h con g ∈ T y h ∈ T⊥. Esta g es llamada la proyecci´on (ortogonal) de F sobre T.

El Teorema 1.17 se usa para demostrar la siguiente proposi-ci´on.

Proposici´on 1.18. Sean H un espacio de Hilbert y A⊂ H. Se tiene que A⊥ = {0}, si y s´olo si, L(A) = H, es decir, si A es denso en H.

Demostraci´on. Si A⊥ = {0}, entonces tenemos L(A) = A⊥⊥ =

(17)

1.3 La transformada de Fourier en L1(_R) 9

1.3. La transformada de Fourier en

L

1

(

_R

)

Dada un funci´on f ∈ L1(_R) su transformada de Fourier en

s ∈ _R se define como

b

f (s) =

Z ∞

−∞

f (x)e−2πixsdx. (1.1)

Esta transformada existe para todo s ∈ _R, puesto que e−2πixs

es una funci´on medible acotada.

La transformada inversa de Fourier de una funci´on f ∈ L1(_R) est´a definida por

f∨(x) =

Z ∞

−∞

f (s)e2πixsds. (1.2)

Expondremos algunas de las propiedades sobre la transforma-da de Fourier m´as importantes para el desarrollo de este trabajo.

La aplicaci´on F definida por

F : L1(_R) → L∞(_R)

f → fb,

es una transformaci´on lineal acotada y |fb(s)| ≤ kf(x)k₁ para

todo s ∈ _R. En efecto

|fb(s)| =

Z ∞

−∞

f(t)e−2πixsdx

≤

Z ∞

−∞

|f(t)|dx = kfk1.

Adem´as, fbes uniformemente continua.

(18)

Teorema 1.19 (Lema de Riemman-Lebesgue). Si f ∈ L1(_R), entonces l´ım_|_x_|→∞fb(x) = 0.

De acuerdo con este lema se tiene que la transformada de Fourier pertenece al espacio de las funciones continuas que se desvanecen en −∞ y en ∞.

Para cualquier funci´on f ∈ L1(_R), existe su transformada de Fourier, sin embargo, fbpodr´ıa no ser integrable, as´ı que puede

haber un problema con la inversi´on fb∨; por ejemplo, la funci´on

indicadora de −1 ≤ x ≤1 es integrable, pero

Z 1

−1

e−2πiγxdx = sen 2πγ

πγ

no lo es.

As´ı, tenemos el Teorema de inversi´on o formula de inversi´on para funciones en L1(_R).

Teorema 1.20 (Teorema de inversi´on). Si f ∈ L1(_R) y fb ∈

L1(_R), entonces

b

f∨(x) =

Z ∞

−∞

b

f (s)e2πixsds = f(x). (1.3)

Ahora definimos la convoluci´on de dos funciones.

Definici´on 1.21. Sean f, g ∈ L1(_R). La convoluci´on de f con

g se define como

(f ∗g)(x) =

Z ∞

−∞

(19)

Algunas de las propiedades b´asicas de la convoluci´on son las siguientes.

Proposici´on 1.22. Si f, g, h ∈ L1(_R), entonces:

(a) f ∗g ∈ L1(_R) y kf ∗gk1 ≤ kfk1kgk1,

(b) f ∗g = g∗f,

(c) (f ∗g)∗h = f ∗(g∗h),

(d) (f +g)∗h = f ∗h+g ∗h.

Por lo tanto L1(_R) es un ´algebra de Banach bajo el producto convoluci´on.

Tambi´en se cumplen las siguientes propiedades algebraicas de la transformada.

Teorema 1.23. Sea f ∈ L1(_R) y α, λ ∈ _R, se tiene que:

(a) Si g(x) = f(x)eiαx, entonces _bg(t) =fb(t−α),

(b) Si g(x) = f(x−α), entonces _bg(t) =fb(t)e−iαt,

(c) Si g ∈ L1 y h = f ∗g, entonces bh(t) =fb(t) b

g(t),

(d) Si g(x) = f(−x), entonces _bg(t) =fb(t).

El inciso (c) nos dice que la transformada de Fourier es un morfismo.

(20)

Definici´on 1.24. Para cada funci´on f : _R → _R y para cada

z ∈ _R, sea fz la traslaci´on de la funci´on f definida por

fz(x) = f(x−z) para cada x ∈ R.

Teorema 1.25. Si 1 ≤ p < ∞ y f ∈ Lp(_R), el mapeo z → fz

es una aplicaci´on uniformemente continua de _R en Lp(_R).

A continuación, proporcionamos un par de funciones que son necesarias para definir nuestra Proposición 1.26 que, junto con los Teoremas 1.27 y 1.28, serán muy importantes en la demostración del Teorema de Plancherel, el cual es uno de nuestros resultados principales.

Consideremos H(t) =e−|t| y definamos

hλ(x) =

Z ∞

−∞

H(λt)eixtdm(t), con λ > 0.

En el desarrollo de esta integral se calcula

hλ(x) =

r

2

π λ λ2_x2

y por lo tanto

Z ∞

−∞

hλ(x)dx = 1.

(21)

Proposici´on 1.26. Sea f ∈ L1(_R), entonces

(f ∗hλ)(x) =

Z ∞

−∞

H(λt)fb(t)eixtdt.

Teorema 1.27. Si g es esencialmente acotada y continua en un punto x, entonces

l´ım

λ→0(g ∗hλ)(x) = g(x).

Teorema 1.28. Si 1 ≤ p < ∞ y f ∈ Lp(_R), entonces

l´ım

λ→0kf ∗hλ−fkp = 0.

(22)

(23)

Cap´ıtulo 2

La transformada de Fourier en

L

2

(

_R

)

: Primer m´

etodo

La transformada de Fourier definida en (1.1), no se aplica directamente a cada f ∈ L2(_R), ya que no toda funci´on que se encuentre en este espacio est´a enL1(_R) y viceversa. Por ejemplo, si

f (x) =

x−23 si x > 1,

0 si x ≤ 1,

entonces f ∈ L2(_R) pero f /∈ L1(_R). Por otro lado, si

g(x) =

x−23 si x ∈ (0,1),

0 si x /∈ (0,1),

entonces g ∈ L1(_R) pero g /∈ L2(_R).

As´ı que, dadaf ∈ L2(_R) su transformada de Fourier definida en L1(_R) para s = 0 no existe, pues

b

f (0) =

Z ∞

−∞

f (x)e−2πix0dx=

Z ∞

−∞

f (x) dx,

no est´a definida, ya que f /∈ L1(_R).

(24)

En este cap´ıtulo, un método para definir la transformada de Fourier en L2(_R) es el conocido Teorema de Plancherel. Tenien-do un subconjunto E de L1(_R), el cual sea denso en L2(_R), cumpliendo con la identidad de Plancherel en este subconjun-to y F(E) denso en L2(_R), por el Teorema 2.4 extendemos la transformada de Fourier del subconjuntoE aL2(_R). Además de definir el Teorema de inversión para la transformada de Fourier en L2(_R).

Antes de exponer nuestro primer m´etodo, definimos algunos conjuntos.

2.1. Subconjuntos densos en

L

2

(

_R

)

Para poder extender nuestra transformada, demostraremos que los subconjuntos L1(_R)∩L2(_R) y S(_R) de L1(_R) son densos en L2(_R). Para esto consideremos las siguientes proposiciones.

Proposici´on 2.1. Toda funci´on de soporte compacto y cuadrado integrable tiene su transformada de Fourier definida como en (1.1).

Demostraci´on. Sea f ∈ L2(a, b), con −∞ < a < b < ∞ y

f(x) = 0, para todox /∈ [a, b]. Teniendo en cuenta que la funci´on caracter´ıstica χ[a,b](x) ∈ L2(a, b), entonces por la desigualdad de

Cauchy-Schwarz

kfk1 = hχ[a,b](x),|f(x)|i ≤ kχ[a,b](x)k2kf(x)k2 =

√

b−akf(x)k2.

(25)

2.1 Subconjuntos densos en L2(_R) 17

Proposici´on 2.2. Las funciones de soporte compacto y cuadra-do integrable forman un subconjunto denso en L2(_R).

Demostraci´on. Sea f una funci´on en L2(_R). Definimos

fn(x) =

f(x) si |x| ≤N,

0 si x /∈ [−N.N].

Tenemos que

{fn} ⊂ L2(R), kfnk2 ≤ kfk2 y kfnk2 → kfk2,

cuando N → ∞.

Adem´as fn → f en L2(R) puesto que

kfn −fk22 =

Z ∞

−∞

|fn(x)−f(x)|2dx = kfk22 − kfnk22 →0.

Por lo tanto, las funciones de soporte compacto y cuadrado in-tegrables forman un subconjunto denso en L2(_R).

El espacio de los polinomios definido en [−N, N] es un con-junto denso en L2([−N, N]). Considerando este hecho, se de-mostrar´a la siguiente proposici´on.

Proposici´on 2.3. El espacio de las funciones continuas de so-porte compacto e infinitamente diferenciables, C_c∞(_R), es denso en L2(_R).

Demostraci´on. Sea > 0, consideremos la funci´on definida como

g(x) =

(

e(N2−−x2) si |x| < N,

0 si |x| ≥ N.

(26)

Adem´as, 0 ≤ g(x) < 1 y converge uniformemente a 1 cuando

→ 0 en todo intervalo cerrado de la forma [−N + δ, N − δ], con δ > 0.

Ahora, sean P(x) un polinomio y M = max{|P(x)| : x ∈

[−N, N]}. Consideremos la funci´on P(x) = P(x)g(x) y

ob-servemos que P(x) ∈ Cc∞(R). La distancia entre estas dos

fun-ciones en L2(−N, N) es

kP(x)−P(x)k22 =

Z N

−N

|P(x)−P(x)|2dx

≤M2

Z −N+δ

−N

1dx+

Z N−δ

−N+δ

|1−g(x)|2dx

+

Z N

N−δ

1dx

,

la cual es m´ınima si tomamos δ y suficientemente pequeños. Por lo tanto, es posible encontrar en el espacioC_c∞(_R) funciones tan próximas como se quiera a una función dada de soporte compacto y cuadrado integrable. Dado que estas funciones for-man un conjunto denso en L2(_R), se tiene que C_c∞(_R) es un subespacio denso en L2(_R).

El espacio de Schwartz en _R ( S(_R)), se define como el espa-cio de las funespa-ciones infinitamente diferenciables y r´apidamente decrecientes sobre _R: “Infinitamente diferenciable”significa que

f ∈ C∞(_R); “r´apidamente decreciente”se aplica a f, f0, f00, ...,

y significa que xpDqf tiende a 0 cuando |x| → ∞ para todo

(27)

2.2 Teorema de Plancherel 19

Evidentemente C_c∞(_R) ⊂ S(_R), por consecuencia S(_R) es denso en L2(_R).

Tambi´en S(_R) ⊂ L1(_R) ∩L2(_R). Como S(_R) es un subcon-junto denso en L2(_R), entonces L1(_R)∩L2(_R) es denso en L2(_R).

Utilizaremos el siguiente teorema para poder definir la trans-formada de Fourier en L2(_R).

Teorema 2.4. Sup´ongase que

(a) X, Y son espacios de Banach.

(b) X0 subconjunto denso en X

(c) Φ : X0 → Y isometr´ıa lineal y

(d) Φ(X0) es denso en Y.

Entonces Φ :e X →Y es una isometr´ıa lineal.

2.2. Teorema de Plancherel

En esta secci´on consideramos el subconjunto E = L1(_R) ∩

L2(_R) y utilizaremos el m´etodo descrito anteriormente para ex-tender la transformada de Fourier de L1(_R)∩L2(_R) a L2(_R).

Se demostrará el Teorema de Plancherel utilizando el Teo-rema 2.4 y éste será nuestro primer método para extender la transformada de Fourier a L2(_R).

Teorema 2.5 (Teorema de Plancherel). Se puede asociar a ca-da f ∈ L2(_R) una funci´on fb ∈ L2(R) tal que las siguientes

(28)

(a) Si f ∈ L1(_R) ∩ L2(_R), entonces fb es la transformada de

Fourier de f definida por (1.1).

(b) Para cada f ∈ L2(_R) se tiene que kfbk₂ = kfk₂.

(c) El mapeo f → fbes un isomorfismo del espacio de Hilbert

L2(_R) sobre L2(_R).

(d) La siguiente relaci´on sim´etrica existe entre f y fb. Si

ΦA(t) =

Z A

−A

f(x)e−2πixtdx y ΨA(x) =

Z A

−A

b

f(x)e2πixtdt

entonceskΦA−fbk₂ → 0 y kΨ_A−fk₂ → 0 cuandoA → ∞.

Observación 2.6. Como L1(_R)∩L2(_R) es denso en L2(_R), las propiedades (a) y (b) determinan la asignación única f → fb. La

propiedad (d) suele llamarse el Teorema de inversi´on en L2(_R).

Demostraci´on. (b) Primero mostremos que si f ∈ L1(_R)∩L2(_R), entonces

kfbk₂ = kfk₂.

Seaf ∈ L1(_R)∩L2(_R), consideremosfe(x) = f(−x) y definamos

g = f ∗fe. Entonces

g(x) =

Z ∞

−∞

f(x−y)fe(y)dy = Z ∞

−∞

f(x−y)f(−y)dy

= hf−x, fi,

donde el producto interior es el del espacio de Hilbert L2(_R) y

f−x denota la traslaci´on de f como en la Definici´on 1.24. Luego,

(29)

R en L2(R). Por la continuidad del producto interno, g es una

funci´on continua. Luego, por la desigualdad de Cauchy-Schwarz

|g(x)| ≤ kf−xk2kfk2 = kfk22.

As´ı que g es una función acotada. Además, como f ∈ L1(_R) y fe ∈ L1(R), entonces la convolución de estas dos funciones

está en L1(_R) por el inciso (a) de la Proposición 1.22, por lo tanto g ∈ L1(_R). Siendo H(t) y hλ(x) como en la Proposición

1.26 tenemos que

(g ∗hλ)(0) =

Z ∞

−∞

H(λt)_bg(t)eit0dt=

Z ∞

−∞

H(λt)_bg(t)dt.

Como g es continua y acotada empleamos el Teorema 1.27 por lo que se tiene que

l´ım

λ→0(g∗hλ)(0) = g(0).

Adem´as

g(0) = (f ∗fe)(0) = Z ∞

−∞

f(−y)f(−y)dy

=

Z ∞

−∞

|f(−y)|2dy = kfk2₂.

Luego, dado que g = f ∗ fe, donde fe(x) = f(−x) cuya

trans-formada de Fourier, aplicando el inciso (d) del Teorema 1.23, es

b e

f(t) = fb(t), entonces a g le aplicamos el inciso (c) del mismo

teorema resulta que _bg(x) = (f[∗fe)(x) = fb(t)bfe(t) = fb(t)fb(t) =

|fb(t)|2 ≥ 0. Debido a que H(λt) tiende hacia 1 cuando λ → 0 y

g es una funci´on medible positiva, por el Teorema de la Conver-gencia Mon´otona se tiene que

l´ım

λ→0

Z ∞

−∞

H(λt)_bg(t)dm(t) =

Z ∞

−∞

(30)

Ahora

kfk2₂ = g(0) = l´ım

λ→0(g∗hλ)(0) = l´ımλ→0

Z ∞

−∞

H(λt)_bg(t)dt

=

Z ∞

−∞

|fb(t)|2dt = kfbk2₂

por lo tanto kfk2 = kfbk₂ y adem´as fb∈ L2(R).

Ahora sea Y el espacio de todas las transformaciones de Fourier fbpara f ∈ L1(R) ∩ L2(R). Dado que kfk₂ = kfbk₂ se

tiene entonces que Y ⊂ L2(_R), demostraremos que Y es denso en L2(_R), es decir, Y⊥ = {0} (dada la veracidad de la Proposi-ci´on 1.18). Consideremos las funciones x → eiαxH(λx) que se encuentran en L1(_R) ∩ L2(_R) para todo real α y λ > 0, sus transformadas de Fourier dadas por

Z ∞

−∞

eiαxH(λx)e−ixtdx =

Z ∞

−∞

H(λx)eix(α−t)dx

= hλ(α −t)

est´an por lo tanto en Y. Sea w ∈ L2, y consideremos w ∈ Y⊥

entonces

(hλ ∗w)(α) =

Z ∞

−∞

hλ(α−t)w(t)dm(t) = 0 ∀ α ∈ R.

Por el Teorema 1.28 se concluye que w = 0 y por lo tanto Y

es denso en L2(_R).

Denotaremos temporalmente afbpor Φ(f). Como se ha

proba-do, Φ es una isometr´ıa en L2(_R), del subespacio denso L1(_R)∩

L2(_R) de L2(_R) sobre otro subespacio denso Y. Por el Teorema 2.4 se tiene que Φ se extiende a una isometr´ıa Φ dee L2(R) sobre

L2(_R), si escribimos fbpara Φ(e f) obtenemos las propiedades (a)

(31)

La propiedad (c) es consecuencia de (b). Pues en (b) se de-muestra que Φ es inyectiva y sobreyectiva.

Para probar (d) sea f ∈ L2(_R) y sea χA la funci´on

carac-ter´ıstica de [-A, A], entonces χAf ∈ L1(R)∩L2(R). Denotemos

ϕA = (χAf)∧. Como kfb−χ_Afk₂ → 0 cuando A → ∞, se sigue

de (b) que

kfb−ϕ_Ak₂ = k(f −χ_Af)∧k₂ = k(f −χ_Af)k₂ →0

cuando A → ∞.

La otra parte de (d) es an´aloga.

(32)

(33)

Cap´ıtulo 3

La transformada de Fourier en

L

2

(

_R

)

: Segundo m´

etodo

Un segundo m´etodo para definir la transformada de Fourier de funciones en el espacio L2(_R) es considerar a K, el espacio de las funciones escalonadas. Dado que K es denso en L2(_R), podemos extender la transformada de Fourier de K a L2(_R).

Este segundo m´etodo es alternativo al primero ya que no se emplea expl´ıcitamente que la imagen de funciones en K bajo la aplicaci´on de la transformada de Fourier sea densa en L2(_R).

Recordemos que si f ∈ L1(_R), su transformada inversa de Fourier se define como

f∨(x) =

Z ∞

−∞

f (s)e2πixsds.

El m´etodo es constructivo, as´ı que empezaremos probando que para intervalos acotados I y J

(χ_bI)∨ = χI; hχbI,χbJi = hχI, χJi (3.1)

(34)

y

( ˇχI)b= χ

I; hχˇI,χˇJi = hχI, χJi (3.2)

donde χI y χJ son las funciones caracter´ısticas de I y J

respec-tivamente. Teniendo estas relaciones, se construye la fórmula de inversión y se cumple la identidad de Plancherel para el espa-cio K. La extensión a L2(_R) se realiza a través de la densidad del espacio K en este espacio, permitiendo que la validez de la fórmula de inversión de Fourier y el Teorema de Plancherel se extiendan a L2(_R).

Realizaremos la prueba de las igualdades en (3.1). De forma similar, debido a la simetr´ıa que tienen las expresiones de la transformada de Fourier y de la transformada inversa de Fourier, pueden demostrarse las igualdades en (3.2).

Antes de empezar con nuestro m´etodo, consideremos los si-guientes lemas.

3.1. La transformada de Fourier en

K

En esta sección se prueban las igualdades (3.1). Lo que per-mite obtener la fórmula de inversión y la identidad de Plancherel en K, para esto, empecemos demostrando los siguientes lemas.

Lema 3.1. Sean a, b, α ∈ _R con α +a < −α < 0 < α < α +b. Entonces

l´ım

B→∞

Z α+b

α+a

senπ(u−α)

π(u−α)

sen 2πBu πu

du

= l´ım

B→∞

Z α

−α

senπ(u−α)

π(u−α)

sen 2πBu πu

(35)

3.1 La transformada de Fourier en K 27

Demostración. Sea α +a < −α < 0 < α < α+b, tenemos que [α+a, α+b] = [α+a,−α]∪[−α, α]∪[α, α+b]. Debido a que la función sen_π(uπ(u₋_α)πu−α) es integrable en [α+a,−α] y [α, α+b], entonces por el Lema de Riemann-Lebesgue el l´ımite de la integral sobre estos intervalos es cero. Sólo tenemos problema de integrabilidad en u = 0, pues en u = α la función sen_π(uπ(u₋_α)πu−α) podemos redefinirla como

g(u) =

( _sen_π(u₋_α)

π(u−α)πu si u ∈ R\ {α},

1 si u = α,

y hacer continua la funci´on. As´ı, tenemos

l´ım

B→∞

Z α+b

α+a

senπ(u−α)

π(u−α)

sen 2πBu πu du = l´ım B→∞ Z α −α

senπ(u−α)

π(u−α)

sen 2πBu πu

du.

Lema 3.2. Sean a, b, α ∈ _R tal que a < α < b. Se tiene que

l´ım B→∞ Z b a senπβ πβ

sen 2πB(α+β)

π(α+β)

dβ = senπα

πα .

Demostraci´on. Podemos considerar como un primer caso a <

−α < 0 < α < b. De esto, se tiene a < −2α < −α < 0 < b y as´ıα+a < −α < 0< α < α+b. Haciendo el cambio u = α+β, tenemos l´ım B→∞ Z b a senπβ πβ

sen 2πB(α+β)

π(α +β) dβ = l´ım B→∞ Z α+b α+a

senπ(u−α)

π(u−α)

sen 2πBu πu

(36)

Luego, por el Lema 3.1 s´olo analizaremos

l´ım

B→∞

Z α

−α

senπ(u−α)

π(u−α)

sen 2πBu πu

du.

Antes observemos que haciendo el cambio de variablet = 2πBu;

l´ım

B→∞

Z α

−α

sen 2πBu

πu du = l´ımB→∞

Z 2πBα −2πBα sent t 2B dt 2πB = l´ım B→∞ 1 π Z 2πBα −2πBα sent

t dt= 1. (3.3)

As´ı, empleando (3.3), se tiene

l´ım

B→∞

Z α

−α

senπ(u−α)

π(u−α)

sen 2πBu πu du = l´ım B→∞ Z α −α

senπ(u−α)

π(u−α)

sen 2πBu πu

du

− senπα

πα

Z α

−α

sen 2πBu πu du+

senπα πα = l´ım B→∞ Z α −α

senπ(u−α)

π(u−α)πu −

senπα παπu

sen 2πBu du+ senπα

πα .

(3.4)

Ahora, observemos que a la funci´on

h(u) = senπ(u−α)

π(u−α)πu −

senπα παπu

= παsenπ(u−α)−π(u−α) senπα

π(u−α)παπu

(37)

resulta que el cociente

π2αcosπ(u−α)−πsenπα

2π3_αu₋_π3_α2

tiene l´ımite cuando u → 0. Por lo tanto la funci´on h(u) es inte-grable en [−α, α]. Aplicando el Lema de Riemann-Lebesgue en (3.4) se tiene que

l´ım

B→∞

Z α

−α

senπ(u−α)

π(u−α)

sen 2πBu πu

du = senπα

πα .

Para el segundo caso, consideremos a < 0 < −α < b, entonces

a < α < 0 < −α < −2α < b. Haciendo el cambio de variable

u = α + β y realizando un procedimiento similar al anterior, obtenemos el resultado

l´ım

B→∞

Z −α

α

senπ(u−α)

π(u−α)

sen 2πBu πu

du = senπα

πα .

Lema 3.3. Sean α, β, x ∈ _R, se tiene que

Re Z b a senπα πα Z b a senπβ πβ Z B −A

e2πiαxe2πiβxdx

dβ dα (3.5) = Z b a senπα πα Z b a senπβ πβ

sen 2πB(α +β) 2π(α +β)

dβ − Z b a senπβ πβ

sen 2πA(α+β) 2π(α +β)

dβ

dα.

(38)

ulti-ma integral de (3.5).

Re

Z B

−A

e2πiαxe2πiβxdx

= Re

Z B

−A

(cos 2παx+isen 2παx)(cos 2πβx+isen 2πβx)dx

= Re

Z B

−A

(cos 2παxcos 2πβx+icos 2παxsen 2πβx

+isen 2παxcos 2πβx−sen 2παxsen 2πβx)dx

= Re

Z B

−A

(cos 2πx(α+ β) +isen 2πx(α+ β))dx

=

Z B

−A

cos 2πx(α+β)dx = sen 2πx(α+β) 2π(α+ β)

B A

= sen 2πB(α+β) 2π(α+β) −

sen 2πA(α+β) 2π(α +β) .

As´ı, tenemos que

Re Z b a senπα πα Z b a senπβ πβ Z B −A

e2πiαxe2πiβxdx

dβ dα = Z b a senπα πα Z b a senπβ πβ

sen 2πB(α +β) 2π(α +β) −

sen 2πA(α+ β) 2π(α+β)

dβ = Z b a senπα πα Z b a senπβ πβ

sen 2πA(α +β) 2π(α+ β)

dβ

dα.

(39)

Lema 3.4. Sean a, b, γ ∈ _R tales que a < γ < b. Se tiene que

Z B −A Z b a senπγ πγ e 2πiγx_dγ 2 dx = Z b a senπα πα Z b a senπβ πβ

sen 2πB(α +β)−sen 2πA(α+β) 2π(α+β)

dβ dα tiende a Z b a senπγ πγ 2 dγ

cuando A → −∞ y B → ∞.

Nota: La expresi´on integral del Lema 3.4 no contiene parte imaginaria.

Demostraci´on. Sean a < γ < b, primero tenemos que

Z B −A Z b a senπγ πγ e 2πiγx_dγ 2 dx = Z B −A Z b a senπα πα e 2πiαx dα) Z b a senπβ πβ e 2πiβx dβ dx = Z b a senπα πα Z B −A e2πiαx Z b a senπβ πβ e 2πiβx_dβ dx dα = Z b a senπα πα Z b a senπβ πβ Z B −A

e2πiαxe2πiβxdx

dβ

(40)

Por el Lema 3.3, se tiene Z b a senπα πα Z b a senπβ πβ Z B −A

e2πiαxe2πiβxdx

dβ dα = Z b a senπα πα Z b a senπβ πβ

sen 2πB(α+β) 2π(α+β)

sen 2πA(α+β) 2π(α+β)

dβ

dα.

Por el Lema 3.2 resulta que

Z b a senπα πα Z b a senπβ πβ

sen 2πA(α +β) 2π(α+β)

dβ dα = Z b a senπα πα senπα

2πα +

senπα 2πα dα = Z b a senπα πα senπα πα dα = Z b a senπα πα 2 dα.

Ahora expondremos el segundo m´etodo para extender la trans-formada de Fourier a L2(_R), considerando K el espacio de las funciones escalonadas.

Sea χI la funci´on caracter´ıstica del intervalo I. Como primer

paso verificaremos la f´ormula de inversi´on (χ_bI)∨ = χI.

Proposici´on 3.5. Sea I = [a, b] y χI la funci´on caracter´ıstica

(41)

Demostración. Con la intención de facilitar la notación, usare-mos f en lugar de χI. Entonces

b

f(γ) =

Z b

a

e−2πiγxdx

=

Z b

a

(cos 2πγx−isen 2πγx) dx

=

Z b

a

cos 2πγx dx−i

Z b

a

sen 2πγx dx

= sen 2πγx 2πγ b a −i

−cos 2πγx

2πγ b a

= sen 2πγb 2πγ −

sen 2πγa

2πγ +i

cos 2πγb

2πγ −

cos 2πγa

2πγ

.

Para simplificar esta ´ultima expresi´on consideremos, en partic-ular, el intervalo I = [−1₂, 1₂]. Observemos que

sen 2πγb

2πγ −

sen 2πγa

2πγ + i

cos 2πγb

2πγ −

cos 2πγa

2πγ

= senπγ 2πγ +

senπγ

2πγ +i

cosπγ

2πγ −

cosπγ

2πγ

= 2 senπγ 2πγ

= senπγ

πγ ,

Por lo que fb(γ) = senπγ

πγ .

Ahora debemos demostrar que la funci´on

fab(x) =

Z b

a

senπγ πγ e

2πiγx_dγ

(42)

compactos. Observemos que por el Lema 3.4, tenemos

kfab −fk22 =

Z ∞ −∞ Z b a senπγ πγ e 2πiγx dγ 2 dx −2

Z 1₂

−1 2

Z b

a

senπγ

πγ cos 2πγx dγ

dx+ 1

= Z b a senπγ πγ 2

dγ −2

Z b a senπγ πγ 2

dγ+ 1. (3.6)

Verifiquemos que Z ∞ −∞ senπγ πγ 2

dγ = 1

π Z ∞ −∞ senγ γ 2

dγ = 1.

Por integraci´on por partes, sea u = sen2γ, du = 2 senγcosγdγ,

dv = dγ_γ2, v = −

1

γ y con una sustituci´on trigonom´etrica se tiene

que

Z ∞

0

sen2γ

γ2 dγ = −

sen2γ γ ∞ 0 + Z ∞ 0

2 senγcosγ γ dγ = Z ∞ 0 senγ γ dγ = π 2. Luego Z ∞ −∞ senπγ πγ 2

dγ = 1

π Z ∞ −∞ senγ γ 2

dγ = 1

π(π) = 1.

Usando esto en (3.6), concluimos que kfab − fk2 = 0, cuando

a → −∞ y b → ∞.

Por lo tanto se verifica que fab → f en L2(R) con la norma

(43)

Sea f ∈ K. Esta funci´on es de la forma P

cIχI, una suma de

múltiplos complejos de funciones caracter´ısticas de un número finito de intervalos acotados I. Para tal función, la fórmula de inversión (fb)∨ = f se cumple, ya que en cada múltiplo complejo

de funciones caracter´ısticas, está definida la fórmula de inver-sión.

Emplearemos la Proposici´on 3.5 para demostrar el siguiente resultado.

Proposici´on 3.6. Sean I y J intervalos acotados. Entonces

hχ_bI,χbJi = hχI, χJi.

Demostraci´on. Como χ_bI y χbJ pertenecen a L

2₍

R), se tiene que

hχ_bI,χbJi existe, y puede ser evaluado como sigue:

hχ_bI,χbJi = Z ∞

−∞ b

χI(γ)χbJ(γ)dγ

=

Z ∞

−∞ b

χI(γ)

Z

J

e2ππiγxdx

dγ = l´ım n→∞ Z n −n b

χI(γ)

Z

J

e2πiγxdx

dγ = l´ım n→∞ Z J Z n −n b

χI(γ)e2πiγxdγ

dx.

Por la Proposici´on 3.5, la segunda integral tiende aχI en L2(R),

cuando n → ∞. As´ı

hχ_bI,χbJi = Z

J

χI(x)dx =

Z ∞

−∞

χI(x)χJ(x)dx= hχI, χJi.

(44)

Corolario 3.7. Si f ∈ K, entonces

kfbk2₂ = kfk2₂.

Demostraci´on. Sea f ∈ K luego

kfbk2₂ = X

cIcJhχbI,χbJi = X

cIcJhχI, χJi = kfk22.

3.2. Extensi´

on a

L

2

(

_R

)

En esta secci´on se procede a extender la transformada de Fourier deK a todo el espacio L2(_R). Primero debemos mostrar que K es denso en L2(_R), para esto, consideremos la siguiente definici´on.

Definición 3.8. Una función f :I → _R se dice que es regulada sobre I = [a, b], si para todo > 0 existe una función escalonada

s : I → R tal que

|f(x)−s(x)| ≤ para todo x ∈ I.

Adem´as de la siguiente caracterizaci´on de las funciones re-guladas.

Teorema 3.9. Una función f : I → _R es una función regulada, si y sólo si, tiene l´ımites laterales en cada punto del intervalo

I = [a, b].

(45)

3.2 Extensi´on a L2(_R) 37

que f tiene l´ımite lateral derecho en c. Para esto, sea > 0 y

s : I →R una funci´on escalonada tal que

|f(x)−s(x)| ≤ para todo x ∈ I.

Como s es una funci´on escalonada, adem´as l´ımx→c+s(x) esta

definido, luego, existe δ(c) > 0 tal que si x, y ∈ (c, c+ δ(c)),

resulta que s(x) = s(y). Por lo tanto, si x , y ∈ (c, c+ δ(c))

entonces

|f(x)−f(y)| ≤ |f(x)−s(x)|+|s(x)−s(y)|+ |s(y)−f(y)|

≤ + 0 +

= 2.

Como es arbitrario, el criterio de Cauchy implica que el l´ımite lateral derecho existe, la existencia del l´ımite lateral izquierdo en c ∈ [a, b) se prueba de la misma manera.

Ahora supongamos que f tiene l´ımites laterales en cada pun-to de I, el criterio de Cauchy para la existencia de los l´ımites laterales garantiza que, dado > 0, existe una funci´on medi-dora δ sobre I tal que si t ∈ I y y1, y2 ∈ (t− δ(t), t) y

con-tenidos en [t, t+δ(t)], entonces |f(y1)−f(y2)| ≤ . Ahora sea

˙

P = {([xi−1, xi]), ti}ni=1 una partici´on δ −f ina de I. Definimos

s(x) = f(z) si z no es uno de los n´umeros

a = x0 ≤ t1 ≤ · · · ≤ xi−1 ≤ ti ≤xi ≤ · · · ≤ tn ≤ xn = b

sobre el intervalo (xi−1, ti) ⊆ [ti − δ(ti), ti), definimos s =

f(1₂(xi−1 +ti)) as´ı que

|f(x)−s(x)| = |f(x)−f(

1

(46)

de manera similar, sobre el intervalo (ti, xi) ⊆ [ti, ti + δ(ti)),

definimos s = f(1₂(ti +xi)) as´ı que

|f(x)−s(x)| = |f(x)−f(

1

2(ti +xi))| ≤

Por lo tanto las funciones escalonadasssatisfacen|f(x)−s(x)| ≤

para todo x ∈ I. Como es arbitrario, concluimos que f es una funci´on regulada.

Nota: Toda funci´on continua es una funci´on regulada.

A continuaci´on demostraremos la densidad de las funciones escalonadas en L2(_R).

Lema 3.10. El espacio de las funciones escalonadas en (_R), K, es denso en L2(_R).

Demostraci´on. Sabemos que el espacio de funciones continuas con soporte compacto, Cc(R), es un conjunto denso en L2(R),

ahora consideremos f ∈ L2(_R) y > 0 entonces existe una funci´on fc ∈ Cc(R) tal que kfc−fk2 < /2, adem´as el conjunto

de las funciones escalonadas son densas en el conjunto F de las funciones reguladas de valores reales sobre [a, b], pues dada fc

funci´on regulada y > 0 existe una funci´on escalonada ϕ tal que |fc −ϕ| < /

√

2√b−a. Entonces

Z b

a

|fc −ϕ|2 ≤(b−a)kfc −ϕk2 < 2/

√

22,

y por lo tanto kfc − ϕk2 < /2. En particular si fc ∈ Cc(_R)

entonces fc ∈ F, luego

kϕ−fk2 = kϕ−fc +fc −fk2 ≤ kϕ−fck2 +kfc −fk2

(47)

3.2 Extensi´on a L2(_R) 39

As´ı las funciones escalonadas son densas en L2(_R).

Ahora hacemos el proceso de extensi´on de la transformada de Fourier de K a L2(_R).

Dadaf ∈ L2(_R), existe{fn}una sucesi´on de funciones

escalo-nadas de tal manera que l´ımn→∞kfn−fk2 = 0. Por la identidad

de Plancherel,

kfb_n−fb_mk₂ = k(f_n−f_m)

bk2 = kfn−fmk2

≤ kfn−fk2 + kfm−fk2.

As´ı que podemos definir fb= l´ım_n_→∞fb_n y este l´ımite existe en

L2(_R).

Para verificar que est´a bien definida, sean f, g ∈ L2(_R) en-tonces existe una sucesi´on de funciones {hn} ⊂ K, que cumple

que l´ımn→∞khn −fk2 = 0 y l´ımn→∞khn −gk2 = 0 por la

den-sidad de K, luego fb= l´ım_n_→∞bh_n y _bg = l´ım_n_→∞bh_n, entonces si

f = g se cumple que fb= _bg.

Adem´as la transformada de Fourier as´ı definida es una apli-caci´on lineal.

Teorema 3.11. Si f, g ∈ L2(_R) y α ∈ _R entonces αf\+ g =

αfb+ _bg.

Demostraci´on. Sean f, g ∈ L2(_R) y α ∈ _R, luego fb= l´ım_n_→∞fb_n

con {fn} ⊂ K y bg = l´ımn→∞bgn con {gn} ⊂ K. Dado que la

transformada de Fourier es lineal en K, entonces

\

αf +g = l´ım

n→∞(αf\n+gn) = l´ımn→∞(αfbn+bgn)

= α l´ım

(48)

Ahora demostramos la identidad de Plancherel en L2(_R).

Teorema 3.12. Si f ∈ L2(_R) entonces kfk2 = kfbk₂.

Demostraci´on. Dada f ∈ L2(_R) existe {fn} ⊂ K tal que

kfk2 = l´ım

n→∞kfnk2.

Como en K se cumple la identidad de Plancherel se tiene que

l´ım

n→∞kfnk2 = l´ımn→∞kfbnk2 = kfbk2. Por lo tanto kfk2 = kfbk₂.

As´ı que la transformada de Fourier es una aplicaci´on inyecti-va.

Se demuestra de manera an´aloga que la transformada inver-sa de Fourier se extiende de K a L2(_R) y tiene las siguientes propiedades.

Sean f, g ∈ L2(_R)

(αf +g)∨ = αfˇ+ ˇg.

hf ,ˇ gˇi = hf, gi.

kfˇk2 = kfk2.

Se cumple la f´ormula de inversi´on en L2(_R) de la siguiente manera.

Sea f ∈ L2(_R), existe {fn} ⊂ K tal que kf −fnk2 → 0, por

(49)

3.3 Relaci´on entre los dos m´etodos 41

Ahora fij´emonos en

kf −fb∨k₂ = kf −f_n +f_n −fb∨k₂

≤ kf −fnk2 +kfb∨−fb_n∨k₂

= kf −fnk2 +kfb−fb_nk₂

Por lo tanto f = fb∨.

As´ı que la transformada de Fourier es un isomorfismo de

L2(_R) sobre L2(_R).

3.3. Relaci´

on entre los dos m´

etodos

En esta sección, hacemos algunas observaciones con respecto a los dos métodos, además algunas condiciones que no se ten´ıan al inicio de la prueba, son verdaderas al finalizar el método de extensión.

Fij´emonos que en L1(_R)∩L2(_R) se puede aplicar el segundo m´etodo, es decir, teniendo definida la transformada de Fourier y la identidad de Plancherel en este espacio, se extiende dicha transformada e identidad por medio de la densidad de L1(_R)∩

L2(_R).

En un inicio, no pod´ıamos aplicar el primer método al es-pacio K, de las funciones escalonadas, ya que no sab´ıamos si la imagen de las funciones escalonadas bajo la aplicación de la transformada de Fourier fuera densa en L2(_R), sin embargo, una vez finalizada la extensión a este espacio se concluye que, se cumple esta propiedad.

(50)

kf∨ − fnk → 0. Nuevamente por la identidad de Plancherel

kfc∨ −fb_nk → 0, puesto que f ∈ L2(R) se cumple la f´ormula de

inversi´on, as´ı que kf −fb_nk → 0. Por lo tanto la imagen de K

bajo la transformada es densa en L2(_R).

Dada f ∈ L2(_R) con transformada de Fourier fb∈ L2(R) la

cual es extendida por el primer método y también por el segundo método, ¿se ha extendido la misma transformada de Fourier?

La respuesta es afirmativa, supongamos que f ∈ L2(_R) luego por el primer m´etodo existe fb_L ∈ L2(R) tal que kfb_n−fb_Lk₂ → 0

con{fn} ⊂ L1(R)∩L2(R), por otro lado, para la misma funci´on

f, existe {gn} ⊂ K tal quekgn−fk2 → 0 entonceskbgn−fbKk2 →

0. Por demostrar que kfb_L−fb_Kk₂ →0.

kfb_L−fb_Kk₂ = kfb_L −fb_n+ fb_n − b

gn +_bgn−fb_Kk₂

≤ kfb_L−fb_nk₂ +k b

gn−fb_Kk₂ + kfb_n− b

gnk2.

Ahora, haciendo tender n a infinito, tenemos

kfb_L −fb_Kk₂ = l´ım

n→∞kfbn−bgnk2

= l´ım

n→∞k(fn −gn)

bk

2

= l´ım

n→∞kfn−gnk2 = l´ım

n→∞kfn−f + f −gnk2

≤ l´ım

n→∞kfn −fk2 +kf −gnk2 = 0.

(51)

Conclusiones

En esta tesis se expusieron dos m´etodos diferentes de extender la transformada de Fourier de los conjuntos ya mencionados a

L2(_R), sin embargo se demuestra que no importa que m´etodo utilicemos, en ambos casos se extiende a la misma funci´on en

L2(_R).

Una de las propiedades que emplean ambos métodos es la densidad en L2(_R) de subconjuntos que están en L1(_R), además de cumplir la identidad de Plancherel en estos subconjuntos. Estas propiedades son fundamentales para poder extender la trasformada de Fourier a L2(_R). As´ı que nos preguntamos lo siguiente: ¿Todo subconjunto que cumpla con las propiedades ya mencionadas se podrá extender la transformada de Fourier de éste subconjunto a L2(_R)? en la pregunta anterior se requiere un subconjunto de L1(_R) para que este definida la transformada de Fourier en ese subconjunto, pero, otra pregunta más compleja ser´ıa ¿podemos considerar un subconjunto que no este en L1(_R) en el cual este definida la transformada de Fourier, cumpla con la identidad de Plancherel en éste subconjunto y sea denso en

L2(_R)?

(52)

(53)