MATEMTICA AVANZADA
GRUPO N 3 .
HILMER IRVING MARCHAN HUANCA ............................1213210075
ANGEL MARTIN PEREZ FRETEL......................................1213270018
WALTER EDUARDO MERMA QUISPE............................1213220108
JUAN ABDUL SALCEDO ROMAN..................................1113210201
JAIME LIZARDO RAMIREZ GOMEZ..............................1113210166
FRANKLIN ROBINSON MARTINEZ ZAVALA................1113220583
GUILLERMO MELCHOR YARANGA JORGE.................1113220511
RESOLUCIN DE
PRIMERA PRCTICA
LA
MATEMTICA AVANZADA
MATEMTICA AVANZADA
DE
1. PROBAR
a)
1z w zw =( 1z )( 1w )
Solucin:
Recordando:
z=( Rez ) + ( Imz ) ; z =x+iy ; w=u +iv
2
1z w2 zw2
2
1( xiy ) (u+ iv ) x +iyuiv2
2
1( xu+ xviuyi+ vy) x +iyuiv
2
( 1xuvy )+ i ( uyxv ) ( xu )+i ( yv )
[ ( 1xuvy )2 +( uyxv )2 ] [ ( xu )2 +( yv )2 ]
[ 1+ x2 u2 + y 2 v 22 xu2 yv +2 xyuv + y 2 u2 + x 2 v 22 xyuv ][ x 2 + y 2+ u2+ v 22 xu2 yv ]
x 2 u2+ y 2 v 2+ y 2 u2 + x 2 v 2x2 y 2u2v 2+ 1 (1)
(1z2 )( 1w2 )
2
(1 x+iy )(1u+ iv )
1(u2 + v2 )
(1( x 2 + y 2 ) ) )
2
x u + y v + y u + x v x y u v + 1 .(2)
PRCTICA 1
MATEMTICA AVANZADA
De lo cual vemos que (1) es igual (2) de lo cual se puede
demostrar la igualdad.
b)
z| Rez|+|Imz| 2z
z=x +iy z= x 2+ y 2 , adems
Se tiene que
2
z= ( z ) + ( z )
( z )=x , ( z ) = y
Elevamos al cuadrado a ambos lados
z2=|( z )|2+|( z)|2
Como:
(| ( z )|| ( z )|)
( z ) 2+ ( z ) 2 2 ( z ) ( z )
z2 2 ( z ) ( z )
z2
Sumamos
2
a cada miembro.
2z z + 2| ( z )|| ( z )|
2z |(z)| +|( z )| + 2| ( z )|| ( z )|
2z (|( z )|+|( z)|)
Aplicamos la raz cuadrada ambos lados:
PRCTICA 1
MATEMTICA AVANZADA
2 z|(z)|+|( z )|
Ejemplo:
Si z=2+2i; z=3+3i; z=5+5i
|Re(z)| + |Im(z)|=4
2 (2)
||z|| =
4=
(2))
c)
2 (2)
|Re(z) |+|Im(z) |=
4=4
z 1 w1 + z 2 w 2 z 1 + z2 + w1 +w 2
2
(Inecuacin Cauchy- Schwarz) y generalizar para n trminos, es decir
z 1 w1 + z 2 w 2 ...+ z n wn
Solucin:
|z 1a w 1|
Sea:
a=
|z 2a w 2|
z 1 w 1+ z 1 w 1
2
w1 +w 2
( z 1a w 1 )( z1 a w1 ) + ( z 2a w 2 ) ( z2a w2 ) 0
|z 1|
|a|
|w 1|
|z 2|
+ |a|
|w 2|
a w 1 z 1 + a w 2 z 2 +
a w 1 z 1 + a w 2 z 2
PRCTICA 1
MATEMTICA AVANZADA
|z 1|
|a|
|w 1|
|z 2|
+ |a|
|w 2|
a ( w 1 z 1 +
w 2 z2 )
+ a ( w 1 z 1 + w 2 z 2 )
|z 1|
|a|
|w 1|
|z 2|
|a|
|w 1|
|z 2|
+ |a|
|w 2|
Como
a
|z 1|
|a|
(w 1 z 1+ w2 z 2)
2
w 1 +w 2
|w 1|
|z 2|
|w 2|
a ( w 1 z 1 +
2Re [ a ( w1 z 1 +w 2 z 2) ]
(w 1 z 1+ w2 z 2)
w 1 +w 2
+ |a|
(w 1 z 1+ w2 z 2)
+ |a|
a ( w1 z1+w 2 z 2 )
w 2 z2 ) +
|z 1|
|w 2|
; entonces:
2Re
[(
Operando:
2
|z 1|
|a|
|w 1|
|z 2|
+ |a|
|w 2|
|w 1 z 1+ w2 z 2|
2
2
w1 +w2
Adems:
|a|
w 1
2
2
2
( 2+w2 )(w1 +w2 )
2
|w1 z1 + w2 z 2|
|z 1|
|z 2|
|a|
|w 1|
|w 2|
)2
|w 1 z 1+ w2 z 2|
2
2
w1 +w2
PRCTICA 1
MATEMTICA AVANZADA
w1
2
2
2
( 2+w2 )(w1 +w2 ) (w1 +w 2 )
2
|w 1 z 1+ w2 z 2|
2
|z 1|
|z 2|
|w 1 z 1+ w2 z 2|
2
2
w1 +w2
|z 1|
|z 2|
|w 1 z 1+ w2 z 2|
2
2
w1 +w2
Entonces:
z 1 w1 + z 2 w 2 z 1 + z2 + w1 +w 2
2
d)
Demostrado
1+itg
1+ itgn
=
1itg
1itgn
Solucin:
1+itg n cos+isen n
e i
e ni cos ( n )+ isen( n )
=
= i = ni =
1itg
cosisen
cos ( n )isen(n )
e
e
) (
) ( )
)
( sen(n
cos ( n ) ) 1+ itgn
=
sen(n ) 1itgn
1i (
cos ( n ) )
1+ i
Se puede observar que la igualdad se demuestra.
2.
a)
REPRESENTA LOS SIGUIENTES NUMEROS EN SU FORMA
TRIGONOMETRICA Y EXPONENCIAL
i
2+i 2
PRCTICA 1
MATEMTICA AVANZADA
Solucin:
2 al denominador:
Factorizando
( )] =arctan( 11 )= 4
1 1
2 1+i
Transformado a su forma polar el nmero complejo y operando:
[(
1
2
)] [
8
i
4
2 e
1 i(
= e
2
1 2 i 1 2 i
e =
e
256
28
Tambin se puede expresar en su forma trigonomtrica:
1
( cos (2 )+isin (2 ))
256
Al operarlo se reduce a:
1
Rpta :
256
(1+i)
b) ( 4 +i )
Solucin:
Por leyes de exponentes:
( 4 +i )( 4+i )i=( 4+i ) e ln [ (4 +i ) ]=( 4 +i ) e iln ( 4+i )
i
Transformando el complejo
17 e
iarctan
( 4 +i ) :
e iln ( 4+i )
PRCTICA 1
MATEMTICA AVANZADA
Operando f =ln ( 4 +i ) :
f =ln ( 4 +i )=ln 17+iarctan
1
4
Reemplazando en:
17 e
iarctan
1
4
i ln 17 +iarctan
1
4
= 17 e
1
1
iarctan +iln 17arctan
4
4
Forma polar:
17
1
arctan +ln
4
1
arctan + ln 17
4
i
1
arctan +i
4
17 e
Forma trigonomtrica:
1
arctan + ln 17
4
1
()+isin(arctan + ln 17)
4
cos
arctan
17 e
c6
1
4
2i 2
i+i 3
Solucin:
Factorizando y reduciendo:
PRCTICA 1
MATEMTICA AVANZADA
2 1i = 6 2 1i = 6 2 1+i = 6 2 (1 ) ( 1+ i )
i 1+ 3
1+ 3 i
1+ 3 i
1+ 3
( )
( )
Transformando a su forma polar:
i( + )
i
2
2
e 2 24 = 6
e
1+ 3
1+ 3
13
24
Forma trigonomtrica:
13
24
13
))
cos( +isin(
24
2
6
1+ 3
d)
ln
i
2+i 2
Solucin:
Operando con las propiedades de los logaritmos:
8 ln
8 ln
i
1
i
1 ( i ) ( 1i )
=8 ln
=8 ln
2+i 2
2 1+i
2 ( 1+ i ) ( 1i )
1 1+ i
2
=8 ln ( 1+i )
4
2 2
) ( ( )) (
) (
Transformando a su forma polar:
i
2
1 i4
4
8 ln
2 e =8 ln e
) ( )
2
Usando propiedades de logaritmos:
PRCTICA 1
MATEMTICA AVANZADA
iarctan (
i
1
2
2
4 ln 2 )
8 ln + ln ( e 4 ) =8 ln 2+ 8 i =8 ln2+2 i= (8 ln2 ) + ( 2 ) e
2
4
Forma trigonomtrica:
64 ( ln 2 ) + 4
2
( ( ( )) ( ))
co s arctan
+isin
4 ln2
4 ln 2
3. RESUELVA
a)
Demostrar que:
z5
4 , z 0
f (z) z
0, z 0
Satisface Cauchy Riemann en 0 pero no es
diferenciable ah.
SOLUCIN:
Se tiene para z=0, f(z) = 0 esto quiere decir que f(z) = 0 + 0i
Se sabe que:
f ( z ) u( x, y ) iv ( x, y ) 0 0i
u( x, y ) 0
v ( x, y ) 0
Por lo tanto al aplicar Cauchy-Riemann, obtendremos:
u v
u v
0
x y
y x
y
00
00
y
Observamos que cumple las ecuaciones de Cauchy-Riemann
Pero observamos en el resultado que no es continua en 0 por lo tanto no es
diferenciable en 0.
PRCTICA 1
MATEMTICA AVANZADA
b) Probar que la funcin
f ( z ) e , z 0
0, z 0
1
z4
satisface las ecuaciones de
Cauchy-Riemann en todo el punto del plano, pero no es analtica en
todo el plano.
SOLUCIN:
Al analizar la funcin, deducimos que no es continua en todo el plano
(discontinua en z = 0), entonces no es derivable, por consiguiente no es
analtica en z = 0.
Analizamos si para la ecuacin de Cauchy Riemann, cumple:
Para z = 0
Ya que en el ejercicio anterior analizamos y obtuvimos que para
z0
, si
cumpla.
f ( z) e
f (z) e
1
z4
cos 4
r4
e 4 i
r
cos 4 isen 4
r
sen
sen 4
cos 4
4
ie
.sen
4
4
r
r
r 4
cos
De esta manera, obtenemos:
v (r , ) e
cos 4
x4
cos 4
r4
sen 4
sen
u(r , ) e
4
r
sen 4
r4
cos
Desarrollando con Cauchy-Riemann para polares tenemos:
u
v
r r
u 4cos 4 .e
r
r5
cos 4
r4
v
u
r
r
cos 4
r4
sen 4
cos
4
r
4sen 4 sen 4
.sen
r5
r 4
PRCTICA 1
1
0
MATEMTICA AVANZADA
v
4sen 4 .e
r
r5
v cos 4 .e
r
r5
u
e
cos 4
r4
cos 4
r4
cos 4
r4
cos 4
r4
sen 4 4 cos 4
.cos
r 4
r5
cos 4
r4
sen 4 4sen 4
.cos
r 4
r5
sen 4
e
4
r
.sen
sen 4
.sen
4
r
4sen 4
sen 4
.cos
e
5
4
r
r
cos 4
r4
sen 4 cos 4
.sen
r 4
r5
Luego de haber operado, logramos confirmar que cumple la ecuacin de CauchyRiemann para todo el plano, pero no es analtica en todo el plano.
4. UTILICE EL TEOREMA DE CAUCHY PARA MOSTRAR QUE LAS
SIGUIENTES INTEGRALES SON CERO:
z
e dz
2
, donde C es la unidad de crculo.
SOLUCION:
Graficando:
PRCTICA 1
1
1
MATEMTICA AVANZADA
es un conjunto simplemente conexo, y C es un entorno cerrado simple
contenido en . Solo nos quedara demostrar que
Si una funcin
f ( z)
Demostrando que
f ( z)
es analtica.
es derivable entonces es analtica.
f ( z)
es derivable:
2
df ( z ) d (e z )
L
dz
dz
Partiendo de:
d (ln e x )
1
dx
(1)
d (ln( f ( x))) f ' (x)
dx
f ( x)
(2)
Hacemos:
x z2
f ( z) e
.. (a)
x
(b)
dx 2 zdz
(c)
Entonces:
f ' ( x)
d ( f ( x))
dx
En (2):
PRCTICA 1
1
2
MATEMTICA AVANZADA
d ( f ( x))
d (ln( f ( x )))
dx
dx
f ( x)
.. (3)
Remplazando (b) en (3) :
d (e x )
d (ln(e x ))
dxx
dx
e
De (1) tenemos que:
d (e x )
1 dxx
e
. (4)
Remplazando (a) y (c) en (4):
2
d (e z )
2
e z 2 zdz
2
d (e z )
z
e 2z
dz
2
f (z) ez
Finalmente demostramos que
es derivable, entonces queda
demostrado que es analtica por lo tanto se cumple el teorema de cauchy.
z
e dz 0
2
PRCTICA 1
1
3
MATEMTICA AVANZADA
sin( z 3)
c 1 cos z dz
,donde c es el cuadrado con vrtices en
z1 1 z2 2
,
z3 2 i z 4 1 i
SOLUCION:
Graficando:
Si una funcin
f ( z)
Demostrando que
es derivable entonces es analtica
f ( z)
es derivable:
sen( 3)
1 cos( z )
df ( z )
dz
dz
d
Sabemos que:
d f ( z )
dz g ( z )
g ( z)
df ( z )
dg ( z )
f (z)
dz
dz
2
( g ( z ))
Entonces si :
PRCTICA 1
1
4
MATEMTICA AVANZADA
f ( z ) sen( 3)
g ( z ) 1 cos( z )
df ( z ) cos( 3)
dz
3
dg ( z )
sen( z )
dz
d
dz
cos( z 3) cos( z 3)cos(z)
sen( z 3)sen(z)
f ( z )
3
3
g ( z )
1 2cos( z ) (cos( z )) 2
sen( z 3)
d(
)
cos( z / 3) cos(4 z / 3) 2sen( z / 3) sen( z )
1 cos(z)
dz
3(1 2con( z ) (cos( z )) 2 )
sen( z 3)
d(
)
2 sen(5 z / 6) sen( z / 2) 2sen( z / 3) sen( z )
1 cos(z)
L
2
dz
3(1 2con( z ) (cos(z)) )
Dicha funcin es derivable, por lo tanto es analtica.
Se cumple el teorema de cauchy
sin( z 3)
c 1 cos z dz 0
PRCTICA 1
1
5
MATEMTICA AVANZADA
tan z
c z 1 dz
Z 2 0.1
,donde C es la unidad de crculo,
SOLUCION:
f ( z)
tan z
z 1
{1}; k
Tenemos
, en el cual el dominio R de Z es
Como R no es un conjunto simplemente conexo, tomamos un conjunto D
que sea conexo y que pertenezca al dominio de f y que contenga a C;
como C es un conjunto cerrado solo nos queda demostrar que
analtica. Si
una
Demostrando que
funcin
f ( z)
f ( z)
es
derivable entonces
es
f ( z)
es
analtica
es derivable
Graficando:
tan z
df ( z )
z 1
L
dz
dz
d
Sabemos que:
PRCTICA 1
1
6
MATEMTICA AVANZADA
g ( z )df ( z ) f ( z )dg ( z )
f ( z )
dz
dz
2
g ( z )
( g ( z ))
dz
Entonces si:
f ( z ) tan( z )
g ( z) z 1
df ( z )
sec 2 ( z )
dz
dg ( z )
1
dz
tan z
2
z 1 ( z 1)sec ( z ) tan( z ).1
dz
( z 1)2
tan z
2
z 1 sec ( z ) tan( z ) L
dz
( z 1) ( z 1)2
tan z
c z 1 dz 0
PRCTICA 1
1
7
MATEMTICA AVANZADA
cosh z
c z 2 1 dz
z 1 2.
,donde C es la unidad de crculo,
SOLUCION:
f ( z)
Tenemos
cosh( z )
z2 1
{ i}; k Z
, en el cual el dominio R de Z es
Graficando:
Como R no es un conjunto simplemente conexo, tomamos un conjunto D
que sea conexo y que pertenezca al dominio de f y que contenga a C;
como C es un conjunto cerrado solo nos queda demostrar que
analtica.
Si una funcin
f ( z)
f ( z)
es
es derivable entonces es analtica.
PRCTICA 1
1
8
MATEMTICA AVANZADA
f ( z)
Demostrando que
es derivable:
df ( z )
dz
d(
cosh( z )
)
z2 1 L
dz
Sabemos que:
dz
Entonces si:
g ( z )df ( z ) f ( z )dg ( z )
f ( z )
dz
dz
2
g ( z )
( g ( z ))
f ( z ) cosh( z )
g ( z) z2 1
df ( z )
senh( z )
dz
dg ( z )
2z
dz
d(
cosh( z )
)
2
z 2 1 2 z.senh( z ) cosh( z ).( z 1) L
dz
( z 2 1) 2
PRCTICA 1
1
9
MATEMTICA AVANZADA
cosh z
c z 2 1 dz 0
5. EVALE LAS SIGUIENTES INTEGRALES DONDE SE TOMA LA RUTA C EN
SENTIDO ANTIHORARIO.
a)
e z dz
c ( z 3)( z 1)
Donde C es una circunferencia tal que:
| z | 2
Solucin:
La funcin tiene dos polos en z=3 y z=1. Dado que la curva C es una
circunferencia de radio 2 que inicia en el origen, uno de estos dos
polos se encuentra dentro del espacio que encierra la curva C.
Podemos
integral de
aplicar la formula
Cauchy.
f ( z ) dz
( z z ) 2 if
c
z0
f ( z ) dz
e z dz
c ( z 3)( z 1) c ( z z0 )
Tomaremos:
f( z )
ez
( z 3)
PRCTICA 1
2
0
MATEMTICA AVANZADA
z0 1
porque se encuentra dentro de la curva.
e z dz
c ( z 3)( z 1) 2 if(1)
e z dz
e1
c ( z 3)( z 1)
(1 3)
e z dz
e
c ( z 3)( z 1) 2 i 2
e z dz
c ( z 3)( z 1) e i
b)
(1 z 2 ) dz
c ( z 3 27)( z i)
, Donde C es un cuadrado con vrtices
z1 0, z 2 2, z3 2 2i, z 4 2i
Solucin:
Podemos reescribir la funcin en la integral como:
(1 z 2 )dz
( z 3)( z (1.5 2.6i ))( z (1.5 2.6i))( z i)
De aqu podemos notar que hay
tres polos
z 3, z 1.5 2.6i, z 1.5 2.6i
en
que se encuentran fuera de la curva C,
y un ltimo polo en z=i, que se encuentra en la curva C.
PRCTICA 1
2
1
MATEMTICA AVANZADA
la formula integral de Cauchy.
f ( z ) dz
( z z ) 2 if
( z0 )
f ( z ) dz
(1 z 2 ) dz
c ( z 3 27)( z i)
c ( z z0 )
Tomaremos:
f( z )
(1 z 2 )
3
( z 27)
z0 i
(1 z 2 )dz
c ( z 3 27)( z i) 2 if(i )
(1 z 2 )dz
(1 i 2 )
c ( z 3 27)( z i)
(i 3 27)
(1 z 2 )dz
(1 ( 1))
c ( z 3 27)( z i) 2 i 27 i
(1 z 2 )dz
c ( z 3 27)( z i) 0
PRCTICA 1
2
2
MATEMTICA AVANZADA
c)
( z 2 cos( z ))dz
c ( z 2 4) ,
Donde C es una circunferencia tal que:
| z 1| 1.5
Solucin:
La funcin tiene dos polos en
z2
z 2
. Dado que la curva C es una
z 1
circunferencia de radio 1.5 que inicia en
, uno de estos dos polos
se encuentra dentro del espacio que encierra la curva C.
Podemos aplicar la formula integral de Cauchy.
f ( z ) dz
( z z ) 2 if
c
( z0 )
f ( z ) dz
( z 2 cos( z ))dz
c ( z 2)( z 2) c ( z z0 )
Tomaremos:
PRCTICA 1
2
3
MATEMTICA AVANZADA
f( z )
z0 2
z 2 cos( z )
( z 2)
porque se encuentra dentro de la curva C.
( z 2 cos( z ))dz
c ( z 2)( z 2) 2 if (2)
( z 2 cos( z ))dz
22 cos(2)
c ( z 2)( z 2)
22
( z 2 cos( z ))dz
c ( z 2)( z 2) 0.832 i
d)
e z ( z 4)dz
c ( z 2 9) ,
Donde C es una circunferencia tal que:
| z 2 | 2
Solucin:
e z ( z 4)dz
c ( z 3i)( z 3i).
Podemos reescribir la funcin en la integral como:
De
z 3i
z 3i
aqu podemos notar que hay dos polos en
y
, que se
encuentran fuera de la curva C.
PRCTICA 1
2
4
MATEMTICA AVANZADA
Es decir la
f ' ( z)
funcin
e z ( z 4)
( z 3i )( z 3i )
es continua en la curva C y todos los puntos que
esta curva encierra.
Usando el teorema de Cauchy-Goursat, tendremos que:
e z ( z 4) dz
'
c ( z 3i)( z 3i)
c f ( z )dz 0
6. COMENTARIO ACERCA DE UN PROBLEMA EN LA APLICACIN DE
LA INGENIERA ELECTRNICA, DONDE EL USO DE LAS
FUNCIONES COMPLEJAS SON NECESARIAS JUSTIFQUELAS.
Los nmeros complejos
matemticos de procesos
son
usados
en
los
modelamientos
fsicos; entre esos procesos est el anlisis de corriente elctrica y de
seales electrnicas.
Es por eso que se emplea en formatos de compresin, transmisin en
banda ancha,
amplificadores de seales, procesamiento digital de seales,
transmisin elctrica,
centrales hidroelctricas.
PRCTICA 1
2
5
MATEMTICA AVANZADA
Por sus componentes reales e imaginarias se usan para facilitar el
estudio de cargas
sobre vigas (para los arquitectos e ingenieros civiles), estudio de
ondas (para los fsicos),
adems se emplea en los estudios concernientes a la propagacin del
calor.
En sistemas de control, como control de robots industriales, sistema de
navegacin
de buques, control de aviones, lanzamiento de cohetes al espacio. Una
herramienta
fundamental es la llamada transformada de Fourier (esta herramienta
se emplea para las
aplicaciones anteriores) que usa intensivamente a los nmeros
complejos.
Los nmeros complejos se usan en ingeniera electrnica y en otros
campos para una
descripcin adecuada de las seales peridicas variables. En una
expresin del tipo z =
r ei podemos pensar en r como la amplitud y en como la fase de
una onda sinusoidal
de una frecuencia sinusoidal) como la parte real de una funcin de
variable compleja de
la forma: f (t) = z eit donde representa la frecuencia angular y el
nmero complejo z
nos da la fase y la amplitud, el tratamiento de todas las frmulas que
rigen las resistencias,
capacidades e inductores
resistencias imaginarias
pueden
ser
unificadas
introduciendo
para las dos ltimas.
PRCTICA 1
2
6
MATEMTICA AVANZADA
7. ENUNCIAR LA TEOREMA FUNDAMENTAL DE LGEBRA Y SU
COROLARIO . DALE 4 EJEMPLOS DE SUS APLICACIONES .
Teorema (Gauss, 1799). Todo polinomio no constante con coeficientes
complejos posee al menos una raz compleja.
Demostracin. Sea
n
p ( z )=an z + an1 z
n1
++a 1 z +a0
n 1 con coeficientes complejos. La
demostracin se basa en la observacin de que un punto z 0 C
un polinomio de grado :
que
en
f ( z 0 ) =0
tiene la propiedad de que
tal
alcanza su mdulo mnimo
z0 .
Veremos primero que efectivamente alcanza su mdulo mnimo en el
plano complejo. Empezamos poniendo, para z 0
f ( z )=z (1+
an1
a0
+ + n )
z
z
|f (z)||z|
| |
an1 a0
z zn
de modo que
PRCTICA 1
2
7
MATEMTICA AVANZADA
n
|f (z)|=|z| . 1+
a n1
a0
++ n
z
z
Pongamos
M =max { 1,2 n|a | , , 2 n|a |}
n1
Entonces, para todo
|z| M
con
tenemos
|z k||z|
|a nk| |ank| |a nk| 1
=
|z k| |z| 2n|a | 2 n
nk
de modo que
|| | | |
an1
a
a
a
1
+ + 0n n1 ++ n0
z
z
2
z
z
lo cual implica que
1+
| | | ||
an1
a0
a n1
a0 1
+ + n 1
++ n
z
z
z
z 2
Esto significa que
n
|f (z)|
|z|
2
para
|z| M
PRCTICA 1
2
8
MATEMTICA AVANZADA
En particular, si
|z| M
y tambin
|z| n 2|f (0)| entonces
|f ( z)||f (0)|
Ahora consideramos el conjunto cerrado y acotado
k ={ z C :|z| max 2|f (0)|}
n
Supongamos que el mdulo mnimo de
cierto z 0 K de modo que
|f 0||f ( z )|
Se sigue, en particular, que
si
para todo
|f 0||f (0)|
sobre
M . 2|f (0)|
|z| max entonces
se alcanza en un
z K
As pues,
|f ( z)||f (0)||f ( z 0)|
Combinando las anteriores desigualdades concluimos que
|f (z 0)||f ( z)|
z C de modo que f alcanza su mdulo mnimo sobre el
plano complejo en z 0
para todo
Para completar la demostracin del teorema, ahora demostramos que
f ( z 0 ) =0 Resulta conveniente introducir la funcin
definida mediante
g ( z ) =f (z + z 0 )
Entonces g es una funcin polifnica de grado n que alcanza su mdulo
mnimo en 0.Queremos probar que g(0)=0 Supongamos que, por el
contrario, g(0)0 Sea la menor potencia de z que aparece en la
expresin de g(z) de modo que
PRCTICA 1
2
9
MATEMTICA AVANZADA
g ( z ) = + z m+ c m+1 z m+1 ++ cn z n
donde
Ahora bien, todo nmero complejo no nulo
tiene m races m-simas, y por lo tanto existe C tal que
n=
Poniendo entonces
d k = k c k tenemos
|g(z)|=| + m + d m+1 zm +1 ++d n z n|
| z m + d m+1 z m +1+|
(1z +
d m+1 m +1
z + )
(1z m + z m
|| 1z + z
]|
d m+1
+ )
d m+1
+
]|
PRCTICA 1
3
0
MATEMTICA AVANZADA
Esta expresin nos permitir llegar rpidamente a una contradiccin.
Observamos primero que, eligiendo
suficientemente pequeo,
tenemos
d m+1
z + <1
Si elegimos, entre todos los para los que se verifica esta desigualdad,
algn real y positivo, entonces
|[
zm
En consecuencia, si
1z m + z m
0< z <1
]|
d m+1
z + <|z m|=z m
entonces
]|
d m+1
z +
|[
d m+1
z + =
|[
d m+1
z + <
|1z |+ z
m
1z m + z m
1z
]|
]|
+ z =1
La contradiccin ha llegado. Para tal nmero
tenemos
|g(z)|<||
PRCTICA 1
3
1
MATEMTICA AVANZADA
lo cual contradice el hecho de ser | |
el mdulo mnimo de g sobre el
plano complejo. Por lo tanto, la suposicin original debe ser incorrecta
y g(0)=0 Esto implica que f ( z 0 ) =0
APLICACIONES
Aplicacin 1.x 416=0
Como el polinomio es de 4to grado debe tener 4 races.
( x 24 ) ( x 2+ 4 )=0
Entonces las races estarn dadas por :
x 2=4 x2 =4
Donde las races son 2 , -2 ,2i , 2i.
Aplicacin 2 .3
x +5 x=0
x ( x 2 +5 ) =0
Entonces las races estarn dadas por :
2
x=0 x =5
Donde las races son
0, 5 i, 5 i
Aplicacin 3.
PRCTICA 1
3
2
MATEMTICA AVANZADA
x 3+ x =0
x ( x 2 +1 )=0
Entonces las races estarn dadas por:
x 2=1
Donde las races son i, -i.
Aplicacin 4.x 42=0
Como el polinomio es de 4to grado debe tener 4 races.
( x 2 2 ) ( x2 + 2 ) =0
Entonces las races estarn dadas por:
x 2= 2 x 2= 2
Donde las races son
2, 2, 2i , 2 i
PRCTICA 1
3
3
