Escolar Documentos
Profissional Documentos
Cultura Documentos
Ingenierı́a Aeroespacial
Curso 2017-2018
3 Series 31
3.1 Sucesiones y series de números complejos . . . . . . . . . . . . . . . . . . . . . . 31
3.2 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3 Integración y derivación de series de potencias . . . . . . . . . . . . . . . . . . . . 35
3.4 Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.5 Ceros de funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.6 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
i
ii ÍNDICE GENERAL
4 Residuos y polos 41
4.1 Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Clasificación de singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.3 Cálculo efectivo de residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.4 Aplicación al cálculo de integrales reales . . . . . . . . . . . . . . . . . . . . . . . 45
4.4.1 Integrales trigonométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.4.2 Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5 La transformada Z 51
5.1 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.2 Cálculo práctico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.3 Inversión de la transformada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.4 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6 Series de Fourier 57
6.1 Periodicidad y ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.2 Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.3 Funciones pares e impares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
6.4 Convergencia global . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.5 Forma compleja de la serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 68
6.6 Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
8 La ecuación de Laplace 87
8.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
8.2 Resultados generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
8.3 Representaciones integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
8.4 Problema de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.4.1 Fórmula integral de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.5 Problema de Laplace en el exterior de un disco . . . . . . . . . . . . . . . . . . . 98
8.6 Problema de Laplace en un anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.7 Problema de Laplace en un rectángulo . . . . . . . . . . . . . . . . . . . . . . . . 101
8.8 Ecuación de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8.9 Problema de Poisson en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
8.10 Problema de Poisson en un rectángulo . . . . . . . . . . . . . . . . . . . . . . . . 109
Bibliografı́a 163
Introducción 1
El nuevo concepto de enseñanza y aprendizaje que se introduce con las nuevas titulaciones
de Grado hace que cambie la forma tradicional de impartir la clase por el profesor y de recibirla
por el alumnado. No se trata sólo de presentar unos conocimientos, sino que hay que trabajarlos
para que estos se incorporen al saber y saber hacer de los alumnos.
Estas notas tan sólo pretenden facilitar este proceso para que los alumnos tengan a mano los
distintos ámbitos de conocimiento que se pretenden abordar en esta asignatura y surgen como
una recopilación de las notas elaboradas para impartir la asignatura de Métodos Matemáticos
en la Escuela de Ingenierı́a Aeroespacial y del Espacio de la Universidad de Vigo.
Espero que estas notas sean útiles a todos sus posibles lectores.
2 Introducción
Tema 1
Re(z) = a, Im(z) = b.
Si denotamos 1 = (1, 0), i = (0, 1), se escribe z = (a, b) = a(1, 0) + b(0, 1) = a + bi (es la
llamadada forma binómica). El número complejo i = (0, 1) (en ocasiones se utiliza j), se
llama unidad imaginaria. Los números complejos de la forma (0, b) son llamados imagina-
rios puros. Ası́, denotaremos el conjunto de los números complejos como C = {a+bi/a, b ∈ R}.
Eje imaginario
y ✻
z = (a, b)
b •
i ✻
✲ Eje real
a x
Operaciones en C
• Suma: Sean z1 = a1 + b1 i, z2 = a2 + b2 i dos números complejos. Se define su suma como
3
4 1. Números complejos y funciones analı́ticas
1. z1 + z2 = z1 + z2 , z1 · z2 = z1 · z2 .
2. z + z̄ = 2 Re(z), z − z̄ = 2i Im(z).
3. z̄¯ = z.
Definición 1.3√ Se define el módulo de un número complejo z = (a, b) como el número real no
negativo |z| = a2 + b2 . Esta magnitud representa la distancia en R2 entre el punto (a, b) y el
origen (0, 0).
1.1 Introducción a los números complejos 5
Proposición 1.4
1. |z|2 = ( Re(z))2 + ( Im(z))2 .
3. z · z̄ = |z|2 .
Coordenadas polares
Sean (r, θ) las coordenadas polares del punto del plano (a, b) correspondiente al número
complejo z = a + bi 6= 0.
✻
z = (a, b)
b •
r
i ✻
θ
✲
a
a = r cos(θ), b = r sen(θ).
Entonces:
r es el módulo de z, pues: p
r= x2 + y 2 = |z|.
θ es el argumento de z: es el ángulo en [0, 2π) que forma z con el eje real positivo. Se verifica:
a
cos(θ) = r
arg(z) = θ tal que
sen(θ) = b
r
Observación 1.1
1. Para un z dado, el argumento puede tomar infinitos valores, pues si θ es argumento de z
también lo será θ + 2kπ, ∀k ∈ Z.
Se denomina determinación principal del argumento de z, denotado por Arg(z), al
único valor de arg(z) tal que −π < Arg(z) ≤ π. Por tanto, cuando z es un número real
negativo Arg(z) vale π.
6 1. Números complejos y funciones analı́ticas
Ası́, la forma polar del complejo se denota por [r]θ . Además, |z| cos(θ) = a, |z| sen(θ) = b.
De este modo
z = a + bi = |z|(cos(θ) + i sen(θ))
es la llamada forma trigonométrica de z.
Utilizando las fórmulas trigonométricas para el seno y el coseno de la suma, se obtiene que si
z1 = r1 (cos(θ1 ) + sen(θ1 )i) y z2 = r2 (cos(θ2 ) + sen(θ2 )i) son dos números complejos entonces:
1. z1 · z2 = r1 · r2 (cos(θ1 + θ2 ) + isen(θ1 + θ2 )).
1
2. z1−1 = (cos(−θ1 ) + isen(−θ1 )).
r1
z1 r1
3. = (cos(θ1 − θ2 ) + isen(θ1 − θ2 )).
z2 r2
4. Utilizando la fórmula de Moivre: (cos(θ) + isen(θ))n = (cos(nθ) + isen(nθ)) se tiene:
z n = r n (cos(nθ) + isen(nθ)), n ∈ Z.
Las fórmulas para el producto y las potencias de números complejos resultan más sencillas
cuando se utiliza la forma exponencial:
1. z1 · z2 = r1 eiθ1 · r2 eiθ2 = r1 r2 ei(θ1 +θ2 ) .
z1 r1 eiθ1 r1 i(θ1 −θ2 )
2. = iθ
= e .
z2 r2 e 2 r2
3. z n = (r eiθ )n = r n ei(nθ) .
Las raı́ces n-ésimas de la unidad son aquellos complejos z tales que z n = 1.
Si z = r(cos(θ) + isen(θ)), como Arg(1) = 0, se tiene:
r n = 1 ⇒ r = 1.
2kπ
, k ∈ Z.
nθ = 0 + 2kπ ⇒ θ =
n
Entonces, debido a la periodicidad del seno y el coseno, existen únicamente n raı́ces n-ésimas
distintas de la unidad, que son:
2kπ 2kπ
z = cos( ) + isen( ), k = 0, 1, . . . , n − 1.
n n
1.2 Funciones de variable compleja 7
Observación 1.2
1. Geométricamente, las raı́ces n-ésimas de la unidad corresponden a los vértices de un
polı́gono regular de n lados inscrito en la circunferencia unidad centrada en el origen,
y con uno de sus vértices en 1.
2. Si llamamos:
2π 2π
ωn = cos( ) + isen( ),
n n
entonces las n raı́ces n-ésimas de la unidad son:
1, ωn , ωn2 , . . . , ωnn−1 .
Sea ω = ρ(cos(φ) + isen(φ)) un número complejo cualquiera. Entonces las raı́ces n-ésimas de ω
son:
1/n φ + 2kπ φ + 2kπ
ρ cos( ) + isen( ) , k = 0, 1, . . . , n − 1.
n n
A diferencia de las funciones de variable y valor reales que se pueden representar fácilmente
por medio de curvas en un plano cartesiano, la función de variable y valor complejo w = f (z)
con w, z ∈ C no puede ser representada directamente por necesitar para ello cuatro dimensiones.
Si z = x + iy, w = u + iv y w = f (z) se cumple entonces que
donde u y v son dos funciones reales de variable real (x, y), denominadas respectivamente la
parte real y la parte imaginaria de f.
z
Ejemplo 1.2 Obtener la parte real y la parte imaginaria de la función f (z) = .
z+1
Mientras que con las representaciones de módulo, argumento, componentes real e imaginaria
de funciones de variable compleja se intenta observar cómo varı́an individualmente éstas con
respecto a todo el plano complejo C, con los llamados mapeos o transformaciones se estudia
cómo es transformada una región especı́fica del plano z (que puede ser una recta, una banda,
un cı́rculo, etc.) en otra región del plano w cuando se aplica w = f (z).
La idea general de mapeo o transformación que realiza una función entre los conjuntos X y
Y proporciona otro modo de visualización y análisis que se utiliza frecuentemente en ingenierı́a
8 1. Números complejos y funciones analı́ticas
Definición 1.5 Se define la transformación inversa de w = f (z) como aquella que logra
recobrar el valor de z a partir de su imagen, y se denota como z = f −1 (w), es decir:
No toda transformación tiene inversa, aunque en ingenierı́a son precisamente aquellas fun-
ciones invertibles las que encuentran mayor aplicación en casos como los mencionados.
Las propiedades de una función real de variable real se ponen de manifiesto mediante la
gráfica de la función, pero las funciones complejas no pueden representarse gráficamente ya que
tanto z como w están en un plano. Sin embargo, puede obtenerse información sobre la función
representando cómo transforma puntos, rectas, circunferencias, parábolas, . . .
•Traslación: Dado z0 ∈ C
f : z ∈ S ⊂ C −→ f (z) = z + z0 ∈ C
corresponde a una transformación o mapeo que representa una traslación pura del eje de coor-
denadas.
Ejemplo 1.3 Dada f (z) = z + 3 + 2i estudiar cómo traslada al segmento de recta que une los
puntos z1 = 1 − i y z2 = 4 + 2i.
f : z ∈ S ⊂ C −→ f (z) = z0 · z ∈ C
Por una parte, el módulo de z se ha modificado por un factor z0 ; y por otra parte, el ángulo se
ha incrementado una constante θ0 .
Ejemplo 1.4
1. Estudiar la transformación f (z) = iz sobre el segmento de recta que une los puntos
z1 = 2 − i y z2 = 3 + i.
1.2 Funciones de variable compleja 9
f : z ∈ S ⊂ C −→ f (z) = z̄ ∈ C
Ejemplo 1.5 Estudiar la transformación f (z) = z̄ + 4i para el segmento de recta que va del
origen al punto z = 3 − 5i.
•Inversión:
1
f : z ∈ S ⊂ C −→ f (z) = ∈C
z
1 1 1
Si z = reiθ , entonces = iθ = e−iθ .
z re r
Se muestra claramente la inversión, el interior de un cı́rculo se transforma en el exterior y el
exterior en el interior; y además el ángulo se invierte, tal como ocurre con el complejo conjugado.
•Transformación lineal:
f : z ∈ S ⊂ C −→ f (z) = αz + β, α, ∈ C
Ejemplo 1.6
1. Encontrar la imagen en el plano w de la región lineal y = 2x + 4 del plano z = x + iy
bajo la transformación w = 2z + 6. Encontrar los puntos fijos de esta transformación, y
su transformación inversa.
2. Estudiar la transformación:
1.3 Lı́mites
Definición 1.7 Sea f definida en todos los puntos de un entorno de z0 ∈ C, salvo, a lo sumo,
en z0 . Se dice que:
lim f (z) = w0
z→z0
si y sólo si se verifica:
Proposición 1.5
1. El lı́mite, si existe, es único.
lim f (z) = w0
z→z0
si y sólo si se verifica:
Ejemplo 1.7
iz i
1. lim =
z→1 2 2
2. Si f (z) = x2 sen(y) + i(x2 − y 2 )e−y , entonces lim f (z) = sen(1)
z→1+i
1.4 Continuidad
Definición 1.8 Una función f es continua en z0 ∈ C si y sólo si:
lim f (z) = f (z0 ).
z→z0
1.5 Derivación
Definición 1.9 Sea f definida en un entorno de z0 ∈ C. Se dice que f es derivable en z0 si,
por definición:
f (z) − f (z0 )
∃ lim .
z→z0 z − z0
Además, si el lı́mite existe, se denota por f ′ (z0 ).
Se dice que f es C-diferenciable en z0 si, por definición, existe una aplicación C-lineal Df (z0 ) :
C −→ C tal que:
|f (z0 + h) − f (z0 ) − Df (z0 )(h)|
lim = 0.
h→0 |h|
(El recı́proco no es cierto. Por ejemplo, f (z) = |z|2 es continua en todo z0 6= 0, pero no
derivable).
1.6 Ecuaciones de Cauchy-Riemann 13
Proposición 1.7
7. (Regla de la cadena)
Sean f derivable en z0 , g derivable en f (z0 ). Entonces:
∂u ∂v
(x0 , y0 ) = (x0 , y0 ),
∂x ∂y
∂u ∂v
(x0 , y0 ) = − (x0 , y0 ).
∂y ∂x
Además:
∂u ∂v
f ′ (z0 ) = (x0 , y0 ) + i (x0 , y0 )
∂x ∂x
∂v ∂u
= (x0 , y0 ) − i (x0 , y0 ).
∂y ∂y
b) Recı́procamente, si f está definida en un entorno del punto z0 , existen las derivadas parciales
de u y v respecto a x e y y son continuas en (x0 , y0 ), y se verifican las condiciones de Cauchy-
Riemann en (x0 , y0 ), entonces existe f ′ (z0 ).
Ejemplo 1.9
1. f (z) = f (x + iy) = ex cos y + iex seny = u(x, y) + iv(x, y) es una función compleja definida
en todo el plano complejo, las funciones coordenadas tienen derivadas parciales continuas
en todo el plano, y
ux (x, y) = ex cos y; vy (x, y) = ex cos y,
uy (x, y) = −e seny; vx (x, y) = ex seny,
x
Proposición 1.8
1. ez ∈ H(C).
d z
2. e = ez .
dz
3. ez1 +z2 = ez1 · ez2 .
4. f (z) = ez es periódica de periodo 2πi, es decir:
ez1 = ez2 ⇔ z1 − z2 = 2kπi, k ∈ Z.
5. ez 6= 0, ∀z ∈ C.
6. |ez | = eRe(z) .
7. ez = 1 ⇔ z = 2kπi, k ∈ Z.
Sea ω ∈ C, |ω| = 1. Se llama argumento de ω a cualquier número real θ tal que ω = eiθ . No
está unı́vocamente determinado.
z
Sea z ∈ C, z 6= 0. Se define el argumento de z como el argumento de . Es nuevamente una
|z|
función multivaluada.
Ejemplo 1.14
Arg(1) = 0, argπ/2 (1) = 0, argπ (1) = 2π.
La función:
Arg : z ∈ C − {0} −→ Arg(z) ∈ (−π, π] ⊂ R
es continua en C − H0 , donde H0 = {−r / r ∈ R+ }.
H0
1.9 Funciones analı́ticas elementales 17
Hα = {−reiα / r ∈ R+ }.
α ✲
Hα
Una vez vista la función argumento, estudiemos ahora la función logaritmo (en base e) y sus
determinaciones. El logaritmo está definido inicialmente para números reales positivos. Se
extiende a números complejos de la siguiente forma:
Dado que la función argumento admite diferentes determinaciones, lo mismo ocurrirá con el
logaritmo. Entonces, se define el logaritmo ı́ndice α de z como:
v ✻
β+π
α+π logβ (z)
logα (z)
β−π
α−π
π
Log(z) ✲
−π u
En la figura anterior se muestran las regiones de analiticidad de varias determinaciones del lo-
garitmo.
e−iθ 1
f ′ (z) = = .
r z
También se verifica:
eLog(z) = z, ∃ k ∈ Z/ Log(ez ) = z + 2kπi.
Por tanto, las funciones Log(z) y ez se consideran inversas al restringirlas a la banda R×(−π, π].
(De igual forma, logα (z) y ez son inversas al restringirlas a la porción del plano complejo R ×
(α − π, α + π].)
Proposición 1.9
d 1
1. logα (z) = .
dz z
2. log(z1 .z2 ) = log(z1 ) + log(z2 ).
(Es falso para Log. Por ejemplo: z1 = z2 = −1.)
z1
3. log( ) = log(z1 ) − log(z2 ).
z2
4. z n = en log(z) .
5. z 1/n = elog(z)/n .
z c = ec log(z) , ∀z 6= 0.
La función ası́ definida es multivaluada, pero si fijamos una determinación del logaritmo, enton-
ces ya es univaluada.
Entonces, la función:
zαc = ec logα (z) ,
es analı́tica en C − Hα . Además:
d c
z = c.zαc−1 .
dz α
Ejemplo 1.15
2. Evaluar (−i)i .
1.9 Funciones analı́ticas elementales 19
Entonces, la función:
czα = ez logα (c) ,
es analı́tica en todo C. Además:
d z
c = czα .logα (c).
dz α
ez − e−z
senh(z) = , ∀z ∈ C,
2
ez + e−z
cosh(z) = , ∀z ∈ C.
2
Proposición 1.11
6. senh(z) = 0 ⇔ z = kπi, k ∈ Z.
2k + 1
cosh(z) = 0 ⇔ z = πi, k ∈ Z.
2
ω = arcsen(z) ⇒ sen(ω) = z ⇒
eiω − e−iω
= z ⇒ (eiω )2 − 2izeiω − 1 = 0 ⇒
2i
p p
eiω = iz ± 1 − z 2 ⇒ iω = log(iz ± 1 − z 2 ) ⇒
p
arcsen(z) = −i log(iz ± 1 − z 2 ).
Definición 2.2 Sea w : [a, b] −→ C una función compleja de variable real continua a trozos. Se
define la integral en [a, b] de w de la forma:
Z b Z b Z b
w(t)dt = u(t)dt + i v(t)dt.
a a a
Ejemplo 2.1
π/6 π/6 π/6
√
3 i
Z Z Z
i2t
e dt = cos(2t)dt + i sen(2t)dt = + .
0 0 0 4 4
Proposición 2.1
Z b Z b
1. Re w(t)dt = Re(w(t))dt.
a a
Z b Z b
2. Im w(t)dt = Im(w(t))dt.
a a
Z b Z b Z b
3. (w(t) + z(t))dt = w(t)dt + z(t)dt.
a a a
21
22 2. Integración en el campo complejo
Z b Z b
4. ∀z0 ∈ C, z0 · w(t)dt = z0 · w(t)dt.
a a
Z b Z b
5. | w(t)dt| ≤ |w(t)|dt.
a a
Definición 2.3 Sea w : [a, b] −→ C una función compleja de variable real continua a trozos. Se
dice que w es derivable en t0 ∈ [a, b] si existe:
w(t0 + t) − w(t0 )
lim = w′ (t0 ).
t→0 t
Teorema 2.1 w derivable en t0 ⇔ u, v derivables en t0 .
Además, en ese caso:
w′ (t0 ) = u′ (t0 ) + iv ′ (t0 ).
Teorema 2.2 Sea w : [a, b] −→ C una función compleja de variable real continua a trozos.
Entonces:
1. La función z : [a, b] −→ C definida por:
Z x
z(x) = w(t)dt,
a
3. Si w es de clase 1 en [a, b] y g : [c, d] −→ g([c, d]) = [a, b] es de clase 1 en [c, d], entonces:
Z b Z d
w(t)dt = (w ◦ g)(x)g′ (x)dx.
a c
2.2 Contornos
Las integrales de funciones de variable compleja se definen sobre curvas del plano complejo, en
vez de intervalos sobre R.
t1 6= t2 ⇒ z(t1 ) 6= z(t2 ).
Una curva C es simple y cerrada (o de Jordan) si es simple salvo para z(a) = z(b).
Ejemplo 2.2
1. Todas las curvas estudiadas en R2 :
Definición 2.6 Una curva C se dice derivable de clase 1 si existen y son continuas en [a, b]
las derivadas x′ (t) e y ′ (t).
La función real:
|z ′ (t)| =
p
(x′ (t))2 + (y ′ (t))2 ,
permite definir la longitud de arco de C:
Z b
L= |z ′ (t)|dt.
a
Definición 2.7 Una curva C se dice regular si es una curva derivable de clase 1 y la derivada
no se anula en ningún punto.
Definición 2.8 Una curva regular a trozos se llama contorno, esto es: z ′ (t) continua a trozos,
z ′ (t) 6= 0, ∀t ∈ [a, b] salvo, a lo sumo, en un número finito de puntos.
Todo contorno simple cerrado C define dos dominios (un dominio es un conjunto abierto y cone-
xo) en el plano complejo que tienen a C como frontera común. Uno de los dominios es acotado
y se llama el interior de C. El otro, no acotado, se llama exterior de C.
La orientación positiva de un contorno simple cerrado es aquella tal que al recorrer el contorno
el interior queda a la izquierda.
es decir: Z Z b
f (z)dz = [u(x(t), y(t)) + iv(x(t), y(t))] · [x′ (t) + iy ′ (t)]dt
C a
Z b
= [u(x(t), y(t))x′ (t) − v(x(t), y(t))y ′ (t)]dt
a
Z b
+i [u(x(t), y(t))y ′ (t) + v(x(t), y(t))x′ (t)]dt
a
Z Z
= (u dx − v dy) + i (u dy + v dx).
C C
Proposición 2.2
1. Cualquier cambio de parametrización conservando la orientación no afecta a la integral.
Entonces: Z Z
f (z)dz = − f (z)dz.
−C C
C2
C1 •
• z3
• z2
z1
Consideramos C = C1 + C2 el contorno de z1 a z3 . Entonces:
Z Z Z
f (z)dz = f (z)dz + f (z)dz.
C C1 C2
C2
C •
• z3
• z2
z1
C1
Consideramos C = C1 − C2 = C1 + (−C2 ) el contorno de z1 a z2 . Entonces:
Z Z Z
f (z)dz = f (z)dz − f (z)dz.
C C1 C2
2.4 Teorema de Cauchy-Goursat 25
Z Z Z
5. (f (z) + g(z))dz = f (z)dz + g(z)dz.
C C C
Z Z
6. ∀z0 ∈ C, z0 · f (z)dz = z0 · f (z)dz.
C C
γ ✻
• i
✲
• −i
Observación 2.1 Goursat demostró el teorema pidiendo “menos hipótesis”. Basta con que f
sea analı́tica sobre C y en su interior para que el resultado se verifique:
Teorema 2.5 (Versión del teorema de Cauchy-Goursat para dominios múltiplemente conexos)
Sea C un contorno simple cerrado. Sean Cj , j = 1, . . . , n contornos simples cerrados en el
interior de C tales que los interiores de Cj no tengan puntos comunes entre sı́. Entonces, si R
es la región:
Xn
R = int(C) − int(Cj )
j=1
C1 R
C
C2
B z 4 + 9z 2
donde B es la frontera de la región R = {z ∈ C/ 1 < |z| < 2}, orientada positivamente.
2.5 Primitivas e independencia del camino 27
Recı́procamente:
Teorema 2.7 Sea f una función continua en un dominio D y tal que las integrales de f sobre
contornos contenidos en D son independientes del camino. Entonces f tiene primitiva F en D.
Teorema 2.8 Sean D un dominio y f una función continua en D. Entonces dos primitivas de
f en D difieren en una constante.
Observación 2.5 Por el teorema de Cauchy-Goursat, una función f analı́tica en un dominio D
simplemente conexo verifica que cualquier integral sobre un contorno C de D uniendo dos puntos
z1 y z2 es independiente del camino. Por tanto, por el teorema anterior, f tiene primitiva F en
D. Ası́ pues: Z
f (z)dz = F (z2 ) − F (z1 ).
C
Teorema 2.10 Sea f una función analı́tica sobre un contorno C simple cerrado orientado po-
sitivamente y en su interior. Sea z0 cualquier punto interior a C. Entonces:
1 f (z)
Z
′
f (z0 ) = dz.
2πi C (z − z0 )2
n! f (z)
Z
n)
f (z0 ) = dz.
2πi C (z − z0 )n+1
Teorema 2.11 Si f es una función analı́tica en z0 , entonces f tiene derivadas de todos los
órdenes en z0 y son analı́ticas en z0 .
entonces f es analı́tica en D.
es analı́tica en todo C.
Series
z : n ∈ N −→ z(n) = zn ∈ C,
En este caso lim zn = z0 . Si la sucesión no tiene lı́mite se dice que es divergente o que diverge.
n→∞
31
32 3. Series
Dada una sucesión de complejos {zn } se define la sucesión de sumas parciales {sn } como:
n
X
sn = z0 + z1 + · · · + zn = zm , ∀n ∈ N.
m=0
Proposición 3.1
∞
X
2. zn converge ⇒ lim zn = 0.
n→∞
n=0
∞
X ∞
X
3. |zn | converge ⇒ zn converge.
n=0 n=0
3.2 Series de potencias 33
El mayor disco centrado en z0 en el que la serie de potencias converge se llama disco de con-
vergencia.
Observación 3.1 La serie no puede ser convergente en ningún punto fuera de su disco de
convergencia, ya que en ese caso, según el teorema anterior, la serie convergerı́a en un disco
mayor. En los puntos de la frontera la serie puede ser convergente o no según el caso.
∞
X
Definición 3.2 Sea s(z) = an (z − z0 )n la suma de la serie de potencias y sea sn (z) =
n=0
n
X
am (z − z0 )m la suma parcial n−ésima. Se llama resto n−ésimo de la serie:
m=0
Teorema 3.2 Si z1 es un punto interior del disco de convergencia de una serie de potencias
centrada en z0 , entonces la serie es uniformemente convergente en el disco cerrado
|z − z0 | ≤ |z1 − z0 |.
∞
X
Corolario 3.1 La función suma de la serie s(z) = an (z − z0 )n es continua en el interior de
n=0
su disco de convergencia.
∞
X
Se recuerda que el radio de convergencia ρ de una serie an (z − z0 )n es el supremo de los
n=0
números reales no negativos r = |z − z0 | para los que la serie
∞
X
|an |r n
n=0
34 3. Series
es convergente. Entonces, para la determinación de ρ se pueden utilizar los dos siguientes crite-
rios de convergencia de series de números no negativos:
Criterio de Cauchy:
Sea {αn } una sucesión de números reales no negativos y sea
l = lim αn 1/n .
∞
X
Entonces, si l < 1 la serie αn es convergente, si l > 1 la serie es divergente y, si l = 1 el
n=0
criterio no decide.
Criterio de D’Alembert:
Sea {αn } una sucesión de números reales positivos. Entonces, si
αn+1
lim <1
αn
∞
X
la serie αn es convergente, si
n=0
αn+1
lim >1
αn
la serie es divergente y, si
αn+1 αn+1
lim ≤ 1 ≤ lim
αn αn
el criterio no decide.
1
ρ= .
lim |an |1/n
1 1
ρ1 = |an+1 |
≤ρ≤ |an+1 |
= ρ2 .
lim |an | lim |an |
3.3 Integración y derivación de series de potencias 35
ρ
1
ρ
2
Corona de convergencia.
1
ρ= .
|an+1 |
lim
n→∞ |an |
Ejemplo 3.1
∞
X zn
1. , ρ = ∞.
n!
n=0
∞
X zn
2. , ρ = 1.
n2
n=0
∞
X nn z n 1
3. , ρ= .
n=0
n! e
∞
2
X
4. zn , ρ = 1.
n=0
∞
X 1
5. zn = si |z| < 1. Además, ρ = 1.
1−z
n=0
Ejemplo 3.2
1
1. Calcular la serie de Taylor de f (z) = en torno al punto z0 = 0.
1 − z2
2. Calcular la serie de Taylor de la función anterior en torno al punto z0 = 2.
−3z − 30
3. Calcular la serie de Taylor de f (z) = en torno al punto z0 = 1.
(z + 4)2 (z − 2)
f (n (z0 )
con an = , ∀n ∈ N.
n!
Si f (i (z0 ) = 0, i = 0, 1, . . . , m − 1, f (m (z0 ) 6= 0, entonces, para el disco |z − z0 | < R se tiene:
∞
X
f (z) = (z − z0 )m . am+n (z − z0 )n ,
n=0
f (z) = (z − z0 )m .g(z),
En muchas ocasiones es posible hallar una representación de f (z) en forma de una serie que
contiene tanto potencias positivas como potencias negativas de (z − z0 ).
donde:
1 f (z)
Z
an = dz, n = 0, 1, 2, . . .
2πi C1 (z − z0 )n+1
1 f (z)
Z
bn = dz, n = 1, 2, 3, . . .
2πi C0 (z − z0 )−n+1
38 3. Series
R0
R1
Las propiedades vistas para series de potencias siguen siendo válidas para las series de Lau-
rent si consideramos los dominios apropiados.
Ası́, si denotamos:
1
R= ,
lim |an |1/n
Observación 3.3
C
0 C
C
1
3.6 Series de Laurent 39
Ası́ se tiene:
∞
X
f (z) = cn (z − z0 )n
n=−∞
donde:
1 f (z)
Z
cn = dz, n = 0, ±1, ±2, . . .
2πi C (z − z0 )n+1
∞
1 X
=− z n , si |z| < 1
z−1
n=0
40 3. Series
Tema 4
Residuos y polos
4.1 Residuos
Definición 4.1 Un punto z0 se dice una singularidad (o punto singular) de f si y sólo si
f no es analı́tica en z0 , pero sı́ lo es en algún punto de cada entorno de z0 .
z+1
Ejemplo 4.1 La función tiene tres puntos singulares aislados en z = 0, z = ±i.
z 3 (z 2 + 1)
Al número:
1
Z
b1 = f (z)dz,
2πi C
Observación 4.1 Este resultado se puede interpretar como una generalización de la Fórmula
Integral de Cauchy.
41
42 4. Residuos y polos
Ejemplo 4.2 Utilizar el teorema de los residuos para calcular el valor de la integral
5z − 2
Z
dz
C z(z − 1)
Observación 4.2 El nombre de singularidad evitable se utiliza por el hecho de que si redefini-
mos la función en z0 de forma que sea continua, esto es:
sen(z) ,
z 6= 0
f (z) = z
1, z=0
2. lim (z − z0 ) · f (z) = 0.
z→z0
4. f es acotada en un entorno de z0 .
En el caso en que z0 es un polo, el residuo puede ser calculado de forma alternativa, según
se deduce del siguiente resultado de caracterización de polos:
1. z0 un polo de orden m de f.
2. lim (z − z0 )m · f (z) = c 6= 0.
z→z0
Observación 4.3
Φ(m−1 (z0 )
Res(f, z0 ) =
(m − 1)!
1 d(m−1
= lim {f (z) · (z − z0 )m }.
(m − 1)! z→z0 dz m−1
p(z)
Teorema 4.4 Sea la función f (z) = . Si z0 es un cero de orden m de p (p(z) = (z −
q(z)
z0 )m l(z), l(z0 ) 6= 0) y un cero de orden n de q (q(z) = (z − z0 )n r(z), r(z0 ) 6= 0), entonces:
Ejercicio 4.1
1. Sea
z
f (z) = .
(z − 1)(z + 1)2
Calcular y clasificar las singularidades de f . Determinar el residuo de f en cada una de
dichas singularidades.
cos(z)
(a)
z2
z
e −1
(b)
z2
z+1
(c)
z−1
4.4 Aplicación al cálculo de integrales reales 45
donde el integrando es una función racional de sen(θ) y cos(θ) pueden ser calculadas utilizando
el teorema de los residuos.
z = eiθ ,
teniendo en cuenta que si θ recorre el intervalo real [0, 2π] entonces z recorre, sobre el plano
complejo, la circunferencia unidad |z| = 1.
Dado que:
dz dz
dz = i eiθ dθ ⇒ dθ = = −i ,
iz z
eiθ − e−iθ 1 1
sen(θ) = = (z − ),
2i 2i z
eiθ + e−iθ 1 1
cos(θ) = = (z + ),
2 2 z
la integral trigonométrica se transforma en la integral compleja:
1 1 1 1 dz
Z
−i R( (z + ), (z − )) .
|z|=1 2 z 2i z z
En primer lugar, teniendo en cuenta que la función cos(θ) es par, es decir, toma los mismos
valores en el intervalo [0, π] que en [π, 2π], se puede escribir:
1 2π dθ
Z
I= .
2 0 a + cos(θ)
p
β = −a − a2 − 1, (|β| > 1),
y el residuo de f en α es:
1 1
Res(f, α) = = √ .
α−β 2 a2 − 1
Entonces:
π
I = −i 2πi Res(f, α) = √ .
a2−1
P (x)
donde el integrando es una función racional R(x) = tal que:
Q(x)
• el grado de denominador es, al menos, dos unidades mayor que el del numerador,
El procedimiento de cálculo consiste en integrar la función compleja R(z) sobre la curva cerrada
Cρ formada por el intervalo [−ρ, ρ] y la semicircunferencia γρ de centro 0 y radio ρ situada en
el semiplano superior.
γρ
Cρ
−ρ ρ
Por otra parte, utilizando la Propiedad 2.2.7 y debido a las hipótesis sobre R, se tiene:
Z
lim R(z) dz = 0,
ρ→∞ γ
ρ
4.4 Aplicación al cálculo de integrales reales 47
Z Z ∞
lim R(z) dz = R(x) dx.
ρ→∞ [−ρ,ρ] −∞
Por tanto: Z ∞ X
R(x) dx = 2πi Res(R, zk ).
−∞ Im(zk )>0
Por consiguiente:
∞
π
Z Z
R(x) dx = lim R(z) dz = .
−∞ ρ→∞ [−ρ,ρ] 2
En consecuencia:
1 π π
I= . = .
2 2 4
48 4. Residuos y polos
Veamos, finalmente, un ejemplo donde el denominador tiene raı́ces reales simples. En este
caso tendremos que utilizar el siguiente lema:
El integrando tiene tres polos simples −1, ±i. Por tanto, si tomamos ρ > 1 y ε suficientemente
pequeño, la curva Cρ,ε encierra en su interior al único polo i.
γρ Cρ,ε
i
γε
−1
−ρ −1−ε −1+ε ρ
Ası́ pues:
Z Z Z
R(z) dz = R(z) dz + R(z) dz
Cρ,ε [−ρ,−1−ε] γε
Z Z
+ R(z) dz + R(z) dz = 2πi Res(R, i).
[−1+ε,ρ] γρ
y por tanto:
1
Z
| R(z) dz| ≤ πρ · ,
γρ (ρ2 − 1)(ρ − 1)
que tiende a cero cuando ρ → ∞.
Además, por el lema previo, y dado que γε está orientado negativamente:
Z
lim R(z) dz = − π i Res(R, −1).
ε→0 γε
4.4 Aplicación al cálculo de integrales reales 49
La transformada Z
5.1 Definición
Un procedimiento general para tratar las ecuaciones en diferencias se puede seguir a partir de
la definición de la transformada Z.
Definición 5.1 Dada una sucesión de números complejos {an }n∈Z se define la transformada
Z de {an } como la serie:
∞
X
f (z) = an z −n , r1 < |z| < r2 .
n=−∞
Observación 5.1
∞
X
1. Si la serie de Laurent an ω n tiene como región de convergencia el anillo r < |ω| < R,
n=−∞
entonces:
1 1
r1 = , r2 = .
R r
2. En consecuencia, la función f es analı́tica en la región r1 < |z| < r2 .
3. La función f es única.
siendo f1 analı́tica en la región r1 < |z| y f2 analı́tica en la región |z| < r2 . Entonces, si
r2 < r1 , el dominio de convergencia es vacı́o y f no existe.
51
52 5. La transformada Z
Ejemplo 5.1
1
en dicha corona. (Es decir, los coeficientes del desarrollo en serie de Laurent de f en ω = .)
z
Este problema tiene sentido siempre que f sea analı́tica en la corona.
Definición 5.2 La transformada inversa Z de {f (z), r1 < |z| < r2 }, donde f es una función
analı́tica en la corona, es la sucesión de números complejos {an }n∈Z tal que:
∞
X
f (z) = an z −n ,
n=−∞
Aplicando los resultados para series de Laurent, los coeficientes an vienen dados por:
1
Z
an = z n−1 f (z)dz, n ∈ Z,
2πi C
donde C es cualquier circunferencia centrada en el origen y de radio r con r1 < r < r2 , recorrida
en el sentido positivo.
donde zk recorre las singularidades aisladas de la función z n−1 f (z) que se encuentran en el in-
terior de C.
Por tanto: X
an = Res(z n−1 f (z), zk ).
|zk |≤r1
Observación 5.2 Puesto que la función f (z) es analı́tica en la corona r1 < |z| < r2 , las
singularidades aisladas de la función z n−1 f (z) en el interior de C sólo pueden ser el cero y las
singularidades de f (z) con |zk | ≤ r1 .
z3
f (z) = , 1 < |z| < ∞
z−1
es la sucesión:
1, n ≥ −2
an =
0, n < −2
es la sucesión:
0, n≥1
an =
2−n − 3n−1 , n<1
es la sucesión:
22−n ,
n≥0
an =
4 − 2n, n<0
5.4 Propiedades 55
5.4 Propiedades
Sean dos sucesiones {an }n∈Z , {bn }n∈Z y sean sus respectivas transformadas Z:
∞
X
f (z) = an z −n , r1 < |z| < r2 ,
n=−∞
∞
X
g(z) = bn z −n , r1′ < |z| < r2′ .
n=−∞
Sean también α, β ∈ C; m ∈ Z.
Entonces la sucesión {cn }n∈Z tiene como transformada Z la función h(z) definida de la
manera siguiente:
2. cn = an−m , (traslación)
h(z) = z −m f (z), r1 < |z| < r2 .
3. cn = αn an , α 6= 0, (modulación)
z
h(z) = f ( ), |α|r1 < |z| < |α|r2 .
α
4. cn = nan , (derivación)
h(z) = −zf ′ (z), r1 < |z| < r2 .
5. cn = a−n , (simetrı́a)
1 1 1
h(z) = f ( ), < |z| < | .
z r2 r1
∞
X
6. cn = an ∗ bn = ak bn−k , (convolución discreta)
k=−∞
h(z) = f (z).g(z), max{r1 , r1′ } < |z| < min{r2 , r2′ }
7. cn = an bn , (convolución compleja)
1 z dz ′
Z
h(z) = f ( ′ )g(z ′ ) ′ , r1 r1′ < |z| < r2 r2′
2πi C z z
donde C es cualquier circunferencia de centro el origen y radio r tal que r1′ < r < r2′ .
56 5. La transformada Z
Tema 6
Series de Fourier
donde an , bn ∈ R son los coeficientes de la serie, que converge a f (x) en un cierto sentido.
Comenzaremos por el estudio de algunas propiedades de las funciones cos( nLπ x) y sen( nLπ x),
que permiten calcular la serie de Fourier de una función f (x).
57
58 6. Series de Fourier
Sabiendo que cos(x+2kπ) = cos(x) para cualquier entero k, para que se cumpla la igualdad
se necesita que
T /3 = 2k1 π, T /4 = 2k2 π
Es decir
T = 6k1 π = 8k2 π, k1 , k2 ∈ Z
1.5
0.5
f(t)
−0.5
−1
−1.5
−2
0 50 100 150 200 250
t
4. Cabe destacar que la suma de funciones seno y coseno puede no ser periódica. Por ejemplo,
sea f (t) = cos(ω1 t) + cos(ω2 t). Para que sea periódica debemos encontrar dos números
enteros tales que
ω1 t = 2 π m, ω2 t = 2 π n
De donde
ω1 m
=
ω2 n
Es decir, la relación ω1 /ω2 debe ser un número racional. De esta forma, la función cos(3t)+
cos((3 + π)t) no es periódica, pues
ω1 3
=
ω2 3+π
no es un número racional.
6.1 Periodicidad y ortogonalidad 59
1.5
0.5
f(t)
0
−0.5
−1
−1.5
−2
0 5 10 15 20 25 30
t
Definición 6.3 Dadas dos funciones f (x), g(x) continuas en el intervalo [a, b], se dice que am-
bas son ortogonales sobre dicho intervalo si
Z b
f (x) g(x) dx = 0
a
Proposición 6.1 Las funciones {1, cos( nLπ x), sen( nLπ x)} son ortogonales entre sı́ sobre el in-
tervalo [−L, L]. Como consecuencia se tiene:
Z L
nπ mπ 0 si n 6= m
cos( x) cos( x) dx = L si n = m 6= 0
−L L L
2L si n = m = 0
Z L
nπ mπ 0 si n 6= m
sen( x) sen( x) dx = (6.1)
−L L L L si n = m
Z L
nπ mπ
cos( x) sen( x) dx = 0, ∀n, m
−L L L
L
nπ
Z
1 · sen( x) dx = 0, n ∈ N
−L L
b) La función cos( nLπ x) es ortogonal a sen( mLπ x), ∀n, m.
Para demostrarlo utilizamos las fórmulas
Si n = m se tiene que
nπ nπ 1 2n π
cos( x) sen( x) = sen x
L L 2 L
por tanto
L
1 2n π
Z
sen x dx = 0, n ∈ N
−L 2 L
Si n 6= m se tiene que
nπ mπ 1 (n + m) π (n − m) π
cos( x) sen( x) = sen x − sen x
L L 2 L L
y entonces
L
1 (n + m) π
Z
sen x dx = 0,
−L 2 L
Z L
1 (n − m) π
sen x dx = 0.
−L 2 L
c) La función cos( nLπ x) es ortogonal a cos( mLπ x), n 6= m.
Ahora utilizamos las fórmulas
cos(a + b) = cos(a) cos(b) − sen(a) sen(b)
cos(a − b) = cos(a) cos(b) + sen(a) sen(b)
Entonces
Z L L
nπ mπ 1 (n + m) π (n − m) π
Z
cos( x) cos( x) dx = cos x + cos x =0
−L L L −L 2 L L
d) La función sen( nLπ x) es ortogonal a sen( mLπ x), n 6= m.
Se obtiene de forma semejante.
6.2 Convergencia
Una vez estudiadas las propiedades de periodicidad y ortogonalidad de las funciones que inter-
vienen en la serie de Fourier, vamos a ver cómo bajo la hipótesis de convergencia de la serie el
cálculo de los coeficientes an , bn resulta sencillo.
Teorema 6.1 Supongamos que la función continua y periódica f (x), de perı́odo 2 L, se puede
representar por la serie de Fourier:
∞
a0 X nπ nπ
+ an cos( x) + bn sen( x)
2 L L
n=1
que converge uniformemente en [−L, L]. Entonces:
1 L
Z
a0 = f (x) dx
L −L
1 L nπ
Z
an = f (x) cos( x) dx, n = 1, 2, . . .
L −L L
1 L nπ
Z
bn = f (x) sen( x) dx, n = 1, 2, . . .
L −L L
6.2 Convergencia 61
De la misma forma:
Z L Z L
mπ a0 mπ
f (x) cos( x) dx = cos( x) dx
−L L −L 2 L
∞ Z L Z L
X nπ mπ nπ mπ
+ an cos( x) cos( x) dx + bn sen( x) cos( x) dx
−L L L −L L L
n=1
= am L, n = 1, 2, . . .
Definición 6.4 Se puede definir la serie de Fourier de una función f (x) definida en un intervalo
a+b
[a, b] haciendo una traslación del punto medio al origen. Entonces:
2
a+b a−b a+b b−a
−l = a − = , l =b− =
2 2 2 2
De modo que se puede escribir:
∞
! !!
a0 X nπ nπ
f (x) = + an cos b−a
x + bn sen b−a
x
2 n=1 2 2
donde:
b
2
Z
a0 = f (x) dx
b−a a
b
2 2nπ
Z
an = f (x) cos x dx, n = 1, 2, . . .
b−a a b−a
Z b
2 2nπ
bn = f (x) sen x dx, n = 1, 2, . . .
b−a a b−a
donde p
Cn = a2n + b2n
62 6. Series de Fourier
an bn bn
cos(θn ) = p , sen(θn ) = p , θn = arctan
a2n + b2n a2n + b2n an
π 2π
siendo ω0 = o según la fórmula que se haya utilizado anteriormente.
L b−a
La componente sinusoidal de frecuencia ωn = n ω0 se denomina n-ésimo armónico de
la función periódica. El primer armónico se denomina fundamental porque tiene el mismo
perı́odo que la función y
2π
ω0 =
T
se denomina frecuencia angular fundamental. La componente C0 se denomina compo-
nente de corriente directa (cd) y corresponde al valor promedio de f (x) en cada perı́odo.
Los coeficientes Cn se llaman amplitudes armónicas y los ángulos θn son los ángulos de fase.
Definición 6.5 Se dice que una función f es continua a trozos sobre [a, b] ⊂ R, si f es
continua salvo en un número finito de puntos, en los que presenta discontinuidades de salto (el
lı́mite a derecha e izquierda existe y es finito).
cuyos coeficientes vienen dados por (6.1), converge puntualmente a f (x0 ) en los puntos x0 donde
f es continua y converge puntualmente a
1
( lim f (x) + lim f (x))
2 x→x+ 0 x→x−0
✻
l
✛ ✲
−2L −L 0 L 2L x
de forma que f es continua a trozos sobre [−L, L] y f ′ también es continua a trozos. De modo
que la serie de Fourier debe converger a f (x) sobre [−L, L] salvo en x = 0 donde lo hará a L/2
y en x = −L, x = L donde también lo hará a L/2.
Si derivamos la función del lado izquierdo obtenemos la función 1. Sin embargo, si derivamos
formalmente término a término la función de la derecha llegamos a
∞
X n π
2 (−1)n+1 cos x
n=1
L
64 6. Series de Fourier
que es una serie de cosenos, pero no la que corresponde a la serie de cosenos de f (x) = 1 (que
es simplemente 1.)
Esta dificultad surge siempre que la serie de fourier de f (x) tiene una discontinuidad de
salto. La derivación término a término no está justificada en estas situaciones.
Teorema 6.5 Sea f una función de clase C 2 en R, periódica de perı́odo 2 L entonces la serie
de Fourier obtenida al derivar dos veces término a término la serie asociada a f converge
puntualmente a f ′′ .
Observación 6.3 Para calcular los coeficientes de la serie de Fourier, el intervalo de integración
no necesita ser simétrico respecto al origen. Como la ortogonalidad de las funciones seno y
coseno no sólo se da en el intervalo [−T /2, T /2], sino en cualquier intervalo que cubra un perı́odo
completo (de t0 a t0 + T con t0 arbitrario), las fórmulas anteriores pueden calcularse en cualquier
intervalo que cumpla este requisito.
f (x) = f (−x), ∀x ∈ D ⊂ R
f (x) = −f (−x), ∀x ∈ D ⊂ R
Ejemplo 6.3
Proposición 6.2
5. El producto de una función par y una función impar es una función impar.
Z L Z L
6. Si f (x) es una función par f (x) dx = 2 f (x) dx.
−L 0
Z L
Si f (x) es una función impar f (x) dx = 0.
−L
Definición 6.7 Sea f : [0, L] → R una función continua a trozos. Se denomina extensión par
de perı́odo 2 L a la función fp definida
f (x), x ∈ [0, L]
fp (x) = y fp (x + 2L) = fp (x), x ∈ R
f (−x), x ∈ [−L, 0]
con
L L
2 2 nπ
Z Z
a0 = f (x) dx; an = f (x) cos( x) dx, n ∈ N
L 0 L 0 L
Definición 6.8 Sea f : [0, L] → R una función continua a trozos. Se denomina extensión
impar de perı́odo 2L a la función fi definida
f (x), x ∈ (0, L]
fi (x) = 0, x=0 y fi (x + 2L) = fi (x), x ∈ R
−f (−x), x ∈ [−L, 0]
con
L
2 nπ
Z
bn = f (x) sen( x) dx, n ∈ N
L 0 L
Definición 6.9 Sea Sn (x) la serie de Fourier asociada a una función f (x):
n
a0 X mπ mπ
Sn (x) = + am cos( x) + bm sen( x)
2 m=1
L L
66 6. Series de Fourier
Z L
Teorema 6.7 Sea f una función integrable sobre (−L, L) tal que f 2 (x) dx < ∞. Sea Sn (x)
−L
su serie de Fourier asociada:
n
a0 X mπ mπ
+ am cos( x) + bm sen( x)
2 L L
m=1
1 L nπ
Z
bn = f (x) sen( x) dx, n = 1, 2, . . .
L −L L
entonces, se tiene:
1. La serie de Fourier Sn (x) converge a f (x) en el sentido de los mı́nimos cuadrados
lim En2 = 0
n→∞
n
!2
L L
1 1 a0 X mπ mπ
Z Z
Sn2 (x) dx = + (am cos( x) + bm sen( x) dx
2L −L 2L −L 2 L L
m=1
n
1 1 2 X
= [ a 2L + (a2m L + b2m L)]
2L 4 0
m=1
n
1 a2 X
= [ 0+ (a2m + b2m )]
2 2 m=1
68 6. Series de Fourier
Y entonces:
L n
1 1 a20 X 2
Z
En2 = 2
f (x) dx − [ + (am + b2m )]
2L −L 2 2
m=1
(conocida como desigualdad de Bessel). Se tiene una serie monótona creciente y acotada
superiormente, de modo que dicha serie es convergente, obteniéndose:
Z L n
2 1 1 a2 X
lim En = f 2 (x) dx − lim [ 0 + (a2m + b2m )]
n→∞ 2 L −L n→∞ 2 2
m=1
Falta
Z Lmostrar ahora que dicho lı́mite es cero, o de forma equivalente, que la suma de la serie es
1
2L f 2 (x) dx. Esta parte de la demostración es difı́cil y se omitirá. Supuesto que
−L
lim En2 = 0
n→∞
Consideremos la serie de Fourier de una función periódica f (t) con perı́odo T = 2π/ω0
∞
a0 X
f (t) = + (an cos(n ω0 t) + bn sen(n ω0 t)) (6.2)
2
n=1
1
Dado que = −i, podemos expresar f (t) como:
i
∞
a0 X 1 1
f (t) = + (an − ibn )einω0 t + (an + ibn )e−inω0 t
2 2 2
n=1
Si definimos:
a0 1 1
c0 = , cn = (an − ibn ), c−n = (an + ibn ) (6.3)
2 2 2
entonces:
∞
X
f (t) = c0 + (cn einω0 t + c−n e−inω0 t )
n=1
∞
X −∞
X
= c0 + cn einω0 t + cn einω0 t
n=1 n=−1
∞
X
= cn einω0 t
n=−∞
T /2
1
Z
cn = f (t)e−inω0 t , n = 0, ±1, ±2, ±3, . . .
T −T /2
Los coeficientes cn son números complejos y también pueden escribirse en forma polar:
cn = |cn |eiφn
donde:
1p 2 bn
|cn | = an + b2n , φn = arctan(− ), n 6= 0
2 an
a0
Para n = 0, c0 es un número real: c0 = .
2
6.6 Espectro
Definición 6.10 La gráfica de la magnitud de los coeficientes complejos cn de la forma comple-
ja de la serie de Fourier frente a la frecuencia angular ω se denomina espectro de amplitud
de la función periódica f (t).
Como el ı́ndice n toma solamente valores enteros, los espectros de amplitud y fase no son cur-
vas continuas, sino que aparecen en la variable discreta nω0 . Por consiguiente, se les denomina
espectros de frecuencia discreta o espectros de lı́nea.
70 6. Series de Fourier
A una función periódica f (t) le corresponde una única serie de Fourier, es decir, le corres-
ponde un conjunto único de coeficientes cn . Por ello, los coeficientes cn definen a f (t) en el
dominio de la frecuencia de la misma manera que f (t) define la función en el dominio del
tiempo.
1 1 1
Ejemplo 6.4 Si f (x) = 1 + sen x + cos x + 2 cos(2 x) + 5 sen(3 x) + 4 cos(4 x) su espectro
(discreto) viene dado por los valores:
√
n=0→1, n=1→ 2 , n = 2 → 1/2
n = 3 → 1/5 , n = 4 → 1/4 , n ≥ 5 → 0
• • • • • • • • ✲n
0 1 2 3 4 5 6 7
p
Leyendo los valores de a2n + b2n podemos conocer la magnitud de la componente de f (x)
de frecuencia n.
Las funciones periódicas se pueden descomponer en series infinitas con espectro discreto,
mientras que las funciones no periódicas se descomponen en un espectro continuo de valores
(por supuesto, si la función se define únicamente sobre un intervalo finito, podemos extender la
función fuera del intervalo de forma periódica, de modo que se puede obtener la representación
en serie de Fourier para la función dentro del intervalo).
Si tenemos una función no periódica, podremos intentar escribirla como un análogo continuo
de la serie de Fourier, es decir:
Z ∞
f (x) = [c(ω) cos(ω x) + s(ω) sen(ω x)] d ω
−∞
donde las funciones c(ω) y s(ω) miden las componentes coseno y seno de f (x) y
p
c2 (ω) + s2 (ω)
7.1 Introducción
Este curso aborda el estudio de las Ecuaciones en Derivadas Parciales (E.D.P.) que aparecen en
numerosos aspectos de la Fı́sica Matemática.
Existen dos teorı́as para enfrentarse a estas ecuaciones:
• la teorı́a clásica,
• la teorı́a de distribuciones.
En cuanto a la utilidad del estudio de las ecuaciones en derivadas parciales, cabe destacar que la
mayorı́a de las leyes de la Fı́sica, como la ecuación de Maxwell, ley de Newton de enfriamiento,
la ecuación de Navier-Stokes, ecuaciones de Newton del movimiento o la ecuación de Schrödinger
de mecánica cuántica, están establecidas (o pueden establecerse) en términos de ecuaciones en
derivadas parciales, es decir, estas leyes describen fenómenos fı́sicos relacionando derivadas en
espacio y tiempo. Aparecen las derivadas en estas ecuaciones porque representan “cosas na-
turales” (velocidad, aceleración, fuerza, fricción, flujo, corriente). Ası́, tenemos ecuaciones que
relacionan derivadas parciales de alguna cantidad desconocida que nos gustarı́a encontrar.
71
72 7. Introducción a las Ecuaciones en Derivadas Parciales
7.2 Generalidades
Definición 7.1 Se define ecuación en derivadas parciales de orden k en Rn , a una
ecuación de la forma:
∂u ∂u ∂ 2 u ∂2u ∂2u ∂k u ∂k u
F (x1 , . . . , xn , u, ,··· , , , , · · · , , · · · , , · · · , )=0 (7.1)
∂x1 ∂xn ∂x1 2 ∂x1 ∂x2 ∂xn 2 ∂x1 k ∂xn k
Las ecuaciones más importantes en fı́sica e ingenierı́a son las de orden 1 y 2, sobre todo las
lineales de segundo orden.
En general, habrá infinitas funciones que sean solución de la ecuación en derivadas parciales
formando una familia de soluciones que dependerá de varios parámetros. Ası́, a menudo, se
planteará el problema de buscar una solución de la ecuación sobre un dominio D ⊂ Rn , someti-
do a unas ciertas condiciones sobre la frontera de D (∂D), que servirán para fijar las constantes
de integración y elegir una solución de la familia. Pero, ¿cómo pueden ser las condiciones sobre
∂D? La respuesta es que depende de la naturaleza de la ecuación en derivadas parciales.
Por otra parte, la definición de solución que se ha dado deja fuera de estudio muchas ecuaciones
importantes. Pensemos, por ejemplo, en la ecuación del potencial en electrostática cuando en
el campo solamente existe una carga en un punto x0 del mismo. En este caso la distribución
de carga es un múltiplo de la medida de Dirac f = q δ[x0 ], con q constante. Ası́, tenemos la
ecuación
−∆u = q δ[x0 ].
¿Qué sentido podemos dar a esta ecuación? ¿Qué entendemos por solución de dicha ecuación?
La respuesta no es posible en términos de derivadas clásicas. Definiremos el concepto de solución
en el sentido de distribuciones de una ecuación en derivadas parciales en temas posteriores.
A continuación veremos cómo se pueden clasificar las ecuaciones en derivadas parciales del
tipo anterior cuando los coeficientes son constantes, no dependen por tanto del punto donde se
encuentren.
7.2 Generalidades 73
Definición 7.3 Sea una ecuación en derivadas parciales lineal de segundo orden en Rn de
coeficientes constantes:
n n
X ∂2u X ∂u
aij + bi + c u = f (x)
∂xi ∂xj ∂xi
i,j=1 i=1
3. parabólico si p + q < n.
Groseramente, se ve que no se puede extender una clasificación ası́ de sencilla a las ecuaciones
en derivadas parciales no lineales, si las no linealidades están en las derivadas de orden superior,
sin hacer depender el carácter de la ecuación de la propia solución.
A continuación, veremos una clasificación más cómoda para el caso de una ecuación en derivadas
parciales en R2 .
Proposición 7.1 Sea una ecuación en derivadas parciales lineal de segundo orden y de coefi-
cientes constantes en R2 :
y sea
∆ = B 2 − 4AC
entonces:
Cabe recordar que esta clasificación se corresponde con la de las cónicas en el plano. La utilidad
de esta clasificación se basa en la posibilidad de reducir la expresión (7.2) a una forma canónica
mediante un adecuado cambio de variables independientes.
74 7. Introducción a las Ecuaciones en Derivadas Parciales
r = r(x, y) , s = s(x, y)
ux = ur rx + us sx
uy = ur ry + us sy
uxx = urr rx2 + 2urs rx sx + uss s2x + ur rxx + us sxx
uyy = urr ry2 + 2urs ry sy + uss s2y + ur ryy + us syy
uxy = urr rx ry + urs (rx sy + ry sx ) + uss sx sy + ur rxy + us sxy
En general esta ecuación va a tener coeficientes variables. Sin embargo, posee la misma estruc-
tura que la original y además su naturaleza no varı́a por la transformación, ya que
B̄ 2 − 4Ā C̄ = J 2 (B 2 − 4A C)
Supongamos que A 6= 0. Para obtener las formas canónicas buscadas tratamos de determinar
r = r(x, y) , s = s(x, y) de forma que en la ecuación (7.4) los términos Ā y C̄ sean idénticamente
cero. Esta condición proporciona las ecuaciones:
Ā = A rx2 + B rx ry + C ry2 = 0,
C̄ = A s2x + B sx sy + C s2y = 0.
Dado que tienen la misma estructura podemos estudiarlas como una sola:
Puesto que las curvas caracterı́sticas dependen de una constante arbitraria, basta elegir r como
una de ellas y s como la otra.De forma que
r = y − λ1 x
s = y − λ2 x (7.8)
expresión que se denomina primera forma canónica de las ecuaciones en derivadas parciales
hiperbólicas. Si introducimos un nuevo cambio de variables
α = r + s; β = r − s
obtenemos
uαα − uββ = D̃uα + Ẽuβ + F̃ u + f (α, β)
Esta expresión se denomina segunda forma canónica de las ecuaciones en derivadas parciales
hiperbólicas y será la que utilicemos en el método de separación de variables.
B
y= x + C1
2A
puesto que λ1 = λ2 . Por tanto, eligiendo
B
r=y− x,
2A
podemos considerar
s = k1 x + k2 y,
con k1 , k2 constantes cualesquiera, con la única condición de que el jacobiano sea distinto de cero.
Con la elección adecuada de estas constantes la ecuación en derivadas parciales se transforma
en
uss = −D̄ur − Ēus − F̄ u + f (r, s)
que es la forma canónica para la ecuaciones de tipo parabólico.
Ejemplo 7.1 Una lı́nea eléctrica se caracteriza desde el punto de vista de la propagación de
ondas por las magnitudes:
∂2E ∂2E ∂E
2
= L C 2
+ (R C + L G) + RGE
∂x ∂t ∂t
esta ecuación se denomina ecuación de los telegrafistas. Las propiedades de E dependen
esencialmente de los términos de segundo orden de la ecuación anterior.
Si L = G = 0, entonces
∂2E ∂E
2
= RC
∂x ∂t
este tipo de ecuaciones rigen numerosos problemas de difusión y en particular los problemas de
difusión del calor. La llamaremos indistintamente ecuación de difusión o ecuación del calor.
Si R = G = 0, entonces
∂2E ∂2E
= L C
∂x2 ∂t2
este tipo de ecuación corresponde a una propagación por ondas, será la ecuación de ondas.
78 7. Introducción a las Ecuaciones en Derivadas Parciales
En lo que sigue analizaremos qué tipo de condiciones de contorno y/o iniciales pueden asociarse
a cada una de las ecuaciones en derivadas parciales obtenidas. Las condiciones de contorno se
pueden agrupar en tres clases:
1. Condiciones Dirichlet:
u = g en ∂D.
2. Condiciones Neumann:
∂u
= g en ∂D.
∂~n
con ~n normal unitaria exterior a la frontera, proporcional al flujo entrante.
3. Condiciones Robin:
∂u
hu + = g en ∂D con h ∈ R.
∂~n
Por otro lado, las condiciones iniciales podrán asociarse:
1. Al estado inicial u.
∂u
2. A la velocidad inicial .
∂t
4. Ecuación de Schrödinger:
ih h2
ut = − 2 ∇u + V (x) u
2π 8π m
esencial en la descripción mecanocuántica de diferentes sistemas fı́sicos. Da la densidad de
probabilidad de que la posición de una partı́cula de masa m se encuentre en un elemento
de volumen, siendo h la constante de Plank.
Si se considera su resolución en un dominio D = [0, a] × [0, b] sobre su frontera podemos impo-
∂u ~ u · ~n. En
ner, en cada punto, el potencial u o bien el campo derivado del potencial = grad
∂~n
cualquier caso interpretamos la ecuación en derivadas parciales como un problema estacionario,
donde no interviene el tiempo, y las condiciones impuestas a la solución en ∂D como condiciones
de contorno.
y ✻
b
(x0 , y0 )
•
✲
0 a x
De igual forma la variable t indica que tenemos un problema de evolución con condiciones de
contorno y condiciones iniciales. Una vez más la necesidad de imponer este tipo de condiciones
proviene del carácter de la ecuación en derivadas parciales.
t ✻
T (x0 , t0 )
•
✲
0 x
l
∂u ∂2u
− α2 2 = f (x, t) ; 0 < x < l , 0 < t < T
∂t ∂x
u(0, t) + c1 ux (0, t) = g1 (t)
0<t<T
u(l, t) + c2 ux (l, t) = g2 (t)
u(x, 0) = h(x) , 0 < x < l
∂2u 2
2 ∂ u
− c = f (x, t)
∂t2 ∂x2
donde c2 = T /ρ.
Ecuaciones idénticas aparecen cuando se estudian las vibraciones longitudinales de una
barra elástica de sección transversal uniforme, con c2 = E/ρ, siendo E el módulo de
Young y ρ la densidad del material de la barra.
7.6 Ecuaciones hiperbólicas 81
t ✻
T (x0 , t0 )
•
✲
0 x
l
∂2u 2
2 ∂ u
− c = f (x, t) ; 0 < x < l , 0 < t < T
∂t2 ∂x2
u(0, t) + c1 ux (0, t) = g1 (t)
0<t<T
u(l, t) + c2 ux (l, t) = g2 (t)
u(x, 0) = h1 (x)
0<x<l
ut (x, 0) = h2 (x)
82 7. Introducción a las Ecuaciones en Derivadas Parciales
5. Métodos numéricos. En muchos casos esta es la única técnica que funcionará. Además,
hay otros métodos que intentan aproximar soluciones por superficies polinómicas (aproxi-
maciones spline).
10. Expansión de autofunciones. Este método intenta encontrar la solución de una ecua-
ción en derivadas parciales como una suma infinita de autofunciones. Estas autofunciones
se encuentran resolviendo lo que se conoce como problema de autovalores correspondiente
al problema original.
condiciones de frontera también homogéneas. Después veremos cómo se puede utilizar este pro-
cedimiento para obtener la solución en problemas no homogéneos.
Este método consiste en buscar la solución como un producto de dos funciones, dependientes
cada una de ellas de una de las variables. Es decir, supondremos
en el caso elı́ptico, y
u(x, t) = M (x)N (t)
en los casos hiperbólico y parabólico. Sustituyendo u por esta expresión en la correspondiente
ecuación en derivadas parciales y dividiendo a continuación por la propia función, se obtiene:
N ′′ (y) M ′′ (x)
− = caso elı́ptico
N (y) M (x)
1 N ′′ (t) M ′′ (x)
= caso hiperbólico
c2 N (t) M (x)
1 N ′ (t) M ′′ (x)
= caso parabólico
α2 N (t) M (x)
Puesto que los dos miembros de estas expresiones dependen de variables distintas, ambos deben
ser iguales a una constante. Denotando por λ esta constante de separación, se obtienen las
siguientes ecuaciones diferenciales ordinarias para M y N :
Observación 7.6 En principio toda ecuación en derivadas parciales tal que, al seguir este
procedimiento, dé lugar a ecuaciones diferenciales ordinarias en cada una de las variables podrá
resolverse mediante separación de variables. En particular, todas las ecuaciones en derivadas
parciales de segundo orden con coeficientes constantes presentan esta propiedad, salvo aquellas
que contienen derivadas cruzadas.
Una vez obtenidas las ecuaciones separadas exigimos que la función M (x) verifique las condi-
ciones de contorno. Si la solución u = M N verifica las condiciones de frontera homogéneas
en la correspondiente variable independiente, necesariamente M (x) debe verificarlas, pues, por
ejemplo:
u(0, t) + c1 ux (0, t) = 0 ⇒ ∀t ∈ R+ , N (t)[M (0) + c1 M ′ (0)] = 0 ⇒
M (0) + c1 M ′ (0) = 0
84 7. Introducción a las Ecuaciones en Derivadas Parciales
y lo mismo ocurre con las otras condiciones. Esto no podrı́a realizarse en el caso de que las
condiciones de frontera no fuesen homogéneas. Ası́ pues, la función M (x) debe ser solución del
problema regular de Sturm-Liouville:
M (0) + c1 M ′ (0) = 0
′′
M (x) = −λ M (x)
M (δ) + c1 M ′ (δ) = 0
1. La región del espacio donde se considere la ecuación en derivadas parciales debe ser tal que
las condiciones sobre su frontera puedan definirse sobre variables independientes de forma
separada. Por tanto, en determinadas circunstancias se hará un cambio de coordenadas
(polares, cilı́ndricas, esféricas, . . . ).
Entonces, para cada autovalor λn , n ∈ N, resulta una ecuación para Nn . Obtenidas las funciones
Mn , Nn , n ∈ N, cada uno de los productos
un = Mn Nn , n ∈ N
verifica la correspondiente ecuación en derivadas parciales junto con las condiciones de frontera
homogéneas. Para encontrar la solución consideramos la superposición formal de las funciones
un y construimos la serie
∞
X X∞
u= un = Mn Nn
n=1 n=1
en la que impondremos que u cumpla las condiciones que todavı́a no se han utilizado.
utt = c2 ∆ u
7.9 El operador Laplaciano 85
ut = α2 ∆ u
∆ u = uxx + uyy , (n = 2)
∆ u = uxx + uyy + uzz , (n = 3)
Sin embargo, a la hora de utilizar el método de separación de variables para resolver los proble-
mas de frontera y/o de valor inicial asociados a las ecuaciones en derivadas parciales conviene
disponer de la expresión del Laplaciano en otros sistemas de coordenadas. Se debe tener en
cuenta, sin embargo, que en la resolución de la mayor parte de los problemas que se plantean
en la práctica es preciso acudir a la simulación numérica.
r = (x2 + y 2 )1/2
x = r cos θ
ó ; (x, y) ∈ R2 − {(0, 0)}
y = r sen θ θ = arctan(y/x)
y • (x, y)
r
θ
✲
x
Introduciendo este cambio, el Laplaciano en polares es:
1 1
∆ u = urr + ur + 2 uθθ (7.12)
r r
Para aplicar el método de separación de variables suponemos la solución de la forma:
lo que nos permite deducir las dos ecuaciones diferenciales ordinarias para M y N :
N ′′ (θ) + λ N (θ) = 0
Se comprueba que el operador Laplaciano cumple la condición establecida en la Observación 6,
por tanto, podemos abordar su estudio mediante el método de separación de variables.
86 7. Introducción a las Ecuaciones en Derivadas Parciales
1 ∂ 2∂ u 1 ∂ ∂u 1 ∂2 u
∆u = (ρ ) + ( sen θ ) + ,
ρ2 ∂ ρ ∂ρ ρ2 sen θ ∂ θ ∂θ ρ2 sen2 θ ∂ φ2
o bien
2 1 cot φ 1
∆ u = uρρ + uρ + 2 uφφ + 2 uφ + 2 uθθ .
ρ ρ ρ ρ sen2 φ
La interpretación “fı́sica” de la condición ∆ u = 0 es que el valor de u en x es igual al valor
medio de u en un cı́rculo que rodea a x. De este modo, ∆ u > 0 (< 0) indica que el valor u en x
es inferior (superior) al valor en un cı́rculo que rodea a x.
Tema 8
La ecuación de Laplace
8.1 Introducción
Las ecuaciones elı́pticas se obtienen, en general, cuando se estudian procesos estacionarios. La
ecuación de este tipo que aparece más frecuentemente es la ecuación de Laplace, cuya expresión
general es:
∆ u = 0,
donde ∆ representa el operador Laplaciano. Por ejemplo, si se considera un campo térmico
estacionario, la ecuación de conducción del calor es:
ut = α2 ∆ u
y como, en este caso, la distribución de temperatura no varı́a con el tiempo, ésta satisface la
ecuación de Laplace. Si se considera la presencia de fuentes de calor externas, se obtiene la
ecuación:
∆u = A (8.1)
donde A representa la densidad de fuentes térmicas. La ecuación no homogénea de Laplace se
suele llamar ecuación de Poisson.
Otra clase de problemas en los que la ecuación de Laplace juega un papel importante es el
relacionado con los campos vectoriales que derivan de un potencial (ya visto en el Tema 1).
Ası́ pues, la ecuación de Laplace describe siempre procesos estacionarios en los que el tiempo no
es una de las variables independientes. Esto significa que este tipo de problemas no va a incluir
condiciones iniciales. Consideraremos solamente problemas definidos en un cierto dominio D
con determinadas condiciones de contorno dadas sobre su frontera ∂D.
Ejemplo 8.1
1. Problema de Dirichlet en el interior de un disco conocida la solución en la frontera.
∆ u = 0 ; 0 ≤ r < a , 0 ≤ θ < 2π
u(a, θ) = sen θ ; 0 ≤ θ < 2π
87
88 8. La ecuación de Laplace
∆ u = 0 ; r > a , 0 ≤ θ < 2π
3. Problema de Neumann.
∆ u = 0 ; 0 ≤ r < a , 0 ≤ θ < 2π
∂u
= sen θ ; 0 ≤ θ < 2π
∂~n
Estes problemas son comunes en flujos de calor estacionarios y en electrostática, donde el
flujo se da en la frontera. Aquı́, el flujo de calor a través de la frontera entra para 0 ≤ θ < π
y sale para π ≤ θ < 2π. Sin embargo, el valor del flujo neto es:
2π 2π
∂u
Z Z
dθ = senθ dθ = 0,
0 ∂~n 0
(una condición que debe ser siempre cierta para los problemas de Neumann), la tempera-
tura en cada punto dentro del disco no cambia con respecto al tiempo. En otras palabras,
los problemas de Neumann tienen sentido únicamente si la ganancia neta a través de la
frontera es cero.
4. Problema de Robin.
∆ u = 0 ; 0 ≤ r < a , 0 ≤ θ < 2π
∂u
h (u − g) + = 0 en ∂D , con h ∈ R
∂~n
o de forma equivalente
∂u
= −h (u − g), h > 0
∂~n
que indica que el flujo entrante a través de la frontera es proporcional a la diferencia entre
la temperatura u y alguna temperatura g. Con la interpretación:
De dicho resultado se deducen fácilmente otras dos expresiones conocidas como fórmulas de
Green.
Proposición 8.1 Sea D un dominio de Rn , (n = 2, 3), con frontera ∂ D regular. Sean u, v dos
campos escalares de clase C 2 sobre D, entonces:
∂v
Z Z Z
u ∆ v dx1 . . . dxn + ~ u·∇
∇ ~ v dx1 . . . dxn = u dS
D D ∂D ∂ ~n
∂v ∂u
Z Z
(u ∆ v − v ∆ u) dx1 . . . dxn = (u −v ) dS
D ∂D ∂ ~n ∂ ~n
Definición 8.1 Una función u se dice armónica en una región D si u ∈ C 2 (D) y además
∆ u = 0.
Interpretación con la ecuación del calor estacionaria. Esta fórmula expresa que el valor
de u en el centro de una bola es la media de los valores sobre el borde de la bola y también la
media de los valores considerados sobre la bola. Esto corresponde al hecho de que u representa
un estado de equilibrio: supongamos, por ejemplo, que u sea una temperatura
∂u
= α2 ∆ u
∂t
∂u
cuando u es diferente de la media de los valores sobre la bola, ∆ u es no nulo, entonces es
∂t
no nulo y no está en estado de equilibrio.
∂u (8.3)
α + β u = g(x1 , . . . , xn ) sobre ∂ D
∂ ~n
Observación 8.1 Las condiciones de contorno sobre ∂ D pueden tener coeficientes variables,
manteniéndose aún los mismos resultados con las condiciones:
∂u
α = g sobre ∂ D,
∂ ~n
puesto que ahora si a una solución del problema le sumamos una constante obtenemos una nueva
solución.
y sea x0 ∈ D, entonces:
−∆ u = 4 π ǫ ρ(x1 , x2 , x3 ) = f (x)
92 8. La ecuación de Laplace
4 π ǫ ρ(x)
Z
If = dx1 dx2 dx3
D kx0 − xk
Observación 8.2 Mediante la misma técnica (aplicación de las fórmulas de Green) también
se pueden obtener expresiones integrales para las soluciones de la ecuación de Laplace para el
problema exterior con
u(x1 , . . . , xn ) → 0
~
kgradu(x 1 , . . . , xn )k · k(x1 , . . . , xn )k → 0
1 1
con k = si n = 3 y k = si n = 2.
4π 2π
8.3 Representaciones integrales 93
cuando se toma f (x1 , . . . , xn ) = δx0 , donde δx0 es la distribución delta de Dirac en el punto x0 .
Además, se fijan las constantes de integración exigiendo lim G(x) = 0 en R3 y kGk∞ < +∞
kxk→∞
en R2 .
Las representaciones integrales expuestas anteriormente se pueden obtener también para los
puntos de la frontera de D. Ası́, sea u un campo escalar de clase C 2 definido sobre un dominio
D ⊂ Rn , (n = 2, 3), tal que
n
X ∂2 u
− = f (x1 , . . . , xn ) en D
i=1
∂ x2i
1 1
con k = si n = 3 y k = si n = 2 y G(x) las funciones de Green descritas anteriormente.
2π π
∂u
Utilizando esta representación para el problema interior, una vez encontradas u|∂ D y |∂ D ,
∂ ~n
el potencial u(x) queda completamente determinado en D̄.
u(x1 , . . . , xn ) → 0
~
kgradu(x 1 , . . . , xn )k · k(x1 , . . . , xn )k → 0
1 1
con k = si n = 3 y k = si n = 2 y G(x) la función de Green.
2π π
A continuación pasamos a estudiar la solución de la ecuación de Laplace en dominios acotados.
94 8. La ecuación de Laplace
1. si k = 0, Mk (t) = C + D t ⇒ Mk (r) = C + D ln r
√ √
2. si k > 0, Mk (t) = C exp( k t) + D exp(− k t) ⇒
√ √
Mk (r) = C r k + D r− k
√ √
3. si k < 0, Mk (t) = C cos( −k t) + D sen( −k t) ⇒
√ √
Mk (r) = C cos( −k ln r) + D sen( −k ln r)
1. si k = 0, Nk (θ) = A + B θ
√ √
2. si k > 0, Nk (θ) = A cos( k θ) + B sen( k θ)
√ √
3. si k < 0, Nk (θ) = A e −k θ + B e− −k θ
Además, para que u(r, θ) = M (r) N (θ) sea una función definida correctamente, se debe cumplir:
y se tendrá la solución u(r, θ) como una combinación de todas las soluciones linealmente inde-
pendientes:
∞
X
u(r, θ) = A0 (C0 + D0 ln r) + (Cn r n + Dn r −n ) (An cos(nθ) + Bn sen(nθ))
n=1
Por otra parte, sabemos que las soluciones sobre D de la ecuación de Laplace deben verificar:
De forma que si g(x, y) está acotada, entonces u(x, y) debe estar acotada y, por tanto:
D0 = 0 ; Dn = 0 ; ∀n ∈ N
Para ello, consideramos el desarrollo en serie de Fourier de g(θ) en el intervalo (0, 2π):
∞
a0 X
g(θ) = + (an cos(nθ) + bn sen(nθ))
2
n=1
donde
2π
1
Z
a0 = g(θ) dθ
π 0
2π
1
Z
an = g(θ) cos(nθ) dθ , n ∈ N (8.9)
π 0
2π
1
Z
bn = g(θ) sen(nθ) dθ , n ∈ N
π 0
Al igualar u(R, θ) = g(θ), por unicidad de los coeficientes de la serie de Fourier, se tiene la
relación entre las constantes, de forma que la solución se escribe:
∞
a0 X r n
u(r, θ) = + [an cos(nθ) + bn sen(nθ)] (8.10)
2 R
n=1
Ejemplo 8.2
1. Resolver el problema de Dirichlet
para la expresión
∞
a0 X
g(θ) = + (an cos(nθ) + bn sen(nθ))
2 n=1
Con lo cual:
r3
u(r, θ) = 1 + r sen θ + sen(3θ) + r 4 cos(4θ)
2
∞
1 X r n 2π
Z
+ g(α) (cos(nθ) cos(nα) + sen(nθ) sen(nα)) dα
π R 0
n=1
∞
!
2π
1 r n
Z X
= 1+2 cos(n(θ − α)) g(α) dα
2π 0 R
n=1
∞
!
2π
1 r n
Z X
= 1+ (ein(θ−α) + e−in(θ−α) ) g(α) dα
2π 0 R
n=1
!
2π
1 r ei(θ−α) r e−i(θ−α)
Z
= 1+ + g(α) dα
2π 0 R − r ei(θ−α) R − r e−i(θ−α)
2π
R2 − r 2
1
Z
= g(α) dα
2π 0 R2 + r 2 − 2R r cos(θ − α)
98 8. La ecuación de Laplace
Esta es una forma alternativa de calcular la solución al problema interior de Dirichlet en un disco
de radio R. También se puede obtener la expresión equivalente en coordenadas cartesianas:
Z 2π
R2 − (x2 + y 2 )
1
u(x, y) = g(α) dα.
2π 0 R2 − 2R (x cos α + y sen α) + x2 + y 2
P
(r,0)
a 0
De este modo los valores que más influyen en u(r, θ) son los de aquellos puntos de la frontera
que más próximos están a (r, θ). Además, se tiene:
2π
1
Z
u(0, θ) = g(θ) dθ
2π 0
El potencial en el centro del disco, en cuyo interior es armónico, es la media de los potenciales
en la frontera. Esta es la expresión del teorema del valor medio.
−∆ u = 0 en R2 \D
1 x2 + y 2 − R 2
Qα (x, y) =
2 π x2 + y 2 − 2R (x cos α + y sen α) − R2
se obtiene: Z 2π
u(x, y) = Qα (x, y) g(α) dα
0
−∆ u = 0 en D
para D = {(x, y) ∈ R2 /R22 < x2 + y 2 < R12 } con las condiciones de contorno
u(x, y) = g1 (x, y) en ∂ D1
u(x, y) = g2 (x, y) en ∂ D2
siendo
∂ D1 = {(x, y) ∈ R2 /x2 + y 2 = R12 }
mientras que ahora la condición de que u sea acotada si g1 y g2 lo son, no descarta ninguna de
las constantes.
∞
X
u(r, θ) = C0 + D0 ln r+ r n (An cos(nθ) + Bn sen(nθ))
n=1
∞
X
+ r −n (Ãn cos(nθ) + B̃n sen(nθ))
n=1
Suponiendo que g1 y g2 son funciones regulares, consideramos sus desarrollos en serie de Fourier
en el intervalo [0, 2π].
∞
a0 X
g1 (θ) = + (an cos(nθ) + bn sen(nθ))
2 n=1
∞
ã0 X
g2 (θ) = + ãn cos(nθ) + b̃n sen(nθ)
2
n=1
La imposición de las condiciones de contorno permite encontrar el valor de las constantes
C0 , D0 , An , Bn , Ãn , B̃n , n ∈ N como solución de un sistema de ecuaciones lineales:
a0
C0 + D0 ln R1 =
2
→ C0 , D0
ã0
C0 + D0 ln R2 =
2
→ An , Ãn ; n = 1, 2, . . .
An R2n + Ãn R2−n = ãn
→ Bn , B̃n ; n = 1, 2, . . .
Bn R2n + B̃n R2−n = b̃n
y, de este modo:
M ′′ (x) N ′′ (y)
− − = 0.
M (x) N (y)
Luego las funciones M (x) y N (y) han de ser soluciones de:
M ′′ (x) + k M (x) = 0,
N ′′ (y) − k N (y) = 0.
Además, se debe satisfacer la condición de frontera nula sobre x = 0 y x = a,
)
u(0, y) = M (0)N (y) = 0,
0 < y < b ⇒ M (0) = M (a) = 0
u(a, y) = M (a)N (y) = 0,
Esto completa el problema de Sturm-Liouville, de modo que las soluciones para M (x) son:
1. si k = 0, M (x) = C + D x
√ √
2. si k > 0, M (x) = C cos( k x) + D sen( k x)
√ √
3. si k < 0, M (x) = C e −k x + D e− −k x
1. si k = 0, N (y) = A + B y
√ √
2. si k > 0, N (y) = A e ky
+ B e− k y
√ √
3. si k < 0, N (y) = A cos( −k y) + B sen( −k y)
1. si k = 0 ⇒ C = D = 0
8.7 Problema de Laplace en un rectángulo 103
C=0
D=0
√
2. si k > 0 ⇒ ó
D sen( k a) = 0
k = nπ 2 ; n ∈ N
a
3. si k < 0 ⇒ C = D = 0
Luego la solución se escribe, agrupando las constantes:
∞
X nπ nπ nπ
u(x, y) = sen( x)(An e a y + Bn e− a y ) (8.11)
n=1
a
donde aún tenemos que exigir las condiciones de contorno sobre y = 0 e y = b. Para ello
desarrollamos g1 (x) en serie de Fourier en senos extendiendo a (−a, 0) como función impar:
∞ a
nπ 2 nπ
X Z
g1 (x) = bn sen( x) ; bn = g1 (x) sen( x) dx , n ∈ N
a a 0 a
n=1
Por tanto,
∞ ∞
X nπ X nπ
u(x, 0) = g1 (x) ⇒ sen( x)(An + Bn ) = sen( x) bn
a a
n=1 n=1
de modo que:
An + Bn = bn , n = 1, 2, . . . (8.12)
De forma similar se procede con la otra condición de contorno:
∞
nπ 2 a nπ
X Z
g2 (x) = cn sen( x) ; cn = g2 (x) sen( x) dx , n ∈ N
a a 0 a
n=1
Por tanto,
∞ ∞
X nπ nπ nπ X nπ
u(x, b) = g2 (x) ⇒ sen( x)(An e a b + Bn e− a b ) = cn sen( x)
a a
n=1 n=1
de modo que:
nπ nπ
b
An e a + Bn e− a
b
= cn , n = 1, 2, . . . (8.13)
Las constantes An , Bn , n ∈ N se determinan al resolver el sistema lineal formado por las ecua-
ciones (8.12) y (8.13).
ex + e−x ex − e−x
cosh x = ; senh x =
2 2
de modo que la expresión obtenida para la solución en (8.11) se puede cambiar por:
∞
X nπ nπ nπ
u(x, y) = sen( x)(An cosh( y) + Bn senh( y))
n=1
a a a
104 8. La ecuación de Laplace
An = bn , ∀n ∈ N
cn − bn cosh( n aπ b )
Bn = , ∀n ∈ N.
senh( n aπ b )
Para obtener la solución de un problema de tipo II se sigue un procedimiento similar a este.
−∆ u = f (x1 , . . . , xn ) en D
u = g(x1 , . . . , xn ) sobre ∂ D
donde f y g son funciones continuas. Si v es una cierta función que verifica:
−∆ v = f (x1 , . . . , xn ) en D
v = 0 sobre ∂ D
entonces u se puede descomponer de la forma:
u= v+w
Este principio es en todo similar a la técnica de resolución de las ecuaciones diferenciales ordina-
rias de orden superior, jugando aquı́ v el papel de solución particular de la ecuación diferencial
ordinaria. Ahora bien, ¿cómo encontrar v? .
La idea consiste en utilizar las funciones de Green para medir la contribución de f en cada punto
del dominio D. Para construir las funciones de Green pasamos por regularizar las distribuciones
de Dirac y resolver entonces la ecuación de Poisson correspondiente.
−∆ u = fR
donde ( 1
si x2 + y 2 ≤ R 2
fR (x, y) = π R2
0 si x2 + y 2 > R 2
8.8 Ecuación de Poisson 105
x2 + y 2
1 1
(c2 + 4 π − 2 π ln R) − 4 π R2 si x2 + y 2 ≤ R 2
u(x, y) =
− 1 ln (x2 + y 2 )1/2 + c2
x2 + y 2 > R 2
si
2π
Demostración: Gracias a la simetrı́a del problema, buscamos u de la forma
u = u(r)
1 d du
− (r ) = fR
r dr dr
donde ( 1
si r≤R
fR (r) = π R2
0 si r>R
Ası́, para r > R, se tiene:
d du c1
(r ) = 0 ⇒ r u′ (r) = c1 ⇒ u′ (r) = ⇒
dr dr r
u(r) = c1 ln r + c2
mientras que para r ≤ R se tendrá:
1 d du 1 r
− (r )= ⇒ −(r u′ (r))′ = .
r dr dr π R2 π R2
Integrando desde r = 0, como |u′ (0)| < +∞
1
r u′ (r) = − r2.
2 π R2
Integrando de nuevo
1 2 r2
u(r) − u(0) = − r ⇒ u(r) = u(0) − .
4 π R2 4 π R2
Ahora bien, por continuidad de u y u′ en r = R
1 R c1
u(0) − = c1 ln R + c2 ; − = ,
4π 2 π R2 R
luego
1 −1
u(0) = c2 + + c1 ln R ; c1 =
4π 2π
de donde se tiene el resultado anunciado.
106 8. La ecuación de Laplace
Observación 8.4 Por sencillez tomaremos a partir de ahora como solución de la ecuación de
Poisson anterior
c2 = 0,
quedando entonces
x2 + y 2
1 ln R
( 4 π − 2 π ) − 4 π R2 si x2 + y 2 ≤ R 2
u(x, y) =
− 1 ln (x2 + y 2 )1/2
x2 + y 2 > R 2
si
2π
Obsérvese que fuera de B(0, R) coincide con la función de Green. Pues, haciendo R → 0
1 p
u(x, y) = − ln x2 + y 2 si x2 + y 2 > 0
2π
Se tiene entonces, que una carga unitaria situada en el punto (x̄, ȳ) crea un potencial en el punto
(x, y) dado por
1 p 1
u(x, y) = − ln (x − x̄)2 + (y − ȳ)2 = − ln k(x, y) − (x̄, ȳ)k
2π 2π
Este resultado justifica entonces que la contribución del potencial en el punto (x, y), de un
volumen unitario centrado en el punto (x̄, ȳ) con densidad de carga
f (x̄, ȳ)
Proposición 8.6 Sea D un dominio de R2 y sea f una función continua definida sobre D,
entonces, una solución de la ecuación de Poisson:
−∆ u = f (x, y) en D
se escribe:
1
Z
u(x, y) = − f (x̄, ȳ) ln k(x, y) − (x̄, ȳ)k dx̄ dȳ.
2π D
−∆ u = fR en R3 ,
donde ( 3
si k(x, y, z)k ≤ R
fR (x, y, z) = 4 π R3
0 si k(x, y, z)k > R
8.9 Problema de Poisson en un disco 107
u(ρ, θ, φ) = u(ρ).
∆ u = f (x, y) en D
donde trataremos de determinar el valor de las funciones A0 (r), An (r), Bn (r), n ∈ N, para que
esta expresión defina una solución del problema de partida.
2π
1
Z
α0 (r) = f (r, s) d s
π 0
2π
1
Z
αn (r) = f (r, s) cos(n s) d s ; n ∈ N
π 0
2π
1
Z
βn (r) = f (r, s) sen(n s) d s ; n ∈ N.
π 0
∞
a0 X
g(θ) = + [an cos(n θ) + bn sen(n θ)]
2 n=1
2π
1
Z
a0 = g(s) d s
π 0
2π
1
Z
an = g(s) cos(n s) d s ; n ∈ N
π 0
2π
1
Z
bn = g(s) sen(n s) d s ; n ∈ N.
π 0
∞
n2
X 1 ′
+ Bn′′ (r) + B (r) − 2 Bn (r) sen(n θ)
r n r
n=1
∞
α0 (r) X
= + (αn (r) cos(n θ) + βn (r) sen(n θ))
2 n=1
8.10 Problema de Poisson en un rectángulo 109
lim A0 (r) < ∞ , lim An (r) < ∞ , lim Bn (r) < ∞ , ∀ n ∈ N . (8.17)
r→0 r→0 r→0
Resolviendo los problemas formados por (8.15), (8.16) y (8.17) obtenemos las funciones A0 (r),
An (r) , Bn (r) , n ∈ N.
Observación 8.6 Para las ecuaciones diferenciales ordinarias (8.15) se conoce un sistema fun-
damental de soluciones de la correspondiente ecuación homogénea, que es el formado por las
funciones r n y r −n . La solución particular de la no homogénea se podrá obtener aplicando el
método de variación de constantes.
Consideramos ahora los desarrollos en serie de Fourier de f (x, y), g1 (x) y g2 (x):
∞
nπ x 2 a nπ s
X Z
f (x, y) = an (y) sen( ); an (y) = f (s, y) sen( ) ds ; n ∈ N
a a 0 a
n=1
∞
nπ x 2 a nπ s
X Z
g1 (x) = bn sen( ); bn = g1 (s) sen( ) ds ; n ∈ N
a a 0 a
n=1
∞
nπ x 2 a nπ s
X Z
g2 (x) = cn sen( ); cn = g2 (s) sen( ) ds ; n ∈ N
a a 0 a
n=1
De modo que el problema formado por (8.19)-(8.21) proporciona las soluciones un (y).
Tema 9
9.1 Introducción
La ecuación del calor o de difusión (de tipo parabólico en el caso unidimensional), tiene por
expresión:
ut − a2 ∆ u = f (x, t)
donde x representa el conjunto de variables de posición, t representa el tiempo y a2 es la difusi-
vidad térmica.
Esta ecuación aparece en una gran variedad de problemas de la Fı́sica Matemática: la conduc-
ción de calor (u representa la distribución de temperatura), la transmisión en un cable eléctrico
(u es la distribución de voltaje), o diversos procesos de difusión en lı́quidos (u representa la
concentración).
Para obtener la ecuación del calor unidimensional supongamos una barra de longitud L para la
cual hacemos las siguientes hipótesis:
1. La barra está hecha de un único material homogéneo y conductor.
2. La barra está aislada lateralmente (el flujo de calor se produce sólo en la dirección X).
3. La barra es delgada (la temperatura de todos los puntos de una sección transversal es
constante).
0 x x+δx L
111
112 9. La ecuación del calor
Por otra parte, también se define como la energı́a necesaria para elevar la temperatura
desde la de referencia a su temperatura actual u(x, t).
e(x, t) A δ x = c(x) ρ(x) A u(x, t) δ x
siendo:
c = capacidad térmica o calor especı́fico de la barra (mide la capacidad de la barra de
almacenar calor)
ρ = densidad de la barra
A = área de la sección transversal de la barra.
La cantidad total de calor (en calorı́as) dentro de [x, x + δ x] en cualquier instante de
tiempo viene dada por
Z x+δ x
c ρ A u(s, t) ds
x
2. Flujo de calor: Es la cantidad de energı́a térmica por unidad de tiempo que fluye hacia la
derecha por unidad de área. La energı́a térmica que fluye por unidad de tiempo a través
de las fronteras de la sección es φ(x, t) A − φ(x + δx, t) A. La ley de Fourier nos dice que
la velocidad a la que fluye el calor de un lugar caliente a uno frı́o es proporcional a la
diferencia de temperatura. Por tanto, la velocidad del flujo de calor a través de un punto
x es porporcional a ux (x, t), donde ux (x, t) representa variaciones de la temperatura por
unidad de longitud.
∂u
φ = −k
∂x
donde el coeficiente de proporcionalidad k es la conductividad térmica de la barra (mide
la capacidad de la barra de conducir calor). Si la temperatura u crece cuando x crece,
entonces ux (x, t) > 0 y el flujo es negativo.
3. Ley de conservación de la energı́a: El calor no tiene fuentes ni sumideros.
La ley de conservación de la energı́a térmica aplicada al segmento [x, x + δ x] se puede expresar
como
Variación de energı́a térmica dentro de [x, x + δ x] en el tiempo
= flujo de calor a través de las fronteras por unidad de tiempo
+ energı́a térmica generada dentro de [x, x + δ x] por unidad de tiempo
es decir
d x+δ x
Z Z x+δ x
A e(s, t) ds = A φ(x, t) − A φ(x + δ x, t) + A f (s, t) ds
dt x x
donde f (x, t) denota una fuente de calor externa (calorı́as por cm. por sg.), o bien,
d x+δ x
Z Z x+δ x
c ρ A u(s, t) ds = c ρ A ut (s, t) ds
dt x x
Z x+δ x (9.1)
= k A [ux (x + δ x, t) − ux (x, t)] + A f (s, t) ds
x
La cuestión que surge consiste en reeemplazar la ecuación (9.1) por otra que no contenga inte-
grales. Para ello utilizamos el Teorema del Valor Medio del Cálculo Integral.
Z b
Si f es continua en [a, b], entonces ∃ a < ξ < b/ f (x) dx = f (ξ)(b − a)
a
9.1 Introducción 113
o bien
k ux (x + δ x, t) − ux (x, t) 1
ut (ξ, t) = + f (ξ, t)
cρ δx cρ
Finalmente, haciendo δ x → 0, obtenemos el resultado deseado
ut = a2 uxx + F (x, t)
donde:
k
a2 = = difusividad térmica de la barra
cρ
1
F (x, t) = f (x, t) = densidad de calor de la fuente.
cρ
Observación 9.1
1. Supongamos que la barra no está aislada lateralmente y que el calor puede fluir dentro
y fuera de la frontera lateral con una ratio proporcional a la diferencia de temperatura
u(x, t) y la del medio que mantenemos a cero. En este caso el principio de conservación
del calor nos porporciona la ecuación
ut = a2 ∆ u − β u + F (x, t)
2. Supongamos que u(x, t) mide la concentración de una sustancia en una corriente que se
mueve con velocidad ν. Supongamos que la concentración u(x, t) cambia con la difusión y
con la convección. Entonces la nueva ecuación de conservación:
proporciona la ecuación
ut = a2 ∆ u − ν ux
3. Las unidades de algunas cantidades básicas de flujo de calor (en el sistema c.g.s.) son:
u = temperatura (C)
ut = ratio de cambio de la temperatura (C/sg)
ux = pendiente de la curva de temperatura (C/cm)
uxx = concavidad de la curva de temperatura (C/cm2 )
c = capacidad térmica (cal/gC)
k = conductividad térmica (cal/cm · sg · C)
ρ = densidad (g/cm3 )
a2 = difusividad térmica (cm2 /sg)
114 9. La ecuación del calor
0 L
Consideramos el flujo de calor en un alambre y suponemos que los extremos del alambre
siguen las curvas de temperatura dadas por p(t) y q(t). Un aparato que mantenga la
temperatura en los extremos requiere un termostato en cada extremo y elementos de calor
para ajustar la temperatura adecuadamente. Son muy comunes los problemas con este
tipo de condiciones de contorno. Incluso, el objetivo del problema puede ser encontrar las
temperaturas de contorno (problema de control) p(t) y q(t) que fuercen un comportamiento
de la temperatura de una forma determinada. En la industria del acero, es necesario a
menudo determinar controles frontera de modo que la temperatura del metal en el interior
del horno cambie a través del tiempo, pero que el gradiente de temperatura de un punto
a otro sea pequeño.
La ley de Fourier del enfriamiento nos da otra representación del flujo externo de calor que,
combinada con la anterior, proporciona las condiciones de contorno. La ley de Fourier del
enfriamiento (probada experimentalmente) nos dice que el flujo externo de calor a través de
una frontera es proporcional a la derivada normal interior a través de la frontera. Es decir,
si la temperatura crece rápidamente en la dirección exterior de la frontera, entonces el
calor fluirá del medio circundante al interior del dominio. En el problema unidimensional,
la ley de Fourier del enfriamiento se expresa:
∂ u(0, t)
Flujo externo de calor (en x = 0) = k
∂x
∂ u(L, t)
Flujo externo de calor (en x = L) = −k
∂x
donde k es la conductividad térmica del metal, que es una medida de cómo conduce el
calor el material.
Finalmente, combinando las dos expresiones de flujo de calor obtenemos las condiciones
de contorno
∂ u(0, t) h
= [u(0, t) − p(t)]
∂x k
∂ u(L, t) h
= − [u(L, t) − q(t)]
∂x k
A menudo la constante h/k se escibe como λ y entonces las condiciones de contorno se
escriben
ux (0, t) = λ [u(0, t) − p(t)]
ux (L, t) = −λ [u(L, t) − q(t)]
3. Flujo dado.
Las fronteras aisladas son aquellas que no permiten el paso del flujo de calor y, por tanto, la
derivada normal (interior o exterior) debe ser cero en la frontera (pues la derivada normal
es proporcional al flujo). En el caso de un alambre con extremos aislados se tiene:
ux (0, t) = 0, ux (L, t) = 0
116 9. La ecuación del calor
Ejemplo 9.1 Supongamos un alambre de cobre de 200 cm de longitud que está aislado late-
ralmente y tiene una temperatura inicial de 0o C. Supongamos que el extremo superior (x = 0)
está aislado mientras que el inferior (x = 200) está inmerso en agua que tiene una temperatura
constante de q(t) = 20o C.
ux (0, t) = 0
ux (0, t) = 0; t > 0
∂ u(200, t) h
= − [u(200, t) − 20]; t > 0
∂x k
u(x, 0) = 0; 0 < x < 200
u : D̄ × (0, T ) → R
que verifique:
∂u
− a2 ∆ u = f en D × (0, T )
∂t
∂u
α + β u = g sobre ∂D × (0, T )
∂ ~n
u(x, 0) = u0 en D
9.3 Resultados generales 117
donde f, g, u0 son funciones suficientemente regulares en la práctica para poder asegurar la exis-
tencia de solución.
u(x, 0) = u0 en D
bajo las hipótesis:
1. D dominio de frontera ∂D regular,
2. f, g, u0 funciones continuas,
3. α ≥ 0 , β > 0,
admite una y sólo una solución.
También aquı́ se puede generalizar el resultado al caso en que los coeficientes de la ecuación en
derivadas parciales y de las condiciones de contorno sean variables, de un modo parecido a las
ecuaciones de tipo elı́ptico.
Veamos ahora una solución explı́cita de la ecuación del calor homogénea sobre R, que permite
ilustrar las propiedades de dicha ecuación. (La demostración de dichos resultados se realiza
mediante la transformada de Fourier).
∂u ∂2 u
− a2 = 0 ; −∞ < x < +∞ , t > 0
∂t ∂ x2
tal que
lim u(x, t) = g(x) ; −∞ < x < +∞
t→0+
Observación 9.2 Obsérvese que si g(x) ≥ 0, siendo no nula sobre algún conjunto de R, aun
siendo tan pequeño como se quiera, se tendrá que:
lo que justifica que se hable de propagación a velocidad infinita de la información en las ecua-
ciones de tipo parabólico.
(x − s)2
1
G(x, s, t) = √ exp −
2a πt 4 a2 t
es la función de Green asociada a este problema. De modo que la solución se puede escribir
como Z +∞
u(x, t) = G(x, s, t) g(s) d s
−∞
∂u ∂2 u
− a2 = f (x, t) ; −∞ < x < +∞ , t > 0
∂t ∂ x2
con la condición
lim u(x, t) = g(x) ; −∞ < x < +∞
t→0+
se escribe:
+∞
(x − y)2
1
Z
u(x, t) = √ exp − g(y) d y
2a πt −∞ 4 a2 t
t +∞
(x − y)2
Z
1 1
Z
+ √ √ exp − f (y, t − s) d y d s
2a π 0 s −∞ 4 a2 s
9.4 Difusión en una barra finita aislada 119
Observación 9.3 Del teorema anterior se deduce el dominio de dependencia en las ecuaciones
de tipo parabólico, pues a u(x, t) contribuye la condición inicial g(x) y todos los valores de
f (x, s) para:
x ∈ R , 0 < s < t.
t ✻
(x, t)
•
✲
0 x
∂u ∂2 u
(x, t) − a2 (x, t) = 0 , 0 < x < l , t > 0
∂t ∂ x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = g(x) , 0 < x < l
Para resolver este problema utilizamos el método de separación de variables, de modo que
suponemos que la solución u(x, t) se puede descomponer de la forma:
1 N ′ (t) M ′′ (x)
= =k
a2 N (t) M (x)
con k ∈ R. Con lo cual tenemos que resolver las siguientes ecuaciones diferenciales ordinarias:
M ′′ (x) − k M (x) = 0
N ′ (t) − a2 k N (t) = 0
Las posibles soluciones en función del valor del parámetro k son:
M (x) = C x + D
1. si k = 0 ⇒
N (t) = A
120 9. La ecuación del calor
( √ √
M (x) = C e k x + D e− kx
2. si k > 0 ⇒ 2
N (t) = A ea k t
√ √
M (x) = C cos( −k x) + D sen( −k x)
3. si k < 0 ⇒ 2
N (t) = A ea k t
Sustituyendo en la ecuación:
anπ 2 nπ
un (x, t) = An e−( l
) t
sen( x) , n ∈ N.
l
Por tanto, la solución formal se escribe:
∞ ∞
X X anπ 2 nπ
u(x, t) = un (x, t) = An e−( l
) t
sen( x)
l
n=1 n=1
Como se debe verificar la condición inicial u(x, 0) = g(x), consideramos la serie de Fourier en
senos de g(x):
∞
X nπ
g(x) = bn sen( x).
l
n=1
Con lo cual:
∞ n π
anπ 2
bn e−( )
X
t
u(x, t) = l sen x
n=1
l
es decir:
∞
( )
l
2 n π n π
Z
anπ 2
e−( )
X
t
u(x, t) = l sen x sen s g(s) d s
0 l l l
n=1
Observación 9.4
9.5 Difusión en una barra finita no aislada 121
1. La función
∞
2 X −( n π a )2 t nπx nπs
G(x, s, t) = e l sen( ) sen( )
l n=1 l l
es la función de Green del problema considerado. De modo que la solución puede escribirse:
Z l
u(x, t) = G(x, s, t) g(s) ds
0
m
X nπ
2. Si g(x) = bn sen( x) entonces:
l
n=1
m
X anπ 2 nπ
u(x, t) = bn e−( l
) t
sen( x)
l
n=1
3. Se verifica que:
lim u(x, t) = 0 , ∀ x
t→∞
✻
u
u(x, 0)
u(x, 1)
u(x, 3)
u(x, n)
✲
0 x
En los problemas de difusión a tiempos más altos se amortigua más, debido al término
anπ 2
e−( l ) t . Para perı́odos largos la solución es aproximadamente igual al primer término.
∂u ∂2 u
(x, t)− a2 (x, t) = f (x, t) , 0 < x < l , t > 0
∂t ∂ x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = g(x) , 0 < x < l
122 9. La ecuación del calor
Buscamos una representación de la solución en forma de desarrollo en serie respecto a las auto-
funciones del problema homogéneo, es decir:
∞
X nπx
u(x, t) = un (t) sen( ).
n=1
l
Para determinar las funciones un (t) consideramos el desarrollo en serie de Fourier de f (x, t) y
g(x) en términos de las autofunciones anteriores:
∞ l
nπx 2 nπs
X Z
g(x) = an sen( ) ; an = g(s) sen( ) ds, n ∈ N
n=1
l l 0 l
∞ l
nπx 2 nπs
X Z
f (x, t) = bn (t) sen( ) ; bn (t) = f (s, t) sen( ) ds, n ∈ N
n=1
l l 0 l
Sustituyendo en la ecuación en derivadas parciales u(x, t) y f (x, t) por sus series, se obtiene
formalmente:
∞ ∞
X nπa 2 nπx X nπx
u′n (t) + ( ) un (t) sen( )= bn (t) sen( )
n=1
l l n=1
l
⇒ ∀ n ∈ N , un (0) = an
Estas dos condiciones constituyen una colección de problemas de valor inicial, cuyas soluciones
son: Z t
−( n πl a )2 t nπa 2
∀ n ∈ N , un (t) = an e + bn (s) e−( l ) (t−s) d s
0
∞
2 t l
nπr nπx
Z Z
X nπa 2
+ f (r, s) e−( l
) (t−s)
sen( ) sen( ) drds
l 0 0 l l
n=1
Observación 9.5 Si denotamos por uI (x, t) y uII (x, t) el primer y el segundo sumandos, res-
pectivamente, la solución se puede escrir como:
u(x, t) = uI (x, t) + uII (x, t)
donde uI (x, t) es la solución del problema homogéneo (transitorio con condición inicial) y
uII (x, t) (estacionario correspondiente a la fuente f (x, t)) se puede expresar de la forma:
Z tZ l
II
u (x, t) = G(x, r, t − s) f (r, s) d r d s
0 0
siendo:
∞
2 X −( n π a )2 t nπr nπx
G(x, r, t) = e l sen( ) sen( )
l l l
n=1
la función de Green para el problema unidimensional de difusión. Ası́ uII (x, t) es la solución
del problema no homogéneo para la ecuación en derivadas parciales con condición inicial y de
frontera nulas.
u(0, t) = T1 , u(l, t) = T2
la solución estacionaria del problema con condiciones frontera no homogéneas varı́a linealmente
(en x) entre las temperaturas T1 y T2 .
Partimos de u(x, 0) = g(x) temperatura inicial y se llega al estado estacionario
x
lim u(x, t) = v(x) = T1 + (T2 − T1 )
t→∞ l
✻
u
T2
T1
✲
0 l x
u(0, t) = 0
ux (1, t) + h u(1, t) = 0
El flujo natural de calor (Ley de Newton del enfriamiento) representa la condición de contorno
en x = 1, es decir:
ux (1, t) = −h u(1, t).
9.7 Flujo de calor con condiciones de contorno homogéneas en la derivada 125
Supongamos que la temperatura inicial del alambre viene dada por u(x, 0) = g(x). Para encon-
trar la solución u(x, t) debemos resolver:
∂u ∂2 u
(x, t) − a2 (x, t) = 0 , 0 < x < 1 , t > 0
∂t ∂ x2
u(0, t) = 0 , t > 0
∂u
(1, t) + h u(1, t) = 0 , t > 0
∂x
u(x, 0) = g(x) , 0 < x < 1
Dado que la ecuación en derivadas parciales es la misma que la estudiada en la sección 9.4,
aplicando el método de separación de variables se obtienen las mismas ecuaciones diferenciales
ordinarias y, por tanto, las mismas soluciones respecto del parámetro k. En cuanto al estudio de
los distintos casos, en primer lugar el caso k > 0 no puede darse, de lo contrario N (t) crecerı́a
exponencialmente a infinito, lo cual carece de sentido fı́sico. Por otra parte, si k = 0 la única
solución es la trivial.
Por último, si k < 0, sea k = −λ2 , de modo que las soluciones son:
M (x) = C cos(λ x) + D sen(λ x)
2
N (t) = A e−(a λ) t
Para encontrar los valores de las constantes λ, A, B imponemos las condiciones de contorno:
u(0, t) = 0 ⇒ A = 0
2
ux (1, t) + h u(1, t) = 0 ⇒ e−(a λ) t [λ B cos(λ) + B h sen(λ)] = 0
Esta ecuación nos da condiciones sobre λ:
λ
tan(λ) = −
h
λ
Observación 9.7 Los valores de tan(λ) = − se pueden calcular numéricamente y se denomi-
h
nan autovalores del problema: ′′
X + λ2 X = 0
X(0) = 0 (9.2)
′
X (1) + h X(1) = 0
Las soluciones asociadas se denominan autofunciones y son
Xn (x) = sen(λn x)
n 1 2 3 4 5
λn 2.02 4.91 7.98 11.08 14.20
126 9. La ecuación del calor
En este caso, para encontrar las constantes bn debemos multiplicar cada lado de la ecuación
∞
X
g(x) = bn sen(λn x)
n=1
1 1
s sen(2 λm s)
Z
2
= bm sen (λm s) ds = bm −
0 2 4 λm 0
1 sen(2 λm ) 2 λm − sen(2 λm )
= bm − = bm
2 4 λm 4 λm
Por tanto, los coeficientes bn se calculan mediante la siguiente expresión:
Z 1
4 λn
bn = g(s) sen(λn s) ds , n ∈ N
2 λn − sen(2 λn ) 0
Ejemplo 9.2 Encontrar los primeros términos de la solución del siguiente problema:
∂u ∂2 u
(x, t) − (x, t) = 0 , 0 < x < 1 , t > 0
∂t ∂ x2
u(0, t) = 0 , t > 0
∂u
(1, t) + u(1, t) = 0 , t > 0
∂x
u(x, 0) = x , 0 < x < 1
En este caso l = 1, h = 1, a = 1, si consideramos la temperatura inicial
∞
X
u(x, 0) = x = bn sen(λn x)
n=1
∂u ∂2 u
(x, t) − a2 (x, t) = 0 , 0 < x < l , t > 0
∂t ∂ x2
u(0, t) = p(t) , t > 0
∂u
(l, t) + h u(l, t) = q(t) , t > 0
∂x
u(x, 0) = g(x) , 0 < x < l
Para encontrar su solución debemos pasar a otro problema equivalente con condiciones de fron-
tera homogéneas, para ello buscamos la solución de la forma:
donde la función v(x, t) recoge las condiciones de frontera no homogéneas. Por tanto, podemos
considerar
x
v(x, t) = A(t) + (B(t) − A(t))
l
de modo que las funciones A(t) y B(t) se eligen para que la parte estacionaria v(x, t) satisfaga
las condiciones de contorno del problema. De esta forma, el nuevo problema transformado
w(x, t) tendrá condiciones de contorno no homogéneas. Sustituyendo la función v(x, t) en las
condiciones de contorno, se tiene:
v(0, t) = p(t)
(
∂v
(l, t) + h v(l, t) = q(t)
∂x
A(t) = p(t)
p(t) + l q(t)
B(t) = .
1+lh
∂w ∂2 w ∂v
(x, t) − a2 2
(x, t) = − (x, t) , 0 < x < l , t > 0
∂t ∂x ∂t
w(0, t) = 0 , t > 0
∂w
(l, t) + h w(l, t) = 0 , t > 0
∂x
w(x, 0) = g(x) − v(x, 0) , 0 < x < l
✻
❄ ✻
❄ ✻
❄ ✻
❄
u(0, t) = 0 ✛
✲ ✛✲ ✛✲ ✛✲ ✛✲ u(l, t) = 0
✻
❄ ✻
❄ ✻
❄ ✻
❄
En este caso, además de la difusión de calor dentro del alambre, existe una transferencia de calor
lateral a través de las paredes del alambre.
Se trata de introducir un nueva temperatura w(x, t) en lugar de u(x, t) de modo que la nueva
ecuación en derivadas parciales sea más simple que la original. La técnica utilizada se basa en
la comprensión de cómo se comporta la ecuación en derivadas parciales de partida.
La temperatura u(x, t) en cualquier punto x0 está cambiando como resultado de dos fenómenos:
1. difusión del calor dentro del alambre (debido a a2 uxx )
2. flujo de calor a través de la frontera lateral (debido a −β u)
La clave es que si no existiese difusión dentro del alambre (a = 0), entonces la temperatura en
cada punto x0 caerı́a exponencialmente a cero de acuerdo con la relación:
u(x0 , t) = u(x0 , 0) e−β t .
Mediante esta observación se plantea la descomposición de la temperatura u(x, t) en dos factores:
u(x, t) = e−β t w(x, t)
donde w(x, t) representa la temperatura debida únicamente a la difusión. Sustituyendo esta
expresión en el problema de partida vemos que satisface:
∂w ∂2 w
− a2 =0; 0<x<l, t>0
∂t ∂ x2
w(0, t) = w(l, t) = 0 , t > 0
w(x, 0) = g(x) , 0 < x < l
De modo que resolviendo este problema y multiplicando su solución por e−β t ya conocemos la
solución del problema de partida.
9.9 Otros problemas 129
Si interpretamos (9.3) como una ecuación de difusión, esta nos indica que la ratio de cambio ut
de la sustancia es debida a la difusión a2 uxx ( en la dirección x) y al hecho de que la sustancia se
crea (u < u0 ) o se destruye (u > u0 ) mediante una reacción quı́mica proporcional a la diferencia
entre las concentraciones u y u0 .
2. Difusión - Convección
Pensemos en el humo que sale de un cigarro. Las partı́culas de humo son convectidas hacia
arriba con el aire caliente y, al mismo tiempo, se difunden con las corrientes de aire.
Para resolver este problema (con sus correspondientes condiciones de contorno y condición ini-
cial) se considera la transformación:
ν νt
u(x, t) = exp (x − ) w(x, t)
2a2 2
∂w ∂2 w
− a2 =0
∂t ∂ x2
130 9. La ecuación del calor
más las condiciones de contorno y condición inicial. Esta transformación pone de manifiesto
la parte de la solución debida al movimiento del medio (parte exponencial): se produce un
ν
movimiento a la derecha con velocidad .
2
Tema 10
La ecuación de ondas
10.1 Introducción
Trateremos aquı́ la ecuación de ondas (de tipo hiperbólico), cuya expresión general es:
utt − c2 ∆ u = f (x, t)
Las ecuaciones hiperbólicas suelen describir problemas fı́sicos en los que aparece el fenómeno de
las oscilaciones. Ası́, mediante la ecuación de ondas se pueden estudiar las vibraciones de una
cuerda o una membrana tensa, el pandeo de una viga, las vibraciones longitudinales de barras,
las oscilaciones eléctricas en cables, etc.
131
132 10. La ecuación de ondas
~ =0
div E
~ =0
div H
~
~ E
rot ~ =−µ ∂H
c0 ∂ t
~
~ H
rot ~ = ǫ ∂E
c0 ∂ t
donde E ~ yH~ son, respectivamente, los vectores intensidad de campo eléctrico y magnético;
µ, ǫ y c0 son, a su vez, la constante dieléctrica del medio, la permeabilidad y una carac-
terı́stica de un medio no conductor donde no hay corrientes ni cargas.
Se llaman soluciones planas de estas ecuaciones a las soluciones para las que E ~ yH~ son
constantemente paralelos a un mismo plano. Elegimos como eje X un eje ortogonal a este
plano. Utilizando la identidad:
~ rot
rot( ~
~ F~ ) = grad(div ~ ) − ∆ F~
F
~
ǫ µ ∂2 E ~ =0
− ∆E
c ∂ t2
2
~
∂2 H c2
− ~ =0
∆H
∂ t2 ǫµ
2. Ecuaciones de la acústica: Las ecuaciones de conservación de la masa y de la cantidad de
movimiento en un gas ideal se escriben:
∂p ∂u
+ ρ0 c2 =0
∂t ∂x
∂u 1 ∂p
+ =0
∂t ρ0 ∂ x
de donde se obtiene:
∂2 p 2
2 ∂ p
− c =0
∂ t2 ∂ x2
3. Ecuaciones de la mecánica de sólidos:
∂ ui ∂ uj
σij = λ div ~u · δij + µ( + )
∂ xj ∂ xi
también dan lugar a ecuaciones de ondas para las ondas longitudinales (o P ) y transversales
(o S).
10.2 Problema de la cuerda vibrante 133
• ρ la densidad lineal,
• T la tensión de la cuerda,
• u los desplazamientos verticales,
• f las fuerzas externas.
u
✻
• • ✲ x
0 L
T
T sen(θ2 ) ≃ T ux (x + δx, t) ✻
θ2
θ1
T ❄T sen(θ1 ) ≃ T ux (x, t)
✲
x x + δx
134 10. La ecuación de ondas
1. Fuerza neta debido a la tensión de la cuerda (c2 uxx ). En un segmento (x, x + δx), se tiene:
Tensión = T senθ2 − T senθ1 ≃ T [ux (x + δx, t) − ux (x, t)]
2. Fuerza externa F (x, t). Se puede aplicar una fuerza externa en cualquier punto x y en
cualquier instante de tiempo t. Por ejemplo:
(a) La gravedad: F (x, t) = −m g
(b) Impulsos a lo largo de la cuerda en diferentes instantes de tiempo t.
3. Fuerza de fricción contra la cuerda. Si la cuerda está vibrando en un medio que ofrece
resistencia a la velocidad de la cuerda ut , entonces la fuerza de resistencia es −β ut .
4. Fuerza de restauración. Esta es una fuerza en la dirección opuesta al desplazamiento de
una cuerda −γ u. Si el desplazamiento es positivo (sobre el eje X) entonces la fuerza es
negativa (hacia abajo).
Proposición 10.1 Las funciones de la forma F (x+c t) y G(x−c t) son soluciones de la ecuación
de ondas:
∂2 u 2
2 ∂ u
− c = 0.
∂ t2 ∂ x2
Demostración: Sea u(x, t) = F (x + c t) ó G(x − c t), entonces:
∂2 u
= c2 F ′′ (x + c t) ó c2 G′′ (x − c t)
∂ t2
∂2 u
= F ′′ (x + c t) ó G′′ (x − c t)
∂ x2
10.3 Solución en dominios infinitos 135
u(x, t) = F (x + c t) + G(x − c t)
x′0
1 1
Z
G(x) = f (x) + g(s) d s
2 2c x
136 10. La ecuación de ondas
x+c t
1 1
Z
= [f (x + c t) + f (x − c t)] + g(s) d s
2 2c x−c t
Interpretación: Esta última propiedad indica que la solución u(x, t) de la ecuación de ondas
homogénea sólo depende de la condición inicial f (x) en los puntos x + c t y x − c t, y de la
condición inicial g(x) en el intervalo (x − c t, x + c t).
✻
(x, t)
•
• • ✲
(x − c t, 0) (x + c t, 0)
✻
u(x0 , t0 )
•
• • ✲
(x0 − c t0 , 0) (x0 + c t0 , 0)
✻
f
✲
x
10.3 Solución en dominios infinitos 137
se tiene entonces:
1
u(x, t) = [f (x + c t) + f (x − c t)]
2
y ası́
✻
u
t=0 ✲
✻ x
c✛ ✲c
t = t1 ✲
✻ x
c✛ ✲c
t = t2 ✲
✻ x
c✛ ✲c
t = t3 ✲
x
La onda inicial se descompone en dos semiondas de modo que cada una se mueve con la
misma velocidad en direcciones opuestas.
2. Sea
1 si − 1 < x < 1
u(x, 0) =
0 en otro caso
Estudiar la evolución de las ondas.
✻
g
✲
x
138 10. La ecuación de ondas
se tiene entonces:
x+c t
1
Z
u(x, t) = g(s) d s
2c x−c t
de modo que
✻
u
t=0
✲
✻ x
t = t1
✲
−ct1 ✻ct1 x
t = t2
✲
−ct2 ✻ ct2 x
t = t3
✲
−ct3 ct3 x
2. Sea
1 si − 1 < x < 1
ut (x, 0) =
0 en otro caso
∂2 u 2
2 ∂ u
− c = h(x, t) ; x ∈ R , t > 0
∂ t2 ∂ x2
con las condiciones iniciales:
u(x, 0) = f (x) ; x ∈ R
∂u
(x, 0) = g(x) ; x ∈ R
∂t
se escribe:
x+c t
1 1
Z
u(x, t) = [f (x + c t) + f (x − c t)] + g(s) d s
2 2c x−c t
!
t x+c (t−r)
1
Z Z
+ h(s, r) d s dr
2c 0 x−c (t−r)
10.3 Solución en dominios infinitos 139
✻
(x, t)
•
• • ✲
x − ct x + ct
Veamos qué ocurre en el caso de que uno de los extremos de la cuerda esté fijo.
∂2 u 2
2 ∂ u
− c = 0 ; x > 0 ,t > 0
∂ t2 ∂ x2
con condiciones iniciales:
u(x, 0) = f (x) ; x > 0
∂u
(x, 0) = g(x) ; x > 0
∂t
y condición de contorno:
u(0, t) = 0 ; t > 0
se escribe:
Z x+c t
1 1
[f (x + c t) + f (x − c t)] + g(s) d s si x ≥ c t
2 2 c x−c t
u(x, t) =
Z c t+x
1 1
[f (c t + x) − f (c t − x)] + g(s) d s si x < c t
2 2 c c t−x
u(x, t) = F (x + c t) + G(x − c t)
x
1 1
Z
G(x) = f (x) − g(s) d s ; x > 0
2 2c x′0
140 10. La ecuación de ondas
para t > 0 se tiene que x + c t > 0, y para los puntos (x, t) tales que x − c t ≥ 0 se tendrá que:
u(x, t) = F (x + c t) + G(x − c t) =
x+c t
1 1
Z
= [f (x + c t) + f (x − c t)] + g(s) d s
2 2c x−c t
Ahora bien, si x − c t < 0, debemos pensar cómo definir G(x). La condición de contorno exige
u(0, t) = 0 ; t > 0, luego:
u(0, t) = F (c t) + G(−c t) = 0 ; t > 0
de modo que:
−F (s) = G(−s) ; ∀ s > 0
y ası́, se define:
G(x) = −F (−x) ; ∀ x < 0.
De esta forma, si x − c t < 0:
c t−x
1 1
Z
G(x − c t) = −F (c t − x) = − f (c t − x) − g(s) d s
2 2c 0
✻
t
✲
a b x
de modo que:
✻
t=0
✲
✻ a b x
t = t1 ✛ ✲
✲
✻ x
t = t2 ✛ ✲
✲
x
10.4 Condiciones frontera asociadas a la ecuación de ondas 141
t = t3
✲
✻ ✲ x
t = t4
✲
✲ x
Si x ≥ ct tenemos la solución de D’Alembert asociada a una onda infinita. Por otro lado,
si x < ct la solución se modifica como resultado de una onda reflejada: la onda va hacia la
izquierda hasta llegar al origen, luego cambia de signo, mantiene la amplitud y se propaga hacia
la derecha.
1. Extremos controlados.
u(0, t) = p(t), u(l, t) = q(t)
✻
•
✲
0 l x
•
Controlamos los extremos de modo que se mueven de una forma dada. Un problema tı́pico
consiste en un giro repentino de algunos grados en tiempo t = 1 del extremo derecho de
un alambre fijo en el otro extremo. Se trata de observar el resultado de la vibración de
torsión.
0, 0 < t < 1
u(0, t) = 0 u(l, t) =
1, 1 ≤ t < ∞
142 10. La ecuación de ondas
u(0, t) = 0
x
❄
ux (l, t) = 0
1
ux (l, t) = ν(t), k = módulo de Young
k
En este caso no se exige que los extremos de la cuerda (o del muelle) se mantengan
en una posición fija, pues la fuerza aplicada tiende a moverlos en la dirección da-
da. Fı́sicamente se presentan estes problemas cuando se aplica un campo eléctrico a
electrones vibrantes.
u✻
• •✲
0 l x
Si las dos conexiones del muelle se desplazan según las funciones θ1 (t) y θ2 (t) tendremos
condiciones de contorno no homogéneas:
h
ux (0, t) = [u(0, t) − θ1 (t)]
T
h
ux (l, t) = − [u(l, t) − θ2 (t)]
T
u✻
•
θ1 {• }θ✲2
0 l x
M ′′ (x) − k M (x) = 0
N ′′ (t) − c2 k N (t) = 0
Las posibles soluciones en función del valor del parámetro k son:
144 10. La ecuación de ondas
M (x) = C x + D
1. si k = 0 ⇒
N (t) = A t + B
( √ √
M (x) = C e √k x + D e− k√x
2. si k > 0 ⇒
N (t) = A ec k t + B e−c k t
√ √
M (x) = C cos(√ −k x) + D sen( √−k x)
3. si k < 0 ⇒
N (t) = A cos( −k c t) + B sen( −k c t)
Si imponemos las condiciones frontera M (0) = M (l) = 0:
D=0
1. si k = 0 ⇒ ⇒C=D=0
Cl+D =0
(
C +√D = 0 √
2. si k > 0 ⇒ ⇒C=D=0
C e kl + D e− kl = 0
C=0
D=0
3. si k < 0 ⇒ √ √
C cos( −kl) + D sen( −kl) = 0 ⇒ ó
k = −( nlπ )2 , n ∈ N
∞ ∞
∂u X nπc nπ X nπ
(x, 0) = g(x) ⇒ Bn sen( x) = b̃n sen( x)
∂t l l l
n=1 n=1
l
⇒ Bn = b̃n , n ∈ N
nπc
De modo que la solución se escribe:
∞
X nπ nπc l nπc
u(x, t) = sen( x) bn cos( t) + b̃n sen( t)
n=1
l l nπc l
10.5 Vibraciones libres de una cuerda de longitud finita 145
Observación 10.2
∞
1 X nπ l nπ
G(y) = bn sen( y) + b̃n cos( y)
2 l nπc l
n=1
u(x, t) = F (x + c t) + G(x − c t)
x+c t
1 1
Z
u(x, t) = [f (x + c t) + f (x − c t)] + g(s) d s.
2 2c x−c t
donde cada
nπ nπc
un (x, t) = bn sen( x) cos( t)
l l
es una vibración fundamental.
Por ejemplo, si:
π 3π 5π
f (x) = sen( x) + 0.5 sen( x) + 0.25 sen( x)
l l l
entonces:
u(x, t) = sen( πl x) cos( πlc t) + 0.5 sen( 3lπ x) cos( 3 πl c t)
Ası́ u(x, t) está compuesta por infinitas ondas, debidas a cada armónico, que llegan a los
extremos y rebotan cambiando de signo.
146 10. La ecuación de ondas
siendo T la tensión y ρ la densidad de la cuerda. Esta nueva escritura del n-ésimo nodo
es más útil para analizar las vibraciones. Esta frecuencia es múltiplo de la frecuencia
fundamental (n = 1), propiedad que no se verifica en todo tipo de vibraciones. Esto
ocurre en el violı́n y en la guitarra, pero no en el tambor y la zambomba.
∂2 u 2
2 ∂ u
(x, t) − c (x, t) = h(x, t) , 0 < x < l , t > 0
∂ t2 ∂ x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = f (x) , 0 < x < l
∂u
(x, 0) = g(x) , 0 < x < l
∂t
Estudiaremos su resolución mediante una generalización del procedimiento de separación de
variables utilizado para resolver el problema homogéneo. Las autofunciones correspondientes al
problema homogéneo son:
nπ
{ sen( x)}n∈N .
l
Supongamos como solución formal del problema no homogéneo la serie:
∞
X nπ
u(x, t) = un (t) sen( x).
l
n=1
Para determinar las funciones un (t) consideramos los desarrollos en serie de h(x, t), f (x), g(x)
en términos de las autofunciones anteriores:
∞
nπ 2 l nπs
X Z
h(x, t) = bn (t) sen( x) ; bn (t) = h(s, t) sen( ) ds , n ∈ N
n=1
l l 0 l
10.6 Vibraciones forzadas de una cuerda de longitud finita 147
∞ l
nπ 2 nπs
X Z
f (x) = cn sen( x) ; cn = f (s) sen( ) ds , n ∈ N
l l 0 l
n=1
∞ l
nπ 2 nπs
X Z
g(x) = dn sen( x) ; dn = g(s) sen( ) ds , n ∈ N
l l 0 l
n=1
Sustituimos formalmente en la ecuación en derivadas parciales u(x, t) y h(x, t) por sus series,
con lo cual se tiene:
∞ ∞
X nπc 2 nπx X nπx
u′′n (t) + ( ) un (t) sen( )= bn (t) sen( )
l l l
n=1 n=1
En virtud de la unicidad de los coeficientes de Fourier:
nπc 2
∀ n ∈ N , u′′n (t) + ( ) un (t) = bn (t). (10.1)
l
Imponiendo, por otra parte, las condiciones iniciales tenemos:
∞ ∞
X nπx X nπ
u(x, 0) = f (x) ⇒ un (0) sen( )= cn sen( x)
n=1
l n=1
l
∞ ∞
X nπx X nπ
ut (x, 0) = g(x) ⇒ u′n (0) sen( )= dn sen( x)
l l
n=1 n=1
un (0) = cn
⇒ ∀n ∈ N
u′n (0) = dn
Junto con (10.1) forman una colección de problemas de valor inicial cuyas soluciones son:
Z t
nπc l nπc l nπc
un (t) = cn cos( t) + dn sen( t) + bn (s) sen( (t − s)) d s
l nπc l nπc 0 l
Sustituyendo estos valores, la solución formal es:
∞
X nπc l nπc nπ
u(x, t) = cn cos( t) + dn sen( t) sen( x)
l nπc l l
n=1
∞ Z t
X l nπc nπ
+ bn (s) sen( (t − s)) d s sen( x)
n=1
n π c 0 l l
Observación 10.3 Si denotamos por uI (x, t) y uII (x, t) el primer y el segundo sumandos,
respectivamente, la solución se escribe:
u(x, t) = uI (x, t) + uII (x, t)
donde uI (x, t) es la solución del problema homogéneo que se puede representar en la forma de
D’Alembert, y uII (x, t) se puede expresar de la forma:
Z tZ l
uII (x, t) = G(x, r, t − s) h(r, s) d r d s
0 0
siendo:
∞
1 X1 nπx nπr nπct
G(x, r, t) = sen( ) sen( ) sen( )
πc n l l l
n=1
la función de Green para el problema de la cuerda vibrante con condiciones iniciales nulas.
148 10. La ecuación de ondas
Demostración:
b
∂ 1 ∂u ∂2 u 1 2 b ∂u ∂2 u
Z Z
E(t) = 2 (x, t) (x, t) d x + c 2 (x, t) (x, t) d x =
∂t 2 a ∂t ∂ t2 2 a ∂x ∂ x∂ t
Z b
∂2 u
∂u
= (x, t) h(x, t) + c2 (x, t) dx+
a ∂t ∂ x2
s=b Z b
∂2 u
∂u ∂u ∂u
+ c2 (s, t) (s, t) − c2 (x, t) (x, t) d x
∂x ∂t s=a a ∂t ∂ x2
Interpretación: Los términos que aparecen en ∂∂t E(t) representan el trabajo realizado por las
fuerzas externas distribuidas y por las fuerzas que actúan sobre la frontera.
150 10. La ecuación de ondas
Tema 11
Técnica de Transformadas
11.1 Introducción
En este tema se trata de introducir la idea de transformadas integrales y mostrar cómo trans-
forman ecuaciones en derivadas parciales en n variables en ecuaciones diferenciales en n − 1
variables. Las transformadas integrales cambian diferenciación por multiplicación y, ası́, ciertas
derivadas parciales se cambian por expresiones algebraicas.
Una transformada integral es una transformación que asigna a una función f (t) una nueva
función F (s) por medio de una fórmula del tipo:
Z B
F (s) = f (t) k(s, t) d t
A
151
152 11. Técnica de Transformadas
2 ∞
Z
F [f ] = F (ω) = f (t) cos(ω t) d t T. Fourier cosenos
c
π 0
2. Z ∞
Fc−1 [F ] = f (t) =
F (ω) cos(ω t) d ω T. I. Fourier cosenos
0
2 l
nπx
Z
Fs [f ] = Sn = f (x) sen( ) dx T. senos finita
l 0 l
3.
∞
−1 [S ] = f (x) =
X nπx
F Sn sen( ) T. I. finita en senos
s n
l
n=1
2 l
nπx
Z
F [f ] = C = f (x) cos( ) dx T. cosenos finita
c n
l 0 l
4.
∞
−1 C0 X nπx
Fc [Cn ] = f (x) = 2 + Cn cos( ) T. I. finita en cosenos
l
n=1
Z ∞
1
F[f ] = F (ω) = √ f (x) e−i ω x d x T. Fourier
2 π −∞
5. Z ∞
−1 [F ] = f (x) = √1
F (ω) ei ω x d ω T. I. Fourier
F
2 π −∞
Z ∞
L[f ] = F (s) = f (t) e−s t d t T. Laplace
0
6. Z c+i ∞
−1 [F ] = f (t) = √ 1
F (s) es t d s T. I. Laplace
L
2 π i c−i ∞
Por ejemplo, consideremos la resolución de una función periódica f (x) en serie de Fourier:
∞
X
f (x) = [An cos(n x) + Bn sen(n x)]
n=0
11.3 Transformada de Fourier 153
expansión de una función periódica en senos y cosenos. Aquı́, los coeficientes An y Bn representan
la parte de la función f (x) relativa a cos(n x) y sen(n x), respectivamente; mientras que
p
A2n + Bn2 : espectro de la función
mide la cantidad de f (x) con frecuencia n.
Las funciones periódicas se pueden descomponer en series infinitas con espectro discreto, mien-
tras que las funciones no periódicas se descomponen en un espectro continuo de valores (por
supuesto, si la función se define únicamente sobre un intervalo finito, podemos extender la fun-
ción fuera del intervalo de forma periódica, de modo que se puede obtener la representación en
serie de Fourier para la función dentro del intervalo).
Si tenemos una función no periódica, podremos intentar escribirla como un análogo continuo de
la serie de Fourier, es decir:
Z ∞
f (x) = [c(ω) cos(ω x) + s(ω) sen(ω x)] d ω
−∞
donde las funciones c(ω) y s(ω) miden las componentes coseno y seno de f (x) y
p
c2 (ω) + s2 (ω)
mide la componente de frecuencia ω de f (x) y se llama espectro continuo de f (x).
Observación 11.1
1. La expresión integral de Fourier representa el desarrollo de f (x), no necesariamente pe-
riódica, en todos los armónicos posibles. Ası́ los coeficientes a(ω), b(ω) vienen dados por:
1 +∞
Z
a(ω) = f (x) cos(ω x) d x
π −∞
1 +∞
Z
b(ω) = f (x) sen(ω x) d x
π −∞
para todo ω ≥ 0. El caso ω < 0 no tiene sentido al corresponder a frecuencias negativas.
154 11. Técnica de Transformadas
✻f (x) = sen(w0 x) ✻
c(w)
✲ ✲
x w0 w
0, x < −1 2 sen ω
(b) Si f (x) = 1, −1 ≤ x ≤ 1 entonces c(ω) = .
π ω
0, x > 1
✻
f (x) ✻ c(w)
✲ ✲
−1 1 x w
r
0, x≤0 1
(c) Si f (x) = −x entonces c(ω) = .
e , x>0 2 π (1 + ω 2 )
✻
f (x)
✻ c(w)
✲ ✲
x w
Se puede apreciar que las funciones con esquinas aumentan el espectro con grandes frecuen-
cias, porque las esquinas requieren componentes de alta frecuencia para representarlas.
3. Debido a la ecuación de Euler:
ei θ = cos θ + i sen θ
Definición 11.1 Dada f en las hipótesis del teorema de Fourier, se define la transformada
de Fourier F de f y se nota por F (ω)
Z ∞
1
F[f ] = F (ω) = √ f (x) e−i ω x d x
2 π −∞
y la transformada inversa de Fourier F −1 de F
Z ∞
1
F −1 [F ] = f (x) = √ F (ω) ei ω x d ω
2 π −∞
Observación 11.2
1. La transformada de Fourier F (ω) de f (x) puede ser una función compleja; por ejemplo:
0, x≤0 1 1 − iω
f (x) = , F (ω) = √
e−x , x > 0 2 π 1 + ω2
3. No todas las funciones tienen transformadas de Fourier (la integral puede no existir), de
hecho las funciones f (x) = c, sen x, ex , x2 no tienen transformada de Fourier. Únicamente
las funciones que tienden a cero suficientemente rápido cuando |x| → ∞ tienen transforma-
da. Aplicaremos esta transformada a ecuaciones de temperatura, ondas y otros fenómenos
fı́sicos que tienden a cero cuando |x| → ∞.
Proposición 11.1
1. Linealidad de la transformación.
Sean f, g : R → R con las hipótesis habituales, λ, µ ∈ R, entonces:
se tiene:
∂k f
F (x, t) = (i ω)k F[f (x, t)]
∂ xk
k
∂k
∂ f
F (x, t) = F[f (x, t)]
∂ tk ∂ tk
Teorema 11.2 (Identidad de Parseval). Sea f : R → R una función en las hipótesis del
Teorema de Fourier, sea F su transformada de Fourier, entonces se tiene:
Z ∞ Z ∞
2
2π |f (x)| d x = |F (ω)|2 d ω
−∞ −∞
o equivalentemente:
f ∗ g = F −1 [F[f ] · F[g]]
∂u ∂2 u
− a2 = 0 , −∞ < x < ∞ , t > 0
∂t ∂ x2
x2
1
= g(x) ∗ √ exp(− 2 ) =
2a πt 4a t
∞
1 (x − s)2
Z
= √ g(s) exp(− ) ds
2a πt −∞ 4a2 t
Esta es, por tanto, la solución del problema de partida.
Observación 11.4 Claramente se ve que el integrando está compuesto por dos términos:
1. La temperatura inicial g(x).
2. La función
(x − s)2
1
G(x, s, t) = exp − √
2a π t 4 a2 t
llamada función de Green o función impulso-respuesta. Esta función es la temperatura
respuesta a un impulso temperatura inicial en x = s. En otras palabras, G(x, s, t) es la
temperatura de un alambre en un tiempo t debido a un impulso inicial unitario de calor
en x = s.
158 11. Técnica de Transformadas
3. Desde un punto de vista práctico, se puede calcular la integral para alguna temperatura
inicial g(x), pero no analı́ticamente sino por integración numérica, para un punto (x, t).
∂u ∂2 u
− a2 = h(x, t) , −∞ < x < ∞ , t > 0
∂t ∂ x2
Observación 11.5
2. Puesto que la transformada opera sobre funciones definidas sobre el intervalo [0, ∞), se
aplica principalmente a la variable tiempo.
Proposición 11.2
1. Linealidad de la transformación.
Sean f, g : R → R con las hipótesis habituales, λ, µ ∈ R, entonces:
o equivalentemente:
f ∗ g = L−1 [L[f ] · L[g]]
Observación 11.6 Esta propiedad nos permite encontrar la transformada inversa de Laplace
de un producto de dos funciones (que interpretamos por L[f ] · L[g]) encontrando los inversos de
cada factor para obtener f y g y luego calcular su convolución. Por ejemplo:
1 L−1
F (s) = −→ f (t) = 1
s
1 L−1
G(s) = −→ g(t) = sen(t)
s2 +1
Z t
−1 1 1
L · 2 = 1 ∗ sen(t) sen(s) d s = 1 − cos(t)
s s +1 0
160 11. Técnica de Transformadas
❄ ✻
❄ ✻
❄ ✻
❄ ✻
❄ ✻
❄
x
∂u ∂2 u
L[ ] = L[ 2 ]
∂t ∂x
∂u
L[ (0, t)] = L[u(0, t)]
∂x
Si U (x, s) = L[u(x, t)] obtenemos:
d2 U
s U (x, s) − u0 = (x, s) , 0 < x < ∞
d x2
dU
(0, s) = U (0, s)
dx
Es una ecuación diferencial ordinaria no homogénea de segundo orden en x con una con-
dición de contorno en x = 0, (por razones fı́sicas, realmente tenemos otra condición de
contorno implı́cita que dice que la solución U (x, s) es acotada).
11.4 Transformada de Laplace. 161
2. Buscamos una solución general, teniendo en cuenta que s es una constante para la ecuación
diferencial ordinaria: √ √ u0
U (x, s) = c1 e s x + c2 e− s x +
s
Aplicando la condición de contorno encontramos el valor de las constantes c1 y c2 , (c1 = 0
o de lo contrario la temperatura tenderá a infinito para x grande). Ası́:
√
e− s x u0
U (x, s) = −u0 √ +
s( s + 1) s
y la función de error
x
2
Z
2
erf (x) = √ e−t d t
π 0
✻
1
erf (x)
erf c(x)
✲
x
Observación 11.7 La transformada de Laplace (que transforma la variable t) puede ser inter-
pretada como una proyección del plano XT sobre el eje X, y la ecuación en derivadas parciales,
condición de contorno y condición inicial de partida se transforman en una nueva ecuación
diferencial y condición de contorno.
[1] Carrier, G.F.: “Partial differential equations: theory and technique.” Academic Press, 1988.
[2] Churchill, R.V.; Brown, J.W.: “ Variable Compleja y Aplicaciones.” Mc Graw-Hill, 1991.
[3] Farlow, S.J.: “Partial differential equations for scientists & engineers.” John Wiley & Sons,
1993.
[4] Gómez López, M.; Cordero Gracia, M.: “Variable compleja. 50 problemas útiles.” Garcı́a-
Maroto, 2007.
[5] Haberman, R.: “ Ecuaciones en derivadas parciales con series de Fourier y problemas de
contorno.” Prentice Hall, 2003.
[6] Marcellán, F.; Casasús, L.; Zarzo, A.: “Ecuaciones diferenciales. Problemas lineales y apli-
caciones.” Mc Graw-Hill, 1991.
[7] Parra Fabián, I.E.: “Ecuaciones en derivadas parciales. 50 problemas útiles.” Garcı́a-
Maroto, 2007.
[8] Pestana, D., Rodrı́guez J.M.; Marcellán, F.: “Variable compleja. Un curso práctico.”
Sı́ntesis, 1999.
[9] Stephenson, G.: “Introducción a las ecuaciones en derivadas parciales.” Reverté, 1982.
[11] Zill, D.G.; Cullen, M.R.: “Matemáticas avanzadas para Ingenierı́a 2. Cálculo vectorial,
análisis de Fourier y análisis complejo.” McGraw Hill, 2008.
163