Problemas de Matem aticas

David Jornet, Vicente Montesinos

Indice general
Introducci on V
1. N umeros complejos 1
1.1. Series de n umeros complejos. Funciones elementales . . . . . . 2
1.2. Derivaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Integraci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. F ormula de Cauchy y Aplicaciones . . . . . . . . . . . . . . . 9
1.5. Desarrollo de Taylor y Laurent, ceros, puntos singulares, residuos 11
1.6. Algunas aplicaciones de las funciones complejas . . . . . . . . 13
1.6.1. Algunos corolarios te oricos . . . . . . . . . . . . . . . . 13
1.6.2. Funciones arm onicas . . . . . . . . . . . . . . . . . . . 14
1.6.3. Aplicaciones geometricas. Transformaciones conformes 15
1.6.4. El problema de Dirichlet . . . . . . . . . . . . . . . . . 17
1.6.5. Aplicaciones a la electrost atica . . . . . . . . . . . . . . 18
1.6.6. Aplicaciones a hidrodin amica . . . . . . . . . . . . . . 19
1.6.7. Aplicaci on del Teorema del Residuo al c alculo de inte-
grales reales . . . . . . . . . . . . . . . . . . . . . . . . 20
2. Series de Fourier. Integrales de Fourier 23
2.1. Sistemas ortonormales de funciones. . . . . . . . . . . . . . . . 23
2.2. Representaci on integral de las sumas parciales de una serie de
Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3. Condiciones sucientes para la convergencia puntual de una
serie de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4. Series de Fourier de funciones particulares. . . . . . . . . . . . 27
2.5. El Teorema de Fejer y sus consecuencias. . . . . . . . . . . . . 29
2.6. Aplicaciones del Teorema de Convoluci on. . . . . . . . . . . . 30
iii

Indice general
2.7. Transformadas de Laplace. . . . . . . . . . . . . . . . . . . . . 31
2.8. Teorema de Aproximaci on de Weierstrass. . . . . . . . . . . . 32
2.9. Convergencia uniforme de la serie de Fourier. . . . . . . . . . . 33
2.10. Integrales de Fourier. . . . . . . . . . . . . . . . . . . . . . . . 33
3. Ecuaciones en Derivadas Parciales 37
3.1. Conceptos b asicos . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2. Operadores Lineales. . . . . . . . . . . . . . . . . . . . . . . . 38
3.3. Modelos matem aticos. . . . . . . . . . . . . . . . . . . . . . . 38
3.4. Reducci on de EDPs a forma can onica. . . . . . . . . . . . . . 38
3.5. Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 39
3.5.1. (*) Un ejemplo debido a Hadamard. . . . . . . . . . . . 39
3.5.2. El Problema de Cauchy para la ecuaci on de ondas ho-
mogenea. . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.5.3. El Problema de Cauchy con condiciones iniciales y de
contorno. . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.5.4. El Problema de Cauchy para la ecuaci on de ondas no
homogenea. . . . . . . . . . . . . . . . . . . . . . . . . 41
3.5.5. (*) El metodo de Riemann. . . . . . . . . . . . . . . . 41
3.6. El Metodo de Separaci on de Variables . . . . . . . . . . . . . . 42
3.6.1. El Problema de la Cuerda Vibrante. . . . . . . . . . . . 42
3.6.2. El Problema de la Conducci on del Calor. . . . . . . . . 43
3.6.3. La Ecuaci on de Laplace. . . . . . . . . . . . . . . . . . 43
3.6.4. Problemas No Homogeneos. . . . . . . . . . . . . . . . 44
3.6.5. Transformada de Fourier Finita. . . . . . . . . . . . . . 45
3.7. Problemas de Valores Propios. Aplicaci on de las Transfor-
madas Integrales . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.7.1. Sistemas de Sturm-Liouville. . . . . . . . . . . . . . . . 46
3.7.2. Funciones Propias. . . . . . . . . . . . . . . . . . . . . 47
3.7.3. Sistemas Singulares de Sturm-Liouville. . . . . . . . . . 47
3.7.4. Funci on de Green. . . . . . . . . . . . . . . . . . . . . 48
3.7.5. Aplicaciones de las Transformadas Integrales. . . . . . 49
iv
Introducci on
La colecci on de problemas que sigue est a adaptada al contenido del curso
de Matem aticas que se imparte en la Escuela Tecnica Superior de Ingenieros
de Telecomunicaci on de la Universidad Politecnica de Valencia, y complemen-
ta el texto de teora titulado Matem aticas, de los mismos autores, tambien
en la red y en esta misma direccion. La estructura de la colecci on responde
pues a la del texto mencionado.
Se proponen los problemas sin incluir su resoluci on, aunque en muchos
casos, especialmente si se pide un resultado numerico, este se proporciona
como ayuda al alumno. Tambien, especialmente en problemas que no son
puros ejercicios, se sugiere una va para resolverlos.
El alumno debe tener en cuenta que este libro de problemas pretende
familiarizarlo progresivamente con la materia. As, es perfectamente posible
que ciertos ejercicios se puedan resolver de forma mas breve acudiendo a
resultados te orico que se exponen posteriormente en el desarrollo de la ma-
teria. Esto no los hace superuos. Antes al contrario, intentar resolverlos con
las herramientas disponibles en ese momento, permite entrenar al alumno en
esas tecnicas, hace inteligible el resultado teorico posterior y le predispone a
aceptarlo como un logro intelectual.
Dentro de cada apartado se ha procurado escalonar la dicultad de los
problemas, de modo que el tr ansito por los m as sencillos, presentados al
principio, ayude al alumno a atacar los m as difciles despues, fortaleciendo
su autoestima y conanza.
Algunos problemas provienen de otros textos, otros son cosecha de los
autores, y algunos han sido sugerencia de varias personas a las que agrade-
cemos su ayuda. En particular queremos mencionar al Profesor Miguel Friz
y a los alumnos Luis Emilio Garca e Ignacio Monterde. Por ultimo, a todos
los alumnos que han pasado por este curso, de los que hemos recibido sug-
erencias y que han detectado alguna errata. Hemos marcado con () aquellos
v
problemas que quiz as excedan el nivel exigido.
En la misma direccion electrnica se encuentra una lista de los ex amenes
realizados hasta la fecha en esta asignatura, con sus soluciones, lo que com-
pleta esta coleccion de problemas e informa al alumno del nivel exigido.
Los autores
vi
Captulo 1
N umeros complejos
Atencion: los problemas que llevan asterisco son opcionales. Lo son por
dos razones: o bien presentan un interes menor o bien una dicultad te orica
superior a la exigida.
1. Sea z un n umero complejo. Probar que Re z =
1
2
(z+z), Imz =
1
2i
(zz).
2. Resolver la ecuaci on (1 +i)z = 2 + i. Soluci on: 3/2 (1/2)i.
3. Escribir
2+i
1+i
en la forma a + bi. (Sugerencia: observar el ejercicio ante-
rior).
4. Dado 0 ,= z
0
(, encontrar su reexi on respecto a 1) el origen de
coordenadas, 2) el eje real, 3) el eje imaginario, 4) la lnea x y = 0,
5) la lnea x + y = 0.
5. Demostrar que los ceros complejos de un polinomio con coecientes
reales aparecen siempre en forma de pares conjugados. (Sugerencia:
Escribir el signicado de que un n umero complejo z es raz de P, P(z) =
0, y tomar conjugados en ambos miembros).
6. Demostrar que dado n IN, 1+z +z
2
+. . . +z
n1
=
1z
n
1z
. (Sugerencia:
Usar la expresi on de la suma de una progresi on geometrica).
7. Si [[ < 1, demostrar que [z[ 1 si y solamente si [
z
1z
[ 1.
8. (*) Si ,= 0, demostrar que

( + )
n

n
n1

([[ +[[)
n
[[
n
[[
n[[
n1
.
(Sugerencia: Utilizar el desarrollo del binomio de Newton).
1
N umeros complejos
9. Demostrar que [z + 1[ > [z 1[ si y solamente si Re z > 0. Demostrar
que si Im > 0 e Im > 0, entonces

< 1.
Demostrar que dados dos n umeros complejos y , [1[
2
[[
2
=
(1 [[
2
)(1 [[
2
).
10. Calcular las races c ubicas de i. Soluci on: e
i
: = /2, +
/6, 2 /6.
11. (*)Calcular los valores de (3 4i)
3/8
m as proximos al eje imaginario.
12. Si [[ = 1, interpretar geometricamente la transformaci on z .z.
Soluci on: Un giro de angulo arg().
13. Calcular la imagen de z = x+iy : 1 x 2 mediante la transforma-
cion z z
2
. Calcular el conjunto de puntos cuya imagen mediante la
misma transformaci on es z = u +iv : 1 < u < 2. Calcular mediante
la misma transformaci on la imagen del semiplano superior abierto.
14. Determinar si es posible asignar a la siguiente funci on un valor en z
0
que la haga continua en ese punto: g(z) :=
z
3
z
3
0
zz
0
, z ,= z
0
. Soluci on: S,
el valor 3z
2
0
.
1.1. Series de n umeros complejos. Funciones
elementales
1. Sea

n=0
a
n
z
n
= s(z) para [z[ < R, donde R > 0. Entonces
a) Si s(x) IR, x IR con [x[ < R, demostrar que todos los coe-
cientes a
n
son reales (Sugerencia: proceder por induccion nita).
b) Si s es una funcion par (es decir, si s(z) = s(z) para todo com-
plejo z con [z[ < R)), demostrar que a
n
= 0 para todo n impar.
(Sugerencia: identicar coecientes y usar el teorema de unicidad
(teorema 13)).
2
1.1 Series de n umeros complejos. Funciones elementales
2. Demostrar que si a
n
0, n = 0, 1, 2, . . ., y

n=0
a
n
R
n
converge para
un R > 0, entonces

n=0
a
n
z
n
converge para todo complejo z con
[z[ = R. (Sugerencia: Considerar el m odulo de la suma de una cola;
alternativamente, observar que una serie absolutamente convergente
es convergente). Mostrar, con un ejemplo, que ello no es cierto si se
suprime la primera hip otesis.
3. (*)Demostrar que

n=0
z
n
no es uniformemente convergente en B(0, 1).
(Sugerencia: Considerar [s
n
(z) s(z)[ para valores de z pr oximos a 1,
siendo s
n
y s una suma parcial y la suma de la serie, respectivamente).
4. Calcular los ceros de las funciones 1+e
z
, sinh z, cosh z,
1
e
e
z
, 1+ie
z
.
Soluci on: 1) (2n+1)i : n Z, 2) ni : n Z, 3) (2n+1)(/2)i :
n Z, 4) (1+2ni : n Z, 5) (1/2) ln 2+i(/4+2n) : n Z.
5. (*)Si a y b son reales, probar que
1
2
(a +b) es un argumento de e
ia
+e
ib
.
Calcular el m odulo. (Sugerencia: multiplicar y dividir por exp(i(a +
b)/2)).
6. Probar que
1cos z
z
0 cuando z 0 (usar tan s olo la expresi on
del coseno como serie de potencias). (*)Deducir que n(
n
1) 2i
cuando n , donde
n
:= exp(2i/n). (Sugerencia: Una vez que se
sabe que existe el lmite de una expresi on compleja, es posible calcularlo
acercandose a lo largo de una recta paralela al eje real y, por tanto, usar
la regla de LH opital).
7. Si x IR y no es un m ultiplo entero de 2, probar que
1 + cos x + . . . + cos(n 1)x = cos
1
2
(n 1)x
sin(n/2)x
sin(1/2)x
,
sin x + . . . + sin(n 1)x = sin
1
2
(n 1)x
sin(n/2)x
sin(1/2)x
.
(Sugerencia: denotar la primera expresi on como u(x), la segunda como
v(x) y formar la funci on u(x) +i.v(x), escribiendola como una suma de
funciones exponenciales.)
8. Si y ,= 0, demostrar que cos(x +iy) es real si y solo si x es un m ultiplo
entero de . Escribir el conjunto de los z para los cuales sin z es real, y
deducir que si tanto cos z como sin z son reales, entonces z es real.
3
N umeros complejos
9. Sea f(z) := z sin(1/z) si z ,= 0, f(0) = 0. Estudiar la continuidad de
f en 0. Soluci on: No es continua; para verlo aproximarse a cero por el
eje real y por el eje imaginario.
10. (*)Dado z, probar que nlog
0
(1 + z/n) est a denida para todo n su-
cientemente grande y tiende a z cuando n . Deducir que (1+z/n)
n
tiende a e
z
cuando n . (Sugerencia: Observar que para n grande
la variable no se encuentra en el semieje H
0
).
11. (*)Demostrar que tan z dene una transformaci on inyectiva de z :
/2 < Re z /2 /2 sobre ( i, i.
12. (*)Sea f una funci on continua con valores reales denida en el intervalo
real [a, b]. Dado z (, se dene
F(z) :=
_
b
a
e
zt
f(t)dt.
Demostrar que F

(z) :=
_
b
a
te
zt
f(t)dt. F se llama la Transformada
de Laplace de f.
13. Sea f una funci on continua con valores reales denida en el crculo
z : [z[ = 1. Demostrar que existe z en ese crculo con f(z) = f(z)
(Sugerencia: denir la funcion g(z) := f(z) f(z), z C(0; 1). Si
g(z
0
) ,= 0 para cierto punto del crculo, observar que g(z
0
) = g(z
0
)
y aplicar el teorema del valor intermedio para funciones continuas; se
obtiene la conclusi on).
1.2. Derivaci on
1. Determinar los puntos de ( donde las funciones siguientes son deriva-
bles: 1) f(x + iy) := x
2
+ iy
2
, 2) f(x + iy) := x
2
+ 2ixy, 3) f(x +
iy) := 2xy + i(x +
2
3
y
3
), 4) f(x + iy) := x iy (Sugerencia: observar
que las funciones involucradas son diferenciables como funciones reales.
Comprobar si se verican o no las ecuaciones de Cauchy-Riemann).
Soluciones: 1) La recta x = y. 2) El eje real. 3) Los puntos (1/2, 0) y
(1/2, 1). 4) En ning un punto.
4
1.2 Derivaci on
2. Probar que las unicas funciones derivables de la forma f(x + iy) :=
u(x) +iv(y) (donde u y v son funciones reales) son f(x+iy) := z +c,
donde IR y c ( (Sugerencia: Utilice las ecuaciones de Cauchy-
Riemann).
3. (*)Si f es derivable y [f[ es constante en B(z
0
; r), para un cierto z
0
(
y r > 0, probar que f es constante en ese disco (Sugerencia: Escribir
la expresi on [f(z)[
2
en terminos de la parte real u e imaginaria v de f
y derivar esta expresi on. Utilizar entonces las ecuaciones de Cauchy-
Riemann junto con la condici on necesaria y suciente para que un sis-
tema homogeneo tenga solucion no trivial). Demostrar que lo mismo
es cierto si se supone que la parte real (o la parte imaginaria) de f es
constante en el disco.
4. Sea f(x + iy) :=
(1+i)x
3
(1i)y
3
x
2
+y
2
, si x + iy ,= 0, f(0, 0) = 0. Probar que
f satisface las ecuaciones de Cauchy-Riemann, pero no es derivable en
(0, 0). (Sugerencia: Para ver que la funci on no es derivable en (0, 0)
como funci on de dos variables reales calcular la derivada direccional en
ese punto en la direcci on de la bisectriz).
5. (*) Si IR y := + i(1 ), entonces [[
2
>
1
2
. Deducir que si
f(z) := z
3
, entonces no hay ning un punto en el segmento [1, i] tal
que f(i) f(1) = (i 1)f

(). Relacionar este ejemplo con el compor-

tamiento de las funciones reales (Sugerencia: m as precisamente, con
el teorema del valor medio; hacer una representaci on geometrica del
comportamiento de ).
6. Sea u la parte real de una funci on compleja derivable denida en un
subconjunto abierto A de (. Probar que u es arm onica (es decir, satis-
face la ecuaci on de Laplace, aceptando en este momento que existen las
derivadas parciales de segundo orden). (Sugerencia: Utilizar las ecua-
ciones de Cauchy-Riemann).
7. Si f(x + iy) := u(x, y) + iv(x, y), demostrar que las curvas
u(x, y) = constante y v(x, y) = constante
son ortogonales en todo punto donde f sea derivable con derivada dis-
tinta de 0. Visualizar el resultado utilizando funciones complejas deriva-
bles de modo que sea f acil obtener representaciones geometricas de las
5
N umeros complejos
curvas en cuestion (Sugerencia: calcular, en un punto de intersecci on,
el producto escalar de los gradientes).
8. (*) Si la parte real de todos los ceros de un polinomio P es negativa,
probar que la parte real de todos los ceros de P

tambien es negativa.
(Sugerencia: Los polinomios que tienen esta propiedad de los ceros se
llaman polinomios de Hurwitz y aparecen en la teora de la estabilidad
de los sistemas mec anicos y electricos. Factorizar en primer lugar el
polinomio: P(z) = a
n
(z z
1
)(z z
2
) . . . (z z
n
). Observar que, para
z ,= z
k
, k = 1, 2, . . . , n,
P

(z)
P(z)
=
1
z z
1
+
1
z z
2
+ . . . +
1
z z
n
.
Suponer ahora que Re z
k
< 0, k = 1, 2, . . . , n, pero que Re z 0.
Entonces Re(z z
k
) > 0, luego
Re
_
1
z z
k
_
> 0,
as que P

(z)/P(z) tiene parte real positiva y por tanto no es cero.)
9. Dadas dos funciones derivables f y g denidas en un conjunto abierto
conexo G, tales que f(z).g(z) = 0 para todo z G, demostrar que
alguna de las dos funciones es identicamente nula. (Sugerencia: Suponer
que en un cierto punto P una de las funciones, digamos g, no es nula.
Entonces, calcular las derivadas sucesivas de la funcion producto (que
es nula) para obtener que todas las derivadas sucesivas de f en P son
cero).
1.3. Integraci on
1. Calcular las integrales de las funciones z(z 1) y Re z a lo largo de los
segmentos 1) [0 1 + i], 2) [0 1] y 3) [1 1 + i]. Soluciones: 1)
2/3 i/3, 1/2 + i/2, 2) 1/6, 1/2, 3) 1/2 i/3, i.
2. Sea f(x+iy) = xy. Probar que la integral de f a lo largo del semicrculo
t e
it
, 0 t es
2
3
i.
6
1.3 Integraci on
3. Calcular la integral de la funci on 1/z a lo largo del permetro del cuadra-
do de lado 2 centrado en el origen y recorrido en sentido contrario a las
agujas del reloj. Soluci on: 2i.
4. (*) Sea f(z) :=

n=0
a
n
z
n
en [z[ < R, donde R > 0. Sea 0 < r < R y
n IN. Probar que existe z en C(0, r) con

_
[0z]
f

1
n
[a
n1
[r
n
.
(Sugerencia: Construir una serie de potencias (con suma F) que tenga
el mismo radio de convergencia que la original y de forma que F

(z) =
f(z), z B(0; R). Suponer que para cualquier punto z con [z[ = r se
verique

_
[0z]
f

<
1
n
[a
n1
[r
n
.
Utilizar el hecho de que [F[ alcanza el supremo en C(0; r) y las de-
sigualdades de Cauchy para llegar a una contradicci on).
5. Calcular
_
C(0,1)
1
z
dz directamente, cuando se recorre la circunferencia en
sentido positivo. Comparar el resultado con el obtenido en el problema
3. Soluci on: 2i. Se obtiene la misma respuesta, lo que era previsible
por el Teorema de Cauchy.
6. Si es una trayectoria cerrada, probar que
_

zdz es puramente imagi-

nario. (Sugerencia: Escribir la expresi on de la parte real de la integral y
probar que es cero observando que el integrando es la derivada de una
funcion).
7. Si f es una funcion par, demostrar que
_
C(0,r)
f = 0 para todo r > 0.
(Sugerencia: descomponer la integral en suma de otras dos, una cor-
respondiente a la mitad superior de la trayectoria, la otra a la mitad
inferior).
8. (*) Demostrar, usando integraci on, que la serie
log
0
(1 + z) =

n=1
(1)
n1
z
n
n
7
N umeros complejos
es tambien valida para z con [z[ = 1 y z ,= 1 (Sugerencia:
log
0
(1 + z) =
_
C
d

,
donde C es el segmento orientado desde 1 a z+1. Denotando u := z/[z[,
se obtiene
_
C
d

= u
_
r
0
1
1 + tu
dt.
Se usa ahora la f ormula de la suma de una progresi on geometrica de
raz on (tu) y se obtiene
1
1 +tu
= 1 tu + t
2
u
2
. . . + (1)
m1
t
m1
u
m1
+
(1)
m
t
m
u
m
1 + tu
.
Resulta
_
C
d

= z
z
2
2
+
z
3
3
+ . . . + (1)
m1
z
m
m
+ R
m
,
donde
R
m
:= (1)
m
u
m+1
_
r
0
t
m
1 + tu
dt.
Sea d la distancia de 0 a la recta 1+tu, una distancia positiva. Entonces
[R
m
[
1
d
_
r
0
t
m
dt =
r
m+1
m + 1
.
1
d
m
0,
incluso cuando r = [z[ = 1. Se obtiene la conclusi on).
Deducir que

n=1
(1)
n+1
n
sin nt =
1
2
t
Para < t < .
9. Calcular
_
C(i,2)
e
z
(z1)
n
, donde n es un entero positivo (Sugerencia: Susti-
tuir adecuadamente la integral por otra alrededor de una circunferencia
centrada en 1. Utilizar ahora la f ormula de Cauchy que proporciona los
valores de las derivadas de una funci on en un punto mediante inte-
grales alrededor de circunferencias centradas en ese punto). Soluci on:
(2ie)/(n 1)!.
8
1.4 F ormula de Cauchy y Aplicaciones
1.4. F ormula de Cauchy y Aplicaciones
1. Sea f(x + iy) := x + y, z = x + iy (. Denir F(z) :=
_
[0z]
f.
Determinar los puntos para los que F es diferenciable. (Sugerencia:
La funci on f no es derivable como funci on de variable compleja, ya
que toma s olo valores reales. Calcular la integral parametrizando la
trayectoria y, a continuaci on, estudiar la derivabilidad de la funci on
resultante. Observar que, al ser f continua, F es derivable en el punto
0 como consecuencia de resultados conocidos). Soluci on: la funcion F
es solo derivable en el origen.
2. (*) Sea una trayectoria suave por tramos, cerrada y contenida en
(. Sea f una funci on derivable con valores complejos denida en un
conjunto abierto que contiene a la imagen

de la trayectoria. Si f(z) :
z

no corta a x IR : x 0, demostrar que

_

(f

/f) = 0.
(Sugerencia: estudiar la existencia de una primitiva).
3. Calcular
_
C(0,1)
1
(za)(zb)
dz, donde (i) [a[, [b[ < 1, (ii) [a[ < 1, [b[ >
1, (iii) [a[, [b[ > 1 (Sugerencia: sustituir la trayectoria dada por dos
circunferencias de peque no radio centradas respectivamente en a y en
b). Soluci on: (i) 0, (ii) (2i)/(a b), (iii) 0.
4. Calcular
_
C(0,2)
e
z
z1
dz y
_
C(0,2)
e
z
i2z
dz (Sugerencia: usar la f ormula in-
tegral de Cauchy). Soluciones: (1) 2ie, (2) e
(i)/2
i.
5. Calcular las series de Taylor para las funciones sin(z) y cos(z) desarro-
lladas en /4. (Sugerencia: obtener los coecientes mediante las formu-
las de derivaci on). Soluciones:
sin(z) =

2
2
+

2
2
(z

4
)

2
2 2!
(z

4
)
2
+ . . .
cos(z) =

2
2

2
2
(z

4
)

2
2 2!
(z

4
)
2
+ . . .
6. Probar que la serie de Taylor de
1
1z+z
2
en 0 es

n=0
a
n
z
n
, donde
a
0
= a
1
= 1, a
2
= 0, y a
n+3
= a
n
, n 0. Calcular el radio de
convergencia. (Sugerencia: identicar coecientes). Soluci on: El radio
de convegencia es 1.
9
N umeros complejos
7. Calcular
_
C(i,2)
e
z
(z1)
n
dz, donde n es un entero positivo. (Sugerencia:
Usar las expresiones integrales de los coecientes de Taylor de una
funcion derivable). Soluci on: (2ie)/(n 1)! cuando n ,= 0, 0 cuando
n = 0.
8. Calcular el orden del cero de cada una de las siguientes funciones en 1:
e
z1
1, z sin z, z
5
3z
4
+ 8z
2
9z + 3. Soluci on: 1) orden 1, 2) 1 no
es un cero de la funcion, 3)La descomposici on factorial del polinomio
es (z 1)
3
(z
2
3), de donde se deduce que el orden es 3.
9. (*) Sean f y g dos funciones derivables denidas en un conjunto D
abierto y conexo en (. Suponer que f(z).g(z) = 0, z D. Probar que
alguna de las dos funciones es identicamente nula en D (Sugerencia:
Todos los conceptos se referiran al conjunto abierto D. Sea A := z
D : f(z) ,= 0. A es un conjunto abierto. Suponemos que no es vaco.
Entonces A ,= A, ya que, en otro caso, A sera simult aneamente abierto
y cerrado en D, lo que no es posible al ser D conexo. Supongamos que
A ,= D y tomemos z A A. Todo entorno N(z) de z corta tanto a
A como al complementario de A. Podemos pues construir una sucesion
(z
n
) en D A de puntos distintos de z que converge a z. Entonces f es
cero en cada entorno N(z) de z, lo que contradice que N(z) A ,= .
Por tanto se verica A = D. Como g es necesariamente cero en A, por
continuidad g es cero en D).
(Una sugerencia alternativa, siguiendo la misma idea, es la siguiente:
pruebese que el conjunto de ceros de una funci on derivable que no son
puntos aislados es simult aneamente un conjunto abierto y cerrado en
D. Por tanto, si D es conexo, este conjunto o es vaco o es todo D.
Ahora, si f.g es identicamente cero en D, y si f no es identicamente
cero, un cero z
0
de f es un punto aislado, por lo que g es cero en
B

(z
0
; r) para cierto r > 0. Por continuidad, g(z
0
) = 0, por lo que los
ceros de f forman un subconjunto de los ceros de g. Ahora, la uni on
de los ceros de f y los de g es todo D, as que g es identicamente cero
en D).
10
1.5 Desarrollo de Taylor y Laurent, ceros, puntos singulares, residuos
1.5. Desarrollo de Taylor y Laurent, ceros,
puntos singulares, residuos
1. Escribir la serie de Laurent de la funci on f(z) :=
1
z(z
2
+1)
en B

(0; 1)
y en ( B(0; 1) (Sugerencia: En el primer caso, usar la expresi on de
la suma de una progresi on geometrica ilimitada. En el segundo caso,
transformar primero la funci on en otra mediante el cambio de variable
w := 1/z y obtener el correspondiente desarrollo en serie para la funci on
resultante). Soluci on: 1)

n=0
(1)
n
z
2n1
, 2)

n=0
(1)
n
z
2n3
.
2. Si f es una funcion par (impar) que no tiene una singularidad esen-
cial en 0, probar que ord(f, 0) es par (impar). (Sugerencia: Identicar
coecientes).
3. Dar una lista y clasicar las singularidades de las siguientes funciones:
1
z
2
+
1
z
2
+ 1
,
z
sin z
, e
z+
1
z
,
1
e
z
2
1
Soluciones: 1) 0 es un polo de orden 2; i, -i son polos de orden 1. 2)
0 es una singularidad evitable. Los dem as ceros del seno son polos de
orden 1. 3) f(z) = exp(z).exp(1/z), por lo que f tiene una singularidad
esencial en 0. 4) 0 es un polo de orden 2.
4. (*) Si f tiene una singularidad esencial en z
0
, demostrar que f
2
tambien
la tiene. Si f tiene una singularidad esencial en z
0
y es no nula en
un entorno de z
0
, probar que 1/f tiene una singularidad esencial en
z
0
. (Sugerencia: Estudiar el comportamiento de [f[ en un entorno del
punto).
5. (*) Si f es derivable en ( excepto en un conjunto de puntos aislados
S (sus singularidades aisladas), probar que S K es nito, si K es
un subconjunto compacto de (. Deducir que S es un conjunto nito o
innito numerable. (Sugerencia: Suponer que en un conjunto compacto
haya innitas singularidades. Por el Teorema de Bolzano-Weierstrass
existe un punto de acumulaci on en ese conjunto, que tambien sera una
singularidad, aunque ahora no aislada, lo que produce una contradic-
cion. Para la segunda parte, tomar la sucesi on creciente de compactos
formada por las bolas cerrada centradas en cero y de radio n).
11
N umeros complejos
6. Encontrar el orden de los ceros de cada una de las funciones siguientes:
e
z1
1, z sin z, z
5
3z
4
+ 8z
2
9z + 3. Soluci on: 1) 1 es un cero de
orden 1. 2) 0 es un cero de orden 2, pero el resto de ceros son de orden
1. 3) La descomposici on factorial del polinomio es (z 1)
3
(z
2
3), de
donde se deduce el resultado.
7. Calcular las series de Taylor de las funciones cos y sin en el punto

4i
a) usando las f ormulas de adici on para ambas funciones o bien
b) derivando para encontrar los coecientes.
Soluciones:
sin(z) =
_

n=0
(1)
n
(z (/4)i)
2n+1
(2n + 1)!
_
cos(

4
i) +
+
_

n=0
(1)
n
(z (/4)i)
2n
(2n)!
_
sin(

4
i)
cos(z) =
_

n=0
(1)
n
(z (/4)i)
2n
(2n)!
_
cos(

4
i)

n=0
(1)
n
(z (/4)i)
2n+1
(2n + 1)!
_
sin(

4
i)
8. Calcular la serie de Taylor para la funci on
1
1z+z
2
en 0, as como su
radio de convergencia.
9. Calcular el residuo de las siguientes funciones en los puntos que se
indican:
a) f(z) :=
1
1+z
2
, z
0
= i.
b) f(z) :=
1
sin z
, z
0
= n, n entero.
c) f(z) :=
sin z
1cos z
, z
0
= 0.
d) f(z) :=
z
2
(z
2
+a
2
)
2
, a ,= 0, z
0
= ia.
e) f(z) :=
1
z
2
sin z
, z
0
= 0.
12
1.6 Algunas aplicaciones de las funciones complejas
Soluciones: (a) (i)/2, (b) (1)
n
, (c) 2, (d) 1/(4ia), (e) 1/6.
10. Probar que
_
C(0,2)
e
az
1+z
2
dz = 2i sin a.
11. Si ord(f, z
0
) = k > 0 y ord(g, z
0
) = k + 1, probar que res(
f
g
, z
0
) =
(k + 1)
f
(k)
(z
0
)
g
(k+1)
(z
0
)
.
12. Calcular los residuos de las siguientes funciones en los puntos que se
indican:
a)
e
iz
z
3
+z
, z
0
= i, z
0
= 1.
b)
1
1cos z
, z
0
= 0.
c)
1
(z1)
2
(z+1)
, z
0
= 1.
d)
1
zsin z
, z
0
= 0.
Soluci on: (a) 1/(2e), (b) 0, (c) 1/4, (d) 3/10.
13. Suponer que f es derivable en ( z
1
, . . . , z
n
, y tiene como serie de
Laurent

a
n
z
n
en z : [z[ > R, donde R := m ax[z
j
[ : j =
1, 2, . . . , n. Probar que a
1
=

n
j=1
res(f, z
j
).
1.6. Algunas aplicaciones de las funciones com-
plejas
1.6.1. Algunos corolarios te oricos
1. Demostrar el Teorema Fundamental del Algebra, es decir, el hecho de
que todo polinomio complejo p no constante tiene al menos una raz
compleja (Indicacion: suponer que p no tiene ninguna raz, con lo que
1/p es una funcion entera en todo el plano complejo, luego es una
serie de potencias convergente en todo el plano complejo. Probar que
1/(p(z).z) tiene lmite 0 cuando z . Aplicar el Teorema de Liouville
y concluir que 1/p debe ser constante).
2. Demostrar, como consecuencia del resultado anterior, que todo poli-
nomio complejo se puede factorizar (de forma unica), es decir,
p(z) = a
0
(z z
1
)
n
1
(z z
2
)
n
2
. . . (z z
k
)
n
k
,
13
N umeros complejos
donde, por supuesto, n
1
+. . . +n
k
es el grado del polinomio, y z
1
, . . . , z
k
son las races del mismo.
1.6.2. Funciones arm onicas
1. Sea f : D C una funci on denida en un conjunto abierto D
C. Suponer que f es derivable en D y sean u y v las partes real e
imaginaria, respectivamente, de la funci on f. Probar que tanto u como v
son funciones arm onicas, es decir, que satisfacen la ecuaci on de Laplace:

2
g
x
2
+

2
g
y
2
= 0,
en cada punto de D. Las funciones u y v se llaman arm onicas conju-
gadas. Dada una funci on u : D IR arm onica, desarrollar un meto-
do para calcular su arm onica conjugada, supuesto que D sea un con-
junto abierto y convexo. (Sugerencia: Como
u
x
=
v
y
, integrando re-
specto de x esta ecuacion se obtiene v(x, y) =
_
x
x
0
u
y
(x, y)dx + c(y).
Como se requiere
v
x
=
u
y
, se impone esta condici on y se llega a
_
x
x
0
(

2
u
y
2
)dx =
_
x
x
0

2
u
x
2
dx =
u
x
(x, y)
u
x
(x
0
, y). Se obtiene entonces
c(y) y por tanto v(x, y)).
2. Elegir la constante a de modo que la funci on u(x, y) := x
3
+ axy
2
sea
arm onica. Entonces, calcular su arm onica conjugada. Soluci on: a = 3,
v(x, y) = 3yx
2
y
3
+ k, donde k es una constante arbitraria.
3. (*) Sea u : D R una funci on arm onica denida en una regi on D C.
Probar que u satisface las siguientes propiedades:
a) Dado cualquier punto (x
0
, y
0
) D, se tiene que u(x
0
, y
0
) es el
valor medio de u en cualquier circunferencia centrada en (x
0
, y
0
),
de radio positivo y contenida en D.
b) Dado cualquier punto (x
0
, y
0
) D, se tiene que u(x
0
, y
0
) es el
valor medio de u en cualquier disco centrado en (x
0
, y
0
), de radio
positivo y contenido en D.
c) Si u no es constante en D, y si G es un dominio acotado tal que
G G D, donde G denota la frontera de G, entonces u no
posee maximo ni mnimo en G, luego los extremos se alcanzan en
G.
14
1.6.3 Aplicaciones geometricas. Transformaciones conformes
d) Con las condiciones anteriores, si u es constante en G entonces u
es constante en G.
e) Si h es arm onica en D y h(x, y) = u(x, y), para todo (x, y) G,
entonces h = u en G.
1.6.3. Aplicaciones geometricas. Transformaciones con-
formes
1. Estudiar la transformaci on de Mobius
w = f(z) =
i z
i + z
.
2. Demostrar que las dos familias de curvas u(x, y) = constante y
v(x, y) = constante, donde u y v son las partes real e imaginaria
de una funcion f : D C derivable, donde D es un subconjunto
abierto de C, son ortogonales.
3. (*) Sea f : D C una funci on derivable denida en un subconjun-
to abierto de C. Supongamos que f

(z
0
) ,= 0, donde z
0
es un cierto
punto de D. Probar que entonces existe un entorno de V de z
0
y un
entorno W de w
0
:= f(z
0
) tales que f(V ) = W y que f restringido a
V es inyectiva (Indicacion: utilizar el Teorema de la Funci on Inversa
del Calculo Diferencial de funciones de varias variables). Probar que
existe un factor de escala K de modo que las guras geometricas en V
se transforman en guras geometricas en W con una distorsi on K, y
que la transformaci on f preserva los angulos.
4. Determinar las im agenes de la circunferencia C(1; 1) y de la recta y = 1
bajo las siguientes transformaciones: a) f(z) = 2z, b) f(z) = z +3i 1,
c) f(z) = 2iz, d) f(z) = 1/z, e) f(z) = (z + i)/(z i), f) f(z) = z
2
.
5. Probar que toda transformaci on de Mobius conserva la raz on doble de
cuatro puntos cualesquiera. Como aplicaci on, determinar una trans-
formaci on de Mobius que convierta la circunferencia unidad en el eje
OX.
6. (*) En cada una de las transformaciones siguientes, comprobar que la
transformaci on es inyectiva en la regi on dada, calcular su imagen y las
15
N umeros complejos
curvas de nivel u =constante, v =constante, si f(z) = w = (u, v):
w =

z =

re
i/2
, < < . w =
z i
z + i
, [z[ < 1
w =
1
z
, 1 < x < 2. w = ln z, Imz > 0
w = ln
z 1
z + 1
, Imz > 0. w = z +
1
z
, Imz > 0
w = z
1
z
, [z[ > 1.
7. Estudiar las siguientes transformaciones, en particular trazando las cur-
vas de nivel u =constante y v =constante para cada una de ellas:
w = z + a. w = a.z
w = az + b. w =
az + b
cz + d
w = sin z,
donde a, b, c, d son constantes complejas de modo que cz + d ,= 0 y
bc ad ,= 0.
8. Combinando transformaciones anteriores, determinar una transforma-
cion conforme e inyectiva de
a) El cuadrante x > 0, y > 0 sobre la regi on [w[ < 1.
b) El sector 0 < < /3 sobre el cuadrante u > 0, v > 0.
c) El semiplano y > 0 sobre la banda 0 < v < .
d) La semibanda /2 < x < /2, y > 0 sobre el cuadrante u > 0,
v > 0.
e) La regi on r > 1, 0 < < sobre la banda 0 < v < .
f ) La banda 1 < x + y < 2 sobre el semiplano v > 0.
g) El semiplano x + y + 1 > 0 sobre el cuadrante u > 0, v > 0.
9. Demostrar que la ecuaci on de una circunferencia o de una recta se
puede escribir como
azz + bz + bz + c = 0, a, c real.
16
1.6.4 El problema de Dirichlet
Probar entonces que la transformaci on w = 1/z transforma circunfe-
rencias o rectas en circunferencias o rectas. (Sugerencia: Toda recta o
circunferencia en el plano puede escribirse como A(x
2
+y
2
)+Bx+Cy+
D = 0).
10. Probar que la composici on de dos transformaciones de M obius es del
mismo tipo, as como la inversa.
1.6.4. El problema de Dirichlet
1. Determinar una funci on arm onica u(x, y) en la semibanda de la gura
1 que tome en la frontera los valores indicados. (Sugerencia: La trans-
formaci on seno convierte una banda como la dada en un semiplano).
Figura 1.1: La semibanda del problema 1
2. Encontrar una funci on arm onica u(x, y) para [z[ < 1, que sea 1 en
r = 1, < < , y que sea 0 en el resto de la frontera (ver la gura
1.2). (Sugerencia: transladar la circunferencia de modo que este en el
semiplano inferior y pase por cero; la transformaci on z (1/z) la
convierte en una recta; despues, trasladar esa recta al eje real).
3. a) Comprobar que la funci on w = 2 ln z z
2
transforma el semiplano
Imz > 0 de una manera conforme e inyectiva en el plano w menos
las rectas v = 2, u < 1 y v = 0, u < 1.
b) Encontrar el potencial electrost atico U entre dos placas conden-
sadoras idealizadas como dos semiplanos perpendiculares al plano
17
N umeros complejos
Figura 1.2: El crculo del problema 2
uv a lo largo de las rectas v = a, u < 0 y v = 0, u < 0, si la diferen-
cia de potencial entre las dos placas es U
0
. De otra forma, se trata
de resolver el problema con valores en la frontera U(u, a) = U
0
para u < 0 y U(u, 0) = 0 para u < 0, U(u, v) arm onica en la
porci on restante del plano uv.
4. a) Demostrar que la funci on w = z
2
transforma la regi on Imz > 1
de una manera conforme e inyectiva sobre la regi on parab olica
u <
v
2
4
1.
b) Se supone un solido idealizado como un cilindro innito perpendi-
cular al plano uv cuyo corte transversal en el plano uv es la regi on
u v
2
. Supongamos que el s olido est a en equilibrio termico, con
temperaturas T
1
mantenidas en la parte de la supercie frontera
donde v > 0 y T
2
donde v < 0. Encontrar la distribuci on de tem-
peratura dentro del s olido. Es decir, resolver el siguiente problema
con valores en la frontera: T(u, v) arm onica para u < v
2
con valo-
res en la frontera T(u, v) = T
1
para u = v
2
, v > 0 y T(u, v) = T
2
para u = v
2
, v < 0.
1.6.5. Aplicaciones a la electrost atica
1. Supongamos que tenemos una supercie cilndrica circular constituida
por una hoja delgada de material conductor, de forma que el cilindro
esta partido a lo largo de dos generatrices formando dos partes iguales.
18
1.6.6 Aplicaciones a hidrodin amica
Estas partes estan separadas por delgadas bandas de material aislante
y usadas como electrodos, uno de los cuales est a unido a tierra (V = 0)
y el otro se mantiene a potencial constante (V = V
0
).
Se quiere calcular el potencial electrico en su interior. Si el cilindro es lo
sucientemente largo y calculamos dicho potencial en puntos alejados
de los extremos podemos suponer que V solo depende de dos variable
x e y.
2. Sup ongase ahora que tenemos otro cilindro, con potencial constante V
0
,
apoyado sobre un plano innito de tierra. Se pretende calcular el poten-
cial fuera del cilindro. Sugerencia: utilcese la transformaci on conforme
f(z) = 1/z.
1.6.6. Aplicaciones a hidrodinamica
1. Estudiar el comportamiento de un uido cuyo potencial de velocidad
complejo es F(z) = Kz, siendo K una constante real positiva.
2. Estudiar el comportamiento de un uido plano cuyo potencial de ve-
locidad compleja est a dado por la funci on F(z) := z
2
.
3. Estudiar el ujo representado por la funci on f(z) := log
0
(z). Determi-
nar las lneas de corriente, las lneas equipotenciales, la velocidad del
ujo en cada punto y el ujo que atraviesa la circunferencia de centro
0 y radio r > 0. Soluci on: El ujo que atraviesa la circunferencia de
centro 0 y radio r es 2. La velocidad es radial y de m odulo 1/r.
4. Lo mismo para la funci on f(z) := log
0
(z), donde C es una
constante compleja. Soluci on: el movimiento es ahora espiral. El ujo
que atraviesa ahora una circunferencia centrada en el origen y de radio
r es 2a, siendo a = Re . La velocidad es tangencial a la trayectoria
y de m odulo a/r.
5. Estudiar el ujo correspondiente a la funci on potencial complejo F(z) =
arc cos h(z).
6. Se supone ahora que existe una fuente con valor 2c, siendo c IR una
constante, situada en el punto a IR, siendo a > 0, y que se intercala
una pared reectante en el eje imaginario. Estudiar el comportamiento
19
N umeros complejos
del ujo. (Indicaci on: suponer que existe una fuente virtual de la misma
intensidad situada en el punto a).
7. Flujo alrededor de una circunferencia: (a) Sea f(z) = z+z
1
. Demostrar
que hay una lnea de corriente formada por el eje OX y la circunferencia
[z[ = 1. Estudiar el comportamiento de f(z) cuando z , interpretar
el resultado como el potencial complejo de un ujo uniforme que rodea
un obst aculo circular. Dibujar algunas lneas de corriente. (b) Hallar la
velocidad en los puntos z = e
i
de la circunferencia y demostrar que la
velocidad m axima es el doble de la velocidad original del ujo uniforme.
(c) Hallar la presi on sobre el contorno de la circunferencia y mostrar,
por simetra, o por cualquier otro procedimiento, que la fuerza total
resultante sobre la circunferencia es 0. Este fenomeno se llama a veces
la paradoja hidrodin amica. (d) Si se suma a f(z) el termino ic log z,
con c > 0 una constante, demostrar que la circunferencia contin ua sien-
do una lnea de corriente, pero que ahora la resultante de las fuerzas
aplicadas sobre el crculo no es cero, siendo perpendicular a la direcci on
del ujo uniforme y cuyo m odulo es proporcional a la circulaci on.
8. Metodo de Rankine. (a) Suponer que dos familias de curvas, f(x, y) =
const y g(x, y) = const sean tales que cada curva f corte exactamente a
una curva g, y viceversa. Explicar por que la familia f(x, y) +g(x, y) =
const puede obtenerse uniendo los puntos de intersecci on. (b) Aplicar
este metodo para dibujas las lneas de corriente asociadas con la funci on
f(z) := z+log z, e interpretar el resultado como representaci on del ujo
en la popa de un barco.
1.6.7. Aplicaci on del Teorema del Residuo al calculo
de integrales reales
1. Verique que
_

x
2
1 + x
4
dx =

2
.
2. Verique que
_

x + 2
(1 + x
2
)
2
dx = .
20
1.6.7 Aplicaci on del Teorema del Residuo al c alculo de integrales reales
3. Calcular la integral
_
+

x
2
(x
2
+a
2
)
2
dx, donde a > 0. Asegurar en primer
lugar que esta integral es convergente. Probar que su valor es

2a
. (Indicacion:
Integrar la funci on f(z) :=
z
2
(z
2
+a
2
)
2
en una trayectoria que consista en
un segmento sobre el eje 0X entre r y r, y una semicircunferencia en
el semiplano superior centrada en el origen y de radio r. Hacer tender
despues r a innito).
4. Calcular
_
+

cos x
1+x
2
dx y demostrar que es

e
.
5. Calcular la integral
_
+

xsin x
(x
2
+a
2
)
dx, donde a > 0. Probar que su valor
es e
a
.
Indicacion: Usar el Lema de Jordan.
6. Calcular la integral
_
+

sin x
x
dx. Probar que su valor es .
Indicacion: Utilizar una modicaci on del Lema de Jordan usando un
cuadrado cuya base este en el eje real excepto un peque no semicrculo
de modo que el cuadrado contenga al origen de coordenadas.
7. Calcular las siguientes integrales probando que su valor es el que se
indica:
a)
_
+

1
1+x
4
dx =

2
.
b)
_
+
0
x
1+x
4
dx =

4
.
c)
_
+

cos(x)
x
2
4x+5
dx = e

.
d)
_
+

sen(x)
x
2
4x+5
dx = 0.
e)
_
+

cos x
x
2
2x+2
dx =

.
f )
_
+

sin x
x
2
2x+2
dx = 0.
g)
_
+

x
2
(x
2
+1)(x
2
+4)
dx =

3
.
h)
_

x+2
(1+x
2
)
2
dx = .
i )
_
+

1
(1+x
2
)
2
dx =

2
.
j )
_
+

x
3
sin x
(1+x
2
)
2
dx =

2e
.
k)
_
+

x
2
a
2
(x
2
+a
2
)
sin x
x
dx = (2e
a
1), a > 0.
21
N umeros complejos
l )
_
+

cos axcos bx
x
2
dx = (b a), a, b 0.
(Indicaci on: Considerar la funci on
f(z) :=
e
iaz
e
ibz
z
2
e integrarla en un circuito que consista en un rect angulo con
vertices en (p, 0), (p, p), (p, p) y (p, 0), al que se le ha a nadido
un peque no semicrculo para englobar al origen. Hacer p .)
m)
_
+

_
sin x
x
_
2
dx = .
(Indicaci on: Obtener el valor de esta integral como una aplicaci on
de la anterior, observando que
sin
2
(x) =
1 cos 2x
2
.)
n)
_
2
0
cos x
a+cos x
dx = 2
_
1
a

a
2
1
_
, a > 1.
(Indicaci on: En primer lugar, observar que la integral pedida no es
una integral impropia. A continuaci on, considerar que si (t) :=
cos t + i sin t, t [0, 2], es una parametrizaci on de la circunfer-
encia C(0; 1), entonces es inmediato que cualquier integral de la
forma
_
2
0
f(sin t, cos t)dt
puede convertirse en
_
C(0;1)
f
_
1
2
_
z +
1
z
_
,
1
2i
_
z
1
z
__
1
iz
dz.)
22
Captulo 2
Series de Fourier. Integrales de
Fourier
2.1. Sistemas ortonormales de funciones.
1. Se considera el espacio de las funciones medibles de cuadrado integrable
en el intervalo [0, 2]. Este espacio est a dotado de un producto interior
f, g) :=
_
I
fg,
donde () denota el conjugado complejo. Consecuentemente, hay una
norma denida que es
|f|
2
:= f, f)
1/2
.
Considerar la familia de funciones S :=
0
,
1
,
2
, . . ., donde

0
(x) :=
1

2
,
2n1
(x) :=
cos nx

,
2n
(x) :=
sin nx

,
donde n = 1, 2, . . .. Probar que S es un sistema ortonormal de funciones
(reales)
1
en cualquier intervalo de longitud 2.
2. Sea el sistema S :=
0
,
1
,
2
, . . ., donde

n
(x) :=
e
inx

2
=
cos nx + i sin nx

2
, n = 0, 1, 2, . . .
1
El siguiente ejercicio proporciona un sistema ortonormal de funciones complejas en un
intervalo del mismo tipo.
23
Series de Fourier. Integrales de Fourier
Probar que S es un sistema ortonormal
2
de funciones (complejas) en
cualquier intervalo de longitud 2.
3. Este ejercicio describe un metodo importante de obtener, a partir de un
conjunto de vectores de un espacio E en el que hay denido un produc-
to interior, un conjunto ortonormal de vectores. El metodo se conoce
como Proceso de Ortogonalizaci on de Gram-Schmidt: Se proporciona
un conjunto linealmente independinte v
0
, v
1
, v
2
, . . . de vectores de E.
Sea
u
0
:=
v
0
|v
0
|
.
Ahora, sea
u
1
:=
v
1
v
1
, u
0
)u
0
|v
1
v
1
, u
0
)u
0
|
Es obvio que este vector es de norma 1 y es ortogonal al anterior. Sea
ahora
u
2
:=
v
2
v
2
, u
0
)u
0
v
2
, u
1
)u
1
|v
2
v
2
, u
0
)u
0
v
2
, u
1
)u
1
|
.
El procedimiento sigue de esta forma
3
.
4. (*) Una aplicaci on del anterior procedimiento, cuando se considera el
intervalo [1, 1] y el producto interior
f, g) =
_
1
1
f(t)g(t)dt,
as como el sistema de vectores (=funciones) 1, t, t
2
, . . ., proporciona
los polinomios
g
1
(t) = t, g
2
(t) = t
2

1
3
, g
3
(t) = t
3

3
5
t, g
4
(t) = t
4

6
7
t
2
+
3
35
, . . .
Los polinomios

n
(t) =
(2n)!
2
n
(n!)
2
g
n
(t)
2
Los sistemas proporcionado en este ejercicio y en el anterior se llaman Sistemas
Trigonometricos.
3
Es sencillo obtener una imagen geometrica del procedimiento: Obtenidos los vectores
u
0
, u
1
, . . . , u
n
, el siguiente vector se obtiene quitando a v
n+1
las componentes que
apuntan en las direcciones ya consideradas, y dejando s olo la componente en la nueva
direccion.
24
2.2 Representaci on integral de las sumas parciales de una serie de Fourier.
se llaman Polinomios de Legendre. Una denici on alternativa es la si-
guiente: Se toma la funci on f
n
(x) := (x
2
1)
n
. Entonces

0
(x) = 1,
n
(x) =
1
2
n
(n!)
f
(n)
n
(x).
Las siguiente propiedades de los polinomios de Legendre son impor-
tantes:
a)

n
(x) = x

n1
(x) + n
n1
(x).
b)
n
(x) = x
n1
(x) +
x
2
1
n

n1
(x).
c) (n + 1)
n+1
(x) = (2n + 1)x
n
(x) n
n1
(x).
d)
n
satisface la ecuaci on diferencial
_
(1 x
2
)y

+ n(n + 1)y = 0.
e)
_
1
1

2
n
(x)dx =
2n1
2n+1
_
1
1

2
n1
(x)dx.
f )
_
1
1

2
n
(x)dx =
2
2n+1
.
5. Utilizando las siguientes f ormulas
2 cos nx = e
inx
+ e
inx
, 2i sin nx = e
inx
e
inx
,
expresar la serie de Fourier de una funci on en terminos de exponenciales
complejas y proporcionar expresiones para los coecientes de Fourier
de la expresi on resultante.
6. Expresar la serie de Fourier de una funci on peri odica de perodo b a,
digamos f 1[a, b], donde [a, b] es un cierto intervalo, utilizando cam-
bios de variable adecuados para reducir el problema al caso estudiado.
Dar la expresi on de los coecientes de Fourier en este caso.
2.2. Representaci on integral de las sumas par-
ciales de una serie de Fourier.
1. Dado n IN, la funcion D
n
llamada n ucleo de Dirichlet, esta denida
como
D
n
(t) :=
1
2
+
n

k=1
cos kt.
25
Series de Fourier. Integrales de Fourier
Probar que
D
n
(t) =
_

_
sin(n+
1
2
)t
2 sin t/2
si t ,= 2m (m entero),
n +
1
2
si t = 2m (m entero).
(Sugerencia: Escribir la suma de una serie

n
k=0
e
ikt
observando que se trata
de una progresi on geometrica).
2.3. Condiciones sucientes para la conver-
gencia puntual de una serie de Fourier.
1. (*) Este ejercicio describe el tipo de funciones que se consideran en la
condici on para la convergencia de la serie de Fourier en un punto, dada
por Jordan: Una funci on f : [a, b] IR se dice que es de variaci on
acotada cuando existe M > 0 de modo que, para cualquier partici on P
de [a, b], digamos a = x
0
< x
1
< . . . < x
n
= b, se tenga
n

k=1
[f(x
k
) f(x
k1
)[ M.
Si f es de variaci on acotada en [a, b], y si a x b, se dene V
f
(x), la
variaci on total de f en [a, x] (una funci on de x), como el n umero
sup
n

k=1
[f(x
k
)f(x
k1
)[ : P := a = x
0
< x
1
< . . . < x
n
= x, P T
donde T denota el conjunto de todas las particiones de [a, x].
a) Demostrar que V
f
es una funcion mon otona creciente en [a, b].
b) Demostrar que la funci on V
f
f es, tambien, una funci on mon otona
creciente en [a, b].
c) Deducir que toda funci on de variaci on acotada en [a, b] es la difer-
encia de dos funciones monotonas crecientes en [a, b].
26
2.4 Series de Fourier de funciones particulares.
d) Probar el recproco: que toda funci on que sea diferencia de dos
mon otonas crecientes en [a, b] es una funcion de variaci on acota-
da en ese intervalo. Probarlo, en primer lugar, para una funci on
mon otona creciente. Esto, junto con los apartados anteriores, da
una caracterizaci on de las funciones de variaci on acotada.
2. (*) Sea g 1[a, ] para cada n umero a tal que 0 < a < . Supongamos
que g satisfaga una condici on de Lipschitz por la derecha en 0: es decir,
que existan dos constantes positivas M y p de modo que
[g(t) g(0+)[ < Mt
p
, t ]0, ].
Probar que, en ese caso, g verica la condici on de Dini para la existencia
del lmite de la integral de Dirichlet usada en la teora. Notar que, en
particular, si g tiene una derivada por la derecha en 0, en el sentido de
que el siguiente lmite exista y sea nito
lm
t0
g(t) g(0+)
t
,
entonces g satisface una condici on de Lipschitz con p = 1, luego se
verica la condici on de Dini.
3. Probar, como aplicaci on del ejercicio anterior, que si una funci on f
denida en un intervalo [a, b] es diferenciable en un punto interior x, su
serie de Fourier converge a f(x) en ese punto.
2.4. Series de Fourier de funciones particu-
lares.
1. Supongamos que f 1[, ] y que es 2- periodica. Probar que la
serie de Fourier generada por f presenta las siguientes formas especiales
si se verican las condiciones enunciadas:
a) Si f(x) = f(x) cuando 0 < x < , entonces
a
0
2
+

n=1
a
n
cos nx, donde a
n
=
2

_

0
f(t) cos ntdt.
27
Series de Fourier. Integrales de Fourier
b) Si f(x) = f(x) cuando 0 < x < , entonces

n=1
b
n
sin nx, donde b
n
=
2

_

0
f(t) sin ntdt.
(Sugerencia: Tanto en este apartado como en el anterior, escribir
la integral que dene los coecientes de Fourier como suma de una
integral en [, 0] y otra en [0, ]).
c) En los siguientes ejercicios, establecer la relaci on entre S y f.
Discutir cuidadosamente la forma de utilizaci on de los teoremas
de convergencia adecuados
4
:
1) f(x) := x, I :=]0, 2[, S(x) := 2

n=1
sin nx
n
.
2) f(x) :=
x
2
2
, I := [0, 2], S(x) := x

2
3
+ 2

n=1
cos nx
n
2
.
3) f(x) :=

4
, I :=]0, [, S(x) :=

n=1
sin(2n1)x
2n1
.
4) f(x) := x, I := [0, ], S(x) :=

2

4

n=1
cos(2n1)x
(2n1)
2
.
5) f(x) := x, I :=] , [, S(x) := 2

n=1
(1)
n1
sin nx
n
.
6) f(x) := x
2
, I := [, ], S(x) :=

2
3
+ 4

n=1
(1)
n
cos nx
n
2
.
7) f(x) := x
2
, I :=]0, 2[, S(x) :=
4
3

2
+4

n=1
_
cos nx
n
2

sin nx
n
_
.
8) f(x) := cos x, I :=]0, [, S(x) :=
8

n=1
nsin 2nx
4n
2
1
.
9) f(x) := sin x, I :=]0, [, S(x) :=
2

n=1
cos 2nx
4n
2
1
.
10) f(x) := xcos x, I :=], [, S(x) :=
1
2
sin x+2

n=2
(1)
n
nsin nx
n
2
1
.
11) f(x) := xsin x, I := [, ], S(x) := 1
1
2
cos x2

n=2
(1)
n
cos nx
n
2
1
.
12) f(x) := ln

sin
x
2

, x ,= 2k, S(x) := ln 2

n=1
cos nx
n
.
(Sugerencia: calcular la serie de Fourier de la funci on g(x) :=
f

(x), obteniendo g

+
k=1
sin kx. Obtener ahora la serie de
Fourier de f aplicando el Teorema de Integraci on.)
13) f(x) := ln

cos
x
2

, x ,= 2(k+1), S(x) := ln 2

n=1
(1)
n
cos nx
n
.
(Sugerencia: Usar el n umero anterior.)
14) f(x) := ln

tan
x
2

, x ,= k, S(x) := 2

n=1
cos(2n1)x
2n1
.
(Sugerencia: Usar los dos n umeros anteriores.)
4
Usar, cuando sea posible, el ejercicio anterior.
28
2.5 El Teorema de Fejer y sus consecuencias.
2. Demostrar que la serie de Fourier asociada a la funci on f(x) := x,
x ] 2, 2[, funcion 4-peri odica, es
+

k=1
(1)
k+1
4
k
sin
_
k
x
2
_
.
3. Demostrar que la serie de Fourier compleja

+
k=
c
k
e
ikx
de la funcion
f(x) := e
x
, x ] , [ tiene como coecientes
c
k
=
(1 + ik)(1)
k
(1 + k
2
)
sinh , k = 0, 1, 2, . . . .
4. Sea g una funci on continua en [0, 1]. Se supone que
_
1
0
t
n
g(t)dt = 0 para
n = 0, 1, 2, . . . Probar que
a)
_
1
0
g(t)
2
dt =
_
1
0
g(t) (g(t) P(t)) dt para cada polinomio P.
b)
_
1
0
g(t)
2
dt = 0.
5
c) g(t) = 0 para cada t [0, 1].
2.5. El Teorema de Fejer y sus consecuencias.
1. (*) Un sistema ortonormal S :=
0
,
1
,
2
, . . . de funciones se dice
que es completo cuando toda funci on de cuadrado integrable se puede
aproximar en la norma | |
2
por combinaciones lineales de funciones de
S. Una de las consecuencias del Teorema de Fejer es que toda funci on
continua en [0, 2] y peri odica con perodo 2 es el lmite, en la norma
||
2
, de la sucesion de sumas parciales de su serie de Fourier (respecto al
sistema trigonometrico). Como consecuencia, el sistema trigonometrico
es completo.
2. (*) El Teorema de Fejer tiene como consecuencia el Teorema de Aprox-
imacion de Weierstrass (toda funci on real y continua denida en un
intervalo compacto [a, b] se puede aproximar uniformemente por poli-
nomios). Dar los detalles de la prueba.
5
Usar el Teorema de Aproximacion de Weierstrass.
29
Series de Fourier. Integrales de Fourier
2.6. Aplicaciones del Teorema de Convolu-
ci on.
1. (*) Sea p > 0, q > 0. Entonces se tiene la f ormula
_
1
0
x
p1
(1 x)
q1
dx =
(p)(q)
(p + q)
.
La integral del primer miembro se llama funci on Beta, y se designa por
B(p, q). Para probar esta f ormula se considera
f
p
(t) :=
_
t
p1
e
t
si t > 0,
0 si t 0.
Entonces f
p
L
1
(IR) e
_
+

f
p
(t)dt =
_

0
t
p1
e
t
dt = (p). Si h des-
igna la convoluci on, h = f
p
f
q
, haciendo u = 0 en la f ormula de
convoluci on, y si p > 1 o bien q > 1, se obtiene
_
+

h(x)dx =
_
+

f
p
(t)dt
_
+

f
q
(y)dy = (p)(q).
Ahora, se calcula la integral de la izquierda de otra forma: Dado que
tanto f
p
como f
q
se anulan en el eje real negativo, se tiene
h(x) =
_
x
0
f
p
(t)f
q
(x t)dt =
_
e
x
_
x
0
t
p1
(x t)
q1
dt, si x > 0,
0 si x 0.
El cambio de variable t = ux proporciona, para x > 0,
h(x) = e
x
x
p+q1
_
1
0
u
p1
(1 u)
q1
du = e
x
x
p+q1
B(p, q).
Por tanto,
_
+

h(x)dx = B(p, q)
_
+
0
e
x
x
p+q1
dx = B(p, q)(p + q),
lo que prueba, usando lo anterior, la igualdad del enunciado, si p > 1 o
q > 1. Para obtener el resultado si p > 0 o q > 0, basta usar la relaci on
pB(p, q) = (p + q)B(p + 1, q).
30
2.7 Transformadas de Laplace.
2.7. Transformadas de Laplace.
Sea c > 0 de modo que la integral
_

0
e
ct
[f(t)[dt exista como integral de
Riemann impropia. Sea z = x + iy, en donde x > c. Probar que la integral
F(z) :=
_

0
e
zt
f(t)dt
existe como integral de Riemann impropia y como integral de Lebesgue. La
funcion as denida se llama Transformada de Laplace de f, y se denota como
L(f). En los ejercicios siguientes se establecen algunas de las propiedades de
la transformada de Laplace.
1. En la siguiente tabla se proporcionan algunas transformadas de Laplace.
Comprobarlas.
f(t) F(z) =
_

0
e
zt
f(t)dt z = x + iy
e
t
(z )
1
(x > )
cos t z/(z
2
+
2
) (x > 0)
sin t /(z
2
+
2
) (x > 0)
t
p
e
t
(p + 1)/(z )
p+1
(x > , p > 0)
2. Probar que la convoluci on h = f g toma la forma
h(t) =
_
t
0
f(x)g(t x)dx
cuando f y g se anulan en el eje real negativo. Utilizar el teorema de
convoluci on de transformadas de Fourier para demostrar
L(f g) = L(f).L(g).
3. Suponer que f sea continua en ]0, +[. Sea F(z) :=
_

0
e
zt
f(t)dt para
z = x + iy, x > c > 0. Si s > c y a > 0, probar que
a) F(s + a) = a
_

0
g(t)e
at
dt, donde g(x) =
_

0
e
st
f(t)dt.
b) Si F(s+na) = 0 para n = 0, 1, 2, . . ., entonces f(t) = 0 para t > 0.
6
6
Indicaci on: usar el ejercicio 4 de la seccion 2.4.
31
Series de Fourier. Integrales de Fourier
c) Si h es continua en ]0, +[ y si f y h tienen la misma transformada
de Laplace, entonces f(t) = h(t) para cada t > 0.
4. Sea F(z) :=
_

0
e
zt
f(t)dt para z = x + iy, x > c > 0. Sea t un punto
en el que f satisface una de las condiciones del Teorema de la Integral
de Fourier. Probar que, para cada a > c, tenemos
f(t+) + f(t)
2
=
1
2
lm
T+
_
T
T
e
(a+iv)t
F(a + iv)dv.
Esta expresi on se llama Formula de Inversi on para Tranformadas de
Laplace
7
.
2.8. Teorema de Aproximaci on de Weierstrass.
1. Probar el Teorema de Aproximaci on de Weierstrass como aplicaci on de
los teorema de convergencia de series de Fourier.
Sugerencia: Considerar, sin perdida de generalidad, que f es una fun-
cion denida y continua en [, ] con f() = f(). Aproximar f
uniformemente por una funci on g continua y lineal a trozos. La se-
rie de Fourier de g converge uniformemente por un conocido criterio
de convergencia. As, dado > 0 podemos encontrar un polinomio
trigonometrico que aproxima f uniformemente con error < . Si se
quiere aproximar ahora f uniformemente por polinomios, usar los poli-
nomios de Taylor que aproximan las funciones sin y cos observando que
la aproximaci on es uniforme debido a la acotaci on del resto de Taylor.
2. Utilizar el Teorema de Aproximaci on de Weierstrass para probar las
siguientes armaciones:
a) Si f es continua en [1, +[ y si f(x) a cuando x +, en-
tonces f se puede aproximar uniformemente en [1, +[ por medio
de una funcion g de la forma g(x) := p(1/x), donde p es un poli-
nomio.
(Sugerencia: Denir h(x) := f(1/x), x ]0, 1]. Probar que h
esta bien denida y es continua en ese intervalo. Denir h(0) = a.
7
Sea g(t) = e
at
f(t) si t 0, g(t) = 0 si t < 0. Comprobar que g verica la condici on
suciente de Dini para la convergencia de la serie de Fourier.
32
2.9 Convergencia uniforme de la serie de Fourier.
Probar que h es ahora continua en [0, 1] y aplicar el Teorema de
Aproximaci on de Weierstrass).
b) Si f es continua en [0, +[ y si f(x) a cuando x +, en-
tonces f se puede aproximar uniformemente en [0, +[ por medio
de una funcion g de la forma g(x) := p(e
x
), donde p es un poli-
nomio.
(Sugerencia: Denir la funcion h(t) := f(ln t) si t ]0, 1] y
h(0) = a. Observar que h es continua en [0, 1] y aplicar el Teorema
de Aproximaci on de Weierstrass).
2.9. Convergencia uniforme de la serie de Fou-
rier.
1. (*) Sea la serie de Fourier (en forma exponencial) generada por una
funcion f continua en [0, 2] y peri odica de perodo 2, precisamente
n=+

n=

n
e
inx
.
Se supone que f es derivable con derivada f

1[0, 2].
a) Probar que la serie

n=+
n=
n
2
[
n
[
2
converge; utilizar entonces
la desigualdad de Cauchy-Schwarz para deducir que

n=+
n=
[
n
[
converge.
b) Deducir que la serie de Fourier converge uniformemente hacia f
en toda la recta real, usando el Criterio M de Weierstrass.
2.10. Integrales de Fourier.
1. Si f satisface las condiciones del Teorema de la Integral de Fourier,
probar que:
a) Si f es par, entonces
f(x+) +f(x)
2
=
2

lm
+
_

0
cos vx
__
+
0
f(u) cos vudu
_
dv.
33
Series de Fourier. Integrales de Fourier
Si f es impar,
f(x+) +f(x)
2
=
2

lm
+
_

0
sin vx
__
+
0
f(u) sin vudu
_
dv.
2. Utilizar el Teorema de la Integral de Fourier para calcular las siguientes
integrales impropias:
a)
2

_
+
0
sin v cos vx
v
dv.
(Sugerencia: Hay que encontrar una funci on par f tal que
_
+
0
f(u) cos vudu =
sin v
v
y aplicar el Teorema de la Integral de Fourier. Basta tomar f :=

[1,1]
, la funci on caracterstica del intervalo [0, 1]).
b)
_
+
0
cos ax
b
2
+x
2
dx.
(Sugerencia: Utilizar el Teorema de la Integral de Fourier para la
funcion f(u) := e
b|u|
).
3. Probar que
a)
(p).(p)
(2p)
= 2
_
1/2
0
x
p1
(1 x)
p1
dx.
(Sugerencia: Utilizar el hecho, probado en el ejercicio 1 del aparta-
do 2.6,
(p).(q)
(p + q)
= B(p, q) :=
_
1
0
x
p1
(1 x)
q1
dx).
b) Mediante un cambio de variable en el apartado anterior, probar
la f ormula de duplicaci on para la funci on :
(2p)(
1
2
) = 2
2p1
(p)(p +
1
2
).
(Sugerencia: Haciendo p = q se obtiene

2
(p)
(2p)
=
_
1
0
x
p1
(1 x)
p1
dx = 2
_
1/2
0
x
p1
(1 x)
p1
dx.
Se hace ahora x =
1
2

1
2

u).
34
2.10 Integrales de Fourier.
4. Calcular la transformada de Fourier de la funci on f(x) :=
1
x
2
+a
2
, x IR,
donde a > 0.
(Sugerencia. Se trata de calcular la integral
1

2
_
+

e
iwx
x
2
+ a
2
dx.
Considerar la funci on de variable compleja f(z) :=
e
iwz
z
2
+a
2
y aplicar las
tecnicas de integracion usando el Teorema de los Residuos.)
5. Calcular la transformada de Fourier de la funci on f(x) := e
ax
2
, donde
a > 0.
(Sugerencia. Se trata de calcular, para cierto w IR, la integral
1

2
_
+

f(x)e
iwx
dx. (2.1)
Considerar la funci on de variable compleja g(z) := f(z)e
iwz
. Es de-
rivable en todo el plano complejo, por lo que, usando el Teorema de
Cauchy, el valor de (2.1) se puede obtener integrando a lo largo de
cualquier recta paralela al eje real. Se elije la recta x+iy con y constante
igual a w/2a, y se usa que
_
+

e
ax
2
dx =
_
/a.)
35
Captulo 3
Ecuaciones en Derivadas
Parciales
3.1. Conceptos basicos
1. Considerar las siguientes ecuaciones en derivadas parciales (EDP). Clasi-
carlas y comprobar que las funciones u(x, y) := (x + y)
3
y u(x, y) :=
sin(x y) son soluciones de la ultima:
a) uu
xy
+ u
x
= y.
b) u
xx
+ 2yu
xy
+ 3xu
yy
= 4 sin x.
c) (u
x
)
2
+ (u
y
)
2
= 1.
d) u
xx
u
yy
= 0.
2. Resolver
a) u
xy
= 0, donde u es una funcion de dos variables.
b) u
yy
= 2, donde u es una funcion de tres variables.
c) u
x
u
y
= 0, donde u es una funcion de dos variables
1
. Com-
probar que esta ecuaci on en derivadas parciales tiene como espa-
cio de soluciones un espacio de dimensi on innita, por ejemplo
considerando que las funciones (x + y)
n
, sin n(x + y), cos n(x +
y), exp n(x + y) son soluciones, para n = 1, 2, 3, . . .
3. Determinar la soluci on general de las siguientes ecuaciones en derivadas
parciales:
1
Sugerencia: Realizar la transformacion de variables = x + y, = x y.
37
Ecuaciones en Derivadas Parciales
a) u
yy
+ u = 0.
b) u
xy
+ u
x
= 0.
c) u
xx
4u
xy
+3u
yy
= 0, suponiendo que la soluci on puede ser expre-
sada en la forma u(x, y) = f(x + y), donde es un par ametro.
3.2. Operadores Lineales.
1. Escribir el operador diferencial correspondiente a la ecuaci on de Laplace.
2. Lo mismo para la divergencia en coordenadas cartesianas.
3. Calcular la acci on de los siguientes operadores sobre una determinada
funcion, as como la de su composici on.
A :=

2
x
2
+ x

y
, B :=

2
y
2
y

y
.
3.3. Modelos matematicos.
1. Deducir que la ecuaci on del movimiento de una cuerda larga(es decir,
no acotada) es u
tt
= c
2
u
xx
g, donde g es la aceleracion debida a la
gravedad.
2. Deducir que la ecuaci on de una cuerda vibrante con frenado(es decir,
una vibraci on amortiguada) es u
tt
+ au
t
= c
2
u
xx
, donde la fuerza de
frenado.
es
proporcional a la velocidad y a es una constante.
3. Deducir la ecuaci on unidimensional del calor u
t
= ku
xx
.
4. Deducir la ecuaci on de continuidad
t
+ div(u) = 0 y la Ecuacion de
Euler [u
t
+ (u grad)u] + grad p = 0 del movimiento en din amica de
udos.
3.4. Reducci on de EDPs a forma can onica.
1. En las siguientes ecuaciones, determinar su tipo y reducirla a forma
can onica:
38
3.5 Problema de Cauchy
a) y
2
u
xx
x
2
u
yy
= 0.
b) x
2
u
xx
+ 2xyu
xy
+ y
2
u
yy
= 0.
c) u
xx
+ x
2
u
yy
= 0.
d) 4u
xx
+ 5u
xy
+ u
yy
+ u
x
+ u
y
= 2.
e) u
xx
4u
xy
+ 4u
yy
= e
y
.
f ) u
xx
+ u
xy
+ u
yy
+ u
x
= 0.
2. En los siguientes ejemplos, encontrar la soluci on general:
a) x
2
u
xx
+ 2xyu
xy
+ y
2
u
yy
= 0.
b) 4u
xx
+ 5u
xy
+ u
yy
+ u
x
+ u
y
= 2.
c) 3u
xx
+ 10u
xy
+ 3u
yy
= 0.
3.5. Problema de Cauchy
3.5.1. (*) Un ejemplo debido a Hadamard.
Sea u una funci on de dos variables x e y. Considerar el siguiente problema
de Cauchy:
u
xx
+ u
yy
= 0,
con las siguientes condiciones:
u(x, 0) = 0,
u
y
(x, 0) = n
1
sin nx.
1. Comprobar que la soluci on viene dada por la funci on
u(x, y) := n
2
sinh ny sin nx.
2. Demostrar que, cuando n la funcion n
1
sin nx tiende uniforme-
mente a cero.
3. Comprobar que la soluci on n
2
sinh ny sin nx no tiende a cero cuando
n , sea y el valor que sea.
4. Se concluye que la soluci on no es estable y, por tanto, el problema no
esta correctamente planteado en el sentido que se le ha dado a esta
expresion.
39
Ecuaciones en Derivadas Parciales
3.5.2. El Problema de Cauchy para la ecuaci on de on-
das homogenea.
1. Encontrar la soluci on del problema con valores iniciales
u
tt
= c
2
u
xx
u(x, 0) = sin x
u
t
(x, 0) = cos x
2. Considerar la F ormula de DAlembert de la soluci on del Problema de
Cauchy para la ecuaci on de ondas homogenea. Considerar el caso en que
la velocidad inicial es cero. Suponer que el desplazamiento inicial f(x) es
diferente de cero en un intervalo ]b, b[. Estudiar el comportamiento de
la soluci on. Como caso particular, suponer que f tiene forma triangular
presentando un m aximo en 0.
3. Considerar ahora el caso en que el desplazamiento inicial es cero. Tomar
como velocidad inicial
g(x) :=
_
0, si [x[ > b,
g
0
, si [x[ b.
Estudiar el comportamiento de la soluci on.
3.5.3. El Problema de Cauchy con condiciones iniciales
y de contorno.
1. Considerar el problema de la vibraci on de una cuerda de longitud l
ja en ambos extremos, x = 0 y x = l. La ecuaci on que gobierna el
movimiento, y las condiciones iniciales y de contorno, son
u
tt
= c
2
u
xx
, 0 < x < l, t > 0,
u(x, 0) = f(x), 0 x l,
u
t
(x, 0) = g(x), 0 x l,
u(0, t) = p(t), t 0,
u(l, t) = q(t), t 0.
Consierar el caso particular cuando f(x) := sin(x/l) y g(x) := 0 en
0 x l.
40
3.5.4 El Problema de Cauchy para la ecuaci on de ondas no homogenea.
2. Analizar el efecto que las condiciones de contorno tienen sobre la propa-
gaci on de una onda considerando el caso particular en que g := 0 y
f := 0 excepto en un peque no entorno de un punto (x
0
, 0), donde existe
una peque na perturbaci on. Considerar las ondas directas y reejadas.
3.5.4. El Problema de Cauchy para la ecuaci on de on-
das no homogenea.
1. Determinar la soluci on de
u
xx
u
yy
= 1
u(x, 0) = sin x
u
y
(x, 0) = x.
3.5.5. (*) El metodo de Riemann.
1. Determinar la soluci on de
w
tt
+ aw
t
+ bw = c
2
w
xx
u(x, 0) = f(x)
u
t
(x, 0) = g(x),
donde f y g son funciones arbitrarias, mediante el Metodo de Riemann
2
.
Para ello:
a) Escribir primero la ecuaci on en la forma can onica L[u] = u

+
ku = 0 mediante las transformaciones sucesivas w = ue
at/2
y
= x + ct, = x ct, donde k = (a
2
4b)/16c
2
.
b) Determinar la funci on de Riemann v(, ; , ) que satisface
v

+ kv = 0,
v

(, ; , ) = 0,
v

(, ; , ) = 0,
v(, ; , ) = 1,
2
Esta ecuacion en derivadas parciales recibe el nombre de Ecuaci on del Telegrafo.
41
Ecuaciones en Derivadas Parciales
observando que la EDP precedente es autoadjunta y suponiendo
que la funci on de Riemann es de la forma
v(, ; , ) = F(s)
donde s = ( )( ).
c) Haciendo =

4ks, se obtendr a la ecuaci on

F

() +
1

() + F() = 0,
que es la ecuacion de Bessel de orden 0. La soluci on que interesa
es
F() = J
0
(),
de modo que la funci on de Riemann resulta
v(, ; , ) = J
0
_
_
4k( )( ))
_
.
3.6. El Metodo de Separaci on de Variables
3.6.1. El Problema de la Cuerda Vibrante.
1. Considerar el siguiente problema, que hace referencia a la Ecuaci on de
Ondas Unidimensional:
u
tt
c
2
u
xx
= 0, 0 < x < l, t > 0,
u(x, 0) = f(x), 0 x l,
u
t
(x, 0) = g(x), 0 x l,
u(0, t) = 0,
u(l, t) = 0.
a) Hacer un esquema del tipo de problema fsico que esta ecuaci on y
las condiciones dadas modelizan.
b) Considerar el caso en que
f(x) :=
_
hx
a
si 0 x a,
h(lx)
la
si a x l.
Dar una interpretaci on fsica de las ecuaciones y resolver el prob-
lema.
42
3.6.2 El Problema de la Conducci on del Calor.
c) Suponer ahora que f es cero, y que
g(x) :=
_
v
0
a
x si 0 x a,
v
0
(lx)
la
si a x l.
Dar una interpretaci on fsica de las ecuaciones y resolver el prob-
lema.
3.6.2. El Problema de la Conducci on del Calor.
1. Considerar el siguiente problema, en relaci on con la distribuci on de la
temperatura en una varilla:
u
t
= ku
xx
, 0 < x < l, t > 0,
u(0, t) = 0,
u(l, t) = 0,
u(x, 0) = f(x), 0 x l.
a) Describir el problema fsico que la ecuaci on y las condiciones pro-
porcionadas describen.
b) Suponer que la distribuci on inicial de temperatura es f(x) :=
x(l x) Hacer un esquema de la misma y resolver el problema.
c) Suponer ahora que la temperatura en un extremo de la varilla se
mantiene constante, es decir
u(l, t) := u
0
, t 0.
Resolver el problema usando el metodo de superposici on. M as pre-
cisamente, considerar primero una distribuci on inicial de temper-
atura f
1
(x) := u
o
x/l. Obtener la soluci on. Ahora, considerar una
distribucion de temperatura f(x) f
1
(x), Resolver el problema.
La soluci on del problema planteado ser a la suma de las soluciones
obtenidas. Proporcionar los detalles de esta construcci on.
3.6.3. La Ecuaci on de Laplace.
1. Considerar una distribuci on de temperatura estacionaria (estable en el
tiempo) en una placa rectangular en la que dos lados est an aislados, un
43
Ecuaciones en Derivadas Parciales
tercer lado se mantiene a temperatura cero y la temperatura del lado
restante est a predeterminada como f(x). Se trata de resolver

2
u = 0, 0 < x < a, 0 < y < b,
u(x, 0) = f(x),
u(x, b) = 0,
u
x
(0, y) = 0,
u
x
(a, y) = 0.
2. Considerar la vibraci on transversal de una viga. La ecuaci on del movimien-
to est a gobernada por
u
tt
+ a
2
u
xxxx
= 0, 0 < x < l, t > 0,
donde u(x, t) es el desplazamiento y a una constante que depende del
material. Las condiciones iniciales y de contorno son
u(x, 0) = f(x), 0 x l,
u
t
(x, 0) = g(x), 0 x l,
u(0, t) = u(l, t) = 0,
u
xx
(0, t) = u
xx
(l, t) = 0.
a) Poner en relaci on las condiciones dadas con lo que sera el fenomeno
fsico.
b) Resolver la ecuaci on.
3.6.4. Problemas No Homogeneos.
1. Considerar el siguiente problema:
u
tt
= c
2
u
xx
+ F(x),
u(x, 0) = f(x), 0 x l,
u
t
(x, 0) = g(x), 0 x l,
u(0, t) = A, t > 0,
u(l, t) = B, t > 0.
a) Suponer que la soluci on puede ser escrita como u(x, t) = v(x, t) +
U(x) y resolver el problema.
b) Resolver el siguiente ejemplo particular: F(x) := h, donde h es
una constante, f(x) := 0, g(x) := 0, A = B = 0.
44
3.6.5 Transformada de Fourier Finita.
3.6.5. Transformada de Fourier Finita.
1. Se dene la transformada seno nita de Fourier ToT
n
(f) de una fun-
cion f de la siguiente forma:
ToT
n
(f)(x) :=
2

_

0
f(x) sin nxdx, n = 1, 2, . . . ,
y la transformada coseno nita de Fourier T(T
n
(f) de la misma fun-
cion como:
T(T
n
(f)(x) :=
2

_

0
f(x) cos nxdx, n = 0, 1, 2, . . .
Demostrar las siguientes propiedades de las transformadas:
Teorema 1 Supongamos que f

existe y es continua a trozos en [0, ].

Entonces
ToT
n
(f

)(x) =
2n

[f(0) (1)
n
f()] n
2
ToT
n
(f)(x).
as como
Teorema 2 Supongamos que f

existe y es continua a trozos en [0, ].

Entonces
T(T
n
(f

)(x) =
2

[(1)
n
f

() f

(0)] n
2
T(T
n
(f)(x).
2. Utilizando las transformadas nitas de Fourier, resolver el problema
del movimiento de una cuerda de longitud debido a una fuerza que
act ua sobre ella, estando la cuerda ja en ambos extremos:
u
tt
= c
2
u
xx
+ f(x, t), 0 < x < , t > 0,
u(x, 0) = 0,
u
t
(x, 0) = 0,
u(0, t) = 0,
u(, t) = 0.
45
Ecuaciones en Derivadas Parciales
3. Mediante el uso de las transformadas nitas de Fourier, encontrar la
solucion del siguiente problema, que describe la distribuci on de tempe-
ratura en una varilla de longitud . El calor se genera en la varilla a
raz on de g(x, t) por unidad de tiempo, los extremos est an aislados y la
distribucion original de temperatura est a dada por f(x):
u
t
= u
xx
+ g(x, t), 0 < x < , t > 0,
u(x, 0) = f(x), 0 x ,
u
x
(0, t) = 0,
u
x
(, t) = 0.
4. Una varilla con constante de difusi on k contiene un combustible que
produce neutrones por sion. Los extremos son perfectamente reec-
tantes. La distribuci on inicial de neutrones es f(x). Encontrar la dis-
tribucion de neutrones en cualquier estado posterior. El problema se
describe usando
u
t
= ku
xx
+ bu, 0 < x < l, t > 0,
u(x, 0) = f(x),
u
x
(0, t) = u
x
(l, t) = 0.
3.7. Problemas de Valores Propios. Aplicaci on
de las Transformadas Integrales
3.7.1. Sistemas de Sturm-Liouville.
1. Determinar los valores propios y las funciones propias del sistema de
Sturm-Liouville
u

+ u = 0, 0 x ,
u(0) = 0, u

() = 0.
2. Dada la ecuaci on de Cauchy
x
2
u

+ xu

+ u = 0, 1 x e,
46
3.7.2 Funciones Propias.
con las condiciones de contorno
u(1) = 0, u(e) = 0,
determinar los valores propios y las correspondientes funciones propias.
3. Resolver el sistema peri odico de Sturm-Liouville
u

+ u = 0, x ,
u() = u(),
u

() = u

().
3.7.2. Funciones Propias.
1. Considerar un cable cilndrico de longitud l cuya supercie est a per-
fectamente aislada termicamente. El extremo x = 0 se mantiene a
temperatura cero mientras el otro extremo radia calor libremente al
medio circundante a temperatura cero. Sea f(x) la distribuci on inicial
de temperatura. La temperatura u(x, t) en cada punto en cada instante
satisface, pues,
u
t
= ku
xx
, 0 < x < l, t > 0,
u(x, 0) = f(x), 0 x l,
u(0, t) = 0, t > 0,
hu(l, t) + u
x
(l, t) = 0, h > 0, t > 0.
Utilizar el Metodo de Separaci on de Variables para encontrar una solu-
cion.
3.7.3. Sistemas Singulares de Sturm-Liouville.
1. Considerar la vibraci on transversal de una membrana circular,que se
considera centrada en el origen de coordenadas y ja en su borde, para
la que se conoce la deformaci on inicial sabiendo que la velocidad inicial
es cero. Se supone, ademas, que existe simetra angular (es decir, lo
que ocurre en un punto del crculo es lo mismo, en cada instante, que
lo que pasa en cualquier otro punto obtenido girando el primero un
47
Ecuaciones en Derivadas Parciales
angulo arbitrario con centro en el origen de coordenadas. Se supone,
adem as, que el movimiento del centro est a acotado
3
.
3.7.4. Funci on de Green.
1. Resolver el siguiente problema:
u

= x, 0 < x < 1,
u(0) = 0,
u(1) = 0
usando el metodo de la funci on de Green. Para ello, elegir como funci on
G(x, ) la siguiente
G(x, ) :=
_
G
1
(x, ) := (1 x) si x 1,
G
2
(x, ) := x(1 ) si 0 x .
2. Considerar el problema
u

+ u = 1, 0 < x <

2
,
u(0) = 0,
u(

2
) = 0,
usando el metodo de la Funci on de Green. Para ello, construir la apropi-
ada funci on de Green G(x, ).
3
Se vio que, en coordenadas cartesianas, el movimiento de la membrana est a gobernado
por la ecuaci on en derivadas parciales
u
tt
= c
2
(u
xx
+ u
yy
), (x
2
+ y
2
) < 1, t > 0,
donde u(x, y, t) representa el desplazamiento vertical de un punto (x, y) del crculo en el
instante t. Es conveniente considerar el mismo problema ahora en coordenadas polares,
aunque en realidad basta considerar, por razones de simetra, u como funci on de r y de t.
Transformar la EDP para estas variables y exigir las siguientes condiciones:
u(r, 0) = f(r), 0 r 1,
u
t
(r, 0) = 0, 0 r 1,
u(1, t) = 0, t 0,
lm
r0
u(r, t) < +.
Utilizar el metodo de separaci on de variables.
48
3.7.5 Aplicaciones de las Transformadas Integrales.
3.7.5. Aplicaciones de las Transformadas Integrales.
1. Resolver el siguiente Problema de Dirichlet en el semiespacio y > 0:
u
xx
+ u
yy
= 0, < x < , y > 0,
u(x, 0) = f(x), < x < ,
u esta acotada cuando y +,
u y u
x
tienden a 0 cuando [x[ +.
2. Encontrar una soluci on del siguiente Problema de Neumann en el semi-
espacio y > 0:
u
xx
+ u
yy
= 0, < x < , y > 0,
u
y
(x, 0) = g(x), < x < ,
u esta acotada cuando y +,
u y u
x
tienden a 0 cuando [x[ +.
3. Obtener la soluci on del siguiente problema de conducci on de calor en
una varilla innita con condiciones iniciales:
u
t
u
xx
= 0, < x < , t > 0,
u(x, 0) = f(x), < x < ,
u(x, t) est a acotada .
49