Teoria de Funciones Generalizadas

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 !, "edado, #a $a%ana, C&%a.
E'mail( ed&niv)mes.ed&.c&
*el+,ono( -.53/0 13/ 4531
e 234N versin electrnica 5/1'555'16'22/6'1
6 *odos los derec7os reservados Jos Migu! M"#$% A%&u'", Profesor
Emrito. Facultad de Fsica de La Universidad de La Habana. Cuba. E'mail(
marin),isica.&7.c&
Indice
Introducci on 7
1 Conceptos Iniciales 9
1.1 Ampliacion del concepto de funcion . . . . . . . . . . . . . . . . . . . . . . . . . 9
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 integracion 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
3 Producto Directo y Convolucion de Funciones Generalizadas 65
3
4

INDICE
3.1 Producto Directo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 Convoluci on de funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . . 68
3.3 Propiedades de la convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4 Algebra convolucional D
+
de funciones generalizadas . . . . . . . . . . . . . . . 74
3.5 Ecuaciones en el algebra convolucional D
+
. . . . . . . . . . . . . . . . . . . . . 75
3.6 Regularizaci on de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . 79
3.7 Ejemplos de convoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4 Funciones generalizadas de crecimiento lento (atemperadas) 87
4.1 Espacio S de funciones de base . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2 Espacio S
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
. . . . . . . . . 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
5 Soluciones fundamentales de los operadores diferenciales lineales 113
5.1 Solucion generalizada de una ecuaci on . . . . . . . . . . . . . . . . . . . . . . . 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
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 ecuaci on de Helmholtz . . . . . . . . . . . . . . . . . 129
5.10 Otras soluciones fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Bibliografa 135
6

INDICE
Introduccion
Hemos odo expresiones: funcion generalizada, solucion generalizada de una ecuaci on diferen-
cial, etc. Estudiaremos de manera consecuente estos conceptos y su uso.
El concepto de funcion generalizada se ha desarrollado gracias a la Fsica Matem atica y surgio
para darle un sentido matem atico claro a conceptos usados en la Fsica, tales como funcion delta
de Dirac, funci on 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 S oboliev (1936) y Schwarz (1951).
Las funciones generalizadas surgen, de manera natural, primero, al intentar extender los me-
todos 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 pr actica de las funciones generalizadas.
El libro se desarrolla en una introduccion y cinco captulos. En el primero se introducen los
conceptos de funci on 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 continuaci on se describen las funciones generalizadas atem-
peradas o de crecimiento lento y la aplicaci on 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
investigaci on en Fsica y las ingenieras.
Todo el libro esta adornado con m ultiples y esclarecedores ejemplos y al nal de cada captulo se
proponen ejercicios y problemas a resolver por el lector que le ayuden al estudio de la materia.
7
8 Jose Marn Antu na
Captulo 1
Conceptos Iniciales
1.1 Ampliacion del concepto de funci on
DEFINICION 1: Llamamos funcion clasica (antes, funcion) a y = f(x), denida para todo
< x < que en cada [a, b] nito toma valores reales y es integrable Lebesgue.
Ejemplo: Toda funci on continua en [a, b]; toda funci on acotada en [a, b].
DEFINICION 2: f
1
(x) y f
2
(x) son la misma funcion cl asica, si en casi todos los puntos
f
1
(x) = f
2
(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 funci on cl asica, pero la
derivaci on no: algunas funciones clasicas, incluso continuas, no tienen, en general, derivada.
Por ejemplo, la funci on de Weierstrass (1872):
f(x) =
n=0
b
n
cos(a
n
x) (1.1)
con ab > 1 + 3/2, a > 1 entero impar y 0 < b < 1.
Esta funci on es continua, pero no admite derivada en ning un punto. Por lo tanto, no es
susceptible de representacion graca.
Otro ejemplo es la curva de Von Koch. Esta se construye tomando un segmento AB y di-
vidiendolo en tres partes iguales. Con su pedazo central se construye el triangulo equil atero
CDE. Uniendo los puntos se obtiene una lnea quebrada AEB que llamamos L
1
y otra que-
brada ACEDB que llamamos L
2
. 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 di-
vidimos 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 L
3
a la quebrada ANCPEQDRB en
tanto llamamos L
4
a la quebrada AFNGCHPIEJQKDLRMB. Repetimos la operacion y
obtenemos dos quebradas que llamamos L
5
y L
6
y repetimos el procedimiento indenidamente.
9
10 Jose Marn Antu na
La regi on del plano entre las quebradas L
2n1
y L
2n
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 cl asicas que tienen derivada, pero dicha derivada ya no es clasica.
Por ejemplo:
y =
1
_
[x[
(1.2)
y
=
(x) (x)
2[x[
_
[x[
(1.3)
donde (x) = 1, x > 0 y (x) = 0, x < 0 es la funci on 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
f(x) = f(a) +
_
x
a
f
()d (1.4)
Ademas, de la convergencia de f
n
(x) a f(x) no siempre se deduce la convergencia de f
n
(x) a
f
(x), incluso cuando estas derivadas existan. S olo 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 denir de manera
razonable la derivaci on:
Sea (x) una funcion acotada nita. Esto signica que (x) ,= 0 en [a, b] y (x) = 0 fuera de
[a, b]. A cada funcion clasica se puede poner en correspondencia el n umero (funcional)
(f, ) =
_

f(x)(x)dx (1.5)
que en realidad es la integral entre a y b debido a c omo es (x).
Si f(x) es absolutamente continua y tiene derivada clasica f
(x), entonces igualmente podemos

poner en correspondencia a f
(x) el n umero
Conceptos Iniciales 11
(f
, ) =
_

(x)(x)dx (1.6)
Si tambien (x) es absolutamente continua con derivada
(x) acotada, entonces, integrando

por partes:
(f
, ) = f(x)(x)[
f(x)
(x)dx (f,
) (1.7)
La expresi on de la derecha en esta formula: (f,
) sigue teniendo sentido aunque f
(x) no
exista, siempre que (x) sea nita, acotada y con derivada
(x) acotada.
Por consiguiente, aunque no exista f
(x), si s olo lo que necesitamos son los resultados de

la integracion del producto de f
(x) por funciones nitas acotadas con derivadas acotadas,

entonces dichos resultados pueden hallarse como si f
(x) existiera, calculando expresiones como

la formula (1.7).
Por tanto, ampliamos el concepto de funci on:
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 funci on por ciertas
funciones de prueba.
Si para una f(x) dada s olo se conocen esas integrales, decimos que estamos en presencia de
una funcion generalizada.
Por lo tanto, escogida adecuadamente la funci on de prueba, toda funci on 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 R
n
el espacio eucl deo de dimensi on n.
Por x = (x
1
, x
2
, ..., x
n
) denotamos a un punto de R
n
; los n umeros x
i
son las coordenadas
de x, con (i = 1, 2, ..., n)
(x, y) = x
1
y
1
+x
2
y
2
+... +x
n
y
n
es el producto escalar de dos puntos de R
n
.
[x[ =
_
(x, x) =
_
x
2
1
+x
2
2
+... +x
2
n
es la longitud (norma) del elemento x R
n
Por tanto, [x y[ es la distancia eucl dea entre los puntos x y y.
El conjunto de puntos x R
n
que cumplen que [x x
0
[ < R se llama esfera abierta de radio
R centrada en x
0
: U(x
0
, R) y U
R
= U(0, R).
La generalizacion del concepto cl asico de funci on (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 instant anea, etc.
Por otra parte, en el concepto de funci on generalizada se reeja el hecho de que, en la realidad,
no es posible medir la densidad en un punto, sino que s olo 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 dene por sus valores medios en el entorno
de cada punto. Aclaremos lo dicho con el siguiente ejemplo:
Tratemos de denir la densidad de un punto material de masa 1. Supongamos que dicho
punto est a en el origen de coordenadas. Para denir 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
4
3
, [x[ < (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
0
f
(x) = , x = 0 (1.10)
(x) = lim
0
f
(x) = 0, x ,= 0 (1.11)
Es l ogico esperar que la integral de esta densidad por cualquier volumen V de la masa de la
sustancia contenida en el volumen, pues
_
V
f
(x)dx =
3
4
3
_

0
sin d
_
2
0
d
_

0
r
2
dr = 1 (1.12)
Por lo tanto, es de esperar que
_
V
(x)dx = 1, 0 V (1.13)
_
V
(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 denicion de (x).
Veamos el lmite debil de f
(x) para 0. Es decir, para cualquier funci on (x) continua

calculemos el lmite de la sucesi on numerica
_
f
(x)(x)dx (1.15)
para 0.
Demostremos que
lim
0
_
f
(x)(x)dx = (0) (1.16)

Efectivamente: Como (x) es continua, > 0
0
> 0 tal que [x[ <
0
[(x) (0)[ < .
Sea
0
. Tenemos:
_
f
(x)(0)dx (0)
_
|x|<
[(x) (0)] dx
3
4
3
_
|x|<
[(x) (0)[dx <
3
4
3
_
|x|<
dx (1.17)
LQQD
Conclusion: El lmite debil de f
(x) para 0 es el funcional (0) que pone en correspon-

dencia a cada funci on continua (x) el n umero (0) igual a su valor en x = 0. Este funcional
es el que se toma como denici on de la densidad (x) (la conocida funci on 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:
_
f
(x)(x)dx (, ), 0 (1.18)
donde el smbolo (, ) es el n umero (0) igual al valor del funcional en la funcion . Para
obtener ahora la masa completa s olo 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 x
0
, la densidad es m(x x
0
), donde
(m(x x
0
), ) = m(x
0
) (1.20)
En general, si en distintos puntos x
k
, (k = 1, 2, ..., N) estan concentradas las masas m
k
, la
densidad correspondiente ser a
N
k=1
m
k
(x x
k
) (1.21)
Por lo tanto, la densidad dada por puntos materiales no puede describirse con el concepto clasico
de funcion y para su descripci on 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 dene a traves de funciones continuas como un funcional
lineal continuo. Por tanto, las funciones continuas son las funciones de base para la funci on
delta.
Igual se dene cualquier funcion generalizada: un funcional lineal continuo en el espacio de
funciones de base sucientemente buenas. Veamos que es el espacio D de las funciones de
base.
DEFINICION 1: Llamaremos conjunto de base D = D(R
n
) a todas las funciones nitas
diferenciables innitas veces en R
n
.
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(x
1
, x
2
, ..., x
n
)
1
x
1
2
x
2
...
n
x
n
(1.22)
donde interpretamos: D
0
f(x) = f(x), D = (D
1
, D
2
, ..., D
n
), D
j
=

x
j
Otras notaciones son: f
x
i
, f
x
i
x
j
, etc.
x
= x
1
1
x
2
2
...x
n
n
, ! =
1
!
2
!...
n
!
Aclaraciones a la Denicion 1:
1. Una funcion seccionalmente continua se llama nita si se hace cero fuera de cierta esfera.
2. Sea C(R
n
). Se llama soporte de a la clausura del conjunto de puntos donde
(x) ,= 0. Lo representaremos por supp . Es evidente que (x) es nita si y solo si
supp es acotado.
DEFINICION 2: La sucesi on de funciones
k
(x), con
k
D converge a (x) D si:
a) R > 0 tal que supp
k
U
R
b) = (
1
,
2
, ...,
n
) se cumple la convergencia uniforme siguiente:
D
k
(x) D
(x), para k (1.23)

cuando x R
n
. 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(R
n
) D.
Ejemplo: Veamos la siguiente funci on: Funcion Campana:
(x) = C
2
|x|
2
, [x[
= 0, [x[ > (1.25)
donde C
se elige de forma tal que

_

(x)dx = 1
O sea:
_

(x)dx = C
_
U
e
2
|x|
2
dx = C
_
U
e
1
1
|x|
2
2
dx =
= C
n
_
U
1
e
1
1||
2
d = 1. (1.26)
Por tanto:
C
=
1
n
_
U
1
e
1
1||
2
d
(1.27)
EJERCICIO: El lector debe demostrar que
(x) =
1
1
(x/) (1.28)
LEMA
Para cualquier region G y cualquier n umero > 0 existe la funci on C
(R
n
) tal que:
1) 0 (x) 1
2) (x) = 1, x G
(G ampliado con un entorno de G).

3) (x) = 0, x no G
3
(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 G
G, entonces existe una funci on D(G) tal que (x) = 1 para x G
.
1.4 Espacio D de las funciones generalizadas
DEFINICION: Se llama funcion 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 funci on generalizada f como f(x), entendiendo por x
el argumento de las funciones de base sobre las que act ua el funcional f.
Aclaremos la denicion:
1) La funcion generalizada f es un funcional en D, o sea, a cada D se pone en correspon-
dencia el n umero (f, ) en general complejo.
2) La funci on 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 funci on 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 D
= D
(R
n
) al conjunto de todas las funciones generalizadas. Este conjunto
es lineal si la combinaci on lineal f + g de las funciones generalizadas f y g se dene 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 D
, la combinaci on lineal f +g tambien pertenece a D
.
DEFINICION: La sucesion de funciones generalizadas f
k
con f
k
D
se dice que converge

a la funci on generalizada f D
, si para cualquier D se cumple que

(f
k
, ) (f, ) (1.32)
para k .
Es decir, la convergencia en D
la denimos como convergencia debil y escribimos f

k
f,
k pero entendiendolo como convergencia debil.
DEFINICION: El conjunto lineal D
con la convergencia denida en el (debil) se llama

espacio D
de las funciones generalizadas.

Tiene lugar un teorema que dice:
Teorema:
El espacio D
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 f
k
D
y (f
k
, ) converge para D, entonces el funcional denido por la igualdad
(f, ) = lim
k
(f
k
, ), D (1.33)
tambien pertenece a D
(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 funci on 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 armaci on es cierto, o sea:
TEOREMA:
Si f = 0 en el entorno de cada punto de G, entonces f = 0 en todo G.
La demostraci on no brinda elementos esenciales y la obviamos.
Sea la funci on generalizada f D
.
DEFINICION 1: La union de todos los entornos en los que f = 0 se llama conjunto nulo
G
f
de la funcion generalizada f. Como cada entorno es abierto, G
f
es un conjunto abierto.
DEFINICION 2: Se llama soporte de la funcion generalizada f al completamiento de
G
f
a R
n
; es decir:
supp f = R
n
G
f
(1.36)
Es obvio que supp f es un conjunto cerrado.
DEFINICION 3: Si supp f es un conjunto acotado, entonces f se llama nita.
OBSERVACIONES:
1. En cualquier region fuera del supp f, la funci on generalizada f es cero. Por lo tanto, para
que (f, ) ,= 0 tiene que ocurrir que supp
supp f ,= .
2. supp f esta compuesto s olo por aquellos puntos tales que en ning un entorno de ellos f se
hace cero.
El ejemplo m as simple de funci on generalizada es el funcional generado por una funcion f(x)
localmente integrable en R
n
:
(f, ) =
_
f(x)(x)dx, D (1.37)
PROPIEDADES:
1. Es lineal: (obvio, pues la integraci on 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:
(f,
k
) =
_
U
k
f(x)
k
(x)dx 0, k (1.39)
Conclusi on:
Efectivamente, el funcional denido arriba por (1.37) dene a una funci on generalizada en D
.
DEFINICION: Las funciones generalizadas denidas por funciones localmente integrables en
R
n
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 regi on G en el sentido
de las funciones generalizadas es necesario y suciente que f(x) = 0 en casi todos lados de G.
DEMOSTRACION:
NECESIDAD:
Por hip otesis
(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
denicion (1.40). Pero para cada vector k = (k
1
, k
2
, ..., k
n
) la funcion
k
(x) = e
i
kx
(x a) (1.41)
pertenece a D(G). O sea,
k
(x) es una funci on de base. Aqu,
(x) es la funci on campana

(1.25).
Por lo tanto:
(f,
k
)
_
f(x)
(x a)e
i
kx
dx = 0 (1.42)
Esta ultima expresion signica que todos los coecientes de Fourier de f(x)
(x a) (que es
integrable en U(a, )) en la base e
i
kx
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 signica, a su vez, que f(x) 0 en casi todo punto de G, pues a es arbitrario.
SUFICIENCIA:
Es evidente, pues, como ahora por hip otesis f(x) = 0 en casi todo punto de G, por lo tanto
(f, ) = 0 para D(G).
Demostrado el lema.
As pues, toda funci on localmente integrable en R
n
dene 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 unica localmente
integrable en R
n
.
Conclusi on: Existe una relaci on biunvoca entre las funciones localmente integrables en R
n
y
las funciones generalizadas regulares. Por lo tanto, hay una equivalencia entre la funci on 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 R
n
, son funciones
generalizadas regulares.
Por ultimo, es claro que si las funciones f
k
(x) convergen uniformemente a f(x), donde las f
k
(x)
son funciones localmente integrables en R
n
, entonces tambien convergen a f(x) en D
(R
n
), pues
para cualquier D tenemos:
(f
k
, ) =
_
f
k
(x)(x)dx
_
f(x)(x)dx (f, ), k (1.43)
DEFINICION: La funci on generalizada f pertenece a la clase C
P
(G) si en G ella coincide
con la funci on f
G
(x) C
P
(G), es decir, si para cualquier D(G) se cumple que
(f, ) =
_
f
G
(x)(x)dx (1.44)
1.6 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 funci on (x):
(, ) = (0), D (1.45)
Es obvio que D
y que (x) = 0, x ,= 0, lo que signica que supp = 0.

TEOREMA: (x) es una funci on generalizada singular.
DEMOSTRACION
Por reduccion al absurdo: Supongamos que hay una f(x) localmente integrable tal que para
cualquier D:
_
f(x)(x)dx = (0) (1.46)
Como D, por tanto x
1
D, donde x
1
es la primera coordenada de x. Por lo tanto, sera:
_
f(x)x
1
(x)dx = (x
1
f, ) = x
1
(x)[
x=0
= 0 (1.47)
Esto ultimo signica que la funcion x
1
f(x), localmente integrable en R
n
, es igual a cero en el
sentido de las funciones generalizadas y, por el Lema de du Bois-Reymond, sera x
1
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.
LQQD.
TEOREMA:
(x) (x) para 0 en D
.
DEMOSTRACION:
Hay que demostrar que
lim
0
_

(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
_

(x)dx = 1 (1.49)
se cumple que:
(x)(x)dx (0)
(x)(x)dx
_

(x)(0)dx
(x) [(x) (0)] dx
(x) [(x) (0)[ dx <

<
_

(x)dx = (1.50)
LQQD.
Por la forma graca de
(x), vamos a representar a (x) como una echa perpendicular al

eje x hacia arriba en el punto x = 0 de una longitud dada arbitraria y a 2(x x
0
) como
una echa tambien perpendicular al eje x, pero hacia abajo y de longitud igual al doble de la
anterior, colocada en el punto x
0
.
Veamos una generalizaci on de la delta: La capa simple sobre una supercie S:
Sea S una supercie seccionalmente suave y (x) una funci on continua sobre S. Introducimos
la funcion generalizada
S
que act ua seg un la ley:
(
S
, ) =
_
S
(x)(x)dS, D (1.51)
Se ve que
S
D
y que
S
(x) = 0, x no S. Por lo tanto, supp
S
S.
S
se llama funcion generalizada capa simple sobre la supercie 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 funci on generalizada f es la densidad de masas (o de cargas), entonces la
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
1
x
que act ua seg un la formula:
_
P
1
x
,
_
= V P
_
(x)
x
dx lim
0
__

+
_

_
(x)
x
dx, D(R
1
) (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,
_
P
1
x
,
k
_
V P
_

k
(x)
x
dx
V P
_
R
R
k
(0) + x
k
(x
)
x
dx
V P
_
R
R
k
(0)
x
dx
_
R
R
k
(x
)dx
I
1
+I
2
(1.53)
Tenemos:
I
1
=
V P
_
R
R
k
(0)
x
dx
k
(0) lim
0
__

R
+
_
R
_
dx
x
= 0 (1.54)
Por lo tanto:
_
P
1
x
,
k
_
_
R
R
k
(x
)dx
max [
k
(x
)[2R 0, k (1.55)
Conclusi on: P
1
x
D
.
P
1
x
es una funcion generalizada regular que coincide, seg un vimos gracias al lema de du Bois-
Reymond, con la funcion 1/x para x ,= 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).
lim
0
_
(x)
x +i
dx lim
0
_
R
R
x i
x
2
+
2
(x)dx (1.56)
Se obtiene:
V P
_
(x)
x
dx i(0) =
_
R
R
(x)
x +i0
dx (1.57)
O sea:
_
1
x +i0
,
_
= (i, ) +
_
P
1
x
,
_
(1.58)
Es decir:
1
x +i0
= i(x) + P
1
x
(1.59)
De forma analoga se obtiene:
1
x i0
= i(x) +P
1
x
(1.60)
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 R
n
y x = Ay+b con detA ,= 0 (lo que es una transformacion
de R
n
en si mismo), entonces, D:
(f(Ay +b), )
_
f(Ay +b)(y)dy =
=
1
[detA[
_
f(x)
_
A
1
(x b)
dx =
1
[detA[
_
f,
_
A
1
(x b)
_
(1.61)
Usaremos esta formula:
(f(Ay +b), ) =
1
[detA[
_
f,
_
A
1
(x b)
_
, D (1.62)
para denir la funci on generalizada f(Ay +b) para cualquier f(x) D
. El funcional f(Ay +b)

pertenece a D
, pues la operacion [A
1
(x b)] es lineal y continua en D.
Casos particulares:
1. Rotaci on:
A
1
A
(transpuesta) y b = 0, lo que implica que

(f(Ay), ) =
_
f, (A
1
x)
_
(1.63)
2. Semejanza:
A = cI, con c ,= 0 y b = 0, lo que implica que
(f(cy), ) =
1
[c
n
[
(f, (x/c)) (1.64)
3.
Si A = I entonces
(f(y +b), ) = (f, (x b)) (1.65)
La funcion generalizada f(x + b) se llama traslacion de la funcion generalizada f(x) en el
vector b.
Por ejemplo: (x x
0
) es la traslaci on de (x) en el vector x
0
y act ua seg un la formula:
((x x
0
), ) = (, (x +x
0
)) = (x
0
) (1.66)
De esta manera podemos denir funciones generalizadas con simetra esferica, con simetra
central, homogeneas, peri odicas, etc.
1.9 Producto de funciones generalizadas.
Sea f(x) integrable localmente en R
n
. Sea a(x) C
(R
n
). Entonces, para D es v alido:
(af, ) =
_
a(x)f(x)(x)dx (f, a) (1.67)
Usaremos esta igualdad para denir el producto af de la funcion generalizada f D
y la
funcion innitas veces derivable a:
(af, ) = (f, a), D (1.68)
Comprobar solos que af D
, lo que equivale a comprobar que es lineal y continua de D en

D.
OBSERVACION: Si f D
, entonces f = f con C
(R
n
) 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
1
x
= 1
pues, D(R
1
):
_
xP
1
x
,
_
=
_
P
1
x
, x
_
= V P
_
x(x)
x
dx =
_
(x)dx = (1, ) (1.71)
LQQD.
Es as, como hay que operar siempre.
OBSERVACION IMPORTANTE: No se puede denir el producto de dos funciones gene-
ralizadas 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
(x a)(x b) = 0, a ,= 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
_
[x[
_
2
1
_
[x[
1
_
[x[
1
[x[
, x R
1
(1.73)
Aqu,
1
|x|
es localmente integrable, en tanto
1
|x|
no lo es.
Lo mismo ocurre para las funciones generalizadas. Incluso Schwarz demostro que no se puede
denir 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:
0 = 0P
1
x
= (x(x))P
1
x
= ((x)x)P
1
x
= (x)
_
xP
1
x
_
= (x) (1.74)
lo que, a todas luces, es absurdo.
Ejemplos:
1. Demostrar que
f
(x) =
1
2
x
2
4
(x), x 0 (1.75)
DEMOSTRACION (Hay que proceder siempre as!)
Sea D:
lim
0
(f
, ) = lim
0
1
2
_
(x)e
x
2
4
dx =
= lim
0
1
_
(2
y)e
y
2
dy =
1
(0)
_
e
y
2
dy = (0) = (, ) (1.76)
LQQD
2. Demostrar que:
f
(x) =
1
2
+x
2
(x), 0 (1.77)
DEMOSTRACION
Para D:
lim
0
(f
, ) = lim
0
_
R
R
(x)dx
2
+x
2
= lim
0
2
_
R
R
(x)dx
1 + (x/)
2
=
= lim
0
1
_
R/
R/
(y)dy
1 +y
2
=
1
(0)
_

dy
1 +y
2
=
=
1
(0) arctan y[
=
1
(0)
_
2
+

2
_
= (0) = (, ) (1.78)
LQQD.
3. Demostrar que:
e
ixt
x i0
2(x), t (1.79)
DEMOSTRACION:
Teniendo en cuenta la f ormula de Sojotsky, por el producto tenemos que
e
ixt
xi0
es:
_
e
ixt
x i0
,
_
=
_
1
x i0
, e
ixt
_
=
_
i(x) +P
1
x
, e
ixt
_
=
=
_
i(x), e
ixt
_
+
_
P
1
x
, e
ixt
_
(1.80)
Ahora bien:
_
i(x), e
ixt
_
= i(0) i(0) = (i, ), t (1.81)
y:
_
P
1
x
, e
ixt
_
= V P
_
e
ixt
(x)
x
dx = lim
0
__

+
_

_
e
ixt
(x)
x
dx =
y para t > 0
= lim
0
_
C
e
izt
(z)dz
z
=
_
ie
i0t
(0)
_
= i(0) =
= (i, ) (i, ), t (1.82)
As, queda demostrado, efectivamente, que:
_
e
ixt
x i0
,
_
(2i, ), t (1.83)
LQQD.
4. Demostrar que
k=
a
k
(x k) (1.84)
converge para cualquier a
k
.
DEMOSTRACION:
Tenemos para D:
_

k=
a
k
(x k),
_
=
k
a
k
((x k), ) =
k
a
k
(k) (1.85)
La ultima suma a la derecha converge, pues es nita.
LQQD.
5. Demostrar que
S
R
0, R .
DEMOSTRACION:
La capa simple
S
R
es la funcion generalizada que act ua as:
(
S
R
, ) =
_
S
R
(x)dx (1.86)
Por lo tanto:
lim
R
(
S
R
, ) = lim
R
_
S
R
(x)dx = 0 (1.87)
pues D y por lo tanto es nita.
6. Demostrar que:
P
cos kx
x
0, k (1.88)
DEMOSTRACION:
Para D:
_
P
cos kx
x
,
_
Re
_
P
e
ikt
x
,
_
= Re
_
P
1
x
, e
ikt
_
= Re(i, ) = 0 (1.89)
LQQD.
La ultima igualdad fue obtenida hace un rato atr as.
Nota: Por lo tanto:
P
sin kx
x
= (1.90)
Para k > 0.
7. Sea D(R
n
) tal que 0 y que
_
(x)dx = 1.
Demostrar que:
1
_
x
_
(x), 0 (1.91)
en D
.
DEMOSTRACION:
Usemos la regla del cambio de variables:
(f(cy), ) =
1
c
n
_
f,
_
x
c
__
(1.92)
Entonces tendremos, para
1
n
(x/):
1
n
_
_
x
_
,
_
=
1
n
(, (x)) =
=
_
(x)(x)dx = (x
)
_
(x)dx = (x
) (0) (, ), 0 (1.93)
LQQD
8. Demostrar la igualdad:
(af)(x +h) = a(x +h)f(x +h), a C
(R
n
), f D
(R
n
), h R
n
(1.94)
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:
((af)(x +h), ) = (af, (x h)) = (f, a(x h)) =
_
f(x)a(x)(x h)dx =
=
_
f(y +h)a(y +h)(y)dy (a(y +h)f(y +h), ) (1.95)
donde hemos hecho el cambio de variables: x h = y, dx = dy.
LQQD.
1.10 Ejercicios del Captulo
1. Demostrar que:
f
(x) =
1
x
sin
_
x
_
(x), 0
2. Demostrar que:
g
(x) =

x
2
sin
2
_
x
_
(x), 0
3. Demostrar:
lim
t
e
ixt
x i0
= 0
4. . Demostrar que:
lim
t
e
ixt
x +i0
= 0
5. Demostrar que:
lim
t
e
ixt
x +i0
= 2i(x)
6. Demostrar que:
lim
t
t
m
e
ixt
= 0
Captulo 2
Derivacion e integraci on de funciones
generalizadas
2.1 Derivada generalizada
Comencemos estudiando una serie de propiedades c omodas:
1. Si denimos apropiadamente la generalizacion de la derivada, entonces las funciones gene-
ralizadas resultan innitas veces derivables.
2. Las series de funciones generalizadas convergentes pueden derivarse termino a termino, y
otras propiedades.
Veamos el concepto de derivada de una funci on generalizada: Sea f C
p
(R
n
). 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
x
1
2
x
2
...
n
x
n
donde [[ =
1
+
2
+... +
n
.
Partiremos de esta igualdad para denir la derivada generalizada de una funci on generalizada:
Denici on:
Se llama derivada generalizada D
f de la funcion generalizada f D
a la funcion genera-
lizada que act ua seg un la f ormula:
33
(D
f, ) = (1)
||
(f, D
), D (2.2)
TEOREMA:
Si f D
entonces D
f D
.
DEMOSTRACION
Lo que hay que demostrar es que D
f denida por la f ormula 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 (2.5)
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 funci on campana
(x) estudiada en el captulo anterior.

Entonces: D
(x) D
(x), 0 en D
.
Derivacion e integraci on 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) (2.7)
Para terminar, veamos algunas propiedades de la derivada denida aqu:
Propiedades:
1. Si f D
, entonces D
f D
(fue el teorema demostrado).

2. Toda funcion generalizada es derivable innitas 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 D
y a C
(R
n
), se cumple la formula de Leibnitz:
(af)
x
1
=
a
x
1
f +a
f
x
1
(2.8)
DEMOSTRACION:
(As es como hay que hacer las cosas). Tenemos D, como para las funciones cl asicas se
cumple la formula de Leibnitz:
_
(af)
x
1
,
_
=
_
af,

x
1
_
=
_
f, a

x
1
_
=
_
f,
(a)
x
1
a
x
1
_
=
=
_
f,
(a)
x
1
_
+
_
f,
a
x
1
_
=
_
f
x
1
, a
_
+
_
f
a
x
1
,
_
=
=
_
a
f
x
1
,
_
+
_
f
a
x
1
,
_
=
_
f
a
x
1
+a
f
x
1
,
_
(2.9)
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
k=1
u
k
(x) = S(x) (2.11)
con u
k
(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
D
.
DEMOSTRACION:
Por hip otesis;
S
p
(x)
p
k=1
u
k
(x)
converge uniformemente a S(x) en [x[ R, p .
Por lo tanto, S
p
S en D
(por algo que vimos al estudiar el lema de du Bois-Reymond). Por

tanto, por la propiedad 1:
D
S
p
=
p
k=1
D
u
k
D
S, p (2.12)
en D
.
LQQD.
Un ejemplo util:
Sean los n umeros a
k
, tales que [a
k
[ A[k[
m
+ B, con A, B y m dados. Entonces, la serie
trigonometrica
k=
a
k
e
ikt
(2.13)
converge en D
(R
1
).
Esto se desprende de la propiedad 6. Veamos: En virtud de la cota para las a
k
, la serie:
a
0
x
m
+ 2
(m + 2)!
+
(k=0
a
k
(ik)
m+2
e
ikx
converge uniformemente en R
1
. Por lo tanto, por la propiedad 6, su derivada de orden m + 2
converge en D
(R
1
) y coincide con la serie (2.13).
2.2 Primitiva de una funcion generalizada
Aqu, s olo consideraremos el caso n = 1, o sea, trabajaremos en R
1
.
Sabemos que cualquier funci on continua f(x) tiene primitiva f
(1)
(x) unica con exactitud de una
constante aditiva:
f
(1)
(x) =
_
x
f()d +C, (2.14)
f
(1)
(x) = f(x). (2.15)
La igualdad (2.15) es la que tomaremos como base para denir la primitiva de una funci on
generalizada arbitraria:
DEFINICION:
La funcion generalizada f
(1)
de D
(R
1
) se llama primitiva de la funcion generalizada f de
D
(R
1
), si
f
(1)
= f (f
(1)
, ) = (f, ), D (2.16)
O sea:
(f
(1)
,
) = (f, ), D (2.17)
Esta denicion (2.17) quiere decir que el funcional f
(1)
no esta dado sobre las funciones de base,
sino s olo 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(R
1
) arbitraria. Escribamosla en la forma
(x) =
(x) +
(x)
_
()d (2.18)
donde
(x) es la funci on campana y

(x) =
_
x
_
(x
(x
)
_
()d
_
dx
(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):
(x) =
_

(x
)dx
(x
)dx
_
()d = 0 (2.20)
Pues
_
(x
)dx
= 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 hip otesis existe) a (2.18):
_
f
(1)
,
_
=
_
f
(1)
,
_
+
_
f
(1)
,
_
_
()d (2.21)
Y, como
_
f
(1)
,
_
= C (o sea, es cierta constante), teniendo en cuenta la denici on (2.17):
_
f
(1)
,
_
= (f, ) +C
_
()d, D (2.22)
Conclusi on: Si la primitiva f
(1)
de f existe, entonces se expresa por la igualdad (2.22), donde
se dene por (2.19).
Demostremos el recproco: Para cualquier constante C, el funcional f
(1)
, denido por las
igualdades (2.22) y (2.19) es la primitiva de f.
Para ello, demostremos primero que f
(1)
D
.
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):
k
(x) =
_
x
k
(x
(x
)
_

k
()d
_
dx
= 0, [x[ > max(R, ) (2.23)

y
()
k
(x) 0, k (2.24)
Esto implica que
k
0, k (2.25)
en D.
Por lo tanto, en virtud de la continuidad en D, tenemos:
_
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
:
(x) =
_
x
(x
(x
)
_

()d
_
dx

_
x
(x
)dx
= (x) (2.27)
pues
_

()d = (x)[
= 0
As, de (2.22) nos queda:
_
f
(1)
,
_
= (f, ) +C
_
()d (2.28)
donde C = (f
(1)
,
).
O sea:
_
f
(1)
,
_
C
_
()d = (f, ) (2.29)
_
f
(1)
,
_
_
f
(1)
,
_
_
()d = (f, ) (2.30)
_
f
(1)
,
_
()d
_
= (f, ) (2.31)
y, como por (2.18),
_
()d
y como = , de donde
, queda:
_
f
(1)
,
_
= (f, ) (2.32)
Esto ultimo signica, de acuerdo con la denicion (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 unica denida con exacti-
tud de una constante aditiva y cualquier primitiva f
(1)
se expresa por la f ormula
_
f
(1)
,
_
= (f, ) + (C, ), D (2.33)
donde se dene por (2.19) y C es una constante arbitraria.
Como consecuencia de este teorema podemos armar que la soluci on de la ecuaci on diferencial
u
= f (2.34)
con f D
(R
1
), existe en D
(R
1
) y su soluci on general tiene la forma:
u = f
(1)
+C (2.35)
donde f
(1)
es una primitiva de f y C una constante arbitraria. En particular, si f es continua,
entonces cualquier solucion en D
de la ecuaci on diferencial (2.34) es cl asica. Por ejemplo, la

solucion general de la ecuaci on
u
= 0
en D
es una constante arbitraria.

Analogamente: Llamamos primitiva f
(n)
de orden n de la funcion f a aquella funci on tal
que
f
(n)
(n)
= f
Si aplicamos el teorema a la siguiente cadena recurrente de primitivas:
f
(1)
= f, f
(2)
= f
(1)
, ... , f
(n)
= f
(n1)
,
se concluye que f
(n)
existe y es unica 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
(x )
1
(x) (2.36)
con > 0.
Tomemos el lmite en D
para 0:
lim
0
_
1
(x )
1
(x),
_
= lim
0
[() (0)]
=
=
(0) = (,
) = (
, ) (2.37)
Conclusi on: La densidad de cargas buscada es igual a
(x).
Notese que la carga total del dipolo es:
(
, x) = (, 1
) = (, 0) = 0
como era de esperar; y su momento dipolar es:
(
, x) = (, x
) = (, 1) = 1
b) (Este es un ejemplo importante): Sea la funci on f(x) tal que f C
1
(x x
0
) y
f C
1
(x x
0
) y tiene un salto
[f]
x
0
= f(x
0
+ 0) f(x
0
0)
en x
0
. Demostrar que la derivada generalizada es:
f
= f
(x) + [f]
x
0
(x x
0
) (2.38)
Demostracion:
Por denici on, la derivada generalizada f
es tal que, aplicando integraci on por partes:

(f
, ) = (f,
) =
_

f(x)
(x)dx =
= lim
0
_
_
x
0
f(x)
(x)dx
_

x
0
+
f(x)
(x)dx
_
=
= lim
0
_
f(x)(x)[
x
0
+
_
x
0
(x)(x)dx
_
+
+lim
0
_
f(x)(x)[
x
0
+
_

x
0
(x)(x)dx
_
=
= lim
0
[f(x
0
)(x
0
) + f(x
0
+)(x
0
+)] +
+lim
0
__
x
0
(x)(x)dx +
_

x
0
+
f
(x)(x)dx
_
=
= [f(x
0
+ 0) f(x
0
0)] (x
0
) +
_
f
(x)(x)dx =
= ([f]
x
0
(x x
0
) +f
(x), ) (2.39)
LQQD.
Por ejemplo, en el caso particular de la funcion de Heaviside:
(x) = 1, x > 0
(x) = 0, x < 0
la formula (2.39) da que la derivada generalizada de esta funci on es:
(x) = (x) (2.40)

En Fsica llamamos a (x) funcion 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 x
k
y f C
1
(R
1
x
k
),
entonces:
f
= f
(x) +
k
[f]
x
k
(x x
k
) (2.41)
En particular, sea
f
0
(x) =
1
2

x
2
, x [0, 2) (2.42)
la funcion peri odica con perodo 2 que se representa gr acamente 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):
f
0
=
1
2
+
k=
(x 2k) (2.43)
Por lo tanto, en general, la derivada generalizada y la derivada cl asica no coinciden.
d) Demostrar la formula:
1
2
k=
e
ikx
=
k=
(x 2h) (2.44)
DEMOSTRACION:
Analicemos la funci on peri odica con periodo 2 (integral de la funcion del ejemplo anterior):
_
x
0
f
0
(x
)dx
=
x
2

x
2
4
= a
0
+
k=
a
k
e
ikx
, (k ,= 0) (2.45)
donde hemos hecho su desarrollo en serie de Fourier convergente uniformemente. Los coecien-
tes de este desarrollo son:
Los coecientes son:
a
0
=
1
2
_
2
0
_
x
2

x
2
4
_
dx =
1
2
_
x
2
4

x
3
12
_
2
0
=

6
(2.46)
a
k
=
1
2
_
2
0
_
x
2

x
2
4
_
e
ikx
dx =
1
2
_
1
2
_
2
0
xe
ikx
dx
_
2
0
x
2
e
ikx
dx
_
(2.47)
Los c alculos de las integrales dan, nalmente:
a
k
=
1
2
1
k
2
(2.48)
Por lo tanto, el desarrollo es:
_
x
0
f
0
(x
)dx
=
x
2

x
2
4
=

6

1
2
k=,k=0
e
i
kx
k
2
(2.49)
En virtud de que la serie convergente uniformemente puede derivarse termino a termino cuanto
se quiera, tenemos que:
La primera derivada es:
f
0
=
1
2
k=,k=0
ie
i
kx
k
(2.50)
La segunda derivada es, teniendo en cuenta el ejemplo anterior:
f
0
=
1
2
k=,k=0
e
ikx
=
1
2
+
k=
(x 2) (2.51)
As, tenemos:
1
2
+
1
2
k=,k=0
e
ikx
=
k=
(x 2k) (2.52)
Lo que, nalmente, signica:
1
2
k=
e
ikx
=
k=
(x 2k) (2.53)
LQQD.
Nota: La parte izquierda de esta igualdad es la serie de Fourier de la funci on generalizada
peri odica con periodo 2:
k=
(x 2k) (2.54)
cuyo graco simb olico sera un conjunto innito de echas 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 ecuaci on
x
m
u = 0 (2.55)
en D
(R
1
) viene dada por la formula:
u =
m1
k=0
c
k
(k)
(x) (2.56)
donde c
k
son constantes arbitrarias.
DEMOSTRACION:
Para toda D y k = 0, 1, 2, ..., m1, tenemos:
(x
m
(k)
, ) = (
(k)
, x
m
) = (1)
k
(, (x
m
)
(k)
) = (1)
k
(x
m
)
(k)
[
x=0
= 0 (2.57)
pues m > k.
Por consiguiente,
x
m
(k)
(x) = 0, k = 0, 1, 2, ..., m1 (2.58)
y, por lo tanto, la funcion generalizada (2.56) satisface la ecuacion (2.55).
Demostremos ahora que (2.56) es la soluci on general de (2.55) en D
:
Sea (x) una funcion de base igual a 1 en el entorno de x = 0. (Un lema que vimos demuestra
que existe esta funci on). Expresemos cualquier D as:
(x) = (x)
m1
k=0
(k)
(0)
k!
x
k
+x
m
(x) (2.59)
donde
(x) =
1
x
m
_
(x) (x)
m1
k=0
(k)
(0)
k!
x
k
_
(2.60)
Se ve que D, pues es nita y derivable innitas 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
m
m1
k=0
(k)
(0)
k!
x
km
k=0
(k)
(0)
k!
x
km
m1
k=0
(k)
(0)
k!
x
km
=
k=m
(k)
(0)
k!
x
km
(2.61)
Por lo tanto, si u D
es la solucion de la ecuacion (2.55), entonces por (2.61):

(u, ) =
_
u, (x)
m1
k=0
(k)
(0)
k!
x
k
_
+ (u, x
m
) =
=
m1
k=0
(k)
(0)
k!
(u, (x)x
k
) + (x
m
u, )
m1
k=0
(1)
k
(1)
k
k!
(u, (x)x
k
)
(k)
(0) (2.62)
De aqu, introduciendo la notacion:
c
k
=
(1)
k
k!
(u, (x)x
k
) (2.63)
queda, nalmente:
(u, ) =
m1
k=0
(1)
k
c
k
(k)
(0)
m1
k=0
(1)
k
c
k
(
(k)
, ) (2.64)
lo que demuestra que, efectivamente, (2.56) es la solucion general en D
de (2.55).
LQQD.
f) Comprobar que la funcion
E(t) = (t)Z(t) (2.65)
donde Z(t) es la soluci on del siguiente problema de Cauchy:
LZ Z
(m)
+a
1
(t)Z
(m1)
+... +a
m
(t)Z = 0, t > 0 (2.66)
Z(0) = 0, Z
(0) = 0, ..., Z
(m1)
(0) = 1
satisface la ecuaci on
LE = (t) (2.67)
DEMOSTRACION:
Apliquemos a E(t) la f ormula (2.38) de la derivada generalizada. Tenemos:
E
(t) = (t)Z
(t) + 0 (2.68)
pues el salto de Z(0) es cero.
E
(t) = (t)Z
(t) (2.69)
etc.
E
(m1)
(t) = (t)Z
(m2)
(t) + 0 (2.70)
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 c alculos, queda:
LE = (t)LZ +(t) LE = (t) (2.72)
pues LZ = 0 por el problema de Cauchy.
LQQD.
Mas adelante veremos que E(t) es, aqu, la solucion fundamental del operador L.
Veamos otros ejemplos, para el caso n 2.
2.4 Ejemplos, n 2.
a) La generalizacion de
(x) es una doble capa sobre una supercie. Sea S una supercie
seccionalmente lisa de dos caras, n la normal a S y (x) una funci on continua dada sobre S.
Introduzcamos la funci on generalizada

n
(
S
) (2.73)
que act ua seg un la regla:
_

n
(
S
) ,
_
=
_
S
(x)
(x)
n
dS, D (2.74)
Aqu se ve que

n
(
S
) D
(2.75)
y que
supp
_

n
(
S
)
_
S (2.76)
La funci on generalizada (2.73) se llama doble capa sobre la supercie S con densidad
(x), orientada seg un la normal n .
Esta funcion generalizada describe la densidad de cargas correspondiente a una distribuci on
de dipolos sobre la supercie S con densidad supercial de momento (x), con dichos dipolos
orientados a lo largo de la dircci on dada de la normal n en S. Comparar esto con el ejemplo
a) de la secci on anterior.
b) Sea la region G con frontera seccionalments lisa S y sea la funcion f C
1
(

G)
C
1
(

G
1
),
(o sea, continua sobre S), donde G
1
= R
n
G. Entonces, tiene lugar la f ormula de la derivada

generalizada:
f
x
i
=
_
f
x
i
_
+ [f]
S
cos(nx
i
)
S
, i = 1, 2, ..., n (2.77)
donde n = n
x
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
x
x,(con x
G
1
)
f(x
) lim
x
x,(con x
G)
f(x
) = [f]
S
(x), x S (2.78)
Obtencion de (2.77):
Previamente, obtengamos la formula de integraci on por partes (f ormula de Green) en G, S.
Sea a C
1
(G)
C(

G). Conocemos la f ormula de Gauss:
_
G
adx =
_
S
a ndS (2.79)
Si tomamos las funciones u, v C
1
(G)
C(

G) y, por ejemplo, hacemos a = (0, uv, 0), entonces
tenemos:
a = (uv)
x
2
(2.80)
y
a n = uvn
2
= uv cos(nx
2
) (2.81)
As,
_
G
(uv)
x
2
dx =
_
S
uv cos(nx
2
)dS (2.82)
Pero (uv)
x
2
= vu
x
2
+uv
x
2
. Colocando arriba:
_
G
vu
x
2
dx =
_
S
uv cos(nx
2
)dS
_
G
uv
x
2
dx (2.83)
que es la f ormula de integraci on por partes en G R
n
.
Como igual se obtiene con a = (uv, 0, 0) o con a = (0, 0, uv), s olo que la derivada sera respecto
a x
1
o a x
3
, por lo tanto, la formula general de integracion por partes es:
_
G
vu
x
i
dx =
_
S
uv cos(nx
i
)dS
_
G
uv
x
i
dx (2.84)
Pues bien, para obtener (2.77), analicemos el funcional, teniendo en cuenta que la integral es
por todo el espacio:
_
f
x
i
,
_
=
_
f,

x
i
_
=
_
f(x)
x
i
dx =
=
_
G
f(x)
x
i
dx
_
G
1
f(x)
x
i
dx =
=
_
G
_
f
x
i
_
(x)dx
_
S
f(x + 0)(x) cos(nx
i
)dS +
+
_
G
1
_
f
x
i
_
(x)dx
_
S
f(x 0)(x) cos(nx
i
)dS (2.85)
Observese que el signo + delante de la integral en el el ultimo sumando de esta f ormula sale
as, porque la normal inicialmente es para dentro al integrar por G
1
y, al pasar hacia afuera,
cambia el signo.
Por lo tanto, queda:
_
f
x
i
,
_
=
_ _
f
x
i
_
(x)dx +
_
S
[f(x 0) f(x + 0)] cos(nx
i
)(x)dS (2.86)
Aqu, [f(x0) f(x+0)] = [f]
S
y, por la denici on (1.51) que vimos anteriormente de la capa
simple, nalmente queda:
_
f
x
i
,
_
=
__
f
x
i
_
+ [f]
S
cos(nx
i
)
S
,
_
, D (2.87)
As queda demostrada la formula (2.77) de la derivada generalizada en R
n
y que es una gene-
ralizacion de la derivada generalizada obtenida en R
1
en el inciso b) del epgrafe anterior.
c) Sea igual G con frontera seccionalmente lisa S y sea f C
2
(

G)
C
2
(

G
1
. Entonces:
2
f
x
i
x
j
=
_

2
f
x
i
x
j
_
+

x
j
([f]
S
cos(nx
i
)
S
) +
__
f
x
i
__
S
cos(nx
j
)
S
(2.88)
la expresion (2.88) se obtiene as:
2
f
x
i
x
j
=

x
j
_
f
x
i
_
+

x
j
([f]
S
cos(nx
i
)
S
) (2.89)
pero
x
j
_
f
x
i
_
=
_

2
f
x
i
x
j
_
+
__
f
x
i
__
S
cos(nx
j
)
S
(2.90)
Colocando esto arriba, se obtiene (2.88).
Observacion importante:
Hagamos en (2.88) i = j. Obtenemos:
2
f
x
2
i
=
_
2
f
x
2
i
_
+

x
i
([f]
S
cos(nx
i
)
S
) +
__
f
x
i
__
S
cos(nx
i
)
S
(2.91)
Sumemos por i:
2
f =
2
f +
n
i=1
x
i
([f]
S
cos(nx
i
)
S
) +
n
i=1
__
f
x
i
__
S
cos(nx
i
)
S
(2.92)
Pero, se puede demostrar que:
n
i=1
x
i
([f]
S
cos(nx
i
)
S
) =

n
([f]
S
S
) (2.93)
y que:
n
i=1
__
f
x
i
__
S
cos(nx
i
)
S
=
_
f
n
_
S
S
(2.94)
Entonces, queda:
2
f =
2
f +
_
f
n
_
S
+

n
([f]
S
S
) (2.95)
Antes de analizar (2.95), demostremos (2.93) y (2.94):
Demostremos (2.93): Para todo D, tenemos:
_
n
i=1
x
i
([f]
S
cos(nx
i
)
S
),
_
=
n
i=1
_
[f]
S
cos(nx
i
)
S
,

x
i
_
=
Por denicion de
S
:
=
n
i=1
_
S
[f]
S
x
i
dS =
_
S
[f]
S
n
i=1
x
i
cos(nx
i
)dS (2.96)
pero:
n
i=1
x
i
cos(nx
i
) =

n
(2.97)
por lo que, colocando en (2.96), queda:
_
n
i=1
x
i
([f]
S
cos(nx
i
)
S
),
_
=
_
S
[f]
S
n
dS =
_

n
([f]
S
S
),
_
(2.98)
LQQD.
Para demostrar (2.94) vemos de, forma similar, por la denicion de
S
:
_
n
i=1
__
f
x
i
__
S
cos(nx
i
)
S
,
_
=
n
i=1
_
S
__
f
x
i
__
S
cos(nx
i
)(x)dS =
=
_
S
_
n
i=1
__
f
x
i
__
S
cos(nx
i
)
_
(x)dS =
__
f
n
_
S
S
,
_
(2.99)
pues
n
i=1
__
f
x
i
__
S
cos(nx
i
) =
_
f
n
_
S
(2.100)
Supongamos, ahora, que f = 0, x G
1
. Entonces, tendremos que
[f]
S
= (f
ext
f
int
)[
S
= f
int
[
S
= f[
S
(2.101)
Igual
_
f
n
_
S
=
f
n
[
S
(2.102)
Por lo tanto, se obtiene en este caso:
2
f =
2
f
f
n

n
(f
S
) (2.103)
Que cosa es esta f ormula? Veamos. Tomemos una funcion de base .
Apliquemosle (2.103). Tenemos:
(
2
f, ) = (
2
f, )
_
f
n
S
,
_
_

n
(f
S
),
_
(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 ultimo 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,
2
) (
2
f, ) =
_
f
S
,

n
_
_
f
n
S
,
_
(2.105)
O sea:
_
G
f
2
dx
_
G
2
f(x)dx =
_
S
f
n
dS
_
S
f
n
dS (2.106)
Es decir:
_
G
f
2

2
fdx
_
S
_
f
n

f
n
_
dS (2.107)
que no es otra cosa que la conocida Segunda F ormula de Green, escrita en terminos de
funciones generalizadas.
d) Sea n=2. Calculemos
2
ln [x[.
Tenemos que x ,= 0, ln [x[ C
. Por lo tanto, para esos valores de x, D
ln [x[ = D
ln [x[.
Por lo tanto, en polares:
2
ln [x[
1
r
d
dr
_
r
d ln r
dr
_
0, x ,= 0 (2.108)
Sea, ahora, D con supp U
R
.
Tomemos la formula (2.103) con f = ln [x[:
2
ln [x[ =
2
ln [x[
ln [x[
n

S

n
(ln [x[
S
) (2.109)
y apliquemosla a en < [x[ < R. Tendremos:
(
2
ln [x[, ) lim
0
(
2
ln [x[, ) = lim
0
(
2
ln [x[, )
_
S
R
ln [x[
n
dS +
+
_
S
R
ln [x[
n
dS lim
0
_
S
ln [x[
n
dS + lim
0
_
S
ln [x[
n
dS (2.110)
Pero, por (2.108)
lim
0
(
2
ln [x[, ) = 0 (2.111)
y:
_
S
R
ln [x[
n
dS = 0 (2.112)
y
_
S
R
ln [x[
n
dS = 0 (2.113)
pues supp U
R
.
Por lo tanto:
(
2
ln [x[, ) = lim
0
_
S
1
(x)dS + lim
0
_
S
ln
n
dS (2.114)
Pero
lim
0
_
S
ln
n
dS =
_
n
_
med
ln 2 0, 0 (2.115)
y
lim
0
_
S
1
(x)dS =
1
(x
med
)2 2(0) (2, ), 0 (2.116)
As, obtenemos:
(
2
ln [x[, ) = (2, ) (2.117)
Por lo tanto;
2
ln [x[ = 2 (2.118)
De manera analoga, para n 3, se obtiene:
2
1
[x[
n2
= (n 2)
n
(x) (2.119)
donde
n
es el area de la supercie de la esfera unitaria en R
n
, es decir:
n
=
_
S
1
dS =
2
n/2
(n/2)
(2.120)
donde
(z) =
_

0
e
t
t
z1
dt (2.121)
es la funcion Gamma de Euler.
Efectivamente:
2
1
[x[
n2
=
_
2
1
[x[
n2
_

n
_
1
[x[
n2
_

n
_
1
[x[
n2
S
_
(2.122)
En la misma esfera < [x[ < R con supp U
R
, tenemos
_
2
1
[x[
n2
,
_
= lim
0
_
2
1
[x[
n2
,
_
= lim
0
__
2
1
[x[
n2
_
,
_
lim
0
_
S
n
_
1
[x[
n2
_
(x)dS + lim
0
_
S
1
[x[
n2
n
dS =
= lim
0
_
(n 2)
_
S
(x)dS
n1
_
= lim
0
(n 2)
n1
(x
med
)
_
S
dS =
=
(n 2)
n1
(x
med
)
2
n/2
n1
(n/2)
(n 2)
2
n/2
(n/2)
(0) =
=
_
(n 2)
2
n/2
(n/2)
,
_
(2.123)
En particular, para n = 3, (3/2) =
/2, por lo que

2
3/2
(3/2)
= 4 (2.124)
y queda:
2
1
[x[
= 4(x) (2.125)
e) Comprobemos que las funciones
E(x) =
e
ik|x|
4[x[
, E(x) =
e
ik|x|
4[x[
(2.126)
para n = 3 satisfacen la ecuacion
2
E +k
2
E = (x) (2.127)
DEMOSTRACION:
Como expik[x[ = cos k[x[ +i sin k[x[ y coseno y seno son funciones innitamente derivables,
apliquemos la f ormula de Leibnitz (2.8). Esta era:
(af)
x
i
= f
a
x
i
+a
f
x
i
Volviendo a derivar:
2
(af)
x
2
i
= f

2
a
x
2
i
+ 2
a
x
i
f
x
i
+a
2
f
x
2
i
(2.128)
Sumando por i:
2
(af) = f
2
a + 2a f +a
2
f (2.129)
Aplicaremos esta ultima formula.
Tenemos que:
x
i
1
[x[
=
x
i
[x[
3
(2.130)
x
i
e
ik|x|
=
ikx
i
[x[
e
ik|x|
(2.131)
Por lo tanto, haciendo los calculos:
2
e
ik|x|

_
2ik
[x[
k
2
_
e
ik|x|
(2.132)
Ademas, teniendo en cuenta el ejemplo anterior:
(
2
+k
2
)
1
[x[
e
ik|x|
=
2
_
1
[x[
e
ik|x|
_
+
k
2
[x[
e
ik|x|
=
=
2
_
1
[x[
_
e
ik|x|
+ 2
1
[x[
e
ik|x|
+
1
[x[
2
e
ik|x|
+
k
2
[x[
e
ik|x|
=
= 4(x)e
ik|x|
4(x) (2.133)
pues vimos que: a(x)(x) = a(0)(x).
LQQD.
f) Sea
E(x, t) =
(t)
(2a
t)
n
exp
_
[x[
2
4a
2
t
_
(2.134)
Demostrar que:
E
t
a
2
2
E = (x, t) (2.135)
DEMOSTRACION:
Para t > 0 tenemos:
_
E(x, t)dx =
1
(2a
t)
n
_
exp
_
[x[
2
4a
2
t
_
dx =
=
1
(2a
t)
n
n
i=1
_

(2a
t)
n
e
2
i
d = 1 (2.136)
y, t < 0, E = 0.
Adem as, para t > 0:
E
t
=
_
[x[
2
4a
2
t
2

n
2t
_
E
E
x
i
=
x
i
2a
2
t
E (2.137)
Por lo tanto:
2
E
x
2
i
=
_
x
2
i
4a
4
t
2

1
2a
2
t
_
E (2.138)
De aqu:
_
E
t
a
2
2
E
_
=
_
[x[
2
4a
2
t
2

n
2t
_
E
_
[x[
2
4a
2
t
2

n
2t
_
E 0, t > 0 (2.139)
Sea, ahora D(R
n+1
). Tenemos:
_
E
t
a
2
2
E,
_

_
E,

t
a
2
_
=
=
_

0
_
E(x, t)
_
t
a
2
_
dxdt =
= lim
0
_

_
E(x, t)
t
dt lim
0
_

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

_
E
t
dxdt lim
0
_

_

2
Edxdt =
= lim
0
__
E(x, )(x, )dx +
_

_ _
E
t

2
E
_
dxdt
_
=
=
_
E(x, 0)(x, 0)dx (2.140)
pues (E/t
2
E) = 0.
Por otra parte:
E(x, 0) lim
t0
1
(4a
2
t)
n/2
exp
_
[x[
2
4a
2
t
_
= (x) (2.141)
en D
(R
n
).
Volviendo a (2.140) y teniendo en cuenta (2.141):
_
E
t
a
2
2
E,
_
=
_
E(x, 0)(x, 0)dx = (, ) (2.142)
LQQD.
Observacion; (2.140) debe ser mejor fundamentado de la forma siguiente: Por una parte vimos
que
_
E(x, t)dx = 1 (2.143)
Por otra parte, tenemos que para D:
_
E(x, t)[(x) (0)]dx
_
E(x, t)[(x) (0)[dx
K
(4a
2
t)
n/2
_
exp ([x[
2
/(4a
2
t))[x[dx =
=
K
2
n
n/2
a
n
t
n/2
_

0
exp (r
2
/(4a
2
t))r
n
dr
n
=
=
K2a
t
n
n/2
_

0
e
u
2
u
n
du = C
t 0, t 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, nita y acotada y la ultima integral en la igualdad es una funcion Gamma
de Euler y, por tanto, un n umero nito.
Teniendo en cuenta estas cosas, podemos escribir:
(E(x, t), ) =
_
E(x, t)(x)dx (0)
_
E(x, t)dx +
+
_
E(x, t)[(x) (0)]dx (0) = (, ), t 0 (2.145)
donde hemos tenido en cuenta (2.143) y que
_
E(x, t)[(x) (0)]dx 0, t 0 (2.146)
De esta forma queda plenamente justicada la expresion (2.140).
g) Sea
E
1
(x, t) =
1
2a
(at [x[) (2.147)
con x = x
1
(o sea, en R
1
). Demostrar que
2
E
1
t
2
a
2
2
E
1
x
2
= (x, t) (2.148)
DEMOSTRACION:
Es evidente que E
1
(x, t) es localmente integrable en R
2
y E
1
= 0 fuera del cono de luz
+
denido por las rectas caractersticas x = at y x = at y el semieje t > 0. Sea D.
Tenemos:
_
2
E
1
t
2
a
2
2
E
1
x
2
,
_
_
E
1
,

2
t
2
a
2
x
2
_
=
=
_
E
1
(x, t)
_
t
2
a
2
x
2
_
dxdt =
=
1
2a
_

dx
_

|x|/a
t
2
dt
a
2
_

0
dt
_
at
at
x
2
dx =
=
1
2a
_

(x, [x[/a)
t
dx
a
2
_

0
_
(at, t)
x

(at, t)
x
_
dt =
(sustituyendo x/a = t por lo que dx = adt):
=
1
2
_

0
(at, t)
t
dt
1
2
_

0
(at, t)
t
dt
a
2
_

0
(at, t)
x
dt +
a
2
_

0
(at, t)
x
dt

1
2
_

0
d(at, t)
1
2
_

0
d(at, t)
1
2
(0, 0) +
1
2
(0, 0) (, ) (2.149)
h) Sea n = 2, z = x +iy, z = x iy, dz = dx +idy. El operador diferencial

1
2
_

x
+i

y
_
(2.150)
se llama Operador de Cauchy-Riemann.
Sea f C
1
(

G) y f 0, z G
1
, donde G
1
= R
2
G. Sea S (frontera de G) seccionalmente lisa

(como siempre, su recorrido positivo implica que G quede siempre a la izquierda). Apliquemos
la formula (2.77) del ejemplo b). Tendremos:
f
z

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

_
f
z
f
2
[cos(nx) + i cos(ny)]
S
(2.151)
Sea D y veamos:
_
f
z
,
_
=
__
f
z
_
,
_
_
f
2
[cos(nx) + i cos(ny)],
_
(2.152)
De aqu:
_
G
_
f

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

z
+
f
z
_
dxdy =
1
2
_
S
f(dy idx) =
=
i
2
_
S
f(dx +idy) =
i
2
_
S
fdz (2.154)
As:
_
G
(f)
z
dxdy =
i
2
_
S
fdz (2.155)
i) Demostrar que
z
1
z
= (x, y) (2.156)
DEMOSTRACION:
Tomemos f = 1/z, G = [ < [z[ < R] con D y supp U
R
[[z[ < R]. Tenemos:
_

z
1
z
,
_
=
_
1
z
,

z
_

_
U
R
1
z
dxdy
lim
0
_
<|z|<R
1
z
dxdy =
= lim
0
_
<|z|<R
1
z
dxdy +
i
2
__
S
R
_
S
_
z
dz =
=
i
2
lim
0
_
|z|=
z
dz =
i
2
lim
0
_
2
0
(e
i
)
e
i
ie
i
d =
= (0) (, ) (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.
1. Demostrar que
(a)
d
dx
ln [x[ = P
1
x
(b)
d
dx
P
1
x
= P
1
x
2
(c)
d
dx
1
x i0
= i
(x) P
1
x
2
donde
_
P
1
x
2
,
_
= V P
_
(x) (0)
x
2
dx
2. Demostrar que las funciones generalizadas a la derecha son las soluciones generales en
D
(R
1
) de las ecuaciones de la izquierda:
(Notar que aqu hay varias constantes arbitrarias, mientras que la solucion cl asica de una
ecuacion diferencial de primer orden s olo tiene una sola constante arbitraria).
(a)
xu
= 1
Solucion:
u = C
1
+C
2
(x) + ln [x[
(b)
xu
= P
1
x
Solucion:
u = C
1
+C
2
(x) P
1
x
(c)
x
2
u
= 1
Solucion:
u = C
1
+C
2
(x) + C
3
(x) P
1
x
(d)
xu = signx
Solucion:
u = C(x) +P
1
[x[
ax
x = a
(0)(x) + a(0)
(x)
para a(x) C
1
(R
1
).
4. Demostrar: Si f D
y f(x) = 0, x < x
0
, entonces existe una primitiva unica f
(1)
tal
que es igual a cero para x < x
0
.
(D
f)(x +h) = D
f(x +h)
para todo f D
y h R
n
.
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
k=1
a
k
(k)
(x k)
converge en D
para cualquiera a
k
.
9. Sea
Sr
la capa simple sobre la esfera [x[ = r, lo que equivale a decir:
(
S
, ) =
_
S
(x)(x)dS, D
Demostrar que
lim
r0
1
r
2
_
1
n
r
n1
Sr

_
=
1
2n
en D
. Esta formula se conoce con el nombre de F ormula de Pizetti. Aqu
n
=
_
S
1
dS =
2
n/2
(n/2)
Captulo 3
Producto Directo y Convolucion de
Funciones Generalizadas
3.1 Producto Directo
Sean f(x) y g(y) localmente integrables en R
n
y R
m
, respectivamente. Entonces, f(x)g(y) sera
localmente integrable en R
n+m
. Esta expresi on dene a una funcion generalizada regular que
act ua sobre (x, y) D de la siguiente forma:
(f(x)g(y), ) =
_
f(x)g(y)(x, y)dxdy =
=
_
f(x)
_
g(y)(x, y)dydx (f(x), (g(y), (x, y)))(g(y)f(x), ) =
=
_
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) D
(R
n
) y g(y) D
(R
m
) a la funci on generalizada que act ua seg un la regla:
(f(x) g(y), ) = (f(x), (g(y), (x, y))) (3.2)
para D(R
n+m
).
SE PUEDE DEMOSTRAR que esta denicion es correcta, o sea, que la parte derecha de
(3.2) es un funcional lineal y continuo en D(R
n+m
). Esto quiere decir que f(x)g(y) D
(R
n+m
,
lo que equivale a decir que es una funci on generalizada.
65
PROPIEDAD IMPORTANTE
f(x) g(y) = g(y) f(x) (3.3)
O sea, el producto directo es conmutativo.
Esto resulta f acil de demostrar al menos para funciones de base del tipo
(x, y) =
N
l=1
u
l
(x)v
l
(y) D(R
n+m
) (3.4)
con u
l
(x) D(R
n
) y v
l
(y) D(R
m
):
(f(x) g(y), ) =
_
f,
N
l=1
u
l
(g, v
l
)
_
=
N
l=1
(f, u
l
)(g, v
l
) =
=
_
g,
N
l=1
v
l
(f, u
l
)
_
= (g(y) f(x), ) (3.5)
Este resultado se puede extender a cualquier funci on D(R
n+m
) sobre la base del siguiente
lema que no demostraremos:
LEMA: Para cualquier D(R
n+m
) siempre existe una sucesi on de funciones de base
k
(x, y)
con k = 1, 2, ... del tipo
k
l=1
u
l
(x)v
l
(y) (3.6)
que converge a en D(R
n+m
).
O sea, el conjunto de funciones del tipo
(x, y) =
N
l=1
u
l
(x)v
l
(y) (3.7)
es denso en D(R
n+m
).
PROPIEDADES DEL PRODUCTO DIRECTO:
1. El producto directo es continuo. Es decir:
Producto directo y convolucion de funciones generalizadas 67
a)
[f(x) + f
1
(x)] g(y) = [f(x) g(y)] +[f
1
(x) g(y)] (3.8)
para f, f
1
D
(R
n
) y g D
(R
m
).
b)
f
k
(x) g(y) 0, k (3.9)
en D
(R
n+m
), si f
k
0, k en D
(R
n
).
DEMOSTRACION:
a) Evidente, a partir de la denicion de producto directo.
b) Llamemos (x) = (g(y), (x, y)) que es una funci on de base en R
n
; o sea, que pertenece a
D(R
n
). Entonces, tenemos:
(f
k
(x) g(y), ) (f
k
(x), (g(y), (x, y))) (f
k
, ) 0, k (3.10)
LQQD.
2. El producto directo es asociativo: O sea, f D
(R
n
), g D
(R
m
), h D
(R
k
) se cumple:
f(x) [g(y) h(z)] [f(x) g(y)] h(z) (3.11)
DEMOSTRACION:
Para D(R
n+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.
D
x
[f(x) g(y)] = D
x
f(x) g(y) (3.13)
DEMOSTRACION:
Sea D(R
n+m
):
(D
x
[f(x) g(y)], ) = (1)
||
(f(x) g(y), D
x
) =
Como el producto conmuta:
= (1)
||
(g(y), (f(x), D
x
)) = (g(y), (D
x
f(x), )) = ([D
x
f(x) g(y)], ) (3.14)
LQQD.
4. Multiplicacion por a del producto directo.
Para a C
(R
n
):
a(x)[f(x) g(y)] = a(x)f(x) g(y) (3.15)
Se deja al lector la demostraci on de esta propiedad.
5. Traslacion:
(f g)(x +h, y) = f(x +h) g(y) (3.16)
Se deja al lector la demostraci on 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
regla: D(R
n+m
):
(f(x) 1(y), )
_
f(x),
_
(x, y)dy
_
= (1(y) f(x), ) =
_
(f(x), (x, y)dy) (3.17)
para todo f D
(R
n
) y D(R
n+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 R
n
y si, adem as,
h(x) =
_
[g(y)f(x y)[dy (3.18)
es localmente integrable en R
n
, entonces se llama convolucion f g de estas funciones a la
funcion:
(f g)(x) =
_
f(y)g(x y)dy
_
g(y)f(x y)dy = (g f)(x) (3.19)
Observacion: La convoluci on en este caso es tambien localmente integrable en R
n
. Por lo
tanto, la convoluci on (3.19) dene a una funci on generalizada regular que act ua sobre funciones
de base D(R
n
) seg un la regla:
(f g, ) =
_
(f g)()()d
=
_ __
g(y)f( y)dy
_
()d =
_
g(y)
__
f( y)()d
_
dy =
=
_
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 dene la convolucion de dos funciones generalizadas es:
(f g, ) =
_
f(x)g(y)(x +y)dxdy, R
n
(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 nita.
Por ejemplo, sea supp g U
R
1
. Entonces:
_
U
R
h(x)dx =
_
U
R
1
[g(y)[
_
U
R
[f(x y)[dxdy
_
U
R
1
[g(y)[dy
_
U
R
+R
1
[f()[d < (3.22)
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:
_
R
R
h(x)dx =
_
R
0
_
x
o
[g(y)[[f(x y)[dydx =
_
R
0
[g(y)[
_
R
y
[f(x y)[dxdy
Haciendo el cambio de variables = x y, d = dx:
_
R
o
[g(y)[dy
_
R
0
[f()[d < (3.23)
3) f y g ambas integrables en R
n
:
_
h(x)dx =
_
[g(y)[
_
[f(x y)[dxdy =
_
[g(y)[dy
_
[f()[d < (3.24)
Por lo tanto, f g es integrable en R
n
.
DEFINICION: Diremos que la sucesi on
k
de funciones de base de D(R
n
) converge a 1 en
R
n
, 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 R
n
, junto con sus derivadas. O sea:
[D
k
(x)[ < C
, x R
n
(3.25)
con k = 1, 2, ... y cualquiera.
Tales sucesiones siempre existen. Por ejemplo, si (x) D y (x) = 1, x U
1
, entonces:
k
(x) = (x/k) (3.26)
es una sucesi on de este tipo, donde (x) es la funci on denida en el primer captulo.
TEOREMA: La igualdad (3.21) puede escribirse as:
(f g, ) = lim
k
(f(x)g(y),
k
(x, y)(x +y)) (3.27)
donde
k
(x, y), con k = 1, 2, ... es cualquier sucesion convergente a 1 en R
2n
.
DEMOSTRACION: Tenemos:
[f(x)g(y)
k
(x, y)(x +y)[ [
k
(x, y)[[f(x)g(y)(x +y)[
teniendo en cuenta b)
C
0
[f(x)g(y)(x +y)[, k = 1, 2, ... (3.28)
La funcion [f(x)g(y)(x +y)[ es, ademas, integrable.
Por otro lado
lim
k
f(x)g(y)
k
(x, y)(x +y) = f(x)g(y)(x +y) (3.29)
en casi todo punto de R
2n
. Por lo tanto, podemos escribir:
(f g, )
_
f(x)g(y)(x +y)dxdy =
_
lim
k
f(x)g(y)
k
(x, y)(x +y)dxdy =
lim
k
_
f(x)g(y)
k
(x, y)(x +y)dxdy lim
k
(f(x)g(y),
k
(x, y)(x +y)) (3.30)
LQQD.
A partir de esto, estudiaremos la siguiente denici on.
DEFINICION: Sean las funciones generalizadas f y g de D
(R
n
), 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 funci on de D(R
n
) en el sentido de que, cualquiera que sea la sucesi on
k
convergente a 1 en R
2n
(
k
D(R
2n
)), existe el lmite de la sucesion numerica
lim
k
(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 convolucion (f g) al funcional
(f g, ) = (f(x) g(y), (x +y)) = lim
k
(f(x) g(y),
k
(x, y)(x +y)) (3.32)
para todo D(R
n
).
Es facil ver que el funcional f g denido as pertenece a D
(R
n
), 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)
Efectivamente: Sea D(R
n
) y sea
k
cualquier sucesion en D(R
2n
) convergente a 1.
Entonces:
k
(x, 0)(x) (x), k (3.35)
en R
n
. Por lo tanto, de acuerdo con la denici on, tenemos:
(f , ) = (f(x) (y), (x +y)) =
lim
k
(f(x) (y),
k
(x, y)(x +y)) = lim
k
(f(x),
k
(x, 0)(x)) = (f, ) (3.36)
LQQD.
Observacion de interes: f = f signica que cualquier funci on generalizada puede ser
desarrollada en funciones delta, lo que formalmente se escribe as:
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 est a compuesta por
fuentes puntuales, etc.
3.3 Propiedades de la convolucion
1. Linealidad: La convoluci on f g es lineal de D
en D
respecto a f y a g por separado.

O sea,
(f +f
1
) g = (f g) +(f
1
g) (3.38)
Es evidente a partir de la linealidad del producto directo.
SIN EMBARGO, la convoluci on f g, en general, no es continua en D
con respecto a f
o a g. Por ejemplo, (x k) 0, k en D
(R
1
), pero 1 (x k) = 1 y, por lo
tanto, no tiende a cero cuando k en D
(R
1
).
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)
DEMOSTRACION: Basta demostrarlo para cada primera derivada D
j
,
con j = 1, 2, ..., n.
Sean D(R
n
) y
k
(x, y) D(R
2n
) que tiende a 1, cuando k . Entonces:
k
x
j
0, k (3.40)
Por lo tanto, tendremos:
(D
j
(f g), ) = (f g, D
j
) = lim
k
_
f(x) g(y),
k
(x, y)
(x +y)
x
j
_
=
= lim
k
_
f(x)
x
j
g(y),
k
_
(D
j
f g) (3.41)
Demostrada una de las igualdades. La otra es evidente, a partir de la conmutatividad de
la convolucion.
Caso particular util:
D
f D
(f ) D
f D
f (3.42)
para toda f D
.
Importante observaci on: La existencia de las convoluciones D
f g y f D
g no es
suciente 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 convoluci on no es asociativa.
Por ejemplo:
(
) 1 (
) 1
1 1 = 1 (3.43)
Pero
(
1) ( 1
) ( 0) = 0 = 0 (3.44)
4. Traslacion 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 R
n
(3.45)
O sea, las operaciones de traslacion y de convolucion conmutan.
DEMOSTRACION: Habamos visto la traslaci on de una funcion generalizada (formula
(1.65) as:
(f(y +b), ) = (f, (x b))
((f g)(x +h), ) = (f g, (x h)) = lim
k
(f(x) g(y),
k
(x h, y)(x h, y)) =
= lim
k
(f(x +h) g(y),
k
(x, y)(x +y)) = (f(x +h) g(y), ) (3.46)
LQQD.
Aqu se us o la propiedad de traslacion del producto directo (3.16).
Enunciemos las condiciones sucientes de existencia de la convoluci on:
TEOREMA: Sea f una funci on generalizada arbitraria y g una funci on generalizada nita.
Entonces, la convoluci on f g existe en D
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 f
k
0, k en D
, entonces f g 0, k , en D
.
2) Si g
k
0, k , en D
y para cierto R, supp g

k
U
R
, entonces, f g
k
o, k ,
en D
.
Veamos otros elementos teoricos relativos a la convolucion:
3.4 Algebra convolucional D
/
+
de funciones generalizadas
Sea D
+
el conjunto de funciones generalizadas de D
(R
1
) que son iguales a cero para t < 0.
TEOREMA:
Sea f D
+
y g D
+
. Entonces, f g existe en D
+
y se expresa por:
(f g, ) = (f(t) g(),
1
(t)
2
()(t +)), D(R
1
) (3.48)
donde
1
(t) y
2
(t) son cualesquiera funciones de C
(R
1
) iguales a 1 en el entorno del semieje
[0, ) e iguales a cero para t < 0 sucientemente grandes.
Ademas, la convoluci on es continua respecto a f y a g por separado.
Corolario importante: La convoluci on de funciones generalizadas de D
+
es asociativa y
conmutativa:
f
1
(f
2
f
3
) = (f
1
f
2
) f
3
= f
2
(f
1
f
3
) (3.49)
(f
1
(f
2
f
3
)) = (f
1
(t) (f
2
f
3
)(),
1
(t)
2
()(t +))
((f
2
f
3
)() f
1
(t),
1
(t)
2
()(t +)) =
= (f
2
() f
3
(
) f
1
(t),
2
()
3
(
)
1
(t)
2
( +
)(t + +
)) =
= ([f
1
(t) f
2
(
)] f
3
(
), ...) = (f
1
f
2
) f
3
(3.50)
etc.
Aqu hemos tenido en cuenta que el producto directo entre f
2
() y f
1
(t) conmuta y que
2
()
2
( +
) =
2
().
DEFINICION: El conjunto lineal A se llama Algebra, si en el est a denida la operaci on de
multiplicaci on 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.
Entonces, D
+
es un algebra asociativa y conmutativa, siempre que por operacion de multipli-
cacion entendamos la operaci on de convoluci on .
D
+
se llama algebra convolucional.
El elemento unidad en el algebra convolucional D
+
es la funcion delta, ya que
f = f (3.51)
3.5 Ecuaciones en el algebra convolucional D
/
+
Sea la ecuaci on en D
+
:
a u = f (3.52)
donde a y f son funciones generalizadas conocidas y u es desconocida, todas de D
+
.
DEFINICION: La soluci on de la ecuaci on (3.52) para f = , si existe, se llama soluci on
fundamental del operador convolucional a y la representamos por a
1
(elemento inverso del
algebra D
+
):
a a
1
= (3.53)
TEOREMA: Si a
1
existe en D
+
, entonces, para cualquier f D
+
, la solucion de (3.52)
existe, es unica y viene dada por la f ormula:
u = a
1
f (3.54)
DEMOSTRACION:
a) Comprobamos que a
1
f satisface la ecuaci on (3.52). Tenemos:
a (a
1
f) (a a
1
) f f f
Aqu hemos tenido en cuenta el corolario sobre la asociatividad y conmutatividad de la cn-
voluci on.
LQQD.
b) Comprobamos que es unica. Esto equivale a demostrar que la ecuaci on homogenea au = 0
solo tiene solucion trivial u 0.
Sea u
0
la soluci on de la ecuacion homogenea; o sea, au
0
0. Entonces, aplicando a
1
tenemos:
a
1
(a u
0
) 0 (3.55)
O sea:
(a
1
a) u
0
0 (3.56)
Pero por (3.39) esto es:
u
0
0 (3.57)
lo que signica que u
0
0.
LQQD.
Demostrado todo el teorema.
Gracias a este teorema, resolver la ecuaci on a u = f con f D
+
arbitraria se reduce a
resolverla para una f concreta: f = (o sea, hallar la soluci on fundamental a
1
).
Teorema: Si a
1
1
y a
1
2
existen en D
+
, entonces
(a
1
a
2
)
1
= a
1
1
a
1
2
(3.58)
DEMOSTRACION:
Por la conmutatividad entre a
1
y a
2
:
(a
1
a
2
) (a
1
1
a
1
2
) = (a
2
a
1
) (a
1
1
a
1
2
) =
Por la propiedad asociativa:
= (a
2
(a
1
(a
1
1
a
1
2
))) = (a
2
((a
1
a
1
1
) a
1
2
))
(a
2
( a
1
2
)) (a
2
a
1
2
)
(por denicion):
(a
1
a
2
) (a
1
a
2
)
1
(3.59)
LQQD.
Con ayuda de la teora de funciones de variable compleja, veremos, m as adelante, el calculo
operacional sobre cierta subalgebra de D
+
.
Introduzcamos la funci on generalizada f
+
dependiente del parametro real :
f
(x) =
(x)
()
x
1
, > 0
f
(x) = f
+1
(3.60)
Teorema:
f
= f
+
(3.61)
DEMOSTRACION: Sean > 0 y > 0:
f
= (x)
_

0
y
1
()
(x y)
()
(x y)
1
dy =
(x)
()()
_
x
0
y
1
(x y)
1
dy =
haciendo el cambio de variable: t = y/x, dy = xdt:
=
(x)
()()
_
1
0
x
1
t
1
(x tx)
1
xdt =
(x)x
+1
()()
_
1
0
t
1
(1 t)
1
dt =
=
(x)x
+1
()()
B(, )
(x)x
+1
()()
()()
( +)
=
(x)
( +)
x
+1
f
+
LQQD para > 0 y > 0.
Sean < 0, < 0. Entonces, suponiendo que + 1 < 0 y + 1 < 0:
f
= f
+1
f
+1
= f
+2
f
+2
= ... = f
(m)
+m
f
(m)
+m
=
donde hemos supuesto que ya + m > 0 y + m > 0 y, ahora, usando la propiedad de la
derivaci on de la convoluci on (3.39) vista anteriormente y el inciso anterior:
= (f
+m
f
+m
)
(m+n)
= f
(m+n)
++m+n
= f
+
pues al derivar a x
++m+n1
m +n veces, queda x
+1
.
Por ultimo, sean = 0, = 0:
f
0
(x) = f
1
=
_
(x)
(1)
x
0
_
= (x)
Por lo tanto:
f
0
(x) f
0
(x) = = = f
0
LQQD.
Demostrado el teorema.
Analicemos, ahora, el operador convolucional f
en D
+
.
Como f
0
= y f
= f
+
tenemos, por lo tanto, por denici on de inverso:
f
f
1
= f
0
f
(3.62)
Por lo tanto, f
1
siempre existe (la soluci on fundamental siempre existe) y vale f

1
= f
.
Por otra parte; sea n < 0 entero. Entonces f
n
= f
n+1
. Tenemos que:
f
1
= f
0
=
, f
2
= f
1
=
, ..., f
n
=
(n)
.
As pues:
f
n
u =
(n)
u = u
(n)
(3.63)
La expresion (3.63) representa el operador de derivaci on n veces.
Sea ahora n > 0. Entonces, teniendo en cuenta la propiedad asociativa:
(f
n
u)
(n)
= f
n
(f
n
u) = (f
n
f
n
) u u u (3.64)
pues f
n
= f
1
n
.
Es decir, f
n
u para toda n > 0 es la primitiva de orden n de la funci on generalizada. As,
tiene lugar la siguiente denicion:
DEFINICION: El operador f
n
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 Regularizacion de las funciones generalizadas
Sea la funci on generalizada f y una funcion de base. Por lo tanto, f existe, pues , por
ser de base, es nita.
TEOREMA:
f = (f(y), (x y)) (3.65)
DEMOSTRACION:
Por la denici on de convoluci on:
(f , ) = (f(y) (), ()(y +)) =
como = 1 en el entorno del supp
= (f(y),
_
()()(y +)d (f(y),
_
()(y +)d)
haciendo el cambio de variable: x = y +:
(f(y),
_
(x)(x y)dx = ((f(y), (x y)), )
LQQD.
Se puede demostrar que en este caso f C
(R
n
).
Sea la funci on campana dada por (1.25):
(x) = C
2
|x|
2
, [x[
(x) = 0, [x[ >

y:
_

(x)dx = 1 (3.66)
DEFINICION: La funcion innitas veces derivable
f
(x) f
(f(y),
(x y)) (3.67)
se llama regularizacion de la funcion generalizada f.
Hace tiempo vimos que
(x) (x), 0 en D
. Por lo tanto, como f
es continua:
f
(x) f(x), 0 (3.68)

en D
.
Conclusi on interesante: Toda funci on generalizada f es el lmite debil de sus regulariza-
ciones.
TEOREMA:Toda funci on generalizada f es el lmite debil de funciones de base, es decir, el
conjunto D es denso en D
.
DEMOSTRACION: Sea f
(x) la regularizaci on de f. Sea
(x) una sucesi on de funciones

de base iguales a 1 en U1
, para 0.
Entonces, la sucesion de funciones de base
(x)f
(x) f (3.69)
en D
, para 0, ya que como f
(x) f(x) para 0, tomando cualquier D,

tendremos:
lim
0
(
, ) = lim
0
(f
) = lim
0
(f
, ) = (f, ) (3.70)
LQQD.
OBSERVACION: Hace tiempo vimos que el espacio D
es completo. Por lo tanto, tiene lugar

el recproco:
TEOREMA: Todo lmite debil de funciones localmente integrables es una funcion generalizada
de D
.
Observacion: 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 Matem aticos de la Fsica.
3.7 Ejemplos de convoluciones
Potencial Newtoniano:
a) Sea f(x) continua en R
n
0, con singularidad integrable en cero y sea
S
(x) la capa simple
sobre S, que es una supercie seccionalmente lisa y acotada y la densidad.
La convolucion f
S
es una funcion localmente integrable en R
n
y se expresa por:
f
S
=
_
S
(y)f(x y)dS
y
(3.71)
DEMOSTRACION:
(f
S
, ) = (
S
(y) f(), (y)(y +)) =
= (
S
(y), (y)(f(), (y +))) =
_
S
(y)(y)
_
f()(y +)ddS
y

_
S
(y)
_
f(x y)(x)dxdS
y
=
_
(x)
_
S
(y)f(x y)dS
y
dx
__
S
(y)f(x y)dS
y
,
_
LQQD.
b) Sea una funcion generalizada. La convoluci on
V
n
=
1
[x[
n2
, n 3; (3.72)
V
2
= ln
1
[x[
, n = 2 (3.73)
se llama potencial newtoniano (para n = 2, potencial logartmico) con densidad .
TEOREMA: Para igual a una funci on generalizada nita, V
n
existe en D
y cumple la
ecuacion de Poisson:
2
V
n
= (n 2)
n
, n 3 (3.74)
2
V
2
= 2 (3.75)
n
=
2
n/2
(n/2)

_
S
1
dS (3.76)
DEMOSTRACION:
Como, por (3.39): D
(f g) = f D
g, tenemos:
2
V
n
=
2
_
1
[x[
n2

_
=
2
1
[x[
n2

pero, por la f ormula del laplaciano generalizado (2.119):
2
1
[x[
n2
=
_
2
1
[x[
n2
_

n
_
1
[x[
n2
_

n
_
1
[x[
n2
S
_
Tomemos la esfera < [x[ < R con supp U
R
. Tenemos:
_
2
1
[x[
n2
,
_
= lim
0
_
2
1
[x[
n2
,
_
= lim
0
__
2
1
[x[
n2
_
,
_
lim
0
_
S
n
_
1
[x[
n2
_
(x)dS + lim
0
_
S
1
[x[
n2
n
dS =
como el primer y el tercer sumando son iguales a cero, ya que el laplaciano es cero para todo
x ,= 0 y
lim
0
_
S
1
[x[
n2
n
dS = lim
0
1
n2
_
n
_
_
S
dS = 0
obtenemos:
_
2
1
[x[
n2
,
_
= lim
0
_
(n 2)
_
S
(x)dS
n1
_
= lim
0
(n 2)
n1
(x
)
2
n/2
n1
(n/2)

(n 2)
2
n/2
(n/2)
(0) =
_
(n 2)
2
n/2
(n/2)
,
_
O sea:
_
2
1
[x[
n2
,
_
= ((n 2)
n
, )
donde
n
=
2
n/2
(n/2)

1
n1
_
S
dS
As pues, efectivamente, para
V
n
=
1
[x[
n2

se cumple que
2
V
n
= (n 2)
n
LQQD.
Para n = 3 en particular:
2
V
3
= 4 (3.77)
pues
2
1
[x[
= 4(x) (3.78)
El lector debe demostrar como ejercicio que para n = 2:
2
V
2
= 2 (3.79)
c) Si es nita y absolutamente integrable en R
n
, entonces el potencial newtoniano se llama
potencial de volumen y el potencial logartmico potencial de area (de volumen bidi-
mensional) y se expresa por:
V
n
(x) =
_
(y)
[x y[
n2
dy, n 3 (3.80)
V
2
(x) =
_
(y) ln
1
[x y[
dy, n = 2 (3.81)
d) Sea S una supercie acotada seccionalmente lisa de dos caras con un sentido denido 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:
V
(0)
n
=
1
[x[
n2

S
, n 3 (3.82)
V
(0)
2
= ln
1
[x[

S
(3.83)
que son los potenciales de capa simple y
V
1
n
=
1
[x[
n2

n
(
S
) , n 3 (3.84)
V
1
2
= ln
1
[x[

n
(
S
) (3.85)
que son los potenciales de doble capa.
Estas integrales de supercie dan:
V
(0)
n
(x) =
_
S
(y)[x y[
n2
dS
y
, n 3 (3.86)
V
(0)
2
(x) =
_
S
(y) ln
1
[x y[
dS (3.87)
V
(1)
n
(x) =
_
S
(y)

n
y
_
1
[x y[
n2
dS
y
_
, n 3 (3.88)
V
(1)
2
(x) =
_
S
(y)

n
y
_
ln
1
[x y[
_
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:
(V
(1)
n
, ) = ... =
_
(x)
_
S
n
y
_
1
[x y[
n2
_
dS
y
dx = ... (3.90)
etcetera.
n
[(x
1
)...(x
n
)]
x
1
...x
n
= (x
1
)...(x
n
) (x) (3.91)
2. Demostrar: Para que la funci on generalizada f(x) no dependa de x
i
es necesario y su-
ciente que
f
x
i
= 0 (3.92)
3. Demostrar: Para que f(x) no dependa de x
i
es necesario y suciente que sea invariante
ante todo desplazamiento.
4. Demostrar: Si f no depende de x
i
, entonces f g tampoco depende de x
i
.
5. Demostrar: Si f 1 existe, entonces es constante.
6. Para
f
=
(x)
()
x
1
e
ax
(3.93)
donde > 0 y a es cualquiera, comprobar que
f
= f
+
(3.94)
7. Demostrar que
e
ax
f e
ax
g = e
ax
(f g) (3.95)
para f D
+
y g D
+
.
8. Para
f
=
1
2
exp
_
x
2
2
2
_
(3.96)
con > 0, comprobar que
f
= f
2
+
2
(3.97)
9. Para
f
=
1
2
+x
2
(3.98)
comprobar que
f
= f
+
(3.99)
Captulo 4
Funciones generalizadas de crecimiento
lento (atemperadas)
La importancia del estudio de este tipo de funciones generalizadas est a 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(R
n
) de funciones de base al conjunto de
funciones de la clase C
(R
n
) que decrecen junto a sus derivadas m as r apido que cualquier
potencia de
1
|x|
cuando [x[ .
DEFINICION 2: En S la convergencia se dene as:
La sucesi on
k
S converge a S en S, si para todo y todo :
x
k
(x) x
(x), k (4.1)
para toda x R
n
.
Observaciones:
1. S es lineal.
2. D S; de la convergencia en D se desprende la convergencia en S.
3. S no coincide con D. Por ejemplo, e
|x|
2
S, pero no pertenece a D.
DEFINICION: Sea a C
(R
n
) una funcion que crece junto a sus derivadas con menos
rapidez que cierto polinomio. O sea:
87
[D
a(x)[ C
(1 +[x[)
m
(4.2)
Representemos al conjunto de estas funciones por
M
.
TEOREMA: La multiplicaci on 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 r apido que cualquier potencia
de
1
|x|
, para [x[ .
Adem as, si
k
0, k en S, entonces:
x
(a
k
) 0, , (4.3)
O sea, a
k
0 en S.
LQQD.
Sin embargo es posible armar que:
TEOREMA: D es denso en S, lo que equivale a decir que para cualquier S existe una
sucesi on
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 (4.5)
en S.
LQQD.
Tiene lugar otra armacion
TEOREMA:
La derivacion D
(x) y el cambio de variables (Ay +b) son continuas de S en S.

Funciones generalizadas de crecimiento lento 89
Sin embargo, la multiplicacion por una funcion innitamente derivable puede salirse de los
lmites de S. Por ejemplo:
e
|x|
2
e
|x|
2
= 1no S
4.2 Espacio S
/
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
= S
(R
n
) el conjunto de todas las funciones generalizadas de crecimiento lento. S
es un
conjunto lineal (igual que D
).
DEFINICION: La sucesi on de funciones generalizadas f
k
S
converge en S
a la funcion
generalizada f S
, lo que se escribe as: f

k
f, k en S
, si para cualquier S:
(f
k
, ) (f, ), k (4.6)
Es decir: La convergencia en S
la denimos como la convergencia debil de funcionales.

DEFINICION: El conjunto lineal S
junto con la convergencia denida se llama espacio de

funciones generalizadas de crecimiento lento.
Es f acil ver que S
y que de la convergencia en S
se desprende la convergencia en D
.
TEOREMA DE SCHWARZ: Para que el funcional lineal f en S pertenezca a S
(o sea,
sea continuo en S), es necesario y suciente que existan los n umeros C > 0 y p 0 (p entero)
tales que S se cumpla:
[(f, )[ C | |
p
(4.7)
donde
| |
p
= Sup
||p,xR
n(1 +[x[)
p
[D
(x)[ (4.8)
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 | ... |
p
.
Esto se expresa diciendo que la funci on tiene orden nito.
Ejemplos de funciones generalizadas de crecimiento lento.
Ejemplo 1: Sea f(x) localmente integrable polinomial en el innito (de crecimiento lento); o
sea, para cierta m 0:
_
[f(x)[(1 +[x[)
m
dx < (4.9)
Entonces, esta funcion dene a un funcional regular f S
seg un la f ormula:
(f, ) =
_
f(x)(x)dx, S (4.10)
OBSERVACIONES:
1. No toda funcion localmente integrable dene a una funcion generalizada de crecimiento
lento. Por ejemplo, e
x
no S
(R
1
).
2. No toda funci on localmente integrable que pertenezca a S
tiene crecimiento polinomial.

Por ejemplo, la funcion
(cos e
x
)
= e
x
sin e
x
(4.11)
no es de crecimiento polinomial. Sin embargo, ella dene a una funcion generalizada de
S
por la f ormula
((cos e
x
)
, ) =
_
cos e
x
(x)dx, S (4.12)
3. Se puede demostrar (lo hizo Schwarz) que toda funcion generalizada de S
es la derivada
de una funci on continua de crecimiento polinomial. Por eso, a S
se le llama espacio de
funciones generalizadas de crecimiento lento.
Ejemplo 2: Si f es una funci on generalizada nita de D
, entonces, puede prolongarse

unvocamente a S como elemento de S
por la f ormula
(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)
O sea, el funcional lineal (f, ) es continuo en S.
La unicidad de la prolongaci on del funcional f a S se debe a la densidad de D en S.
Ejemplo 3: Si f S
, entonces D
f S
tambien.
Esto se ve del hecho de que D
es una operaci on 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
y detA ,= 0, entonces f(Ay + b) S
. Esto es porque la operaci on de

transformacion [A
1
(x b)] es continua de S en S y, por lo tanto
(f(Ay +b), ) =
_
f,
[A
1
(x b)]
[detA[
_
(4.16)
es un funcional lineal continuo en S.
Ejemplo 5: Si f S
y a
M
, entonces af S
.
Efectivamente, vimos que a por una funci on 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
||=0
C
(x) (4.18)
La demostraci on de este teorema es muy bonita, pero la obviamos, por ser muy larga.
4.3 Transformada de Fourier de las funciones generali-
zadas de crecimiento lento
La propiedad m as 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 R
n
, para ellas esta denida
la operaci on de transformada de Fourier F:
F[]() =
_
(x)e
ix
dx, S (4.19)
La transformada de Fourier F[]() es acotada y continua en R
n
.
Como S decrece mas rapidamente que cualquier potencia de
1
|x|
, por lo tanto su transfor-
mada de Fourier puede derivarse cuantas veces se quiera bajo la integral:
D
F[]() =
_
(ix)
(x)e
ix
dx F[(ix)
]() (4.20)
Por lo tanto, F[] C
(R
n
).
Por otra parte, cada derivada D
tiene transformada:
F[D
]() =
_
D
(x)e
ix
dx = (i)
F[]() (4.21)
donde hemos aplicado la integraci on por partes veces.
Multipliquemos (4.20) por
y trabajemos. Tenemos:
F[]() =
F[(ix)
]() = i
||
F[x
]() =
usando (4.21)
= i
||
1
(i)
F[D
(x
)] = (1)
||
i
||
i
||
F[D
(x
)] =
i
||
(1)
||
(i)
||
F[D
(x
)] = i
||+||
F[D
(x
)]()
Es decir:
F[]() = i
||+||
F[D
(x
)]() (4.22)
de (4.22) se ve que:
[
F[]()[ [i
||+||
_
D
(x
(x))e
ix
dx
_
D
(x
(x))dx
(4.23)
O sea: Para cualesquiera y ,
F[]() son expresiones uniformemente acotadas para

R
n
.
Quiere decir (por la denici on de S), F[] S.
Por lo tanto, la transformada de Fourier transforma el espacio S en s mismo.
Observacion importante: La transformada de Fourier no transforma el espacio D en si
mismo, pues la transformada de Fourier de una funcion nita es una funcion analtica en todo
el plano (entera) y por el teorema de Liouville de la variable compleja,o no es nita o es cero.
Como la transformada de Fourier F[] con S es integrable y derivable continuamente en
R
n
, 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 denici on:
F
1
[](x)
1
(2)
n
_
()e
ix
d
(se puede interpretar como)
1
(2)
n
_
()e
i(x)
d
por la denicion de transformada:
1
(2)
n
F[](x) =
haciendo el cambio de por los menos se van al invertir los lmites de integracion y queda
=
1
(2)
n
_
()e
ix
d
1
(2)
n
F[()](x)
O sea, para la transformada inversa se cumple
F
1
[](x) =
1
(2)
n
F[()](x) (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
/
Veamos primero lo siguiente para las funciones normales:
Si f(x) es absolutamente integrable en R
n
, entonces su transformada de Fourier es
F[f]() =
_
f(x)e
ix
dx (4.26)
que cumple que
[F[f]()[
_
[f(x)[dx < (4.27)
F[f]() aqu es una funci on acotada y continua en R
n
. Por lo tanto, dene a una funci on
generalizada de S
:
(F[f](), )
_
F[f]()()d (4.28)
con S.
Cambiemos el orden de integraci on:
_
F[f]()()d
_ __
f(x)e
ix
dx
_
()d =
=
_
f(x)
__
()e
ix
d
_
dx
_
f(x)F[](x)dx
O sea,
(F[f], ) = (f, F[]), S (4.29)
Por lo tanto tenemos la siguiente
DEFINICION: Transformada de Fourier F[f] de f S
(funcion generalizada de crecimiento

lento) es el funcional que act ua seg un la regla:
(F[f], ) = (f, F[]), f S
, S (4.30)
El lector debe comprobar que la parte derecha de (4.30) dene a un funcional lineal y continuo
en S, lo que equivale a decir que F[f] S
. Por lo tanto, la operaci on transformada de Fourier

transforma a S
en S
. A un m as:
TEOREMA: F es una operaci on lineal y continua de S
en S
.
DEMOSTRACION:
Linealidad: Es evidente, pues es una integral.
Continuidad: Sea f
k
0, k ; entonces por (4.30):
(F[f
k
], ) = (f
k
, F[]) 0, k (4.31)
O sea:
F[f
k
] 0, k (4.32)
en S
.
LQQD.
Por analoga con la transformada de S, introduzcamos en S
el operador F
1
:
F
1
[f] =
1
(2)
n
F[f(x)] (4.33)
con f S
.
TEOREMA: F
1
[f] dada por (4.32) es la transformada inversa; o sea:
F
1
[F[f]] = f (4.34)
y
F[F
1
[f]] = f (4.35)
para todo f S
.
DEMOSTRACION: Del subepgrafe anterior tenemos:
(x) = F
1
[F[]] = F[F
1
[]] (4.36)
y
F
1
[](x) =
1
(2)
n
F[()] (4.37)
(F
1
[F[f]], ) =
1
(2)
n
(F[F[f]()], ) =
1
(2)
n
(F[f](), F[]) =
arriba hemos tenido en cuenta (4.33) y (4.30).
Haciendo el cambio de por , tenemos:
=
1
(2)
n
(F[f], F[]()) = (F[f], F
1
[]) =
= (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
es transformada de Fourier de la
funcion generalizada g = F
1
[f] S
. 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
en S
de forma biunvoca
y continua.
Sea ahora f(x, y) S
(R
n+m
), con x R
n
y y R
m
.
DEFINICION: Transformada de Fourier respecto a x = (x
1
, ..., x
n
): F
x
[f], es el funcional
que act ua seg un:
(F
x
[f], ) = (f, F
[]) (4.39)
para todo (x, y) S(R
n+m
)
Es demostrable que:
F
[](x, y) =
_
(x, y)e
ix
d S(R
n+m
) (4.40)
y que F
[] es continua de S(R
n+m
) en S(R
n+m
), por lo que (4.39) dene a una funcion
generalizada, o sea, F
x
[f] S
(R
n+m
).
Ejemplo: Demostrar que
F[(x x
0
)] = e
ix
0
(4.41)
(F[(x x
0
)], ) = ((x x
0
), F[]) F[](x
0
)
_
()e
ix
d = (e
ix
0
, )
LQQD.
Observacion: Si en (4.41) tomamos x
0
= 0, entonces queda que
F[] = 1 (4.42)
Por lo tanto, teniendo en cuenta (4.33):
= F
1
[1]
1
(2)
n
F[1] (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.
4.4 Propiedades de la transformada de Fourier
1. Derivada de la transformada: Para f S
:
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) s olo tiene sentido como funci on generalizada, pues la transformada
clasica de Fourier de x
no existe.
Utiles casos particulares: (En R
1
para simplicar)
Para = 0:
_

e
ikx
dx = 2(k) (4.48)
Para = 1:
_

xe
ikx
dx = 2
(k) (4.49)
etc.
2. Transformada de la derivada: Para f S
:
F[D
f] = (i)
F[f] (4.50)
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.
En particular:
F[D
] = (i)
(4.51)
de donde:
_

()
(x)e
ikx
dx = (ik)
(4.52)
3. Teorema del retardamiento: Para f S
:
F[f(x x
0
)] = e
ix
0
F[f] (4.53)
La demostraci on de esta propiedad queda al lector como ejercicio.
4. Teorema del desplazamiento: Para f S
:
F[f]( +
0
) = F
_
e
i
0
x
f
() (4.54)
La demostraci on de esta propiedad tambien se deja al lector como ejercicio.
5. Teorema de la semejanza: Para f S
y c ,= 0:
F[f(cx)]() =
1
[c[
n
F[f]
_
c
_
(4.55)
Demostrar solos tambien.
6. Transformada de Fourier del producto directo: Para f S
(R
n
) y g S
(R
m
):
F[f(x) g(y)] = F
x
[f(x) F[g]()] = F
y
[F[f]() g(y)] = F[f]() F[g]() (4.56)
DEMOSTRACION: Sea (x, y) S(R
n+m
). Entonces:
(F[f(x) g(y)], ) = (f(x) g(y), F[](x, y)) =
por la denici on de producto directo
= (f(x), (g(y), F[](x, y))) = (f(x), (g(y), 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)) = (F
x
[f(x) F[g]()], ) (4.57)
y tambien
(F[f]() F[g](), ) = (F
y
[F[f]() g(y)], ) (4.58)
de donde se demuestra (4.56).
7. F ormulas analogas para F
x
:
Si f(x, y) S
(R
n+m
):
D
x
D
y
F
x
[f] = F
x
[(ix)
y
f] (4.59)
F
x
[D
x
D
y
f] = (i)
y
F
x
[f] (4.60)
4.5 Transformada de Fourier de funciones generalizadas
con soporte compacto
TEOREMA: Si f es una funcion generalizada nita, entonces su transformada de Fourier
pertenece a la clase
M
y se calcula por:
F[f]() = (f(x), (x)e
ix
) (4.61)
con D cualquiera igual a 1 en el entorno de supp f.
DEMOSTRACION:
Se recuerda que:
M
son aquellas a(x) C
(R
n
) 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[])
(f(x),
_
(x)(ix)
()e
ix
d) =
(pues vimos que (f,
_
(x, y)dy =
_
(f, (x, y))dy)
=
_
(f, (x)(ix)
e
ix
()d ((f, (x)(ix)
e
ix
), )
de donde:
D
F[f]() = (f, (x)(ix)
e
ix
)
Para = 0 se obtiene (4.61).
Se puede demostrar que F[f]
M
.
4.6 Transformada de Fourier de la convolucion
TEOREMA: Sea f S
y g una funcion generalizada nita. Entonces

F[f g] = F[g]F[f] (4.63)
DEMOSTRACION:
Cuando denimos la convoluci on vimos que f g S
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)
_
()e
i(x+y)
d
__
(4.65)
Por el teorema visto en la secci on anterior, F[g]
M
. Teniendo en cuenta, adem as, que
_
f,
_
(x, y)dy
_
=
_
(f, (x, y))dy
y que
F[g] = (g(x), (x)e
ix
)
por el teorema nal de la seccion anterior tenemos que de (4.65) se obtiene:
(F[f g], ) =
_
f(x),
_
(g(y), (y)e
iy
)e
ix
()d
_
=
como (g(y), (y)e
iy
F[g](),
=
_
f(x),
_
F[g]()e
ix
()d
_
(F[f], F[g]) (F[f]F[g], )
con lo que queda demostrado el teorema.
4.7 Ejemplos, n=1
1.
f[(R [x[)] =
_
R
R
e
ix
dx =
1
i
e
ix
[
R
R
=
e
iR
e
iR
i
=
2 sin R
(4.66)
2.
F[e
2
x
2
] =
_

2
x
2
e
ix
dx =
exp
_
2
4
2
_
(4.67)
3. Demostrar que
F[e
ix
2
] =
exp
_
i
4
(
2
)
_
(4.68)
Sea D con supp (R, R). Entonces:
(F[e
ix
2
], ) = (e
ix
2
, F[]) =
_
e
ix
2
F[](x)dx =
= lim
N,M
_
N
M
e
ix
2
_
R
R
()e
ix
ddx = lim
N,M
_
R
R
()
_
N
M
e
ix
2
+ix
dxd
Calculemos:
lim
N,M
_
N
M
e
ix
2
+ix
dx = lim
N,M
_
N
M
e
i(x
2
+x+
2
/4
2
/4)
dx =
= lim
N,M
_
N
M
e
i(x+/2)
2
i
2
/4
dx = e
i
2
/4
lim
N,M
_
N+/2
M+/2
e
iy
2
dy =
= e
i
2
/4
_

e
iy
2
dy = e
i
2
/4
e
i/4
=
exp
_
i
4
(
2
)
_
As pues:
(F[e
ix
2
], ) =
_
R
R
exp
_
i
4
(
2
)
_
()d
_
exp
_
i
4
(
2
)
_
,
_
LQQD.
Una necesaria observacion: La demostraci on de arriba fue hecha para D, pero
como vimos que D es denso en S, por lo tanto la demostraci on es valida para las funciones
de base de S.
4. Demostrar que:
F[] = () +iP
1
(4.69)
F[(x)] = () iP
1
(4.70)
DEMOSTRACION: Para todo a > 0 tenemos que:
F[(x)e
ax
] =
_

(x)e
ax
e
ix
dx =
=
_

0
e
i(+ia)x
i( +ia)
[
0
=
i
+ia
(4.71)
pues Re[i( +ia)] a < 0.
Por lo tanto:
lim
a0+
F[(x)e
ax
] = lim
a0+
i
+ia
de donde
F[(x)] =
i
+i0
pero, la formula de Sojotsky (1.59) era:
1
+i0
= i() +P
1
por lo que, efectivamente, se verica la validez de (4.69). (4.70) se demuestra de manera

analoga, lo que se deja al lector como ejercicio.
5. Demostrar que:
F
_
P
1
[x[
_
= 2C 2 ln [[ (4.72)
donde C es la constante de Euler:
C =
_
1
0
1 cos u
u
du
_

1
cos u
u
du (4.73)
y la funcion generalizada P
1
|x|
se dene formalmente como:
_
P
1
[x[
,
_
=
_
|x|<1
(x) (0)
[x[
dx +
_
|x|>1
(x)
[x[
(4.74)
DEMOSTRACION: Para S tenemos:
_
F
_
P
1
[x[
_
,
_
=
_
P
1
[x[
, F[]
_
=
_
1
1
F[](x) F[](0)
[x[
dx +
_
|x|>1
F[](x)
[x[
dx =
=
_
1
1
1
[x[
__

()e
ix
d
_

()e
i0
d
_
dx +
_
|x|>1
1
[x[
_

()e
ix
ddx =
=
_
1
1
1
[x[
_

()(e
ix
1)ddx +
_
|x|>1
1
[x[
_

()e
ix
ddx =
=
_
0
1
1
x
_

()(e
ix
1)ddx +
_
1
0
1
x
_

()(e
ix
1)ddx +
+
_
1
1
x
_

()e
ix
ddx +
_

1
1
x
_

()e
ix
ddx =
=
_
1
0
_

()
e
ix
1
x
ddx +
_
1
0
_

()
e
ix
1
x
ddx +
+
_

1
_

()
e
ix
x
ddx +
_

1
_

()
e
ix
x
ddx =
= 2
_
1
0
_

()
cos x 1
x
ddx + 2
_

1
_

()
cos x
x
ddx =
= 2
_

()
_
1
0
cos x 1
x
dxdxi 2
_

1
_

() sin x
x
2
ddx =
= 2
_

()
_

0
cos u 1
u
dud 2
_

()
_

1
sin x
x
2
dxd =
= 2
_

()
_

0
cos u 1
u
dud
2
_

_
()
_

1
sin x
x
2
dx
_
d + 2
_

()

_

1
sin x
x
2
dxd =
= 2
_

()
__

0
cos u 1
u
du +
_

cos u
u
du
_
d =
= 2
_

()
__
1
0
cos u 1
u
du +
_

1
cos u
u
du
_

1
du
u
+
_

cos u
u
_
d =
= 2
_

()
__
1
0
1 cos u
u
du
_

1
cos u
u
du + ln [[
_
d
2
_

()(C + ln [[)d (2(C + ln [), )

LQQD!
6. Anteriormente, establecimos la formula (2.44):
k=
(x 2k) =
1
2
k=
e
ikx
lo que es v alido tambien en S
. Y como por (4.41) F[(x k)] = e

ikx
, por lo tanto:
2
k=
(x 2k) =
k=
F[(x k)]
Apliquemos esta igualdad a S:
A la izquierda tenemos:
2
_

k=
(x 2k),
_
= 2
k=
((x k), ) = 2
k=
(2k)
y, a la derecha:
_

k=
F[(x k)],
_
=
k=
((x k), F[]) =
k=
F[](k)
2
k=
(2k) =
k=
F[](k) (4.75)
que se conoce con el nombre de F ormula de suma de Poisson.
Si en esta f ormula tomamos:
(x) = exp
_
tx
2
4
2
_
entonces:
F[]() =
2
t
exp
_
2
t
_
, t > 0
y se obtiene:
k=
e
tk
2
=
_
k=
exp
_
k
2
2
t
_
(4.76)
La formula (4.76) aparece en la teora de funciones elpticas.
4.8 Ejemplos, n 2
1. Sea
S
R
la capa simple sobre la esfera S
R
en R
3
. Demostrar que
F[
S
R
] = 4R
sin R[[
[[
(4.77)
DEMOSTRACION:
Como
S
R
es una funcion nita, aplicamos la f ormula (4.61): F[f] = (f, (x)e
ix
). Tene-
mos:
F[
S
R
] = (
S
R
(x), (x)e
ix
=
_
S
R
e
ix
dS
x
pues (x) = 1 en el soporte de
S
R
, o sea, sobre S
R
.
Pero S
x
= R
2
sin dd y, como al recorrer S
R
, y recorren todos sus valores, colocamos
en la direccion de Ox
3
. Entonces, x = [[[x[ cos = [[Rcos y, por lo tanto:
F[
S
R
] = R
2
_

0
_
2
0
e
iR|| cos
sin dd = 2R
2
_

0
e
iR|| cos
sin d =
= 2R
2
_
1
1
e
iR||y
dy =
2R
i[[
[e
iR||
e
iR||
= 4R
sin R[[
LQQD.
2. Sea n = 2.
DEFINICION: P
1
|x|
2
S
se dene como:
_
P
1
[x[
2
,
_
=
_
|x|<1
(x) (0)
[x[
2
+
_
|x|>1
(x)
[x[
2
(4.78)
Entonces, demostrar que:
F
_
P
1
[x[
2
_
= 2 ln [[ 2C
0
(4.79)
donde
C
0
=
_
1
0
1 J
0
(u)
u
du
_

1
J
0
(u)
u
du (4.80)
_
F
_
P
1
[x[
2
_
,
_
=
_
P
1
[x[
2
, F[]
_
=
=
_
|x|<1
F[](x) F[](0)
[x[
2
dx +
_
|x|>1
F[](x)
[x[
2
dx =
=
_
|x|<1
1
[x[
2
_

()[e
ix
1]ddx +
_
|x|>1
1
[x[
2
_

()[e
ix
ddx =
=
_
1
0
1
r
2
_
2
0
_

()[e
ir|| cos
1]rdrdd +
+
_

1
1
r
2
_
2
0
_

()e
ir|| cos
rdrdd =
=
_
1
0
1
r
_

()
__
2
0
e
ir|| cos
d 2
_
ddr +
+
_

1
1
r
_

()
__
2
0
e
ir|| cos
d
_
ddr
Pero:
J
0
(x) =
1
2
_
2
0
e
ixcos
d (4.81)
es la integral de Bessel. Por lo tanto,
_
F
_
P
1
[x[
2
_
,
_
= 2
_
1
0
1
r
_

()[J
0
(r[[) 1]ddr + 2
_

1
_

()J
0
(r[[)ddr =
= 2
_

()
__
1
0
J
0
(r[[) 1
r
_
d + 2
_

()
_

1
J
0
(r[[)
r
drd =
= 2
_

()
_
_
||
0
J
0
(u) 1
u
du +
_

||
J
0
(u)
u
du
_
d (4.82)
Analicemos la expresion entre llaves en (4.82):
_
_
||
0
J
0
(u) 1
u
du +
_

||
J
0
(u)
u
du
_
=
=
_
1
0
J
0
(u) 1
u
du +
_
||
1
J
0
(u) 1
u
du +
_

||
J
0
(u)
u
du =
=
_
1
0
J
0
(u) 1
u
du +
_
||
1
J
0
(u) 1
u
du +
_

1
J
0
(u)
u
du
_

1
du
u
+
_

||
J
0
(u)
u
du =
=
_
1
0
1 J
0
(u)
u
du ln [[ +
_

1
J
0
(u)
u
du =
=
__
1
0
1 J
0
(u)
u
du
_

1
J
0
(u)
u
du
_
ln [[ C
0
ln [[
Por lo tanto:
_
F
_
P
1
[x[
2
_
,
_
= 2
_

()(C
0
+ ln [[)d
(2C
0
2 ln [[, ) (4.83)
LQQD.
3. Demostrar que:
F
_
(R [x[)
_
R
2
[x[
2
_
= 2
sin R[[
[[
, n = 2 (4.84)
teniendo en cuenta la identidad
_
1
0
J
0
(xy)xdx
1 x
2
=
1
y
sin y (4.85)
DEMOSTRACION: Tenemos que:
F
_
(R [x[)
_
R
2
[x[
2
_
=
_
|x|<R
e
ix
dx
_
R
2
[x[
2
=
=
_
R
0
_
2
0
e
ir|| cos
R
2
r
2
rdrd =
_
R
0
r
R
2
r
2
_
2
0
e
ir|| cos
ddr =
= 2
_
R
0
rJ
0
(r[[)dr
R
2
r
2
= 2R
_
1
0
uJ
0
(R[[u)du
1 u
2
= 2
sin R[[
[[
LQQD.
4. Demostrar que:
F
_
1
z
_
=
2i
(4.86)
DEMOSTRACION: Vimos anteriormente la f ormula (2.156):
1
z

1
2
_

x
+i

y
_
1
z
=
Por lo tanto:
1
2
F
__

x
+i

y
_
1
z
_
= F[] = (4.87)
La parte izquierda es:
=
1
2
_
f
_

x
1
z
_
+iF
_

y
1
z
__
=
1
2
_
iF
_
1
z
_
+i(i)F
_
1
z
__
=
=
1
2
(i)F
_
1
z
_
( +i)
Por lo tanto:
i
2
F
_
1
z
_
=
De donde se obtiene (4.86).
5. Demostrar que:
F
_
1
[x[
2
_
=
2
2
[[
, n = 3 (4.88)
DEMOSTRACION: Como
1
|x|
2
3
, tenemos:
_
f
_
1
[x[
2
_
,
_
=
_
1
[x[
2
, F[]
_
=
_
R
3
1
[x[
2
f[]dx =
= lim
R
_
|x|<R
1
[x[
2
_

()e
ix
ddx = lim
R
_

()
_
|x|<R
e
ix
[x[
2
dxd =
= lim
R
_

()
_
R
0
_

0
_
2
0
e
i||r cos
r
2
r
2
dr sin ddd =
= 2 lim
R
_

()
_
R
0
_
1
1
e
i||ry
drdyd
i[[r
i[[r
=
= 2 lim
R
_

()
_
R
0
e
i||ry
i[[r
[
1
1
drd = 4
_

()
[[
_
R
0
sin [[r
r
drd =
(esta integral converge para [[ ,= 0)
= 4
_

()
[[
d
2
= 2
2
_

()
[[
d
_
2
2
[[
,
_
LQQD.
Demostrar:
1.
F
_
1
x
_
= isign (4.89)
2.
F[signx] = 2iP
1
(4.90)
3.
F[(x)x] = i
() P
1
2
(4.91)
4.
F
_
P
1
x
2
_
= [[ (4.92)
5.
F[[x[] = 2P
1
2
(4.93)
Captulo 5
Soluciones fundamentales de los
operadores diferenciales lineales
5.1 Solucion generalizada de una ecuacion
Sea a
(R
n
) y la ecuaci on diferencial lineal de orden m:
m
||=0
a
(x)D
u = f(x) (5.1)
con f D
.
Introduzcamos la notacion:
L(x, D)
m
||=0
a
(x)D
(5.2)
que es un operador diferencial lineal. Entonces, la ecuaci on adopta la forma:
L(x, D)u = f(x) (5.3)
DEFINICION: Se llama Solucion generalizada de (5.1) en la regi on G a la funci on
generalizada u D
tal que para toda D(G):

(L(x, D)u, ) = (f, ) (5.4)
O sea, satisface la ecuaci on en sentido generalizado.
113
La expresion (5.4) es equivalente a
(u, L
(x, D)) = (f, ) (5.5)

donde
L
(x, D)
m
||=0
(1)
||
D
(a
) (5.6)
lo que puede demostrarse con facilidad a partir de lo estudiado en los captulos anteriores.
TEOREMA 1: Toda solucion cl asica es a la vez generalizada.
DEMOSTRACION:
Es obvio, pues si es cl asica, 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 D
C
m
(G), por lo tanto, las derivadas clasicas y las generalizadas coinciden. Como,
por hip otesis, 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 suciente que f(x) = 0
en casi todo punto de G, tenemos que, por lo tanto, L(x, D)uf(x) = 0 en G, lo que signica
que se cumple la ecuaci on en sentido clasico, lo que signica que u es tambien soluci on clasica.
LQQD.
5.2 Solucion fundamental
Sean a
(x) a
= const. Entonces L(x, D) se convierte en

L(D) =
m
||=0
a
(5.7)
y
Soluciones fundamentales de los operadores diferenciales lineales 115
L
(D) = L(D) (5.8)

DEFINICION: Solucion fundamental (funcion de inuencia) del operador diferen-
cial L(D) se llama a la funci on generalizada E D
que satisface en R
n
la ecuacion
L(D)E = (x) (5.9)
TEOREMA: La soluci on fundamental no es unica: se determina con exactitud de un sumando
que es solucion de la ecuacion homogenea L(D)E
0
= 0.
DEMOSTRACION:
Por hip otesis, L(D)E = (x) y L(D)E
0
= 0. Por lo tanto:
L(D)(E +E
0
) = (x)
LQQD.
TEOREMA (importante): Para que E S
sea soluci on fundamental del operador L(D)

es necesario y suciente que su transformada de Fourier F[E] cumpla la ecuaci on
L(i)F[E] = 1 (5.10)
donde
L() =
m
||=0
a
(5.11)
DEMOSTRACION:
Necesidad:
Aqu la hipotesis es: L(D)E = (x). Apliquemos Fourier: F[L(D)E] = 1. Pero:
F[L(D)E] = F
_
_
m
||=0
a
E
_
_
=
m
||=0
a
F[D
E] =
(teniendo en cuenta la propiedad de la transformada de la derivada)
=
m
||=0
a
(i)
F[E] L(i)F[E] (5.12)

Por lo tanto, efectivamente L(i)F[E] = 1. Es decir, (5.10).
Demostrada la necesidad.
Suciencia:
Por hip otesis ahora se cumple (5.10). Pero por (5.12) esto signica que
F[L(D)E] = 1 F[]
Es decir, L(D)E = (x), lo que signica que E(x) es la soluci on fundamental.
Demostrada la suciencia.
Conclusi on del teorema: La construcci on de soluciones fundamentales de crecimiento lento
de operadores diferenciales lineales equivale a resolver en S
ecuaciones algebraicas del tipo

P()X = 1 (5.13)
donde P es cierto polinomio.
Denotemos por
N
p
= [P() = 0
al conjunto de ceros del polinomio P(). Entonces, no N
p
, la soluci on de (5.13) coincide
en D
con
1
P()
, y si N
p
,= , entonces la soluci on de (5.13) no es unica y las distintas soluciones
se diferencian entre s en una funcion generalizada con soporte en N
p
.
Ejemplo 1
La ecuacion X = 1 tiene por soluciones generalizadas las funciones generalizadas
P
1
(5.14)
1
+i0
(5.15)
1
i0
(5.16)
donde, por las f ormulas de Sojotsky (1.59) y (1.60):
1
+i0
P
1
= i() (5.17)
1
i0
P
1
= i() (5.18)
1
+i0

1
i0
= 2i() (5.19)
Las expresiones dadas por las f ormulas (5.17), (5.18) y (5.19) son funciones generalizadas con
soporte en N
p
= = 0.
Ejemplo 2
Sea la ecuaci on
dE
dx
+aE = (x) (5.20)
Aplicamos la Transformada de Fourier:
(ix +a)F[E] = 1 (5.21)
de donde
F[E] =
i
x +ia
(5.22)
Aqu, N
p
= , pues no hay ceros sobre el eje real. Por lo tanto,
E(x) =
i
2
_

e
ix
d
+ia
=
i
2
_
2iRes
_
e
ix
+ia
, ia
__
= e
ax
Por lo tanto:
E(x) = e
ax
(5.23)
De esta manera es como se opera.
De los ejemplos podemos armar lo siguiente:
1. Si
1
P()
n
(en R
1
en el segundo ejemplo), entonces el funcional
regular denido por ella es solucion en S
de la ecuacion (5.13).
2. Pero si
1
P()
no es localmente integrable en R
n
(en R
1
en el primer ejemplo), entonces
Hermander en 1959 demostro que la ecuaci on (5.13) siempre es soluble en S
.
Llamemos reg
1
P()
a una soluci on cualquiera de (5.13) en S
. Su construcci on depende esencial-

mente de la estructura del conjunto N
p
y se hace concretamente para cada polinomio concreto
P().
Entonces, la ecuaci on (5.10) siempre es soluble en S
:
F[E] = reg
1
L(i)
(5.24)
Por lo tanto, todo operador diferencial lineal L(D) con coecientes constantes tiene soluci on
fundamental de crecimiento lento que se calcula as:
E(x) = F
1
_
reg
1
L(i)
_
1
(2)
n
F
_
reg
1
L(i)
_
(5.25)
Este resultado ser a aplicado mas adelante. Ahora continuaremos viendo otras cosas generales.
5.3 Ecuacion con parte derecha
Veamos la ecuacion
L(D)u = f(x) (5.26)
con f arbitraria.
TEOREMA: Sea f D
tal que en D
exista la convolucion E f. Entonces, la soluci on de

(5.26) existe en D
, es unica y viene dada por

u = E f (5.27)
DEMOSTRACION:
Sabemos que
D
f g = D
f g = D
(f g) = f D
g
Ademas, por denici on: L(D)E = (x).
Por lo tanto,
L(D)(E f) L(D)E f f f
lo que signica que, efectivamente (5.27) da la solucion de (5.26).
Demostremos ahora la unicidad. Lo haremos por reducci on al absurdo: Supongamos dos solu-
ciones u
1
y u
2
. Entonces, para u = u
1
u
2
tendremos que
L(D)u = 0 (5.28)
cuya soluci on es solo la trivial. Efectivamente, teniendo en cuenta (5.28):
u u u L(D)E L(D)u E 0
COROLARIO: Si u D
y existe en D
la convolucion u E, entonces es v alida la igualdad

u = L(D)u E (5.29)
Sentido fsico de la soluci on (5.27)
Como la fuente puede representarse as:
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 inuencia puntual f()E(x ). Por lo tanto, la solucion
u(x) = E f
_
f()E(x )d
es la superposici on de estas inuencias puntuales.
5.4 Metodo del descenso
Sea la ecuacion diferencial lineal con coecientes constantes en R
n+1
de las variables (x, t)
(x
1
, x
2
, ..., x
n
, t):
L
_
D,

t
_
u = f(x) (t) (5.31)
con f D
(R
n
) y donde
L
_
D,

t
_
=
p
q=1
q
t
q
L
q
(D) +L
0
(D) (5.32)
y L
q
(D) son operadores diferenciales en las variables x.
Sea la funcion generalizada u D
(R
n+1
) y supongamos que admite una prolongacion a fun-
ciones del tipo (x)1(t) con D(R
n
) en el siguiente sentido:
Para cualquier sucesi on
k
(t) D(R
1
), k = 1, 2, ... convergente a 1 en R
1
existe el lmite:
lim
k
(u, (x)
k
(t)) = (u, (x)1(t)) (5.33)
y este lmite no depende de la sucesi on
k
(t).
Denotemos por u
0
al funcional (5.33):
(u
0
, ) = (u, (x)1(t)) = lim
k
(u, (x)
k
(t)) (5.34)
para todo D(R
n
). Este funcional (se ve que) es lineal y continuo; o sea, pertenece a D
(R
n
)
y se llama prolongaci on de la funci on u.
Como el espacio D
(R
n
) es completo, tambien el lmite u
0
D
(R
n
).
Ejemplos de c omo construir la prolongacion u
0
.
a) Sea u(x, t) tal que
_
[u(x, t)[dt es localmente integrable en R
n
. Entonces, u
0
(x) es localmente
integrable en R
n
y se expresa por la integral:
u
0
(x) =
_

u(x, t)dt (5.35)

Efectivamente:
u(x, t) es localmente integrable en R
n+1
y, por lo tanto, el lmite (5.33) es:
lim
k
(u, (x)
k
(t)) = lim
k
_
u(x, t)(x)
k
(t)dxdt =
=
_
u(x, t)(x)dxdt =
_
(x)
_

u(x, t)dtdx (5.36)

que existe D(R
n
) 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 D
(R
n
).
Entonces, u
0
= f, pues:
(u
0
, ) = lim
k
(u, (x)
k
(t)) = lim
k
(f(x) (t), (x)
k
(t)) =
= lim
k
(f(x), (x)
k
(0)) = (f, ) (5.37)
para todo D(R
n
).
LQQD.
Tiene lugar el siguiente,
TEOREMA: Si la soluci on u D
(R
n+1
) de la ecuacion (5.31) admite la prolongacion (5.34),
entonces, la funcion generalizada u
0
D
(R
n
) satisface la ecuaci on
L
0
(D)u
0
= f(x) (5.38)
DEMOSTRACION:
Sea
k
(t) 1 en R
1
para k . Entonces, para q = 1, 2, ... se cumple que
k
(t) +
(q)
k
(t) 1 (5.39)
en R
1
tambien para todo D(R
n
):
lim
k
(u, (x)
(q)
k
(t))
lim
k
(u, (x)[
k
(t) +
(q)
k
(t)]) lim
k
(u, (x)
k
(t)) = (u
0
, ) (u
0
, ) 0 (5.40)
Teniendo en cuenta (5.40), comprobemos que la funcion generalizada u
0
cumple (5.38):
(L
0
(D)u
0
, ) = (u
0
, L
0
(D)) = lim
k
(u, L
0
(D)(x)
k
(t)) =
= lim
k
(u, L
0
(D)(x)
k
(t)) + lim
k
_
u,
p
q=1
(1)
q
L
q
(D)(x)
(q)
k
(t)
_
= (5.41)
(el segundo sumando en (5.41) es cero por (5.40), o sea, sumamos un cero)
= lim
k
_
u,
_
L
0
(D) +
p
q=1
_
t
_
q
L
q
(D)
_
(x)
k
(t)
_
=
= lim
k
_
u, L
_
D,
t
_
(x)
k
(t)
_
= lim
k
_
L
_
D,

t
_
u, (x)
k
(t)
_
= (5.42)
(por (5.31))
= lim
k
(f(x) (t), (x)
k
(t)) = lim
k
(f(x), (x)
k
(0)) = (f, ) (5.43)
Por lo tanto, queda demostrado que L
0
(D)u
0
= f en sentido generalizado.
El metodo para obtener la soluci on u
0
de (5.38) con n variables a partir de la solucion u(x, t)
de (5.31) con n + 1 variables se llama Metodo del descenso respecto a la variable t o
Metodo de Hadamard. Es muy util y c omodo para construir funciones fundamentales.
Efectivamente, aplicando el teorema para f = (x):
Si E(x, t), solucion fundamental de
L
_
D,

t
_
admite una prolongaci on E
0
del tipo (5.34), entonces la funci on generalizada
(E
0
, ) = (E, (x)1(t)), D(R
n
) (5.44)
es la solucion fundamental de L
0
(D). En particular, si E(x, t) es tal que
_
[E(x, t)[dt es local-
mente integrable en R
n
, entonces:
E(x) =
_

E(x, t)dt (5.45)

Aunque mas adelante aplicaremos todo esto para hallar soluciones fundamentales de impor-
tancia y utilidad para la Fsica, a continuacion veremos el caso particular de un operador con
derivadas ordinarias.
5.5 Solucion fundamental del operador diferencial lineal
con derivadas ordinarias
En un ejemplo en un captulo anterior, donde analizamos la funci on (2.65) demostramos que
E(t) = (t)Z(t) (5.46)
es la solucion de la ecuaci on
LE
d
n
E
dt
n
+a
1
d
n1
E
dt
n1
+... +a
n
E = (t) (5.47)
donde Z(t) es la solucion del problema de Cauchy:
LZ = 0 (5.48)
Z(0) = Z
(0) = ... = Z
(n2)
(0) = 0; Z
(n1)
(0) = 1
Ahora podemos armar que (5.46) es la solucion fundamental de ese operador.
Dos casos particulares de interes para las aplicaciones fsicas son:
1.
L =
d
dt
+a (5.49)
Entonces el problema (5.48) es:
dZ
dt
+aZ = 0 (5.50)
Z(0) = 1
cuya soluci on es
Z(t) = e
at
(5.51)
Por lo tanto,
E(t) = (t)e
at
(5.52)
2.
L =
d
2
dt
2
+a
2
(5.53)
Entonces el problema (5.48) es:
d
2
Z
dt
2
+a
2
Z = 0 (5.54)
Z(0) = 0, Z
(0) = 1
cuya soluci on es:
Z(t) =
sin at
a
(5.55)
Por consiguiente,
E(t) = (t)
sin at
a
(5.56)
5.6 Soluci on fundamental del operador de conduccion
del calor
Busquemos la solucion fundamental del operador que describe la propagaci on de calor o la
difusion. Sea
E
t
a
2
2
E = (x, t) (5.57)
Apliquemos el metodo explicado en los epgrafes anteriores:
Aplicamos la transformada de Fourier respecto a la variable espacial x:
F
x
_
E
t
_
a
2
F
x
[
2
E] = F
x
[(x, t)] = F
x
[(x) (t)] = 1()(t)
Ademas:
F
x
_
E
t
_
=

t
F
x
[E]
y
F
x
[
2
E] = [[
2
F
x
[E]
E(, t)
t
+a
2
[[
2
E(, t) = 1()(t) (5.58)
donde hemos llamado E(, t) a la transformada de Fourier de E(x, t). O sea:
E(, t) F
x
[E](, t) (5.59)
Por (5.52) tenemos que:
E(, t) = (t)e
a
2
||
2
t
(5.60)
Por lo tanto, aplicando la transformada inversa:
E(x, t) =
(t)
(2)
n
_
e
a
2
||
2
tix
d = ... =
(t)
(2a
t)
n
exp
_
[x[
2
4a
2
t
_
(5.61)
que se obtiene por metodos tradicionales de calculo.
5.7 Solucion fundamental del operador de onda (DA-
lembert)
Sea
2
E
n
t
2
a
2
2
E
n
= (x, t) (5.62)
y sea
E
n
(, t) = F
x
[E
n
(x, t)] (5.63)
la transformada de Fourier de la soluci on fundamental E(x, t).
Entonces, aplicando transformada de Fourier a (5.62) se obtiene
2
E
n
(, t)
t
2
+a
2
[[
2
E
n
= 1()(t) (5.64)
Entonces, por (5.56):
E
n
(, t) = (t)
sin a[[t
a[[
(5.65)
O sea:
E
n
(x, t) = (t)F
1
_
sin a[[t
a[[
_
(5.66)
Veamos varios casos particulares:
1. n = 3. O sea, en R
3
.
Anteriormente vimos la formula (4.77) que era
F[
S
R
] = 4R
sin R[[
[[
Por lo tanto:
F
1
_
sin a[[t
a[[
_
=
1
4at
Sat
(x) (5.67)
Por consiguiente, de (5.66):
E
3
(x, t) =
(t)
4a
2
t
Sat
(x)
(t)
2a
(a
2
t
2
[x[
2
) (5.68)
La funcion E
3
(x, t) obtenida en (5.68) act ua seg un la regla:
(E
3
, ) =
1
4a
2
_

0
(
Sat
, )
dt
t

1
4a
2
_

0
1
t
_
Sat
(x, t)dS
x
dt (5.69)
con S(R
4
).
2. n = 2.
En un ejercicio obtuvimos la expresi on (4.84):
F
_
(R [x[)
_
R
2
[x[
2
_
= 2
sin R[[
[[
Por lo tanto:
E
2
(x, t) =
(t)
2a
(at [x[)
_
a
2
t
2
[x[
2
(5.70)
Comparar este resultado con el obtenido en el libro de Metodos Matem aticos de la Fsica del
autor.
5.8 Solucion fundamental del operador de Laplace
Este es:
2
E
n
= (x) (5.71)
Usamos el metodo desarrollado: Aplicar la transformada de Fourier:
[[
2
E
n
() = 1 (5.72)
Caso n = 2:
En este caso, como
1
||
2
es absolutamente integrable, por lo tanto:
E
2
() = P
1
[[
2
(5.73)
De aqu que:
E
2
(x) = F
1
_
P
1
[[
2
_
=
1
4
2
F
_
P
1
[[
2
_
(5.74)
Ya vimos la f ormula (4.79) que estableca que
F
_
P
1
[x[
2
_
= 2 ln [[ 2C
0
Por lo tanto:
E
2
(x) =
1
2
ln [x[ +
C
0
2
(5.75)
Como
2 C
0
2
0 y la soluci on fundamental se obtiene con exactitud de una solucion de la
ecuacion homogenea, por lo tanto:
E
2
(x) =
1
2
ln [x[ (5.76)
Caso n = 3:
Aqu
1
||
2
3
. Por lo tanto:
E
3
(x) = F
1
_
1
[[
2
_
=
1
(2)
3
F
_
1
[[
2
_
(5.77)
Pero, ya vimos en la f ormula (4.88) que:
F
_
1
[x[
2
_
=
2
2
[x[
Por lo tanto
E
3
(x) =
1
8
3
2
2
[x[

1
4[x[
(5.78)
conocidsima soluci on 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
t

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

E(x, t)dt =
_

0
1
(2
t)
n
exp
_
[x[
2
4t
_
dt =
haciendo el cambio de variable u = [x[
2
/(4t)
=
_

0
4
n/2
u
n/2
2
n
n/2
[x[
n
e
u
[x[
2
du
4u
2
=
[x[
n+2
4
n/2
_

0
e
u
u
n/22
du =
=
[x[
n+2
4
n/2

_
n
2
1
_
(5.82)
y, como
_
n
2
1
_
=
(n/2)
n
2
1
(5.83)
pues (x) = (x 1)(x 1), queda:
E
n
(x) =
[x[
n+2
(n 2)2
n/2
_
n
2
_
(5.84)
O sea:
E
n
(x) =
1
(n 2)
n
[x[
n+2
(5.85)
con
n
=
2
n/2
_
n
2
_ (5.86)
5.9 Soluci on fundamental de la ecuaci on de Helmholtz
Aqu tenemos:
(
2
+k
2
)E
n
= (x) (5.87)
Ya vimos en R
3
que:
E
3
(x) =
e
ik|x|
4[x[
(5.88)
y que
E
3
(x) =
e
ik|x|
4[x[
(5.89)
Calculemos en R
2
, o sea, para n = 2. Aplicamos la transformada de Fourier:
([[
2
+k
2
)E
2
() = 1 (5.90)
Escribamos la soluci on de (5.90) as:
E
2
() = lim
0
1
k
2
+i [[
2

1
k
2
+i0 [[
2
(5.91)
Como la transformada de Fourier es continua:
E
2
(x) = F
1
_
1
k
2
+i0 [[
2
_
=
1
4
2
lim
0
lim
R
_
||<R
e
ix
d
k
2
+i [[
2
=
(usando coordenadas polares)
=
1
4
2
lim
0
lim
R
_
R
0
_
2
0
expir[x[ cos rdrd
k
2
+i r
2
=
=
1
4
2
lim
0
lim
R
_
R
0
r
k
2
+i r
2
__
2
0
expir[x[ cos d
_
dr =
=
1
2
lim
0
lim
R
_
R
0
rJ
0
(r[x[)dr
k
2
+i r
2
=
1
2
lim
0+
_

0
rJ
0
(r[x[)dr
r
2
(k
2
+i)
=
=
1
2
lim
0
_

0
rJ
0
(r[x[)dr
r
2
+ [i
k
2
+i]
2
=
=
1
2
lim
0
K
0
(i
k
2
+i[x[) =
1
2
K
0
(ik[x[)
1
2
2
iH
(1)
0
(k[x[) (5.92)
En los calculos de arriba hemos tenido en cuenta que:
_

0
xJ
0
(ax)dx
x
2
+k
2
= K
0
(ak) (5.93)
con a > 0 y Rek > 0, donde K
0
(x) es la funci on cilndrica de argumento imaginario de segundo
tipo (funcion de MacDonald); ademas, que
K
0
(x) =

2
iH
(1)
0
(ix) (5.94)
por lo que
K
0
(ix) =

2
iH
(1)
0
(x) (5.95)
donde H
(1)
0
es la conocida funcion de Hankel.
Finalmente, se obtiene:
E
2
(x) =
i
4
H
(1)
0
(k[x[) (5.96)
y su conjugada:
E
2
(x) =
i
4
H
(2)
0
(k[x[) (5.97)
5.10 Otras soluciones fundamentales
En este epgrafe simplemente expondremos sin demostraci on algunos resultados utiles en las
aplicaciones.
1. Solucion fundamental del operador de DAlembert en R
n
Para la ecuaci on
2
E
n
t
2
a
2
2
n
E
n
= (x, t) (5.98)
la solucion es:
E
n
(x, t) =
(t)
2a
_
d
2
a
2
dt
2
_n3
2
(a
2
t
2
[x[
2
) (5.99)
para n 3 impar y
E
n
(x, t) =
(1)
n/21
2a

(n+1)/2
_
n 1
2
_
(at [x[)
_
(a
2
t
2
[x[
2
)
n1
(5.100)
para n 2 par
Su empleo para n ,= 2, 3 es en espacios m as complejos de coordenadas generalizadas,
superstrings, etc.
2. Soluciones fundamentales del operador de Klein-Gordon
La ecuacion de Klein-Gordon es:
_

2
t
2

2
+m
2
0
_
E = (x, t) (5.101)
donde x
0
= ct y x = (x
1
, x
2
, x
3
); c es la velocidad de la luz.
Esta ecuacion describe la partcula relativista pseudoescalar. Las soluciones son:
E
r
(x
0
, x)
D
r
(x
0
, x) =
(x
0
)
2
(x
2
0
[x[
2
)
m
0
4
(x
0
[x[)
J
1
(m
0
_
x
2
0
[x[
2
)
_
x
2
0
[x[
2
(5.102)
E
a
(x
0
, x) D
a
(x
0
, x) = E
r
(x
0
, x) (5.103)
La notacion usada con mayor frecuencia en la Mec anica Cu antica Relativista es con las
letras D. Tambien se denen las funciones:
D
+
(x
0
, x) =
1
8
3
i
F[(
0
)(
2
0
[[
2
m
2
0
)] (5.104)
D
(x
0
, x) =
1
8
3
i
F[(
0
)(
2
0
[[
2
m
2
0
)] (5.105)
que satisfacen la ecuacion de Klein-Gordon y la relaci on
D
+
+D
= D
r
D
a
(5.106)
Las funciones D
r
, D
a
, D
+
y D
juegan un papel importante en la teora cu antica del

campo.
3. Solucion fundamental del operador de Schrodinger
La ecuacion de Schrodinger para la solucion fundamental es
_
i

t
+

2
2m
0
2
_
E(x, t) = (x, t) (5.107)
y la soluci on fundamental tiene la forma:
E(x, t) =
i(t)
_
m
0
2t
_n
2
exp
_
i
_
m
0
2t
[x[
2
n
4
__
(5.108)
1. Demostrar la igualdad de la parte extrema derecha de la formula (5.61) para la soluci on
fundamental del operador de conduccion del calor:
E(x, t) =
(t)
(2a
t)
n
exp
_
[x[
2
4a
2
t
_
(5.109)
2. Demostrar la igualdad a la derecha de (5.68). Para ello, tener presente que
(x
2
a
2
) =
(x a) +(x +a)
2[a[
(5.110)
3. Comprobar que E
3
(x, t) dada por la formula (5.68) se convierte en la funcion de Green
que se obtuvo en el libro de Metodos Matem aticos de la Fsica del autor para la ecuacion
escrita de manera diferente:
1
a
2
2
E
t
2

2
E = (x, t) (5.111)
y que tena la forma:
E(x, t) G(x, t) =
1
2a[x[
_
t
[x[
a
_
(5.112)
Bibliografa
1. Marn Antu na J. Metodos Matem aticos 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 Edu-
cacion, Cuba, 1977; segunda edicion, 1990.
4. Shilov G.E. An alisis Matematico, Segundo curso especial. Editorial Nauka, Mosc u,1965.
135

Teoria de Funciones Generalizadas

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Teoria de Funciones Generalizadas

Caricato da

Copyright:

Formati disponibili

TEORA DE FUNCIONES

de funciones generalizadas de crecimiento lento . . . . . . . . . . . . 89

(x), entonces igualmente podemos

(x) acotada, entonces, integrando

) sigue teniendo sentido aunque f

(x), si s olo lo que necesitamos son los resultados de

(x) por funciones nitas acotadas con derivadas acotadas,

(x) existiera, calculando expresiones como

(x) = 0, [x[ > (1.9)

(x) para 0, tenemos

(x) para 0. Es decir, para cualquier funci on (x) continua

(x)(x)dx = (0) (1.16)

(x) para 0 es el funcional (0) que pone en correspon-

(x) (x) para 0 en el sentido de que para cualquier funcion continua

f(x) es la derivada de f(x) de orden [[ =

(x), para k (1.23)

se elige de forma tal que

(G ampliado con un entorno de G).

G, entonces existe una funci on D(G) tal que (x) = 1 para x G

, la combinaci on lineal f +g tambien pertenece a D

se dice que converge

, si para cualquier D se cumple que

la denimos como convergencia debil y escribimos f

con la convergencia denida en el (debil) se llama

de las funciones generalizadas.

de funciones generalizadas es completo.

(o sea, tambien es lineal y continuo en D).

(x) es la funci on campana

(x a) 0, lo que implica que f(x) 0 en casi todo punto de la esfera

y que (x) = 0, x ,= 0, lo que signica que supp = 0.

(x) (x) para 0 en D

(x)(x)dx = (0), D (1.48)

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

(x) [(x) (0)[ dx <

(x), vamos a representar a (x) como una echa perpendicular al

. El funcional f(Ay +b)

(transpuesta) y b = 0, lo que implica que

, lo que equivale a comprobar que es lineal y continua de D en

f denida por la f ormula es lineal y continuo.

(x) estudiada en el captulo anterior.

(fue el teorema demostrado).

f = 0, x G, de manera que supp D

(por algo que vimos al estudiar el lema de du Bois-Reymond). Por

(x) es la funci on campana y

= 0, [x[ > max(R, ) (2.23)

de la ecuaci on diferencial (2.34) es cl asica. Por ejemplo, la

es una constante arbitraria.

es tal que, aplicando integraci on por partes:

(x) = (x) (2.40)

es la solucion de la ecuacion (2.55), entonces por (2.61):

G. Entonces, tiene lugar la f ormula de la derivada

. Por lo tanto, para esos valores de x, D

/2, por lo que

G. Sea S (frontera de G) seccionalmente lisa

. Esta formula se conoce con el nombre de F ormula de Pizetti. Aqu

respecto a f y a g por separado.

y para cierto R, supp g

siempre existe (la soluci on fundamental siempre existe) y vale f

(x) = 0, [x[ >

. Por lo tanto, como f

(x) f(x), 0 (3.68)

(x) la regularizaci on de f. Sea

(x) una sucesi on de funciones

, para 0, ya que como f