AM3 Murmis TP1 - Ej. 10

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P.
No 1
Variable Compleja - lgebra y Topologa en Complejos
T. P. No 1 - EJERCICIOS RESUELTOS
Enunciado
10. Verificar que si x \ , k ` :
1
sen n + x
2
eikx = x
k = n
sen
2
obtener en consecuencia
n
a)
b)
1
sen n + x
2
1
cos kx = 2 + x
k =1
2sen
2
n
Resolucin
Resuelto por: Miguel Goldstein
Revisado por: Gustavo M. Murmis - Eduardo G. Murmis - Ariel Burman
a) Esta igualdad la podemos demostrar con dos mtodos
Mtodo 1:
Comencemos por desarrollar
n
x
sen eikx
2 k = n
(1)
Reemplazando eikx = cos ( kx ) + i sen ( kx ) , en (1) obtenemos

n
n
x
x
sen eikx = sen ( cos ( kx ) + i sen ( kx ) )
2 k = n
2 k = n
Y si tenemos en cuenta que sen
( 2x ) no depende de k , lo podemos introducir en
la sumatoria, y luego distribuyendo resulta:

n
x
sen eikx = cos ( kx ) sen
2 k = n
k = n
( 2x ) + i sen ( kx ) sen ( 2x )
Aplicando las identidades trigonomtricas,

n
( (
x
sen eikx = 2i cos kx 2x cos kx + 2x
2 k = n
k = n
2009
) ) + 12 ( sen ( kx + 2x ) sen ( kx 2x ) )
Pg. 1 de 5
Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

( ((
) )
) ))
((
( ((
) )
) ))
((
x
sen eikx = 2i cos k 12 x cos k + 12 x + 12 sen k + 12 x sen k 12 x
2 k = n
k = n
Separemos esta sumatoria en dos, para facilitar su estudio:

n
i
2
1
2
((
) )
((
) )
((
) )
((
) )
cos k 1 x cos k + 1 x
2
2
sen k + 1 x sen k 1 x
2
2
k = n
k = n
(3)
(4)
Analizando la sumatoria (3), observamos que para cada trmino de la misma, se
((
) )
suma cos k 12 x
((
) )
que es igual al valor de cos k + 12 x que se resta en el
trmino anterior. Por lo tanto estos dos valores se cancelan entre s.

Por ejemplo, sumando los trminos con k = 2 y k = 3 , tendramos:
((
) )
((
) )
((
) )
((
) )
cos 2 12 x cos 2 + 12 x + cos 3 12 x cos 3 + 12 x =
= cos (1,5 x ) cos ( 2,5 x ) + cos ( 2,5x ) cos ( 3,5x ) =
= cos (1,5 x ) cos ( 3,5 x )

de donde observamos claramente que el trmino de cos ( 2,5x ) se anula, y
queda restando el trmino cuyo argumento es ms grande, y sumando el
trmino cuyo argumento es ms chico. Generalizando esta idea, en nuestro
caso que tenemos la sumatoria desde n hasta +n , toda la sumatoria se
reducira a
n
i
2
k = n
((
) )
((
) )
((
) )
((
) )
cos k 1 x cos k + 1 x = i cos n 1 x cos n + 1 x

2
2
2
2
Si tenemos en cuenta que el coseno es una funcin par nos queda

n
i
2
k = n
((
) )
((
) )
((
) )
((
) )
cos k 1 x cos k + 1 x = i cos n + 1 x cos n + 1 x = 0

2
2
2
2
(5)
Con esto demostramos que la sumatoria de la expresin (3) es igual a 0

n
En la expresin
((
(4),
) )
1
2
k = n
((
) )
((
) )
sen k + 1 x sen k 1 x , observamos que el

2
2
((
) )
trmino sen k 12 x , que se resta, es igual al trmino sen k + 12 x
del
anterior k , que se suma y por lo tanto se cancelan.

Resulta entonces,
2009
Pg. 2 de 5
(2)

1
2
k = n
((
) )
((
) )
((
) )
((
) )
sen k + 1 x sen k 1 x = 1 sen n + 1 x sen n 1 x

2
2
2
2
Si tenemos en cuenta que el seno es una funcin impar, nos queda
((
) )
((
) )
((
) )
((
) )
((
) )
) )
((
) ))
sen n 12 x = sen n + 12 x = sen n + 12 x
Y podemos finalmente obtener

n
1
2
k = n
((
) )
((
) )
sen k + 1 x sen k 1 x = 1 2sen n + 1 x = sen n + 1 x

2
2
2
2
(6)
Reemplazando (5) y (6) en (2) nos queda:

n
x
sen eikx =
2 k = n
=
( ((
) )
((
) ))
( ((
((
) )
i cos k 1 x cos k + 1 x + 1 sen k + 1 x sen k 1 x =

2
2
2
2
2
2
k = n
= 0 + sen n + 12 x
Por lo tanto,
n
1
x
sen eikx = sen n + x
2
2 k = n
Pasando sen
( 2x ) dividiendo al segundo miembro,

n
eikx
k = n
1
sen n + x
2
=
x
sen
2
Mtodo 2:
Desarrollando la sumatoria,
n
eikx = einx + ... + 1 + ... + einx
k = n
Multiplicando y dividiendo por einx ,

n
1
eikx = einx 1 + ... + einx + ... + ei 2nx
k = n
2009
Pg. 3 de 5

La expresin entre parntesis es la suma parcial de una serie geomtrica de

razn eix y puede por lo tanto expresarse como sumatoria de la siguiente
manera:
n
1 2 n ix k
ikx
e
=
e
einx k =0
k = n
( )
Considerando que la ltima sumatoria es una suma parcial de una serie

geomtrica, se la puede reemplazar usando
n
1 z n +1
k
.
z
=
1 z
k =0
Por lo tanto, la sumatoria se reduce a
n
ikx
k = n
1 1 e (
y si multiplicamos y dividimos por e
ikx
i 2x
e inx e (
i n +1) x
1 eix
einx
i 2 n +1) x
1 eix
, obtenemos
i n + 12 x
k = n
i 2x
e
e
i n + 12 x
i 2x
Multiplicando y dividiendo por 2i , la sumatoria se convierte en

e
eikx =
k = n
Finalmente,
n
eikx =
k = n
i n + 12 x
e
2i
ix
e 2 e
2i
i n + 12 x
i 2x
((
) )
sen n + 12 x
x
sen
2
b) Reemplazando con eikx = cos ( kx ) + i sen ( kx ) en la expresin demostrada en la

parte a), obtenemos
n
cos ( kx ) + i sen ( kx ) =
sen
k = n
( ( n + 12 ) x )
sen
Separando en dos sumatorias,

n
k = n
k = n
cos ( kx ) + i sen ( kx ) =
2009
sen
( 2x )
( ( n + 12 ) x )
sen
( 2x )
Pg. 4 de 5

De la igualdad de nmeros complejos resulta que la parte real del primer

miembro debe ser igual a la parte real del segundo miembro, y por lo tanto,
n
cos ( kx ) =
((
) )
sen n + 12 x
sen
k = n
( 2x )
Analicemos la sumatoria del coseno:

n
cos ( kx ) =
k = n
k = n
k =0
k =1
cos ( kx ) + cos ( kx ) + cos ( kx )
Haciendo un cambio de variable k k para la primer sumatoria, resulta

n
k = n
k =1
k =1
cos ( kx ) = cos ( kx ) + 1 + cos ( kx )
Si tenemos en cuenta que el coseno es una funcin par,

n
k = n
k =1
k =1
k =1
cos ( kx ) = cos ( kx ) + 1 + cos ( kx ) = 1 + 2 cos ( kx )
Entonces,
n
1 + 2 cos ( kx ) =
sen
k =1
( ( n + 12 ) x )
sen
( 2x )
y operando finalmente,
1
sen n + x
2
1
cos ( kx ) = 2 + x
k =1
2sen
2
n
2009
Pg. 5 de 5

AM3 Murmis TP1 - Ej. 10

Cargado por

Copyright:

Formatos disponibles

AM3 Murmis TP1 - Ej. 10

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

AM3 Murmis TP1 - Ej. 10

Cargado por

Copyright:

Formatos disponibles

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P.

Reemplazando eikx = cos ( kx ) + i sen ( kx ) , en (1) obtenemos

Y si tenemos en cuenta que sen

( 2x ) no depende de k , lo podemos introducir en

la sumatoria, y luego distribuyendo resulta:

Aplicando las identidades trigonomtricas,

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

Separemos esta sumatoria en dos, para facilitar su estudio:

Analizando la sumatoria (3), observamos que para cada trmino de la misma, se

que es igual al valor de cos k + 12 x que se resta en el

trmino anterior. Por lo tanto estos dos valores se cancelan entre s.

cos 2 12 x cos 2 + 12 x + cos 3 12 x cos 3 + 12 x =

= cos (1,5 x ) cos ( 2,5 x ) + cos ( 2,5x ) cos ( 3,5x ) =

= cos (1,5 x ) cos ( 3,5 x )

cos k 1 x cos k + 1 x = i cos n 1 x cos n + 1 x

Si tenemos en cuenta que el coseno es una funcin par nos queda

cos k 1 x cos k + 1 x = i cos n + 1 x cos n + 1 x = 0

Con esto demostramos que la sumatoria de la expresin (3) es igual a 0

sen k + 1 x sen k 1 x , observamos que el

trmino sen k 12 x , que se resta, es igual al trmino sen k + 12 x

anterior k , que se suma y por lo tanto se cancelan.

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

sen k + 1 x sen k 1 x = 1 sen n + 1 x sen n 1 x

Si tenemos en cuenta que el seno es una funcin impar, nos queda

sen n 12 x = sen n + 12 x = sen n + 12 x

Y podemos finalmente obtener

sen k + 1 x sen k 1 x = 1 2sen n + 1 x = sen n + 1 x

Reemplazando (5) y (6) en (2) nos queda:

i cos k 1 x cos k + 1 x + 1 sen k + 1 x sen k 1 x =

( 2x ) dividiendo al segundo miembro,

eikx = einx + ... + 1 + ... + einx

Multiplicando y dividiendo por einx ,

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

La expresin entre parntesis es la suma parcial de una serie geomtrica de

Considerando que la ltima sumatoria es una suma parcial de una serie

y si multiplicamos y dividimos por e

Multiplicando y dividiendo por 2i , la sumatoria se convierte en

b) Reemplazando con eikx = cos ( kx ) + i sen ( kx ) en la expresin demostrada en la

Separando en dos sumatorias,

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

De la igualdad de nmeros complejos resulta que la parte real del primer

Analicemos la sumatoria del coseno:

cos ( kx ) + cos ( kx ) + cos ( kx )

Haciendo un cambio de variable k k para la primer sumatoria, resulta

cos ( kx ) = cos ( kx ) + 1 + cos ( kx )

Si tenemos en cuenta que el coseno es una funcin par,

cos ( kx ) = cos ( kx ) + 1 + cos ( kx ) = 1 + 2 cos ( kx )

También podría gustarte