Вы находитесь на странице: 1из 16

PESQUIMAT Revista de la Fac. CC. MM.

de la
Universidad Nacional Mayor de San Marcos
Vol. VII, N° 1, pág. 01 - 16, LIMA - PERÚ. Junio 2004

FORMAS NORMALES DE ECUACIONES DIFERENCIALES FORMALES

Renato Benazic Torné'


Soledad Ramírez Carrasco?

RESUMEN.- En este artículo se transforma un sistema de


ecuaciones diferenciales ordinarias asociado a un campo for-
mal, en otro sistema más simple, correspondiente a su 'forma
canónica" mediante un cambio de coordenadas formal. En par-
ticular se demuestra la versión formal del Teorema de
Linealizacián de Poincaré y del Teorema de Poincaré-Dulac.

PALABRAS CLAVE: Formas normales, Ecuaciones diferen-


ciales formales, dinámica compleja.

NORMAL FORMS OF THE FORMAL DIFFERENTIAL EQUATIONS

ABSTRACT.- In this paper, we resolve the problem of finding a


formal change of coordinates between formal vector field and
another more simple (its «canonical [orm»}. In particular, we
proof the Poincaré's theorem of formal linearization and the
Poincaré-Dulac theorem.

KEYWORDS: Normal forms, Formal differential equations,


Complex Dynamics.

1. PRELIMINARES

El objetivo del presente trabajo es determinar algunas formas normales formales de


Ecuaciones Diferenciales. Entendemos por forma normal a una expresión más simple de un
Sistema de Ecuaciones Diferenciales dado, obtenido por un cambio de coordenadas y que conser-
ve las principales propiedades cualitativas de las curvas solución del sistema dado. A manera de
ejemplo, consideremos el Sistema,

(1)

donde A1, A2 E e*=e - {O} y aj,2,OZ¡ + aj,l,lZIZ2 + aj,0,2zi + ... (j = 1,2) son series de dos

dz
variables complejas, convergentes en una vecindad del origen de e2 y z' = dT con T E e
'Universidad Nacional Mayor de San Marcos. Facultad de Ciencias Matemáticas. Instituto de Matemática y Ciencias Afines - [MCA.
mail: benazic@uni.edu.pe
2Universidad Nacional Mayor de San Marcos. Facultad de ciencias Matemáticas.
2 PESQUIMAT, VOL. VII N° 1 2004

Vamos a suponer que el segmento de recta que une los números complejos A¡ y A2 no contienen
al origen.

Si ~, A2 E {2, 3, ... }, entonces en Benazic [2] se prueba que existe un cambio de coorde-
A2 A¡

nadas holomorfo

2 2
Z¡ = W¡ + b¡,2,OW¡ + bl,l,¡W¡W2 + b¡,O,2W2 + ...
(2)
Z2 = W2 + b2,2,OW? + b2,l,lw¡W2 + b2,o,2Wi + ...

que transforma (1) en el Sistema Lineal

W{ = A¡W¡
(3)
w; = ~W2'

En este caso, decimos que (3) es la forma normal holomorfa del Sistema (1).

En cambio, si Al = nAz con n 2: 2, entonces (ver Benazic [2]) existe un cambio de coorde-
nadas convergente del tipo (2) que transforma el sistema (1) en


'1=
11
''1W¡ + cW2
W'2 = AzW2 (4)

Así, bajo estas condiciones sobre A¡ y Az, se tiene que (4) es la forma normal holomorfa de (1).

Existen formas normales holomorfas para sistemas de n ecuaciones diferenciales que pre-
sentan términos de orden 1 (ver Camacho [4], [5], [6]). Cuando no existen términos de orden 1, es
posible, bajo ciertas condiciones (ver Benazic [3]), obtener formas canónicas holomorfas.

Siguiendo las ideas de Amold [1], vamos a obtener formas canónicas formales (es decir el
cambio de coordenadas está dado por una serie formal de potencias) de un sistema formal de n
ecuaciones diferenciales ordinarias. En la Sección 2, definimos y estudiamos las principales pro-
piedades de las series formales. En la Sección 3, estudiamos los Campos Vectoriales Formales y
establecemos algunos resultados útiles sobre cambio de variables. En la Sección 4, asociamos a
cada Campo Vectorial Formal un Sistema de ecuaciones Diferenciales Ordinarias y se define el
importante concepto de resonancia. Finalmente, en la sección 5 enunciamos y demostramos los
teoremas que garantizan la existencia de formas normales formales.

2. SERIES DE POTENCIAS FORMALES

En este artículo, utilizamos la notación de los multi-Índices de Schwartz. Un multi-índice de


dimensión n es una n - upla a =(a¡ , , an) de enteros no negativos. La norma de a se denota

con 1 a 1 y se define como 1a 1 = a¡ + + al!' Observe que, 1 a 12: O para todo multi-Índice a.
Si Z = (z¡ , ... , zn) es una n - upla (de números complejos o más generalmente de elemen-
tos de un anillo) ya = (a¡, ..., an) es un multi-índice, definimos,
Benazic & Ramírez: Formas Normales de Ecuaciones .., 3

Za -- Za¡
l a"
...Z¡¡ .

Denotaremos por, C [[ Z 1 ' ... , Z n ]] al conjunto de todas las series de potencias formales con
coeficientes en te , es decir, S E te [[ Z 1 ' ... , z n ]] si y sólo si S es de la forma

donde, aa E te para todo a multi-índice. Observe que toda serie de potencias formal puede ser
escrita como una suma de polinomios homogéneos. En efecto, si definimos

Pk (z) = L, aaza
lal=k

se sigue inmediatamente que, Pk es un polinomio homogéneo en las variables zi- ... , z; de grado
k y

Desde este punto de vista, una serie formal es una generalización de un polinomio. Más
específicamente, denotemos por P = C [ ZI ' ... , z,J (respectivamente, H; = H,. [ Z1 ' ... , z¡¡], con
r = 0, 1, 2, ... ) al conjunto de todos los polinomios (respectivamente, polinomios homogéneos de

grado r ) en las variables ZI' ... , z/1 Ycon coeficientes en C , es decir,

Claramente,

Sean S, TEC [[ZI, ... ,Z/1]], si S = L, aaza, T = L, baza, entonces la suma formal de S y
I al2:0. I al2:0

T denotada como S + T se define como,

S+T= L,(aa+ba)za.
laj2:0

Si e E C entonces el producto de la serie formal S por el complejo e, denotado por eS, se define
como
4 PESQUIMAT, VOL. VII N° 1 2004

eS = L (eaa)Za.
lal20

Con estas dos operaciones C [[ z¡, ... , zn]] se toma un espacio vectorial sobre C. Más aún,
H; y 'P son C -subespacios vectoriales de C [[ z], ..., zn]] además

Sean S = LPk' T = L.Qk E C[[z¡, ... , Zn]] = EB 1fk, el producto de S y T se de-


k20 k20 k20
finecomo

S· T = L.(i.Pn-k Qk)'
n2!O k=O

No es difícil probar que, con las operaciones de suma yproducto de series, C[[z¡, ..., Zn]]
.
es un anillo.

Sea S = L. P k E C [[Z¡ , ... , zn]] el arden de S, denotado por ard (S) es por definición el
k~O

menor número entero no negativo r tal que P; E H; no es idénticamente cero, es decir

ord (S) = r {::::}Po == ... == Pr-¡ == O y P; % O.

Es claro que, se cumplen las siguientes propiedades:

1. ordt S + T) 2 min{ ordt S'i, ard(T)}, 'r,j S,T E C [[z¡, ... , Zn]] no nulos.

2. ard(eS) = ordt S), 'r,j S E C[[z¡, ..., zn]] no nulo y 'r,j e E C no nulo.

3. ordt S> T) = ordt S¡ + ard(T), 'r,j S, TE C[[z¡, ..., Zn]] no nulos .

. La derivada parcial con respecto a la variable Zj de la serie formal S = L. P (z)


k
se define
k2!O

como,

Observe que, si S.E C[[z¡, ... , ZIl]]' entonces y

ord ( ::j ) = ord (S) - 1.

El gradiente V S de S E C[[z¡, ""ZIl]] se define como:


Benazic & Ramírez: .Forrnas Normales de Ecuaciones ... 5

N O es difícil probar que con estas definiciones, el cálculo de polinornios puede generalizarse
de manera natural a las series de potencias formales. Por ejemplo,

a(s ± T) as aT
=-+-
aZj - aZj

as
=e-
az}
as
=-·T+S·-
er
az} aZj az}
Y'(S ± T) = Y'S ± Y'T
Y'(eS) = eY'S
Y'(S . T) = T . Y'S + S . Y'T,

donde, T . Y'S = [T .~, ..., T· aS J.


OZI OZn

3. CAMPOS VECTORIALES FORMALES

Un campo vectorial formal Z es una n-upla

donde cada Zj E ([[[ZI, ... ,z,,]]. Denotaremos por X = X[[z¡, ""zn]] al conjunto de todos los
campos vectoriales formales. Observe que,

ysi SE ([[[Z¡'''''Zn]]' entonces Y'SEX.

Sean Z, W E X, con Z = (Z¡, ..., Zn) y W = (W¡, ..., Wn), S = L aaza E ([[[Z¡, ..., Zn]]
1 a 12:0

y e E C. La suma Z + W, el producto por esealares eZ, el producto S . Z, la composición


de un campo con una serie S o Z y la composición de campos S o W se definen respectiva-
mente como,

Z + W = (Z¡ + W¡, ""ZI1 + W I1)

cZ = (cZ¡, ... , cZ,J


S o Z = (S . ZI' ... , S . Zn)

S o Z = L aaZa
lal2:0
Z o W = (Z¡ o W, ... , Zn o W),
6 PESQUIMAT, VOL. VII N° 1 2004

Si Z = (Z¡ , oo., Zn) E X, entonces definimos el orden de Z como

ord (Z) = min { ord (ZI)' .oo, ord (Zn)} .

Por otro lado, como Zj E C[[Z¡, .oo, Zn]] entonces podemos escribir

Z} = ¿zJ,
k~O

donde cada ZJ es un polinonio homogéneo de grado k. Si denotamos

k k k
Z = (Z¡ 'oo., Zn ),

entonces, Zk es un campo vectorial cuyas coordenadas son polinomios homogéneos de grado k y


se cumple

Observe que ord (Z) = r si y sólo si ZO == Z¡ == oo. == Zr-l == O y Z' }iÉ O.

El campo homogéneo ZI (z) = (Z~ (z), oo., Z~ (z l) es denominado parte lineal de Z y

puede ser representado por una matriz A E (Cnxn, es decir, Z¡ (z) = A z .


Del mismo modo que en las series formales, las reglas del cálculo pueden ser extendidas de
manera natural a los campos vectoriales formales. En efecto, la derivada de Z = (Z¡ , ... , Zn) se
define como

az¡ az¡
aZ1 aZIl
z' = a (ZI ' oo., ZIl) =
a(z¡, z,)
oo.,

or; aZn
aZ1 aZn

Es claro que, Z' (O) E Cnxn es la matriz que representa a la parte lineal ZI, es decir

ZI (z) = Z'(O)z·
En lo que sigue, denotaremos por pll (respectivamente H;l ) al conjunto de todos los cam-

pos formales Z = (ZI' oo., Z,J, tales que, Z) E P (respectivamente Z) E H,.), es decir

P" = P X oo' X P (n veces) y H; = H; x oo. X 'H; (n veces)·

Proposición 3.1.

Si P E Hk Y Q E H;¡, con k, r > 1 entonces,


Benazic & Ramírez: Formas Normales de Ecuaciones ... 7

p o (l + Q) = P + R,

donde RE P es tal que, ord (R) > max { k, r}.

Demostración. Sea pez) = L. aaza E 'Hk y Q = (Q¡, ... , QI1) E 'H,I1. Se tiene que
lal = k

[p o (I + Q)] (z) = pez + Q(z» = L. aa(z +Q(z»a


lal = k

= L.
lal=k
aa [rr j=l
(Z j + a, (z»a Jj
(5)

Pero, dado a = (a¡, ..., al1) multi-índice con la 1= k tenemos

a -t aj-2 2' a
donde, Hj(z) = C¡z/ Qj(z) + C2zj Qj(z) + ... + Qj(z) j E P es tal que,

ord(Hj) = r + aj -1. Luego,

11 11

I1(Zj + Q/z)t j
= I1(z~j + H/z» = za + Ha(z) ,
j=l j=)

donde

es un polinomio tal que ord (Ha) ~ k + r - 1 > max { k, r}. Reemplazando en (5) tenemos

[p o (l + Q)] (z) = L. aa(za + Ha(z»


lal=k
= L. aaza + L. aaHa(z)
lal=k lal=k
= pez) + R(z)

donde R(z) = L. aaH a (z) es un polinomio de orden mayor que min { k, r}.
lal=k
Corolario.

Si Z E 'H~1 Y QE 11/.1, con k, r > 1, entonces,

Z o (l + Q) = Z +W

donde W E pl1 es tal que ord(W) > max{k, r}.


8 PESQUIMAT, VOL. VII N° 1 2004

Demostración. Denotando Z = (21, oo., Zn) EH~I, entonces,

Zo(l+Q)=(Z1 o(l+Q), ... , r, o(l+Q)).

Aplicando la Proposición anterior a cada componente Z j o (l + Q), el resultado se sigue.

Proposición 3.2.

Si Z = L Zk es un campo vectorial formal de orden r y Q E H; entonces


k?r

Z o (l + Q) = z: + W,

donde W E r1:' es tal que ord (W) > r.

Demostración. Aplicando el Corolario anterior

k?r k?r

= z: + L Zk + L Wk
k?'r+1 k e:r

=Zr +W

donde W = L Zk + LWk E .r , tal que ord(W) > r.


k?'r+1 ké:r

4. ECUACIONES DIFERENCIALES FORMALES

A cada campo vectorial formal Z = (Z1 ' ... , Zn) le podemos asociar un sistema de
ecuaciones diferenciales ordinarias

(6)

el cual, usando la notación matricial, puede ser escrito como

z' = Z(z) (7)


I dz
en donde z = dT con TE C. En lo sucesivo, vamos a suponer que ord(Z) = 1.

Proposición 4.1.

Si Q,. E H;1 (r > 1) entonces el cambio de coordenadas

(8)
Benazic & Ramírez: Formas Normales de Ecuaciones ... 9

transforma la Ecuación Diferencial

z' = Az + I,Zk(Z)
(9)
k?r
en

w' = Aw +[ Z' (w) - (Q;(w)Aw - AQr(w)) ] + W(w), (lO)

donde WE;¡:' es tal que ord(W) ~ r + 1.

Demostración. Derivando (8) con respecto a T, reemplazando en (9) y usando la Proposición


3.2 tenemos

(I + Q;(w))w' = Aw + AQr(w) + I,Zk (w + Qr(w))


k?r

= Aw + AQr(w) + I,[ Zk o (I + Qr) ] (w)

= Aw + AQr(w)
k?r
.
+ Zr (w) + W(w) ,

en donde W E;r es tal que ord(w) > r .

Multiplicando a ambos lados de la igualdad anterior por la matriz

tenemos

w' = Aw + AQr(w) + r: (w) + W(w) - Q;(w)Aw-


- Q;(w)AQr(w) - Q;(w)Zr(w) - Q;(w)W(w) + ...
= Aw + [ z: (w) - (Q;(w)Aw - AQr(w)) ] + W(w).

Donde W(w) = W(w) - Q;(w) AQr(w) - Q;(w)Zr (w) - Q;(w)W(w) + ... es un campo formal
tal que ord (W) ~ r + 1.

Corolario.

Si Q,. E H;l (r > 1) entonces el cambio de coordenadas

z=w+Q,.(w) (11)

transforma la Ecuación Diferencial

z' = Az + Z2(Z) + ... + Zr-l(z) + Zr (z) + I, Zk(Z), (12)


k?'r+l

donde W E .i', es tal que, ord (W) ~ r + 1.


10 PESQUIMAT, VOL. VII N° 1 2004

Demostración. Basta observar que Zk o (l + Qr) = Zk + H donde ord (H) > r.

Un cambio de coordenadas del tipo z = w + H(w) es denominado perturbación de la


identidad.

La Proposición 4.1 y su Corolario nos dicen que si H es un campo polinornial


homogéneo de grado r, el cambio de coordenadas (8) transforma el campo polinornial Zr (z) en

Zr(w) - (Q;'(w)Aw - AQr(w» y deja invariante a Z2, ... , z: '. De esta manera, si queremos
que la ecuación transformada no posea términos de grado r, debemos elegir convenientemente el
polinornial Qr' Esto motiva la siguiente definición.

Definición 4.1.

Dado A E CIlXIl y r > 1, definimos el operador

LA: 11;.1 --4 11;.1


Q H LA(Q),

donde LA (Q)(Z) = Q'(z)Az - AQ(z).

Como 'H; es un C -espacio vectorial generado por,

se sigue que 'H: es un C -espacio vectorial cuya base es dada por

Donde, el = (1,0, ... ,0), <: = (0,1,0, ... ,0), ... , en = (0, ... , 0, 1). Observe que LA es

una transtormacián
'J' lineal de 'Hr en 'Hr
11 11

Proposición 4.2.

Si A E C I1XI1
es una matriz diagonal entonces la matriz que representa al operador lineal

LA : 'H;l --4 'H;l también es diagonal. Más aún, si denotamos

entonces,

11

Donde al' ..., a 11 son los autovalores de la matriz A y (a, A ) = LajA j.


j=i
Benazic & Ramírez: Formas Normales de Ecuaciones ... 11

Demostración. Como A E Cnxn es una matriz diagonal con autovalores Al , ... , An concluimos
que

A¡ O O
A= O A2 O

Por definición, dados Ia I = r y s = 1, ... , n tenemos

,
LA«(1,s)(z) = Qa,s(z) Az - A(1,s(z). (14)

Pero,

O O O
AIZI

a a .L..a ÁzZ2
Q~,s(z)Az = aL
1 z¡ 2
Z2
al! L
Zn

AnZn
O O O

O
(15)

(16)

Reemplazando (15) Y (16) en (14)tenemos


12 PESQUIMA T, VOL. VII N° 1 2004

Como {Qa s : la I = r, s = 1, ... , n} es una base de H,'.l, se sigue que la matriz que representa

al operador LA es diagonal.

Sabemos que una matriz es inversible si y sólo si. el cero no es autovalor de ella. Esta
observación y la Proposición 4.2 conducen a la siguiente definición.

Definición 4.2.

Decimos que los autovalores Al'"'' AIJ de la matriz A E CIJXIJ son resonantes si y sólo si

existe aE N/1 multi-índice con Ia I ~ 2 Y existe s E [r, ..., n} tales que,

El número la I es denominado orden de resonancia.

Corolario 1.

Si A E CIJX/1 es una matriz diagonal cuyos autovalores son no' resonantes entonces el ope-

rador lineal LA: H:1


~ H;¡ es inversible, para todo r > 1.

Demostración. Se sigue inmediatamente de la Proposición 4.2 y la definición anterior.

Corolario 2.

Si A E CIlXIJ es una matriz diagonalizable y sus autovalores no presentan resonancias de

orden r ~ 2, entonces dado P E H:¡ existe una única solución Q E H: de la ecuación

Demostración. Es Inmediata.

5. RESULTADOS PRINCIPALES

A continuación, probamos el Teorema de linealización de Poincaré el cual proporciona con-


diciones necesarias para que un campo vectorial formal pueda ser linealizado por un cambio de
coordenadas formal del tipo perturbación de la identidad.

Teorema 5.1 (Teorema de Poincaré).

Si A E Cnxn es una matriz diagonalizable y sus autovalores no presentan resonancias de


orden r ~ 2, entonces la Ecuación Diferencial Formal

z'=Az+ ¿,Zk(Z)
(l7)
k~2

es transformada, por un cambio formal de coordenadas del tipo


Benazic & Ramírez: Formas Normales de Ecuaciones ... 13

z = W + H(w). (18)

Donde HE C[[w¡, ... , wn]] con ord(H) ¿ 2 en la Ecuación Lineal

w'=Aw. (19)

Demostración. Construiremos inductivamente la serie formal H.

Por hipótesis, los autovales de A son no resonantes entonces en particular no presentan resonan-

cias de orden 2. Como Z2 E 1í!i ' por el Corolario 2 y la Proposición 4.2 existe un único Q2 E 1í~7

tal que LA (Q2) = Z2. Por la Proposición 4.1, el cambio de coordenadas

Z = T¡(z ¡) = z 1 + Q2 (z ¡) (20)

transforma la Ecuación Diferencial (17) en

(21)

Nuevamente, por hipótesis los autovales de A no presentan resonancias de orden 3. Como

ZA) E 1í~! , por el Corolario 2 y la Proposición 4.2 existe un único Q3 E 1í~1 que LA (Q3) = ZA) .
Por la Proposición 4.1, el cambio de coordenadas

1
Z = T2 (z 2 ) = z 2 + ( 2
Q3 Z ) (22)

transforma la Ecuación Diferencial (21) en

( Z 2 )' = Az 2 + Z(2)
4 ( Z 2) + 5· ( Z 2 )
Z(2) + ..., (23)

donde Zt2) E 1í~! , V k ¿ 4. Siguiendo el proceso inductivamente concluimos que el cambio formal

de coordenadas

w = T(z) = lim (Tk o Tk-1 o ... o T¡)(z)


k~oo

= lim «(1- Qk+l) o (1- Qk) o •.. o (1- Q2»(Z),


k~oo

transforma la Ecuación Diferencial (17) en la Ecuación Lineal (19). Finalmente, no es difícil


probar que el cambio de coordenadas T así construido es de la forma 1 + H donde H es una serie
formal de orden ¿ 2.

El Teorema de Poincaré establece que, si los autovalores de la parte lineal de un campo


vectorial formal no presentan resonancias, entonces el campo puede ser linealizado por un cambio
de coordenadas formal del tipo perturbación de la identidad. A continuación veremos que sucede
cuando los autovalores presentan resonancias.
14 PESQUIMAT, VOL. VII N° 1 2004

Como hicimos en la sección 4, denotemos Qa,s(z) = zaes E rt;.z, donde (Ial = r y

s = 1, ... , n). Recordemos que

{Qa,s:lal=r, s=l, ... ,n}

n II

es una base de 'H;. Luego, dado P = ¿. ¿. aa,s(k,s E rt;.l, sea Q = ¿. ¿. qa,s(k,s E n; tal
s=llal=r s=llal=r

que LA (Q) = P. Por la Proposición 4.2 tenemos

11

= ¿. ¿. qa,sL A (Qa,s)
s=llal=r
11

= ¿. ¿. [(a,A)-AsJ%,sQa,s
s=llal=r

concluimos que

(24)

donde, los aa s E <C son fijados y los qa,s son constantes a determinar.

De esta manera, si los autovalores Al ' ..., An de la matriz diagonal A admiten una resonan-

cia de orden r ~ 2 entonces no podemos despejar el correspondiente qa,s' Esto motiva la si-
guiente definición.

Definición 5.1.

El espacio resonante de orden r ~ 2, denotado por n;z es el subespacio de H; generado

portado los Qa,s tales que As=(a,A), donde lal=r.


Observe que si los autovalores Al'"'' An de A no admiten resonancias de orden r ~ 2

entonces n;z = (O).

Lema 5.1

Si los autovalores Al, ..., AI1 de la matriz diagonal A admiten autovalores de orden r ~ 2,
entonces existe un cambio de coordenadas del tipo

z =W + Qr(w), (25)

donde Q; E H; que transforma la Ecuación Diferencial

z' = Az + ¿'Zk (z)


. (26)
k~r
Benazic & Ramírez: Formas Normales de Ecuaciones .oo 15

en
w' = Aw + Rr(w) + W(w). (27)

Donde R' E R;¡ y WE;¡; es tal que, ord(W) ~ r + 1.


11

Demostración. Sea Zr = LL aa,sQa,s E rt;.l. Denotemos


s=qal=r

s = { (a, s): I a I = r, s = 1, ... , n y As = ( a, A ) }

y definimos

~ aa,s 11
Q,= L.J (aA)-A º-a,sEH;.
(a,s)\1:S' s

Un cálculo sencillo prueba que,

zr - LA (Qr) = L aa,sº-a,s E n;l.


(a,s)ES

Denotado Rr = z: - LA (Qr) y por la Proposición 4.1 el Lema se sigue.

Teorema 5.2 (Teorema de Poincaré-Dulac).

Si A E Cnxll es una matriz diagonalizable, entonces la Ecuación Diferencial Fomal

z' = Az + 2,Zk(Z) (28)


k?2

es transformada, por un cambio formal de coordenadas del tipo

z =w + H(w) (29)

(donde HE C[[wl' oo., w2]] con ord(H) ~ 2) en la ecuación

w' = Aw + 2,Rk(w),
(30)
k?2

Demostración. De manera análoga a la demostración del Teorema 5.1, construiremos H por


inducción. Como Z2 E 1í/l ' existen dos alternativas:
1) Los autovalores de A no admiten resonancias de orden 2. En este caso sabemos que existe un
único Q2 E 1i2! tal que LA (Q2) = z 2 y por la Proposición 4.1, el cambio de coordenadas

Z = T¡ (z 1) = z 1 + Q2 ( Z 1) (31)

transforma la Ecuación Diferencial (28) en


16 PESQUIMAT, VOL. VII N° 1 2004

(32)

2) Los autovalores de A admiten resonancias de orden 2. Por el Lema 5.1 existe un Q2 E H~l tal

que LA (Q2) - Z2 = R2 E R!l. y por la Proposición 4.1, el cambio de coordenadas

(33)

transforma la Ecuación Diferencial (28) en

11 1
(z ) = Az + R 21(z ) + Zm(Z
-3 I
)+
4 1
Z(l)({; ) +- oo. (34)

donde n: E '1'J ll
,\- r
y Zk(1) E '1-111 \..Ik
I 'r ,Y
>
-
3- •

En cualquier caso (en presencia o ausencia de resonancias), existe un cambio de coordena-


das z = Ir (ZI) = ZI + Q2 (ZI) que transforma (28) en (34) (donde hacemos R2 = ° si no hay
resonancia de orden 2). Prosiguiendo inductivamente y teniendo en cuenta que los cambios de
coordenadas del tipo 1 + Qr no afectan los términos de grado menor que r (ver Corolario de la
Proposición 4.1), la prueba sigue.

6. REFERENCIAS BIBLIOGRÁFICAS

[1] Arnold V. 1., Geometrical Methods in the Theory of Ordinary Differential Equations,
Second Edition, Springer, GMW 250, (1988).

[2] Benazic R, Singularidades de Campos Yectoriales Holomorfos en el Dominio de Poincaré,


Pro Mathematica Vol. X, N° 19-20, pp. 9-33, (1996),

[3] Benazic R, Estructura Local de los Puntos de Tangencia del Transformado Estricto de
una Foliación por curvas en dimensión 3, PESQUIMAT, Vol. VI, pp. 1-20, (2003).

[4] Camacho c., Holomorphic Dinamical Systems. Summer School on Dynamical Systems
(1st - 25th august 1983) Trieste P.O.B. 586 Italy.

[5] Camacho c., Lectures on Complex 2 - Dimensional Dynamical Systems. Summer School
on Dynamical Systems (1st - 25th august 1983) TriesteSMR 296/7 Italy,

[6] Camacho C. - P. Sad, Pontos Singulares de Equacáes Diferenciais Analíticas. 16° Colo-
quio Brasileiro de Matemática, IMPA, (1987).

Agradecimientos

Los autores desean expresar su agradecimiento al Consejo Superior de Investigación de la


UNMSM y al CONCYTEC por el soporte económico y al Instituto de Matemática y Ciencias
Afines -IMCA de la UNI por el excelente ambiente de trabajo.

Вам также может понравиться

  • Examen Final Mef
    Examen Final Mef
    Документ28 страниц
    Examen Final Mef
    Maria Castillo Cantera
    Оценок пока нет
  • Calculadora Python
    Calculadora Python
    Документ3 страницы
    Calculadora Python
    Maria Castillo Cantera
    Оценок пока нет
  • Metereologia ConversorT
    Metereologia ConversorT
    Документ9 страниц
    Metereologia ConversorT
    Maria Castillo Cantera
    Оценок пока нет
  • Visualización Científica Con Grads
    Visualización Científica Con Grads
    Документ24 страницы
    Visualización Científica Con Grads
    Maria Castillo Cantera
    Оценок пока нет
  • Codigo GNUPLOT
    Codigo GNUPLOT
    Документ3 страницы
    Codigo GNUPLOT
    Maria Castillo Cantera
    Оценок пока нет
  • Beamer PDF
    Beamer PDF
    Документ47 страниц
    Beamer PDF
    Maria Castillo Cantera
    Оценок пока нет
  • Visualización Científica Con Grads
    Visualización Científica Con Grads
    Документ24 страницы
    Visualización Científica Con Grads
    Maria Castillo Cantera
    Оценок пока нет
  • TEoria 3
    TEoria 3
    Документ3 страницы
    TEoria 3
    Maria Castillo Cantera
    Оценок пока нет
  • 4 Title
    4 Title
    Документ26 страниц
    4 Title
    Maria Castillo Cantera
    Оценок пока нет
  • Avance Tesis
    Avance Tesis
    Документ29 страниц
    Avance Tesis
    Maria Castillo Cantera
    Оценок пока нет
  • TEoria 2
    TEoria 2
    Документ5 страниц
    TEoria 2
    Maria Castillo Cantera
    Оценок пока нет
  • 4 Title
    4 Title
    Документ26 страниц
    4 Title
    Maria Castillo Cantera
    Оценок пока нет
  • Examen2 CC5
    Examen2 CC5
    Документ2 страницы
    Examen2 CC5
    Maria Castillo Cantera
    Оценок пока нет
  • TEoria 1
    TEoria 1
    Документ19 страниц
    TEoria 1
    Maria Castillo Cantera
    Оценок пока нет
  • Práctica Dirigida #01-Cuestionario
    Práctica Dirigida #01-Cuestionario
    Документ5 страниц
    Práctica Dirigida #01-Cuestionario
    Maria Castillo Cantera
    Оценок пока нет
  • Examen Final de SQL SERVER
    Examen Final de SQL SERVER
    Документ1 страница
    Examen Final de SQL SERVER
    Maria Castillo Cantera
    Оценок пока нет
  • Modelos 3 Informe PDF
    Modelos 3 Informe PDF
    Документ19 страниц
    Modelos 3 Informe PDF
    Maria Castillo Cantera
    Оценок пока нет
  • CUADRADOS
    CUADRADOS
    Документ1 страница
    CUADRADOS
    Maria Castillo Cantera
    Оценок пока нет
  • Fluidos Diapo PDF
    Fluidos Diapo PDF
    Документ66 страниц
    Fluidos Diapo PDF
    Maria Castillo Cantera
    Оценок пока нет
  • Guia de Circunferencia-Catedral
    Guia de Circunferencia-Catedral
    Документ3 страницы
    Guia de Circunferencia-Catedral
    Maria Castillo Cantera
    Оценок пока нет
  • Batman Regresa-Maria Castillo
    Batman Regresa-Maria Castillo
    Документ2 страницы
    Batman Regresa-Maria Castillo
    Maria Castillo Cantera
    Оценок пока нет
  • Pregunta 1
    Pregunta 1
    Документ26 страниц
    Pregunta 1
    Maria Castillo Cantera
    Оценок пока нет
  • Tarea Potencial
    Tarea Potencial
    Документ4 страницы
    Tarea Potencial
    Maria Castillo Cantera
    Оценок пока нет
  • Circulito Rodante
    Circulito Rodante
    Документ2 страницы
    Circulito Rodante
    Maria Castillo Cantera
    Оценок пока нет
  • Pregunta 4
    Pregunta 4
    Документ7 страниц
    Pregunta 4
    Maria Castillo Cantera
    Оценок пока нет
  • Clase 12.modelos 4fecha160720
    Clase 12.modelos 4fecha160720
    Документ11 страниц
    Clase 12.modelos 4fecha160720
    Maria Castillo Cantera
    Оценок пока нет
  • SOL pc3
    SOL pc3
    Документ6 страниц
    SOL pc3
    Maria Castillo Cantera
    Оценок пока нет
  • Ejercicios 1 Soluc
    Ejercicios 1 Soluc
    Документ3 страницы
    Ejercicios 1 Soluc
    Maria Castillo Cantera
    Оценок пока нет
  • Clase 12
    Clase 12
    Документ11 страниц
    Clase 12
    Maria Castillo Cantera
    Оценок пока нет
  • Clase 6
    Clase 6
    Документ12 страниц
    Clase 6
    Maria Castillo Cantera
    Оценок пока нет
  • Práctica 9 - APLICACIONES DE LAS INTEGRALES MULTIPLES
    Práctica 9 - APLICACIONES DE LAS INTEGRALES MULTIPLES
    Документ4 страницы
    Práctica 9 - APLICACIONES DE LAS INTEGRALES MULTIPLES
    Tadeo
    Оценок пока нет
  • MATRICES
    MATRICES
    Документ19 страниц
    MATRICES
    DIEGO OMAR CRUZADO QUILICHE
    Оценок пока нет
  • Momento de Inercia de Masas 2
    Momento de Inercia de Masas 2
    Документ13 страниц
    Momento de Inercia de Masas 2
    Aracelly Carrizales Huanca
    Оценок пока нет
  • Capacitacion Fallas de Bombas CV3171 Punta Arenas Petroperu Talara
    Capacitacion Fallas de Bombas CV3171 Punta Arenas Petroperu Talara
    Документ61 страница
    Capacitacion Fallas de Bombas CV3171 Punta Arenas Petroperu Talara
    Alberto Ismael
    Оценок пока нет
  • G 240204 Pruebas Abs y Tcs
    G 240204 Pruebas Abs y Tcs
    Документ6 страниц
    G 240204 Pruebas Abs y Tcs
    Freddy Lozano
    Оценок пока нет
  • Proyecto de E.D
    Proyecto de E.D
    Документ9 страниц
    Proyecto de E.D
    Cristian Rosas Soto
    Оценок пока нет
  • 2 117
    2 117
    Документ1 страница
    2 117
    miguel
    Оценок пока нет
  • Presentacion Identidades Trigonométricas
    Presentacion Identidades Trigonométricas
    Документ80 страниц
    Presentacion Identidades Trigonométricas
    Jose Vicente Melo Cortés
    Оценок пока нет
  • 5.1 - La Recta
    5.1 - La Recta
    Документ20 страниц
    5.1 - La Recta
    Carlos Gutierréz
    Оценок пока нет
  • Colorantes Acidos
    Colorantes Acidos
    Документ16 страниц
    Colorantes Acidos
    Soma Zoe
    Оценок пока нет
  • Guia de Fisica Ciclo V
    Guia de Fisica Ciclo V
    Документ9 страниц
    Guia de Fisica Ciclo V
    MANUEL ALEJANDRO MERCADO MÁRQUEZ
    Оценок пока нет
  • Glamour Tallas Extra
    Glamour Tallas Extra
    Документ69 страниц
    Glamour Tallas Extra
    Lu Disa
    Оценок пока нет
  • Capitulo II Armonicos
    Capitulo II Armonicos
    Документ10 страниц
    Capitulo II Armonicos
    Alex Aros C
    Оценок пока нет
  • Sena - Micro COMPACTACION
    Sena - Micro COMPACTACION
    Документ5 страниц
    Sena - Micro COMPACTACION
    madeley camila lopez rivera
    Оценок пока нет
  • PSTPE05522 - Doc General Tecnico Skid Medicion Turbo A1 - PLUSPETROL PDF
    PSTPE05522 - Doc General Tecnico Skid Medicion Turbo A1 - PLUSPETROL PDF
    Документ22 страницы
    PSTPE05522 - Doc General Tecnico Skid Medicion Turbo A1 - PLUSPETROL PDF
    casandra
    Оценок пока нет
  • Lab 9 - Curva Caracterisitica de Regulación Generador Síncrono
    Lab 9 - Curva Caracterisitica de Regulación Generador Síncrono
    Документ4 страницы
    Lab 9 - Curva Caracterisitica de Regulación Generador Síncrono
    Frescoland d
    Оценок пока нет
  • Guia de Laboratorio Sem 12 PDF
    Guia de Laboratorio Sem 12 PDF
    Документ4 страницы
    Guia de Laboratorio Sem 12 PDF
    VICTOR ANTONI ARIAS YLDEFONZO
    Оценок пока нет
  • TRABAJOS
    TRABAJOS
    Документ47 страниц
    TRABAJOS
    levi
    Оценок пока нет
  • Accionamiento Electrico
    Accionamiento Electrico
    Документ26 страниц
    Accionamiento Electrico
    Juan Soto
    Оценок пока нет
  • Cemento de Ionómero de Vidrio Completo
    Cemento de Ionómero de Vidrio Completo
    Документ32 страницы
    Cemento de Ionómero de Vidrio Completo
    Diego Velez Perez
    Оценок пока нет
  • Rotación y Traslación
    Rotación y Traslación
    Документ5 страниц
    Rotación y Traslación
    johandavid pinedaurrea
    Оценок пока нет
  • Curso - ANÁLISIS MATEMÁTICO II
    Curso - ANÁLISIS MATEMÁTICO II
    Документ5 страниц
    Curso - ANÁLISIS MATEMÁTICO II
    Lionel Andrés Messi Cuccittini
    Оценок пока нет
  • La Fibra Óptica, Un Gran Aporte para La Comunicación Global
    La Fibra Óptica, Un Gran Aporte para La Comunicación Global
    Документ12 страниц
    La Fibra Óptica, Un Gran Aporte para La Comunicación Global
    Tony Mateo
    Оценок пока нет
  • 07-2022 JAVIER - Model
    07-2022 JAVIER - Model
    Документ1 страница
    07-2022 JAVIER - Model
    Martejose
    Оценок пока нет
  • Jimm
    Jimm
    Документ7 страниц
    Jimm
    víctor
    Оценок пока нет
  • Origen y Evolución de Las Presas
    Origen y Evolución de Las Presas
    Документ15 страниц
    Origen y Evolución de Las Presas
    Carlos Castro
    Оценок пока нет
  • MICROSCOPIA Informe
    MICROSCOPIA Informe
    Документ5 страниц
    MICROSCOPIA Informe
    Greiis Vazquez Russo
    Оценок пока нет
  • Practica Intercambiadores de Calor
    Practica Intercambiadores de Calor
    Документ7 страниц
    Practica Intercambiadores de Calor
    Gabriela AG
    Оценок пока нет
  • Termodinámica, PH y Ecología
    Termodinámica, PH y Ecología
    Документ24 страницы
    Termodinámica, PH y Ecología
    Jesus Ivette Lachira Castillo
    Оценок пока нет
  • Compresion Perpendicular
    Compresion Perpendicular
    Документ9 страниц
    Compresion Perpendicular
    Natalia Ortiz Caballero
    Оценок пока нет