Professional Documents
Culture Documents
Curvas y Superficies
1.1 Curvas
1.1.1 Ejercicios
1. Identifica las trayectorias diferenciables y regulares.
siguientes:
Se pide
• Determina la orientación dada por γ y comprueba que γi , i = 1, 2, 3 es una reparametrización
de γ, indicando el cambio de parámetro y si la orientación es la misma o contraria.
• Utilizando la representación
√ √ implícita de C, calcula la recta tangente a la curva en
T
el punto (1 + a/ 2, 1 + b/ 2) .
Usando la parametrización γ, calcula la representación paramétrica de la misma
recta tangente.
3. Sea γ : [a, b] → RN una trayectoria en RN de clase C 1 . Se define la longitud de arco de
γ entre a y b como
Z b
L(γ) = ||γ 0 (t)|| dt.
a
Calcula la longitud de arco de las siguientes curvas en los límites que se indican:
1.1.2 Soluciones
1. La respuesta a los ejercicios anteriores es:
2.5
γ′(0) = (0,b)T 2.5
γ1′(0) = (0,−3b)T
(1,1+b) (1,1+b)
(−a,0)T γ1′(π/2) = (−3a,0)T
2 γ′(π/2) = 2
1.5 1.5
(1,1) (1,1)
1 (1−a,1) (1+a,1) 1 (1−a,1) (1+a,1)
0.5 0.5
0 0
γ′(π) = (0,−b)T (0,0) (1,1−b) (a,0)T γ1′(π) = (0,−3b)T (0,0) (1,1−b) γ1′(3π/2) = (3a,0)T
γ′(3π/2) =
−0.5 −0.5
−1 −1
−2 −1 0 1 2 3 4 −2 −1 0 1 2 3 4
0.5 0.5
0 0
(−2a,0)T
T
(0,−2b)T
(0,0) (0,0) T
γ′(π/4) = (1,1−b) γ′(0) = γ′(−π) = (−2a,0) (1,1−b) γ′(−3π/2) = (0,−2b)
−0.5 −0.5
−1 −1
−2 −1 0 1 2 3 4 −2 −1 0 1 2 3 4
2. Recuerda que la orientación representa el sentido con el que un objeto viaja por la curva
siguiendo la trayectoria dada por la parametrización. Puesto que su velocidad está dada
en cada instante por la derivada, el sentido de ésta es el que determina la orientación.
Así, para γ(t) dado en (a), se tiene
γ 0 (u) = (−a sin u, b cos u)T .
En la figura 1.1 se representa la elipse, junto con el vector γ 0 en varios instantes de t.
El sentido de dicho vector identifica la orientación con la que el objeto recorre la elipse,
siendo, en este caso, antihoraria.
Por otro lado, γ1 , γ2 , Y γ3 son reparametrizaciones de γ, pues se relacionan con ésta a
partir de un cambio de parámetro. Concretamente:
γ1 (u) = γ(θ1 (u)), θ1 : [0, 2π/3] → [0, 2π], θ1 (s) = 3s,
γ2 (u) = γ(θ2 (u)), θ2 : [0, π] → [0, 2π], θ2 (s) = −2s,
γ3 (u) = γ(θ3 (u)), θ3 : [−3π/2, π/2] → [0, 2π], θ3 (s) = π/2 − s.
Como θ10 (u) > 0, θ20 (u) < 0, θ30 (u) < 0, entonces γ1 mantiene la orientación de γ, mientras
que γ2 y γ3 la cambian y tienen orientación horaria. Esto puede verificarse directamente
usando, de nuevo, el vector velocidad. En este caso
γ10 (u) = (−3a sin 3u, 3b cos 3u)T ,
γ10 (u) = (−2a sin 2u, −2b cos 2u)T ,
γ10 (u) = (a cos u, −b sin u)T ,
véanse las gráficas 1.2, 1.3, y 1.4.
Lo que diferencia γ y γ1 , ambas con la misma orientación, es la rapidez del recorrido,
es decir, el tamaño del vector velocidad (γ1 recorre la elipse tres veces más rápido). Lo
mismo ocurre con γ2 y γ3 .
(b) Con la representación implícita
( 2 2 )
x − 1 y − 1
C = (x, y)T /g(x, y) = + −1=0 ,
a b
De este modo, se puede definir la longitud de una curva como la longitud dada por una
cualquiera de sus parametrizaciones C 1 .
B=(0,1)T
4 1
3 γ′(π/2) = (− 31/2,0)T
0.5
2 C=(−1,0)T A=(1,0)T
0
1
R = 31/2
0
−0.5
−1
−1
−2
D=(0,−1)T
1/2 T
−3 γ′(π/2) = (0,− 3 ) −1.5
−1.5 −1 −0.5 0 0.5 1 1.5
−4
−4 −3 −2 −1 0 1 2 3 4
limita un rombo centrado en el origen (figura 1.6). Sea (x, y)T ∈ C, es decir, tal que
|x| + |y| = 1. Hay entonces cuatro posibilidades, según el signo de x e y.
i. x, y > 0. Entonces la condición |x| + |y| = 1 se lee x + y = 1 o, equivalentemente
y = 1 − x, por lo que en el primer cuadrante, la curva se trata de la recta que
pasa por (1, 0)T y de pendiente −1. Para que x e y se mantengan en el primer
cuadrante, han de estar entre cero y uno.
ii. x < 0, y > 0. Entonces la condición |x| + |y| = 1 se lee −x + y = 1 o, equivalen-
temente y = 1 + x, por lo que en el segundo cuadrante, la curva se trata de la
recta que pasa por (−1, 0)T y de pendiente 1. Para que x e y se mantengan en
el segundo cuadrante, x ha de estar entre −1 y 0, e y entre 0 y 1.
iii. x, y < 0. Entonces la condición |x|+|y| = 1 se lee −x−y = 1 o, equivalentemente
y = −1 − x, por lo que en el tercer cuadrante, la curva se trata de la recta que
pasa por (−1, 0)T y de pendiente −1. Para que x e y se mantengan en el tercer
cuadrante, han de estar entre −1 y 0.
iv. x > 0, y < 0. Entonces la condición |x| + |y| = 1 se lee x − y = 1 o, equivalen-
temente y = −1 + x, por lo que en el cuarto cuadrante, la curva se trata de la
recta que pasa por (1, 0)T y de pendiente 1. Para que x e y se mantengan en el
último cuadrante, y ha de estar entre −1 y 0, y x entre 0 y 1.
(g) La curva
C = {(x, y)T /z = x2 + y 2 , z = 4},
es la circunferencia x2 + y 2 = 4, pero en R3 . La orientación pedida viene dada, por
ejemplo, por la parametrización
π 5π
γ: , → R2 , γ(u) = (2 cos u, 2 sin u, 4)T ,
2 2
con γ 0 (u) = (−2 sin u, 2 cos u, 0)T . Alternativamente,
γ : [0, 2π] → R2 , γ(u) = (2 cos(u + π/2), 2 sin(u + π/2), 4)T ,
da la misma orientación (¿por qué?).
Puedes repetir el ejercicio buscando parametrizaciones de las curvas que den orienta-
ciones opuestas.
1.2 Superficies
1.2.1 Ejercicios
1. Se considera la superficie Φ = ϕ(D), donde D = (−π/2, π/2) × (−1, 1), y
ϕ : D → R3 definida por ϕ(u, v) = (− sin u, cos u, v).
Comprueba que Φ es una superficie regular y descríbela geométricamente.
2. Determina el plano tangente a la superficie simple en el punto indicado en cada uno de
los casos siguientes:
0.9
0.8
0.7
0.6
1
0.5
0.5
0.4
0
0.3
−0.5
0.2
0.1 −1
1
0.8
0.6 1
0 0.4 0.5
−1 −0.8 −0.6 −0.4 −0.2 0 0.2 0.4 0.6 0.8 1 0.2 0
−0.5
0 −1
1.2.2 Soluciones
1. Se tiene:
∂ϕ ∂ϕ
(u, v) = (− cos u, − sin u, 0)T , (u, v) = (0, 0, 1)T ,
∂u ∂v
i j k
∂ϕ ∂ϕ
(u, v) × (u, v) = − cos u − sin u 0 = (− sin u, cos u, 0)T .
∂u ∂v 0 0 1
Como seno y coseno no pueden anularse simultáneamente, el vector normal nunca se
anula y la superficie es regular. Las dos primeras componentes de la parametrización se
mueven siempre en la semicircunferencia centrada en el origen y radio uno, desde (1, 0) a
(−1, 0). Por su parte, la tercera componente varía entre −1 y 1 con independencia de las
dos primeras. El resultado es la superficie que limita la porción de cilindro de la figura
1.7.
(b) Utilizando la representación explícita Φ = ϕ(D), D = {(x, y)T /x2 + y 2 < 4}, con
se tiene
∂ϕ ∂ϕ
(u, v) = (1, 0, 6u)T , (u, v) = (0, 1, 10v)T ,
∂u ∂v
Ampliación de Matemáticas. Listado de problemas básicos. 7
i j k
∂ϕ ∂ϕ
(u, v) × (u, v) = 1 0 6u = (−6u, −10v, 1)T
∂u ∂v 0 1 10v
= (n1 (u, v), n2 (u, v), n3 (u, v))T .
Entonces
∂ϕ
(u, v) = (−v sin u, v cos u, 4v 2 sin u cos u)T ,
∂u
∂ϕ
(u, v) = (cos u, sin u, 2v(3 cos2 u + 5 sin2 u))T .
∂v
s0 corresponde ahora a los valores u0 = 0, v0 = 1, es decir, s0 = ϕ(0, 1) = (1, 0, 3)T =
(x0 , y0 , z0 )T . Entonces,
i j k
∂ϕ ∂ϕ
× (u0 , v0 ) = 1 1 0 = (6, 0, −1)T = (n1 (u0 , v0 ), n2 (u0 , v0 ), n3 (u0 , v0 ))T .
∂u ∂v 1 0 6
esto es,
−6(x − 1) + 0(y − 0) + (z − 3) = −6(x − 1) + z − 3 = 0,
es decir, el mismo.
e : D → R3
ϕ definida por ϕ(e
e u, ve) = (cos u e, v)T .
e, − sin u
0.5
−0.5
−1 1
−1 0.5
0
0
−0.5
1 −1
Ahora se tiene
∂ϕ ∂ϕ
e, 0)T ,
e, − cos u u, ve) = (0, 0, 1)T ,
e e
(e
u, ve) = (− sin u (e
∂e
u ∂e v
e ∂ϕ
∂ϕ
× e, 0)T .
e
(e
u, ve) = (− cos u
e, sin u
∂e
u ∂e
v
con el vector normal en cada punto apuntando hacia dentro. (Por ejemplo, en el punto
(0, 1, 0)T , el vector normal es ahora (0, −1, 0)T ). Se tiene que ϕ
e = ϕ ◦ θ con θ(e
u, ve) =
(−eu, ve). Como
0 −1 0
det (θ (e
u, ve)) = det = −1,
0 1
Este ejercicio debe considerarse ilustrativo; no hay que aprenderse los ejemplos, sólo tenerlos
presentes. Intenta mostrar la aparición de campos escalares y vectoriales en diferentes contextos,
algunos, quizá, familiares para el alumno. Varios dibujos han sido tomados de los libros:
• J. E. Marsden, A. J. Tromba: Cálculo Vectorial, Ed. Addison-Wesley, 1991.
donde K es una constante del material (que suponemos homogéneo) llamada conductivi-
dad y
∂T ∂T ∂T
∇T (x, y, z) = (x, y, z), (x, y, z), (x, y, z) ,
∂x ∂y ∂z
es el llamado vector gradiente de T (operador que luego trataremos). El flujo queda
representado en la Figura 2.1 mediante las flechas entre isotermas. El sentido de las
mismas tiene presente que, como −∇T apunta en la dirección donde T decrece, el calor
fluye de las zonas más calientes a las más frías.
y x
Fig. 2.5: Campo F (x, y) = − x2 +y ,
2 x2 +y 2 .
que depende del punto (x, y, z) donde se coloca la carga q1 , del valor de q2 , pero no del
valor de la carga q1 colocada en el punto. Si hay más cargas presentes, E(x, y, z) se
obtiene como suma de las contribuciones de las fuerzas de atracción de cada carga.
Asociado a su vez al campo electrostático se encuentra el potencial electrostático o trabajo
realizado para trasladar una carga
q1 q 2
V (x, y, z) = ,
||r1 − r2 ||
que es otro ejemplo de campo escalar, o el potencial electrostático por unidad de carga
1
W (x, y, z) = V (x, y, z).
q1
Al igual que en el caso del flujo de calor, tiene sentido representar superficies equipoten-
ciales de nivel de V y el campo electrostático como el gradiente del potencial.
2. Estudia si los siguientes campos son conservativos y cuando lo sean, calcula un potencial.
F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z))T = (x + 2y + az, bx − 3y − z, 4x + cy + 2z)T
2.3 Soluciones
1. (a) En este caso, el sistema diferencial para las curvas integrales γ(t) = (x(t), y(t))T es
x0 (t) = x(t)
y 0 (t) = x(t)2 .
1.5
0.5
−0.5
−1
−1.5
−2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2
Fig. 2.6: Curvas integrales del campo F (x, y) = (x, x2 ).
(b) El sistema diferencial para las curvas integrales γ(t) = (x(t), y(t))T es ahora
0
x (t) = x(t)
y 0 (t) = −y(t).
Es decir,
x0 (t)
1 0 x(t)
= .
y 0 (t) 0 −1 y(t)
2. (a) Como
∂F1 ∂F2
(x, y) = (x, y) = 2y,
∂y ∂x
entonces, F no es conservativo. Si planteamos
∂V ∂V
F (x, y) = −∇V (x, y) = − (x, y), (x, y) ,
∂x ∂y
entonces V debe satisfacer
∂V ∂V
− (x, y) = x + y 2 , − y(x, y) = 2xy.
∂x ∂
Tomando, por ejemplo, la segunda igualdad, se tiene
1.5
0.5
−0.5
−1
−1.5
−2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2
Fig. 2.7: Curvas integrales del campo F (x, y) = (x, −y).
∂C ∂C
−(x + 2y + 4z) = −4z + (x, y) ⇒ (x, y) = −(x + 2y),
∂x ∂x
∂C ∂C
−(2x − 3y − z) = z + (x, y) ⇒ (x, y) = −(2x − 3y).
∂y ∂y
De, por ejemplo, la segunda ecuación, se obtiene
3
C(x, y) = −(2xy − y 2 ) + C(x),
2
con C(x) independiente de y. Sustituyendo en la primera ecuación, se tiene
3 x2
f (x, y, z) = −(4x − y)z − z 2 − 2xy + y 2 − +C
2 2
con C constante.
∂F1 ∂F2
4. (a) divF (x, y) = ∂x
(x, y) + ∂y
(x, y) = 1 + 2x.
∂F1 ∂F2
(b) divF (x, y) = ∂x
(x, y) + ∂y
(x, y) = y + 1.
(c) En este caso, si x = (x1 , x2 , . . . , xN )T , ||x||2 = x21 + x22 + · · · + x2N ; luego los campos
escalares componentes de F son de la forma Fj (x) = g(x21 +x22 +· · ·+x2N )xj . Entonces
N
X ∂Fj
divF (x1 , . . . , xN ) = (x1 , . . . , xN )
j=1
∂xj
N
X
g(x21 + x22 + · · · + x2N ) + 2x2j g 0 (x21 + x22 + · · · + x2N )
=
j=1
N
X
0
= N g(x21 + x22 + ··· + x2N ) + 2g (x21 + x22 + ··· + x2N ) x2j
j=1
0
= N g(x21 + x22 + ··· + x2N ) + 2g (x21 + x22 + ··· + xN ) kxk2 .
2
(b) Se tiene:
i j k
∂
rotF (x, y, z) = ∂x ∂
∂y
∂
∂z
= (0, 0, 0)T .
yz xz xy
(c) Se tiene:
i j k
∂ ∂ ∂
rotF (x, y, z) = ∂x ∂y ∂z
yz −xz xy
x2 + y2 + z2 x2 + y2 + z2 x2 + y2 + z2
T
2x(z 2 − y 2 ) 2y(x2 − z 2 ) 2z(y 2 − x2 )
= , , .
(x2 + y 2 + z 2 )2 (x2 + y 2 + z 2 )2 (x2 + y 2 + z 2 )2
Por regla general, sistemas de la forma (2.1) no pueden resolverse en términos explíc-
itos. En ocasiones, sin embargo, hay alguna estrategia para simplificar los cálculos
que puede utilizarse. Una es, por ejemplo, buscar G con alguna componente nula.
Si, por ejemplo, en (2.1) suponemos que G3 ≡ 0, el sistema se reduce a
∂G2
− = y − z,
∂z
∂G1
= z − x,
∂z
∂G2 ∂G1
− = x − y.
∂x ∂y
De las dos primeras ecuaciones,
z2 z2
G2 (x, y, z) = − yz + C2 (x, y), G1 (x, y, z) = − xz + C1 (x, y),
2 2
z2 y2 z2 x2
G1 (x, y, z) = − xz + , G2 (x, y, z) = − yz + , G3 (x, y, z) = 0,
2 2 2 2
es un potencial vectorial de F . Todos los demás pueden obtenerse de G sumando
gradientes de campos escalares.
(b) Se verifica
∂G3
− = eax+by+cz ,
∂y
∂G1 ∂G3
− = eax+by+cz ,
∂z ∂x
∂G1
− = eax+by+cz .
∂y
Integrales curvilíneas
3.1 Ejemplo
1. Una aplicación de la integral de campos escalares sobre trayectorias. Supong-
amos que el soporte Γ ⊂ IR3 de una trayectoria γ : [a, b] → IR3 representa un alambre de
material homogéneo. Si ρ es la función de densidad del alambre, entonces
Z Z b
ρ= ρ(γ(t))||γ 0 (t)|| dt,
Γ a
3.2 Ejercicios
1. Calcula las integrales de línea de los campos escalares siguientes sobre las curvas indicadas.
2. Calcula las integrales de línea de los campos vectoriales siguientes sobre las curvas indi-
cadas.
3.3 Soluciones
1. (a)
Z Z π/2 p
f ds = f (x(t), y(t)) (x0 (t))2 + (y 0 (t))2 dt
γ
Z0 π/2 Z π/2
2 1 − cos(2t)
= (sin t + 2 sin t cos t) dt = 9 ( + sin(2t)) dt
0 0 2
π/2
= π4 − 21 cos(2t) = 1 + π4 .
0
(b) Z Z π p
f ds = f (x(t), y(t), z(t)) (x0 (t))2 + (y 0 (t))2 + (z 0 (t))2 dt
γ Z0 π √ √ Z π 2
2
= 2
(3t + t ) 2t dt = 2 (3t + t3 )dt
√0 3 t4 π √ 3 0 π4
= 2 t + 4 = 2 π + 4 .
0
(b) Z Z 2
F · ds = F (γ(t)) · γ 0 (t) dt
γ 0
Z 2 1 Z 1
2
= (t, −2t, 3t, −4t) dt =
(−10t) dt = −20.
0 3 0
4
3. Podemos utilizar, en ambos casos, el teorema de Green o el cálculo directo. Como ilus-
tración, manejamos el primero.
(a) Tomando la parametrización γ : [0, 2π] → R2 , γ(t) = (r cos t, r sin t), que mantiene
la orientación natural (antihoraria), entonces, para F (x, y) = (P (x, y), Q(x, y))T =
(6xy, 3x2 + 2y)T , el teorema de Green asegura que
Z Z Z Z
∂Q ∂P
F · ds = − dx dy = (2 − 6x) dx dy.
γ D(0,r) ∂x ∂y D(0,r)
(b) Para una parametrización con la orientación antihoraria, podemos tomar la yuxta-
posición γ = γ1 ∨ γ2 ∨ γ3 ∨ γ4 con
(Véase el ejercicio 4(e) de la hoja de ejercicios resueltos del tema 1). Entonces, si R
denota el rombo interior cuya frontera es Γ,
Z Z Z Z Z
∂Q ∂P
F · ds = − dx dy = (2 − 6x) dx dy
γ R ∂x ∂y R
Z 0 Z 1+x Z 1 Z 1−x
= (2 − 6x) dy dx + (2 − 6x) dy dx
−1 −1−x −0 −1+x
Z 0 Z 1
= 2(2 − 6x)(1 + x) dx + 2(2 − 6x)(1 − x) dy = 8.
−1 −0
4. (a) F (x, y) = (P (x, y), Q(x, y))T = (2xy 2 + y + 5, 2x2 y + x + 2). Entonces, se tiene
∂P ∂Q
(x, y) = 4xy + 1 = (x, y).
∂y ∂x
Si planteamos
T
∂V ∂V
F (x, y) = −∇V (x, y) = − (x, y), (x, y) ,
∂x ∂y
(b) F (x, y) = (P (x, y), Q(x, y))T = (4x + sin2 y, x sin(2y) + 1)T . Entonces, se tiene
∂P ∂Q
(x, y) = 2 sin y cos y = sin(2y) = (x, y).
∂y ∂x
Si planteamos
T
∂V ∂V
F (x, y) = −∇V (x, y) = − (x, y), (x, y) ,
∂x ∂y
5. (a) F (x, y) = (P (x, y), Q(x, y))T = (x + 4y, x − 5y)T . Entonces, se tiene
∂P ∂Q
(x, y) = 4 6= 1 (x, y).
∂y ∂x
Luego F no es conservativo.
(b) F (x, y) = (P (x, y), Q(x, y))T = (x2 + y 2 , xy)T . Entonces, se tiene
∂P ∂Q
(x, y) = 2y 6= y (x, y).
∂y ∂x
Luego F no es conservativo.
6. Para aplicar el teorema de Green en cada caso, debemos elegir un campo F = (P, Q)T
tal que
∂Q ∂P
(x, y) − (x, y) = 1.
∂x ∂y
(a) Tomando la parametrización γ : [0, 2π] → R2 , γ(t) = (R cos t, R sin t)T , que mantiene
la orientación natural (antihoraria), entonces, para F (x, y) = (P (x, y), Q(x, y))T =
(0, x)T , el teorema de Green asegura que
Z Z Z Z Z
∂Q ∂P
A(D(0, R)) = dx dy = − dx dy = F · ds.
D(0,R) D(0,r) ∂x ∂y γ
Siendo D la región encerrada por la cicloide entre los puntos γ(0) = (0, 0)T y
γ(2π) = (2πa, 0)T (véase la figura ??). Podemos calcular la integral de línea del
modo habitual, utilizando la definición. Así:
Z Z 2π
A(D) = − F · ds = − F (γ(t))T γ 0 (t) dt
γ 0
Z 2π Z 2π
a(1 − cos t) 2
= − (−a(1 − cos t), 0) dt = a (1 − cos t)2 dt
0 a sin t 0
= 3a2 π.
(c) Tomando la parametrización de la elipse γ : [0, 2π] → R2 , γ(t) = (a cos t, b sin t)T ,
que mantiene la orientación natural (antihoraria), entonces, para F (x, y) = (P (x, y), Q(x, y))T =
(0, x)T , el teorema de Green asegura que
Z Z Z Z Z
∂Q ∂P
A(E(a, b)) = dx dy = − dx dy = F · ds.
D(0,R) E(a,b) ∂x ∂y γ
Integral de Superficie
4.1 Ejercicios
1. Calcula las integrales de los campos escalares siguientes, sobre las superficies indicadas.
2. Calcula la masa de una superficie esférica Φ de radio R > 0 tal que en cada punto
(x, y, z)T ∈ Φ la densidad de masa es igual a la distancia euclídea de (x, y, z)T al origen.
3. Calcula las integrales de los campos vectoriales siguientes, sobre las superficies indicadas,
orientadas según la normal apuntando hacia fuera.
(a) Φ = {(x, y, z)T ∈ R3 /z = 1, x2 + y 2 < 25}, y F (x, y, z) = (x, y, z)T . Φ está orientada
según la normal apuntando hacia arriba.
(b) Φ = {(x, y, z)T ∈ R3 /x2 + y 2 = 1, −1 < z < 1}, y F (x, y, z) = (2xy, z, y)T . Φ está
orientada según la normal apuntando hacia fuera.
4. Calcula la integral del rotacional de los campos siguientes, sobre las superficies indicadas.
En todos los casos, Φ está orientada según la normal apuntando hacia fuera.
Φ1 = {(x, y, z)T ∈ R3 /x2 +y 2 = 1, 0 < z < 1}, Φ2 = {(x, y, z)T ∈ R3 /x2 +y 2 +(z−1)2 = 1, z > 1},
con Φ1 y Φ2 orientadas según la normal que, en cada R caso, apunta hacia fuera. Sea
F (x, y, z) = (zx + z 2 y + x, z 3 yx + y, z 4 x2 )T . Calcula Φ rot F · dΦ.
6. Verifica el teorema de Stokes para los campos y las superficies indicadas, orientadas en
todos los casos según la normal que apunta hacia dentro.
(a) Φ = {(x, y, z)T ∈ R3 /x2 + y 2 + z 2 = 1, z > 0}, F (x, y, z) = (2x, 3xy, z)T .
(b) Φ = {(x, y, z)T ∈ R3 /x2 +y 2 = 4, −1 < z < 1}, F (x, y, z) = (x+2y, 3x+z, x+y+z)T .
(c) Φ = {(x, y, z) ∈ R3 /x2 + y 2 + z 2 = 1, x, y, z > 0}, F (x, y, z) = (z 2 + 1, 2z, 2xz + 2y)T .
(a) Comprueba que γ : [0, 2π] → R3 , γ(u) = (cos u, sin u, 1 − cos u − sin u)T es una
parametrización de Γ.
(b) Calcula la integral de línea de F a lo largo de Γ.
(c) Sea Φ la superficie formada por la porción del plano x + y + z = 1 dentro de Γ.
Calcula la integral de superficie de rot F sobre Φ y comprueba que se cumple el
teorema de Stokes.
RRR
8. Calcula las integrales Φ
div F dV en los casos siguientes:
(a) Φ = {(x, y, z)T ∈ R3 /x2 + y 2 + z 2 < 1}, F (x, y, z) = (y, x, z)T , con la frontera de Φ
orientada positivamente (según la normal exterior).
(b) Φ = {(x, y, z)T ∈ R3 /x2 + 2y 2 + 3z 2 < 6}, F (x, y, z) = (xyz, 1, 1)T , con la frontera
de Φ orientada positivamente (según la normal exterior).
RR
9. Calcula las integrales ∂Φ
F · dΦ en los casos siguientes:
10. Se considera un campo F : R3 → R3 de clase C ∞ y tal que para todo x = (x, y, z)T ∈ R3 ,
x · F (x) = 0. Comprueba que el flujo de F a través de la esfera x2 + y 2 + z 2 = R2 , con
R > 0 es nulo.
4.2 Soluciones
1. (a) Utilizando coordenadas esféricas (figura 4.1)
Se tiene entonces
Z Z Z
∂ϕ ∂ϕ
V dΦ = V (ϕ(u, v))
× (u, v) du dv
Φ ∂u ∂v
Z ZΩ
= (u2 + v 2 + (1 − u − v)2 )k(1, 1, 1)k du dv
Ω
√
√ Z 1 Z 1−u 2 2 2 3
= 3 (u + v + (1 − u − v) ) dv du = .
0 0 4
(c) El cubo puede considerarse unión de superficies. Cada cara del cubo es una superficie
simple. Parametrizaciones para ellas pueden ser las siguientes:
Ω1 = (0, 1) × (0, 1), ϕ1 : Ω1 → R3 , ϕ1 (u, v) = (u, v, 0)T .
Ω2 = (1, 2) × (0, 1), ϕ2 : Ω2 → R3 , ϕ2 (u, v) = (1, u − 1, v)T .
Ω3 = (−1, 0) × (0, 1), ϕ3 : Ω3 → R3 , ϕ3 (u, v) = (0, u + 1, v)T .
Ω4 = (0, 1) × (−1, 0), ϕ4 : Ω4 → R3 , ϕ4 (u, v) = (u, 0, v + 1)T .
Ω5 = (0, 1) × (1, 2), ϕ5 : Ω5 → R3 , ϕ5 (u, v) = (u, 1, v − 1)T .
Ω6 = (0, 1) × (2, 3), ϕ6 : Ω6 → R3 , ϕ6 (u, v) = (u, v − 2, 1)T .
Entonces
Z 6 Z Z
X ∂ϕj ∂ϕ j
V dΦ = V (ϕj (u, v)) × (u, v) du dv
Φ j=1 Ωj ∂u ∂v
Z Z Z Z Z Z
T T
= u k(0, 0, 1) k du dv + 1 k(1, 0, 0) k du dv 0 k(1, 0, 0)T k du dv
Z ΩZ1 Ω2
Z Z Ω3
+ uk(0, 0, 1)T k du dv
Ω
Z 1Z 16 Z 1Z 2
= u du dv + du dv
0 0 0 1
Z 0Z 1 Z 2Z 1 Z 3Z 1
+ u du dv + u du dv + u du dv
−1 0 1 0 2 0
1 1 1 1
= + 1 + + + = 3.
2 2 2 2
Se tiene entonces
∂ϕ1 ∂ϕ1 ∂f1 (u, v) ∂f1 (u, v) T
∂u × ∂v (u, v) = (− ∂u , − ∂v , 1)
∂ϕ2 ∂ϕ2 ∂ϕ1 (u, v) ∂ϕ1 (u, v) T
∂u × ∂v (u, v) = ( , , 1)
∂u ∂v
Por otro lado, si la densidad de masa en (x, y, z)T es igual a la distancia euclídea de
(x, y, z)T al origen, entonces es de la forma V (x, y, z) = x2 + y 2 + z 2 . La masa total de Φ
es por tanto
Z Z Z Z Z
∂ϕ1 ∂ϕ1
M (Φ) = V dΦ = V dΦ + V dΦ = V (ϕ1 (u, v))
× (u, v) du dv
Φ Φ1 ∂u ∂v
Z Z Φ2 Ω1
∂ϕ2 ∂ϕ2
+ V (ϕ2 (u, v)) × (u, v) du dv
Ω2 ∂u ∂v
s 2 2
Z Z
2 ∂ϕ1 (u, v) ∂ϕ1 (u, v)
= 2 R 1+ + du dv
D(0,R) ∂u ∂v
s 2 2
−u −u
Z Z
2
= 2 R 1+ √ + √ du dv
D(0,R) R 2 − u2 − v 2 R2 − u2 − v 2
s
u2 + v 2
Z Z
2
= 2R 1+ du dv
D(0,R) R2 − u2 − v 2
s
R2
Z Z
2
= 62R du dv.
D(0,R) R2 − u2 − v 2
(La última integral es el área de Ω, que es el interior del círculo centrado en el origen
y de radio cinco).
(b) La superficie cilíndrica queda parametrizada por (véase figura 4.2): ϕ : Ω → R3 , Ω =
(0, 2π) × (0, 1), ϕ(θ, z) = (cos θ, sin θ, z).
∂ϕ ∂ϕ
Si F (x, y, z) = (2xy, z, y)T y n(θ, z) = × (θ, z), entonces ϕ es coherente con
∂θ ∂z
la orientación y
Z Z Z
F dΦ = F (cos θ, sin θ, z) · n(θ, z) dθ dz
Φ Ω
Z 1 Z 2π cos θ
= (2 cos θ sin θ, z, sin θ) sin θ dz dθ
−1 0 0
Z 1 Z 2π
= (2 cos2 θ sin θ + z sin θ) dz dθ = 0.
−1 0
(a) Se tiene
2.5
Superficie 1
2
1.5
0.5
0 1
−1 0.5
−0.5 0
0 −0.5
0.5
1 −1
(b) La superficie S es una elipse; es por tanto una superficie cerrada (∂Φ = ∅), luego
Z
rot F dΦ = 0.
Φ
(c) Se tiene
5. Se tiene que Φ1 ∩ Φ2 = ∅ y
∂Φ1 = Γ0 ∪ Γ1 , ∂Φ1 = Γ1
Γ0 = {(x, y, z)T ∈ R3 /x2 + y 2 = 1, z = 0}, Γ1 = {(x, y, z)T ∈ R3 /x2 + y 2 = 1, z = 1}.
6. Como ejercicio.
7. Como ejercicio.
Entonces
Z Z Z
div F dV
V
Z Z Z
T ∂ϕ ∂ϕ
= F · dS = F (ϕ(φ, θ)) × (φ, θ) dφ dθ
Φ Ω ∂φ ∂θ
10. El vector normal exterior unitario en cada punto x = (x, y, z)T de la esfera es ne (x, y, z) =
1
R
(x, y, z)T . Luego la componente normal del campo en dicho punto vale FN (x) = x ·
F (x) = 0. Por tanto, la integral de F sobre la esfera (es decir, el flujo de F a través de
la esfera) es nulo.
Plano Complejo
5.1 Ejercicios
1. Calcula el dominio de definición de las funciones siguientes, así como sus partes real e
imaginaria.
1
(a) f (z) = z 2 ,(b) f (z) = ,
1 + z2
1 z
(c) f (z) = Arg−π , (d) f (z) = .
z z+z
5.2 Soluciones
1. (a) El dominio es todo el plano C. f (z) = u + iv donde si z = x + iy, u(x, y) =
x2 − y 2 , v(x, y) = −2xy.
(c) Si z = r(cos θ + i sin θ), θ = Arg−π (z) entonces 1/z = (1/r)(cos(−θ) + i sin(−θ)) ,
luego f (z) = u(r, θ) + iv(r, θ) con u(r, θ) = −θ, v = 0. El dominio es todo el plano
C salvo el origen z = 0.
(d) El dominio es todo el plano C salvo los z tales que z + z = 0, es decir 2 Re (z) =
z + z = 0. Por tanto, f está definida en todo C salvo el eje vertical Re (z) = 0. Por
otro lado, si z = x + iy, x 6= 0
z x + iy
f (z) = = = uiv
z+z 2x
1 y
u(x, y) = , v(x, y) = .
2 2x
2. (a)
√ π π √ π π
1 + i = 2(cos + i sin ), 1−i= 2(cos − i sin ),
4 4 4 4
√ 3π 3π √ 3π 3π
−1 + i = 2(cos + i sin ), −1 − i = 2(cos − i sin ),
4 4 4 4
√ π π √ π π
3 + i = 2(cos + i sin ), 3 − i = 2(cos + −i sin ),
6 6 6 6
√ 5π 5π √ 5π 5π
− 3 + i = 2(cos + i sin ), − 3 − i = 2(cos + −i sin ).
6 6 6 6
(b) Para k = 0, ±1, ±2, . . .,
π
ln(3i) = ln(3) + iArg(3i) = ln(3) + i( + 2kπ),
2
√ √ √ 2π
ln(−1 + i 3) = ln(| − 1 + i 3|) + iArg(−1 + i 3) = ln(2) + i( + 2kπ),
3
√ √ π 2π
ln(3i(−1 + i 3)) = ln(3i) + ln(−1 + i 3) = ln(3) + i( + 2kπ) + ln(2) + i( + 2kπ)
2 3
7π
= ln(6) + i( + 2kπ).
6
(c)
2i π
i2/π = e π ln(i) = e π (ln(1)+i( 2 +2kπ)) = e π ( 2 +2kπ)
2 2 π
2i π 2i π
= cos( ( + 2kπ)) + i sin( ( + 2kπ)), k = 0, ±1, ±2, . . .
π 2 π 2
Ampliación de Matemáticas. Listado de problemas básicos. 35
12i = e2i ln(1) = 1. √
(1 + i)1+i = e(1+i) ln(1+i) = e(1+i)(ln( 2)+i( 4 +2kπ)) = e 2 −( 4 +2kπ) ei( 2 +( 4 +2kπ))
π ln(2) π ln(2) π
(d)
e1+i − e−1−i e1−i − e−1+i
sin(1 + i) = , cos(1 − i) = ,
2i 2
sin(1 + 2i) e1+2i − e−1−2i
tan(1 + 2i) = = .
cos(1 + 2i) e1+2i − e−1−2i
(e) Utilizamos la fórmula
Entonces
√
w = arcsin(i) = −i log((i)i + (1 + 1)1/2 ) = −i log(−1 ± 2)
√
= (−1)k+1 ± i ln(1 + 2)ikπ, k = 0, ±1, ±2, . . .
−b + (b2 − 4ac)1/2
z= ,
2a
donde se consideran las dos raíces de b2 − 4ac. Quedan, por tanto,√dos raíces para
la ecuación, como en el caso real. Para el ejemplo, con a = 1, b = i 32, c = −6i, se
tiene que b2 − 4ac = 32 + 24i. las raíces de este complejo son
√
k = 0, w0 = 40 cos(α/2) + i sin(α/2)
√
k = 1, w1 = 40 cos(α/2 + 2π) + i sin(α/2 + 2π),
donde cos(α) = 4/5, sin(α = 3/5), −π ≤ α < π. Entonces, las soluciones son
√
−b + (b2 − 4ac)1/2 −i 32 + wk
zk = = , k = 0, 1.
2a 2
1.5
1.5
1 A B 1
A’ B’
0.5 0.5
0 0
D C D’ C’
−0.5 −0.5
−1 −1
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 −2 −1.5 −1 −0.5 0 0.5 1 1.5 2
Transformaciones afines
w = f (z) = az + b, a, b ∈ C, a 6= 0. h5.1i
Transformación w = 1/z
1
w = f (z) = , z 6= 0. h5.2i
z
La transformación (5.2) es biyectiva entre puntos no nulos de los planos z y w. Es la
composición de dos transformaciones:
Así, los puntos exteriores a S1 (0) se aplican sobre puntos interiores (excluido el cero)
y recíprocamente. Cualquier punto de S1 (0) se transforma en sí mismo.
• Una reflexión en el eje real
Z 7→ w = Z.
Algunas propiedades de esta transformación, que pueden verificarse, son las siguientes:
0.5
0.5
0
0
−0.5
−0.5
C1=−1/2 C =−1/2
1
−1
−1
C =1/2
2
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 −2 −1.5 −1 −0.5 0 0.5 1 1.5 2
Homografías
az + b a b
wA = f (z) = , det(A) = det = ad − bc 6= 0. h5.3i
cz + d c d
Las transformaciones (5.3), llamadas homografías o transformaciones de Möbius, pueden
escribirse como composición de
• Homotecias z 7→ az, a 6= 0.
• Traslaciones z 7→ z + c.
• Inversiones z 7→ 1/z.
Sus propiedades fundamentales son:
(a) La composición de homografías es una homografía. Explícitamente, wA ◦ wB = wAB .
(b) Una homografía (5.3) transforma circunferencias y rectas en circunferencias o rectas.
(c) Una homografía (5.3) wA es invertible y su inversa es wA−1 .
(d) Todas las homografías (5.3) que llevan el semiplano superior Im (z) > 0 sobre el
disco abierto |w| < 1 y el contorno Im (z) = 0 en la circunferencia |w| = 1 son
necesariamente de la forma
z−b
w = e iα ,
z−b
con α real, b ∈ C, Im (b) > 0.
La figura 5.3 muestra la llamada transformación de Cayley w = (z + 1)/(z − 1). Convierte
el eje real y sus paralelos en circunferencias como en la figura, y viceversa.
Transformación exponencial
w = f (z) = ez . h5.4i
La aplicación (5.4) se puede escribir como una transformación del plano (x, y) en el plano
w descrito en polares (ρ, θ) como
2
2
1.5 exp(C1)
Y=C2 1.5
1
1
0.5
0.5
C
0 2
0
−0.5
−0.5
X=C1
−1
−1
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 −2 −1.5 −1 −0.5 0 0.5 1 1.5 2
Así, por ejemplo, se puede ver que (5.4) aplica la región C = [a, b] × [c, d] sobre el sector
circular f (C) = {(ρ, θ)/ea ≤ ρ ≤ eb , c ≤ θ ≤ d} (figura 5.5). La aplicación es biyectiva si
d − c < 2π. En particular, si c = 0, d = π, entonces 0 ≤ θ ≤ π y la región rectangular se
aplica sobre la mitad superior de un anillo circular. Por otro lado, la imagen de la banda
infinita {(x, y) : 0 < y < π, x ∈ IR} es el semiplano superior {(ρ, θ) : ρ > 0, 0 < θ < π}.
Transformación w = z 2
w = f (z) = z 2 . h5.5i
1 R 1
D’ B’
0.5 0.5
A B
A’
0 0
−0.5 −0.5
−1 −1
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 −2 −1.5 −1 −0.5 0 0.5 1 1.5 2
2
2
1.5
1.5
1
1
0.5
0.5
0
0
r0 r20
−0.5
−0.5
−1 −1
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2 −2 −1.5 −1 −0.5 0 0.5 1 1.5 2
La transformación (5.5) se puede describir mejor en polares (ρ, θ): si z = reiθ , w = ρeiφ ,
entonces
ρeiφ = r2 e2iθ .
6.1 Ejercicios
1. Ejercicio 1. Calcula los radios de convergencia de las series de potencias siguientes:
+∞ +∞ +∞ +∞
X (2n)! n X n! n X
−n n
X
(a) 2
z ; (b) n
z ; (c) 2 (z + 1) ; (d) 2n (z − i)n ;
n=0
(n!) n=0
n n=0 n=0
+∞
X +∞
X
(e) (n + an )z n ; (f ) (2n − 1)(z + 2)n .
n=0 n=0
+∞
X
2. Sea cn z n una serie de potencias con radio de convergencia R ∈ (0, +∞). Determina
n=0
+∞
X
el radio de convergencia de la serie an z n , en los siguientes casos:
n=0
(2n + 1)(2n)!
|an+1 | ((n + 1)n!)2 2n + 1
lim = lim = lim = 0.
n→+∞ |an | n→+∞ (2n)! n→+∞ (n + 1)2
(n!)2
Luego ρ = +∞, y la serie converge en todo el plano complejo.
n!
(b) z0 = 0, an = n . El radio de convergencia se obtiene a partir de
n
r
n n! 1
p
n
lim |an | = lim n
= .
n→+∞ n→+∞ n e
Luego ρ = e y la serie converge absolutamente en B(0, e).
(c) z0 = −1, an = 2−n . El radio de convergencia se obtiene a partir de
p √
n 1
limn
|an | = lim 2−n = .
n→+∞ n→+∞ 2
Luego ρ = 2, y la serie converge absolutamente en B(2, −1).
(d) z0 = i, an = 2n . El radio de convergencia se obtiene a partir de
p √
n
lim n |an | = lim 2n = 2.
n→+∞ n→+∞
|n + 1 + an+1 |
|an+1 | |a|, |a| > 1
lim = lim =
n→+∞ |an | n→+∞ n
|n + a | 1, |a| ≤ 1
|an+1 |
lim = 2.
n→+∞ |an |
2. (a)
|an+1 | n! |cn+1 |
lim = lim = 0.
n→+∞ |an | n→+∞ (n + 1)! |cn |
Luego ρ = +∞.
Luego ρ = 0.
(d) La función es el producto de g(z) = z/(1+z) consigo misma, por lo que su desarrollo
en serie de potencias es el producto de Cauchy de la serie de g consigo misma. El
desarrollo de g, válido para z ∈ B(0, 1) es
+∞ +∞
z X X
= z (−1)n z n = (−1)n−1 z n .
1+z n=0 n=1
donde a0 = b0 b0 = 0 y si n ≥ 1,
n
X n−1
X n−1
X
k−1 n−k−1
an = bk bn−k = (−1) (−1) = (−1)n−2 = (n − 1)(−1)n−2 = (n − 1)(−1)n .
k=0 k=1 k=1
Luego
+∞
z2 X
= (n − 1)(−1)n z n ,
(1 + z)2 n=1
pero en z 2 , se tiene
+∞ +∞ 4n+1
2
X z 4n X z
z cosh(z ) = z = , z ∈ C.
n=0
(2n)! n=0 (2n)!
donde
1
a0 = b 0 b 0 = ,
4
n n−1 n−1
X X 3 X 3 3
an = bk bn−k = 2b0 bn + bk bn−k = +
k=0 k=1
2n+1 k=1
2k+1 2n−k+1
n−1
3 X 9 3 9(n − 1) 9n − 3
= + = n+1 + = n+2 , n ≥ 1.
2n+1 k=1
2n+2 2 2n+2 2
Función exponencial
f : C → C, z = x + iy,
f (z) = ez = ex cos y + iex sin y.
A las propiedades de la exponencial compleja mencionadas ya en la primera sección de este
tema, debe añadirse que la función es holomorfa en C y (ez )0 = ez , z ∈ C.
1.5
x = α + 2π
1
Y
0.5
x=α
−0.5
−1
0 50 100 150 200 250 300 350 400
X
resulta que la exponencial, que no es una función inyectiva en C, sí define una biyección al
restringirse a cada banda fα : B(α) → C\{0}. Tiene sentido entonces definir su inversa como
la rama del logaritmo (6.1) donde arg(w) es el único argumento de w que está en el intervalo
[α, α + 2π).
La figura muestra las dos regiones. La inversa de fα : A(α) → S(α) sigue siendo la corre-
spondiente rama del logaritmo lnα .
Ejemplo 1.- Se puede comprobar como ejercicio que se tienen los siguientes logaritmos:
√ 1
ln(e) = 1 + 2nπi, n ∈ ZZ, ln(−1 + i 3) = ln 2 + 2(n + )πi, n ∈ ZZ.
3
Algunas propiedades del logaritmo complejo son las siguientes:
1. ln(z1 z2 ) = ln z1 + ln z2 z1 , z2 ∈ C.
2. ln(z1 /z2 ) = ln z1 − ln z2 z1 , z2 ∈ C, z2 6= 0.
1.5
2
x = α + 2π
1
1.5
Y
0.5
Y
1
0
0.5
α
x=α
−0.5 0
−1 −0.5
0 50 100 150 200 250 300 350 400 −0.5 0 0.5 1 1.5 2 2.5
X X
2. Las funciones sin z, cos z son extensiones de las funciones seno y coseno de argumento
real, respectivamente.
3. sin (z + 2 k π) = sin (z), cos (z + 2 k π) = cos (z), k ∈ ZZ. Es decir, las funciones coseno y
seno son periódicas de periodo 2π.
4. sin (z1 ± z2 ) = sin (z1 ) cos (z2 ) ± cos (z1 ) sin (z2 )
cos (z1 ± z2 ) = cos (z1 ) cos (z2 ) ∓ sin (z1 ) sin (z2 )
8. Si z = x + iy,
sin z = sin x cosh y + i cos x sinh y, cos z = cos x cosh y − i sin x sinh y.
sin z 1
tan z = , z 6= (n + )π, n ∈ ZZ,
cos z 2
cos z
cotanz = , z 6= nπ, n ∈ ZZ,
sin z
eiw − e−iw
z= ⇔ (eiw )2 − 2iz(eiw ) − 1 = 0,
2i
que es una ecuación de segundo grado para eiw . Despejando, se tiene
eiw = iz + (1 − z 2 )1/2 ,
donde la función potencia 1/2 o raíz cuadrada (1 − z 2 )1/2 es una función bivaluada. Tomando
logaritmos, obtenemos la función multivaluada
2. Las funciones sinh z, cosh z son extensiones de las funciones seno y coseno hiperbólicos,
respectivamente, de argumento real, .
3. sinh (z + 2 k πi) = sinh (z), cosh (z + 2 k πi) = cosh (z), k ∈ ZZ. Es decir, las funciones
coseno y seno hiperbólicos son periódicas de periodo 2πi.
4. sinh (z1 ± z2 ) = sinh (z1 ) cosh (z2 ) ± cosh (z1 ) sinh (z2 )
cosh (z1 ± z2 ) = cosh (z1 ) cosh (z2 ) ± sinh (z1 ) sinh (z2 )
7. Si z = x + iy,
sinh z = sinh x cos y + i cosh x sin y, cosh z = cosh x cos y + i sinh x sin y.
sinh z 1
tanh z = , z 6= (n + )πi, n ∈ ZZ,
cosh z 2
cosh z
cotahz = , z=6 nπi, n ∈ ZZ,
sinh z
que son holomorfas en sus correspondientes abiertos A = {z ∈ C/z 6= (n + 12 )πi, n ∈ ZZ},
B = {z ∈ C/z 6= nπi, n ∈ ZZ} y con
d 1 1
tanh z = , z 6= (n + )πi, n ∈ ZZ,
dz cosh2 z 2
d 1
cotahz = , z 6= nπi, n ∈ ZZ,
dz sinh2 z
De forma análoga a la de las funciones trigonométricas, pueden deducirse las funciones hiper-
bólicas inversas (multivaluadas):
tienen el mismo radio de convergencia. La región de convergencia, por su parte, se traslada por
el centro z0 que se considere.
+∞
z
X 1 n
e = z , z ∈ C,
n=0
n!
+∞
X (−1)n 2n+1
sin z = z , z ∈ C,
n=0
(2n + 1)!
+∞
X (−1)n
cos z = z 2n , z ∈ C,
n=0
(2n)!
+∞
X 1
sinh z = z 2n+1 , z ∈ C,
n=0
(2n + 1)!
+∞
X 1 2n
cosh z = z , z ∈ C,
n=0
(2n)!
+∞ +∞
1 X
n 1 X
= z , = (−1)n z n , z ∈ B(0, 1),
1−z n=0
1+z n=0
+∞
X (−1)n
Ln(1 + z) = zn, z ∈ B(0, 1).
n=0
n
4
z
El desarrollo es válido cuando |z 4 /9| < 1 (al utilizar el de 1/ 1 + ), es decir, cuando
√ √ 9
|z| < 3 (el disco B(0, 3)).
7.1 Ejercicios
1. Calcula las siguientes integrales, donde el camino es un contorno arbitrario entre los
límites de integración.
Z i/2 Z 2+2πi z Z 3
πz
(a) e dz; (b) cos dz; (c) (z − 2)3 dz.
i 0 2 1
2. Sea Γ el contorno del dominio entre la circunferencia |z| = 4 y el cuadrado limitado por
las rectas x = ±1, y = ±1. Suponiendo que Γ esté orientado de modo que los puntos
del dominio
R queden a la izquierda de Γ (orientación natural o inducida por el dominio),
calcula Γ f (z) dz para
1 z+2 z
f (z) = ; f (z) = ; f (z) = .
3z 2+1 sin(z/2) 1 − ez
Z
3. Calcula z 2 dz siendo (a) Γ = {z ∈ C/|z| = 1}; (b) Γ = {z ∈ C/|z − 1| = 1}, orientadas
Γ
en sentido positivo.
4. Sea Γ el arco de circunferencia centrada en el origen que une los puntos 2 y 2i y recorrido
en sentido positivo. Comprueba que
Z
1 π
z 2 + 1 dz ≤ 3 .
Γ
Z
5. Calcula f (z) dz, siendo
C
ezt
(a) f (z) = , C = {z ∈ C/|z| = 3}, t ∈ R orientado positivamente.
z2 + 1
zez
(b) f (z) = , C = {z ∈ C/|z + 1| = r}, r > 0, orientado positivamente.
(z + 1)3
cosh z
(c) f (z) = ; C es el contorno del cuadrado limitado por las rectas x = ±2, y = ±2,
z4
orientado en sentido positivo.
z
(d) f (z) = ; C contorno del cuadrado limitado por las rectas x = ±2, y = ±2,
2z + 1
orientado en sentido negativo.
7.2 Soluciones
1. Calculamos las integrales a través de primitivas.
(a) Una primitiva de f (z) = eπz es F (z) = eπz /π, que es holomorfa en todo C, luego
i/2
eπi − eπi/2 −1 − i
Z
πz
e dz = F (i) − F (i/2) = = .
i π π
z z
(b) Una primitiva de f (z) = cos 2
es F (z) = 2 sin 2
, que es holomorfa en todo C.
Entonces
2+2π i
e1+πi − e−1−πi
Z z
cos dz = F (2 + 2πi) − F (0) = 2 sin(1 + πi) = 2 .
0 2 2i
(c) Una primitiva de f (z) = (z − 2)3 es F (z) = (z − 2)4 /4, que es holomorfa en todo C;
luego Z 3
1 1
(z − 2)3 dz = F (3) − F (1) = − = 0.
1 4 4
1.5
Γ1 Γ2
1
0.5
−0.5
−1
−1.5
−2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2
z+2
Con las demás funciones se razona de la misma manera. La función f (z) = es
sin(z/2)
holomorfa en todo los puntos del disco limitado por Γ1 excepto en los ceros del denomi-
nador; el único que está en ese disco es z = 0, que es interior a Γ2 . Luego
Z Z Z
f (z) dz = f (z) dz + f (z) dz = 0.
Γ Γ1 Γ2
z
Por último, f (z) = es holomorfa en todo los puntos del disco limitado por Γ1
1 − ez
excepto en los ceros del denominador; el único que está en ese disco es z = 0, que es
interior a Γ2 . Luego
Z Z Z
f (z) dz = f (z) dz + f (z) dz = 0.
Γ Γ1 Γ2
3. En este caso la función no es holomorfa, por lo que hay que aplicar la definición de la
integral.
Calculamos cada factor por separado. Por un lado, una parametrización del arco coherente
con la orientación viene dada por γ(t) = 2eit , t ∈ [0, π/2]. Entonces
Z π/2 Z π/2
0
long(Γ) = ||γ (t)|| dt = 2 dt = π.
0 0
Por otra parte, si z ∈ Γ, entonces es de la forma z = 2eit para t ∈ [0, π/2]. Luego
1 1
|f (z)| = =
|1 + 4e2it | |1 + 4 cos(2t) + 4i sin(2t)|
1 1
=p =p .
2
(1 + 4 cos(2t)) + (4 sin(2t)) 2 17 + 8 cos(2t)
Como p √
min 17 + 8 cos(2t) = 17 − 8 = 3,
t∈[0,π/2]
entonces
1 1
sup |f (z)| = p = .
z∈Γ min 17 + 8 cos(2t) 3
t∈[0,π/2]
Por tanto Z
f (z) dz ≤ long(Γ) sup |f (z)| = π .
Γ
z∈Γ 3
5. Se trata de aplicar la fórmula integral de Cauchy a la función conveniente
(a) Descomponemos en fracciones simples
1 1 A B i 1 i 1
= = + =− + ,
z2 +1 (z − i)(z + i) z−i z+i 2z −i 2z +i
y aplicamos la fórmula integral de Cauchy a la función g(z) = ezt , con los puntos del
interior de C dados por z0 = ±i, respectivamente:
ezt ezt
Z Z Z
i i i i
f (z) dz = − dz + dz = 2πi − g(i) ind(C, i) + g(−i) ind(C, −i)
C 2 C z−i 2 C z+i 2 2
eit − e−it
= 2πi = 2πi sin t.
2i
(b) Aplicamos la fórmula de Cauchy para la derivada segunda de g(z) = zez , g 00 (z) =
(2 + z)ez en z0 = −1, interior al contorno C:
Z Z
g(z) 2πi 00 πi
f (z) dz = 3
dz = g (−1) = .
C C (z + 1) 2! e
(c) Aplicamos la fórmula de Cauchy para la derivada tercera de g(z) = cosh z, g 000 (z) =
sinh z, en z0 = 0, interior al contorno C:
Z Z
g(z) 2πi 000
f (z) dz = 4
dz = g (0) = 0.
C C z 3!
(b) Una parametrización de Γ viene dada por γ(t) = a cos t+ib sin t, t ∈ [0, 2π]. Entonces
Z 2π 0 Z 2π
−a sin t + ib cos t
Z
dz γ (t)
= dt = dt
Γ z 0 γ(t) 0 a cos t + ib sin t
Z 2π Z 2π
(−a sin t + ib cos t)(a cos t − ib sin t) (−a2 + b2 ) sin t cos t + iab
= dt = dt
0 a2 cos2 t + b2 sin2 t 0 a2 cos2 t + b2 sin2 t
1 2π −2a2 sin t cos t + 2b2 sin t cos t
Z Z 2π
dt
= 2 dt + iab
2 0 2 2 2
a cos t + b sin t 0 a cos t + b2 sin2 t
2 2
Z 2π
1 2π dt
= ln(a2 cos2 t + b2 sin2 t) + iab = iabI.
2 0 0 a2 cos2 t + b2 sin2 t
(b) Una parametrización de Γ viene dada por γ(t) = eit , t ∈ [−π, π]. Entonces
π
eaz eaγ(t) 0
Z Z
dz = γ (t) dt
Γ z −π γ(t)
π
ea cos t+ia sin t ieit π
Z Z
= dt = iea cos t (cos(a sin t) + i sin(a sin t)) dt
Z−ππ e it −π
Z π
a cos t
= i e cos(a sin t) dt − ea cos t sin(a sin t) dt.
−π −π
8.1 Ejercicios
1. Estudia y clasifica los puntos singulares de las funciones:
z4 z2 + z + 1 ez 1
(a) f (z) = 4 ; (b) f (z) = 2 ; (c) f (z) = −z
; (d) f (z) = z 4 sin ;
z +1 z (z − 1) z(1 − e ) z
z
z − sin z sin(2z) 1 − ez
(e) f (z) = ; (f) f (z) = ; (g) f (z) = ; (h) f (z) = e z − 2 .
z3 (z + 1)3 1 + ez
2. Desarrolla las siguientes funciones en serie de Laurent en los puntos que se indican y
determina la región de convergencia.
1
1 1
(a) f (z) = , z = 0; (b) f (z) = 2 , z = i; (c) f (z) = e 1 − z , z = 1;
z−2 (z + 1)
1
2 z 1 z 2 − 4z
(d) f (z) = z e z = 0; (e) f (z) = z 2 sin , z = 1; (f) f (z) = cos , z = 2.
z−1 (z − 2)2
3. Desarrolla las siguientes funciones en serie de Laurent en las regiones que se indican.
z
(a) f (z) = , C(2, 0, 1), y C(1, 1, +∞).
(z − 1)(z − 2)
1 1 1
(b) f (z) = + + , C(0, 0, 1), y C(0, 1, +∞).
z z + 2 (z − 1)2
1
(c) f (z) = , C(0, 0, 2), y C(0, 2, +∞).
(z − 2)2
1
(d) f (z) = , C(0, 0, 1), y C(0, 1, +∞).
z(1 − z)
4. Estudia la naturaleza de las singularidades de las funciones siguientes y calcula el valor
del residuo correspondiente.
ez z − sin z 1 e2z
(a) f (z) = ; (b) f (z) = ; (c) f (z) = (z − 3) sin ; (d) f (z) = .
1 + z2 z3 z+2 (z − 1)3
5. (a) Sea
1
f (z) = ,
q(z)2
con q holomorfa en un entorno de z0 , q(z0 ) = 0, q 0 (z0 ) 6= 0. Comprueba que entonces
z0 es un polo de orden dos de f con
q 00 (z0 )
Res(f, z0 ) = − 0 .
q (z0 )2
6. Calcula las siguientes integrales (la orientación en todas las curvas es positiva):
Z
1+z
(a) dz, Γ = {z ∈ C/|z| = 7.
Γ 1 − cos z
Z
(b) z n e1/z dz, Γ circunferencia centrada en el origen y de radio R > 0.
Γ
Z
dz
(c) , Γ curva formada por el segmento [−2, 2] y la semicircunferencia superior
Γ +1 z4
centrada en el origen y de radio 2.
Z
dz
(d) 4
, Γ cuadrado de vértices 0, 1, 1 + i, i.
Γ z +1
Π+
R = {z ∈ C/|z| ≤ R, Im (z) ≥ 0},
o de la forma
Π−R = {z ∈ C/|z| ≤ R, Im (z) ≤ 0}.
Z +∞ Z +∞ Z +∞
dx x x+1
(a) √ 4 dx; (b) 2 2
dx; (c) 2 2
dx;
−∞ x(x + 1) −∞ (x + 1)(x + 4) −∞ (x + 4x + 5)
o de la forma
Π−
R = [−R, R] × [−R, 0],
y comprueba que
Z +∞
cos x πe−b
(c) 2 2
dx = , b > 0.
−∞ x + b b
8.2 Soluciones
z4
1. (a) f (z) = es holomorfa en todo z salvo en los ceros del denominador z 4 +1 = 0, es
z4 + 1
(2k+1)iπ 1 i
decir, las raíces cuartas de −1: zk = e 4 , k = 0, 1, 2, 3, es decir z = ± √ ± √ .
2 2
En cada punto zk , f tiene un polo simple, pues el numerador no tiene a zk como
cero y cada zk es un cero simple del denominador.
z2 + z + 1
(b) f (z) = 2 . El denominador tiene ceros en z0 = 0 (orden q = 2) y z1 = 1
z (z − 1)
(orden q = 1). Como ninguno de ellos son ceros del numerador, entonces z0 , z1 son
polos de f , de orden dos y uno Respectivamente.
ez
(c) f (z) = . Las singularidades de f son los ceros del denominador: z0 = 0
z(1 − e−z )
y los z tales que e−z = 1, es decir, zk = 2kπi, k = 0, ±1, ±2, . . .. Como para cada
k = 0, ±1, ±2, . . .
+∞
−z −(z−zk ) −zk −(z−zk )
X (z − zk )n
1−e =1−e e =1−e = .
n=1
n!
Entonces, si k = 0
z 2 ez
lim (z − z0 )2 f (z) = lim z 2 f (z) = lim ,
z→z0 z→0 z→0 z 2 h(z)
con
+∞ n−1
X z z z2
h(z) = =1+ + + ···
n=1
n! 2! 3!
Luego
z 2 ez ez 1
lim z 2 f (z) = lim = lim = = 1,
z→0 z→0 z 2 h(z) z→0 h(z) h(0)
por lo que z0 = 0 es un polo de orden dos. Para los otros casos, si k 6= 0,
(z − zk )ez
lim (z − zk )f (z) = lim ,
z→zk z→zk (z − zk )h(z)
con
+∞
X (z − zk )n−1 (z − zk ) (z − zk )2
h(z) = =1+ + + ···
n=1
n! 2! 3!
Luego
(z − zk )ez e zk
lim (z − zk )f (z) = lim = = 1,
z→zk z→zk (z − zk )h(z) h(zk )
por lo que zk es un polo de orden uno.
con
+∞
X (−1)k+1 2k−2
h(z) = z
k=1
(2k + 1)!
Entonces z = 0 es una singularidad evitable de f pues
1
lim f (z) = lim h(z) = h(0) = .
z→0 z→0 3!
sin(2z)
(f) f (z) = . Polo de orden tres en z = −1 (como ejercicio).
(z + 1)3
1 − ez
(g) f (z) = . Polos simples en los ceros del denominador zk = (2k + 1)πi, k =
1 + ez
0, ±1, ±2, . . . (como ejercicio).
z
(h) f (z) = e z − 2 . Como
z z−2+2 2 +∞ n
1+ X 2 1
e z − 2 =e z − 2 =e z − 2 =e ,
n=0
n! (z − 2)n
1 i 1 i 1
f (z) = =− +
(z 2 + 1) 2 (z − i) 2 (z + i)
1 i 1 i 1
f (z) = =− +
(z 2 + 1) 2 (z − i) 2 2i(1 + z−i
)
2i
+∞
i 1 1 X (−1)n (z − i)n
= − + ,
2 (z − i) 4 n=0 (2i)n
desarrollo válido para 0 < |z − 1| < ∞. (La última igualdad se obtiene operando un
poco.)
z 2 − 4z z 2 − 4z + 4 − 4 (z − 2)2 − 4
f (z) = cos = cos cos
(z − 2)2 (z − 2)2 (z − 2)2
4 4 4
= cos 1 − = cos 1 cos − sin 1sin
(z − 2)2 (z − 2)2 (z − 2)2
+∞ +∞
X (−1)n 4n X (−1)n 4n
= cos 1 − sin 1 ,
n=0
(2n)!(z − 2)4n n=0
(2n + 1)!(z − 2)4n+2
ez iei
lim(z − i)f (z) = lim =− 6= 0
z→i z→i z + i 2
ez e−i
lim (z + i)f (z) = lim =− 6= 0,
z→−i z→−i z − i 2i
i −i
entonces f tiene en z0 = i y z1 = −i dos polos simples con residuos − ie2 , − e Res
2i
pectivamente. También puede calcularse el residuo con la descomposición
ez i ez i ez g1 (z) g2 (z)
f (z) = =− + = + ,
(z − i)(z + i) 2z −i 2z +i z−i z+i
q(z) = (z − z0 )r(z),
1 ϕ(z)
f (z) = 2
= ,
q(z) (z − z0 )2
Luego q 0 (z0 ) = r(z0 ), q 00 (z0 ) = 2r0 (z0 ) y podemos, por tanto, escribir
r0 (z0 ) q 00 (z0 )
Res(f, z0 ) = −2 = − .
r(z0 )3 q 0 (z0 )2
q 00 (z0 )
Res(f, zn ) = − 0 = −2.
q (z0 )2
Como
+∞ +∞ +∞
X (−1)n 2n
X (−1)n+1 2n 2
X (−1)n+1
1−cos z = 1− z = z = z h(z), h(z) = z 2n−2 ,
n=0
(2n)! n=1
(2n)! n=1
(2n)!
d z 2 (1 + z)
d
Res(f, z0 ) = (g(z)) =
dz dz 1 − cos z z=0
z=0
d (z − 2π)2 (1 + z)
d
Res(f, z1 ) = (g(z)) =
dz dz 1 − cos z
z=0 z=0
(b) Como
+∞
X 1 1
z n e1/z = k−n
, 0 < |z| < ∞,
k=0
k! z
entonces, z0 = 0 es la única singularidad esencial de f y por el Teorema de los
Residuos Z
2πi
z n e1/z dz = 2πiRes(z n e1/z , z0 ) = .
Γ (n + 1)!
(d) En este caso, la única singularidad que está en el interior de la curva es z0 = √12 + √i2 .
Entonces
Z √
dz 1 π 2
4
= 2πi (Res (f, z0 )) = 2πi = .
Γ z +1 (z0 − z1 )(z0 − z2 )(z0 − z3 ) 2(1 + i)
Por otro lado, la integral puede descomponerse según cada arco distinguido en Γ+
R:
el segmento en el eje real y la semicircunferencia. Tomamos parametrizaciones de
cada una de ellas (recuérdese la orientación):
Entonces
Z Z R Z
f (z) dz = f (x) dx + f (z) dz, h8.2i
Γ+
R −R CR
Por otro lado, la integral puede descomponerse según cada arco distinguido en Γ−
R:
el segmento en el eje real y la semicircunferencia. Tomamos parametrizaciones de
cada una de ellas (recuérdese la orientación):
γ1 : [−R, R] → C, γ1 (x) = (x, 0),
γ2 : [π, 2π] → C, γ (t) = Reit = (R cos t, R sin t)T .
2
Entonces
Z Z R Z
f (z) dz = f (x) dx + f (z) dz, h8.4i
Γ−
R −R CR
(a) Observemos que si z = eit y teniendo en cuenta que 1 − cos(2t) = 2 sin2 t, se tiene
2
eit −e−it
2
1 − cos(2t) 2 sin2 t 2i
= = .
2 + cos t 2 + cos t e it +e−it
2+ 2
con Γ la circunferencia unidad con orientación positiva. Podemos ahora hacer uso
del Teorema de los Residuos. El denominador del integrando tiene los ceros
√ √
z0 = 0, z1 = −2 + 3, z2 = −2 − 3,
por lo que no existen puntos singulares sobre Γ y el único punto singular interior es
z0 = 0. Podemos calcular su residuo escribiendo
ϕ(z) (z 2 − 1)2
f (z) = , ϕ(z) = − ,
z2 2i(z 2 + 4z + 1)
(b) Observemos en primer lugar que como el integrando es una función par
Z π
1 π
Z
dt dt
= .
0 5 + 4 cos t 2 −π 5 + 4 cos t
ϕ(z) 1
f (z) = , ϕ(z) = ,
(z + 1/2) 2i(z + 2)
con ϕ holomorfa en el disco B(0, 1). Se tiene que z0 = −1/2 es un polo simple de f
y
1
Res(f, z0 ) = ϕ(z0 ) = .
3i
Por tanto, del Teorema de los Residuos
Z π
1 π
Z Z
dt dt π
= = f (z) dz = πiRes(f, z0 ) = .
0 5 + 4 cos t 2 −π 5 + 4 cos t Γ 3
(a) Escribimos
+∞ +∞
eix
Z Z
cos x
dx = Re dx
−∞ (x2 + 1)2 −∞ (x2 + 1)2
−iz
Se considera ahora f (z) = (ze2 +1)2 , z ∈ C, así como el rectángulo Π+
R , en el semiplano
+
superior, de vértices −R, −R + iR, R + iR, R. El contorno ΓR , orientado positiva-
mente, consta de cuatro segmentos Γj , j = 1(1)4, parametrizados por
De manera que
Z Z Z Z Z
f (z) dz = f (z) dz + f (z) dz − f (z) dz − f (z) dz.
Γ+
R γ1 γ2 γ3 γ4
ϕ(z) e iz
f (z) = , ϕ(z) = ,
(z − i)2 (z + i)2
Entonces si R → +∞,
Z R i(R+it) Z R
e−t
Z
|e | R
f (z) dz ≤ 2 2
dt = 2 2
dt ≤ →0
Γ2
0 (R − 1) 0 (R − 1) (R − 1)2
2
Z R i(t+iR) Z R
e−R 2Re−R
Z
|e |
f (z) dz ≤ 2 2
dt = 2 2
dt ≤ →0
Γ3
−R (R − 1) −R (R − 1) (R2 − 1)2
Z R i(−R+it) Z R
e−t
Z
|e | R
f (z) dz ≤ 2 2
dt = 2 2
dt ≤ → 0.
Γ4
0 (R − 1) 0 (R − 1) (R − 1)2
2
(b) Escribimos
+∞ +∞
xeix
Z Z
x sin x
dx = Im dx
−∞ (x + 1)(x2 + 4)
2
−∞ (x2 + 1)(x2 + 4)
ze−iz
Se considera ahora f (z) = 2 2
, z ∈ C, así como el rectángulo Π+ R , en el
(z + 1)(z + 4)
semiplano superior, de vértices −R, −R + iR, R + iR, R. El contorno Γ+ R , orientado
positivamente, consta de cuatro segmentos Γj , j = 1(1)4, parametrizados por
9.1 Ejercicios
1. Dado L > 0, encuentra para cada uno de los problemas siguientes los autovalores, las
autofunciones y un conjunto ortogonal de funciones en el intervalo correspondiente.
(a) X 00 (x) = λX(x), a < x < b, X 0 (a) = 0, X(b) = 0.
(b) X 00 (x) = λX(x), a < x < b, X(a) = 0, X 0 (b) = 0.
2. Calcula los siguientes desarrollos en serie:
(a) Desarrollo en serie de senos de f (x) = 1, x ∈ [1, 5].
(b) Desarrollo en serie de cosenos de f (x) = x, x ∈ [a, b].
(c) Desarrollo en serie de senos de f (x) = x2 , x ∈ [a, b].
3. Desarrolla en serie de senos la función cos(x) en 0 ≤ x ≤ π. Calcula la serie de cosenos
de la función sin(x) en el mismo intervalo.
4. Halla la serie de Fourier en senos y cosenos en el intervalo [−l, l] de la función
1, −l ≤ x ≤ 0,
f (x) =
0, 0 ≤ x ≤ l.
Demuestra que
+∞
X 1 π2
= .
n=1
(2n − 1)2 8
λ = −ω 2 , ω > 0.
X 0 (a) = Eω = 0 ⇒ E = 0,
X(b) = F cos ωL = 0.
Para que λ sea autovalor es necesario que el sistema anterior tenga solución no trivial,
luego
cos ωL = 0 ⇔ ω = (2k + 1)π/2L, k = 1, 2, . . . .
Por lo tanto, hemos encontrado una sucesión de autovalores
2
2 (2k + 1)π
λk = −ωk = − ,
2L
con
b
hu, Xk i (2k + 1)π(x − a)
Z
2
αk = 2
= u(x) cos dx, k ≥ 1.
kXk k L a 2L
(b) Como antes, escribimos λ = −ω 2 ,, ω > 0. (λ = 0 no es autovalor.) Entonces, al
imponer las condiciones de contorno en este caso, X(a) = X 0 (b) = 0, a la solución
general de la ecuación (9.1) dada por (9.2) encontramos
X(a) = F = 0,
X 0 (b) = Eω cos ωL = 0.
con
b
hu, Xk i (2k + 1)π(x − a)
Z
2
αk = = u(x) sin dx, k ≥ 1.
kXk k2 L a 2L
y L = 4. Entonces
+∞
X
f= αk (f )Sk
k=1
5 5
hu, Sk i kπ(x − 1) kπ(x − 1)
Z Z
2 1
αk (f ) = 2
= f (x) sin dx = sin dx.
kSk k 4 1 4 2 1 4
1 4
Z
kπy 1 L 2
αk (f ) = = sin dy = (1 − (−1)n ) = (1 − (−1)n )
2 0 4 2 kπ kπ
(
0 n par
= 4
n impar.
kπ
Se tiene que αk (f ) = 0 si k es par, por lo que
+∞
X 4 (2k − 1)π(x − 1)
1= sin .
k=1
π(2k − 1) 4
y L = b − a. Entonces
+∞
X
f= αk (f )Ck ,
k=0
b b
hf, C0 i b 2 − a2
Z Z
1 1
α0 (f ) = = f (x) dx = x dx = .
kC0 k2 L a L a 2L
Si k ≥ 1,
b b
hf, Ck i kπ(x − a) kπ(x − a)
Z Z
2 2
αk (f ) = 2
= f (x) cos dx = x cos dx.
kCk k L a L L a L
y L = b − a. Entonces
+∞
X
f= αk (f )Sk
k=1
Si k ≥ 1,
b b
hf, Sk i kπ(x − a) kπ(x − a)
Z Z
2 2 2
αk (f ) = 2
= f (x) sin dx = x sin dx.
kSk k L a L L a L
2 L
Z
2 kπy
αk (f ) = = (y + a) sin dy
L 0 L
2 L 2 2 L 2 L 2
Z Z Z
kπy kπy kπy
= y sin dy + 2ay sin dy + a sin dy
L 0 L L 0 L L 0 L
3
k+1 2 L n L L L
= (−1) L + ((−1) − 1) + 2a(−1)k+1 L + a2 (1 − (−1)k ) .
kπ kπ kπ kπ
Para los coeficientes, utilizamos las fórmulas trigonométricas (9.3), (9.4), tomando α =
kx, β = x y restando las dos igualdades, despejamos
1
sin(x) cos(kx) = (sin((k + 1)x) + sin((k − 1)x)).
2
Por tanto,
Z π
1 2
α0 (f ) = sin(x) dx = ,
π 0 π
y, usando las tablas, si k > 1,
2 π 2 π1
Z Z
αk (f ) = sin(x) cos(kx) dx = (sin((k + 1)x) − sin((k − 1)x)) dx
π 0 π 0 2
1 k+1 1 k−1 1
= (1 − (−1) ) − (1 − (−1) )
π (k + 1) (k − 1)
0, k impar,
(
1 − (−1)k+1 2
= − = −4
π k2 − 1 , k par.
π(k 2 − 1)
2 l 2 l
Z Z
πk(x + l)
βk (f ) = f (x)Sk (x) dx = f (x) sin dx
2l −l 2l −l l
1 l (−1)k 0
Z Z
k πkx πkx
= f (x)(−1) sin dx = sin dx
l −l l l −l l
(−1)k+1 l (−1)k+1 1 + (−1)k+1
Z
πkx l
= sin dx = (1 − (−1)k ) = .
l 0 l l πk πk
Por tanto, βk (f ) = 0 si k es par, y αk (f ) = 0, k ≥ 1, luego
+∞
X 2πk(x + l) 2πk(x + l)
f (x) = α0 (f ) + αk (f ) cos + βk (f ) sin
k=1
2l 2l
+∞ +∞
1 X 1 + (−1)k+1
2πk(x + l) 1 2X 1 (2n − 1)πx
= + sin = − sin .
2 k=1 πk 2l 2 π n=1 (2n − 1) l
donde
Z l Z 0
2 2
||f || = |f (x)| dx = dx = l.
−l −l
De modo que
+∞
π X 1 1
f (x) = + 2
cos((2k − 1)(x + π)) + sin(k(x + π)).
4 k=1 (2k − 1) k
Para sumar la serie utilizamos de nuevo la identidad de Parseval, que en este caso diría
que
+∞
2 π4 X 1 2π
||f || = 2π + 16 ,
9 n=1
n4 2
donde
π π
2π 5
Z Z
2 2 4
||f || = |f (x)| dx = x dx = .
−π −π 5
de donde
+∞
X 1 π4
4
= .
n=1
n 90