Documente Academic
Documente Profesional
Documente Cultură
TESIS
que para obtener el ttulo de
Licenciado en Matem
aticas
P R E S E N T A:
Director de tesis:
Dr. Hugo Cabrera Ibarra.
Indice general
1. Objetivo
1.1. Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Preliminares
2.1. Teora de nudos . . . . . . . . . . . . . .
2.1.1. Definiciones b
asicas . . . . . . .
2.1.2. Nudos anfiqueirales . . . . . . . .
2.1.3. Nudos d
ociles vs. nudos salvajes
2.1.4. Suma conexa de nudos . . . . . .
2.1.5. Enlaces . . . . . . . . . . . . . .
2.1.6. Diagramas regulares . . . . . . .
2.1.7. Invariantes de nudos . . . . . . .
2.1.8. N
umero de enlace . . . . . . . .
2.2. Trenzas . . . . . . . . . . . . . . . . . .
2.2.1. Presentaci
on de Bn . . . . . . . .
2.3. Relaci
on entre nudos y trenzas . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
7
7
7
9
9
10
11
11
12
14
16
18
20
3. Sistemas din
amicos
25
3.1. Clasificaci
on de los sistemas din
amicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2. Existencia y unicidad de soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3. Estabilidad de los sistemas din
amicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4. Sistemas din
amicos para trenzas
29
4.1. Funciones C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.2. Representaci
on de trenzas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5. Soluci
on Num
erica del Sistema Din
amico
33
5.1. Creaci
on de una cuerda. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.2. Creaci
on de dos cuerdas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6. Sistema de EDOS para representaci
on de nudos
49
6.1. Representaci
on de un enlace doble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
7. Conclusiones
51
8.Bibliografa
51
3
INDICE GENERAL
Captulo 1
Objetivo
El objetivo principal de esta tesis es la construccion de un sistema dinamico representado como un conjunto
de ecuaciones diferenciales ordinarias, las que para ciertas condiciones iniciales tengan como solucion un nudo
en R3 . Para resolver este sistema se usar
an metodos numericos implementados por medio del software Octave;
dicha soluci
on se vera de manera gr
afica como un nudo en R3 . Se llevara a cabo esto u
ltimo estableciendo
primero un sistema de ecuaciones diferenciales ordinarias que contenga a alguna cuerda de una trenza. Despues
se obtendr
a un u
nico sistema de ecuaciones que sera usado para construir un nuevo sistema dinamico definido
3
en todo R el cual bajo ciertas condiciones iniciales tendra como solucion a una trenza. Por u
ltimo se buscar
an
soluciones peri
odicas; esto con el fin de obtener la cerradura de una trenza que sera equivalente a un nudo
en R3 .
Para obtener de forma explcita las ecuaciones diferenciales que conformaran el sistema dinamico y en el cual
esten contenidas las trenzas, usaremos un tipo particular de funciones, las cuales nos permitiran construir un
tubo-vecindad en cada cuerda que componga a la trenza de tal suerte que se eviten intersecciones entre las
cuerdas que la conforman.
En la Figura 1.1 se puede observar la cerradura de una trenza
1.1.
Introducci
on
Como se mencion
o en la secci
on anterior se pretende encontrar una relacion entre los sistemas dinamicos y los
nudos, entonces la idea clave que permitira encontrar dicha relacion es la siguiente:
Una
orbita cerrada (peri
odica) descrita en un flujo tridimensional es un embebimiento del crculo S1 dentro
de una 3-variedad el cu
al constituye el estado fase del sistema; de esta manera las soluciones periodicas del
sistema din
amico pueden estar anudadas. Es ampliamente conocido el hecho que un nudo puede ser expresado
5
CAPITULO 1. OBJETIVO
en terminos de cerradura de trenzas; a partir de este hecho, nuestro objetivo es expresar de forma general
y explcita trenzas por medio de un sistema de ecuaciones diferenciales ordinarias en un intervalo de tiempo
finito, posteriormente al hacer la soluci
on periodica, dada una condicion inicial particular obtendremos el nudo
deseado.
Para lograr el objetivo (representar trenzas por medio de un sistema dinamico), se usaran funciones de clase
C (i.e funciones que son infinitamente diferenciables), las cuales nos permitiran realizar el giro necesario
para que cada componente de la trenza se exprese, como se muestra en la Figura 1.2.
Con esto se encontrar
a que cualquier trenza esta dada por la ecuacion siguiente
x =
fi (x, y, z)
y =
gi (x, y, z)
z = c
Donde c es una constante y f g son funciones de clase C cuyo valor es igual a 1 en alg
un intervalo (, a) y
con valor 0 en otro intervalo (b, ) , con a < b. Dado el conjunto de ecuaciones diferenciales ordinarias mencionadas anteriormente, se definir
a el sistema dinamico como la suma sucesiva de funciones C (combinadas
de una manera adecuada dependiendo de la trenza que queramos representar). Para poder expresar alg
un
nudo en terminos de cerradura de una trenza, en las siguientes secciones se proporcionara un algoritmo que
nos posibilite cumplir la finalidad planteada. En el Captulo 4 describiremos la idea general de como lograr
un sistema din
amico que nos permita obtener trenzas; por u
ltimo en la Captulo 5 y 6 se mostrara de manera
general como usar los tubos-vecindad para crear un solo sistema dinamico, el cual exhibira por completo a la
trenza, la que se emplear
a para cerrar dichas trenzas y obtener el nudo pretendido.
Captulo 2
Preliminares
2.1.
2.1.1.
Teora de nudos
Definiciones b
asicas
En esta secci
on abordaremos los conceptos elementales de la teora de nudos, los cuales junto con los conceptos
de trenzas y sistemas din
amicos ser
an la base sobre la que se desarrollara el tema de la presente tesis. Para
un estudio minucioso de estas definiciones se pueden consultar la Seccion 3.1 y el Captulo 4.
Definici
on. El subconjunto K R3 es un nudo si existe un homeomorfismo del crculo unitario S 1 en R3
cuya imagen es K. Donde S 1 es el conjunto de puntos (x , y , 0) en el plano que satisface la ecuacion x2 +y 2 = 1.
En la Figura 2.1 se puede ver ejemplos de nudos.
CAPITULO 2. PRELIMINARES
2.1.2.
Nudos anfiqueirales
Dada la discusi
on anterior, la experiencia fsica nos dice que los treboles dextrogiro y levogiro no son equivalentes, sin embargo existen nudos que s lo son a su imagen en el espejo; un ejemplo de esto lo podemos
encontrar en elnudo 8, el nudo 8 dextr
ogiro se puede transformar en el nudo 8 levogiro como el que se muestra
en la figura 2.5. Dado lo anterior damos la siguiente definicion.
Definici
on. Un nudo K es anfiqueiral si existe un homeomorfismo que invierte la orientacion:
h : R3 R3 y que cumple que h(K) = K.
2.1.3.
Nudos d
ociles vs. nudos salvajes
En el presente trabajo de tesis se restringira el estudio a una clase de nudos, los nudos dociles, los que
posteriormente se representar
an mediante un sistema dinamico1 . A continuacion se otorga la definicion de esta
clase de nudos.
1 Una
definici
on precisa sobre esto se desarrolla en en el captulo 4
CAPITULO 2. PRELIMINARES
10
Definici
on. Un nudo poligonal es aquel formado por una union finita de segmentos de recta llamados aristas
cuyos puntos extremos son los v
ertices del nudo. Un nudo es docil si es equivalente a uno poligonal. Los nudos
que no son d
ociles se llaman salvajes.
Los ejemplos anteriores que se han presentado, son nudos dociles, en la Figura 2.6 se da un ejemplo de lo que
es un nudo salvaje.
2.1.4.
Dados dos nudos orientados K1 y K2 se puede definir una operacion entre ellos que permita crear un nuevo
nudo, a este mecanismo se le nombrara la suma conexa de los nudos K1 y K2 , la que se denotar
a por
K1 #K2 . Este nuevo nudo creado por medio de la suma conexa se obtiene al suprimir un intervalo en cada
nudo presente en la suma conexa para despues insertarlos a lo largo de este intervalo, de tal forma que las
orientaciones coincidan como lo muestra la Figura 2.7. Se dice que un nudo es nudo primo si no puede
expresarse como K1 #K2 donde K1 y K2 son nudos no triviales.
11
Figura 2.8: Manera en la que se lleva a cabo la suma conexa de dos nudos.
2.1.5.
Enlaces
Definici
on. Un enlace es una colecci
on ordenada finita de nudos entre los cuales no hay interseccion alguna.
Cada nudo Ki se dice que es una componente del enlace. En la Figura 2.9 se presentan ejemplos de enlaces.
Figura 2.9: Ejemplos de enlaces: en la Figura (a) se representan los anillos de Boromeo: tres nudos enlazados,
en (b) el nudo trivial, es el u
nico nudo que compone al enlace
As como existe una manera de saber si dados dos nudos, estos son equivalentes entre s, para los enlaces
tambien existe una forma de saber si dos enlaces son equivalentes.
Definici
on. Dos enlaces L = {K1 , K2 , , Km } y L0 = {K10 , K20 , , Kn0 } son equivalentes si se satisfacen
las siguientes condiciones:
1. m = n, es decir, L y L0 tienen el mismo n
umero de componentes.
2. Existe un homeomorfismo de R3 en s mismo que preserva la orientacion que manda la colecci
on K1
0
0
Km en la colecci
on K1 Kn .
2.1.6.
Diagramas regulares
A un nudo generalmente lo especifica una proyeccion, de hecho todos los ejemplos presentados son proyecciones
de los nudos correspondientes.Consideremos la proyeccion paralela dada por
CAPITULO 2. PRELIMINARES
12
: R3 R3
(x, y, z) = (x, y, 0).
2.1.7.
Invariantes de nudos
Un mecanismo para determinar si dados dos nudos son o no equivalentes entre ellos, es buscar alguna propiedad
de los nudos que se mantenga cuando los nudos se deformen y as saber que dichos nudos no son equivalentes.
A esta propiedad se le conoce como invariante de nudos.
En general, un invariante de nudos es una condicion necesaria, esto es:
13
demostraci
on de
este hecho se puede encontrar en [2]
CAPITULO 2. PRELIMINARES
14
2.1.8.
N
umero de enlace
A continuaci
on se ver
a un invariante para enlaces orientados denominado como el n
umero de enlace,
que pretende medir que tanto dos curvas se enredan una en la otra. En este invariante se asignara el valor +1
o 1 a los puntos de cruce de un diagrama regular orientado con lo que podemos definir la nocion de cruce
15
Figura 2.14: Equivalencia de dos nudos triviales por medio de movidas de Reidemeister
lk (K1 , K2 ) =
1
2
sign(p).
(2.1)
p K1 uK2
Se denota como K2 la componente K2 del enlace L = lk(K1 , K2 ). Con esto se tiene que el n
umero de
enlace depende de la orientaci
on del diagrama D.
N
umero de Coloraci
on
Definici
on. Sea D el diagrama regular de un nudo ( o enlace) K. Se dice que el diagrama D del nudo es
tricoloreable si al colorear los arcos de D con tres colores distintos ( por ejemplo: rojo,amarillo, naranja), se
tiene que en cada uno de los puntos de cruce, se cumple:
1. Est
an presentes los tres colores mencionados anteriormente.
2. Aparece s
olo un color de los citados.
Dado un nudo K, tal que, existe un diagrama regular de K que sea tricoloreable,se puede probar que si se
cumple que todo diagrama regular de cualquier otro nudo tambien lo es, entonces se tiene que ambos nudos
son tricoloreables. Esta propiedad es un invariante de nudos. [2]
Como ejemplo de un nudo tricoloreable tomemos el nudo trebol y representemos su diagrama en la Figura
2.16.
CAPITULO 2. PRELIMINARES
16
Figura 2.16: El nudo trebol a la izquuierda de la grafica es tricoloreable, a la derecha el nudo ocho no es
tricoloreable, se necesitan 4 colores distintos para colorearlo
Como se puede observar el nudo trebol es tricoloreable, en la Figura 2.16 se representa el diagrama regular
del nudo 8 el cual no lo es, al ser esta propiedad un invariante de nudos, se tiene que dichos nudos no son
equivalentes.
2.2.
Trenzas
Figura 2.17: Gr
afica de la reprsentacion de una n-trenza dentro de un cubo
guno de los puntos A1 , A2 , , An , de la cara superior y finaliza cada una de las cuerdas en alg
un punto
0
0
0
A1 , A2 , , An de la cara inferior del cubo B. Se considera que dos trenzas son equivalentes si una puede ser
deformada en la otra a traves de isotopas que fijan los puntos extremos de las cuerdas.
As como los nudos se pueden representar por diagramas regulares, similarmente se consigue obtener el de una
trenza. El procedimiento para representar una trenza por medio de un diagrama regular es el siguiente:
Los puntos A1 , A2 , , An se unen de forma directa por segmentos de lneas a los puntos A01 , A02 , , A0n .
De esta forma se obtiene una trenza particular, llamada la n-trenza trivial,la que se puede ver en la Figura
2.18.
Si se supone que para una n trenza se conectan las cuerdas como sigue: A1 con Ai1 , A2 con Ai2 , , An
con Ain . Entonces podemos asignar a la trenza la permutacion:
2.2. TRENZAS
17
1
i1
2
i2
n
in
A esta permutaci
on la llamaremos la permutacion de la trenza .
Se puede observar que la permutaci
on de la n-trenza trivial es la permutacion identidad. Sea Bn el conjunto
de todas las clases de equivalencia de las n-trenzas. Si se toman dos elementos y del conjunto Bn , se puede
definir el producto de dos n-trenzas y . La manera de llevar a cabo esto es la que se describe a continuaci
on:
Se une la base del cubo que contiene a la trenza con la cara superior del cubo que contiene al trenza , de
esta forma se obtiene un paraleleppedo que contiene una nueva trenza, la que se nombrara como el producto
de las trenzas y , y se denota dicho producto como , vease la Figura 2.19. En general el producto no es
conmutativo, es decir no se cumple que = .
CAPITULO 2. PRELIMINARES
18
2.2.1.
Presentaci
on de Bn
ha|a3 = 1i
.
2.2. TRENZAS
19
hb
x|b
ri
.
A las combinaciones posibles de los elementos de rb, se les llama la consecuencia de rb. Por ejemplo, si tenemos
las relaciones rb = a3 = 1 , b = a2 entonces ba = 1 es una consecuencia de rb.
Un grupo puede tener muchas presentaciones diferentes y una cuestion importante al respecto es saber cuando
dos presentaciones diferentes corresponden al mismo grupo.
Definici
on. Decimos que dos presentaciones son equivalentes si corresponden a grupos isomorfos.
Veamos ahora c
omo es la estructura del grupo de trenzas. En primer lugar el grupo de 1-trenzas B1 contiene
solamente un elemento: la 1-trenza trivial. Por lo tanto B1 = e. Para n 2, los grupos Bn son de orden
infinito, es decir, tienen un n
umero no finito de elementos. A pesar de esto, existe una manera muy f
acil de
describir los elementos de Bn dando una presentacion.
Como vimos en el inicio de esta secci
on, para dar una presentacion, necesitamos dar la lista de generadores y
las relaciones que satisfacen.
El grupo de n-trenzas Bn tiene n 1 generadores denotados por i (i = 1, . . . , n 1) dados de la siguiente
manera: El generador i es la trenza que conecta a Ai con A0i+1 , a Ai+1 con A0i (este segundo cruza por
arriba) y conecta los restantes Aj con A0j mediante lineas rectas. En la Figura 2.22 se muestra el diagrama del
generador i y su inverso.
Al multiplicar dichos generadores se obtienen elementos del grupo de trenzas. Recprocamente, todo elemento
CAPITULO 2. PRELIMINARES
20
2.3.
1 j = j 1
1 , . . . , n1 |
i i+1 i = i+1 i i+1
(|i j| 2)
(i = 1, 2, . . . , n 2)
Relaci
on entre nudos y trenzas
2.3.
21
CAPITULO 2. PRELIMINARES
22
(pero no en un punto de cruce). Jalemos las partes finales este corte, de tal manera que se obtenga ahora un
diagrama regular de T (1, 1) ovillo. Vease la Figura 2.27.
Se demuestra a continuaci
on la manera de transformar este ovillo en una trenza . N
otese primero, que el
2.3.
23
Figura 2.29: Uso del teorema de Alexander para pasar de un nudo a un trenza.
como nudos o enlaces. Sin embargo es posible obtener nudos (o enlaces) equivalentes a partir de dos trenzas que
no lo son. Un ejemplo de ello esta dado por la trenza trivial e B1 y el generador 1 B2 , cuyas cerraduras
nos dan el nudo trivial, a pesar de que la primera es una 1-trenza y la segunda una 2-trenza, de ah que no
son equivalentes. De donde se infiere que, si se pretende aplicar la teora de trenzas a la teora de nudos, se
debe explicar claramente cu
al es la clase de trenzas cuya cerraduras nos dan nudos equivalentes. Para ello
introduciremos el concepto de M-equivalencia y los movimientos de Markov.
Definici
on. Sea B la uni
on de los grupos B1 , B2 , . . . , Bn , . . . , es decir,
B =
Bk
k1
CAPITULO 2. PRELIMINARES
24
Captulo 3
Sistemas din
amicos
Los sistemas din
amicos son sistemas cuyos parametros internos (variables de estado) siguen una serie de reglas
temporales. Se denominan sistemas porque estan descritos por un conjunto de ecuaciones (sistema) y din
amicos
ya que sus par
ametros varan con respecto a alguna variable t, que generalmente es el tiempo. El estudio de
los sistemas din
amicos puede dividirse en 3 areas:
1. Din
amica aplicada: modelado de procesos por medio de ecuaciones de estado que relacionan estados
pasados con estados futuros.
2. Matem
aticas de la din
amica: se enfoca en el analisis cualitativo del modelo dinamico.
3. Din
amica experimental: experimentos en laboratorio, simulaciones en computadora de modelos din
amicos.
En este trabajo se enfocara en el estudio de las matematicas de la dinamica.
3.1.
Clasificaci
on de los sistemas din
amicos
CAPITULO 3. SISTEMAS DINAMICOS
26
2. Sistema din
amico no aut
onomo. Es un sistema donde la variable t aparece de forma explcita en
dx
el sistema de ecuaciones diferenciales ordinarias como
= f (x, t)donde x U Rn y t R. Como
dt
ejemplo se muestra el siguiente sistema de 2 ecuaciones diferenciales ordinarias:
x = 2xt
y = 3x + y
3.2.
A continuaci
on, se dar
an algunos resultados basicos relativos a la existencia y unicidad de sistemas din
amicos
(o de las soluciones de ecuaciones diferenciales ordinarias, si se prefiere). Para ello, se considera un sistema de
ecuaciones no aut
onomo:
x = f (t, x).
(3.1)
(3.2)
En seguida se demostrar
a que f es Lipschitz continua en X y que M es un coeficiente de Lipschitz para f en
X. Sean x1 , x2 X. Hay tres casos: x1 < x2 , x1 = x2 y x1 > x2 . Primero se considera el caso x1 < x2 .
Aplicando el teorema del valor intermedio a la funcion f en el intervalo [x1 , x2 ], existe un punto c (x1 , x2 ) tal
que f (x2 ) f (x1 ) = f 0 (c)(x2 x1 ). Notemos que c (x1 , x2 ) int(X). Sacando el valor absoluto y aplicando
la hip
otesis (3.2) obtenemos que |f (x2 ) f (x1 )| = | f 0 (c)|| (x2 x1 )| M |(x2 x1 )|. El caso (x1 > x2 ) se
considera de manera similar (s
olo se intercambian los papeles de x1 y x2 ), y en el caso x1 = x2 tenemos que
|f (x2 ) f (x1 | = 0 = M |x2 x1 |.
Proposici
on. Cualquier funci
on continuamente diferenciable en un intervalo finito cerrado es Lipschitz continua. Sea f C 1 en [a, b], esto es, f es derivable en [a, b] y f 0 es continua en [a, b]. Entonces f es Lipschitz
continua en [a, b].
Demostraci
on. Se sabe que una funci
on continua en un intervalo finito y cerrado es acotada. Por consecuen0
cia, f es acotada, y podemos aplicar la proposicion anterior.
Una vez establecidas las dos proposiciones anteriores, se procede ha enunciar los siguientes teoremas.
Teorema 1. Sea (t0 , x0 ) U . Entonces existe una solucion de (3.1) que pasa por el punto x0 en t = t0 ,
denotada por x(t, t0 , c0 ), con | t t0 | suficientemente peque
no. Esta solucion es u
nica en el sentido de que
cualquier otra soluci
on de (3.1) que pase por x0 en t = t0 debe ser igual a x(t, t0 , x0 ) en su intervalo de
definici
on en com
un.
En otros terminos, las
orbitas de X coinciden o son disjuntas. Esto es, el abierto U se puede descomponer en
una uni
on disjunta de curvas diferenciables, pudiendo cada una de ellas ser:
3.3. ESTABILIDAD DE LOS SISTEMAS DINAMICOS
27
3.3.
Para visualizar el comportamiento de las variables de estado de un sistema dinamico se puede hacer en forma de
serie de tiempo (gr
afica de una variable de estado vs. tiempo), o en forma de espacio fase. El espacio fase de un
sistema n-dimensional x = F (x) es el lugar donde todos los posibles estados de un sistema son representados,
cada variable dependiente del sistema se representa como un eje de un espacio multidimensional y cada punto
equivale a cada posible estado de las variables del mismo. En este tipo de representacion el tiempo se vuelve
un par
ametro implcito.
El espacio fase est
a descrito por un campo vectorial. Un campo vectorial en Rn es una funcion que asigna
a cada punto en Rn un vector n-dimensional.
Se dice que una singularidad (puntos, ciclos o subconjuntos del espacio fase) del espacio fase es estable,
sumidero o atractor si toda trayectoria que comienza cerca de ella se aproxima a tal singularidad conforme el
tiempo transcurre. De hecho si dicha region atrae a todas las trayectorias del espacio fase, recibe el nombre
de atractor global.
Una singularidad del espacio fase es Liapunov-estable si todas las trayectorias que comienzan suficientemente
cercanas a ella se mantienen cercanas a esta durante todo el tiempo.
Por u
ltimo, una singularidad es inestable, repulsor o fuente cuando no es ni atractor ni Lyapunov-estable, es
decir, las trayectorias que inician cercanas a ella divergen conforme pasa el tiempo.
Las singularidades x para las cuales x = F (x) = 0 son llamadas puntos fijos o crticos; en estos puntos el
campo vectorial que determina la direcci
on de las trayectorias en el espacio fase es nulo.
28
Captulo 4
Sistemas din
amicos para trenzas
La finalidad de este captulo es establecer un conjunto de sistemas dinamicos los cuales contendr
an como
soluci
on a alguna trenza, en la que la clausura sea equivalente a alg
un nudo (como se establecio en el teorema
de Alexander). Las soluciones del sistema dinamico seran representadas en el espacio R3 . La idea clave es
mediante sistemas din
amicos definir el comportamiento de las cuerdas y de esta manera describir a una
determinada trenza.
4.1.
Funciones C
En esta secci
on se dar
a la construcci
on de una funcion de clase C , la que posteriormente se usara a lo largo
de este y los siguientes captulos para fabricar un sistema dinamico particular. Para esto se hace uso de las
definiciones que se enuncian enseguida.
Definici
on. Una transformaci
on diferenciable : O O0 se llama un difeomorfismo de O en O0 si es
diferenciable,uno a uno, sobreyectiva y su transformacion inversa 1 es diferenciable.
Lema. Si A y B son dos subconjuntos disjuntos de Rm , entonces existe una funcion infinitamente diferenciable
la cu
al es identicamente 1 en el conjunto A y 0 en el conjunto B.
Se exhibe a continuaci
on una funci
on que cumpla las caractersticas enunciadas en el lema anterior:
Dados a, b R, tal que 0 < a < b, t
omese el conjunto A = (, a) y el conjunto B = (b, ). Adem
as se
considera la siguiente funci
on f en R como sigue:
1
1
exp
si a < x < b
xb xa
f (x) =
0
otro caso
(4.1)
de clase C en estos puntos del dominio de la funcion. Ahora cuando a < t < b, la funcion es infinitamente
ba
diferenciable puesto que f (t) se puede escribir como composicion de funciones h(t) =
; t 6= a 6= b
(t b)(t a)
y g(t) = exp(t), ambas funciones infinitamente diferenciables y por ende f (t) = g( h(t)) tambien lo es. Resta
ver que f es continua e infinitamente diferenciable en los puntos t = a y t = b. En las siguientes lneas se
presenta la prueba de que esto se cumple cuando t
= a ; la demostraci
on de cuando t = b es similar.
ba
i) Continuidad de f en t = a. lm f (t) = lm exp
(t b)(t a)
ta+
ta+
29
CAPITULO 4. SISTEMAS DINAMICOS
PARA TRENZAS
30
Puesto que a < t < b entonces t a > 0 y t b < 0, de este modo lm+ (t b)(t a) = 0 y se tiene
ta
ba
lm exp
= 0 entonces lm+ f (t) = lm f (t) = f (a) = 0 entonces f es continua en t = a.
(t b)(t a)
ta+
ta
ta
ii) lm f (t) = 0
ta
1
ba
1
= exp
. Sea u(t) =
Cuando a < t < b se tiene que f (t) = exp
(t b)
(t a)
(t b)(t a)
r
(t b)(t a) se tiene en consecuencia que f (t) = exp
donde r = b a.
u(t)
d r
r
2
en conEntonces du
dt = 2t (a + b) = 2t c con c = a + b con lo que dt ( u ) = u2 (2t c) = (2rt rc) u
r
r
0
2
0
2
secuencia f = (2rt rc)u exp( u ) por lo tanto f = p1 t u exp( u ), donde p1 (t) = (2rt rc), r, c R
es un polinomio en t con subndice 1 en p1 (t) correspondiente al orden de la derivada en f 0 (t).
Dado lo anterior, se tiene que:
f 00 (t) = ( p01 (t)u2 + (2c 4t) p1 (t)u 4r p1 (t))( u4 exp( ur ) = p2 (t)u4 exp(df racru), donde p2 (t) es un polinomio en t con subndice 2 que corresponde al orden de f 00 (t).
Sup
ongase que esto es v
alido para n = k 1, i.e
f k1 (t) = pk1 (t)u2(k1) exp( ur ) por lo que f k (t) = ( p0k (t)u2 + (2c 4t) pk (t)u 4r pk (t))( u2k exp( ur ) =
pk (t)u2k exp( ur ), donde pk (t) es un polinomio con el subndice k correspondiente al orden de f k (t). Con lo
que se prueba que tambien es v
alido para n = k.
r
Consecuentemente k N se tiene que lm f k (t) = lm (pk (t)u2k exp( ) = pk (a) 0 ( por la regla de
+
+
u
ta
ta
LHospital: u2k exp( ur ) 0 cuando t a).
Por otro lado tenemos que lm f k (t) = 0 lm f k (t) = lm f k (t)lm f (t) = 0.
ta
ta
ta+
ta
Por u
ltimo se prueba que f k (a) existe y es igual a cero para todo k N.
r
(t b)(t a)
ta
exp
f (t) f (a)
f (t)
La demostraci
on se har
a por inducci
on. N
otese que f (a) = lm
= lm
=
=
ta
ta t a
ta
0.
Sup
ongase que esto v
alido para n = k
f k (t)
1
r
f k (t) f k (a)
= lm
= lm
pk (t)u2k exp( ) = 0 con lo que se sigue
Entonces f k+1 (a) = lm
ta
ta
ta
ta
ta
ta
u
quef es infinitamente diferenciable.
Usando la funci
on f , se fabrica la siguiente funcion:
Rb
F (x) = Rxb
a
f (t)dt
f (t)dt
La cual toma el valor de 1 para todo x R tal que x a y 0 para x b. Esta funcion tambien es de clase
C . Esto como consecuencia del teorema fundamental del calculo (TFC), puesto que si
Rb
f (t)dt
F (x) = Rxb
= por el TFC se tiene que F 0 existe y cumple
f (t)dt
a
f (t)
0
F (t) = R b
, como f (t) es continua, se deduce que F 0 existe y es continua; inductivamente se tiene que
f (t)dt
a
F k existe y es continua para todo k en los naturales, esto a causa del TFM y lo demostrado anteriormente.
Con todo lo anterior,se implementa la funcion en Rm como:
(4.2)
DE TRENZAS
4.2. REPRESENTACION
31
Donde se tiene que es diferenciable y toma el valor de 1 para x21 + + x2m a y 0 para x21 + + x2m b,
que de manera abreviada y haciendo abuso de notacion se escribira como (x; a, b).
4.2.
Representaci
on de trenzas
En esta secci
on se pretende encontrar un sistema dinamico el cual contendra a alguna trenza, la que ser
a obtenida a traves del teorema de Alexander a partir de alg
un nudo dado. Usando el sistema coordenado de la
Figura 4.1 se puede observar que una trenza esta compuesta por diversas cuerdas, cada una de las cuales
presenta al menos un giro en una cierta franja vertical ( en un intervalo de la coordenada z). Por lo tanto si se
puede encontrar un sistema din
amico que represente este giro, entonces solo bastara repetir el proceso para
conseguir el numero apropiado de giros que componen a la trenza.
El sistema de ecuaciones diferenciales que se establece de forma general para cada cuerda es el siguiente:
dx
= G1 (x, y, t)
dt
dy
= G2 (x, y, t)
dt
dz
= G3 (x, y, t)
dt
Donde G1 , G2 , G3 son funciones de x, y, t. En el caso de G3 se tomara como un valor constante de c = 1.
A continuaci
on se detalla la manera de como obtener el sistema de ecuaciones diferenciales, estableciendo
a < b < c; a, b, c R
(4.3)
Esto u
ltimo permite obtener un giro en la cuerda, de tal forma que en el plano xz exista una trayectoria
descendente, como se observa en la Figura 4.2 (en la cual el tiempo va de 2 < t < 3 ).
Si se quiere obtener un comportamiento ascendente, la ecuacion para x es:
x = (t; b, c) (t; a, b)
a < b < c; a, b, c R
(4.4)
CAPITULO 4. SISTEMAS DINAMICOS
PARA TRENZAS
32
Figura 4.2: Gr
afica de x vs t donde t esta ubicado en el eje horizontal
De manera similar mediante funciones C combinadas de una manera adecuada se consigue lo buscado para
la coordenada y de la siguiente forma:
a+b
b+c
b+c
y = (t; a, ( a+b
2 )) (t; ( 2 ), b) + (t; ( 2 ), c) (t; c, ( 2 )
(a < b < c)
(4.5)
Esto se har
a cuando se desee un resultado en el que la cuerda pase por encima de otra cuerda.
Puesto que se ha establecido que el valor de z sera constante, el sistema de ecuaciones para una cuerda que
realice un giro, tenga un comportamiento descendente y permita pasar por encima de otra cuerda es:
x = (t; a, b) (t; b, c)
a<b<c
a+b
b+c
b+c
y = (t; a, ( a+b
2 )) (t; ( 2 ), b) + (t; ( 2 ), c) (t; c, ( 2 ))
(4.6)
z = 1
En general si se tiene una cuerda ascendente o descendente, que pase por encima o por debajo de otra, se
puede establecer un sistema de ecuaciones diferenciales de la forma:
x =
Pp
y =
Pp
ai +bi
i
((t; ai , ( ai +b
2 )) (t; ( 2 ), bi )+
i=1
i=1
(4.7)
i
+(t; ( bi +c
2 ), ci )
i
(t; ci , ( bi +c
2 )))
z = 1
En la que el valor de p es el n
umero total de giros ascendente y/o descendentes que realice la cuerda, y el
smbolo indicar
a si la cuerda realiza un comportamiento en ascenso o descenso para cada giro i, as como si
pasa por arriba o por abajo de otra cuerda.
Captulo 5
Soluci
on Num
erica del Sistema
Din
amico
En la presente secci
on se describir
a un algoritmo que permita obtener a traves de metodos numericos una
soluci
on particular al sistema de ecuaciones diferenciales planteado en el captulo anterior, con condiciones
iniciales x(0), y(0) y z(0); las trayectorias que se obtengan como solucion particular para cada uno de los
sistemas de ecuaciones diferenciales, ser
an equivalentes a las n-cuerdas que formen alguna n-trenza dada.
Para llevar a cabo esto, se usar
a el programa Octave1 el cual permite resolver de manera numerica cada
uno de los sistemas de ecuaciones diferenciales (uno para cada cuerda de la n-trenza ) que se han planteado
anteriormente.
5.1.
Creaci
on de una cuerda.
Primero, la funci
on:
exp( 1 1 )
tb ta
f (t) =
0
si a < t < b
otro caso
(5.1)
se implementar
a por medio del siguiente codigo:
function result = fpiece (t)
if (t <= (a))
result = 0;
elseif(t>= b)
result=0;
else
result = exp(1./(t-b)-1./(t-a));
1 Octave ser
a el programa usado en lo que resta de este trabajo para solucionar num
ericamente los sistemas de ecuaciones
diferenciales
33
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
34
end
end
f (t)dt
(5.2)
f (t)dt
ser
a generada numericamente con el siguiente codigo:
function calcularc=testc(t)
La funci
on testc(t) es la implementaci
on de la funci
on (5.2)
calcularc=(quad(@fpiecemidle,(t),3)/(quad(@fpiecemidle,2,3)));
end
En donde se ha implementado la funci
on quad de la librera de Octave, que permite integrar numericamente
la funci
on (5.2).
Una vez hecho esto, se escribe el c
odigo a implementar en Octave para:
x = (t; a, b) (t; b, c); a < b < c
Donde la funci
on se define como en el captulo anterior. Cuya solucion para una condicion inicial x(0)
dada, presentar
a un s
olo giro, adem
as la cuerda tendra una trayectoria descendente. El codigo para obtener
la soluci
on numerica de la ecuaci
on diferencial x es:
function xpunto=testc(t)
Donde la funci
on testc(t) representa a la funci
on dx/dt
xpunto=(quad(@fpiecemidle,(t),3)/(quad(@fpiecemidle,2,3)))
-(quad(@fpiecemidle2,(t),4)/(quad(@fpiecemidle2,3,4)));
end
(t; a, b) se representa numericamente por: (quad(@fpiecemidle,(t),3)/(quad(@fpiecemidle,2,3)));
(t; b, c) se representa numericamente por: (quad(@fpiecemidle2,(t),4)/(quad(@fpiecemidle2,3,4))).
Los valores que tomamos para a , b y c son: a = 2, b = 3, c = 4.
En la Figura 5.1 se presenta el comportamiento de x contra t.
Si se quiere que la soluci
on presente un solo giro y la trayectoria de la curva solucion tenga un resultado
ascendente, se tiene la ecuaci
on diferencial ordinaria para x como sigue:
x = (t; b, c) (t; a, b); a < b < c
El c
odigo implementado para el caso particular donde los valores a , b, y c valen 2, 3 y 4 respectivamente es:
function calcularc=testasc(t)
En el que la funci
on testasc(t) es la funci
on dx/dt
calcularc=(quad(@fpiecemidle2,(t),4)/(quad(@fpiecemidle2,3,4))
-(quad(@fpiecemidle,(t),3)/(quad(@fpiecemidle,2,3)))
end
DE UNA CUERDA.
5.1. CREACION
35
Figura 5.1: Gr
afica de x t donde t esta ubicado en el eje horizontal
Figura 5.2: Gr
afica de x contra t donde t esta ubicado en el eje horizontal
36
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
Ecuaci
on de la funci
on phi(t,2,3): donde phi(t,2,3)=-(cumtrapz(t,f))./ff1;
f=((t<=2)&(t>=3)).*0+((t>2)&(t<3)).*(exp(1./(t-3)-(1./(t-2))));
ff=@(t)((t<=2)&(t>=3)).*0+((t>2)&(t<3)).*(exp(1./(t-3)-(1./(t-2));
ff1=quad(ff,2,3);
integf=-(cumtrapz(t,f))./ff1;
La funci
on cumtrapz permite obtener la integral que aparece en el
numerador de la ecuaci
on (5.2) del punto x al punto b.
An
alogamente se tiene que el c
odigo de la funci
on phi(t,3,4),donde
phi(t,3,4)=-(cumtrapz(t,g))./gg1 es:
g=((t<=3)&(t>=4)).*0+((t>3)&(t<4)).*(exp(1./(t-4)-(1./(t-3))));
gg=@(t)((t<=3)&(t>=4)).*0+((t>3)&(t<4)).*(exp(1./(t-4)-(1./(t-3));
gg1=quad(gg,3,4);
integg=-(cumtrapz(t,g))./gg1;
De esta forma podemos expresar la funci
on F(t)=dx/dt como sigue
xpunto=integg-integf; donde xpunto es la funci
on dx/dt.
Por
ultimo el comando plot de Octave permite graficar
la funci
on dx/dt en el periodo de tiempo t1= 0 al tiempo t2= 6.
plot(t,xpunto);
Puesto que se pide a las cuerdas que componen a cualquier trenza en R3 no presenten intersecci
on entre
ellas, se debe establecer una ecuaci
on diferencial ordinaria que permita llevar a cabo dicha tarea. Como se
mencion
o en secciones anteriores, en el diagrama regular de una trenza, una cuerda puede pasar por encima
o por abajo de otra cuerda. Para conseguir que no exista interseccion entre las cuerdas, se estableci
o una
ecuaci
on diferencial ordinaria y para cada cuerda, en la que la solucion particular para una condici
on inicial
y(ta ) = ta (0) describa su comportamiento, y para otra solucion con condicion inicial y(tb ) = tb (0) indique el
comportamiento de otra cuerda tal que la grafica en el plano yz sea como el de la Figura 4.1 (c) y que en el
diagrama regular de la trenza,las soluciones particulares permita que una cuerda pase por encima o por debajo
de otra como lo muestra la Figura 4.1 (a) con lo cual evitamos que exista interseccion entre ambas cuerdas.
En el Captulo 4, la ecuaci
on diferencial ordinaria para y se creo mediante funciones C que, combinadas
de cierta modo da pie a la siguiente ecuacion para la coordenada y como:
a+b
b+c
b+c
y = (t; a, ( a+b
2 )) (t; ( 2 ), b) + (t; ( 2 ), c) (t; c, ( 2 ))
(a < b < c)
(5.3)
As como implementamos un c
odigo para describir numericamente el comportamiento de la ecuacion diferencial
ordinaria x,
de la misma forma en la presente seccion se enuncia como representar a traves de soluci
on
numericamente el actuar de la ecuaci
on diferencial ordinaria y . Posteriormente junto con las ecuaciones
diferenciales ordinarias x y z creadas anteriormente, se obtiene un sistema de ecuaciones diferenciales ordinarias
cuya soluci
on particular para una condicion inicial dada represente a una cuerda de una trenza, que vista en
el plano xz pase por encima de otra cuerda.
Dicho lo anterior, a continuaci
on formulamos el codigo que plasme lo deseado a traves de la ecuacion diferencial
ordinaria (5.3).
C
odigo para la ecuaci
on diferencial ordinaria dy/dt, tal que:
DE UNA CUERDA.
5.1. CREACION
37
dy/dt = phi(t;a,(a+b)/2)-phi(t;(a+b)/2,b)
+phi(t;t,(b+c)/2,c)-phi(t;b,(b+c)/2)
donde se han tomado los valores para a, b y c; a=2, b=3 y c=4.
function calcular4=testay(y,t)
La funci
on dy/dt est
a representada num
ericamente por la funci
on testay(y,t)
calcular4=quad(@lpiecemidle,t,5/2)/(quad(@lpiecemidle,2,5/2))
-quad(@mpiecemidle,t,3)/(quad(@mpiecemidle,5/2,3))
+quad(@npiecemidle,t,4)/(quad(@npiecemidle,7/2,4))
-quad(@opiecemidle,t,7/2)/(quad(@opiecemidle,3,7/2));
end
En donde la funci
on lpiecemidle se cre
o a traves del siguiente codigo:
function resultado = lpiecemidle(s)
if (s <= 2)
resultado = 0;
elseif(s>= 5/2)
resultado=0;
elseif (s > 2)
resultado = exp(1./(s-5/2)-1./(s-2));
elseif(s < 5/2)
resultado = exp(1./(s-5/2)-1./(s-2)) ;
end
end
De manera an
aloga se crearon las funciones:
mpiecemidle, npiecemidle y opiecemidle.
(t; a, ( a+b
2 )) es quad(@lpiecemidle,t,5/2)/(quad(@lpiecemidle,2,5/2))
a+b
(t; ( 2 ), b) es quad(@mpiecemidle,t,3)/(quad(@mpiecemidle,5/2,3))
(t; ( b+c
2 ), c) es quad(@npiecemidle,t,4)/(quad(@npiecemidle,7/2,4))
(t; c, ( b+c
2 )) es quad(@opiecemidle,t,7/2)/(quad(@opiecemidle,3,7/2)).
En la Figura 5.3 se presenta la gr
afica del comportamiento de y contra t. Para poder generarla la gr
afica, se
escribi
o el siguiente c
odigo:
38
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
DE DOS CUERDAS
5.2. CREACION
39
plot(t,ypunto);
C
omo se dijo anteriormente la u
ltima rutina implementada sirve para que la cuerda generada pase por encima
de otra cuerda. Si se desea el efecto contrario, esto es, que la cuerda de una trenza pase por debajo de otra
cuerda se hace el cambio de signos () en la ecuacion (5.3), este cambio permitira obtener el efecto buscado.
Al hacer esto la ecuaci
on diferencial ordinaria para y,
sera:
a+b
b+c
b+c
y = (t; ( a+b
2 ), b) (t; a, ( 2 ) + (t; c, ( 2 ) (t; ( 2 ), c) (a < b < c)
(5.4)
5.2.
Creaci
on de dos cuerdas
40
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
DE DOS CUERDAS
5.2. CREACION
41
dz/dt es la funci
on constante 1
sistedo=[testc(x,t),testay(x,t), 1];
end
________________________________________________________
La funci
on sistdinamico2 establece el siguiente
sistema de ecuaciones diferenciales ordinarias
para la segunda cuerda
(ascendente y por abajo de otra cuerda) de la trenza.
dx/dt = phi(t;b,c)-phi(t;a,b)
dy/dt = phi(t;(a+b)/2,b)-phi(t;a,(a+b)/2)
-phi(t;t,(b+c)/2,c)+phi(t;b,(b+c)/2)
dz/dt = 1
Con valores en t: a = 2, b = 3, c = 4;
function sistedo2=sistdinamico2(x,t)
dx/dt es la funci
on testc(x,t)
dy/dt es la funci
on testay(x,t)
dz/dt es la funci
on constante 1
sistedo2=[testasc(x,t),testabajo(x,t)];%
end
En la figura 5.6 se muestran varias gr
aficas obtenidas como resultado de lo anterior.
Similarmente se puede crear cualquier cuerda de una trenza por medio de un sistema dinamico resolviendo
Figura 5.6: Trenza en R3 compuesta por 2 cuerdas, generadas con el programa Octave
la Ecuaci
on 4.7 para cada cuerda que componga a la trenza.
Para ejemplificar esto u
ltimo, en las siguiente lneas se representa por medio de un sistema dinamico a la
trenza de 3 cuerdas cuya cerradura constituye al nudo tr
ebol.
Ejemplo. T
omese al nudo trebol como el que se muestra en la Figura 5.7. En seguida se dara una representaci
on
de una 2-trenza as como el conjunto de sistemas dinamicos que definen a dicha cuerda.
En la Figura 5.8, el nudo trebol con el que iniciamos puede ser obtenido como la clausura de esta 2-trenza.
En seguida se presentan los sistemas din
amicos para cada cuerda que constituye a dicha trenza.
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
42
(5.5)
g+h
h+i
h+i
+(t; g, ( g+h
2 ) (t; ( 2 ), h) + (t; ( 2 ), i) (t; h, ( 2 ))
z = 1
En donde a, b, c, d, e, , f, g, h, i son escalares en R estrictamente mayores que cero.
Para la segunda cuerda, basta modificar el sistema dinamico que se dio anteriormente haciendo el cambio
signo por donde este sea requerido. Dando condiciones iniciales para cada sistema, se resuelven y grafican
ambas soluciones particulares.
Como se menciono anteriormente se da solucion a cada uno de los sistemas numericamente. En los siguientes
p
arrafos se procede a escribir la rutina que permitio encontrar las dos soluciones.
C
odigo para la soluci
on de las cuerdas que componen a la 2-trenza con cerradura equivalente al
nudo tr
ebol.
El siguiente script nos permite resolver dos sistemas de 3 ecuaciones diferenciales
cada uno con condiciones iniciales dadas, una vez hecho esto, por medio de la funci
on
"plot3" se graficar
an ambas soluciones las que representaran una 2-trenza cuya cerradura conformara un nudo tr
ebol.
Las condiciones iniciales para el primer sistema son:
DE DOS CUERDAS
5.2. CREACION
x(0)= 1, y(0)=0, z(0)= 0.
Las condiciones iniciales para el segundo sistema son:
x(0)= 0, y(0)=0, z(0)= 0.
t=0:.1:12; este vector marca el inicio del tiempo ti=0,
con saltos equiespaciados de 0.1 hasta eltiempo final tf= 12
ycuerda1=lsode(@sistdinamico,[1,0],t); ycuerda1 es el primer sistema
ycuerda2=lsode(@sistdinamico2,[0,0],t);ycuerda2 es el segundo sistema
plot3(t,ycuerda1(:,2),ycuerda1(:,1) )
hold on
plot3(t,ycuerda2(:,2),ycuerda2(:,1) )
hold off
_______________________________________________________
La funci
on sistdinamico establece el siguiente sistema de ecuaciones diferenciales
ordinarias para la primer cuerda (descendente y por arriba de otra cuerda)
de la trenza.
dx/dt = phi(t;a,b)-phi(t;b,c)+phi(t;t,e,f)-phi(t;d,e)
+ phi(t;g,h)-phi(t;h,i)
dy/dt = phi(t;a,(a+b)/2)-phi(t;(a+b)/2,b)
+phi(t;t,(b+c)/2,c)-phi(t;b,(b+c)/2)
+phi(t;(d+e)/2,e)-phi(t;d,(d+e)/2)
+phi(t;(e+f)/2,f)-phi(t;e,(e+f)/2)
dz/dt = 1
Con valores en t: a = 2, b = 3, c = 4; d =5, e = 6, f = 7; g =8 , h = 9, i = 10;
function sistedo=sistdinamico(x,t)
dx/dt es la funci
on testc(x,t)
dy/dt es la funci
on testay(x,t)
dz/dt es la funci
on constante 1
sistedo=[testc(x,t),testay(x,t), 1];
end
________________________________________________________
Funci
on que determina a la ecuaci
on diferencial dx/dt
function calcularc=testc(x,t)
calcularc=(quad(@fpiecemidle,(t),3)./(quad(@fpiecemidle,2,3)))
-(quad(@fpiecemidle2,(t),4)./(quad(@fpiecemidle2,3,4)))
+(quad(@hpiecemidle,(t),7)./(quad(@hpiecemidle,6,7)))
-(quad(@ipiecemidle,(t),6)./(quad(@ipiecemidle,5,6)))
+(quad(@jpiecemidle,(t),9)./(quad(@jpiecemidle,8,9)))
-(quad(@kpiecemidle,(t),10)./(quad(@kpiecemidle,9,10)));
end
_______________________________________________________
Funci
on que determina a la ecuaci
on diferencial dy/dt
donde dy/dt es creada num
ericamente por la funci
on testay(x,t)
function calcular4=testay(x,t)
calcular4= quad(@lpiecemidle,t,5/2)/(quad(@lpiecemidle,2,5/2))
43
44
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
-quad(@mpiecemidle,t,3)/(quad(@mpiecemidle,5/2,3)
+quad(@npiecemidle,t,4)/(quad(@npiecemidle,7/2,4))
-quad(@opiecemidle,t,7/2)/(quad(@opiecemidle,3,7/2))
+quad(@ppiecemidle,t,6)/(quad(@ppiecemidle,11/2,6))
-quad(@qpiecemidle,t,11/2)/(quad(@qpiecemidle,5,11/2))
+quad(@esepiecemidle,t,13/2)/(quad(@esepiecemidle,6,13/2))
-quad(@rpiecemidle,t,7)/(quad(@rpiecemidle,13/2,7))
+quad(@upiecemidle,t,17/2)/(quad(@upiecemidle,8,17/2))
-quad(@vpiecemidle,t,9)/(quad(@vpiecemidle,17/2,9))
+quad(@wpiecemidle,t,10)/(quad(@wpiecemidle,19/2,10))
-quad(@zpiecemidle,t,19/2)/(quad(@zpiecemidle,9,19/2));
end
_______________________________________________________
function sistedo=sistdinamico(x,t)
dx/dt es la funci
on -testc(x,t)
dy/dt es la funci
on -testay(x,t)
dz/dt es la funci
on constante 1
sistedo2=[-testc(x,t),-testay(x,t)];
end
Las Figura 5.9 permite ver distintas gr
aficas de la 2-trenza en el espacio tridimensional.
S bien se ha logrado establecer un sistema de ecuaciones diferenciales para cada cuerda, se tiene que dar
DE DOS CUERDAS
5.2. CREACION
45
sino a cualquier n-trenza. La idea general para cumplir con este proposito es combinar de manera adecuada
todas las ecuaciones que representan a las cuerdas de la n-trenza en una solo sistema, de tal suerte que se evite
cualquier intersecci
on que se pudiera presentar entre ellas, con lo que finalmente este u
nico sistema describir
aa
toda la n-trenza. En seguida se explica con mas detalle la forma de lograr esto. La forma de conseguir alcanzar
esta meta planteada es crear un tubo-vecindad como el de la Figura 5.10; en dicha grafica se puede ver que
se ha creado un tubo vecindad alrededor de cada cada cuerda, ademas cada tubo tiene como centro a una de
las cuerdas de la trenza. El fin de la creacion de tal tubo, es que dentro de este todas las trayectorias sigan la
trayectoria de la cuerda central y que fuera de el la dinamica sea cero; esto es que x = 0, y = 0 y z = 0 en
el exterior de cada tubo. Otro acierto que se obtiene al hacer esto es evitar la confluencia entre las cuerdas.
Definici
on. Se define la m-cuerda de una trenza como el conjunto de m curvas suaves en R3 que tienen
intersecci
on vaca entre ellas. Con base en lo dicho en el parrafo anterior y en esta definicion se tiene que:
conforme el radio de los tubos-vecindad disminuye, existira un tubo alrededor de cada cuerda el cual no
tendr
a intersecci
on con el resto de los otros. Siguiendo este camino, se pretende conseguir un solo sistema
din
amico para toda la trenza de tal suerte que evitaremos que exista cruces entre las cuerdas y as alcanzar
el fin buscado. Para poder crear estos tubos vecindad se hara uso de la funcion C (la se ha empleado a lo
= ((x x1 )2 + (y y1 )2 ); 1 , 2 )
(5.6)
En donde (x1 , y1 ) es la coordenada correspondiente a la cuerda central para cada valor de t en el que est
a definida la funci
on; los valores 1 y 2 indican los diametros de los tubos, los cuales se deben escoger de tal
forma que sean lo suficientemente peque
nos para impedir que haya interseccion entre los tubos. Finalmente se
combina la ecuaci
on 4.7 con la ecuaci
on 5.6 para obtener el siguiente sistema
x =
Pm
j x j
y =
Pm
j y j
z =
Pm
j=1
j=1
j=1
(5.7)
Donde m es el n
umero total de cuerdas de la trenza, j es la funcion tubo para la j-esima cuerda y x j , y j
componen el sistema din
amico para la j-esima cuerda, obtenido en la Ecuaci
on 4.7.
Con base en este proceder, se ha obtenido un solo sistema dinamico que define a la trenza en su totalidad. En
el siguiente ejemplo se muestra la forma de como usar la Ecuaci
on 5.7.
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
46
Ejemplo 2. Tomemos de nuevo el nudo trebol presentado en el ejemplo anterior, as como la 2-trenza
que tambien fue usada. Recordar que esta 2-trenza al realizar su cerradura representa al nudo trebol.
Sea (x1 , y1 ) y (x2 , y2 ) las coordenadas de la primer y segunda cuerda para un valor en particular de t, a
continuaci
on se describe el sistema din
amico que definira por completo a esta dos trenza.
x = ((x x1 )2 + (y y1 )2 ); 1 , 2 )
(t; a, b) (t; b, c) + (t; e, f ) (t; d, e) + (t; g, h) (t; h, i)
+ ((x x2 )2 + (y y2 )2 ); 1 , 2 )
(t; b, c) (t; a, b) + (t; d, e) (t; e, f ) + (t; h, i) (t; g, h)
y = ((x x1 )2 + (y y1 )2 ); 1 , 2 )
a+b
b+c
b+c
(t; a, ( a+b
2 ) (t; ( 2 ), b) + (t; ( 2 ), c) (t; b, ( 2 ))
e+f
e+f
d+e
+(t; ( d+e
2 ), e) (t; d, ( 2 ) + (t; ( 2 ), f ) (t; e, ( 2 ))
(5.8)
+(t; g, ( g+h
2 )
(t; ( g+h
2 ), h)
(t; ( h+i
2 ), i)
(t; h, ( h+i
2 ))
+ ((x x2 )2 + (y y2 )2 ); 1 , 2 )
a+b
b+c
b+c
+(t; ( a+b
2 ), b) (t; a, ( 2 ) + (t; b, ( 2 ) (t; ( 2 ), c)
e+f
e+f
d+e
+(t; d, ( d+e
2 ) (t; ( 2 ), e) + (t; e, ( 2 ) (t; ( 2 ), f )
g+h
h+i
h+i
+(t; ( g+h
2 ), h) (t; g, ( 2 ) + (t; h, ( 2 ) (t; ( 2 ), i)
2
2
z = ((x x1 ) + (y y1 ) ); 1 , 2 )
+ ((x x2 )2 + (y y2 )2 ); 1 , 2 )
Donde a, b, c, d, e, f, g, h, i, 1 , 2 R+ .
C
odigo para encontrar la 2-trenza a trav
es del m
etodo 2.
_________________________________________________________________
El siguiente script permite reolver el sistema din
amico
de manera particular para distintas condiciones iniciales
dadas; dicho sistema es representado por la funci
on fintcontrol2
t=0:.2:12;
y=lsode(@fintcontrol2,[1,1,0,0,0,0],t);
y2=lsode(@fintcontrol2,[0,1,0,0,0,0],t);
y3=lsode(@fintcontrol2,[1.1,1,0.1,0,0,0],t);
y4=lsode(@fintcontrol2,[0.1,1,0,0,0,0],t);
y5=lsode(@fintcontrol2,[0.9,1,0,0,0,0],t);
DE DOS CUERDAS
5.2. CREACION
y6=lsode(@fintcontrol2,[0,1,-0.15,0,0,0],t);
y7=lsode(@fintcontrol2,[1.15,1,0,0,0,0],t);
y8=lsode(@fintcontrol2,[0.1,1,0.1,0,0,0],t);
plot3(t,y(:,3) ,y(:,1),"1")
hold on
plot3(t,y2(:,3) ,y2(:,1),"2")
plot3(t,y3(:,3) ,y3(:,1),"3")
plot3(t,y4(:,3) ,y4(:,1),"4")
plot3(t,y5(:,3) ,y5(:,1),"2")
plot3(t,y6(:,3) ,y6(:,1),"5")
plot3(t,y7(:,3) ,y7(:,1),"4")
plot3(t,y8(:,3) ,y8(:,1),"5")
hold off
La funci
on fdoscontrol establece numericamente el comportamiento de la funcion
= ((x x1 )2 + (y y1 )2 ); 1 , 2 )
presente en la ecuaci
on (15), con valores 1 = 0,20 y 2 = 0,25.
function control2=fdoscontrol(t)
format short
if (t<=0.20)
control2=(quad(@fpiece,t,0.20)+quad(@fpiece,0.20,0.25))/(quad(@fpiece,0.20,0.25));
elseif(t>=0.25)
control2=-(quad(@fpiece,t,0.25)/(quad(@fpiece,0.20,0.25)));
else
control2=(quad(@fpiece,t,0.25)/(quad(@fpiece,0.20,0.25)));
end
end
______________________________________________________
La funci
on fintcontrol establece el siguiente
sistema de ecuaciones diferenciales ordinarias
para ambas cuerdas que definen completamente a la 2-trenza.
Con valores en t: a = 2, b = 3, c = 4 ,
d = 5, e = 6, f = 7 ,
g = 8, h = 9 , i = 10.
function integtotal=fintcontrol2(x,t)
integtotal=[fdoscontrol((x(1)-x(2)).^2+(x(3)-x(4)).^2).*testc(x,t)
+fdoscontrol((x(1)-x(5)).^2+(x(3)-x(6)).^2).*(testasc(x,t)),testc(x,t),
fdoscontrol((x(1)-x(2)).^2+(x(3)-x(4)).^2).*testay(x,t)
+fdoscontrol((x(1)-x(5)).^2+(x(3)-x(6)).^2).*(gtestay(x,t))
,testay(x,t),testasc(x,t),gtestay(x,t)];
end
47
48
NUMERICA
CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO
La gr
afica obtenida al resolver el sistema de ecuaciones diferenciales anterior para distintos valores en las
condiciones iniciales se muestra en las siguientes figuras.
Captulo 6
x 1 =
Pm
j x 1j
x 2 =
Pm
j x 2j
z =
j=1
j=1
Pm
j=1
(6.1)
j 2 1 z 2
(6.2)
j : R2 R
(6.3)
Adem
as
es una funci
on C la cual vale 1 si x Uj , 1 j K, y 0 si x R \ Vj , en donde cada Uj sea un subconjunto
abierto y acotado en R2 , tal que existen vecindades abiertas disjuntas Vj de Uj para la que se cumple
Vj Uj y Vj Vk = j 6= k 1 j, k K.
6.1.
(6.4)
Representaci
on de un enlace doble
En esta parte ejemplificaremos el uso del sistema de ecuaciones diferenciales descrito en el inicio de la secci
on.
Se representar
a a un doble enlace compuesto por dos nudos triviales como la cerradura de una 2-trenza, la
que obtendremos con el siguiente sistema
49
50
DE NUDOS
CAPITULO 6. SISTEMA DE EDOS PARA REPRESENTACION
x = ((x x1 )2 + (y y1 )2 ); 1 , 2 )
(t; a, b) (t; b, c) + (t; e, f ) (t; d, e) + ((x x2 )2 + (y y2 )2 ); 1 , 2 )
(t; b, c) (t; a, b) + (t; d, e) (t; e, f )
y = ((x x1 )2 + (y y1 )2 ); 1 , 2 )
a+b
b+c
b+c
(t; a, ( a+b
2 ) (t; ( 2 ), b) + (t; ( 2 ), c) (t; b, ( 2 ))
e+f
d+e
d+e
+ (t; ( 2 ), e) (t; d, ( 2 ) + (t; ( 2 ), f ) (t; e, ( e+f
2 ))
2
2
+ ((x x2 ) + (y y2 ) ); 1 , 2 )
a+b
b+c
b+c
+ (t; ( a+b
2 ), b) (t; a, ( 2 ) + (t; b, ( 2 ) (t; ( 2 ), c)
e+f
d+e
d+e
+ (t; d, ( 2 ) (t; ( 2 ), e) + (t; e, ( 2 ) (t; ( e+f
2 ), f )
(6.5)
z = ((x x1 )2 + (y y1 )2 ); 1 , 2 ) 2 1 z 2
+ ((x x2 )2 + (y y2 )2 ); 1 , 2 ) 2 1 z 2
Donde a, b, c, d, e, f, 1 , 2 R+ y x, y estan definidos en el intervalo [0, ].
Nuevamente solucionaremos numericamente el sistema de ecuaciones diferenciales descritas anteriormente, en
las siguiente figuras se mostraran las gr
aficas que describen a este doble enlace.
Figura 6.1: Gr
afica de un doble enlace obtenido por un sistema de ecuaciones diferenciales
Captulo 7
Conclusiones
El objetivo principal de la tesis fue, dado un determinado nudo, construir un sistema de ecuaciones diferenciales
ordinarias, el cual tuviera la propiedad de que para cierta condicion inicial, la solucion que pasa por esta
condici
on fuera una
orbita peri
odica y ademas formara dicho nudo en el espacio R3 .
Es ampliamente conocido el hecho que un nudo puede ser expresado en terminos de cerradura de trenzas. A
partir de esto, el objetivo se centr
o en expresar mediante un sistema de ecuaciones diferenciales ordinarias
definidas en un intervalo de tiempo el cual satisface que, para n condiciones iniciales, las trayectorias soluci
on
formaran explcitamente la n-trenza. Para obtener las ecuaciones diferenciales del sistema dinamico y en el
cual esten contenidas las trenzas, se us
o un tipo particular de funciones que permitieron construir una tubovecindad en cada cuerda de la trenza. Posteriormente al hacer periodica la solucion con una condici
on inicial
particular se obtuvo el nudo deseado.
Para resolver de manera numerica este sistema de ecuaciones diferenciales ordinarias, se empleo el software
Octave; dicha soluci
on se represent
o de manera grafica como un nudo.
Por otra parte en [4], J. Birman y R. Williams fueron de los primeros en mostrar orbitas periodicas anudadas
en sistemas din
amicos. Recientemente, en [5,6,7] tambien se abordo el problema de la realizacion de nudos a
traves de sistemas din
amicos esto es, dado un cierto nudo se busca poder construir o encontrar un sistema
din
amico que tenga al nudo como
orbita periodica.
Algunos de los problemas a futuro son obtener una generalizacion de los resultados de [3,6,7] para alguna clase
diferente de sistemas din
amicos, as como determinar si existe alguna relacion entre los invariantes de nudos
o 3-trenzas, como el polinomio corchete, y los sistemas dinamicos generados en [3].
51
52
CAPITULO 7. CONCLUSIONES
Bibliografa
[1] Yi Song, Stephen P. Banks and David Diaz. Dynamical Systems on Three Manifolds Part I: Knots, Links
and Chaos. University of Sheffield. 2008
[2] Kunio Murasugi. Knot Theory and Its Applications. Birkhauser, 1996.
[3] Kauffman, L. Knot Theory and physics. Singapore: World Sci, 1991.
[4] Birman, J. and Williams, R. Knotted periodic orbits in dynamical sistems - I: Lorentz Equations. Topology,22. 1983.
[5] Banks, S. P. and Diaz. Almost radially-invariant systems containing arbitrary knots and links. Int. J. of
Bifurcation and Chaos, 14, 1267-1276. 2004.
[6] W. Chen, S. P. Banks, Knots, Links and Spun Dynamical Systems, In- ternational Journal of Bifurcation
and Chaos, Vol. 20, No. 4 (2010) 1041 - 1048.
[7] J. Li, F. Chen, Knotted Periodic Orbits and Chaotic Behavior of a Class of Three-Dimensional Flows,
International Journal of Bifurcation and Chaos, Vol.21, No. 9 (2011) 2505 - 2523.
[8] J. Sotomayor, Licoes de Equacoes Diferenciais Ordinarias, Proyeto Euclides IMPA, CNPq., Brasil, 1979.
[9] Robert L. Devaney. An Introduction to Chaotic Dynamical Systems. Addison-Wesley Publishing Company. 1989.
[10] Kathleen T. Alligood, Tim D. Sauer and James A. Yorke. Springer. 1996.
[11] Lawrence Perko. Differential Equations and Dynamical Systems. Springer. 1991.
[12] Tom M. Apostol. An
alisis Matem
atico. Editorial Reverte. 1996
[13] Won Y. Yang, Wenwu Cao, Tae S.Chung, John Morris. Applied numerical methods using MATLAB.
Wiley-Interscience 1995.
53