Problemas de Matematicas

David Jornet, Vicente Montesinos

Indice general
Introducci
on

1. N
umeros complejos
1.1. Series de n
umeros complejos. Funciones elementales . . . . . .
1.2. Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Integracion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Formula de Cauchy y Aplicaciones . . . . . . . . . . . . . . .
1.5. Desarrollo de Taylor y Laurent, ceros, puntos singulares, residuos
1.6. Algunas aplicaciones de las funciones complejas . . . . . . . .
1.6.1. Algunos corolarios teoricos . . . . . . . . . . . . . . . .
1.6.2. Funciones armonicas . . . . . . . . . . . . . . . . . . .
1.6.3. Aplicaciones geometricas. Transformaciones conformes
1.6.4. El problema de Dirichlet . . . . . . . . . . . . . . . . .
1.6.5. Aplicaciones a la electrostatica . . . . . . . . . . . . . .
1.6.6. Aplicaciones a hidrodinamica . . . . . . . . . . . . . .
1.6.7. Aplicacion del Teorema del Residuo al calculo de integrales reales . . . . . . . . . . . . . . . . . . . . . . . .
2. Series de Fourier. Integrales de Fourier
2.1. Sistemas ortonormales de funciones. . . . . . . . . . . . . . .
2.2. Representacion integral de las sumas parciales de una serie de
Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Condiciones sucientes para la convergencia puntual de una
serie de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Series de Fourier de funciones particulares. . . . . . . . . . .
2.5. El Teorema de Fejer y sus consecuencias. . . . . . . . . . . .
2.6. Aplicaciones del Teorema de Convolucion. . . . . . . . . . .
iii

1
2
4
6
9
11
13
13
14
15
17
18
19
20

23
. 23
. 25
.
.
.
.

26
27
29
30

Indice general
2.7. Transformadas de Laplace. . . . . . . . . . .
2.8. Teorema de Aproximacion de Weierstrass. .
2.9. Convergencia uniforme de la serie de Fourier.
2.10. Integrales de Fourier. . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

3. Ecuaciones en Derivadas Parciales

3.1. Conceptos basicos . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Operadores Lineales. . . . . . . . . . . . . . . . . . . . . . .
3.3. Modelos matematicos. . . . . . . . . . . . . . . . . . . . . .
3.4. Reduccion de EDPs a forma canonica. . . . . . . . . . . . .
3.5. Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . .
3.5.1. (*) Un ejemplo debido a Hadamard. . . . . . . . . . .
3.5.2. El Problema de Cauchy para la ecuacion de ondas homogenea. . . . . . . . . . . . . . . . . . . . . . . . .
3.5.3. El Problema de Cauchy con condiciones iniciales y de
contorno. . . . . . . . . . . . . . . . . . . . . . . . .
3.5.4. El Problema de Cauchy para la ecuacion de ondas no
homogenea. . . . . . . . . . . . . . . . . . . . . . . .
3.5.5. (*) El metodo de Riemann. . . . . . . . . . . . . . .
3.6. El Metodo de Separacion de Variables . . . . . . . . . . . . .
3.6.1. El Problema de la Cuerda Vibrante. . . . . . . . . . .
3.6.2. El Problema de la Conduccion del Calor. . . . . . . .
3.6.3. La Ecuacion de Laplace. . . . . . . . . . . . . . . . .
3.6.4. Problemas No Homogeneos. . . . . . . . . . . . . . .
3.6.5. Transformada de Fourier Finita. . . . . . . . . . . . .
3.7. Problemas de Valores Propios. Aplicacion de las Transformadas Integrales . . . . . . . . . . . . . . . . . . . . . . . .
3.7.1. Sistemas de Sturm-Liouville. . . . . . . . . . . . . . .
3.7.2. Funciones Propias. . . . . . . . . . . . . . . . . . . .
3.7.3. Sistemas Singulares de Sturm-Liouville. . . . . . . . .
3.7.4. Funcion de Green. . . . . . . . . . . . . . . . . . . .
3.7.5. Aplicaciones de las Transformadas Integrales. . . . .

iv

.
.
.
.

31
32
33
33

.
.
.
.
.
.

37
37
38
38
38
39
39

. 40
. 40
.
.
.
.
.
.
.
.

41
41
42
42
43
43
44
45

.
.
.
.
.
.

46
46
47
47
48
49

Introducci
on
La coleccion de problemas que sigue esta adaptada al contenido del curso
de Matematicas que se imparte en la Escuela Tecnica Superior de Ingenieros
de Telecomunicacion de la Universidad Politecnica de Valencia, y complementa el texto de teora titulado Matem
aticas, de los mismos autores, tambien
en la red y en esta misma direccion. La estructura de la coleccion responde
pues a la del texto mencionado.
Se proponen los problemas sin incluir su resolucion, 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 teorico que se exponen posteriormente en el desarrollo de la materia. 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 transito por los mas sencillos, presentados al
principio, ayude al alumno a atacar los mas 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 agradecemos su ayuda. En particular queremos mencionar al Profesor Miguel Friz
y a los alumnos Luis Emilio Garca e Ignacio Monterde. Por u
ltimo, a todos
los alumnos que han pasado por este curso, de los que hemos recibido sugerencias y que han detectado alguna errata. Hemos marcado con () aquellos
v

problemas que quizas excedan el nivel exigido.

En la misma direccion electrnica se encuentra una lista de los examenes
realizados hasta la fecha en esta asignatura, con sus soluciones, lo que completa 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 teorica
superior a la exigida.
1. Sea z un n
umero complejo. Probar que Re z = 12 (z+z), Im z =

1
(zz).
2i

2. Resolver la ecuacion (1 + i)z = 2 + i. Solucion: 3/2 (1/2)i.

3. Escribir
rior).

2+i
1+i

en la forma a + bi. (Sugerencia: observar el ejercicio ante-

4. Dado 0 = z0 C, encontrar su reexion 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).
n

6. Demostrar que dado n IN , 1 + z + z 2 + . . . + z n1 = 1z

. (Sugerencia:
1z
Usar la expresion de la suma de una progresion geometrica).
z
| 1.
7. Si || < 1, demostrar que |z| 1 si y solamente si | 1z

8. (*) Si = 0, demostrar que

( + )n n

(|| + ||)n ||n
n1

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 =
2
2
(1 || )(1 || ).
10. Calcular las races c
ubicas de i. Solucion: {ei :
/6, 2 /6}.

= /2, +

11. (*)Calcular los valores de (3 4i)3/8 mas proximos al eje imaginario.

12. Si || = 1, interpretar geometricamente la transformacion z .z.
Solucion: Un giro de angulo arg().
13. Calcular la imagen de {z = x+iy : 1 x 2} mediante la transformacion z z 2 . Calcular el conjunto de puntos cuya imagen mediante la
misma transformacion es {z = u + iv : 1 < u < 2}. Calcular mediante
la misma transformacion la imagen del semiplano superior abierto.
14. Determinar si es posible asignar a la siguiente funcion un valor en z0
z 3 z 3
que la haga continua en ese punto: g(z) := zz00 , z = z0 . Solucion: S,
el valor 3z02 .

1.1.

Series de n
umeros complejos. Funciones
elementales

1. Sea

n=0

an 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 coecientes an son reales (Sugerencia: proceder por induccion nita).
b) Si s es una funcion par (es decir, si s(z) = s(z) para todo complejo z con |z| < R)), demostrar que an = 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

n
2. Demostrar que si an 0, n = 0, 1, 2, . . ., y
n=0 an R converge para

n
un R > 0, entonces
n=0 an z converge para todo complejo z con
|z| = R. (Sugerencia: Considerar el modulo 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 hipotesis.

n
3. (*)Demostrar que
n=0 z no es uniformemente convergente en B(0, 1).
(Sugerencia: Considerar |sn (z) s(z)| para valores de z proximos a 1,
siendo sn y s una suma parcial y la suma de la serie, respectivamente).
4. Calcular los ceros de las funciones 1+ez , sinh z, cosh z, 1e ez , 1+iez .
Solucion: 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 12 (a + b) es un argumento de eia + eib .
Calcular el modulo. (Sugerencia: multiplicar y dividir por exp(i(a +
b)/2)).
z
0 cuando z 0 (usar tan solo la expresion
6. Probar que 1cos
z
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 expresion compleja, es posible calcularlo
acercandose a lo largo de una recta paralela al eje real y, por tanto, usar
la regla de LHopital).

7. Si x IR y no es un m
ultiplo entero de 2, probar que
sin(n/2)x
1
,
1 + cos x + . . . + cos(n 1)x = cos (n 1)x
2
sin(1/2)x
1
sin(n/2)x
sin x + . . . + sin(n 1)x = sin (n 1)x
.
2
sin(1/2)x
(Sugerencia: denotar la primera expresion como u(x), la segunda como
v(x) y formar la funcion 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. Solucion: No es continua; para verlo aproximarse a cero por el
eje real y por el eje imaginario.
10. (*)Dado z, probar que n log0 (1 + z/n) esta denida para todo n sucientemente grande y tiende a z cuando n . Deducir que (1+z/n)n
tiende a ez cuando n . (Sugerencia: Observar que para n grande
la variable no se encuentra en el semieje H0 ).
11. (*)Demostrar que tan z dene una transformacion inyectiva de {z :
/2 < Re z /2} \ {/2} sobre C \ {i, i}.
12. (*)Sea f una funcion continua con valores reales denida en el intervalo
real [a, b]. Dado z C, se dene


F (z) :=

ezt f (t)dt.

Demostrar que F  (z) :=

de Laplace de f .

b
a

tezt f (t)dt. F se llama la Transformada

13. Sea f una funcion 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(z0 ) = 0 para cierto punto del crculo, observar que g(z0 ) = g(z0 )
y aplicar el teorema del valor intermedio para funciones continuas; se
obtiene la conclusion).

1.2.

Derivaci
on

1. Determinar los puntos de C donde las funciones siguientes son derivables: 1) f (x + iy) := x2 + iy 2 , 2) f (x + iy) := x2 + 2ixy, 3) f (x +
iy) := 2xy + i(x + 23 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 Derivacion
2. Probar que las u
nicas 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 C (Sugerencia: Utilice las ecuaciones de CauchyRiemann).
3. (*)Si f es derivable y |f | es constante en B(z0 ; r), para un cierto z0 C
y r > 0, probar que f es constante en ese disco (Sugerencia: Escribir
la expresion |f (z)|2 en terminos de la parte real u e imaginaria v de f
y derivar esta expresion. Utilizar entonces las ecuaciones de CauchyRiemann junto con la condicion necesaria y suciente para que un sistema 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.
3

, si x + iy = 0, f (0, 0) = 0. Probar que

4. Sea f (x + iy) := (1+i)xx2 (1i)y
+y 2
f satisface las ecuaciones de Cauchy-Riemann, pero no es derivable en
(0, 0). (Sugerencia: Para ver que la funcion no es derivable en (0, 0)
como funcion de dos variables reales calcular la derivada direccional en
ese punto en la direccion de la bisectriz).
5. (*) Si IR y := + i(1 ), entonces ||2 > 12 . Deducir que si
un punto en el segmento [1, i] tal
f (z) := z 3 , entonces no hay ning

que f (i) f (1) = (i 1)f (). Relacionar este ejemplo con el comportamiento de las funciones reales (Sugerencia: mas precisamente, con
el teorema del valor medio; hacer una representacion geometrica del
comportamiento de ).
6. Sea u la parte real de una funcion compleja derivable denida en un
subconjunto abierto A de C. Probar que u es armonica (es decir, satisface la ecuacion de Laplace, aceptando en este momento que existen las
derivadas parciales de segundo orden). (Sugerencia: Utilizar las ecuaciones 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 distinta de 0. Visualizar el resultado utilizando funciones complejas derivables de modo que sea facil obtener representaciones geometricas de las
5

N
umeros complejos
curvas en cuestion (Sugerencia: calcular, en un punto de interseccion,
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 mecanicos y electricos. Factorizar en primer lugar el
polinomio: P (z) = an (z z1 )(z z2 ) . . . (z zn ). Observar que, para
z = zk , k = 1, 2, . . . , n,
P  (z)
1
1
1
=
+
+ ... +
.
P (z)
z z1 z z2
z zn
Suponer ahora que Re zk < 0, k = 1, 2, . . . , n, pero que Re z 0.
Entonces Re(z zk ) > 0, luego


1
Re
> 0,
z zk
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 eit , 0 t es 23 i.
6

1.3 Integracion
3. Calcular la integral de la funcion 1/z a lo largo del permetro del cuadrado de lado 2 centrado en el origen y recorrido en sentido contrario a las
agujas del reloj. Solucion: 2i.

n
4. (*) Sea f (z) :=
n=0 an z en |z| < R, donde R > 0. Sea 0 < r < R y
n IN . Probar que existe z en C(0, r) con







1



|an1 |rn .
f



n
[0z]
(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





1




f

< |an1 |rn .


n
[0z]
Utilizar el hecho de que |F | alcanza el supremo en C(0; r) y las desigualdades de Cauchy para llegar a una contradiccion).

5. Calcular C(0,1) z1 dz directamente, cuando se recorre la circunferencia en
sentido positivo. Comparar el resultado con el obtenido en el problema
3. Solucion: 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 imaginario. (Sugerencia: Escribir la expresion 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 correspondiente a la mitad superior de la trayectoria, la otra a la mitad
inferior).
8. (*) Demostrar, usando integracion, que la serie
log0 (1 + z) =


n=1

(1)n1

zn
n

N
umeros complejos
es tambien valida para z con |z| = 1 y z =
 1 (Sugerencia:

d
log0 (1 + z) =
,
C
donde C es el segmento orientado desde 1 a z+1. Denotando u := z/|z|,
se obtiene
 r

d
1
=u
dt.
C
0 1 + tu
Se usa ahora la formula de la suma de una progresion geometrica de
razon (tu) y se obtiene
(1)m tm um
1
= 1 tu + t2 u2 . . . + (1)m1 tm1 um1 +
.
1 + tu
1 + tu
Resulta


C

z2 z3
d
zm
=z
+
+ . . . + (1)m1
+ Rm ,

2
3
m

donde

tm
dt.
0 1 + tu
Sea d la distancia de 0 a la recta 1+tu, una distancia positiva. Entonces

1 r m
rm+1 1 m
|Rm |
t dt =
. 0,
d 0
m+1 d
m m+1

Rm := (1) u

incluso cuando r = |z| = 1. Se obtiene la conclusion).

Deducir que


(1)n+1
n=1

1
sin nt = t
2

Para < t < .


ez
9. Calcular C(i,2) (z1)
n , donde n es un entero positivo (Sugerencia: Sustituir adecuadamente la integral por otra alrededor de una circunferencia
centrada en 1. Utilizar ahora la formula de Cauchy que proporciona los
valores de las derivadas de una funcion en un punto mediante integrales alrededor de circunferencias centradas en ese punto). Solucion:
(2ie)/(n 1)!.
8

1.4 Formula de Cauchy y Aplicaciones

1.4.

F
ormula de Cauchy y Aplicaciones


1. Sea f (x + iy) := x + y, z = x + iy C. Denir F (z) := [0z] f .
Determinar los puntos para los que F es diferenciable. (Sugerencia:
La funcion f no es derivable como funcion de variable compleja, ya
que toma solo valores reales. Calcular la integral parametrizando la
trayectoria y, a continuacion, estudiar la derivabilidad de la funcion
resultante. Observar que, al ser f continua, F es derivable en el punto
0 como consecuencia de resultados conocidos). Solucion: la funcion F
es solo derivable en el origen.
2. (*) Sea una trayectoria suave por tramos, cerrada y contenida en
C. Sea f una funcion 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).

1
3. Calcular C(0,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). Solucion: (i) 0, (ii) (2i)/(a b), (iii) 0.


ez
ez
4. Calcular C(0,2) z1
dz y C(0,2) i2z
dz (Sugerencia: usar la formula integral de Cauchy). Soluciones: (1) 2ie, (2) e(i)/2 i.
5. Calcular las series de Taylor para las funciones sin(z) y cos(z) desarrolladas en /4. (Sugerencia: obtener los coecientes mediante las formulas de derivacion). Soluciones:

2
2
2
sin(z) =
+
(z )
(z )2 + . . .
2
2
4
2 2!
4

2
2
2

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

1
n
6. Probar que la serie de Taylor de 1z+z
2 en 0 es
n=0 an z , donde
a0 = a1 = 1, a2 = 0, y an+3 = an , n 0. Calcular el radio de
convergencia. (Sugerencia: identicar coecientes). Solucion: El radio
de convegencia es 1.
9

N
umeros complejos

ez
7. Calcular C(i,2) (z1)
n dz, donde n es un entero positivo. (Sugerencia:
Usar las expresiones integrales de los coecientes de Taylor de una
funcion derivable). Solucion: (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:

ez1 1, z sin z, z 5 3z 4 + 8z 2 9z + 3. Solucion: 1) orden 1, 2) 1 no
es un cero de la funcion, 3)La descomposicion 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 C. 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 simultaneamente 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
(zn ) 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 funcion derivable que no son
puntos aislados es simultaneamente 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 z0 de f es un punto aislado, por lo que g es cero en
B  (z0 ; r) para cierto r > 0. Por continuidad, g(z0 ) = 0, por lo que los
ceros de f forman un subconjunto de los ceros de g. Ahora, la union
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 funcion f (z) := z(z21+1) en B  (0; 1)

y en C \ B(0; 1) (Sugerencia: En el primer caso, usar la expresion de
la suma de una progresion geometrica ilimitada. En el segundo caso,
transformar primero la funcion en otra mediante el cambio de variable
w := 1/z y obtener el correspondiente
desarrollo
serie para la funcion

en

n 2n1
n 2n3
(1)
z
,
2)
.
resultante). Solucion: 1)
n=0
n=0 (1) z
2. Si f es una funcion par (impar) que no tiene una singularidad esencial 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
1
1
z
z+ z1
+
,
,
,
e
2
z 2 z 2 + 1 sin z
ez 1
Soluciones: 1) 0 es un polo de orden 2; i, -i son polos de orden 1. 2)
0 es una singularidad evitable. Los demas 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 z0 , demostrar que f 2 tambien
la tiene. Si f tiene una singularidad esencial en z0 y es no nula en
un entorno de z0 , probar que 1/f tiene una singularidad esencial en
z0 . (Sugerencia: Estudiar el comportamiento de |f | en un entorno del
punto).
5. (*) Si f es derivable en C excepto en un conjunto de puntos aislados
S (sus singularidades aisladas), probar que S K es nito, si K es
un subconjunto compacto de C. 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 acumulacion en ese conjunto, que tambien sera una
singularidad, aunque ahora no aislada, lo que produce una contradiccion. Para la segunda parte, tomar la sucesion 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:
ez1 1, z sin z, z 5 3z 4 + 8z 2 9z + 3. Solucion: 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 descomposicion 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 formulas de adicion para ambas funciones o bien

b) derivando para encontrar los coecientes.
Soluciones:



2n+1

(z

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




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


2n

(z

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

n=0

(z (/4)i)2n+1
(1)n
sin( i)

(2n + 1)!
4
n=0

8. Calcular la serie de Taylor para la funcion

radio de convergencia.

1
1z+z 2

en 0, as como su

9. Calcular el residuo de las siguientes funciones en los puntos que se

indican:
a) f (z) :=

1
,
1+z 2

b) f (z) :=

1
, z0 =
sin z
sin z
, z0
1cos z

c) f (z) :=

z0 = i.

d ) f (z) :=

z2
,
(z 2 +a2 )2

e) f (z) :=

1
,
z 2 sin z

n, n entero.
= 0.

a = 0, z0 = ia.

z0 = 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.

eaz
10. Probar que C(0,2) 1+z
2 dz = 2i sin a.
11. Si ord(f, z0 ) = k > 0 y ord(g, z0 ) = k + 1, probar que res( fg , z0 ) =
(k)

(k + 1) gf(k+1)(z(z0 )0 ) .
12. Calcular los residuos de las siguientes funciones en los puntos que se
indican:
a)
b)
c)
d)

eiz
, z0 = i, z0 = 1.
z 3 +z
1
, z0 = 0.
1cos z
1
, z0 = 1.
(z1)2 (z+1)
1
,
zsin z

z0 = 0.

Solucion: (a) 1/(2e), (b) 0, (c) 1/4, (d) 3/10.

13. Suponer 
que f es derivable en C \ {z1 , . . . , zn }, y tiene como serie de
n
Laurent +
an z en {z : |z|
> R}, donde R := max{|zj | : j =
1, 2, . . . , n}. Probar que a1 = nj=1 res(f, zj ).

1.6.
1.6.1.

Algunas aplicaciones de las funciones complejas

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 polinomio complejo se puede factorizar (de forma u
nica), es decir,
p(z) = a0 (z z1 )n1 (z z2 )n2 . . . (z zk )nk ,
13

N
umeros complejos
donde, por supuesto, n1 +. . .+nk es el grado del polinomio, y z1 , . . . , zk
son las races del mismo.

1.6.2.

Funciones arm
onicas

1. Sea f : D C una funcion 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 funcion f . Probar que tanto u como v
son funciones armonicas, es decir, que satisfacen la ecuacion de Laplace:
2g 2g
+
= 0,
x2 y 2
en cada punto de D. Las funciones u y v se llaman arm
onicas conjugadas. Dada una funcion u : D IR armonica, desarrollar un metodo para calcular su armonica conjugada, supuesto que D sea un con= v , integrando rejunto abierto y convexo. (Sugerencia: Como u
x  y
x
specto de x esta ecuacion se obtiene v(x, y) = x0 u
(x, y)dx + c(y).
y
v
u
Como se requiere x = y , se impone esta condicion y se llega a
 x 2u
 x 2u
(
)dx
=
dx = u
(x, y) u
(x0 , y). Se obtiene entonces
2
y
x
x
x0
x0 x2
c(y) y por tanto v(x, y)).
2. Elegir la constante a de modo que la funcion u(x, y) := x3 + axy 2 sea
armonica. Entonces, calcular su armonica conjugada. Solucion: a = 3,
v(x, y) = 3yx2 y 3 + k, donde k es una constante arbitraria.
3. (*) Sea u : D R una funcion armonica denida en una region D C.
Probar que u satisface las siguientes propiedades:
a) Dado cualquier punto (x0 , y0 ) D, se tiene que u(x0 , y0 ) es el
valor medio de u en cualquier circunferencia centrada en (x0 , y0 ),
de radio positivo y contenida en D.
b) Dado cualquier punto (x0 , y0 ) D, se tiene que u(x0 , y0 ) es el
valor medio de u en cualquier disco centrado en (x0 , y0 ), 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 armonica en D y h(x, y) = u(x, y), para todo (x, y) G,
entonces h = u en G.

1.6.3.

Aplicaciones geom
etricas. Transformaciones conformes

1. Estudiar la transformacion de Mobius

w = f (z) =

iz
.
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 funcion derivable denida en un subconjunto abierto de C. Supongamos que f  (z0 ) = 0, donde z0 es un cierto
punto de D. Probar que entonces existe un entorno de V de z0 y un
entorno W de w0 := f (z0 ) tales que f (V ) = W y que f restringido a
V es inyectiva (Indicacion: utilizar el Teorema de la Funcion 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 distorsion K, y
que la transformacion f preserva los angulos.
4. Determinar las imagenes 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 transformacion de Mobius conserva la razon doble de
cuatro puntos cualesquiera. Como aplicacion, determinar una transformacion de Mobius que convierta la circunferencia unidad en el eje
OX.
6. (*) En cada una de las transformaciones siguientes, comprobar que la
transformacion es inyectiva en la region 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=

rei/2 , < < . w =

zi
, |z| < 1
z+i

1
w = , 1 < x < 2. w = ln z, Im z > 0
z
z1
1
w = ln
, Im z > 0. w = z + , Im z > 0
z+1
z
1
w = z , |z| > 1.
z
7. Estudiar las siguientes transformaciones, en particular trazando las curvas de nivel u =constante y v =constante para cada una de ellas:
w = z + a. w = a.z
az + b
w = az + b. w =
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 transformacion conforme e inyectiva de
a) El cuadrante x > 0, y > 0 sobre la region |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 region 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 ecuacion 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 transformacion w = 1/z transforma circunferencias o rectas en circunferencias o rectas. (Sugerencia: Toda recta o
circunferencia en el plano puede escribirse como A(x2 +y 2 )+Bx+Cy +
D = 0).
10. Probar que la composicion de dos transformaciones de Mobius es del
mismo tipo, as como la inversa.

1.6.4.

El problema de Dirichlet

1. Determinar una funcion armonica u(x, y) en la semibanda de la gura

1 que tome en la frontera los valores indicados. (Sugerencia: La transformacion seno convierte una banda como la dada en un semiplano).

Figura 1.1: La semibanda del problema 1

2. Encontrar una funcion armonica 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 transformacion z (1/z) la
convierte en una recta; despues, trasladar esa recta al eje real).
3.

a) Comprobar que la funcion w = 2 ln z z 2 transforma el semiplano

Im z > 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 electrostatico U entre dos placas condensadoras 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 diferencia de potencial entre las dos placas es U0 . De otra forma, se trata
de resolver el problema con valores en la frontera U (u, a) = U0
para u < 0 y U (u, 0) = 0 para u < 0, U (u, v) armonica en la
porcion restante del plano uv.
4.

a) Demostrar que la funcion w = z 2 transforma la region Im z > 1

de una manera conforme e inyectiva sobre la region parabolica
u<

v2
1.
4

b) Se supone un solido idealizado como un cilindro innito perpendicular al plano uv cuyo corte transversal en el plano uv es la region
u v 2 . Supongamos que el solido esta en equilibrio termico, con
temperaturas T1 mantenidas en la parte de la supercie frontera
donde v > 0 y T2 donde v < 0. Encontrar la distribucion de temperatura dentro del solido. Es decir, resolver el siguiente problema
con valores en la frontera: T (u, v) armonica para u < v 2 con valores en la frontera T (u, v) = T1 para u = v 2 , v > 0 y T (u, v) = T2
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 hidrodinamica

Estas partes estan separadas por delgadas bandas de material aislante
y usadas como electrodos, uno de los cuales esta unido a tierra (V = 0)
y el otro se mantiene a potencial constante (V = V0 ).
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. Supongase ahora que tenemos otro cilindro, con potencial constante V0 ,
apoyado sobre un plano innito de tierra. Se pretende calcular el potencial fuera del cilindro. Sugerencia: utilcese la transformacion conforme
f (z) = 1/z.

1.6.6.

Aplicaciones a hidrodin
amica

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 velocidad compleja esta dado por la funcion F (z) := z 2 .
3. Estudiar el ujo representado por la funcion f (z) := log0 (z). Determinar 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. Solucion: El ujo que atraviesa la circunferencia de
centro 0 y radio r es 2. La velocidad es radial y de modulo 1/r.
4. Lo mismo para la funcion f (z) := log0 (z), donde C es una
constante compleja. Solucion: 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 modulo a/r.
5. Estudiar el ujo correspondiente a la funcion 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. (Indicacion: 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 obstaculo circular. Dibujar algunas lneas de corriente. (b) Hallar la
velocidad en los puntos z = ei de la circunferencia y demostrar que la
velocidad maxima es el doble de la velocidad original del ujo uniforme.
(c) Hallar la presion 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 siendo una lnea de corriente, pero que ahora la resultante de las fuerzas
aplicadas sobre el crculo no es cero, siendo perpendicular a la direccion
del ujo uniforme y cuyo modulo es proporcional a la circulacion.
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 interseccion. (b) Aplicar
este metodo para dibujas las lneas de corriente asociadas con la funcion
f (z) := z+log z, e interpretar el resultado como representacion del ujo
en la popa de un barco.

1.6.7.

Aplicaci
on del Teorema del Residuo al c
alculo
de integrales reales

1. Verique que

2. Verique que

x2
dx = .
4
1+x
2

x+2
dx = .
(1 + x2 )2
20

1.6.7 Aplicacion del Teorema del Residuo al calculo de integrales reales

 + x2
3. Calcular la integral (x2 +a
2 )2 dx, donde a > 0. Asegurar en primer

lugar que esta integral es convergente. Probar que su valor es 2a

. (Indicacion:
2
z
Integrar la funcion f (z) := (z2 +a2 )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).
 + cos x

4. Calcular 1+x
2 dx y demostrar que es e .
5. Calcular la integral
es ea .

 +

x sin x
dx,
(x2 +a2 )

donde a > 0. Probar que su valor

Indicacion: Usar el Lema de Jordan.

 +
6. Calcular la integral sinx x dx. Probar que su valor es .
Indicacion: Utilizar una modicacion 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:
 + 1
.
a) 1+x
4 dx =
2
 + x

b) 0 1+x4 dx = 4 .
 +

c) xcos(x)
.
2 4x+5 dx = e
 +
d ) xsen(x)
2 4x+5 dx = 0.
 + cos x
e) x2 2x+2 dx = e .
 +
x
f ) x2sin
dx = 0.
2x+2
 +
x2

g) (x2 +1)(x
2 +4) dx = 3 .
 x+2
h) (1+x
2 )2 dx = .
 + 1
i ) (1+x2 )2 dx = 2 .
 + x3 sin x

j ) (1+x
2 )2 dx = 2e .
 + 2 2 sin x
k ) (xx2 a
dx = (2ea 1), a > 0.
+a2 ) x
21

N
umeros complejos
l)

 +

cos axcos bx
dx
x2

= (b a), a, b 0.
(Indicacion: Considerar la funcion

eiaz eibz
f (z) :=
z2
e integrarla en un circuito que consista en un rectangulo 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 .)
2
 +

m) sinx x dx = .
(Indicacion: Obtener el valor de esta integral como una aplicacion
de la anterior, observando que
sin2 (x) =
n)

 2
0

cos x
dx
a+cos x


= 2 1

a
a2 1

1 cos 2x
.)
2

, a > 1.

(Indicacion: En primer lugar, observar que la integral pedida no es

una integral impropia. A continuacion, considerar que si (t) :=
cos t + i sin t, t [0, 2], es una parametrizacion de la circunferencia C(0; 1), entonces es inmediato que cualquier integral de la
forma
 2
f (sin t, cos t)dt
0

puede convertirse en



 

1
1
1
1
1
z+
,
z
dz.)
f
2
z
2i
z
iz
C(0;1)

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 esta dotado de un producto interior

f, g := f g,
I

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
1
cos nx
sin nx
0 (x) := , 2n1 (x) := , 2n (x) := ,

2
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
einx
cos nx + i sin nx

n (x) := =
, n = 0, 1, 2, . . .
2
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
cualquier intervalo de longitud 2.

de funciones (complejas) en

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 producto interior, un conjunto ortonormal de vectores. El metodo se conoce
como Proceso de Ortogonalizaci
on de Gram-Schmidt: Se proporciona
un conjunto linealmente independinte {v0 , v1 , v2 , . . .} de vectores de E.
Sea
v0
.
u0 :=
v0 
Ahora, sea
v1 v1 , u0 u0
u1 :=
v1 v1 , u0 u0 
Es obvio que este vector es de norma 1 y es ortogonal al anterior. Sea
ahora
v2 v2 , u0 u0 v2 , u1 u1
u2 :=
.
v2 v2 , u0 u0 v2 , u1 u1 
El procedimiento sigue de esta forma

4. (*) Una aplicacion del anterior procedimiento, cuando se considera el

intervalo [1, 1] y el producto interior
 1
f (t)g(t)dt,
f, g =
1

as como el sistema de vectores (=funciones) {1, t, t2 , . . .}, proporciona

los polinomios
1
3
6
3
g1 (t) = t, g2 (t) = t2 , g3 (t) = t3 t, g4 (t) = t4 t2 + , . . .
3
5
7
35
Los polinomios
n (t) =

(2n)!
gn (t)
2n (n!)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
{u0 , u1 , . . . , un }, el siguiente vector se obtiene quitando a vn+1 las componentes que
apuntan en las direcciones ya consideradas, y dejando s
olo la componente en la nueva
direccion.

24

2.2 Representacion integral de las sumas parciales de una serie de Fourier.

se llaman Polinomios de Legendre. Una denicion alternativa es la siguiente: Se toma la funcion fn (x) := (x2 1)n . Entonces
0 (x) = 1, n (x) =

1
fn(n) (x).
n
2 (n!)

Las siguiente propiedades de los polinomios de Legendre son importantes:

a) n (x) = xn1 (x) + nn1 (x).
b) n (x) = xn1 (x) +

x2 1 
n1 (x).
n

c) (n + 1)n+1 (x) = (2n + 1)xn (x) nn1 (x).

d ) n satisface la ecuacion diferencial


(1 x2 )y  + n(n + 1)y = 0.
1 2
1
(x)dx.
e) 1 2n (x)dx = 2n1
2n+1 1 n1
1 2
2
.
f ) 1 n (x)dx = 2n+1
5. Utilizando las siguientes formulas
2 cos nx = einx + einx , 2i sin nx = einx einx ,
expresar la serie de Fourier de una funcion en terminos de exponenciales
complejas y proporcionar expresiones para los coecientes de Fourier
de la expresion resultante.
6. Expresar la serie de Fourier de una funcion periodica de perodo b a,
digamos f R[a, b], donde [a, b] es un cierto intervalo, utilizando cambios de variable adecuados para reducir el problema al caso estudiado.
Dar la expresion de los coecientes de Fourier en este caso.

2.2.

Representaci
on integral de las sumas parciales de una serie de Fourier.

1. Dado n IN , la funcion Dn llamada n

ucleo de Dirichlet, esta denida
como
n
1 
Dn (t) := +
cos kt.
2 k=1
25

Series de Fourier. Integrales de Fourier

Probar que

Dn (t) =

sin(n+ 12 )t
2 sin t/2

n+

1
2

si t = 2m (m entero),
si t = 2m (m entero).

(Sugerencia: Escribir la suma de una serie

de una progresion geometrica).

2.3.

n
k=0

eikt observando que se trata

Condiciones suficientes para la convergencia puntual de una serie de Fourier.

1. (*) Este ejercicio describe el tipo de funciones que se consideran en la

condicion para la convergencia de la serie de Fourier en un punto, dada
por Jordan: Una funcion f : [a, b] IR se dice que es de variaci
on
acotada cuando existe M > 0 de modo que, para cualquier particion P
de [a, b], digamos a = x0 < x1 < . . . < xn = b, se tenga
n


|f (xk ) f (xk1 )| M.

k=1

Si f es de variacion acotada en [a, b], y si a x b, se dene Vf (x), la

variaci
on total de f en [a, x] (una funcion de x), como el n
umero
n

|f (xk )f (xk1 )| : P := {a = x0 < x1 < . . . < xn = x}, P P}
sup{
k=1

donde P denota el conjunto de todas las particiones de [a, x].

a) Demostrar que Vf es una funcion monotona creciente en [a, b].
b) Demostrar que la funcion Vf f es, tambien, una funcion monotona
creciente en [a, b].
c) Deducir que toda funcion de variacion acotada en [a, b] es la diferencia de dos funciones monotonas crecientes en [a, b].
26

2.4 Series de Fourier de funciones particulares.

d ) Probar el recproco: que toda funcion que sea diferencia de dos
monotonas crecientes en [a, b] es una funcion de variacion acotada en ese intervalo. Probarlo, en primer lugar, para una funcion
monotona creciente. Esto, junto con los apartados anteriores, da
una caracterizacion de las funciones de variacion acotada.
2. (*) Sea g R[a, ] para cada n
umero a tal que 0 < a < . Supongamos
que g satisfaga una condicion de Lipschitz por la derecha en 0: es decir,
que existan dos constantes positivas M y p de modo que
|g(t) g(0+)| < M tp , t ]0, ].
Probar que, en ese caso, g verica la condicion 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
g(t) g(0+)
,
t0
t

lm

entonces g satisface una condicion de Lipschitz con p = 1, luego se

verica la condicion de Dini.
3. Probar, como aplicacion del ejercicio anterior, que si una funcion 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 particulares.

1. Supongamos que f R[, ] 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
2
a0 
an cos nx, donde an =
+
2

n=1

27

f (t) cos ntdt.

0

Series de Fourier. Integrales de Fourier

b) Si f (x) = f (x) cuando 0 < x < , entonces

2
bn sin nx, donde bn =

n=1

f (t) sin ntdt.

0

(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 relacion entre S y f .
Discutir cuidadosamente la forma de utilizacion de los teoremas
de convergencia adecuados 4 :

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

2
2
cos nx
2) f (x) := x2 , I := [0, 2], S(x) := x 3 + 2
n=1 n2 .

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

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

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

n
2
(1) cos nx
.
6) f (x) := x2 , I := [, ], S(x) := 3 + 4
n=1
n2

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


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

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

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

n cos nx

(1)
11) f (x) := x sin x, I := [, ], S(x) := 1 12 cos x2 n=2 n2 1 .





cos nx
12) f (x) := ln
sin x2
, x = 2k, S(x) := ln 2
.
n=1
n
(Sugerencia: calcular la serie de Fourier de la funcion g(x) :=

f  (x), obteniendo g +
k=1 sin kx. Obtener ahora la serie de
Fourier de f aplicando el Teorema de Integracion.)





(1)n cos nx
.
13) f (x) := ln
cos x2
, x = 2(k+1), S(x) := ln 2
n=1
n
(Sugerencia: Usar el n
umero anterior.)





cos(2n1)x
14) f (x) := ln
tan x2
, x = k, S(x) := 2
.
n=1
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 funcion f (x) := x,
x ] 2, 2[, funcion 4-periodica, es
+
 x

4
(1)k+1
sin k
.
k
2
k=1


ikx
de la funcion
3. Demostrar que la serie de Fourier compleja +
k= ck e
x
f (x) := e , x ] , [ tiene como coecientes
ck =

(1 + ik)(1)k
sinh , k = 0, 1, 2, . . . .
(1 + k 2 )

1
4. Sea g una funcion continua en [0, 1]. Se supone que 0 tn g(t)dt = 0 para
n = 0, 1, 2, . . . Probar que
1
1
a) 0 g(t)2 dt = 0 g(t) (g(t) P (t)) dt para cada polinomio P .
1
b) 0 g(t)2 dt = 0. 5
c) g(t) = 0 para cada t [0, 1].

2.5.

El Teorema de Fej
er y sus consecuencias.

1. (*) Un sistema ortonormal S := {0 , 1 , 2 , . . .} de funciones se dice

que es completo cuando toda funcion 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 funcion
continua en [0, 2] y periodica 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 Aproximacion de Weierstrass (toda funci
on real y continua definida en un
intervalo compacto [a, b] se puede aproximar uniformemente por polinomios). 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 Convoluci

on.

1. (*) Sea p > 0, q > 0. Entonces se tiene la formula



xp1 (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 formula se considera

fp (t) :=

tp1 et
0

si t > 0,
si t 0.

 +

Entonces fp L1 (IR) e fp (t)dt = 0 tp1 et dt = (p). Si h designa la convolucion, h = fp fq , haciendo u = 0 en la formula de
convolucion, y si p > 1 o bien q > 1, se obtiene


h(x)dx =

fp (t)dt

fq (y)dy = (p)(q).

Ahora, se calcula la integral de la izquierda de otra forma: Dado que

tanto fp como fq se anulan en el eje real negativo, se tiene

h(x) =
0

fp (t)fq (x t)dt =

ex
0

x
0

tp1 (x t)q1 dt,

si x > 0,
si x 0.

El cambio de variable t = ux proporciona, para x > 0,

x p+q1

h(x) = e x

up1 (1 u)q1 du = ex xp+q1 B(p, q).

 +
 +
Por tanto, h(x)dx = B(p, q) 0 ex xp+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 relacion
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 ect |f (t)|dt exista como integral de
Riemann impropia. Sea z = x + iy, en donde x > c. Probar que la integral

ezt f (t)dt
F (z) :=
0

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 ezt f (t)dt
z = x + iy
t
1
e
(z )
(x > )
2
2
cos t
z/(z + )
(x > 0)
2
2
sin t
/(z + )
(x > 0)
tp et (p + 1)/(z )p+1 (x > , p > 0)
2. Probar que la convolucion h = f g toma la forma
 t
f (x)g(t x)dx
h(t) =
0

cuando f y g se anulan en el eje real negativo. Utilizar el teorema de

convolucion 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 ezt 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)eat dt, donde g(x) = 0 est 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 ezt 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
 T
1
f (t+) + f (t)
=
lm
e(a+iv)t F (a + iv)dv.
2
2 T + T
Esta expresion se llama Formula de Inversi
on para Tranformadas de
Laplace 7 .

2.8.

Teorema de Aproximaci
on de Weierstrass.

1. Probar el Teorema de Aproximacion de Weierstrass como aplicacion de

los teorema de convergencia de series de Fourier.
Sugerencia: Considerar, sin perdida de generalidad, que f es una funcion denida y continua en [, ] con f () = f (). Aproximar f
uniformemente por una funcion g continua y lineal a trozos. La serie 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 polinomios de Taylor que aproximan las funciones sin y cos observando que
la aproximacion es uniforme debido a la acotacion del resto de Taylor.
2. Utilizar el Teorema de Aproximacion de Weierstrass para probar las
siguientes armaciones:
a) Si f es continua en [1, +[ y si f (x) a cuando x +, entonces 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 polinomio.
(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) = eat f (t) si t 0, g(t) = 0 si t < 0. Comprobar que g verifica la condici
on
suficiente 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
Aproximacion de Weierstrass).
b) Si f es continua en [0, +[ y si f (x) a cuando x +, entonces f se puede aproximar uniformemente en [0, +[ por medio
de una funcion g de la forma g(x) := p(ex ), donde p es un polinomio.
(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 Aproximacion de Weierstrass).

2.9.

Convergencia uniforme de la serie de Fourier.

1. (*) Sea la serie de Fourier (en forma exponencial) generada por una
funcion f continua en [0, 2] y periodica de perodo 2, precisamente
n=+


n einx .

n=

Se supone que f es derivable con derivada f  R[0, 2].

n=+ 2
2
entonces
a) Probar que la serie
n= n |n | converge; utilizar
n=+
la desigualdad de Cauchy-Schwarz para deducir que 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
2
f (x+) + f (x)
=
lm
2
+
33



cos vx
0


f (u) cos vudu dv.

Series de Fourier. Integrales de Fourier

Si f es impar,
f (x+) + f (x)
2
=
lm
2
+



sin vx

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 vcos vx dv.
(Sugerencia: Hay que encontrar una funcion par f tal que
 +
sin v
f (u) cos vudu =
v
0
y aplicar el Teorema de la Integral de Fourier. Basta tomar f :=
[1,1] , la funcion caracterstica del intervalo [0, 1]).
 + cos ax
b) 0 b2 +x2 dx.
(Sugerencia: Utilizar el Teorema de la Integral de Fourier para la
funcion f (u) := eb|u| ).
3. Probar que
a)

(p).(p)
(2p)

=2

 1/2
0

xp1 (1 x)p1 dx.

(Sugerencia: Utilizar el hecho, probado en el ejercicio 1 del apartado 2.6,

 1
(p).(q)
xp1 (1 x)q1 dx).
= B(p, q) :=
(p + q)
0
b) Mediante un cambio de variable en el apartado anterior, probar
la formula de duplicacion para la funcion :
1
1
(2p)( ) = 22p1 (p)(p + ).
2
2
(Sugerencia: Haciendo p = q se obtiene
2 (p)
=
(2p)

p1

Se hace ahora x =

1
2

p1

(1 x)

1
2

u).

34


dx = 2
0

1/2

xp1 (1 x)p1 dx.

2.10 Integrales de Fourier.

4. Calcular la transformada de Fourier de la funcion f (x) :=
donde a > 0.

1
,
x2 +a2

x IR,

(Sugerencia. Se trata de calcular la integral

1

eiwx
dx.
x 2 + a2
iwz

Considerar la funcion de variable compleja f (z) := ze2 +a2 y aplicar las

tecnicas de integracion usando el Teorema de los Residuos.)
2

5. Calcular la transformada de Fourier de la funcion f (x) := eax , donde

a > 0.
(Sugerencia. Se trata de calcular, para cierto w IR, la integral
1

f (x)eiwx dx.

(2.1)

Considerar la funcion de variable compleja g(z) := f (z)eiwz . Es derivable 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
2
+
igual a w/2a, y se usa que eax dx = /a.)

35

Captulo 3
Ecuaciones en Derivadas
Parciales
3.1.

Conceptos b
asicos

1. Considerar las siguientes ecuaciones en derivadas parciales (EDP). Clasicarlas y comprobar que las funciones u(x, y) := (x + y)3 y u(x, y) :=
sin(x y) son soluciones de la u
ltima:
a) uuxy + ux = y.
b) uxx + 2yuxy + 3xuyy = 4 sin x.
c) (ux )2 + (uy )2 = 1.
d ) uxx uyy = 0.
2. Resolver
a) uxy = 0, donde u es una funcion de dos variables.
b) uyy = 2, donde u es una funcion de tres variables.
c) ux uy = 0, donde u es una funcion de dos variables 1 . Comprobar que esta ecuacion en derivadas parciales tiene como espacio de soluciones un espacio de dimension 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 solucion 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) uyy + u = 0.
b) uxy + ux = 0.
c) uxx 4uxy + 3uyy = 0, suponiendo que la solucion puede ser expresada en la forma u(x, y) = f (x + y), donde es un parametro.

3.2.

Operadores Lineales.

1. Escribir el operador diferencial correspondiente a la ecuacion de Laplace.

2. Lo mismo para la divergencia en coordenadas cartesianas.
3. Calcular la accion de los siguientes operadores sobre una determinada
funcion, as como la de su composicion.
A :=

3.3.

2
+
x

y
,
B
:=
.
x2
y
y 2
y

Modelos matem
aticos.

1. Deducir que la ecuacion del movimiento de una cuerda larga(es decir,

no acotada) es utt = c2 uxx g, donde g es la aceleracion debida a la
gravedad.
2. Deducir que la ecuacion de una cuerda vibrante con frenado(es decir,
una vibracion amortiguada) es utt + aut = c2 uxx , donde la fuerza de
frenado.es proporcional a la velocidad y a es una constante.
3. Deducir la ecuacion unidimensional del calor ut = kuxx .
4. Deducir la ecuaci
on de continuidad t + div(u) = 0 y la Ecuacion de
Euler [ut + (u grad)u] + grad p = 0 del movimiento en dinamica de
udos.

3.4.

Reducci
on de EDPs a forma can
onica.

1. En las siguientes ecuaciones, determinar su tipo y reducirla a forma

canonica:
38

3.5 Problema de Cauchy

a) y 2 uxx x2 uyy = 0.
b) x2 uxx + 2xyuxy + y 2 uyy = 0.
c) uxx + x2 uyy = 0.
d ) 4uxx + 5uxy + uyy + ux + uy = 2.
e) uxx 4uxy + 4uyy = ey .
f ) uxx + uxy + uyy + ux = 0.
2. En los siguientes ejemplos, encontrar la solucion general:
a) x2 uxx + 2xyuxy + y 2 uyy = 0.
b) 4uxx + 5uxy + uyy + ux + uy = 2.
c) 3uxx + 10uxy + 3uyy = 0.

3.5.

Problema de Cauchy

3.5.1.

(*) Un ejemplo debido a Hadamard.

Sea u una funcion de dos variables x e y. Considerar el siguiente problema

de Cauchy:
uxx + uyy = 0,
con las siguientes condiciones:
u(x, 0) = 0,
uy (x, 0) = n1 sin nx.
1. Comprobar que la solucion viene dada por la funcion
u(x, y) := n2 sinh ny sin nx.
2. Demostrar que, cuando n la funcion n1 sin nx tiende uniformemente a cero.
3. Comprobar que la solucion n2 sinh ny sin nx no tiende a cero cuando
n , sea y el valor que sea.
4. Se concluye que la solucion 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 ondas homog
enea.

1. Encontrar la solucion del problema con valores iniciales

utt = c2 uxx
u(x, 0) = sin x
ut (x, 0) = cos x
2. Considerar la Formula de DAlembert de la solucion del Problema de
Cauchy para la ecuacion 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 solucion. Como caso particular, suponer que f tiene forma triangular
presentando un maximo en 0.
3. Considerar ahora el caso en que el desplazamiento inicial es cero. Tomar
como velocidad inicial

0,
si |x| > b,
g(x) :=
g0 , si |x| b.
Estudiar el comportamiento de la solucion.

3.5.3.

El Problema de Cauchy con condiciones iniciales

y de contorno.

1. Considerar el problema de la vibracion de una cuerda de longitud l

ja en ambos extremos, x = 0 y x = l. La ecuacion que gobierna el
movimiento, y las condiciones iniciales y de contorno, son
utt = c2 uxx , 0 < x < l, t > 0,
u(x, 0) = f (x), 0 x l,
ut (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 ecuacion de ondas no homogenea.

2. Analizar el efecto que las condiciones de contorno tienen sobre la propagacion de una onda considerando el caso particular en que g := 0 y
f := 0 excepto en un peque
no entorno de un punto (x0 , 0), donde existe
una peque
na perturbacion. Considerar las ondas directas y reejadas.

3.5.4.

El Problema de Cauchy para la ecuaci

on de ondas no homog
enea.

1. Determinar la solucion de
uxx uyy = 1
u(x, 0) = sin x
uy (x, 0) = x.

3.5.5.

(*) El m
etodo de Riemann.

1. Determinar la solucion de
wtt + awt + bw = c2 wxx
u(x, 0) = f (x)
ut (x, 0) = g(x),
donde f y g son funciones arbitrarias, mediante el Metodo de Riemann2 .
Para ello:
a) Escribir primero la ecuacion en la forma canonica L[u] = u +
ku = 0 mediante las transformaciones sucesivas w = ueat/2 y
= x + ct, = x ct, donde k = (a2 4b)/16c2 .
b) Determinar la funcion 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 funcion de Riemann es de la forma
v(, ; , ) = F (s)
donde s = ( )( ).

c) Haciendo = 4ks, se obtendra la ecuacion

1
F  () + F  () + F () = 0,

que es la ecuacion de Bessel de orden 0. La solucion que interesa

es
F () = J0 (),
de modo que la funcion de Riemann resulta


4k( )( )) .
v(, ; , ) = J0

3.6.
3.6.1.

El M
etodo de Separaci
on de Variables
El Problema de la Cuerda Vibrante.

1. Considerar el siguiente problema, que hace referencia a la Ecuacion de

Ondas Unidimensional:
utt c2 uxx = 0, 0 < x < l, t > 0,
u(x, 0) = f (x), 0 x l,
ut (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 ecuacion y
las condiciones dadas modelizan.
b) Considerar el caso en que

f (x) :=

hx
a
h(lx)
la

si 0 x a,
si a x l.

Dar una interpretacion fsica de las ecuaciones y resolver el problema.

42

3.6.2 El Problema de la Conduccion del Calor.

c) Suponer ahora que f es cero, y que
 v0
x
si 0 x a,
a
g(x) :=
v0 (lx)
si a x l.
la
Dar una interpretacion fsica de las ecuaciones y resolver el problema.

3.6.2.

El Problema de la Conducci
on del Calor.

1. Considerar el siguiente problema, en relacion con la distribucion de la

temperatura en una varilla:
ut = kuxx , 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 ecuacion y las condiciones proporcionadas describen.
b) Suponer que la distribucion 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) := u0 , t 0.
Resolver el problema usando el metodo de superposicion. Mas precisamente, considerar primero una distribucion inicial de temperatura f1 (x) := uo x/l. Obtener la solucion. Ahora, considerar una
distribucion de temperatura f (x) f1 (x), Resolver el problema.
La solucion del problema planteado sera la suma de las soluciones
obtenidas. Proporcionar los detalles de esta construccion.

3.6.3.

La Ecuaci
on de Laplace.

1. Considerar una distribucion de temperatura estacionaria (estable en el

tiempo) en una placa rectangular en la que dos lados estan aislados, un
43

Ecuaciones en Derivadas Parciales

tercer lado se mantiene a temperatura cero y la temperatura del lado
restante esta 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,
ux (0, y) = 0,
ux (a, y) = 0.
2. Considerar la vibracion transversal de una viga. La ecuacion del movimiento esta gobernada por
utt + a2 uxxxx = 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,
ut (x, 0) = g(x), 0 x l,
u(0, t) = u(l, t) = 0,
uxx (0, t) = uxx (l, t) = 0.
a) Poner en relacion las condiciones dadas con lo que sera el fenomeno
fsico.
b) Resolver la ecuacion.

3.6.4.

Problemas No Homog
eneos.

1. Considerar el siguiente problema:

utt = c2 uxx + F (x),
u(x, 0) = f (x), 0 x l,
ut (x, 0) = g(x), 0 x l,
u(0, t) = A, t > 0,
u(l, t) = B, t > 0.
a) Suponer que la solucion 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 FST n (f ) de una funcion f de la siguiente forma:

2
FST n (f )(x) :=
f (x) sin nxdx, n = 1, 2, . . . ,
0
y la transformada coseno nita de Fourier FCT n (f ) de la misma funcion como:

2
f (x) cos nxdx, n = 0, 1, 2, . . .
FCT n (f )(x) :=
0
Demostrar las siguientes propiedades de las transformadas:
Teorema 1 Supongamos que f  existe y es continua a trozos en [0, ].
Entonces
FST n (f  )(x) =

2n
[f (0) (1)n f ()] n2 FST n (f )(x).

as como
Teorema 2 Supongamos que f  existe y es continua a trozos en [0, ].
Entonces
FCT n (f  )(x) =

2
[(1)n f  () f  (0)] n2 FCT 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:
utt = c2 uxx + f (x, t), 0 < x < , t > 0,
u(x, 0) = 0,
ut (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 distribucion de temperatura en una varilla de longitud . El calor se genera en la varilla a
razon de g(x, t) por unidad de tiempo, los extremos estan aislados y la
distribucion original de temperatura esta dada por f (x):
ut = uxx + g(x, t), 0 < x < , t > 0,
u(x, 0) = f (x), 0 x ,
ux (0, t) = 0,
ux (, t) = 0.
4. Una varilla con constante de difusion k contiene un combustible que
produce neutrones por sion. Los extremos son perfectamente reectantes. La distribucion inicial de neutrones es f (x). Encontrar la distribucion de neutrones en cualquier estado posterior. El problema se
describe usando
ut = kuxx + bu, 0 < x < l, t > 0,
u(x, 0) = f (x),
ux (0, t) = ux (l, t) = 0.

3.7.
3.7.1.

Problemas de Valores Propios. Aplicaci

on
de las Transformadas Integrales
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 ecuacion de Cauchy
x2 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 periodico 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 esta perfectamente 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 distribucion inicial
de temperatura. La temperatura u(x, t) en cada punto en cada instante
satisface, pues,
ut = kuxx , 0 < x < l, t > 0,
u(x, 0) = f (x), 0 x l,
u(0, t) = 0, t > 0,
hu(l, t) + ux (l, t) = 0, h > 0, t > 0.
Utilizar el Metodo de Separacion de Variables para encontrar una solucion.

3.7.3.

Sistemas Singulares de Sturm-Liouville.

1. Considerar la vibracion 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 deformacion 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,
ademas, que el movimiento del centro esta 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 funcion de Green. Para ello, elegir como funcion
G(x, ) la siguiente

G1 (x, ) := (1 x) si x 1,
G(x, ) :=
G2 (x, ) := x(1 ) si 0 x .
2. Considerar el problema

,
2
u(0) = 0,

u( ) = 0,
2

u + u = 1, 0 < x <

usando el metodo de la Funcion de Green. Para ello, construir la apropiada funcion 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
utt = c2 (uxx + uyy ), (x2 + 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,
ut (r, 0) = 0, 0 r 1,
u(1, t) = 0, t 0,
lm u(r, t) < +.

r0

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:

uxx + uyy = 0, < x < , y > 0,
u(x, 0) = f (x), < x < ,
u esta acotada cuando y +,
u y ux tienden a 0 cuando |x| +.
2. Encontrar una solucion del siguiente Problema de Neumann en el semiespacio y > 0:
uxx + uyy = 0, < x < , y > 0,
uy (x, 0) = g(x), < x < ,
u esta acotada cuando y +,
u y ux tienden a 0 cuando |x| +.
3. Obtener la solucion del siguiente problema de conduccion de calor en
una varilla innita con condiciones iniciales:
ut uxx = 0, < x < , t > 0,
u(x, 0) = f (x), < x < ,
u(x, t) esta acotada .

49