Teoría de Funciones Generalizadas: José Miguel Marín Antuña

TEORÍA DE FUNCIONES
GENERALIZADAS
JOSÉ MIGUEL MARÍN ANTUÑA
TEXTO PARA EL PLAN DE MAESTRÍA Y DOCTORADO EN

FÍSICA
TEORÍA DE FUNCIONES
GENERALIZADAS
TEXTO PARA EL PLAN DE MAESTRÍA Y DOCTORADO EN
FÍSICA
JOSÉ MIGUEL MARÍN ANTUÑA
PÁGINA LEGAL
Primera edición, Editorial Universitaria, 2014.
Calle 23 No. 565 e/ F y G, Vedado, La Habana, Cuba.
E-mail: eduniv@mes.edu.cu
Teléfono: (+537) 837 4538
e ISBN 978-959-16-2276-1
© Todos los derechos reservados José Miguel Marín Antuña, Profesor
Emérito. Facultad de Física de La Universidad de La Habana. Cuba. E-mail:
marin@fisica.uh.cu
Índice
Introducción 7
1 Conceptos Iniciales 9
1.1 Ampliación del concepto de función . . . . . . . . . . . . . . . . . . . . . . . . . 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 Fórmulas de Sojotsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8 Cambio de variables lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.9 Producto de funciones generalizadas. . . . . . . . . . . . . . . . . . . . . . . . . 25
1.10 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 Derivación e integración de funciones generalizadas 33
2.1 Derivada generalizada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 Primitiva de una función generalizada . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3 Ejemplos, n = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4 Ejemplos, n ≥ 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3 Producto Directo y Convolución de Funciones Generalizadas 65
3
4 ÍNDICE
3.1 Producto Directo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 Convolución de funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . . 68
3.3 Propiedades de la convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

0
3.4 Algebra convolucional D+ de funciones generalizadas . . . . . . . . . . . . . . . 74
0
3.5 Ecuaciones en el álgebra convolucional D+ . . . . . . . . . . . . . . . . . . . . . 75
3.6 Regularización 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 0 de funciones generalizadas de crecimiento lento . . . . . . . . . . . . 89
4.3 Transformada de Fourier de las funciones generalizadas de crecimiento lento . . 92
4.3.1 Transformada de Fourier de las funciones de base de S . . . . . . . . . . 92
4.3.2 Transformada de Fourier de funciones generalizadas de S 0 . . . . . . . . . 94
4.4 Propiedades de la transformada de Fourier . . . . . . . . . . . . . . . . . . . . . 98
4.5 Transformada de Fourier de funciones generalizadas con soporte compacto . . . 100
4.6 Transformada de Fourier de la convolución . . . . . . . . . . . . . . . . . . . . . 101
4.7 Ejemplos, n=1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.8 Ejemplos, n ≥ 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5 Soluciones fundamentales de los operadores diferenciales lineales 113
5.1 Solución generalizada de una ecuación . . . . . . . . . . . . . . . . . . . . . . . 113
5.2 Solución fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.3 Ecuación con parte derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.4 Método del descenso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.5 Solución fundamental del operador diferencial lineal con derivadas ordinarias . . 123
ÍNDICE 5
5.6 Solución fundamental del operador de conducción del calor . . . . . . . . . . . . 124
5.7 Solución fundamental del operador de onda (D’Alembert) . . . . . . . . . . . . . 125
5.8 Solución fundamental del operador de Laplace . . . . . . . . . . . . . . . . . . . 127
5.9 Solución fundamental de la ecuación de Helmholtz . . . . . . . . . . . . . . . . . 129
5.10 Otras soluciones fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Bibliografı́a 135
6 ÍNDICE
Introducción
Hemos oı́do expresiones: función generalizada, solución generalizada de una ecuación diferen-
cial, etc. Estudiaremos de manera consecuente estos conceptos y su uso.
El concepto de función generalizada se ha desarrollado gracias a la Fı́sica Matemática y surgió

para darle un sentido matemático claro a conceptos usados en la Fı́sica, tales como función delta
de Dirac, función paso unitario de Heaviside, etc. Nacen, precisamente, en 1930 al introducir
Dirac la función delta. Luego, los fundamentos de la teorı́a de funciones generalizadas se
desarrollan por Sóboliev (1936) y Schwarz (1951).
Las funciones generalizadas surgen, de manera natural, primero, al intentar extender los mé-
todos e ideas del cálculo diferencial e integral clásico 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 fı́sicos e ingenieros que por su trabajo necesitan operar con los conceptos
de funciones generalizadas y de soluciones fundamentales de operadores diferenciales. Cumple,
además, el encargo de contar con un texto para el curso que sobre esta materia se imparte
en el postgrado de la Maestrı́a en Fı́sica de la Universidad de La Habana. Su tratamiento es,
por tanto, adaptado a esas necesidades en cuanto al formalismo matemático del tema y está
dirigido esencialmente a la utilización práctica de las funciones generalizadas.
El libro se desarrolla en una introducción y cinco capı́tulos. En el primero se introducen los

conceptos de función generalizada y las principales operaciones con ellas. En los siguientes
capı́tulos se exponen las operaciones de derivación, integración, producto directo y convolución
de las funciones generalizadas. A continuación se describen las funciones generalizadas atem-
peradas o de crecimiento lento y la aplicación de la técnica 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 fı́sicos. Esto le da un cierre valioso a
todo el libro, permitiendo al lector apropiarse de una herramienta importante en su trabajo de
investigación en Fı́sica y las ingenierı́as.
Todo el libro está adornado con múltiples y esclarecedores ejemplos y al final de cada capı́tulo se
proponen ejercicios y problemas a resolver por el lector que le ayuden al estudio de la materia.
7
8 José Marı́n Antuña
Capı́tulo 1
Conceptos Iniciales
1.1 Ampliación del concepto de función
DEFINICION 1: Llamamos función clásica (antes, función) a y = f (x), definida para todo
−∞ < x < ∞ que en cada [a, b] finito toma valores reales y es integrable Lebesgue.
Ejemplo: Toda función continua en [a, b]; toda función acotada en [a, b].
DEFINICION 2: f1 (x) y f2 (x) son la misma función clásica, si en casi todos los puntos
f1 (x) = f2 (x). O sea, pueden existir puntos aislados (de medida nula) donde la igualdad puede
no ocurrir. En principio, la integración puede siempre aplicarse a toda función clásica, pero la
derivación no: algunas funciones clásicas, incluso continuas, no tienen, en general, derivada.
Por ejemplo, la función de Weierstrass (1872):
∞
X
f (x) = bn cos(an πx) (1.1)
n=0
con ab > 1 + 3π/2, a > 1 entero impar y 0 < b < 1.
Esta función es continua, pero no admite derivada en ningún punto. Por lo tanto, no es
susceptible de representación gráfica.
Otro ejemplo es la curva de Von Koch. Esta se construye tomando un segmento AB y di-
vidiéndolo en tres partes iguales. Con su pedazo central se construye el triángulo equilátero
CDE. Uniendo los puntos se obtiene una lı́nea quebrada AEB que llamamos L1 y otra que-
brada ACEDB que llamamos L2 . Con cada uno de los segmentos de las lı́neas quebradas
hacemos lo mismo, o sea, cada pedazo lo dividimos en tres partes iguales: la lı́nea AE la di-
vidimos con los puntos N y P , la lı́ nea EB con los puntos Q y R, la lı́nea AC con los puntos
F y G y la lı́nea DB con los puntos Q y R y llamamos L3 a la quebrada AN CP EQDRB en
tanto llamamos L4 a la quebrada AF N GCHP IEJQKDLRM B. Repetimos la operación y
obtenemos dos quebradas que llamamos L5 y L6 y repetimos el procedimiento indefinidamente.
9
La región del plano entre las quebradas L2n−1 y L2n va reduciéndose constantemente. Por lo
tanto, las dos quebradas tienen un lı́mite común 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

parámetro t que no admiten derivada. Por lo tanto, la curva de Von Koch es una curva
continua sin tangente.
Existen también funciones clásicas que tienen derivada, pero dicha derivada ya no es clásica.
Por ejemplo:
1
y=p (1.2)
|x|
θ(x) − θ(−x)
y0 = p (1.3)
2|x| |x|
donde θ(x) = 1, ∀x > 0 y θ(x) = 0, ∀x < 0 es la función paso unitario de Heaviside.
También ocurre que existe la derivada de una función clásica continua en casi todos los puntos
y que dicha derivada es una función clásica pero que, al integrarla, no se recupera la función
original, por lo que dicha derivada no ofrece ninguna utilidad (función de Cantor).
Sólo las funciones absolutamente continuas tienen derivada clásica que cumple
Z x
f (x) = f (a) + f 0 (ξ)dξ (1.4)
a
Además, de la convergencia de fn (x) a f (x) no siempre se deduce la convergencia de fn0 (x) a

f 0 (x), incluso cuando estas derivadas existan. Sólo para la clase de funciones analı́ticas estos
fenómenos indeseables no ocurren; pero las funciones analı́ticas son una clase muy reducida
para las aplicaciones.
Nuestro objetivo es ampliar el concepto de función de forma que se pueda definir de manera
razonable la derivación:
Sea ϕ(x) una función acotada finita. Esto significa que ϕ(x) 6= 0 en [a, b] y ϕ(x) = 0 fuera de
[a, b]. A cada función clásica se puede poner en correspondencia el número (funcional)
Z ∞
(f, ϕ) = f (x)ϕ(x)dx (1.5)
−∞
que en realidad es la integral entre a y b debido a cómo es ϕ(x).
Si f (x) es absolutamente continua y tiene derivada clásica f 0 (x), entonces igualmente podemos
poner en correspondencia a f 0 (x) el número
Conceptos Iniciales 11
Z ∞
0
(f , ϕ) = f 0 (x)ϕ(x)dx (1.6)
−∞
Si también ϕ(x) es absolutamente continua con derivada ϕ0 (x) acotada, entonces, integrando
por partes:
Z ∞
0
(f , ϕ) = f (x)ϕ(x)|∞
−∞ − f (x)ϕ0 (x)dx ≡ −(f, ϕ0 ) (1.7)
−∞
La expresión de la derecha en esta fórmula: (f, ϕ0 ) sigue teniendo sentido aunque f 0 (x) no
exista, siempre que ϕ(x) sea finita, acotada y con derivada ϕ0 (x) acotada.
Por consiguiente, aunque no exista f 0 (x), si sólo lo que necesitamos son los resultados de
la integración del producto de f 0 (x) por funciones finitas acotadas con derivadas acotadas,
entonces dichos resultados pueden hallarse como si f 0 (x) existiera, calculando expresiones como
la fórmula (1.7).
Por tanto, ampliamos el concepto de función:
Antes: se exigı́a la existencia de valores dados de la función en cada punto (o casi en cada
punto).
Ahora: sólo interesan los valores de las integrales del producto de dicha función por ciertas
funciones ”de prueba”.
Si para una f (x) dada sólo se conocen esas integrales, decimos que estamos en presencia de
una función generalizada.
Por lo tanto, escogida adecuadamente la función de prueba, toda función generalizada tendrá
derivada que será también una función generalizada.
A continuación, formalizaremos axiomáticamente lo dicho:
1.2 Funciones de base y funciones generalizadas
Previamente, veamos algunas notaciones que usaremos:
Denotamos por Rn el espacio euclı́ deo de dimensión n.
Por x = (x1 , x2 , ..., xn ) denotamos a un punto de Rn ; los números xi son las coordenadas
de x, con (i = 1, 2, ..., n)
(x, y) = x1 y1 + x2 y2 + ... + xn yn es el producto escalar de dos puntos de Rn .

p p
|x| = (x, x) = x21 + x22 + ... + x2n es la longitud (norma) del elemento x ∈ Rn
Por tanto, |x − y| es la distancia euclı́ dea entre los puntos x y y.
El conjunto de puntos x ∈ Rn que cumplen que |x − x0 | < R se llama esfera abierta de radio
R centrada en x0 : U (x0 , R) y UR = U (0, R).
La generalización del concepto clásico de función (o sea, las funciones generalizadas) permite
expresar matemáticamente 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 instantánea, etc.
Por otra parte, en el concepto de función generalizada se refleja el hecho de que, en la realidad,
no es posible medir la densidad en un punto, sino que sólo 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 función generalizada se define por sus ”valores medios” en el entorno
de cada punto. Aclaremos lo dicho con el siguiente ejemplo:
Tratemos de definir la densidad de un punto material de masa 1. Supongamos que dicho

punto está en el origen de coordenadas. Para definir la densidad, distribuyamos (”diluyamos”,
también se dice) la masa 1 de manera uniforme dentro de la esfera Uε ≡ U (0, ε). Entonces,
como resultado obtenemos la densidad media
3
fε (x) = , ∀|x| < ε (1.8)
4πε3
fε (x) = 0, ∀|x| > ε (1.9)
Denotemos por δ(x) la densidad buscada. Si tomamos por δ(x) el lı́mite punto a punto de las
densidades medias fε (x) para ε → 0, tenemos
δ(x) = lim fε (x) = ∞, ∀x = 0 (1.10)

ε→0
δ(x) = lim fε (x) = 0, ∀x 6= 0 (1.11)

ε→0
Es lógico esperar que la integral de esta densidad por cualquier volumen V dé la masa de la
sustancia contenida en el volumen, pues
Z Z π Z 2π Z ε
3
fε (x)dx = sin θdθ dϕ r2 dr = 1 (1.12)
V 4πε3 0 0 0
Por lo tanto, es de esperar que
Z
δ(x)dx = 1, ∀0 ∈ V (1.13)
V
Z
δ(x)dx = 0, ∀ 0 no ∈ V (1.14)
V
pero, tal y como conocemos el concepto de integral, a la derecha de esta integral siempre se
obtendrı́a cero. Por lo tanto tenemos una contradicción, por lo que el lı́mite de fε (x) para
ε → 0 punto a punto no puede tomarse como definición de δ(x).
Veamos el lı́mite débil de fε (x) para ε → 0. Es decir, para cualquier función ϕ(x) continua
calculemos el lı́mite de la sucesión numérica
Z
fε (x)ϕ(x)dx (1.15)
para ε → 0.
Demostremos que
Z
lim fε (x)ϕ(x)dx = ϕ(0) (1.16)
ε→0
Efectivamente: Como ϕ(x) es continua, ∀η > 0 ∃ε0 > 0 tal que |x| < ε0
⇒ |ϕ(x) − ϕ(0)| < η.
Sea ε ≤ ε0 . Tenemos:
Z Z

fε (x)ϕ(0)dx − ϕ(0) ≡ [ϕ(x) − ϕ(0)] dx ≤

|x|<ε
Z Z
3 3
≤ 3
|ϕ(x) − ϕ(0)|dx < η dx ≡ η (1.17)
4πε |x|<ε 4πε3 |x|<ε
LQQD
Conclusión: El lı́mite débil de fε (x) para ε → 0 es el funcional ϕ(0) que pone en correspon-
dencia a cada función continua ϕ(x) el número ϕ(0) igual a su valor en x = 0. Este funcional
es el que se toma como definición de la densidad δ(x) (la conocida función delta de Dirac).
De esta manera, fε (x) → δ(x) para ε → 0 en el sentido de que para cualquier función continua
ϕ(x) tiene lugar la relación lı́mite:
Z
fε (x)ϕ(x)dx → (δ, ϕ), ∀ε → 0 (1.18)
donde el sı́mbolo (δ, ϕ) es el número ϕ(0) igual al valor del funcional δ en la función ϕ. Para
obtener ahora la masa completa sólo hay que aplicar el funcional (densidad) a la función ϕ(x) =
1:
(δ, 1) = 1(0) = 1 (1.19)
Si en el punto x = 0 está concentrada la masa m, entonces la densidad correspondiente es

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

densidad correspondiente será
N
X
mk δ(x − xk ) (1.21)
k=1
Por lo tanto, la densidad dada por puntos materiales no puede describirse con el concepto clásico
de función y para su descripción hay que utilizar una naturaleza matemática más general:
funcionales lineales continuos (funciones generalizadas).
1.3 Espacio D de las funciones de base
Del ejemplo de la delta: la δ(x) se define a través de funciones continuas como un funcional
lineal continuo. Por tanto, las funciones continuas son las funciones de base para la función
delta.
Igual se define cualquier función generalizada: un funcional lineal continuo en el espacio de

funciones de base suficientemente ”buenas”. Veamos qué es el espacio D de las funciones de
base.
DEFINICION 1: Llamaremos conjunto de base D = D(Rn ) a todas las funciones finitas

diferenciables infinitas veces en Rn .
Otras notaciones que usaremos son:
α = (α1 , α2 , ..., αn ) es un multiı́ndice, es decir, un vector entero con componentes αk no

negativos.
Dα f (x) es la derivada de f (x) de orden |α| = α1 + α2 + ... + αn :
∂ |α| f (x1 , x2 , ..., xn )

Dα f (x) = (1.22)
∂ α1 x1 ∂ α2 x2 ...∂ αn xn
∂
donde interpretamos: D0 f (x) = f (x), D = (D1 , D2 , ..., Dn ), Dj = ∂xj
Otras notaciones son: fx0 i , fx00i xj , etc.
xα = xα1 1 xα2 2 ...xαnn , α! = α1 !α2 !...αn !
Aclaraciones a la Definición 1:
1. Una función seccionalmente continua se llama finita si se hace cero fuera de cierta esfera.
2. Sea ϕ ∈ C(Rn ). Se llama soporte de ϕ a la clausura del conjunto de puntos donde

ϕ(x) 6= 0. Lo representaremos por supp ϕ. Es evidente que ϕ(x) es finita si y sólo si
supp ϕ es acotado.
DEFINICION 2: La sucesión de funciones {ϕk (x)}, con ϕk ∈ D converge a ϕ(x) ∈ D si:
a) ∃R > 0 tal que supp ϕk ⊂ UR
b) ∀α = (α1 , α2 , ..., αn ) se cumple la convergencia uniforme siguiente:
Dα ϕk (x) → Dα ϕ(x), para k → ∞ (1.23)
cuando x ∈ Rn . En este caso escribiremos:
ϕk → ϕ, ∀k → ∞ (1.24)
en D.
DEFINICION 3: El conjunto lineal D con la convergencia dada de sucesiones, se llama

espacio D de las funciones de base.
OBSERVACION: El conjunto de funciones de base cuyos soportes estén contenidos en una

región dada G se representa por D(G). Se cumple que D(G) ⊂ D(Rn ) ≡ D.
Ejemplo: Veamos la siguiente función: Función Campana:
ε2
ωε (x) = Cε e ε2 −|x|2 , ∀|x| ≤ ε
= 0, ∀|x| > ε (1.25)
R
donde Cε se elige de forma tal que ωε (x)dx = 1
O sea:
1
Z Z
ε2
Z −
− |x|2
1−
ωε (x)dx = Cε e ε2 −|x|2 dx = Cε e ε2 dx =
Uε Uε
Z
1
n −
= Cε ε e 1−|ξ|2 dξ = 1. (1.26)
U1
Por tanto:
1
Cε = R − 1 (1.27)
εn U1
e 1−|ξ|2 dξ
EJERCICIO: El lector debe demostrar que
1
ωε (x) = ω1 (x/ε) (1.28)
εn
LEMA
Para cualquier región G y cualquier número ε > 0 existe la función η ∈ C ∞ (Rn ) tal que:
1) 0 ≤ η(x) ≤ 1
2) η(x) = 1, ∀x ∈ Gε (G ampliado con un entorno ε de G).
3) η(x) = 0, ∀x no ∈ G3ε (Fuera de G ampliado con un entorno 3ε de G).
COROLARIOS:
1) Si G es acotada, entonces existe una función η ∈ D tal que η = 1, para x ∈ Gε .
2) Si G0 ⊂ G, entonces existe una función η ∈ D(G) tal que η(x) = 1 para x ∈ G0 .
1.4 Espacio D’ de las funciones generalizadas
DEFINICION: Se llama función generalizada a cualquier funcional lineal continuo en el

espacio D de las funciones de base.
NOTACION:
- Representamos por (f, ϕ) al valor numérico del funcional (de la función generalizada) f en la
función de base ϕ.
- Escribiremos también, formalmente, la función generalizada f como f (x), entendiendo por x

el argumento de las funciones de base sobre las que actúa el funcional f .
Aclaremos la definición:
1) La función generalizada f es un funcional en D, o sea, a cada ϕ ∈ D se pone en correspon-

dencia el número (f, ϕ) en general complejo.
2) La función generalizada f es un funcional lineal en D, o sea, si ϕ ∈ D y ψ ∈ D, para λ y µ

números complejos:
(f, λϕ + µψ) = λ(f, ϕ) + µ(f, ψ) (1.29)
3) La función generalizada f es un funcional continuo en D, o sea, si ϕk → 0 para k → ∞ en

D, entonces (f, ϕk ) → 0 para k → ∞.
Denotemos por D0 = D0 (Rn ) al conjunto de todas las funciones generalizadas. Este conjunto
es lineal si la combinación lineal λf + µg de las funciones generalizadas f y g se define como
un funcional que opera de la siguiente manera:
(λf + µg, ϕ) = λ(f, ϕ) + µ(g, ϕ) (1.30)
para ϕ ∈ D.
Si tomamos dos: ϕ ∈ D y ψ ∈ D y α y β ciertos números 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.
Conclusión: Si f y g pertenecen a D0 , la combinación lineal λf + µg también pertenece a D0 .
DEFINICION: La sucesión de funciones generalizadas {fk } con fk ∈ D0 se dice que converge

a la función generalizada f ∈ D0 , si para cualquier ϕ ∈ D se cumple que
(fk , ϕ) → (f, ϕ) (1.32)
para k → ∞.
Es decir, la convergencia en D0 la definimos como convergencia débil y escribimos fk → f ,

∀k → ∞ pero entendiéndolo como convergencia débil.
DEFINICION: El conjunto lineal D0 con la convergencia definida en él (débil) se llama

espacio D0 de las funciones generalizadas.
Tiene lugar un teorema que dice:
Teorema:
El espacio D0 de funciones generalizadas es completo.
Esto quiere decir que toda sucesión de elementos del espacio converge a un elemento del espacio.
En nuestro caso ésto se entiende ası́:
Si fk ∈ D0 y (fk , ϕ) converge para ϕ ∈ D, entonces el funcional definido por la igualdad
(f, ϕ) = lim (fk , ϕ), ∀ϕ ∈ D (1.33)

k→∞
también pertenece a D0 (o sea, también es lineal y continuo en D).
Las funciones generalizadas no tienen, en general, valores en puntos aislados, pero se puede
decir que una función generalizada se hace cero en cierta región. Veamos eso.
DEFINICION 1: La función 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 recı́proco

de esta afirmación es cierto, o sea:
TEOREMA:
Si f = 0 en el entorno de cada punto de G, entonces f = 0 en todo G.
La demostración no brinda elementos esenciales y la obviamos.
Sea la función generalizada f ∈ D0 .
DEFINICION 1: La unión de todos los entornos en los que f = 0 se llama conjunto nulo
Gf de la función generalizada f . Como cada entorno es abierto, Gf es un conjunto abierto.
DEFINICION 2: Se llama soporte de la función generalizada f al completamiento de

Gf a Rn ; es decir:
supp f = Rn \Gf (1.36)
Es obvio que supp f es un conjunto cerrado.
DEFINICION 3: Si supp f es un conjunto acotado, entonces f se llama finita.
OBSERVACIONES:
1. En cualquier región fuera del supp f , la T

función generalizada f es cero. Por lo tanto, para
que (f, ϕ) 6= 0 tiene que ocurrir que supp ϕ supp f 6= .
2. supp f está compuesto sólo por aquellos puntos tales que en ningún entorno de ellos f se
hace cero.
El ejemplo más simple de función generalizada es el funcional generado por una función f (x)
localmente integrable en Rn :
Z
(f, ϕ) = f (x)ϕ(x)dx, ∀ϕ ∈ D (1.37)
PROPIEDADES:
1. Es lineal: (obvio, pues la integración lo es):
(f, λϕ + µψ) = λ(f, ϕ) + (f, ψ) (1.38)
2. Es continuo: (obvio a partir del lı́mite bajo el signo de integral): Si ϕk → 0, ∀k → ∞ en D,

entonces:
Z
(f, ϕk ) = f (x)ϕk (x)dx → 0, ∀k → ∞ (1.39)
Uk
Conclusión:
Efectivamente, el funcional definido arriba por (1.37) define a una función generalizada en D0 .
DEFINICION: Las funciones generalizadas definidas por funciones localmente integrables en

Rn según (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 función f (x) localmente integrable en G se haga cero en la región G en el sentido
de las funciones generalizadas es necesario y suficiente que f (x) = 0 en casi todos lados de G.
DEMOSTRACION:
NECESIDAD:
Por hipótesis
(f, ϕ) = 0, ∀ϕ ∈ D(G) (1.40)
Sea a ∈ G arbitrario. Existe una esfera cerrada Ū (a, ε) ⊂ G tal que f = 0 en ella, según la
definición (1.40). Pero para cada vector k = (k1 , k2 , ..., kn ) la función
k·x
ψk (x) = ei ε ωε (x − a) (1.41)
pertenece a D(G). O sea, ψk (x) es una función de base. Aquı́, ωε (x) es la función campana
(1.25).
Por lo tanto:
Z
k·x
(f, ψk ) ≡ f (x)ωε (x − a)ei ε dx = 0 (1.42)
Esta última expresión significa que todos los coeficientes de Fourier de f (x)ωε (x − a) (que es
k·x
integrable en U (a, ε)) en la base ei ε son cero.
Por lo tanto, f (x)ωε (x − a) ≡ 0, lo que implica que f (x) ≡ 0 en casi todo punto de la esfera
Esto significa, a su vez, que f (x) ≡ 0 en casi todo punto de G, pues a es arbitrario.
SUFICIENCIA:
Es evidente, pues, como ahora por hipótesis f (x) = 0 en casi todo punto de G, por lo tanto
(f, ϕ) = 0 para ϕ ∈ D(G).
Demostrado el lema.
Ası́ pues, toda función localmente integrable en Rn define por (1.37) a una función generalizada
regular y por el lema de du Bois-Reymond toda función generalizada regular se determina,
con exactitud de valores en un conjunto de medida nula, por una función única localmente
integrable en Rn .
Conclusión: Existe una relación biunı́voca entre las funciones localmente integrables en Rn y
las funciones generalizadas regulares. Por lo tanto, hay una equivalencia entre la función f (x)
localmente integrable y la función generalizada (o sea, el funcional (f, ϕ)) generada por ella
según la fórmula (1.37) vista arriba.
En este sentido, las funciones ”comunes”, o sea, localmente integrables en Rn , son funciones
generalizadas regulares.
Por último, es claro que si las funciones fk (x) convergen uniformemente a f (x), donde las fk (x)
son funciones localmente integrables en Rn , entonces también convergen a f (x) en D0 (Rn ), pues
para cualquier ϕ ∈ D tenemos:
Z Z
(fk , ϕ) = fk (x)ϕ(x)dx → f (x)ϕ(x)dx ≡ (f, ϕ), ∀k → ∞ (1.43)
DEFINICION: La función generalizada f pertenece a la clase C P (G) si en G ella coincide

con la función fG (x) ∈ C P (G), es decir, si para cualquier ϕ ∈ D(G) se cumple que
Z
(f, ϕ) = fG (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 biunı́voca con ninguna función localmente integrable. El
ejemplo más simple es la función δ(x):
(δ, ϕ) = ϕ(0), ∀ϕ ∈ D (1.45)
Es obvio que δ ∈ D0 y que δ(x) = 0, ∀x 6= 0, lo que significa que supp δ = {0}.
TEOREMA: δ(x) es una función generalizada singular.
DEMOSTRACION
Por reducción al absurdo: Supongamos que hay una f (x) localmente integrable tal que para
cualquier ϕ ∈ D:
Z
f (x)ϕ(x)dx = ϕ(0) (1.46)
Como ϕ ∈ D, por tanto x1 ϕ ∈ D, donde x1 es la primera coordenada de x. Por lo tanto, serı́a:
Z
f (x)x1 ϕ(x)dx = (x1 f, ϕ) = x1 ϕ(x)|x=0 = 0 (1.47)
Esto último significa que la función x1 f (x), localmente integrable en Rn , es igual a cero en el
sentido de las funciones generalizadas y, por el Lema de du Bois-Reymond, será x1 f (x) = 0 en
casi todos los puntos, de donde f (x) = 0 en casi todos los puntos. Esto contradice (1.46).
Por lo tanto, efectivamente, δ(x) no puede ser regular, lo que implica que es singular.
LQQD.
TEOREMA: ωε (x) → δ(x) para ε → 0 en D0 .
DEMOSTRACION:
Hay que demostrar que
Z
lim ωε (x)ϕ(x)dx = ϕ(0), ∀ϕ ∈ D (1.48)
ε→0
Veamos: Como ϕ es continua, se cumple que para η > 0 existe un ε0 > 0 tal que si |x| < ε0 se
cumple que |ϕ(x) − ϕ(0)| < η.
Por lo tanto, como
Z
ωε (x)dx = 1 (1.49)
se cumple que:
Z Z Z

ωε (x)ϕ(x)dx − ϕ(0) ≡ ωε (x)ϕ(x)dx − ωε (x)ϕ(0)dx ≡

Z Z

≡ ωε (x) [ϕ(x) − ϕ(0)] dx ≤ ωε (x) |ϕ(x) − ϕ(0)| dx <
Z
< η ωε (x)dx = η (1.50)
LQQD.
Por la forma gráfica de ωε (x), vamos a representar a δ(x) como una flecha perpendicular al
eje x hacia arriba en el punto x = 0 de una longitud dada arbitraria y a −2δ(x − x0 ) como
una flecha también perpendicular al eje x, pero hacia abajo y de longitud igual al doble de la
anterior, colocada en el punto x0 .
Veamos una generalización de la delta: La capa simple sobre una superficie S:
Sea S una superficie seccionalmente suave y µ(x) una función continua sobre S. Introducimos
la función generalizada µδS que actúa según la ley:
Z
(µδS , ϕ) = µ(x)ϕ(x)dS, ∀ϕ ∈ D (1.51)
S
Se ve que µδS ∈ D0 y que µδS (x) = 0, ∀x no ∈ S. Por lo tanto, supp µδS ⊂ S.

µδS se llama función generalizada capa simple sobre la superficie S.
OBSERVACION: Las funciones localmente integrables y la delta describen distribuciones

(densidades) de masas, de cargas, etc.
Por ello, a las funciones generalizadas Schwarz las llamó también distribuciones.
Si, por ejemplo, la función generalizada f es la densidad de masas (o de cargas),R entonces la

expresión (f, 1) es la masa o la carga total. En particular, (δ, 1) = 1; (f, 1) = f (x)dx.
1.7 Fórmulas de Sojotsky
Sea el funcional P x1 que actúa según la fórmula:
Z Z −ε Z ∞
1 ϕ(x) ϕ(x)
P ,ϕ =VP dx ≡ lim + dx, ∀ϕ ∈ D(R1 ) (1.52)
x x ε→0 −∞ ε x
TEOREMA: Este funcional es continuo en D.
DEMOSTRACION
Sean ϕk → 0, ∀k → ∞ en D. Esto equivale a decir que ϕk (x) = 0, ∀|x| > R y Dα ϕk (x) tiende
uniformemente a cero para k → ∞.
Entonces,
Z
P 1 , ϕk = V P ϕk (x)

dx ≡
x x
Z R 0 0

ϕ k (0) + xϕ k (x )
≡ V P dx ≡
−R x
R
Z Z R
ϕk (0) 0 0

≡ V P
dx + ϕk (x )dx ≡ I1 + I2 (1.53)
−R x −R
Tenemos:
Z R
Z −ε Z R
ϕk (0) dx
I1 = V P
dx = ϕk (0) lim + =0 (1.54)
−R x ε→0 −R ε x
Por lo tanto:
R
Z
P 1 , ϕk ≡ ϕ0k (x0 )dx ≤ max |ϕ0k (x0 )|2R → 0, ∀k → ∞

(1.55)
x
−R
Conclusión: P x1 ∈ D0 .
P x1 es una función generalizada regular que coincide, según vimos gracias al lema de du Bois-
Reymond, con la función 1/x para x 6= 0. Su nombre es: Parte Finita o Valor Principal de
la integral de 1/x.
Analicemos la siguiente expresión para ϕ ∈ D (con ϕ = 0, ∀|x| > R).
R
x − iε
Z Z
ϕ(x)
lim dx ≡ lim ϕ(x)dx (1.56)
ε→0 x + iε ε→0 −R x 2 + ε2
Se obtiene:
Z Z R
ϕ(x) ϕ(x)
VP dx − iπϕ(0) = dx (1.57)
x −R x + i0
O sea:

1 1
,ϕ = (−iπδ, ϕ) + P , ϕ (1.58)
x + i0 x
Es decir:
1 1
= −iπδ(x) + P (1.59)
x + i0 x
De forma análoga se obtiene:
1 1
= iπδ(x) + P (1.60)
x − i0 x
Las fórmulas obtenidas (1.59) y (1.60) se conocen con el nombre de Fórmulas de Sojotsky.
1.8 Cambio de variables lineal
Si f (x) es localmente integrable en Rn y x = Ay +b con detA 6= 0 (lo que es una transformación

de Rn en si mismo), entonces, ∀ϕ ∈ D:
Z
(f (Ay + b), ϕ) ≡ f (Ay + b)ϕ(y)dy =
Z
1 1
f (x)ϕ A−1 (x − b) dx = f, ϕ A−1 (x − b)

= (1.61)
|detA| |detA|
Usaremos esta fórmula:
1
f, ϕ A−1 (x − b) , ∀ϕ ∈ D

(f (Ay + b), ϕ) = (1.62)
|detA|
para definir la función generalizada f (Ay + b) para cualquier f (x) ∈ D0 . El funcional f (Ay + b)
pertenece a D0 , pues la operación ϕ [A−1 (x − b)] es lineal y continua en D.
Casos particulares:
1. Rotación:
A−1 ≡ A0 (transpuesta) y b = 0, lo que implica que
(f (Ay), ϕ) = f, ϕ(A−1 x)

(1.63)
2. Semejanza:
A = cI, con c 6= 0 y b = 0, lo que implica que
1
(f (cy), ϕ) = (f, ϕ(x/c)) (1.64)
|cn |
3.
Si A = I entonces
(f (y + b), ϕ) = (f, ϕ(x − b)) (1.65)
La función generalizada f (x + b) se llama traslación de la función generalizada f (x) en el

vector b.
Por ejemplo: δ(x − x0 ) es la traslación de δ(x) en el vector −x0 y actúa según la fórmula:
(δ(x − x0 ), ϕ) = (δ, ϕ(x + x0 )) = ϕ(x0 ) (1.66)
De esta manera podemos definir funciones generalizadas con simetrı́a esférica, con simetrı́a
central, homogéneas, periódicas, etc.
1.9 Producto de funciones generalizadas.
Sea f (x) integrable localmente en Rn . Sea a(x) ∈ C ∞ (Rn ). Entonces, para ϕ ∈ D es válido:
Z
(af, ϕ) = a(x)f (x)ϕ(x)dx ≡ (f, aϕ) (1.67)
Usaremos esta igualdad para definir el producto af de la función generalizada f ∈ D0 y la

función infinitas veces derivable a:
(af, ϕ) = (f, aϕ), ∀ϕ ∈ D (1.68)
Comprobar solos que af ∈ D0 , lo que equivale a comprobar que es lineal y continua de D en

D.
OBSERVACION: Si f ∈ D0 , entonces f = ηf con η ∈ C ∞ (Rn ) tal que η = 1 en el entorno

del supp f .
Efectivamente: Para cualquier ϕ ∈ D los soportes de f y de (1 − η)ϕ no tienen puntos comunes,

lo que equivale a decir que
\
supp f supp (1 − η)ϕ = ∅ (1.69)
Por lo tanto:
(f − ηf, ϕ) ≡ ((1 − η)f, ϕ) = (f, (1 − η)ϕ) = 0 (1.70)
Ejemplos de productos:
1. a(x)δ(x) = a(0)δ(x)
pues, ∀ϕ ∈ D: (aδ, ϕ) = (δ, aϕ) = a(0)ϕ(0) ≡ (a(0)δ, ϕ).
2. xP x1 = 1
pues, ∀ϕ ∈ D(R1 ):
Z Z
1 1 xϕ(x)
xP , ϕ = P , xϕ =VP dx = ϕ(x)dx = (1, ϕ) (1.71)
x x x
LQQD.
Es ası́, como hay que operar siempre.
OBSERVACION IMPORTANTE: No se puede definir el producto de dos funciones gene-

ralizadas de forma que el resultado sea una función generalizada. Sólo se podrı́a 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 6= b (1.72)
o que a(x)δ(x) = a(0)δ(x) si a(x) es continua en el entorno de x = 0.
Para abundar un poco en lo dicho: Para las funciones localmente integrables su producto no
tiene que ser localmente integrable. Por ejemplo,
!2
1 1 1 1
p ≡p ·p ≡ , ∀x ∈ R1 (1.73)
|x| |x| |x| |x|
Aquı́, √1 es localmente integrable, en tanto 1

|x|
no lo es.
|x|
Lo mismo ocurre para las funciones generalizadas. Incluso Schwarz demostró que no se puede
definir un producto de funciones generalizadas que sea asociativo y conmutativo; (o sea, no
existe tal producto).
Efectivamente, si ese producto existiera, entonces, de los ejemplos 1. y 2. tendrı́amos la

siguiente secuencia contradictoria:

1 1 1 1
0 = 0P = (xδ(x))P = (δ(x)x)P = δ(x) xP = δ(x) (1.74)
x x x x
lo que, a todas luces, es absurdo.
Ejemplos:
1. Demostrar que
1 x2
fε (x) = √ e− 4ε → δ(x), ∀x → 0 (1.75)
2 πε
DEMOSTRACION (¡Hay que proceder siempre ası́!)
Sea ϕ ∈ D:
Z
1 x2
lim(fε , ϕ) = lim √ ϕ(x)e− 4ε dx =
ε→0 ε→0 2 πε
√
Z Z
1 −y 2 1 2
= lim √ ϕ(2 εy)e dy = √ ϕ(0) e−y dy = ϕ(0) = (δ, ϕ) (1.76)
ε→0 π π
LQQD
2. Demostrar que:
1 ε
fε (x) = → δ(x), ∀ε → 0 (1.77)
π ε + x2
2
DEMOSTRACION
Para ϕ ∈ D:
Z R Z R
ε ϕ(x)dx ϕ(x)dx
ε
lim(fε , ϕ) = lim = lim =
ε→0 ε→0 π−R ε2 + x2 ε→0 πε2
−R 1 + (x/ε)
2
Z R/ε Z ∞
1 ϕ(εy)εdy 1 dy
= lim 2
= ϕ(0) 2
=
ε→0 πε −R/ε 1 + y π −∞ 1 + y
1 1 π π
= ϕ(0) arctan y|∞
−∞ = ϕ(0) + = ϕ(0) = (δ, ϕ) (1.78)
π π 2 2
LQQD.
3. Demostrar que:
eixt
→ 2πδ(x), ∀t → ∞ (1.79)
x − i0
DEMOSTRACION:
eixt
Teniendo en cuenta la fórmula de Sojotsky, por el producto tenemos que x−i0
es:
eixt

1 1 ixt
,ϕ = , eixt ϕ= πiδ(x) + P , e ϕ =
x − i0 x − i0 x

ixt
1 ixt
= πiδ(x), e ϕ + P , e ϕ (1.80)
x
Ahora bien:
πiδ(x), eixt ϕ = πiϕ(0) → πiϕ(0) = (πiδ, ϕ), ∀t → ∞

(1.81)
y:
−ε ∞
eixt ϕ(x) eixt ϕ(x)
Z Z Z
1
P , eixt ϕ =VP dx = lim + dx =
x x ε→0 −∞ ε x
y para t > 0
eizt ϕ(z)dz
Z
= − −iπei0t ϕ(0) = iπϕ(0) =

= − lim
ε→0 Cε z
= (πiδ, ϕ) → (πiδ, ϕ), ∀t → ∞ (1.82)
Ası́, queda demostrado, efectivamente, que:
eixt

,ϕ → (2πiδ, ϕ), ∀t → ∞ (1.83)
x − i0
LQQD.
4. Demostrar que
∞
X
ak δ(x − k) (1.84)
k=−∞
converge para cualquier ak .
DEMOSTRACION:
Tenemos para ϕ ∈ D:
∞
!
X X X
ak δ(x − k), ϕ = ak (δ(x − k), ϕ) = ak ϕ(k) (1.85)
k=−∞ k k
La última suma a la derecha converge, pues ϕ es finita.
LQQD.
5. Demostrar que δSR → 0, ∀R → ∞.
DEMOSTRACION:
La capa simple δSR es la función generalizada que actúa ası́:
Z
(δSR , ϕ) = ϕ(x)dx (1.86)
SR
Por lo tanto:
Z
lim (δSR , ϕ) = lim ϕ(x)dx = 0 (1.87)
R→∞ R→∞ SR
pues ϕ ∈ D y por lo tanto es finita.
6. Demostrar que:
cos kx
P → 0, ∀k → ∞ (1.88)
x
DEMOSTRACION:
Para ϕ ∈ D:
eikt

cos kx 1
P ,ϕ ≡ Re P ,ϕ = Re P , eikt ϕ = Re(πiδ, ϕ) = 0 (1.89)
x x x
LQQD.
La última igualdad fue obtenida hace un rato atrás.
Nota: Por lo tanto:
sin kx
P = πδ (1.90)
x
Para k > 0.
R
7. Sea α ∈ D(Rn ) tal que α ≥ 0 y que α(x)dx = 1.
Demostrar que:
1 x
α → δ(x), ∀ε → 0 (1.91)
εn ε
en D0 .
DEMOSTRACION:
Usemos la regla del cambio de variables:
1 x
(f (cy), ϕ) = f, ϕ (1.92)
cn c
1
Entonces tendremos, para εn
α(x/ε):
1 x 1
n
α , ϕ = n εn (α, ϕ(εx)) =
Z Z ε ε ε
∗
= α(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 ∞ (Rn ), f ∈ D0 (Rn ), h ∈ Rn (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:
Z
((af )(x + h), ϕ) = (af, ϕ(x − h)) = (f, aϕ(x − h)) = f (x)a(x)ϕ(x − h)dx =
Z
= f (y + h)a(y + h)ϕ(y)dy ≡ (a(y + h)f (y + h), ϕ) (1.95)
donde hemos hecho el cambio de variables: x − h = y, dx = dy.
LQQD.
1.10 Ejercicios del Capı́tulo

1. Demostrar que:
1 x
fε (x) = sin → δ(x), ∀ε → 0
πx ε
2. Demostrar que:
ε 2 x

gε (x) = sin → δ(x), ∀ε → 0
πx2 ε
3. Demostrar:
e−ixt
lim =0
t→∞ x − i0
4. . Demostrar que:
eixt
lim =0
t→∞ x + i0
5. Demostrar que:
e−ixt
lim = −2πiδ(x)
t→∞ x + i0
6. Demostrar que:
lim tm eixt = 0
t→∞
Capı́tulo 2
Derivación e integración de funciones

generalizadas
2.1 Derivada generalizada
Comencemos estudiando una serie de propiedades cómodas:
1. Si definimos apropiadamente la generalización de la derivada, entonces las funciones gene-

ralizadas resultan infinitas veces derivables.
2. Las series de funciones generalizadas convergentes pueden derivarse término a término, y

otras propiedades.
Veamos el concepto de derivada de una función generalizada: Sea f ∈ C p (Rn ). Entonces, para
α tal que |α| ≤ p y ϕ ∈ D, es válida la integración por partes:
Z Z
|α|
α
(D f, ϕ) ≡ α
D f (x)ϕ(x)dx = (−1) f (x)Dα ϕ(x)dx ≡ (−1)|α| (f, Dα ϕ) (2.1)
Recordemos las notaciones usadas:
∂ |α|
Dα =
∂ α1 x1 ∂ α2 x2 ...∂ αn xn
donde |α| = α1 + α2 + ... + αn .
Partiremos de esta igualdad para definir la derivada generalizada de una función generalizada:
Definición:
Se llama derivada generalizada Dα f de la función generalizada f ∈ D0 a la función genera-

lizada que actúa según la fórmula:
33
(Dα f, ϕ) = (−1)|α| (f, Dα ϕ), ∀ϕ ∈ D (2.2)
TEOREMA:
Si f ∈ D0 entonces Dα f ∈ D0 .
DEMOSTRACION
Lo que hay que demostrar es que Dα f definida por la fórmula 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 notación:
Para la derivada clásica (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 función campana ωε (x) estudiada en el capı́tulo anterior.
Entonces: Dα ωε (x) → Dα δ(x), ∀ε → 0 en D0 .

Derivación e integración 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 dimensión, la primera derivada tiene el sentido de ser el funcional que actúa según la
regla:
(δ 0 , ϕ) = −(δ, ϕ0 ) = −ϕ0 (0) (2.7)
Para terminar, veamos algunas propiedades de la derivada definida aquı́:
Propiedades:
1. Si f ∈ D0 , entonces Dα f ∈ D0 (fue el teorema demostrado).
2. Toda función generalizada es derivable infinitas veces (demostrar solos).
3. La derivación es independiente del orden en que se realice, o sea:
Dα+β f = Dα (Dβ f ) ≡ Dβ (Dα f )
(demostrar solos)
4. Para f ∈ D0 y a ∈ C ∞ (Rn ), se cumple la fórmula de Leibnitz:
∂(af ) ∂a ∂f
= f +a (2.8)
∂x1 ∂x1 ∂x1
DEMOSTRACION:
(Ası́ es como hay que hacer las cosas). Tenemos ∀ϕ ∈ D, como para las funciones clásicas se
cumple la fórmula de Leibnitz:

∂(af ) ∂ϕ ∂ϕ ∂(aϕ) ∂a
,ϕ = − af, = − f, a = − f, −ϕ =
∂x1 ∂x1 ∂x1 ∂x1 ∂x1

∂(aϕ) ∂a ∂f ∂a
= − f, + f, ϕ = , aϕ + f ,ϕ =
∂x1 ∂x1 ∂x1 ∂x1

∂f ∂a ∂a ∂f
= a ,ϕ + f ,ϕ = f +a ,ϕ (2.9)
∂x1 ∂x1 ∂x1 ∂x1
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
∞
X
uk (x) = S(x) (2.11)
k=1
con uk (x) localmente integrables, converge uniformemente en cada compacto, entonces puede
derivarse término a término todas las veces que se quiera y las series resultantes convergen en
D0 .
DEMOSTRACION:
Por hipótesis;
p
X
Sp (x) ≡ uk (x)
k=1
converge uniformemente a S(x) en |x| ≤ R, ∀p → ∞.
Por lo tanto, Sp → S en D0 (por algo que vimos al estudiar el lema de du Bois-Reymond). Por
tanto, por la propiedad 1:
p
X
α
D Sp = Dα uk → Dα S, ∀p → ∞ (2.12)
k=1
en D0 .
LQQD.
Un ejemplo útil:
Sean los números {ak }, tales que |ak | ≤ A|k|m + B, con A, B y m dados. Entonces, la serie
trigonométrica
∞
X
ak eikt (2.13)
k=−∞
converge en D0 (R1 ).
Esto se desprende de la propiedad 6. Veamos: En virtud de la cota para las ak , la serie:
∞
a0 x m + 2 X ak
+ eikx
(m + 2)! (ik)m+2
−∞(k6=0
converge uniformemente en R1 . Por lo tanto, por la propiedad 6, su derivada de orden m + 2

converge en D0 (R1 ) y coincide con la serie (2.13).
2.2 Primitiva de una función generalizada
Aquı́, sólo consideraremos el caso n = 1, o sea, trabajaremos en R1 .
Sabemos que cualquier función continua f (x) tiene primitiva f(1) (x) única con exactitud de una
constante aditiva:
Z x
f(1) (x) = f (ξ)dξ + C, (2.14)
0
f(1) (x) = f (x). (2.15)
La igualdad (2.15) es la que tomaremos como base para definir la primitiva de una función
generalizada arbitraria:
DEFINICION:
La función generalizada f(1) de D0 (R1 ) se llama primitiva de la función generalizada f de

D0 (R1 ), si
0 0
f(1) = f ⇔ (f(1) , ϕ) = (f, ϕ), ∀ϕ ∈ D (2.16)
O sea:
(f(1) , ϕ0 ) = −(f, ϕ), ∀ϕ ∈ D (2.17)

Esta definición (2.17) quiere decir que el funcional f(1) no está dado sobre las funciones de base,
sino sólo 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 construı́rla:
Sea ϕ ∈ D(R1 ) arbitraria. Escribámosla en la forma
Z
0
ϕ(x) = ψ (x) + ωε (x) ϕ(ξ)dξ (2.18)
donde ωε (x) es la función campana y
Z x Z
ψ(x) = ϕ(x ) − ωε (x ) ϕ(ξ)dξ dx0
0 0
(2.19)
−∞
Esta función ψ ∈ D. Efectivamente, supongamos que ϕ(x) = 0, ∀|x| > R. Entonces, de (2.19)
se ve que ∀x < −max(R, ε), ψ(x) = 0.
Además, para x > max(R, ε), tenemos de (6):
Z ∞ Z ∞ Z
0 0 0 0
ψ(x) = ϕ(x )dx − ωε (x )dx ϕ(ξ)dξ = 0 (2.20)
−∞ −∞
R∞
Pues −∞
ωε (x0 )dx0 = 1.
Por lo tanto: ψ(x) = 0, ∀|x| > max(R, ε).
De esta manera queda comprobado que, efectivamente, ψ ∈ D.
Apliquemos ahora el funcional f(1) (que por hipótesis existe) a (2.18):
Z
0

f(1) , ϕ = f(1) , ψ + f(1) , ωε ϕ(ξ)dξ (2.21)

Y, como f(1) , ϕ = C (o sea, es cierta constante), teniendo en cuenta la definición (2.17):
Z

f(1) , ϕ = −(f, ψ) + C ϕ(ξ)dξ, ∀ϕ ∈ D (2.22)
Conclusión: Si la primitiva f(1) de f existe, entonces se expresa por la igualdad (2.22), donde
ψ se define por (2.19).
Demostremos el recı́proco: Para cualquier constante C, el funcional f(1) , definido por las
igualdades (2.22) y (2.19) es la primitiva de f .
Para ello, demostremos primero que f(1) ∈ D0 .
En primer lugar, de (2.22) es evidente que el funcional f(1) es lineal. Demostremos ahora su
continuidad en D:
Supongamos que ϕk → 0, ∀k → ∞, lo que equivale a decir que ϕk (x) = 0, ∀|x| > R y que
(α)
ϕk (x) ⇒ 0, ∀k → ∞.
Entonces, para ψk , según (2.19):
Z x Z
ψk (x) = ϕk (x ) − ωε (x ) ϕk (ξ)dξ dx0 = 0, ∀|x| > max(R, ε)
0 0
(2.23)
−∞
(α)
ψ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:
Z

f(1) , ϕk = − (f, ψk ) + C ϕk (ξ)dξ → 0, ∀k → ∞ (2.26)
Demostrada la continuidad en D.
Queda por demostrar que f(1) es primitiva de f . Para ello, en (2.19) sustituyamos ϕ por ϕ0 :
Z x Z Z x
0 0 0 0 0
ψ(x) = ϕ (x ) − ωε (x ) ϕ (ξ)dξ dx ≡ ϕ0 (x0 )dx0 = ϕ(x) (2.27)
−∞ −∞
pues
Z
ϕ0 (ξ)dξ = ϕ(x)|∞
−∞ = 0
Ası́, de (2.22) nos queda:
Z

f(1) , ϕ = − (f, ϕ) + C ϕ(ξ)dξ (2.28)
donde C = (f(1) , ωε ).
O sea:
Z

f(1) , ϕ − C ϕ(ξ)dξ = − (f, ϕ) (2.29)
Z

f(1) , ϕ − f(1) , ωε ϕ(ξ)dξ = − (f, ϕ) (2.30)
Z
f(1) , ϕ − ωε ϕ(ξ)dξ = − (f, ϕ) (2.31)
y, como por (2.18),
Z
0
ψ ≡ ϕ − ωε ϕ(ξ)dξ
y como ψ = ϕ, de donde ψ 0 = ϕ0 , queda:
f(1) , ϕ0 = −(f, ϕ)

(2.32)
Esto último significa, de acuerdo con la definición (2.17) que, efectivamente, f(1) es la primitiva
de ϕ.
De esta forma hemos demostrado el siguiente teorema:
TEOREMA: Cualquier función generalizada f tiene una primitiva única definida con exacti-
tud de una constante aditiva y cualquier primitiva f(1) se expresa por la fórmula

f(1) , ϕ = (f, ψ) + (C, ϕ), ∀ϕ ∈ D (2.33)
donde ψ se define por (2.19) y C es una constante arbitraria.
Como consecuencia de este teorema podemos afirmar que la solución de la ecuación diferencial
u0 = f (2.34)
con f ∈ D0 (R1 ), existe en D0 (R1 ) y su solución 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 solución en D0 de la ecuación diferencial (2.34) es clásica. Por ejemplo, la
solución general de la ecuación
u0 = 0
en D0 es una constante arbitraria.
Análogamente: Llamamos primitiva f(n) de orden n de la función f a aquella función tal

que
(n)
f(n) = f
Si aplicamos el teorema a la siguiente cadena recurrente de primitivas:

0 0 0
f(1) = f , f(2) = f(1) , ... , f(n) = f(n−1) ,
se concluye que f(n) existe y es única con exactitud de un polinomio arbitrario de grado n − 1.
2.3 Ejemplos, n = 1
a) Calculemos la densidad de cargas de un dipolo con momento dipolar +1 en el punto x = 0

de la recta.
Aproximadamente, a este dipolo le corresponde la densidad de cargas
1 1
δ(x − ε) − δ(x) (2.36)
ε ε
con ε > 0.
Tomemos el lı́mite en D0 para ε → 0:

1 1 [ϕ(ε) − ϕ(0)]
lim δ(x − ε) − δ(x), ϕ = lim =
ε→0 ε ε ε→0 ε
= ϕ0 (0) = (δ, ϕ0 ) = −(δ 0 , ϕ) (2.37)
Conclusión: La densidad de cargas buscada es igual a −δ 0 (x).
Nótese que la carga total del dipolo es:
(−δ 0 , x) = (δ, 10 ) = (δ, 0) = 0

como era de esperar; y su momento dipolar es:
(−δ 0 , x) = (δ, x0 ) = (δ, 1) = 1
b) (Este es un ejemplo importante): Sea la función f (x) tal que f ∈ C 1 (x ≤ x0 ) y

f ∈ C 1 (x ≥ x0 ) y tiene un salto
[f ]x0 = f (x0 + 0) − f (x0 − 0)
en x0 . Demostrar que la derivada generalizada es:
f 0 = {f 0 (x)} + [f ]x0 δ(x − x0 ) (2.38)
Demostración:
Por definición, la derivada generalizada f 0 es tal que, aplicando integración por partes:
Z ∞
0 0
(f , ϕ) = −(f, ϕ ) = − f (x)ϕ0 (x)dx =
−∞
Z x0 −ε Z ∞
0 0
= lim − f (x)ϕ (x)dx − f (x)ϕ (x)dx =
ε→0 −∞ x0 +ε
Z x0 −ε
x0 −ε 0
= lim −f (x)ϕ(x)|−∞ + f (x)ϕ(x)dx +
ε→0 −∞
Z ∞
∞ 0
+ lim −f (x)ϕ(x)|x0 ε + f (x)ϕ(x)dx =
ε→0 x0 ∗ε
= lim [−f (x0 − ε)ϕ(x0 − ε) + f (x0 + ε)ϕ(x0 + ε)] +
ε→0
Z x0 −ε Z ∞
0 0
+ lim f (x)ϕ(x)dx + f (x)ϕ(x)dx =
ε→0 −∞ x0 +ε
Z
= [f (x0 + 0) − f (x0 − 0)] ϕ(x0 ) + {f 0 (x)}ϕ(x)dx =
= ([f ]x0 δ(x − x0 ) + {f 0 (x)}, ϕ) (2.39)
LQQD.
Por ejemplo, en el caso particular de la función de Heaviside:
θ(x) = 1, ∀x > 0
θ(x) = 0, ∀x < 0
la fórmula (2.39) da que la derivada generalizada de esta función es:
θ0 (x) = δ(x) (2.40)
En Fı́sica llamamos a θ(x) función paso unitario y a δ(x), impulso unitario. Por lo tanto,
el impulso unitario es la derivada del paso unitario.
c) La generalización de la fórmula (2.39) es:
Si f (x) tiene discontinuidades aisladas de primer tipo en los puntos {xk } y f ∈ C 1 (R1 \xk ),
entonces:
X
f 0 = {f 0 (x)} + [f ]xk δ(x − xk ) (2.41)
k
En particular, sea
1 x
f0 (x) = − , ∀x ∈ [0, 2π) (2.42)
2 2π
la función periódica con perı́odo 2π que se representa gráficamente a través de la recta que
une los puntos (0, 1/2) y (2π, −1/2) extendida periódicamente 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):
∞
1 X
f00 =− + δ(x − 2kπ) (2.43)
2π k=−∞
Por lo tanto, en general, la derivada generalizada y la derivada clásica no coinciden.
d) Demostrar la fórmula:
∞ ∞
1 X ikx X
e = δ(x − 2hπ) (2.44)
2π k=−∞ k=−∞
DEMOSTRACION:
Analicemos la función periódica con periodo 2π (integral de la función del ejemplo anterior):
x ∞
x x2
Z X
0 0
f0 (x )dx = − = a0 + ak eikx , (k 6= 0) (2.45)
0 2 4π k=−∞
donde hemos hecho su desarrollo en serie de Fourier convergente uniformemente. Los coeficien-
tes de este desarrollo son:
Los coeficientes son:
2π 2π
x x2 1 x2 x3
Z
1 π
a0 = − dx = − = (2.46)
2π 0 2 4π 2π 4 12π 0 6
2π
1 1 2π ikx
Z 2π
x x2
Z Z
1 ikx 2 ikx
ak = − e dx = xe dx − x e dx (2.47)
2π 0 2 4π 2π 2 0 0
Los cálculos de las integrales dan, finalmente:
1 1
ak = − (2.48)
2π k 2
Por lo tanto, el desarrollo es:
x ∞
x x2 ei kx
Z
0 0 π 1 X
f0 (x )dx = − = − (2.49)
0 2 4π 6 2π k=−∞,k6=0
k2
En virtud de que la serie convergente uniformemente puede derivarse término a término cuanto
se quiera, tenemos que:
La primera derivada es:
∞
1 X iei kx
f0 = − (2.50)
2π k=−∞,k6=0
k
La segunda derivada es, teniendo en cuenta el ejemplo anterior:
∞ ∞
1 X 1 X
f00 = eikx
=− + δ(x − 2π) (2.51)
2π k=−∞,k6=0
2π k=−∞
Ası́, tenemos:
∞ ∞
1 1 X
ikx
X
+ e = δ(x − 2kπ) (2.52)
2π 2π k=−∞,k6=0 k=−∞
Lo que, finalmente, significa:

∞ ∞
1 X ikx X
e = δ(x − 2kπ) (2.53)
2π k=−∞ k=−∞
LQQD.
Nota: La parte izquierda de esta igualdad es la serie de Fourier de la función generalizada

periódica con periodo 2π:
∞
X
δ(x − 2kπ) (2.54)
k=−∞
cuyo gráfico simbólico serı́a un conjunto infinito de flechas perpendiculares al eje x dirigidas
hacia arriba y todas de la misma longitud, colocadas en los puntos x = 0, x = ±2kπ, con
k = 1, 2, 3, .....
e) Demostrar que la solución general de la ecuación
xm u = 0 (2.55)
en D0 (R1 ) viene dada por la fórmula:
m−1
X
u= ck δ (k) (x) (2.56)
k=0
donde ck son constantes arbitrarias.
DEMOSTRACION:
Para toda ϕ ∈ D y k = 0, 1, 2, ..., m − 1, tenemos:
(xm δ (k) , ϕ) = (δ (k) , xm ϕ) = (−1)k (δ, (xm ϕ)(k) ) = (−1)k (xm ϕ)(k) |x=0 = 0 (2.57)
pues m > k.
Por consiguiente,
xm δ (k) (x) = 0, ∀k = 0, 1, 2, ..., m − 1 (2.58)
y, por lo tanto, la función generalizada (2.56) satisface la ecuación (2.55).
Demostremos ahora que (2.56) es la solución general de (2.55) en D0 :

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

x = 0, ya que se ve que en el entorno de x = 0, donde η(x) = 1, tiene lugar la serie de Taylor:
m−1
−m
X ϕ(k) (0) k−m
ψ(x) = ϕ(x)x − x ≡
k=0
k!
∞ m−1 ∞
X ϕ(k) (0) k−m X ϕ(k) (0) k−m X ϕ(k) (0) k−m
≡ x − x = x (2.61)
k=0
k! k=0
k! k=m
k!
Por lo tanto, si u ∈ D0 es la solución de la ecuación (2.55), entonces por (2.61):
m−1
!
X ϕ(k) (0) k
(u, ϕ) = u, η(x) x + (u, xm ψ) =
k=0
k!
m−1 (k) m−1
X ϕ (0) X (−1)k
= (u, η(x)xk ) + (xm u, ψ) ≡ (−1)k (u, η(x)xk )ϕ(k) (0) (2.62)
k=0
k! k=0
k!
De aquı́, introduciendo la notación:
(−1)k
ck = (u, η(x)xk ) (2.63)
k!
queda, finalmente:
m−1
X m−1
X
k (k)
(u, ϕ) = (−1) ck ϕ (0) ≡ (−1)k ck (δ (k) , ϕ) (2.64)
k=0 k=0
lo que demuestra que, efectivamente, (2.56) es la solución general en D0 de (2.55).

LQQD.
f) Comprobar que la función
E(t) = θ(t)Z(t) (2.65)
donde Z(t) es la solución del siguiente problema de Cauchy:
LZ ≡ Z (m) + a1 (t)Z (m−1) + ... + am (t)Z = 0, ∀t > 0 (2.66)

Z(0) = 0, Z 0 (0) = 0, ..., Z (m−1) (0) = 1
satisface la ecuación
LE = δ(t) (2.67)
DEMOSTRACION:
Apliquemos a E(t) la fórmula (2.38) de la derivada generalizada. Tenemos:
E 0 (t) = θ(t)Z 0 (t) + 0 · δ (2.68)
pues el salto de Z(0) es cero.
E 00 (t) = θ(t)Z 00 (t) (2.69)
etc.
E (m−1) (t) = θ(t)Z (m−2) (t) + 0 · δ (2.70)
pues el salto de Z (m−1) (0) es cero. Pero:
E (m) (t) = θ(t)Z (m) (t) + 1 · δ(t) (2.71)
colocando en el operador L estos cálculos, queda:
LE = θ(t)LZ + δ(t) ⇒ LE = δ(t) (2.72)
pues LZ = 0 por el problema de Cauchy.

LQQD.
Más adelante veremos que E(t) es, aquı́, la solución fundamental del operador L.
Veamos otros ejemplos, para el caso n ≥ 2.
2.4 Ejemplos, n ≥ 2.
a) La generalización de δ 0 (x) es una doble capa sobre una superficie. Sea S una superficie
seccionalmente lisa de dos caras, n la normal a S y ν(x) una función continua dada sobre S.
Introduzcamos la función generalizada
∂
− (νδS ) (2.73)
∂n
que actúa según la regla:
Z
∂ ∂ϕ(x)
− (νδS ) , ϕ = ν(x) dS, ∀ϕ ∈ D (2.74)
∂n S ∂n
Aquı́ se ve que
∂
− (νδS ) ∈ D0 (2.75)
∂n
y que

∂
supp − (νδS ) ⊂ S (2.76)
∂n
La función generalizada (2.73) se llama doble capa sobre la superficie S con densidad
ν(x), orientada según la normal n .
Esta función generalizada describe la densidad de cargas correspondiente a una distribución

de dipolos sobre la superficie S con densidad superficial de momento ν(x), con dichos dipolos
orientados a lo largo de la dircción dada de la normal n en S. Comparar ésto con el ejemplo
a) de la sección anterior.
b) Sea la región G con frontera seccionalments lisa S y sea la función f ∈ C 1 (Ḡ) C 1 (Ḡ1 ),
T
(o sea, continua sobre S), donde G1 = Rn \Ḡ. Entonces, tiene lugar la fórmula de la derivada
generalizada:

∂f ∂f
= + [f ]S cos(nxi )δS , ∀i = 1, 2, ..., n (2.77)
∂xi ∂xi
donde n = nx es la normal exterior a S en el punto x ∈ S y [f ]S es el salto de la función f al

pasar de afuera a adentro de G a través de S, o sea:
lim f (x0 ) − lim f (x0 ) = [f ]S (x), ∀x ∈ S (2.78)

x0 →x,(con x0 ∈G1 ) x0 →x,(con x0 ∈G)
Obtención de (2.77):
Previamente, obtengamos la fórmula de integración por partes (fórmula de Green) en G, S.

Sea a ∈ C 1 (G) C(Ḡ). Conocemos la fórmula de Gauss:
T
Z Z
∇ · adx = a · ndS (2.79)
G S
Si tomamos las funciones u, v ∈ C 1 (G)

T
C(Ḡ) y, por ejemplo, hacemos a = (0, uv, 0), entonces
tenemos:
∇ · a = (uv)x2 (2.80)
a · n = uvn2 = uv cos(nx2 ) (2.81)
Ası́,
Z Z
(uv)x2 dx = uv cos(nx2 )dS (2.82)
G S
Pero (uv)x2 = vux2 + uvx2 . Colocando arriba:
Z Z Z
vux2 dx = uv cos(nx2 )dS − uvx2 dx (2.83)
G S G
que es la fórmula de integración por partes en G ∈ Rn .
Como igual se obtiene con a = (uv, 0, 0) o con a = (0, 0, uv), sólo que la derivada será respecto
a x1 o a x3 , por lo tanto, la fórmula general de integración por partes es:
Z Z Z
vuxi dx = uv cos(nxi )dS − uvxi dx (2.84)
G S G
Pues bien, para obtener (2.77), analicemos el funcional, teniendo en cuenta que la integral es
por todo el espacio:
Z
∂f ∂ϕ ∂ϕ
= − f,
,ϕ = − f (x) dx =
∂xi ∂xi ∂xi
Z Z
∂ϕ ∂ϕ
= − f (x) dx − f (x) dx =
G ∂xi G1 ∂xi
Z Z
∂f
= ϕ(x)dx − f (x + 0)ϕ(x) cos(nxi )dS +
G ∂xi S
Z Z
∂f
+ ϕ(x)dx − f (x − 0)ϕ(x) cos(nxi )dS (2.85)
G1 ∂xi S
Obsérvese que el signo + delante de la integral en el el último sumando de esta fórmula sale
ası́, porque la normal inicialmente es para dentro al integrar por G1 y, al pasar hacia afuera,
cambia el signo.
Por lo tanto, queda:
Z Z
∂f ∂f
,ϕ = ϕ(x)dx + [f (x − 0) − f (x + 0)] cos(nxi )ϕ(x)dS (2.86)
∂xi ∂xi S
Aquı́, [f (x − 0) − f (x + 0)] = [f ]S y, por la definición (1.51) que vimos anteriormente de la capa

simple, finalmente queda:

∂f ∂f
,ϕ = + [f ]S cos(nxi )δS , ϕ , ∀ϕ ∈ D (2.87)
∂xi ∂xi
Ası́ queda demostrada la fórmula (2.77) de la derivada generalizada en Rn y que es una gene-
ralización de la derivada generalizada obtenida en R1 en el inciso b) del epı́grafe anterior.
c) Sea igual G con frontera seccionalmente lisa S y sea f ∈ C 2 (G) ¯C 2 (Ḡ1 . Entonces:
T
∂2f ∂2f

∂ ∂f
= + ([f ]S cos(nxi )δS ) + cos(nxj )δS (2.88)
∂xi ∂xj ∂xi ∂xj ∂xj ∂xi S
la expresión (2.88) se obtiene ası́:
∂2f

∂ ∂f ∂
= + ([f ]S cos(nxi )δS ) (2.89)
∂xi ∂xj ∂xj ∂xi ∂xj
pero
∂2f

∂ ∂f ∂f
= + cos(nxj )δS (2.90)
∂xj ∂xi ∂xi ∂xj ∂xi S
Colocando ésto arriba, se obtiene (2.88).
Observación importante:
Hagamos en (2.88) i = j. Obtenemos:
∂2f ∂2f

∂ ∂f
= + ([f ]S cos(nxi )δS ) + cos(nxi )δS (2.91)
∂x2i ∂x2i ∂xi ∂xi S
Sumemos por i:
n n
2
X
2 ∂ X ∂f
∇ f = {∇ f } + ([f ]S cos(nxi )δS ) + cos(nxi )δS (2.92)
i=1
∂x i i=1
∂x i S
Pero, se puede demostrar que:
n
X ∂ ∂
([f ]S cos(nxi )δS ) = ([f ]S δS ) (2.93)
i=1
∂x i ∂n
y que:
n
X ∂f ∂f
cos(nxi )δS = δS (2.94)
i=1
∂xi S ∂n S
Entonces, queda:

2 ∂f2 ∂
∇ f = {∇ f } + δS + ([f ]S δS ) (2.95)
∂n ∂n
Antes de analizar (2.95), demostremos (2.93) y (2.94):
Demostremos (2.93): Para todo ϕ ∈ D, tenemos:
n
! n
X ∂ X ∂ϕ
([f ]S cos(nxi )δS ), ϕ = − [f ]S cos(nxi )δS , =
i=1
∂x i i=1
∂x i
Por definición de δS :
n Z Z n
X ∂ϕ X ∂ϕ
=− [f ]S dS = − [f ]S cos(nxi )dS (2.96)
i=1 S ∂xi S i=1
∂x i
pero:
n
X ∂ϕ ∂ϕ
cos(nxi ) = (2.97)
i=1
∂xi ∂n
por lo que, colocando en (2.96), queda:
n
! Z
X ∂ ∂ϕ ∂
([f ]S cos(nxi )δS ), ϕ = − [f ]S dS = ([f ]S δS ), ϕ (2.98)
i=1
∂x i S ∂n ∂n
LQQD.
Para demostrar (2.94) vemos de, forma similar, por la definición de δS :
n ! n Z
X ∂f X ∂f
cos(nxi )δS , ϕ = cos(nxi )ϕ(x)dS =
i=1
∂xi S i=1 S
∂xi S
Z X n !
∂f ∂f
= cos(nxi ) ϕ(x)dS = δS , ϕ (2.99)
S i=1
∂xi S ∂n S
pues
n
X ∂f ∂f
cos(nxi ) = (2.100)
i=1
∂xi S ∂n S
Supongamos, ahora, que f = 0, ∀x ∈ G1 . Entonces, tendremos que
[f ]S = (fext − fint )|S = −fint |S = −f |S (2.101)
Igual

∂f ∂f
=− |S (2.102)
∂n S ∂n
Por lo tanto, se obtiene en este caso:
∂f ∂
∇2 f = {∇2 f } − δS − (f δS ) (2.103)
∂n ∂n
¿Qué cosa es esta fórmula? Veamos. Tomemos una función de base ϕ.

Apliquémosle (2.103). Tenemos:

2 2 ∂f ∂
(∇ f, ϕ) = ({∇ f }, ϕ) − δS , ϕ − (f δS ), ϕ (2.104)
∂n ∂n
En la parte izquierda, pasamos el operador nabla a ser aplicado a ϕ, lo que implica multiplicar el
paréntesis por (−1)2 y, en el último término a la derecha, pasamos la derivada parcial respecto
a la normal a ser aplicada a ϕ también, lo que implica multiplicar dicho término por (−1). Por
eso, queda:

2 2 ∂ϕ ∂f
(f, ∇ ϕ) − ({∇ f }, ϕ) = f δS , − δS , ϕ (2.105)
∂n ∂n
O sea:
Z Z Z Z
2 ∂ϕ 2 ∂f
f ∇ ϕdx − ∇ f ϕ(x)dx = f dS − ϕdS (2.106)
G G S ∂n S ∂n
Es decir:
Z Z
2 2 ∂ϕ ∂f
{f ∇ ϕ − ϕ∇ f }dx f −ϕ dS (2.107)
G S ∂n ∂n
que no es otra cosa que la conocida Segunda Fórmula de Green, escrita en términos de
funciones generalizadas.
d) Sea n=2. Calculemos ∇2 ln |x|.
Tenemos que ∀x 6= 0, ln |x| ∈ C ∞ . Por lo tanto, para esos valores de x, Dα ln |x| = {Dα ln |x|}.
Por lo tanto, en polares:

2 1 d d ln r
∇ ln |x| ≡ r ≡ 0, ∀x 6= 0 (2.108)
r dr dr
Sea, ahora, ϕ ∈ D con supp ϕ ⊂ UR .
Tomemos la fórmula (2.103) con f = ln |x|:
∂ ln |x| ∂
∇2 ln |x| = {∇2 ln |x|} − δS − (ln |x|δS ) (2.109)
∂n ∂n
y apliquémosla a ϕ en ε < |x| < R. Tendremos:

∂ ln |x|
Z
2 2 2
(∇ ln |x|, ϕ) ≡ lim(∇ ln |x|, ϕ) = lim({∇ ln |x|}, ϕ) − ϕdS +
ε→0 ε→0 SR ∂n
∂ ln |x|
Z Z Z
∂ϕ ∂ϕ
+ ln |x| dS − lim ϕdS + lim ln |x| dS (2.110)
SR ∂n ε→0 S
ε
∂n ε→0 S
ε
∂n
Pero, por (2.108)
lim({∇2 ln |x|}, ϕ) = 0 (2.111)

ε→0
y:
∂ ln |x|
Z
ϕdS = 0 (2.112)
SR ∂n
Z
∂ϕ
ln |x| dS = 0 (2.113)
SR ∂n
pues supp ϕ ⊂ UR .
Por lo tanto:
Z Z
2 1 ∂ϕ
(∇ ln |x|, ϕ) = lim ϕ(x)dS + lim ln ε dS (2.114)
ε→0 Sε ε ε→0 Sε ∂n
Pero
Z
∂ϕ ∂ϕ
lim ln ε dS = ln ε · 2πε → 0, ∀ε → 0 (2.115)
ε→0 S
ε
∂n ∂n med
Z
1 1
lim ϕ(x)dS = ϕ(xmed )2πε → 2πϕ(0) ≡ (2πδ, ϕ), ∀ε → 0 (2.116)
ε→0 Sε ε ε
Ası́, obtenemos:
(∇2 ln |x|, ϕ) = (2πδ, ϕ) (2.117)

Por lo tanto;
∇2 ln |x| = 2πδ (2.118)
De manera análoga, para n ≥ 3, se obtiene:
1
∇2 = −(n − 2)σn δ(x) (2.119)
|x|n−2
donde σn es el área de la superficie de la esfera unitaria en Rn , es decir:
2π n/2
Z
σn = dS = (2.120)
S1 Γ(n/2)
donde
Z ∞
Γ(z) = e−t tz−1 dt (2.121)
0
es la función Gamma de Euler.
Efectivamente:

21 1 ∂ 1 ∂ 1
∇ = ∇2 − δS − δS (2.122)
|x|n−2 |x|n−2 ∂n |x|n−2 ∂n |x|n−2
En la misma esfera ε < |x| < R con supp ϕ ⊂ UR , tenemos

2 1 12 2 1
∇ ,ϕ = lim ∇ , ϕ = lim ∇ ,ϕ −
|x|n−2 ε→0 |x|n−2 ε→0 |x|n−2
Z Z
∂ 1 1 ∂ϕ
− lim n−2
ϕ(x)dS + lim dS =
ε→0 S ∂n |x| ε→0 S |x|n−2 ∂n
ε ε

−(n − 2)
Z Z
ϕ(x)dS
= lim −(n − 2) n−1
= lim ϕ(xmed ) dS =
ε→0 Sε ε ε→0 εn−1 Sε
−(n − 2) 2π n/2 εn−1 2π n/2
= ϕ(xmed ) → −(n − 2) ϕ(0) =
εn−1 Γ(n/2) Γ(n/2)
2π n/2

= −(n − 2) δ, ϕ (2.123)
Γ(n/2)
√
En particular, para n = 3, Γ(3/2) = π/2, por lo que
2π 3/2
= 4π (2.124)
Γ(3/2)
y queda:
1
∇2 = −4πδ(x) (2.125)
|x|
e) Comprobemos que las funciones
eik|x| e−ik|x|
E(x) = − , E(x) = − (2.126)
4π|x| 4π|x|
para n = 3 satisfacen la ecuación
∇2 E + k 2 E = δ(x) (2.127)
DEMOSTRACION:
Como exp{±ik|x|} = cos k|x| + i sin k|x| y coseno y seno son funciones infinitamente derivables,
apliquemos la fórmula de Leibnitz (2.8). Esta era:
∂(af ) ∂a ∂f
=f +a
∂xi ∂xi ∂xi
Volviendo a derivar:
∂ 2 (af ) ∂2a ∂a ∂f ∂2f

= f + 2 + a (2.128)
∂x2i ∂x2i ∂xi ∂xi ∂x2i
Sumando por i:
∇2 (af ) = f ∇2 a + 2∇a · ∇f + a∇2 f (2.129)
Aplicaremos esta última fórmula.
Tenemos que:
∂ 1 xi
=− 3 (2.130)
∂xi |x| |x|
∂ ik|x| ikxi ik|x|
e = e (2.131)
∂xi |x|
Por lo tanto, haciendo los cálculos:

2 ik|x| 2ik
∇e ≡ − k eik|x|
2
(2.132)
|x|
Además, teniendo en cuenta el ejemplo anterior:
k 2 ik|x|

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

2 1 1 1 2 ik|x|
=∇ eik|x| + 2∇ · ∇eik|x| + ∇e + e =
|x| |x| |x| |x|
= −4πδ(x)eik|x| ≡ −4πδ(x) (2.133)
pues vimos que: a(x)δ(x) = a(0)δ(x).
LQQD.
f) Sea
|x|2

θ(t)
E(x, t) = √ exp − 2 (2.134)
(2a πt)n 4a t
Demostrar que:
∂E
− a2 ∇2 E = δ(x, t) (2.135)
∂t
DEMOSTRACION:
Para t > 0 tenemos:
|x|2
Z Z
1
E(x, t)dx = √ exp − 2 dx =
(2a πt)n 4a t
n
1 Y Z ∞ √ n ξ2
= √ (2a t) e i dξ = 1 (2.136)
(2a πt)n i=1 −∞
y, ∀t < 0, E = 0.
Además, para t > 0:

|x|2

∂E n
= − E
∂t 4a2 t2 2t
∂E xi
=− 2 E (2.137)
∂xi 2a t
Por lo tanto:
∂2E x2i

1
= − 2 E (2.138)
∂x2i 4
4a t 2 2a t
De aquı́:
|x|2 |x|2

∂E n n
− a2 ∇ 2 E = 2 2
− E− 2 2
− E ≡ 0, ∀t > 0 (2.139)
∂t 4a t 2t 4a t 2t
Sea, ahora ϕ ∈ D(Rn+1 ). Tenemos:

∂E 2 2 ∂ϕ 2 2
− a ∇ E, ϕ ≡ − E, −a ∇ ϕ =
∂t ∂t
Z ∞Z
∂ϕ 2 2
=− E(x, t) − a ∇ ϕ dxdt =
0 ∂t
Z ∞Z Z ∞Z
∂ϕ
= − lim E(x, t) dt − lim E(x, t)∇2 ϕdxdt =
ε→0 ε ∂t ε→0 ε
integrando por partes el primer sumando:
Z Z ∞ Z Z ∞Z
∂E
= − lim E(x, ε)ϕ(x, ε)dx + ϕdxdt − lim ∇2 Eϕdxdt =
ε→0 ε ∂t ε→0 ε
Z Z ∞Z
∂E 2
= lim E(x, ε)ϕ(x, ε)dx + − ∇ E ϕdxdt =
ε→0 ε ∂t
Z
= E(x, 0)ϕ(x, 0)dx (2.140)
pues (∂E/∂t − ∇2 E) = 0.
Por otra parte:
|x|2

1
E(x, 0) ≡ lim exp − 2 = δ(x) (2.141)
t→0 (4πa2 t)n/2 4a t
en D0 (Rn ).
Volviendo a (2.140) y teniendo en cuenta (2.141):
Z
∂E
− a2 ∇2 E, ϕ = E(x, 0)ϕ(x, 0)dx = (δ, ϕ) (2.142)
∂t
LQQD.
Observación; (2.140) debe ser mejor fundamentado de la forma siguiente: Por una parte vimos
que
Z
E(x, t)dx = 1 (2.143)
Por otra parte, tenemos que para ϕ ∈ D:
Z Z

E(x, t)[ϕ(x) − ϕ(0)]dx ≤ E(x, t)|ϕ(x) − ϕ(0)|dx ≤

Z
K
≤ exp −(|x|2 /(4a2 t))|x|dx =
(4πa2 t)n/2
Z ∞
K
= n n/2 n n/2 exp −(r2 /(4a2 t))rn drσn =
2 π a t 0
√
K2a tσn ∞ u2 n
Z √
= e u du = C t → 0, ∀t → 0 (2.144)
π n/2 0
donde σn es el área de la esfera n dimensional, |ϕ(x) − ϕ(0)| ≤ K|x|, pues ϕ es una función de
base y, por tanto, finita y acotada y la última integral en la igualdad es una función Gamma
de Euler y, por tanto, un número finito.
Teniendo en cuenta estas cosas, podemos escribir:
Z Z
(E(x, t), ϕ) = E(x, t)ϕ(x)dx ≡ ϕ(0) E(x, t)dx +
Z
+ E(x, t)[ϕ(x) − ϕ(0)]dx → ϕ(0) = (δ, ϕ), ∀t → 0 (2.145)
donde hemos tenido en cuenta (2.143) y que
Z
E(x, t)[ϕ(x) − ϕ(0)]dx → 0, ∀t → 0 (2.146)
De esta forma queda plenamente justificada la expresión (2.140).
g) Sea
1
E1 (x, t) = θ(at − |x|) (2.147)
2a
con x = x1 (o sea, en R1 ). Demostrar que
∂ 2 E1 2
2 ∂ E1
− a = δ(x, t) (2.148)
∂t2 ∂x2
DEMOSTRACION:
Es evidente que E1 (x, t) es localmente integrable en R2 y E1 = 0 fuera del cono de luz Γ+

definido por las rectas caracterı́sticas x = at y x = −at y el semieje t > 0. Sea ϕ ∈ D.
Tenemos:
∂ 2 E1 2
∂2ϕ 2

2 ∂ E1 2∂ ϕ
−a , ϕ ≡ E1 , 2 − a =
∂t2 ∂x2 ∂t ∂x2
Z 2 2

∂ ϕ 2∂ ϕ
= E1 (x, t) −a dxdt =
∂t2 ∂x2
Z ∞ Z ∞ 2
a ∞
Z Z at 2
1 ∂ ϕ ∂ ϕ
= dx 2
dt − dt 2
dx =
2a −∞ |x|/a ∂t 2 0 −at ∂x
∞
a ∞ ∂ϕ(at, t) ∂ϕ(−at, t)
Z
∂ϕ(x, |x|/a)
Z
1
=− dx − − dt =
2a −∞ ∂t 2 0 ∂x ∂x
(sustituyendo x/a = t por lo que dx = adt):
1 ∞ ∂ϕ(at, t) 1 ∞ ∂ϕ(−at, t)
Z Z
=− dt − dt −
2 0 ∂t 2 0 ∂t
a ∞ ∂ϕ(at, t) a ∞ ∂ϕ(−at, t)
Z Z
− dt + dt ≡
2 0 ∂x 2 0 ∂x
1 ∞ 1 ∞
Z Z
1 1
≡− dϕ(at, t) − dϕ(−at, t) ≡ ϕ(0, 0) + ϕ(0, 0) ≡ (δ, ϕ) (2.149)
2 0 2 0 2 2
h) Sea n = 2, z = x + iy, z∗ = x − iy, dz = dx + idy. El operador diferencial

∂ 1 ∂ ∂
∗
≡ +i (2.150)
∂z 2 ∂x ∂y
se llama Operador de Cauchy-Riemann.

Sea f ∈ C 1 (Ḡ) y f ≡ 0, ∀z ∈ G1 , donde G1 = R2 \Ḡ. Sea S (frontera de G) seccionalmente lisa

(como siempre, su recorrido positivo implica que G quede siempre a la izquierda). Apliquemos
la fórmula (2.77) del ejemplo b). Tendremos:

∂f ∂f∂f 1 1 ∂f i ∂f
+i ∗
≡ = + =
∂x ∂z∂y 2 2 ∂x 2 ∂y

1 ∂f f i ∂f i
= − cos(nx)δS + − f cos(ny)δS ≡
2 ∂x 2 2 ∂y 2

∂f f
≡ − [cos(nx) + i cos(ny)]δS (2.151)
∂z ∗ 2
Sea ϕ ∈ D y veamos:

∂f ∂f f
,ϕ = ,ϕ − [cos(nx) + i cos(ny)], ϕ (2.152)
∂z ∗ ∂z ∗ 2
De aquı́:
Z Z
∂ϕ ∂f 1
− f ∗ + ∗ ϕ dxdy = − f ϕ[cos(nx) + i cos(ny)]dS (2.153)
G ∂z ∂z 2 S
Pero: cos(nx)dS = dy y cos(ny)dS = −dx. Por lo tanto:
Z Z
∂ϕ ∂f 1
f ∗ + ∗ ϕ dxdy = f ϕ(dy − idx) =
G ∂z ∂z 2 S
Z Z
i i
=− f ϕ(dx + idy) = − f ϕdz (2.154)
2 S 2 S
Ası́:
Z Z
∂(f ϕ) i
∗
dxdy = − f ϕdz (2.155)
G ∂z 2 S
i) Demostrar que
∂ 1
= πδ(x, y) (2.156)
∂z∗ z
DEMOSTRACION:
Tomemos f = 1/z, ∀G = [ε < |z| < R] con ϕ ∈ D y supp ϕ ⊂ UR ≡ [|z| < R]. Tenemos:
Z
∂ 1 1 ∂ϕ 1 ∂ϕ
,ϕ =− ≡− , dxdy ≡
∂z ∗ z z ∂z ∗
UR z ∂z
∗
Z
1 ∂ϕ
≡ − lim dxdy =
ε→0 ε<|z|<R z ∂z ∗
Z Z Z
∂ 1 i ϕ
= lim ϕ dxdy + − dz =
ε→0 ε<|z|<R ∂z ∗ z 2 SR Sε z
Z 2π
ϕ(εeiθ ) iθ
Z
i ϕ i
= − lim dz = − lim iεe dθ =
2 ε→0 |z|=ε z 2 ε→0 0 εeiθ
= πϕ(0) ≡ π(δ, ϕ) (2.157)
pues la integral en el primer sumando de (136) es cero, ya que 1/z es analı́tica en ε < |z| < R
y la primera integral dentro del paréntesis en el segundo sumando es igual a cero por el supp ϕ.
LQQD.

1. Demostrar que
(a)
d 1
ln |x| = P
dx x
(b)
d 1 1
P = −P 2
dx x x
(c)
d 1 1
= ∓iπδ 0 (x) − P 2
dx x ± i0 x
donde

ϕ(x) − ϕ(0)
Z
1
P 2,ϕ =VP dx
x x2
2. Demostrar que las funciones generalizadas a la derecha son las soluciones generales en
D0 (R1 ) de las ecuaciones de la izquierda:
(Notar que aquı́ hay varias constantes arbitrarias, mientras que la solución clásica de una
ecuación diferencial de primer orden sólo tiene una sola constante arbitraria).
(a)
xu0 = 1
Solución:
u = C1 + C2 θ(x) + ln |x|
(b)
1
xu0 = P
x
Solución:
1
u = C1 + C2 θ(x) − P
x
(c)
x2 u0 = 1
Solución:
1
u = C1 + C2 θ(x) + C3 δ(x) − P
x
(d)
xu = signx
Solución:
1
u = Cδ(x) + P
|x|
axδ 0 x = −a0 (0)δ(x) + a(0)δ 0 (x)
para a(x) ∈ C 1 (R1 ).
4. Demostrar: Si f ∈ D0 y f (x) = 0, ∀x < x0 , entonces existe una primitiva única f(1) tal
que es igual a cero para x < x0 .
(Dα f )(x + h) = Dα f (x + h)
para todo f ∈ D0 y h ∈ Rn .
6. Demostrar: Si una función generalizada es invariante respecto a todos los desplazamientos

posibles, entonces es constante.
7. Demostrar que el sistema de funciones generalizadas Dα δ(x), |α| = m, m = 0, 1, 2, ... es

linealmente independiente.
8. Demostrar que la serie
∞
X
ak δ (k) (x − k)
k=1
converge en D0 para cualquiera ak .

9. Sea δSr la capa simple sobre la esfera |x| = r, lo que equivale a decir:
Z
(µδS , ϕ) = µ(x)ϕ(x)dS, ∀ϕ ∈ D
S
Demostrar que

1 1 1 2
lim 2 δS − δ = ∇δ
r→0 r σn rn−1 r 2n
en D0 . Esta fórmula se conoce con el nombre de Fórmula de Pizetti. Aquı́
2π n/2
Z
σn = dS =
S1 Γ(n/2)
Capı́tulo 3
Producto Directo y Convolución de

Funciones Generalizadas
3.1 Producto Directo
Sean f (x) y g(y) localmente integrables en Rn y Rm , respectivamente. Entonces, f (x)g(y) será

localmente integrable en Rn+m . Esta expresión define a una función generalizada regular que
actúa sobre ϕ(x, y) ∈ D de la siguiente forma:
Z
(f (x)g(y), ϕ) = f (x)g(y)ϕ(x, y)dxdy =
Z Z
= f (x) g(y)ϕ(x, y)dydx ≡ (f (x), (g(y), ϕ(x, y)))(g(y)f (x), ϕ) =
Z Z Z
= g(y)f (x)ϕ(x, y)dxdy = g(y) f (x)ϕ(x, y)dxdy ≡ (g(y), (f (x), ϕ(x, y)))(3.1)
Las igualdades implican que se cumple el teorema de Fubini sobre la igualdad de las integrales
reiteradas múltiples (aunque esto no siempre es verdad, aquı́ , si).
DEFINICION: Llamaremos Producto directo f (x) · g(y) de las funciones generalizadas

f (x) ∈ D0 (Rn ) y g(y) ∈ D0 (Rm ) a la función generalizada que actúa según la regla:
(f (x) · g(y), ϕ) = (f (x), (g(y), ϕ(x, y))) (3.2)
para ϕ ∈ D(Rn+m ).
SE PUEDE DEMOSTRAR que esta definición es correcta, o sea, que la parte derecha de
(3.2) es un funcional lineal y continuo en D(Rn+m ). Esto quiere decir que f (x)·g(y) ∈ D0 (Rn+m ,
lo que equivale a decir que es una función generalizada.
65
PROPIEDAD IMPORTANTE
f (x) · g(y) = g(y) · f (x) (3.3)
O sea, el producto directo es conmutativo.
Esto resulta fácil de demostrar al menos para funciones de base del tipo
N
X
ϕ(x, y) = ul (x)vl (y) ∈ D(Rn+m ) (3.4)
l=1
con ul (x) ∈ D(Rn ) y vl (y) ∈ D(Rm ):
N
! N
X X
(f (x) · g(y), ϕ) = f, ul (g, vl ) = (f, ul )(g, vl ) =
l=1 l=1
N
!
X
= g, vl (f, ul ) = (g(y) · f (x), ϕ) (3.5)
l=1
Este resultado se puede extender a cualquier función ϕ ∈ D(Rn+m ) sobre la base del siguiente
lema que no demostraremos:
LEMA: Para cualquier ϕ ∈ D(Rn+m ) siempre existe una sucesión de funciones de base ϕk (x, y)
con k = 1, 2, ... del tipo
k
X
ul (x)vl (y) (3.6)
l=1
que converge a ϕ en D(Rn+m ).
O sea, el conjunto de funciones del tipo
N
X
ϕ(x, y) = ul (x)vl (y) (3.7)
l=1
es denso en D(Rn+m ).
PROPIEDADES DEL PRODUCTO DIRECTO:
1. El producto directo es continuo. Es decir:

Producto directo y convolución de funciones generalizadas 67
a)
[λf (x) + µf1 (x)] · g(y) = λ[f (x) · g(y)] + µ[f1 (x) · g(y)] (3.8)
para f, f1 ∈ D0 (Rn ) y g ∈ D0 (Rm ).
b)
fk (x) · g(y) → 0, ∀k → ∞ (3.9)
en D0 (Rn+m ), si fk → 0, ∀k → ∞ en D0 (Rn ).
DEMOSTRACION:
a) Evidente, a partir de la definición de producto directo.
b) Llamemos ψ(x) = (g(y), ϕ(x, y)) que es una función de base en Rn ; o sea, que pertenece a
D(Rn ). Entonces, tenemos:
(fk (x) · g(y), ϕ) ≡ (fk (x), (g(y), ϕ(x, y))) ≡ (fk , ψ) → 0, ∀k → ∞ (3.10)
LQQD.
2. El producto directo es asociativo: O sea, ∀f ∈ D0 (Rn ), g ∈ D0 (Rm ), h ∈ D0 (Rk ) se cumple:
f (x) · [g(y) · h(z)] ≡ [f (x) · g(y)] · h(z) (3.11)
DEMOSTRACION:
Para ϕ ∈ D(Rn+m+k ):
(f (x) · [g(y) · h(z)], ϕ) ≡ (f (x), (g(y) · h(z), ϕ)) ≡

≡ (f (x), (g(y), (h(z), ϕ))) = (f (x) · g(y), (h(z), ϕ)) = ([f (x) · g(y)] · h(z), ϕ) (3.12)
LQQD.
3. Derivada del producto directo.
Dxα [f (x) · g(y)] = Dxα f (x) · g(y) (3.13)
DEMOSTRACION:
Sea ϕ ∈ D(Rn+m ):
(Dxα [f (x) · g(y)], ϕ) = (−1)|α| (f (x) · g(y), Dxα ϕ) =
Como el producto conmuta:
= (−1)|α| (g(y), (f (x), Dxα ϕ)) = (g(y), (Dxα f (x), ϕ)) = ([Dxα f (x) · g(y)], ϕ) (3.14)
LQQD.
4. Multiplicación por a del producto directo.
Para a ∈ C ∞ (Rn ):
a(x)[f (x) · g(y)] = a(x)f (x) · g(y) (3.15)
Se deja al lector la demostración de esta propiedad.
5. Traslación:
(f · g)(x + h, y) = f (x + h) · g(y) (3.16)
Se deja al lector la demostración de esta propiedad.
6. Se dice que la función generalizada f (x) · 1(y) no depende de y. Ella actúa según la siguiente
regla: ∀ϕ ∈ D(Rn+m ):
Z Z
(f (x) · 1(y), ϕ) ≡ f (x), ϕ(x, y)dy = (1(y) · f (x), ϕ) = (f (x), ϕ(x, y)dy) (3.17)
para todo f ∈ D0 (Rn ) y ϕ ∈ D(Rn+m ).
3.2 Convolución de funciones generalizadas
Como siempre, partimos de lo sabido para funciones normales:
Si f (x) y g(x) son localmente integrables en Rn y si, además,
Z
h(x) = |g(y)f (x − y)|dy (3.18)
es localmente integrable en Rn , entonces se llama convolución f ∗ g de estas funciones a la

función:
Z Z
(f ∗ g)(x) = f (y)g(x − y)dy ≡ g(y)f (x − y)dy = (g ∗ f )(x) (3.19)
Observación: La convolución en este caso es también localmente integrable en Rn . Por lo

tanto, la convolución (3.19) define a una función generalizada regular que actúa sobre funciones
de base ϕ ∈ D(Rn ) según la regla:
Z
(f ∗ g, ϕ) = (f ∗ g)(ξ)ϕ(ξ)dξ
Z Z Z Z
= g(y)f (ξ − y)dy ϕ(ξ)dξ = g(y) f (ξ − y)ϕ(ξ)dξ dy =
Z
= g(y)[f (x)ϕ(x + y)dx]dy (3.20)
donde hemos hecho el cambio de variables: x = ξ − y, dx = dξ.
Ası́, la regla mediante la cual se define la convolución de dos funciones generalizadas es:
Z
(f ∗ g, ϕ) = f (x)g(y)ϕ(x + y)dxdy, ∀ϕ ∈ Rn (3.21)
(Un caso especial de producto directo, cuando ϕ(x, y) = ϕ(x + y)).
Veamos tres casos posibles en los que la integrabilidad local de h(x) dada por (3.18) se cumple
y, por lo tanto, f ∗ g existe dada por (3.19):
1) O bien f , o bien g es finita.
Por ejemplo, sea supp g ⊂ UR1 . Entonces:
Z Z Z Z Z
h(x)dx = |g(y)| |f (x − y)|dxdy ≤ |g(y)|dy |f (ξ)|dξ < ∞ (3.22)
UR UR1 UR UR1 UR +R1
donde hemos hecho el cambio de variables ξ = x − y, dξ = dx.
2) f y g son iguales a cero para todo x < 0. Veamos esto en el caso n = 1:
Z R Z R Z x Z R Z R
h(x)dx = |g(y)||f (x − y)|dydx = |g(y)| |f (x − y)|dxdy ≤
−R 0 o 0 y
Haciendo el cambio de variables ξ = x − y, dξ = dx:
Z R Z R
≤ |g(y)|dy |f (ξ)|dξ < ∞ (3.23)
o 0
3) f y g ambas integrables en Rn :
Z Z Z Z Z
h(x)dx = |g(y)| |f (x − y)|dxdy = |g(y)|dy |f (ξ)|dξ < ∞ (3.24)
Por lo tanto, f ∗ g es integrable en Rn .
DEFINICION: Diremos que la sucesión {ηk } de funciones de base de D(Rn ) converge a 1 en

Rn , si:
a) Para cualquier compacto K existe una N tal que ηk = 1 para todo x ∈ K y k ≥ N .
b) Las funciones ηk (x) son uniformemente acotadas en Rn , junto con sus derivadas. O sea:
|Dα ηk (x)| < Cα , ∀x ∈ Rn (3.25)
con k = 1, 2, ... y α cualquiera.
Tales sucesiones siempre existen. Por ejemplo, si η(x) ∈ D y η(x) = 1, ∀x ∈ U1 , entonces:
ηk (x) = η(x/k) (3.26)
es una sucesión de este tipo, donde η(x) es la función definida en el primer capı́tulo.
TEOREMA: La igualdad (3.21) puede escribirse ası́:
(f ∗ g, ϕ) = lim (f (x)g(y), ηk (x, y)ϕ(x + y)) (3.27)

k→∞
donde ηk (x, y), con k = 1, 2, ... es cualquier sucesión convergente a 1 en R2n .
DEMOSTRACION: Tenemos:
|f (x)g(y)ηk (x, y)ϕ(x + y)| ≡ |ηk (x, y)||f (x)g(y)ϕ(x + y)| ≤
teniendo en cuenta b)
≤ C0 |f (x)g(y)ϕ(x + y)|, ∀k = 1, 2, ... (3.28)

La función |f (x)g(y)ϕ(x + y)| es, además, integrable.
Por otro lado
lim f (x)g(y)ηk (x, y)ϕ(x + y) = f (x)g(y)ϕ(x + y) (3.29)

k→∞
en casi todo punto de R2n . Por lo tanto, podemos escribir:
Z Z
(f ∗ g, ϕ) ≡ f (x)g(y)ϕ(x + y)dxdy = lim f (x)g(y)ηk (x, y)ϕ(x + y)dxdy =
k→∞
Z
lim f (x)g(y)ηk (x, y)ϕ(x + y)dxdy ≡ lim (f (x)g(y), ηk (x, y)ϕ(x + y)) (3.30)
k→∞ k→∞
LQQD.
A partir de ésto, estudiaremos la siguiente definición.
DEFINICION: Sean las funciones generalizadas f y g de D0 (Rn ), tales que el producto directo
f (x) · g(y) admite la prolongación (f (x) · g(y), ϕ(x + y)) a las funciones del tipo ϕ(x + y), donde
ϕ es cualquier función de D(Rn ) en el sentido de que, cualquiera que sea la sucesión {ηk }
convergente a 1 en R2n (ηk ∈ D(R2n )), existe el lı́mite de la sucesión numérica
lim (f (x) · g(y), ηk (x, y)ϕ(x + y)) = (f (x) · g(y), ϕ(x + y)) (3.31)
k→∞
independiente de la sucesión {ηk }.
Entonces, se llama convolución (f ∗ g) al funcional
(f ∗ g, ϕ) = (f (x) · g(y), ϕ(x + y)) = lim (f (x) · g(y), ηk (x, y)ϕ(x + y)) (3.32)
k→∞
para todo ϕ ∈ D(Rn ).
Es fácil ver que el funcional f ∗ g definido ası́ pertenece a D0 (Rn ), o sea, es una función
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(Rn ) y sea {ηk } cualquier sucesión en D(R2n ) convergente a 1.

Entonces:
ηk (x, 0)ϕ(x) → ϕ(x), ∀k → ∞ (3.35)
en Rn . Por lo tanto, de acuerdo con la definición, tenemos:
(f ∗ δ, ϕ) = (f (x) · δ(y), ϕ(x + y)) =

lim (f (x) · δ(y), ηk (x, y)ϕ(x + y)) = lim (f (x), ηk (x, 0)ϕ(x)) = (f, ϕ) (3.36)
k→∞ k→∞
LQQD.
Observación de interés: f = f ∗ δ significa que cualquier función generalizada puede ser

desarrollada en funciones delta, lo que formalmente se escribe ası́:
Z
f (x) = f (ξ)δ(x − ξ)dξ (3.37)
Precisamente, es esta fórmula la que se tiene en cuenta, cuando en Fı́sica se dice que cualquier
cuerpo material está compuesto por masas puntuales, que cualquier fuente está compuesta por
fuentes puntuales, etc.
3.3 Propiedades de la convolución

1. Linealidad: La convolución f ∗ g es lineal de D0 en D0 respecto a f y a g por separado.
O sea,
(λf + µf1 ) ∗ g = λ(f ∗ g) + µ(f1 ∗ g) (3.38)
Es evidente a partir de la linealidad del producto directo.

SIN EMBARGO, la convolución f ∗ g, en general, no es continua en D0 con respecto a f
o a g. Por ejemplo, δ(x − k) → 0, ∀k → ∞ en D0 (R1 ), pero 1 ∗ δ(x − k) = 1 y, por lo
tanto, no tiende a cero cuando k → ∞ en D0 (R1 ).
2. Conmutatividad: Si f ∗ g existe, entonces g ∗ f existe y f ∗ g = g ∗ f .

DEMOSTRACION: A partir de la conmutatividad del producto directo.
3. Derivada de la convolución: 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 Dj ,

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

∂ϕ(x + y)
(Dj (f ∗ g), ϕ) = −(f ∗ g, Dj ϕ) = − lim f (x) · g(y), ηk (x, y) =
k→∞ ∂xj

∂f (x)
= lim · g(y), ηk ϕ ≡ (Dj f ∗ g) (3.41)
k→∞ ∂xj
Demostrada una de las igualdades. La otra es evidente, a partir de la conmutatividad de

la convolución.
Caso particular útil:
Dα f ≡ Dα (f ∗ δ) ≡ Dα f ∗ δ ≡ δ ∗ Dα f (3.42)
para toda f ∈ D0 .
Importante observación: La existencia de las convoluciones Dα f ∗ g y f ∗ Dα g no es
suficiente para la existencia de f ∗ g, ni para la igualdad Dα f ∗ g = f ∗ Dα g.
O sea, el recı́proco de lo que demostramos sobre la derivada de la convolución no es cierto,
lo que implica que la convolución no es asociativa.
Por ejemplo:
(θ ∗ δ 0 ) ∗ 1 ≡ (θ0 ∗ δ) ∗ 1 ≡ θ0 ∗ 1 ≡ δ ∗ 1 = 1 (3.43)
Pero
θ ∗ (δ 0 ∗ 1) ≡ θ ∗ (δ ∗ 10 ) ≡ θ ∗ (δ ∗ 0) = θ ∗ 0 = 0 (3.44)
4. Traslación de la convolución: Si f ∗ g existe, entonces existe f (x + h) ∗ g y se cumple

que:
f (x + h) ∗ g = (f ∗ g)(x + h), ∀h ∈ Rn (3.45)
O sea, las operaciones de traslación y de convolución conmutan.

DEMOSTRACION: Habı́amos visto la traslación de una función generalizada (fórmula
(1.65) ası́:
(f (y + b), ϕ) = (f, ϕ(x − b))

((f ∗ g)(x + h), ϕ) = (f ∗ g, ϕ(x − h)) = lim (f (x) · g(y), ηk (x − h, y)ϕ(x − h, y)) =
k→∞
= lim (f (x + h) · g(y), ηk (x, y)ϕ(x + y)) = (f (x + h) · g(y), ϕ) (3.46)
k→∞
LQQD.
Aquı́ se usó la propiedad de traslación del producto directo (3.16).
Enunciemos las condiciones suficientes de existencia de la convolución:
TEOREMA: Sea f una función generalizada arbitraria y g una función generalizada finita.
Entonces, la convolución f ∗ g existe en D0 y tiene la forma:
(f ∗ g, ϕ) = (f (x) · g(y), η(y)ϕ(x + y)), ∀ϕ ∈ D (3.47)
donde η es cualquier función de base igual a 1 en el entorno del soporte de g.
Bajo estas condiciones, f ∗ g es continua respecto a f y a g por separado. O sea:
1) Si fk → 0, ∀k → ∞ en D0 , entonces f ∗ g → 0, ∀k → ∞, en D0 .
2) Si gk → 0, ∀k → ∞, en D0 y para cierto R, supp gk ⊂ UR , entonces, f ∗ gk → o, ∀k → ∞,

en D0 .
Veamos otros elementos teóricos relativos a la convolución:
0
3.4 Algebra convolucional D+ de funciones generalizadas
0
Sea D+ el conjunto de funciones generalizadas de D0 (R1 ) que son iguales a cero para t < 0.
TEOREMA:
0 0 0
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(R1 ) (3.48)
donde η1 (t) y η2 (t) son cualesquiera funciones de C ∞ (R1 ) iguales a 1 en el entorno del semieje
[0, ∞) e iguales a cero para t < 0 suficientemente grandes.
Además, la convolución es continua respecto a f y a g por separado.

0
Corolario importante: La convolución de funciones generalizadas de D+ es asociativa y
conmutativa:
f1 ∗ (f2 ∗ f3 ) = (f1 ∗ f2 ) ∗ f3 = f2 ∗ (f1 ∗ f3 ) (3.49)
(f1 ∗ (f2 ∗ f3 )) = (f1 (t) · (f2 ∗ f3 )(τ ), η1 (t)η2 (τ )ϕ(t + τ )) ≡

≡ ((f2 ∗ f3 )(τ ) · f1 (t), η1 (t)η2 (τ )ϕ(t + τ )) =
= (f2 (τ ) · f3 (τ ) · f1 (t), η2 (τ )η3 (τ 0 )η1 (t)η2 (τ + τ 0 )ϕ(t + τ + τ 0 )) =
0
= ([f1 (t) · f2 (τ 0 )] · f3 (τ 0 ), ...) = (f1 ∗ f2 ) ∗ f3 (3.50)
etc.
Aquı́ hemos tenido en cuenta que el producto directo entre f2 (τ ) y f1 (t) conmuta y que
η2 (τ )η2 (τ + τ 0 ) = η2 (τ ).
DEFINICION: El conjunto lineal A se llama Algebra, si en él está definida la operación de

multiplicación lineal respecto a cada factor por separado.
El álgebra se llama asociativa, si x(yz) = (xy)z.
El álgebra se llama conmutativa, si xy = yx.

0
Entonces, D+ es un álgebra asociativa y conmutativa, siempre que por operación de multipli-
cación entendamos la operación de convolución ∗.
0
D+ se llama álgebra convolucional.
0
El elemento unidad en el álgebra convolucional D+ es la función delta, ya que
δ∗f =f (3.51)
0
3.5 Ecuaciones en el álgebra convolucional D+
0
Sea la ecuación en D+ :
a∗u=f (3.52)
0
donde a y f son funciones generalizadas conocidas y u es desconocida, todas de D+ .
DEFINICION: La solución de la ecuación (3.52) para f = δ, si existe, se llama solución

fundamental del operador convolucional a∗ y la representamos por a−1 (elemento inverso del
0
álgebra D+ ):
a ∗ a−1 = δ (3.53)
TEOREMA: Si a−1 existe en D+ 0 0

, entonces, para cualquier f ∈ D+ , la solución de (3.52)
existe, es única y viene dada por la fórmula:
u = a−1 ∗ f (3.54)
DEMOSTRACION:
a) Comprobamos que a−1 ∗ f satisface la ecuación (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-

volución.
LQQD.
b) Comprobamos que es única. Esto equivale a demostrar que la ecuación homogénea a ∗ u = 0

sólo tiene solución trivial u ≡ 0.
Sea u0 la solución de la ecuación homogénea; o sea, a∗u0 ≡ 0. Entonces, aplicando a−1 tenemos:
a−1 ∗ (a ∗ u0 ) ≡ 0 (3.55)
O sea:
(a−1 ∗ a) ∗ u0 ≡ 0 (3.56)
Pero por (3.39) esto es:
δ ∗ u0 ≡ 0 (3.57)
lo que significa que u0 ≡ 0.
LQQD.
Demostrado todo el teorema.

0
Gracias a este teorema, resolver la ecuación a ∗ u = f con f ∈ D+ arbitraria se reduce a
resolverla para una f concreta: f = δ (o sea, hallar la solución fundamental a−1 ).
Teorema: Si a−1 −1 0
1 y a2 existen en D+ , entonces
(a1 ∗ a2 )−1 = a−1 −1

1 ∗ a2 (3.58)
DEMOSTRACION:
Por la conmutatividad entre a1 y a2 :
(a1 ∗ a2 ) ∗ (a−1 −1 −1 −1
1 ∗ a2 ) = (a2 ∗ a1 ) ∗ (a1 ∗ a2 ) =
Por la propiedad asociativa:
= (a2 ∗ (a1 ∗ (a−1 −1 −1 −1

1 ∗ a2 ))) = (a2 ∗ ((a1 ∗ a1 ) ∗ a2 )) ≡
≡ (a2 ∗ (δ ∗ a−1 −1
2 )) ≡ (a2 ∗ a2 ) ≡ δ ≡
(por definición):
≡ (a1 ∗ a2 ) ∗ (a1 ∗ a2 )−1 (3.59)
LQQD.
Con ayuda de la teorı́a de funciones de variable compleja, veremos, más adelante, el cálculo
0
operacional sobre cierta subálgebra de D+ .
0
Introduzcamos la función generalizada fα ∈ D+ dependiente del parámetro real α:
θ(x) α−1
fα (x) = x , ∀α > 0
Γ(α)
0
fα (x) = fα+1 (3.60)
Teorema:
fα ∗ fβ = fα+β (3.61)
DEMOSTRACION: Sean α > 0 y β > 0:
∞ x
y α−1 θ(x − y)
Z Z
θ(x)
fα ∗ fβ = θ(x) (x − y)β−1 dy = y α−1 (x − y)β−1 dy =
0 Γ(α) Γ(β) Γ(α)Γ(β) 0
haciendo el cambio de variable: t = y/x, dy = xdt:

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

derivación de la convolución (3.39) vista anteriormente y el inciso anterior:
(m+n)
= (fα+m ∗ fβ+m )(m+n) = fα+β+m+n = fα+β
pues al derivar a xα+β+m+n−1 m + n veces, queda xα+β−1 .
Por último, sean α = 0, β = 0:
0
θ(x) 0
f0 (x) = f10 = x = δ(x)
Γ(1)
Por lo tanto:
f0 (x) ∗ f0 (x) = δ ∗ δ = δ = f0
LQQD.
Demostrado el teorema.
0
Analicemos, ahora, el operador convolucional fα ∗ en D+ .
Como f0 = δ y fα ∗ fβ = fα+β tenemos, por lo tanto, por definición de inverso:
fα ∗ fα−1 ≡ δ = f0 ≡ fα−α ≡ fα ∗ f−α (3.62)
Por lo tanto, fα−1 siempre existe (la solución fundamental siempre existe) y vale fα−1 = f−α .
0
Por otra parte; sea n < 0 entero. Entonces fn = fn+1 . Tenemos que:
f−1 = f00 = δ 0 , f−2 = f−1

0
= δ 00 , ..., f−n = δ (n) .
Ası́ pues:
f−n ∗ u = δ (n) ∗ u = u(n) (3.63)
La expresión (3.63) representa el operador de derivación n veces.
Sea ahora n > 0. Entonces, teniendo en cuenta la propiedad asociativa:
(fn ∗ u)(n) = f−n ∗ (fn ∗ u) = (f−n ∗ fn ) ∗ u ≡ δ ∗ u ≡ u (3.64)
pues f−n = fn−1 .
Es decir, fn ∗ u para toda n > 0 es la primitiva de orden n de la función generalizada. Ası́,

tiene lugar la siguiente definición:
DEFINICION: El operador fn ∗ se conoce como operador de derivación (si n < 0) y

operador de integración (si n > 0) u operador de Riemann-Liouville.
3.6 Regularización de las funciones generalizadas
Sea la función generalizada f y ψ una función de base. Por lo tanto, f ∗ ψ existe, pues ψ, por
ser de base, es finita.
TEOREMA:
f ∗ ψ = (f (y), ψ(x − y)) (3.65)
DEMOSTRACION:
Por la definición de convolución:
(f ∗ ψ, ϕ) = (f (y) · ψ(ξ), η(ξ)ϕ(y + ξ)) =
como η = 1 en el entorno del supp ψ
Z Z
= (f (y), ψ(ξ)η(ξ)ϕ(y + ξ)dξ ≡ (f (y), ψ(ξ)ϕ(y + ξ)dξ) ≡
haciendo el cambio de variable: x = y + ξ:
Z
≡ (f (y), ϕ(x)ψ(x − y)dx = ((f (y), ψ(x − y)), ϕ)
LQQD.
Se puede demostrar que en este caso f ∗ ψ ∈ C ∞ (Rn ).
Sea la función campana dada por (1.25):
ε2
−
ωε (x) = Cε e ε2 −|x|2 , ∀|x| ≤ ε
ωε (x) = 0, ∀|x| > ε
y:
Z
ωε (x)dx = 1 (3.66)
DEFINICION: La función infinitas veces derivable
fε (x) ≡ f ∗ ωε ≡ (f (y), ωε (x − y)) (3.67)
se llama regularización de la función generalizada f .
Hace tiempo vimos que ωε (x) → δ(x), ∀ε → 0 en D0 . Por lo tanto, como f ∗ ωε es continua:
fε (x) → f (x), ∀ε → 0 (3.68)
en D0 .
Conclusión interesante: Toda función generalizada f es el lı́mite débil de sus regulariza-

ciones.
TEOREMA:Toda función generalizada f es el lı́mite débil de funciones de base, es decir, el

conjunto D es denso en D0 .
DEMOSTRACION: Sea fε (x) la regularización de f . Sea ηε (x) una sucesión de funciones

de base iguales a 1 en U 1 , para ε → 0.
ε
Entonces, la sucesión de funciones de base
ηε (x)fε (x) → f (3.69)
en D0 , para ε → 0, ya que como fε (x) → f (x) para ε → 0, tomando cualquier ϕ ∈ D,

tendremos:
lim(ηε fε , ϕ) = lim(fε , ηε ϕ) = lim(fε , ϕ) = (f, ϕ) (3.70)

ε→0 ε→0 ε→0
LQQD.
OBSERVACION: Hace tiempo vimos que el espacio D0 es completo. Por lo tanto, tiene lugar
el recı́proco:
TEOREMA: Todo lı́mite débil de funciones localmente integrables es una función generalizada
de D0 .
Observación: Estos dos teoremas permiten que la teorı́a de las funciones generalizadas se
pueda construir a partir de sucesiones convergentes débilmente de funciones corrientes. Esto
es lo que tratamos de hacer, sin profundizar más de lo mı́nimo indispensable, en el curso de
Métodos Matemáticos de la Fı́sica.
3.7 Ejemplos de convoluciones
Potencial Newtoniano:
a) Sea f (x) continua en Rn \{0}, con singularidad integrable en cero y sea µδS (x) la capa simple
sobre S, que es una superficie seccionalmente lisa y acotada y µ la densidad.
La convolución f ∗ µδS es una función localmente integrable en Rn y se expresa por:
Z
f ∗ µδS = µ(y)f (x − y)dSy (3.71)
S
DEMOSTRACION:
(f ∗ µδS , ϕ) = (µδS (y) · f (ξ), η(y)ϕ(y + ξ)) =

Z Z
= (µδS (y), η(y)(f (ξ), ϕ(y + ξ))) = µ(y)η(y) f (ξ)ϕ(y + ξ)dξdSy ≡
Z Z S Z Z
≡ µ(y) f (x − y)ϕ(x)dxdSy = ϕ(x) µ(y)f (x − y)dSy dx ≡
S
SZ
≡ µ(y)f (x − y)dSy , ϕ
S
LQQD.
b) Sea ρ una función generalizada. La convolución

1
Vn = ∗ ρ, ∀n ≥ 3; (3.72)
|x|n−2
1
V2 = ln ∗ ρ, ∀n = 2 (3.73)
|x|
se llama potencial newtoniano (para n = 2, potencial logarı́tmico) con densidad ρ.
TEOREMA: Para ρ igual a una función generalizada finita, Vn existe en D0 y cumple la

ecuación de Poisson:
∇2 Vn = −(n − 2)σn ρ, ∀n ≥ 3 (3.74)
∇2 V2 = −2πρ (3.75)
2π n/2
Z
σn = ≡ dS (3.76)
Γ(n/2) S1
DEMOSTRACION:
Como, por (3.39): Dα (f ∗ g) = f ∗ Dα g, tenemos:

2 2 1 2 1
∇ Vn = ∇ ∗ ρ = ∇ ∗ρ
|x|n−2 |x|n−2
pero, por la fórmula del laplaciano generalizado (2.119):

21 1 ∂ 1 ∂ 1
∇ = ∇2 − δS − δS
|x|n−2 |x|n−2 ∂n |x|n−2 ∂n |x|n−2
Tomemos la esfera ε < |x| < R con supp ϕ ⊂ UR . Tenemos:

2 1 1 2 2 1
∇ ,ϕ = lim ∇ , ϕ = lim ∇ ,ϕ −
|x|n−2 ε→0 |x|n−2 ε→0 |x|n−2
Z Z
∂ 1 1 ∂ϕ
− lim n−2
ϕ(x)dS + lim n−2 ∂n
dS =
ε→0 S ∂n
ε
|x| ε→0 Sε |x|
como el primer y el tercer sumando son iguales a cero, ya que el laplaciano es cero para todo
x 6= 0 y
Z ∗ Z
1 ∂ϕ 1 ∂ϕ
lim n−2
dS = lim n−2 dS = 0
ε→0 Sε |x| ∂n ε→0 ε ∂n Sε
obtenemos:
n/2 n−1

−(n − 2)
Z
2 1 ϕ(x)dS ∗ 2π ε
∇ ,ϕ = lim −(n − 2) = lim ϕ(x ) →
|x|n−2 ε→0 Sε ε
n−1 ε→0 εn−1 Γ(n/2)
2π n/2 2π n/2

→ −(n − 2) ϕ(0) = −(n − 2) δ, ϕ
Γ(n/2) Γ(n/2)
O sea:

2 1
∇ ,ϕ = (−(n − 2)σn δ, ϕ)
|x|n−2
donde
2π n/2
Z
1
σn = ≡ n−1 dS
Γ(n/2) ε Sε
Ası́ pues, efectivamente, para
1
Vn = ∗ρ
|x|n−2
se cumple que
∇2 Vn = −(n − 2)σn ρ
LQQD.
Para n = 3 en particular:
∇2 V3 = −4πρ (3.77)
pues
1
∇2 = −4πδ(x) (3.78)
|x|
El lector debe demostrar como ejercicio que para n = 2:
∇2 V2 = −2πρ (3.79)
c) Si ρ es finita y absolutamente integrable en Rn , entonces el potencial newtoniano se llama

potencial de volumen y el potencial logarı́tmico potencial de área (de volumen bidi-
mensional) y se expresa por:
Z
ρ(y)
Vn (x) = dy, ∀n ≥ 3 (3.80)
|x − y|n−2
Z
1
V2 (x) = ρ(y) ln dy, ∀n = 2 (3.81)
|x − y|
d) Sea S una superficie acotada seccionalmente lisa de dos caras con un sentido definido para
el vector normal n sobre ella. Sean µ y ν continuas sobre S.
∂
Sean µδS y − ∂n (νδS ) la capa simple y la doble capa, respectivamente, sobre S.
Los potenciales newtonianos (o logarı́tmicos) que ellas generan son:
1
Vn(0) = ∗ µδS , ∀n ≥ 3 (3.82)
|x|n−2
(0) 1
V2 = ln ∗ µδS (3.83)
|x|
que son los potenciales de capa simple y
1 ∂
Vn1 = − n−2
∗ (νδS ) , ∀n ≥ 3 (3.84)
|x| ∂n
1 ∂
V21 = − ln ∗ (νδS ) (3.85)
|x| ∂n
que son los potenciales de doble capa.
Estas integrales de superficie dan:
Z
Vn(0) (x) = ∂µ(y)|x − y|n−2 dSy , ∀n ≥ 3 (3.86)
S
Z
(0) 1
V2 (x) = µ(y) ln dS (3.87)
S |x − y|
Z
∂ 1
Vn(1) (x) = − ν(y) dSy , ∀n ≥ 3 (3.88)
S ∂ny |x − y|n−2
Z
(1) ∂ 1
V2 (x) = − ν(y) ln dS (3.89)
S ∂ny |x − y|
El lector debe comprobar solo las fórmulas (3.86), (3.87), (3.88) y (3.89). Para ello, partir de
una ϕ ∈ D y hacer, por ejemplo:
Z Z
∂ 1
(Vn(1) , ϕ) = ... = ϕ(x) dSy dx = ... (3.90)
S ∂ny |x − y|n−2
etcétera.

∂ n [θ(x1 )...θ(xn )]
= δ(x1 )...δ(xn ) ≡ δ(x) (3.91)
∂x1 ...∂xn
2. Demostrar: Para que la función generalizada f (x) no dependa de xi es necesario y sufi-

ciente que
∂f
=0 (3.92)
∂xi
3. Demostrar: Para que f (x) no dependa de xi es necesario y suficiente que sea invariante
ante todo desplazamiento.
4. Demostrar: Si f no depende de xi , entonces f ∗ g tampoco depende de xi .
5. Demostrar: Si f ∗ 1 existe, entonces es constante.
6. Para
θ(x) α−1 ax
fα = x e (3.93)
Γ(α)
donde α > 0 y a es cualquiera, comprobar que
fα ∗ fβ = fα+β (3.94)
7. Demostrar que
eax f ∗ eax g = eax (f ∗ g) (3.95)

0 0
para f ∈ D+ y g ∈ D+ .
8. Para
x2

1
fα = √ exp − 2 (3.96)
α 2π 2α
con α > 0, comprobar que
fα ∗ fβ = f√α2 +β 2 (3.97)
9. Para
1 α
fα = (3.98)
π α + x2
2
comprobar que
fα ∗ fβ = fα+β (3.99)
Capı́tulo 4
Funciones generalizadas de crecimiento

lento (atemperadas)
La importancia del estudio de este tipo de funciones generalizadas está en que a ellas es aplicable
la transformada de Fourier.
4.1 Espacio S de funciones de base
DEFINICION 1: Se llama espacio S = S(Rn ) de funciones de base al conjunto de

funciones de la clase C ∞ (Rn ) que decrecen junto a sus derivadas más rápido que cualquier
1
potencia de |x| cuando |x| → ∞.
DEFINICION 2: En S la convergencia se define ası́:
La sucesión ϕk ∈ S converge a ϕ ∈ S en S, si para todo α y todo β:
xβ Dα ϕk (x) ⇒ xβ Dα ϕ(x), ∀k → ∞ (4.1)
para toda x ∈ Rn .
Observaciones:
1. S es lineal.
2. D ⊂ S; de la convergencia en D se desprende la convergencia en S.

2
3. S no coincide con D. Por ejemplo, e−|x| ∈ S, pero no pertenece a D.
DEFINICION: Sea a ∈ C ∞ (Rn ) una función 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 multiplicación de ϕ ∈ S por a ∈ θM es continua de S en S.
DEMOSTRACION:
ϕ ∈ S equivale a decir que ella decrece con sus derivadas más rápido que cualquier potencia de
1
|x|
.
Si a ∈ θM , entonces aϕ sigue decreciendo con sus derivadas más rápido que cualquier potencia
1
de |x| , para |x| → ∞.
Además, si ϕk → 0, ∀k → ∞ en S, entonces:
xβ Dα (aϕk ) ⇒ 0, ∀α, β (4.3)
O sea, aϕk → 0 en S.
LQQD.
Sin embargo es posible afirmar que:
TEOREMA: D es denso en S, lo que equivale a decir que para cualquier ϕ ∈ S existe una
sucesión ϕk ∈ D, k = 1, 2, ... tal que ϕk → ϕ en S, para k → ∞.
DEMOSTRACION:
Sea la sucesión de funciones de D:
x
ϕk (x) = ϕ(x)η , ∀k = 1, 2, ... (4.4)
k
con η ∈ D y η(x) = 1, ∀|x| < 1.
Evidentemente
ϕk (x) → ϕ(x), ∀k → ∞ (4.5)
en S.
LQQD.
Tiene lugar otra afirmación
TEOREMA:
La derivación Dβ ϕ(x) y el cambio de variables ϕ(Ay + b) son continuas de S en S.

Funciones generalizadas de crecimiento lento 89
Sin embargo, la multiplicación por una función infinitamente derivable puede salirse de los
lı́mites de S. Por ejemplo:
2 2
e−|x| · e|x| = 1no ∈ S
4.2 Espacio S 0 de funciones generalizadas de crecimiento

lento
DEFINICION: Función generalizada de crecimiento lento se llama a cualquier funcional lineal

y continuo en el espacio S.
Sea S 0 = S 0 (Rn ) el conjunto de todas las funciones generalizadas de crecimiento lento. S 0 es un

conjunto lineal (igual que D0 ).
DEFINICION: La sucesión de funciones generalizadas fk ∈ S 0 converge en S 0 a la función

generalizada f ∈ S 0 , lo que se escribe ası́: fk → f , ∀k → ∞ en S 0 , si para cualquier ϕ ∈ S:
(fk , ϕ) → (f, ϕ), ∀k → ∞ (4.6)
Es decir: La convergencia en S 0 la definimos como la convergencia débil de funcionales.
DEFINICION: El conjunto lineal S 0 junto con la convergencia definida se llama espacio de

funciones generalizadas de crecimiento lento.
Es fácil ver que S 0 ⊂ D0 y que de la convergencia en S 0 se desprende la convergencia en D0 .
TEOREMA DE SCHWARZ: Para que el funcional lineal f en S pertenezca a S 0 (o sea,

sea continuo en S), es necesario y suficiente que existan los números C > 0 y p ≥ 0 (p entero)
tales que ∀ϕ ∈ S se cumpla:
|(f, ϕ)| ≤ C k ϕ kp (4.7)
donde
k ϕ kp = Sup|α|≤p,x∈Rn (1 + |x|)p |Dα ϕ(x)| (4.8)
No demostraremos este teorema, pero discutiremos su sentido:
El sentido de este teorema es que toda función generalizada de crecimiento lento es un funcional
continuo respecto a cierta norma k ... kp .
Esto se expresa diciendo que la función tiene orden finito.

Ejemplos de funciones generalizadas de crecimiento lento.
Ejemplo 1: Sea f (x) localmente integrable polinomial en el infinito (de crecimiento lento); o
sea, para cierta m ≥ 0:
Z
|f (x)|(1 + |x|)m dx < ∞ (4.9)
Entonces, esta función define a un funcional regular f ∈ S 0 según la fórmula:
Z
(f, ϕ) = f (x)ϕ(x)dx, ∀ϕ ∈ S (4.10)
OBSERVACIONES:
1. No toda función localmente integrable define a una función generalizada de crecimiento

lento. Por ejemplo, ex no ∈ S 0 (R1 ).
2. No toda función localmente integrable que pertenezca a S 0 tiene crecimiento polinomial.
Por ejemplo, la función
(cos ex )0 = −ex sin ex (4.11)
no es de crecimiento polinomial. Sin embargo, ella define a una función generalizada de

S 0 por la fórmula
Z
x 0
((cos e ) , ϕ) = − cos ex ϕ0 (x)dx, ∀ϕ ∈ S (4.12)
3. Se puede demostrar (lo hizo Schwarz) que toda función generalizada de S 0 es la derivada
de una función continua de crecimiento polinomial. Por eso, a S 0 se le llama espacio de
funciones generalizadas de crecimiento lento.
Ejemplo 2: Si f es una función generalizada finita de D0 , entonces, puede prolongarse

unı́vocamente a S como elemento de S 0 por la fórmula
(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 prolongación del funcional f a S se debe a la densidad de D en S.
Ejemplo 3: Si f ∈ S 0 , entonces Dα f ∈ S 0 también.
Esto se ve del hecho de que Dα ϕ es una operación continua de S en S. Por lo tanto, la parte
derecha de la igualdad
(Dα f, ϕ) = (−1)|α| (f, Dα ϕ) (4.15)
es un funcional lineal en S.
Ejemplo 4: Si f ∈ S 0 y detA 6= 0, entonces f (Ay + b) ∈ S 0 . Esto es porque la operación de

transformación ϕ[A−1 (x − b)] es continua de S en S y, por lo tanto
ϕ[A−1 (x − b)]

(f (Ay + b), ϕ) = f, (4.16)
|detA|
es un funcional lineal continuo en S.
Ejemplo 5: Si f ∈ S 0 y a ∈ θM , entonces af ∈ S 0 .
Efectivamente, vimos que a por una función 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 función generalizada f es el punto {0}, entonces ella se expresa

de forma unı́voca por
m
X
f (x) = Cα Dα δ(x) (4.18)
|α|=0
La demostración 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 más notable de las funciones generalizadas de crecimiento lento es que la operación
transformada de Fourier no sale de los lı́mites de dicha clase.
Veamos primero:
4.3.1 Transformada de Fourier de las funciones de base de S
Como las funciones de base de S son absolutamente integrables en Rn , para ellas está definida
la operación de transformada de Fourier F :
Z
F [ϕ](ξ) = ϕ(x)eiξ·x dx, ∀ϕ ∈ S (4.19)
La transformada de Fourier F [ϕ](ξ) es acotada y continua en Rn .

1
Como ϕ ∈ S decrece más rápidamente que cualquier potencia de |x| , por lo tanto su transfor-
mada de Fourier puede derivarse cuantas veces se quiera bajo la integral:
Z
α
D F [ϕ](ξ) = (ix)α ϕ(x)eiξ·x dx ≡ F [(ix)α ϕ](ξ) (4.20)
Por lo tanto, F [ϕ] ∈ C ∞ (Rn ).
Por otra parte, cada derivada Dα ϕ tiene transformada:
Z
α
F [D ϕ](ξ) = Dα ϕ(x)eiξ·x dx = (−iξ)α F [ϕ](ξ) (4.21)
donde hemos aplicado la integración por partes α veces.
Multipliquemos (4.20) por ξ β y trabajemos. Tenemos:
ξ β Dα F [ϕ](ξ) = ξ β F [(ix)α ϕ](ξ) = i|α| ξ β F [xα ϕ](ξ) =
usando (4.21)
|α|
1 |β| i
= i|α| ξ β F [D β
(x α
ϕ)] = (−1) F [Dβ (xα ϕ)] =
(−i)β i|β|
i|α| (−1)|β| (−i)|β| F [Dβ (xα ϕ)] = i|α|+|β| F [Dβ (xα ϕ)](ξ)
Es decir:
ξ β Dα F [ϕ](ξ) = i|α|+|β| F [Dβ (xα ϕ)](ξ) (4.22)
de (4.22) se ve que:
Z Z
|ξ β Dα F [ϕ](ξ)| ≡ |i|α|+|β| Dβ (xα ϕ(x))eiξ·x dx ≤ Dβ (xα ϕ(x))dx

(4.23)
O sea: Para cualesquiera α y β, ξ β Dα F [ϕ](ξ) son expresiones uniformemente acotadas para

ξ ∈ Rn .
Quiere decir (por la definición de S), F [ϕ] ∈ S.
Por lo tanto, la transformada de Fourier transforma el espacio S en sı́ mismo.
Observación importante: La transformada de Fourier no transforma el espacio D en si

mismo, pues la transformada de Fourier de una función finita es una función analı́tica en todo
el plano (entera) y por el teorema de Liouville de la variable compleja,o no es finita o es cero.
Como la transformada de Fourier F [ϕ] con ϕ ∈ S es integrable y derivable continuamente en

Rn , por lo tanto ϕ(x) se halla con la operación de transformada inversa F −1 aplicada a F [ϕ](ξ):
ϕ(x) = F −1 [F [ϕ]] ≡ F [F −1 [ϕ]] (4.24)
Aquı́, por definición:
Z
−1 1
F [ψ](x) ≡ ψ(ξ)e−iξ·x dξ ≡
(2π)n
(se puede interpretar como)
Z
1
≡ ψ(ξ)eiξ·(−x) dξ ≡
(2π)n
por la definición de transformada:
1
≡ F [ψ](−x) =
(2π)n
haciendo el cambio de ξ por −ξ los menos se van al invertir los lı́mites de integración y queda
Z
1 1
= ψ(−ξ)eiξ·x dξ ≡ F [ψ(−ξ)](x)
(2π)n (2π)n
O sea, para la transformada inversa se cumple
1
F −1 [ψ](x) = F [ψ(−ξ)](x) (4.25)
(2π)n
Se puede ver que:
1. Toda ϕ ∈ S es la transformada de Fourier de la función ψ = F −1 [ϕ] ∈ S.

O sea, ϕ = F [ψ] y si F [ϕ] = 0, entonces ϕ = 0.
Por lo tanto transforma S en S biunı́vocamente.
2. La transformada de Fourier es continua de S en S.
4.3.2 Transformada de Fourier de funciones generalizadas de S 0
Veamos primero lo siguiente para las funciones ”normales”:
Si f (x) es absolutamente integrable en Rn , entonces su transformada de Fourier es
Z
F [f ](ξ) = f (x)eiξ·x dx (4.26)
que cumple que
Z
|F [f ](ξ)| ≤ |f (x)|dx < ∞ (4.27)
F [f ](ξ) aquı́ es una función acotada y continua en Rn . Por lo tanto, define a una función
generalizada de S 0 :
Z
(F [f ](ξ), ϕ) ≡ F [f ](ξ)ϕ(ξ)dξ (4.28)
con ϕ ∈ S.
Cambiemos el orden de integración:
Z Z Z
iξ·x
F [f ](ξ)ϕ(ξ)dξ ≡ f (x)e dx ϕ(ξ)dξ =
Z Z Z
iξ·x
= f (x) ϕ(ξ)e 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 0 (función generalizada de crecimiento

lento) es el funcional que actúa según la regla:
(F [f ], ϕ) = (f, F [ϕ]), ∀f ∈ S 0 , ϕ ∈ S (4.30)
El lector debe comprobar que la parte derecha de (4.30) define a un funcional lineal y continuo
en S, lo que equivale a decir que F [f ] ∈ S 0 . Por lo tanto, la operación transformada de Fourier
transforma a S 0 en S 0 . Aún más:
TEOREMA: F es una operación lineal y continua de S 0 en S 0 .
DEMOSTRACION:
Linealidad: Es evidente, pues es una integral.
Continuidad: Sea fk → 0, ∀k → ∞; entonces por (4.30):
(F [fk ], ϕ) = (fk , F [ϕ]) → 0, ∀k → ∞ (4.31)
O sea:
F [fk ] → 0, ∀k → ∞ (4.32)
en S 0 .
LQQD.
Por analogı́a con la transformada de ϕ ∈ S, introduzcamos en S 0 el operador F −1 :
1
F −1 [f ] = F [f (−x)] (4.33)
(2π)n
con f ∈ S 0 .
TEOREMA: F −1 [f ] dada por (4.32) es la transformada inversa; o sea:
F −1 [F [f ]] = f (4.34)
F [F −1 [f ]] = f (4.35)
para todo f ∈ S 0 .
DEMOSTRACION: Del subepı́grafe anterior tenemos:
ϕ(x) = F −1 [F [ϕ]] = F [F −1 [ϕ]] (4.36)
1
F −1 [ψ](x) = F [ψ(−ξ)] (4.37)
(2π)n
1 1
(F −1 [F [f ]], ϕ) = (F [F [f ](−ξ)], ϕ) = (F [f ](−ξ), F [ϕ]) =
(2π)n (2π)n
arriba hemos tenido en cuenta (4.33) y (4.30).
Haciendo el cambio de ξ por −ξ, tenemos:
1
= (F [f ], F [ϕ](−ξ)) = (F [f ], F −1 [ϕ]) =
(2π)n
= (f, F [F −1 [ϕ]]) = (f, ϕ) = (f, F −1 [F [ϕ]]) =
= (F −1 [f ], [ϕ]) = (F [F −1 [f ]], ϕ)
Aquı́ hemos tenido en cuenta las expresiones (4.30), (4.36) y (4.37).
Ası́ queda demostrado el teorema. Es decir:
F −1 [F [f ]] = F [F −1 [f ]] = f (4.38)
Conclusión de (4.38): Toda función generalizada f ∈ S 0 es transformada de Fourier de la

función generalizada g = F −1 [f ] ∈ S 0 . O sea, f = F [g] y si F [f ] = 0, entonces f = 0.
Conclusión: La transformada de Fourier F y F −1 transforman a S 0 en S 0 de forma biunı́voca

y continua.
Sea ahora f (x, y) ∈ S 0 (Rn+m ), con x ∈ Rn y y ∈ Rm .

DEFINICION: Transformada de Fourier respecto a x = (x1 , ..., xn ): Fx [f ], es el funcional

que actúa según:
(Fx [f ], ϕ) = (f, Fξ [ϕ]) (4.39)
para todo ϕ(x, y) ∈ S(Rn+m )
Es demostrable que:
Z
Fξ [ϕ](x, y) = ϕ(x, y)eiξ·x dξ ∈ S(Rn+m ) (4.40)
y que Fξ [ϕ] es continua de S(Rn+m ) en S(Rn+m ), por lo que (4.39) define a una función
generalizada, o sea, Fx [f ] ∈ S 0 (Rn+m ).
Ejemplo: Demostrar que
F [δ(x − x0 )] = eiξ·x0 (4.41)
Z
(F [δ(x − x0 )], ϕ) = (δ(x − x0 ), F [ϕ]) ≡ F [ϕ](x0 ) ≡ ϕ(ξ)eiξ·x dξ = (eiξ·x0 , ϕ)
LQQD.
Observación: Si en (4.41) tomamos x0 = 0, entonces queda que
F [δ] = 1 (4.42)
Por lo tanto, teniendo en cuenta (4.33):
1
δ = F −1 [1] ≡ F [1] (4.43)
(2π)n
Conclusión:
F [1] = (2π)n δ(ξ) (4.44)
Nota: La transformada de Fourier de f = 1 no tiene sentido clásicamente; sólo lo tiene como

función generalizada.
4.4 Propiedades de la transformada de Fourier

1. Derivada de la transformada: Para f ∈ S 0 :
Dα F [f ] = F [(ix)α f ] (4.45)
DEMOSTRACION: Sea ϕ ∈ S:
(Dα F [f ](ξ), ϕ) = (−1)|α| (f (x), (−ix)α F [ϕ](x)) ≡ ((ix)α f (x), F [ϕ](x)) = (F [(ix)α f ], ϕ)
LQQD.
En particular, para f = 1:
F [i|α| xα ] = Dα F [1] = (2π)n Dα δ(ξ) (4.46)
donde hemos tenido en cuenta (4.44). Por lo tanto:
F [xα ] = (−i)|α| (2π)n Dα δ(ξ) (4.47)
La fórmula (4.47) sólo tiene sentido como función generalizada, pues la transformada
clásica de Fourier de xα no existe.
Utiles casos particulares: (En R1 para simplificar)
Para α = 0:
Z ∞
eikx dx = 2πδ(k) (4.48)
−∞
Para α = 1:
Z ∞
xeikx dx = −2πδ 0 (k) (4.49)
−∞
etc.
2. Transformada de la derivada: Para f ∈ S 0 :
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:
Z ∞
δ (α) (x)eikx dx = (−ik)α (4.52)
−∞
3. Teorema del retardamiento: Para f ∈ S 0 :
F [f (x − x0 )] = eix0 ·ξ F [f ] (4.53)
La demostración de esta propiedad queda al lector como ejercicio.
4. Teorema del desplazamiento: Para f ∈ S 0 :
F [f ](ξ + ξ0 ) = F eiξ0 ·x f (ξ)

(4.54)
La demostración de esta propiedad también se deja al lector como ejercicio.
5. Teorema de la semejanza: Para f ∈ S 0 y c 6= 0:

1 ξ
F [f (cx)](ξ) = n F [f ] (4.55)
|c| c
Demostrar solos también.
6. Transformada de Fourier del producto directo: Para f ∈ S 0 (Rn ) y g ∈ S 0 (Rm ):
F [f (x) · g(y)] = Fx [f (x) · F [g](η)] = Fy [F [f ](ξ) · g(y)] = F [f ](ξ) · F [g](η) (4.56)
DEMOSTRACION: Sea ϕ(x, y) ∈ S(Rn+m ). Entonces:
(F [f (x) · g(y)], ϕ) = (f (x) · g(y), F [ϕ](x, y)) =
por la definición de producto directo
= (f (x), (g(y), F [ϕ](x, y))) = (f (x), (g(y), Fη Fξ [ϕ](x, y))) =

= (f (x), (F [g](η), Fξ [ϕ](x, y))) =
= (f (x) · F [g](η), Fξ [ϕ](x, y)) = (F [f ](ξ) · F [g](η), ϕ)
Pero también
(f (x) · F [g](η), Fξ [ϕ](x, y)) = (Fx [f (x) · F [g](η)], ϕ) (4.57)

y también
(F [f ](ξ) · F [g](η), ϕ) = (Fy [F [f ](ξ) · g(y)], ϕ) (4.58)
de donde se demuestra (4.56).
7. Fórmulas análogas para Fx :

Si f (x, y) ∈ S 0 (Rn+m ):
Dxα Dyβ Fx [f ] = Fx [(ix)α Dyβ f ] (4.59)
Fx [Dxα Dyβ f ] = (−iξ)α Dyβ Fx [f ] (4.60)
4.5 Transformada de Fourier de funciones generalizadas

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

pertenece a la clase θM y se calcula por:
F [f ](ξ) = (f (x), η(x)eiξ·x ) (4.61)
con η ∈ D cualquiera igual a 1 en el entorno de supp f .
DEMOSTRACION:
Se recuerda que: θM son aquellas a(x) ∈ C ∞ (Rn ) que crecen con sus derivadas con menor
rapidez que un polinomio:
|Dα a(x)| ≤ Cα (1 + |x|)mα (4.62)
Veamos; teniendo en cuenta la propiedad de la transformada de la derivada y el hecho de que

(f, ϕ) = (f, ηϕ):
(Dα F [f ], ϕ) = (−1)|α| (f, F [Dα ϕ]) = (−1)|α| (f, η(x)(−ix)α F [ϕ]) ≡

Z
≡ (f (x), η(x)(ix)α ϕ(ξ)eiξ·x dξ) =
R R
(pues vimos que (f, ϕ(x, y)dy = (f, ϕ(x, y))dy)
Z
= (f, η(x)(ix)α eiξ·x ϕ(ξ)dξ ≡ ((f, η(x)(ix)α eiξ·x ), ϕ)
de donde:
Dα F [f ](ξ) = (f, η(x)(ix)α eiξ·x )
Para α = 0 se obtiene (4.61).
Se puede demostrar que F [f ] ∈ θM .
4.6 Transformada de Fourier de la convolución
TEOREMA: Sea f ∈ S 0 y g una función generalizada finita. Entonces
F [f ∗ g] = F [g]F [f ] (4.63)
DEMOSTRACION:
Cuando definimos la convolución vimos que f ∗ g ∈ S 0 y que se expresa ası́:
(f ∗ g, ϕ) = (f (x), (g(y), η(y)ϕ(x + y))), ∀ϕ ∈ S (4.64)
donde η ∈ D y η = 1 en el entorno del soporte de g.
Teniendo en cuenta ésto, veamos:
Z
i(x+y)·ξ
(F [f ∗ g], ϕ) = (f ∗ g, F [ϕ]) = f (x), g(y), η(y) ϕ(ξ)e dξ (4.65)
Por el teorema visto en la sección anterior, F [g] ∈ θM . Teniendo en cuenta, además, que
Z Z
f, ϕ(x, y)dy = (f, ϕ(x, y))dy
y que
F [g] = (g(x), η(x)eiξ·x )
por el teorema final de la sección anterior tenemos que de (4.65) se obtiene:

Z
iy·ξ ix·ξ
(F [f ∗ g], ϕ) = f (x), (g(y), η(y)e )e ϕ(ξ)dξ =
como (g(y), η(y)eiy·ξ ≡ F [g](ξ),
Z
ix·ξ
= f (x), F [g](ξ)e ϕ(ξ)dξ ≡ (F [f ], F [g]ϕ) ≡ (F [f ]F [g], ϕ)
con lo que queda demostrado el teorema.
4.7 Ejemplos, n=1

1.
R
eiξR − e−iξR
Z
1 iξx R 2 sin ξR
f [θ(R − |x|)] = eiξx dx = e |−R = = (4.66)
−R iξ iξ ξ
2. ∞ √
−ξ 2
Z
−α2 x2 −α2 x2 iξx π
F [e ]= e e dx = exp − 2 (4.67)
−∞ α 4α
3. Demostrar que
√

ix2 i 2
F [e ]= π exp (ξ − π) (4.68)
4
Sea ϕ ∈ D con supp ϕ ⊂ (−R, R). Entonces:
Z
ix2 ix2 2
(F [e ], ϕ) = (e , F [ϕ]) = eix F [ϕ](x)dx =
Z N Z R Z R Z N
ix2 2 +ixξ
= lim e ϕ(ξ)eixξ dξdx = lim ϕ(ξ) eix dxdξ
N →∞,M →∞ −M −R N →∞,M →∞ −R −M
Calculemos:
Z N Z N
ix2 +ixξ 2 +xξ+ξ 2 /4−ξ 2 /4)
lim e dx = lim ei(x dx =
N →∞,M →∞ −M N →∞,M →∞ −M
Z N Z N +ξ/2
i(x+ξ/2)2 −iξ 2 /4 −iξ 2 /4 2
= lim e dx = e lim eiy dy =
N →∞,M →∞ −M N →∞,M →∞
−M +ξ/2
Z ∞ √ √

2 /4 2 2 /4 i 2
= e−iξ eiy dy = e−iξ πeiπ/4 = π exp (ξ − π)
−∞ 4
Ası́ pues:
Z R √

√

ix2 i 2 i 2
(F [e ], ϕ) = π exp (ξ − π) ϕ(ξ)dξ ≡ π exp (ξ − π) , ϕ
−R 4 4
LQQD.
Una necesaria observación: La demostración de arriba fue hecha para ϕ ∈ D, pero
como vimos que D es denso en S, por lo tanto la demostración es válida para las funciones
de base de S.
4. Demostrar que:
1
F [θ] = πδ(ξ) + iP (4.69)
ξ
1
F [θ(−x)] = πδ(ξ) − iP (4.70)
ξ
DEMOSTRACION: Para todo a > 0 tenemos que:
Z ∞
−ax
F [θ(x)e ]= θ(x)e−ax eiξx dx =
−∞
∞
ei(ξ+ia)x ∞
Z
i
= |0 = (4.71)
0 i(ξ + ia) ξ + ia
pues Re[i(ξ + ia)] ≡ −a < 0.

Por lo tanto:
i
lim F [θ(x)e−ax ] = lim
a→0+ a→0+ ξ + ia
de donde
i
F [θ(x)] =
ξ + i0
pero, la fórmula de Sojotsky (1.59) era:
1 1
= −iπδ(ξ) + P
ξ + i0 ξ
por lo que, efectivamente, se verifica la validez de (4.69). (4.70) se demuestra de manera
análoga, lo que se deja al lector como ejercicio.
5. Demostrar que:

1
F P = −2C − 2 ln |ξ| (4.72)
|x|
donde C es la constante de Euler:
1 ∞
1 − cos u
Z Z
cos u
C= du − du (4.73)
0 u 1 u
1
y la función generalizada P |x| se define formalmente como:

ϕ(x) − ϕ(0)
Z Z
1 ϕ(x)
P ,ϕ = dx + (4.74)
|x| |x|<1 |x| |x|>1 |x|
DEMOSTRACION: Para ϕ ∈ S tenemos:

Z 1
F [ϕ](x) − F [ϕ](0)
Z
1 1 F [ϕ](x)
F P , ϕ = P , F [ϕ] = dx + dx =
|x| |x| −1 |x| |x|>1 |x|
Z 1 Z ∞ Z ∞ Z Z ∞
1 iξx iξ0 1
= ϕ(ξ)e dξ − ϕ(ξ)e dξ dx + ϕ(ξ)eiξx dξdx =
−1 |x| −∞ −∞ |x|>1 |x| −∞
Z 1 Z ∞ Z Z ∞
1 iξx 1
= ϕ(ξ)(e − 1)dξdx + ϕ(ξ)eiξx dξdx =
−1 |x| −∞ |x|>1 |x| −∞
Z 0 Z ∞ Z 1 Z ∞
1 1
= ϕ(ξ)(eiξx − 1)dξdx + ϕ(ξ)(eiξx − 1)dξdx +
−1 −x −∞ 0 x −∞
Z −1 Z ∞ Z ∞ Z ∞
1 1
+ ϕ(ξ)eiξx dξdx + ϕ(ξ)eiξx dξdx =
−∞ −x −∞ 1 x −∞
Z 1Z ∞ −iξx Z 1Z ∞
e −1 eiξx − 1
= ϕ(ξ) dξdx + ϕ(ξ) dξdx +
0 −∞ x 0 −∞ x
Z ∞Z ∞ Z ∞Z ∞
e−iξx eiξx
+ ϕ(ξ) dξdx + ϕ(ξ) dξdx =
1 −∞ x 1 −∞ x
Z 1Z ∞ Z ∞Z ∞
cos ξx − 1 cos ξx
=2 ϕ(ξ) dξdx + 2 ϕ(ξ) dξdx =
0 −∞ x 1 −∞ x
Z ∞ Z 1 Z ∞Z ∞ 0
cos ξx − 1 ϕ (ξ) sin ξx
=2 ϕ(ξ) dxdxi − 2 dξdx =
−∞ 0 x 1 −∞ x2
Z ∞ Z ξ Z ∞ Z ∞
cos u − 1 0 sin ξx
=2 ϕ(ξ) dudξ − 2 ϕ (ξ) dxdξ =
−∞ 0 u −∞ 1 x2
Z ∞ Z ξ
cos u − 1
=2 ϕ(ξ) dudξ −
−∞ 0 u
Z ∞ Z ∞ Z ∞ Z ∞
∂ sin ξx ∂ sin ξx
−2 ϕ(ξ) 2
dx dξ + 2 ϕ(ξ) dxdξ =
−∞ ∂ξ 1 x −∞ ∂ξ 1 x2
Z ∞ Z ξ Z ∞
cos u − 1 cos u
=2 ϕ(ξ) du + du dξ =
−∞ 0 u ξ u
Z ∞ Z 1 Z ξ Z ξ Z ∞
cos u − 1 cos u du cos u
=2 ϕ(ξ) du + du − + dξ =
−∞ 0 u 1 u 1 u ξ u
Z ∞ Z 1 Z ∞
1 − cos u cos u
= −2 ϕ(ξ) du − du + ln |ξ| dξ ≡
−∞ 0 u 1 u
Z ∞
≡ −2 ϕ(ξ)(C + ln |ξ|)dξ ≡ (−2(C + ln |ξ), ϕ)
−∞
LQQD!
6. Anteriormente, establecimos la fórmula (2.44):
∞ ∞
X 1 X ikx
δ(x − 2πk) = e
k=−∞
2π k=−∞
lo que es válido también en S 0 . Y como por (4.41) F [δ(x − k)] = eikx , por lo tanto:
∞
X ∞
X
2π δ(x − 2πk) = F [δ(x − k)]
k=−∞ k=−∞
Apliquemos esta igualdad a ϕ ∈ S:

A la izquierda tenemos:
∞
! ∞ ∞
X X X
2π δ(x − 2πk), ϕ = 2π (δ(x − k), ϕ) = 2π ϕ(2πk)
k=−∞ k=−∞ k=−∞
y, a la derecha:
∞
! ∞ ∞
X X X
F [δ(x − k)], ϕ = (δ(x − k), F [ϕ]) = F [ϕ](k)
k=−∞ k=−∞ k=−∞
∞
X ∞
X
2π ϕ(2πk) = F [ϕ](k) (4.75)
k=−∞ k=−∞
que se conoce con el nombre de Fórmula de suma de Poisson.

Si en esta fórmula tomamos:
tx2

ϕ(x) = exp − 2
4π
entonces:
√ 2 2
2π π ξ π
F [ϕ](ξ) = √ exp − , ∀t > 0
t t
y se obtiene:
∞ r ∞ 2 2
X
−tk2 π X k π
e = exp − (4.76)
k=−∞
t k=−∞ t
La fórmula (4.76) aparece en la teorı́a de funciones elı́pticas.

4.8 Ejemplos, n ≥ 2
1. Sea δSR la capa simple sobre la esfera SR en R3 . Demostrar que
sin R|ξ|
F [δSR ] = 4πR (4.77)
|ξ|
DEMOSTRACION:
Como δSR es una función finita, aplicamos la fórmula (4.61): F [f ] = (f, η(x)eiξ·x ). Tene-
mos:
Z
iξ·x
F [δSR ] = (δSR (x), η(x)e = eiξ·x dSx
SR
pues η(x) = 1 en el soporte de δSR , o sea, sobre SR .

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

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

1
F P 2 = −2π ln |ξ| − 2πC0 (4.79)
|x|
donde
1 ∞
1 − J0 (u)
Z Z
J0 (u)
C0 = du − du (4.80)
0 u 1 u

1 1
F P 2 , ϕ = P 2 , F [ϕ] =
|x| |x|
F [ϕ](x) − F [ϕ](0)
Z Z
F [ϕ](x)
= dx + dx =
|x|<1 |x|2 |x|>1 |x|2
Z Z ∞ Z Z ∞
1 ix·ξ 1
= 2
ϕ(ξ)[e − 1]dξdx + 2
ϕ(ξ)[eix·ξ dξdx =
|x|<1 |x| −∞ |x|>1 |x| −∞
Z 1 Z 2π Z ∞
1
= 2
ϕ(ξ)[eir|ξ| cos ϕ − 1]rdrdϕdξ +
0 r 0 −∞
Z ∞ Z 2π Z ∞
1
+ 2
ϕ(ξ)eir|ξ| cos ϕ rdrdϕdξ =
1 r 0 −∞
Z 1 Z ∞ Z 2π
1 ir|ξ| cos ϕ
= ϕ(ξ) e dϕ − 2π dξdr +
0 r −∞ 0
Z ∞ Z ∞ Z 2π
1 ir|ξ| cos ϕ
+ ϕ(ξ) e dϕ dξdr
1 r −∞ 0
Pero:
Z 2π
1
J0 (x) = eix cos ϕ dϕ (4.81)
2π 0
es la integral de Bessel. Por lo tanto,
Z 1 Z ∞ Z ∞Z ∞
1 1
F P 2 ,ϕ = 2π ϕ(ξ)[J0 (r|ξ|) − 1]dξdr + 2π ϕ(ξ)J0 (r|ξ|)dξdr =
|x| 0 r −∞ 1 −∞
Z ∞ Z 1 Z ∞ Z ∞
J0 (r|ξ|) − 1 J0 (r|ξ|)
= 2π ϕ(ξ) dξ + 2π ϕ(ξ) drdξ =
−∞ 0 r −∞ 1 r
Z ∞ (Z )
|ξ| Z ∞
J0 (u) − 1 J0 (u)
= 2π ϕ(ξ) du + du dξ (4.82)
−∞ 0 u |ξ| u
Analicemos la expresión entre llaves en (4.82):
(Z )
|ξ| ∞
J0 (u) − 1
Z
J0 (u)
du + du =
0 u |ξ| u
1 Z |ξ| Z ∞
J0 (u) − 1 J0 (u) − 1
Z
J0 (u)
= du + du + du =
0 u 1 u |ξ| u
1 Z |ξ| Z ξ Z ξ Z ∞
J0 (u) − 1 J0 (u) − 1
Z
J0 (u) du J0 (u)
= du + du + du − + du =
0 u 1 u 1 u 1 u |ξ| u
Z 1 Z ∞
1 − J0 (u) J0 (u)
=− du − ln |ξ| + du =
0 u 1 u
Z 1 Z ∞
1 − J0 (u) J0 (u)
=− du − du − ln |ξ| ≡ −C0 − ln |ξ|
0 u 1 u
Por lo tanto:
Z ∞
1
F P 2 , ϕ = −2π ϕ(ξ)(C0 + ln |ξ|)dξ ≡
|x| −∞
≡ (−2πC0 − 2π ln |ξ|, ϕ) (4.83)
LQQD.
3. Demostrar que:
" #
θ(R − |x|) sin R|ξ|
F p = 2π , ∀n = 2 (4.84)
R2 − |x|2 |ξ|
teniendo en cuenta la identidad

Z 1
J0 (xy)xdx 1
√ = sin y (4.85)
0 1 − x2 y
DEMOSTRACION: Tenemos que:
" # Z
θ(R − |x|) eiξ·x dx
F p = p =
R2 − |x|2 |x|<R R2 − |x|2
Z R Z 2π ir|ξ| cos ϕ Z R Z 2π
e r
= √ rdrdϕ = √ eir|ξ| cos ϕ dϕdr =
2
R −r 2 2
R −r 0 2
0 0 0
Z R Z 1
rJ0 (r|ξ|)dr uJ0 (R|ξ|u)du sin R|ξ|
= 2π √ = 2πR √ = 2π
0
2
R −r 2
0 1−u 2 |ξ|
LQQD.
4. Demostrar que:

1 2πi
F = (4.86)
z ζ
DEMOSTRACION: Vimos anteriormente la fórmula (2.156):

∂ 1 1 ∂ ∂ 1
∗
≡ +i = πδ
∂z z 2 ∂x ∂y z
Por lo tanto:

1 ∂ ∂ 1
F +i = πF [δ] = π (4.87)
2 ∂x ∂y z
La parte izquierda es:

1 ∂ 1 ∂ 1 1 1 1
= f + iF = −iξF + i(−iη)F =
2 ∂x z ∂y z 2 z z

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

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

1
F = , ∀n = 3 (4.88)
|x|2 |ξ|
1
DEMOSTRACION: Como |x|2
es localmente integrable en R3 , tenemos:
Z
1 1 1
f 2
,ϕ = 2
, F [ϕ] = 2
f [ϕ]dx =
|x| |x| R3 |x|
Z ∞ Z ∞
eiξ·x
Z Z
1 iξ·x
= lim ϕ(ξ)e dξdx = lim ϕ(ξ) dxdξ =
R→∞ |x|<R |x|2 −∞ R→∞ −∞ |x|<R |x|
2
Z ∞ Z R Z π Z 2π i|ξ|r cos θ
e
= lim ϕ(ξ) 2
r2 dr sin θdθdϕdξ =
R→∞ −∞ 0 0 0 r
Z ∞ Z RZ 1
i|ξ|r
= 2π lim ϕ(ξ) ei|ξ|ry drdydξ =
R→∞ −∞ 0 −1 i|ξ|r
Z ∞ Z R i|ξ|ry Z ∞
ϕ(ξ) R sin |ξ|r
Z
e 1
= 2π lim ϕ(ξ) | drdξ = 4π drdξ =
R→∞ −∞ 0 i|ξ|r −1 −∞ |ξ| 0 r
(esta integral converge para |ξ| 6= 0)
∞ ∞
2π 2
Z Z
ϕ(ξ) π ϕ(ξ)
= 4π dξ = 2π 2 dξ ≡ ,ϕ
−∞ |ξ| 2 −∞ |ξ| |ξ|
LQQD.
Demostrar:
1.
1
F = iπsignξ (4.89)
x
2.
1
F [signx] = 2iP (4.90)
ξ
3.
1
F [θ(x)x] = −iπδ 0 (ξ) − P (4.91)
ξ2
4.
1
F P 2 = −π|ξ| (4.92)
x
5.
1
F [|x|] = −2P (4.93)
ξ2
Capı́tulo 5
Soluciones fundamentales de los

operadores diferenciales lineales
5.1 Solución generalizada de una ecuación
Sea aα ∈ C ∞ (Rn ) y la ecuación diferencial lineal de orden m:
m
X
aα (x)Dα u = f (x) (5.1)
|α|=0
con f ∈ D0 .
Introduzcamos la notación:
m
X
L(x, D) ≡ aα (x)Dα (5.2)
|α|=0
que es un operador diferencial lineal. Entonces, la ecuación adopta la forma:
L(x, D)u = f (x) (5.3)
DEFINICION: Se llama Solución generalizada de (5.1) en la región G a la función

generalizada u ∈ D0 tal que para toda ϕ ∈ D(G):
(L(x, D)u, ϕ) = (f, ϕ) (5.4)
O sea, satisface la ecuación en sentido generalizado.
113
La expresión (5.4) es equivalente a
(u, L∗ (x, D)ϕ) = (f, ϕ) (5.5)
donde
m
X
∗
L (x, D)ϕ ≡ (−1)|α| Dα (aα ϕ) (5.6)
|α|=0
lo que puede demostrarse con facilidad a partir de lo estudiado en los capı́tulos anteriores.
TEOREMA 1: Toda solución clásica es a la vez generalizada.
DEMOSTRACION:
Es obvio, pues si es clásica, entonces para cualquier ϕ ∈ D(G) cumple también (5.4) y, por lo
tanto, es generalizada.
TEOREMA 2: Si f ∈ C(G) y en G la solución generalizada u(x) de (5.1) pertenece a C m (G),

entonces también es solución clásica de (5.1) en G.
DEMOSTRACION:
Como u ∈ D0 ∩ C m (G), por lo tanto, las derivadas clásicas y las generalizadas coinciden. Como,
por hipótesis, u es solución 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 decı́a: ”Para que f (x) localmente integrable en G
sea cero en G en el sentido de las funciones generalizadas, es necesario y suficiente que f (x) = 0
en casi todo punto de G”, tenemos que, por lo tanto, L(x, D)u − f (x) = 0 en G, lo que significa
que se cumple la ecuación en sentido clásico, lo que significa que u es también solución clásica.
LQQD.
5.2 Solución fundamental
Sean aα (x) ≡ aα = const. Entonces L(x, D) se convierte en
m
X
L(D) = aα D α (5.7)
|α|=0
y
Soluciones fundamentales de los operadores diferenciales lineales 115
L∗ (D) = L(−D) (5.8)
DEFINICION: Solución fundamental (función de influencia) del operador diferen-

cial L(D) se llama a la función generalizada E ∈ D0 que satisface en Rn la ecuación
L(D)E = δ(x) (5.9)
TEOREMA: La solución fundamental no es única: se determina con exactitud de un sumando

que es solución de la ecuación homogénea L(D)E0 = 0.
DEMOSTRACION:
Por hipótesis, L(D)E = δ(x) y L(D)E0 = 0. Por lo tanto:
L(D)(E + E0 ) = δ(x)
LQQD.
TEOREMA (importante): Para que E ∈ S 0 sea solución fundamental del operador L(D)
es necesario y suficiente que su transformada de Fourier F [E] cumpla la ecuación
L(−iξ)F [E] = 1 (5.10)
donde
m
X
L(ξ) = aα ξ α (5.11)
|α|=0
DEMOSTRACION:
Necesidad:
Aquı́ la hipótesis es: L(D)E = δ(x). Apliquemos Fourier: F [L(D)E] = 1. Pero:
 
m
X m
X
α
F [L(D)E] = F  aα D E  = aα F [Dα E] =
|α|=0 |α|=0
(teniendo en cuenta la propiedad de la transformada de la derivada)
m
X
= aα (−iξ)α F [E] ≡ L(−iξ)F [E] (5.12)
|α|=0
Por lo tanto, efectivamente L(−iξ)F [E] = 1. Es decir, (5.10).
Demostrada la necesidad.
Suficiencia:
Por hipótesis ahora se cumple (5.10). Pero por (5.12) ésto significa que
F [L(D)E] = 1 ≡ F [δ]
Es decir, L(D)E = δ(x), lo que significa que E(x) es la solución fundamental.
Demostrada la suficiencia.
Conclusión del teorema: La construcción de soluciones fundamentales de crecimiento lento

de operadores diferenciales lineales equivale a resolver en S 0 ecuaciones algebráicas del tipo
P (ξ)X = 1 (5.13)
donde P es cierto polinomio.
Denotemos por
Np = {ξ|P (ξ) = 0}
al conjunto de ceros del polinomio P (ξ). Entonces, ∀ξno ∈ Np , la solución de (5.13) coincide
en D0 con P 1(ξ) , y si Np 6= , entonces la solución de (5.13) no es única y las distintas soluciones
se diferencian entre sı́ en una función generalizada con soporte en Np .
Ejemplo 1
La ecuación ξX = 1 tiene por soluciones generalizadas las funciones generalizadas
1
P (5.14)
ξ
1
(5.15)
ξ + i0
1
(5.16)
ξ − i0
donde, por las fórmulas de Sojotsky (1.59) y (1.60):

1 1
− P = −iπδ(ξ) (5.17)
ξ + i0 ξ
1 1
− P = iπδ(ξ) (5.18)
ξ − i0 ξ
1 1
− = −2iπδ(ξ) (5.19)
ξ + i0 ξ − i0
Las expresiones dadas por las fórmulas (5.17), (5.18) y (5.19) son funciones generalizadas con
soporte en Np = {ξ = 0}.
Ejemplo 2
Sea la ecuación
dE
+ aE = δ(x) (5.20)
dx
Aplicamos la Transformada de Fourier:
(−ix + a)F [E] = 1 (5.21)
de donde
i
F ‘[E] = (5.22)
x + ia
Aquı́, Np = , pues no hay ceros sobre el eje real. Por lo tanto,
∞
e−ixξ dξ e−ixξ
Z
i i
E(x) = = −2πiRes , −ia = e−ax
2π −∞ ξ + ia 2π ξ + ia
Por lo tanto:
E(x) = e−ax (5.23)
De esta manera es como se opera.
De los ejemplos podemos afirmar lo siguiente:
1. Si P 1(ξ) es localmente integrable en Rn (en R1 en el segundo ejemplo), entonces el funcional

regular definido por ella es solución en S 0 de la ecuación (5.13).
2. Pero si P 1(ξ) no es localmente integrable en Rn (en R1 en el primer ejemplo), entonces

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

−1 1 1 1
E(x) = F reg ≡ F reg (5.25)
L(−iξ) (2π)n L(iξ)
Este resultado será aplicado más adelante. Ahora continuaremos viendo otras cosas generales.
5.3 Ecuación con parte derecha
Veamos la ecuación
L(D)u = f (x) (5.26)
con f arbitraria.
TEOREMA: Sea f ∈ D0 tal que en D0 exista la convolución E ∗ f . Entonces, la solución de

(5.26) existe en D0 , es única y viene dada por
u=E∗f (5.27)
DEMOSTRACION:
Sabemos que
Dα f ∗ g = Dα f ∗ g = Dα (f ∗ g) = f ∗ Dα g
Además, por definición: L(D)E = δ(x).

Por lo tanto,
L(D)(E ∗ f ) ≡ L(D)E ∗ f ≡ δ ∗ f ≡ f
lo que significa que, efectivamente (5.27) da la solución de (5.26).
Demostremos ahora la unicidad. Lo haremos por reducción al absurdo: Supongamos dos solu-
ciones u1 y u2 . Entonces, para u = u1 − u2 tendremos que
L(D)u = 0 (5.28)
cuya solución es sólo la trivial. Efectivamente, teniendo en cuenta (5.28):
u ≡ u ∗ δ ≡ u ∗ L(D)E ≡ L(D)u ∗ E ≡ 0
COROLARIO: Si u ∈ D0 y existe en D0 la convolución u ∗ E, entonces es válida la igualdad
u = L(D)u ∗ E (5.29)
Sentido fı́sico de la solución (5.27)
Como la fuente puede representarse ası́:
Z
f (x) = δ ∗ f = f (ξ)δ(x − ξ)dξ (5.30)
y como L(D)E = δ(x), por lo tanto, cada fuente puntual f (ξ)δ(x − ξ) tiene como respuesta del
sistema la influencia puntual f (ξ)E(x − ξ). Por lo tanto, la solución
Z
u(x) = E ∗ f ≡ f (ξ)E(x − ξ)dξ
es la superposición de estas influencias puntuales.
5.4 Método del descenso
Sea la ecuación diferencial lineal con coeficientes constantes en Rn+1 de las variables (x, t) ≡
(x1 , x2 , ..., xn , t):

∂
L D, u = f (x) · δ(t) (5.31)
∂t
con f ∈ D0 (Rn ) y donde
p
∂q

∂ X
L D, = Lq (D) + L0 (D) (5.32)
∂t q=1
∂tq
y Lq (D) son operadores diferenciales en las variables x.
Sea la función generalizada u ∈ D0 (Rn+1 ) y supongamos que admite una prolongación a fun-
ciones del tipo ϕ(x)1(t) con ϕ ∈ D(Rn ) en el siguiente sentido:
Para cualquier sucesión ηk (t) ∈ D(R1 ), k = 1, 2, ... convergente a 1 en R1 existe el lı́mite:
lim (u, ϕ(x)ηk (t)) = (u, ϕ(x)1(t)) (5.33)

k→∞
y este lı́mite no depende de la sucesión {ηk (t)}.
Denotemos por u0 al funcional (5.33):
(u0 , ϕ) = (u, ϕ(x)1(t)) = lim (u, ϕ(x)ηk (t)) (5.34)

k→∞
para todo ϕ ∈ D(Rn ). Este funcional (se ve que) es lineal y continuo; o sea, pertenece a D0 (Rn )
y se llama prolongación de la función u.
Como el espacio D0 (Rn ) es completo, también el lı́mite u0 ∈ D0 (Rn ).
Ejemplos de cómo construir la prolongación u0 .

R
a) Sea u(x, t) tal que |u(x, t)|dt es localmente integrable en Rn . Entonces, u0 (x) es localmente
integrable en Rn y se expresa por la integral:
Z ∞
u0 (x) = u(x, t)dt (5.35)
−∞
Efectivamente:
u(x, t) es localmente integrable en Rn+1 y, por lo tanto, el lı́mite (5.33) es:

Z
lim (u, ϕ(x)ηk (t)) = lim u(x, t)ϕ(x)ηk (t)dxdt =
k→∞ k→∞
Z Z Z ∞
= u(x, t)ϕ(x)dxdt = ϕ(x) u(x, t)dtdx (5.36)
−∞
que existe ∀ϕ ∈ D(Rn ) y no depende de {ηk (t)}. Por lo tanto, por (5.34) se obtiene (5.35).
b) Sea u(x, t) = f (x) · δ(t), con f ∈ D0 (Rn ).
Entonces, u0 = f , pues:
(u0 , ϕ) = lim (u, ϕ(x)ηk (t)) = lim (f (x) · δ(t), ϕ(x)ηk (t)) =
k→∞ k→∞
= lim (f (x), ϕ(x)ηk (0)) = (f, ϕ) (5.37)
k→∞
para todo ϕ ∈ D(Rn ).
LQQD.
Tiene lugar el siguiente,
TEOREMA: Si la solución u ∈ D0 (Rn+1 ) de la ecuación (5.31) admite la prolongación (5.34),

entonces, la función generalizada u0 ∈ D0 (Rn ) satisface la ecuación
L0 (D)u0 = f (x) (5.38)
DEMOSTRACION:
Sea {ηk (t)} → 1 en R1 para k → ∞. Entonces, para q = 1, 2, ... se cumple que
(q)
{ηk (t) + ηk (t)} → 1 (5.39)
en R1 también para todo ϕ ∈ D(Rn ):
(q)
lim (u, ϕ(x)ηk (t)) ≡
k→∞
(q)
≡ lim (u, ϕ(x)[ηk (t) + ηk (t)]) − lim (u, ϕ(x)ηk (t)) = (u0 , ϕ) − (u0 , ϕ) ≡ 0 (5.40)
k→∞ k→∞
Teniendo en cuenta (5.40), comprobemos que la función generalizada u0 cumple (5.38):

(L0 (D)u0 , ϕ) = (u0 , L0 (−D)ϕ) = lim (u, L0 (−D)ϕ(x)ηk (t)) =

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

∂ ∂
= lim u, L −D, − ϕ(x)ηk (t) = lim L D, u, ϕ(x)ηk (t) = (5.42)
k→∞ ∂t k→∞ ∂t
(por (5.31))
= lim (f (x) · δ(t), ϕ(x)ηk (t)) = lim (f (x), ϕ(x)ηk (0)) = (f, ϕ) (5.43)
k→∞ k→∞
Por lo tanto, queda demostrado que L0 (D)u0 = f en sentido generalizado.
El método para obtener la solución u0 de (5.38) con n variables a partir de la solución u(x, t)
de (5.31) con n + 1 variables se llama Método del descenso respecto a la variable t o
Método de Hadamard. Es muy útil y cómodo para construir funciones fundamentales.
Efectivamente, aplicando el teorema para f = δ(x):
Si E(x, t), solución fundamental de

∂
L D,
∂t
admite una prolongación E0 del tipo (5.34), entonces la función generalizada
(E0 , ϕ) = (E, ϕ(x)1(t)), ∀ϕ ∈ D(Rn ) (5.44)

R
es la solución fundamental de L0 (D). En particular, si E(x, t) es tal que |E(x, t)|dt es local-
mente integrable en Rn , entonces:
Z ∞
E(x) = E(x, t)dt (5.45)
−∞
Aunque más adelante aplicaremos todo ésto para hallar soluciones fundamentales de impor-
tancia y utilidad para la Fı́sica, a continuación veremos el caso particular de un operador con
derivadas ordinarias.
5.5 Solución fundamental del operador diferencial lineal

con derivadas ordinarias
En un ejemplo en un capı́tulo anterior, donde analizamos la función (2.65) demostramos que
E(t) = θ(t)Z(t) (5.46)
es la solución de la ecuación
dn E dn−1 E
LE ≡ + a 1 + ... + an E = δ(t) (5.47)
dtn dtn−1
donde Z(t) es la solución del problema de Cauchy:
LZ = 0 (5.48)
0 (n−2) (n−1)
Z(0) = Z (0) = ... = Z (0) = 0; Z (0) = 1
Ahora podemos afirmar que (5.46) es la solución fundamental de ese operador.
Dos casos particulares de interés para las aplicaciones fı́sicas son:
1.
d
L= +a (5.49)
dt
Entonces el problema (5.48) es:
dZ
+ aZ = 0 (5.50)
dt
Z(0) = 1
cuya solución es
Z(t) = e−at (5.51)

Por lo tanto,
E(t) = θ(t)e−at (5.52)

2.
d2
L= + a2 (5.53)
dt2
Entonces el problema (5.48) es:
d2 Z
+ a2 Z = 0 (5.54)
dt2
Z(0) = 0, Z 0 (0) = 1
cuya solución es:
sin at
Z(t) = (5.55)
a
Por consiguiente,
sin at
E(t) = θ(t) (5.56)
a
5.6 Solución fundamental del operador de conducción

del calor
Busquemos la solución fundamental del operador que describe la propagación de calor o la

difusión. Sea
∂E
− a2 ∇2 E = δ(x, t) (5.57)
∂t
Apliquemos el método explicado en los epı́grafes anteriores:
Aplicamos la transformada de Fourier respecto a la variable espacial x:

∂E
Fx − a2 Fx [∇2 E] = Fx [δ(x, t)] = Fx [δ(x) · δ(t)] = 1(ξ)δ(t)
∂t
Además:

∂E ∂
Fx = Fx [E]
∂t ∂t
y
Fx [∇2 E] = −|ξ|2 Fx [E]
∂E(ξ, t)
+ a2 |ξ|2 E(ξ, t) = 1(ξ)δ(t) (5.58)
∂t
donde hemos llamado E(ξ, t) a la transformada de Fourier de E(x, t). O sea:
E(ξ, t) ≡ Fx [E](ξ, t) (5.59)
Por (5.52) tenemos que:
2 |ξ|2 t
E(ξ, t) = θ(t)e−a (5.60)
Por lo tanto, aplicando la transformada inversa:
|x|2
Z
θ(t) −a2 |ξ|2 t−iξ·x θ(t)
E(x, t) = e dξ = ... = √ exp − 2 (5.61)
(2π)n (2a πt)n 4a t
que se obtiene por métodos tradicionales de cálculo.
5.7 Solución fundamental del operador de onda (D’A-

lembert)
Sea
∂ 2 En
2
− a2 ∇2 En = δ(x, t) (5.62)
∂t
y sea
En (ξ, t) = Fx [En (x, t)] (5.63)
la transformada de Fourier de la solución fundamental E(x, t).
Entonces, aplicando transformada de Fourier a (5.62) se obtiene

∂ 2 En (ξ, t)
+ a2 |ξ|2 En = 1(ξ)δ(t) (5.64)
∂t2
Entonces, por (5.56):
sin a|ξ|t
En (ξ, t) = θ(t) (5.65)
a|ξ|
O sea:

sin a|ξ|t
En (x, t) = θ(t)Fξ−1 (5.66)
a|ξ|
Veamos varios casos particulares:
1. n = 3. O sea, en R3 .
Anteriormente vimos la fórmula (4.77) que era
sin R|ξ|
F [δSR ] = 4πR
|ξ|
Por lo tanto:

−1 sin a|ξ|t 1
F = δS (x) (5.67)
a|ξ| 4πat at
Por consiguiente, de (5.66):
θ(t) θ(t) 2 2
E3 (x, t) = 2
δSat (x) ≡ δ(a t − |x|2 ) (5.68)
4πa t 2πa
La función E3 (x, t) obtenida en (5.68) actúa según la regla:
Z ∞ Z ∞ Z
1 dt 1 1
(E3 , ϕ) = (δSat , ϕ) ≡ ϕ(x, t)dSx dt (5.69)
4πa2 0 t 4πa2 0 t Sat
con ϕ ∈ S(R4 ).
2. n = 2.
En un ejercicio obtuvimos la expresión (4.84):
" #
θ(R − |x|) sin R|ξ|
F p = 2π
R2 − |x|2 |ξ|
Por lo tanto:
θ(t) θ(at − |x|)

E2 (x, t) = p (5.70)
2πa a2 t2 − |x|2
Comparar este resultado con el obtenido en el libro de Métodos Matemáticos de la Fı́sica del
autor.
5.8 Solución fundamental del operador de Laplace
Este es:
∇2 En = δ(x) (5.71)
Usamos el método desarrollado: Aplicar la transformada de Fourier:
−|ξ|2 En (ξ) = 1 (5.72)
Caso n = 2:
1
En este caso, como |ξ|2
es absolutamente integrable, por lo tanto:
1
E2 (ξ) = −P (5.73)
|ξ|2
De aquı́ que:

−1 1 1 1
E2 (x) = −F P 2 = − 2F P 2 (5.74)
|ξ| 4π |ξ|
Ya vimos la fórmula (4.79) que establecı́a que

1
F P 2 = −2π ln |ξ| − 2πC0
|x|
Por lo tanto:
1 C0
E2 (x) = ln |x| + (5.75)
2π 2π
Como ∇2 C2π0 ≡ 0 y la solución fundamental se obtiene con exactitud de una solución de la

ecuación homogénea, por lo tanto:
1
E2 (x) = ln |x| (5.76)
2π
Caso n = 3:
Aquı́ − |ξ|12 es localmente integrable en R3 . Por lo tanto:

−1 1 1 1
E3 (x) = −F =− F (5.77)
|ξ|2 (2π)3 |ξ|2
Pero, ya vimos en la fórmula (4.88) que:
2π 2

1
F =
|x|2 |x|
Por lo tanto
1 2π 2 1
E3 (x) = − 3
≡− (5.78)
8π |x| 4π|x|
conocidı́sima solución fundamental del operador de Laplace en tres dimensiones y que puede
verse también en el libro de Métodos Mamtemáticos de la Fı́sica del autor.
Caso n > 3:
Aquı́ aplicamos el método del descenso que estudiamos en este capı́tulo a la ecuación con a = 1:
∂E
− ∇2 E = δ(x)δ(t) (5.79)
∂t
Como resultado, se obtiene:
−∇2 E = δ(x)1(t) (5.80)
La solución era:
|x|2

θ(t)
E(x, t) = √ n exp − (5.81)
(2 πt) 4t
Por lo tanto, aplicando el método obtenemos:
∞ ∞
|x|2
Z Z
1
En (x) = − E(x, t)dt = − √ exp − dt =
−∞ 0 (2 πt)n 4t
haciendo el cambio de variable u = |x|2 /(4t)
∞ ∞
4n/2 un/2 −u |x|2 du |x|−n+2
Z Z
=− e = − e−u un/2−2 du =
0 2n π n/2 |x|n 4u2 4π n/2 0
|x|−n+2 n
=− Γ −1 (5.82)
4π n/2 2
y, como
n Γ(n/2)
Γ −1 = n (5.83)
2 2
−1
pues Γ(x) = (x − 1)Γ(x − 1), queda:
|x|−n+2 n
En (x) = − Γ (5.84)
(n − 2)2π n/2 2
O sea:
1
En (x) = − |x|−n+2 (5.85)
(n − 2)σn
con
2π n/2
σn = (5.86)
Γ n2

5.9 Solución fundamental de la ecuación de Helmholtz
Aquı́ tenemos:
(∇2 + k 2 )En = δ(x) (5.87)
Ya vimos en R3 que:
eik|x|
E3 (x) = − (5.88)
4π|x|
y que
e−ik|x|
E3∗ (x) = − (5.89)
4π|x|
Calculemos en R2 , o sea, para n = 2. Aplicamos la transformada de Fourier:
(−|ξ|2 + k 2 )E2 (ξ) = 1 (5.90)
Escribamos la solución de (5.90) ası́:
1 1
E2 (ξ) = lim ≡ 2 (5.91)
ε→0 k 2 + iε − |ξ|2 k + i0 − |ξ|2
Como la transformada de Fourier es continua:
e−iξ·x dξ
Z
−1 1 1
E2 (x) = F = lim lim =
k 2 + i0 − |ξ|2 4π 2 ε→0 R→∞ |ξ|<R k 2 + iε − |ξ|2
(usando coordenadas polares)
Z R Z 2π
1 exp{−ir|x| cos ϕ}rdrdϕ
= 2 lim lim =
4π ε→0 R→∞ 0 0 k 2 + iε − r2
Z R Z 2π
1 r
= 2 lim lim exp{−ir|x| cos ϕ}dϕ dr =
4π ε→0 R→∞ 0 k 2 + iε − r2 0
Z R Z ∞
1 rJ0 (r|x|)dr 1 rJ0 (r|x|)dr
= lim lim 2 2
= lim =
2π ε→0 R→∞ 0 k + iε − r 2π ε→0+ 0 r − (k 2 + iε)
2
Z ∞
1 rJ0 (r|x|)dr
= − lim √ =
2π ε→0 0 r2 + [−i k 2 + iε]2
1 √ 1 1 π (1)
= − lim K0 (−i k 2 + iε|x|) = − K0 (−ik|x|) ≡ − iH (k|x|) (5.92)
2π ε→0 2π 2π 2 0
En los cálculos de arriba hemos tenido en cuenta que:
Z ∞
xJ0 (ax)dx
= K0 (ak) (5.93)
0 x2 + k 2
con a > 0 y Rek > 0, donde K0 (x) es la función cilı́ndrica de argumento imaginario de segundo
tipo (función de MacDonald); además, que
π (1)
K0 (x) = iH (ix) (5.94)
2 0
por lo que
π (1)
K0 (−ix) = iH (x) (5.95)
2 0
(1)
donde H0 es la conocida función de Hankel.
Finalmente, se obtiene:
i (1)
E2 (x) = − H0 (k|x|) (5.96)
4
y su conjugada:
i (2)
E2∗ (x) = H0 (k|x|) (5.97)
4
5.10 Otras soluciones fundamentales
En este epı́grafe simplemente expondremos sin demostración algunos resultados útiles en las
aplicaciones.
1. Solución fundamental del operador de D’Alembert en Rn

Para la ecuación
∂ 2 En
− a2 ∇2n En = δ(x, t) (5.98)
∂t2
la solución es:
n−3
d2

θ(t) 2
En (x, t) = δ(a2 t2 − |x|2 ) (5.99)
2πa πa2 dt2
para n ≥ 3 impar y
(−1)n/2−1 −(n+1)/2

n−1 θ(at − |x|)
En (x, t) = π Γ p (5.100)
2a 2 (a2 t2 − |x|2 )n−1
para n ≥ 2 par
Su empleo para n 6= 2, 3 es en espacios más complejos de coordenadas generalizadas,
superstrings, etc.
2. Soluciones fundamentales del operador de Klein-Gordon

La ecuación de Klein-Gordon es:
∂2

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

Esta ecuación describe la partı́cula relativista pseudoescalar. Las soluciones son:
E r (x0 , x) ≡
p
r θ(x0 ) 2 2 m0 J1 (m0 x20 − |x|2 )
≡ D (x0 , x) = δ(x0 − |x| ) − θ(x0 − |x|) p (5.102)
2π 4π x20 − |x|2
E a (x0 , x) ≡ Da (x0 , x) = E r (−x0 , x) (5.103)
La notación usada con mayor frecuencia en la Mecánica Cuántica Relativista es con las
letras D. También se definen las funciones:
1
D+ (x0 , x) = F [θ(ξ0 )δ(ξ02 − |ξ|2 − m20 )] (5.104)
8π 3 i
1
D− (x0 , x) = − F [θ(−ξ0 )δ(ξ02 − |ξ|2 − m20 )] (5.105)
8π 3 i
que satisfacen la ecuación de Klein-Gordon y la relación
D+ + D− = Dr − Da (5.106)
Las funciones Dr , Da , D+ y D− juegan un papel importante en la teorı́a cuántica del

campo.
3. Solución fundamental del operador de Schrodinger

La ecuación de Schrodinger para la solución fundamental es
~2 2

∂
i~ + ∇ E(x, t) = δ(x, t) (5.107)
∂t 2m0
y la solución fundamental tiene la forma:
−iθ(t) m0 n2 n m
0 nπ o
E(x, t) = exp i |x|2 − (5.108)
~ 2π~t 2~t 4

1. Demostrar la igualdad de la parte extrema derecha de la fórmula (5.61) para la solución
fundamental del operador de conducción del calor:
|x|2

θ(t)
E(x, t) = √ exp − 2 (5.109)
(2a πt)n 4a t
2. Demostrar la igualdad a la derecha de (5.68). Para ello, tener presente que
δ(x − a) + δ(x + a)
δ(x2 − a2 ) = (5.110)
2|a|
3. Comprobar que E3 (x, t) dada por la fórmula (5.68) se convierte en la función de Green
que se obtuvo en el libro de Métodos Matemáticos de la Fı́sica del autor para la ecuación
escrita de manera diferente:
1 ∂2E
− ∇2 E = δ(x, t) (5.111)
a2 ∂t2
y que tenı́a la forma:

1 |x|
E(x, t) ≡ G(x, t) = δ t− (5.112)
2πa|x| a
Bibliografı́a
1. Marı́n Antuña J. Métodos Matemáticos de la Fı́sica. ENPES, La Habana, Cuba, 1994.
2. Vladı́mirov V.V. Ecuaciones de la Fı́sica Matemática. Editorial Nauka, Moscú, 1975.
3. Marı́n Antuña J. Teorı́a de Funciones de Variable Compleja.Editorial ”Pueblo y Edu-

cación”, Cuba, 1977; segunda edición, 1990.
4. Shilov G.E. Análisis Matemático, Segundo curso especial. Editorial Nauka, Moscú,1965.
135

Teoría de Funciones Generalizadas: José Miguel Marín Antuña

Cargado por

Copyright:

Formatos disponibles

Teoría de Funciones Generalizadas: José Miguel Marín Antuña

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoría de Funciones Generalizadas: José Miguel Marín Antuña

Cargado por

Copyright:

Formatos disponibles

TEORÍA DE FUNCIONES

TEXTO PARA EL PLAN DE MAESTRÍA Y DOCTORADO EN

1.1 Ampliación del concepto de función . . . . . . . . . . . . . . . . . . . . . . . . . 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 Fórmulas de Sojotsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

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

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

1.10 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2 Derivación e integración de funciones generalizadas 33

2.1 Derivada generalizada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.2 Primitiva de una función generalizada . . . . . . . . . . . . . . . . . . . . . . . . 37

2.5 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3 Producto Directo y Convolución de Funciones Generalizadas 65

3.1 Producto Directo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

3.2 Convolución de funciones generalizadas . . . . . . . . . . . . . . . . . . . . . . . 68

3.3 Propiedades de la convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

3.6 Regularización de las funciones generalizadas . . . . . . . . . . . . . . . . . . . . 79

3.7 Ejemplos de convoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

3.8 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

4 Funciones generalizadas de crecimiento lento (atemperadas) 87

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

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

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

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

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

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

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

4.6 Transformada de Fourier de la convolución . . . . . . . . . . . . . . . . . . . . . 101

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

4.8 Ejemplos, n ≥ 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

4.9 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

5 Soluciones fundamentales de los operadores diferenciales lineales 113

5.1 Solución generalizada de una ecuación . . . . . . . . . . . . . . . . . . . . . . . 113

5.2 Solución fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

5.3 Ecuación con parte derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

5.4 Método del descenso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

5.6 Solución fundamental del operador de conducción del calor . . . . . . . . . . . . 124

5.7 Solución fundamental del operador de onda (D’Alembert) . . . . . . . . . . . . . 125

5.8 Solución fundamental del operador de Laplace . . . . . . . . . . . . . . . . . . . 127

5.9 Solución fundamental de la ecuación de Helmholtz . . . . . . . . . . . . . . . . . 129

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

5.11 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

El concepto de función generalizada se ha desarrollado gracias a la Fı́sica Matemática y surgió

El presente volumen es un texto de la materia que satisface las necesidades y expectativas de

El libro se desarrolla en una introducción y cinco capı́tulos. En el primero se introducen los

1.1 Ampliación del concepto de función

Por ejemplo, la función de Weierstrass (1872):

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

Se demuestra que las coordenadas x, y de cada punto de L son funciones continuas de un

donde θ(x) = 1, ∀x > 0 y θ(x) = 0, ∀x < 0 es la función paso unitario de Heaviside.

Además, de la convergencia de fn (x) a f (x) no siempre se deduce la convergencia de fn0 (x) a

que en realidad es la integral entre a y b debido a cómo es ϕ(x).

Por tanto, ampliamos el concepto de función:

A continuación, formalizaremos axiomáticamente lo dicho:

1.2 Funciones de base y funciones generalizadas