2639

TEORA DE FUNCIONES
GENERALIZADAS
JOS MIGUEL MARN ANTUA
TEXTO DE LAS CARRERAS LICENCIATURA E

INGENIERA FSICA
TEORA DE FUNCIONES
GENERALIZADAS
TEXTO DE LAS CARRERAS: LICENCIATURA E INGENIERA
FSICA
JOS MIGUEL MARN ANTUA
PGINA LEGAL
Primera edicin, Editorial Universitaria, 2014.
Calle 23 No. 565 e/ F y G, Vedado, La Habana, Cuba.
E-mail: eduniv@mes.edu.cu
Telfono: (+537) 837 4538
e ISBN versin electrnica 978-959-16-2276-1
Todos los derechos reservados Jos Miguel Marn Antua, Profesor
Emrito. Facultad de Fsica de La Universidad de La Habana. Cuba. E-mail:
marin@fisica.uh.cu
Indice
Introducci
on
1 Conceptos Iniciales
1.1
Ampliacion del concepto de funcion . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Funciones de base y funciones generalizadas . . . . . . . . . . . . . . . . . . . . 11
1.3
Espacio D de las funciones de base . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4
Espacio D de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . 16
1.5
LEMA de du Bois-Reymond . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6
Funciones Generalizadas Singulares . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7
Formulas de Sojotsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8
Cambio de variables lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.9
Producto de funciones generalizadas. . . . . . . . . . . . . . . . . . . . . . . . . 25
1.10 Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2 Derivaci
on e integraci
on de funciones generalizadas
33
2.1
Derivada generalizada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2
Primitiva de una funcion generalizada . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3
Ejemplos, n = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4
Ejemplos, n 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.5
Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3 Producto Directo y Convoluci

on de Funciones Generalizadas
3
65
INDICE
4
3.1
Producto Directo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2
Convolucion de funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . . 68
3.3
Propiedades de la convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4
0
Algebra convolucional D+
de funciones generalizadas . . . . . . . . . . . . . . . 74
3.5
0
Ecuaciones en el algebra convolucional D+
. . . . . . . . . . . . . . . . . . . . . 75
3.6
Regularizacion de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . 79
3.7
Ejemplos de convoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.8
4 Funciones generalizadas de crecimiento lento (atemperadas)
87
4.1
Espacio S de funciones de base . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2
Espacio S 0 de funciones generalizadas de crecimiento lento . . . . . . . . . . . . 89
4.3
Transformada de Fourier de las funciones generalizadas de crecimiento lento . . 92

4.3.1
Transformada de Fourier de las funciones de base de S . . . . . . . . . . 92
4.3.2
Transformada de Fourier de funciones generalizadas de S 0 . . . . . . . . . 94
4.4
Propiedades de la transformada de Fourier . . . . . . . . . . . . . . . . . . . . . 98
4.5
Transformada de Fourier de funciones generalizadas con soporte compacto . . . 100
4.6
Transformada de Fourier de la convolucion . . . . . . . . . . . . . . . . . . . . . 101
4.7
Ejemplos, n=1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.8
Ejemplos, n 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.9
5 Soluciones fundamentales de los operadores diferenciales lineales
113
5.1
Solucion generalizada de una ecuacion . . . . . . . . . . . . . . . . . . . . . . . 113
5.2
Solucion fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.3
Ecuacion con parte derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.4
Metodo del descenso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.5
Solucion fundamental del operador diferencial lineal con derivadas ordinarias . . 123
INDICE
5.6
Solucion fundamental del operador de conduccion del calor . . . . . . . . . . . . 124
5.7
Solucion fundamental del operador de onda (DAlembert) . . . . . . . . . . . . . 125
5.8
Solucion fundamental del operador de Laplace . . . . . . . . . . . . . . . . . . . 127
5.9
Solucion fundamental de la ecuacion de Helmholtz . . . . . . . . . . . . . . . . . 129
5.10 Otras soluciones fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

5.11 Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Bibliografa
135
INDICE
Introducci
on
Hemos odo expresiones: funcion generalizada, solucion generalizada de una ecuacion diferencial, etc. Estudiaremos de manera consecuente estos conceptos y su uso.
El concepto de funcion generalizada se ha desarrollado gracias a la Fsica Matematica y surgio
para darle un sentido matematico claro a conceptos usados en la Fsica, tales como funcion delta
de Dirac, funcion paso unitario de Heaviside, etc. Nacen, precisamente, en 1930 al introducir
Dirac la funcion delta. Luego, los fundamentos de la teora de funciones generalizadas se
desarrollan por Soboliev (1936) y Schwarz (1951).
Las funciones generalizadas surgen, de manera natural, primero, al intentar extender los metodos e ideas del calculo diferencial e integral clasico de inicios del siglo XIX a funciones que,
formalmente, no son ni diferenciables, ni integrables y, segundo, por la necesidad de estudiar
soluciones no suaves de ecuaciones diferenciales.
El presente volumen es un texto de la materia que satisface las necesidades y expectativas de
un amplio grupo de fsicos e ingenieros que por su trabajo necesitan operar con los conceptos
de funciones generalizadas y de soluciones fundamentales de operadores diferenciales. Cumple,
ademas, el encargo de contar con un texto para el curso que sobre esta materia se imparte
en el postgrado de la Maestra en Fsica de la Universidad de La Habana. Su tratamiento es,
por tanto, adaptado a esas necesidades en cuanto al formalismo matematico del tema y esta
dirigido esencialmente a la utilizacion practica de las funciones generalizadas.
El libro se desarrolla en una introduccion y cinco captulos. En el primero se introducen los
conceptos de funcion generalizada y las principales operaciones con ellas. En los siguientes
captulos se exponen las operaciones de derivacion, integracion, producto directo y convolucion
de las funciones generalizadas. A continuacion se describen las funciones generalizadas atemperadas o de crecimiento lento y la aplicacion de la tecnica de la transformada de Fourier
para tales funciones. Sobre la base de lo expuesto, se estudian las soluciones generalizadas de
ecuaciones diferenciales y las soluciones fundamentales de los operadores diferenciales lineales
que con mayor frecuencia aparecen en los problemas fsicos. Esto le da un cierre valioso a
todo el libro, permitiendo al lector apropiarse de una herramienta importante en su trabajo de
investigacion en Fsica y las ingenieras.
Todo el libro esta adornado con m
ultiples y esclarecedores ejemplos y al final de cada captulo se
proponen ejercicios y problemas a resolver por el lector que le ayuden al estudio de la materia.
Jose Marn Antu

na
Captulo 1
Conceptos Iniciales
1.1
Ampliaci
on del concepto de funci
on
DEFINICION 1: Llamamos funci

on cl
asica (antes, funcion) a y = f (x), definida para todo
< x < que en cada [a, b] finito toma valores reales y es integrable Lebesgue.
Ejemplo: Toda funcion continua en [a, b]; toda funcion acotada en [a, b].
DEFINICION 2: f1 (x) y f2 (x) son la misma funcion clasica, si en casi todos los puntos
f1 (x) = f2 (x). O sea, pueden existir puntos aislados (de medida nula) donde la igualdad puede
no ocurrir. En principio, la integracion puede siempre aplicarse a toda funcion clasica, pero la
derivacion no: algunas funciones clasicas, incluso continuas, no tienen, en general, derivada.
Por ejemplo, la funcion de Weierstrass (1872):
f (x) =
bn cos(an x)
(1.1)
n=0
con ab > 1 + 3/2, a > 1 entero impar y 0 < b < 1.

Esta funcion es continua, pero no admite derivada en ning
un punto. Por lo tanto, no es
susceptible de representacion grafica.
Otro ejemplo es la curva de Von Koch. Esta se construye tomando un segmento AB y dividiendolo en tres partes iguales. Con su pedazo central se construye el triangulo equilatero
CDE. Uniendo los puntos se obtiene una lnea quebrada AEB que llamamos L1 y otra quebrada ACEDB que llamamos L2 . Con cada uno de los segmentos de las lneas quebradas
hacemos lo mismo, o sea, cada pedazo lo dividimos en tres partes iguales: la lnea AE la dividimos con los puntos N y P , la l nea EB con los puntos Q y R, la lnea AC con los puntos
F y G y la lnea DB con los puntos Q y R y llamamos L3 a la quebrada AN CP EQDRB en
tanto llamamos L4 a la quebrada AF N GCHP IEJQKDLRM B. Repetimos la operacion y
obtenemos dos quebradas que llamamos L5 y L6 y repetimos el procedimiento indefinidamente.
9
10
Jose Marn Antu

na
La region del plano entre las quebradas L2n1 y L2n va reduciendose constantemente. Por lo
tanto, las dos quebradas tienen un lmite com
un L que es la curva de Von Koch.
Se demuestra que las coordenadas x, y de cada punto de L son funciones continuas de un
parametro t que no admiten derivada. Por lo tanto, la curva de Von Koch es una curva
continua sin tangente.
Existen tambien funciones clasicas que tienen derivada, pero dicha derivada ya no es clasica.
Por ejemplo:
1
y=p
|x|
y0 =
(1.2)
(x) (x)
p
2|x| |x|
(1.3)
donde (x) = 1, x > 0 y (x) = 0, x < 0 es la funcion paso unitario de Heaviside.

Tambien ocurre que existe la derivada de una funcion clasica continua en casi todos los puntos
y que dicha derivada es una funcion clasica pero que, al integrarla, no se recupera la funcion
original, por lo que dicha derivada no ofrece ninguna utilidad (funcion de Cantor).
Solo las funciones absolutamente continuas tienen derivada clasica que cumple
Z
f (x) = f (a) +
f 0 ()d
(1.4)
Ademas, de la convergencia de fn (x) a f (x) no siempre se deduce la convergencia de fn0 (x) a

f 0 (x), incluso cuando estas derivadas existan. Solo para la clase de funciones analticas estos
fenomenos indeseables no ocurren; pero las funciones analticas son una clase muy reducida
para las aplicaciones.
Nuestro objetivo es ampliar el concepto de funcion de forma que se pueda definir de manera
razonable la derivacion:
Sea (x) una funcion acotada finita. Esto significa que (x) 6= 0 en [a, b] y (x) = 0 fuera de
[a, b]. A cada funcion clasica se puede poner en correspondencia el n
umero (funcional)
Z
(f, ) =
f (x)(x)dx
(1.5)
que en realidad es la integral entre a y b debido a como es (x).

Si f (x) es absolutamente continua y tiene derivada clasica f 0 (x), entonces igualmente podemos
poner en correspondencia a f 0 (x) el n
umero
Conceptos Iniciales
11
f 0 (x)(x)dx
(f , ) =
(1.6)
Si tambien (x) es absolutamente continua con derivada 0 (x) acotada, entonces, integrando
por partes:
(f , ) =
f (x)(x)|
f (x)0 (x)dx (f, 0 )
(1.7)
La expresion de la derecha en esta formula: (f, 0 ) sigue teniendo sentido aunque f 0 (x) no
exista, siempre que (x) sea finita, acotada y con derivada 0 (x) acotada.
Por consiguiente, aunque no exista f 0 (x), si solo lo que necesitamos son los resultados de
la integracion del producto de f 0 (x) por funciones finitas acotadas con derivadas acotadas,
entonces dichos resultados pueden hallarse como si f 0 (x) existiera, calculando expresiones como
la formula (1.7).
Por tanto, ampliamos el concepto de funcion:
Antes: se exiga la existencia de valores dados de la funcion en cada punto (o casi en cada
punto).
Ahora: solo interesan los valores de las integrales del producto de dicha funcion por ciertas
funciones de prueba.
Si para una f (x) dada solo se conocen esas integrales, decimos que estamos en presencia de
una funcion generalizada.
Por lo tanto, escogida adecuadamente la funcion de prueba, toda funcion generalizada tendra
derivada que sera tambien una funcion generalizada.
A continuacion, formalizaremos axiomaticamente lo dicho:
1.2
Funciones de base y funciones generalizadas
Previamente, veamos algunas notaciones que usaremos:

Denotamos por Rn el espacio eucl deo de dimensi
on n.
Por x = (x1 , x2 , ..., xn ) denotamos a un punto de Rn ; los n
umeros xi son las coordenadas
de x, con (i = 1, 2, ..., n)
(x, y) = x1 y1 + x2 y2 + ... + xn yn es el producto escalar de dos puntos de Rn .
p
p
|x| = (x, x) = x21 + x22 + ... + x2n es la longitud (norma) del elemento x Rn
12
Jose Marn Antu

na
Por tanto, |x y| es la distancia eucl dea entre los puntos x y y.

El conjunto de puntos x Rn que cumplen que |x x0 | < R se llama esfera abierta de radio
R centrada en x0 : U (x0 , R) y UR = U (0, R).
La generalizacion del concepto clasico de funcion (o sea, las funciones generalizadas) permite
expresar matematicamente conceptos idealizados, tales como la densidad de un punto material
o de una carga puntual, la densidad de una capa simple o de una doble capa, la intensidad de
una fuente puntual instantanea, etc.
Por otra parte, en el concepto de funcion generalizada se refleja el hecho de que, en la realidad,
no es posible medir la densidad en un punto, sino que solo se puede medir la densidad media
en un entorno de ese punto y declararla como la densidad en el punto.
O sea, grosso modo, una funcion generalizada se define por sus valores medios en el entorno
de cada punto. Aclaremos lo dicho con el siguiente ejemplo:
Tratemos de definir la densidad de un punto material de masa 1. Supongamos que dicho
punto esta en el origen de coordenadas. Para definir la densidad, distribuyamos (diluyamos,
tambien se dice) la masa 1 de manera uniforme dentro de la esfera U U (0, ). Entonces,
como resultado obtenemos la densidad media
f (x) =
3
, |x| <
43
(1.8)
f (x) = 0, |x| >
(1.9)
Denotemos por (x) la densidad buscada. Si tomamos por (x) el lmite punto a punto de las
densidades medias f (x) para 0, tenemos
(x) = lim f (x) = , x = 0
(1.10)
(x) = lim f (x) = 0, x 6= 0
(1.11)
Es logico esperar que la integral de esta densidad por cualquier volumen V de la masa de la
sustancia contenida en el volumen, pues
Z
V
3
f (x)dx =
43
Z
sin d
Z
d
r2 dr = 1
(1.12)
Por lo tanto, es de esperar que

Z
(x)dx = 1, 0 V
V
(1.13)
Conceptos Iniciales
13
Z
(x)dx = 0, 0 no V
(1.14)
pero, tal y como conocemos el concepto de integral, a la derecha de esta integral siempre se
obtendra cero. Por lo tanto tenemos una contradiccion, por lo que el lmite de f (x) para
0 punto a punto no puede tomarse como definicion de (x).
Veamos el lmite debil de f (x) para 0. Es decir, para cualquier funcion (x) continua
calculemos el lmite de la sucesion numerica
Z
f (x)(x)dx
(1.15)
para 0.
Demostremos que
Z
lim
f (x)(x)dx = (0)
(1.16)
Efectivamente: Como (x) es continua, > 0 0 > 0 tal que |x| < 0
|(x) (0)| < .
Sea 0 . Tenemos:

Z
Z

f (x)(0)dx (0)
[(x)
(0)]
dx

|x|<
Z
Z
3
3
|(x) (0)|dx <

dx
3
4 |x|<
43 |x|<
(1.17)
LQQD
Conclusi
on: El lmite debil de f (x) para 0 es el funcional (0) que pone en correspondencia a cada funcion continua (x) el n
umero (0) igual a su valor en x = 0. Este funcional
es el que se toma como definicion de la densidad (x) (la conocida funcion delta de Dirac).
De esta manera, f (x) (x) para 0 en el sentido de que para cualquier funcion continua
(x) tiene lugar la relacion lmite:
Z
f (x)(x)dx (, ), 0
(1.18)
14
Jose Marn Antu

na
donde el smbolo (, ) es el n
umero (0) igual al valor del funcional en la funcion . Para
obtener ahora la masa completa solo hay que aplicar el funcional (densidad) a la funcion (x) =
1:
(, 1) = 1(0) = 1
(1.19)
Si en el punto x = 0 esta concentrada la masa m, entonces la densidad correspondiente es

m(x). Si la masa esta concentrada en x0 , la densidad es m(x x0 ), donde
(m(x x0 ), ) = m(x0 )
(1.20)
En general, si en distintos puntos xk , (k = 1, 2, ..., N ) estan concentradas las masas mk , la

densidad correspondiente sera
N
X
mk (x xk )
(1.21)
k=1
Por lo tanto, la densidad dada por puntos materiales no puede describirse con el concepto clasico
de funcion y para su descripcion hay que utilizar una naturaleza matematica mas general:
funcionales lineales continuos (funciones generalizadas).
1.3
Espacio D de las funciones de base
Del ejemplo de la delta: la (x) se define a traves de funciones continuas como un funcional
lineal continuo. Por tanto, las funciones continuas son las funciones de base para la funcion
delta.
Igual se define cualquier funcion generalizada: un funcional lineal continuo en el espacio de
funciones de base suficientemente buenas. Veamos que es el espacio D de las funciones de
base.
DEFINICION 1: Llamaremos conjunto de base D = D(Rn ) a todas las funciones finitas
diferenciables infinitas veces en Rn .
Otras notaciones que usaremos son:
= (1 , 2 , ..., n ) es un multindice, es decir, un vector entero con componentes k no
negativos.
D f (x) es la derivada de f (x) de orden || = 1 + 2 + ... + n :
D f (x) =
|| f (x1 , x2 , ..., xn )
1 x1 2 x2 ... n xn
(1.22)
Conceptos Iniciales
15
donde interpretamos: D0 f (x) = f (x), D = (D1 , D2 , ..., Dn ), Dj =
xj
Otras notaciones son: fx0 i , fx00i xj , etc.

x = x1 1 x2 2 ...xnn , ! = 1 !2 !...n !
Aclaraciones a la Definici
on 1:
1. Una funcion seccionalmente continua se llama finita si se hace cero fuera de cierta esfera.
2. Sea C(Rn ). Se llama soporte de a la clausura del conjunto de puntos donde
(x) 6= 0. Lo representaremos por supp . Es evidente que (x) es finita si y solo si
supp es acotado.
DEFINICION 2: La sucesion de funciones {k (x)}, con k D converge a (x) D si:

a) R > 0 tal que supp k UR
b) = (1 , 2 , ..., n ) se cumple la convergencia uniforme siguiente:
D k (x) D (x), para k
(1.23)
cuando x Rn . En este caso escribiremos:
k , k
(1.24)
en D.
DEFINICION 3: El conjunto lineal D con la convergencia dada de sucesiones, se llama
espacio D de las funciones de base.
OBSERVACION: El conjunto de funciones de base cuyos soportes esten contenidos en una
region dada G se representa por D(G). Se cumple que D(G) D(Rn ) D.
Ejemplo: Veamos la siguiente funcion: Funci
on Campana:
(x) = C e 2 |x|2 , |x|

= 0, |x| >
donde C se elige de forma tal que
O sea:
(x)dx = 1
(1.25)
16
Jose Marn Antu

na
(x)dx = C
2
2 |x|2
Z
dx = C
Z
n
= C
1
|x|2
2
1
1||2
dx =
d = 1.
(1.26)
U1
Por tanto:
1
C =
n
e
U1
1
1||2
(1.27)
d
EJERCICIO: El lector debe demostrar que
(x) =
1
1 (x/)
n
(1.28)
LEMA
Para cualquier region G y cualquier n
umero > 0 existe la funcion C (Rn ) tal que:
1) 0 (x) 1
2) (x) = 1, x G (G ampliado con un entorno de G).
3) (x) = 0, x no G3 (Fuera de G ampliado con un entorno 3 de G).
COROLARIOS:
1) Si G es acotada, entonces existe una funcion D tal que = 1, para x G .
2) Si G0 G, entonces existe una funcion D(G) tal que (x) = 1 para x G0 .
1.4
Espacio D de las funciones generalizadas
DEFINICION: Se llama funci

on generalizada a cualquier funcional lineal continuo en el
espacio D de las funciones de base.
NOTACION:
- Representamos por (f, ) al valor numerico del funcional (de la funcion generalizada) f en la
funcion de base .
- Escribiremos tambien, formalmente, la funcion generalizada f como f (x), entendiendo por x
el argumento de las funciones de base sobre las que act
ua el funcional f .
Conceptos Iniciales
17
Aclaremos la definicion:
1) La funcion generalizada f es un funcional en D, o sea, a cada D se pone en correspondencia el n
umero (f, ) en general complejo.
2) La funcion generalizada f es un funcional lineal en D, o sea, si D y D, para y
n
umeros complejos:
(f, + ) = (f, ) + (f, )
(1.29)
3) La funcion generalizada f es un funcional continuo en D, o sea, si k 0 para k en

D, entonces (f, k ) 0 para k .
Denotemos por D0 = D0 (Rn ) al conjunto de todas las funciones generalizadas. Este conjunto
es lineal si la combinacion lineal f + g de las funciones generalizadas f y g se define como
un funcional que opera de la siguiente manera:
(f + g, ) = (f, ) + (g, )
(1.30)
para D.
Si tomamos dos: D y D y y ciertos n
umeros tendremos:
(f + g, + ) = (f, + ) + (g, + ) =
= [(f, ) + (g, )] + [(f, ) + (g, )]
(f + g, ) + (f + g, )
(1.31)
Por lo tanto, el funcional f + g es continuo con tal que f y g lo sean.

Conclusi
on: Si f y g pertenecen a D0 , la combinacion lineal f + g tambien pertenece a D0 .
DEFINICION: La sucesion de funciones generalizadas {fk } con fk D0 se dice que converge
a la funcion generalizada f D0 , si para cualquier D se cumple que
(fk , ) (f, )
(1.32)
para k .
Es decir, la convergencia en D0 la definimos como convergencia debil y escribimos fk f ,
k pero entendiendolo como convergencia debil.
DEFINICION: El conjunto lineal D0 con la convergencia definida en el (debil) se llama
espacio D0 de las funciones generalizadas.
18
Jose Marn Antu

na
Tiene lugar un teorema que dice:

Teorema:
El espacio D0 de funciones generalizadas es completo.
Esto quiere decir que toda sucesion de elementos del espacio converge a un elemento del espacio.
En nuestro caso esto se entiende as:
Si fk D0 y (fk , ) converge para D, entonces el funcional definido por la igualdad
(f, ) = lim (fk , ), D
k
(1.33)
tambien pertenece a D0 (o sea, tambien es lineal y continuo en D).

Las funciones generalizadas no tienen, en general, valores en puntos aislados, pero se puede
decir que una funcion generalizada se hace cero en cierta region. Veamos eso.
DEFINICION 1: La funcion generalizada f es cero en G si
(f, ) = 0, D(G)
(1.34)
En este caso escribimos: f = 0, x G.

DEFINICION 2: Las funciones generalizadas f y g son iguales en G si f g = 0, x G
y escribimos: f = g, x G.
Por lo tanto, f y g se llaman iguales si para toda D se cumple
(f, ) = (g, )
(1.35)
Es evidente que si f = 0 en G, entonces f = 0 en el entorno de cada punto de G. El recproco

de esta afirmacion es cierto, o sea:
TEOREMA:
Si f = 0 en el entorno de cada punto de G, entonces f = 0 en todo G.
La demostracion no brinda elementos esenciales y la obviamos.
Sea la funcion generalizada f D0 .
DEFINICION 1: La union de todos los entornos en los que f = 0 se llama conjunto nulo
Gf de la funcion generalizada f . Como cada entorno es abierto, Gf es un conjunto abierto.
DEFINICION 2: Se llama soporte de la funci
on generalizada f al completamiento de
Gf a Rn ; es decir:
Conceptos Iniciales
19
supp f = Rn \Gf
(1.36)
Es obvio que supp f es un conjunto cerrado.

DEFINICION 3: Si supp f es un conjunto acotado, entonces f se llama finita.
OBSERVACIONES:
1. En cualquier region fuera del supp f , la T
funcion generalizada f es cero. Por lo tanto, para
que (f, ) 6= 0 tiene que ocurrir que supp supp f 6= .
2. supp f esta compuesto solo por aquellos puntos tales que en ning
un entorno de ellos f se
hace cero.
El ejemplo mas simple de funcion generalizada es el funcional generado por una funcion f (x)
localmente integrable en Rn :
Z
(f, ) =
f (x)(x)dx, D
(1.37)
PROPIEDADES:
1. Es lineal: (obvio, pues la integracion lo es):
(f, + ) = (f, ) + (f, )
(1.38)
2. Es continuo: (obvio a partir del lmite bajo el signo de integral): Si k 0, k en D,

entonces:
Z
f (x)k (x)dx 0, k
(f, k ) =
(1.39)
Uk
Conclusi
on:
Efectivamente, el funcional definido arriba por (1.37) define a una funcion generalizada en D0 .
DEFINICION: Las funciones generalizadas definidas por funciones localmente integrables en
Rn seg
un (1.37), se llaman funciones generalizadas regulares. El resto de las funciones
generalizadas se llaman funciones generalizadas singulares.
1.5
LEMA de du Bois-Reymond
Para que una funcion f (x) localmente integrable en G se haga cero en la region G en el sentido
de las funciones generalizadas es necesario y suficiente que f (x) = 0 en casi todos lados de G.
20
Jose Marn Antu

na
DEMOSTRACION:
NECESIDAD:
Por hipotesis
(f, ) = 0, D(G)
(1.40)
Sea a G arbitrario. Existe una esfera cerrada U (a, ) G tal que f = 0 en ella, seg
un la
definicion (1.40). Pero para cada vector k = (k1 , k2 , ..., kn ) la funcion
k (x) = ei
kx
(x a)
(1.41)
pertenece a D(G). O sea, k (x) es una funcion de base. Aqu, (x) es la funcion campana
(1.25).
Por lo tanto:
Z
(f, k )
f (x) (x a)ei
kx
dx = 0
(1.42)
Esta u
ltima expresion significa que todos los coeficientes de Fourier de f (x) (x a) (que es
kx
integrable en U (a, )) en la base ei son cero.
Por lo tanto, f (x) (x a) 0, lo que implica que f (x) 0 en casi todo punto de la esfera
Esto significa, a su vez, que f (x) 0 en casi todo punto de G, pues a es arbitrario.
SUFICIENCIA:
Es evidente, pues, como ahora por hipotesis f (x) = 0 en casi todo punto de G, por lo tanto
(f, ) = 0 para D(G).
Demostrado el lema.
As pues, toda funcion localmente integrable en Rn define por (1.37) a una funcion generalizada
regular y por el lema de du Bois-Reymond toda funcion generalizada regular se determina,
con exactitud de valores en un conjunto de medida nula, por una funcion u
nica localmente
n
integrable en R .
Conclusi
on: Existe una relacion biunvoca entre las funciones localmente integrables en Rn y
las funciones generalizadas regulares. Por lo tanto, hay una equivalencia entre la funcion f (x)
localmente integrable y la funcion generalizada (o sea, el funcional (f, )) generada por ella
seg
un la formula (1.37) vista arriba.
En este sentido, las funciones comunes, o sea, localmente integrables en Rn , son funciones
generalizadas regulares.
Conceptos Iniciales
21
Por u
ltimo, es claro que si las funciones fk (x) convergen uniformemente a f (x), donde las fk (x)
son funciones localmente integrables en Rn , entonces tambien convergen a f (x) en D0 (Rn ), pues
para cualquier D tenemos:
Z
(fk , ) =
Z
fk (x)(x)dx
f (x)(x)dx (f, ), k
(1.43)
DEFINICION: La funcion generalizada f pertenece a la clase C P (G) si en G ella coincide

con la funcion fG (x) C P (G), es decir, si para cualquier D(G) se cumple que
Z
(f, ) =
1.6
fG (x)(x)dx
(1.44)
Funciones Generalizadas Singulares
Se llaman funciones generalizadas singulares todas las que no son regulares y, por lo tanto, no
se pueden poner en correspondencia biunvoca con ninguna funcion localmente integrable. El
ejemplo mas simple es la funcion (x):
(, ) = (0), D
(1.45)
Es obvio que D0 y que (x) = 0, x 6= 0, lo que significa que supp = {0}.

TEOREMA: (x) es una funcion generalizada singular.
DEMOSTRACION
Por reduccion al absurdo: Supongamos que hay una f (x) localmente integrable tal que para
cualquier D:
Z
f (x)(x)dx = (0)
(1.46)
Como D, por tanto x1 D, donde x1 es la primera coordenada de x. Por lo tanto, sera:

Z
f (x)x1 (x)dx = (x1 f, ) = x1 (x)|x=0 = 0
(1.47)
Esto u
ltimo significa que la funcion x1 f (x), localmente integrable en Rn , es igual a cero en el
sentido de las funciones generalizadas y, por el Lema de du Bois-Reymond, sera x1 f (x) = 0 en
casi todos los puntos, de donde f (x) = 0 en casi todos los puntos. Esto contradice (1.46).
Por lo tanto, efectivamente, (x) no puede ser regular, lo que implica que es singular.
22
Jose Marn Antu

na
LQQD.
TEOREMA: (x) (x) para 0 en D0 .
DEMOSTRACION:
Hay que demostrar que
Z
lim
(x)(x)dx = (0), D
(1.48)
Veamos: Como es continua, se cumple que para > 0 existe un 0 > 0 tal que si |x| < 0 se
cumple que |(x) (0)| < .
Por lo tanto, como
Z
(x)dx = 1
(1.49)
se cumple que:

Z
Z
Z

(x)(x)dx (0) (x)(x)dx (x)(0)dx

Z
Z

(x) [(x) (0)] dx (x) |(x) (0)| dx <
Z
< (x)dx =
(1.50)
LQQD.
Por la forma grafica de (x), vamos a representar a (x) como una flecha perpendicular al
eje x hacia arriba en el punto x = 0 de una longitud dada arbitraria y a 2(x x0 ) como
una flecha tambien perpendicular al eje x, pero hacia abajo y de longitud igual al doble de la
anterior, colocada en el punto x0 .
Veamos una generalizacion de la delta: La capa simple sobre una superficie S:
Sea S una superficie seccionalmente suave y (x) una funcion continua sobre S. Introducimos
la funcion generalizada S que act
ua seg
un la ley:
Z
(x)(x)dS, D
(S , ) =
S
Se ve que S D0 y que S (x) = 0, x no S. Por lo tanto, supp S S.
(1.51)
Conceptos Iniciales
23
S se llama funci
on generalizada capa simple sobre la superficie S.
OBSERVACION: Las funciones localmente integrables y la delta describen distribuciones
(densidades) de masas, de cargas, etc.
Por ello, a las funciones generalizadas Schwarz las llamo tambien distribuciones.
Si, por ejemplo, la funcion generalizada f es la densidad de masas (o de cargas),
entonces la
R
expresion (f, 1) es la masa o la carga total. En particular, (, 1) = 1; (f, 1) = f (x)dx.
1.7
F
ormulas de Sojotsky
Sea el funcional P x1 que act

ua seg
un la formula:

1
P ,
x
Z
=VP
(x)
dx lim
0
x
Z
Z
+
(x)
dx, D(R1 )
x
(1.52)
TEOREMA: Este funcional es continuo en D.

DEMOSTRACION
Sean k 0, k en D. Esto equivale a decir que k (x) = 0, |x| > R y D k (x) tiende
uniformemente a cero para k .
Entonces,

Z

V P

Z

k (x)
P 1 , k = V P
dx

x
x

Z R
0
0

(0)
+
x
(x
)
k
k
V P
dx
x
R
Z R

k (0)
0
0
dx +
k (x )dx I1 + I2
x
R
(1.53)
Tenemos:

Z

I1 = V P

Z Z R
k (0)
dx
dx = k (0) lim
+
=0
0
x
x
R
(1.54)
Por lo tanto:

Z

P 1 , k

x
0k (x0 )dx
max |0k (x0 )|2R 0, k
(1.55)
24
Jose Marn Antu

na
Conclusi
on: P x1 D0 .
un vimos gracias al lema de du BoisP x1 es una funcion generalizada regular que coincide, seg
Reymond, con la funcion 1/x para x 6= 0. Su nombre es: Parte Finita o Valor Principal de
la integral de 1/x.
Analicemos la siguiente expresion para D (con = 0, |x| > R).
Z
lim
(x)
dx lim
0
x + i
x i
(x)dx
x 2 + 2
(1.56)
Se obtiene:
Z
VP
(x)
dx i(0) =
x
(x)
dx
x + i0
(1.57)
O sea:

1
,
x + i0
1
= (i, ) + P ,
x

(1.58)
Es decir:
1
1
= i(x) + P
x + i0
x
(1.59)
1
1
= i(x) + P
x i0
x
(1.60)
De forma analoga se obtiene:
Las formulas obtenidas (1.59) y (1.60) se conocen con el nombre de F

ormulas de Sojotsky.
1.8
Cambio de variables lineal
Si f (x) es localmente integrable en Rn y x = Ay +b con detA 6= 0 (lo que es una transformacion

de Rn en si mismo), entonces, D:
Z
(f (Ay + b), )
1
=
|detA|

f (x) A1 (x b) dx =
f (Ay + b)(y)dy =

1
f, A1 (x b)
|detA|
(1.61)
Conceptos Iniciales
25
Usaremos esta formula:
(f (Ay + b), ) =

1
f, A1 (x b) , D
|detA|
(1.62)
para definir la funcion generalizada f (Ay + b) para cualquier f (x) D0 . El funcional f (Ay + b)
pertenece a D0 , pues la operacion [A1 (x b)] es lineal y continua en D.
Casos particulares:
1. Rotaci
on:
A1 A0 (transpuesta) y b = 0, lo que implica que
(f (Ay), ) = f, (A1 x)
(1.63)
1
(f, (x/c))
|cn |
(1.64)
(f (y + b), ) = (f, (x b))
(1.65)
2. Semejanza:
A = cI, con c 6= 0 y b = 0, lo que implica que
(f (cy), ) =
3.
Si A = I entonces
La funcion generalizada f (x + b) se llama traslaci

on de la funcion generalizada f (x) en el
vector b.
Por ejemplo: (x x0 ) es la traslacion de (x) en el vector x0 y act
ua seg
un la formula:
((x x0 ), ) = (, (x + x0 )) = (x0 )
(1.66)
De esta manera podemos definir funciones generalizadas con simetra esferica, con simetra
central, homogeneas, periodicas, etc.
1.9
Producto de funciones generalizadas.
Sea f (x) integrable localmente en Rn . Sea a(x) C (Rn ). Entonces, para D es valido:
26
Jose Marn Antu

na
Z
(af, ) =
a(x)f (x)(x)dx (f, a)
(1.67)
Usaremos esta igualdad para definir el producto af de la funcion generalizada f D0 y la

funcion infinitas veces derivable a:
(af, ) = (f, a), D
(1.68)
Comprobar solos que af D0 , lo que equivale a comprobar que es lineal y continua de D en

D.
OBSERVACION: Si f D0 , entonces f = f con C (Rn ) tal que = 1 en el entorno
del supp f .
Efectivamente: Para cualquier D los soportes de f y de (1 ) no tienen puntos comunes,
lo que equivale a decir que
supp f
supp (1 ) =
(1.69)
Por lo tanto:
(f f, ) ((1 )f, ) = (f, (1 )) = 0
(1.70)
Ejemplos de productos:
1. a(x)(x) = a(0)(x)
pues, D: (a, ) = (, a) = a(0)(0) (a(0), ).
2. xP x1 = 1
pues, D(R1 ):

1
xP ,
x

=
1
P , x
x
Z
=VP
x(x)
dx =
x
Z
(x)dx = (1, )
(1.71)
LQQD.
Es as, como hay que operar siempre.
OBSERVACION IMPORTANTE: No se puede definir el producto de dos funciones generalizadas de forma que el resultado sea una funcion generalizada. Solo se podra hacer para f y
g generalizadas, si f es irregular en el entorno de un punto y g es regular en dicho entorno.
Por eso, es natural considerar que
Conceptos Iniciales
27
(x a)(x b) = 0, a 6= b
(1.72)
o que a(x)(x) = a(0)(x) si a(x) es continua en el entorno de x = 0.

Para abundar un poco en lo dicho: Para las funciones localmente integrables su producto no
tiene que ser localmente integrable. Por ejemplo,
1
p
|x|
Aqu, 1
|x|
!2
1
1
1
, x R1
p p
|x|
|x|
|x|
es localmente integrable, en tanto
1
|x|
(1.73)
no lo es.
Lo mismo ocurre para las funciones generalizadas. Incluso Schwarz demostro que no se puede
definir un producto de funciones generalizadas que sea asociativo y conmutativo; (o sea, no
existe tal producto).
Efectivamente, si ese producto existiera, entonces, de los ejemplos 1. y 2. tendramos la
siguiente secuencia contradictoria:

1
1
1
1
0 = 0P = (x(x))P = ((x)x)P = (x) xP
= (x)
x
x
x
x
(1.74)
lo que, a todas luces, es absurdo.

Ejemplos:
1. Demostrar que
x2
1
f (x) = e 4 (x), x 0
2
(1.75)
DEMOSTRACION (Hay que proceder siempre as!)

Sea D:
Z
x2
1
lim(f , ) = lim
(x)e 4 dx =
0
0 2
Z
Z
1
1
2
y 2
= lim
(2 y)e dy = (0) ey dy = (0) = (, )
0
LQQD
2. Demostrar que:
(1.76)
28
Jose Marn Antu

na
f (x) =
(x), 0
2
+ x2
(1.77)
DEMOSTRACION
Para D:
lim(f , ) = lim
0
0
(x)dx
=
lim
2 + x2 0 2
(x)dx
=
2
R
R 1 + (x/)
Z
Z R/
dy
1
(y)dy
1
= lim
= (0)
=
2
2
0 R/ 1 + y
1 + y

1
1
=
(0)
+
= (0) = (, )
= (0) arctan y|
2
2
(1.78)
LQQD.
3. Demostrar que:
eixt
2(x), t
x i0
(1.79)
DEMOSTRACION:
Teniendo en cuenta la formula de Sojotsky, por el producto tenemos que
eixt
,
x i0

=
es:

1 ixt
= i(x) + P , e =
x

1 ixt
ixt
= i(x), e + P , e
x
1
, eixt
x i0
eixt
xi0
(1.80)
Ahora bien:

i(x), eixt = i(0) i(0) = (i, ), t
y:

y para t > 0
1
P , eixt
x
Z
=VP
eixt (x)
dx = lim
0
x
Z
Z
+
eixt (x)
dx =
x
(1.81)
Conceptos Iniciales
29
Z
= lim

eizt (z)dz
= iei0t (0) = i(0) =
z
= (i, ) (i, ), t
(1.82)
As, queda demostrado, efectivamente, que:

eixt
,
x i0

(2i, ), t
(1.83)
LQQD.
4. Demostrar que
ak (x k)
(1.84)
k=
converge para cualquier ak .

DEMOSTRACION:
Tenemos para D:
!
ak (x k),
k=
ak ((x k), ) =
ak (k)
(1.85)
La u
ltima suma a la derecha converge, pues es finita.
LQQD.
5. Demostrar que SR 0, R .
DEMOSTRACION:
La capa simple SR es la funcion generalizada que act
ua as:
Z
(SR , ) =
(x)dx
(1.86)
SR
Por lo tanto:
Z
lim (SR , ) = lim
(x)dx = 0
SR
(1.87)
30
Jose Marn Antu

na
pues D y por lo tanto es finita.

6. Demostrar que:
cos kx
0, k
x
(1.88)
DEMOSTRACION:
Para D:
cos kx
,
P
x
eikt
Re P
,
x

1
= Re P , eikt
x

= Re(i, ) = 0
(1.89)
LQQD.
La u
ltima igualdad fue obtenida hace un rato atras.
Nota: Por lo tanto:
sin kx
=
x
(1.90)
Para k > 0.
7. Sea D(Rn ) tal que 0 y que
(x)dx = 1.
Demostrar que:
1 x
(x), 0
n
(1.91)
en D0 .
DEMOSTRACION:
Usemos la regla del cambio de variables:
(f (cy), ) =
Entonces tendremos, para
1
(x/):
n
x
1
f,
cn
c
(1.92)
Conceptos Iniciales
31
1 x
1
, = n n (, (x)) =
n
Z
=
(x)dx = (x ) (0) (, ), 0
(1.93)
(af )(x + h) = a(x + h)f (x + h), a C (Rn ), f D0 (Rn ), h Rn
(1.94)
(x)(x)dx = (x )
LQQD
8. Demostrar la igualdad:
DEMOSTRACION:
Por la regla del producto: (af, ) = (f, a).
Por la regla del cambio de variables: (f (y + b), ) = (f, (x b)).
Por lo tanto, tenemos:
Z
((af )(x + h), ) = (af, (x h)) = (f, a(x h)) = f (x)a(x)(x h)dx =
Z
= f (y + h)a(y + h)(y)dy (a(y + h)f (y + h), )
donde hemos hecho el cambio de variables: x h = y, dx = dy.
LQQD.
1.10
Ejercicios del Captulo
1. Demostrar que:
x
1
f (x) =
sin
(x), 0
x
2. Demostrar que:
g (x) =

2 x
sin
(x), 0
x2
3. Demostrar:
eixt
=0
t x i0
lim
(1.95)
32
Jose Marn Antu

na
4. . Demostrar que:
eixt
=0
t x + i0
lim
5. Demostrar que:
eixt
= 2i(x)
t x + i0
lim
6. Demostrar que:
lim tm eixt = 0
Captulo 2
Derivaci
on e integraci
on de funciones
generalizadas
2.1
Derivada generalizada
Comencemos estudiando una serie de propiedades comodas:

1. Si definimos apropiadamente la generalizacion de la derivada, entonces las funciones generalizadas resultan infinitas veces derivables.
2. Las series de funciones generalizadas convergentes pueden derivarse termino a termino, y
otras propiedades.
Veamos el concepto de derivada de una funcion generalizada: Sea f C p (Rn ). Entonces, para
tal que || p y D, es valida la integracion por partes:
(D f, )
||
D f (x)(x)dx = (1)
f (x)D (x)dx (1)|| (f, D )
(2.1)
Recordemos las notaciones usadas:
D =
||
1 x1 2 x2 ... n xn
donde || = 1 + 2 + ... + n .
Partiremos de esta igualdad para definir la derivada generalizada de una funcion generalizada:
Definici
on:
Se llama derivada generalizada D f de la funcion generalizada f D0 a la funcion generalizada que act
ua seg
un la formula:
33
34
Jose Marn Antu

na
(D f, ) = (1)|| (f, D ), D
(2.2)
TEOREMA:
Si f D0 entonces D f D0 .
DEMOSTRACION
Lo que hay que demostrar es que D f definida por la formula es lineal y continuo.
Linealidad:
(D f, + ) = (1)|| (f, D ( + )) = (1)|| (f, D + D ) =

= (1)|| ((f, D ) + (f, D )) = (D f, ) + (D f, )
(2.3)
LQQD.
Continuidad:
Como vimos anteriormente, si k 0, k en D, entonces, D k 0, k . Por lo
tanto, tenemos:
(D f, k ) = (1)|| (f, D k ) 0, k
(2.4)
Demostrada la continuidad y, por lo tanto, demostrado el teorema.

Caso particular importante:
(D , ) = (1)|| D (0), D
OBSERVACION: Siempre usaremos la siguiente notacion:
Para la derivada clasica (donde exista):
{D f (x)}
Por lo tanto, si f C p (G), entonces D f = {D f (x)} , x G, || p.
Ejemplo importante:
Sea la funcion campana (x) estudiada en el captulo anterior.
Entonces: D (x) D (x), 0 en D0 .
(2.5)
Derivacion e integracion de funciones generalizadas
35
Esto es obvio: Como ( (x), ) (, ), 0, resulta:

(D (x), ) = (1)|| ( (x), D ) (1)|| (, D ) (D , )
(2.6)
cuando 0.
LQQD.
En una dimension, la primera derivada tiene el sentido de ser el funcional que act
ua seg
un la
regla:
( 0 , ) = (, 0 ) = 0 (0)
(2.7)
Para terminar, veamos algunas propiedades de la derivada definida aqu:

Propiedades:
1. Si f D0 , entonces D f D0 (fue el teorema demostrado).
2. Toda funcion generalizada es derivable infinitas veces (demostrar solos).
3. La derivacion es independiente del orden en que se realice, o sea:
D+ f = D (D f ) D (D f )
(demostrar solos)
4. Para f D0 y a C (Rn ), se cumple la formula de Leibnitz:
(af )
a
f
=
f +a
x1
x1
x1
(2.8)
DEMOSTRACION:
(As es como hay que hacer las cosas). Tenemos D, como para las funciones clasicas se
cumple la formula de Leibnitz:
(af )
,
x1

(a)
a
= af,
= f, a
= f,
=
x1
x1
x1
x1

(a)
a
f
a
= f,
+ f,
=
, a + f
, =
x1
x1
x1
x1

f
a
a
f
, + f
, = f
+a
,
= a
x1
x1
x1
x1
(2.9)
36
Jose Marn Antu

na
LQQD.
5. Si f = 0, x G, entonces D f = 0, x G, de manera que supp D f supp f
DEMOSTRACION:
(D f, ) = (1)|| (f, D ) = 0, D(G)
(2.10)
Esto implica que D f = 0, x D.

LQQD.
6. Si la serie
uk (x) = S(x)
(2.11)
k=1
con uk (x) localmente integrables, converge uniformemente en cada compacto, entonces puede
derivarse termino a termino todas las veces que se quiera y las series resultantes convergen en
D0 .
DEMOSTRACION:
Por hipotesis;
Sp (x)
p
X
uk (x)
k=1
converge uniformemente a S(x) en |x| R,
p .
Por lo tanto, Sp S en D0 (por algo que vimos al estudiar el lema de du Bois-Reymond). Por
tanto, por la propiedad 1:
D Sp =
p
X
D uk D S, p
(2.12)
k=1
en D0 .
LQQD.
Un ejemplo u
til:
Sean los n
umeros {ak }, tales que |ak | A|k|m + B, con A, B y m dados. Entonces, la serie
trigonometrica
ak eikt
37
(2.13)
k=
converge en D0 (R1 ).
Esto se desprende de la propiedad 6. Veamos: En virtud de la cota para las ak , la serie:
X
a0 x m + 2
ak
+
eikx
(m + 2)!
(ik)m+2
(k6=0
converge uniformemente en R1 . Por lo tanto, por la propiedad 6, su derivada de orden m + 2

converge en D0 (R1 ) y coincide con la serie (2.13).
2.2
Primitiva de una funci

on generalizada
Aqu, solo consideraremos el caso n = 1, o sea, trabajaremos en R1 .

Sabemos que cualquier funcion continua f (x) tiene primitiva f(1) (x) u
nica con exactitud de una
constante aditiva:
Z
f(1) (x) =
f ()d + C,
0
f(1)
(x) = f (x).
(2.14)
(2.15)
La igualdad (2.15) es la que tomaremos como base para definir la primitiva de una funcion
generalizada arbitraria:
DEFINICION:
La funcion generalizada f(1) de D0 (R1 ) se llama primitiva de la funcion generalizada f de
D0 (R1 ), si
0
0
f(1)
= f (f(1)
, ) = (f, ), D
(2.16)
(f(1) , 0 ) = (f, ), D
(2.17)
O sea:
38
Jose Marn Antu

na
Esta definicion (2.17) quiere decir que el funcional f(1) no esta dado sobre las funciones de base,
sino solo sobre sus primeras derivadas. Por lo tanto, lo primero que haremos es extender este
funcional a todo D.
Supongamos primero que la primitiva de f , es decir, f(1) , existe. Vamos a construrla:
Sea D(R1 ) arbitraria. Escribamosla en la forma
Z
(x) = (x) + (x)
()d
(2.18)
donde (x) es la funcion campana y

Z

Z
0
0
(x ) (x ) ()d dx0
(x) =
(2.19)
Esta funcion D. Efectivamente, supongamos que (x) = 0, |x| > R. Entonces, de (2.19)
se ve que x < max(R, ), (x) = 0.
Ademas, para x > max(R, ), tenemos de (6):
Z
(x )dx
Z
()d = 0
(2.20)
(x )dx
(x) =
Pues
(x0 )dx0 = 1.
Por lo tanto: (x) = 0, |x| > max(R, ).

De esta manera queda comprobado que, efectivamente, D.
Apliquemos ahora el funcional f(1) (que por hipotesis existe) a (2.18):
f(1) , = f(1) , + f(1) ,
Z
()d
(2.21)

Y, como f(1) , = C (o sea, es cierta constante), teniendo en cuenta la definicion (2.17):
f(1) , = (f, ) + C
Z
()d, D
(2.22)
Conclusi
on: Si la primitiva f(1) de f existe, entonces se expresa por la igualdad (2.22), donde
se define por (2.19).
Demostremos el recproco: Para cualquier constante C, el funcional f(1) , definido por las
igualdades (2.22) y (2.19) es la primitiva de f .
39
Para ello, demostremos primero que f(1) D0 .

En primer lugar, de (2.22) es evidente que el funcional f(1) es lineal. Demostremos ahora su
continuidad en D:
Supongamos que k 0, k , lo que equivale a decir que k (x) = 0, |x| > R y que
()
k (x) 0, k .
Entonces, para k , seg
un (2.19):
Z
k (x) =

Z
0
0
k (x ) (x ) k ()d dx0 = 0, |x| > max(R, )
(2.23)
y
()
k (x) 0, k
(2.24)
k 0, k
(2.25)
Esto implica que
en D.
Por lo tanto, en virtud de la continuidad en D, tenemos:
Z
f(1) , k = (f, k ) + C
k ()d 0, k
(2.26)
Demostrada la continuidad en D.
Queda por demostrar que f(1) es primitiva de f . Para ello, en (2.19) sustituyamos por 0 :
Z
(x) =

Z
Z
0 0
0
0
0
(x ) (x ) ()d dx
0 (x0 )dx0 = (x)
(2.27)
pues
Z
0 ()d = (x)|
= 0
As, de (2.22) nos queda:
f(1) , = (f, ) + C
Z
()d
(2.28)
40
Jose Marn Antu

na
donde C = (f(1) , ).
O sea:
Z
f(1) , C
()d = (f, )
f(1) , f(1) ,
Z
()d = (f, )
(2.30)
Z
f(1) ,
(2.29)
()d
= (f, )
(2.31)
y, como por (2.18),

Z
()d
y como = , de donde 0 = 0 , queda:

f(1) , 0 = (f, )
(2.32)
Esto u
ltimo significa, de acuerdo con la definicion (2.17) que, efectivamente, f(1) es la primitiva
de .
De esta forma hemos demostrado el siguiente teorema:
TEOREMA: Cualquier funcion generalizada f tiene una primitiva u
nica definida con exactitud de una constante aditiva y cualquier primitiva f(1) se expresa por la formula

f(1) , = (f, ) + (C, ), D
(2.33)
donde se define por (2.19) y C es una constante arbitraria.

Como consecuencia de este teorema podemos afirmar que la solucion de la ecuacion diferencial
u0 = f
(2.34)
con f D0 (R1 ), existe en D0 (R1 ) y su solucion general tiene la forma:
u = f(1) + C
(2.35)
41
donde f(1) es una primitiva de f y C una constante arbitraria. En particular, si f es continua,

entonces cualquier solucion en D0 de la ecuacion diferencial (2.34) es clasica. Por ejemplo, la
solucion general de la ecuacion
u0 = 0
en D0 es una constante arbitraria.
Analogamente: Llamamos primitiva f(n) de orden n de la funcion f a aquella funcion tal
que
(n)
f(n) = f
Si aplicamos el teorema a la siguiente cadena recurrente de primitivas:
0
0
0
f(1)
= f , f(2)
= f(1) , ... , f(n)
= f(n1) ,
se concluye que f(n) existe y es u

nica con exactitud de un polinomio arbitrario de grado n 1.
2.3
Ejemplos, n = 1
a) Calculemos la densidad de cargas de un dipolo con momento dipolar +1 en el punto x = 0

de la recta.
Aproximadamente, a este dipolo le corresponde la densidad de cargas
1
1
(x ) (x)
(2.36)
con > 0.
Tomemos el lmite en D0 para 0:

lim

1
1
[() (0)]
(x ) (x), = lim
=
0
= 0 (0) = (, 0 ) = ( 0 , )
Conclusi
on: La densidad de cargas buscada es igual a 0 (x).
Notese que la carga total del dipolo es:
( 0 , x) = (, 10 ) = (, 0) = 0
(2.37)
42
Jose Marn Antu

na
como era de esperar; y su momento dipolar es:

( 0 , x) = (, x0 ) = (, 1) = 1
b) (Este es un ejemplo importante): Sea la funcion f (x) tal que f C 1 (x x0 ) y
f C 1 (x x0 ) y tiene un salto
[f ]x0 = f (x0 + 0) f (x0 0)
en x0 . Demostrar que la derivada generalizada es:
f 0 = {f 0 (x)} + [f ]x0 (x x0 )
(2.38)
Demostraci
on:
Por definicion, la derivada generalizada f 0 es tal que, aplicando integracion por partes:
f (x)0 (x)dx =
(f , ) = (f, ) =

Z x0
Z
0
0
f (x) (x)dx =
f (x) (x)dx
= lim
0
x0 +

Z x0
x0
0
= lim f (x)(x)| +
f (x)(x)dx +
0

Z
0
+ lim f (x)(x)|x0 +
f (x)(x)dx =
0
x0
= lim [f (x0 )(x0 ) + f (x0 + )(x0 + )] +

0

Z x0
Z
0
0
+ lim
f (x)(x)dx +
f (x)(x)dx =
0
x0 +
Z
= [f (x0 + 0) f (x0 0)] (x0 ) + {f 0 (x)}(x)dx =
= ([f ]x0 (x x0 ) + {f 0 (x)}, )
LQQD.
Por ejemplo, en el caso particular de la funcion de Heaviside:
(x) = 1, x > 0
(x) = 0, x < 0
(2.39)
43
la formula (2.39) da que la derivada generalizada de esta funcion es:

0 (x) = (x)
(2.40)
En Fsica llamamos a (x) funci

on paso unitario y a (x), impulso unitario. Por lo tanto,
el impulso unitario es la derivada del paso unitario.
c) La generalizacion de la formula (2.39) es:
Si f (x) tiene discontinuidades aisladas de primer tipo en los puntos {xk } y f C 1 (R1 \xk ),
entonces:
f 0 = {f 0 (x)} +
[f ]xk (x xk )
(2.41)
En particular, sea
f0 (x) =
1
x
, x [0, 2)
2 2
(2.42)
la funcion periodica con perodo 2 que se representa graficamente a traves de la recta que
une los puntos (0, 1/2) y (2, 1/2) extendida periodicamente a todos los intervalos (2, 4),
(4, 6), etc. hacia la derecha en la parte positiva del eje x y (2, 0), (4, 2), etc. hacia
la izquierda a la parte negativa de dicho eje. Entonces, de acuerdo con (2.41):
f00
X
1
(x 2k)
+
=
2 k=
(2.43)
Por lo tanto, en general, la derivada generalizada y la derivada clasica no coinciden.

d) Demostrar la formula:
X
1 X ikx
e =
(x 2h)
2 k=
k=
(2.44)
DEMOSTRACION:
Analicemos la funcion periodica con periodo 2 (integral de la funcion del ejemplo anterior):
Z
0
X
x x2
f0 (x )dx =
= a0 +
ak eikx , (k 6= 0)
2 4
k=
0
(2.45)
44
Jose Marn Antu

na
donde hemos hecho su desarrollo en serie de Fourier convergente uniformemente. Los coeficientes de este desarrollo son:
Los coeficientes son:
1
a0 =
2
1
ak =
2
x x2
2 4
x x2
2 4
ikx

2
1 x2
x3
dx =
=
2 4
12 0
6

Z
Z 2
1 1 2 ikx
2 ikx
x e dx
dx =
xe dx
2 2 0
0
(2.46)
(2.47)
Los calculos de las integrales dan, finalmente:
ak =
1 1
2 k 2
(2.48)
Por lo tanto, el desarrollo es:

Z
1
x x2
=
f0 (x )dx =
2 4
6 2
0
ei kx
k2
k=,k6=0
(2.49)
En virtud de que la serie convergente uniformemente puede derivarse termino a termino cuanto
se quiera, tenemos que:
La primera derivada es:
1
f0 =
2
iei kx
k
k=,k6=0
(2.50)
La segunda derivada es, teniendo en cuenta el ejemplo anterior:
f00
1
=
2
ikx
k=,k6=0
X
1
=
+
(x 2)
2 k=
(2.51)
As, tenemos:
1
1
+
2 2
Lo que, finalmente, significa:
X
k=,k6=0
ikx
X
k=
(x 2k)
(2.52)
X
1 X ikx
e =
(x 2k)
2 k=
k=
45
(2.53)
LQQD.
Nota: La parte izquierda de esta igualdad es la serie de Fourier de la funcion generalizada
periodica con periodo 2:
(x 2k)
(2.54)
k=
cuyo grafico simbolico sera un conjunto infinito de flechas perpendiculares al eje x dirigidas
hacia arriba y todas de la misma longitud, colocadas en los puntos x = 0, x = 2k, con
k = 1, 2, 3, .....
e) Demostrar que la solucion general de la ecuacion
xm u = 0
(2.55)
en D0 (R1 ) viene dada por la formula:
u=
m1
X
ck (k) (x)
(2.56)
k=0
donde ck son constantes arbitrarias.

DEMOSTRACION:
Para toda D y k = 0, 1, 2, ..., m 1, tenemos:
(xm (k) , ) = ( (k) , xm ) = (1)k (, (xm )(k) ) = (1)k (xm )(k) |x=0 = 0
(2.57)
pues m > k.
Por consiguiente,
xm (k) (x) = 0, k = 0, 1, 2, ..., m 1
y, por lo tanto, la funcion generalizada (2.56) satisface la ecuacion (2.55).
Demostremos ahora que (2.56) es la solucion general de (2.55) en D0 :
(2.58)
46
Jose Marn Antu

na
Sea (x) una funcion de base igual a 1 en el entorno de x = 0. (Un lema que vimos demuestra
que existe esta funcion). Expresemos cualquier D as:
(x) = (x)
m1
X
k=0
(k) (0) k
x + xm (x)
k!
(2.59)
donde
#
"
m1
X (k) (0)
1
(x) = m (x) (x)
xk
x
k!
k=0
(2.60)
Se ve que D, pues es finita y derivable infinitas veces. Su derivabilidad se puede ver en

x = 0, ya que se ve que en el entorno de x = 0, donde (x) = 1, tiene lugar la serie de Taylor:
(x) = (x)x
m1
X
k=0
X
k=0
(k) (0) km
x
k!
m1
X
k=0
(k) (0) km
x
k!
(k) (0) km X (k) (0) km

x
=
x
k!
k!
k=m
(2.61)
Por lo tanto, si u D0 es la solucion de la ecuacion (2.55), entonces por (2.61):
(u, ) =
m1
X
k=0
u, (x)
(k)
(0)
(u, (x)xk ) + (xm u, )
k!
m1
X
k=0
m1
X
(k) (0) k
x
k!
(1)k
k=0
!
+ (u, xm ) =
(1)k
(u, (x)xk )(k) (0)
k!
(2.62)
De aqu, introduciendo la notacion:
ck =
(1)k
(u, (x)xk )
k!
(2.63)
queda, finalmente:
(u, ) =
m1
X
k=0
(k)
(1) ck (0)
m1
X
(1)k ck ( (k) , )
k=0
lo que demuestra que, efectivamente, (2.56) es la solucion general en D0 de (2.55).
(2.64)
47
LQQD.
f) Comprobar que la funcion
E(t) = (t)Z(t)
(2.65)
donde Z(t) es la solucion del siguiente problema de Cauchy:
LZ Z (m) + a1 (t)Z (m1) + ... + am (t)Z = 0, t > 0

Z(0) = 0, Z 0 (0) = 0, ..., Z (m1) (0) = 1
(2.66)
satisface la ecuacion
LE = (t)
(2.67)
DEMOSTRACION:
Apliquemos a E(t) la formula (2.38) de la derivada generalizada. Tenemos:
E 0 (t) = (t)Z 0 (t) + 0
(2.68)
E 00 (t) = (t)Z 00 (t)
(2.69)
E (m1) (t) = (t)Z (m2) (t) + 0
(2.70)
pues el salto de Z(0) es cero.
etc.
pues el salto de Z (m1) (0) es cero. Pero:

E (m) (t) = (t)Z (m) (t) + 1 (t)
(2.71)
colocando en el operador L estos calculos, queda:

LE = (t)LZ + (t) LE = (t)
pues LZ = 0 por el problema de Cauchy.
(2.72)
48
Jose Marn Antu

na
LQQD.
Mas adelante veremos que E(t) es, aqu, la soluci
on fundamental del operador L.
Veamos otros ejemplos, para el caso n 2.
2.4
Ejemplos, n 2.
a) La generalizacion de 0 (x) es una doble capa sobre una superficie. Sea S una superficie
seccionalmente lisa de dos caras, n la normal a S y (x) una funcion continua dada sobre S.
Introduzcamos la funcion generalizada
(S )
n
(2.73)
que act
ua seg
un la regla:

(S ) ,
n
Z
=
(x)
S
(x)
dS, D
n
(2.74)
Aqu se ve que
(S ) D0
n
(2.75)
y que

(S ) S
supp
n
(2.76)
La funcion generalizada (2.73) se llama doble capa sobre la superficie S con densidad
(x), orientada seg
un la normal n .
Esta funcion generalizada describe la densidad de cargas correspondiente a una distribucion
de dipolos sobre la superficie S con densidad superficial de momento (x), con dichos dipolos
orientados a lo largo de la dirccion dada de la normal n en S. Comparar esto con el ejemplo
a) de la seccion anterior.
T C 1 (G1 ),
b) Sea la region G con frontera seccionalments lisa S y sea la funcion f C 1 (G)
Entonces, tiene lugar la formula de la derivada
(o sea, continua sobre S), donde G1 = Rn \G.
generalizada:
f
=
xi
f
xi

+ [f ]S cos(nxi )S , i = 1, 2, ..., n
(2.77)
49
donde n = nx es la normal exterior a S en el punto x S y [f ]S es el salto de la funcion f al

pasar de afuera a adentro de G a traves de S, o sea:
lim
x0 x,(con x0 G1 )
f (x0 )
lim
x0 x,(con x0 G)
f (x0 ) = [f ]S (x), x S
(2.78)
Obtenci
on de (2.77):
Previamente, obtengamos
la formula de integracion por partes (formula de Green) en G, S.
T
Conocemos la formula de Gauss:
Sea a C 1 (G) C(G).
Z
Z
adx =
Si tomamos las funciones u, v C 1 (G)

tenemos:
a ndS
(2.79)
y, por ejemplo, hacemos a = (0, uv, 0), entonces

C(G)
a = (uv)x2
(2.80)
a n = uvn2 = uv cos(nx2 )
(2.81)
As,
Z
Z
(uv)x2 dx =
uv cos(nx2 )dS
(2.82)
Pero (uv)x2 = vux2 + uvx2 . Colocando arriba:

Z
Z
uv cos(nx2 )dS
vux2 dx =
G
uvx2 dx
(2.83)
que es la f
ormula de integraci
on por partes en G Rn .
Como igual se obtiene con a = (uv, 0, 0) o con a = (0, 0, uv), solo que la derivada sera respecto
a x1 o a x3 , por lo tanto, la formula general de integracion por partes es:
Z
Z
uv cos(nxi )dS
vuxi dx =
G
uvxi dx
(2.84)
Pues bien, para obtener (2.77), analicemos el funcional, teniendo en cuenta que la integral es
por todo el espacio:
50
Jose Marn Antu

na

Z
= f,
= f (x)
dx =
xi
xi
Z
Z
= f (x)
dx
f (x)
dx =
xi
xi
G
G1

Z
Z
f
=
(x)dx f (x + 0)(x) cos(nxi )dS +
xi
G
S

Z
Z
f
+
(x)dx f (x 0)(x) cos(nxi )dS
xi
G1
S
f
,
xi
(2.85)
Observese que el signo + delante de la integral en el el u

ltimo sumando de esta formula sale
as, porque la normal inicialmente es para dentro al integrar por G1 y, al pasar hacia afuera,
cambia el signo.
Por lo tanto, queda:

f
,
xi
Z
=
f
xi
Z
[f (x 0) f (x + 0)] cos(nxi )(x)dS
(x)dx +
(2.86)
Aqu, [f (x 0) f (x + 0)] = [f ]S y, por la definicion (1.51) que vimos anteriormente de la capa

simple, finalmente queda:

f
,
xi

=
f
xi

+ [f ]S cos(nxi )S , , D
(2.87)
As queda demostrada la formula (2.77) de la derivada generalizada en Rn y que es una generalizacion de la derivada generalizada obtenida en R1 en el inciso b) del epgrafe anterior.
T
c) Sea igual G con frontera seccionalmente lisa S y sea f C 2 (G) C 2 (G1 . Entonces:
2f
=
xi xj
2f
xi xj
+
([f ]S cos(nxi )S ) +
xj

f
xi

cos(nxj )S
(2.88)
la expresion (2.88) se obtiene as:

2f
=
xi xj
xj
f
xi

+
([f ]S cos(nxi )S )
xj
(2.89)
pero
xj
f
xi

=
2f
xi xj

+
f
xi

cos(nxj )S
S
(2.90)
51
Colocando esto arriba, se obtiene (2.88).

Observaci
on importante:
Hagamos en (2.88) i = j. Obtenemos:
2f
=
x2i
2f
x2i
+
xi

f
xi

cos(nxi )S
(2.91)
Sumemos por i:

n
n
X
X
f
f = { f } +
cos(nxi )S
x
x
i
i
S
i=1
i=1
2
(2.92)
Pero, se puede demostrar que:

n
X
([f ]S cos(nxi )S ) =
([f ]S S )
x
n
i
i=1
(2.93)
y que:

n
X
f
f
cos(nxi )S =
n
S

S
(2.94)

f
f = { f } +
S +
([f ]S S )
n
n
(2.95)
i=1
xi
Entonces, queda:
Antes de analizar (2.95), demostremos (2.93) y (2.94):

Demostremos (2.93): Para todo D, tenemos:
!

n
n
X
X
([f ]S cos(nxi )S ), =
[f ]S cos(nxi )S ,
=
x
x
i
i
i=1
i=1
Por definicion de S :
n Z
X
i=1
[f ]S
dS =
xi
S
n
X
[f ]S
cos(nxi )dS
x
i
S
i=1
(2.96)
52
Jose Marn Antu

na
pero:
n
X
cos(nxi ) =
xi
n
i=1
(2.97)
por lo que, colocando en (2.96), queda:

!

Z
n
X
([f ]S cos(nxi )S ), = [f ]S dS =
([f ]S S ),
x
n
n
i
S
i=1
(2.98)
LQQD.
Para demostrar (2.94) vemos de, forma similar, por la definicion de S :

n
X
f
i=1

n Z
X
f
cos(nxi )S , =
cos(nxi )(x)dS =
xi S
xi S
i=1 S
!

Z X
n
f
f
=
cos(nxi ) (x)dS =
S ,
xi S
n S
S
i=1
(2.99)
pues

n
X
f
i=1
xi
f
cos(nxi ) =
n
S

(2.100)
S
Supongamos, ahora, que f = 0, x G1 . Entonces, tendremos que

[f ]S = (fext fint )|S = fint |S = f |S
(2.101)
Igual

f
n

=
S
f
|S
n
(2.102)
Por lo tanto, se obtiene en este caso:
2 f = {2 f }
S
(f S )
n
n
Que cosa es esta formula? Veamos. Tomemos una funcion de base .
(2.103)
53
Apliquemosle (2.103). Tenemos:
( f, ) = ({ f }, )

f
S ,
(f S ),
n
n
(2.104)
En la parte izquierda, pasamos el operador nabla a ser aplicado a , lo que implica multiplicar el
parentesis por (1)2 y, en el u
ltimo termino a la derecha, pasamos la derivada parcial respecto
a la normal a ser aplicada a tambien, lo que implica multiplicar dicho termino por (1). Por
eso, queda:

(f, ) ({ f }, ) =
f S ,
n
f
S ,
n

(2.105)
O sea:
Z
f dx
f (x)dx =
f
dS
G
G
S n
2
Z
S
f
dS
n
(2.106)
Es decir:
Z
Z
{f f }dx
G
f
n
n

dS
(2.107)
ormula de Green, escrita en terminos de

que no es otra cosa que la conocida Segunda F
funciones generalizadas.
d) Sea n=2. Calculemos 2 ln |x|.
Tenemos que x 6= 0, ln |x| C . Por lo tanto, para esos valores de x, D ln |x| = {D ln |x|}.
Por lo tanto, en polares:
1 d
ln |x|
r dr
2
d ln r
r
dr

0, x 6= 0
(2.108)
Sea, ahora, D con supp UR .

Tomemos la formula (2.103) con f = ln |x|:
2 ln |x| = {2 ln |x|}
ln |x|
S
(ln |x|S )
n
n
y apliquemosla a en < |x| < R. Tendremos:
(2.109)
54
Jose Marn Antu

na
ln |x|
( ln |x|, ) lim( ln |x|, ) = lim({ ln |x|}, )
dS +
0
0
n
SR
Z
Z
Z
ln |x|
+
dS + lim
ln |x| dS
ln |x| dS lim
0 S
0 S
n
n
n
SR
(2.110)
Pero, por (2.108)

lim({2 ln |x|}, ) = 0
(2.111)
y:
Z
SR
ln |x|
dS = 0
n
(2.112)
dS = 0
n
(2.113)
y
Z
ln |x|
SR
pues supp UR .
Por lo tanto:
Z
( ln |x|, ) = lim
dS
n
(2.114)
ln 2 0, 0
(2.115)
1
(x)dS + lim
0
ln
S
Pero
Z
lim
ln dS =
0 S
n

med
y
Z
lim
1
1
(x)dS = (xmed )2 2(0) (2, ), 0
(2.116)
As, obtenemos:
(2 ln |x|, ) = (2, )
(2.117)
55
Por lo tanto;
2 ln |x| = 2
(2.118)
De manera analoga, para n 3, se obtiene:

1
= (n 2)n (x)
|x|n2
(2.119)
donde n es el area de la superficie de la esfera unitaria en Rn , es decir:

2 n/2
(n/2)
(2.120)
et tz1 dt
(2.121)
Z
n =
dS =
S1
donde
Z
(z) =
0
es la funcion Gamma de Euler.

Efectivamente:
1
=
|x|n2
2

2
1
|x|n2
1
|x|n2
S
n
1
S
|x|n2

(2.122)
En la misma esfera < |x| < R con supp UR , tenemos

1
1
2
= lim
, = lim
,
0
0
|x|n2
|x|n2

Z
Z
1
1
lim
(x)dS + lim
dS =
n2
0 S n
0 S |x|n2 n
|x|

Z
Z
(x)dS
(n 2)
= lim (n 2)
= lim
(xmed )
dS =
n1
0
0
n1
S
S
(n 2)
2 n/2 n1
2 n/2
=
(xmed )
(n 2)
(0) =
n1
(n/2)
(n/2)

2 n/2
,
= (n 2)
(n/2)
,
|x|n2
2
En particular, para n = 3, (3/2) =
/2, por lo que
(2.123)
56
Jose Marn Antu

na
2 3/2
= 4
(3/2)
(2.124)
1
= 4(x)
|x|
(2.125)
y queda:
2
e) Comprobemos que las funciones
E(x) =
eik|x|
eik|x|
, E(x) =
4|x|
4|x|
(2.126)
para n = 3 satisfacen la ecuacion

2 E + k 2 E = (x)
(2.127)
DEMOSTRACION:
Como exp{ik|x|} = cos k|x| + i sin k|x| y coseno y seno son funciones infinitamente derivables,
apliquemos la formula de Leibnitz (2.8). Esta era:
a
f
(af )
=f
+a
xi
xi
xi
Volviendo a derivar:
2a
a f
2f
2 (af )
=
f
+
2
+
a
x2i
x2i
xi xi
x2i
(2.128)
2 (af ) = f 2 a + 2a f + a2 f
(2.129)
Sumando por i:
Aplicaremos esta u
ltima formula.
Tenemos que:
1
xi
= 3
xi |x|
|x|
(2.130)
ik|x| ikxi ik|x|

e
=
e
xi
|x|
(2.131)
57
Por lo tanto, haciendo los calculos:
2 ik|x|

2ik
2
k eik|x|
|x|
(2.132)
Ademas, teniendo en cuenta el ejemplo anterior:

1 ik|x|
1 ik|x|
2
+
=
e
( + k ) e
|x|
|x|

1
1
1 2 ik|x|
2
=
eik|x| + 2
eik|x| +
e
+
|x|
|x|
|x|
2
k 2 ik|x|
e
=
|x|
k 2 ik|x|
e
=
|x|
= 4(x)eik|x| 4(x)
(2.133)
pues vimos que: a(x)(x) = a(0)(x).

LQQD.
f) Sea

|x|2
(t)
exp 2
E(x, t) =
4a t
(2a t)n
(2.134)
E
a2 2 E = (x, t)
t
(2.135)
Demostrar que:
DEMOSTRACION:
Para t > 0 tenemos:
y, t < 0, E = 0.
Ademas, para t > 0:

Z
1
|x|2
E(x, t)dx =
exp 2 dx =
4a t
(2a t)n
Z
n
Y
n 2
1
=
(2a
t) e i d = 1
(2a t)n i=1
(2.136)
58
Jose Marn Antu

na
E
=
t

|x|2
n
E
4a2 t2 2t
E
xi
= 2 E
xi
2a t
(2.137)
Por lo tanto:
2E
=
x2i
x2i
1
2
4
2
4a t
2a t

E
(2.138)
De aqu:

E
a2 2 E
t

=
n
|x|2
2
2
4a t
2t

E
|x|2
n
2
2
4a t
2t

E 0, t > 0
(2.139)
Sea, ahora D(Rn+1 ). Tenemos:

E
2 2
2 2
a E, E,
a =
t
t

Z Z
2 2
=
E(x, t)
a dxdt =
t
0
Z Z
Z Z
= lim
E(x, t)2 dxdt =
E(x, t) dt lim
0
0
t
integrando por partes el primer sumando:
Z
= lim
Z Z
E
dxdt lim
2 Edxdt =
E(x, )(x, )dx +
0
t
Z

Z Z
E
2
E(x, )(x, )dx +
= lim
E dxdt =
0
t
Z
= E(x, 0)(x, 0)dx
Z
(2.140)
pues (E/t 2 E) = 0.
Por otra parte:

1
|x|2
E(x, 0) lim
exp 2
= (x)
t0 (4a2 t)n/2
4a t
(2.141)
59
en D0 (Rn ).
Volviendo a (2.140) y teniendo en cuenta (2.141):

E
a2 2 E,
t
Z
=
E(x, 0)(x, 0)dx = (, )
(2.142)
LQQD.
Observaci
on; (2.140) debe ser mejor fundamentado de la forma siguiente: Por una parte vimos
que
Z
E(x, t)dx = 1
(2.143)
Por otra parte, tenemos que para D:
Z
Z

E(x, t)[(x) (0)]dx E(x, t)|(x) (0)|dx

Z
K
exp (|x|2 /(4a2 t))|x|dx =

(4a2 t)n/2
Z
K
exp (r2 /(4a2 t))rn drn =
= n n/2 n n/2
2 a t
0
K2a tn u2 n
=
e
u
du
=
C
t 0, t 0
n/2
0
(2.144)
donde n es el area de la esfera n dimensional, |(x) (0)| K|x|, pues es una funcion de
base y, por tanto, finita y acotada y la u
ltima integral en la igualdad es una funcion Gamma
de Euler y, por tanto, un n
umero finito.
Teniendo en cuenta estas cosas, podemos escribir:
(E(x, t), ) = E(x, t)(x)dx (0) E(x, t)dx +

Z
+ E(x, t)[(x) (0)]dx (0) = (, ), t 0
(2.145)
donde hemos tenido en cuenta (2.143) y que

Z
E(x, t)[(x) (0)]dx 0, t 0
(2.146)
60
Jose Marn Antu

na
De esta forma queda plenamente justificada la expresion (2.140).

g) Sea
E1 (x, t) =
1
(at |x|)
2a
(2.147)
con x = x1 (o sea, en R1 ). Demostrar que

2
2 E1
2 E1
a
= (x, t)
t2
x2
(2.148)
DEMOSTRACION:
Es evidente que E1 (x, t) es localmente integrable en R2 y E1 = 0 fuera del cono de luz +
definido por las rectas caractersticas x = at y x = at y el semieje t > 0. Sea D.
Tenemos:

2
2
2 E1
2
2 E1
2
a
, E1 , 2 a
=
t2
x2
t
x2
2

Z
2

2
= E1 (x, t)
a
dxdt =
t2
x2
Z 2
Z at 2
Z
Z

1
a
dx
dt
=
dt
dx =
2
2
2a
2 0
|x|/a t
at x

Z
(x, |x|/a)
a (at, t) (at, t)
dx
dt =
t
2 0
x
x

1
=
2a
(sustituyendo x/a = t por lo que dx = adt):
Z
Z
1 (at, t)
1 (at, t)
dt
dt
=
2 0
t
2 0
t
Z
Z
a (at, t)
a (at, t)
dt +
dt
2 0
x
2 0
x
Z
Z
1
1
1
1
d(at, t)
d(at, t) (0, 0) + (0, 0) (, )
2 0
2 0
2
2
(2.149)
h) Sea n = 2, z = x + iy, z = x iy, dz = dx + idy. El operador diferencial

1
z
2
se llama Operador de Cauchy-Riemann.
+i
x
y

(2.150)
61
y f 0, z G1 , donde G1 = R2 \G.
Sea S (frontera de G) seccionalmente lisa
Sea f C 1 (G)
(como siempre, su recorrido positivo implica que G quede siempre a la izquierda). Apliquemos
la formula (2.77) del ejemplo b). Tendremos:

f
f
1 f
i f
+i
=
+
=
x
y
2 x 2 y

1 f
f
i f
i
=
cos(nx)S +
f cos(ny)S
2 x
2
2 y
2

f
f
[cos(nx) + i cos(ny)]S
z
2
f
1
z
2
(2.151)
Sea D y veamos:

f
,
z

=
f
z

,

f
[cos(nx) + i cos(ny)],
2
(2.152)
De aqu:
Z

Z
f
1
f [cos(nx) + i cos(ny)]dS
f + dxdy =
z
z
2 S
(2.153)
Pero: cos(nx)dS = dy y cos(ny)dS = dx. Por lo tanto:
Z
G

Z
f
1
f + dxdy =
f (dy idx) =
z
z
2 S
Z
Z
i
i
f (dx + idy) =
f dz
=
2 S
2 S
(2.154)
As:
Z
G
(f )
i
dxdy =
z
2
Z
f dz
(2.155)
i) Demostrar que
1
= (x, y)
z z
(2.156)
DEMOSTRACION:
Tomemos f = 1/z, G = [ < |z| < R] con D y supp UR [|z| < R]. Tenemos:
62
Jose Marn Antu

na
dxdy
UR z z
Z
1
dxdy =
lim
0 <|z|<R z z
Z
Z
Z
1
i
dxdy +
dz =
= lim
0 <|z|<R z z
2
z
SR
S
Z
Z 2
i
i
(ei ) i
= lim
dz = lim
ie d =
2 0 |z|= z
2 0 0
ei
= (0) (, )
1
,
z z
1
,
z z
(2.157)
pues la integral en el primer sumando de (136) es cero, ya que 1/z es analtica en < |z| < R
y la primera integral dentro del parentesis en el segundo sumando es igual a cero por el supp .
LQQD.
2.5
1. Demostrar que
(a)
1
d
ln |x| = P
dx
x
(b)
d 1
1
P = P 2
dx x
x
(c)
1
1
d
= i 0 (x) P 2
dx x i0
x
donde

1
P 2,
x
Z
=VP
(x) (0)
dx
x2
2. Demostrar que las funciones generalizadas a la derecha son las soluciones generales en
D0 (R1 ) de las ecuaciones de la izquierda:
(Notar que aqu hay varias constantes arbitrarias, mientras que la solucion clasica de una
ecuacion diferencial de primer orden solo tiene una sola constante arbitraria).
(a)
xu0 = 1
Soluci
on:
u = C1 + C2 (x) + ln |x|
63
(b)
xu0 = P
1
x
Soluci
on:
u = C1 + C2 (x) P
1
x
(c)
x2 u0 = 1
Soluci
on:
u = C1 + C2 (x) + C3 (x) P
1
x
(d)
xu = signx
Soluci
on:
u = C(x) + P
1
|x|
ax 0 x = a0 (0)(x) + a(0) 0 (x)
para a(x) C 1 (R1 ).
4. Demostrar: Si f D0 y f (x) = 0, x < x0 , entonces existe una primitiva u
nica f(1) tal
que es igual a cero para x < x0 .
(D f )(x + h) = D f (x + h)
para todo f D0 y h Rn .
6. Demostrar: Si una funcion generalizada es invariante respecto a todos los desplazamientos
posibles, entonces es constante.
7. Demostrar que el sistema de funciones generalizadas D (x), || = m, m = 0, 1, 2, ... es
linealmente independiente.
8. Demostrar que la serie
X
k=1
converge en D0 para cualquiera ak .
ak (k) (x k)
64
Jose Marn Antu

na
9. Sea Sr la capa simple sobre la esfera |x| = r, lo que equivale a decir:
Z
(x)(x)dS, D
(S , ) =
S
Demostrar que
1
lim 2
r0 r
1
S
n rn1 r

=
1 2
2n
en D0 . Esta formula se conoce con el nombre de F

ormula de Pizetti. Aqu
2 n/2
n =
dS =
(n/2)
S1
Z
Captulo 3
Producto Directo y Convoluci
on de
Funciones Generalizadas
3.1
Producto Directo
Sean f (x) y g(y) localmente integrables en Rn y Rm , respectivamente. Entonces, f (x)g(y) sera

localmente integrable en Rn+m . Esta expresion define a una funcion generalizada regular que
act
ua sobre (x, y) D de la siguiente forma:
Z
(f (x)g(y), ) =
Z
=
f (x)g(y)(x, y)dxdy =
f (x) g(y)(x, y)dydx (f (x), (g(y), (x, y)))(g(y)f (x), ) =

Z
Z
Z
= g(y)f (x)(x, y)dxdy =
g(y) f (x)(x, y)dxdy (g(y), (f (x), (x, y)))(3.1)
Las igualdades implican que se cumple el teorema de Fubini sobre la igualdad de las integrales
reiteradas m
ultiples (aunque esto no siempre es verdad, aqu , si).
DEFINICION: Llamaremos Producto directo f (x) g(y) de las funciones generalizadas
f (x) D0 (Rn ) y g(y) D0 (Rm ) a la funcion generalizada que act
ua seg
un la regla:
(f (x) g(y), ) = (f (x), (g(y), (x, y)))
(3.2)
para D(Rn+m ).
SE PUEDE DEMOSTRAR que esta definicion es correcta, o sea, que la parte derecha de
(3.2) es un funcional lineal y continuo en D(Rn+m ). Esto quiere decir que f (x)g(y) D0 (Rn+m ,
lo que equivale a decir que es una funcion generalizada.
65
66
Jose Marn Antu

na
PROPIEDAD IMPORTANTE
f (x) g(y) = g(y) f (x)
(3.3)
O sea, el producto directo es conmutativo.

Esto resulta facil de demostrar al menos para funciones de base del tipo
(x, y) =
N
X
ul (x)vl (y) D(Rn+m )
(3.4)
l=1
con ul (x) D(Rn ) y vl (y) D(Rm ):
(f (x) g(y), ) =
f,
N
X
!
ul (g, vl )
l=1
g,
N
X
(f, ul )(g, vl ) =
l=1
N
X
!
vl (f, ul )
= (g(y) f (x), )
(3.5)
l=1
Este resultado se puede extender a cualquier funcion D(Rn+m ) sobre la base del siguiente
lema que no demostraremos:
LEMA: Para cualquier D(Rn+m ) siempre existe una sucesion de funciones de base k (x, y)
con k = 1, 2, ... del tipo
k
X
ul (x)vl (y)
(3.6)
l=1
que converge a en D(Rn+m ).

O sea, el conjunto de funciones del tipo
(x, y) =
N
X
ul (x)vl (y)
l=1
es denso en D(Rn+m ).
PROPIEDADES DEL PRODUCTO DIRECTO:
1. El producto directo es continuo. Es decir:
(3.7)
Producto directo y convolucion de funciones generalizadas
67
a)
[f (x) + f1 (x)] g(y) = [f (x) g(y)] + [f1 (x) g(y)]
(3.8)
para f, f1 D0 (Rn ) y g D0 (Rm ).

b)
fk (x) g(y) 0, k
en D0 (Rn+m ), si fk 0,
(3.9)
k en D0 (Rn ).
DEMOSTRACION:
a) Evidente, a partir de la definicion de producto directo.
b) Llamemos (x) = (g(y), (x, y)) que es una funcion de base en Rn ; o sea, que pertenece a
D(Rn ). Entonces, tenemos:
(fk (x) g(y), ) (fk (x), (g(y), (x, y))) (fk , ) 0, k
(3.10)
LQQD.
2. El producto directo es asociativo: O sea, f D0 (Rn ), g D0 (Rm ), h D0 (Rk ) se cumple:
f (x) [g(y) h(z)] [f (x) g(y)] h(z)
(3.11)
DEMOSTRACION:
Para D(Rn+m+k ):
(f (x) [g(y) h(z)], ) (f (x), (g(y) h(z), ))

(f (x), (g(y), (h(z), ))) = (f (x) g(y), (h(z), )) = ([f (x) g(y)] h(z), )
(3.12)
LQQD.
3. Derivada del producto directo.
Dx [f (x) g(y)] = Dx f (x) g(y)
DEMOSTRACION:
(3.13)
68
Jose Marn Antu

na
Sea D(Rn+m ):
(Dx [f (x) g(y)], ) = (1)|| (f (x) g(y), Dx ) =
Como el producto conmuta:
= (1)|| (g(y), (f (x), Dx )) = (g(y), (Dx f (x), )) = ([Dx f (x) g(y)], )
(3.14)
LQQD.
4. Multiplicaci
on por a del producto directo.
Para a C (Rn ):
a(x)[f (x) g(y)] = a(x)f (x) g(y)
(3.15)
Se deja al lector la demostracion de esta propiedad.

5. Traslaci
on:
(f g)(x + h, y) = f (x + h) g(y)
(3.16)
Se deja al lector la demostracion de esta propiedad.

6. Se dice que la funcion generalizada f (x) 1(y) no depende de y. Ella act
ua seg
un la siguiente
n+m
regla: D(R
):

(f (x) 1(y), )
Z
f (x),
(x, y)dy
Z
= (1(y) f (x), ) =
(f (x), (x, y)dy)
(3.17)
para todo f D0 (Rn ) y D(Rn+m ).
3.2
Convoluci
on de funciones generalizadas
Como siempre, partimos de lo sabido para funciones normales:

Si f (x) y g(x) son localmente integrables en Rn y si, ademas,
Z
h(x) =
|g(y)f (x y)|dy
(3.18)
69
es localmente integrable en Rn , entonces se llama convoluci

on f g de estas funciones a la
funcion:
Z
(f g)(x) =
f (y)g(x y)dy
g(y)f (x y)dy = (g f )(x)
(3.19)
Observaci
on: La convolucion en este caso es tambien localmente integrable en Rn . Por lo
tanto, la convolucion (3.19) define a una funcion generalizada regular que act
ua sobre funciones
n
de base D(R ) seg
un la regla:
Z
(f g, ) =
(f g)()()d

Z

Z Z
Z
=
g(y)f ( y)dy ()d = g(y)
f ( y)()d dy =
Z
=
g(y)[f (x)(x + y)dx]dy
(3.20)
donde hemos hecho el cambio de variables: x = y, dx = d.

As, la regla mediante la cual se define la convolucion de dos funciones generalizadas es:
Z
(f g, ) =
f (x)g(y)(x + y)dxdy, Rn
(3.21)
(Un caso especial de producto directo, cuando (x, y) = (x + y)).

Veamos tres casos posibles en los que la integrabilidad local de h(x) dada por (3.18) se cumple
y, por lo tanto, f g existe dada por (3.19):
1) O bien f , o bien g es finita.
Por ejemplo, sea supp g UR1 . Entonces:
|g(y)|
h(x)dx =
UR
|f (x y)|dxdy
UR1
UR
|g(y)|dy
UR1
|f ()|d <
UR +R1
donde hemos hecho el cambio de variables = x y, d = dx.

2) f y g son iguales a cero para todo x < 0. Veamos esto en el caso n = 1:
Z
Z
|g(y)||f (x y)|dydx =
h(x)dx =
R
|f (x y)|dxdy
|g(y)|
0
(3.22)
70
Jose Marn Antu

na
Haciendo el cambio de variables = x y, d = dx:

Z
Z
|g(y)|dy
|f ()|d <
(3.23)
3) f y g ambas integrables en Rn :
Z
Z
h(x)dx =
Z
|g(y)|
Z
|f (x y)|dxdy =
Z
|g(y)|dy
|f ()|d <
(3.24)
Por lo tanto, f g es integrable en Rn .

DEFINICION: Diremos que la sucesion {k } de funciones de base de D(Rn ) converge a 1 en
Rn , si:
a) Para cualquier compacto K existe una N tal que k = 1 para todo x K y k N .
b) Las funciones k (x) son uniformemente acotadas en Rn , junto con sus derivadas. O sea:
|D k (x)| < C , x Rn
(3.25)
con k = 1, 2, ... y cualquiera.

Tales sucesiones siempre existen. Por ejemplo, si (x) D y (x) = 1, x U1 , entonces:
k (x) = (x/k)
(3.26)
es una sucesion de este tipo, donde (x) es la funcion definida en el primer captulo.
TEOREMA: La igualdad (3.21) puede escribirse as:
(f g, ) = lim (f (x)g(y), k (x, y)(x + y))
k
(3.27)
donde k (x, y), con k = 1, 2, ... es cualquier sucesion convergente a 1 en R2n .

DEMOSTRACION: Tenemos:
|f (x)g(y)k (x, y)(x + y)| |k (x, y)||f (x)g(y)(x + y)|
teniendo en cuenta b)
C0 |f (x)g(y)(x + y)|, k = 1, 2, ...
(3.28)
71
La funcion |f (x)g(y)(x + y)| es, ademas, integrable.

Por otro lado
lim f (x)g(y)k (x, y)(x + y) = f (x)g(y)(x + y)
(3.29)
en casi todo punto de R2n . Por lo tanto, podemos escribir:
Z
(f g, )
Z
f (x)g(y)(x + y)dxdy =
lim f (x)g(y)k (x, y)(x + y)dxdy =
Z
lim
f (x)g(y)k (x, y)(x + y)dxdy lim (f (x)g(y), k (x, y)(x + y))

k
(3.30)
LQQD.
A partir de esto, estudiaremos la siguiente definicion.
DEFINICION: Sean las funciones generalizadas f y g de D0 (Rn ), tales que el producto directo
f (x) g(y) admite la prolongacion (f (x) g(y), (x + y)) a las funciones del tipo (x + y), donde
es cualquier funcion de D(Rn ) en el sentido de que, cualquiera que sea la sucesion {k }
convergente a 1 en R2n (k D(R2n )), existe el lmite de la sucesion numerica
lim (f (x) g(y), k (x, y)(x + y)) = (f (x) g(y), (x + y))
(3.31)
independiente de la sucesion {k }.
Entonces, se llama convoluci
on (f g) al funcional
(f g, ) = (f (x) g(y), (x + y)) = lim (f (x) g(y), k (x, y)(x + y))
k
(3.32)
para todo D(Rn ).

Es facil ver que el funcional f g definido as pertenece a D0 (Rn ), o sea, es una funcion
generalizada. Para ello, basta demostrar su continuidad, es decir que para 0, ,
(f (x) g(y), k (x, y) (x + y)) 0,
(3.33)
lo que se deja al lector a comprobar por s mismo.

Ejemplo:
f f f
(3.34)
72
Jose Marn Antu

na
Efectivamente: Sea D(Rn ) y sea {k } cualquier sucesion en D(R2n ) convergente a 1.

Entonces:
k (x, 0)(x) (x), k
(3.35)
en Rn . Por lo tanto, de acuerdo con la definicion, tenemos:

(f , ) = (f (x) (y), (x + y)) =
lim (f (x) (y), k (x, y)(x + y)) = lim (f (x), k (x, 0)(x)) = (f, )
(3.36)
LQQD.
Observaci
on de inter
es: f = f significa que cualquier funcion generalizada puede ser
desarrollada en funciones delta, lo que formalmente se escribe as:
Z
f (x) =
f ()(x )d
(3.37)
Precisamente, es esta formula la que se tiene en cuenta, cuando en Fsica se dice que cualquier
cuerpo material esta compuesto por masas puntuales, que cualquier fuente esta compuesta por
fuentes puntuales, etc.
3.3
Propiedades de la convoluci
on
1. Linealidad: La convolucion f g es lineal de D0 en D0 respecto a f y a g por separado.

O sea,
(f + f1 ) g = (f g) + (f1 g)
(3.38)
Es evidente a partir de la linealidad del producto directo.

SIN EMBARGO, la convolucion f g, en general, no es continua en D0 con respecto a f
o a g. Por ejemplo, (x k) 0, k en D0 (R1 ), pero 1 (x k) = 1 y, por lo
tanto, no tiende a cero cuando k en D0 (R1 ).
2. Conmutatividad: Si f g existe, entonces g f existe y f g = g f .
DEMOSTRACION: A partir de la conmutatividad del producto directo.
3. Derivada de la convoluci
on: Si f g existe, entonces existen las convoluciones D f g
y f D g y se cumple:
D f g = D (f g) = f D g
(3.39)
73
DEMOSTRACION: Basta demostrarlo para cada primera derivada Dj ,

con j = 1, 2, ..., n.
Sean D(Rn ) y k (x, y) D(R2n ) que tiende a 1, cuando k . Entonces:
k
0, k
xj
(3.40)
Por lo tanto, tendremos:

(x + y)
f (x) g(y), k (x, y)
xj
(Dj (f g), ) = (f g, Dj ) = lim

k

f (x)
g(y), k (Dj f g)
= lim
k
xj

=
(3.41)
Demostrada una de las igualdades. La otra es evidente, a partir de la conmutatividad de

la convolucion.
Caso particular u
til:
D f D (f ) D f D f
(3.42)
para toda f D0 .
Importante observaci
on: La existencia de las convoluciones D f g y f D g no es
suficiente para la existencia de f g, ni para la igualdad D f g = f D g.
O sea, el recproco de lo que demostramos sobre la derivada de la convolucion no es cierto,
lo que implica que la convolucion no es asociativa.
Por ejemplo:
( 0 ) 1 (0 ) 1 0 1 1 = 1
(3.43)
( 0 1) ( 10 ) ( 0) = 0 = 0
(3.44)
Pero
4. Traslaci
on de la convoluci
on: Si f g existe, entonces existe f (x + h) g y se cumple
que:
f (x + h) g = (f g)(x + h), h Rn
(3.45)
O sea, las operaciones de traslacion y de convolucion conmutan.

DEMOSTRACION: Habamos visto la traslacion de una funcion generalizada (formula
(1.65) as:
(f (y + b), ) = (f, (x b))
74
Jose Marn Antu

na
((f g)(x + h), ) = (f g, (x h)) = lim (f (x) g(y), k (x h, y)(x h, y)) =

k
= lim (f (x + h) g(y), k (x, y)(x + y)) = (f (x + h) g(y), )

k
(3.46)
LQQD.
Aqu se uso la propiedad de traslacion del producto directo (3.16).
Enunciemos las condiciones suficientes de existencia de la convolucion:
TEOREMA: Sea f una funcion generalizada arbitraria y g una funcion generalizada finita.
Entonces, la convolucion f g existe en D0 y tiene la forma:
(f g, ) = (f (x) g(y), (y)(x + y)), D
(3.47)
donde es cualquier funcion de base igual a 1 en el entorno del soporte de g.

Bajo estas condiciones, f g es continua respecto a f y a g por separado. O sea:
1) Si fk 0, k en D0 , entonces f g 0, k , en D0 .
2) Si gk 0, k , en D0 y para cierto R, supp gk UR , entonces, f gk o, k ,
en D0 .
Veamos otros elementos teoricos relativos a la convolucion:
3.4
0
Algebra convolucional D+
de funciones generalizadas
0
Sea D+
el conjunto de funciones generalizadas de D0 (R1 ) que son iguales a cero para t < 0.
TEOREMA:
0
0
0
y se expresa por:
. Entonces, f g existe en D+
Sea f D+
y g D+
(f g, ) = (f (t) g( ), 1 (t)2 ( )(t + )), D(R1 )
(3.48)
donde 1 (t) y 2 (t) son cualesquiera funciones de C (R1 ) iguales a 1 en el entorno del semieje
[0, ) e iguales a cero para t < 0 suficientemente grandes.
Ademas, la convolucion es continua respecto a f y a g por separado.
0
es asociativa y
Corolario importante: La convolucion de funciones generalizadas de D+
conmutativa:
f1 (f2 f3 ) = (f1 f2 ) f3 = f2 (f1 f3 )
75
(3.49)
(f1 (f2 f3 )) = (f1 (t) (f2 f3 )( ), 1 (t)2 ( )(t + ))

((f2 f3 )( ) f1 (t), 1 (t)2 ( )(t + )) =
0
= (f2 ( ) f3 ( ) f1 (t), 2 ( )3 ( 0 )1 (t)2 ( + 0 )(t + + 0 )) =
= ([f1 (t) f2 ( 0 )] f3 ( 0 ), ...) = (f1 f2 ) f3
(3.50)
etc.
Aqu hemos tenido en cuenta que el producto directo entre f2 ( ) y f1 (t) conmuta y que
2 ( )2 ( + 0 ) = 2 ( ).
DEFINICION: El conjunto lineal A se llama Algebra, si en el esta definida la operacion de
multiplicacion lineal respecto a cada factor por separado.
El algebra se llama asociativa, si x(yz) = (xy)z.
El algebra se llama conmutativa, si xy = yx.
0
Entonces, D+
es un algebra asociativa y conmutativa, siempre que por operacion de multiplicacion entendamos la operacion de convolucion .
0
D+
se llama
algebra convolucional.
0
El elemento unidad en el algebra convolucional D+
es la funcion delta, ya que
f =f
3.5
(3.51)
0
Ecuaciones en el
algebra convolucional D+
0
Sea la ecuacion en D+
:
au=f
(3.52)
0
donde a y f son funciones generalizadas conocidas y u es desconocida, todas de D+
.
DEFINICION: La solucion de la ecuacion (3.52) para f = , si existe, se llama soluci

on
1
fundamental del operador convolucional a y la representamos por a (elemento inverso del
0
algebra D+
):
76
Jose Marn Antu

na
a a1 =
(3.53)
0
0
TEOREMA: Si a1 existe en D+
, entonces, para cualquier f D+
, la solucion de (3.52)
existe, es u
nica y viene dada por la formula:
u = a1 f
(3.54)
DEMOSTRACION:
a) Comprobamos que a1 f satisface la ecuacion (3.52). Tenemos:
a (a1 f ) (a a1 ) f f f
Aqu hemos tenido en cuenta el corolario sobre la asociatividad y conmutatividad de la cnvolucion.
LQQD.
b) Comprobamos que es u
nica. Esto equivale a demostrar que la ecuacion homogenea a u = 0
solo tiene solucion trivial u 0.
Sea u0 la solucion de la ecuacion homogenea; o sea, au0 0. Entonces, aplicando a1 tenemos:
a1 (a u0 ) 0
(3.55)
(a1 a) u0 0
(3.56)
u0 0
(3.57)
O sea:
Pero por (3.39) esto es:
lo que significa que u0 0.

LQQD.
Demostrado todo el teorema.
0
arbitraria se reduce a
Gracias a este teorema, resolver la ecuacion a u = f con f D+
resolverla para una f concreta: f = (o sea, hallar la solucion fundamental a1 ).
1
0
Teorema: Si a1
1 y a2 existen en D+ , entonces
77
1
(a1 a2 )1 = a1
1 a2
(3.58)
DEMOSTRACION:
Por la conmutatividad entre a1 y a2 :
1
1
1
(a1 a2 ) (a1
1 a2 ) = (a2 a1 ) (a1 a2 ) =
Por la propiedad asociativa:
1
1
1
= (a2 (a1 (a1
1 a2 ))) = (a2 ((a1 a1 ) a2 ))
1
(a2 ( a1
2 )) (a2 a2 )
(por definicion):
(a1 a2 ) (a1 a2 )1
(3.59)
LQQD.
Con ayuda de la teora de funciones de variable compleja, veremos, mas adelante, el calculo
0
.
operacional sobre cierta subalgebra de D+
0
Introduzcamos la funcion generalizada f D+
dependiente del parametro real :
(x) 1
x , > 0
()
0
f (x) = f+1
(3.60)
f f = f+
(3.61)
f (x) =
Teorema:
DEMOSTRACION: Sean > 0 y > 0:
Z
f f = (x)
0
y 1 (x y)
(x)
(x y)1 dy =
() ()
()()
haciendo el cambio de variable: t = y/x, dy = xdt:
Z
0
y 1 (x y)1 dy =
78
Jose Marn Antu

na
Z 1
Z
(x)x+1 1 1
(x)
1 1
1
=
x t (x tx) xdt =
t (1 t)1 dt =
()() 0
()() 0
+1
+1
(x)x
(x)x
()()
(x)
=
B(, )
=
x+1 f+
()()
()() ( + )
( + )
LQQD para > 0 y > 0.
Sean < 0, < 0. Entonces, suponiendo que + 1 < 0 y + 1 < 0:
(m)
(m)
0
0
00
00
= ... = f+m f+m =
f f = f+1
f+1
= f+2
f+2
donde hemos supuesto que ya + m > 0 y + m > 0 y, ahora, usando la propiedad de la

derivacion de la convolucion (3.39) vista anteriormente y el inciso anterior:
(m+n)
= (f+m f+m )(m+n) = f++m+n = f+

pues al derivar a x++m+n1 m + n veces, queda x+1 .
Por u
ltimo, sean = 0, = 0:
f0 (x) =
f10

=
(x) 0
x
(1)
0
= (x)
Por lo tanto:
f0 (x) f0 (x) = = = f0
LQQD.
Demostrado el teorema.
0
Analicemos, ahora, el operador convolucional f en D+
.
Como f0 = y f f = f+ tenemos, por lo tanto, por definicion de inverso:

f f1 = f0 f f f
(3.62)
Por lo tanto, f1 siempre existe (la solucion fundamental siempre existe) y vale f1 = f .
0
. Tenemos que:
Por otra parte; sea n < 0 entero. Entonces fn = fn+1
0
f1 = f00 = 0 , f2 = f1
= 00 , ..., fn = (n) .
79
As pues:
fn u = (n) u = u(n)
(3.63)
La expresi
on (3.63) representa el operador de derivaci
on n veces.
Sea ahora n > 0. Entonces, teniendo en cuenta la propiedad asociativa:
(fn u)(n) = fn (fn u) = (fn fn ) u u u
(3.64)
pues fn = fn1 .
Es decir, fn u para toda n > 0 es la primitiva de orden n de la funcion generalizada. As,
tiene lugar la siguiente definicion:
DEFINICION: El operador fn se conoce como operador de derivaci
on (si n < 0) y
operador de integraci
on (si n > 0) u operador de Riemann-Liouville.
3.6
Regularizaci
on de las funciones generalizadas
Sea la funcion generalizada f y una funcion de base. Por lo tanto, f existe, pues , por
ser de base, es finita.
TEOREMA:
f = (f (y), (x y))
(3.65)
DEMOSTRACION:
Por la definicion de convolucion:
(f , ) = (f (y) (), ()(y + )) =
como = 1 en el entorno del supp
Z
= (f (y),
Z
()()(y + )d (f (y),
()(y + )d)
haciendo el cambio de variable: x = y + :

Z
(f (y),
(x)(x y)dx = ((f (y), (x y)), )
80
Jose Marn Antu

na
LQQD.
Se puede demostrar que en este caso f C (Rn ).
Sea la funcion campana dada por (1.25):
(x) = C e 2 |x|2 , |x|

(x) = 0, |x| >
y:
Z
(x)dx = 1
(3.66)
DEFINICION: La funcion infinitas veces derivable
f (x) f (f (y), (x y))
(3.67)
se llama regularizaci
on de la funcion generalizada f .
Hace tiempo vimos que (x) (x), 0 en D0 . Por lo tanto, como f es continua:
f (x) f (x), 0
(3.68)
en D0 .
Conclusi
on interesante: Toda funcion generalizada f es el lmite debil de sus regularizaciones.
TEOREMA:Toda funcion generalizada f es el lmite debil de funciones de base, es decir, el
conjunto D es denso en D0 .
DEMOSTRACION: Sea f (x) la regularizacion de f . Sea (x) una sucesion de funciones
de base iguales a 1 en U 1 , para 0.
Entonces, la sucesion de funciones de base
(x)f (x) f
(3.69)
en D0 , para 0, ya que como f (x) f (x) para 0, tomando cualquier D,

tendremos:
lim( f , ) = lim(f , ) = lim(f , ) = (f, )
81
(3.70)
LQQD.
OBSERVACION: Hace tiempo vimos que el espacio D0 es completo. Por lo tanto, tiene lugar
el recproco:
TEOREMA: Todo lmite debil de funciones localmente integrables es una funcion generalizada
de D0 .
Observaci
on: Estos dos teoremas permiten que la teora de las funciones generalizadas se
pueda construir a partir de sucesiones convergentes debilmente de funciones corrientes. Esto
es lo que tratamos de hacer, sin profundizar mas de lo mnimo indispensable, en el curso de
Metodos Matematicos de la Fsica.
3.7
Ejemplos de convoluciones
Potencial Newtoniano:
a) Sea f (x) continua en Rn \{0}, con singularidad integrable en cero y sea S (x) la capa simple
sobre S, que es una superficie seccionalmente lisa y acotada y la densidad.
La convolucion f S es una funcion localmente integrable en Rn y se expresa por:
Z
(y)f (x y)dSy
f S =
S
DEMOSTRACION:
(f S , ) = (S (y) f (), (y)(y + )) =

Z
Z
= (S (y), (y)(f (), (y + ))) =
(y)(y) f ()(y + )ddSy
S
Z
Z
Z
Z
(y) f (x y)(x)dxdSy = (x) (y)f (x y)dSy dx
S
SZ

(y)f (x y)dSy ,
S
LQQD.
b) Sea una funcion generalizada. La convolucion
(3.71)
82
Jose Marn Antu

na
Vn =
1
, n 3;
|x|n2
V2 = ln
(3.72)
1
, n = 2
|x|
(3.73)
se llama potencial newtoniano (para n = 2, potencial logartmico) con densidad .

TEOREMA: Para igual a una funcion generalizada finita, Vn existe en D0 y cumple la
ecuacion de Poisson:
2 Vn = (n 2)n , n 3
(3.74)
2 V2 = 2
(3.75)
2 n/2
n =
(n/2)
Z
dS
(3.76)
S1
DEMOSTRACION:
Como, por (3.39): D (f g) = f D g, tenemos:
Vn =

1
1
2
|x|n2
|x|n2
pero, por la formula del laplaciano generalizado (2.119):

1
=
|x|n2
2

2
1
|x|n2
1
|x|n2
S
n
1
S
|x|n2
Tomemos la esfera < |x| < R con supp UR . Tenemos:

1
1
2
,
= lim
, = lim
0
0
|x|n2
|x|n2

Z
Z
1
1
lim
(x)dS + lim
dS =
n2
n2 n
0 S n
0
|x|
S |x|
,
|x|n2
2
como el primer y el tercer sumando son iguales a cero, ya que el laplaciano es cero para todo
x 6= 0 y
Z
lim
1
1
dS = lim n2
n2
0
|x|
n
83
Z
dS = 0
S
obtenemos:
,
|x|n2
2

n/2 n1
(x)dS
(n 2)
2
=
lim
(x
)
n1
0
0
n1
(n/2)
S

2 n/2
2 n/2
(n 2)
(0) = (n 2)
,
(n/2)
(n/2)

Z
= lim (n 2)
O sea:

1
,
|x|n2
2

= ((n 2)n , )
donde
1
2 n/2
n1
n =
(n/2)
Z
dS
S
As pues, efectivamente, para
Vn =
|x|n2
se cumple que
2 Vn = (n 2)n
LQQD.
Para n = 3 en particular:
2 V3 = 4
(3.77)
pues
1
= 4(x)
|x|
(3.78)
84
Jose Marn Antu

na
El lector debe demostrar como ejercicio que para n = 2:

2 V2 = 2
(3.79)
c) Si es finita y absolutamente integrable en Rn , entonces el potencial newtoniano se llama

potencial de volumen y el potencial logartmico potencial de
area (de volumen bidimensional) y se expresa por:
Z
Vn (x) =
(y)
dy, n 3
|x y|n2
Z
V2 (x) =
(y) ln
1
dy, n = 2
|x y|
(3.80)
(3.81)
d) Sea S una superficie acotada seccionalmente lisa de dos caras con un sentido definido para
el vector normal n sobre ella. Sean y continuas sobre S.
Sean S y n
(S ) la capa simple y la doble capa, respectivamente, sobre S.
Los potenciales newtonianos (o logartmicos) que ellas generan son:

Vn(0) =
1
S , n 3
|x|n2
(0)
V2
= ln
1
S
|x|
(3.82)
(3.83)
que son los potenciales de capa simple y
Vn1 =
(S ) , n 3
n2
|x|
n
V21 = ln
(S )
|x| n
(3.84)
(3.85)
que son los potenciales de doble capa.

Estas integrales de superficie dan:
Vn(0) (x)
Z
=
(y)|x y|n2 dSy , n 3
(3.86)
(0)
V2 (x)
Z
=
(y) ln
S
1
dS
|x y|
(3.87)
Vn(1) (x)
= (y)
ny
S
(1)
V2 (x)
85

1
dSy , n 3
|x y|n2
= (y)
ny
S
1
ln
|x y|
(3.88)

dS
(3.89)
El lector debe comprobar solo las formulas (3.86), (3.87), (3.88) y (3.89). Para ello, partir de
una D y hacer, por ejemplo:
(Vn(1) , )
Z
= ... =
Z
(x)
S
ny
1
|x y|n2

dSy dx = ...
(3.90)
etcetera.
3.8
n [(x1 )...(xn )]
= (x1 )...(xn ) (x)
x1 ...xn
(3.91)
2. Demostrar: Para que la funcion generalizada f (x) no dependa de xi es necesario y suficiente que
f
=0
xi
(3.92)
3. Demostrar: Para que f (x) no dependa de xi es necesario y suficiente que sea invariante
ante todo desplazamiento.
4. Demostrar: Si f no depende de xi , entonces f g tampoco depende de xi .
5. Demostrar: Si f 1 existe, entonces es constante.
6. Para
f =
(x) 1 ax
x e
()
(3.93)
donde > 0 y a es cualquiera, comprobar que

f f = f+
(3.94)
86
Jose Marn Antu

na
7. Demostrar que
eax f eax g = eax (f g)
(3.95)

1
x2
f = exp 2
2
2
(3.96)
f f = f2 + 2
(3.97)
0
0
para f D+
y g D+
.
8. Para
con > 0, comprobar que
9. Para
1
2
+ x2
(3.98)
f f = f+
(3.99)
f =
comprobar que
Captulo 4
Funciones generalizadas de crecimiento
lento (atemperadas)
La importancia del estudio de este tipo de funciones generalizadas esta en que a ellas es aplicable
la transformada de Fourier.
4.1
Espacio S de funciones de base
DEFINICION 1: Se llama espacio S = S(Rn ) de funciones de base al conjunto de

funciones de la clase C (Rn ) que decrecen junto a sus derivadas mas rapido que cualquier
1
potencia de |x|
cuando |x| .
DEFINICION 2: En S la convergencia se define as:
La sucesion k S converge a S en S, si para todo y todo :
x D k (x) x D (x), k
(4.1)
para toda x Rn .
Observaciones:
1. S es lineal.
2. D S; de la convergencia en D se desprende la convergencia en S.
2
3. S no coincide con D. Por ejemplo, e|x| S, pero no pertenece a D.

DEFINICION: Sea a C (Rn ) una funcion que crece junto a sus derivadas con menos
rapidez que cierto polinomio. O sea:
87
88
Jose Marn Antu

na
|D a(x)| C (1 + |x|)m
(4.2)
Representemos al conjunto de estas funciones por M .

TEOREMA: La multiplicacion de S por a M es continua de S en S.
DEMOSTRACION:
S equivale a decir que ella decrece con sus derivadas mas rapido que cualquier potencia de
1
.
|x|
Si a M , entonces a sigue decreciendo con sus derivadas mas rapido que cualquier potencia
1
de |x|
, para |x| .
Ademas, si k 0, k en S, entonces:
x D (ak ) 0, ,
(4.3)
O sea, ak 0 en S.
LQQD.
Sin embargo es posible afirmar que:
TEOREMA: D es denso en S, lo que equivale a decir que para cualquier S existe una
sucesion k D, k = 1, 2, ... tal que k en S, para k .
DEMOSTRACION:
Sea la sucesion de funciones de D:
k (x) = (x)
x
k
, k = 1, 2, ...
(4.4)
con D y (x) = 1, |x| < 1.

Evidentemente
k (x) (x), k
en S.
LQQD.
Tiene lugar otra afirmacion
TEOREMA:
La derivacion D (x) y el cambio de variables (Ay + b) son continuas de S en S.
(4.5)
Funciones generalizadas de crecimiento lento
89
Sin embargo, la multiplicacion por una funcion infinitamente derivable puede salirse de los
lmites de S. Por ejemplo:
2
e|x| e|x| = 1no S
4.2
Espacio S 0 de funciones generalizadas de crecimiento

lento
DEFINICION: Funcion generalizada de crecimiento lento se llama a cualquier funcional lineal

y continuo en el espacio S.
Sea S 0 = S 0 (Rn ) el conjunto de todas las funciones generalizadas de crecimiento lento. S 0 es un
conjunto lineal (igual que D0 ).
DEFINICION: La sucesion de funciones generalizadas fk S 0 converge en S 0 a la funcion
generalizada f S 0 , lo que se escribe as: fk f , k en S 0 , si para cualquier S:
(fk , ) (f, ), k
(4.6)
Es decir: La convergencia en S 0 la definimos como la convergencia debil de funcionales.

DEFINICION: El conjunto lineal S 0 junto con la convergencia definida se llama espacio de
funciones generalizadas de crecimiento lento.
Es facil ver que S 0 D0 y que de la convergencia en S 0 se desprende la convergencia en D0 .
TEOREMA DE SCHWARZ: Para que el funcional lineal f en S pertenezca a S 0 (o sea,
sea continuo en S), es necesario y suficiente que existan los n
umeros C > 0 y p 0 (p entero)
tales que S se cumpla:
|(f, )| C k kp
(4.7)
k kp = Sup||p,xRn (1 + |x|)p |D (x)|
(4.8)
donde
No demostraremos este teorema, pero discutiremos su sentido:

El sentido de este teorema es que toda funcion generalizada de crecimiento lento es un funcional
continuo respecto a cierta norma k ... kp .
Esto se expresa diciendo que la funcion tiene orden finito.
90
Jose Marn Antu

na
Ejemplos de funciones generalizadas de crecimiento lento.

Ejemplo 1: Sea f (x) localmente integrable polinomial en el infinito (de crecimiento lento); o
sea, para cierta m 0:
Z
|f (x)|(1 + |x|)m dx <
(4.9)
Entonces, esta funcion define a un funcional regular f S 0 seg

un la formula:
Z
(f, ) =
f (x)(x)dx, S
(4.10)
OBSERVACIONES:
1. No toda funcion localmente integrable define a una funcion generalizada de crecimiento
lento. Por ejemplo, ex no S 0 (R1 ).
2. No toda funcion localmente integrable que pertenezca a S 0 tiene crecimiento polinomial.
Por ejemplo, la funcion
(cos ex )0 = ex sin ex
(4.11)
no es de crecimiento polinomial. Sin embargo, ella define a una funcion generalizada de

S 0 por la formula
x 0
((cos e ) , ) =
cos ex 0 (x)dx, S
(4.12)
3. Se puede demostrar (lo hizo Schwarz) que toda funcion generalizada de S 0 es la derivada
de una funcion continua de crecimiento polinomial. Por eso, a S 0 se le llama espacio de
funciones generalizadas de crecimiento lento.
Ejemplo 2: Si f es una funcion generalizada finita de D0 , entonces, puede prolongarse
unvocamente a S como elemento de S 0 por la formula
(f, ) = (f, ), S
(4.13)
con D y = 1 en el entorno del suppf .

Efectivamente:
Sea k 0 en S. Entonces k 0 en D. Por lo tanto:
(f, k ) 0, k
(4.14)
91
O sea, el funcional lineal (f, ) es continuo en S.

La unicidad de la prolongacion del funcional f a S se debe a la densidad de D en S.
Ejemplo 3: Si f S 0 , entonces D f S 0 tambien.
Esto se ve del hecho de que D es una operacion continua de S en S. Por lo tanto, la parte
derecha de la igualdad
(D f, ) = (1)|| (f, D )
(4.15)
es un funcional lineal en S.
Ejemplo 4: Si f S 0 y detA 6= 0, entonces f (Ay + b) S 0 . Esto es porque la operacion de
transformacion [A1 (x b)] es continua de S en S y, por lo tanto

(f (Ay + b), ) =
[A1 (x b)]
f,
|detA|

(4.16)
es un funcional lineal continuo en S.

Ejemplo 5: Si f S 0 y a M , entonces af S 0 .
Efectivamente, vimos que a por una funcion de M es continua de S en S. Por lo tanto, la
parte derecha de la igualdad
(af, ) = (f, a)
(4.17)
es un funcional continuo en S.
Estructura de las funciones generalizadas con soporte puntual.
TEOREMA: Si el soporte de la funcion generalizada f es el punto {0}, entonces ella se expresa
de forma unvoca por
f (x) =
m
X
C D (x)
||=0
La demostracion de este teorema es muy bonita, pero la obviamos, por ser muy larga.
(4.18)
92
4.3
Jose Marn Antu

na
Transformada de Fourier de las funciones generalizadas de crecimiento lento
La propiedad mas notable de las funciones generalizadas de crecimiento lento es que la operacion
transformada de Fourier no sale de los lmites de dicha clase.
Veamos primero:
4.3.1
Transformada de Fourier de las funciones de base de S
Como las funciones de base de S son absolutamente integrables en Rn , para ellas esta definida
la operacion de transformada de Fourier F :
Z
F []() =
(x)eix dx, S
(4.19)
La transformada de Fourier F []() es acotada y continua en Rn .

1
Como S decrece mas rapidamente que cualquier potencia de |x|
, por lo tanto su transformada de Fourier puede derivarse cuantas veces se quiera bajo la integral:
D F []() =
(ix) (x)eix dx F [(ix) ]()
(4.20)
Por lo tanto, F [] C (Rn ).

Por otra parte, cada derivada D tiene transformada:
F [D ]() =
D (x)eix dx = (i) F []()
donde hemos aplicado la integracion por partes veces.

Multipliquemos (4.20) por y trabajemos. Tenemos:
D F []() = F [(ix) ]() = i|| F [x ]() =
usando (4.21)
||
1
|| i
F
[D
(x
)]
=
(1)
F [D (x )] =
(i)
i||
i|| (1)|| (i)|| F [D (x )] = i||+|| F [D (x )]()
= i||
(4.21)
93
Es decir:
D F []() = i||+|| F [D (x )]()
(4.22)
Z

Z

| D F []()| |i||+|| D (x (x))eix dx D (x (x))dx
(4.23)
de (4.22) se ve que:
O sea: Para cualesquiera y , D F []() son expresiones uniformemente acotadas para

Rn .
Quiere decir (por la definicion de S), F [] S.
Por lo tanto, la transformada de Fourier transforma el espacio S en s mismo.
Observaci
on importante: La transformada de Fourier no transforma el espacio D en si
mismo, pues la transformada de Fourier de una funcion finita es una funcion analtica en todo
el plano (entera) y por el teorema de Liouville de la variable compleja,o no es finita o es cero.
Como la transformada de Fourier F [] con S es integrable y derivable continuamente en
Rn , por lo tanto (x) se halla con la operacion de transformada inversa F 1 aplicada a F []():
(x) = F 1 [F []] F [F 1 []]
(4.24)
Aqu, por definicion:
1
[](x)
(2)n
()eix d
(se puede interpretar como)

1
(2)n
()ei(x) d
por la definicion de transformada:
1
F [](x) =
(2)n
haciendo el cambio de por los menos se van al invertir los lmites de integracion y queda
1
=
(2)n
()eix d
1
F [()](x)
(2)n
94
Jose Marn Antu

na
O sea, para la transformada inversa se cumple

F 1 [](x) =
1
F [()](x)
(2)n
(4.25)
Se puede ver que:

1. Toda S es la transformada de Fourier de la funcion = F 1 [] S.
O sea, = F [] y si F [] = 0, entonces = 0.
Por lo tanto transforma S en S biunvocamente.
2. La transformada de Fourier es continua de S en S.
4.3.2
Transformada de Fourier de funciones generalizadas de S 0
Veamos primero lo siguiente para las funciones normales:

Si f (x) es absolutamente integrable en Rn , entonces su transformada de Fourier es
Z
F [f ]() =
f (x)eix dx
(4.26)
|f (x)|dx <
(4.27)
que cumple que

Z
|F [f ]()|
F [f ]() aqu es una funcion acotada y continua en Rn . Por lo tanto, define a una funcion
generalizada de S 0 :
Z
(F [f ](), )
F [f ]()()d
con S.
Cambiemos el orden de integracion:
Z Z
ix
F [f ]()()d
f (x)e dx ()d =
Z

Z
Z
ix
= f (x)
()e d dx f (x)F [](x)dx
(4.28)
95
O sea,
(F [f ], ) = (f, F []), S
(4.29)
Por lo tanto tenemos la siguiente

DEFINICION: Transformada de Fourier F [f ] de f S 0 (funcion generalizada de crecimiento
lento) es el funcional que act
ua seg
un la regla:
(F [f ], ) = (f, F []), f S 0 , S
(4.30)
El lector debe comprobar que la parte derecha de (4.30) define a un funcional lineal y continuo
en S, lo que equivale a decir que F [f ] S 0 . Por lo tanto, la operacion transformada de Fourier
transforma a S 0 en S 0 . A
un mas:
TEOREMA: F es una operacion lineal y continua de S 0 en S 0 .
DEMOSTRACION:
Linealidad: Es evidente, pues es una integral.
Continuidad: Sea fk 0, k ; entonces por (4.30):
(F [fk ], ) = (fk , F []) 0, k
(4.31)
F [fk ] 0, k
(4.32)
O sea:
en S 0 .
LQQD.
Por analoga con la transformada de S, introduzcamos en S 0 el operador F 1 :
F 1 [f ] =
1
F [f (x)]
(2)n
(4.33)
con f S 0 .
TEOREMA: F 1 [f ] dada por (4.32) es la transformada inversa; o sea:
F 1 [F [f ]] = f
(4.34)
96
Jose Marn Antu

na
y
F [F 1 [f ]] = f
(4.35)
para todo f S 0 .
DEMOSTRACION: Del subepgrafe anterior tenemos:
(x) = F 1 [F []] = F [F 1 []]
(4.36)
y
F 1 [](x) =
1
F [()]
(2)n
(4.37)

(F 1 [F [f ]], ) =
1
1
(F
[F
[f
]()],
)
=
(F [f ](), F []) =
(2)n
(2)n
arriba hemos tenido en cuenta (4.33) y (4.30).

Haciendo el cambio de por , tenemos:
1
(F [f ], F []()) = (F [f ], F 1 []) =
(2)n
= (f, F [F 1 []]) = (f, ) = (f, F 1 [F []]) =
= (F 1 [f ], []) = (F [F 1 [f ]], )
=
Aqu hemos tenido en cuenta las expresiones (4.30), (4.36) y (4.37).

As queda demostrado el teorema. Es decir:
F 1 [F [f ]] = F [F 1 [f ]] = f
(4.38)
Conclusi
on de (4.38): Toda funcion generalizada f S 0 es transformada de Fourier de la
funcion generalizada g = F 1 [f ] S 0 . O sea, f = F [g] y si F [f ] = 0, entonces f = 0.
Conclusi
on: La transformada de Fourier F y F 1 transforman a S 0 en S 0 de forma biunvoca
y continua.
Sea ahora f (x, y) S 0 (Rn+m ), con x Rn y y Rm .
97
DEFINICION: Transformada de Fourier respecto a x = (x1 , ..., xn ): Fx [f ], es el funcional

que act
ua seg
un:
(Fx [f ], ) = (f, F [])
(4.39)
para todo (x, y) S(Rn+m )

Es demostrable que:
Z
F [](x, y) =
(x, y)eix d S(Rn+m )
(4.40)
y que F [] es continua de S(Rn+m ) en S(Rn+m ), por lo que (4.39) define a una funcion
generalizada, o sea, Fx [f ] S 0 (Rn+m ).
Ejemplo: Demostrar que
F [(x x0 )] = eix0
(4.41)
Z
(F [(x x0 )], ) = ((x x0 ), F []) F [](x0 )
()eix d = (eix0 , )
LQQD.
Observaci
on: Si en (4.41) tomamos x0 = 0, entonces queda que
F [] = 1
(4.42)
Por lo tanto, teniendo en cuenta (4.33):
= F 1 [1]
1
F [1]
(2)n
(4.43)
Conclusi
on:
F [1] = (2)n ()
(4.44)
Nota: La transformada de Fourier de f = 1 no tiene sentido clasicamente; solo lo tiene como

funcion generalizada.
98
Jose Marn Antu

na
4.4
Propiedades de la transformada de Fourier
1. Derivada de la transformada: Para f S 0 :

D F [f ] = F [(ix) f ]
(4.45)
DEMOSTRACION: Sea S:
(D F [f ](), ) = (1)|| (f (x), (ix) F [](x)) ((ix) f (x), F [](x)) = (F [(ix) f ], )

LQQD.
En particular, para f = 1:
F [i|| x ] = D F [1] = (2)n D ()
(4.46)
donde hemos tenido en cuenta (4.44). Por lo tanto:

F [x ] = (i)|| (2)n D ()
(4.47)
La formula (4.47) solo tiene sentido como funcion generalizada, pues la transformada
clasica de Fourier de x no existe.
Utiles casos particulares: (En R1 para simplificar)
Para = 0:
Z
eikx dx = 2(k)
(4.48)
xeikx dx = 2 0 (k)
(4.49)
Para = 1:
Z
etc.
2. Transformada de la derivada: Para f S 0 :
F [D f ] = (i) F [f ]
DEMOSTRACION: Para S:
(F [D f ], ) = (D f, F []) = (1)|| (f (x), D F [](x)) =

= (1)|| (f (x), F [(i) ](x)) = (1)|| (F [f ], (i) ) ((i) F [f ], )
LQQD.
(4.50)
99
En particular:
F [D ] = (i)
(4.51)
() (x)eikx dx = (ik)
(4.52)
de donde:
Z
3. Teorema del retardamiento: Para f S 0 :

F [f (x x0 )] = eix0 F [f ]
(4.53)
La demostracion de esta propiedad queda al lector como ejercicio.

4. Teorema del desplazamiento: Para f S 0 :

F [f ]( + 0 ) = F ei0 x f ()
(4.54)
La demostracion de esta propiedad tambien se deja al lector como ejercicio.

5. Teorema de la semejanza: Para f S 0 y c 6= 0:
1
F [f (cx)]() = n F [f ]
|c|

(4.55)
Demostrar solos tambien.

6. Transformada de Fourier del producto directo: Para f S 0 (Rn ) y g S 0 (Rm ):
F [f (x) g(y)] = Fx [f (x) F [g]()] = Fy [F [f ]() g(y)] = F [f ]() F [g]()
(4.56)
DEMOSTRACION: Sea (x, y) S(Rn+m ). Entonces:

(F [f (x) g(y)], ) = (f (x) g(y), F [](x, y)) =
por la definicion de producto directo
= (f (x), (g(y), F [](x, y))) = (f (x), (g(y), F F [](x, y))) =

= (f (x), (F [g](), F [](x, y))) =
= (f (x) F [g](), F [](x, y)) = (F [f ]() F [g](), )
Pero tambien
(f (x) F [g](), F [](x, y)) = (Fx [f (x) F [g]()], )
(4.57)
100
Jose Marn Antu

na
y tambien
(F [f ]() F [g](), ) = (Fy [F [f ]() g(y)], )
(4.58)
de donde se demuestra (4.56).

7. Formulas analogas para Fx :
Si f (x, y) S 0 (Rn+m ):
4.5
Dx Dy Fx [f ] = Fx [(ix) Dy f ]
(4.59)
Fx [Dx Dy f ] = (i) Dy Fx [f ]
(4.60)
Transformada de Fourier de funciones generalizadas

con soporte compacto
TEOREMA: Si f es una funcion generalizada finita, entonces su transformada de Fourier

pertenece a la clase M y se calcula por:
F [f ]() = (f (x), (x)eix )
(4.61)
con D cualquiera igual a 1 en el entorno de supp f .

DEMOSTRACION:
Se recuerda que: M son aquellas a(x) C (Rn ) que crecen con sus derivadas con menor
rapidez que un polinomio:
|D a(x)| C (1 + |x|)m
(4.62)
Veamos; teniendo en cuenta la propiedad de la transformada de la derivada y el hecho de que

(f, ) = (f, ):
(D F [f ], ) = (1)|| (f, F [D ]) = (1)|| (f, (x)(ix) F [])

Z
(f (x), (x)(ix) ()eix d) =
R
R
(pues vimos que (f, (x, y)dy = (f, (x, y))dy)
Z
=
101
(f, (x)(ix) eix ()d ((f, (x)(ix) eix ), )
de donde:
D F [f ]() = (f, (x)(ix) eix )
Para = 0 se obtiene (4.61).
Se puede demostrar que F [f ] M .
4.6
Transformada de Fourier de la convoluci

on
TEOREMA: Sea f S 0 y g una funcion generalizada finita. Entonces

F [f g] = F [g]F [f ]
(4.63)
DEMOSTRACION:
Cuando definimos la convolucion vimos que f g S 0 y que se expresa as:
(f g, ) = (f (x), (g(y), (y)(x + y))), S
(4.64)
donde D y = 1 en el entorno del soporte de g.

Teniendo en cuenta esto, veamos:

(F [f g], ) = (f g, F []) =

f (x), g(y), (y)
i(x+y)
()e

d
(4.65)
Por el teorema visto en la seccion anterior, F [g] M . Teniendo en cuenta, ademas, que
Z
Z
f, (x, y)dy = (f, (x, y))dy
y que
F [g] = (g(x), (x)eix )
por el teorema final de la seccion anterior tenemos que de (4.65) se obtiene:
102
Jose Marn Antu

na

(F [f g], ) =
iy
f (x),
(g(y), (y)e
ix
)e

()d
como (g(y), (y)eiy F [g](),

=
ix
f (x),
F [g]()e

(F [f ], F [g]) (F [f ]F [g], )
()d
con lo que queda demostrado el teorema.
4.7
Ejemplos, n=1
1.
Z
2 sin R
eiR eiR
1 ix R
e |R =
=
i
i
eix dx =
f [(R |x|)] =
R
2.
2 x2
F [e
2 x2 ix
]=
(4.66)

2
dx =
exp 2
(4.67)
3. Demostrar que
ix2
F [e
]=

i 2
( )
4

exp
(4.68)
Sea D con supp (R, R). Entonces:
ix2
(F [e
=
ix2
], ) = (e , F []) = eix F [](x)dx =

Z N
Z R
ix2
lim
e
()eix ddx =
lim
N ,M
N ,M
2 +ix
eix
()
R
dxd
Calculemos:
lim
N ,M
lim
Z
e
M
Z N
N ,M
= ei
2 /4
As pues:
ix2 +ix
Z
dx =
N ,M
i(x+/2)2 i 2 /4
e
2
2 /4
ei(x
ei/4
2 +x+ 2 /4 2 /4)
dx =
i 2 /4
N +/2
lim
eiy dy =
M +/2

i 2
= exp
( )
4
dx = e
eiy dy = ei
lim
N ,M
ix2
(F [e
], ) =
103

i 2
i 2
( ) ()d
exp
( ) ,
4
4

exp
LQQD.
Una necesaria observaci
on: La demostracion de arriba fue hecha para D, pero
como vimos que D es denso en S, por lo tanto la demostracion es valida para las funciones
de base de S.
4. Demostrar que:
F [] = () + iP
F [(x)] = () iP
(4.69)
1
(4.70)
DEMOSTRACION: Para todo a > 0 tenemos que:

ax
F [(x)e
]=
(x)eax eix dx =
=
0
ei(+ia)x
i
|0 =
i( + ia)
+ ia
(4.71)
pues Re[i( + ia)] a < 0.

Por lo tanto:
i
a0+ + ia
lim F [(x)eax ] = lim
a0+
de donde
F [(x)] =
i
+ i0
pero, la formula de Sojotsky (1.59) era:

1
1
= i() + P
+ i0
por lo que, efectivamente, se verifica la validez de (4.69). (4.70) se demuestra de manera

analoga, lo que se deja al lector como ejercicio.
5. Demostrar que:

1
F P
= 2C 2 ln ||
|x|
donde C es la constante de Euler:
(4.72)
104
Jose Marn Antu

na
Z
C=
0
1 cos u
du
u
Z
1
cos u
du
u
(4.73)
1
y la funcion generalizada P |x|
se define formalmente como:
1
P ,
|x|
Z
=
|x|<1
(x) (0)
dx +
|x|
DEMOSTRACION: Para S tenemos:
Z
|x|>1
(x)
|x|
(4.74)
105

Z 1
Z
1
F [](x) F [](0)
1
F [](x)
F P
, = P , F [] =
dx +
dx =
|x|
|x|
|x|
|x|
1
|x|>1
Z

Z 1
Z
Z
Z
1
1
ix
i0
=
()e d
()e d dx +
()eix ddx =
1 |x|
|x|>1 |x|
Z 1
Z
Z
Z
1
1
ix
=
()(e 1)ddx +
()eix ddx =
|x|
|x|
1
|x|>1
Z 0
Z
Z 1 Z
1
1
=
()(eix 1)ddx +
()(eix 1)ddx +
x
x
1
Z Z
Z
Z 1
1
1
()eix ddx +
()eix ddx =
+
x
x
1
Z 1Z
Z 1Z
ix
e
1
eix 1
()
()
=
ddx +
ddx +
x
x
0
0
Z Z
Z Z
eix
eix
+
()
()
ddx +
ddx =
x
x
1
Z 1Z
Z Z
cos x 1
cos x
()
()
=2
ddx + 2
ddx =
x
x
0
Z 1
Z
Z Z 0
cos x 1
() sin x
()
=2
dxdxi 2
ddx =
x
x2
0
Z
Z
Z
Z
cos u 1
sin x
0
()
()
=2
dud 2
dxd =
u
x2
0
1
Z
Z
cos u 1
=2
()
dud
u
0

Z
Z
Z
Z
sin x
sin x
()
2
()
dx d + 2
dxd =
2
x
1
x2

1
Z

Z
Z
cos u 1
cos u
du +
du d =
()
=2
u
u
Z 1

Z
Z
Z
Z
cos u 1
cos u
du
cos u
=2
()
du +
du
+
d =
u
u
u
0
1
1 u
Z 1

Z
Z
1 cos u
cos u
= 2
()
du
du + ln || d
u
u
0
1
Z
2
()(C + ln ||)d (2(C + ln |), )
LQQD!
6. Anteriormente, establecimos la formula (2.44):
X
k=
(x 2k) =
1 X ikx
e
2 k=
lo que es valido tambien en S 0 . Y como por (4.41) F [(x k)] = eikx , por lo tanto:
106
Jose Marn Antu

na
(x 2k) =
k=
F [(x k)]
k=
Apliquemos esta igualdad a S:

A la izquierda tenemos:
!
(x 2k),
= 2
k=
((x k), ) = 2
k=
(2k)
k=
y, a la derecha:
!
F [(x k)],
k=
((x k), F []) =
k=
F [](k)
k=
(2k) =
k=
F [](k)
(4.75)
k=
que se conoce con el nombre de F

ormula de suma de Poisson.
Si en esta formula tomamos:
tx2
(x) = exp 2
4

entonces:
2 2
2

F []() = exp
, t > 0
t
t
y se obtiene:
X
k=
tk2
r
=
2 2
X
k
exp
t k=
t
La formula (4.76) aparece en la teora de funciones elpticas.
(4.76)
4.8
107
Ejemplos, n 2
1. Sea SR la capa simple sobre la esfera SR en R3 . Demostrar que

F [SR ] = 4R
sin R||
||
(4.77)
DEMOSTRACION:
Como SR es una funcion finita, aplicamos la formula (4.61): F [f ] = (f, (x)eix ). Tenemos:
ix
F [SR ] = (SR (x), (x)e
eix dSx
=
SR
pues (x) = 1 en el soporte de SR , o sea, sobre SR .

Pero Sx = R2 sin dd y, como al recorrer SR , y recorren todos sus valores, colocamos
en la direccion de Ox3 . Entonces, x = |||x| cos = ||R cos y, por lo tanto:
F [SR ] = R
iR|| cos
= 2R2
e
Z
sin dd = 2R
eiR|| cos sin d =
0
1
eiR||y dy =
sin R||
2R iR||
[e
eiR|| = 4R
i||
LQQD.
2. Sea n = 2.
DEFINICION: P |x|1 2 S 0 se define como:

1
P 2,
|x|
Z
=
|x|<1
(x) (0)
+
|x|2
Z
|x|>1
(x)
|x|2
(4.78)
Entonces, demostrar que:

1
F P 2 = 2 ln || 2C0
|x|
(4.79)
donde
Z
C0 =
0
1 J0 (u)
du
u
Z
1
J0 (u)
du
u
(4.80)
108
Jose Marn Antu

na

1
1
F P 2 , = P 2 , F [] =
|x|
|x|
Z
Z
F [](x)
F [](x) F [](0)
dx
+
dx =
=
|x|2
|x|2
|x|>1
|x|<1
Z
Z
Z
Z
1
1
ix
=
()[e 1]ddx +
()[eix ddx =
2
2
|x|
|x|
|x|<1
|x|>1
Z 1 Z 2 Z
1
=
()[eir|| cos 1]rdrdd +
2
0 r
0
Z Z 2 Z
1
()eir|| cos rdrdd =
+
2
r
1
0
Z 2

Z 1 Z
1
ir|| cos
=
()
e
d 2 ddr +
0 r
0

Z 2
Z Z
1
ir|| cos
e
d ddr
+
()
r
0
1
Pero:
1
J0 (x) =
2
eix cos d
(4.81)
es la integral de Bessel. Por lo tanto,

Z Z
Z 1 Z
1
1
F P 2 ,
()[J0 (r||) 1]ddr + 2
()J0 (r||)ddr =
= 2
|x|
1
0 r
Z 1

Z
Z
Z
J0 (r||)
J0 (r||) 1
= 2
()
()
d + 2
drd =
r
r
1
(Z
)
Z
Z
||
J0 (u) 1
J0 (u)
()
= 2
du +
du d
(4.82)
u
u
0
||
Analicemos la expresion entre llaves en (4.82):
(Z
0
=
0
J0 (u) 1
du +
u
||
J0 (u)
du
u
)
=
Z ||
Z
J0 (u) 1
J0 (u) 1
J0 (u)
=
du +
du +
du =
u
u
u
0
1
||
Z ||
Z
Z
Z
J0 (u) 1
J0 (u) 1
J0 (u)
du
J0 (u)
du +
du +
du
+
du =
u
u
u
u
1
1
1 u
||
Z 1
Z
1 J0 (u)
J0 (u)
=
du ln || +
du =
u
u
0
1
Z 1

Z
1 J0 (u)
J0 (u)
du
du ln || C0 ln ||
=
u
u
0
1
Z
||
109
Por lo tanto:

Z
1
F P 2 , = 2
()(C0 + ln ||)d
|x|
(2C0 2 ln ||, )
(4.83)
LQQD.
3. Demostrar que:
"
(R |x|)
F p
R2 |x|2
#
= 2
sin R||
, n = 2
||
(4.84)
teniendo en cuenta la identidad

1
Z
0
J0 (xy)xdx
1
= sin y
y
1 x2
(4.85)
DEMOSTRACION: Tenemos que:

"
# Z
(R |x|)
eix dx
p
F p
=
=
R2 |x|2
R2 |x|2
|x|<R
Z R Z 2 ir|| cos
Z R
Z 2
e
r
=
rdrd =
eir|| cos ddr =
2
2
2
2
R r
R r 0
0
0
0
Z 1
Z R
uJ0 (R||u)du
sin R||
rJ0 (r||)dr
= 2R
= 2
= 2
2
2
2
||
R r
1u
0
0
LQQD.
4. Demostrar que:

1
2i
F
=
z
(4.86)
DEMOSTRACION: Vimos anteriormente la formula (2.156):

1
1
z z
2
+i
x
y
1
=
z
Por lo tanto:
1
F
2
La parte izquierda es:

+i
x
y

1
= F [] =
z
(4.87)
110
Jose Marn Antu

na
1
=
2

1
1
1
1
1
f
+ iF
=
iF
+ i(i)F
=
x z
y z
2
z
z

1
1
= (i)F
( + i)
2
z
Por lo tanto:

i
1
F
=
2
z
De donde se obtiene (4.86).
5. Demostrar que:

1
2 2
F
, n = 3
=
|x|2
||

DEMOSTRACION: Como
1
|x|2
(4.88)
es localmente integrable en R3 , tenemos:
Z

1
1
1
f
, F [] =
f []dx =
, =
2
2
2
|x|
|x|
R3 |x|
Z
Z
Z
Z
1
eix
ix
= lim
()e ddx = lim
()
dxd =
2
R |x|<R |x|2
R
|x|<R |x|
Z R Z Z 2 i||r cos
Z
e
= lim
()
r2 dr sin ddd =
2
R
r
0
0
0
Z
Z RZ 1
i||r
=
= 2 lim
()
ei||ry drdyd
R
i||r
0
1
Z
Z R i||ry
Z
Z
e
() R sin ||r
1
= 2 lim
()
| drd = 4
drd =
R
i||r 1
r
0
||
0
(esta integral converge para || 6= 0)
Z
= 4
()
d = 2 2
||
2
LQQD.
4.9
Demostrar:
()
d
||
2 2
,
||

1.
111

1
F
= isign
x
(4.89)
(4.90)
2.
F [signx] = 2iP
3.
F [(x)x] = i 0 () P
4.

1
F P 2 = ||
x
5.
F [|x|] = 2P
1
2
1
2
(4.91)
(4.92)
(4.93)
112
Jose Marn Antu

na
Captulo 5
Soluciones fundamentales de los
operadores diferenciales lineales
5.1
Soluci
on generalizada de una ecuaci
on
Sea a C (Rn ) y la ecuacion diferencial lineal de orden m:

m
X
a (x)D u = f (x)
(5.1)
||=0
con f D0 .
Introduzcamos la notacion:
L(x, D)
m
X
a (x)D
(5.2)
||=0
que es un operador diferencial lineal. Entonces, la ecuacion adopta la forma:
L(x, D)u = f (x)
(5.3)
DEFINICION: Se llama Soluci

on generalizada de (5.1) en la region G a la funcion
0
generalizada u D tal que para toda D(G):
(L(x, D)u, ) = (f, )

O sea, satisface la ecuacion en sentido generalizado.
113
(5.4)
114
Jose Marn Antu

na
La expresion (5.4) es equivalente a

(u, L (x, D)) = (f, )
(5.5)
donde
L (x, D)
m
X
(1)|| D (a )
(5.6)
||=0
lo que puede demostrarse con facilidad a partir de lo estudiado en los captulos anteriores.
TEOREMA 1: Toda solucion clasica es a la vez generalizada.
DEMOSTRACION:
Es obvio, pues si es clasica, entonces para cualquier D(G) cumple tambien (5.4) y, por lo
tanto, es generalizada.
TEOREMA 2: Si f C(G) y en G la solucion generalizada u(x) de (5.1) pertenece a C m (G),
entonces tambien es solucion clasica de (5.1) en G.
DEMOSTRACION:
Como u D0 C m (G), por lo tanto, las derivadas clasicas y las generalizadas coinciden. Como,
por hipotesis, u es solucion generalizada de (5.1), por lo tanto L(x, D)u f 0 en el sentido
de las funciones generalizadas.
Pero, por el Lema de du Bois-Reymond, que deca: Para que f (x) localmente integrable en G
sea cero en G en el sentido de las funciones generalizadas, es necesario y suficiente que f (x) = 0
en casi todo punto de G, tenemos que, por lo tanto, L(x, D)u f (x) = 0 en G, lo que significa
que se cumple la ecuacion en sentido clasico, lo que significa que u es tambien solucion clasica.
LQQD.
5.2
Soluci
on fundamental
Sean a (x) a = const. Entonces L(x, D) se convierte en
L(D) =
m
X
||=0
a D
(5.7)
Soluciones fundamentales de los operadores diferenciales lineales
L (D) = L(D)
115
(5.8)
DEFINICION: Soluci
on fundamental (funci
on de influencia) del operador diferencial L(D) se llama a la funcion generalizada E D0 que satisface en Rn la ecuacion
L(D)E = (x)
(5.9)
TEOREMA: La solucion fundamental no es u

nica: se determina con exactitud de un sumando
que es solucion de la ecuacion homogenea L(D)E0 = 0.
DEMOSTRACION:
Por hipotesis, L(D)E = (x) y L(D)E0 = 0. Por lo tanto:
L(D)(E + E0 ) = (x)
LQQD.
TEOREMA (importante): Para que E S 0 sea solucion fundamental del operador L(D)
es necesario y suficiente que su transformada de Fourier F [E] cumpla la ecuacion
L(i)F [E] = 1
(5.10)
donde
L() =
m
X
(5.11)
||=0
DEMOSTRACION:
Necesidad:
Aqu la hipotesis es: L(D)E = (x). Apliquemos Fourier: F [L(D)E] = 1. Pero:
F [L(D)E] = F
m
X
||=0
a D E =
m
X
a F [D E] =
||=0
(teniendo en cuenta la propiedad de la transformada de la derivada)
m
X
||=0
a (i) F [E] L(i)F [E]
(5.12)
116
Jose Marn Antu

na
Por lo tanto, efectivamente L(i)F [E] = 1. Es decir, (5.10).

Demostrada la necesidad.
Suficiencia:
Por hipotesis ahora se cumple (5.10). Pero por (5.12) esto significa que
F [L(D)E] = 1 F []
Es decir, L(D)E = (x), lo que significa que E(x) es la solucion fundamental.
Demostrada la suficiencia.
Conclusi
on del teorema: La construccion de soluciones fundamentales de crecimiento lento
de operadores diferenciales lineales equivale a resolver en S 0 ecuaciones algebraicas del tipo
P ()X = 1
(5.13)
donde P es cierto polinomio.

Denotemos por
Np = {|P () = 0}
al conjunto de ceros del polinomio P (). Entonces, no Np , la solucion de (5.13) coincide
en D0 con P 1() , y si Np 6= , entonces la solucion de (5.13) no es u
nica y las distintas soluciones
se diferencian entre s en una funcion generalizada con soporte en Np .
Ejemplo 1
La ecuacion X = 1 tiene por soluciones generalizadas las funciones generalizadas
(5.14)
1
+ i0
(5.15)
1
i0
(5.16)
donde, por las formulas de Sojotsky (1.59) y (1.60):
117
1
1
P = i()
+ i0
(5.17)
1
1
P = i()
i0
(5.18)
1
1
= 2i()
+ i0 i0
(5.19)
Las expresiones dadas por las formulas (5.17), (5.18) y (5.19) son funciones generalizadas con
soporte en Np = { = 0}.
Ejemplo 2
Sea la ecuacion
dE
+ aE = (x)
dx
(5.20)
Aplicamos la Transformada de Fourier:

(ix + a)F [E] = 1
(5.21)
de donde
F [E] =
i
x + ia
(5.22)
Aqu, Np = , pues no hay ceros sobre el eje real. Por lo tanto,

i
E(x) =
2
eix d
i
=
+ ia
2

eix
2iRes
, ia
= eax
+ ia

Por lo tanto:
E(x) = eax
(5.23)
De esta manera es como se opera.

De los ejemplos podemos afirmar lo siguiente:
1. Si P 1() es localmente integrable en Rn (en R1 en el segundo ejemplo), entonces el funcional
regular definido por ella es solucion en S 0 de la ecuacion (5.13).
118
Jose Marn Antu

na
2. Pero si P 1() no es localmente integrable en Rn (en R1 en el primer ejemplo), entonces

Hermander en 1959 demostro que la ecuacion (5.13) siempre es soluble en S 0 .
Llamemos reg P 1() a una solucion cualquiera de (5.13) en S 0 . Su construccion depende esencialmente de la estructura del conjunto Np y se hace concretamente para cada polinomio concreto
P ().
Entonces, la ecuacion (5.10) siempre es soluble en S 0 :
F [E] = reg
1
L(i)
(5.24)
Por lo tanto, todo operador diferencial lineal L(D) con coeficientes constantes tiene solucion
fundamental de crecimiento lento que se calcula as:
E(x) = F

reg

1
1
1
F reg
L(i)
(2)n
L(i)
(5.25)
Este resultado sera aplicado mas adelante. Ahora continuaremos viendo otras cosas generales.
5.3
Ecuaci
on con parte derecha
Veamos la ecuacion
L(D)u = f (x)
(5.26)
con f arbitraria.
TEOREMA: Sea f D0 tal que en D0 exista la convolucion E f . Entonces, la solucion de
(5.26) existe en D0 , es u
nica y viene dada por
u=Ef
DEMOSTRACION:
Sabemos que
D f g = D f g = D (f g) = f D g
Ademas, por definicion: L(D)E = (x).
(5.27)
119
Por lo tanto,
L(D)(E f ) L(D)E f f f
lo que significa que, efectivamente (5.27) da la solucion de (5.26).
Demostremos ahora la unicidad. Lo haremos por reduccion al absurdo: Supongamos dos soluciones u1 y u2 . Entonces, para u = u1 u2 tendremos que
L(D)u = 0
(5.28)
cuya solucion es solo la trivial. Efectivamente, teniendo en cuenta (5.28):

u u u L(D)E L(D)u E 0
COROLARIO: Si u D0 y existe en D0 la convolucion u E, entonces es valida la igualdad
u = L(D)u E
(5.29)
Sentido fsico de la soluci

on (5.27)
Como la fuente puede representarse as:
Z
f (x) = f =
f ()(x )d
(5.30)
y como L(D)E = (x), por lo tanto, cada fuente puntual f ()(x ) tiene como respuesta del
sistema la influencia puntual f ()E(x ). Por lo tanto, la solucion
Z
u(x) = E f
f ()E(x )d
es la superposici
on de estas influencias puntuales.
5.4
M
etodo del descenso
Sea la ecuacion diferencial lineal con coeficientes constantes en Rn+1 de las variables (x, t)
(x1 , x2 , ..., xn , t):
120
Jose Marn Antu

na
L D,
t

u = f (x) (t)
(5.31)
p
X
q
=
Lq (D) + L0 (D)
tq
q=1
(5.32)
con f D0 (Rn ) y donde
L D,
t
y Lq (D) son operadores diferenciales en las variables x.

Sea la funcion generalizada u D0 (Rn+1 ) y supongamos que admite una prolongacion a funciones del tipo (x)1(t) con D(Rn ) en el siguiente sentido:
Para cualquier sucesion k (t) D(R1 ), k = 1, 2, ... convergente a 1 en R1 existe el lmite:
lim (u, (x)k (t)) = (u, (x)1(t))
(5.33)
y este lmite no depende de la sucesion {k (t)}.

Denotemos por u0 al funcional (5.33):
(u0 , ) = (u, (x)1(t)) = lim (u, (x)k (t))

k
(5.34)
para todo D(Rn ). Este funcional (se ve que) es lineal y continuo; o sea, pertenece a D0 (Rn )
y se llama prolongaci
on de la funci
on u.
Como el espacio D0 (Rn ) es completo, tambien el lmite u0 D0 (Rn ).
Ejemplos de c
omo construir la prolongaci
on u0 .
R
a) Sea u(x, t) tal que |u(x, t)|dt es localmente integrable en Rn . Entonces, u0 (x) es localmente
integrable en Rn y se expresa por la integral:
Z
u(x, t)dt
u0 (x) =
Efectivamente:
u(x, t) es localmente integrable en Rn+1 y, por lo tanto, el lmite (5.33) es:
(5.35)
121
Z
lim (u, (x)k (t)) = lim
u(x, t)(x)k (t)dxdt =
k
Z
Z
Z
= u(x, t)(x)dxdt = (x)
u(x, t)dtdx
(5.36)
que existe D(Rn ) y no depende de {k (t)}. Por lo tanto, por (5.34) se obtiene (5.35).
b) Sea u(x, t) = f (x) (t), con f D0 (Rn ).
Entonces, u0 = f , pues:
(u0 , ) = lim (u, (x)k (t)) = lim (f (x) (t), (x)k (t)) =
k
= lim (f (x), (x)k (0)) = (f, )

k
(5.37)
para todo D(Rn ).

LQQD.
Tiene lugar el siguiente,
TEOREMA: Si la solucion u D0 (Rn+1 ) de la ecuacion (5.31) admite la prolongacion (5.34),
entonces, la funcion generalizada u0 D0 (Rn ) satisface la ecuacion
L0 (D)u0 = f (x)
(5.38)
DEMOSTRACION:
Sea {k (t)} 1 en R1 para k . Entonces, para q = 1, 2, ... se cumple que
(q)
{k (t) + k (t)} 1
(5.39)
en R1 tambien para todo D(Rn ):
(q)
lim (u, (x)k (t))
k
(q)
lim (u, (x)[k (t) + k (t)]) lim (u, (x)k (t)) = (u0 , ) (u0 , ) 0
k
Teniendo en cuenta (5.40), comprobemos que la funcion generalizada u0 cumple (5.38):
(5.40)
122
Jose Marn Antu

na
(L0 (D)u0 , ) = (u0 , L0 (D)) = lim (u, L0 (D)(x)k (t)) =

k
!
p
X
(q)
q
= lim (u, L0 (D)(x)k (t)) + lim u,
(1) Lq (D)(x)k (t) =
k
(5.41)
q=1
(el segundo sumando en (5.41) es cero por (5.40), o sea, sumamos un cero)
p
X
"
#
!
q
= lim u, L0 (D) +
Lq (D) (x)k (t) =

k
t
q=1

= lim u, L D,
(x)k (t) = lim L D,
u, (x)k (t) =
k
k
t
t
(5.42)
(por (5.31))
= lim (f (x) (t), (x)k (t)) = lim (f (x), (x)k (0)) = (f, )
k
(5.43)
Por lo tanto, queda demostrado que L0 (D)u0 = f en sentido generalizado.

El metodo para obtener la solucion u0 de (5.38) con n variables a partir de la solucion u(x, t)
de (5.31) con n + 1 variables se llama M
etodo del descenso respecto a la variable t o
M
etodo de Hadamard. Es muy u
til y comodo para construir funciones fundamentales.
Efectivamente, aplicando el teorema para f = (x):
Si E(x, t), solucion fundamental de

L D,
t
admite una prolongacion E0 del tipo (5.34), entonces la funcion generalizada

(E0 , ) = (E, (x)1(t)), D(Rn )
es la solucion fundamental de L0 (D). En particular, si E(x, t) es tal que
mente integrable en Rn , entonces:
Z
(5.44)
R
|E(x, t)|dt es local-
E(x) =
E(x, t)dt
(5.45)
123
Aunque mas adelante aplicaremos todo esto para hallar soluciones fundamentales de importancia y utilidad para la Fsica, a continuacion veremos el caso particular de un operador con
derivadas ordinarias.
5.5
Soluci
on fundamental del operador diferencial lineal
con derivadas ordinarias
En un ejemplo en un captulo anterior, donde analizamos la funcion (2.65) demostramos que

E(t) = (t)Z(t)
(5.46)
es la solucion de la ecuacion
LE
dn E
dn1 E
+
a
+ ... + an E = (t)
1
dtn
dtn1
(5.47)
donde Z(t) es la solucion del problema de Cauchy:
Z(0) = Z (0) = ... = Z
(n2)
(0) = 0; Z
LZ = 0
(0) = 1
(5.48)
(n1)
Ahora podemos afirmar que (5.46) es la solucion fundamental de ese operador.

Dos casos particulares de interes para las aplicaciones fsicas son:
1.
L=
d
+a
dt
(5.49)
Entonces el problema (5.48) es:

dZ
+ aZ = 0
dt
Z(0) = 1
(5.50)
cuya solucion es
Z(t) = eat
(5.51)
E(t) = (t)eat
(5.52)
Por lo tanto,
124
Jose Marn Antu

na
2.
L=
d2
+ a2
dt2
(5.53)
Entonces el problema (5.48) es:
d2 Z
+ a2 Z = 0
dt2
Z(0) = 0, Z 0 (0) = 1
(5.54)
cuya solucion es:

Z(t) =
sin at
a
(5.55)
Por consiguiente,
E(t) = (t)
5.6
sin at
a
(5.56)
Soluci
on fundamental del operador de conducci
on
del calor
Busquemos la solucion fundamental del operador que describe la propagacion de calor o la

difusion. Sea
E
a2 2 E = (x, t)
t
Apliquemos el metodo explicado en los epgrafes anteriores:
Aplicamos la transformada de Fourier respecto a la variable espacial x:

Fx

E
a2 Fx [2 E] = Fx [(x, t)] = Fx [(x) (t)] = 1()(t)
t
Ademas:

Fx
y

E
= Fx [E]
t
t
(5.57)
125
Fx [2 E] = ||2 Fx [E]
E(, t)
+ a2 ||2 E(, t) = 1()(t)
t
(5.58)
donde hemos llamado E(, t) a la transformada de Fourier de E(x, t). O sea:
E(, t) Fx [E](, t)
(5.59)
Por (5.52) tenemos que:

E(, t) = (t)ea
2 ||2 t
(5.60)
Por lo tanto, aplicando la transformada inversa:

(t)
E(x, t) =
(2)n
a2 ||2 tix

(t)
|x|2
d = ... =
exp 2
4a t
(2a t)n
(5.61)
que se obtiene por metodos tradicionales de calculo.
5.7
Soluci
on fundamental del operador de onda (DAlembert)
Sea
2 En
a2 2 En = (x, t)
2
t
(5.62)
En (, t) = Fx [En (x, t)]
(5.63)
y sea
la transformada de Fourier de la solucion fundamental E(x, t).

Entonces, aplicando transformada de Fourier a (5.62) se obtiene
126
Jose Marn Antu

na
2 En (, t)
+ a2 ||2 En = 1()(t)
t2
(5.64)
Entonces, por (5.56):
En (, t) = (t)
sin a||t
a||
(5.65)
O sea:
En (x, t) =
(t)F1
sin a||t
a||

(5.66)
Veamos varios casos particulares:

1. n = 3. O sea, en R3 .
Anteriormente vimos la formula (4.77) que era
F [SR ] = 4R
sin R||
||
Por lo tanto:
F

sin a||t
1
S (x)
=
a||
4at at
(5.67)
Por consiguiente, de (5.66):

E3 (x, t) =
(t)
(t) 2 2
Sat (x)
(a t |x|2 )
2
4a t
2a
(5.68)
La funcion E3 (x, t) obtenida en (5.68) act

ua seg
un la regla:
1
(E3 , ) =
4a2
dt
1
(Sat , )
t
4a2
Z
0
1
t
con S(R4 ).
2. n = 2.
En un ejercicio obtuvimos la expresion (4.84):
"
(R |x|)
F p
R2 |x|2
Por lo tanto:
#
= 2
sin R||
||
(x, t)dSx dt
Sat
(5.69)
E2 (x, t) =
(t) (at |x|)

p
2a a2 t2 |x|2
127
(5.70)
Comparar este resultado con el obtenido en el libro de Metodos Matematicos de la Fsica del
autor.
5.8
Soluci
on fundamental del operador de Laplace
Este es:
2 En = (x)
(5.71)
Usamos el metodo desarrollado: Aplicar la transformada de Fourier:

||2 En () = 1
(5.72)
Caso n = 2:
En este caso, como
1
||2
es absolutamente integrable, por lo tanto:
E2 () = P
1
||2
(5.73)
De aqu que:
E2 (x) = F

1
1
1
P 2 = 2F P 2
||
4
||
(5.74)
Ya vimos la formula (4.79) que estableca que

1
F P 2 = 2 ln || 2C0
|x|
Por lo tanto:
E2 (x) =
1
C0
ln |x| +
2
2
(5.75)
Como 2 C20 0 y la solucion fundamental se obtiene con exactitud de una solucion de la

ecuacion homogenea, por lo tanto:
128
Jose Marn Antu

na
E2 (x) =
1
ln |x|
2
(5.76)
Caso n = 3:
Aqu ||12 es localmente integrable en R3 . Por lo tanto:
E3 (x) = F

1
1
1
=
F
||2
(2)3
||2
(5.77)
Pero, ya vimos en la formula (4.88) que:

1
2 2
F
=
|x|2
|x|

Por lo tanto
E3 (x) =
1 2 2
1
3
8 |x|
4|x|
(5.78)
conocidsima solucion fundamental del operador de Laplace en tres dimensiones y que puede
verse tambien en el libro de Metodos Mamtematicos de la Fsica del autor.
Caso n > 3:
Aqu aplicamos el metodo del descenso que estudiamos en este captulo a la ecuacion con a = 1:
E
2 E = (x)(t)
t
(5.79)
2 E = (x)1(t)
(5.80)

(t)
|x|2
E(x, t) = n exp
4t
(2 t)
(5.81)
Como resultado, se obtiene:
La solucion era:
Por lo tanto, aplicando el metodo obtenemos:

Z
En (x) =
Z
E(x, t)dt =

1
|x|2
exp
dt =
4t
(2 t)n
129
haciendo el cambio de variable u = |x|2 /(4t)
Z
=
0
4n/2 un/2 u |x|2 du

|x|n+2
e
=
2n n/2 |x|n
4u2
4 n/2
eu un/22 du =

|x|n+2 n
=
1
4 n/2
2
(5.82)
y, como
(n/2)
1 = n
2
1
2
n
(5.83)
pues (x) = (x 1)(x 1), queda:

n
|x|n+2
En (x) =
(n 2)2 n/2
2
(5.84)
O sea:
En (x) =
1
|x|n+2
(n 2)n
(5.85)
con
n =
5.9
2 n/2

n2
(5.86)
Soluci
on fundamental de la ecuaci
on de Helmholtz
Aqu tenemos:
(2 + k 2 )En = (x)
(5.87)
Ya vimos en R3 que:
E3 (x) =
y que
eik|x|
4|x|
(5.88)
130
Jose Marn Antu

na
E3 (x) =
eik|x|
4|x|
(5.89)
Calculemos en R2 , o sea, para n = 2. Aplicamos la transformada de Fourier:

(||2 + k 2 )E2 () = 1
(5.90)
Escribamos la solucion de (5.90) as:
E2 () = lim
0 k 2
1
1
2
2
+ i ||
k + i0 ||2
(5.91)
Como la transformada de Fourier es continua:
E2 (x) = F

Z
1
1
eix d
lim
lim
=
=
k 2 + i0 ||2
4 2 0 R ||<R k 2 + i ||2
(usando coordenadas polares)
Z R Z 2
1
exp{ir|x| cos }rdrd
= 2 lim lim
=
4 0 R 0 0
k 2 + i r2

Z 2
Z R
1
r
= 2 lim lim
exp{ir|x| cos }d dr =
4 0 R 0 k 2 + i r2
0
Z R
Z
1
1
rJ0 (r|x|)dr
rJ0 (r|x|)dr
lim lim
=
lim
=
=
2
2
2
2 0 R 0 k + i r
2 0+ 0 r (k 2 + i)
Z
1
rJ0 (r|x|)dr
= lim
=
2 0 0 r2 + [i k 2 + i]2
1
1
1 (1)
= lim K0 (i k 2 + i|x|) = K0 (ik|x|)
iH (k|x|)
2 0
2
2 2 0
(5.92)
En los calculos de arriba hemos tenido en cuenta que:

Z
0
xJ0 (ax)dx
= K0 (ak)
x2 + k 2
(5.93)
con a > 0 y Rek > 0, donde K0 (x) es la funcion cilndrica de argumento imaginario de segundo
tipo (funcion de MacDonald); ademas, que
K0 (x) =
(1)
iH (ix)
2 0
(5.94)
131
por lo que
(1)
iH (x)
2 0
(5.95)
i (1)
E2 (x) = H0 (k|x|)
4
(5.96)
i (2)
E2 (x) = H0 (k|x|)
4
(5.97)
K0 (ix) =
(1)
donde H0 es la conocida funcion de Hankel.

Finalmente, se obtiene:
y su conjugada:
5.10
Otras soluciones fundamentales
En este epgrafe simplemente expondremos sin demostracion algunos resultados u

tiles en las
aplicaciones.
1. Soluci
on fundamental del operador de DAlembert en Rn
Para la ecuacion
2 En
a2 2n En = (x, t)
t2
(5.98)
la solucion es:
(t)
En (x, t) =
2a
d2
a2 dt2
n3
2
(a2 t2 |x|2 )
(5.99)
para n 3 impar y
(1)n/21 (n+1)/2
En (x, t) =
2a
n1
2
(at |x|)
p
(a2 t2 |x|2 )n1
(5.100)
para n 2 par
Su empleo para n 6= 2, 3 es en espacios mas complejos de coordenadas generalizadas,
superstrings, etc.
132
Jose Marn Antu

na
2. Soluciones fundamentales del operador de Klein-Gordon

La ecuacion de Klein-Gordon es:

2
2
2
+ m0 E = (x, t)
t2
(5.101)
donde x0 = ct y x = (x1 , x2 , x3 ); c es la velocidad de la luz.

Esta ecuacion describe la partcula relativista pseudoescalar. Las soluciones son:
E r (x0 , x)
p
J1 (m0 x20 |x|2 )
m0
(x0 )
2
2
r
p
(x0 |x| )
(x0 |x|)
D (x0 , x) =
2
4
x20 |x|2
E a (x0 , x) Da (x0 , x) = E r (x0 , x)
(5.102)
(5.103)
La notacion usada con mayor frecuencia en la Mecanica Cuantica Relativista es con las
letras D. Tambien se definen las funciones:
D+ (x0 , x) =
D (x0 , x) =
1
F [(0 )(02 ||2 m20 )]
8 3 i
(5.104)
1
F [(0 )(02 ||2 m20 )]
8 3 i
(5.105)
que satisfacen la ecuacion de Klein-Gordon y la relacion

D+ + D = Dr Da
(5.106)
Las funciones Dr , Da , D+ y D juegan un papel importante en la teora cuantica del

campo.
3. Soluci
on fundamental del operador de Schrodinger
La ecuacion de Schrodinger para la solucion fundamental es

~2 2
i~ +
E(x, t) = (x, t)
t 2m0
(5.107)
y la solucion fundamental tiene la forma:
E(x, t) =
n m
i(t) m0 n2
n o
0
exp i
|x|2
~
2~t
2~t
4
(5.108)
5.11
133
1. Demostrar la igualdad de la parte extrema derecha de la formula (5.61) para la solucion

fundamental del operador de conduccion del calor:

(t)
|x|2
E(x, t) =
exp 2
4a t
(2a t)n
(5.109)
2. Demostrar la igualdad a la derecha de (5.68). Para ello, tener presente que

(x2 a2 ) =
(x a) + (x + a)
2|a|
(5.110)
3. Comprobar que E3 (x, t) dada por la formula (5.68) se convierte en la funcion de Green
que se obtuvo en el libro de Metodos Matematicos de la Fsica del autor para la ecuacion
escrita de manera diferente:
1 2E
2 E = (x, t)
a2 t2
(5.111)

|x|
1
t
E(x, t) G(x, t) =
2a|x|
a
(5.112)
y que tena la forma:
134
Jose Marn Antu

na
Bibliografa
1. Marn Antu
na J. Metodos Matematicos de la Fsica. ENPES, La Habana, Cuba, 1994.
2. Vladmirov V.V. Ecuaciones de la Fsica Matematica. Editorial Nauka, Mosc
u, 1975.
3. Marn Antu
na J. Teora de Funciones de Variable Compleja.Editorial Pueblo y Educacion, Cuba, 1977; segunda edicion, 1990.
4. Shilov G.E. Analisis Matematico, Segundo curso especial. Editorial Nauka, Mosc
u,1965.
135

2639

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

2639

Cargado por

Copyright:

Formatos disponibles

TEORA DE FUNCIONES

TEXTO DE LAS CARRERAS LICENCIATURA E

Ampliacion del concepto de funcion . . . . . . . . . . . . . . . . . . . . . . . . .

Funciones de base y funciones generalizadas . . . . . . . . . . . . . . . . . . . . 11

Espacio D de las funciones de base . . . . . . . . . . . . . . . . . . . . . . . . . 14

Espacio D de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . 16

Funciones Generalizadas Singulares . . . . . . . . . . . . . . . . . . . . . . . . . 21

Cambio de variables lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

Producto de funciones generalizadas. . . . . . . . . . . . . . . . . . . . . . . . . 25

1.10 Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

Primitiva de una funcion generalizada . . . . . . . . . . . . . . . . . . . . . . . . 37

Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3 Producto Directo y Convoluci

Convolucion de funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . . 68

Regularizacion de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . 79

Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

4 Funciones generalizadas de crecimiento lento (atemperadas)

Espacio S de funciones de base . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

Espacio S 0 de funciones generalizadas de crecimiento lento . . . . . . . . . . . . 89

Transformada de Fourier de las funciones generalizadas de crecimiento lento . . 92

Transformada de Fourier de las funciones de base de S . . . . . . . . . . 92

Transformada de Fourier de funciones generalizadas de S 0 . . . . . . . . . 94

Propiedades de la transformada de Fourier . . . . . . . . . . . . . . . . . . . . . 98

Transformada de Fourier de funciones generalizadas con soporte compacto . . . 100

Transformada de Fourier de la convolucion . . . . . . . . . . . . . . . . . . . . . 101

Ejemplos, n=1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

5 Soluciones fundamentales de los operadores diferenciales lineales

Solucion generalizada de una ecuacion . . . . . . . . . . . . . . . . . . . . . . . 113

Solucion fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

Ecuacion con parte derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

Metodo del descenso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

Solucion fundamental del operador de conduccion del calor . . . . . . . . . . . . 124

Solucion fundamental del operador de onda (DAlembert) . . . . . . . . . . . . . 125

Solucion fundamental del operador de Laplace . . . . . . . . . . . . . . . . . . . 127

Solucion fundamental de la ecuacion de Helmholtz . . . . . . . . . . . . . . . . . 129

5.10 Otras soluciones fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

Jose Marn Antu

DEFINICION 1: Llamamos funci

con ab > 1 + 3/2, a > 1 entero impar y 0 < b < 1.

Jose Marn Antu

donde (x) = 1, x > 0 y (x) = 0, x < 0 es la funcion paso unitario de Heaviside.

Ademas, de la convergencia de fn (x) a f (x) no siempre se deduce la convergencia de fn0 (x) a

que en realidad es la integral entre a y b debido a como es (x).

f (x)0 (x)dx (f, 0 )

Funciones de base y funciones generalizadas

Previamente, veamos algunas notaciones que usaremos:

Jose Marn Antu

Por tanto, |x y| es la distancia eucl dea entre los puntos x y y.

f (x) = 0, |x| >

(x) = lim f (x) = 0, x 6= 0

Por lo tanto, es de esperar que

|(x) (0)|dx <

Jose Marn Antu

Si en el punto x = 0 esta concentrada la masa m, entonces la densidad correspondiente es

En general, si en distintos puntos xk , (k = 1, 2, ..., N ) estan concentradas las masas mk , la

Espacio D de las funciones de base

donde interpretamos: D0 f (x) = f (x), D = (D1 , D2 , ..., Dn ), Dj =

Otras notaciones son: fx0 i , fx00i xj , etc.

DEFINICION 2: La sucesion de funciones {k (x)}, con k D converge a (x) D si:

cuando x Rn . En este caso escribiremos:

(x) = C e 2 |x|2 , |x|

Jose Marn Antu

EJERCICIO: El lector debe demostrar que