Sie sind auf Seite 1von 32

XVI JORNADAS DE LA ASOCIACI

ON MATEM

ATICA
VENEZOLANA
Universidad Simon Bolvar
Caracas, 7 al 9 de abril de 2003.
2
XVI Jornadas de la AMV 1
Comit e Organizador:
Argimiro Arratia, USB (arratia@ma.usb.ve)
Lyonell Boulton, USB (lboulton@ma.usb.ve)
Alejandra Caba na, IVIC (acabana@ivic.ve)
Carlos Di Prisco, IVIC (cdiprisc@ivic.ve)
Eduardo Lima de Sa, USB (elima@usb.ve)
Jose Luis Palacios, USB (jopala@cesma.usb.ve)
Mercedes Rosas, USB (mrosas@ma.usb.ve)
Rafael Sanchez, UCV
(rsanchez@euler.ciens.ucv.ve)
Comit e de Programa:
Argimiro Arratia, USB (arratia@ma.usb.ve)
Diomedes Barcenas, ULA (barcenas@ciens.ula.ve)
Wilmer Colmenares, UCLA (wilmerc@ucla.edu.ve)
Ennis Rosas, UDO (erosas@sucre.udo.edu.ve)
Fernando Sanchez, LUZ (fsanchez@luz.ve)
Conferencistas Invitados:
Stefania Marcantognini (Instituto Venezolano de
Investigaciones Cientcas)
Neptal Romero (Universidad Centro Occidental
Lisandro Alvarado)
Jose Castillo (San Diego State University, EEUU)
Michel Jamb u (CIMPA: Centre International de
Mathematiques Pures et Appliquees, Francia)
Sesiones:
Analisis, organizan: Maria Dolores Moran, UCV,
(mmoran@euler.ciens.ucv.ve) y Lyonell Boulton,
USB, (lboulton@ma.usb.ve)
Algebra y Teora de N umeros, organiza Pedro
Berrizbeitia, USB, (pedrob@usb.ve) y Boris Iskra,
USB. (iskra@ma.usb.ve)
Ecuaciones Diferenciales. Teodoro Lara, ULA,
(teodorolara@cantv.net) Judit Vanegas, USB,
(cvanegas@usb.ve)
Educacion Matematica, organizan Enrique Plan-
chart , USB, (eplan@usb.ve) y Sabrina Garbin,
USB, (sgarbin@usb.ve)
Geometra Diferencial y Fsica Matematica, organi-
zan: Carlos Duran, IVIC, (cduran@ivic.ve) y Rafael
Diaz , IVIC, (radiaz@ivic.ve)
Logica, Combinatoria e Informatica Teorica, orga-
nizan Carlos Di Prisco, IVIC, (cdiprisc@ivic.ve) y
Ramon Pino, ULA, (pino@ula.ve)
Probabilidad y Estadstica, organiza: Daniel Bar-
raez, UCV, (dbarraez@euler.ciens.ucv.ve)
Patrocinadores:
Asociacion Matematica Venezolana
Universidad Simon Bolivar,
Decanato de Investigacion y Desarrollo
Decanato de Postgrado
Direccion de Extension Universitaria
Direccion de Relaciones P ublicas
Vicerectorado Academico
Instituto Venezolano de Investigaciones Cientcas,
Centro de Estudios Avanzados
Universidad Central de Venezuela, Postgrado de
Matematicas
Fundacion Polar
Este Libro de Programa y Res umenes fue elabo-
rado por: Lyonell Boulton, Argimiro Arratia, Alejandra
Caba na y Marcos Gonzalez. Agradecemos a la Sociedad
Venezolana de Fsica por cedernos sus macros L
A
T
E
Xpara
el formato de este libro.
2 XVI Jornadas de la AMV
15
Programa
Lunes 7 de Abril
Lunes 09:00 - 11:00
Inscripciones: Complejo de Auditorios, area externa
Lunes 11:00 - 11:30
Acto de Inauguracion: Auditorio 1
Lunes 11:30 - 12:30
Conferencia Plenaria
Auditorio 1
Coordinador: A. Arratia
Michel Jambu
Homotopy groups of complements of complex hyperplane
arrangements
Lunes 12:30 - 14:00
Libre
Lunes 14:00 - 15:25
Analisis
Sala 1
Coordinador: L. Boulton
AN1. Gerardo Camera 14:00 - 14:25
Composicion con Funciones Analticas
AN2. Iris Lopez 14:30 - 14:55
Derivada fraccionaria para la medida Gaussiana y aplica-
ciones
AN3. Wilfredo Urbina 15:00 - 15:25
Espacios de Sobolev y derivadas fraccionarias para semigru-
pos de difusion
Ecuaciones Diferenciales
Sala 2
Coordinador: T. Lara
ED1. Judith Vanegas 14:00 - 14:25
A boundary value problem for the the system curlu+u = f
ED2. Wadie Aziz 14:30 - 14:55
Redes neuronales celulares: Un nuevo enfoque
Logica, Combinatoria e Informatica
Sala 3
Coordinador: R. Pino
LO1. Martha Valdiviezo 14:00 - 14:25
Condiciones para la no existencia de ciclos de una determi-
nada longitud en grafos bipartitos balanceados
LO2. Daniel Brito 14:30 - 14:55
Condiciones de grado para que un grafo bipartito balanceado
sea Hamiltoniano
LO3. Carlos Di Prisco 15:00 - 15:25
Funciones continuas y el operador de traslado
Probabilidades y Estadstica
Sala 4
Coordinador: D. Barraez
PE1. Joaqun Ortega 14:00 - 14:25
Caractersticas Geometricas de Olas Gaussianas
PE2. Alejandra Caba na 14:30 - 14:55
Pruebas de ajuste a la distribucion de Weibull basadas en la
funcion generadora de momentos emprica
PE3. Adolfo Quiroz 15:00 - 15:25
Frecuencias de grados en el arbol mnimo de expansion y el
problema de identicacion de dimension
Lunes 15:30 - 16:00
Libre
Lunes 16:00 - 16:55
Analisis
Sala 1
Coordinador: L. Boulton
AN4. Marisela Domnguez 16:00 - 16:25
Funciones indenidas y familias multiplicativas de isometras
AN5. Jose Gregorio Marcano 16:30 - 16:55
El Problema de extension de covarianzas y desigualdades de
maxima entropa
Ecuaciones Diferenciales
Sala 2
Coordinador: T. Lara
ED3. Valentina Iakovleva 16:00 - 16:25
Sobre las soluciones de la ecuacion diferencial en diferencias
x

(t) = x(t 1) +x(t + 1)


ED4. Juan Carlos Sotillo 16:30 - 16:55
Estabilidad de esquemas de diferencias nitas para la
ecuacion de ondas
Logica, Combinatoria e Informatica
Sala 3
Coordinador: R. Pino
LO4. Jose G. Mijares 16:00 - 16:25
Teorema de Milliken parametrizado
LO5. Rafael Daz 16:30 - 16:55
Algebras de Boole cuanticas
3
4 XVI Jornadas de la AMV
Probabilidades y Estadstica
Sala 4
Coordinador: D. Barraez
PE4. Jes us Tapia 16:00 - 16:25
Formas cuadraticas del Proceso Emprico Condicional como
pruebas de ajuste a modelos con covariables
PE5. Jes us Tapia 16:30 - 16:55
Aplicacion de las formas cuadraticas del Proceso emprico
Condicional al modelo lineal general con errores multinor-
males
Lunes 17:00
Cocktail - Casa del Rectorado
Martes 8 de Abril
Martes 9:30 - 10:30
Conferencia Plenaria
Auditorio 1
Coordinador: D. Barcenas
Neptal Romero
Comentarios sobre el concepto de Automatas Celulares
Martes 10:30 - 11:00
Libre
Martes 11:00 - 12:25

Algebra
Sala 4
Coordinador: P. Berrizbeitia
AL1. Alirio Pe na 11:00 - 11:25
Algunas relaciones entre anillos y cuantales
AL2. Leobardo Valera 11:30 - 11:55
Algoritmo para calcular Pfaanos
AL3. Delia Flores 12:00 - 12:25
Algebras Simetricas Cuanticas, Algebras de Nichols
Analisis
Sala 1
Coordinador: M. Moran
AN6. Lyonell Boulton 11:00 - 11:25
Operadores de Schrodinger con espectro discreto
AN7. Julio Ramos 11:30 - 11:55
Sectores crticos para funciones en los espacios de Bergman
con peso
AN8. Yamilet Quintana 12:00 - 12:25
Aproximacion en espacios de Sobolev con peso
Ecuaciones Diferenciales
Sala 2
Coordinador: J. Vanegas
ED5. Teodoro Lara 11:00 - 11:25
Delayed CNN: Model, applications, implementations and dy-
namics
ED6. Marcos Lizana 11:30 - 11:55
Estudio de la ecuacion trascendental
2
+c+de
r
= 0 y
aplicaciones
Logica, Combinatoria e Informatica
Sala 3
Coordinador: C. Di Prisco
LO6. Argimiro Arratia 11:00 - 11:25
Approximating the expressive power of logics in nite models
LO7. Ramon Pino 11:30 - 11:55
Consistencia del test de Ramsey y la revision
LO8. Elas Tahhan 12:00 - 12:25
Estrategias de reduccion interna libre de contexto para sis-
temas de reescritura de terminos
Martes 12:30 - 14:00
Libre
Martes 14:00 - 15:00
Conferencia Plenaria
Auditorio 1
Coordinador: E. Lima de Sa
Jose E. Castillo
Numerical Solution of Partial Dierential Equations in non
trivial Domains
Martes 15:00 - 15:30
Libre
Martes 15:30 - 17:00

Algebra
Sala 4
Coordinador: B. Iskra
AL4. Pedro Berrizbeitia 15:30 - 15:55
Una mejora del Algoritmo AKS de primalidad para un sub-
conjunto grande de los enteros
AL5. Vctor J. Ramrez V. 16:00 - 16:25
En Busca de una Mejora al AKS-Algorithm
AL6. Ynes G. N u nez M. 16:30 - 16:55
Grafos dirigidos y Superalgebras de Schur
Analisis
Sala 1
Coordinador: M. Moran
AN9. Jose Sanabria 15:30 - 15:55
Generalizaciones de funciones irresolutas y algunas aplica-
ciones
AN10. Carlos Carpintero 16:00 - 16:25
Conjuntos semi abiertos y continuidad en espacios
topologicos
AN11. Ennis Rosas 16:30 - 16:55
Conjuntos (, ) semiabiertos y propiedades de separacion
Ecuaciones Diferenciales
Sala 2
Coordinador: J. Vanegas
ED7. Hanzel Larez 15:30 - 15:55
Teorema de descomposicion espectral para operadores com-
pactos y autoadjuntos en espacios prehilbert
XVI Jornadas de la AMV 5
ED8. Hugo Leiva 16:00 - 16:25
Exact controllability of a non-linear generalized damped
wave equation: Application to the Sine-Gordon equation
ED9. Zoraida Svoli 16:30 - 16:55
Existence, stability and smoothness of a bounded solution
for nonlinear time-varying thermoelastic plate equations
Geometra Diferencial y Fsica - Matematica
Sala 3
Coordinador: C. Duran
GF1. Eddy Pariguan 15:30 - 15:55
Funciones simetricas cuanticas
GF2. Rafael Daz 16:00 - 16:25
Categorizacion de las integrales de Feynman
GF3. Lazaro Recht 16:30 - 16:55
Metric geometry in homogeneous spaces of the unitary group
of a C

-algebra
Miercoles 9 de Abril
Miercoles 09:00 - 11:00

Algebra
Sala 4
Coordinador: B. Iskra
AL7. Eddy Pariguan 9:00 - 9:25
Supersimetra explicada en grafos
AL8. Alirio Pe na 9:30 - 9:55
Teoremas de representacion para los sup-retculos de asigna-
ciones reticulares debiles y fuertes sobre categoras de modu-
los
AL9. Manuel Maia 10:00 - 10:25
Algunos Teoremas de Estructura para Ideales en Anillos
Noetherianos Locales
Ecuaciones Diferenciales
Sala 2
Coordinador: J. Vanegas
ED10. Mario Cavani 9:00 - 9:25
Una cadena alimenticia tipo Holling I
ED11. Jes us Villarroel 9:30 - 9:55
Una cadena alimenticia en el quimiostato tipo Holling I
ED12. Sael Romero 10:00 - 10:25
Disipatividad Puntual en el Modelo Depredador Presa de
Harrison
Geometra Diferencial y Fsica - Matematica
Sala 3
Coordinador: C. Duran
GF4. R. Malave 9:00 - 9:25
Supercies de Riemann minimales, via funciones de Energa
GF5. Rodrigo Martnez O. 9:30 - 9:55
Algunas Caracterizaciones de las Estructuras de Lyra, H-
equivalentes con una Estructura Euclideana
GF6. Tomas Guardia 10:00 - 10:25
Combinatoria de

Arboles con raiz
GF7. Vctor F. Sirvent 10:30 - 10:55
Hilberts Space Filling Curves and Geodesic Laminations
Sesion Especial: La Matematica en el Petroleo
Sala 1
Coordinador: S. Buitrago
MP1. Hector Klie 9:00 - 9:25
Metodos de solucion numerica de las ecuaciones de ujo y
transporte en medios porosos
MP2. Juan R. Jimenez 9:30 - 9:55
Estimation of petrophysical properties using multiple at-
tributes: perturbing linear regressions
MP3. Rafael Banchs 10:00 - 10:25
Estimacion de propiedades de yacimientos a partir de datos
sismicos usando redes neuronales.
MP4. Sa ul Buitrago 10:30 - 10:55
Tecnica de optimizacion global en la Industria Petrolera
MP5. German Larrazabal 10:55 - 11:20
Uso de herramientas computacionales de alto rendimiento
para la resolucion de sistemas lineales dispersos
Miercoles 11:00 - 11:25
Libre
Miercoles 11:30 - 12:30
Conferencia Plenaria
Auditorio 1
Coordinador: A. Caba na
Stefania Marcantognini
De la traza de una matriz cuadrada a la formula de la traza
de M.G. Kren y mas alla
Miercoles 12:30 - 14:00
Libre
Miercoles 14:00 - 15:30
Analisis
Sala 1
Coordinador: L. Boulton
AN12. Ramon Bruzual 14:00 - 14:25
La propiedad de extension indenida
AN13. Ventura Echandia 14:30 - 14:55
Sucesiones Debilmente Nulas de Funciones Caractersticas
en Espacios de Orlicz
AN14. Vladimir Strauss 15:00 - 15:25
Sobre un problema de momentos con el signo indenido
Educacion Matematica
Sala 2
Coordinador: E. Planchart
EM1. Sabrina Garbin 14:00 - 14:25
La problematica del concepto de innito en su dualidad po-
tencial y actual: ideas e interpretaciones de estudiantes uni-
versitarios
EM2. Rafael Sanchez 14:30 - 14:55
Problemas de

Algebra en Olimpiadas de Matematicas
EM3. Rafael Sanchez 15:00 - 15:25
Olimpiadas Matematicas: su importancia
6 XVI Jornadas de la AMV
Geometra Diferencial y Fsica - Matematica
Sala 3
Coordinador: R. Daz
GF8. Edmundo Castillo 14:00 - 14:25
Topologa de cuerdas abiertas
GF9. Carlos Duran 14:30 - 14:55
Condiciones de Blaschke en geometra de Finsler
GF10. Mauricio Angel 15:00 - 15:25
Deformacion de estructuras holomorfas
Probabilidades y Estadstica
Sala 4
Coordinador: D. Barraez
PE6. Giselle

Alvarez V. 14:00 - 14:25
Estimacion Multivariada de Propiedades de Yacimientos a
Partir de Datos Ssmicos
PE7. Daniel Barraez 14:30 - 14:55
Modelos de Markov Escondidos para la clasicacion de
litologica de registros de pozo
PE8. Mauricio A. Berm udez-Cella 15:00 - 15:25
Estimacion de Edades de Rocas Usando Huellas de Fision y
Densidades de Uranio
Miercoles 15:30 - 16:00
Libre
Miercoles 16:00 - 16:55
Analisis
Sala 1
Coordinador: M. Moran
AN15. Diomedes Barcenas 16:00 - 16:25
Continuidad de operadores aditivos
AN16. Fernando J. Sanchez-Salas 16:30 - 16:55
Medidas absolutamente contnuas invariantes para endomor-
smos de variedades
Educacion Matematica
Sala 2
Coordinador: S. Garbin
EM4. Olga Porras 16:00 - 16:25
Una Propuesta de Reforma Curricular para la Matematica
de la Tercera Etapa de Educacion Basica
EM5. Enrique Planchart 16:30 - 16:55
Resultados del Programa Igualdad de Oportunidades
EM6. Enrique Planchart 17:00 - 17:25
Especializacion en Didactica de las Matematicas para Pro-
fesores de Educacion Media
EM7. Henry Martnez 17:30 - 17:55
titulo ha ser anunciado
Geometra Diferencial y Fsica - Matematica
Sala 3
Coordinador: R. Daz
GF11. Said Kas-Danouche 16:00 - 16:25
El Efecto de Surfactantes en la Estabilidad Interfacial No-
Lineal del Movimiento de Pelculas Centro-Anulares
GF12. Ramon Alberto Vivas 16:30 - 16:55
Variedades invariantes en una funcion logistica acoplada
Probabilidades y Estadstica
Sala 4
Coordinador: D. Barraez
PE9. Saba Infante, Mara E. Perez 16:00 - 16:25
Modelaje de Datos de Supervivencia usando un Proceso Beta
Correlacionado en el Tiempo
PE10. Carlos J. Domar 16:30 - 16:55
Analisis Bayesiano Dinamico de Series Temporales Asociadas
con el Crecimiento de Sistemas Coralinos en la Costa Caribe
de Panama
Res umenes
Conferencias Plenarias
Homotopy groups of complements of
complex hyperplane arrangements
Michel Jambu
CIMPA: Centre International de Mathematiques Pures et
Appliquees, Francia
By the classical work of Brieskorn and Deligne, it is known
that the complement of a complex hyperplane arrangement
is often aspherical. The rst explicit computation of non-
trivial homotopy groups of this type has been performed by
Hattori in 1975. This remained the only example of this kind
until recently. For the wider class of hypersolvable arrange-
ments which is combinatorially dened, we characterize the
subclass of aspherical arrangements and for the others, we
can give a presentation of the rst higher non-vanishing ho-
motopy group.
Comentarios sobre el concepto de
Automata Celulares
Neptal Romero
Departamento de Matematicas,
Universidad Centro Occidental Lisandro Alvarado
Apartado 400, Barquisimeto
La nalidad primordial de esta charla es la de presentar
una extension del concepto de Automata Celular. Conviene
aclarar que, aunque este concepto proviene de la Teora de la
Computaci on, la disertacion se enmarca dentro de la Teora
de los Sistemas Dinamicos; apuntando hacia una vision mas
global de los automatas celulares.
Se haran comentarios sobre la genesis del concepto en
cuestion. Se mostrara la denicion proveniente de la Teora
de la Computacion: un automata celular, desde este punto de
vista, consiste un reticulado Z
d
, para alg un entero positivo
d, cuyos puntos son llamados celulas. A cada celula le corre-
sponde una vecindad nita de tama no uniforme; se incluye
tambien un alfabeto /, un conjunto nito cualquiera, el cual
determina el conjunto de estados que puede asumir cada
celula. El conjunto de conguraciones del automata celular,
, es el conjunto de todas la sucesiones d-dimensionales con
valores en /. Con estos ingredientes, un automata celular
es una aplicacion del espacio de conguraciones en si mismo
denido mediante una funcion bloque, la cual asigna a cada
celula con un determinado estado, otro estado que depende
de los estados asumidos por las celulas en la vecindad de
aquella a la cual se desea conocer la evolucion de su estado.
Seguidamente se mostrara la relaci on existente entre este
concepto y el conjunto de transformaciones de F :
que conmutan con el grupo de traslaciones en ese espacio.
Partiendo de esta relacion se hara una extension del con-
cepto de aut omata celular en terminos tanto del alfabeto co-
mo del reticulado. Con esta extension se destacara, ademas
de los propios automatas celulares, como es obvio, los de-
nominados Coupled Map Latiices empleados, por ejemp-
lo, en la Fsica para modelar discretizaciones de ecuaciones
en derivadas parciales como sistemas dinamicos espacio-
temporales a tiempo y espacio discretos.
Por ultimo se mostrara como denir funciones bloques en
la denicion extendida y su relacion con determinados grupos
de permutaciones y los shifts extendidos.
[1] L. Bunimovich. (1995), Coupled map lattices: one step
forward and two steps back, Physica D. 86, 248255.
[2] M. Hurley. (1990), Attractors in cellular automata, Er-
godic Theory and Dynamical Systems. 10, 131140.
[3] G. Hedlund. (1969), Endomorphisms of the shift dy-
namical systems, Ergodic Theory and Dynamical Sys-
tems. 3, 320375.
[4] N. Romero, A. Rovella and F. Vilamajo. (2002), Hy-
perbolicity in Real Cellular Automata. Preprint.
[5] J. Weitkamper. (1993), A study of bifurcations in a
circular real cellular automaton, Int. Journal of Bifur-
cations and Chaos. Vol. 3, No. 2, 293321.
[6] S. Wolfram. (1984), Computation Theory of Cellular
Automata, Commun. Math. Phys. 96, 1557.
[7] S. Wolfram. (1986), Cellular Automata, Theory and
Applications, World Scientic.
Numerical Solution of Partial
Dierential Equations in non trivial
Domains
Jose E. Castillo
Computational Science Research Center
San Diego State University, EE.UU
Variational grid generation techniques are now used to
produce grids suitable for solving numerically partial dier-
ential equation in nontrivial regions. The method presented
here controls grid properties that are dened directly over
the grid; spacing between the grid lines, area or volume of
the grid cells and orthogonality of the grid lines. The grid is
produced by solving a nonlinear minimization problem.
De la traza de una matriz cuadrada a
la formula de la traza de M.G. Kren y
mas alla
Stefania Marcantognini
Departamento de Matematicas,
Instituto Venezolano de Investigaciones Cientcas.
Sean U y V operadores unitarios en un espacio de Hilbert
separable 1 tales que UV es un operador en la clase traza.
M.G. Kren demostro que, para cualquier funcion denida
en la circunferencia unitaria del plano complejo con derivada
7
8 XVI Jornadas de la AMV
d
dt
(e
it
) en la clase de Wiener, la traza de (U) (V )
verica la relacion
tr((U) (V )) =
Z

(t)
d
dt
(e
it
) dt, (1)
donde es una funcion real integrable que depende unica-
mente del par (U, V ) y esta determinada por (1) a menos
de constantes aditivas.
La identidad (1) se conoce bajo el nombre de formula
de la traza y toda funcion como en la referida formula
se llama funcion shiftespectral del par (U, V ). La funcion
shift espectral fue introducida por I. M. Lifshits en relacion
con un problema de estadstica cuantica y para pares de
operadores autoadjuntos (para los cuales vale una formula
de la traza completamente analoga).
Entre las funciones shift espectrales del par (U, V ), espe-
cial mencion amerita la funcion 0, dada por la condicion
adicional
Z

0(t)dt = itr Log(V U


1
),
donde Log indica la rama principal del logaritmo, pues, como
establecieron M. Sh. Birman y M.G. Kren, para casi todo
t [, ] tal que e
it
pertenece al espectro de V , vale
det S(e
it
) = e
2i
0
(t)
, (2)
donde |S(e
it
) es la familia de matrices de scattering
unitarias asociadas al par (U, V ).
Despues de las investigaciones de M.G. Kren, una gran
variedad de problemas interesantes relacionados con (1)
y (2) han suscitado el interes de un vasto crculo de
matematicos y fsicos teoricos. En particular, se fueron desar-
rollando dos direcciones de trabajo. Por un lado, el enfoque
que lleva a generalizar (1) y (2) al considerar operadores no
unitarios, y, por otra parte, el que conduce a obtener formulas
analogas a (1) (y, eventualmente, (2)) para perturbaciones
que no son de traza nita.
En la exposicion partimos del concepto familiar de traza
de una matriz cuadrada para ir introduciendo los concep-
tos requeridos para la presentacion del resultado de Kren.
Se nalamos algunas generalizaciones debidas, en una direc-
cion, a A.V. Rybkin, y, en la otra direccion, a L.S. Koplienko
y H. Neidhardt. Por ultimo, en el marco sugerido por los
resultados de Koplienko-Neidhardt, presentamos algunos re-
sultados mas generales obtenidos recientemente con M. D.
Moran.
[1] J. Perez-Conde and A. K. Bhattacharjee, Phys. Rev. B
63, 245318 (2001).
[2] J. Perez-Conde et al., Phys. Rev. B 64, 113303 (2001).
Sesiones

Algebra
Sala 4: Edicio Basico I, Primer Piso.
AL1
Algunas relaciones entre anillos y
cuantales
Alirio J. Pe na P.
Departamento de Matematica,
Facultad Experiemental de Ciencias.
Universidad del Zulia.
Direccion electronica: apena@luz.ve
Sean R un anillo asociativo con identidad ([1]) y Q un
cuantal ([2]). En este trabajo se estudia el sup-retculo
A(R,Q) de Q-asignaciones reticulares fuertes sobre la cat-
egora R-Mod de R-modulos a izquierda (unitarios) sobre R,
introducido en [3]. Se prueba que A(R,Q) es un cuantal y un
Q-bimodulo, el cual contiene un retracto de cuantales iso-
morfo a Q. Mas a un, si Q es conmutativo, entonces A(R,Q)
es una Q-algebra. Tambien, se describen los cuantales for-
mados por los elementos izquierdos y derechos de A(R,Q).
En particular, A(R,Q) es un factor si y solo si Q lo es. Asimis-
mo, algunas construcciones basicas de cuantales asociadas
a un tal anillo son exhibidas.
[1] Anderson, F.R., and Fuller, K. (1974), Rings and cat-
egories of modules, Graduate Texts in Mathematics,
Springer-Verlag, Heidelberg-Berlin-New York.
[2] Mulvey, C.J. (1985), Rend. Circ. Mat. paler-
mo (2) Suppl. (1986), 99-104. Avalaible in:
http://www.maths.sussex.ac.uk/Sta/CJM/
[3] Pe na, A.J. (2003), Lattice-valed assignments on mod-
ule categories, preprint.
AL2
Algoritmo para calcular Pfaanos
Leobardo Valera
Universidad Metropolitana, Escuela de Matematicas
Johann Friedrich Pfa introdujo las funciones que aho-
ran llevan su nombre en 1815, mientras estudiaba una forma
general de resolver sistemas de ecuaciones diferenciales de
primer orden. El dio dos maneras de listar todos los Match-
ings perfectos y observo que cuando los Matchings son
ordenados lexicogracamente los signos son estrictamente
alternantes.
Fue Cayley quien introdujo el nombre de Pfaano, debido
a su conexion con las investigaciones de Pfa acerca de
ecuaciones diferenciales.
En este trabajo se hace uso del hecho que el determinante
y los Pfaanos se pueden denir mediante el algebra exterior
y utilizamos las propiedades del algebra exterior para estudiar
ciertos resultados importantes como es por ejemplo expresar
el Pfaano de una matriz de cierto orden en funcion de
Pfaanos de ordenes menores.
[1] Hema Srinivasan, Decomposition formulas for pfaans,
journal of algebra 1 (1994), no. 163, 312-334
AL3
Algebras Simetricas Cuanticas,
Algebras de Nichol
Delia Flores
Facultad de Ciencias. U.C.V
Las Algebras Simetricas Cuanticas o Algebras de Nichols,
sobre un K espacio trensado V , son Algebras graduadas,
R =
L
n0
R(n), tales que:
(i) R(0) = K,
(ii) R(1) V , como K-espacios trensados,
(iii) R es generada como K-algebra por V . Estas algebras
soportan una estructura de algebra de Hopf trensada
con la porpiedad
(iv) P(R) = |x R : (x) = x 1 + 1 x = V , la cual
esta univocamente determinada por las propiedades de
(i) a (iv).
Hay varias formas de constuir estas algebras que se basan
esencialmente unas en la construccion de Lusztig, [4], [2], [3]
y otras en la construccion de Nichols en la categora de mod-
ulos de Yetter, [5], [1].
Comparamos estas construcciones indicando las ventajas
de cada una sobre la otra y como pueden usarse en le estudio
de la estructura.
[1] Andruskiewitsch and M. Gra na: arXiv : math.
QA/9802074. v3, 1998
[2] D.Flores and J. Green: Quantum Symmetric Algebra II,
por aparecer, 2002
[3] D.Flores and J. Green : Quantum Symmetric Algebras,
Alg. and Rep. Theory, v.4, 55-76, 2001
[4] Lusztig, G: Introduction to Quantum Groups, Burkhais-
er, Boston, 1993
[5] W.Nichols: Bialgebras of type one. Comm. in Algebras,
(6), 15:1521-1552,1978
9
10 XVI Jornadas de la AMV
AL4
Una mejora del Algoritmo AKS de
primalidad para un subconjunto grande
de los enteros
Pedro Berrizbeitia
Departamento de Matematicas
Universidad Simon Bolvar
En agosto del 2002 M. Agrawal, N. Kayasl y N. Saxena
hicieron p ublico un algoritmo determinstico de primalidad,
ahora conocido como el algoritmo AKS, que corre en tiem-
po polinomial, poniendo n, de este modo a una antigua e
importante pregunta de la Teora de N umeros. Mas concreta-
mente, los autores muestran que el algoritmo que presentan
tiene complejidad polinomial O ((log n)
1
2), donde O (x) sig-
nica O(xpoly(log x)). Dan argumentos para sustentar que
en la practica el algoritmo corre mas rapido: O ((log n)
6
),
pero no pueden probarlo. Describiremos el algoritmo AKS y
una interesante modicacion, que hice p ublico en noviembre
de 2002, y que determina la primalidad de todos los n umeros
n, para los cuales se conoce un n umero a tal que el smbolo
de Jacobi (
a
n
) = 1. Esta modicacion de AKS corre siem-
pre en tiempo O ((log n)
6
), por lo menos 1000 veces mas
rapido que el algoritmo AKS, y corre mucho mas rapido para
n umeros n tales que n
2
1 es divisible por una potencia de
dos relativamente grande.
AL5
En busca de una mejora al
AKS-algorithm
Vctor J. Ramrez V.
Departamento de Matematicas. Universidad Simon Bolvar
En Agosto del 2002, Manindra Agrawal, Neeray Kayal y
Nitin Saxena [1] presentaron el primer algoritmo, conoci-
do ahora como el AKS-Algorithm, que determina en tiempo
polinomial cuando un entero natural n es primo o compuesto.
Ellos prueban que el AKS-Algorithm corre en tiempo

O((log(n))
12
), donde

O(f(x)) = O(f(x)pol(log(f(x)))).
Recientemente, Pedro Berrizbeitia [3] presento una mod-
icacion al AKS-Algorithm que hace que el algoritmo corra
en tiempo

O((log(n))
6
), para una familia muy grande de
enteros naturales, la cual incluye los n 1 (mod 4).
En este trabajo se presenta otra modicacion al AKS-
Algorithm que hace que el algoritmo corra en tiempo

O((log(n))
6
), para una familia muy grande de enteros nat-
urales, la cual incluye los n 2, 3, 4, 5, 6 (mod 7).
[1] M.Agrawal, N. Kayal and N. Saxena., Primes is in P.,
http://www.cse.iitk.ac.in/news/primality.pdf,2002
[2] Eric Bach and Jerey Shallit., Algorithmic Number
Theory , 1 The MIT Press.(1996)
[3] Pedro Berrizbeitia, Sharpening Primes is in P for a
large family of numbers.,
http://lanl.arxiv.org/abs/math.NT/0211334,2002.
AL6
Grafos dirigidos y Superalgebras de
Schur
Ynes G. N u nez M.
Facultad de Ciencias. U.C.V
Sea V un espacio vectorial sobre un cuerpo K. Consid-
eremos V r, la potencia tensorial de orden r de V . Tanto el
grupo simetrico de orden r, Sr , como el grupo lineal gen-
eral GL(r, K) act uan sobre V r . Estas acciones dan lugar
al algebra de Schur SK(n, r) = EndKSr(V r) Considere-
mos ahora el caso super en el cual V es un superespacio
vectorial, i.e.V = V 0V 1 . Nuevamente el grupo simetrico
Sr , act ua sobre V r permutando coordenadas pero ahora
con un signo a nadido . Este signo es obtenido consideran-
do los elementos de V 0 como centrales y los de V 1 como
anticonmutadores entre ellos. Esta accion de permutacion
con signo da lugar a la correspondiente superalgebra de
Schur SK(n/n, r) = EndKSr(V r) En este trabajo pre-
sentaremos, usando argumentos propios de la teora de es-
pecies combinatoria una aproximacion a estas superalgebras
a traves de ciertos grafos dirigidos que modelaran de alguna
manera las propiedades de estas.
[1] J. Brundan and A. Kleshchev, Projective Representa-
tions of Symmetric Groups via Sergeev Duality, por
aparecer en Math.Z..
[2] J.A. Green, On certain subalgebras of the Schur alge-
bra, J. Algebra 131(1990) 265-280
[3] J.A. Green, Polynomial Representations of GLn, Lec-
ture Notes in Mathematics 830, Springer-Verlag,
Berlin(1980)
[4] M. Mendez , Species on digraphs, Adv. Math.
123(1996) 243-275
[5] M. Mendez, Directed Graphs and the Combinatorics of
the Polynomial Representations of GLn( C), Annals of
Comb. 5(2001)459-478
AL7
Supersimetra explicada en grafos
Eddy Pariguan
Universidad Central de Venezuela
eddyp@euler.ciens.ucv.ve
Un superalgebra de Lie g = g0 g1 es un superespa-
cio vectorial junto con una aplicacion binaria [ , ] : g
g g que satisface: Es bilineal, (Superconmutativa)
[x, y] = (1)
xy
[y, x] y satisface la identidad [x, [y, z]] =
[[x, y], z] +(1)
xy
[y, [x, z]], para todo x, y, z g. Consider-
amos el superalgebra de Lie
gl(n, m) = End(C
n|m
)
=
(
a b
c d
!
,
a Mn(C), d Mm(C),
b Mnm(C), c Mmn(C)
)
y establecemos el isomorsmo
Esta identicacion no solo simplica los calculos sino que
permite entender conceptos que aparecen en el estudio de
superalgebras de Lie de una manera mas rapida, visual y
sobre todo admite generalizaciones de manera natural que
no se maniestan en el contexto puramente algebraico. Ex-
pondremos las estructuras algebraicas presentes en la parte
bosonica g0 y fermionica g1 de un superalgebra de Lie, ade-
mas mostraremos los conceptos de sistema de raices y dia-
grama de Dynkin asociados a un superalgebra de Lie.
[1] Victor Kac. Lie superalgebras. Adv. Math. 26 (1977),
8 96.
[2] James E. Humphreys. Reection Groups and Coxeter
Groups. Cambridge Studies in Advanced Mathematics
29. Cambridge University Press, 1990.
XVI Jornadas de la AMV 11
[3] Williams Fulton, Joe Harris. Representation Theory. A
rst course . Springer-Verlag, New York 1991.
[4] Roger Carter, Graeme Segal y Ian Macdonald. Lecture
on Lie groups and Lie algebras. Students Texts 32, Lon-
don Mathematical Society, 1995.
AL8
Teoremas de representacion para los
sup-retculos de asignaciones
reticulares debiles y fuertes sobre
categoras de modulos
Alirio J. Pe na P.
Departamento de Matematica, Facultad Experiemental de
Ciencias.
Universidad del Zulia.
Direccion electronica: apena@luz.ve
Sean R un anillo asociativo con identidad ([1]) y L un sup-
retculo ([2]). En este trabajo se muestran algunos teoremas
de representacion para los sup-retculos Qdec(R,L) y A(R,L)
de asignaciones reticulares debiles y fuertes sobre la cate-
gora R-Mod de R-modulos a izquierda (unitarios) sobre R,
introducidos en [3] y [4], respectivamente, cuando R es semi-
noetheriano a izquierda. En particular, si R es semiartiniano
a izquierda o noetheriano a izquierda. Asimismo, se deducen
acciones del cuantal simple Q(L) de sup-endomorsmos de
L sobre los sup-retculos Qdec(R,L) y A(R,L).
[1] Anderson, F.R., and Fuller, K. (1974), Rings and cat-
egories of modules, Graduate Texts in Mathematics,
Springer-Verlag, Heidelberg-Berlin-New York.
[2] Birkho, G. (1948), Lattice theory, Revised Edition,
Amer. Math. Soc. Colloquium Publ., Vol. XXV, Provi-
dence, Rhode Island.
[3] Golan, J.S. (1977), Decomposition and dimension in
module categories, Marcel Dekker, New York.
[4] Pe na, A.J. (2003), Lattice-valed assignments on mod-
ule categories, preprint.
AL9
Algunos teoremas de estructura para
ideales en anillos Noetherianos locales
Manuel Maia
Universidad Central de Venezuela
Facultad de Ciencias, Escuela de Matematicas
mmaia@euler.ciens.ucv.ve
Cualquier localizacion de un anillo local regular es nueva-
mente un anillo local regular. Este resultado no homologico,
demostrado por metodos homologicos establecio rmemente
al algebra homologica como una herramienta central en la
teora de anillos. Por otra parte, el algebra conmutativa no es
muy rica en teoremas de clasicacion o estructura de ideales
o anillos. El resultado mencionado es consecuencia de uno
de tales teoremas: un anillo noetheriano local es regular, si
y solo si, su dimension global es nita.
La parte central de este trabajo la constituye el estudio de
dos teoremas de estructura para ideales en anillos noetheri-
anos locales, a saber, el teorema de Vasconcelos, el cual
caracteriza los ideales regulares, esto es, ideales generados
por una sucesion regular, el teorema de Hilbert-Burch, que
caracteriza los anillos factores R/I que poseen resoluciones
libres de longitud 2, y, nalmente, un caso especial de este
ultimo. Cabe se nalar que el teorema de Hilbert-Burch marca
el punto de partida de posteriores teoremas de estructura
para ideales en anillos locales noetherianos (ver por ejemplo
[2], [3] y [4]).
[1] Buchsbaum, D.A. and D. Eisenbud. (1973). What
makes a complex exact? J. Algebra 25, pp. 259-268.
[2] Buchsbaum, D.A. and D. Eisenbud. (1974). Some
structure theorems for nite free resolutions. Advances
in Math. 12, pp. 84-139.
[3] Buchsbaum, D.A. and D. Eisenbud. (1977). Algebraic
structures for nite free resolutions and some theorems
for ideals of codimension 3. Amer. J. Math. 99, pp.
447-485.
[4] Sanchez, R. (1989). A Structure theorem for type 3,
grade 3 perfect ideals. J. Algebra. 123, pp. 263-288.
Analisis
Sala 1: Edicio Basico I, Primer Piso.
AN1
Composicion con funciones analticas
Gerardo Camera
Departamento de Matematicas, Universidad Simon Bolvar
El objetivo de este artculo es el exponer una amplia var-
iedad de espacios de funciones analticas en el disco unitario
del plano complejo, exponer los resultados obtenidos hasta
el momento relacionados con la composicion no lineal de
funciones analticas y dejar algunos problemas abiertos.
AN2
Derivada Fraccionaria para la medida
Gaussiana y applicaciones
Iris A. Lopez P., Wilfredo O. Urbina R.
Escuela de Matematicas, Facultad de Ciencias,
Universidad Central de Venezuela
email: iathamai@euler.ciens.ucv.ve
Consideremos
d
(x) =
e
|x|
2

d/2
la medida Gaussiana en R
d
y L
p
(d
d
) los espacios de funciones p integrables respecto a
dicha medida para 1 < p < .
Los espacios de Sobolev Gaussianos L
p

(
d
) para 1 < p <
y > 0, se denen como la completacion de las funciones
polinomicas con la norma
|f|p, := |(I L)
/2
f|p,
d
,
donde L =
1
2
.x x, x) es el operador de Ornstein Uh-
lenbeck.
Consideremos el semigrupo de Poisson Hermite |Pt
t0
denido por Ptf(x) =
1
2
(d+1)/2
Z
R
d
Z
1
0
t
exp
`
t
2
/4 log r

(log r)
3/2
exp

|yrx|
2
1r
2

(1 r
2
)
d/2
dr
r
f(y)dy.
Siguiendo el caso clasico, la Derivada Fraccionaria de
orden con respecto a la medida Gaussiana D

, debe ser
entonces denida como
D

= (L)
/2
,
por lo tanto nosotros denimos
D

f(x) =
1
c
Z

0
t
1
(Ptf(x) f(x))dt,
12 XVI Jornadas de la AMV
donde f es un polinomio, 0 < < 1 y
c =
Z

0
t
1
(e
t
1)dt.
Daremos una caracterizacion de los espacios L
p

(
d
) para
1 < p < y > 0, mediante el empleo de dicha Derivada
Fraccionaria, denida respecto a la medida Gaussiana.
[1] Frazier M, Jawerth B, Weiss G. Littlewood Paley
Theory and the Study of Functions Spaces, CBMS-
Conference Lecture Notes 79. Amer. Math. Soc. Prov-
idence RI (1991).
[2] Gatto A. E, Segovia C, Vagi S. On Fractional Dier-
entiation and Integration on Spaces of Homogeneous
Type, Rev. Mat. Iberoamericana 12 (1996) 111-145.
[3] Gatto A. E, Vagi S. On Sobolev Spaces of Fractional
Order and -families of Operators on Spaces of Ho-
mogeneous Type, Studia Math. 1331 (1) (1999).
[4] Gutierrez C. On the Riesz Transforms for the Gaussian
measure, J. Fourier Anal. Appl. (1) (1994) 107-134.
[5] Lopez I, Urbina W. On Some Functions of the Lit-
tlewood Paley Theory for
d
and characterization of
Gaussian Sobolev spaces of integer order. submitted
for publication in J. Acta Math Hungar.
[6] Sjogren P. Operators associated with the Hermite
Semigroup- A Survey J. Fourier Anal. Appl. (3) (1997)
813-823.
[7] Stein E. The Characterization of Functions Arising as
Potentials I, Bull. Amer. Math. Soc. 97 (1961) 102-104.
II (ibid) 68 (1962) 577-582.
[8] Stein E. Singular Integrals and Dierentiability Proper-
ties of Functions, Princenton Univ. Press. Princenton,
New Jersey. (1970).
[9] Sugita H. Sobolev spaces of Wiener functionals and
Malliavins calculus J. Math. Kyoto Univ. 25-1 (1985)
31-48.
[10] Urbina W. On Singular Integrals with respect to the
Gaussian Measure, Scoula Normale di Pisa. Clase de
Science. Serie IV Vol XVIII 4 (1990) 531-567.
[11] Urbina W. Analisis Armonico Gaussiano: una vision
panoramica, Trabajo de Ascenso, Facultad de Ciencias,
UCV (1998).
[12] Watanabe S. Stochastic Dierential Equations and
Mallavin Calculus, Tata Institute of Fundamental Re-
search, Springer Verlag (1984).
AN3
Espacios de Sobolev y derivadas
fraccionarias para semigrupos de
difusion
Iris A. Lopez P., Wilfredo O. Urbina R.,
Piotr Graczyk, Jean-J. Loeb, Adam Nowak
Departamento de Matematicas, Facultad de Ciencias,
Universidad Central de Venezuela
email: wurbina@euler.ciens.ucv.ve
Caracterizamos espacios de Sobolev L
p

con respecto a un
semigrupo de difusion hipercontractivo Tt = e
tL
, usando
la Derivada Fraccionaria de orden > 0.
Para N, estudiamos la relaciones entre los espacios
L
p

y W
p
k
() = |f[ f
(i)
L
p
(), i = 0, . . . , k donde
la medida de probabilidad is es la medida naturalmente
asociada a el semigruponaturally Tt (tenemos L = L

en
L
2
()).
Probamos una version de la formula reproductiva de
Calderon para una clase de semigrupos de difusion y es-
tudiamos los espacios de Triebel-Lizorkin con respecto a la
medida .
Los resultados de este trabajo fueron probados original-
mente para el semigrupo de Ornstein-Uhlenbeck en [8]. La
mayora de ellos son ciertos para el caso del semigrupo de
Laguerre.
[1] Bakry D., Functional inequalities for Markov semi-
groups, CIMPA-TATA School Mumbai 2002.
[2] Gatto A. E, Segovia C, Vagi S. On Fractional Dier-
entiation and Integration on Spaces of Homogeneous
Type, Rev. Mat. Iberoamericana 12 (1996) 111-145.
[3] Gatto A. E, Vagi S. On Sobolev Spaces of Fractional
Order and -families of Operators on Spaces of Ho-
mogeneous Type, Studia Math. 1331 (1) (1999).
[4] Gross, L. Logarithmic Sobolev Inequalities and Contrac-
tivity Properties of Semigroups. Lec. Notes in Math.
1593 (1993) Springer Verlag 54-88.
[5] Gutierez C.E.,Incognito A., Torrea J.L., Preprint.
[6] Jonsson A., Wallin H. Function spaces on subsets of
R
n
, Harwood Acad. Publ., London,(1984).
[7] Korzeniowski A. On Logarithmic Sobolev Constant
for Diusion Semigroups, J. Funct. Anal. 71, 363-
370(1987).
[8] Lopez I, Urbina W. Fractional Dierentiation for the
Gaussian Measure , submitted.
[9] Muckenhoupt, B. Poisson Integrals for Hermite and La-
guerre expansion. Trans. Amer. Math. Soc. 139 (1969)
231-242.
[10] Nualart D., The Malliavin Calculus and Related Topics,
Springer (1995).
[11] Stein E. Singular Integrals and Dierentiability Proper-
ties of Functions, Princenton Univ. Press. Princenton,
New Jersey. (1970).
[12] Stein, E.M. Topics in Harmonic Analysis related to
the Littlewood-Paley Theory. Princeton Univ. Press.
Princeton (1970).
[13] Szego, G. Orthogonal polinomials. Colloq. Publ. 23.
Amer. Math. Soc. Providence (1959).
[14] Urbina W. Analisis Armonio Gaussiano: una vision
panoramica, Trabajo de Ascenso, Facultad de Ciencias,
UCV (1998).
[15] Watanabe S. Stochastic Dierential Equations and
Mallavin Calculus, Tata Institute of Fundamental Re-
search, Springer Verlag (1984).
AN4
Funciones indenidas y familias
multiplicativas de isometras
Marisela Domnguez
Escuela de Matematica. Facultad de Ciencias.
Universidad Central de Venezuela
Correo-E: mdomin@euler.ciens.ucv.ve
Consideremos una funcion -indenida, a valores oper-
adores en un espacio de Krein, denida en un intervalo de
un grupo ordenado.
Se demuestra que, bajo ciertas condiciones, se le puede
asociar una familia multiplicativa de isometras en un espacio
de Pontryagin de ndice .
Se establece una relacion entre la posibilidad de obtener
una extension -indenida a todo el grupo y la posibilidad de
extender la familia multiplicativa de isometras asociada a un
XVI Jornadas de la AMV 13
grupo de operadores unitarios en un espacio de Pontryagin
mas grande del mismo ndice .
Este trabajo fue realizado conjuntamente con Ramon
Bruzual.
[1] Bruzual, R. and Domnguez, M. (2001), Extensions of
operator valued positive denite functions and commu-
tant lifting on ordered groups. Journal of Functional
Analysis ,185, 456-473.
[2] Bruzual, R. and Domnguez, M. Extension of locally de-
ned indenite functions on ordered groups, Por apare-
cer en Integral Equations and Operator Theory, acep-
tado en Enero de 2003.
[3] Kren, M.G. and Langer, H. (1985), On some continu-
ation problems which are closely related to the theory
of operators in spaces IV. Continuous analogues of
orthogonal polynomials on the unit circle with respect
to an indenite weight and related continuation prob-
lems for some classes of functions. J. Operator Theory
13, 299-417.
AN5
El Problema de extension de
covarianzas y desigualdades de maxima
entropa
Jose Gregorio Marcano
Departamento de Matematicas
Facultad de Ciencias y Tecnologa
Universidad de Carabobo
jmarcano@uc.edu.ve
En este trabajo utilizamos ideas muy simples de Teora de
Operadores para obtener una version matricial de la formula
Christoel-Darboux y extender una desigualdad de maxima
entropa para el funcional de Krein
h(F; ) =
1
2
Z
2
0
1 [[
2
[1 e
it
[
2
log det F(e
it
)dt, D
a la clase de funciones F estrictamente denidas positivas
que verican las restricciones
1
2
Z
2
0
e
ikt
F(e
it
)dt = R
k
, [k[ p
donde los coecientes matriciales |R
k

p
k=p
C
qq
son
las covarianzas de un proceso q-variado

X estacionario.
[1] D.Z. Arov and M.G. Krein, (1981). Problem of search
of the minimun of entropy in indeterminate extension
problems, Funt. Anal. Math. Appl., 15, 123126.
[2] J.P. Burg, (1975). Maximun entropy spectral analysis,
Tesis Doctoral, Stanford University, Stanford, Califor-
nia.
[3] Dym, H. (1989). J. contractive matrix function, repro-
ducing kernel Hilbert spaces and interpolation, CBMS
Regional Conference Series in Mathematic, 71, A.M.S.,
Providence, R.I.
[4] J.P. Gabardo, (1993). Extension of positive denite dis-
tribution and maximun entropy, Mem. Am. Math.
Soc., 102, No. 489.
[5] J.G. Marcano and M.D. Moran, (2002). The Arov-
Grossman Model and the Burg Multivariate Entropy,
aceptado en J. Fourier Analysis and Applications.
[6] S.A.M. Marcantognini y M.D. Moran , (2000). El mod-
elo de Arov y Grossman y sus aplicaciones, Decimoter-
cera Escuela Venezolana de Matematica.
AN6
Operadores de Schrodinger con
espectro discreto
Lyonell Boulton
Departamento de Matematicas, Universidad Simon Bolvar
e-mail: lboulton@ma.usb.ve
De acuerdo con un resultado clasico de Barri Simon
[1, theorem XIII.16], si un potencial real V : R
N
R es
acotado por debajo y V (x) cuando [x[ , entonces
el espectro del Hamiltoniano x + V (x) denido conve-
nientemente como operador cerrado que actua en L
2
(R
N
)
consiste puramente de autovalores aislados de multiplicidad
nita. En esta charla discutiremos extensiones de este re-
sultado para Hamiltonianos matriciales (es decir con V un
potencial a valores R
k
) y Hamiltonianos no-autoadjuntos (es
decir V a valores complejos). Mostraremos como el caso ma-
tricial se aplica a problemas concretos de la fsica (ver [2]).
[1] M. Reed, B. Simon, Methods of modern mathemat-
ical physics, volume 4: analysis of operators, Academic
press, New York, 1978.
[2] L. Boulton, M.P. Garca del Moral,
A. Restuccia. Discreteness of the spectrum
of the compactied D = 11 supermembrane with
non-trivial winding . Preprint 2002, hep-th/0211047.
AN7
Sectores Crticos para funciones en los
espacios de Bergman con peso
Julio C. Ramos F.
Departamento de Matematicas, Universidad de Oriente
jramos@sucre.udo.edu.ve
Sea D el disco unidad del plano complejo C. Para > 1,
el espacio de Bergman con peso A = A(D) es la clase de
las funciones analticas sobre D tal que
|f| :=
Z
D
[f(z)[
`
1 [z[
2

dA(z) < ,
donde dA(z) =
1

dxdy es la medida bidimensional de


Lebesgue normalizada.
En [1], D. Marshall y W. Smith probaron que para todo
> 0 existe un = () > 0 tal que
|f|0 <
Z
f
1
()
[f(z)[ dA(z),
para cualquier funcion f A0 univalente que je el cero,
y donde = |w C : [arg(w)[ < . Fue dejado como un
problema abierto vericar si este resultado tambien vale para
cualquier funcion f A0 que je el cero.
En [2] F. Perez-Gonzalez y J. Ramos generalizaron este
resultado para los espacios de Bergman con peso A con
0 y probaron, ademas, mediante un contraejemplo, que
tal extension no es factible para (1, 0). En esta char-
la probaremos que existe un angulo crtico c <

2
tal que
el teorema de Marshall y Smith vale para todo c y
para toda funcion f A con f(0) = 0 y > 1. Otros
problemas abiertos seran planteados.
[1] Marshall, D. and Smith, W. (1.999), The angular distri-
bution of mass by Bergman functions, Rev. Matematica
Iberoamerica, 15, 93-116.
14 XVI Jornadas de la AMV
[2] Perez-Gonzalez, F. and Ramos, J. The angular distribu-
tion of mass by weighted Bergman functions, Preprint.
AN8
Aproximacion en espacios de Sobolev
con peso
Ana Portilla*, Yamilet Quintana M.**,
Jose M. Rodrguez*, Eva Touris*
* Universidad Carlos III de Madrid.
**Universidad Central de Venezuela
email: yquintan@euler.ciens.ucv.ve
Si I es in intervalo compacto, el teorema de Weierstrass
nos dice que C(I) es el mayor conjunto de funciones que se
pueden aproximar por polinomios en norma L

(I).
Existen muchas generalizaciones de este teorema (ver por
ejemplo, [3]). Nosotros estudiamos el problema de aproxi-
macion polinomial de funciones con respecto a la norma L

denida por
|f|
L

(w)
:= essup [f(x)[w(x) , (3)
donde w es un peso , i.e., una funcion medible no negativa,
con la convencion de que 0 = 0. Observe que (3) no es
la denicion usual de la norma L

en el contexto de teora
de la medida, sin embargo, es la denicion correcta cuando
trabajamos con pesos, (ver [2]).
Nuestro proposito es mostrar resultados que caractrerizan
la clausura de funciones continuas, de funciones de clase
C
k
y de funciones de clase C

sobre espacios de Sobolev


con peso, imponiendo ciertas condiciones sobre los pesos
considerados. Algunos de tales resultados son
Teorema 1: Dado w = (w0, . . . , w
k
) un peso vectorial sobre
un intervalo compacto I = [a, b]. Si w es un peso de tipo 1
y w0, . . . , w
k1
L

(I), entonces la clausura de C


k
(R)
W
k,
(I, w), C

(R) W
k,
(I, w) y P W
k,
(I, w) en
W
k,
(I, w) es
H1 :=

f V
k,
(I, w) : f
(k)
C(I)
L

(I,w
k
)

,
H2 :=

f V
k,
(I, w) : f
(k)
C

(I)
L

(I,w
k
)

,
H3 :=

f V
k,
(I, w) : f
(k)
P
L

(I,w
k
)

.
Teorema 2: Dado w = (w0, . . . , w
k
) un peso vectorial sobre
un intervalo compacto I = [a, b]. Si w es un peso de tipo 2 y
w L

(I), entonces la clausura de C

(R) W
k,
(I, w)
en W
k,
(I, w) es
H :=

f V
k,
(I, w) :
f
(j)
C(I)
L

(I,w
j
)
para j = 0, . . . , k

[1] N.I. Achieser; Theory of approximation, Dover Publi-


cations, INC. New York (1992).
[2] Brown, R. C., Opic, B., Embeddings of weighted
Sobolev spaces into spaces of continuous functions,
Proc. R. Soc. Lond. A 439 (1992), 279-296.
[3] D. Lubinsky; Weiertrass Theorem in the twentieth cen-
tury: a selection, Quaestiones Mathematicae 18 (1995),
91-130.
[4] L. Nachbin; Elements of approximation theory, Notas
de Matematica. Instituto de Matematica Pura e Apli-
cada do Conselho de Pesquisas, Ro de Janeiro, Brasil,
33 (1965).
[5] J. M. Rodrguez; Weiertrass theorem in weighted
Sobolev spaces, J. Approx. Theory, 108 (2001), 119-
160.
[6] Rodrguez, J. M., Romera, E., Pestana, D., Weight-
ed Sobolev spaces on curves. J. Approx. Theory 119
(2002), no. 1, 41-85.
AN9
Generalizaciones de funciones
irresolutas y algunas aplicaciones
Ennis Rosas, Carlos Carpintero, Jose Sanabria
Universidad de Oriente
En este artculo se denen y se estudian las funciones
irresolutas, fuertemente continuas, completamente
irresolutas. Se caracterizan y ademas se estudia su com-
portamiento cuando el dominio de denicion es un espacio
compacto, casi compacto, semi compacto y fuertemente
compacto; donde es un operador denido de partes de X
en partes de X que satisface la condicion para todo abierto
U en X, U (U).
[1] Donchet, J. and Noiri, T., Contra semi continuous func-
tions. Math. Panonica. 10(2), 154-168.
[2] Kasahara, S. (1979), Operation compact spaces. Math.
Japonica, 24, 97-105
[3] Rosas, E., Vielma, J. and Carpintero, C. (2002), semi
connected and locally semi connected properties in
topological spaces. Scientiae Math. Japonicae Online,
Vol 6, Num. 12.
[4] Rosas, E. And Vielma, J. (1998), Operator-Compact
and Operator-Connected Space. Scientiae Mathemati-
cae, Vol. 1, N
o
2, 203-208.
AN10
Conjuntos -semi abiertos y
continuidad en espacios
topologicos
Ennis Rosas, Carlos Carpintero, Jorge Vielma*
Universidad de Oriente, *Universidad de los Andes
En este artculo se denen las nociones de conjuntos
-semi abiertos, -semi interior de un conjunto, conjun-
to -semi regular abierto y continuidad entre espacios
topologicos, operadores monotonos y estables; se caracteri-
zan y se estudian cada una de estas nociones.
[1] Levine, N. (1963), Semi Open and Semi Continuity in
Topological Spaces. . Amer. Math. Monthly 70, 36-41.
[2] Dorsett, Ch. (1995), New Characterization of Regular
Open Sets, Semi-Regular Sets and Extremally Discon-
nectedness. Math. Slovaca. 454, N
o
4, 435-444.
[3] Rosas, E. And Vielma, J. (1998), Operator-Compact
and Operator-Connected Space. Scientiae Mathemati-
cae, Vol. 1, N
o
2, 203-208.
AN11
Conjuntos (,)-semi abiertos y
propiedades de separacion
Ennis Rosas, Carlos Carpintero, Jose Sanabria
Universidad de Oriente
XVI Jornadas de la AMV 15
En un espacio topologico (X,), sobre el cual se tiene
un operador :P(X)P(X) asociado a la topologa , deci-
mos que un subconjunto AX es -semiabierto si existe un
abierto U tal que UA(U). Si = ,:P(X)P(X)son
operadores asociados a diremos que un subconjunto AX
es = (,)-semiabierto si para cada xA, existe un conjun-
to -semiabierto V tal que xV y (V)A. En este trabajo
estudiamos propiedades generalizadas de separacion basadas
en la nocion de conjunto (,)-semiabierto, asi como tam-
bien algunas formas de continuidad denidas empleando este
concepto y analizamos sus relaciones con algunas nociones
ya conocidas.
[1] Carpintero, C.Rosas, E and Vielma Espacios -sg-Ti,
para = i=3D0,1,2,3. . Enviado a Divulgaciones Matem-
aticas.
[2] Rosas.E, Vielma. J, Carpintero.C and Salas,M Espa-
cios -semi = Ti para i=3D0,1/2,1,2. ProMathemati-
ca, Vol.2 (2000).
AN12
La propiedad de extension indenida
Ramon Bruzual
Escuela de Matematica. Facultad de Ciencias.
Universidad Central de Venezuela
Correo-E: rbruzual@euler.ciens.ucv.ve
Decimos que un grupo ordenado tiene la propiedad de
extension indenida si toda funcion -indenida, a valores
operadores en un espacio de Krein, denida en un intervalo
se extiende a una funcion -indenida en todo el grupo.
Se demuestra que si un grupo es semi-arquimedeano y
tiene la propiedad de extension indenida, entonces Z
con el orden lexicograco y la topologa producto tiene la la
propiedad de extension indenida. Como corolario se obtiene
que los grupos Z
n
y RZ
n
tienen la propiedad de extension
indenida.
Este trabajo fue realizado conjuntamente con Marisela
Domnguez.
[1] Bruzual, R. and Domnguez, M. (2001), Extensions of
operator valued positive denite functions and commu-
tant lifting on ordered groups. Journal of Functional
Analysis ,185, 456-473.
[2] Bruzual, R. and Domnguez, M. Extension of locally de-
ned indenite functions on ordered groups, Por apare-
cer en Integral Equations and Operator Theory, acep-
tado en Enero de 2003.
[4] Kren, M.G. and Langer, H. (1985), On some continu-
ation problems which are closely related to the theory
of operators in spaces IV. Continuous analogues of
orthogonal polynomials on the unit circle with respect
to an indenite weight and related continuation prob-
lems for some classes of functions. J. Operator Theory
13, 299-417.
AN13
Sucesiones debilmente nulas de
funciones caracteristicas en espacios de
Orlicz
J.Alexopoulos, D. Barcenas, V. Echanda
En el presente trabajo demostraremos que si es =
una N-funcion cuya complementaria satisface la condi-
cion 2 , es decir 2, se puede encontrar una sucesion
|xn

n=3D1
de funciones caractersticas debilmentes nulas en
E

[0, 1] (clausura = de las funciones acotadas en el espa-


cio de Orlicz L

) tal que |xn

n=3D1
no tiene norma equi-
absolutamente = continua. Ade mas se hace un aporte al
problema reciproco, es decir se = demuestra que si / 2,
entonces toda sucesion |xn

n=3D1
de funciones carac-
tersticas debilmentes nulas en E

[0, 1] tiene norma equi-


absolutamente = continua.
[1] J. Alexopoulos, De La Vallee Poussins theorem and =
weakly compact sets in Orlicz spaces, QM (1994), No
17,231-248
[2] J. Diestel, Sequences and series in Banach spaces,
Springer Verlag, 1984.
[3] M. A. Krasnoselskii,Ya. Rutickii, Convex Functions and
= Orlicz spaces, Noorho Ltd.,Groningen,1961.
[4] B. Turett, Rotundity in Orlicz spaces, Indag. =
Math.,38(1976), No. 38, 462-469.
AN14
Sobre un problema de momentos con
el signo indenido
Luis Navarro, Vladimir Strauss
Departamento de Matematicas, Universidad Simon Bolvar
email: str@usb.ve
El objetivo de la presente charla es el de generalizar el
problema de momentos trigonometricos [1] en forma analo-
ga a lo hecho en [2] con el problema de momentos de po-
tencias. Es un hecho conocido, que una sucesion compleja
|c
k

k=
que cumple c
k
= c
k
es una sucesion de momen-
tos trigonometricos si y solo si ella es no negativa respecto
a la circunferencia unitaria. Se pretende que, cambiando es-
ta hipotesis por alguna otra menos restrictiva, no se altere
mucho el problema y se obtenga que la sucesion dada tiene
una representacion semi-integral, i.e. ligeramente diferente
a la representacion integral observada en las sucesiones de
momentos trigonometricos. La hipotesis mencionada arriba
es que hay un operador diferencia que transforma la sucesion
dada a una sucesion de momentos trigonometricos.
[1] AKHIEZER, N. (1965) The Classical Moment Prob-
lem and some related questions in analysis, New York,
Hafner Publishing Company.
[2] STRAUSS, V. A. (1987), On a denable analogue of
the Hausdor moment problem, Akad. Nauk Armyan.
SSR Dokl., 84, N

1, 9-12 (En Ruso).


AN15
Continuidad de operadores aditivos
Diomedes Barcenas
Departamento de Matematicas, Universidad de los Andes
Se caracterizan los operadores lineales y continuos entre
espacios de Frechet reales como aquellos operadores adi-
tivos que aplican conjuntos acotados en conjuntos acotados.
Ademas demostramos que operadores aditivos con graco
cerrado son continuos
AN16
Medidas absolutamente contnuas
invariantes para endomorsmos de
variedades
Fernando J. Sanchez-Salas
Departamento de Matematicas, FEC-LUZ
16 XVI Jornadas de la AMV
Sea f un endomorsmo de una variedad riemanniana com-
pacta M. En teora ergodica el comportamiento asintotico
de las orbitas del sistema O
f
(x) = |f
n
(x)
n0
se describe
a traves de las propiedades geometricas y estadsticas de sus
medidas invariantes. De especial importancia es el problema
de existencia de medidas invariantes suaves compatibles con
la estructura diferenciable de M. Ver [3].
El objeto de este trabajo es probar la prueba de existencia
de medidas absolutamente contnuas invariantes para una
clase de transformaciones multidimensionales de clase C
2
con exponentes de Lyapunov positivos. Para ello introduci-
mos la siguiente clase de transformaciones con singularidades
no degeneradas en el siguiente sentido: sea f una transforma-
cion diferenciable de una M y S = |x M : det(Df(x)) =
0 el conjunto de singularidades de f. Supondremos que S
es una union nita de subvariedades compactas sin borde y
que la funcion
ln

[Df(x)[
dist(x, S)

(4)
permanece acotada en una vecindad tubular de S.
A continuacion recordaremos las nociones de exponentes
de Lyapunov y puntos regulares de una transformacion difer-
enciable para poder enunciar de manera mas precisa nuestro
resultado principal. Denimos el exponente de Lyapunov de
f en x en la direccion de v TxM como la tasa de crec-
imiento exponencial de la derivada de f a lo largo de O
+
f
(x):

+
(x, v) = lm
n+
1
n
|Df
n
(x)v| . (5)
Asi mismo, diremos que x es un punto regular positivo de f
si satisface lo siguiente:
1. los promedios de Birkho de medidas de Dirac
1/n
P
k=n1
k=0

f
k
(x)
convergen a una medida ergodica
f-invariante x;
2. los exponentes de Lyapunov existen para todo v TxM
no nulo.
De acuerdo al Teorema de Oseledec y el Teorema de De-
scomposicion en Medidas Ergodicas (cf. [2]) el conjunto
+
de puntos regulares positivos es un Boreliano de probabilidad
total, i.e. (
+
) = 1 para toda probabilidad f-invariante .
Hechas estas deniciones podemos enunciar nuestro re-
sultado principal.
Teorema Sea f : M M un endomorsmo de
clase C
2
con singularidades no degeneradas y supongamos
que

+
0
= |x
+
:
+
(x, v) > 0
tiene volumen positivo. Entonces f deja invariante al menos
una medida suave, absolutamente contnua respecto al
volumen riemanniano.
Este resultado es la generalizacion multidimensional
de un resultado similar debido a Ledrappier (ver [1]) y
esta basado en el siguiente resultado:
Teorema Sea una medida ergodica invariante preservada
por una transformacion f : M M que satisface las
hipotesis del teorema anterior. Entonces, es absoluta-
mente contnua si y solo si satisface la formula de entropa
de Rochlin:
h() =
Z
X

+
(x)>0

+
(x)dimE(x) d(x) . (6)
La demostracion esta basada en la reduccion del sistema
dinamico expansor no uniforme (f, ) a un sistema hiperboli-
co denido por un conjunto innito numerable de ramas uni-
formemente expansoras con distorsion limitada. Este tipo de
reducciones ha sido tratada previamente en [4] para trans-
formaciones del intervalo.
[1] Ledrappier, F. : Some properties of absolutely continu-
ous invariant measures. Erg. Th. and Dyn. Sys. (1981),
1 , pp. 77-93
[2] Ma ne, R : Ergodic Theory and Dierentiable Dynamics,
Springer-Verlag, New York, 1987
[3] Slenk, S. : Introduccion a la teora ergodica. Notas de
la Sociedad Matematica Mexicana
[4] Sanchez-Salas, F.J. : Markov towers and dimension of
hyperbolic measures in one dimensional systems, acep-
tada para publicacion en Discrete and Continuous Dy-
namical Systems
Ecuaciones Diferenciales
Sala 2: Edicio Basico I, Primer Piso.
ED1
A boundary value problem for the the
system curl u + u = f
C.J. Vanegas
Departamento de Matematicas, Universidad Simon Bolvar
The boundary value problem for the linear non elliptic
system curlu + u = f in the ball G of R
3
is studied and
a representation for the solution u in the space C
2,
(G)
C

(

G) is derived. In order to reach this goal, the theory of
potentials and a complex form of this system will be used.
This is part of a joint work with Romen Saks, Bashkir State
University.
[1] Mikhlin S.G., Morozov N.I., Paukshto M.V., The Inte-
gral Equations of the Theory of Elasticity, B.G. Teubner
Verlagsgesellschaft, Stuttgart-Leipzig (1995).
[2] Miranda C., Partial Dierential Equations of Ellip-
tic Type, Springer-Verlag, Berlin-Heidelberg-New York
(1970).
[3] Tutschke W., Complex methods in the theory of
initial value problems, Complex Methods for Partial
Dierential Equations, Kluwer Academic Publishers,
Dordrecht-Boston-London (1999).
ED2
Redes neuronales celulares: Un nuevo
enfoque
Wadie Aziz
Dpto. de Fsica y Matematica, N ucleo Universitario Rafael
Rangel,
Universidad de Los Andes Trujillo
En este trabajo consideramos el modelo de Redes Neu-
ronales Celulares (RNC) introducidas por Chua y Yang en
1988. Al sistema encontrado en ([1], [2]) le damos un orden
especco y encontramos un sistema de ecuaciones diferen-
ciales lineales con control de la forma
v = v +AG(v) +Bu +f(u, v)
donde u, v R
mn1
, son vectores columnas; A, B
R
mnmn
son matrices, f(u, v) una perturbacion, y G(v)
XVI Jornadas de la AMV 17
puede ser lineal o no lineal. Consideramos las condiciones de
frontera de Von-Neumann al caso lineal, G(v) = v y resulta
un sistema de la forma
v = (AI)v +Bu +I
donde A, B R
mnmn
son matrices tridiagonales e I
R
mnmn
es una matriz identidad. Hallamos las condiciones
bajo las cuales el sistema anterior es controlable. Luego,
mostramos algunas aplicaciones de estos resultados en el
procesamiento de imagenes generando los sistemas mediante
una imagen (Caracter Chino).
[1] Leon O. Chua and L. Yang, Cellular neural networks:
Applications, IEEE. Transc. Circuits Syst. 35 (1988),
12731290.
[2] Leon O. Chua and L. Yang, Cellular neural networks:
Theory, IEEE. Transc. Circuits Syst. 35 (1988), 1257
1271.
[3] Wadie Aziz, Redes neuronales celulares: Un nuevo
enfoque, Masters thesis, Universidad de Los Andes,
N ucleo Universitario Rafael Rangel, Dpto. Fsica y
Matematica, Trujillo, Enero 2003.
ED3
Sobre las soluciones de la ecuacion
diferencial en diferencias
x

(t) = x(t 1) + x(t + 1)


Valentina Iakovleva
Departamento de Matematicas, Universidad Simon Bolvar
email: v iakovleva@mail.ru
En esta comunicacion se hablara de las soluciones de la
ecuacion diferencial en diferencias
x

(t) = x(t 1) +x(t + 1) (7)


con la condicion inicial
x(t)/
t[1,1]
= (t) =

1, t [1, 0)
2, t [0, 1]
Los siguientes resultados seran expuestos: 1. La solucion
diferencial de este problema existe si y solo si la funcion
inicial pertenece al espacio
M = | C

[1,1]
:
(n)
(0) =
(n1)
(1) +
(n1)
(1).
2. Cada solucion diferenciable de la ecuacion (7) resulta
innitamente diferenciable sobre t 0.
3. La aplicacion Tt : M M denida en el espacio topo-
logico vectorial M por
Ttx() = x(t +)
donde t 0 y [1, 1] determina un semigrupo fuerte-
mente continuo.
4. Presentacion del operador innitesimal del semigrupo.
ED4
Estabilidad de esquemas de diferencias
nitas para la ecuacion de ondas
Juan Carlos Sotillo Meneses
Departamento de Matematicas. Universidad Simon Bolvar
Se estudiaran las condiciones de estabilidad de esquemas
de diferencias nitas para la ecuacion de ondas. Desde resul-
tados numericos clasicos en cuanto a la ecuacion de ondas
ac ustica, pasando por resultados para la ecuacion de ondas
elastica en medios homogeneos y esbozando algunos resul-
tados referentes a la propagacion de ondas en medios het-
erogenos y anisotropicos. Se hara enfasis en las aplicaciones
a la geofsica como columna vertebral del trabajo.
[1] Kelly, K.R., Ward, R. W.,Treitel, S. and Alford, R.M.
(1976), Synthetic Seismograms: a nite dierence ap-
proach, Geophysics, 41, No. 1, 2-27.
[2] Igel, H., Mora, P. and Riollet, B. (1995),Anisotropic
wave propagation trough nite-dierence grids, Geo-
physics, 60 No. 4, 1203-1216.
[3] Lines, L.R., Slawinski, R. and Bording, P. (1999), A
recipe for stability of nite-dierence wave-equation
computations, Geophysics (short notes), 60 No. 3, 967-
969
ED5
Delayed CNN: Model, applications,
implementations and dynamics
Teodoro Lara, Paule Ecimovciz, Jianhong Wu
In this paper we study the equilibria, global and complete
stability of the delayed Cellular Neural Model in its mosty
general form
x = x(t)+A(F(x(t)))+A

F(x(t))+Bu(t)+B

u(t)
or in abstract form
x = F(t, xt)
where F : R C R
n
, is given by
F(t, ) = (0) +AF((0)) +Bu(t) +B

u(t )+
+A

F(()) +I,
With C , xt() = x(t + ), 0, C is the
phase space which consists of all maps from [, 0] to R
n
,
equipped with the supreme norm.
The (global) asymptotical stability is studied by means of
Liapunov functional, same thing for the complete stability.
[1] S. Arik and V. Tavsanoglu (1996), Equillibrium Analysis
of non-Symmetric CNNs, Int. J. Circuit and Appl. , 24,
369274.
[2] J. Hale and V. Lunel (1993), Introduction to Functional
Dierential Equations, Springer- Verlag. New York.
[3] V. Sree Rao and Bh.R.M. Phaneendra (1999), Global
Dynamics of bidirectional associative memory neural
networks involving transmissions delays and dead zones,
12, 455 465.
ED6
Estudio de la ecuacion trascendental

2
+ c + de
r
= 0
y aplicaciones
Antonio Acosta, Marcos Lizana
Universidad de Los Andes
18 XVI Jornadas de la AMV
En este trabajo se discute la ecuacion trascendental,

2
+ c + de
r
= 0, donde c, d y r son n umeros reales
no-negativos y la incognita es un n umero complejo. Se es-
tablecen condiciones necesarias y sucientes para que todas
las races tengan parte real negativa, lo cual es una carac-
terizacion importante cuando se quiere estudiar estabilidad
de soluciones de algunas ecuaciones diferenciales ordinarias
con retardo. En particular damos una aplicacion para una
ecuacion con retardo que generaliza a la ecuacion de Van
der Pol y se establece, tomando al retardo como parametro,
que existe una bifurcacion de Hopf. Las pruebas dadas, en el
estudio de la ecuacion trascendental, se obtienen con tecni-
cas muy elementales que no dependen de aquellas que son
usuales en teora de variable compleja tales como el Teorema
de Hurwitz o el Teorema de Rouche.
ED7
Teorema de descomposicion espectral
para operadores compactos y
autoadjuntos en espacios prehilbert
Hanzel Larez
Dpto. de Fsica y Matematicas,
N ucleo Universitario Rafael Rangel
Universidad de Los Andes
larez@ula.ve
Se presenta un resultado para encontrar un sistema
ortonormal completo de un espacio Prehilbert, en el cual
todo elemento de dicho espacio puede ser desarrollado en
Series de Fourier en terminos de este sistema ortonormal.
Este resultado puede ser aplicado para la resolucion de cier-
to tipo de problemas, como por ejemplo: en las Ecuaciones
Diferenciales de Segundo Orden con condiciones iniciales
o de frontera, los cuales a menudo se resuelven usando el
Metodo de Separacion de Variables (Metodo de Fourier), los
cuales con este metodo se reducen a un problema del tipo:
x

+ x = 0, Cy x(0) = x(l) = 0, l R. Este Proble-


ma es conocido como El Problema de Sturm-Liouville. Este
tipo de problemas forma parte de una clase mas general, que
puede ser resuelto en terminos del siguiente resultado que es
conocido como el Teorema de Descomposicion Espectral: Si
T es un operador lineal, acotado, inyectivo, autoadjunto y
compacto; en un espacio H Prehilbert innitamente dimen-
sional, entonces H posee un sistema ortonormal completo
|e1, , en, (innito numerable y completo en el senti-
do de que H no posee otro sistema ortonormal que contenga
este) tal que: T(en) = nen y n 0 si n , n ,= 0,
para cada n N. Sin embargo, pueden existir elementos
de H que no admiten desarrollos en Series de Fourier, en
terminos de este sistema ortonormal, aca damos un ejemp-
lo donde eso ocurre. El objetivo de este trabajo es mostrar
que si le modicamos al Teorema de Descomposicion Es-
pectral, la hipotesis de inyectividad por super-inyectividad,
entonces todo elemento de H puede se desarrollado en Series
de Fourier en terminos de este sistema ortonormal. Sea L(H)
el espacio de las aplicaciones lineales y acotadas de H en si
misma, H un espacio Prehilbert, decimos que un operador
T L(mathbbH) es super-inyectivo si para cada sucesion
(xn)

n=1
de Cauchy en H con T(xn) 0 si n , se
tiene que xn 0. Este ultimo resultado se lo aplicaremos
al Problema de Dirichlet y a Problema de Newmann.
[1] A.N. TIJONOV y A.A. SAMARSKY, Ecuaciones de la
Fsica Matematica. Editorial Mir, Mosc u 1980.
[2] J. DIEUDONNE, Foundations of Moderno Analysis.
Academic Pres, New York-London 1960.
[3] M. COTLAR y CIGNOLI, An Introduction of Funtional
Analysis. American Elsevier, North Holland 1974.
[4] S.R. MURRAY, Teora y Problemas de Variables
Reales. Medida e Integracion de Lebesgue. Resselear
Politechnic Intitute, Mexico 1976.
[5] G. BACHMAN y L. NARICI, Funtional Analysis. Aca-
demic Press IMC., 1966.
[6] I.N. HERSTEIN y D:J: WINTER, Algebra Lineal y
Teora de Matrices. Grupo Editorial Iberoamerica, S.A
de C.V., Mexico 1990.
ED8
Exact controllability of a non-linear
generalized damped wave equation:
Application to the sine-gordon
equation
Hugo Leiva
Universidad de Los Andes
Facultad de Ciencias
Departamento de Matematica
In this paper we give a sucient conditions for the exact
controllability of the following non-linear generalized damped
wave equation on a Hilbert space X
w + w +A

w = u(t) +f(t, w, u(t)),


where t 0, > 0, > 0, 0, the distributed control
u L
2
(0, t1; X) and A : D(A) X X is a positive
denite self-adjoint unbounded linear operator in X with
compact resolvent. The non-linear term f : [0, t1]XX
X is a continuous function on t and globally Lipschitz in the
other variables. i.e., there exists a constant l > 0 such that
for all x1, x2, u1, u2 X we have
|f(t, x2, u2) f(t, x1, u1)| l ||x2 x1| +|u2 u1| ,
t [0, t1]. Then, we prove that the linear system and the
non-linear system are both exactly controllable on [0, t1].
That is to say, the controllability of the linear system is pre-
served under the non-linear pertubation f. As an application
of this result one can prove the exact controllability of The
Sine-Gordon Equation.
[1] S. CHEN AND R. TRIGGIANI Proof of Extensions
of two Conjectures on Structural Damping for Elastic
Systems Pacic Journal of Mathematics Vol. 136, N0.
1, 1989
[2] R.F. CURTAIN and A.J. PRITCHARD, Innite Di-
mensional Linear Systems, Lecture Notes in Con-
trol and Information Sciences, Vol. 8. Springer Verlag,
Berlin (1978).
[3] L. GARCIA and H. LEIVA, Center Manifold and Ex-
ponentially Bounded Solutions of a Forced Newtonian
System with DissipationE. Journal Dierential Equa-
tions. conf. 05, 2000, pp. 69-77.
[4] I. Lasiecka and R. Triggiani, Exact Null Controllability
of Structurally Damped and Thermoelastic Models.
Atti della Accademia dei Lincei, Serie IX, vol IX, pp
43-69, 1998.
[5] H. LEIVA, Existence of Bounded Solutions of a Second
Order System with Dissipation J. Math. Analysis and
Appl. 237, 288-302(1999).
[6] H. LEIVA, Existence of Bounded Solutions of a Second
Order Evolution Equation and ApplicationsJournal
Math. Physics. Vol. 41, N0 11, 2000.
[6] H. LEIVA, A Lemma on C0-Semigroups and Applica-
tions PDEs Systems Report Series of CDSNS 99-353.
XVI Jornadas de la AMV 19
[7] H. LEIVA and H. ZAMBRANO Rank condition for the
controllability of a linear time-varying system Interna-
tional Journal of Control, Vol. 72, 920-931(1999)
[8] R. TEMAM, Innite-Dimensional Dynamical Systems
in Me chanics and Physics, In Applied Math. Sciences,
Springer-Verlag, Berlin, 1988, Vol. 68.
ED9
Existence, stability and smoothness of
a bounded solution for nonlinear
time-varying thermoelastic plate
equations
Hugo Leiva y Zoraida Svoli
Universidad de Los Andes, Facultad de Ciencias
Departamento de Matematicas
In this paper we study the existence, stability and the
smoothness of a bounded solution of the following nonlin-
ear time-varying thermoelastic plate Equation with homoge-
neous Dirichlet boundary conditions
(
utt +
2
u + = f1(t, u, ) t 0, x ,
t ut = f2(t, u, ), t 0, x ,
= u = u = 0, t 0, x ,
where ,= 0, > 0, is a suciently regular bounded
domain in R
N
(N 1) and f1, f2 : RR
2
R are continu-
ous and globally Lipschitz functions with Lipschitz constants
L1, L2 > 0. We shall prove the following statement: if 1 is
the rst eigenvalue of and
1min|Re() :
3

2
+(1+
2
) = 0 >
q
L
2
1
+L
2
2
,
then the equation admits only one bounded solution on R
which is exponentially stable. Also, we prove for a large class
of functions f1, f2 that this bounded solution is almost pe-
riodic.
[1] J.M. ALONSO, J. MAWHIN AND R. ORTEGA,
Bounded solutions of second order semilinear evolu-
tion equations and applications to the telegraph equa-
tion, J.Math. Pures Appl., 78, 49-63 (1999).
[2] W. ARENDT AND C.J.K. BATTY, Almost periodic
solutions fo rst and second-order Cauchy problems,
J.Dierential Equations 137, 363-383 (1997).
[3] G. AVALOS and I. LASIECKA (1997). Exponential Sta-
bility of a Thermoelastic System Without Mechanical
Dissipation. Rend. Instit. Mat. Univ. Trieste. Supp. Vol.
XXVIII, pp 1-28.
[4] G. AVALOS and I. LASIECKA (2000). Boundary Con-
trollability of Thermoelastic Plates Via the Free Bound-
ary Conditions. SIAM J. Control Optim. Vol. 38, N0.
2, pp. 337-383.
[5] G. AVALOS and I. LASIECKA (2998). Exponential Sta-
bility of a Thermoelastic System with Free Boundary
Conditions Without Mechanical Dissipation. SIAM J.
MATH. ANAL. Vol. 29, N0. 1, pp. 155-182.
[6] R.F. CURTAIN and A.J. PRITCHARD, Innite Di-
mensional Linear Systems, Lecture Notes in Con-
trol and Information Sciences, Vol. 8. Springer Verlag,
Berlin (1978).
[7] R.F. CURTAIN and H.J. ZWART, An Introduction to
Innite Dimensional Linear Systems Theory, Texts in
Applied Mathematics, Vol. 21. Springer Verlag, Berlin
(1995).
[8] R.F. CURTAIN and A.J. PRITCHARD, An Abstract
Theory for Unbounded Control Action for Distributed
Parameter Systems, SIAM. J. Control and Optimiza-
tion. Vol. 15, N0 4, July 1997.
[9] J. HALE, Ordinary Dierential Equations, Wiley In-
terscience, New York (1969). Rebert E. Krieger Publ.
Co., Huntington, New York
[10] D.HENRY, Geometric theory of semilinear parabolic
equations , Springer, New York (1981).
[11] JONG UHN KIM (1992). On the Energy Decay of a
Linear Thermoelastic Bar and Plate. SIAM J. Math
Anal. Vol. 23, No. 4, pp 889.
[12] G.E. LADAS AND V. LAKSHMIKANTHAM, Dier-
ential Equations in Abstract Sapces, Academic Press,
Math. In science and Eng. Vol 85(1972).
[13] J. LAGNESE (1989). Boundary Stabilization of Thin
Plate. SIAM Studies in Appl. Math. 10, Philadelphia.
[14] LUIZ A. F. de OLIVEIRA On Reaction-Diusion
Systems E. Journal of Dierential Equations, Vol.
1998(1998), N0. 24, pp. 1-10.
[15] LUZ DE TERESA AND ENRIQUE ZUAZUA Control-
lability of the Linear System of Thermoelastic Plates
Advances in Dierential Equations, Vol. 1 (1996), pp.
369-402.
[16] LUZ DE TERESA Approximate Controllability of a
Semilinear Heat Equation in R
N
SIAM J. Control Op-
tim. Vol. 36, N0. 6, pp. 2128-2147 (1998)
[17] H. LEIVA Stability of a Periodic Solution for a System
of Parabolic Equations J. Applicable Analysis, Vol. 60,
pp. 277-300(1996).
[18] H. LEIVA, Existence of Bounded Solutions of a Second
Order System with Dissipation J. Math. Analysis and
Appl. 237, 288-302(1999).
[19] L. GARCIA and H. LEIVA, Center Manifold and Ex-
ponentially Bounded Solutions of a Forced Newtonian
System with DissipationE. Journal Dierential Equa-
tions. conf. 05, 2000, pp. 69-77.
[20] H. LEIVA, Existence of Bounded Solutions of a Second
Order Evolution Equation and ApplicationsJournal
Math. Physics. Vol. 41, N0 11, 2000.
[21] H. LEIVA, A Lemma on C0-Semigroups and Applica-
tions PDEs Systems Report Series of CDSNS 99-353.
Vol. 12, N0. 3,(1974).
[22] Y. SHIBATA (1994). On the Exponential Decay of the
Energy of a Linear Thermoelastic Plate. Comp. Appl.
Math. Vol. 13, No. 2, pp 81-102.
[23] J. H. ORTEGA and E. ZUAZUA (2001). Generic Sim-
plicity of the Spectrum and Stabilization for a Plate
Equation. SIAM J. Control Optim. Vol. 39, N0. 5, pp.
1585-1614.
ED11
Una cadena alimenticia en el
quimiostato tipo Holling I
Mario Cavani Sael Romero Jes us Villarroel
Universidad de Oriente, Departamento de Matematicas
e-mail: mcavani@sucre.udo.edu.ve
En este trabajo introducimos y estudiamos una cadena
alimenticia en el quimiostato mediante la cual se considera
un recurso que sirve de alimento a una especie intermedia, la
cual, es la poblacion presa para la especie que se encuentra
en el ultimo eslabon de la cadena y que denominamos especie
depredadora. La forma de consumo tanto del sustrato por
20 XVI Jornadas de la AMV
parte de la presa, como la presa por parte del depredador
se representa por medio de la respuesta de funcionamiento
conocida como del tipo Holling I. Logramos demostrar que el
unico punto de equilibrio de coordenadas positivas que posee
el sistema es un atractor global para todas las soluciones en
el cono positivo. Las tecnicas utilizadas en este trabajo estan
relacionadas con las empleadas en el artculo [1]
[1] Butler, G. J. and Wolkowicz G. (1986) Predator-
mediated competition in the chemostat, J. Math. Biol.,
24, 167-191.
ED12
Disipatividad Puntual en el modelo
Depredador-Presa de Harrison
Mario J. Cavani R, Sael J. Romero N
Departamento de Matematicas, UDO-Sucre, Cumana
e-mail: sromero@sucre.udo.edu.ve
En el presente trabajo se describe el modelo depredador-
presa de Harrison el cual ha sido planteado en terminos de
la dependencia del almacenamiento de nutrientes en la tasa
de crecimiento del depredador, lo cual genera un retardo en
su consumo. El modelo intenta buscar una generalizacion
teorica de varios modelo ya existentes.
El aporte fundamental en este trabajo es el de demostrar
la disipatividad puntual de las soluciones del modelo.
Educacion Matematica
Sala 2: Edicio Basico I, Primer Piso.
EM1
La problematica del concepto de
innito en su dualidad potencial y
actual: ideas e interpretaciones de
estudiantes universitarios
Garbin D., Sabrina
Departamento de Matematicas Puras y Aplicadas,
Universidad Sim on Bolvar
Se presentan algunas reexiones y resultados de un es-
tudio cualitativo que se encuentra en la segunda fase de
analisis y donde participan 89 estudiantes universitarios con
edades, en su mayora, comprendidas entre 18 y 20 a nos. La
problematica gira alrededor del innito matematico. ?Por
que elegir este concepto?. Dos razones se pueden dar: la im-
portancia del concepto en s mismo y en la ense nanza de la
matematica. Sobre esta ultima quiero recordar una frase de
A. Dalessert, citada en DAmore (1996): La ense nanza de
la matematica debe dirigirse hacia dos objetivos que le son
propios: el sentido del rigor logico y la nocion del innito.
La dualidad innito potencial y actual ha sido conictiva a lo
largo de la historia de la matematica y Zenon de Elea fue de
los primeros en se nalar inconsistencias en el uso del innito
dentro de la matematica griega. Los estudiantes no estan ex-
entos de esta problematica y varias investigaciones muestran
como el concepto de innito es un obstaculo para el apren-
dizaje de otros conceptos como el de lmite y continuidad de
funciones; y que si bien en matematica el innito es consid-
erado un concepto consistente, en la realidad psicologica es
complejo, contradictorio y fuertemente intuitivo (Fishbein,
E.; Tirosh, D. y Hess, p. 1979). En el estudio se identi-
can las ideas, las interpretaciones y las respuestas incoher-
entes (Garbin, 2002) dadas por los estudiantes en preguntas
donde la particularidad de la mayora de estas consiste en ser
una version actualizada, diferenciada por el contexto, de la
primera paradoja de Zenon de la division. Las incoherencias
se evidencian a partir de la construccion y analisis de redes
sistemicas y estas permiten clasicar las situaciones de co-
herencia de cada estudiante. La categorizacion de 6 grupos
(no excluyentes) de respuestas, muestran en parte, que tipo
de conexiones reconocen y establecen los estudiantes en tres
de los problemas planteados en el estudio. La investigacion
va encaminada y pretende acercarse a responder el como in-
uyen las imagenes formales (Tall, 2001) de los estudiantes,
asociadas al calculo diferencial e integral, en la formacion
consistente de la imagen conceptual (Tall y Vinner, 1981)
del innito actual o en una interpretacion actualista de
ciertos problemas.
[1] DAmore, B. (1996), Linnito: storia di conitti, di
sorprese, di dubbi, La Matematica e la sua Didattica,
3, 289-305.
[2] Fishbein, E., Tirosh, D. and Hess, P. (1979), The In-
tuition of innity, Educational Studies in Mathematics,
10, 2-40.
[3] Garbin, S. y C. Azcarate (2002), Innito actual e incon-
sistencias: Acerca de las incoherencias en los esquemas
conceptuales de alumnos de 16-17 aos, Ense nanza de
las Ciencias, 20 (1), 87-113.
[4] Tall, D. y Vinner, S. (1981), Concept image and con-
cept denition in mathematics with particular refer-
ences to limits and continuity, Educational Studies in
Mathematics, 12 (2), 151-169.
[5] Tall, D. (2001), Natural and Formal Innities, Educa-
tional Studies in Mathematics, 48 (2/3), 199-238.
EM2
Problemas de algebra en olimpiadas de
matematicas
Rafael Sanchez Lamoneda
Escuela de Matematicas, Universidad Central de Venezuela
Las Olimpiadas de Matematicas son competencias dirigi-
das a estudiantes de distintos niveles del sistema educativo y
de acuerdo a los objetivos que pretendan alcanzar estara de-
terminado el nivel y estilo de los problemas que se propon-
gan a los competidores. Sin embargo hay unas caractersticas
comunes a ellos, deberan ser problemas ineditos, ingeniosos,
divertidos y que representen un reto a la inteligencia del con-
cursante. Ademas, muchos de los problemas versaran sobre
temas no tpicos o comunes y esto representa uno de los
valores mas importantes de las Olimpiadas de Matematicas.
En mi exposicion comento varios problemas de algebra re-
copilados de diversas Olimpiadas alrededor del mundo. Anal-
izamos su nivel de dicultad, su pertenencia o no, a los temas
comunes de los curricula de matematicas en nuestro sistema
educativo y sugerencias metodologicas para llevarlos al aula
de clase como temas complementarios al trabajo diario, que
permiten al maestro y a los estudiantes enfrentar situaciones
matematicas interesantes y novedosas.
EM3
Olimpiadas Matematicas:
Su importancia
Rafael Sanchez Lamoneda
Escuela de Matematicas, Facultad de Ciencias,
Universidad Central de Venezuela
XVI Jornadas de la AMV 21
Las competencias de matematicas han existido desde hace
cientos de a nos, basta recordar la historia que envuelve el de-
scubrimiento de la solucion general de una ecuacion de tercer
grado, evento que se desarrollo en la Italia del siglo XVI. En
epocas mas recientes, a nales del siglo XIX en Hungra, se
organizaban concursos de matematicas elementales dirigi-
dos a estudiantes en su ultimo a no de escuela secundaria.
Estos concursos se conocen bajo el nombre de Competen-
cias Eotvos y se pueden considerar como el origen de las
Olimpiadas de Matematicas, OM.
Hoy en da existen muchas competencias de matematicas,
unas de caracter presencial, otras en las cuales se participa
por correspondencia. Todas con la nalidad ultima de moti-
var a jovenes estudiantes hacia el estudio de la matematica
y permitir a los profesores el intercambio de problemas in-
teresantes, novedosos y retadores.
El desarrollo de las OM, ha sido tan rapido y vigoroso que
hoy en da participan anualmente en la Olimpiada Interna-
cional de Matematicas, mas de 80 pases y alrededor de 500
estudiantes. Si se considera que hace 20 a nos solo participa-
ban un poco mas de la veintena de pases, principalmente de
Europa y Norteamerica, se vera la importancia del desarrollo
de estos juegos olmpicos.
Si bien en un comienzo las OM iban dirigidas a los
mejores estudiantes y su objetivo era la b usqueda de talento
matematico, el desarrollo mencionado ha permitido que las
OM extiendan su inuencia a todo el sistema educativo.
El proposito de mi presentacion es el de mostrar las rela-
ciones de las OM con diversos sectores del sistema educativo
y las implicaciones de estas interrelaciones en el mejoramien-
to de la ense nanza de la matematica.
EM4
Una propuesta de reforma curricular
para la matematica de la tercera etapa
de educacion basica
Olga Porras
Departamento de Matematicas, Facultad de Ciencias,
Universidad de Los Andes.
A partir de una experiencia de 6 a nos asesorando a do-
centes de Matematicas de Educacion Basica ( 7
o
, 8
o
y 9
o
grados), surge una propuesta de reforma curricular para esta
etapa que intenta, por un lado, dar un sentido de totali-
dad a la asignatura, en contraposicion a la .
a
tomizaciondel
currculo vigente, donde se suceden temas como funciones,
polinomios, vectores, geometra, sin ninguna conexion en-
tre s. Por otra parte, se propone la introduccion de ele-
mentos de la Historia de las Matematicas como herramien-
ta pedagogica que contribuye a este intento unicador del
currculo propuesto. Por ejemplo, el

Algebra Geometricade
Euclides, provee numerosos ejemplos de interaccion intere-
sante entre la Geometra y el

Algebra. Se presentaran las
ideas basicas que sustentan esta propuesta de Reforma Cur-
ricular, y se mostraran ejemplos del uso de la Historia de las
Matematicas en el trabajo de aula, no como mero adorno
anecd otico de la exposicion, sino mas bien como instrumen-
to clave en la tarea de ayudar al estudiante a construir un
sentido para el objeto matematico que comienza a conocer.
[1] Gil Perez, D., Guzman de, M. Ense nanza de las Ciencias
y la Matematica. Tendencias e innovaciones. Editorial
Popular, S.A., 1993
[2] Guelli, O. Contando a Historia da Matematica, Edit.
Atica, 1992
[3] Kline, Morris : Mathematics for the Nonmathematician,
Dover Publications, Inc., New York,1.985.
[4] Porras, O. Old Ideas: a new tool for teaching ba-
sic Mathematics In Proceedings of the 2nd Interna-
tional Conference on the Teaching of Mathematics
(ICTM02). July 2002, Crete, Grece. Wiley Publishers.
[5] Van der Waerden, B.: A History of Algebra, Springer-
Verlag , 1985
EM5
Resultados del programa igualdad de
oportunidades
Enrique Planchart
Departamento de Matematicas, Universidad Simon Bolvar
El Programa Igualdad de Oportunidades es un programa de
nivelacion para estudiantes de 30 liceos ociales, que deseen
ingresar a la USB y los prepara para presentar el examen
de admision en las areas de matematicas, lengua, fsica y
qumica, ademas les da refuerzos en metodos de estudio y
aspectos psicoafectivos. Se presentan los resultados de los
ultimos dos a nos.
EM6
Especializacion en didactica de las
matematicas para profesores de
Educacion Media
Enrique Planchart
Departamento de Matematicas, Universidad Simon Bolvar
Este programa recientemente aprobado por el Consejo Di-
rectivo de la USB se realizara en colaboracion con profesores
de diversas universidades espa nolas especialistas en la mate-
ria. Se presentan sus planes de estudios , programas y con-
venios de cooperacion. ( trabajo en conjunto con la prof.
Sabrina Garbn).
Geometra Diferencial y Fsica
Matematica
Sala 3: Edicio Basico I, Primer Piso.
GF1
Funciones simetricas cuanticas.
Eddy Pariguan
Universidad Central de Venezuela
eddyp@euler.ciens.ucv.ve
En el proceso de clasicar las algebras de Lie aparece de
manera natural el concepto de grupo de Weyl. A cada alge-
bra de Lie simple asociamos el grupo W generado por las
reexiones asociadas al conjunto de races fundamentales.
En este contexto tenemos lo siguiente: Sea h g una sub-
algebra abeliana maximal, W act ua sobre h y por lo tanto
tenemos una accion de W sobre h h

. Nos proponemos
estudiar la cuantizacion del algebra C[[h h

]]
W
. Para esto
nos introducimos en el tema de deformaciones de algebras.
En 1940 Moyal obtiene una deformacion para la variedad de
Poisson C

(R
2n
) y posteriormente en 1998 Kontsevich de-
muestra que toda variedad de Poisson admite un producto
estrella.
Nos proponemos encontrar formulas explcitas para el pro-
ducto estrella de funciones sobre h h

invariantes bajo la
accion del grupo de Weyl. Estudiamos la cuantizacion del
algebra de las funciones sobre R
2n
que son invariantes bajo
la accion del grupo simetrico. Esta algebra se conoce como
el algebra de las funciones simetricas. Se obtuvo una formu-
la bien sencilla que permite entender el producto cuantico
de las funciones simetricas de potencias, las cuales consti-
tuyen un sistema de generadores para dicha algebra. Poste-
riormente obtuvimos una cuantizacion por deformacion para
C[[h h

]]
W
.
22 XVI Jornadas de la AMV
[1] M. Kontsevich. Deformation quantization of Poisson
manifolds, preprint q alg/9709040.
[2] Rafael Daz, Eddy Pariguan. Quantum symmetric func-
tions , preprint.
[3] J. Alev, T.J. Hodges, J.D. Velez. Fixed rings of the
Weyl algebra A1(C). Journal of algebra. 130, (1990),
83 96.
[4] Pavel Etingof, Victor Ginzburg. Symplectic reection
algebras, Calogero-Moser space, and deformed Harish-
Chandra homomorphism. Invent. Math.147 (2002),
no.2, 243 348.
[5] Michael R. Douglas, Nikita A. Nekrasov . Noncommu-
tative eld theory. Rev. Modern Phys. 73, 2001, no. 4.
977 1029.
GF2
Categorizacion de las integrales de
Feynman
Rafael Daz
Departamento de Matematicas, IVIC, radiaz@ivic.ve
Muchos resultados de la teora de campos cuanticos
pueden ser interpretados rigurosamente en el contexto de
la geometra formal. Similarmente, resultados en geometra
formal usualmente poseen analogos dentro de la teora de
categoras. Aplicando ambas construcciones es posible en-
tender el signicado categorico de muchos resultados en la
la teora de campos cuanticos. Nosotros haremos explcito
el signicado categorico de las integrales de Feynman en el
sentido perturbativo, incluyendo el concepto de renormal-
izacion.
[1] Rafael Daz and Eddy Pariguan. Hypergeometric Func-
tions and Feynman Integrals. Preprint.
[2] Alain Connes and Dick Kreimer. Renormalization
in QFT and the Riemann-Hilbert Problem. hep-
th/9910092.
[3] Pierre Deligne and others. Quantum Fields and Strings:
a course for mathematicians. AMS 1999.
[4] Saunders Mac Lane. Categories for the working math-
ematician, Springer-Verlag GTM 1971.
GF3
Metric geometry in homogeneous
spaces of the unitary group of a
C

-algebra
L. Recht
Depto. de Matematicas Puras y Aplicadas,
Universidad Sim on Bolvar
We study the metric geometry of homogeneous spaces
1 of the unitary group of a C

-algebra / modulo the uni-


tary group of a C

-subalgebra B, where the invariant Finsler


metric is induced by the quotient norm of //B.
The main results include the following. In the von Neu-
mann algebra context, for each tangent vector X at a point
1, there is a geodesic (t),

(0) = X, which is ob-


tained by the action on of a 1-parameter group in the
unitary group of /. This geodesic is minimizing up to length
/2. We also show that the diameter of these spaces is /2.
[1] C.E. Duran, L. Mata and L. Recht, Metric geometry
in homogeneous spaces of the unitary group of a C

-
algebra. Part I. Minimal curves, preprint 2002.
GF4
Supercies de Riemann minimales, via
funciones de energa
Malave, R* Martnez, R**.
*Instituto Universitario de Tecnologa de Cumana.
**Universidad de Oriente. N ucleo de Sucre.
Escuela de Ciencias. Departamento de Matematicas.
E-mail: malave r@hotmail.com, yigo54@cantv.net
Consideremos una funcion f : M N de clase C
1
en-
tre variedades riemannianas de dimension m y n respectiva-
mente. Si (

), , = 1, m y (gij), i, j = 1, n son tensores


metricos, en coordenadas locales de M y N respectivamente
entonces se dene: i) La funcion densidad de energa como,
e(f)(x) =
1
2

(x)gij(f(x))
f
i
(x)
x

f
j
(x)
x

en coordenadas locales (x
1
, ..., x
m
) sobre M y (f
1
, ..., f
n
)
sobre N. ii) La funcion energa de f como
E(f) =
Z
M
e(f)dM,
con dM =

udx
1
. . . dx
n
en coordenadas locales (Ele-
mentos de vol umen de M). Se plantea el siguiente problema:
si es una supere de Riemann, entonces f : N es
una supercie minimal parametrica si y solo si f es armonica
y E(f) satisface la ecuacion de Euler-Lagrange.
[1] Jurgen J. (1.995) Riemannian Geometry and Geometry
analysis. Springer, Alemania, 401 pp.
[2] Malave, R. (2.002). Construccion de variedades mini-
males va parametrizaciones isotermas. Trabajo de Pre-
grado. Departamento de Matematicas. Universidad de
Oriente, Cumana, Venezuela. 84 pp.
GF5
Algunas caracterizaciones de las
estructuras de Lyra, H-equivalentes
con una estructura euclideana
Rodrigo Martnez O.
Universidad de Oriente. Escuela de Ciencias.
Departamento de Matematicas. N ucleo de Sucre.
E-mail: yigo54@cantv.net
Se consideran las estructuras geometricas: = (M, , g)
y = (M, , g), donde M es una variedad diferenciable de
dimension n, y son conexiones afn sobre M y g una
metrica formal. Decimos que y son H-equivalentes si
existe una aplicacion H : (M) (M) (M) tal que:
UV = UV +H(U, V ) y ademas se cumplen,
:

(
U
g)(U, W) = A(U, V, W) C

(M)
S(U, V ) = UV V U [U, V ]
(8)
:

(
U
g)(U, W) = 0
S(U, V ) = UV V U [U, V ]
(9)
donde (M) es el algebra de Lie de los campos vectoriales,
S(U, V ) y S(U, V ) son los campos vectoriales de torsion para
y respectivamente. Si existe una 1-forma diferencial tal
que p(U, V ) = (U)(V ) y (1) es una estructura de Lyra,
(2) es una estructura euclidiana, entonces, bajo estas condi-
ciones se obtienen caracterizaciones de relacionadas con
la derivada exterior de , la derivada cavariante de p(U, V )
y el caracter invariante del tensor curvatura.
XVI Jornadas de la AMV 23
[1] Ramrez, R. and Martnez R. Lyra Space, thei Applica-
tion to mechanics. Hadronic Journal, 12 (5), (1.989)
[2] Liu Shulin. On the integrable character of connection.
Inst. Math. Acad. Sinica, 3 (2), (1.983).
[3] Martnez R. Espacios de Conexion afn H-equivalentes y
su importancia en la mecanica. Tesis Doctoral. U.C.V.
(1.991).
GF6
Combinatoria de arboles con raiz
Tomas Guardia
Departamento de Matematica, UCV
tomasguardia@hotmail.com
El objetivo principal, de esta charla es mostrar una nueva
estructura de bialgebra sobre ciertos grafos orientados lla-
mados arboles con raiz. Estos arboles contienen un elemen-
to maximal o raiz, y no contienen circuitos. Denimos un
nuevo coproducto que esta intimamente ligado al copro-
ducto de Connes-Kreimer denido en [1], pero con impor-
tantes diferencias. Este nuevo coproducto opera sobre una
familia de arboles los cuales denominamos de tipo S. Dare-
mos formulas explcitas para este coproducto sobre dichos
arboles. Generalizamos el co-prducto en forma recursiva a

m
y expondremos esta formula. Finalmente mostraremos
una aplicacion de los arboles con raiz en el calculo de las in-
tegrales iteradas de Chen, un topico interesante en la fsica
teoorica moderna, y especialmente en la Teora de Renor-
malizacion.
[1] Connes, A. and Kreimer, D. (2002), Insestion and Elim-
ination: the doubly innite Lie Algebra of Feymann
graphs, hep-th/0201157.
[2] Kreimer, D. (1999), Chens Iterated Integral represents
the Operator Product Expansion, hep-th9901099.
[3] Batanin M.A. (2003), The Combinatorics of Iterated
Loop Spaces, CT/0301221.
[4] Gracia-Bonda, M. and Figueroa, H. The Uses of
Connes and Kreimers algebraic formulation of renor-
malization theory, hep-th/0301015.
GF7
Hilberts space lling curves and
geodesic laminations
Vctor F. Sirvent
Departamento de Matematicas
Universidad Sim on Bolvar
e-mail: vsirvent@usb.ve
We present a modied version of the classical Hilberts
space lling curve and we associate to this curve a geodesic
lamination on the disk together with a transversal measure.
The lamination helps us to understand how the points of
the interval are mapped to the square. We generalize this
construction to space lling curves from the interval to the
regular n-gon.
AMS subject classication (2000): 28A80, 26A27, 53C22.
GF8
Topologa de cuerdas abiertas
Edmundo Castillo
En [2], [3], M. Chas y D. Sullivan denen la topologa de
cuerdas cerradas, basandose en trabajos de Barton Zwiebach
[4] en teora de cuerdas. La teora de cuerdas es una gen-
eralizacion de la fsica de partculas donde un punto fsico
es remplazado por un peque no crculo o lazo. Basados en
estos trabajos en [1] denimos un nuevo invariante topologi-
co para variedades diferenciables compactas orientadas de
dimension nita de la siguiente manera. Denotaremos por
oman el grupoide de las variedades diferenciales orientadas
compactas de dimension nita y denotaremos por g-cat las
categoras lineales graduadas. Probaremos el siguiente
Teorema: Existe un funtor D de la categora oman en la
categora g-cat, dado por la siguiente construccion: D envia
M Ob(Oman) en DM Ob(g-cat). La categora DM se
dene de la siguiente manera:
1. Ob(DM) := subvariedades compactas orientadas de M.
2. Para N0 y N1 Ob(DM) denotaremos por
Map(I, N0, N1), el espacio de aplicaciones de el inter-
valo unitario que empiezan en N0 y terminan en N1.
Denimos
MorD
M
(N0, N1) = H(Map(I, N0, N1)).
[1] Edmundo Castillo and Rafael Daz, Homological graph
theory , En preparacion.
[2] Moira Chas and Dennis Sullivan, String Topology,
Preprint: Math.GT/9911159, (1999).
[3] Moira Chas and Dennis Sullivan, Closed string oper-
ators in topology leadin to Lie bialgebras and higher
string algebra, Preprint: Math.GT/0212358, (1999).
[4] Barton Zwiebach, Closed string eld theory: quantum
action and the B-V master equation, Nuclear Physics
B 390 (1993), 33-152.
GF9
Condiciones de Blaschke en geometra
de Finsler
C. Duran
Departamento de Matematicas, IVIC
Una variedad de Blaschke es aquella en la cual el diametro
y el radio de inyectividad coinciden. En geometra Riemanni-
ana, la conjetura de Blaschke establece que esta condicion es
muy rigida: la conjetura es que una tal variedad es isometri-
ca a un espacio proyectivo o una esfera ([1]). La condicion
quasi-Blaschke, mas debil, se conjetura que implica en el ca-
so Riemanniano rigidez topologica: una tal variedad debe ser
difeomorfa a un espacio proyectivo o una esfera. ([4],[5],[6])
Vermos que estas mismas condiciones en el contexto de
geometra de Finsler es mucho mas rica, dando ejemplos de
variedades de Blaschke y quasi-Blaschke que no son espacios
proyectivos. Se expondran nuevas conjeturas adaptadas a
este caso.
[1] A. Besse, Manifolds all of whose geodesics are closed,
Springer-Verlag, NY, 1984.
[2] C.E. Duran, Finsler almost Blaschke manifolds,
Houston Journal of Mathematics, 29, no. 1 (2003),
77-92.
[3] C.E. Duran, L. Mata and L. Recht, Metric geometry
in homogeneous spaces of the unitary group of a C

-
algebra. Part I. Minimal curves, preprint 2002.
[4] O. Duromeric, Manifolds with almost equal diameter
and injectivity radius, J. Di. Geom. 19 (1984), 453-
474.
[5] J. Itoh, On almost Blaschke manifolds I, Math. Z. 190
(1985), no. 1, 63-72.
24 XVI Jornadas de la AMV
[6] J. Itoh, On almost Blaschke manifolds II, Hokkaido
Math. J. 15 (1986), no. 1, 101-112.
GF10
Deformacion de estructuras holomorfas
Mauricio Angel
Dada una variedad compleja M y un brado vectorial com-
plejo E sobre M, escogemos una estructura holomorfa
sobre E y denotamos por el par (E, )
Denicion: La extension Ext
q
(1, 2) es el q-esimo grupo
de cohomologa del complejo (
0,
Hom(E1, E2),
1
,
2
)
Sea (B,U) una deformacion de
Denicion: La siguiente aplicacion lineal KS : T0U
Ext
1
(, ) dada por KS(

x
i
) = [
B
x
i
(0)] Ext
1
(, ) se
denomina la aplicacion Kodaira-Spencer de la deformacion
.
Nuestra intencion es demostrar el siguiente teorema us-
ando diagramas de Feynman.
Teorema: Si Ext
2
(, ) = 0 entonces existe una defor-
macion de tal que la aplicacion de Kodaira-Spencer es un
isomorsmo.
[1] P. Griths and J. Harris, Principles of algebraic geome-
try, Wiley-Intersciencs[John Wiley & Sons],NY (1978).
[2] K. Fukaya, Deformation theory, homologi-
cal algebra and mirror symmetry, Preprint:
http://www.kusm.kyoto-u.ac.jp/ fukaya.fukaya.html,
(2002).
[3] Jian Zhou, Homological perturbation theory and mirror
symmetry, Preprint: Math.DG/9906096, (1999).
GF11
El efecto de surfactantes en la
estabilidad interfacial no-lineal del
movimiento de pelculas
centro-anulares
Said Kas-Danouche
Departamento de Matematicas, Universidad de Oriente
Los movimientos de uidos centro-anulares surgen cuan-
do dos uidos inmiscibles(por ejemplo, agua y petroleo) se
hacen uir en una tubera bajo la accion de un gradiente de
presion axial. En un regimen tpico de movimiento de ui-
dos, los uidos se rearreglan as mismos de tal forma que
el menos viscoso (digamos agua) tiende a permanecer en la
region de mayor roce y que se encuentra cerca de la pared
del tubo. El uido mas viscoso ocupa la regi on central. Tec-
nologicamente, este arreglo provee una ventaja ya que el
uido altamente viscoso es lubricado por el menos viscoso,
y para un gradiente de presion dado el cambio en el ujo
centro-anular puede incrementarse grandemente.
La estabilidad de estos movimientos de uidos es de im-
portancia fundamental tanto practica como cientcamente.
La interface entre los dos uidos puede ser inestable por
varios mecanismos fsicos y uno de tales mecanismos de
importancia practica es la tension interfacial. En esta in-
vestigacion incorporamos en nuestro modelo los efectos de
los surfactantes insolubles sobre la inestabilidad. Derivamos
el problema con particular enfasis en la ecuacion de trans-
porte (en nuestro caso de surfactantes) lo cual es novel. Los
surfactantes modican el movimiento de los uidos por la
introduccion de la fuerza de Marangoni a lo largo de la in-
terface, lo cual como resultado, modica las velocidades y
las amplitudes interfaciales. Hay dos parametros presentes
en el sistema derivado, la longitud del sistema y el n umero
de Peclet.
Resolvimos numericamente problemas de valores iniciales
sobre un domino espacial periodico. Encontramos que el sur-
factante act ua suprimiendo el comportamiento caotico en-
contrado en su ausencia para rangos de la longitud del sis-
tema.
[1] Kas-Danouche, S.A. (2002), Nonlinear Interfacial Sta-
bility of Core-Anular Film Flows in the Presence of Sur-
factants, Tesis Doctoral presentada en New Jersey In-
stitute of Technology (NJIT), New Jersey, U.S.A.
GF12
Variedades invariantes en una funcion
logistica acoplada
Neptal Romero, Ramon Alberto Vivas *
Universidad Centro Occidental Lisandro Alvarado.
Decanato de Ciencias y Tecnologa. Departamento de
Matematicas. Apartado 400, Barquisimeto
*Universidad Experimental Politecnica Antonio Jose de
Sucre. Vicerrectorado Barquisimeto. Seccion de
Matematicas. Av. Corpahuaico. Barquisimeto.
En el presente trabajo estudiamos parte de la dinamica
de endomorsmos conocidos como aplicaciones acopladas
sobre reticulados con condiciones de frontera periodica, los
cuales son usados, por ejemplo, como discretizaciones de
ecuaciones en derivadas parciales, con el objeto de describir
la evolucion de fenomenos en sistemas reaccion-difusion.
En particular estudiaremos la transformacion construida
por acoplamiento de la funcion logstica unidimensional, esto
es:
Fa,(x, y) = ((1 )fa(x) +fa(y), (1 )fa(y) +fa(x)),
donde fa(t) = at(1 t), con t R, a > 1 y (0, 1/2).
Para cada valor de a y , el punto jo en el es siempre
un atractor de Fa,. Se estudiara la frontera, B, de la
cuenca de atraccion de .
Dependiendo de los valores sobre el espacio de paramet-
ros se tiene que esta frontera presenta las siguientes carac-
teristticas: o es una curva de Jordan C
1
, o tiene innitas
componentes y donde la frontera inmediata de la cuenca de
(B
o

) es una curva de Jordan C


0
, o el conjunto critico
de Fa, esta contenido en la cuenca de y su complemento
es un conjunto de Cantor expansor.
Logica
Sala 3: Edicio Basico I, Primer Piso.
LO1
Condiciones para la no existencia de
ciclos de una determinada longitud en
grafos bipartitos balanceados
Marta Valdiviezo Daniel Brito, Gladys Larez
Universidad de Oriente, N ucleo de Sucre
mvaldiviezo@cantv.net
S es un conjunto de vertices independientes de un grafo
G = (V, E) si para todo u, v S, uv / E(G). Un grafo
G = (V, E), es un grafo bipartito balanceado si hay una
particion de G en dos conjuntos de vertices independientes,
A y B, con [A[ = [B[ = n, tal que cada lado del grafo
tiene un vertice extremo en A y el otro en B. Se denota por
G = (A, B, E). S es un conjunto independiente balanceado
en G, si S es un subconjunto independiente de V (G) tal que
XVI Jornadas de la AMV 25
[S A[ = [S B[. Para cada par de vertices x, y V (G) se
dene
(x, y) =

1 si xy E(G)
0 si xy / E(G)
En este trabajo se muestra algunos resultados obtenidos
de la extension realizada al teorema de Denise Amar [1].
Sea G un grafo bipartito balanceado de orden 2n, si
(xi, yj) (xr, yt) s, donde i, r |1, 2, 3, 4; j, t
|2, 3, ..., n 1, s |0, 1 y dene la operacion suma o
producto. Entonces, para un entero m, con 2 m n 1,
G no contiene un ciclo de longitud 2m.
[1] Amar, D. A Condition for a Hamiltonian Bipartite
Graph to be a Bipancyclic. Universite Bordeaux I. 351.
France. (1992). 221-227
[2] Denise Amar, Stephan Brandt, Daniel Brito, Oscar Or-
daz. Neighborhood Conditions for Balanced Indepen-
dent Sets in Bipartite Graphs. Discrete Mathematics,
181(1998), 31-36.
[3] Bondy, J. and Murty, U. Graphs Theory with Applica-
tions. American Elsevier. New York. (1976).
LO2
Condiciones de grado para que un
grafo bipartito balanceado sea
Hamiltoniano
Daniel Brito, Gladys Larez, Pedro Mago
Universidad de Oriente, N ucleo de Sucre
dbrito@sucre.udo.edu.ve, glarez@sucre.udo.edu.ve,
pmago2001@yahoo.com
S es un conjunto de vertices independientes de un grafo
G = (V, E) si para todo u, v S, uv / E(G). Un grafo
G = (V, E), es un grafo bipartito balanceado si hay una
partici on de G en dos conjuntos de vertices independientes,
A y B, con [A[ = [B[ = n, tal que cada lado del grafo tiene
un vertice extremo en A y el otrto en B. Se denota por
G = (A, B, E). S es un conjunto independiente balanceado
en G, si S es un subconjunto independiente de V (G) tal que
[SA[ = [SB[. G es un grafo hamiltoniano si tiene un ciclo
que contiene todos los vertices de G. 2,2(G) = min|d(x)+
d(y) + d(z) + d(w) : x, y S A, z, w S B, donde
d(v) es el grado del vertice v V (G), es decir, el n umero
de lados e E(G) incidentes a v [2]. En este trabajo se
prueba una extension del teorema de Moon y Moser [3]. Sea
G un grafo bipartito balanceado de orden 2n y mnimo grado
al menos 4. Si 2,2(G) es al menos n + 1, entonces G es
hamiltoniano.
[1] Denise Amar, Stephan Brandt, Daniel Brito, Oscar Or-
daz. Neighborhood Conditions for Balanced Indepen-
dent Sets in Bipartite Graphs. Discrete Mathematics,
181(1998), 31-36.
[2] Behzad Medhi, Chartrand Gary and Lesniak-Foster
Linda. Graphs & Digraphs. Wadsworth International
Group. (1981)
[3] J. Moon and L. Moser. On Hamiltonian Bipartite
Graphs. Israel J. Math, 1(1963), 163-165.
LO3
Funciones continuas y el operador de
traslado
Carlos A. Di Prisco
Departamento de Matematicas,
Instituto Venezolano de Investigaciones Cientcas
cdiprisc@ivic.ve
Sea [N]

el espacio de todos los conjuntos innitos de


n umeros naturales con la topologa metrica heredada del pro-
ducto 2
N
. Estudiamos funciones continuas del espacio [N]

en si mismo, con especial interes en aquellas que conmutan


con el operador de traslado S : [N]

[N]

denido por
S(A) = A \ min A. Analizamos cuando una tal funcion
satisface que para todo A [N]

, existe un X [N]

tal que [X]

[A]

. Este trabajo ha sido realizado en


colaboracion con S. Todorcevic.
LO4
Teorema de Milliken parametrizado
Jose G. Mijares
En [1], Ellentuck considera al espacio []

, de los con-
juntos innitos de n umeros naturales, con la topologa ex-
ponential (que se ha hecho famosa como la topologa de
Ellentuck) para obtener su generalizacion del teorema de
Ramsey [7]. Las vecindades basicas de esta topologa son de
la forma [s, A] = |B []

: s B s (A \ max(s)),
donde s (resp. A) es un conjunto nito (resp. innito) de
naturales. Recordemos que un conjunto S []

es Ramsey
si para cada vencindad de Ellentuck [s, A] existe un B A
innito, tal que [s, B] S o [s, B] S = . En [1], Ellen-
tuck demostro que un conjunto es Ramsey si y solo si tiene
la propiedad de Baire respecto a la topologa de Ellentuck,
demostrando de esta manera que la familia de conjuntos
Ramsey es cerrada baja la operacion de Souslin y obtenien-
do as, una demostracion topologica mas sencilla del teore-
ma de Silver [8] que arma que los subconjuntos analticos
clasicos de []

son Ramsey, y generalizando el teorema de


Galvin-Prikry [2] que arma que los subconjuntos borelianos
clasicos de []

son Ramsey.
Mas tarde, en [4], Miller y Todorcevic demostraron que
los subconjuntos borelianos clasicos de 2

[]

son perfec-
tamente Ramsey, obteniendo una version parametrizada del
teorema de Galvin-Prikry. Un conjunto S 2

[]

es per-
fectamente Ramsey si para cada conjunto perfecto P 2

y para cada vecindad de Ellentuck [s, A] existe un conjun-


to perfecto Q P y un conjunto innito B A tales que
Q[s, B] S o (Q[s, B])S = . Ademas, Miller dio una
demostracion empleando herramientas metamatematicas de
que los subconjuntos analticos de 2

[]

son perfecta-
mente Ramsey, pero inquirio sobre la posibilidad de obtener
una version parametrizada del teorema de Ellentuck (para
obtener de este modo una demostracion topologica de su
resultado). Pawlikowski, en [7], dio una respuesta armativa
a esta interrogante, obteniendo una demostracion al estilo
de Ellentuck que hace uso de la propiedad abstract de Baire,
introducida por Morgan [6].
Por otro lado, Milliken [5] demostro un teorema tipo El-
lentuck en el contexto de las sucesiones de conjuntos nitos
de n umeros naturales, que generaliza al teorema de Hind-
man [3] (version fuerte del principio del casillero.
a
nalogo al
teorema de Ramsey). En este trabajo, obtenemos una ver-
sion parametrizada del teorema de Milliken, al estilo de la
version parametrizada que Pawlikowski obtuvo del teorema
de Ellentuck.
[1] E. Ellentuck, A new proof that analytic sets are Ramsey,
J. Symbolic Logic 39 (1974)163-165.
[2] F. Galvin and K. Prikry, Borel sets and Ramseys theo-
rem, J. Symbolic Logic 38 (1973)193-198.
[3] N. Hindman, The existence of certain ultralters on
N and a conjecture of Graham and Rothschild, Proc.
Amer. Math. Soc. 36 (1973), 341-346.
[4] A. W. Miller, Innite combinatorics and denibility,
Ann. Pure Appl. Logic, 41 (1989), 179-203.
26 XVI Jornadas de la AMV
[5] K. R. Milliken, Ramseys theorem with Sums or Unions,
J. Combinatorial Theory (A)18(1975)276-290.
[6] J.C. Morgan, On general theory of point sets II, Real
Anal. Exchange 12(1)(1986/87).
[7] J. Pawlikowski, Parametrized Ellentuck theorem,
Topology and its Aplications 37 (1990)65-73.
[8] F. P. Ramsey, On a problem of formal logic, Proc. Lon-
don Math. Soc., Ser. 2, 30 (1929), 264-286.
[9] J. Silver, Every analytic set is Ramsey, J. Symbolic Log-
ic 35 (1970), 60-64.
LO5
Algebras de Boole cuanticas
Rafael Diaz
Departamento de Matematicas, IVIC,
radiaz@ivic.ve
La coleccion PX de todos los subconjuntos de un con-
junto X, junto con las operaciones de union, interseccion y
complementacion es una algebra de Boole. Reciprocamente
toda algebra de Boole nita es de la forma PX, con X
un conjunto nito. La teora de la algebras de Boole puede
ser enriquecida si se substituye PX por el espacio vectorial
< PX >
C
generado por PX. Probaremos que las algebras de
Boole < PX >
C
admiten deformaciones cuanticas asociadas
con particiones ordenadas de X. Desarrollaremos analogos
cuanticos de varias propiedades familiares para las algebra
de Boole clasicas.
[1] Daz, Rafael. Quantum Boolean Algebras. Preprint.
[2] Halmos, Paul. Naive Set Theory. D. Van Nostrand
1960.
[3] Monk, Donald. Handbook of Boolean Algebras, North-
Holland 1989.
[4] Maclane, Saunders. Categorical Algebra, Bull. Amer.
Math. Soc. 71 (1965),40-106.
LO6
Approximating the expressive power of
logics in nite models
Argimiro Arratia
Departamento de Matematicas, Universidad Simon Bolvar
We present probabilistic logics (essentially rst order lan-
guages extended with quantiers which count the fraction
of elements in a model that satisfy a rst order formula),
which, on the one hand, capture uniform circuit classes as
AC
0
and TC
0
over arithmetic models, namely, nite struc-
tures with linear order and arithmetic relations, and, on the
other hand, their semantics, with respect to our arithmetic
models, can be closely approximated by giving interpreta-
tions of their formulas on nite structures where all relations
(including the order) are restricted to be modular (i.e. to
act subject to an integer modulo). In order to give a precise
measure of the proximity between satisfaction of a formula in
an arithmetic model and satisfaction of the same formula in
the approximate model, we dene a logic of approximate
formulas and work on a notion of approximate truth. There
are various motivations for this work. As of today, there is no
known logical description of any computational complexity
class below NP which does not requires a builtin linear or-
der. Also, it is widely recognized that many model theoretic
techniques for showing denability in logics on nite struc-
tures become almost useless when order is present. Hence,
if we want to obtain signicant lower bound results in com-
putational complexity via the logical description we ought
to nd ways of by-passing the ordering restriction. With this
work we take steps towards understanding how well can we
approximate , without a true order, the expressive power of
logics that capture complexity classes on ordered structures.
(This is joint work with Carlos Ortiz, Arcadia University,
Glenside, PA, USA.)
LO7
Consistencia del test de Ramsey y la
revision
Ramon Pino Perez
Departamento de Matematicas, Facultad de Ciencias,
Universidad de Los Andes
E-mail: pino@ula.ve
El Test de Ramsey [1] para establecer una semantica de
los condicionales [ se puede establecer mediante la regla
siguiente: Una proposicion de la forma [ (si entonces
) sera valida en un estado de creencias K si y solamente si
el cambio minimal de K necesario para aceptar , requiere
que se acepte . Este test adquiere pleno sentido en el mar-
co de la Teora de la revision de creencias [2]. Gardenfors
probo [3] que los axiomas de la Teora de la revision mas
el Test de Ramsey son inconsistentes. Nosotros probamos
la consistencia del Test de Ramsey con los axiomas de la
Revision Iterada propuestos en [4].
[1] Ramsey, F.P. (1931), General propositions and causal-
ity. In The foundations of Mathematics and other Log-
ical Essays. New York: Routledge & Kegan Paul, 237-
257.
[2] Gardenfors, P. (1988), Knowledge in Flux. MIT
Press, Cambridge, Massachusetts.
[3] Gardenfors, P. (1986), Belief Revision and the Ramsey
Test for Conditionals, Philosophical Review, 95:8193.
[4] Konieczny, S. and Pino Perez R. (2002) Sur la
representation des etats epistemiques et la revision
iteree. In Revision des croyances. Pierre Livet, Ed.
Paris: Hermes-Lavoisier, 181202.
LO8
Estrategias de reduccion interna libre
de contexto para sistemas de
reescritura de terminos
Elas Tahhan
Departamento de Matematicas, Universidad Simon Bolvar
etahhan@usb.ve
Dado un sistema de reescritura de terminos, denimos los
subterminos libres de contexto. Estudiamos las estrategias
de reduccion de subterminos internos libres de contexto (ER-
ILC). Demostramos que la terminacion de las ERILC implica
la terminacion del sistema de reescritura, lo cual generaliza
los resultados de ODonnel y Gramlich . Aplicaremos este
criterio de terminacion al lambda-calculo..
XVI Jornadas de la AMV 27
Probabilidades y Estadstica
Sala 4: Edicio Basico I, Primer Piso.
PE1
Caractersticas geometricas de olas
gaussianas
Jean-Marc Azas*, Jose R. Leon**, Joaqun Ortega
*Universite Paul Sabatier, Toulouse, France.
**Universidad Central de Venezuela.
I.V.I.C y Universidad Central de Venezuela.
email: jortega@ivic.ve
En este trabajo estudiamos alguna propiedades geometri-
cas de un campo estacionario Gaussiano que sirve de modelo
para la supercie del mar, usando el espectro de energa, que
puede ser medido en la practica.
Las principales cantidades de interes son
la longitud de una cresta: una cresta es un conjunto de
maximos locales en una direccion dada
la velocidad media de las curvas de nivel.
Estas cantidades pueden escribirse como integrales sobre
conjuntos de nivel.
Inicialmente describimos el modelo usual para los con-
juntos de nivel, luego introducimos una representacion de la
integral sobre conjuntos de nivel y establecemos las formulas
de Rice para el valor esperado que se usan para estudiar las
crestas y la velocidad de los conjuntos de nivel. Finalmente,
establecemos Teoremas Centrales del Lmite para estas can-
tidades usando desarrollos en el Caos. Algunos resultados se
ilustran usando datos espectrales reales.
PE2
Pruebas de ajuste a la distribucion de
Weibull basadas en la funcion
generadora de momentos emprica
A. Caba na A.J. Quiroz
En este trabajo se utiliza la funcion generatriz de momen-
tos emprica para dise nar pruebas de ajuste a la distribucion
Weibull biparametrica. El estudio de pruebas de ajuste a
la familia Weibull (o, equivalentemente a la familia de dis-
tribuciones extremales) es especialmente importante en la
inferencia para eventos extremos. Normalmente los estudios
de catastrofes se basan en estos modelos, pero una peque na
desviacion de la hipotesis nula puede tener resultados desas-
trosos en la inferencia basada en la verosimilitud.
Dise namos pruebas basadas en funcionales cuadraticos de
la funcion generadora de momentos emprica, y estudiamos
el comportamiento de las mismas a traves de simulaciones,
comparandolas con una extensa lista de alternativas.
Un resultado interesante de este trabajo es que tenemos
una expresion exacta para la distribucion asintotica del es-
tadstico en cuestion y para el proceso generador de momen-
tos emprico con parametros estimados. La distribucion no
depende del verdadero valor de los parametros cuando se
usan estimadores invariantes bajo transformaciones anes.
Las tecnicas modernas de procesos empricos que se uti-
lizan facilitan enormemente la obtencion de este resultado.
El trabajo completo Using the empirical moment gen-
erating function in testing for the Weibull and the
type I extreme value distributions se puede ver en
http://ma.usb.ve/acabana/cq.pdf.
PE3
Frecuencias de grados en el arbol
mnimo de expansion y el problema de
identicacion de dimension
Mara R. Brito, Adolfo J. Quiroz
Discutimos la aplicacion de combinaciones lineales de las
frecuencias de grados en el arbol mnimo de expansion al
problema de identicar la dimension apropiada para un con-
junto de datos del cual solo se conoce la matriz de dis-
tancias. Los procedimientos propuestos contribuyen a dar
una solucion de bajo costo computacional al problema de
Escalamiento Multidimensional. Asimismo, estos metodos
pueden resultar de utilidad para la reduccion de dimension-
alidad en datos complejos. Resultados de Lee (1999) impli-
can la consistencia asintotica del metodo propuesto, cuyo
desempe no es evaluado, via simulacion, sobre datos en di-
mension 2 a 5.
[1] Brito, M. R., Quiroz, A. J. and Yukich, J. E. (2002)
Graph-theoretic procedures for dimension identica-
tion. Journal of Multivariate Analysis, 81, No. 1, 67-84.
[2] Kruskal, J. B. and Wish, M. (1978) Multidimensional
Scaling. Sage Publications, Beverly Hills, California.
[3] Krzanowski, W. J. (1996) Principles of Multivariate
Analysis. A Users Perspective Oxford Statistical Sci-
ence Series, vol. 3. Oxford University Press.
[4] Lee, S. (1997) The Central Limit Theorem for Eu-
clidean Minimal Spanning Trees I. Annals of Applied
Probability 7, No. 4, 996-1020.
[5] Lee, S. (1999) The Central Limit Theorem for Eu-
clidean Minimal Spanning Trees II. Advances in Applied
Probability 31, No. 4, 969-984.
PE4
Formas cuadraticas del proceso
emprico condicional como pruebas de
ajuste a modelos con covariables
J Tapia
email: jtapia@euler.ciens.ucv.ve
A partir de formas cuadraticas, del proceso emprico
condicional introducido por Andrews (1988a- 1988b), in-
dexado en familias de funciones 1 L
2
(P) Donsker, se
construyo una familia de estadsticos para bondad de ajuste
en modelos con covariables. Bajo condiciones de regularidad
estandar del modelo y condiciones de entropa metrica del 1
se establece la distribucion lmite de las formas cuadraticas
a un estadstico del tipo chi-cuadrado.
[1] Andrews,D.W.K. (1988a) Chi-square diagnostic test for
econometric models: Introduction and Application. J.
Econometrics 37 134-156
[2] Andrews,D.W.K. (1988b) Chi-square diagnostic test for
econometric models: Theory. J. Econometrics 46 1419-
1453
[3] Assouad, P. (1983) Densite et Dimension. Ann. Inst.
Fourier. 33 (3) 233-282
[4] Dudley, R.M. (1987) Universal Donsker Class and met-
ric Entropy. Ann. Prob. 15 1306 1326
[5] Dudley, R.M. (1989) Real Analysis and Probability.
Wadsworth and Books/ Cole, Pacic Grove, California.
[6] Dudley, R.M. (1999) Uniform Central Limit Theorems.
Cambridge University Press. 1326
[7] Durbin, R.M. (1999) Uniform Central Limit Theorems.
Cambridge University Press. 1326
28 XVI Jornadas de la AMV
[8] McCullagh, P. and Nelder, J.A. (1990) Generalized Lin-
ear Models. Chapman and Hall, New York.
[9] Pollard, D. (1982) A Central Limit Theorem for Empir-
ical Processes. J. Austral Math. Society. (serie A) 33
235-248
[10] Pollard, D. (1984) Convergence of Stochastic Process-
es. Springer. New York.
[11] Quiroz, A.J. (1986) On Donsker Classes of Funtions
and Their Applications to Test Goodness of Fit. Ph.D.
Thesis, Mass. Inst. of Tech.
[12] Quiroz, A.J. and Dudley, R.M. (1991) Some new test
for multivariate normality. Prob. The Rel. Fields 87 521-
546
[13] Van der Vaart, A.W. (2000) Asimptotic Statistics.
Cambridge University Press.
[14] Van der Vaart, A.W.and Wellner, J.A. (1991) Weak
Convergence and Empirical Processe With Aplications
to Statistics. Springer. New York.
PE5
Aplicacion de las formas cuadraticas
del proceso emprico condicional al
modelo lineal general con errores
multinormales
J Tapia
jtapia@euler.ciens.ucv.ve
Formas cuadraricas asociadas al proceso emprico condi-
cional, evaluadas en esfericos armonicos se utilizaron como
estadstico de prueba, para la hipotesis nula de normalidad
multivariada de los errores del modelo lineal general. Se estu-
dio la convergencia de los cuantiles de muestras nito dimen-
sionales a los cuantiles asintoticos y se estudio la potencia
del estastico contra alternativas multivariadas de interes.
[1] Andrews,D.W.K. (1988a) Chi-square diagnostic test for
econometric models: Introduction and Application. J.
Econometrics 37 134-156
[2] Andrews,D.W.K. (1988b) Chi-square diagnostic test for
econometric models: Theory. J. Econometrics 46 1419-
1453
[3] Assouad, P. (1983) Densite et Dimension. Ann. Inst.
Fourier. 33 (3) 233-282
[4] Dudley, R.M. (1987) Universal Donsker Class and met-
ric Entropy. Ann. Prob. 15 1306 1326
[5] Dudley, R.M. (1989) Real Analysis and Probability.
Wadsworth and Books/ Cole, Pacic Grove, California.
[6] Dudley, R.M. (1999) Uniform Central Limit Theorems.
Cambridge University Press. 1326
[7] Durbin, R.M. (1999) Uniform Central Limit Theorems.
Cambridge University Press. 1326
[8] McCullagh, P. and Nelder, J.A. (1990) Generalized Lin-
ear Models. Chapman and Hall, New York.
[9] Pollard, D. (1982) A Central Limit Theorem for Empir-
ical Processes. J. Austral Math. Society. (serie A) 33
235-248
[10] Pollard, D. (1984) Convergence of Stochastic Process-
es. Springer. New York.
[11] Quiroz, A.J. (1986) On Donsker Classes of Funtions
and Their Applications to Test Goodness of Fit. Ph.D.
Thesis, Mass. Inst. of Tech.
[12] Quiroz, A.J. and Dudley, R.M. (1991) Some new test
for multivariate normality. Prob. The Rel. Fields 87 521-
546
[13] Van der Vaart, A.W. (2000) Asimptotic Statistics.
Cambridge University Press.
[14] Van der Vaart, A.W.and Wellner, J.A. (1991) Weak
Convergence and Empirical Processe With Aplications
to Statistics. Springer. New York.
PE6
Estimacion multivariada de
propiedades de yacimientos a partir de
datos ssmicos
Giselle

Alvarez Vinajeras*, Bruno Sanso**
*CESMa, **Universidad Simon Bolvar
Estimar las propiedades del subsuelo tiene gran importan-
cia en la deteccion de estructuras geologicas y minerales de
interes. En este trabajo se considera la estimacion de dos
propiedades petrofsicas del yacimiento: volumen de arcilla y
porosidad en una zona de Barinas - Apure. Se cuenta con 17
registros de pozos y 100 km de datos sismicos 2D y de los
valores de las dos propiedades en 14 de los 17 sitios donde
se perforaron los pozos. La estimacion de las propiedades del
yacimiento se realiza utilizando un modelo de regresion lineal
multivariado, se estiman ambas propiedades conjuntamente,
combinando la informacion de ambos tipos de se nales. Con
n ucleos Gaussianos centrados en las localizaciones de los po-
zos se pesa la informacion de los registros en funcion de
su localizacion espacial. Las estimaciones se realizan con un
n umero muy reducido de variables predictoras, que son selec-
cionadas con metodos Montecarlo de Metropolis-Hastings.
PE7
Modelos de Markov escondidos para la
clasicacion de litologica de registros
de pozo
Maria Padron*, Sonia Garcia-Salicetti*,
Daniel Barraez**, Bernadette Dorizzi*, Sylvie Thiria***
*Institut National des Telecommunications, Evry, France
**Universidad Central de Venezuela;
***LODYC, Universite Pierre et Marie Curie, Paris, France
Presentamos un metodo de clasicacion de litologas a
partir de registros de pozo basado en Modelos de Markos
Escondidos (MME). Este metodo marcoviano considera los
registros de pozo como una serie de temporal, lo cual permite
considerar en el proceso de clasicacion las dependencias en-
tre los registros a diferentes profundidades. Las probabilidaes
de emsion de los estados de la cadena de markov son mod-
eladas mediante mezcla de gaussianas. Se consideraron dos
variantes de MME, una que utiliza el algoritmo de Baum y
Welch y otra que utiliza el algoritmo de k-medias secuencial
para la estimacion de los parametros del MME. El metodo
fue evaluado con datos reales obtenidos en dos pozos de la
localidad de Marcoule, al sur de Francia
PE8
Estimacion de edades de rocas usando
huellas de sion y densidad de uranio
Pedro Alson*, Mauricio A. Berm udez-Cella**,
Jorge L. Mora-Matos**
*Escuela de Matematicas, Facultad de Ciencias, UCV.
**Laboratorio de Termocronologa,
Departamento de Geologa,
Escuela de Geologa, Minas y Geologa,
Facultad de Ingeniera, UCV
En este artculo se estudian los principales aspectos es-
tadsticos relacionados con el Metodo de Huellas de Fision
(MHF). Se presenta un Metodo Alternativo (AM) el cual
XVI Jornadas de la AMV 29
subsana parte de los problemas de estimacion de la edad
reportados en la literatura. Se compara el AM con los es-
timadores tradicionales sobre datos reales. En dicha com-
paracion el AM presenta ventajas. La presente investigacion
tambien contiene un algoritmo de separacion de mezclas de
Poisson necesario para la implementacion del AM.
PE9
Modelaje de datos de supervivencia
usando un proceso beta correlacionado
en el tiempo
Saba Infante, Mara E. Perez
*Departamento de Matematicas, Facultad de Ciencia y
Tecnologa Universidad de Carabobo,
**Centro de Estadstica y Software Matematico
Universidad Simon Bolvar
En este trabajo se emplean los procesos beta con incre-
mentos independientes de Hjort (1990) y beta con incre-
mentos correlacionados de Nieto-Barajas y Walker (2002)
como modelos del riesgo base en el modelo de riesgo pro-
porcional de Cox (1972) para el estudio de tiempos de su-
pervivencia discretos, generalizando el enfoque de estos au-
tores. Esta seleccion permite un modelaje suavizado de las
curvas de supervivencia y de la tasa de riesgo, y ademas con-
serva las propiedades conjugadas convenientes de la previa
beta para la implementacion de las tecnicas de Cadenas de
Markov Monte Carlo (MCMC). El parametro de regresion se
modela bajo una distribucion completamente parametrica;
en particular, se considera una previa normal multivariada
como recomienda Geisser (1993). Tambien se obtienen to-
das las distribuciones marginales sobre las cuales va a iterar
el muestreador de Gibbs y se esboza el esquema de muestreo.
La tecnica desarrollada se aplica al analisis de un conjunto de
datos reales, en el cual se estiman las curvas de superviven-
cia bajo dos tratamientos y bajo el modelaje propuesto para
el riesgo base e igualmente se estima el parametro de regre-
sion y se construye un intervalo de credibilidad (HPD) para
la densidad a posteriori del mismo. El analisis se compara
con los obtenidos a traves de otros metodos ya estableci-
dos. Tambien se estiman los riesgos a posteriori bajo los dos
procesos beta independiente y beta correlacionado.
[1] Cox,D.R. (1972), Regression models and life tables
(with discussion), T.R.Statist.Soc.Serie B, 34, 187-
202.
[2] Geisser, S. (1993). Predictive Inference: an Introduc-
tion, London: Chapman and Hall.
[3] Hjort, N.L. (1990), Nomparametric Bayes estimators
based on beta processes in models of life history data,
The annals statistics, 18, 1259-1294.
[4] Nieto-Barajas, L.E., and Walker, S.G. (2002), Markov
beta and gamma processes for modeling hazard rates,
Scandinavian Journal of Statistics, To appear.
PE10
Analisis Bayesiano Dinamico de Series
Temporales Asociadas con el
Crecimiento de Sistemas Coralinos en
la Costa Caribe de Panama
Carlos Javier Domar DLima, Lelys Bravo de Guenni,
Roberto Cipriani*, Hector Guzma n**
Centro de Estadstica y Software Matematico, USB
* Departamento de Estudios Ambientales, USB
** Smithsonian Tropical Research Institute, USA
En este trabajo se usan los Modelos Lineales Dinami-
cos para modelar y analizar series temporales de datos que
reejan la dinamica de crecimiento de una comunidad de
corales en la Costa Caribe de Panama y su posible relacion
con la actividad antropogenica del Canal. Las series arro-
jan informacion acerca del crecimiento de corales, de escor-
rentas continentales y de la actividad del Canal para aprox-
imadamente los ultimos cien a nos. Los modelos propuestos
para el analisis de estas series son del tipo de Regresion
Lineal Dinamicos y los datos fueron ajustados mediante el
software BATS (Bayesian Analysis of Time Series) de Pole
(1999). Los analisis indican un cambio en el metabolismo
de los corales durante los ultimos cien a nos posiblemente
debido a cambios de variables ambientales, principalmente
luminosidad; ademas, se nala un aumento sistematico de las
descargas bianuales de aguas continentales a la zona de ubi-
cacion de dicha comunidad coralina. Por ultimo, aunque la
serie para el crecimiento del coral fue mejor ajustada con un
modelo dinamico de tendencia estable, los analisis de inter-
vencion mejoran el ajuste, sugiriendo eventos puntuales de
degradacion masiva de dichos corales. Todos estos resultados
estan presuntamente asociados con la actividad del Canal.
Sesion Especial: La Matematica en
el Petroleo
Sala 1: Edicio Basico I, Primer Piso.
MP1
Metodos de solucion numerica de las
ecuaciones de ujo y transporte en
medios porosos
Hector Klie
En esta presentacion se realiza un vistazo panorami-
co de las diversas tecnicas numericas que se utilizan para
discretizar las ecuaciones de ujo y transporte en medios
porosos que sirven de base para la simulacion de yacimien-
tos. Abarcaremos tecnicas de discretizacion espacial como
diferencias nitas, elementos nitos y vol umenes de control.
Desde el punto de vista de formulacion temporal, discutire-
mos los metodos IMPES (Implicit Pressure Explicit Satu-
ration), semi-implcitos y completamente implcitos. Cada
una de estas discretizaciones o formulaciones conlleva a la
solucion numerica de un sistema lineal o no lineal de ecua-
ciones, bien sea acoplado o no acoplado. Revisaremos tam-
bien los diversos metodos que se emplean ultimamente para
resolver estos sistemas de una manera eciente y robusta.
MP2
Estimation of petrophysical properties
using multiple attributes: perturbing
linear regressions
Reinaldo J. Michelena, Juan R. Jimenez
In this paper, we introduce a fast and simple method to
estimate petrophysical properties from well information and
two dimensional seismic attributes. The method generalizes
the well known linear regression techniques where the reser-
voir properties are obtained as linear combination of seismic
attributes. The estimates are obtained after solving a non-
linear optimization problem that attempts to: a) preserve
seismic-property correlations estimated at wells locations;
b) minimize the dierence between estimated and measured
properties; c) minimize the dierence between real and es-
timated correlations among dierent properties measured at
the same locations; d) minimize crossvalidation errors. A ge-
netic algorithm is used to solve this nonlinear optimization
problem. The method may uses all selected seismic attributes
and all measured properties simultaneously. Final petrophys-
ical property estimates are a linear combination of orthonor-
mal seismic attributes that form a basis for the vector space
30 XVI Jornadas de la AMV
of the original attributes extracted from the seismic data.
By using a synthetic data set, we show petrophysical esti-
mates obtained by using the new method yield mean cross-
validation errors of 10 % and the estimated property maps
are comparable to those obtained by using a conventional
geostatistical technique such as colocated cokriging. An ap-
plication to eld data sets to estimate porosity and net sand
thickness is also presented The obtained result helped in the
discovery of a giant eld (Ceuta-Tomoporo) and in the de-
lineation of a huge sand body in exploration areas in western
Venezuela.
MP3
Estimacion de propiedades de
yacimientos a partir de datos ssmicos
usando redes neuronales.
Rafael Banchs
El presente trabajo describe una metodologa para la esti-
macion de vol umenes de propiedad a partir de la informacion
contenida en los atributos ssmicos mediante el uso de re-
des neuronales supervisadas. Se discuten aspectos practicos
importantes relacionados al prolema de la resolucion de la
sismica, la seleccion de los atributos y el calculo de rangos
de error para las propiedades estimadas. La metodologa de-
scrita constituye una herramienta de gran utilidad para la
caracterizacion de yacimientos y el proceso de generacion de
planes de produccion y gerencia del yacimiento. Se mues-
tra un ejemplo de caracterizacion de cuerpos de arena en el
campo de Chimire.
MP4
Tecnica de optimizacion global en la
Industria Petrolera
Sa ul Buitrago
La industria petrolera es el sitio ideal para la aplicacion de
tecnicas de optimizacion. En las areas que van desde la explo-
racion a la produccion de campos petroleros, la renacion, el
transporte y nalmente la distribucion de petroleo, gas y sus
derivados, aparecen constantemente problemas matematicos
inversos y de toma de desiciones. Muchos de estos problemas
estan bien planteados, por lo cual metodos convencionales
pueden ser usados para determinar la solucion de estos. El
objetivo de este trabajo es dar a conocer los benecios de
las tecnicas de optimizacion global en la industria petrol-
era. En esta direccion se presentan los ejemplos siguientes:
determinacion optima de la ubicacion de un pozo produc-
tor de petroleo, distribucion optima de gas en sistemas de
levantamiento articial por gas, ajuste de parametros para
analisis de pruebas de presion en pozos horizontales y ajuste
de historia de produccion en simulacion de yacimientos.
MP5
Uso de herramientas computacionales
de alto rendimiento para la resolucion
de sistemas lineales dispersos
German Larrazabal
Departamento de Matematicas, Universidad de Carabobo
El n ucleo computacional que consume mayor cantidad de
tiempo de CPU en un paquete de simulacion numerica en
ingenieria es el modulo de resolucion de sistemas lineales dis-
persos. En el mejor de los casos, este consume un 70 % de
tiempo de CPU y solo representa aproximadamente el 10 %
del codigo completo del paquete de simulacion. Los paque-
tes comerciales en el area de simulacion numerica de ujo
de uido en medio poroso no escapan de esta realidad. Esto
indica que se tienen que usar o desarrollar bibliotecas ro-
bustas, ecientes y que exploten al maximo la arquitectuta
de los supercomputadores existentes en la actualidad. Por
lo tanto, en este trabajo se presentan diferentes metodos de
solucion para resolver sistemas lineales dispersos y ademas
se presenta una biblioteca numerica llamada UCSparseLib.
Dicha biblioteca esta desarrollada pensado en una futura
capa out-of-core, para lograr resolver problemas que re-
quieran grandes almacenamiento y manipulacion de datos.