Teoría de Catastrofes

Teora de catstrofes
Jess Hernndez Trujillo

Facultad de Qumica, UNAM
Marzo de 2012
Teora de catstrofes/JHT p. 1
Contenido
Espacio de configuracin.
Formas cuadrticas y cbicas.
Lemas de Morse y de Splitting.
Variedades diferenciales y transversalidad.
Teora de catstrofes:
Clasificacin de Thom.
Catstrofes de pliege y de cspide.
Catstrofe elptica umblica.
Contenido
Espacio de configuracin.
Formas cuadrticas y cbicas.
Lemas de Morse y de Splitting.
Variedades diferenciales y transversalidad.
Teora de catstrofes:
Clasificacin de Thom.
Catstrofes de pliege y de cspide.
Catstrofe elptica umblica.
Referencias
1. T. Poston, I. Stewart
Catastrophe theory and its applications
Dover Publications Inc., 1978
2. R. Gilmore
Catastrophe theory for scientists and engineers
Dover Publications Inc., 1981
Espacio de configuracin
El espacio de control en la teora de tomos en
molculas es el espacio de configuraciones nucleares
Ver: H. Goldstein, Classical

mechanics, AddisonWesley, 1980
La configuracin de un sistema est dada por los
valores de n coordenadas generalizadas q1 , q2 , . . . , qn .

La configuracin de un sistema est dada por los
valores de n coordenadas generalizadas q1 , q2 , . . . , qn .
Espacio de configuracin:
n = {(q1 , q2 , . . . , qn )}
donde hay n grados de libertad.

El movimiento del sistema se describe mediante una

trayectoria en n
Esquemticamente:
Ejemplo
Una partcula se mueve en un plano y otra en una recta
perpendicular a ste.
Formas cuadrticas
En n variables:
q(x) =
ij xi xj
ij
En forma matricial:
q(x) = xxT ,
x = (x1 , . . . , xn ) ,
()ij = ij
Al reemplazar por la matriz simtrica

M =
1
2
( + T )
es posible diagonalizar M .
Toda forma cuadrtica en n variables puede ser

reducida, mediante una transformacin lineal no sigular
de las variables, a la forma
2
d1 y12 + . . . + dn yn

2
d1 y12 + . . . + dn yn
Al hacer zi =
di yi , se obtiene
2
2
z12 + . . . + zr2 zr+1
. . . z

2
d1 y12 + . . . + dn yn
Al hacer zi =
di yi , se obtiene
2
2
z12 + . . . + zr2 zr+1
. . . z
Definiciones:
rango :
firma : = 2r = r ( r)
Cuatro tipos de formas cuadrticas para

q(x, y) = ax2 + 2bxy + cy 2 :
u2 + v 2 :
u2 v 2 :
u2 v 2 :
u2 :
u2 :
( , )= (2,2)
(2,0)
(-2,0)
(1,1)
(1,-1)
Formas cbicas
En dos variables:
c(x, y) = x3 + x2 y + xy 2 + y 3 ,
, , ,
Formas cbicas
En dos variables:
c(x, y) = x3 + x2 y + xy 2 + y 3 ,
, , ,
Cuatro tipos de formas cbicas:

u2 v v 2
u2 v + v 3
u2 v 2
u2 v
u3
Teorema (punto crtico de Morse):

Sean u n un punto crtico no degeneradoa de la funcin
suave f : n n, y U n un conjunto abierto. Existe
un sistema local de coordenadas {y1 , . . . , yn } U con
yi (u) = 0 i, tal que
2
2
f = f (u) y12 . . . yl2 + yl+1
+ . . . + yn
u U .
Aqul cuyo rango del Hessiano cumple:
=n
Teorema (punto crtico de Morse):

Sean u n un punto crtico no degeneradoa de la funcin
suave f : n n, y U n un conjunto abierto. Existe
un sistema local de coordenadas {y1 , . . . , yn } U con
yi (u) = 0 i, tal que
2
2
f = f (u) y12 . . . yl2 + yl+1
+ . . . + yn
u U . Es decir
Todo punto crtico no degenerado se puede transformar

en una lsilla de Morse.
Cuando l = n se trata de un mximo; si l = 0, de un
mnimo.
a
Aqul cuyo rango del Hessiano cumple:
=n
Teora de catstrofes
Se analiza el cambio de V : X , donde X es una
variedad (usualmente n ).
Cuando se involucra un parmetro c:
V :X
tal que (x, c) V (x, c) = Vc (x).

Se analizan familias de funciones DVc : X :
X V : X R
tales que (x, c) X V (x, c) = DVc (X)

(D : derivada en la direccin de X )
Teora de catstrofes
Se analiza el cambio de V : X , donde X es una
variedad (usualmente n ).
Cuando se involucra un parmetro c:
V :X
tal que (x, c) V (x, c) = Vc (x).

Se analizan familias de funciones DVc : X :
X V : X R
tales que (x, c) X V (x, c) = DVc (X)

(D : derivada en la direccin de X )
Cmo cambian de posicin
los puntos crticos al cambiar los parmetros de control?
Ejemplo:
V
dV /dx
Ejemplo:
V
dV /dx
HV |c 6= 0
HV |c singular
puntos regulares
X V no transversa con lnea 0

Considerar ahora la funcin

ax2 + bxy + cy 2
Grficamente, al seguir una curva (a, b, c) al variar el

parmetro se obtiene el tipo de forma cuadrtica
cono discriminante
Clasificacin de Thom
Teorema
Una familia de k parmetros de funciones suaves n ,
k < 5 es estructuralmente estable y equivalente localmente
a una de las siguientes formas:
Formas estables (no cambian al variar k)
1. No es un punto crtico: u1 .
f (x)
un cambio suave de
coordenadas tal que
f m(x x0 ) + y0
mx u
y
y0
x
x0 x
Clasificacin de Thom
Teorema
Una familia de k parmetros de funciones suaves n ,
k < 5 es estructuralmente estable y equivalente localmente
a una de las siguientes formas:
Formas estables (no cambian al variar k)
1. No es un punto crtico: u1 .
Es un punto crtico no degenerado (Morse)

u21 + . . . + u2i u2i+1 . . . u2n
Catstrofes (hay c1 , c2 , . . . , c5 parmetros)

1. Tipo cspide
k
1
2
Cola de golondrina: 3
Mariposa
4
Tienda india
5
nombre
Pliegue
Cspide:
germen (GC )
u31
u41
u51
u61
u71
perturbacin (pert)
c1 u 1
c2 u22 + c1 u1
c3 u31 + c2 u22 + c1 u1
c4 u41 + c3 u31 + c2 u21 + c1 u1
c5 u51 + c4 u41 + c3 u33 + c2 u22
+c1 u1
Catstrofes (hay c1 , c2 , . . . , c5 parmetros)

2. Tipo umblica
nombre
Umblica elptica
Umblica hiperblica
Umblica parablica
k
3
3
4
germen (GC )
u21 u2 u32
u21 u2 + u32
(u21 u2 + u42 )
Segunda umblica
elptica:
Segunda umblica
hiperblica:
Umblica simblica
u21 u2 u52
u21 u2 + u52
(u31 + u42 )
perturbacin (pert)
c3 u21 + c2 u2 + c1 u1
c3 u21 + c2 u2 + c1 u1
c4 u22 + c3 u21 + c2 u2
+c1 u1
c5 u32 + c4 u22 + c3 u21
+c2 u2 + c1 u1
c5 u32 + c4 u22 + c3 u21
+c2 u2 + c1 u1
c5 u1 u22 + c4 u22 + c3 u1 u2
+c2 u2 + c1 u1
En resumen:
DV 6= 0:
V = u1 .
En resumen:
DV 6= 0:
V = u1 .
DV = 0 y det(HV ) 6= 0: Lema de Morse.
En resumen:
DV 6= 0:
V = u1 .
DV = 0 y det(HV ) 6= 0: Lema de Morse.
DV = 0 y det(HV ) = 0: V (x, c) con x n ,

c k es de la forma (lema de splitting):
V (u; c) = fN M (u1 , . . . , ul , c) +
n
X
j u2j
j=l+1
La catstrofe ocurre en c = co .
En resumen:
Si k 5
V = cat(l, k) +
n
X
j u2j
j=l+1
donde
cat(l, k) = GC(l) +
pert(l, k)
afecta el comportamiento
cualitativo de V
Ejemplo:
Considerar una funcin V : 10 3 (10
variables, 3 parmetros de control).
Considerar que (x01 , . . . , x010 ) es un punto crtico
singular y que HV tiene rango 8, con 5 valores
propios positivos y 3 negativos.
Cul es el carcter local de V (x, c)?
Ejemplo:
Considerar una funcin V : 10 3 (10
variables, 3 parmetros de control).
Considerar que (x01 , . . . , x010 ) es un punto crtico
singular y que HV tiene rango 8, con 5 valores
propios positivos y 3 negativos.
Cul es el carcter local de V (x, c)?
En este caso, l = 2, k = 3.
Por lo tanto, se trata de la catstrofe umblica elptica
o la hiperblica:
V = u21 u2 u32 + c3 u21 + c2 u2 + tc u1 +
10
X
j u2j
j=3
Adems:
Sea la familia de funciones V : n k ,
V (x, c) = V (c), donde x n , c k .
Variedad catstrofe:
M = {x S|DVc (x) = 0}
Adems:
Variedad catstrofe:
M = {x S|DVc (x) = 0}
El conjunto de puntos c k que parametrizan a la

familia de funciones con puntos crticos degenerados
se llama conjunto de bifurcacin, B .
Adems:
Variedad catstrofe:
M = {x S|DVc (x) = 0}

B divide k en conjuntos abiertos.
Adems:
Variedad catstrofe:
M = {x S|DVc (x) = 0}

B divide k en conjuntos abiertos.
La separatriz define regiones de funciones tipo Morse.

Catstrofe de pliege
La forma general de la catstrofe es
V (x, a) = Va (x) =
1
3
x3 + ax
El parmetro a provoca el cambio catastrfico en Va (x).
Catstrofe de pliege
V (x, a) = Va (x) =
1
3
x3 + ax

La variedad catstrofe M se obtiene al resolver
dVa (x)
dx
= x2 + a = 0
Catstrofe de pliege
V (x, a) = Va (x) =
1
3
x3 + ax

La variedad catstrofe M se obtiene al resolver
dVa (x)
dx
= x2 + a = 0
Se trata de la parbola
a = x2
Adems:
d 2 Va
dx2
= 2x
Adems:
d 2 Va
dx2
= 2x
Es decir, HVa es degenerado en x = 0.
Adems:
d 2 Va
dx2
= 2x

El conjunto de bifurcacin es el punto de pliegue,
a = 0.
Adems:
d 2 Va
dx2
= 2x

El conjunto de bifurcacin es el punto de pliegue,
a = 0.
El punto aislado a = 0 es la separatriz en el espacio de
control entre funciones cualitativamente diferentes.
punto de pliegue
(separatriz)
Grficamente:
dos puntos crticos
cero puntos crticos

punto de pliegue
(separatriz)
Grficamente:
dos puntos crticos
En la
TCAEM,
esta
catstrofe
ocurre al
romper un
anillo
cero puntos crticos

Catstrofe de cspide
V (x, a) = Va (x) =
1
4
x +
1
2
ax2 + bx
La variedad catstrofe se obtiene al resolver

dVab (x)
dx
= x3 + ax + b = 0
Las degeneraciones de los puntos crticos se obtienen a

partir de
d2 Vab (x)/dx2 = 3x2 + a = 0
d3 Vab (x)/dx3 = 6x
=0
Por ejemplo, las dos primeras condiciones implican

a = 3x2 ,
b = 2x3
Por lo tanto:
a 2
3
2
b
+
=0
2
Grficamente
Catstrofe de umblica elptica

V (x, a) = Vabc (x, y) = x3 3xy 2 + a(x2 + y 2 ) + bx + cy
La variedad catstrofe es
Vabc (x, y)/x = 3x2 3y 2 + 2ax + b = 0
Vabc (x, y)/y = 6xy + 2ay + c
=0
Catstrofe de umblica elptica

V (x, a) = Vabc (x, y) = x3 3xy 2 + a(x2 + y 2 ) + bx + cy
La variedad catstrofe es
Vabc (x, y)/x = 3x2 3y 2 + 2ax + b = 0
Vabc (x, y)/y = 6xy + 2ay + c
=0
Para obtener las separatrices en el espacio de control:

1. Se toma en cuenta a las singularidades del Hessiano
de Vabc .
2. Se asignan valores especficos a los parmetros a, b, c.
Grficamente
continuacin . . .

Teoría de Catastrofes

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Teoría de Catastrofes

Încărcat de

Drepturi de autor:

Formate disponibile

Teora de catstrofes

Jess Hernndez Trujillo

Ver: H. Goldstein, Classical

Ver: H. Goldstein, Classical

donde hay n grados de libertad.

El movimiento del sistema se describe mediante una

Al reemplazar por la matriz simtrica

Toda forma cuadrtica en n variables puede ser

Toda forma cuadrtica en n variables puede ser

Toda forma cuadrtica en n variables puede ser

Cuatro tipos de formas cuadrticas para

Cuatro tipos de formas cbicas:

Teorema (punto crtico de Morse):

Aqul cuyo rango del Hessiano cumple:

Teorema (punto crtico de Morse):

Todo punto crtico no degenerado se puede transformar

Aqul cuyo rango del Hessiano cumple:

tal que (x, c) V (x, c) = Vc (x).

tales que (x, c) X V (x, c) = DVc (X)

tal que (x, c) V (x, c) = Vc (x).

tales que (x, c) X V (x, c) = DVc (X)

X V no transversa con lnea 0

Considerar ahora la funcin

Grficamente, al seguir una curva (a, b, c) al variar el

coordenadas tal que

Es un punto crtico no degenerado (Morse)

Catstrofes (hay c1 , c2 , . . . , c5 parmetros)

Catstrofes (hay c1 , c2 , . . . , c5 parmetros)

DV = 0 y det(HV ) 6= 0: Lema de Morse.

DV = 0 y det(HV ) 6= 0: Lema de Morse.

DV = 0 y det(HV ) = 0: V (x, c) con x n ,

El conjunto de puntos c k que parametrizan a la

El conjunto de puntos c k que parametrizan a la

El conjunto de puntos c k que parametrizan a la

La separatriz define regiones de funciones tipo Morse.

El parmetro a provoca el cambio catastrfico en Va (x).

El parmetro a provoca el cambio catastrfico en Va (x).

El parmetro a provoca el cambio catastrfico en Va (x).

Es decir, HVa es degenerado en x = 0.

Es decir, HVa es degenerado en x = 0.

Es decir, HVa es degenerado en x = 0.

dos puntos crticos

cero puntos crticos

dos puntos crticos

cero puntos crticos

La variedad catstrofe se obtiene al resolver

Las degeneraciones de los puntos crticos se obtienen a

Por ejemplo, las dos primeras condiciones implican

Catstrofe de umblica elptica

Catstrofe de umblica elptica

Para obtener las separatrices en el espacio de control:

S-ar putea să vă placă și