Sunteți pe pagina 1din 53

UNIVERSIDAD AUTONOMA

DE SAN LUIS POTOSI


Facultad de Ciencias
Nudos en Sistemas Din
amicos.

TESIS
que para obtener el ttulo de

Licenciado en Matem
aticas
P R E S E N T A:

Claudio Alejandro Garca Grimaldo

Director de tesis:
Dr. Hugo Cabrera Ibarra.

Abril del 2015.

San Luis Potos, S.L.P., Mexico

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

Figura 1.1: 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

Figura 1.2: Grafica de la funcion

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.

Figura 2.1: Ejemplos de nudos


El nudo m
as sencillo es la circunferencia estandar S 1 vista en R3 , es decir, el conjunto de puntos:
{(x, y, 0) R3 | x2 + y 2 = 1}.
A este nudo se le nombra el nudo trivial, el cual carece de anudamientos (Figura 2.2).
N
otese que en la definici
on de nudo, mencionada en el primer parrafo de este apartado, la cuestion no se reduce
a ver cuando dos nudos K1 y K2 son homeomorfos ya que todos son homeomorfos a S 1 y en consecuencia
homeomorfos entre s.
Con esto se puede observar que la propiedad de estar anudado, no es una propiedad topologica intrnseca del
7

CAPITULO 2. PRELIMINARES

Figura 2.2: El nudo trivial


espacio formado por los puntos del nudo, sino que mas bien se relaciona a la forma en que este se encaja en
R3 . Con base en esto daremos la definici
on de cuando dos nudos son similares.
Definici
on. Dos nudos K1 y K2 son semejantes si existe un homeomorfismo
h : R3 R3 tal que h (K1 ) = K2 .
Por ejemplo, en la Figura 2.3 los nudos (a) y (b) son semejantes, as comolos nudos (c), (d), (e) y (f). Para
ver que (c) y (d) son semejantes, colocamos uno encima del otro y ponemos un espejo en medio.
Sin embargo, la experiencia fsica nos dice que el trebol dextrogiro y levogiro no son iguales, es decir, si los

Figura 2.3: Algunas equivalencias de nudos.


construimos con un pedazo de cuerda no podemos transformar uno en el otro, u
nicamente podremos hacerlo
mediante el uso de un espejo. Esto nos dice que nuestra definicion de nudos semejantes no corresponde con
la idea fsica que tenemos de que dos nudos sean iguales, por lo que tenemos que buscar una definici
on m
as
3
adecuada. Veamos que es lo que falla en nuestra definicion de semejanza. Todo homeomorfismo h de R en
s mismo preserva la orientaci
on o invierte la orientacion; h invierte la orientacion si transforma una referencia
3
dextr
ogira (Figura 2.4) de R en una referencia levogira y preserva la orientacion si la deja igual.
El concepto fsico de igualdad de nudos corresponde a mover continuamente un nudo en R3 hasta poder
obtener el otro, lo cual se lleva a cabo mediante homeomorfismos. La definicion de semejanza no corresponde
al concepto fsico puesto que no se puede transformar una referencia dextrogira en una levogira si se emplea
unicamente homeomorfismos que preserven la orientacion (isotopas). Por lo tanto se necesita dar una nueva
definici
on que este m
as acorde con el concepto fsico de que dos nudos son iguales.
Definici
on. Dos nudos K1 y K2 son equivalentes si existe un homeomorfismo h : R3 R3 que preserve la

2.1. TEORIA DE NUDOS

Figura 2.4: Referencias dextrogira y levogira.


orientaci
on tal que h (K1 ) = K2 . Tal equivalencia se denotara por K1
= K2 .

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.

Figura 2.5: Equivalencia del nudo 8 dextrogiro y el nudo 8 levogiro.

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.

Figura 2.6: Ejemplo de un nudo salvaje


De este punto en adelante al momento de hablar de nudos se hara referencia solo a nudos dociles.

2.1.4.

Suma conexa de nudos

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.

Figura 2.7: Suma conexa de dos nudos


La suma conexa satisface las siguientes propiedades:
1. Est
a bien definida salvo equivalencia,i.e. si K1
= K10 y K2
= K20 entonces K1 #K2
= K10 #K20 .
2. Es asociativa, es decir cumple K1 #(K2 #K3 )
= (K1 #K2 ) #K3 .
3. Es conmutativa, i.e cumple que K1 # K2
= K2 #K1 .

2.1. TEORIA DE NUDOS

11

En la Figura 2.8 se muestra un ejemplo de la suma conexa de dos nudos.

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).

b es la proyeccion de K. Ademas, si K tiene asignada una


Si K es un nudo (
o enlace) diremos que (K) = K
hereda la orientaci
posee varios puntos de intersecci
orientaci
on, K
on de forma natural, sin embargo, K
on.
es llamado punto de de cruce si la imagen inversa 1 (p) K contiene mas de un punto
Un punto p de K
de K.
puede ser muy complicado en cuanto a n
En general, K
umero y tipo de puntos de cruce, no obstante es posible
que K sea equivalente a otro nudo cuya proyeccion sea simple. Para un nudo poligonal, las proyecciones m
as
simples son las de los nudos que est
an en posicion regular.

Figura 2.10: Cruces en una proyeccion regular


Definici
on. Un nudo (
o enlace) est
a en posici
on regular si su proyeccion satisface lo siguiente:
son dobles.
1. Los u
nicos puntos de cruce de K
2. Ning
un punto doble es la imagen de ning
un vertice de K.
La segunda condici
on asegura que todo punto doble represente a uno solo de cruce como en la Figura 2.10;
los que son dobles como en 2.10(b) est
an prohibidos puesto que existe un vertice en un punto doble, lo cual
viola la condici
on.
La proyecci
on de un nudo en posici
on regular se dice que es una proyecci
on regular. Dichas proyecciones
presentan un problema m
as por resolver: En un punto doble de una proyeccion regular no es claro si el nudo
pasa por arriba o por abajo de s mismo, para eliminar esta ambig
uedad cambiaremos un poco esta imagen
cerca de los puntos de cruce, se hace un esbozo con el afan de que parezca cortada, indicando as que parte
pasa por abajo y cu
al por arriba. A lo dibujado de esta manera le llamaremos diagrama regular del nudo
K.
En la figura 2.11 (a) se muestra c
omo deber ser un diagrama regular, (b) tambien lo es pero no representa al
mismos nudo de (a), (c) es una forma incorrecta de lo que sera un diagrama regular.

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:

2.1. TEORIA DE NUDOS

13

Figura 2.11: En esta gr


afica solo (a) muestra un diagrama regular del nudo trebol.
Si dos nudos son equivalentes entonces sus invariantes son iguales.
La condici
on de ser suficiente no siempre es cierta, es decir en la mayora de los caso el recproco es falso.
Dicho lo anterior, si dos nudos son iguales en consecuencia sus invariantes son iguales, o equivalentemente si
sus invariantes son distintos entonces los nudos no son iguales. De esta manera encontrar invariantes de nudos
da una forma para saber si dos nudos no son equivalentes.
El primer ejemplo de invariante de nudos que se obtiene inmediatamente de la equivalencia de enlaces, es
el n
umero de componentes; en el cual si dos enlaces tienen distinto n
umero de componentes no pueden ser
equivalentes.
En la presente secci
on se enunciar
an algunos de los invariantes mas usados en la teora de nudos.
Movidas de Reidemeister
Kurt Reidemeister en los a
nos 20s describio una serie de reglas que permite pasar de un primer diagrama
regular a un segundo diagrama regular sin tener que fijarnos en la transformacion del nudo original. Dichas
reglas se conocen como movidas de Reidemeister. Las movidas de Reidemeister son una u
til herramienta
que permite, a traves del uso de diagramas regulares, transformar dicho diagrama regular mediante isotopa
en otro nudo equivalente en posici
on regular K.
Las movidas de Reidemeister son tres y se conocen como del tipo I, tipo II y tipo III, y se describen como en
la Figura 2.12.
Reidemeister demostr
o que dos nudos (o enlaces) pueden ser deformados uno en el otro si y solo si sus
diagramas regulares pueden transformarse, usando una sucesion finita de movidas de los tres tipos descritos
en la figura anterior2 .
En la Figura 2.13 se presenta un ejemplo de como a traves de movidas de Reidemeister el primer nudo que se
presenta, es equivalente al nudo trebol.
N
umero mnimo de cruces
Dado un diagrama regular D de un nudo K el n
umero de puntos de cruce es finito, a pesar de que este n
umero
de cruces no determina un invariante de nudos (considere el ejemplo de la Figura 2.14), en cambio se pueden
2 Una

demostraci
on de
este hecho se puede encontrar en [2]

CAPITULO 2. PRELIMINARES

14

Figura 2.12: Movidas de Reidemeister.

Figura 2.13: Equivalencia de nudos mediante movidas de Reidemeister.


considerar todos los diagramas regulares del nudo K y denotar como c (K) el n
umero mnimo de puntos de
cruce de la colecci
on de todos los diagramas de K,
c (K) = min c(D).
Donde D es conjunto de todos los diagramas regulares del nudo K. En este caso, claramente c (K) es un
invariante del nudo K.

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

orientado. Una muestra de estos cruces se puede ver en la Figura 2.15.


Definici
on. Sea D el diagrama regular de un enlace con dos componentes L = {K1 , K2 }. Sea K1 u K2
el conjunto de los puntos de cruce del diagrama D en donde las imagenes proyectadas de K1 y K2 tienen
intersecci
on no vaca. Vease que K1 u K2 no contiene a los puntos de cruce de las proyecciones de K1 y K2 que

2.1. TEORIA DE NUDOS

15

Figura 2.14: Equivalencia de dos nudos triviales por medio de movidas de Reidemeister

Figura 2.15: Diagrama regular de cruces orientados


tienen puntos de auto-intersecci
on de las componentes del nudo. Se define entonces el n
umero de enlace de
K1 y K2 por la siguiente ecuaci
on:

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

A lo largo de esta secci


on se dar
an los conceptos basicos de la Teora de Trenzas.
Definici
on.Considerese un cubo B en R3 . En la cara superior del cubo B, tomese n puntos A1 , A2 , , An
y los siguientes puntos A01 , A02 , , A0n en la cara inferior del cubo B, como se muestra en la Figura 2.17.
Se define una n-trenza como la coleccion de cuerdas no anudadas tal que cada una inicia y baja en al-

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

Figura 2.18: Representacion en un diagrama regular de la n-trenza trivial

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 = .

Figura 2.19: Producto de dos trenzas


Bajo este producto el conjunto Bn de trenzas adquiere estructura de grupo. Con la ayuda de los diagramas de
trenzas podemos verificar que el grupo es asociativo, el elemento neutro esta dado por la n- trenza trivial, la
cual se denota por e. Si consideramos la base del cubo que contiene a la trenza como una espejo, entonces

CAPITULO 2. PRELIMINARES

18

el reflejo de en dicho espejo ser


a el inverso de , esto es 1 se observara como en la Figura 2.20.

Figura 2.20: Producto de una trenza por su inverso


Se verifica con estas propiedades que para todo elemento existe un elemento 1 tal que
, 1 que 1 = e = 1 .
El grupo que conforma a Bn , ser
a llamado el grupo de n-trenzas.

2.2.1.

Presentaci
on de Bn

Muchas veces es mas f


acil definir a un grupo mediante algunos de sus elementos llamados generadores y algunas
relaciones entre ellos. Para que el concepto quede mas claro, veamos un ejemplo.
Sea G el grupo formado por el conjunto 1, a, b y la multiplicacion dada por la tabla de la Figura 2.21.

Figura 2.21: Tabla de los elementos 1, a, b


La tabla anterior, tiene 9 entradas, pero usando el hecho (obtenido de la entrada de en medio) que b = a2 ,
podemos reducir la informaci
on necesaria para determinar el grupo diciendo que los elementos del grupo son
1, a y a2 y el hecho de que a3 = 1. As, el grupo en cuestion es descrito mas eficientemente si notamos que
el elemento a genera al grupo, que la ecuacion a3 = 1 es satisfecha y que ninguna de las ecuaciones a2 = 1
o a = 1 se cumple. Lo anterior, se denomina una presentacion del grupo G, dada por el generador a y la
relaci
on a3 = 1 y esto se denota por

ha|a3 = 1i
.

2.2. TRENZAS

19

En general, una presentaci


on consta de un conjunto de generadores x
b = {x1, x2, . . .}y un conjunto de relaciones
rb = {r1, r2, . . .} denotados por

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

Figura 2.22: Diagrama regular de (a) i y (b) i1


de Bn se expresa como producto de los generadores i y sus inversos i1 . Para ver esto, dividimos el diagrama
regular de una trenza a traves de lineas horizontales paralelas, de tal manera que en cada rectangulo que
obtengamos quede u
nicamente un punto de cruce. Si dos puntos de cruce estan al mismo nivel, luego si se
mueve uno de ellos un poco hacia arriba y el otro hacia abajo podemos eliminar este problema.
Como un ejemplo, en la Figura 2.23 se muestra que la trenza esta dada por 31 1 2 3 21 .
Es as que se observa como las n-trenzas i generan al grupo Bn . En el caso de B2 , tenemos que hay un s
olo
1
generador 1 y por lo tanto, todo elemento de B2 es una potencia de 1 o de su inverso 1 . Por consiguiente
B2 es un grupo cclico infinito, es decir, es isomorfo al grupo de los n
umeros enteros Z, donde el elemento 1m

CAPITULO 2. PRELIMINARES

20

Figura 2.23: La trenza como producto de los i


corresponde al entero m. Intuitivamente esto corresponde a que la trenza se tuerza m veces hacia la izquierda
si m es positivo o a la derecha si m es negativo.
Cuando n 3 la descripci
on algebraica de un elemento de Bn como producto de las i no es u
nico. Por
ejemplo las 4-trenzas 1 3 y 3 1 son equivalentes ( vease la Figura 2.24). En consecuencia, en el grupo de
4-trenzas, B4 , se satisface la relaci
on 1 3 = 3 1 .
Adem
as, las 4-trenzas 1 2 1 y 2 1 2 tambien son equivalentes como lo muestra la Figura 2.25. De ah que

Figura 2.24: Equivalencia entre trezas


tambien se cumple la relaci
on: 1 2 1 = 2 1 2 La igualdad tambien se cumple si consideramos n-trenzas
en general (n 3), las cuales son llamadas relaciones de trenzas del grupo Bn . De hecho, si dos n-trenzas son
equivalentes se transforma una en la otra usando varias veces estas igualdades. Con lo anteiror tenemos que
la presentaci
on de Bn est
a dada por:
*
Bn =

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

Como mencionamos en la introducci


on queremos expresar nudos en terminos de trenzas, lo cual se llevar
a a cabo
representando el nudo a traves de la clausura de una trenza. Para conseguirlo, se definira un sistema din
amico, el
cual tenga como soluci
on un campo vectorial periodico, el que para condiciones iniciales particulares tendr
a una
orbita peri

odica como soluci


on, la cu
al contiene el nudo deseado. Se validara la construccion anterior, usando

2.3.

ENTRE NUDOS Y TRENZAS


RELACION

21

Figura 2.25: Relaciones en B4


el Teorema de Alexander, donde se muestra que dado cualquier nudo existe una algoritmo que nos permite
expresarlo como la cerradura de una trenza.
Consideremos una n-trenza y conectemos, respectivamente, los n puntos A1 , . . . , An de la tapa superior del
cuadrado donde esta la trenza, con los puntos A01 , . . . , A0n de la base del cuadrado, pero esta vez, mediante
arcos paralelos que est
an fuera del cuadrado, como se muestra en la Figura 2.26.
Obtenemos de esta manera el diagrama regular de un nudo o enlace, al cual decimos que es la cerradura de

Figura 2.26: La cerradura de una trenza


la trenza. Usualmente se le asigna una orientacion a cada cuerda de la trenza que comienza desde el punto Ai
y se mueve hacia abajo dentro del cubo de la trenza. Es por esto que a partir de cualquier trenza podemos
obtener un nudo o enlace orientado cerrando la trenza. El recproco tambien es cierto y es conocido como el
Teorema de Alexander.
Teorema 1. Dado un nudo (orientado) K arbitrario, entonces es equivalente (con orientaci
on) a alg
un
nudo que se ha obtenido a partir de una tranza.
Prueba:
Suponga que D es un diagrama regular orientable de un nudo K. Se lleva a cabo un corte a D en alg
un punto

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

Figura 2.27: Diagrama regular del nudo


nudo que se obtiene al realizar la cerradura del ovillo K en el diagrama anterior es equivalente a K.
Si el T (1, 1) ovillo tiene un m
aximo local m, entonces tiene un mnimo local. Si m = 0, entonces T es una
trenza, y la prueba ha finalizado. As que supongamos que m > 0, por lo tanto existe un arco ab en T tal que
se conecta un mnimo local a con un m
aximo local b. Vease la Figura 2.28 (a).
Adem
as sup
ongase que ab tiene intersecci
on con otras partes del ovillo en n lugares. Se marca n + 1 puntos

Figura 2.28: Arco en un segmento del ovillo


en el arco ab, i.e., a = a0 , a1 , . . . , an = b tal que el arco ai , ai+1 tenga intersecci
on en un s
olo punto con el
ovillo K, como se observa en Figura 2,28(a).
0
A continuaci
on se reemplaza el arco a0 , a1 por el arco a0 P1 P1 a1 . Vease Figura 2.28 (b). El arco(m
as largo)
0
0
P1 P1 vive fuera del ovillo K y los arcos a0 P1 y a1 P1 son seleccionados de tal forma que si a0 a1 pasa por
0
debajo(o arriba) de otro segmento, entonces los arcos a0 P1 y a1 P1 tambien pasen por abajo (
o por arriba) de
todos los otros segmentos. El resultado de las manipulaciones descritas anteriormente ser
an un 2 ovillo.
Se sigue inmediatamente que el nudo (orientado) obtenido al unir (fuera del cuadrado) los 4 puntos de este
2 ovillo por medio de curvas es equivalente al nudo original. Al emplear el mismo metodo con respecto de

2.3.

ENTRE NUDOS Y TRENZAS


RELACION

23

los arcos a1 a2 , . . . , an1 an , eventualmente se formar


a un (n + 1, n 1) ovillo K que no tiene un m
aximo,
ni un mnimo local en a y b respectivamente y por lo tanto habr
a a lo m
as m 1 m
aximos y mnimos locales.
De est
a forma al continuar con este mismo proceso con el resto de los m 1 m
aximos y mnimos locales, se
llegar
a a un T ovillo que no tiene m
aximos y mnimos locales. Este T ovillo ser
a nuestra T trenza
buscada.

Ejemplo. La Figura 2.29 (a) (d)muestra la manera de realizar el procedimiento descrito en el Teorema de
Alexander.
Se tiene que si dos trenzas son equivalentes, por consiguiente sus respectivas cerraduras seran equivalentes

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

Se Puede aplicar en B las siguientes operaciones llamadas movimientos de Markov:


1. Si es un elemento del grupo de trenzas Bn , entonces M1 es la operacion que transforma a en la
n-trenza 1 , donde es alg
un elemento de Bn , vease la Figura 2.30 (a). Se dice que el elemento
1
es el conjugado de .
2. La operaci
on M2 es la que transforma a una n-trenza en alguna de las dos (n+1)-trenzas n o n1
donde n es el generador de Bn+1 , vease la Figura 2.30 (b).

CAPITULO 2. PRELIMINARES

24

Figura 2.30: Movimientos de Markov


Definici
on. Sean y dos elementos de B . Si se puede transformar en aplicandose los movimientos de
Markov M1 y M2 y sus inversos M11 y M21 un n
umero finito de veces, entonces se dice que es Markov
equivalente (o simplemente M-equivalente) a y se denota por .
El siguiente Teorema muestra que la M-equivalencia es el concepto fundamental que conecta a los nudos y a
las trenzas.
(Teorema de Markov). Sean K1 y K2 dos nudos (o enlaces) orientados, los cuales pueden ser formados a
partir de las trenzas 1 y 2 respectivamente, entonces:
K1
= K2 1 2 .
Se tiene por el Teorema de Markov que un nudo (o enlace) K se puede obtener como la cerradura de un
n
umero infinito de trenzas. Dentro de este conjunto de trenzas existe una trenza con el mnimo n
umero de
cuerdas. La trenza es llamada la trenza mnima de K y el n
umero de cuerdas de es el ndice de trenza
de K y es denotado por b(K) y es un invariante de nudos.

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

Los sistemas din


amicos se dividen en dos clases: aquellos en los que el tiempo vara continuamente y en los que
transcurre discretamente. Los sistemas din
amicos continuos: Llamados as porque la variable independiente
t cambia de manera continua. Se expresan con ecuaciones diferenciales, las que pueden ser ordinarias, en
derivadas parciales y ecuaciones diferenciales con retrasos. Por otro lado si la variable independiente t, donde
t es el tiempo, es discreto los sistemas se reflejan por medio de ecuaciones de diferencias, tambien conocidas
como mapas iterados. Un sistema din
amico continuo n-dimensional se puede representar por la ecuaci
on:
x = F (x).
d([x1 , x2 , , xn ])
donde x = [x1 , x2 , , xn ] es un vector en Rn y x =
.
dt
Un sistema din
amico visto como un sistema de ecuaciones diferenciales ordinarias puede ser de dos categoras:
1. Sistema din
amico aut
onomo. El sistema se representa por una sistema de ecuaciones diferenciales
dx
ordinarias aut
onoma ,de la forma
= f (x) en el cual la variable t, no aparece de manera explcita.
dt
Un ejemplo de un sistema aut
onomo es el siguiente,
x = ax donde x R y a es una constante que toma valores en R. En este ejemplo, en la parte derecha
de la igualdad, la variable independiente no esta presente, razon por la cual es un sistema din
amico
autonomo.
25


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.

Existencia y unicidad de soluciones

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)

donde f (t, x) es continua y lipschitziana en alg


un abierto U R Rn .
En el presente trabajo se usan funciones de clase C ; en el siguiente par de proposiciones veremos que dichas
funciones cumplen ser Lipschitz y de esta manera poder usar los teoremas de existencia y unicidad que se
describen posteriormente.
Proposici
on. Cualquier funci
on con derivada acotada es Lipschitz continua. Sea X un intervalo y sea f :
X R una funci
on continua en X, derivable en int(X) y tal que su derivada es acotada. Entonces f es
Lipschitz continua en X.
Demostraci
on. Supongamos que existe M 0 tal que
|f 0 (x)| M

(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

a) Imagen biunvoca de un intervalo de R,


b) Un punto, o
c) Difeomorfa a un crculo.
Demostraci
on Teorema 1. El resultado es consecuencia directa del Teorema de Picard, ver [8].

El Teorema 1 s
olo garantiza existencia y unicidad para intervalos de tiempo suficientemente peque
nos. El
siguiente resultado nos permite extender a aquellos intervalos de existencia de las soluciones.
Teorema 2. Sea C U R Rn , donde C es un abierto. Entonces la solucion x(t, t0 , x0 ) puede ser extendida
unvocamente (en sentido positivo y negativo) en t hasta la frontera de C.
Demostraci
on Teorema 2 Ver [8]
.

3.3.

Estabilidad de los sistemas din


amicos

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

CAPITULO 3. SISTEMAS DINAMICOS

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)

Entonces f es infinitamente diferenciable.


Demostraci
on. Puesto que f (t) = 0 si t < a o si t > b se tiene por lo tanto que f k (t) = 0, y f k (t) es

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:

(x1 , xm ) = F (x21 + + x2m ).

(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

Figura 4.1: Representacion de una cuerda


quienes ser
an G1 y G2 , cada una como combinacion de suma y resta de funciones de clase C . Despues de
estudiar el comportamiento de x respecto de t, se tiene que:
x = (t; a, b) (t; b, c)

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

((t; ai , bi ) (t; bi , ci )),

y =

Pp

ai +bi
i
((t; ai , ( ai +b
2 )) (t; ( 2 ), bi )+

i=1

i=1

(ai < bi < ci )

(4.7)
i
+(t; ( bi +c
2 ), ci )

i
(t; ci , ( bi +c
2 )))

(ai < bi < ci )

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

Donde fpiece es la funci


on f .
Con base en la construcci
on anterior, la funcion:
Rb
F (x) = Rxb
a

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

(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))).
La Figura 5.2 representa la gr
afica de x contra t. El codigo escrito para poder generar la grafica de esta figura
es:
El comando linspace sirve para indicar el punto inicial y punto final del tiempo en el
cual se desarrollar
a el sistema din
amico.
t=linspace(0,6,200);
Se define la funci
on por partes f(t) de la siguiente forma:
f=((t<=a)&(t>=b)).*0+((t>a)&(t<b)).*(exp(1./(t-b)-(1./(t-a))));
la cual sera utilizada para establecer la funci
on phi(t) como sigue:
phi(x,a,b)=Integral(x,b)[((t<=a)&(t>=b)).*0
+((t>a)&(t<b)).*(exp(1./(t-b)-(1./(t-a))))]/Integral(a,b)
Una vez que se ha definido la funci
on anterior,se usara para distintos valores de a y
b. Como caso particular, se han tomado los siguientes valores: a=2, b=3 y c=4.
Para generar la gr
afica de dx/dt vs. t en el siguiente paso se crea el c
odigo para
dx/dt en funcion de phi.

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

Figura 5.3: Representacion del comportamiento y vs t de en el plano yt.

escribi
o el siguiente c
odigo:

38

NUMERICA

CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO

Script con el que obtiene la gr


afica para dy/dt,tal que:
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).
El comando linspace sirve para indicar el punto inicial y punto final del tiempo en
el cual se desarrollara el sistema din
amico.
t=linspace(0,6,200);
Se define la funci
on por partes f(t) de la siguiente forma:
f=((t<=a)&(t>=b)).*0+((t>a)&(t<b)).*(exp(1./(t-b)-(1./(t-a))));
la cual sera utilizada para establecer la funci
on phi(t) como sigue:
Ecuaci
on de la funci
on phi(t,2,2.5):
donde phi(t;a,(a+b)/2)=phi(t,2,2.5)=-(cumtrapz(t,l))./ll1;
Funci
on phi(2,2.5):
l=((t<=2)&(t>=5/2)).*0+((t>2)&(t<5/2)).*(exp(1./(t-5/2)-(1./(t-2))));
ll=@(t)((t<=2)&(t>=5/2)).*0+((t>2)&(t<5/2)).*(exp(1./(t-5/2)-(1./(t-2))));
ll1=integral(ll,2,5/2);
integl=-(cumtrapz(t,l))./ll1;
Ecuaci
on de la funci
on phi(t;(a+b)/2,b)=phi(t,2.5,3):
donde phi(t,2.5,3)=-(cumtrapz(t,m))./mm1;
Funci
on phi(2.5,3):
m=((t<=5/2)&(t>=3)).*0+((t>5/2)&(t<3)).*(exp(1./(t-3)-(1./(t-5/2))));
mm=@(t)((t<=5/2)&(t>=3)).*0+((t>5/2)&(t<3)).*(exp(1./(t-3)-(1./(t-5/2))));
mm1=integral(mm,5/2,3);
integm=-(cumtrapz(t,m))./mm1;
Ecuaci
on de la funci
on phi(t;t,(b+c)/2,c)=phi(t,3.5,4):
donde phi(t,3.5,4)=-(cumtrapz(t,n))./nn1
Funci
on phi(3.5,4):
n=((t<=7/2)&(t>=4)).*0+((t>7/2)&(t<4)).*(exp(1./(t-4)-(1./(t-7/2))));
nn=@(t)((t<=7/2)&(t>=4)).*0+((t>7/2)&(t<4)).*(exp(1./(t-4)-(1./(t-7/2))));
nn1=integral(nn,7/2,4);
integn=-(cumtrapz(t,n))./nn1;
Ecuaci
on de la funci
on phi(t;b,(b+c)/2)=phi(t,3,3.5):
donde phi(t,3,3.5)=-(cumtrapz(t,o))./oo1
Funci
on phi/3,3,5):
o=((t<=3)&(t>=7/2)).*0+((t>3)&(t<7/2)).*(exp(1./(t-7/2)-(1./(t-3))));
oo=@(t)((t<=3)&(t>=7/2)).*0+((t>3)&(t<7/2)).*(exp(1./(t-7/2)-(1./(t-3))));
oo1=integral(oo,3,7/2);
intego=-(cumtrapz(t,o))./oo1;
De
este modo se expresa la funci
on G(t)=dy/dt como sigue:
ypunto=integl-integm+integn-intego;%% donde ypunto es dy/dt.
La que graficamos usando el comando plot de Octave.

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)

La siguiente figura muestra la gr


afica de y contra t, la que una vez solucionado el sistema de ecuaciones
diferenciales permitir
a que la cuerda pase por debajo de otra cuerda.

Figura 5.4: Comportamiento y contra t de en el plano yt


para una cuerda que pase por abajo de otra cuerda

5.2.

Creaci
on de dos cuerdas

Una vez que se han creado los c


odigos para las ecuaciones diferenciales ordinarias para x y y y tomando en
cuenta que la ecuaci
on diferencial ordinaria en z sera z = 1, se hace uso del sistema de ecuaciones diferenciales
ordinarias (5.7) para crear dos cuerdas; esto se lograra de forma numerica, obteniendo la solucion particular
para dicho sistema de ecuaciones diferenciales con la condicion inicial: x(0) = 1 , y(0) = 0 , z(0) = 0. Esta
soluci
on particular representar
a a la primer cuerda, la que tendra un movimiento descendente en el plano xz y
pasar
a por arriba de la segunda cuerda. A continuacion se usa nuevamente el sistema de ecuaciones diferenciales
(5.7) para generar la segunda cuerda; tomando en cuenta que para esta cuerda se busca un comportamiento
ascendente en el plano xz y que adem
as pase por debajo la primera cuerda, se haran los cambios de signos
pertinentes en el sistema de ecuaciones diferenciales (9), incluyendo ademas la solucion particular para tal
sistema con la condici
on inicial: x(0) = 0 , y(0) = 0 , z(0) = 0. Por u
ltimo se grafican ambas soluciones en una
misma ventana con lo cual se conseguir
a una representacion similar a la Figura 5.5.
Con base en lo dicho en el anterior p
arrafo, se prosigue con la escritura de la siguiente rutina ,la cual permite
llevar a cabo el objetivo planteado en tal parrafo.
C
odigo en Octave para la soluci
on del sistema de ecuaciones diferenciales para 2 cuerdas
El siguiente script nos permite resolver dossistemas de 3 ecuaciones diferenciales cada uno
con condiciones iniciales dadas,mediante el comando "lsode" de Octave.
Una vez hecho por medio de la funci
on "plot3" de Octavese graficar
an ambas soluciones las que
representaran una trenza compuesta por dos cuerdas.

40

NUMERICA

CAPITULO 5. SOLUCION
DEL SISTEMA DINAMICO

Figura 5.5: Una 2-trenza en R3 , generada con el programa KnotPlot

Las condiciones iniciales para el primer sistema (1) son:


x(0)= 1, y(0)=0, z(0)= 0.
Las condiciones iniciales para el segundo sistema (2) son:
x(0)= 0, y(0)=0, z(0)= 0.
t=0:0.1:6; este vector marca el inicio del tiempo ti=0,
con saltos equiespaciados de 0.1 hasta el
tiempo final tf= 6
ycuerda1=lsode(@sistdinamico,[1,0],t);ycuerda1 es el primer sistema (1)
ycuerda2=lsode(@sistdinamico2,[0,0],t);ycuerda2 es el segundo sistema (2)
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)
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)
dz/dt = 1
Con valores en t: a = 2, b = 3, c = 4;
function sistedo=sistdinamico(x,t)
dx/dt es la funci
on testc(x,t)
dy/dt es la funci
on testay(x,t)

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

Figura 5.7: El nudo trebol expresado en terminos de una 3-trenza

Figura 5.8: Diagrama regular de la 3-trenza


Para la primer cuerda se define el siguiente sistema de ecuaciones diferenciales:

x = (t; b, c) (t; a, b) + (t; d, e) (t; e, f ) + (t; g, h) (t; h, i)


a+b
b+c
b+c
y = (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.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

Figura 5.9: La 3-trenza represetada como solucion de us sistema dinamico yz


un sistema din
amico para cada una que componga a la trenza que se pretende representar. Como se puede
observar en el Ejemplo 1 para definir una dos trenza como la de la Figura 5.8, se necesitan dos sistemas de
ecuaciones, uno para cada cuerda que de la describe. Sin embargo con este procedimiento a
un no se puede
establecer un sistema din
amico que represente a una trenza; con esto en mente el siguiente objetivo se centra
en obtener uno s
olo sistema de ecuaciones diferenciales que defina no solo a la 2-trenza de el ejemplo citado

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

Figura 5.10: Tubo vecindad alrededor de cada cuerda de una dos-trenza


largo de este trabajo) definida de la forma

= ((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.

Figura 5.11: Representacion del tubo vecindad de una 3-trenza

Captulo 6

Sistema de EDOS para representaci


on
de nudos
En esta secci
on, se establecer
a un sistema de ecuaciones diferenciales para representar nudos. La idea es usar
el sistema de ecuaciones diferenciales descrito anterirormente el cual, para n
condiciones iniciales distintas
generaba a una n-trenza. Por otra parte como se menciono en el Captulo 3, cualquier nudo se puede obtener
a traves de la cerradura de una trenza; por consiguiente la trenza que hemos conseguido por medio del sistema
5.8 le aplicaremos la cerradura para obtener un nudo. Para poder llevar a cabo esta tarea,a tal sistema se le
har
a una variaci
on en z de tal suerte que el campo vectorial ahora sea periodico. De esta manera lograremos
unir los dos puntos finales del espacio de fase en el punto del tiempo para el cual se haya completado el periodo.
Para poder llevar a cabo esto, consideremos el siguiente sistema:

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

En el que xj (t) vector soluci


on en R2 para la j-
esima cuerda sea una funcion C ,
x : [0, ] R2 .

(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

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