rsme-smm-2012 ii encuentro conjunto libro de resÚmenes

RSME-SMM-2012

II Encuentro Conjunto

REAL SOCIEDAD MATEMTICA ESPAOLA & SOCIEDAD MATEMTICA MEXICANA

LIBRO DE RESMENES

17-20 enero 2012Torremolinos, Mlaga, Espaa

RSME-SMM-2012 17-20 ene 2012, TorremolinosEl presente libro alberga la casi totalidad de los resmenes de conferencias y ponencias del II Encuentro Conjunto entre laReal Sociedad Matemtica Espaola y la Sociedad Matemtica Mexicana, RSME-SMM-2012. El lugar de celebracin escogidoha sido el Hotel Meli Costa del Sol, en Torremolinos, Mlaga, Espaa. Y la fecha del evento, del 17 al 20 de enero de 2012.

El encuentro ha congregado a ms de 300 participantes, y en l se han impartido ms de 200 conferencias, 8 plenarias y elresto han sido ponencias pertenecientes a 24 sesiones, que se han ido simultaneando generalmente en grupos de 6. Cadasesin ha impartido, por lo general, 8 ponencias. Este volumen de conferencias y sesiones nos da una idea de las buenasrelaciones existentes entre las comunidades matemticas de Espaa y Mxico.

Hemos contado asimismo con la presencia del profesor F. Mayor Zaragoza, presidente de la Fundacin Cultura de Paz ymiembro del comit de Honor del Centenario de la RSME, en la clausura del evento, dando una conferencia de ttulo Lacomunidad cientfica ante los desafos presentes.

La organizacin local del evento ha estado a cargo de los siguientes profesores de la Universidad de Mlaga:

Daniel GIRELA, coordinador

Jos Luis FLORES

Cristbal GONZLEZ

Francisco Javier MARTN REYES

Mara Lina MARTNEZ

Francisco Jos PALMA

Jos ngel PELEZ

Mercedes SILES

La parte logstica en infraestructura y alojamiento ha estado a cargo de Paloma VILLENA, de TECNICA VIAJES.

Por ltimo, la organizacin cientfica ha estado a cargo de los siguientes profesores:

Onsimo HERNNDEZ-LERMA, Cinvestav, Mxico D.F., Mxico

Jos Antonio de la PEA, Cimat, Guanajuato, Mxico

Jos SEADE, Instituto de Matemticas de la UNAM, Cuernavaca, Mxico

Alberto ELDUQUE, Universidad de Zaragoza, Zaragoza, Espaa

Gabor LUGOSI, Universitat Pompeu Fabra, Barcelona, Espaa

Aniceto MURILLO, Universidad de Mlaga, Mlaga, Espaa

Ernesto LUPERCIO, SMM, Mxico

Isidoro GITLER, presidente de la SMM, Mxico

Luis NARVEZ, RSME, Espaa

Antonio CAMPILLO, presidente de la RSME, Espaa

La organizacin del Encuentro ha recibido el apoyo de muchas instituciones y organizaciones, a las que les estamos grande-mente agradecidos. Mencionamos el apoyo de la misma Universidad de Mlaga, del Gobierno de Espaa a travs del Minis-terio de Ciencia e Innovacin, de la Junta de Andaluca y del Ayuntamiento de Torremolinos.

3

Torremolinos, Mlaga, 17-20 ene 2012 RSME-SMM-2012 5

PROGRAMA

S00.M0 Plenariasmar17 11:30-12:30 SAMUEL GITLER, CINVESTAV

Realizacin geomtrica de los anillos con ideal generado por monomios.

mar17 12:30-13:30 LUIS JOS ALAS, U. MurciaUna introduccin al principio del mximo de Omori-Yau y sus aplicaciones en geometra.

mi18 09:00-10:00 JOS MARA PREZ IZQUIERDO, U. La RiojaQu es la teora de Lie no asociativa?.

mi18 10:00-11:00 JORGE VELASCO, IMPMathematical epidemiology: examples, data and associated models.

jue19 09:00-10:00 MARA EMILIA CABALLERO, UNAMRepresentaciones de Lamperti y procesos de Lvy.

jue19 10:00-11:00 JAVIER FERNNDEZ DE BOBADILLA, CSICEl problema de Nash para superficies.

jue19 19:00-20:00 XAVIER GMEZ MONT, CIMATHiperbolicidad foliada.

vie20 11:30-12:30 EULALIA NUALART, U. Paris 13Aplicabilidad de la frmula de integracin por partes en un espacio Gaussiano.

S01.M4 lgebra CombinatoriaCoordinada por: Philippe Gimnez, U. Valladolid; Enrique Reyes, CINVESTAV.

mar17 18:00-18:40 ISIDORO GITLER, CINVESTAVInterseccin completa de ideales tricos de grafos orientados y subgrafos theta con cuerdas.

mar17 18:40-19:20 IGNACIO GARCA MARCO, U. La LagunaIntersecciones completas en ideales tricos de grafos.

mar17 19:20-20:00 MARA BRAS, U. Rovira i VirgiliRecuento de semigrupos numricos por el gnero.

mar17 20:00-20:40 ENRIQUE REYES, CINVESTAVComplejos simpliciales escalonables asociados a hipergrficas simples y anillos de Stanley-Reisner.

mi18 11:30-12:10 MERCEDES ROSAS, U. SevillaLos coeficientes de Kronecker reducidos.

mi18 12:10-12:50 ERNESTO VALLEJO, UNAMPolitopos de fila y columna.

mi18 12:50-13:30 ALEJANDRO FLORES MNDEZ, CINVESTAVGrficas Irreducibles y B-Rees.

mi18 13:30-14:10 PHILIPPE GIMNEZ, U. ValladolidRegularidad 3 en ideales asociados a grafos bipartitos.

S02.M1 Anlisis Funcional y Teora de OperadoresCoordinada por: Jos Bonet, U. Politcnica Valencia; Jos Gal, U. Zaragoza; Vladislav Kravchenko, CINVESTAV.

mar17 18:00-18:35 DOMINGO GARCA, U. ValenciaEl Teorema de Bishop-Phelps-Bollobs.

mar17 18:40-19:15 JOS BONET, U. Politcnica de ValenciaDinmica de operadores de composicin en espacios de funciones real analticas.

mar17 19:20-19:55 VLADISLAV KRAVCHENKO, CINVESTAV, QuertaroOperadores de transmutacin, sistemas de integrales recursivas y problemas espectrales relacionados con la ecuacinde Sturm-Liouville.

mar17 20:00-20:35 HARET ROSU, IPICyT, San Luis PotosClculo del determinante de Hill a travs de las series de potencias en el parmetro espectral.

mi18 11:30-12:05 RAFAEL DEL RIO, UNAM, Ciudad de MxicoProblemas inversos para operadores de Jacobi.

mi18 12:10-12:45 SERGII TORBA, CINVESTAV, QuertaroOperadores de transmutacin y la transformacin de Darboux.

mi18 12:50-13:25 JOS GAL, U. ZaragozaCaracterizacin de potencias fraccionarias de un operador va un problema de extensin.

mi18 13:30-14:05 ARMANDO VILLENA, U. GranadaOperadores que casi preservan el espectro.

S03.M6 Anlisis GeomtricoCoordinada por: Luis Jos Alas, U. Murcia; Rafael Herrera, CIMAT; Pablo Mira, U. Politcnica Cartagena.

mar17 15:00-15:40 PAULO CARRILLO ROUSE, Institut de Mathmatiques de ToulouseInvariantes espectrales y grupoides de deformacin: El caso del invariante .

6 RSME-SMM-2012 Torremolinos, Mlaga, 17-20 ene 2012

mar17 15:40-16:20 MARA DEL MAR GONZLEZ, U. Politcnica CataluaAlgunos problemas para el laplaciano conforme.

mar17 16:20-17:00 CARLOS VALERO VALDS, CIMAT GuanajuatoPolinomios hiperblicos variacionales.

mar17 17:00-17:40 VICENTE PALMER, U. Jaume IIsoperimetra extrnseca, parabolicidad y tipo topolgico de subvariedades en variedades con un polo.

mi18 15:00-15:40 OSCAR PALMAS, UNAM-DFHipersuperficies con direccin principal cannica.

mi18 15:40-16:20 JOS ANTONIO GLVEZ, U. GranadaBarreras para la existencia y no existencia de superficies con curvaturas constantes en M 2 R.

mi18 16:20-17:00 ANDRS PEDROZA, U. ColimaDifeomorfismos simplcticos acotados.

mi18 17:00-17:40 JOAQUN PREZ, U. GranadaSuperficies en variedades tridimensionales homogneas.

S04.M6 Anlisis NumricoCoordinada por: Carlos Pars, U. Mlaga; Patricia Saavedra, UAM-I.

mi18 18:00-18:40 TOMS CHACN, U. SevillaMtodos de elementos finitos estabilizados y sus aplicaciones a la simulacin de flujos hidrodinmicos.

mi18 18:40-19:20 HECTOR JUREZ, UAM IztapalapaReconstruccin de campos de viento mediante el mtodo de elemento finito y mtodos libres de malla.

mi18 19:20-20:00 HENAR HERRERO, U. Castilla-La ManchaRB (Reduced basis) applied to RB (Rayleigh-Bnard).

mi18 20:00-20:40 MARA LUISA SANDOVAL, UAM IztapalapaModelacin numrica de trfico peatonal: modelo de campo social.

jue19 11:30-12:10 PEDRO GONZLEZ CASANOVA, Instituto de Matemticas, UNAMSistemas hiperblicos no lineales fuertemente acoplados: Un mtodo hbrido para calcular flujos relativistas.

jue19 12:10-13:30 PEP MULET, U. ValenciaHighly accurate numerical schemes for some kinematic flow models.

jue19 12:50-13:30 SILVIA JEREZ, CIMATNuevos mtodos limitadores de flujo TVD para ecuaciones hiperblicas.

jue19 13:30-14:10 CARLOS PARS, U. MlagaEntropy-preserving methods for nonconservative hyperbolic systems.

S05.M4 Anlisis Real y ArmnicoCoordinada por: Mara Jess Carro, U. Barcelona; Salvador Prez Esteva, IMUNAM-Cuernavaca.

mi18 18:00-18:40 MARTHA GUZMN PARTIDA, U. SonoraNcleos de Riesz como valores frontera de Ncleos de Poisson conjugados.

mi18 18:40-19:20 JUAN ANTONIO BARCEL, U. Politcnica MadridEstimaciones a priori para la ecuacin electromagntica de Hemlholtz. Algunas aplicaciones.

mi18 19:20-20:00 SALVADOR PREZ ESTEVA, IMUNAM-CuernavacaAproximacin de Born para la matriz de cargas en la ecuacin de Navier.

mi18 20:00-20:40 MARA JESS CARRO, U. BarcelonaAcotacin de la Transformada de Hilbert en espacios de Lorentz con pesos.

jue19 11:30-12:10 MARA LORENTE, U. MlagaDesigualdades con pesos para el operador maximal lateral en Rn .

jue19 12:10-12:50 FERNANDO GALAZ FONTES, CIMATIterados del operador de Hardy-Cesro en el espacio de Hardy.

jue19 12:50-13:30 GUSTAVO GARRIGS, U. MurciaAcotacin local Lp Lq para la proyeccin de Bergman en tubos sobre conos.

jue19 13:30-14:10 LINO FELICIANO RESNDIS OCAMPO, UAM AzcapotzalcoLa clase hiperblica Qp (Bn) en la bola unitaria de Cn .

S06.M4 Anillos y MdulosCoordinada por: Christof Geiss, IMUNAM-D.F.; Jos Mara Prez Izquierdo, U. La Rioja; Juan Jacobo Simn, U. Murcia.

mar17 15:00-15:35 CARLOS CASTAO BERNARD, U. Autnoma de Chiapasrdenes de Eichler, formas cuadrticas binarias y curvas elpticas sobreQ.

mar17 15:35-16:10 MERCEDES SILES MOLINA, U. MlagaOcho aos de lgebras de caminos de Leavitt.

mar17 16:30-17:05 FERNANDO MONTANER FRUTOS, U. ZaragozaBilgebras sobre lgebras de Lie corrientes.


mar17 17:05-17:40 RAYMUNDO BAUTISTA, Centro de Ciencias Matemticas Morelia, UNAMlgebras Mansas sobre los reales.

mi18 15:00-15:30 GERARDO RAGGI, Centro de Ciencias Matemticas Morelia, UNAMFuntores de biconjuntos.

mi18 15:30-15:50 VALENTE SANTIAGO VARGAS, Instituto de Matemticas, UNAMContextos de Auslander-Buchweitz y Co-t-estructuras.

mi18 15:55-16:25 ENRIQUE PARDO ESPINO, U. CdizEl problema de clasificacin en lgebras de caminos de Leavitt.

mi18 16:40-17:10 ALEJANDRO ALVARADO, UNAMClases conaturales y submdulos de cotipo.

mi18 17:10-17:40 JUAN JACOBO SIMN PINERO, U. MurciaEquivalencia de Morita de acciones parciales de grupos y globalizacin .

S07.M4 BiomatemticaCoordinada por: ngel Calsina, U. Autnoma Barcelona; Miguel ngel Herrero, U. Complutense Madrid; Alejandro Ricardo FematFlores, IPICyT.

jue19 15:00-15:40 TOMS ALARCN, CRM BarcelonaStochastic multiscale modelling of cell populations.

jue19 15:40-16:20 ALEJANDRO RICARDO FEMAT FLORES, IPICyTSynchronization and transitions in -cells networks.

jue19 16:20-17:00 JUAN CALVO, U. GranadaA non-linear flux-limited model for the transport of morphogenes.

jue19 17:00-17:40 BEATRIZ CARELY LUNA OLIVERA, U. del PapaloapanVrtices dominantes y reguladores globales en redes regulatorias.

jue19 17:40-18:20 ALVARO KHN, U. Complutense de MadridDesarrollo y Validacin de Modelos Matemticos para Estudiar la Formacin de Vasos Sanguneos.

vie20 09:00-09:40 MAYRA NEZ LPEZ, Instituto Mexicano del PetrleoFormacin de patrones en un sistema presa-depredador a partir de una interaccin espacial.

vie20 09:40-10:20 JORDI RIPOLL, U. GironaPropagacin de epidemias sobre redes complejas.

vie20 09:40-10:20 GRISELDA QUIROZ COMPEAN, U. Autnoma de Nuevo LenControl robusto de glucosa en Diabetes Mellitus Tipo 1.

S08.M2 Control y OptimizacinCoordinada por: Manuel Gonzlez Burgos, U. Sevilla; Maxim Todorov, U.Amricas-Puebla.

mar17 18:00-18:40 MERCEDES MARN BELTRN, U. CrdobaProblemas de control ptimo para el tratamiento de tumores con quimioterapia.

mar17 18:40-19:20 ONSIMO HERNNDEZ LERMA, CINVESTAVThe linear programming approach to (stochastic) optimal control problems.

mar17 19:20-20:00 FRANCISCO PERIAGO ESPARZA, U. Politcnica CartagenaRelajacin en problemas de diseo ptimo para la ecuacin del calor.

mar17 20:00-20:40 MAXIM IVANOV TODOROV, UDLAPMotzkin representation of a class of closed convex sets.

mi18 11:30-12:10 JAVIER FERNANDO ROSENBLUETH LAGUETTE, IIMAS-UNAMSegundas variaciones negativas en control ptimo.

mi18 12:10-12:50 CARLOS CASTRO BARBERO, U. Politcnica MadridAproximacin numrica del control puntual para la ecuacin de ondas.

mi17 12:50-13:30 JOSE LUIS MORALES, ITAMOn the improvement of first order methods for very large-scale optimization applications.

mi18 13:30-14:10 MANUEL GONZLEZ BURGOS, U. SevillaControllability of 22 coupled parabolic systems.

S09.M0 Ecuaciones en Derivadas ParcialesCoordinada por: Diego Crdoba, ICMAT; Renato Iturriaga, CIMAT-Guanajuato.

mi18 11:30-12:10 LUCA FANELLI, U. Pais VascoOn the lack of compactness in the Sobolev-Strichartz inequalities.

mi18 12:10-12:50 JAIME CRUZ SAMPEDRO, UAMThe maximal solution to the geometric eikonal equation and quantum scattering.

mi18 12:50-13:30 FRANCISCO GANCEDO, U. SevillaFormacin de singularidades para las ecuaciones de Euler con frontera libre.

mi18 13:30-14:10 HCTOR MORALES, CIMATEl anlisis microlocal y los problemas inversos de reconstruccin de imgenes tomogrficas.


mi18 18:00-18:40 DAVID RUIZ, U. GranadaExistence and behavior of radial minimizers for the Schrdinger-Poisson-Slater problem.

mi18 18:40-19:20 PABLO PADILLA, IIMAS UNAMBifurcaciones en sistemas de reaccin-difusin: el efecto del crecimiento y la geometra del dominio.

mi18 19:20-20:00 MARA LPEZ-FERNNDEZ, UZH-SuizaA nonlocal moving frame to approximate traveling waves.

mi18 20:00-20:40 ERIC HERNNDEZ, UA Ciudad MxicoA result of multiple symmetric solutions for a singular semilinear elliptic problem with critical exponent.

S10.M2 EstadsticaCoordinada por: Javier Girn, U. Mlaga; Graciela Gonzlez Farias, CIMAT-Monterrey.

jue19 15:00-15:40 CARLES CUADRAS, U. BarcelonaSobre la dimensin geomtrica en cpulas bivariantes.

jue19 15:40-16:20 RODRIGO MACAS, CIMATCluster selection criteria based on a block-shaped partition for one-mode dissimilarity matrix.

jue19 16:20-17:00 JOS MIGUEL BERNARDO, R.A.C.Contraste Objetivo de Hiptesis Cientficas.

jue19 17:00-17:40 RAL RUEDA, IIMASContraste de hiptesis en modelo lineales jerrquicos.

jue19 17:40-18:20 MANUEL MENDOZA, ITAMFamilias Exponenciales e Inferencia Bayesiana.

vie20 09:00-09:40 ENRIQUE CASTILLO, U. Cantabria y R.A.C.Dos Aplicaciones de la Estadstica a Modelos de Trfico.

vie20 09:40-10:20 JORGE ARGEZ SOSA, U. Autnoma de YucatnUsando mapas a pr i or i para modelar una variable discreta sobre una regin geogrfica.

vie20 10:20-11:00 JAVIER GIRN, U. Mlaga y R.A.C.Anlisis bayesiano objetivo de coste-efectividad para tratamientos clnicos en presencia de covariables.

S11.M3 Fsica MatemticaCoordinada por: Hugo Garca Compen, CINVESTAV; Miguel Snchez Caja, U. Granada.

mar17 18:00-18:40 HUGO GARCA-COMPEN, CINVESTAVCuantizacin de Branas.

mar17 18:40-19:20 CARLOS VILLEGAS, IMATE-UNAM CuernavacaOn a Bargmann transform for the n-sphere and coherent states.

mar17 19:20-20:00 GUILLERMO MENA MARUGN, CSIC, IEMUnicidad de la cuantizacin de Fock para campos en espaciotiempos no estacionarios.

mar17 20:00-20:40 JOS LUIS FLORES, U. MlagaBorde Causal y Correspondencia Ads/CFT.

mi18 18:00-18:40 DANIEL PERALTA, ICMAT-CSICNudos y enlaces en mecnica de fluidos.

mi18 18:40-19:20 BENJAMN ITZA-ORTIZ, CIMA, UAEHidalgoRealizacin de toros no conmutativos como lgebras C* de grupo de transformaciones.

mi18 19:20-20:00 ANDRS PEDROZA, U. ColimaKuranishi structures.

mi18 20:00-20:40 MIGUEL NGEL JAVALOYES, U. MurciaInterrelacin entre espacio-tiempos estacionarios estndar y mtricas de Randers en el nivel de grupos de transfor-maciones.

S12.M1 Geometra Algebraica y AritmticaCoordinada por: Pedro Luis del ngel, CIMAT; Ana Cristina Lpez Martn, U. Salamanca; Antonio Rojas Len, U. Sevilla.

mi18 18:00-18:40 CLAUDIA REYNOSO, U. GuanajuatoEstratificacin del espacio de Foliaciones holomorfas de CP2.

mi18 18:00-18:40 TOMS GMEZ, ICMATA GIT interpretation of the Harder-Narasimhan filtration.

mi18 19:20-20:00 JORGE OLIVARES, CIMATSubesquemas (muy) especiales del esquema singular de una foliacin por curvas en el plano proyectivo complejo.

mi18 20:00-20:40 ANA JEREMAS, U. Santiago CompostelaHomologa de Hochschild y clase fundamental.

jue19 11:30-12:10 FRANCESC BARS, U. Autnoma BarcelonaTeora Iwasawa ciclotmica para cuerpos globales de caracterstica positiva.

jue19 12:10-12:50 OSBALDO MATA, UNAMCurvas y Grasmanianas de Hecke en el moduli MX (n,L).


jue19 12:50-13:30 FRANCISCO PLAZA, U. SalamancaAlgebro-geometric solutions of the string equation.

jue19 13:30-14:10 ALEXIS GARCA ZAMORA, U.A. ZacatecasFibraciones relativamente minimales en superficies racionales.

S13.M3 Geometra DiferencialCoordinada por: Vicente Muoz, U. Complutense Madrid; Joan Porti, U. Autnoma Barcelona; Gregor Weingart, IMUNAM-Cuernavaca.

jue19 11:30-12:10 JOS ANTONIO VALLEJO RODRGUEZ, UASLP, U.A. San Luis PotosConexiones de Connes, conexiones de Quillen y superconexiones.

jue19 12:10-12:50 JOAN PORTI, U. Autnoma BarcelonaPolgonos hiperblicos de permetro mnimo.

jue19 12:50-13:30 FRANCISCO PRESAS, ICMATCasi contacto implica contacto.

jue19 13:30-14:10 PABLO SUREZ SERRATO, UNAMRigidez entrpica en clases conformes via flujos de Yamabe.

jue19 16:20-17:00 EDUARDO GARCA RO, USCSolitones de Ricci Lorentzianos.

jue19 17:00-17:40 DIDIER ADN SOLS GAMBOA, UADY, U.A.YucatnEl Teorema de Separacin Nula y algunas aplicaciones.

jue19 17:40-18:20 LUIS GUIJARRO, UAMEspacios de Alexandrov con grupo de isometras grande.

jue19 18:20-19:00 GABRIEL RUZ HERNNDEZ, UNAMSurfaces in R4 with Constant Principal Angles with Respect to a Plane.

S14.M6 Historia de las MatemticasCoordinada por: Luis Espaol, U. La Rioja; Alejandro Garciadiego Dantan, UNAM.

jue19 17:40-18:20 LUIS ESPAOL, U. La RiojaParma 1916: Beppo Levi y su libro de lgebra con ttulo de anlisis.

jue19 18:20-19:00 ELAS FUENTES GUILLN, UAEMex / U. SalamancaLos mtodos iniciales de la teora de conjuntos cantoriana. El desarrollo de matemticas modernas a partir deprcticas tradicionales.

vie20 09:00-09:40 ALEJANDRO GARCIADIEGO, UNAMAbajo Euclides, reloaded!.

vie20 09:40-10:20 ELENA AUSEJO, U. ZaragozaLa Aritmtica Prctica de Juan de Icar (1549): escritura y clculo en el Renacimiento espaol.

vie20 10:20-11:00 JOS FERREIRS, U. SevillaLos reales como expansiones decimales: de herramienta a objeto.

S15.M5 Matemtica DiscretaCoordinada por: Ferrn Hurtado, U. Politcnica Catalunya; Oriol Serra, U. Politcnica Catalunya; Gilberto Calvillo, UNAM.

mi18 18:00-18:35 FELIU SAGOLS, CINVESTAV- IPNSobre la reducibilidad delta-ye.

mi18 18:35-19:10 CAMINO BALBUENA, U. Politcnica CatalunyaPartial linear spaces and identifyng codes.

mi18 19:20-19:55 DAVID ROMERO, UNAM-CuernavacaEl problema de asignacin con dominancia.

mi18 19:55-20:30 JOS CCERES, U. AlmeraSupergeodeticidad en grafos.

jue19 11:30-12:05 FRANCISCO SANTOS, U. CantabriaCmo de falsa es la Conjetura de Hirsch?.

jue19 12:05-12:40 FRANCISCO ZARAGOZA, UAM- AzcapotzalcoDibujos y encajes primitivos de grficas aplanables.

jue19 12:40-13:15 PEDRO RAMOS, U. Alcal de HenaresEl nmero de cruce de un dibujo en dos pginas de la grfica completa es Z(n).

jue19 13:30-14:05 DAVID FLORES PEALOZA, UNAMUn resultado tipo anti-Ramsey para grficas geomtricas.

jue19 14:05-14:40 CARLOS MARIJUN, U. ValladolidMejorando el PageRank de sitios web.

vie20 09:00-09:35 AMANDA MONTEJANO, IMAT-UNAM- QuertaroAlgunos resultados en teora anti-Ramsey aritmtica.

vie20 09:35-10:10 DELIA GARIJO, U. SevillaContractors para flujos.


vie20 10:10-10:45 GUADALUPE RODRIGUEZ, UAM- AzcapotzalcoFrmulas de recursin para el clculo del Polinomio de Tutte de Matroides.

S16.M6 Matemticas en la IndustriaCoordinada por: Salvador Botello, CIMAT; Peregrina Quintela, U. Santiago Compostela.

mar17 18:00-18:40 CARMEN CADARSO SAREZ, U. Santiago CompostelaUtilidad de los modelos aditivos generalizados en estudios biomdicos de asociacin, prediccin y clasificacin.

mar17 18:40-19:20 MANUEL J. CASTRO DAZ, U. MlagaHySEA: Cloud-computing al servicio de la prevencin de catstrofes naturales.

mar17 19:20-20:00 PATRICIA SAAVEDRA, UAM IztapalapaMejorar la eficiencia del sistema de transporte metro: un ejemplo de optimizacin estocstica.

mar17 20:00-20:40 MARIANO RIVERA, CIMAT ACAlgoritmo Gauss-Seidel proyectado para colorizacin de video mediante programacin cuadrtica en gran escala.

mi18 11:30-12:10 ANDRS E. MOCTEZUMA BERTHIER, IM Petrleo, Mxico DFModelos matemticos en la simulacin numrica de yacimientos de hidrocarburos.

mi18 12:10-12:50 SALVADOR BOTELLO RIONDA, CIMAT ACSistema ptimo para diseo de cubiertas.

mi18 12:50-13:30 DOLORES GMEZ PEDREIRA, U. Santiago CompostelaUna experiencia de transferencia matemtica a la industria de elevacin: Simulacin numrica de ncleos mag-nticos laminados.

mi18 13:30-14:10 SANTIAGO CARRILLO MENNDEZ, U. Autnoma MadridBringing economic sense to economic capital in operational risk of right trucated models for severity distribution.

S17.M5 Matemticas y ComputacinCoordinada por: Manuel Ojeda, U. Mlaga; Sergio Rajsbaum, IMUNAM-D.F..

mar17 15:00-15:40 MAURICE HERLIHY, U. BrownApplications of shellable complexes to distributed computing.

mar17 15:40-16:20 MANUEL OJEDA ACIEGO, U. MlagaExistencia y unicidad de modelos estables difusos.

mar17 16:20-17:00 GUILLERMO MORALES LUNA, CINVESTAVCodificacin superdensa en comunicaciones de tipo cuntico.

mar17 17:00-17:40 JESS MEDINA MORENO, U. Cdiz.Anlisis formal de conceptos difusos: filosofa multi-adjunta.

mi18 15:00-15:40 GILBERTO PREZ VEGA, U. CoruaUna formalizacin de lgebra lineal en un lenguaje de orden superior.

mi18 15:40-16:20 FRANCISCO HERNNDEZ QUIROZ, UNAMLgica dinmica epistmica y el clculo Pi.

mi18 16:20-17:00 LLUIS GODO LACASA, II Inteligencia Artificial, CSICA fuzzy modal approach to reasoning about uncertainty - the case of belief functions.

mi18 17:00-17:40 DAVID FLORES PEALOZA, UNAMOptimizando construcciones con barras: cercas y sombrillas.

S18.M2 ProbabilidadCoordinada por: Jos Miguel Angulo, U. Granada; Mara Emilia Caballero, IMUNAM-D.F..

mi18 18:00-18:40 EUSTASIO DEL BARRIO TELLADO, U. ValladolidTasas de convergencia en problemas parciales de masa.

mi18 18:40-19:20 RAMSS MENA CHAVEZ, IIMASS, UNAM, Mxico DFDistribuciones aleatorias basadas en pesos geomtricos.

mi18 19:20-20:00 LLUS QUER SARDANYONS, U. Autnoma BarcelonaConvergencia en ley para la ecuacin del calor estocstica.

mi18 20:00-20:40 JOS LUIS PREZ, ITAM, Mxico DFControl ptimo con estrategias absolutamente continuas para procesos de Lvy espectralmente negativos.

jue19 11:30-12:10 VCTOR RIVERO, CIMAT GuanajuatoLeyes cuasi-estacionarias y lmites del tipo Yaglom para procesos de Markov autosimilares.

jue19 12:10-12:50 MARA DOLORES RUIZ MEDINA, U. GranadaUna aproximacin gaussiana a la multifractalidad.

jue19 12:50-13:30 GERNIMO URIBE BRAVO, Instituto de Matemticas, UNAMUna representacin tipo Lamperti de procesos de ramificacin continua con inmigracin.

jue19 13:30-14:10 JOSEP VIVES, U. BarcelonaUna frmula de Hull y White para un modelo de precios con volatilidad estocstica y saltos.

S19.M0 SingularidadesCoordinada por: Jos Ignacio Cogolludo, U. Zaragoza; Javier Fernndez de Bobadilla, CSIC; Santiago Lpez de Medrano, UNAM.


jue19 15:00-15:40 IGNACIO LUENGO, U. Complutense MadridAlgunos avances en torno a la Conjetura Jacobiana para el plano.

jue19 15:40-16:20 FUENSANTA AROCA, UNAM, CuernavacaSA.

jue19 16:20-17:00 RICARDO URIBE, U. Bourgogne, Dijon, FranciaPuntos especiales de superficies lisas genricas en el espacio de dimensin 3.

jue19 17:00-17:40 SANTIAGO LPEZ DE MEDRANO, Instituto de Matemticas, UNAMSingularidades de funciones cuadrticas.

vie20 09:00-09:40 JOS IGNACIO COGOLLUDO, U. ZaragozaTopologa de curvas y teora de nmeros sobre cuerpos de funciones.

vie20 09:40-10:20 JAWAD SNOUSSI, UNAM CuernavacaEquisingularidad en grmenes de superficies complejas.

vie20 10:20-11:00 DAVID MARN, U. Autnoma BarcelonaClasificacin topolgica de grmenes de foliaciones singulares en el plano complejo.

S20.M2 Sistemas DinmicosCoordinada por: Francisco Romero, U. Complutense Madrid; Patricia Domnguez, BUAP.

mar17 15:00-15:40 CARLES SIM, U. BarcelonaSome properties of the global behaviour of conservative low dimensional systems.

mar17 15:40-16:20 JESS MUCIO, Centro de Ciencias Matemticas, UNAMDinmica en sistemas hamiltonianos holomorfos.

mar17 16:20-17:00 JOS MANUEL SALAZAR, U. AlcalAsymptotic stability for orientation reversing planar homeomorphisms.

mar17 17:00-17:40 LVARO LVAREZ, U. Autnoma Baja California, MxicoGeometra y dinmica cerca de singularidades esenciales.

mi18 15:00-15:40 ALBERTO VERJOVSKI, Instituto de Matemticas, UNAMEl teorema de Hedlund para laminaciones.

mi18 15:40-16:20 MNICA MORENO, CIMAT, MxicoCombinatorial description of Sierpinski curve Julia sets of rational maps.

mi18 16:20-17:00 JAIME JORGE SNCHEZ-GABITES, U. Castilla-La ManchaBloques aislantes regulares en 3-variedades.

mi18 17:00-17:40 ARMENGOL GASULL, U. Autnoma BarcelonaThe solution of the Composition Conjecture for Abel equations.

S21.M3 Teora de NmerosCoordinada por: Javier Cilleruelo, UAM e ICMAT; Adolfo Quirs, UAM; Wilson Ziga, CINVESTAV.

mar17 15:00-15:40 MOUBARIZ GARAEV, UNAMConcentracin de puntos en funciones polinomiales, curvas elpticas e hiperelpticas en cuerpos primos y aplica-ciones.

mar17 15:40-16:20 JORDI GURDIA, U. Politcnica CatalunyaEl ADN de los polinomios p-dicos.

mar17 16:20-17:00 WILSON ZIGA, CINVESTAVFormas Cuadrticas, Funciones Zeta Locales y la Ecuacin del Calor sobre los p-dicos.

mar17 17:00-17:40 LUIS NAVAS, U. SalamancaEl comportamiento asinttico de los polinomios de Apostol-Bernoulli.

mi18 15:00-15:40 EDUARDO DUEZ, U. TexasMatrices Aleatorias y Ceros de Funciones-L de Twists Cuadrticos de Curvas Elpticas.

mi18 15:40-16:20 JESS GMEZ AYALA, U. Pas VascoFantasas y variaciones en torno al teorema de Hilbert-Speiser.

mi18 16:20-17:00 TIMOTHY GENDRON, UNAMEl Grupo de Aproximaciones Diofantinas y el Invariante Modular Cuntico.

mi18 17:00-17:40 JAVIER CILLERUELO, UAM e ICMATPuntos de coordenadas enteras sobre circunferencias y nmeros de Fibonacci.

S22.M5 Topologa AlgebraicaCoordinada por: Antonio Viruel, U. Mlaga; Ernesto Lupercio, CINVESTAV-D.F..

mar17 18:00-18:40 MIGUEL XICOTENCATL, CINVESTAVComplejidad Topolgica de Espacios Proyectivos Producto.

mar17 18:40-19:20 ANTONIO DAZ, U. MlagaGrupos finitos p-locales e invariantes.

mar17 19:20-20:00 DANIEL JUAN PINEDA, UNAMTeora K algebraica de grupos de trenzas.


mar17 20:00-20:40 URTZI BUIJS, U. BarcelonaModelos racionales de espacios de funciones y Teorema de transferencia homotpica.

mi18 11:30-12:10 CRISTINA COSTOYA, U. La CoruaTodo grupo finito es el grupo de autoequivalencias de homotopa de un espacio (racional) elptico.

mi18 12:10-12:50 SAMUEL GITLER, CINVESTAVSA.

mi18 12:50-13:30 FERNANDO MURO, U. SevillaUnidades homotpicas en lgebras A-infinito.

mi18 13:30-14:10 ERNESTO LUPERCIO, CINVESTAVSA.

S23.M1 Topologa de Bajas DimensionesCoordinada por: Juan Gonzlez Meneses, U. Sevilla; Mario Eudave, IMUNAM-D.F..

jue19 15:00-15:40 JOS CARLOS GMEZ-LARRAAGA, CIMATCategora promediable de variedades tridimensionales.

jue19 15:40-16:20 PEDRO M. GONZLEZ-MANCHN, U. Politcnica MadridProductos interiores en el lgebra de Hecke del grupo de trenzas y relaciones de madeja Homfly.

jue19 16:20-17:00 GABRIELA HINOJOSA PALAFOX, U.A. del Estado de MorelosNudos cubulados.

jue19 17:00-17:40 JUAN GONZLEZ-MENESES, U. SevillaReconociendo representantes lexicogrficos de trenzas positivas.

jue19 17:40-18:20 MARIO EUDAVE-MUOZ, Instituto de Matemticas, UNAMCubos con asas anudados.

vie20 09:00-09:40 MARA TERESA LOZANO IMZCOZ, U. ZaragozaRepresentaciones afines de nudos de dos puentes usando lgebras de cuaterniones.

vie20 09:40-10:20 FABIOLA MANJARREZ-GUTIRREZ, CIMATDescomposicin circular en asas para nudos en la 3-esfera.

vie20 10:20-11:00 JOS MARA MONTESINOS AMILIBIA, U. Complutense de MadridUn sorprendente grupo aritmtico.

S24.M1 Topologa de ConjuntosCoordinada por: Manuel Sanchs, U. Jaume I; Richard Wilson, UAM.

mar17 15:00-15:40 MANUEL SANCHS, U. Jaume IAlgunos problemas abiertos en la teora de subconjuntos acotados.

mar17 15:40-16:20 RICHARD WILSON, U. Autnoma MetropolitanaTopologas determinadas por subespacios discretos.

mar17 16:20-17:00 SALVADOR ROMAGUERA BONILLA, U. Politcnica ValenciaSobre los teoremas del punto fijo para aplicaciones -contractivas en espacios mtricos.

mar17 17:00-17:40 ISABEL PUGA ESPINOSA, UNAMCompactificaciones en lmites inversos generalizados.

mi18 15:00-15:40 JORGE GALINDO PASTOR, U. Jaume IConjuntos de interpolacin y compactaciones mediante semigrupo de grupos localmente compactos.

mi18 15:40-16:20 FERNANDO HERNNDEZ HERNNDEZ, Fac. Ciencias Fsico MatemticasEl producto de dos ordinales es hereditariamente dualmente discreto.

mi18 16:20-17:00 JAVIER GUTIRREZ GARCA, U. Pas VascoAlgunos resultados sobre insercin de funciones continuas retculo-valuadas.

mi18 17:00-17:40 ALEJANDRO ILLANES MEJA, IM UNAMEncajes de productos simtricos en espacios euclidianos.


RSME-SMM-2012 17-20 ene 2012, Torremolinos

S00. Plenarias. SALA M0

PROGRAMA

mar17 11:30-12:30 SAMUEL GITLER, CINVESTAVRealizacin geomtrica de los anillos con ideal generado por monomios.

mar17 12:30-13:30 LUIS JOS ALAS, U. MurciaUna introduccin al principio del mximo de Omori-Yau y sus aplicaciones en geometra.

mi18 09:00-10:00 JOS MARA PREZ IZQUIERDO, U. La RiojaQu es la teora de Lie no asociativa?.

mi18 10:00-11:00 JORGE VELASCO, IMPMathematical epidemiology: examples, data and associated models.

jue19 09:00-10:00 MARA EMILIA CABALLERO, UNAMRepresentaciones de Lamperti y procesos de Lvy.

jue19 10:00-11:00 JAVIER FERNNDEZ DE BOBADILLA, CSICEl problema de Nash para superficies.

jue19 19:00-20:00 XAVIER GMEZ MONT, CIMATHiperbolicidad foliada.

vie20 11:30-12:30 EULALIA NUALART, U. Paris 13Aplicabilidad de la frmula de integracin por partes en un espacio Gaussiano.

RESMENES

Ponente: SAMUEL GITLER CINVESTAV

Ttulo: Realizacin geomtrica de los anillos con ideal generado por monomiosHora: (M0) mar17 11:30-12:30

Resumen: Los anillos con ideal generado por monomios han sido estudiados extensamente desde hace 3 dcadas. Enesta charla daremos una realizacin geomtrica de un lgebra con ideal generado por monomios con coeficientesenteros. Es decir, dada un lgebra tal A existe un CW-espacio W (A) tal que el anillo de cohomologa de W (A) concoeficientes enteros es isomorfo al lgebra A como lgebras. Los anillos con otros coeficientes son isomorfos a lacohomologa de W (A) con coeficientes en ese campo. As la topologa entra en el estudio de las lgebras con idealgenerado por monomios y stas entran en el estudio de los complejos de momento angular. Al final damos unosresultados acerca de la finitud de el nmero de anillos de cohomologa de los complejos de momento angular salvoisomorfismo no graduado.

[email protected]

Ponente: LUIS JOS ALAS U. Murcia

Ttulo: Una introduccin al principio del mximo de Omori-Yau y sus aplicaciones en geometraHora: (M0) mar17 12:30-13:30

Resumen: Siguiendo la terminologa introducida por Pigola, Rigoli y Setti (2005), se dice que una variedad riemannianaM verifica el principio del mximo de Omori-Yau si, para cualquier funcin diferenciable u C 2(M) con u := supM u u1

k, (ii) u(pk ) 1)

M+++ f (x1, x2, . . . , xn) = suph>0

1

hn

[x1,x1+h)[x2,x2+h)[xn ,xn+h)

| f (y)|d y ,

las desigualdades con pesos no han sido caracterizadas. En esta charla definimos un operador maximal didico lateral,M+++d , que controla a M

+++ de una forma similar a la del caso clsico. Caracterizamos los buenos pesos para esteoperador lateral didico y deducimos una condicin suficiente (de tipo Ap ) para la acotacin con pesos del operadormaximal de Hardy-Littlewood lateral en Rn , M+++.Estos resultados forman parte de un trabajo conjunto con F.J. Martn-Reyes.

[email protected]

Ponente: FERNANDO GALAZ FONTES CIMAT

Ttulo: Iterados del operador de Hardy-Cesro en el espacio de HardyHora: (M4) jue19 12:10-12:50

Resumen: Dada una funcin holomorfa f definida en el disco abierto unitario D, el operador de Hardy-Cesro T leasocia la funcin holomorfa T f (z) := 1z

z0 f (w)d w . En esta pltica describiremos el comportamiento de la sucesin

de iterados {T n f } cuando f pertenece al espacio de Hardy H 2(D)[email protected]

Ponente: GUSTAVO GARRIGS U. Murcia

Ttulo: Acotacin local Lp Lq para la proyeccin de Bergman en tubos sobre conosHora: (M4) jue19 12:50-13:30

Resumen: Estudiamos la acotacin local Lp Lq para la proyeccin de Bergman P en tubos sobre conos de Cn . Estapropiedad resulta equivalente a la acotacin global de la proyeccin en el dominio acotado D conformemente equiva-lente al tubo. En particular, en el caso p = implica inclusiones ptimas para el espacio de Bloch B(D) , Lq .En la charla explicaremos la problemtica de este tipo de operadores, y las conjeturas abiertas al respecto. Entre los re-sultados, obtenemos el rango ptimo para el operador P+ con ncleo positivo en conos simtricos generales, y algunasmejoras sobre este rango para el operador original P .Esta investigacin forma parte de un trabajo conjunto con A. Bonami y C. Nana.

[email protected]

Ponente: LINO FELICIANO RESNDIS OCAMPO UAM Azcapotzalco

Ttulo: La clase hiperblica Qp (Bn) en la bola unitaria de CnHora: (M4) jue19 13:30-14:10

Resumen: Trabajo conjunto con Diana Jimnez ([email protected]) y L.M. Tovar ([email protected]).

mailto:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]


Sea Bn la bola unitaria en Cn . Para a Bn \ {0}, se define el automorfismo involutivo de la bola unitaria, a : Bn Bndado por

a(z) =a |a|2 a

1|a|2(z |a|2 a)

1< z, a > .

Si a = 0, se define a(z) =z. La funcin

G(z) = 12n

1|z|

(1 t 2)n1t 2n1

d t z Bn

es la funcin de Green para el Laplaciano invariante y g (z, a) =G(a(z)).Sean f :Bn B1 una funcin holomorfa y 0 < p



S06. Anillos y Mdulos. SALA M4

Coordinada por: Christof Geiss, IMUNAM-D.F.; Jos Mara Prez Izquierdo, U. La Rioja; Juan Jacobo Simn, U. Murcia.

PROGRAMA

mar17 15:00-15:35 CARLOS CASTAO BERNARD, U. Autnoma de Chiapasrdenes de Eichler, formas cuadrticas binarias y curvas elpticas sobreQ.

mar17 15:35-16:10 MERCEDES SILES MOLINA, U. MlagaOcho aos de lgebras de caminos de Leavitt.

mar17 16:30-17:05 FERNANDO MONTANER FRUTOS, U. ZaragozaBilgebras sobre lgebras de Lie corrientes.

mar17 17:05-17:40 RAYMUNDO BAUTISTA, Centro de Ciencias Matemticas Morelia, UNAMlgebras Mansas sobre los reales.

mi18 15:00-15:30 GERARDO RAGGI, Centro de Ciencias Matemticas Morelia, UNAMFuntores de biconjuntos.

mi18 15:30-15:50 VALENTE SANTIAGO VARGAS, Instituto de Matemticas, UNAMContextos de Auslander-Buchweitz y Co-t-estructuras.

mi18 15:55-16:25 ENRIQUE PARDO ESPINO, U. CdizEl problema de clasificacin en lgebras de caminos de Leavitt.

mi18 16:40-17:10 ALEJANDRO ALVARADO, UNAMClases conaturales y submdulos de cotipo.

mi18 17:10-17:40 JUAN JACOBO SIMN PINERO, U. MurciaEquivalencia de Morita de acciones parciales de grupos y globalizacin .

RESMENES

Ponente: CARLOS CASTAO BERNARD U. Autnoma de Chiapas

Ttulo: rdenes de Eichler, formas cuadrticas binarias y curvas elpticas sobreQHora: (M4) mar17 15:00-15:35

Resumen: Sea ON el orden de Eichler de nivel N en un lgebra de cuaterniones H sobreQ de tipo indefinido. (Recorde-mos que, salvo una conjugacin, ON est determinado de manera nica en H .) En esta charla vamos a estudiar unacorrespondencia explcita entre las clases de equivalencia de encajes de ciertos campos cuadrticos en ordenes deEichler ON y ciertas geodsicas en el plano de Poincar. Para este propsito vamos a usar formas cuadrticas binarias.Adems vamos a describir brevemente una conjetura que relaciona los nmeros de estas clases de equivalencia y unosinvariantes de curvas elpticas sobreQ relacionados con la conjetura de Birch y Swinnerton-Dyer.

[email protected]

Ponente: MERCEDES SILES MOLINA U. Mlaga

Ttulo: Ocho aos de lgebras de caminos de LeavittHora: (M4) mar17 15:35-16:10

Resumen: Las lgebras de caminos de Leavitt comenzaron a estudiarse en 2004. Pueden considerarse como el anl-ogo algebraico de las C*-lgebras de grafo, pero tambin pueden ser vistas como una generalizacin de las lgebrasestudiadas por Leavitt cuando buscaba ejemplos de lgebras que no satisficieran la condicin IBN (invariant basisnumber).Aunque en principio pueda parecer extica la manera en que se asocia un lgebra a un grafo dirigido, son muchoslos ejemplos estndar de lgebras que surgen como lgebras de caminos de Leavitt asociadas a un grafo. Aparte delas lgebras de Leavitt de tipo (1, n), el lgebra de polinomios de Laurent, los anillos de matrices sobre un cuerpo, ellgebra de Toeplitz, etc., son ejemplos de lgebras de caminos de Leavitt.Es mucha la riqueza de estas lgebras. Uno de sus atractivos es que propiedades estructurales del lgebra como ser sim-ple, regular von Neumann, puramente infinita, de intercambio, tener cierto rango estable, coincidir con su zcalo. . . seven reflejadas en el grafo. Esto proporciona una agradable manera de encontrar ejemplos de lgebras que satisfaganciertas condiciones.Las conexiones entre las lgebras de caminos de Leavitt y otras ramas de las Matemticas son profundas. Por ejemplo,con las lgebras de Bergman, con Teora K, o con su anlogo analtico, las C*-lgebras de grafo: muchos de los resul-tados iniciales en las lgebras que nos ocupan surgieron inspirados por los correspondientes resultados en el mbitoanaltico, aunque las demostraciones no hayan seguido caminos paralelos.

mailto:[email protected]


En estos aos el objeto de nuestro estudio ha alcanzado su madurez: los nuevos resultados sobre lgebras de caminosde Leavitt llevan a nuevos descubrimientos en C*lgebras de grafo, y son diversas las ramificaciones que han surgido:lgebras de caminos de Cohn-Leavitt, lgebras de caminos de Leavitt iteradas, lgebras de caminos de grafos separa-dos...El objetivo de esta conferencia es hacer un recorrido por la vida de las lgebras de caminos de Leavitt mostrando culesson los hitos alcanzados, en qu punto de su clasificacin se est, qu deriva ha seguido su estudio, etc.

[1] G. Abrams, P. Ara, and M. Siles Molina, Leavitt path algebras, Lecture Notes in Mathematics, Springer.

[2] Gene Abrams and Gonzalo Aranda Pino, The Leavitt path algebra of a graph, J. Algebra 293 (2005), no. 2, 319334.

[3] Gene Abrams, Gonzalo Aranda Pino, Francesc Perera, and Mercedes Siles Molina, Chain conditions for Leavitt path algebras, Forum Math. 22(2010), no. 1, 95114.

[4] G. Abrams, G. Aranda Pino, and M. Siles Molina, Finite-dimensional Leavitt path algebras, J. Pure Appl. Algebra 209 (2007), no. 3, 753762.

[5] , Locally finite Leavitt path algebras, Israel J. Math. 165 (2008), 329348.

[6] G. Abrams and K. Rangaswamy, Regularity conditions for arbitrary Leavitt path algebras, Alg. Repr. Theory.

[7] G. Abrams, K. Rangaswamy, and M. Siles Molina, The socle series of a Leavitt path algebra, Alg. Repr. Theory 14 (2011), 751-777.

[8] P. Ara and K. R. Goodearl, Leavitt path algebras of separated graphs, J. Reine Angew. Mat.

[9] , C-algebras of separated graphs, J. Functional Analysis (2011).

[10] P. Ara, M. A. Moreno, and E. Pardo, Nonstable K -theory for graph algebras, Algebr. Represent. Theory 10 (2007), no. 2, 157178.

[11] G. Aranda Pino, K. R. Goodearl, F. Perera, and M. Siles Molina, Non-simple purely infinite rings, Amer. J. Math. 132 (2010), no. 3, 563610.

[12] G. Aranda Pino, D. Martn Barquero, C. Martn Gonzlez, and M. Siles Molina, The socle of a Leavitt path algebra, J. Pure Appl. Algebra 212 (2008),no. 3, 500509.

[13] Gonzalo Aranda Pino, Dolores Martn Barquero, Cndido Martn Gonzlez, and Mercedes Siles Molina, Socle theory for Leavitt path algebras ofarbitrary graphs, Rev. Mat. Iberoam. 26 (2010), no. 2.

[14] G. Aranda Pino, E. Pardo, and M. Siles Molina, Prime spectrum and primitive Leavitt path algebras, Indiana Univ. Math. J. 58 (2009), no. 2,869890.

[15] , Exchange Leavitt path algebras and stable rank, J. Algebra 305 (2006), no. 2, 912936.

[16] K. R. Goodearl, Leavitt path algebras and direct limits, Rings, modules and representations, Contemp. Math., vol. 480, Amer. Math. Soc., Provi-dence, RI, 2009, pp. 165187.

[17] W. G. Leavitt, The module type of a ring, Trans. Amer. Math. Soc. 103 (1962), 113130.

[18] M. Siles Molina, Algebras of quotients of path algebras, J. Algebra 319 (2008), no. 12, 52655278.

[19] Mark Tomforde, Uniqueness theorems and ideal structure for Leavitt path algebras, J. Algebra 318 (2007), no. 1, 270299.

[email protected]

Ponente: FERNANDO MONTANER FRUTOS U. Zaragoza

Ttulo: Bilgebras sobre lgebras de Lie corrientesHora: (M4) mar17 16:30-17:05Resumen: [email protected]

Ponente: RAYMUNDO BAUTISTA Centro de Ciencias Matemticas Morelia, UNAM

Ttulo: lgebras Mansas sobre los realesHora: (M4) mar17 17:05-17:40

Resumen: Trabajo conjunto con Efrn Prez ([email protected]) y Leonardo Salmern ([email protected]).En lo que sigue k es un campo, las k-lgebras consideradas sern asociativas con uno. Si B es una k-lgebra porB-mdulo entenderemos un B-mdulo izquierdo. Por B Mod denotamos la categora de B-mdulos y por B mod lacategora de B-mdulos de dimensin finita sobre k.Sea A una k lgebra de dimensin finita sobre k, si k es algebraicamente cerrado por el Teorema de Drozd [1] A tieneuna y solo una de las siguientes propiedades:

a El conjunto de clases de isomorfa de los A-mdulos inescindibles (indecomposable) es finito.

b El conjunto de clases de isomorfa de los A-mdulos inescindibles es infinito y para cada nmero natural d , existeuna coleccin finita Z1, ..., Zm de A-k[x]-bimdulos, libres finitamente generados sobre k[x], tales que si M es unA-mdulo inescindible de dimensin sobre k igual a d entonces M = Zi k[x]/(x) para algn 1 i m y k.

c Existe W , un A-k[x, y]-bimdulo libre finitamente generado sobre k[x, y] tal que el funtor:

W k[x,y] : k[x, y]mod A mod

preserva inescindibles y clases de isomorfa.

El lgebra A se llama de tipo de representacin finito, mansa o de tipo de representacin salvaje si satisface a, b oc, respectivamente.

mailto:[email protected]:[email protected]


Si k no es algebraicamente cerrado no se conoce una divisin como la enterior, en particular si k es un campo finitola condicin b se cumple para cualquier k-lgebra de dimensin finita sobre k y que no es de tipo de representacinfinito.En [2] Crawley Boevey introduce el concepto de mdulo genrico:Definicin Un A-mdulo G, se llama genrico si es inescindible, de dimensin infinita sobre k y de longitud finita con-siderado como EndA(G)-mdulo, esta ltima longitud se llama la endolongitud de k.En el artculo antes citado de Crawley-Boevey se prueba que si k es algebraicamente cerrado entonces A satisaface lacondicin b si y solamente satisface la condicin:

d Para cada nmero natural d , el conjunto de clases de isomorfa de A-mdulos genricos de longitud d es finito.

Si A es un lgebra sobre los reales veremos que la condicin d implica una condicin parecida a la condicin b, pero enlugar del lgebra, k[x] aparecen k-lgebras que son anillos no necesariamente conmutativos cuyos ideales derechos oizquierdos son todos generados por un solo elemento.

[1] Yu. A. Drozd, Tame and wild matrix problems, Amer. Math. Soc. Transl. 128 (1986), 31-55.

[2] W. W. Crawley-Boevey, Tame algebras and generic modules, Proc. London Math. Soc. 63 (1991), no. 3, 241-265.

[email protected]

Ponente: GERARDO RAGGI Centro de Ciencias Matemticas Morelia, UNAM

Ttulo: Funtores de biconjuntosHora: (M4) mi18 15:00-15:30

Resumen: Definimos la categora cuyos objetos son las parejas (G , X ) de un grupo finito y un G-conjunto finito, conmorfismos entre dos parejas (G , X ) y (H ,Y ), el grupo de Grothendiec de las triadas (U ,,), donde U es un (G , H)-biconjunto y y son morfismos de G y H conjuntos en X y Y respectivamente y que satisfacen ciertas propiedades.Estudiamos los funtores contravariantes aditivos de esta categora a los R-mdulos con R un anillo conmutativo, lla-mados funtores de biconjuntos o Funtores de Mackey, comparamos esta categora con la categora usual de funtoresde estudiada por Serge Bouc entre otros, tambin estudiamos los funtores de Green que son los monoides de esta cat-egora. Estudiamos problemas de induccin en estas categoras, luego estudiamos el funtor de Burnside como funtorde Green y por ltimo algunas propiedades de este funtor y de sus valores en distintos grupos.

[email protected]

Ponente: VALENTE SANTIAGO VARGAS Instituto de Matemticas, UNAM

Ttulo: Contextos de Auslander-Buchweitz y Co-t-estructurasHora: (M4) mi18 15:30-15:50

Resumen: Trabajo conjunto con O. Mendoza ([email protected]), C. Senz ([email protected]) yM.J. Souto ([email protected]).El trmino co-t-estructura primero apareci en el trabajo de Paukstello [1]. Este concepto corresponde a la nocinde estructura con peso estudiada por Bondarko. En su trabajo Auslander y Reiten establecieron una correspondenciabiyectiva entre los contextos de Auslander-Buchweitz y pares de cotorsin en mod() (donde mod() es la categorade mdulos finitamente generados sobre un lgebra de Artin ). Siguiendo las ideas de Hashimoto, nosotros intro-ducimos en categoras trianguladas T el anlogo del contexto de Auslander-Buchweitz.En base a esto, logramos demostrar que existe una correspondencia biyectiva entre los contextos de Auslander-Buchweitzen una categora triangulada T y las co-t-estructuras en ciertas subcategoras trianguladas de T .

[1] D. Paukstello, Compact corigid objects in triangulated categories and cotestructuras, Cent. Eur. J. Math 6 (2008), no. 1, 25-42.

[email protected]

Ponente: ENRIQUE PARDO ESPINO U. Cdiz

Ttulo: El problema de clasificacin en lgebras de caminos de LeavittHora: (M4) mi18 15:55-16:25

Resumen: Trabajo conjunto con Gene Abrams ([email protected]), Adel Louly ([email protected]) y Chris Smith([email protected]).Las lgebras de caminos de Leavitt fueron introducidas independientemente en [1] y [4] como generalizacin alge-braica de las C-lgebras de grafo [8]. Un problema relevante para esta clase de lgebras es su clasificacin salvoisomorfismo usando invariantes de Teora K. Esto es especialmente interesante en el caso de las lgebras simples pu-ramente infinitas [2], dado que en el contexto de C-lgebras existe un Teorema de Clasificacin para este tipo delgebras usando Teora K, obtenido independientemente por Kirchberg [6] y Phillips [7]. Sin embargo, la tecnologausada por estos ltimos en el contexto de C-lgebras no admite transferencia al contexto puramente algebraico.En esta charla procederemos a explicar un resultado parcial de clasificacin obtenido por los autores en [3], inspiradoen la clasificacin de espacios de deslizamiento de tipo finito realizada por Franks [5].

mailto:[email protected]:[email protected]:[email protected]


[1] G. Abrams and G. Aranda Pino, The Leavitt path algebra of a graph, J. Algebra 293 (2005), 319334.

[2] , Purely infinite simple Leavitt path algebras, J. Pure Appl. Algebra 207 (2006), 553563.

[3] G.. Abrams, A. Louly, E. Pardo, and C. Smith, Flow invariants in the classification of Leavitt algebras, J. Algebra 333 (2011), 202231.

[4] P. Ara, M.A. Moreno, and E. Pardo, Nonstable K-Theory for graph algebras, Algebr. Represent. Theory 10 (2007), 157178.

[5] J. Franks, Flow equivalence of subshifts of finite type, Ergodic Theory Dynam. Systems 4 (1984), 5366.

[6] E. Kirchberg, The classification of purely infinite C*-algebras using Kasparov theory (1995), Preprint.

[7] N.C. Phillips, A classification theorem for nuclear purely infinite simple C*-algebras, Doc. Math. 5 (2000), 49114.

[8] I. Raeburn, Graph algebras, CBMS Regional Conference Series in Mathematics, vol. 103, American Mathematical Society, 2005.

[email protected]

Ponente: ALEJANDRO ALVARADO UNAM

Ttulo: Clases conaturales y submdulos de cotipoHora: (M4) mi18 16:40-17:10

Resumen: Introduciremos el concepto de submdulo de cotipo con respecto a una clase conatural y el concepto de di-mensin de cotipo. Estudiaremos sus propiedades bsicas y daremos una caracterizacin de los mdulos ampliamentesuplementados con dimensin de cotipo finita.

[email protected]

Ponente: JUAN JACOBO SIMN PINERO U. Murcia

Ttulo: Equivalencia de Morita de acciones parciales de grupos y globalizacinHora: (M4) mi18 17:10-17:40

Resumen: En este trabajo proponemos la nocin de equivalencia de Morita de acciones parciales de grupos en anil-los idempotentes. Comentaremos que cualquier accin parcial con una leve restriccin es Morita equivalente a unaaccin parcial globalizable, y que dicha globalizacin es esencialmente nica. Tambin veremos que en el caso delas acciones parciales s-unitarias sobre anillos con unidades locales ortogonales, la equivalencia de Morita es estable-mente isomorfa (es decir, equivalencia de Morita implica isomorfismo de matrices infinitas). Adems, veremos que laequivalencia de Morita de acciones parciales s-unitarias sobre anillos conmutativos implica el isomorfismo de dichasacciones. y comentaremos un resultado anlogo para C lgebras.Trabajo conjunto con F. Abadie ([email protected]), M. Dokuchaev ([email protected]) y R. Exel ([email protected]).

[email protected]




S07. Biomatemtica. SALA M4

Coordinada por: ngel Calsina, U. Autnoma Barcelona; Miguel ngel Herrero, U. Complutense Madrid; AlejandroRicardo Femat Flores, IPICyT.

PROGRAMA

jue19 15:00-15:40 TOMS ALARCN, CRM BarcelonaStochastic multiscale modelling of cell populations.

jue19 15:40-16:20 ALEJANDRO RICARDO FEMAT FLORES, IPICyTSynchronization and transitions in -cells networks.

jue19 16:20-17:00 JUAN CALVO, U. GranadaA non-linear flux-limited model for the transport of morphogenes.

jue19 17:00-17:40 BEATRIZ CARELY LUNA OLIVERA, U. del PapaloapanVrtices dominantes y reguladores globales en redes regulatorias.

jue19 17:40-18:20 ALVARO KHN, U. Complutense de MadridDesarrollo y Validacin de Modelos Matemticos para Estudiar la Formacin de Vasos Sanguneos.

vie20 09:00-09:40 MAYRA NEZ LPEZ, Instituto Mexicano del PetrleoFormacin de patrones en un sistema presa-depredador a partir de una interaccin espacial.

vie20 09:40-10:20 JORDI RIPOLL, U. GironaPropagacin de epidemias sobre redes complejas.

vie20 09:40-10:20 GRISELDA QUIROZ COMPEAN, U. Autnoma de Nuevo LenControl robusto de glucosa en Diabetes Mellitus Tipo 1.

RESMENES

Ponente: TOMS ALARCN CRM Barcelona

Ttulo: Stochastic multiscale modelling of cell populationsHora: (M4) jue19 15:00-15:40

Resumen: Multiscale modelling is one of the most promising and exciting of the recent developments in MathematicalBiology. These types of model have the aim of analysing the global properties that emerge from the coupling of pro-cesses characterised by different time and length scales, such as, for example, oxygen transport and cell proliferation,as well as different types of processes which are usually modelled in terms of different mathematical descriptions, e.g.chemical reactions coupled to mechanical processes. Such models are fundamental to understand complex diseasessuch as cancer which are characterised by disruptions of the normal behaviour at all level of biological organisation (i.e.at many different characterisc scales, from gene regulation to mechanical properties of the tissue), as they naturally al-low for accommodation of the different levels where abnormalities are observed as well as being able to incorporate ina unified framework biological knowledge coming from disparate sources.This models have most commonly been formulated as deterministic systems. Here we present recent developments inthe formulation of stochastic multiscale models of cell populations which incorporate the coupling between cell cycleprogression, an external signalling cue or substance (e.g. oxygen) which regulates the timing of cell division (i.e. therate of progression through the cell cycle). We present a spatial model of population dynamics, essentially a spatiallyextended birth-death process, where the oxygen concentration-dependent birth rate is extracted from a stochasticmodel of the coupling between cell cycle progression and local oxygen concentration.This research is done in collaboration with Pilar Guerrero from the Centre de Recerca Matemtica.

[email protected]

Ponente: ALEJANDRO RICARDO FEMAT FLORES IPICyT

Ttulo: Synchronization and transitions in -cells networksHora: (M4) jue19 15:40-16:20Resumen: [email protected]

Ponente: JUAN CALVO U. Granada

Ttulo: A non-linear flux-limited model for the transport of morphogenesHora: (M4) jue19 16:20-17:00

Resumen: This is a joint work with J.M. Mazn, J. Soler and M. Verbeni.



A new mathematical model for the transport of morphogenes in biological systems will be the subject of this talk. Themodel that we propose here does not rely on linear diffusion mechanisms, opposed to the standard reaction-diffusionmodels. This allows to have some interesting qualitative features, which we shall analyze. We will focus in particular onthe predicted finite speed of propagation of the chemical signal, which fits more adequately the experimental evidence.

[email protected]

Ponente: BEATRIZ CARELY LUNA OLIVERA U. del Papaloapan

Ttulo: Vrtices dominantes y reguladores globales en redes regulatoriasHora: (M4) jue19 17:00-17:40

Resumen: Trabajo conjunto con Edgardo Ugalde Saldaa y Agustino Martnez Antonio.

Los estudios actuales revelan que los genes en un organismo no actan de forma aislada, el producto de la expresinde un gen: una protena, puede ser responsable de activar o inhibir la expresin de otro gen, creando de esta manerainteracciones complejas, dichas interacciones pueden ser representadas en una red, donde los vrtices simbolizan losgenes y las aristas dirigidas las interacciones. Adems de la representacin esttica de la red, podemos asociar a cadagen un nivel de expresin o cantidad de protena, lo cual nos permite una interpretacin dinmica de estos sistemas.

En este trabajo estudiamos dos nociones que surgen de las redes regulatorias, por un lado, el concepto de vrticesdominantes y por otro el concepto de reguladores globales. Aunque han sido definidos en contextos diferentes, ambasnociones buscan identificar los vrtices ms importantes en una red.

Por un lado, el conjunto de vrtices dominantes es determinado de forma algortmica. En el regimen asinttico, laproyeccin de la dinmica en este conjunto permite determinar el estado del sistema completo en todos los tiempos,as como controlar a travs de ellos el comportamiento dinmico en el resto de los vrtices [1].

Por otra parte, los reguladores globales surgen de forma operativa, como una observacin emprica. En [2], se de-finen como aquellos factores de trascripcin involucrados en una gran variedad de funciones, que cumplen ciertaspropiedades que los distinguen, desde una perspectiva genmica, de un regulador local o particular.

Aqu analizamos y comparamos la relacin entre ambos conceptos en las tres redes regulatorias de bacteria mejorcaracterizadas: E.coli, B.subtilis , y P.Aeruginosa.

[1] B. Luna and E. Ugalda, Dominant vertices in regulatory networks dynamics, Physica D 237 (2008), 2685-2695.

[2] A. Martnez-Antonio and J. Collado-Vides, Identifying global regulators in transcriptional regulatory networks in bacteria, Current Opinion inMicrobiology 6 (2003), 482-489.

[email protected]

Ponente: ALVARO KHN U. Complutense de Madrid

Ttulo: Desarrollo y Validacin de Modelos Matemticos para Estudiar la Formacin de Vasos Sangu-neos

Hora: (M4) jue19 17:40-18:20

Resumen: El estudio de los mecanismos celulares y moleculares que dan lugar al patrn vascular es hoy en da uno delos temas candentes tanto en Biologa como en Medicina. De hecho, cualquier avance en la comprensin del desarrollovascular plantea la posibilidad de abrir nuevas vas en el tratamiento clnico de situaciones patolgicas que son causa oefecto bien del exceso o de la falta de vasos sanguneos funcionales. En esta presentacin se discutirn diversos mode-los matemticos que han sido propuestos para describir ciertos aspectos del proceso de formacin de redes vascularesembrionarias. Se prestar especial atencin al uso de modelos hbridos, en los que se combinan tcnicas continuasbasadas en ecuaciones diferenciales as como tcnicas discretas que permiten describir las clulas biolgicas medianteobjetos discretos con una geometra variable. Por ltimo, se presentarn algunos mtodos usados para la validacinexperimental de tales modelos matemticos.

[email protected]

Ponente: MAYRA NEZ LPEZ Instituto Mexicano del Petrleo

Ttulo: Formacin de patrones en un sistema presa-depredador a partir de una interaccin espacialHora: (M4) vie20 09:00-09:40

Resumen: Se describe la formacin de patrones en un sistema ecolgico utilizando un modelo Lotka-Volterra carac-terizado por una escala espacial para describir la interaccin presa-depredador. Resultados analticos y numricosmuestran cmo mecanismos ms realistas pueden generar inhomogeneidades espaciales. Al final se presentar unaanaloga entre ste modelo biolgico y un modelo de innovacin tecnolgica para identificar la generacin de nuevoconocimiento entre dos tipos de organizaciones.

[email protected]

mailto:[email protected]:[email protected]:[email protected]:[email protected]


Ponente: JORDI RIPOLL U. Girona

Ttulo: Propagacin de epidemias sobre redes complejasHora: (M4) vie20 09:40-10:20

Resumen: La modelizacin matemtica se ha convertido en una herramienta esencial para la epidemiologia moderna.La introduccin de los llamados modelos sobre redes complejas (i.e. con patrones de conectividad no-triviales) per-miten aumentar el grado de realismo y as poder controlar y entender mejor los brotes de enfermedades infecciosasen poblaciones humanas o de animales o incluso en redes de ordenadores tan importantes en el mundo tecnolgicoactual.Nosotros estudiamos los posibles escenarios para propagacin de fallos en redes de ordenadores o de comunicaciones,usando modelos epidmicos en tiempo continuo. Hemos analizado un modelo general de tipo susceptible-infectado-deshabilitado el cual tiene en cuenta dos niveles de fallo causado, por ejemplo, por el ataque de un un gusano o unvirus informtico. El primer nivel de fallada tiene lugar cuando el error se puede reparar sin necesidad de desconectarel nodo, preservando as las conexiones que pasan a travs de este nodo. El segundo nivel de fallada consiste en que elnodo debe ser reemplazado y, en consecuencia, las conexiones que pasan por el nodo quedan interrumpidas.En el primer enfoque presentado, el proceso dinmico viene dado por una cadena de Markov en tiempo continuo deacuerdo con los procesos de infeccin, recuperacin y transicin de I D . El sistema consiste en ecuaciones diferen-ciales ordinarias para las probabilidades de los posibles estados en cada uno de los nodos de la red. Hemos realizadoun anlisis de los estados estacionarios y de su estabilidad o inestabilidad donde las caractersticas topolgicas de lared se resumen en el valor propio dominante de la matriz (ponderada) de adyacencia.Por otro lado, un segundo enfoque se presenta de acuerdo con la teora del campo medio heterogneo. En este caso,las caractersticas de la red vienen dadas tanto por la distribucin de grados nodales como por las correlaciones gradogrado. Se obtiene un anlisis similar pero utilizando ahora la llamada matriz de conectividad. Hemos llevado a cabovarias simulaciones estocsticas utilizando diferentes redes reales y sintticas con diferentes topologas. Por ltimo,realizamos una comparacin completa en el espacio de parmetros, con el fin de evaluar los planteamientos tericosexpuestos.

[1] E. Calle, J. Ripoll, J. Segovia, P. Vil, and M. Manzano, A Multiple Failure Propagation Model in GMPLS-Based Networks, IEEE Network 24(6) (2010),1722.

[2] D. Juher, J. Ripoll, and J. Saldaa, Analysis and Monte Carlo simulations of a model for the spread of infectious diseases in heterogeneous metapop-ulations, Phys. Rev. E 80 (2009), no. 4, 041920.

[3] R. Durrett, Random Graph Dynamics (Cambridge Series in Statistical and Probabilistic Mathematics), Cambridge University Press, New York, NY,USA, 2006.

[4] M. Newman, Networks: An Introduction, Oxford University Press, Inc., New York, NY, USA, 2010.

[5] A. Barrat, M. Barthlemy, and A. Vespignani, Dynamical Processes on Complex Networks, Cambridge University Press, New York, NY, USA, 2008.

[6] O. Diekmann and J. A. P. Heesterbeek, Mathematical epidemiology of infectious diseases, Wiley Series in Mathematical and Computational Biology,John Wiley & Sons Ltd., Chichester, 2000.

[email protected]

Ponente: GRISELDA QUIROZ COMPEAN U. Autnoma de Nuevo Len

Ttulo: Control robusto de glucosa en Diabetes Mellitus Tipo 1Hora: (M4) vie20 09:40-10:20

Resumen: El control del nivel de glucosa es el principal reto en la terapia de Diabetes Mellitus tipo 1. En esta charlase discutire el diseo de controladores de glucosa basados en las tcnicas de Control Robusto, se discuten tambinel desempeo de los controladores propuestos bajo diferentes condiciones metablicas del paciente (representadasmediante modificaciones paramtricas de un modelo matemtico nominal del metabolismo de glucosa). Adems,se muestra una nueva tcnica de modelamiento matemtico que permita tener modelos de paciente especfico, locual sera de gran utilidad para disear controladores personalizados de acuerdo con las necesidades metablicas delpaciente.

[email protected]




S08. Control y Optimizacin. SALA M2

Coordinada por: Manuel Gonzlez Burgos, U. Sevilla; Maxim Todorov, U.Amricas-Puebla.

PROGRAMA

mar17 18:00-18:40 MERCEDES MARN BELTRN, U. CrdobaProblemas de control ptimo para el tratamiento de tumores con quimioterapia.

mar17 18:40-19:20 ONSIMO HERNNDEZ LERMA, CINVESTAVThe linear programming approach to (stochastic) optimal control problems.

mar17 19:20-20:00 FRANCISCO PERIAGO ESPARZA, U. Politcnica CartagenaRelajacin en problemas de diseo ptimo para la ecuacin del calor.

mar17 20:00-20:40 MAXIM IVANOV TODOROV, UDLAPMotzkin representation of a class of closed convex sets.

mi18 11:30-12:10 JAVIER FERNANDO ROSENBLUETH LAGUETTE, IIMAS-UNAMSegundas variaciones negativas en control ptimo.

mi18 12:10-12:50 CARLOS CASTRO BARBERO, U. Politcnica MadridAproximacin numrica del control puntual para la ecuacin de ondas.

mi17 12:50-13:30 JOSE LUIS MORALES, ITAMOn the improvement of first order methods for very large-scale optimization applications.

mi18 13:30-14:10 MANUEL GONZLEZ BURGOS, U. SevillaControllability of 22 coupled parabolic systems.

RESMENES

Ponente: MERCEDES MARN BELTRN U. Crdoba

Ttulo: Problemas de control ptimo para el tratamiento de tumores con quimioterapiaHora: (M2) mar17 18:00-18:40

Resumen: El presente trabajo, en colaboracin con Carmen Calzada y Enrique Fernndez-Cara, est financiado en partepor el proyecto MTM2010-15992 de DGES-MICINN (Espaa).El uso de medicamentos destinados a matar las clulas cancerosas (quimioterapia citotxica) es una de las opcionesms utilizadas en el tratamiento de tumores malignos.A diferencia de otros tratamientos (radioterapia o ciruga) la quimioterapia afecta no slo al tumor sino tambin a teji-dos sanos. La concentracin y el tiempo de administracin del medicamento determinan su grado de toxicidad. Esimportante disear protocolos que permitan eliminar el mayor nmero de clulas cancerosas sin que resulten perju-diciales para el paciente. La forma de determinar estos protocolos se basa en la realizacin de ensayos clnicos lo queda lugar a procesos que suelen ser largos y de un coste muy elevado. En este sentido, el uso de modelos matemticosy de tcnicas de control ptimo proporciona un mtodo de bajo costo que permite probar diferentes estrategias demanera ms eficiente.En este trabajo, presentamos un problemas de control ptimo en el que el se considera el crecimiento de un tumornecrtico al cual se le administra un nico medicamento quimioterapetico.Para describir el crecimiento del tumor se considera un modelo heterogneo en espacio y tiempo formulado como unproblema de frontera libre que se expresa mediante ecuaciones en derivadas parciales [1]. Para describir de qu formallega el medicamento al tumor, suponemos que ste se administra mediante infusiones intravenosas, mezclndosede forma inmediata con el plasma sanguneo y que esta mezcla llega tambin de forma inmediata al tumor con unaconcentracin, en general, no homognea en espacio.El estado viene dado por una funcin que mide el tamao del tumor y el control es una dato asociado a la eleccin dela estrategia de la terapia. Se imponen una serie de restricciones que previenen los efectos txicos del medicamento.Presentamos los resultados obtenidos cuando se considera la administracin de doxorrubicina, un citotxico que sueleemplearse en quimioterapia. Efectuamos una serie de tests que nos permiten validar el modelo de terapia propuestocomparando con resultados experimentales conocidos [3]. Mostraremos los protocolos de administracin ptimosobtenidos, con nuestro modelo, en diferentes situaciones [2].

[1] MC. Calzada, G. Camacho, E. Fernndez-Cara, and M. Marn, Fictitious domains and level sets for moving boundary problems. Applications to thenumerical simulation of tumor growth, Journal of Computational Physics 230 (2011), no. 4, 1335-1358.

[2] MC. Calzada, E. Fernndez-Cara, and M. Marn, On the control of some tumor growth models oriented to therapy, En preparacin.

[3] TL. Jackson, Intracellular accumulation and mechanism of action of doxorubicin in a spatio-temporal tumor model, Journal of Theoretical Biology220 (2003), no. 4, 201-213.


[email protected]

Ponente: ONSIMO HERNNDEZ LERMA CINVESTAV

Ttulo: The linear programming approach to (stochastic) optimal control problemsHora: (M2) mar17 18:40-19:20

Resumen: Consider an optimal control problem (OCP) with an objective function J () over a given set of controlstrategies . At the outset, for an OCP there is no topological nor algebraic information at all.

In the linear programming (LP) approach to OCP one tries to express the OCP as a primal linear program, say P , onsuitable (usually, infinitedimensional) vector spaces. Then, under quite general hypotheses, one can show that thevalues of P and its dual P (i.e., inf P and sup P) satisfy that

supP inf

J () infP.

Therefore, if there is no duality gap, so that sup P = infP , we obtain the value of the OCP. If in addition either P or P issolvable, we can obtain an optimal strategy for OCP. It is interesting to note that the dual program P gives the dynamicprogramming equation for the OCP.

[email protected]

Ponente: FRANCISCO PERIAGO ESPARZA U. Politcnica Cartagena

Ttulo: Relajacin en problemas de diseo ptimo para la ecuacin del calorHora: (M2) mar17 19:20-20:00

Resumen: El objetivo principal de la presentacin ser ofrecer una perspectiva general de los trabajos de investigacinrealizados en los ltimos aos por nuestro grupo en torno a ciertos problemas de diseo ptimo para la ecuacin delcalor. De manera concreta, presentaremos los dos problemas siguientes:

Diseo de un material isotrpico con dos fases que minimiza la energa termal disipada. Bsicamente, se tratade encontrar la distribucin ptima de dos materiales diferentes que minimiza la energa disipada. En trminosmatemticos, el problema adopta la forma

Minimizar en X : J (X ) = 12 T

0

K (x)u u d xd t

sujeto a (x)ut div (K (x)u) = f (x) , en Qu = 0, sobre u (0) = u0, en

donde { (x) =X (x)1 + (1X (x))2,K (x) =X (x)k1IN + (1X (x))k2IN

y la variable de diseo X L (; {0,1}) cumple la restriccin de volumen

X (x)d x = L || para algn 0 < L < 1 fijo.

Como de costumbre, T > 0 es un tiempo fijo,RN , N 1, es un dominio acotado compuesto de dos materialeshomogneos e isotrpicos con densidades de masa i > 0, calores especficos ci > 0, y conductividades trmicaski > 0, i = 1,2, con k1 6= k2. Q = (0,T ), = (0,T ), IN denota la matriz identidad de orden N , f es unafuente de calor, u0 la temperatura inicial, y u (x, t ) la temperatura en tiempo t y posicin x. La variable de diseoX indica la regin ocupada por uno de los dos materiales.

Diseo ptimo del soporte del control nulo para la ecuacin del calor. Con la misma notacin que en el problemaanterior, consideremos el problema de encontrar un control v = v (x, t ) de forma que la solucin del problema

(2)

ut u = v1 en Qu = 0 sobre u (0) = u0 en

cumpla la condicin de controlabilidad nula

(3) u (x,T ) = 0, x .En este problema, es un dominio pequeo donde acta el control. Obviamente, la solucin v del prob-lema anterior depende de , es decir, v = v (). El problema de diseo que planteamos es encontrar el mejor de entre todos aquellos que tienen el mismo tamao. En trminos matemticos

Minimizar en 1 : J (1) = vsujeto a

v satisface (2)-(3),1 L (; {0,1})|| = L || .



En este problema, es una norma. En concreto, analizaremos los casos de la norma L2 y L. Esta ltima con-duce a controles tipo bang-bang.

En ambos problemas, la variable de diseo es binaria lo que fuerza a que los problemas sean no convexos. Apareceentonces de forma natural el problema de no existencia de solucin. Presentaremos las tcnicas usuales de relajacinque permiten dar un sentido a lo que podramos llamar una solucin generalizada y, sobre todo, entender el compor-tamiento de (algunas de) las sucesiones minimizantes del problema original. Finalmente, veremos tambin cmo larelajacin puede ser usada para resolver numricamente los dos problemas anteriores.Los resultados originales presentados han sido obtenidos en colaboracin con G. Allaire, A. Mnch y P. Pedregal.

[1] G. Allaire, A. Mnch, and F. Periago, Long time behavior of a two-phase optimal design for the heat equation, SIAM J. Control Optim. 48 (2010),no. 8, 5333-5356.

[2] A. Mnch, P. Pedregal, and F. Periago, Relaxation of an optimal design problem for the heat equation, J. Math. Pures Appl. 89 (2008), no. 9, 225-247.

[3] A. Mnch and F. Periago, Optimal distribution of the internal null control for the one-dimensional heat equation., J. Differential Equations 250(2011), no. 1, 95-111.

[4] , On a time-dependent optimal design problem for the heat equation, En preparacin.

[email protected]

Ponente: MAXIM IVANOV TODOROV UDLAP

Ttulo: Motzkin representation of a class of closed convex setsHora: (M2) mar17 20:00-20:40

Resumen: A subset of a finite dimensional space is called Motzkin decomposable when it can be expressed as theMinkowski sum of a compact convex set with a closed convex cone. In this talk we present some properties of these setsand necessary and sufficient conditions for such kind of decomposition. The continuity properties of the set-valuedmapping associating to each couple, formed by a compact convex set C and a closed convex cone D , its Minkowskisum C +D have been analyzed, as well.

[email protected]

Ponente: JAVIER FERNANDO ROSENBLUETH LAGUETTE IIMAS-UNAM

Ttulo: Segundas variaciones negativas en control ptimoHora: (M2) mi18 11:30-12:10

Resumen: En esta pltica hablaremos de algunos aspectos fundamentales que surgen al tratar de obtener condicionesnecesarias de optimalidad de segundo orden para ciertos problemas de control ptimo que involucran igualdades ydesigualdades en la funcin de control. Especficamente, para la clase de problemas que estudiaremos, el objetivo esminimizar una funcional del tipo

I (x,u) := t1

t0L(t , x(t ),u(t ))d t

sobre procesos (x,u) con x : T Rn de clase C 1 por fragmentos y u : T Rm continua por fragmentos, y sujeta a lasrestricciones

a. x(t ) = f (t , x(t ),u(t )) (t T ), x(t0) = 0, x(t1) = 1;b. (u(t )) 0, (u(t )) = 0 ( R, Q, t T ),

donde T = [t0, t1], 0,1 Rn son fijos, R = {1, . . . ,r } y Q = {r +1, . . . , q}.En particular nos interesa encontrar condiciones que permitan asegurar que la segunda variacin de la funcional I ,

expresada en trminos del Hamiltoniano

H(t , x,u, p,) = p, f (t , x,u)L(t , x,u),(u),

sea no negativa en ciertos conos convexos definidos por las restricciones. Presentaremos tres conos (de variacionesadmisibles) que surgen de manera natural aplicando el principio mximo y veremos ejemplos en los que la segundavariacin de un proceso admisible, aun satisfaciendo el proceso ciertas hiptesis de normalidad y regularidad, puedeser estrictamente negativa en dichos conjuntos.

[email protected]

Ponente: CARLOS CASTRO BARBERO U. Politcnica Madrid

Ttulo: Aproximacin numrica del control puntual para la ecuacin de ondasHora: (M2) mi18 12:10-12:50

Resumen: Consideramos la ecuacin de ondas unidimensional en un intervalo finito (0,L), sobre la que acta un controllocalizado en un punto interior que sigue una trayectoria dada por una funcin (t ). El sistema de ecuaciones quedescribe este problema viene dado por,

(4)

ut t uxx = f (t )(t )(x), en 0 < x < L, 0 < t < T,u(0, t ) = u(L, t ) = 0, in 0 < t < T,u(x,0) = u0(x), ut (x,0) = u1(x) en 0 < x < L.



donde, (t ) representa la masa de Dirac con soporte en x = (t ). Supondremos que la funcin : [0,T ] (0,L) es C 1 atrozos.El problema de control exacto para el sistema anterior se plantea de la siguiente manera: Dado T > 0, unos datosiniciales (u0,u1) y datos finales (v0, v1), encontrar un control f tal que la solucin u de (4) satisfaga

(5) u(x,T ) = v0(x), ut (x,T ) = v1(x), x (0,L).

Los problema de control puntual mvil fueron introducidos por J.-L. Lions y han sido tratados por diversos autorestanto para la ecuacin de ondas como el calor (ver por ejemplo [5], [4], [3] y las referencias incluidas).Para la ecuacin de ondas, se sabe que bajo ciertas hiptesis sobre la curva el problema de control exacto planteadotiene solucin (ver [1] y [4]). En esta presentacin nos centraremos en la aproximacin numrica de este control. Paraello plantearemos una discretizacin del problema basada en una aproximacin por elementos finitos mixtos de laecuacin de ondas (ver [2] donde se estudia el control frontera). Con ello se evitan los fenmenos de concentracin deondas discretas espreas que aparecen en las aproximaciones clsicas por diferencias finitas o elementos finitos, y quehacen que estos esquemas discretos proporcionen controles que no son aproximaciones de los controles continuos.Estudiaremos la controlabilidad del problema discreto y mostraremos ejemplos numricos para diversas trayectorias.

[1] C. Castro, Exact controllability of the 1-d wave equation from a moving interior point, preprint.

[2] C. Castro and S. Micu, Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method, Numer.Math. 102 (2006), 413-462.

[3] C. Castro and E. Zuazua, Unique continuation and control for the heat equation from a lower dimensional manifold, SIAM J. Cont. Optim 42(2004), no. 4, 1400-1434.

[4] A. Khapalov, Controllability of the wave equation with moving point control, Applied Mathematics and Optimization 31 (1995), no. 2, 155-175.

[5] J.-L. Lions, Pointwise control for distributed systems, Control and estimation in distributed parameter systems, edited by H.T. Banks, SIAM (1992).

[email protected]

Ponente: JOSE LUIS MORALES ITAM

Ttulo: On the improvement of first order methods for very large-scale optimization applicationsHora: (M2) mi17 12:50-13:30

Resumen: Constraints in computational resources and precision make first order methods the only possible choice tosolve many very large-scale problems. In this talk we show how to improve first order methods for box constrainedoptimization problems by combining them with carefully designed subspace minimization phases. Overall, the com-bination improves the rate of convergence and the identification of the active set at the solution. We also show thatimplementation issues play a key role in performance. The techniques are illustrated in several applications.

[email protected]

Ponente: MANUEL GONZLEZ BURGOS U. Sevilla

Ttulo: Controllability of 22 coupled parabolic systemsHora: (M2) mi18 13:30-14:10

Resumen: Joint work with F. Ammar-Khodja, A. Benabdallah, and L. de Teresa.In this talk we will present some null controllability results for the system

(6)

yt y = v1, qt q = y1O in Q = (0,T ),y = 0 on = (0,T ), y(,0) = y0 in ,q = 0 on , q(,0) = q0 in ,

posed in a regular bounded domainRN . In (6), T > 0 is a final time, 1 and 1O denote respectively the characteristicfunctions of the open subsets and O , y0, q0 L2() are given, y = y(x, t ) is the state and v = v(x, t ) is thecontrol function (which acts only in the first equation).WhenO 6= ; it is by now well known that (6) is null controllable at time T > 0 (see [1,4,6]), i.e., for every y0, q0 L2()there is v L2(Q) such that the solution to (6) satisfies y(,T ) = q(,T ) = 0 in .When O = ; it is also known that system (6) is approximate controllable at time T > 0 (see [5]), i.e., for everyy0, q0, yd , qd L2() and > 0 there is v L2(Q) such that the solution to (6) satisfies

y(,T ) ydL2() +q(,T )qdL2() .

In this talk we will present a recent result of null controllability at time T of system (6) in the case N = 1, = (0,) (forinstance) and O = ;. We will obtain the controllability result for (6) as a consequence of a general boundary nullcontrollability result for the 22 coupled system

(7)

yt yxx = q(x)A0 y in Q := (0,) (0,T ),y(0, ) = B v, y(, ) = 0 on (0,T ),y(,0) = y0, in (0,),



where y = (y1, y2) is the state, v L2(0,T ) is the control (one boundary control) and y0 L2(0,;R2) is the initial datum.In (7), q L(0,), B = (b1,b2) R2 and

A0 =(

0 10 0

)are given (in (6), we have a distributed control v , q = 1O and B = (1,0)).We will use some results from [3] and [2].

[1] F. Ammar-Khodja, A. Benabdallah, C. Dupaix, and I. Kostin, Null-controllability of some systems of parabolic type by one control force, ESAIMControl Optim. Calc. Var. 11 (2005), no. 3, 426448.

[2] F. Ammar-Khodja, A. Benabdallah, M. Gonzlez-Burgos, and L. de Teresa, The Kalman condition for the boundary controllability of coupledparabolic systems. Bounds on biorthogonal families to complex matrix exponentials, J. Math. Pures Appl. 96 (2011), no. 6, 555590.

[3] E. Fernndez-Cara, M. Gonzlez-Burgos, and L. de Teresa, Boundary controllability of parabolic coupled equations, J. Funct. Anal. 259 (2010),no. 7, 17201758.

[4] M. Gonzlez-Burgos and R. Prez-Garca, Controllability results for some nonlinear coupled parabolic systems by one control force, Asymptot. Anal.46 (2006), no. 2, 123162.

[5] O. Kavian and L. de Teresa, Unique continuation principle for systems of parabolic equations, ESAIM Control Optim. Calc. Var. 16 (2010), no. 2,247274.

[6] L. de Teresa, Insensitizing controls for a semilinear heat equation, Comm. Partial Differential Equations 25 (2000), no. 1-2, 3972.

[email protected]




S09. Ecuaciones en Derivadas Parciales. SALA M0

Coordinada por: Diego Crdoba, ICMAT; Renato Iturriaga, CIMAT-Guanajuato.

PROGRAMA

mi18 11:30-12:10 LUCA FANELLI, U. Pais VascoOn the lack of compactness in the Sobolev-Strichartz inequalities.

mi18 12:10-12:50 JAIME CRUZ SAMPEDRO, UAMThe maximal solution to the geometric eikonal equation and quantum scattering.

mi18 12:50-13:30 FRANCISCO GANCEDO, U. SevillaFormacin de singularidades para las ecuaciones de Euler con frontera libre.

mi18 13:30-14:10 HCTOR MORALES, CIMATEl anlisis microlocal y los problemas inversos de reconstruccin de imgenes tomogrficas.

mi18 18:00-18:40 DAVID RUIZ, U. GranadaExistence and behavior of radial minimizers for the Schrdinger-Poisson-Slater problem.

mi18 18:40-19:20 PABLO PADILLA, IIMAS UNAMBifurcaciones en sistemas de reaccin-difusin: el efecto del crecimiento y la geometra del dominio.

mi18 19:20-20:00 MARA LPEZ-FERNNDEZ, UZH-SuizaA nonlocal moving frame to approximate traveling waves.

mi18 20:00-20:40 ERIC HERNNDEZ, UA Ciudad MxicoA result of multiple symmetric solutions for a singular semilinear elliptic problem with critical exponent.

RESMENES

Ponente: LUCA FANELLI U. Pais Vasco

Ttulo: On the lack of compactness in the Sobolev-Strichartz inequalitiesHora: (M0) mi18 11:30-12:10

Resumen: Given a generic dispersive propagator e i tL , where L = L (D) is an operator with -homogeneous symbolL (), a Sobolev-Strichartz inequality is an estimate of the following type:

e i tL f Lp Lq . f H s , s > 0.

Here (p, q) needs to satisfy the natural scaling condition which is imposed by the homogeneity of L . The descriptionof the lack of compactness in the previous estimates turns out to be a fundamental tool in order to study the Cauchyproblem for the power-nonlinear equations associated to L , in the cases in which the power is critical with respectto the Sobolev embedding L+1 H s . It is somehow possible to consider the techniques which are involved as thedispersive analog to the concentration-compactness method by Pierre-Louis Lions for the critical nonlinear ellipticequations.To this aim, we will present a general method which permits to decompose any bounded sequence in H s into a finitesum of dispersive profiles generated by the propagator e i tL with a rest which (depending on the number of profiles)is arbitrarily small in the natural Strichartz norms, and with some relevant orthogonality conditions on scales, coresand energies. This represents the basic tool in order to start performing the well known Kenig-Merle strategy for crit-ical nonlinear dispersive equations, and construct the so called critical elements. Our methods is general and quitedifferent by the standard one introduced by Bahouri-Grard and Keraani, for the wave and Schrdinger equations re-spectively, and it also works for systems of dispersive equations.The results are obtained in collaboration with Nicola Visciglia.

[email protected]

Ponente: JAIME CRUZ SAMPEDRO UAM

Ttulo: The maximal solution to the geometric eikonal equation and quantum scatteringHora: (M0) mi18 12:10-12:50

Resumen: We describe some results about the structure stability of smoothness of the maximal solution to the geometriceikonal equation

S(x)G1(x)(S(x))T = 1, S(0) = 0, x Rd 0.



For a subclass of metrics of order zero G on Rd we show existence, stability as well as precise asymptotics for thederivative of the maximal solution. Our results generalize similar results of Barles and Lions for the standard eikonalequation and are applicable to Schrdinger operator theory. This is joint work with E. Skibsted from the University ofrhus, Denmark.

[email protected]

Ponente: FRANCISCO GANCEDO U. Sevilla

Ttulo: Formacin de singularidades para las ecuaciones de Euler con frontera libreHora: (M0) mi18 12:50-13:30

Resumen: En esta charla se muestra un dato inicial regular de las ecuaciones de Euler con flujo incompresible y fron-tera libre para el que probaremos formacin de singularidades en tiempo finito. El escenario que presentaremos lollamaremos splash: la interfase colapsa en un punto violando la condicin cuerda arco.

[email protected]

Ponente: HCTOR MORALES CIMAT

Ttulo: El anlisis microlocal y los problemas inversos de reconstruccin de imgenes tomogrficasHora: (M0) mi18 13:30-14:10

Resumen: En esta pltica introducimos las tcnicas del anlisis microlocal que se emplean en la reconstruccin deimgenes en tomografa. El estudio se basa en una ecuacin de ondas, en particular se presenta el anlisis de la propa-gacin de ondas en un medio en donde su velocidad depende de la frecuencia (medio dispersivo). El modelo directo,que describe la evolucin temporal de las ondas, se construye como un operador pseudodiferencial basado en la aprox-imacin de Born. El problema inverso, de inferir informacin de objetos que reflejan las ondas, se construye como unoperador adjunto del problema directo. Se muestran ejemplos numricos de la implementacin de este operador enel caso del radar de apertura sinttica.

[email protected]

Ponente: DAVID RUIZ U. Granada

Ttulo: Existence and behavior of radial minimizers for the Schrdinger-Poisson-Slater problemHora: (M0) mi18 18:00-18:40

Resumen: The Schrdinger-Poisson-Slater problem is obtained as a mean field limit of the Hartree-Fock equations un-der the Slater approximation of the exchange term. It consists of an elliptic equation in R3 under the effect of twocompeting nonlinearities, a local one an a nonlocal one. In this talk we make an analytic study of that problem from avariational point of view, that is, from the study of the associated energy functional. In some cases, radial minimizersof that functional are found, which blow up when the Slater constant tends to 0. In such case we are interested also intheir asymptotic behavior.

[email protected]

Ponente: PABLO PADILLA IIMAS UNAM

Ttulo: Bifurcaciones en sistemas de reaccin-difusin: el efecto del crecimiento y la geometra del do-minio

Hora: (M0) mi18 18:40-19:20

Resumen: Trabajo conjunto con Jorge A. Castillo y Faustino Snchez Garduo.La emergencia y formacin de patrones en sistemas biolgicos, fsicos y qumicos sigue siendo un problema funda-mental, de inters tanto desde la perspectiva de estas disciplinas como de las matemticas.La propuesta de A. Turing en su artculo sobre las bases qumicas de la morfognesis inici toda una lnea centrada enla modelacin usando ecuaciones diferencia

rsme-smm-2012 ii encuentro conjunto libro de resÚmenes

Documents