Periodos Cr ticos y Clasicacin de o Centros de un Sistema Cbico u Priodes critiques et Classication des e centres dun syst`me cubique e

I. Hernandez-Loreto CRM-2714 February 2001 B. Toni

Facultad de Ciencias, Universidad Autonoma del Estado de Morelos, Cuernavaca 62210, Mexico, iloreto@servm.fc.uaem.mx y toni@servm.fc.uaem.mx Center of Research in Mathematics, University of Montreal, Succ. Centre-ville, Montreal, Qc H3C 3J7 Canada, toni@crm.umontreal.ca

Resumen En este art culo determinamos y analizamos la funcin periodo de un sistema cbico en el plano o u usando un algoritmo con Maple. Proporcionamos una clasicacin de los centros en centros de o orden nito e innito isocrono, asi como el mximo nmero de periodos cr o a u ticos que se pueden bifurcar del centro. Palabras y Frases claves: Periodos cr ticos, Isocrono, Bifurcacin. o

Abstract In this paper, we determine and analyze the period function of a planar cubic system, via an algorithm on Maple. We then classify the centers into centers of nite order and innite order or isochronous centers. Moreover we give the maximum number of critical periods bifurcating from the centers. 1991 Mathematics Subject Classication: 34C15, 34C25, 58F14, 58F21, 58F30 Rsum e e Dans ce travail nous dterminons et analysons la fonction priode dun syst`me cubique dans e e e le plan via un algorithme sur Maple. Ensuite nous classions les centres en centres dordre ni et dordre inni ou centres isochrones. En outre nous donnons le nombre maximum de priodes e critiques qui bifurquent de ces centres.

Introduccin. o

Consideremos una familia de sistemas diferenciales en el plano (X )Rn parametrizada por de la forma: x(t) = y(t) + P (x(t), y(t)) y(t) = x(t) + Q (x(t), y(t)), (1)

donde P (x, y) y Q (x, y) son polinomios en las variables x y y, con un centro no degenerado en el origen, es decir, un punto singular que est rodeado por una familia continua de soluciones peridicas {Ck }. a o Para estudiar el comportamiento del periodo de las rbitas peridicas cerca del origen, se dene la o o funcin periodo T (h, ) asociada al centro en el parmetro , la cual asigna a cada elemento h del semieje o a transversal , llamado seccin de Poincar, el periodo m o e nimo de la trayectoria h que pasa por h. En los aos recientes se han obtenido un gran nmero de resultados asociados a la funcin periodo, n u o especialmente acerca de la monotonicidad de la funcin y el nmero de puntos cr o u ticos de ella (ver [CJ]). De hecho las propiedades de monotonicidad de la funcin periodo, adems de su inters intr o a e nseco, son importantes por la cuestin de existencia y unicidad de problemas autnomos con valor en la frontera, en el o o estudio de bifurcacin subarmnica de oscilaciones peridicas y en el anlisis de problemas de linearizacin. o o o a o El estudio global del nmero de puntos cr u ticos de la funcin periodo es un problema muy dif que o cil en general no est resuelto. En este articulo estamos interesados en la cuestin local de cual es el nmero a o u mximo de puntos cr a ticos (periodos cr ticos) que se pueden bifurcar de cierto sistema con el parmetro a en una vecindad de para la cual el origen es un centro del sistema; esta cuestin es atacada calculando o la serie de Taylor de la funcin periodo en una vecindad del centro y determinando el orden de su primer o trmino no constante, este clculo es puramente algor e a tmico; cuando se trata de una familia polinomial de sistemas diferenciales los coecientes de la funcin periodo son polinomios en los coecientes del sistema, es o decir, en las componentes de ; el igualar a cero los coecientes de la funcin periodo nos lleva a cuestiones o de cmo determinar la base de un ideal de polinomios, es decir, el menor conjunto que genera al ideal; este o ultimo anlisis nos permite determinar las condiciones necesarias para tener un centro isocrono (aquel para a el cual la funcin periodo es constante) en la familia. o Cabe mencionar que hasta la fecha hay muy pocos sistemas con centros clasicados: los sistemas cuadraticos fueron clasicados por Loud [L] y Chicone y Jacobs en [CJ], los sistemas cbicos con nolinealidad u homogenea por Pleshkan en [P] y por Rousseau y Toni en [RT1], y los sistemas cbicos hamiltonianos por u Cima, Maosas y Villadelprat en [CMV], el sistema cbico de Kapteyn en [T]. El estudio de este sistema n u (ver secci`n 3), as como los previamente mencionados est motivado por el hecho de tratar de obtener o a leyes generales del mecanismo de isocronicidad y acerca del nmero mximo de periodos cr u a ticos locales para una familia polinomial en trminos del grado del sistema, y luego poder as atacar el problema global. e En la seccin 2 (preliminares) se dan las herramientas necesarias para el anlisis del problema tales o a como algunas deniciones y teoremas; y en la seccin 3 (el sistema cbico) se presenta de una manera o u detallada el anlisis del sistema diferencial en el que se trabaj. a o

Preliminares.

Denicin 2.1 Dado un sistema diferencial parametrizado (X )Rn , donde el parmetro es tal que o a o el sistema diferencial tiene un centro no degenerado en el origen, a T (h, ) = h dt se le llama funcin periodo, donde h ( es el semieje transversal llamado seccin de Poincar) y h es la trayectoria que o e pasa por h. Es decir la funcin periodo correspondiente al parmetro asigna a h el periodo m o a nimo de la trayectoria h que pasa por h. Grca 1. Funcin Periodo a o 1

La funcin periodo T (h, ) tiene ciertas propiedades interesantes, las cuales se dan en el siguiente lema o [CJ]. Lema 2.2 1) Deniendo T (0, ) = 2 para Rn . Si Rn , entonces existe una vecindad abierta W de y un intervalo abierto J que contiene a h = 0, tal que la funcin periodo T (h, ) es anal o tica en J W . 2) Dada cualquier Rn la funcin periodo T (h, ) est representada por su serie de Taylor o a T (h, ) = 2 +
1k

pk ()hk ,

para |h| y | | sucientemente pequeos. Ms an, p1 0 y para cada k 2, pk R[1 , ..., n ] , el n a u anillo de series de potencias convergentes en . 3) Para k 1 los coecientes p2k+1 pertenecen al ideal (p2 , ..., p2k ) sobre el anillo R[1 , ..., n ] para cada Rn . En particular, para Rn , el primer entero k 1 tal que pk = 0 es par. Denicin 2.3 o 1. Si p2 = = p2k = 0 y p2k+2 = 0 entonces el origen es un centro lineal dbil de orden nito k. e 2. Si p2k = 0 k 1 entonces el origen es un centro de orden innito, llamado centro isocrono. Observacin 2.4 o Como R[1 , . . . , n ] es un anillo noetheriano entonces por el teorema de base de Hilbert existe una m N tal que el ideal innito de los coecientes de la funcin periodo est nitamente generado, es o a decir, < p2 , p4 , ..., p2k , ... >=< p2 , p4 , ..., p2m > para m algn entero positivo . Esto nos lleva a que u p2 = p4 = = p2m = 0 son condiciones sucientes para probar la isocronicidad del sistema, as la determinacin de m es un paso muy importante en este anlisis. Los coecientes p2 , p4 , ..., p2m pueden ser o a calculados por un algoritmo usando MapleV. Denicin 2.5 k periodos cr o ticos locales se bifurcan de un centro dbil correspondiente al parmetro e a si: 2

1. Para toda > 0 sucientemente pequea, existe una vecindad W de tal que para cualquier W , n T (h, ) tiene a lo ms k puntos cr a ticos en U = (0, ). 2. Ms an, cualquier vecindad de contiene un punto tal que T (h, ) tiene exactamente k a u puntos cr ticos en U = (0, ). A continuacin se presentan una denicin y dos teoremas los cuales son las herramientas bsicas para o o a el anlisis del sistema diferencial. a Denicin 2.6 Para V (p2 , ..., p2k ) = {|p2i () = 0, i = 1, ...k} y p2k+2 ( ) = 0, los coecientes o de la funcin periodo p2 , ...p2k se dicen independientes con respecto a p2k+2 en cuando se cumplen las o siguientes condiciones: 1. Cualquier vecindad de contiene un punto tal que p2k ()p2k+2 () < 0. 2. V (p2 , ..., p2j ), j = 1, ..., (k 1), son tales que si V (p2 , ..., p2j ) y p2j+2 () = 0, entonces cualquier vecindad de contiene un punto V (p2 , ..., p2j2 ) tal que p2j ( )p2j+2 ( ) < 0. Para el caso de un centro de orden nito se tiene el siguiente teorema: Teorema de bifurcacin o de orden nito [C.J]. Sea X(x, y, ) un sistema diferencial de la forma dada en (1), con un centro de orden k en el origen correspondiente al parmea tro . Si los coecientes p2 , p4 , . . . , p2k de la funcin periodo son independientes con o respecto a p2k+2 en entonces exactamente k periodos cr ticos se bifurcan del centro dbil e correspondiente al parmetro para cualquier j k. a En el caso de un centro isocrono tenemos el siguiente teorema: Teorema de bifurcacin isocrnica [C.J]. Si el sistema diferencial X(x, y, ) tiene un centro isocrono o o en el origen para el parmetro y si para cada entero i 1 los coecientes de la funcin periodo pi estan a o en el ideal < p2 , . . . , p2k , p2k+2 > sobre el anillo R[1 , . . . , n ] de series de potencias convergentes en entonces a lo ms k periodos cr a ticos locales se bifurcan del centro isocrono en . Ms an si p2 , . . . , p2k son independientes con respecto a p2k+2 en , entonces a u exactamente j periodos cr ticos locales se bifurcan del centro correspondiente a para j k. A continuacin analizamos un sistema cbico particular con ondiciones de centro dadas en [CRZ]. o u Clasicamos esos centros en trminos de orden nito e innito isocrono, estimando el nmero de periodos e o u cr ticos que se bifurcan.

3
3.1

El sistema c bico. u
Condiciones de centro.

El sistema diferencial es el siguiente: z = iz + Az 2 + Dz 3 + Ez 2 z + F z z 2 , con z, A, D, E, F C y z = x + iy, A = a1 + ia2 , D = d1 + id2 , E = e1 + ie2 , F = f1 + if2 . 3

(2)

Este sistema tiene en coordenadas cartesianas la siguiente forma: x = y + A20 x2 + A11 xy + A02 y 2 + B30 x3 + B21 x2 y + B12 xy 2 + B03 y 3 y = x + C20 x2 + C11 xy + C02 y 2 + D30 x3 + D21 x2 y + D12 xy 2 + D03 y 3 donde A20 = a1 , A11 = 2a2 , A02 = a1 ; B30 = d1 + e1 + f1 , B21 = 3d2 e2 + f2 , B12 = 3d1 + e1 + f1 , B03 = d2 e2 + f2 ; C20 = a2 , C11 = 2a1 , C02 = a2 ; D30 = d2 + e2 + f2 , D21 = 3d1 + e1 f1 , D12 = 3d2 + e2 + f2 , D03 = d1 + e1 f1 . y = (a1 , a2 , d1 , d2 , e1 , e2 , f1 , f2 ) R8 el parmetro de bifurcacin. a o Y en coordenadas polares tiene la siguiente forma: r = r2 [a1 cos3 () a2 cos2 () sin() + a1 cos() sin2 () a2 sin3 ()] +r3 [(d1 + e1 + f1 ) cos4 () + 2(d2 + f2 ) cos3 () sin() + 2e1 cos2 () sin2 () +2(d2 + f2 ) cos() sin3 () + (d1 + e1 f1 ) sin4 ()] (5) = 1 + r[a2 cos3 () + a1 cos2 () sin() + a2 cos() sin2 () + a1 sin3 ()] +r2 [(d2 + e2 + f2 ) cos4 () + 2(d1 f1 ) cos3 () sin() + 2e2 cos2 () sin2 () +2(d1 f1 ) cos() sin3 () + (d2 + e2 f2 ) sin4 ()] donde r =
y x2 + y 2 y = arctan x .

(3)

(4)

Los conjuntos de parmetros para los cuales el sistema tiene un centro en el origen estn dados en el a a siguiente teorema. Teorema 3.1 [CRZ]. El sistema (3) tiene un centro en el origen si y slo si se cumple una de las o siguientes condiciones: 1. E = F = 0; 2. Re(E) = 0, D = F ; 3. Re(E) = Im(DF ) = Re(A2 D) = Re(A2 F ) = 0. Es decir, el sistema (4) tiene un centro en el origen si y slo si G = G1 o G2 G3 , donde

G1 = { = (a1 , a2 , d1 , d2 , e1 , e2 , f1 , f2 ) R8 |e1 = e2 = f1 = f2 = 0}; G2 = { = (a1 , a2 , d1 , d2 , e1 , e2 , f1 , f2 ) R8 |e1 = 0, d1 = f1 , d2 = f2 }; G3 = { = (a1 , a2 , d1 , d2 , e1 , e2 , f1 , f2 ) R8 | e1 = d1 f2 + d2 f1 = d1 (a2 a2 ) + 2a1 a2 d2 = f1 (a2 a2 ) 2a1 a2 f2 = 0}. 1 2 1 2

3.2

Expresin de la funcin periodo. o o

Se analiz la funcin periodo. Por denicin la funcin periodo es o o o o

2 2

T (h, ) =
0

dt =
0

d .

(6)

Para determinar esta funcin se cambia el sistema a coordenadas polares y se elimina al tiempo queo dando: dr r2 H1 (, ) + r3 H2 (, ) = , d 1 + rH3 (, ) + r2 H4 (, ) con G y (7)

H1 (, ) = a1 cos() a2 sin(); H2 (, ) = 2(d1 + f1 ) cos2 () + 2(f2 d2 ) cos() sin() + e1 d1 f1 ; H3 (, ) = a2 cos() + a1 sin(); H4 (, ) = 2(d2 + f2 ) cos2 () + 2(d1 f1 ) cos() sin() + e2 d2 f2 . Luego se resuelve esta ecuacin con condicin inicial r(0, ) = h > 0 en series de potencias alrededor o o de h pudiendo as representar la solucin como: o

r(, h, ) =
k=1

uk (, )hk .

(8)

Sustituyendo (7) en (6) se obtiene la siguiente relacin de recurrencia: o u1 = 0, u 2 = H1 u 2 , 1

k1 k1 j1 k1

uk = H3
j1

uj ukj H4
k1 j1

(
j2 i1

ui uji )ukj + H1
j1

uj ukj

+H2 para k 3.

(
j2 i1

ui uji )ukj ,

(9)

De esta relacin se obtienen los coecientes uk (, ). As la condicin inicial se deduce que u1 (0, ) = o ,de o 1 y uk (0, ) = 0 para k 2. Ahora la funcin periodo esta dada por: o
2

T (h, ) =
0

1 d. 1 + r(, h, )H3 (, ) + r2 (, h, )H4 (, )

(10)

Como

1 1 + r(, h, )H3 (, ) + r2 (, h, )H4 (, ) 5

es anal tica para toda y |h| sucientemente pequeos entonces puede ser expandido en serie de potencias n de la forma

1+
k=1

p (, )hk . k

De aqu la funcin periodo se puede representar por o

T (h, ) = 2 +
k=1

pk ()hk ,

(11)

donde pk () =
0

p (, ). k

Y los terminos

p (, ) k

se calculan de la relacin o

(1 + H3 (, )
k=1

uk (, )hk + H4 (, )(
k=1

uk (, )hk )2 )(1 +
k=1

p (, )hk ) = 1. k

(12)

Los coecientes periodo pk () se calculan utilizando el siguiente algoritmo en Maple V.

Algor tmo para calcular los coecientes de la funcin periodo. o Dar el valor de k. k:= : H[1]:=x->a[1]cos(x)-a[2]sin(x): H[2]:=x->2(d[1]+f[1])(cos(x))2+2(-d[2]+f[2])cos(x)sin(x)-d[1]+e[1]-f[1]: H[3]:=x->a[2]cos(x)+a[1]sin(x): H[4]:=x->2(d[2]+f[2])(cos(x))2+2(d[1]-f[1])cos(x)sin(x)-d[2]+e[2]-f[2]: up[1]:=x->0: u[1]:=x->1: pe[1]:=unapply(-H[3](x),x): for j from 2 by 1 to k do va[j]:=unapply(sum(u[i](x)u[j-i](x),i=1..(j-i)),x): v[j]:=unapply(simplify(va[j](x),trig),x): Aa[j]:=unapply(sum(u[i](x)up[j-i](x),i=1..(j-i)),x): A[j]:=unapply(simplify(Aa[j](x),trig),x): Ba[j]:=unapply(sum(v[i](x)up[j-i](x),i=2..(j-i)),x): B[j]:=unapply(simplify(Ba[j](x),trig),x): Ca[j]:=unapply(sum(v[i](x)u[j-i](x),i=2..(j-i)),x): C[j]:=unapply(simplify(Ca[j](x),trig),x): Dea[j]:=unapply(sum(u[i](x)pe[j-i](x),i=1..(j-i)),x): De[j]:=unapply(simplify(Dea[j](x),trig),x): Ea[j]:=unapply(sum(v[i](x)pe[j-i](x),i=2..(j-i)),x): E[j]:=unapply(simplify(Ea[j](x),trig),x): upa[j]:=unapply(-H[3](x)A[j](x)-H[4](x)B[j](x)+H[1](x)v[j](x)+H[2](x)C[j](x),x): up[j]:=unapply(simplify(upa[j](x),trig),x): ua[j]:=unapply(int(up[j](x),x),x): ua[j](0): u[j]:=unapply((simplify(ua[j](x)-ua[j](0),trig),x): 6

pea[j]:=unapply(-H[3](x)(u[j](x)+De[j](x))-H[4](x)(v[j](x)+E[j](x)),x): pe[j]:=unapply(simplify(pea[j](x),trig),x): end do: p[k]:=int(pe[k](x),x=0..2*Pi); ............................................................................... Con la ayuda de estos coecientes se lleg a lo siguiente. o

3.3

Centro de tipo I.

Denicin 3.2 El sistema (4) tiene un centro de tipo I en el origen si el sistema es no lineal y G1 . o Determinando los coecientes periodo con G1 , obtenemos Lema 3.3 Para G1 p2 () = p4 () = p6 () = p8 () = 0. Debido a este hecho se conjectura que el origen es un centro isocrono de (4) cuando G1 y lo que se hizo fue demostrar que en realidad as es. Teorema 3.4 Si el sistema (4) tiene un centro de tipo I en el origen, entonces el sistema (4) tiene un centro isocrono en el origen. Demostracin. o Si G1 entonces el sistema (4) se reduce en su forma compleja al sistema z = iz + Az 2 + Dz 3 con z, A, D C y z = x + iy, A = a1 + ia2 , D = d1 + id2 . Como una consecuencia del teorema de la forma normal de Poincar de un centro no degenerado [MRT] e para demostrar que el origen es un centro isocrono hay que encontrar una transformacin w(z) = z + o(z) o 2 + Dz 3 al sistema lineal w = iw. que lleva el sistema z = iz + Az w es de la forma w(z) = z(z z1 )a (z z2 )b , y eliminando al tiempo se tiene dw dz = . iw iz + Az 2 + Dz 3 Entonces dw iw = . dz iz + Az 2 + Dz 3 Pero de (13) dw = (z z1 )a (z z2 )b + az(z z1 )a1 (z z2 )b + bz(z z1 )a (z z2 )b1 . dz Sustituyendo
dw dz

(13)

(14)

y w en (14) se llega a

[(z z1 )a (z z2 )b + az(z z1 )a1 (z z2 )b + bz(z z1 )a (z z2 )b1 ][iz + Az 2 + Dz 3 ] = iz(z z1 )a (z z2 )b . 7

Entonces

1 a b ( + + )(iz + Az 2 + Dz 3 ) = i . z z z 1 z z2 Az(z 2 z1 z z2 z + z1 z2 ) + Dz 2 (z 2 z1 z z2 z + z1 z2 ) + iaz 2 iaz2 z + Aaz 3 Aaz2 z 2 + Daz 4 Daz2 z 3 + ibz 2 ibz1 z + Abz 3 Abz1 z 2 + Dbz 4 Dbz2 z 3 = 0 .

De aqu

Por lo tanto (D + Da + Db)z 4 + (A z1 D z2 D + Aa Daz2 + Ab Dbz2 )z 3 +(Az1 Az2 + Dz1 z2 + ia Aaz2 + ib Abz1 )z 2 + (Az1 z2 iaz2 ibz1 )z = 0 . De esta ultima igualdad se obtiene el siguiente sistema de ecuaciones

D(1 + a + b) = 0 A(1 + a + b) D(z1 + z2 (1 + a + b)) = 0 A(z1 (1 + b) + z2 (1 + a)) + z1 z2 D + i(a + b) = 0 z1 z2 A iaz2 ibz1 = 0 , y se obtiene que z1 = 0, z2 = i , a = 0, b = 1. A Az Por lo tanto w(z) = Az+i 2.

3.4

Centro de tipo II.

Denicin 3.5 El sistema (4) tiene un centro de tipo II en el origen si el sistema es no lineal y G2 . o Usando el algoritmo para calcular los coecientes periodo corespondientes nos da Lema 3.6 1. Para G2 se obtuvo que p2 () = 2e2 . 2. Ms an, al hacer p2 () = 0 tenemos p4 () = p6 () = p8 () = 0. a u Con la ayuda de esta informacin se lleg al siguiente teorema. o o Teorema 3.7 Si el origen es un centro de tipo II y e2 = 0 entonces el origen es un centro dbil de orden 0 del sistema e (4). Demostracin. o Si G2 entonces Re(E) = 0 y D = F . De aqu podemos suponer sin prdida de generalidad que e D = i, E = ie2 y F = i entonces el sistema (3) se reduce a z = iz + Az 2 + i(z 3 z z 2 ) + ie2 z 2 z , Para esta ecuacin existe la siguiente integral primera o H= z 1 iAz + iA + z 2 + z 2 e2 ln z z zz A C, e2 R.

y por lo tanto por [Po] el origen es un centro. Para e2 = 0 tenemos p2 () = 0 y por denicin el origen es un centro dbil de orden 0. 2 o e 8

Teorema 3.8 Si el origen es un centro de tipo II con un valor del parmetro tal que e2 = 0 entonces el origen es un a centro isocrono del sistema (4). Demostracin. o Suponiendo e2 = 0 con el parmetro G2 entonces el sistema (3) se reduce a a z = iz + Az 2 + i(z 3 z z 2 ) y en coordenadas cartesianas queda como: x = y + a1 x2 2a2 xy + a1 y 2 4x2 y y = x + a2 x2 + 2a1 xy a2 y 2 4xy 2 con la integral primera H(x, y) = 1 + 2a2 x + 2a1 y + 2x2 2y 2 . x2 + y 2 (15)

El clculo de los coecientes periodo corespondientes nos da a p2 = p4 = p6 = p8 = 0. Eso nos lleva a conjecturar la isocronicidad del centro corespondiente. La prueba sigue de lo siguiente. Si el origen es un centro isocrono entonces existe un cambio de coordenadas anal tico u(x, y) = x + o( (x, y) ) y v(x, y) = y + o( (x, y) ) que lleva el sistema (16) al sistema isocrono lineal u = v v = u y es tal que H(x, y) = u2 (x, y) + v 2 (x, y) [MRT]. Un mtodo para encontrar las funciones u y v que linearizan es probar con aquellas funciones que e v d(arctan u ) cumplan que H = u2 + v 2 , una condicin suciente para que estas funciones linearicen es que o =1 dt [MRT]. Otro mtodo para encontrar las funciones linearizantes es construirlas directamente, es decir, proponer e que las funciones u y v sean de cierta forma y que estn parametrizadas por ciertos parmetros, y al a a sustituir en u = = ux x + uy y = v v = vx x + vy y = u determinar los valores de los parmetros que satisfacen el sistema de ecuaciones resultante. a Encontrando las funciones u y v el teorema queda demostrado 2.

3.5

Centro de tipo III.

Denicin 3.9 El sistema (4) tiene un centro de tipo III en el origen si el sistema es no lineal y G3 . o Al calcular los coecientes periodo obtenemos Lema 3.10 1. Para G3 se obtuvo que p2 () = 2e2 .
2 2 2. Al hacer p2 () = 0 se obtuvo que p4 () = 2(d2 f2 d1 f1 + f1 + f2 ).

2 2 3. Si p2 () = p4 () = 0 entonces p6 () = 4(f1 + f2 )(d2 + f2 ).

Con esto se lleg al siguiente teorema. o Teorema 3.11 Si el sistema (4) tiene un centro de tipo III entonces 1. Si e2 = 0 el origen es un centro dbil de orden cero. e
2 2 2. Si e2 = 0, pero d2 f2 d1 f1 + f1 + f2 = 0 entonces el origen es un centro dbil de orden 1. e 2 2 2 2 3. Si e2 = d2 f2 d1 f1 + f1 + f2 = 0 pero f1 + f2 = 0 y d2 + f2 = 0 entonces el origen es un centro dbil e de orden 2. 2 2 2 2 4. Si e2 = d2 f2 d1 f1 + f1 + f2 = f1 + f2 = 0 entonces el origen es un centro isocrono. 2 2 2 2 5. Si e2 = d2 f2 d1 f1 + f1 + f2 = d2 + f2 = 0 y f1 + f2 = 0 entonces el origen es un centro isocrono.

Demostracin. o 1. Si e2 = 0 entonces p2 () = 0 y por denicin el origen es un centro dbil de orden 0. o e

2 2 2 2 2. Si e2 = 0 entonces p2 () = 0 y p4 () = 2(d2 f2 d1 f1 + f1 + f2 ), como d2 f2 d1 f1 + f1 + f2 = 0 se tiene que p4 () = 0 de aqu el origen es un centro dbil de orden 1. e 2 2 2 2 3. Si e2 = d2 f2 d1 f1 + f1 + f2 = 0 entonces p2 () = p4 () = 0 y p6 () = 4(f1 + f2 )(d2 + f2 ), como 2 2 f1 + f2 = 0 y d2 + f2 = 0 se tiene que p6 () = 0, por lo tanto el origen es un centro lineal dbil de e orden 2. 2 2 4. Si e2 = f1 + f2 = 0 entonces e2 = f1 = f2 = 0, adems como el origen es un centro de tipo III a e1 = 0, entonces G1 y el origen es tambin un centro de tipo I, por lo tanto el origen es un centro e isocrono.

5. Si d2 + f2 = 0 entonces d2 = f2 , adems como el origen es un centro de tipo III d1 f2 + d2 f1 = 0 de a estas dos ultimas igualdades se tiene que d1 f2 f1 f2 = 0, entonces f2 (d1 f1 ) = 0 de aqu d1 = f1 2 2 o f2 = 0; si f2 = 0 entonces f1 (d1 + f1 ) = 0 (ya que d2 f2 d1 f1 + f1 + f2 = 0) y como f1 = 0 (por 2 2 ser f1 + f2 = 0) se tiene que d1 + f1 = 0, por lo tanto d1 = f1 , como el origen es un centro de tipo III e1 = 0, de aqu G2 , entonces el origen tambin es un centro de tipo II, ms an como e2 = 0, e a u se concluye que el origen es un centro isocrono 2. Como consecuencia de los tres teoremas anteriores y de los teoremas de bifurcacin se lleg al siguiente o o teorema. Teorema 3.12 Para el sistema (4) se cumple lo siguiente: 1. Si (G2 G3 ) y e2 = 0 no hay periodos cr ticos que se bifurcan del origen.

2 2 2. Si G3 , e2 = 0 y f1 + f2 d1 f1 + d2 f2 = 0 a lo ms un periodo cr a tico se bifurca del origen.

Ms an existe una perturbacin con un periodo cr a u o tico.

2 2 2 2 3. Si G3 , e2 = f1 + f2 d1 f1 + d2 f2 = 0, f1 + f2 = 0 y d2 + f2 = 0 a lo ms dos periodos cr a ticos se bifurcan del origen.

Ms an existe una perturbacin con dos periodos cr a u o ticos. 10

Demostracin. o 1. Si (G2 G3 ) y e2 = 0 entonces por los teoremas 3.5 y 3.8 el origen es un centro lineal de orden cero, y por el teorema de bifurcacin de orden nito no hay periodos cr o ticos que se bifurcan del origen.
2 2 2. Si G3 , e2 = 0 y f1 + f2 d1 f1 + d2 f2 = 0 entonces por el teorema 3.7 el origen es un centro lineal de orden 1, y por el teorema de bifurcacin de orden nito a lo ms un periodo cr o a tico se bifurca del origen.

La perturbacin con un periodo cr o tico se sigue de un valor del parmetro tal que p2 p4 < 0, es a 2 2 u o decir, e2 f1 + f2 d1 f1 + d2 f2 < 0 segn la condicin de independencia lineal.
2 2 2 2 3. Si G3 , e2 = f1 + f2 d1 f1 + d2 f2 = 0, f1 + f2 = 0 y d2 + f2 = 0 entonces el origen es un centro lineal de orden 2, y por el teorema de bifurcacin de orden nito a lo ms dos periodos cr o a ticos se bifurcan del origen.

De la misma manera, se construye una perturbacin con dos periodos cr o ticos con un valor del 2 2 parmetro tal que p2 p4 < 0, y p4 p6 < 0 es decir, e2 (d2 f2 d1 f1 + f1 + f2 ) < 0, y (d2 f2 a 2 + f 2 ) [(f 2 + f 2 )(d + f )] < 0. d1 f1 + f1 2 2 2 1 2 2

Observaciones nales.

Una cuestin interesante que genera este trabajo es la de la variacin del nmero mximo de puntos cr o o u a ticos bajo perturbaciones pequeas del parmetro, en ambos casos de centros nitos y de centros isocronos, n a perturbaciones que cumplen con las condiciones de independencia lineal. Cabe mencionar que otro punto muy interesante en este trabajo es la tcnica moderna de Computer e Assisted Method of Proof (CAMP), es decir, el uso de software simblico matemtico (Maple en nuestro o a caso) en una computadora para la demostracin de algunos teoremas; sin esta tcnica el clculo a mano o e a de los coecientes periodo hubiera necesitado demasiado tiempo con una muy alta probabilidad de errores.

Referencias.

[CRZ ] L.A. Cherkas, V.G. Romanovskii, H. Zoladek The centre conditions for certain cubic system, Dierential Equations Dynam. Systems 5 (1997), no. 3-4, 299-302. [CJ ] C. Chicone y M. Jacobs, Bifurcation of critical periods, Trans. Amer. Math. Soc. 312 (1989),pp 433-486. [CMV ] A. Cima, F. Maosas y J. Villadelprat, Isochronicity for several classes of Hamiltonian Systems, J. n Dierential Equations 157 (1999), 373-413. [H ] M. Herv, Several complex variables, Oxford Univ. Press, 1963. e [L ] W.S. Loud, Behavior of the period of certain plane autonmous systems with centers, Contributions to Dierential Equations 3 (1964), 21-36. [MRT ] P. Mardsi, C. Rousseau y B. Toni, Linearization of isochronous centers, J. Dierential Equations e c 121 (1995), pp 67-108. [P ] I.I. Pleshkan, A new method of investigating the isochronicity of a system of two dierential equations, Dierential equations 5 (1969), pp 796-802. 11

[Po ] H. Poincar, Mmoire sur les courbes dnies par les quations dierentielles., J. de Mathmatiques e e e e e Pures et Appliques 4 (11885), pp 167-244. e [RT1 ] C. Rousseau y B. Toni, Local bifurcation of critical periods in vector elds with homogeneous nonlinearities of the third degree, Canad. Math. Bull. Vol. 36(4) 1993 pp 473-484. [RT2 ] C. Rousseau y B. Toni, Local bifurcations of critical periods in the reduced Kukles system, Can. J. Math. Vol. 49(2), 1997 pp 338-358. [T ] B. Toni, Small amplitude critical periods in a cubic polynomial system, SWJPAM Issue 2, 1999, pp 1-12.

12