Memoria de Actividades 2011 Instituto de Matemáticas

Memoria de Actividade 2011 Instituto de Matemáticas

2


3

1. Grupos de Investigación 5

2. Proxectos de Investigación 9

3. Contratos e Convenios 15

4. Participación en Redes Temáticas 17

5. Visitantes 19

6. Actividades Científicas 23

7. Organización de Cursos 35

8. Actividades de Divulgación 37

9. Actividades de Apoio á Investigación 41

10. Publicacións 43

11. Información Institucional 53

Anexo I. Programas dos Cursos 57

Anexo II. Actas do Seminario de Iniciación á Investigación 61


4


5

1. Grupos de investigación

O Instituto de Matemáticas (IMAT) conta cos seguintes grupos de investigación, considerando como tales os grupos onde o investigador principal é membro do IMAT. Ademais, en todos estes grupos, unha grande parte dos seus investigadores son tamén membros do IMAT.

Álxebra (GI1879)

Investigador principal: José Luis Gómez Pardo

Liñas de investigación: categorías; (co)homoloxía; dualidade; aneis e álxebras; teoría de números; álxebra conmutativa; álxebra non conmutativa; xeometría alxebraica; grupos cuánticos.

Ecuacións Diferenciais non Lineares (GI1561)

Investigador principal: Juan José Nieto Roig

Páxina web: http://www.usc.es/ednl

Liñas de investigación: ecuacións diferenciais ordinarias; ecuacións funcionais; ecuacións en diferenzas; ecuacións diferenciais en derivadas parciais; bioloxía matemática; bioinformática.

Enxeñaría Matemática (GI1563)

Investigador principal: Alfredo Bermúdez de Castro

Páxina web: http://www.usc.es/ingmat

Liñas de investigación: resolución numérica de ecuacións en derivadas parciais (elementos finitos); simulación numérica de procesos; interacción fluído estrutura; métodos espectrais; optimización e control de sistemas distribuídos; ecuacións en derivadas parciais non lineais; problemas de fronteira libre.

http://fxc.usc.es/ednl

http://fxc.usc.es/ingmat


6

Estruturas Xeométricas Diferenciais e Aplicacións (GI1756)

Investigador principal: Modesto Ramón Salgado Seco

Liñas de investigación: espazos fibrados de orde superior; estruturas xeométricas en mecánica clásica e teoría de campos; estruturas de Cartan; variedades pseudo-riemannianas homoxéneas; xeometría de contacto.

Foliacións e Sistemas Dinámicos (GI1574)

Investigador principal: Xosé Masa Vázquez

Liñas de investigación: modelos minimais e homotopía racional; análise global en variedades foliadas; teoría xeométrica de foliacións; cohomoloxía e invariantes secundarios en foliacións.

Modelos de Optimización, Decisión, Estatística e Aplicacións (GI1914)

Investigador principal: Wenceslao González Manteiga

Páxina web: http://eio.usc.es/pub/gi1914/

Liñas de investigación: inferencia estatística; bioestatística; xeoestatística; técnicas de mostraxe e remostraxe; series temporais; inferencia non paramétrica; datos categóricos; datos censurados e/ou truncados; predicción; análise multivariante; técnicas de optimización; teoría de xogos.

Modelización en Fluxos Hidrodinámicos (GI1566)

Investigador principal: Carmen Rodríguez Iglesias

Liñas de investigación: modelo das augas someras; elementos finitos; volumes finitos; esquemas descentrados; control óptimo; bioinformática; biotecnoloxía.

http://eio.usc.es/pub/gi1914/


7

Modelos Matemáticos e Simulación Numérica en Mecánica de Sólidos (GI1564)

Investigador principal: Juan Manuel Viaño Rey

Páxina web: http://www.usc.es/dmafm/grupo_viano

Liñas de investigación: ecuacións diferenciais; simulación numérica, deseño asistido por ordenador; cálculo de estruturas; elasticidade; plasticidade; viscoelasticidade; viscoplasticidade; piezoelectricidade; contacto mecánico; rozamento; adhesión; desgaste; vigas; placas; láminas; vibracións; métodos asintóticos; elementos finitos; mallado; biomecánica; biomatemáticas; ortodoncia; formación de ósos.

Xeometría Riemanniana (GI1573)

Investigador principal: Eduardo García Río

Páxina web: http://xtsunxet.usc.es

Liñas de investigación: xeometría riemanniana; xeometría lorentziana e relatividade; curvatura de métricas semi-riemannianas; hipersuperficies con curvaturas principais constante; accións isométrica; nilvariedades compactas; xeometría hermítica e kahleriana; outras estructuras xeométricas.

http://fxc.usc.es/dmafm/grupo_viano

http://xtsunxet.usc.es/


8


9

2. Proxectos de Investigación (activos en 2011)

Título: Cohomología de espacios singulares y categorías derivadas. Entidade Financiadora: Ministerio de Ciencia e Innovación Duración: dende 01/01/2009 ata 31/12/2011 Investigador principal: L. Alonso Tarrío.

Título: Ecuaciones diferenciales no lineales Entidade financiadora: Ministerio de Ciencia e Innovación Duración: dende 01/01/2011 ata 31/12/2013 Investigador responsable: Alberto Cabada Fernández

Título: Ecuaciones diferenciales no lineales con singularidades Entidade financiadora: Proyecto Ingenio Mathematica (i-Math) Duración: dende 01/04/2011 ata 30/06/2011 Investigador responsable: Alberto Cabada Fernández

Título: Consolidación e estruturación de unidades de investigación (Grupos de Referencia Competitiva). Entidade financiadora: Consellería de Educación e Ordenación Universitaria. Duración: dende 01/01/2011 ata 31/12/2013. Investigador responsable: Juan José Nieto Roig.

Título: Control Óptimo y Medio Ambiente Entidad financiadora: Ministerio de Ciencia e Innovación (MTM2009-07749) Duración: dende 01/2012 ata 31/2012 Investigador responsable: Lino José Álvarez Vázquez

Título: Análise matemática e resolución numérica de problemas de difusión. Aplicacións ao modelado de colectores térmicos e compostos tensioactivos. Entidade financiadora: Xunta de Galicia Duración: dende 10/08/2010 ata 30/09/2013 Investigador responsable: M. Carmen Muñiz Castiñeira


10

Título: Control óptimo multi--obxectivo de ecuacións en derivadas parciais: aplicación á xestión de problemas mediambientais. Entidade financiadora: Xunta de Galicia Duración: dende 13/07/2009 ata 01/12/2011. Investigador responsable: Miguel Ernesto Vázquez Méndez

Título: Teoría geométrica y analítica de foliaciones Entidade financiadora: Ministerio de Ciencia e Innovación Duración: dende 01/01/2009 ata 31/12/2011 Investigador responsable: Jesús A. Álvarez López

Título: Red Española de Topología. Acción Complementaria Entidade financiadora: Ministerio de Ciencia e Innovación (MTM2010-09841-E) Duración: dende 1/1/2011 ata 30/06/2012 Investigador responsable: Enrique Macías Virgós

Título: Análisis y simulación numérica de modelos matemáticos con aplicaciones industriales. Entidade financiadora: Ministerio de Ciencia e Innovación Duración: dende 01/01/2009 ata 31/12/2013 Investigador responsable: A. Bermúdez de Castro

Título: Simulación numérica de procesos termoeléctricos e magneto-mecánicos transitorios non lineares. Aplicacións industriais. Entidade financiadora: Xunta de Galicia Duración: dende 02/12/2009 ata 01/12/2012 Investigador responsable: A. Bermúdez de Castro

Título: Realización de un código de software libre para la simulación numérica en acústica. Entidade financiadora: Proyecto Ingenio Mathematica (i-Math) Duración: dende 01/01/2010 ata 30/09/2011 Investigador responsable: A. Bermúdez de Castro


11

Título: Realización de un código de software libre para la simulación numérica en electromagnetismo. Entidade financiadora: Duración: dende 01/10/2010 ata 30/09/2011 Investigador responsable: A. Bermúdez de Castro

Título: Consolidación e estructuración de unidades de investigación competitivas (Grupos de Referencia Competitiva). Entidade financiadora: Xunta de Galicia Duración: dende 01/01/2010 ata 15/11/2012 Investigador responsable: A. Bermúdez de Castro

Título: Modelos Aditivos Generalizados en estudios de asociación, predicción y clasificación. Aplicaciones en Medicina y Biología. Entidade financiadora: Ministerio de Ciencia e Innovación. Duración: dende 01/01/2009 ata 31/12/2011. Investigador responsable: Carmen María Cadarso Suárez.

Título: Contribucións á Teoría de Xogos Entidade financiadora: Dirección Xeral de Investigación, Desenvolvemento e Innovación. Duración: dende 02-12-2009 ata 01-12-2012. Investigador responsable: Balbina Virginia Casas Méndez.

Título: Isometric actions. Entidade financiadora: European Commission. Duración: dende 01/03/2009 ata 28/02/2012. Investigador responsable: J. Carlos Díaz Ramos.

Título: Curvatura y simetría en geometría semi-Riemanniana. Entidade financiadora: Ministerio de Ciencia e Innovación. Duración: dende 01/01/2010 ata 31/12/2012. Investigador responsable: Eduardo García Río.


12

Título: Curvatura y estructura de variedades de Lorentz. Entidade financiadora: Xunta de Galicia. Duración: dende 02/12/2009 ata 01/12/2012. Investigador responsable: Eduardo García Río.

Título: Statistical Analysis os Association and Dependence in Complex Data. Interuniversity Attraction Pole (IAP) Entidad financiadora: Belgian Science Policy Duración: dende 01/01/2007 ata 31/12/2011. Investigador responsable: Wenceslao González Manteiga.

Título: Metodologías y aplicaciones en estadística semiparamétrica, funcional y espacio/temporal. Entidade financiadora: Ministerio de Ciencia e Innovación. Duración: dende 01/01/2009 ata 31/12/2013. Investigador responsable: Wenceslao González Manteiga.

Título: Consolidación e estruturación de unidades de investigación (Grupos de Referencia Competitiva). Entidade financiadora: Consellería de Educación e Ordenación Universitaria. Duración: 2010 dende ata 31-12-2012. Investigador responsable: Wenceslao González Manteiga.

Título: Categorías derivadas y geometría algebraica Entidade financiadora: Xunta de Galicia Duración: dende 2010 ata 2013. Investigador responsable: Ana Jeremías López.

Título: Métodos computacionales y homológicos en álgebras no asociativas y grupos cuánticos. Entidade financiadora: Ministerio de Ciencia e Innovación. Duración: dende 02/12/2009 ata 01/12/2012. Investigador responsable: Manuel Ladra González.


13

Título: Computación en álgebras no asociativas y álgebras de Hopf. Entidade financiadora: Xunta de Galicia. Duración: dende 02/12/2009 ata 01/12/2012. Investigador responsable: Manuel Ladra González.

Título: Grupos de Lie y espacios homogéneos (MTM2008-05861) Entidade financiadora: Ministerio de Ciencia e Innovación Duración: dende 01/01/2009 ata 30/06/2012 Investigador responsable: Enrique Macías Virgós

Título: Modelización, Análise Matemática e Simulación Numérica en Mecánica de Sólidos. Aplicacións na Enxeñería Civil. Entidade financiadora: Xunta de Galicia Duración: dende 2/12/2009 ata 2/12/2012. Investigador responsable: P. Quintela Estévez.

Título: Análisis matemático y simulación numérica de modelos avanzados de comportamiento de materiales: aplicaciones en la industria, biomecánica y ortodoncia Entidade financiadora: Ministerio de Investigación, Ciencia e Innovación Duración: dende 01/12/2006 ata 30-11-2009 (Prorrogado ata 31/03/2011). Investigador responsable: Juan M. Viaño Rey


14


15

3. Contratos e convenios

Convenio: SIPEI 2012 Empresa/entidade: ENDESA Investigador responsable: Wenceslao González Manteiga Dende: 01-11-2011 ata 31-10-2012. Convenio: SIPEI 2011 Empresa/entidade: ENDESA Investigador responsable: Wenceslao González Manteiga Dende: 01-11-2010 ata 31-10-2011. Convenio: Estudo sectorial sobre división de contidos asociados ás unidades formativas dos novos certificados profesionais Empresa/entidade: FORGA Investigador responsable: M. Ángeles Fernández Fernández Dende: 05-03-2010 ata 30-06-2011. Convenio: Estudo da inserción laboral dos titulados no sistema universitario galego 2007-2008 Empresa/entidade: Axencia para a Calidade do Sistema Universitario de Galicia Investigador responsable: Pedro Faraldo Roca, Rosa M. Crujeiras Casais Dende: 02-11-2010 ata 30-06-2011.


16


17

4. Participación en Redes Temáticas

Membros do grupo de investigación Álxebra (GI1879) participan nas redes temáticas Red Temática Álgebra y Geometría no Conmutativa (NC-ALG), Red Temática Cálculo Simbólico, Álgebra Computacional y Aplicaciones (EACA) y Red Temática de Teoría de Singularidades. Membros do grupo de investigación Estruturas Xeométricas Diferenciais e Aplicacións (GI1756) participan na Red Temática Geometría, Mecánica y Control. Membros do grupo de investigación Xeometría Riemanniana (GI1573) participan na Red Temática Relatividad y Gravitación (RTRG). Membros do grupo de investigación Foliacións e Sistemas Dinámicos (GI1574) participan na Red Española de Topología (RET).

Membros do grupo de investigación Modelos de Optimiziación, Decisión, Estatística e Aplicacións (GI1914) pertencen ao Grupo de Análisis de Datos Funcionales da Sociedad Española de Estadística e Investigación Operativa (http://www.seio.es/grupos/FDA/).

A rede temática BIOSTATNET, www.biostatnet.org (Red Nacional de Bioestadística), créase como froito de colaboracións no ámbito da medicina, co obxectivo de conectar aos investigadores españois en Bioestatística, cun enfoque flexible, aberto, integrador e interdisciplinar. Unha das súas coordinadoras é a profesora Carmen M. Cadarso, membro do IMAT e do grupo de investigación Modelos de Optimización, Decisión, Estatística e Aplicacións (GI1914). A nivel internacional, algúns membros do grupo de investigación Modelos de Optimización, Decisión, Estatística e Aplicacións (GI1914) participan en na rede europea “Statistical Analysis of Association and Dependence in Complex Data” (http://www.stat.ucl.ac.be/IAP/PhaseVI/index2.html), financiado pola Belgian Science Policy (2007-2011). Os profesores W. González e M. Febrero son poñentes do consorcio europeo ERCIM

(European Research Consortium for Informatics and Mathematics) no campo de datos

funcionais (Statistics for Functional Data: http://www.dcs.bbk.ac.uk/ercim/TrackSFD.html).

A nivel nacional, membros de varios grupos de investigación ao proxecto i-Math (Ingenio Mathematica) formando parte importante da plataforma correspondente ao Nodo Cesga, baixo o marco dun proxecto Consolider (CONSOLIDER-MATHEMATICA (http://mathematica.unican.es). Este proxecto que finalizou no ano 2010, ten a súa continuación na Red Española Matemática-Industria (math-in.net), inaugurada en setembro de 2011 e presidida pola Profa. Peregrina Quintela.

http://www.ugr.es/~nc_alg/

http://www.redeaca.tk/

http://www.redeaca.tk/

http://www.imus.us.es/ACT/Red_Singular/php/index.php

http://www.imus.us.es/ACT/Red_Singular/php/index.php

http://www.gmcnetwork.org/

http://gesalerico.ft.uam.es/workshops/rtrg/

http://www.redtop.es/

http://www.seio.es/grupos/FDA/

http://www.biostatnet.org/

http://www.stat.ucl.ac.be/IAP/PhaseVI/index2.html

http://www.dcs.bbk.ac.uk/ercim/TrackSFD.html

http://mathematica.unican.es/


18


19

5. Visitantes

Prof. Andreas Kollross Universität Darmstadt, Alemania Duración: dende 03/10/2011 ata 07/10/2011

Prof. Ioan Bucataru Faculty of Mathematics; “Al.I.Cuza” University, Rumanía Duración: dende 04/09/2011 ata 17/09/2011

Prof. Hiraku Nozawa University of Tokyo, Xapón Duración: dende 01/10/2012 ata o 30/11/2011

Prof. Yuri A. Kordyukov Institute of Mathematics, Russian Academy of Sciences en Ufa, Rusia Duración: dende 10/10/2011 ata 20/10/2011

Prof. M. Benchora Université de Sidi Bel-Abbès, Arxelia Duración: dende 01/06/2011 ata 30/06/2011

Prof. J. Fialho Universidade de Évora, Portugal Duración: dede 01/04/2011 ata 30/04/2011

Prof. F. Minhós Universidade de Évora, Portugal Duración: dede 01/04/2011 ata 30/04/2011

Prof. A. Ouahab Université de Sidi Bel-Abbès, Arxelia Duración: dende 01/06/2011 ata 30/06/2011

Prof. I. Rachuunková Palacký University of Olomouc, República Checa Duración: dende 06/05/2011 ata 08/06/2011

Prof. S. Stanek Palacký University of Olomouc, República Checa Duración: dende 06/05/2011 ata 08/06/2011

Prof. J. Tomecek Palacký University of Olomouc, República Checa Duración: dende 06/05/2011 ata 08/06/2011


20

Prof. M. Tvrdý Academy of Sciences de Praga, República Checa Duración: dende 06/05/2011 ata 08/06/2011

Prof. S. Tersian University of Rousse, Bulgaria Duración: dende 04/05/2011 ata 21/06/2011

Prof. Antonio Iannizzotto Universitá degli Studi di Catania, Italia Duración: dende 14/02/2011 ata 20/02/2011

Prof. José Ángel Cid Universidad de Jaén Duración: dende 28/02/2011 ata 04/03/2011

Prof. Luis Hernandez Lamoneda CIMAT, Mexico Duración: dende 15/09/2011 ata 31/08/2012

Prof. Peter Gilkey University of Oregon, EEUU Duración: dende 19/12/2011 ata 23/12/2011

Prof. Manuel Saorín Castaño Universidad de Murcia, España Duración: dende 22/11/2011 ata 02/12/2011

Prof. Vito Fragnelli Università del Piemonte Orientale, Italia Duración: dende 12/11/2011 ata 18/11/2011

Prof. Anne van den Nouweland University of Oregon, EEUU Duración: dende 12/10/2011 ata 27/10/2011

Prof. Andreas Kollross Technische Universität Darmstadt, Alemania Duración: dende 03/10/2011 ata 07/10/2011

Prof. Adolfo Sanchez Valenzuela CIMAT, Mexico Duración: dende 03/10/2011 ata 11/10/2011


21

Prof. Peter Gilkey University of Oregon, EEUU Duración: dende 12/09/2011 ata 15/09/2011

Prof. Fernando Sancho de Salas Universidad de Salamanca, España Duración: dende 18/07/2011 ata 23/07/2011

Profª. Ingrid Van Keilegom Université catholique de Louvain, Bélxica Duración: dende 18/07/2011 ata 22/07/2011.

Profª. María Dolores Martínez Miranda Universidad de Granada, España Duración: dende 18/07/2011 ata 22/07/2011.

Prof. David Pauksztello Leibniz Universität Hannover, Alemania Duración: dende 11/07/2011 ata 16/07/2011.

Profª. Graciela Boente Universidad de Buenos Aires y Cocinet, Argentina Duración: dende 24/02/2011 ata 24/02/2011.

Prof. Paulo Eduardo Oliveira Centre for Mathematics - Universidade de Coimbra, Portugal Duración: dende 24/02/2011 ata 24/02/2011.

Vanda Inácio Universidade de Lisboa, Portugal Duración: dende 07/03/2011 ata 31/07/2011.

Prof. Wafaa Batat Ecole Normale Superieure de L'Enseignement Technologique d'Oran, Argelia Duración: dende 07/03/2011 ata 26/03/2011.

Prof. Emilio Porcu Universidad de Castilla la Mancha, España Duración: dende 10/03/2011 ata 10/03/2011.

Profª. Stana Nikcevic University of Belgrade, Serbia Duración: dende 20/03/2011 ata 26/03/2011.


22

Prof. Peter Gilkey University of Oregón, EEUU Duración: dende 21/03/2011 ata 23/03/2011.

Profª. Elisa María Molanes López Universidad Carlos III de Madrid, España Duración: dende 14/04/2011 ata 15/04/2011.

Prof. Matthieu Saumard IRMAR-INSA, Instituto de Investigaciones Matemáticas and CREST-Ensai, Centre de Recherche en Economie et Statistique de Rennes, Francia Duración: dende 02/05/2011 ata 31/07/2011.

Prof. Eduardo Sáenz de Cabezón Universidad de La Rioja Duración: dende 19/01/2011 ata 21/01/2011.


23

6. Actividades científicas

6.1. Seminarios e conferencias Os seminarios organizados polos departamentos de Análise Matemática, Álxebra,

Estatística e Investigación Operativa, Matemática Aplicada e Xeometría e Topoloxía,

abertos a toda a comunidade universitaria, estruturáronse segundo a súa temática e

difundíronse a través do IMAT. Cabe salientar a incorporación gradual ao longo do

2011, polo que tan só se inclúe un seminario de Matemática Aplicada.

Seminario de Álxebra

David Pauksztello. Universidad de Hannover (Alemania) Introduction to cluster categories Data: 15/07/2011

Fernando Sancho de Salas. Universidad de Salamanca (España) Transformadas de Fourier-Mukai: correspondencias en geometría algebraica Data: 21/07/2011

Guram Donadze. Razmadze Mathematical Institute (Georgia) Weak global dimension of Gaussian rings Data: 17/11/2011 Nick Inassaridze. Razmadze Mathematical Institute (Georgia) On degree of derived functors Data: 17/11/2011

Sergio Estrada. Universidad de Murcia (España) Módulos planos y de cotorsión generalizados. Aplicaciones Data: 18/11/2011

Manuel Saorín Castaño. Universidad de Murcia (España) Teoría de la inclinación y categorías derivadas Data: 01/12/2011


24

Seminario de Ecuacións Diferenciais e Análise Funcional

Antonio Iannizzotto. Universitá degli Studi di Catania (Italia) A minimax inequality and its consequences Data: 17/02/2011

Alfonso Ruíz Herrera. Universidad de Granada (España) Permanencia de dos especies e índice de punto fijo Data: 06/04/2011

Erkinjon Karimov. Uzbek Academy of Science (Uzbekistán) Non-local boundary problem for parabolic-hyperbolic type equation involving Riemann-Liouville fractional differential operator Data: 09/04/2011

i-Math Taller Mathematica de Investigación Intensiva

Ecuacións Diferenciais non Lineares con Singularidades (Abril 2011)

Joao Fialho. Universidade de Évora (Portugal) High order periodic problems

Feliz Minhos. Universidade de Évora (Portugal) Lower and upper solutions in higher order functiona BVPs Data: 06/04/2011

Joao Fialho. Universidade de Évora (Portugal) Functional boundary value problems

Feliz Minhos. Universidade de Évora (Portugal) In the multiplicity of solutions in Lidstone BVPs Data: 13/04/2011

Joao Fialho. Universidadee de Évora (Portugal) Lower and upper solution method for systems of boundary value problems

Feliz Minhos. Universidade de Évora (Portugal) Fourth order impulsive periodic problems Data: 27/04/2011


25

i-Math Taller Mathematica de Investigación Intensiva

Ecuacións Diferenciais non Lineares con Singularidades (Maio 2011)

Irena Rachůnková. Palacký University of Olomouc (República Checa) Asymptotic properties of singular nonlinear differential equations Svatoslav Staněk. Palacký University of Olomouc (República Checa) Singular fractional boundary value problems Stepan Tersian. University of Rouse (Bulgaria) Linking theorems and existence of solutions of model sixth-order ODE's Jan Tomeček. Palacký University of Olomouc (República Checa) Lower and upper solutions for impulsive BVPs. Milan Tvrdý. Czech Academy of Sciences (República Checa) Positive solutions of singular periodic problems Data: 12/05/2011

Irena Rachůnková. Palacký University of Olomouc (República Checa) Superlinear BVPs on the positive half-line Svatoslav Staněk. Palacký University of Olomouc (República Checa) Two-point boundary value problem for generalize Bagley-Torvik fractional differential equation Stepan Tersian. University of Rouse (Bulgaria) Existence of solutions for fourth-order ODE's in water wave models Jan Tomeček. Palacký University of Olomouc (República Checa) Singular BVPs with impulses. Milan Tvrdý. Czech Academy of Sciences (República Checa) Averaging method for singular periodic problems with impulses Data: 19/05/2011

Irena Rachůnková. Palacký University of Olomouc (República Checa) Discretization of differential BVPs


26

Svatoslav Staněk. Palacký University of Olomouc (República Checa) Nonlocal problems for fractional differential equations with phi-Laplacian Stepan Tersian. University of Rouse (Bulgaria) Decreasing and fast solutions of a second-order difference equation Jan Tomeček. Palacký University of Olomouc (República Checa) Increasing solutions of ODEs arising in hydrodynamics Milan Tvrdý. Czech Academy of Sciences (República Checa) Antimaximum principle Data: 24/05/2011

Irena Rachůnková. Palacký University of Olomouc (República Checa) Homoclinic points and homoclinic solutions of difference equations Svatoslav Staněk. Palacký University of Olomouc (República Checa) Positive solutions of singular boundary value problems Stepan Tersian. University of Rouse (Bulgaria) Eigenvalue problems for nonlinear difference equations Jan Tomeček. Palacký University of Olomouc (República Checa) Oscillatory solutions of nonlinear second order ODEs Milan Tvrdý. Czech Academy of Sciences (República Checa) Continuous dependence of generalized linear differential equations in a Banach space on a parameter Data: 29/05/2011

Irena Rachůnková. Palacký University of Olomouc (República Checa) Singular problems arising in the membrane theory Svatoslav Staněk. Palacký University of Olomouc (República Checa) Positive solutions of singular complementary Lidstone boundary value problem Stepan Tersian. University of Rouse (Bulgaria) Homoclinic solutions of semilinear p-Laplacian difference equations Jan Tomeček. Palacký University of Olomouc (República Checa) Asymptotically autonomous second order differential equations


27

Milan Tvrdý. Czech Academy of Sciences (República Checa) Abstract Perron-Stieltjes integration Data: 31/05/2011

Saïd Abbas. Laboratoire de Mathématiques. Universtié de Saïda (Algérie) On fractional order derivatives and Darboux problem for implicit differential equations Data: 23/09/2011

Delfim F. M. Torres, University of Aveiro, Portugal The Fractional Variational Calculus Juan J. Nieto Roig, Universidade de Santiago de Compostela Fractional differential equations: "Periodic" solutions Natália Martins, University of Aveiro, Portugal Transversality conditions for higher-order infinite horizon variational problems on time scales Data: 02/12/2011


28

Seminario de Estatística

Graciela Boente. Universidad de Buenos Aires (Arxentina) Robust inference in generalized linear models with missing response

Paulo Eduardo Oliveira. Universidade de Coimbra (Portugal) Nonparametric approaches to discrete sparsely observed data Data: 24/02/2011

Emilio Porcu. Universidad de Castilla la Mancha (España) On some models for space-time scalar and vector-valued random fields

Eduardo García Portugués. Universidade de Santiago de Compostela Exploring wind direction and SO2 concentration by circular-linear density estimation Data: 10/03/2011

Juan Carlos Pardo-Fernández. Universidade de Vigo (España) A short course in nonparametric methods for ROC curves

Vanda Inácio. Universidade de Lisboa (Portugal) Nonparametric Bayesian estimation of the three-way ROC surface

Elisa Molanes López. Universidad Carlos III de Madrid (España) The importance of being diagnosed (by Youden index)

María Xosé Rodríguez Álvarez. Complexo Hospitalario Universitario de Santiago (España) A new semiparametric ROC regression approach based on direct methodology. Data: 15/04/2011

Manuel Oviedo de la Fuente. Universidade de Santiago de Compostela The R package fda.usc. Extensions for functional data analysis Data: 06/05/2011


29

Paula Saavedra Nieves. Universidade de Santiago de Compostela Level set estimation

Beatriz Pateiro López. Universidade de Santiago de Compostela Multivariate uniformity tests Data: 22/07/2011

Mikel Álvarez Mozos. Universidade de Santiago de Compostela Share functions for games with levels structure of cooperation

Ángel Manuel González Rueda. Universidade de Santiago de Compostela On the meaning, properties and computing of a coalitional Shapley value Data: 08/09/2011

Anne van den Nouweland. University of Oregon (USA) An axiomatic characterization of the position value for network situations Data: 17/10/2011 Share equilibrium in local public good economies: an investigation Data: 24/10/2011

Seminario de Matemática Aplicada

José Durany Castrillo. Universidade de Vigo Algunas estrategias numéricas para resolver modelos termohidrodinámicos y de estabilidad dinámica de dispositivos lubricados Data: 23/11/2011


30

Seminario Vidal-Abascal

Aurèlien Alvarez. Universitè d'Orleans (Francia) Measured equivalence relations Data: 31/03/2011

Hiraku Nozawa, Universidad de Tokyo Deformation of Sasakian metrics Data: 10/02/2011

María Cristina Costoya Ramos, Universidade de A Coruña LS-(co)-categoría y Localización. Data: 27/01/2011

Eduardo Saenz de Cabezón, Universidad de La Rioja. Análisis algebraico de fiabilidad de sistemas Data: 20/01/2011

Alfonso Romero. Universidad de Granada Ejemplos de problemas de tipo Calabi-Bernstein para cierta inecuación no lineal Manuel de León. Instituto de Ciencias Matemáticas CSIC-UAM-UC3MUCM Subvariedades lagrangianas en mecánica continua y discreta J. Carlos Díaz Ramos. Universidade de Santiago de Compostela Foliaciones polares homogéneas en espacios hiperbólicos complejos Luis J. Alías. Universidad de Murcia Resultados de Calabi-Bernstein y parabolicidad de superficies maximales en espacios producto lorentzianos Data: 21/07/2011

Hiraku Nozawa, Universidade de Santiago de Compostela Finiteness of secondary characteristic classes of transversely homogeneous foliations Data: 29/09/2011


31

Adolfo Sánchez Valenzuela. CIMAT (México) Unha introdución panorámica ás superálxebras de Lie Data: 04/10/2011

Andreas Kollross. Technische Universität Darmstadt (Alemania) Polar actions on compact and non-compact symmetric spaces Data: 05/10/2011

Carlos Meniño Cotón. Universidade de Santiago de Compostela LS categoría tanxente de laminacións e puntos críticos Data: 20/10/2011

María José Pereira Sáez. Universidade da Coruña Categoría LS de grupos de LIE y espacios simétricos Data: 15/12/2011


32

6.2 Congresos organizados

IV Seminario de Actividades de Estímulo del Talento Matemático / VIII Reunión Nacional del Proyecto ESTALMAT. Facultade de Matemáticas Santiago de Compostela. 8-10 de abril-2011 Páxina web: http://www.estalmatgalicia.com/

Un total de 120 docentes de matemáticas de ensino universitario e non universitario de toda España reuníronse na Facultade de Matemáticas da USC co obxectivo de propoñer e analizar actividades de detección e estímulo do talento precoz nesta materia. O IV Seminario Nacional sobre Actividades para Estimular o Talento Precoz en Matemáticas e a VIII Reunión Nacional do Proxecto ESTALMAT estivo organizado polo Proxecto ESTALMAT-Galicia, baixo a responsabilidade do catedrático de Matemática Aplicada, Juan M. Viaño Rey.

O seminario constituíu un foro de presentación de novas actividades por parte de 18 poñentes, dous por cada unha das 9 sedes de ESTALMAT (Andalucía Oriental, Andalucía Occidental, Canarias, Cantabria, Castela e León, Cataluña, Comunidade Valenciana, Galicia e Madrid) acompañadas da discusión pertinente sobre a validez das propostas para o obxectivo de estimular o talento matemático precoz.

As actividades que expostas foron recollidas nunha memoria electrónica que se atopa na web de ESTALMAT Galicia (www.estalmatgalicia.com), a disposición de todos os profesores que desexen utilizalas en actividades diarias e obradoiros cos seus alumnos.

International Workshop on Functional and Operatorial Statistics (IWFOS) Facultade de Ciencias, Universidade de Cantabria Santander, 16-28 de xuño de 2011 Páxina web: http://eio.usc.es/pub/iwfos/

De maneira conxunta coa Universidad de Cantabria e coa Université Paul Sabatier (Toulouse,

Francia), organizouse do 16 ao 18 de xuño de 2011 o Second International Workshop on

Functional and Operatorial Statistics (IWFOS 2011), tomando el relevo del IWFOS 2008,

celebrado en Toulouse (Francia). O IWFOS 201, celebrado na Facultade de Ciencias da

Universidad de Cantabria, contou coa participación de 87 investigadores de 17 países, que

presentaron os últimos avances en liñas de investigación relacionadas coa análise de datos

funcionáis, tanto en aspectos teóricos como aplicados a ámbitos tan diversos coma a enxeñaría

de materiais, o mercado eléctrico, a medicina ou a xenética. As contribucións deste congreso

foron publicadas por Physica-Verlag (Springer) nun volume titulado Recent Advances in

Functional Statistics and Related Topics

http://www.estalmatgalicia.com/

http://www.estalmatgalicia.com/

http://eio.usc.es/pub/iwfos/


33

Numerical methods for Hyperbolic Equations. Theory and Applications An International Conference to honour Professor E.F. Toro in the month of his 65th birthday Santiago de Compostela, 4-8 de xullo, 2011 Páxina web: http://www.usc.es/en/congresos/nmhetatoro65/index.html

Máis de 130 expertos de 20 países reuníronse na Facultade de Matemáticas da USC, entre os

días 4 e 8 de xullo, nunha conferencia internacional en torno á figura de Eleuterio Toro, docente

da Universidade de Trento considerado unha inminencia no eido das ecuacións.

Baixo o título “Numerical Methods for Hyperbolic Equations. Theory and Applications”, o

Departamento de Matemática Aplicada da USC, coa Profa. Elena Vázquez Cendón como

coordinadora, organizou este importante evento, que reuniu a algúns dos máis destacados

expertos en Métodos Numéricos para Ecuacións Hiperbólicas da comunidade matemática e a

enxeñaría internacional. O presidente do comité científico é o Premio Abel, Peter Lax.

Eleuterio F. Toro, profesor de Análise Numérica da Universidade de Trento, ostenta na

comunidade matemática internacional un merecido prestixio como docente polas súas achegas

á educación e ao desenvolvemento de métodos numéricos para ecuacións en derivadas

parciais. As ecuacións hiperbólicas son parte do “ADN das matemáticas” en problemas moi

relevantes na Dinámica de Fluídos Computacional (CFD), concretamente na Hidráulica e a

Oceanografía para modelar os Tsunamis, pero tamén para os fluxos no corpo humano, o

proceso de combustión ou a Astrofísica, e son de gran aplicación na industria e a empresa a

través da implementación dos métodos numéricos que as resolven en códigos informáticos.

Todas estas cuestións serán tratadas en Santiago por un importante elenco de científicos

expertos en Matemáticas e Enxeñaría.

http://www.usc.es/en/congresos/nmhetatoro65/index.html


34


35

7. Organización de Cursos

7.1. School of Advanced Mathematics (SAM-IMAT) A School of Advanced Mathematics (SAM-IMAT) acolle cursos para graduados/licenciados en tópicos avanzados de matemática pura e aplicada. Estes cursos van dirixido aos novos investigadores, co obxecto de mellorar a súa formación no comezo da súa carreira académica. Os cursos da SAM-IMAT foron impartidos por membros do IMAT e visitantes do instituto, cunha duración de entre dez e vinte horas.

Outono 2011 (primeiro semestre

Course on Financial Engineering

Instructor: Prof. Winfried Stute, Universiteit Giessen (Germany) Dates: from 03/10 until 13/10, 16:00 - 19:00 (20 hours) Venue: Faculty of Mathematics - Classroom A5

Curso sobre Espazos Fibrados e Conexións

Profesor: Luís A. Cordero Rego. Universidade de Santiago de Compostela Datas: martes e xoves, 11:00 - 13:00 (20 horas) Comezo das clases: 02/11/2011 Lingua: castelán Lugar: Facultade de Matemáticas - Campus Vida

No ANEXO I achéganse os programas dos cursos impartidos.


36

7.2. Outros Cursos

CURSO DE VERÁN – UNIVERSIDADE DE VERÁN 2011

DOCUMENTOS E PRESENTACIÓNS CIENTÍFICAS: LaTeX

Organizado pola Vicerreitoría de Extensión Universitaria, Cultura e Sociedade, co

patrocinio de: Facultade de Matemáticas da USC, Centro de Supercomputación de

Galicia (CESGA), Instituto de Matemáticas da USC (IMAT), Grupo de Investigación de

Ecuacións Diferenciais Non Lineares do Departamento de Análise Matemática da USC

(EDnL).

Datas de celebración: do 18 ao 22 de xullo de 2011

Lugar de celebración: Facultade de Matemáticas da USC

Nº de horas lectivas: 30 horas

Directora: Rosana Rodríguez López

Secretaria: Beatriz Máquez Villamarín

Nº de alumnos inscritos: Cubríronse 38 das 40 prazas ofertadas.

O curso desenvolveuse, na súa meirande parte, a través de sesións en grupos

reducidos nas que se realizaron diversas prácticas encamiñadas á elaboración de

documentos científicos tales como artigos, libros, traballos académicos, etc.,

aproveitando a potencia de LaTeX na transcrición de símbolos en ciencias, no manexo

de fórmulas e outras expresións de tipo matemático, na inserción de gráficos de

diferentes tipos, na elaboración de presentacións sinxelas con Beamer, ... A ferramenta

manexada no curso resulta de utilidade a estudantes que estean a elaborar traballos

académicos (Fin de Grao, Máster, teses, etc.), a docentes para a edición dos seus

materiais, ou, en xeral, a usuarios interesados en manexar esta ferramenta gratuíta

para a xeneración de documentos científicos de alta calidade tipográfica.

No ANEXO I, achégase o programa do curso.


37

8. Actividades de divulgación

8.1. Seminario de Iniciación á Investigación

Aló polo ano 2005, coincidindo coa época en que as promocións máis numerosas acababan de rematar a Licenciatura, o número de alumnos de Terceiro Ciclo da Facultade de Matemáticas era relativamente alto. Este feito, unido á estreita relación que había entre alumnos de diversos departamentos, propiciou que xurdira o interese por unha interacción máis acentuada no campo matemático. Nun ambiente en que a proposta dun problema, dunha reflexión lóxica ou matemática, ou dun pequeno reto de calquera índole facía saltar a curiosidade dos demais, intuíase como necesario un foro que permitise concretar as posibilidades que outorgaban esas circunstancias.

Amosábase ademais como un paradoxo o feito de que moitos alumnos de Terceiro Ciclo estaban a viaxar e facer estadías en lugares moi diversos do planeta e, porén, non se beneficiaban o suficiente do que sabían os seus compañeiros. Este sentir refléxase na cita do matemático S. Okounkov, a quen outorgaron a Medalla Fields no ICM de Madrid no ano 2006:

We can be better neighbors. We shouldn't build high fences out of sophisticated words and a``you wouldn't understand'' attitude. We should explain what we know in the simplest possible terms and minimal generality. Then it will be possible to see what grows in the next field and use the fruits of your neighbor's labor.

A isto debemos engadir que neste momento moitos equipos de prestixio internacional con expertos en moi diversas disciplinas acadaban importantes logros en múltiples campos da Ciencia.

Ante a enorme especialización das Matemáticas, pero ó mesmo tempo á vista da dependencia entre distintas ramas, un foro de alumnos no que tratar temas profesionais xurdía como unha idea inevitable.

Foi nesta atmosfera na que se buscou un xeito de que cada un puidese dar a coñecer ós demais o seu traballo.

Obxectivos do Seminario de Iniciación á Investigación (SII)

Comezouse por marcar uns obxectivos claros que resumisen a filosofía do seminario:

- O seminario suporía un foro onde cada un puidese dar a coñecer o seu traballo e polo tanto isto permitiría practicar o feito de comunicar, esixindo á súa vez unha reflexión profunda dos seus coñecementos.


38

- O seminario debía permitir ós participantes aprender o que outros facían, permitindo así unha futura colaboración entre os investigadores.

- O seminario, mediante a participación da audiencia, debía ser un recurso para un ponente no que captar ideas. Así, a charla non tiña que ser sobre un traballo acabado senón que podía plantexar un problema sobre o que os asistentes aportaran ideas.

- Posto que os investigadores novos impartían habitualmente charlas en congresos, o seminario podía constituír a plataforma axeitada para unha práctica dunha charla, na que obter críticas construtivas sobre a mesma.

Para desenvolver un seminario que permitise a interacción entre os investigadores novos, buscouse un formato periódico baseado en modelos de seminarios que se levaban a cabo noutras universidades. Coa intención de propiciar a participación dos asistentes, non se permitiu inicialmente a asistencia ós profesores da Facultade e si se incentivou que todos os alumnos de Terceiro Ciclo non só asistisen senón que impartisen unha charla. Ademais, posto que se buscaba unha participación real e que a charla fose natural, existía un acordo entre moitos ponentes de non preparala excesivamente, coa intención de non dar un traballo pechado e rematado e dar así pé a debatir sobre o mesmo. En particular, algúns dos participantes forzáronse a si mesmos a non iniciar a súa preparación antes das 12:00 do mesmo día en que se impartiría a charlas ás 16:00.

Así, incialmente fixouse o martes como o día do seminario, ás 16:00 na Aula 1. Faltaba un nome, pero impulsados pola fortaleza do acrónimo e a reivindicación da necesidade da nova idea, Seminario de Iniciación á Investigación quedaría como definitivo.

Finalmente, ante o interese espertado polo seminario e a utilidade dos contidos tratados, acordouse facer un pequeno resumo de cada charla impartida. Dese xeito unha acta anual permite recordar as distintas intervencións e contribúe a acadar os obxectivos establecidos. As reseñas de cada intervención deben pasar un proceso de revisión por parte de alguén que non é especialista no campo. Desta maneira o revisor aprende a facer críticas constructivas nun campo alleo e o autor aprende a adaptarse ás esixencias dun público non experto.

Aquí refléxase o espíritu orixinal do SII, que co paso dos anos veu evolucionando coas aportacións de novos estudiantes. Desexamos que, coas necesarias adaptacións, o SII siga a ser unha ferramenta útil na súa andaina.

17 de Maio de 2011

Miguel Brozos Vázquez, José Carlos Díaz Ramos, Julio González Díaz, Ana Belén Rodríguez Raposo, María Teresa Sánchez Rúa.


39

Eduardo García Portugués Título: Aplicaciones de las funciones cópula en Estadística Data: 14/12/2011

Manuel Moreira Título: Cálculo de puntos fijos Niceanos Data: 02/03/2011

Bibiana López Título: Time dependent eddy current problem using realistic boundary conditions Data: 09/03/2011

María Ginzo Título: Índices de probreza en Galicia Data: 23/03/2011

Qing Tang Título: Stability theory for impulsive functional differential equations Data: 06/04/2011

Rebeca Martínez Título: Simulación numérica en modelos de remodelación ósea Data: 27/04/2011

Manuel Oviedo Título: Ejemplos para el análisis de datos funcionales mediante el paquete de R fda.usc Data: 11/05/2011

Esteban Calviño Título: Unha caracterización das esferas euclídeas Data: 25/05/2011

Vanda Inácio Título: ROC curves for bilateral diagnostic tests Data: 14/07/2011

Miguel Domínguez Vázquez Título: O esqueleto dun grupo de Lie Data: 19/10/2011

Mikel Álvarez Mozos Título: Juegos cooperativos con estructura de niveles Data: 02/11/2011


40

María José Pereira Título: Una función característica cuaterniónica Data: 09/11/2011

Paula Saavedra Nieves Título: Estimación de conxuntos de nivel Data: 23/11/2011

As contribucións ao Seminario de Iniciación á Investigación recóllense nunha publicación que se achega no ANEXO II.


41

9. Actividades de Apoio á Investigación

9.1. Proxectos

Título del Proyecto: The European Digital Mathematics Library. EuDML Entidad financiadora: Competitiveness and Innovation Framework Programme. European Commission CIP-ICT-PSP.2009.2.4. Duración: desde 01/02/2009 hasta 31/01/2013. Web: http://www.eudml.eu Investigador responsable: Enrique Macías Virgós.

9.2. Publicacións

Autores: P. Faraldo Roca, R. Crujeiras, M. J. Lombardía, S. Naya Fernández, J. M. Matías, V. Carreira, B. M. Fernández de Castro Título: . Estudo da inserción laboral dos titulados no Sistema Universitario de Galicia 2007-2008. Referencia: Axencia para a Calidade do Sistema Universitario de Galicia (ACSUG),

(2010).

Autores: P. Quintela, M.J. Esteban, W. González, M.C. Muñiz, J.J. Salazar Título: Proceedings of the RSME Conference on Transfer and Industrial Mathematics.

e-book Santiago de Compostela: Universidade, Servizo de Publicacións e Intercambio

Científico, 2011.


42


43

10.Publicación

10.1.Artigos de investigación

Autores: S. Abbas, M. Benchohra, J. J. Nieto Título: Global Uniqueness Results for Fractional Order Partial Hyperbolic Functional Differential Equations Referencia: Advances in Difference Equations

Autores: T. Abboud, P. Joly, J. Rodríguez, I. Terrasse Título: Coupling discontinuous Galerkin methods and retarded potentials for transient wave propagation on unbounded domains, Referencia: Journal of Computational Physics, 230 (2011) 5877-5907

Autores: B. Ahmad, J. J. Nieto Título: Existence of solutions for impulsive anti--periodic boundary value problems of fractional order Referencia: Taiwanese Journal of Mathematics, 15 (2011) 981-993.

Autores: B. Ahmad, J. J. Nieto Título: Anti-periodic fractional boundary value problems Referencia: Computers & Mathematics With Applications, 62 (2011) 1150-1156.

Autores: B. Ahmad, J. J. Nieto, A. Alsaedi Título: Existence and uniqueness of solutions for nonlinear fractional differential equantions with non-separated type integral boundary conditions Referencia: Acta Mathematica Scientia, 31 (2011) 2122-2130.

Autores: B. Ahmad, J. J. Nieto, J. Pimentel Título: Some boundary value problems of fractional differential equations and inclusions Referencia: Computers & Mathematics With Applications, 62 (2011).

Autores: J. N. Alonso Álvarez, J. M. Fernández Vilaboa, R. González Rodríguez Título: The Miyashita-Ulbrich action for weak Hopf algebras Referencia: Comm. Algebra 39 (2011) 1826–1871.

Autores: J. N. Alonso Álvarez, J. M. Fernández Vilaboa, R. González Rodríguez, C. Soneira Calvo Título: Projections of weak braided Hopf algebras. Referencia: Sci. China Math. 54 (2011) 877–906.


44

Autores: J. M. Alonso-Meijide, B. Casas-Méndez, M. G. Fiestras-Janeiro, M. J. Holler Título: The Deegan-Packel index for simple games with a priori unions Referencia: Quality & Quantity. 45 (2011) 425-439

Autores: L. Alonso Tarrío, A. Jeremías López, M. J. Vale, M. Pérez Rodríguez Título: On the existence of a compact generator on the derived category of a noetherian formal scheme. Referencia: Appl. Categ. Structures 19 (2011) 865-877.

Autores: L. Alonso Tarrío, A. Jeremías López , J. Lipman Título: Bivariance, Grothendieck duality and Hochschild homology I: construction of a bivariant theory. Referencia: Asian J. Math. 15 (2011) 451-498.

Autores: J. A. Alvarez-Dios, J. C. García, M. C. Muñiz Título: Study of a variational inequality with a singular perturbation term Referencia: International Journal of Computer Mathematics, 88 (2011) 1920-1931.

Autores: J. A. Álvarez López, A. Candel Título: On the algebraic characterization of metric spaces and the Higson compactification. Referencia: Topology and its Applications, 158(2011), 1679-1694

Autores: L. J. Alvarez Vazquez, N. Garcia Chan, A. Martinez, M. E. Vazquez Mendez. Título: SOS: A numerical simulation toolbox for decision support related to wastewater discharges and their environmental impact. Referencia: Environmental Modeling & Software, 26(2011) 543 - 545

Autores: L. J. Alvarez Vazquez, F. J. Fernandez, A. Martinez. Título: Analysis of a time optimal control problem related to the management of a bioreactor. Referencia: ESAIM: Control Optimisation & Calculus of Variations, 17(2011) 772-748

Autores: L. J. Alvarez Vazquez, A. Martinez, M. E. Vazquez Mendez, M. A. Vilar. Título: The importance of design in river fishways. Referencia: Procedia Environmental Sciences, 9 (2011), 6-10

Autores: W. Batat, P.M. Gadea, J.A. Oubiña, Título: Homogeneous pseudo-Riemannian structures of linear type Referencia: Journal of Geometry and Physics 61 (2011) 745--764.

Autores: W. Batat, P.M. Gadea, J.A. Oubiña, Título: Homogeneous quaternionic Kähler structures on rank-three Alekseevsky spaces Referencia: Publ. Mat. Debrecen 78/3-4 (2011), 691--707.


45

Autores: W. Batat, M. Brozos-Vazquez, E. García-Río and S. Gavino-Fernandez Título: Ricci solitons on Lorentzian manifolds with large isometry groups. Referencia: Bull. London Math. Soc. 43 (2011) 1219-1227.

Autores: M. Benchohra, J. J. Nieto, A. Ouahab Título: Second-order boundary value problem with integral boundary conditions. Referencia: Bound. Value Probl. (2011), Art. ID 260309, 9 pp.

Autores: M. Benítez, A. Bermúdez Título: A second order characteristics finite element scheme for natural convection problems Referencia: Journal of Computational and Applied Mathematics, 235 (2011), 3270-3284

Autores: A. S. Berdyshev, A. Cabada, B. J. Kadirkulov Título: The Samarskii-lonkin type problem for the fourth order parabolic equation with fractional differential operator Referencia: Computers and Mathematics with Applications, 62(2011), 3884-3893

Autores: A. Bermúdez, D. Gómez, M.C. Muñiz, R. Vázquez Título: A thermoelectrical problem with a nonlocal radiation boundary condition Referencia: Mathematical and Computer Modelling, 53 (2011), 63-80.

Autores: A. Bermúdez, J. L. Ferrín, A. Liñán, L. Saavedra Título: Numerical simulation of group combustion of pulverized coal. Referencia: Combustion & Flame, 158 (2011), 1852-1865

Autores: A. Bermúdez, F. Pena Título: Galerkin lumped parameter methods for transient problems Referencia: International Journal for Numerical Methods in Engineering, 87 (2011), 943-961

Autores: A. Bermúdez, R. Rodríguez, M.L. Seoane. Título: A fictitious domain method for the numerical two-dimensional simulation of potential flows past sails. Referencia: Mathematical Modelling and Numerical Analysis (M2AN), 45 (2011), 1033-1058.

Autores: D. C. Biles, R. López Pouso Título: Extremal solutions to first-order differential inclusions under weak assumptions. Referencia: Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal. 18 (2011) 341–352.

Autores: M. Brozos-Vázquez, E. García- Río, P. Gilkey, R. Vázquez-Lorenzo Título: Compact Osserman manifolds with neutral metric. Referencia: Results. Math., 59 (2011), 495--506


46

Autores: A. Cabada Título: An overview of the lower and upper solutions method with nonlinear boundary value conditions Referencia: Bound. Value Probl. 2011, Art. ID 893753, 18 pp.

Autores: A. Cabada, J. Bosco Ferreiro Título: First order differential equations with piecewise constant arguments and nonlinear boundary value conditions Referencia: Journal of Mathematical Analysis and Applications, 380(2011) 124-136

Autores: A: Cabada, J. Bosco Ferreiro Título: Existence of positive solutions for nth-order periodic difference equations Referencia: Journal of Difference Equations and Applications, 27(2011) 935-954

Autores: A. Cabada, J. A.l Cid Título: On a class of singular Sturm-Liouville periodic boundary value problems Referencia: Nonlinear Analysis - Real World Applications, 12(2011) 2378-2384

Autores: A. Cabada, J. A. Cid Título: Existence and multiplicity of solutions for a periodic Hill's equation with parametric dependence and singularities. Referencia: Abstr. Appl. Anal. (2011)

Autores: A. Cabada, J. A. Cid, L. Sanchez Título: Existence of solutions for elliptic systems with nonlocal terms in one dimension. Referencia: Bound. Value Probl. (2011), Art. ID 518431, 12 pp.

Autores: A. Cabada, R. R. Enguica Título: Positive solutions of fourth order problems with clamped beam boundary conditions Referencia: Nonlinear Analysis - Theory, Methods and Applications, 74(2011) 3112-3122

Autores: A. Cabada, S. Tersian Título: Existence of heteroclinic solutions for discrete p-Laplacian problems with a parameter Referencia: Nonlinear Analysis - Real World Applications, 12(2011) 2429-2434

Autores: A. Cabada, B. Thompson Título: Nonlinear second-order equations with functional implicit impulses and nonlinear functional boundary conditions Referencia: Nonlinear Analysis - Theory, Methods and Applications, 74(2011) 7198-7209


47

Autores: M. Carballo-Quintás, M.I. Martínez-Silva, C.M. Cadarso Suárez, M. Álvarez-Figueiras, F.J. Ares Pena, E. López Martín. Título: A study of neurotoxic biomarkers, c-fos and GFAP after acute exposure to GSM radiation at 900 MHz in the picrotoxin model of rat brains. Referencia: Neurotoxicology, 2011.

Autores: J. M. Casas, M. Ladra, U. A. Rozikov Título: A chain of evolution algebras Referencia: Linear Algebra Appl. 435 (2011), 852–870.

Autores: J. M. Casas, E. Khmaladze, M. Ladra, T. Van der Linden Título: Homology and central extensions of Leibniz and Lie n-algebras Referencia: Homology Homotopy Appl. 13 (2011), 59–74.

Autores: B. Casas-Méndez, V. Fragnelli, I. García-Jurado Título: Weighted Bankruptcy Rules and the Museum Pass Problem Referencia: European Journal of Operational Research, 215(2011) 161-168.

Autores: Y.-K.Chang, Z.-H., J.J. Nieto Título: Pseudo almost automorphic and weighted pseudo almost automorphic mild solutions to semi-linear differential equations in Hilbert spaces Referencia: Revista Matematica Complutense, 24 (2011) 421-438.

Autores: Y. Chen, J.J. Nieto, D. O'Regan Título: Anti-periodic solutions for evolution equations associated with maximal monotone mappings Referencia: Applied Mathematics Letters, 24 (2011) 302-307 .

Autores: J.A. Cid Araújo, O. López Pouso, R. López Pouso Título: Existence of infinitely many solutions for second-order singular initial value problems with an application to nonlinear massive gravity. Referencia: Nonlinear Analysis, Series B: Real World Applications 12 (2011), 2596-2606

Autores: J. C. Díaz-Ramos, A. Kollross Título: Polar actions with a fixed point Referencia: Differential Geom. Appl. 29 (2011) 20-25.

Autores: J. R. Fernández, M. C. Muñiz Título: Numerical analysis of surfactant dynamics at air-water interface using the Henry isotherm Referencia: Journal of Mathematical Chemistry, 49 (2011) 1624-1645.

Autores: M. Fernández-López, E. García- Río Título: Rigidity of shrinking Ricci solitons. Referencia: Math. Z. 269 (2011), no. 1-2, 461-466


48

Autores: M. Fernández-López, E. García-Río Título: Maximum principles and gradient Ricci Solitons. Referencia: J. Differential Equations, 251 (2011), 73--81

Autores: J.M. Alonso-Meijide, B. Casas-Méndez, M.G. Fiestras-Janeiro. Título: A review of some recent results on power indices. Referencia: Homo Oeconomicus. 28. pp. 143-160. Accedo Verlag, 2011.

Autores: R. Figueroa, R. Lopez Pouso Título: Coupled fixed points of multivalued operators and first-order ODEs with state-dependent deviating arguments Referencia: Nonlinear Analysis - Theory, Methods and Applications, 74(2011) 6876-6889

Autores: R. Figueroa, R. Lopez Pouso Título: Minimal and maximal solutions to second-order boundary value problems with state-dependent deviating arguments Referencia: Bulletin of the London Mathematical Society, 43(2011) 164-174

Autores: M. A. Fugarolas Título: On an inclusion between operator ideals. Referencia: Czechoslovak Math. J. 61 (2011) 209–212.

Autores: S. Gao, H. Ouyang, J.J. Nieto Título: Mixed vaccination strategy in SIRS epidemic model with seasonal variability on infection Referencia: International Journal of Biomathematics, 4 (2011) 473-491.

Autores: S. Gao, Y. Liu, J.J. Nieto, H. Andrade Título: Seasonality and mixed vaccination strategy in an epidemic model with vertical transmission Referencia: Mathematics and Computers in Simulation, 81 (2011) 1855-1868.

Autores: A. Gómez-Tato, E. Macías-Virgós, M. J. Pereira-Sáez Título: Trace map, Cayley transform and LS category of Lie groups Referencia: Ann. Glob. Anal. Geom., 39 (2011),325--335.

Autores: W. González-Manteiga, J.C. Pardo Fernández, I. Van Keilegom Título: ROC curves in nonparametric location-scale regression models Referencia: Scandinavian Journal of Statistics, 38(2011) 169-184

Autores: F. Guitián, P. Quintela, M.T. Sánchez, V. Valcárcel Título: Three-point bending experiments. Part II: Mathematical study and numerical simulation. Referencia: Mathematical Methods in Applied Sciences, 34 (2011) 1254-1273


49

Autores: G. Hector, E. Macías-Virgós, A. Sotelo-Armesto Título: The diffeomorphism group of a Lie foliation Referencia: Annales de l'institut Fourier, 61 (2011), 365--378.

Autores: G. Hector, E. Macías-Virgós, E. Sanmartín-Carbón Título: De Rham cohomology of diffeological spaces and foliations Referencia: Indag. Math., 21 (2011), 212—220.

Autores: E.T. Karimov, J.J. Nieto Título: The Dirichlet problem for a 3D elliptic equation with two singular coefficients Referencia: Computers & Mathematics With Applications, 62 (2011) 214-224.

Autores: A. Khastan, J.J. Nieto, R. Rodriguez-Lopez Título: Variation of constant formula for first order fuzzy differential equations Referencia: Fuzzy Sets and Systems, 177 (2011) 20-33.

Autores: M. Ladra, P.V. Silva Título: The generalized conjugacy problem for virtually free groups Referencia: Forum Math. 23 (2011), 447–482.

Autores: J. C. Marrero, N. Román-Roy, M. Salgado, S. Vilariño Título: On a kind of Noether symmetries and conservation laws in k-cosymplectic Field Theory Referencia: Journal of Mathematical Physics 52, 022901 (2011), 20 pp.

Autores: A. Martínez Calvo, W. González-Manteiga. Título: Bootstrap in functional linear regression. Referencia: Journal of Statistical Planning and Inference. 141. pp. 453-461.

Autores: J. Mira, L.F. Seoane, J.J. Nieto Título: The importance of interlinguistic similarity and stable bilingualism when two languages compete Referencia: New Journal of Physics, 13 (2011)

Autores: A. E. Monsalve-Cobis, W. González-Manteiga, M. Febrero-Bande Título: Goodness of test for interest rate models: An approach based on empirical processes Referencia: Computational Statistics and Data Analysis, 55(2011) 3073–3092

Autores: P. Quintela, T. Sánchez Título: Three-point bending experiments. Part I: Asymptotic analysis. Referencia: Mathematical Methods in Applied Sciences, 34 (2011) 1211-1235


50

Autores: J. Roca-Pardiñas, C.M. Cadarso Suárez, J.L. Pardo Vázquez, V. Leborán, G. Molenberghs, C. Faes, C. Acuña. Título: Assessing neural activity related to decision-making through flexible odds ratio curves and their derivatives. Referencia: Statistics in Medicine 30 (2011), 1695–1711.

Autores: A. M. Rey, N. Román-Roy, M. Salgado, S. Vilariño Título: On the k-symplectic, k-cosymplectic and multisimplectic formalisms of classical field theories Referencia: J. Geom. Mechanics, 3(2011), 112-137.

Autores: F. Reyes Santías, M.X. Rodríguez-Álvarez, C. M. Cadarso Suárez Título: Estimating hospital production functions through flexible Referencia: Mathematical and Computer Modelling, 54 (2011) 1760–1764

Autores: M.X. Rodríguez-Álvarez, P. Garcia-Tahoces, C. M.Cadarso Suárez, M.J. Lado Título: Comparative study of ROC regression techniques.Applications for the computer-aided diagnostic system in breast cancer detection Referencia: Computational Statistics & Data Analysis, 55 (2011) 888–902

Autores: M.X. Rodríguez-Álvarez, J. Roca Pardiñas, C.M. Cadarso Suárez Título: A new flexible direct ROC regression model - Application to the detection of cardiovascular risk factors by anthropometric measures Referencia: Computational Statistics and Data Analysi, 55 (2011) 3257–3270

Autores: Á. Rodríguez-Arós, J.M. Viaño Título: Mathematical Justification of Kelvin-Voigt Beam Models by Asymptotic Methods Referencia: Z. Angew. Math. Phys., Dec (2011) 1-28.

Autores: R. Rodriguez-Lopez Título: Nonlocal boundary value problems for second-order functional differential equations Referencia: Nonlinear Analysis - Theory, Methods and Applications, 74(2011) 7226-7239.

Autores: N. Román-Roy, M. Salgado , S. Vilariño. Título: SOPDES and nonlinear connections. Referencia: Publ, Math. Debrecen, 78(2011), 297-316.

Autores: M. D. Ruiz-Medina, R. Crujeiras Título: Minimum contrast parameter estimation for fractal random fields based on the wavelet periodogram Referencia: Communications in Statistics: Theory and Methods, 40 (2011) 1-15


51

Autores: J. Sun, H. Chen, J. J. Nieto Título: Homoclinic orbits for a class of first-order nonperiodic asymptotically quadratic Hamiltonian systems with spectrum point zero Referencia: Journal of Mathematical Analysis and Applications, 378 (2011) 117-127.

Autores: J. Sun, H. Chen, J. J. Nieto Título: Homoclinic solutions for a class of subquadratic second-order Hamiltonian systems Referencia: Journal of Mathematical Analysis and Applications, 373 (2011) 20-29.

Autores: J. Sun, H. Chen, J. J. Nieto Título: Infinitely many solutions for second-order Hamiltonian system with impulsive effects Referencia: Mathematical and Computer Modelling, 54 (2011) 544-555.

Autores: J. Xiao, J. J. Nieto Título: Variational approach to some damped Dirichlet nonlinear impulsive differential equations Referencia: Journal of the Franklin Institute-Engineering and Applied Mathematics, 348 (2011) 369-377.

10.2.Capítulos de libros

Autores: M. Brozos-Vázquez, E. Garcia-Rio, S. Gavino-Fernández Título : Some generalizations of locally symmetric spaces Referencia: XIX international fall workshop on geometry and physics, AIP Conference Proceedings 1360, 121-126 (2011).

Autores: M. R. Chernick, W. González-Manteiga, R. Crujeiras, E. B. Barrios Título: Bootstrap methods Referencia: En International Encyclopedia of Statistical Science (2011) 169-174

Autores: R. Crujeiras, M. D. Ruiz-Medina Título: Wavelet-based minimum contrast estimation of linear Gaussian random fields Referencia: En Recent Advances in Functional Data Analysis and Related Topics (2011) 63-69

Autores: A. Bermúdez Título: Some experiences in industrial mathematics Referencia: Int. J. Mathematical Modelling & Numerical Optimisation, 2 (2011) 213-252


52

Autores: A. Bermúdez, D. Gómez, M.C. Muñiz, P. Salgado, R. Vázquez Título: Numerical modelling of industrial induction Referencia: En Advances of Induction & Microwave Heating of Mineral and Organic Materials (2011) 75-100.

Autores: W. González-Manteiga, R. Crujeiras Título: A general view of the goodness-of-fit tests for statistical models Referencia: En Modern Mathematical Tools and Techniques in Capturing Complexity. (2011) 3-17

Autores: W. González-Manteiga, Ph. Vieu Título: Methodological Richness of Functional Data Analysis Referencia: En Learning and Data Science. (2011)

Autores: S. K. Mishra, L. Coladas Uria, S.-Y. Wang, Y. X. Zhao Título: A Derivative for Semi-preinvex Functions and its Applications in Semi-preinvex Programming Referencia: En Topics in Nonconvex Optimization (2011) 79-86

Autores: P. Quintela, M.J. Esteban, W. González, M.C. Muñiz, J.J. Salazar Título: Proceedings of the RSME Conference on Transfer and Industrial Mathematics. Referencia: ISBN 978-84-9887-715-1 (2011)

Autores: M. A. Vilar, L. J. Alvarez Vazquez, A. Martinez, M. E. Vazquez Mendez. Título: Optimizing water quality in a river section. Referencia: Integral Methods in Science and Engineering. Computational and analytical aspects (2011), 391-402.


53

11.Información institucional

11.1.Dirección

Director: Eduardo García Río Secretaria: Rosa María Crujeiras Casais

Enderezo: Facultade de Matemáticas. Campus Vida. 15782 Santiago de Compostela Teléfono: 881813177 /881813111 Fax: 981 59 70 54 Correo electrónico: [email protected]

11.2.Composición do Consello de Goberno

Juan José Casares Long (Reitor da Universidade de Santiago de Compostela) María Victoria Otero Espinar (Decana da Facultade de Matemáticas) Eduardo García Río (Director do IMAT) Rosa María Crujeiras Casais (Secretaria do IMAT) Leovigildo Alonso Tarrío Wenceslao González Manteiga Juan José Nieto Roig

11.3.Composición do Consello Científico

Leovigildo Alonso Tarrío Luís Ángel Cordero Rego Rosa María Crujeiras Casais (secretaria) Eduardo García Río (presidente) Wenceslao González Manteiga José María Isidro Gómez Manuel Ladra González Enrique Macías Virgós Juan José Nieto Roig María Victoria Otero Espinar Juan Manuel Viaño Rey

mailto:[email protected]


54

11.4.Membros do Instituto de Matemáticas (2011)

Dr. Fernando Alcalde Cuesta, C/3. Dr. Leovigildo Alonso Tarrio, C/3. Dr. Jesús Antonio Alvarez López, C/3. Dr. José Antonio Alvarez Dios, C/3. Dr. Alfredo Bermúdez de Castro, C/3. Dr. Agustín Bonome Dopico, C/3. Dra. Margarita Burguera González, C/3. Dr. Alberto Cabada Fernández, C/3. Dra. Carmen M. Cadarso Suarez, C/3. Dr. Juan Manuel Cainzos Prieto, C/3. Dra. M. del Carmen Carollo Limeres, C/3. Dra. M. Angeles Casares de Cal, C/3. Dra. Balbina Virginia Casas Méndez, C/3. Dra. Regina Castro Bolaño, C/3. Dr. Luís Coladas Uría, C/3. Dr. Luís Angel Cordero Rego, C/2. Dr. Fernando Costal Pereira, C/3. Dr. José Benito Costal Pereira, C/3. Dra. Rosa M. Crujeiras Casais, C/3. Dr. José Carlos Díaz Ramos, C/3. Dr. Pedro Faraldo Roca, C/3. Dr. Manuel Febrero Bande, C/3. Dra. M. Angeles Fernández Fernández, C/3. Dr. Francisco Javier Fernández Pérez, C/3. Dra. Rosa M. Fernández Rodríguez, C/3. Dra. M. Angeles Fernández Sotelo, C/3. Dr. José Manuel Fernández Vilaboa, C/3. Dr. José Luís Ferrín González, C/3. Dr. Manuel Antonio Fugarolas VillaMarín, C/3. Dr. Felipe Gago Couso, C/3. Dr. Eduardo García Rio, C/3. Dr. Antonio García Rodicio, C/3. Dr. José Luís Gómez Pardo, C/3. Dra. Dolores Gómez Pedreira, C/3. Dr. Antonio Gómez Tato, C/3. Dr. Julio González Díaz, C/3. Dr. Wenceslao González Manteiga, C/3. Dr. Luís M. Hervella Torrón, C/3. Dr. José M. Isidro Gómez, C/3. Dra. Ana M. Jeremías López, C/3. Dr. Manuel E. Ladra González, C/3. Dra. M. Purificación López López, C/3.


55

Dr. Rodrigo López Pouso, C/3. Dr. Enrique Macías Virgós, C/3. Dr. Xosé M. Masa Vázquez, C/2. Dra. Pilar Mato Eiroa, C/3. Dra. M. del Carmen Muñiz Castiñeira, C/3. Dr. Rafael Muñoz Sola, C/3. Dr. Juan José Nieto Roig, C/3. Dra. M. Victoria Otero Espinar, C/3. Dra. M. del Carmen Otero Pérez, C/3. Dra. M. del Carmen Otero Pérez, C/3. Dr. José Antonio Oubiña Galiñanes, C/3. Dr. José M. Paredes Álvarez, C/3. Dr. José Manuel Prada Sánchez, C/3. Dra. Peregrina Quintela Estévez, C/3. Dr. Miguel Antonio del Río Vázquez, C/3. Dr. Alberto Rodríguez Casal, C/3. Dr. Celso Rodríguez Fernández, C/3. Dr. Jerónimo Rodríguez García, C/3. Dra. Nieves Rodríguez González, C/3. Dra. Carmen Rodríguez Iglesias, C/3. Dr. Gerardo Rodríguez López, C/3. Dra. Rosana Rodríguez López, C/3. Dr. Modesto Ramón Salgado Seco, C/3. Dra. M. Luisa Seoane Martínez, C/3. Dr. Juan Francisco Torres Lopera, C/5. Dra. Rosa M. Trinchet Soria, C/3. Dra. M. Jesús Vale Gonsalves, C/3. Dra. M. Elena Vázquez Abal, C/3. Dra. M. Elena Vázquez Cendón, C/3. Dr. M. Ernesto Vázquez Méndez, C/3. Dr. Juan Viaño Rey, C/3. Prof. Miguel A. Vilar Rivas, C/3. Dr. Emilio Villanueva Novoa, C/3.

C/n: Dedicación a tempo completo, dedica ao IMAT unha n-ésima parte da súa xornada investigadora.

Colaboradores do IMAT

Dr. Lino J. Álvarez Vázquez (Universidade de Vigo) Dra. Áurea Martínez Varela (Universidade de Vigo)


56


57

ANEXO I. PROGRAMAS DOS CURSOS


58


59

Curso sobre ESPACIOS FIBRADOS Y CONEXIONES

Prof. Luis A. Cordero

Departamento de Xeometría e Topoloxía

Universidade de Santiago de Compostela

Parte I: Espacios fibrados 1. Espacios fibrados principales localmente triviales

1.1 Definiciones. Ejemplos.

1.2 Existencia

1.3 Funciones de transición. Construcción a partir de un cociclo.

1.4 Homomorfismos. Trivialidad y subfibrados. Un teorema de reducción.

2. Espacios fibrados asociados

2.1 Construcción. Ejemplos.

2.2 Secciones.

2.3 Espacios homogéneos. Aplicación: un teorema de reducción.

2.4 Espacios fibrados vectoriales.

3. Campos de vectores sobre un espacio fibrado principal

3.1 Campos de vectores fundamentales.

3.2 Campos de vectores verticales y campos de vectores proyectables.

3.3 Formas diferenciales con valores vectoriales.

Parte II: Conexiones

4. Conexiones en un espacio fibrado principal

4.1 Definiciones. Teoremas de existencia.

4.2 Forma de curvatura de una conexión. Ecuación de estructura de Cartan e identidad de

Bianchi.

4.3 Conexiones llanas.

4.4 Homomorfismos y conexiones.

5. Holonomía de una conexión

5.1 Desplazamiento paralelo a lo largo de una curva.

5.2 Grupos de holonomía. El fibrado de holonomía.

5.3 Teorema de Ambrose-Singer.

6. Conexiones en espacios fibrados asociados

6.1 Conexiones y desplazamiento paralelo en un espacio fibrado asociado.

6.2 Leyes de derivación en espacios fibrados vectoriales.

6.3 Derivada covariante de secciones.

6.4 Diferenciación covariante.

7. Conexiones lineales

7.1 Conexiones lineales sobre una variedad diferenciable.

7.2 Formas de curvatura y de torsión de una conexión lineal. Ecuaciones de estructura e

identidades de Bianchi.

7.3 Ley de derivación covariante inducida por una conexión lineal.

7.4 Tensores de curvatura y de torsión.

7.5 Curvas geodésicas.


60

Course on FINANCIAL ENGINEERING

Prof. Winfried Stute - Universiteit Giessen (Germany)

Schedule and venue

Dates: 03/10, 05/10, 06/10, 10/10, 13/10 (from 16:00 to 19:00), 04/10, 11/10 (16:00 to 18:00)

Venue: Classroom A5 – Faculty of Mathematics

Course program

Financial Engineering

1. Introduction

1.1. What is financial engineering?

1.2. Financial markets

2. Fundamentals of Financial Engineering

2.1. Bonds and present value

2.2. Forward rate agreements (FRA)

2.3. Futures, swaps and options

3. Option pricing

3.1. The binomial model of Cox-Ross-Rubinstein

4. The Black-Scholes formula

4.1. The greeks

4.2. The Black-Scholes differential equation

4.3. Stochastic differential equations: an introduction

4.4. Market price of risk

4.5. Multi-asset options

4.6. Index options

4.7. Ito calculus

5. Interest rate models

5.1. The Vasicek model

5.2. Hull and White – Callibration to market data

5.3. Other approaches

6. Structural models


61

ANEXO II. ACTAS DO SEMINARIO DE INICIACIÓN Á INVESTIGACIÓN


62

ACTAS DO SEMINARIO

DE

INICIACION A INVESTIGACION

ANO 2011

Editores:Mikel Alvarez MozosSandra Gavino FernandezAna Gomez GonzalezMarıa Jose Pereira Saez

c© 2011 Seminario de Iniciacion a Investigacion.

Instituto de Matematicas da Universidade de Santiago de Compostela

Coordina:

Seminario de Iniciacion a Investigacion (SII)

[email protected]

Edita:

Instituto de Matematicas da Universidade de Santiago de Compostela

Imprime:

Imprenta Universitaria

Pavillon de Servizos, s/n

Campus Vida

15782 Santiago de Compostela

ISSN: 2171-6536

Deposito Legal: ...

Investir en conecementos produce sempre os melloresbeneficios.

Benjamin Franklin (1706–1790)

Os sentidos deleitanse coas cousas que tenen propor-cions correctas.

Santo Tomas de Aquino (1225–1274)

iii

Prefacio

Os sentidos deleitanse coas cousas que tenen proporcions correctas... sera poriso que aos matematicos nos comprace especialmente a experiencia dun problemaresolto, poner as cousas no seu sitio, medir na xusta medida, pechar os ciclos, aindaque na nosa teima botemos man de algoritmos recursivos e cando parece que che-gamos ao final, volvemos ao principio. Atrevome a dicir dende este prologo que oSeminario de Iniciacion a Investigacion (o SII) pechou un deses ciclos.

Neste tempo, os obxectivos cos que naceu o SII, tanto nas componentes cientıficacomo didactica, vıronse cumpridos cum laude, potenciando a trasmision dos novosavances no conecemento (E. Garcıa Rıo, 2010) no noso ambito. Se para todalas ver-dades existen contraexemplos (E. Vazquez Abal, 2005), o SII representa sen dubidana nosa Facultade un foro comun a todalas areas, un espazo onde os novos talentosmatematicos se someteron, e o seguen facendo, ao exame mais complicado, ao quelles fan os seus iguais. E fano sen obrigacion, con liberdade, simplemente polo pracerde buscar a verdade, con responsabilidade (I. Garcıa Jurado, 2007), querendo com-partir o seu conecemento cos demais. O SII segue a ser unha fiestra pola que entranbocanadas de aire fresco (F. Gago Couso, 2008), cada unha das contribucions cunselo persoal do seu autor (O. Lopez Pouso, 2009).

Os docentes e investigadores desta Facultade temos moito que aprender e agra-decer ao SII (J.J. Nieto Roig, 2006). Deixadenos seguir aprendendo, en especial,aos que estivemos no comezo deste primeiro ciclo do SII, aos que participamos co-mo editores e ponentes, aos que vimos como xermolaba a idea. Se alguen se senteorgulloso da vosa labor, eses somos nos. Grazas por facer de cada edicion do SII amellor.

Santiago de Compostela, 13 de marzo de 2012.

Rosa M. Crujeiras Casais

v

Indice xeral

Introducion 1

Manuel Moreira“Calculo de puntos fijos Nilceanos” 3

Bibiana Lopez Rodrıguez“Time dependent eddy current problem using realistic boundary conditions” 7

Marıa Jose Ginzo Villamayor“Indices de pobreza en Galicia” 11

Rebeca Martınez Fernandez“Simulacion numerica en modelos de remodelacion osea” 15

Manuel Oviedo de la Fuente“The R package fda.usc. Some examples for functional data analysis” 19

Esteban Calvino Louzao“Unha caracterizacion das esferas Euclıdeas” 23

Vanda Inacio“Generalized ROC curves” 27

Miguel Domınguez Vazquez“O esqueleto dun grupo de Lie” 31

Mikel Alvarez Mozos“Juegos cooperativos con estructura de niveles” 35

Marıa Jose Pereira Saez“Una funcion caracterıstica cuaternionica” 39

Paula Saavedra Nieves“Estimacion de conjuntos de nivel” 43

vii

Eduardo Garcıa Portugues“Aplicaciones de las Funciones Copula en Estadıstica” 47

viii

Introducion

O presente volume conten os resumos das charlas que se impartiron ao longo doano 2011 no Seminario de Iniciacion a Investigacion (SII). Tal seminario, organizadopor alumnos de doutoramento, ten lugar na Facultade de Matematicas da Univer-sidade de Santiago de Compostela e encadrase dentro das actividades do Institutode Matematicas.

O SII ten a sua orixe a comezos do ano 2005, como unha iniciativa dos alumnosde Terceiro Ciclo da Facultade e como resposta as necesidades de crear un seminarioque cumprise, cando menos, os seguintes obxectivos:

1. Fomentar o intercambio de conecemento.

2. Proporcionar un lugar onde dar a conecer os campos nos que cada un centraas suas investigacions.

3. Facilitar a practica de falar en publico, mais en concreto dar charlas e afacersea escoitar e participar activamente neste tipo de eventos.

4. Proporcionar un marco onde se poidan levar a cabo as actividades necesariaspara que cada quen saiba explicar as ideas fundamentais dos seus traballosincluso a persoas non especialistas no seu campo.

Por setimo ano consecutivo o SII acadou estes obxectivos basicos e ademaisproporcionou un marco de intercambio de conecemento entre alumnos dos distintosdepartamentos da Facultade. As charlas desenvolveronse, salvo algunhas excepcions,de forma quincenal ao longo de dous perıodos: un primeiro desde marzo ata xullo,e un segundo desde outubro ata decembro.

No referente a organizacion do SII, en 2011 tivo un novo comite organizador,formado por catro estudantes de doutoramento, que se encargaron tanto da coordi-nacion do evento en si: calendario de charlas, anuncio das mesmas, reserva de aula,proporcionar o material necesario ao ponente, etc.; como da publicacion deste anua-rio, onde se recolle un resumo de cada unha das charlas impartidas. Este mesmocomite organizador encargouse da confeccion deste volume e figura nel como comiteeditorial. Ademais e importante salientar que cada un dos resumos aquı recollidospasou un proceso de revision por parte dun alumno de Terceiro Ciclo, polo xeraldun departamento distinto ao do autor, co obxectivo de que ası os resumos sexancomprensibles por aqueles que non son expertos no campo correspondente.

1

Os membros do comitıe organizador do SII deste ultimo ano queremos agradeceraos membros do comite do ano anterior os consellos que nos prestaron, o empuxepara seguir organizando este seminario e o legado que nos deixaron.

Agradecementos

Quixeramos mencionar neste apartado que a organizacion do seminario terıasido, sen dubida, moito mais difıcil de non contarmos coa colaboracion desinteresadade moita xente.

Por este motivo, desexamos dar as grazas a todos os que participaron no SIIcomo oıntes, e moi especialmente aos ponentes e aos companeiros que participaronno proceso de arbitraxe: Manuel Moreira, Bibiana Lopez, Ma Jose Ginzo, QingTang, Rebeca Martınez, Manuel Oviedo, Esteban Calvino, Vanda Inacio, MiguelDomınguez, Mikel Alvarez, Ma Jose Pereira, Paula Saavedra e Eduardo Garcıa.

Agradecemoslle de xeito moi especial a Rosa Crujeiras, directora do Instituto deMatematicas, a sua desinteresada colaboracion na elaboracion destas actas mediantea redaccion do prefacio.

Finalmente, queremos comentar que o comite organizador do SII vai ser renovadopara este ano 2012. Estamos convencidos de que a xente nova que asume a organi-zacion vai darlle ao SII o pulo que precisa para seguir sendo un marco formidableonde por en comun os nosos conecementos e compartir a beleza das Matematicas.Gustarıanos aproveitar a ocasion, polo tanto, para desexarlle ao novo comite moitasorte na sua tarefa de seguir levando adiante este Seminario.

Santiago de Compostela, marzo de 2012.

O Comite Editorial.

2

Seminario de Iniciacion a InvestigacionInstituto de Matematicas

Calculo de puntos fijos Nilceanos

Manuel MoreiraDepartamento de Xeometrıa e Topoloxıa

2 de marzo de 2011

En teorıa topologica de puntos fijos uno de los teoremas mas conocidos es elTeorema de Lifschetz. El objeto de este trabajo es estudiar del conjunto de puntosfijos Φ(f) de una funcion continua f sobre un poliedro compacto y conexo X ydeterminar las condiciones geometricas y topologicas bajo las cuales existen lospuntos fijos de dicha funcion.

Definicion 1. [6] Sea f : X −→ X una funcion continua sobre el espacio poliedricoconexo y compacto X. Se define la relacion de Nielsen sobre Φ(f) del siguientemodo: dados dos puntos fijos x, y ∈ Φ(f), se dice que estan relacionados si existeun camino ω : I −→ X verificando ω(0) = x, ω(1) = y, y el camino f(ω) verificaf(ω)(0) = x, f(ω)(1) = y, y tal que, ω y f(ω) son homotopicos, es decir, existeuna homotopıa H : I × I −→ X que verifica H(t, 0) = ω(t), H(t, 1) = f(ω)(t),H(0, s) = x y H(1, s) = y.

Definicion 2. [2] El ındice de un punto fijo aislado aj de una funcion continua fse define como ind(f, aj) = deg(φ|Sn−1

ai ), donde deg es el grado de la funcion.

Definicion 3. Una clase de Nielsen se dice esencial si su ındice es diferente decero. Entonces el numero de Nielsen, N(f), de una funcion continua f : X −→ Xsobre un espacio poliedrico conexo y compacto es el numero de clases esenciales deNielsen.

Un resultado relevante en este contexto es la invariancia homotopica:

Proposicion 4. Si g es homotopica a f , entonces N(f) = N(g).

Observacion 5. La relacion anterior es una relacion de equivalencia que produceuna particion en el conjunto Φ(f). A las clases de equivalencia de esta particionlas llamaremos clases de Nielsen. El lector facilmente puede observar propiedadestopologicas relevantes como:

a) Toda clase de Nielsen es abierta en Φ(f). Esto se debe a que la relacion deNielsen es localmente constante, es decir, todo punto fijo x admite un entornoabierto V , tal que, todo punto fijo en V esta relacionado con x.

b) El numero de clases de Nielsen es finito, siendo Φ(f) cerrado y compacto.

Palabras Clave: Puntos fijos, numero de Nielsen, puntos fijos Nilceanos.

3

4 SII Calculo de puntos fijos Nilceanos

Es conveniente entonces introducir herramientas eficaces en teorıa topologica depuntos fijos, como lo es el teorema de Lefschetz, en el contexto homologico y coho-mologico.

Definicion 6. Sea X un espacio topologico poliedrico y f : X −→ X una funcioncontinua. Se define el numero de Lefschetz, L(f), de f comoL(f) =

∑q(−1)qtr(f∗q : H

q(X;Q) −→ Hq(X;Q)), donde Hq(X;Q) es la coho-

mologıa racional de X.

Teorema 7. [5] Sea X un espacio topologico poliedrico y f : X −→ X una funcioncontinua. Si L(f) 6= 0, entonces toda funcion continua homotopica a f tiene almenos un punto fijo.

Ejemplo 8. Si f es constante, entonces N(f) = 1.

Ejemplo 9. Si X es simple conexo, entonces para una funcion arbitraria f , elnumero de Nielsen esta dado por:

N(f) =

1, si L(f) 6= 00, si L(f) = 0.

Definicion 10. Sea f : X −→ X una funcion continua sobre un espacio polie-drico compacto y conexo, y sea f : X −→ X un levantamiento de f . Definimos

J(f) =α ∈ Π1(X)|∃H : f ' f, H : f ' α f

, donde H es una homotopıa cıclica

y H es su levantamiento.

Proposicion 11. J(f) es un subgrupo de Π1(X).

Definicion 12. El subgrupo J(f, xo) ⊂ Π1(X, f(xo)) de trazas de las homotopıas cı-clicas se define como J(f, xo) = ξ ∈ Π1(X, f(xo))|∃H : f ' f, 〈H(xo)〉 = ξ , dondeH : I −→Map(X,X) es un camino en Map(X,X), con la topologıa compacto abier-ta, tal que H(0) = f y H(1) = f . Ademas 〈H(xo)〉 es un camino H(xo) : I −→ Xdefinido por H(xo)(t) = H(xo, t), donde H : X×I −→ X corresponde unıvocamentea H bajo la ley exponencial. Definimos entonces J(X) = J(1X , xo) ⊂ Π1(X,xo) =Π1(X).

Observacion 13. La ventaja de J(f, xo) sobre J(f) es que no envuelve el espacio derecubrimiento de una manera explıcita y, como consecuencia, es mas facil calcularnumeros de Nielsen. Ademas es independiente de la eleccion del punto base xo.

Teorema 14. [3] Si X un espacio poliedrico conexo y compacto, y f : X −→ Xuna funcion continua, tal que, J(f, xo) = Π1(X, f(xo)), entonces

i) la cardinalidad de Coker(1− f∗) iguala el numero de clases de Nielsen.

ii) si L(f) 6= 0, entonces todas las clases de Nielsen son esenciales.

iii) si L(f) = 0, entonces N(f) = 0.

Manuel Moreira SII 5

Teorema 15. [3] Si X un espacio poliedrico conexo y compacto, y f : X −→ Xuna funcion continua, tal que, J(1X , xo) = Π1(X,xo), entonces

i) Π1(X,xo) es un grupo abeliano.

ii) para cualquier funcion continua f sobre X, J(f, xo) = Π1(X, f(xo)) y laconclusion del teorema anterior es cierta.

La siguiente proposicion ejemplifica el uso de las herramientas matematicas ex-puestas en este trabajo con el objeto de calcular el numero de Nielsen de variedadespoliedricas compactas y conexas.

Proposicion 16. [4] Sea f : L(m, q1, ... , qn) −→ L(m, q1, ... , qn) una funcion con-tinua sobre el espacio lenticular L = L(m, q1, ... , qn) de dimension n+ 1. Entonces

N(f) =

(1− s,m), si L(f) = 1− sn+1 − km 6= 00, si L(f) = 0.

Demostracion:Para mostrar que J(1L, xo) = Π1(L, xo) consideremos el levantamiento identidad1S2n+1 como un levantamiento de la identidad 1L como se ve en el siguiente diagramaconmutativo:

S2n+1

γ

1S2n+1

// S2n+1

γ

L(m, q1, ... , qn)

f// L(m, q1, ... , qn)

donde γ : S2n+1 −→ L(m, q1, ... , qn) es la proyeccion natural.Definamos ahora la homotopıa H : S2n+1 × I −→ L(m, q1, ... , qn) definida por

la ley H(zo, ... , zj , ... , zm, t) = (zoe2πtim , z1e

2πtiq1m ··· , zje

2πtiqjm , ··· , zne

2πtiqnm ). Por lo

tanto, H : γ ' γ 1S2n+1 con lo que concluimos que J(1S2n+1 , xo) = Π1(L, xo).Para calcular el numero de clases de Nielsen asumamos que f es un levanta-

miento de f inducido por el endomorfismo f∗ : Π1(L, xo) −→ Π1(L, xo),definido por la ley f∗(γ) = γs con 0 ≤ s ≤ m. Del hecho de que los gruposΠ1(L, xo) = Zm y H1(L,Q) = Zm son cıclicos de orden m se deduce que θ(γ) el gene-rador de H1(L,Q). Entonces f1∗ : H1(L,Q) −→ H1(L,Q) es una multiplicacion pors, es decir, f1∗(θ) = sθ. Ademas (1− f1∗)(θ) = (1− s)θ y (1− f1∗)(pθ) = (1− s)pθ,donde p ∈ Zm. De la teorıa de congruencia de los numeros enteros sabemos quela ecuacion (1 − s)p ≡ 0mod(m) tiene exactamente (1 − s,m) soluciones. Portanto, la cardinalidad del grupo (1 − f1∗)(H1(L,Q)) esta dado por

|(1 − f1∗)(H1(L,Q))| =m

(1− s,m). Entonces el numero de clases de Nielsen es

(1− s,m).Finalmente, solo resta calcular el valor del numero de Lefschetz de f . Teniendo

en cuenta que L(f) = 1− deg(f), deg(f) = sn+1 + km, para k entero y f∗(γ) = γs,para 0 ≤ s ≤ m, se tiene que L(f) = 1− sn+1 − km y por lo tanto, el resultado delos teoremas anteriores. 2

6 SII Calculo de puntos fijos Nilceanos

Teorema 17. [1] Sea T k un toro de dimension k y f : T k −→ T k una funcioncontinua. Entonces N(f) = |L(f)|.

Demostracion:La cohomologıa racional H∗(T k;Q) =

⊕ki=1H

i(T k;Q) es un algebra exterior ge-nerada por la base x1, x2, ... , xk, donde xi ∈ H i(T k;Q). La funcion continua finduce un homomorfismo de algebras f∗ : H∗(T k;Q) −→ H∗(T k;Q).

Sea f∗i : H i(T k;Q) −→ H i(T k;Q) la restriccion de f∗. Se tiene entoncesel sistema de ecuaciones f∗(xi) = ai1x1 + ··· + aikxk, i ∈ 1, ... , k. SeaM(f∗1) la matriz con entradas aij , i, j ∈ 1, ... , k asociada al homomorfismof∗1 : H1(T k;Q) −→ H1(T k;Q). El numero de Lefschetz L(f) viene dado por:

L(f) = Tr(f∗o)− Tr(f∗1) + ···+ (−1)kTr(f∗k)

= 1− (a11 + ···+ akk) + ···+ (−1)ka11 ··· akk = det(I −M(f∗1)).

Entonces si L(f) = 0 entonces N(f) = 0 ya que J(T k) = Π(T k). EntoncesN(f) = Coker | 1 − f∗ |, donde f∗ : Π1(T k) −→ Π1(T k) esta inducido por f .Ahora se sabe que Π1(T k) = Zk, por lo que se puede considerar el homomorfismo1 − f∗ : Zk −→ Zk y, del hecho de que T k es un toro de dimension k, se puedeconcluir que el grupo Π1(T k) esta generado por los elementos duales x′1, ··· , x′kde x1, ··· , xk. Ahora, si representamos el homomorfismo 1 − f∗ por una matrizentera 1 − F , entonces existe una matriz diagonal D = P (I − F )P

−1, donde P es

la matriz unimodular. Se tiene entonces que det(D) = det(I − F )) y, por lo tanto,el orden del cokernel de 1 − f∗ es |d1 ··· dk| = det(D) = det(I − F ). Pero comodet(I −M(f∗1)) = det(I − F ), de la dualidad, se tiene que L(f) = N(f) como sequerıa probar. 2

Bibliografıa

[1] R. Brooks, R. Brown, J. Park, D. Taylor, Nielsen numbers of maps of tori,Proc. Amer. Math. Soc. 52 (1975), 398–400.

[2] A. Dold, Lectures on algebraic topology, Springer-Verlag, Berlın, 1995.

[3] B. Jiang, Estimation of the Nielsen numbers, Chinese Math–Acta 5 (1964),330–339.

[4] T. Kiang, The theory of fixed point classes, Springer-Verlag, Berlin; SciencePress, Beijing, 1989.

[5] S. Lefschetz, Algebraic Topology, American Mathematical Society, ColloquiumPublications Series, Vol. 27, New York, 1980.

[6] J. Nielsen, Uber die Minimalzahl der Fixpunkte bei Abbildugstypen der Ringfla-chen, Math. Ann. 82 (1921), 83–93.


Time dependent eddy current problem using realisticboundary conditions

Bibiana Lopez RodrıguezDepartamento de Ingenierıa Matematica, Universidad de Concepcion, Chile

9 de marzo de 2011

The aim of this work is to analyze a numerical method to solve time dependenteddy current problems with input current intensities as data, formulated in termsof the magnetic field in a three dimensional bounded domain including conductorsand dielectrics (for details, see [1]).

Statement of the problem

We star introducing the transient eddy current problem

curlH = J , ∂t(µH) + curlE = 0, div(µH) = 0, J = σE (1)

in [0, T ]×R3, where E(t,x) is the electric field, H(t,x) is the magnetic field, J(t,x)the current density, µ the magnetic permeability and σ the electric conductivity.

We are interested in solving these equations in a simply connected three di-mensional bounded domain Ω, which consists of two parts, ΩC and ΩD, occupiedby conductors and dielectrics, respectively. The domain Ω is assumed to have aLipschitz-continuous connected boundary ∂Ω. We denote by ΓC , ΓD and ΓI the opensurfaces such that ΓC := ∂ΩC∩ ∂Ω is the outer boundary of the conductors domain,ΓD := ∂ΩD ∩ ∂Ω that of the dielectrics domain and ΓI := ∂ΩC ∩ ∂ΩD the interfacebetween both domains.

We assume that the connected components of the conducting domain are of twotypes: “inductors” which go through the boundary of Ω, and “workpieces” which ha-ve their closure included in Ω. We denote Ω1

C, ... ,ΩN

Cthe former and ΩN+1

C, ... ,ΩM

C

the latter. Moreover, we assume that the outer boundary of each inductor, ∂ΩnC∩∂Ω

(n = 1, ... , N), has two disjoint connected components, both being the closure ofopen surfaces: the current entrance Γn

J, where the inductor is connected to a tran-

sient electric current source, and the current exit ΓnE

. We denote ΓJ := Γ1J∪ ··· ∪ ΓN

J

and ΓE := Γ1E∪ ··· ∪ ΓN

E. Furthermore, we assume that Γn

J∩ Γm

J= ∅, Γn

E∩ Γm

E= ∅,

1 ≤ m,n ≤ N , m 6= n, and ΓJ∩ ΓE = ∅.We consider that µ and σ are time-independent and that there exist constants

µ, µ, σ and σ such that 0 < µ ≤ µ(x) ≤ µ, a.e. x ∈ Ω; 0 < σ ≤ σ(x) ≤ σ, a.e.x ∈ ΩC and σ ≡ 0 in ΩD.

Palabras Clave: Eddy current problems, time-dependent electromagnetic problems, inputcurrent intensities, finite elements.

7

8 SII Time dependent eddy current problem using realistic boundary conditions

We have to complete the model with an initial condition, H(0) = H0, andsuitable boundary conditions. For the latter, we consider the following ones∫

ΓnJ

curlH(t) · n = In(t), n = 1, ... , N, t ∈ [0, T ], (2)

E × n = 0 on [0, T ]× ΓC , µH · n = 0 on [0, T ]× ∂Ω, (3)

where the only data are the current intensities In through each surface ΓnJ

.

Variational formulation

Our first goal is to give a variational formulation of the transient eddy currentproblem (1)–(3) in terms of the magnetic field. To do this, let

X : = G ∈ H(curl; Ω) : curlG = 0 in ΩD,

V : =G ∈ X : 〈curlG · n, 1〉Γn

J= 0, n = 1, ... , N

.

We denote by HV the closure of V in L2(Ω)3 and by V ′ the dual space of Vwith respect to the pivot space HV with measure µ(x) dx (which is topologicallyequivalent to L2(Ω)3 with the standard Lebesgue measure). Hence, for F ∈HV wehave

〈F ,G〉V ′×V =

∫ΩµF ·G ∀G ∈ V .

We will also use the closure of X in L2(Ω)3, which we denote by HX , and the dualspace X ′ of X with respect to the pivot space HX with measure µ(x) dx. We havethe following characterization HX =

G ∈ L2(Ω)3 : curlG = 0 in ΩD

.

Problem 1. Find H ∈ L2(0, T ;X ) ∩H1(0, T ;HX ) such that

〈curlH(t) · n, 1〉ΓnJ

= In(t), n = 1, ... , N, (4)∫Ωµ∂tH(t) ·G+ a(H(t),G) = 0 ∀G ∈ V , (5)

H(0) = H0, (6)

where the bilinear form a is defined over X ×X by

a(K,G) :=

∫Ω

C

1

σcurlK · curlG.

This is a continuous bilinear form and it satisfies the following Garding’s inequality:for each λ > 0 there exists α > 0 such that a(G,G) + λ‖G‖2L2(Ω)3 ≥ α‖G‖

2H(curl;Ω)

for all G ∈ X . For the data of this problem we assume that In ∈ H2(0, T ),n = 1, ... , N , and

H0 ∈ X and 〈curlH0 · n, 1〉ΓnJ

= In(0), n = 1, ... , N. (7)

Bibiana Lopez Rodrıguez SII 9

Existence and uniqueness

In order to show that Problem 1 has a unique solution, our first step is to buildH ∈ H2(0, T ;X ) satisfying (4). With this aim, we will use the unique solutionswn ∈ H1(Ωn

C), n = 1, ... , N , of the following problems:

−∆wn = 0 in ΩnC,

∂wn∂n

=

1

area(ΓnJ

)on Γn

J,

0 on ∂ΩnC∩ ΓI ,

wn = 0 on ΓnE.

Let Qn ∈ L2(Ω)3 be defined by Qn = ∇wn in ΩnC

and Qn = 0 elsewhere. Sincediv(∇wn) = 0 in Ωn

Cand ∇wn · nC = 0 on ∂Ωn

C∩ ΓI , we have that Qn ∈ H(div; Ω)

and divQn = 0 in Ω. Then, since ∂Ω is connected, there exists a vector poten-

tial Hn ∈ H(curl; Ω) such that curl Hn = Qn, which satisfies div Hn = 0 and

Hn · n = 0 on ∂Ω.Therefore, we define H(t) :=

∑Nn=1 In(t)Hn. Notice that, H ∈ H2(0, T ;X ) with

‖H‖H2(0,T ;X ) ≤ CN∑n=1

‖In‖H2(0,T ), and 〈curl H(t) · n, 1〉ΓnJ

= 〈In(t)Qn · n, 1〉ΓnJ

=

In(t)

∫ΓnJ

∂wn∂n

= In(t), n = 1, ... , N , so that H satisfies (4).

We propose to find a solution to Problem 1 of the form H = H + H. Then, Hhas to be a solution to the following problem:

Problem 2. Find H ∈ L2(0, T ;V) ∩H1(0, T ;V ′) such that

〈∂tH(t),G〉V ′×V + a(H(t),G) = 〈f(t),G〉V ′×V ∀G ∈ V ,

H(0) = H0 − H(0),

where f : [0, T ] → V ′ is defined by 〈f(t),G〉V ′×V := −∫

Ω µ∂tH(t) · G −a(H(t),G), for all G ∈ V .

By applying Lions Theorem combined with an exponential shift (since a is not

elliptic but satisfies a Garding’s inequality) Problem 2 has a unique solution H.Moreover, from the regularity of H0 and f , we have the following result.

Lemma 1. The solution to Problem 2 satisfies H ∈ L∞(0, T ;V) and

∂tH ∈ L2(0, T ;HV).

Now, we are in a position to prove that Problem 1 is well-posed.

Theorem 1. Let In ∈ H2(0, T ), n = 1, ... , N , and H0 satisfying (7). Then, Pro-blem 1 has a unique solution H. Furthermore, H ∈ L∞(0, T ;X ) and there exists aconstant C > 0, independent of In and H0, such that

‖H‖2L∞(0,T ;X ) + ‖∂tH‖2L2(0,T ;HX ) ≤ C

‖H0‖2H(curl;Ω) +

N∑n=1

‖In‖2H2(0,T )

.

10 SII Time dependent eddy current problem using realistic boundary conditions

Full discretization

We assume that Ω, ΩC, and ΩD are Lipschitz polyhedra and consider regulartetrahedral meshes Th of Ω, such that each element K ∈ Th is contained either inΩC or in ΩD (h stands as usual for the corresponding mesh-size). Let

X h := Gh ∈ Nh(Ω) : curlGh = 0 in ΩD ⊂ X ,

Vh :=

Gh ∈ X h :

∫ΓnJ

curlGh · n = 0, n = 1, ... , N

⊂ V ,

where Nh(Ω) denotes the lowest-order Nedelec finite element space.

For r ∈(

12 , 1], let X r :=

G ∈ X : G|Ω

C∈ Hr(curl; ΩC) and G|Ω

D∈ Hr(ΩD)3

.

If G ∈ X r, then its Nedelec interpolant IhG ∈ Nh(Ω) is well defined. We assumethat the solution to Problem 1 satisfies H ∈ H1(0, T ;X r), which in particular im-plies that the initial condition H0 ∈ X r.

We consider a uniform partition of [0, T ], tk := k∆t, k = 0, ... ,M , with timestep ∆t := T

M .A fully discrete approximation of Problem 1 is defined as follows:

Problem 3. Find Hmh ∈ X h, m = 1, ... ,M , such that∫

ΓnJ

curlHmh · n = In(tm), n = 1, ... , N,

∫ΩµHm

h −Hm−1h

∆t·Gh + a(Hm

h ,Gh) = 0 ∀Gh ∈ Vh,

H0h = IhH0.

Now, we are in position to write the main result of this work which provideserror estimates for the physical quantities of interest, the magnetic field H and thecurrent density J = curlH.

Theorem 2. Let H be the solution to Problem 1 and Hkh, k = 1, ... ,M , that to

Problem 3. If H ∈ H1(0, T ;X r)∩H2(0, T ; L2(Ω)3), with r ∈(

12 , 1], then there exists

a constant C > 0, independent of h and ∆t, such that

max1≤k≤M

‖H(tk)−Hkh‖H(curl;Ω)+∆t

M∑k=1

∥∥∥∥∥∂tH(tk)−Hk

h −Hk−1h

∆t

∥∥∥∥∥L2(Ω)3

≤ C(∆t+hr).

Bibliografıa

[1] A. Bermudez, B. Lopez-Rodrıguez, R. Rodrıguez, P. Salgado, Numerical solu-tion of transient eddy current problems with input current intensities as boun-dary data, IMA Journal of Numerical Analysis, preprint.


Indices de pobreza en Galicia

Marıa Jose Ginzo VillamayorDepartamento de Estadıstica e Investigacion Operativa

23 de marzo de 2011

En este estudio se analiza el perfil de la pobreza de la poblacion gallega. Se hanutilizado los microdatos de la “Encuesta de Condiciones de Vida”(ECV) del Insti-tuto Gallego de Estadıstica (IGE), ano 2006. La ECV es una encuesta dirigida alos hogares gallegos cuyo objetivo es obtener informacion sobre sus caracterısticassocioeconomicas. Se estiman ındices de la familia Foster, Greer y Thorbecke,(vease en Foster, Greer and Thorbecke (1984)). Para analizar la pobreza, se utilizola inferencia estadıstica para estimar los niveles de pobreza de cada provincia y deGalicia en su conjunto. Concretamente, se determinaron los intervalos de confianza(IC) para distintos indicadores usando inferencia clasica basada en distribucionesasintoticas y metodologıa Bootstrap. Se obtiene un mapa de la distribucion provin-cial de la pobreza en Galicia y compara la precision de las tecnicas.

Preliminares

Para medir la pobreza se han tenido en cuenta los ingresos equivalentes de laspersonas. Para comparar ingresos hay que usar las economıas de escalas que seproducen dentro del hogar, es decir, ver como se distribuyen los recursos entre losdistintos miembros. Aparecen las escalas de equivalencia que tratan de llevar a cabouna normalizacion que permita el analisis comparativo de hogares con distintascomposiciones. El ingreso equivalente corrige el efecto del numero de personas enel volumen de ingresos del hogar, haciendo comparables los ingresos de hogares condistinto numero de miembros. Se calculan las unidades de consumo (UC) del hogarempleando la escala de equivalencia de la OCDE modificada, [1 + 0,5 ∗ (a− 1) +0,3 ∗ (b)], donde a es el numero de adultos (≥ 14 anos) y b el numero de ninos(< 14 anos) del hogar. Notar que debido a la forma de los microdatos, a se hatomado > 15 y b ≤ 14 anos. Se define ingreso equivalente del hogar como elingreso medio mensual del hogar dividido por las UC. Como ingreso equivalentede cada persona se toma el equivalente del hogar al cual pertenecen. Para medir lapobreza se puede hacer desde varios puntos de vista, uno serıa usando los ingresosy otro los gastos. La decision dependera de la fuente de datos utilizada, aquı elingreso. En el caso de las lıneas de pobreza relativas, se suele tomar una medida de

Palabras Clave: Bootstrap percentil, escala de equivalencia, ingreso equivalente, OCDE mo-dificada, tasa de riesgo de pobreza, umbral de riesgo de pobreza, Foster, Greer y Thorbecke.

11

12 SII Indices de pobreza en Galicia

posicion central de los ingresos o gastos equivalentes. Se define el umbral de riesgode pobreza que se corresponde con el 60 %-50 %, (se han realizado ambos analisis)de la mediana de los ingresos equivalentes de todas las personas. (Eurostat usa el60 %). La tasa de riesgo de pobreza, es el porcentaje de personas con un ingresoequivalente inferior al umbral del riesgo de pobreza. Se entendera por hogar pobreaquel en el que viven personas pobres. Y una persona se considera pobre atendiendoa un umbral del riesgo de pobreza (fijado).

Metodologıa

Se ha empleado la familia de ındices de Foster, Greer y Thorbecke para evaluarlas distintas dimensiones de la pobreza: incidencia, intensidad y desigualdad.Se han seleccionado por la necesidad de abarcar todas las dimensiones de la pobrezay sus propiedades. Una de las principales es que son aditivamente descomponibles, loque permite determinar la aportacion de cada provincia al ındice general, ası comofacilitar la determinacion asintotica de su distribucion en la aplicacion de inferenciaestadıstica. Se definen:

FGTα(y, z) = 1n

∑qi=1

[ z−yiz

]α−1, α > 0,

donde segun el valor de α (parametro de aversion a la desigualdad) se obtienendistintos ındices. A mayores valores de α mas importancia relativa se le da a losdesniveles de pobreza relativa mayores. Si α = 1, se tiene la proporcion de pobres.Cuando α = 2 el ındice es igual al producto de la proporcion de pobres por eldesnivel de pobreza. Por otra parte, Atkinson (1987) ofrece las condiciones bajolas cuales todos los miembros de la familia FGTα dan la misma ordenacion de lasdistribuciones de renta.

1. Inferencia Clasica. Se han usado las distribuciones asintoticas de los esti-madores de las medidas de pobreza para el analisis inferencial, (Bishop, J.A., Chow,K.V. y Zheng, B. (1995) y Rongve (1997)). Sea G una medida de pobreza, G el esti-mador de esta medida para una muestra Yn = y1, y2, ..., yn de ingresos equivalentes.Por el Teorema Central del Lımite:

√n(G−G) −→ N(0, σ2(G)).

Se determinan las distribuciones asintoticas para cualquier ındice de la familiaFGTα. Se define G como: G =

∫ zα g(z, y)f(y)dy donde z es el umbral de pobreza,

f(y) funcion de densidad de los ingresos, g(z, y) = ( z−yz )α−1 funcion de la variableY y del umbral. Mediante distribuciones asintoticas y analisis inferencial se obtieneuna expresion para la varianza y para los IC de los ındices:

V ar(g) = FGT2

2(α−1)+1 − FGT2

α I =

[FGTα ∓

√FGT2(α−1)+1−FGT 2

α

1,96√n

].

2. Metodologıa Bootstrap. El metodo Bootstrap (Efron y Tibshirani 1994)es un metodo de remuestreo desde los propios datos, a partir del cual se puedenobtener medidas de precision sobre las estimaciones estadısticas realizadas, o ICpara los estadısticos objeto de estudio. En este estudio de simulacion, para cadamuestra Bootstrap se obtienen los ındices de pobreza para α ∈ [1, 3], para Galicia

Marıa Jose Ginzo Villamayor SII 13

y provincias. El estadıstico de interes sera la media de cada ındice. La estimaciondel estadıstico Bootstrap se realiza en modo no parametrico, ya que no se esta-blece ningun supuesto sobre la distribucion de los datos. Para la comparacion dedichas estimaciones con la inferencia clasica, se analizan IC mediante los metodospercentil, percentil-t y simetrizado. Dada una muestra Yn = y1, y2, ..., yn de ingresosequivalentes de F desconocida, el objetivo es construir un IC de nivel (1− α) paraG = G(F ) a partir de un estimador G = G(Y ).

Metodo percentil. I =[G− n−

12 y1−α

2, G− n−

12 yα

2

].

Metodo percentil-t. I =[G− ˆV ar(g)n−

12 y1−α

2, G− ˆV ar(g)n−

12 yα

2

].

Metodo simetrizado. I =[G− ˆV ar(g)n−

12 y1−α, G+ ˆV ar(g)n−

12 y1−α

].

Resultados de simulacion y conclusiones

El tamano de muestra es de 6337 hogares (17619 personas). El umbral es el60 % y 50 % de la mediana de ingresos equivalentes para personas. Se calcularon losındices para Galicia y provincias, seguidamente se comparan los resultados al aplicarla metodologıa clasica y la Bootstrap y los IC para cada ındice. Para determinarel perfil de la pobreza en Galicia se estudia el valor de los ındices en las distintasprovincias. El ındice FGT1 indica la proporcion de pobres, ası el 13.85 % (para el60 %) o el 7.24 % (para el 50 %) de las personas estan por debajo del umbral depobreza. Su distribucion a lo largo del territorio gallego no es homogenea.

Umbral al 60%

Ingreso mediano equivalente:929.64...

Umbral:557.78...

Nº pobres:2441

% pobres:13.85%

% de personas por debajo del umbral de pobreza al 60%.

13.20%

13.70%

18.10%

12.95%

Umbral:557.7...

El ındice FGT2, que ademas de la incidencia de la pobreza, tiene en cuenta laintensidad de la misma, arroja resultados similares. Al considerar FGT3, que tieneen cuenta, ademas de la intensidad y la incidencia, la desigualdad entre los pobres,nos encontramos con una ordenacion similar a los ındices anteriores. La inferenciaclasica para estos ındices, cuando se dispone de muestras pequenas, puede presentarproblemas a la hora de asumir la convergencia del estadıstico a la distribucion nor-mal. La utilizacion de Bootstrap supone una ventaja al no establecer supuestos apriori sobre la funcion de distribucion. Se comparan los resultados obtenidos con lainferencia clasica y con Bootstrap (realizandose 1000 replicas de las muestras). Losresultados tras aplicar Bootstrap son muy similares entre Galicia y las provinciaspara la incidencia de pobreza. En el caso de la brecha y severidad de pobreza losresultados son similares en cuanto al orden pero su valor no es tan proximo con en

14 SII Indices de pobreza en Galicia

el caso del FGT1. Se calcularon los IC con ambas metodologıas, con el proposito dedeterminar cual de los metodos los proporciona de menor amplitud para un mismonivel de confianza. Se han representado las funciones Kernel para los ındices gene-rados por las muestras Bootstrap, para determinar en que medida las distribucionesde los ındices se aproximan a la campana de Gauss. Se observa que las distribucionesno presentan normalidad debido a la asimetrıa y/o apuntamiento, lo que implica eluso del Bootstrap para la construccion de IC, en vez de los derivados de la meto-dologıa clasica basados en la convergencia a distribuciones normales. Respecto a laamplitud de los IC, con el umbral al 60 %, se observa que no hay una reduccion conBootstrap, lo que implicarıa una mejora en la precision de las estimaciones; paraalgun indicador observamos una reduccion en la amplitud del IC con Bootstrap enel caso de Galicia. Con el metodo no parametrico nunca se obtienen resultados fueradel rango de posibles valores del indicador. Las distribuciones empıricas generadaspor el remuestreo representan de forma mas adecuada el comportamiento de los da-tos originales. Para Galicia y provincias el IC clasico es el de menor longitud para laincidencia y el de mayor se obtiene con el simetrizado. En el caso del percentil-t seobtienen tambien IC amplios comparados con el clasico o el percentil. Para las pro-vincias el IC de menor longitud para la brecha es el clasico mientras que en Galiciaes el percentil. Para la severidad en el caso de Galicia el IC de menor longitud es elpercentil. Seguido del clasico, que es ademas para las provincias el que ofrece el ICmas pequeno. En todos los casos el de mayor longitud es el simetrizado. Resultadosanalogos se obtienen con el umbral al 50 %. Concluyendo: aunque la metodologıaBootstrap no presenta IC menos amplios de manera general, sı que ofrece resultadosmas adecuados que la inferencia clasica basada en distribuciones asintoticas. Los ICcalculados con Bootstrap, debido a que se basan en las distribuciones observadas,permite adaptarlos a las asimetrıas y curtosis de las distribuciones de los ındices,por tanto, se puede decir no ofrece IC fuera del rango de los valores posibles de losındices, como es el caso de los derivados de la inferencia clasica.

Bibliografıa

[1] A. B. Atkinson, On the Measurement of Poverty, Econometrica 55(4) (1987),749–764.

[2] J. A. Bishop, K. V. Chow, B. Zheng, Statistical inference and decomposablepoverty measures, Bulletin of Economic Research 47(4) (1995), 329–340.

[3] B. Efron, R. Tibshirani, An introduction to the Bootstrap, Chapman & Hall,1994.

[4] J. Foster, J. Greer, E. Thorbecke, A class of decomposable poverty measures,Econometrica 52(3) (1984), 761–766.

[5] I. Rongve, Statistical inference for poverty indices with fixed poverty lines, Ap-plied Economics 29 (1997), 387–392.


Simulacion numerica en modelos de remodelacion osea

Rebeca Martınez FernandezDepartamento de Matematica Aplicada

27 de abril de 2011

El hueso es un organo rıgido que forma el esqueleto de los vertebrados. Cumplefunciones tan esenciales como proteger los organos vitales del cuerpo humano oaportar la estructura necesaria al sistema muscular. Los huesos son livianos aunquemuy resistentes y duros. Existen dos clases de tejido oseo: el cortical y el esponjoso.Los dos tejidos tienen la misma estructura y composicion pero el cortical es masdenso. Este tejido es el que recubre los huesos, proporcionandoles un aspecto solido ycontinuo. En el interior del organo encontramos el hueso esponjoso o trabecular. Estetejido se caracteriza por tener una densidad muy baja, es una estructura esponjosaen cuyos huecos se encuentra la medula osea y pequenos vasos sanguıneos.

El fluido en el cual se encuentra embolsado el hueso esponjoso esta en contactocon el plasma sanguıneo, donde se encuentran las celulas oseas, que son las encar-gadas de regular las reacciones quımicas que provocan la adicion o perdida de masadel hueso esponjoso. Dependiendo de la funcion que realicen, las celulas pueden serclasificadas en cuatro tipos: osteoblastos, osteoclastos, celulas de borde y osteoci-tos. Estas celulas son las responsables de realizar el proceso de remodelado oseo. Esun proceso lento que ocurre durante toda la vida del ser humano, aunque con masrapidez en la infancia. En la reabsorcion, los osteoclastos erosionan la superficie delhueso trabecular creando pequenas cavidades. Despues, los osteoblastos reparan lasuperficie, generando hueso nuevo, y una capa de celulas de borde cubren la nuevasuperficie. Los osteocitos son las celulas oseas mas abundantes en el esqueleto adul-to, mas del 90 %. Estas celulas son osteoblastos que se han quedado atrapados en elhueso trabecular que han secretado y tienen la capacidad de secretar o reabsorber eltejido oseo que las rodea. En el primer ano de vida de un ser humano, casi el 100 %del esqueleto es renovado por este proceso. En los adultos, cada ano se renuevaalrededor del 10 % del hueso.

En el siglo XIX, el cirujano aleman Julius Wolff establecio que no solo existe unarelacion entre la estructura del hueso y las cargas a las que es sometido, sino queademas el hueso vivo se adapta a las alteraciones en estas cargas cambiando su es-tructura interna. Esta afirmacion es conocida como la ley de Wolff. La investigacionexperimental ha confirmado a lo largo de los anos la veracidad de esta suposicion,mostrando que incluso en la edad adulta el hueso puede adaptar su estructura enrespuesta a las cargas a las que esta siendo sometido.

Palabras Clave: Remodelacion osea, elementos finitos, simulacion numerica.

15

16 SII Simulacion numerica en modelos de remodelacion osea

Un modelo de remodelacion osea en elasticidad adaptativa

Cuando se intenta estudiar desde el punto de vista mecanico el comportamientode un hueso, es imposible modelar la estructura trabecular. Es por ello que se definenpropiedades continuas que nos evitan trabajar con las propiedades reales del hueso.Esto supone considerar el hueso como un material continuo. Sin embargo, cuandolo que nos interesa conocer es el comportamiento del hueso en una zona, y no enun punto concreto, esta hipotesis no supone ninguna restriccion. Habitualmente, losmodelos de remodelacion osea, como los estudiados en este trabajo, incorporan unafuncion que mide la porosidad del hueso.

El primer modelo matematico para un problema de remodelacion osea fue plan-teado en 1976 por Cowin y Hegedus (vease [2]), estableciendo la siguiente ley cons-titutiva para el tensor de tensiones:

σ = (ξ0 + e)C(e)ε(u),

donde ε denota el tensor de deformacion y C(e) caracteriza las propiedades meca-nicas del hueso. La funcion e mide el cambio en la porosidad de la matriz osea.Esta funcion se define como e = ξ − ξ0, donde ξ es la fraccion volumica de materialpresente en la matriz osea y ξ0 es la fraccion volumica de referencia. Para controlarel proceso de remodelado oseo, Cowin y Hegedus obtuvieron la ecuacion diferencialordinaria:

e = a(e) +A(e) : ε(u),

donde a(e) y A(e) son los coeficientes de remodelacion. Esta ecuacion determinala tasa de cambio en la porosidad del hueso como una funcion dependiente de lafraccion volumica y la deformacion.

Figura 1: Deformacion en el instante inicial y final, y funcion de remodelacion oseaen el instante final.

En la Figura 1 se puede observar la respuesta del hueso cuando una fuerzade compresion linealmente creciente actua en la frontera superior. La deformacionproducida por la fuerza en el instante final, es menor que la producida en el instante

Rebeca Martınez Fernandez SII 17

inicial, puesto que el hueso ha aumnetado su densidad para minimizar los efectosde la carga.

Remodelacion osea inducida por un estımulo local

En 1992 Weinans, Huiskes y Grootenboer (vease [1]) propusieron un modelo ba-sado en el principio de que la remodelacion osea es inducida por una senal mecanicalocal que activa los osteoblastos y osteoclastos; es decir, el hueso tiene sensores quedetectan el estimulo mecanico y, dependiendo de su magnitud, causan adaptacioneslocales en el hueso. Ademas, Weinans et al. consideran el hueso como un materialelastico, donde el coeficiente de Poisson es constante y el modulo de Young depen-de de la densidad aparente ρ, mediante la relacion E = Mργ , donde M y γ sonconstantes positivas que caracterizan las propiedades mecanicas del hueso.

En el modelo propuesto por Cowin y Hegedus, el cambio en la densidad osea seregıa por las desviaciones producidas en el tensor de deformacion. Sin embargo, lasideas de Wolff implicaban que la remodelacion no solo se producıa en respuesta ala deformacion y, por ello, en este modelo se considera como estımulo mecanico ladensidad de energıa de deformacion:

U(σ(u), ε(u)) =1

2σ(u) : ε(u).

La variacion en la densidad aparente del hueso viene determinada por la siguienteecuacion diferencial ordinaria de primer orden, no lineal:

ρ = B

(U(σ(u), ε(u))

ρ− Sr

), ρa ≤ ρ ≤ ρb,

donde B y Sr son constantes que regulan el proceso de remodelacion osea. Ademas,se impone que los valores de la densidad aparente no sobrepasen el valor ρb, corres-pondiente a la densidad del hueso cortical, ni sean menores que la densidad mınimapermitida, ρa, correspondiente al hueso reabsorbido. Esta ecuacion implica que enlos puntos en los cuales la densidad alcanza el valor maximo o mınimo, el procesode remodelacion se detiene. En los otros puntos, el sistema esta en equilibrio cuandoel estımulo alcanza el valor de referencia Sr.

La formulacion variacional de este modelo consiste en una ecuacion variacionalpara el calculo del campo de desplazamientos, y una inecuacion variacional para elcalculo de la densidad osea. Esta inecuacion se obtiene haciendo uso de las propie-dades de la subdiferencial de la funcion indicatriz del intervalo [ρa, ρb], lo que nospermite garantizar que la solucion que buscamos pertenece al intervalo. Una vezobtenida la formulacion variacional del problema, aplicando el esquema de Euler yel metodo de los elementos finitos obtenemos un problema discretizado y las esti-maciones del error para el campo de desplazamientos y la densidad osea. Ademas,bajo ciertas hipotesis adicionales de regularidad, obtenemos la convergencia linealdel algoritmo propuesto.

18 SII Simulacion numerica en modelos de remodelacion osea

Para ilustrar el comportamiento de este modelo, hemos considerado la parteproximal del femur. Suponemos que la frontera inferior esta fijada (el punto izquierdoesta fijo, mientras que el resto de la frontera tiene restringidos sus desplazamientossolo en la direccion vertical). Ademas, se consideran tres casos de carga que actuande forma secuencial, cada uno de ellos consiste en unas cargas distribuidas aplicadassobre la cabeza femoral y a su vez la fuerza de reaccion distribuida que aparece enel abductor. Una clara limitacion del modelo 2D es la falta de conexion entre las doscapas corticales de la diafasis. En este caso, hemos utilizado la misma solucion queproponen otros autores: considerar una placa que une ambas partes. En la Figura2 podemos ver la densidad aparente en el instante final. El proceso de remodeladooseo se detiene cuando no ocurren cambios en la densidad. La configuracion finalpredice una razonable distribucion de las densidades con un canal intramedular, eltriangulo de Ward y la distribucion habitual de la densidad en la cabeza del femur.

0.2

0.4

0.6

0.8

1

1.2

1.4

1.6

Figura 2: Densidad osea despues de 310 dıas.

Bibliografıa

[1] H. Weinans, R. Huiskes, H.J. Grootenboer, The behaviour of adaptive bone-remodeling simulation models, J. Biomech. 25(12) (1992) 1425–1441.

[2] S.C. Cowin, D.H. Hegedus, Bone remodeling I: theory of adaptive elasticity, J.Elasticity 6 (3) (1976) 313–326.


The R package fda.usc. Some examples for functionaldata analysis

Manuel Oviedo de la FuenteDepartamento de Estadıstica e Investigacion Operativa

21 de maio de 2011

This document presents the R package fda.usc which implements some utilitiesfor treatment of functional data analysis. This package carries out exploratory anddescriptive analysis of functional data analyzing its most important features suchas depth measurements or functional outliers detection, among others. The packa-ge also includes functions to compute functional regression models, that helps toexplain and model the relationship between a scalar response and functional (or non-functional) explanatory data. Methods for supervised or unsupervised classificationof a set of functional data regarding a feature of the data are also included.

Introduction

In recent years statistical computing applied to various fields has led to impor-tant technological change that replace some of the paradigms in which it is basedclassical statistics, for example, the paradigm that in a provided dataset the numberof data is greater than the number of variables. In many areas have begun workingwith large databases, which increasingly often these observations of a random va-riable taken over a continuous interval (or in increasingly larger discretizations ofthe continuous interval). For example, in fields such as spectroscopy, the measure-ment result is a curve that, at least, has been evaluated in a hundred of points,in economics, we could talk about curves intra-day stock quotes or in engineering,we could talk about electricity demand curves. Undoubtedly, package fda is a basicreference to work in R programming environment with functional data. But all thetechniques included are restricted to the space of L2 functions. The other miles-tone is the book of [1], where functional data are processed from a nonparametricpoint of view that establishes frameworks for treatment. In this case, the approachto consider normed or semi-normed functional spaces in some cases may be moreappropriate to describe the reality. Other functional data packages that can be use-ful for representing functional data as ftsa for functional time series analysis andrefund that allows computing functional penalized regression. The objective of thepackage fda.usc is to provide a framework in functional data analysis broader thanthe previous one. Therefore, we propose an integration of the work on nonparame-tric functional methods implemented by [1] and implemented by the group of the

Palabras Clave: Functional data, smoothing, regression, classification, R package.

19

20 SII The R package fda.usc.

University of Santiago de Compostela (USC), complementing and extending someof the functions of package fda.

Functional Data Definition: The new R class fdata

First of all, we must define in a formal way what is a functional variable. Becauseof its generality and ease of understanding we will follow next definitions.

Definition 1. A random variable X is called a functional variable if it takesvalues in a functional space E -complete normed (or semi-normed) space-.

Definition 2. A functional dataset X1, ... ,Xn is the observation of n functio-nal variables X1, ... ,Xn identically distributed as X .

The first obstacle that we will always have when analyzing functional data isto find adequate representation for the data. Typically, the functional data setX1, ... ,Xn is evaluated on a number of discretization points t1, ... , tm that canbe observed in a non-equispaced way. The fda.usc package avoids the basis trans-formation performed by the fda package and define an object called fdata as alist of the following components: data: a set of n curves discretized in m points,argvals: locations of the discretization points, rangeval: range of discretizationpoints and names: optional list with an overall title and a title for the x and y axis.

An important choice to do when analyzing functional data is the space where thedata must be considered. For example, in left panel of Figure 1, the spectrometriccurves are plotted showing with different colors the fat content. This representa-tion which implicitly assumes a L2 space, is not related with the information offat content. So, if we are interested in the relationship between the spectrometriccurve and the fat content, probably another choice of functional space would bemore advisable as for example, that shown in right panel of Figure 1 with the firstderivative of the spectrometric curves. In this case, the distance between curves are

given by the semi-norm of the derivative(d(f, g) =

√∫T (f ′(t)− g′(t))2dt

)instead

of the norm as in the case of the L2 space.

After definition, the second step in a functional data analysis maybe the datarepresentation. In the package are implemented four procedures for this purpose. (1)Basis representation min.basis() or fdata2fd() represent the functional data in aL2 basis. (2) Nonparametric representation min.np() is based on the smoothingkernel method by k nearest neighbor, Nadaraya-Watson or Local linear regressionmethod. (3) Functional principal components basis fdata2pc(), explain a functionaldata through a combination of orthonormal variables and (4) the functional partialleast square basis fdata2pls(), that taking into account the correlation betweenscalar variable observed additionally and functional data.

Descriptive analysis of Functional Data

Any statistical study should begin with an exploratory part. In fda.usc, theusual tools for summarize functional data are included as the functional mean:

Manuel Oviedo de la Fuente SII 21

850 900 950 1000 1050

2.02.5

3.03.5

4.04.5

5.05.5

Wavelength (mm)

Abso

rbanc

es

850 900 950 1000 1050

−0.02

−0.01

0.00

0.01

0.02

0.03

0.04

0.05

Wavelength (mm)

d(Abs

orban

ces,1

)

Figure 1: Spectrometric curves (left) with Fat<20 % (red lines) and with Fat≥20 %(blue lines). Corresponding spectrometic curves after 1st differencing (right).

X(t) = N−1∑N

i=1Xi(t), by func.mean() function. Although, most often are othermeasures used to summarize a set of functional data such as depth measures. Thedepth is a concept emerged in the literature of robustness which measures how deepis a datum respect to a population and that can be used to measure of centraltendency or the detection of outliers, see figure 2.

850 900 950 1000 1050

2.02.5

3.03.5

4.04.5

5.05.5

Wavelength (mm)

Abso

rbanc

es

FM Mean trim25%MedianOutiler

850 900 950 1000 1050

−0.02

−0.01

0.00

0.01

0.02

0.03

0.04

0.05

Wavelength (mm)

d(Abs

orban

ces,1

)

FM Mean trim25%MedianOutiler

Figure 2: Descriptive statistics for Tecator dataset based on depth (in grayscale),15 % trimmed mean curve (green line), median (yellow line) and outliers (red lines).

Also implemented in fda.usc package

The fda.usc package has implemented other utilities for statistical computingwithin the field of Functional Data Analysis. Some useful additions included are:

Functional linear model (FLR) with basis representation. This model assumesthat the relationship between the scalar response Y and the functional cova-riate X(t) has a linear structure. Thus, the functional linear model under theparametric approach is given by the expression: yi =

∫T Xi(t)β(t)dt+εi, where


εi are random errors. fregre.basis() function models the relationship betwe-en X(t) and Y by basis representation (using fd basis) of the X(t) and theunknown functional parameter β(t). Similarly, fregre.pc() uses a basis of fun-ctional principal components to represent the functional data X(t) and β(t).In fregre.pls() function the basic idea is to construct a set of PLS compo-nents in the linear space spanned by X(t), taking into account the correlationbetween X(t) and Y .

fregre.lm() is an extension of the previous linear models allowing includemore than one functional variable and other non-functional variables andfregre.glm() which also allows various types of the response variable.

An alternative of functional linear models is the nonparametric functionalregression studied by [1] fregre.np(). In this case, the regression model iswritten as: yi = r(Xi(t)) + εi, where the unknown smooth real function ris estimated using kernel estimation. This model is extended allowing inclu-de non-functional variables by the semi-functional partial linear regression:fregre.plm().

Among other utilities, two methods for discriminating functional data are im-plemented: supervised classification using k-Nearest Neighbor methodclassif.knn() and non parametric kernel method classif.kernel().

Conclusion

The package fda.usc presented in this document is the result of the integrationof our code with procedures from other authors, the package fda or the functionsfrom STAPH group. One major advantage of the package procedures is that avoidsthe need of basis representation of functional data and all procedures are adaptedto this new class. Finally, the fda.usc package tries to be an integrated frameworkfor FDA and is continually being developed.

Bibliografıa

[1] F. Ferraty, P. Vieu, Nonparametric functional data analysis: Theory and prac-tice, Springer Series in Statistics, Springer, Berlin, 2006.

[2] R Development Core Team, R: A language and environment for statistical com-puting, R Foundation for Statistical Computing, Vienna, 2009; http://www.R-project.org.


Unha caracterizacion das esferas Euclıdeas

Esteban Calvino LouzaoDepartamento de Xeometrıa e Topoloxıa

26 de maio de 2011

En Analise, buscase a existencia dunha solucion non trivial para unha ecuaciondiferencial nun certo dominio dado. En Xeometrıa, pola contra, e de especial inte-rese obter a existencia de variedades dominio para unha ecuacion diferencial ondeesta posua solucion non trivial. Por suposto, este problema e inabordable en todaa sua xeneralidade, polo que este estudo limıtase a certas ecuacions diferenciaisinteresantes, ben polo seu contido xeometrico, ou ben polo seu contido fısico. Noscentramonos nunha ecuacion ben conecida polo seu contido xeometrico, a chamadaecuacion de Obata.

Preliminares

Co fin de que este resumo sexa o mais autocontido posible mostraremos certosconceptos basicos de Xeometrıa de Riemann que nos seran de grande utilidade.Denotaremos por (M, g) unha variedade de Riemann de dimension n e TpM o seuespazo tanxente no punto p ∈ M . O tensor de curvatura, R, nunha variedade deRiemann (M, g) ven dado por

R(X,Y )Z = ∇[X,Y ]Z − [∇X ,∇Y ]Z,

onde ∇ e a conexion de Levi-Civita de (M, g) e X,Y e Z son campos de vectores.O tensor de curvatura codifica unha cantidade inxente de informacion da varieda-de. Por iso, e de grande axuda contar con obxetos mais sinxelos que nos permitenrecuperar gran parte da informacion que nos proporciona o tensor de curvatura. En-tre eles destaca, tanto por representativo como por utilizado, a curvatura seccional.Defınese a curvatura seccional sobre un plano π como

K(π) =R(X,Y, Y,X)

g(X,X)g(Y, Y )− g(X,Y )2

donde π = 〈X,Y 〉. Fixemonos que aında que na definicion da curvatura seccionalutilizamos unha base concreta do plano π, esta so depende do plano e non da baseelexida. A curvatura seccional pode interpretarse como a aplicacion

K : 2-planos en TpM −→ R.

Palabras Clave: Variedade de Riemann, ecuacion de Obata, esfera

23


Son de grande importancia en xeometrıa aquelas variedades cunha curvatura moisinxela. Entre estas destacan aquelas con curvatura seccional constante, e dicir,aquelas nas que a aplicacion antes definida e constante. Existen tres modelos devariedades de curvatura seccional constante: Rn, as esferas Euclıdeas Sn e os espa-cios hiperbolicos Hn segundo a curvatura seccional, K, sexa constantemente nula,positiva ou negativa respectivamente (ver [2] para mais informacion sobre estes as-pectos).

Definiremos agora un operador diferencial que xogara un papel relevante noestudo da ecuacion de Obata. Consideremos unha funcion real f : M −→ R on-de (M, g) e unha variedade de Riemann, definimos enton o Hessiano de f comaHf = ∇∇f . Dito operador en coordenadas escrıbese como

(Hf )ij =∂2f

∂xi∂xj−∑k

Γkij∂f

∂xk

onde Γkij son os sımbolos de Christoffel da conexion de Levi-Civita ∇ de (M, g).Fixemonos que no espazo euclıdeo Rn a definicion dada do Hessiano coincide coausual posto que en Rn todolos sımbolos de Christoffel se anulan.

A Ecuacion de Obata

No que segue estudiaremos algunhas ecuacions diferenciais, ben conecidas, de-finidas en certas clases de variedades de Riemann, as cales determinan as esferaseuclıdeas como as unicas variedades dominio en aqueles casos de existencia de solu-cions non triviais. Estas ecuacions presentan a seguinte forma

Hf + kfg = 0, k ∈ R (1)

onde f son funcions definidas sobre variedades de Riemann (M, g) conexas e com-pletas. Co afan de caracterizar os espazos de curvatura seccional constante, Obataobtivo o seguinte resultado de caracterizacion de esferas euclıdeas de curvatura sec-cional k > 0 ou equivalentemente de radio 1/

√k.

Teorema 1. [3] Sexa (M, g) unha variedade de Riemann de dimension n, completa econexa. Enton, unha condicion necesaria e suficiente para que (M, g) sexa isometricaa unha esfera euclıdea Sn(k) de curvatura seccional k > 0, e a existencia dunhafuncion non constante f : M −→ R verificando

Hf + kfg = 0 (k > 0) (2)

en (M, g).

O Teorema 1 dinos que a Ecuacion (1), con k > 0, sobre as variedades de Rie-mann (M, g), conexas e completas admite solucion non trivial se, e so se, a suavariedade dominio e a esfera euclıdea Sn(k) de curvatura seccional k. E por is-to, que dita ecuacion diferencial proporcionanos unha caracterizacion analıtica de

Esteban Calvino Louzao SII 25

Sn(k) entre as variedades de Riemann, (M, g), de dimension n, conexas e completas.

Unha cuestion natural que xorde a vista deste teorema e se se poden obterresultados similares cando suponemos k ≤ 0, sendo a resposta afirmativa. Kanai[1] demostrou que unha condicion necesaria e suficiente para que unha variedadede Riemann (M, g) de dimension n, conexa e completa sexa isometrica o productoR×N , con N unha variedade de Riemann completa, e a existencia dunha funcionnon constante f : M −→ R verificando a ecuacion Hf = 0 en (M, g). Obviamenteesto correspondese co caso no que k = 0 na Ecuacion (1).

Ademais, Kanai en [1] demostrou que unha condicion necesaria e suficiente paraque unha variedade de Riemann (M, g) de dimension n, conexa e completa sexa iso-metrica a unha componente conexa do espacio hiperbolico real Hn(k) de curvaturaseccional constante k < 0 e a existencia dunha funcion non constante f : M −→ Rcon un punto crıtico, verificando a Ecuacion (1) para k < 0 en (M, g). Aında quea simple vista a parte que involucra o espazo hiperbolico real parece ser unha ca-racterizacion dunha das suas componentes conexa mediante ecuacion diferenciais, oresultado non e do estilo dado por Obata, posto que depende da existencia dunha so-lucion particular da Ecuacion (1), e dicir, a existencia dunha solucion non constantecon un punto crıtico.

Bibliografıa

[1] M. Kanai, On a differential equation characterizing a Riemannian structure ofa manifold, Tokyo J. Math. 6 (1) (1983), 143–151.

[2] J.M. Lee, Riemannian Manifolds: An Introduction to Curvature, GraduateTexts in Mathematics 176, Springer-Verlag, New-York, 1997.

[3] M. Obata, Certain conditions for a Riemannian manifold to be isometric witha sphere, J. Math. Soc. Japan 14 (3) (1962), 333–340.


Generalized ROC curves

Vanda InacioDepartment of Statistics and Operations Research,

Universidade de Lisboa, Portugal

14 de xullo de 2011

Introduction

A medical diagnostic test is a procedure that classifies subjects as nondiseased(or healthy, D = 0) or diseased (D = 1) on the basis of some information about thatsubjects. For example, the glucose level in blood is commonly used as a diagnostictest for diabetes. In most of the cases, the information concerning each patientis of a continuous type (weight, glucose level, blood pressure, etc). In this case,the diagnostic procedure has to be made by comparing the test result, y, with athreshold or cut-off value c. Assuming that high values of y are more indicative ofdisease, we will classify all subjects whose test result is above c as diseased, and theones whose test result is below c as healthy. Hence, each threshold value c chosenwill give rise to a true positive rate, or sensitivity, TPR(c) = P(y > c|D = 1) (theprobability that a diseased subject has a positive test), and a false positive rate,or 1−specificity, FPR(c) = P(y > c|D = 0) (the probability that a healthy subjecthas a positive test). In such a situation, the receiver operating characteristic (ROC)curve is defined as the set of all TPR−FPR pairs that can be obtained by varyingthe threshold c

(TPR(c),FPR(c)), c ∈ (−∞,+∞),

or, equivalently, as the function of the form

ROC(t) = SD1(S−1D0

(t)), t ∈ (0, 1),

where SD1(y) = P(y > c|D = 1) and SD0 = P(y > c|D = 0) denote the survivalfunctions of y in the diseased and healthy populations, respectively. Related to theROC curve, several indexes can be used as summaries of the diagnostic accuracy.The area under the ROC curve, AUC =

∫ 10 ROC(t)dt is the most widely used. The

AUC takes values between 0,5 (useless test that classifies disease state no betterthan chance) and 1 (perfect test).

Until now, all considerations made were based on the assumption that highvalues in the test are more likely among diseased subjects. The extension to theopposite situation, that is, when lower values in the test are indicative of disease, istrivial. However, in some diagnostic situations, both low and high values of the test

Palabras Clave: Area under the curve; Bayesian inference; Neural activity; ROC curve

27

28 SII Generalized ROC curves

are synonyms of disease. Hereafter, we will call these tests as bilateral tests.The ROC curve, as formulated, is not suitable to deal with bilateral tests. Mis-

leading results may be obtained if one blindly applies the ’traditional’ ROC curvefor this kind of tests. [1] present a hypothetical example where a perfect bilateraltest produces a AUC of only 0,5. This fact motivated the authors to develop twonew summary measures of the ROC curve, arguing that in such situation the useof the AUC may be misleading. However, the problem is not directly related to theAUC but to the definition of the ROC curve. An appropriate, generalized, definitionof the ROC curve is needed for these tests.

Methodology

Let (y01, ... , y0n0) and (y11, ... , y1n1) be two independent random samples drawnfrom the healthy and diseased populations, respectively. To appropriately deal withbilateral tests, the diagnosis needs to be made on the basis of two thresholds. Givenan ordered pair of thresholds (c1, c2) ∈ R2, the true and false positive rates are nowdefined as

TPR(c1, c2) = P(y1i 6 c1 ∨ y1i > c2), (i = 1, ... , n1),

FPR(c1, c2) = P(y0j 6 c1 ∨ y0j > c2), (j = 1, ... , n0).

Assuming that the healthy data was sampled from a normal population with meanµ0 and standard deviation σ0, and that the diseased data was sampled from amixture of normal distributions with means µ1 and µ2, standard deviations σ1 andσ2, and mixing parameter ω, we can write

FPF(c1, c2) = Φ

(c1 − µ0

σ0

)+ Φ

(µ0 − c2σ0

),

TPF(c1, c2) = ω

[Φ

(c1 − µ1

σ1

)+ Φ

(µ1 − c2σ1

)]+ (1 − ω)

[Φ

(c1 − µ2

σ2

)+ Φ

(µ2 − c2σ2

)],

where Φ stands for the cumulative function of the standard normal distribution.The above parameters are unknown in practice and we will need to estimate them,in order to compute FPF(c1, c2) and TPF(c1, c2) and thus the ROC curve.

Inference will be carried out using Bayesian techniques. The main diffeencebetween a frequentist and a Bayesian is that a frequentist thinks of unknown para-meters as fixed and a Bayesian thinks of parameters as random, and thus comingfrom distributions (just like the data). A Bayesian writes down a prior distributionfor the unknown parameters, and combines it with the likelihood for the observeddata to obtain the posterior distribution. All posterior inferences then follow fromsummarizing the posterior.

The likelihood function isn0∏j=1

φ(y0j ;µ0, τ0)×n1∏j=1

(ωφ(y1j ;µ1, τ1))z1j × ((1− ω)φ(y1j ;µ2, τ2)1−z1j

,

where τi is the precision, which is equal to σ−2i and z1j is an indicator variable

taking the value one if the j -th observation comes from the first group of the mixturedistribution and zero otherwise. We assumed independent prior distribution for allparameters

Vanda Inacio SII 29

µi ∼ N(aµi , bµi), τi ∼ Gamma(aσi , bσi), ω ∼ Beta(δ, δ), i = 1, 2, 3.

The posterior distribution is proportional to the likelihood times the prior distri-butions. In this case, although the posterior distribution has not a closed form, thefull conditional distributions required for the Gibbs sampler are easy to obtain. AGibbs sampler is a Markov chain Monte Carlo method that samples from the fullconditional distributions when the other parameters are fixed. In the end, we willhave at hand a sample from the posterior distribution.

For future observations, the probabilities that they belong to the healthy or tothe diseased group are, respectively, given by

P(y0n+1 6 c1 ∨ y0n+1 > c2|y0) ≈1

N −m

N∑t=m+1

FPF(θ(t)0 ),

P(y1n+1 6 c1 ∨ y1n+1 > c2|y1) ≈1

N −m

N∑t=m+1

TPF(θ(t)1 ),

where θ(t)0 and θ

(t)1 are the vector parameters simulated from the posterior distri-

bution, N is the number of simulations (we discarded the first m, burn-in period).

A ’toy’ simulation

We simulated 100 observations from a N(0, 1) for the healthy group and another100 observations from 0,5N(−6, 1)+0,5N(6, 1) for the diseased group. As can be seenfrom Figure 1 (a) the simulated data corresponds to an almost perfect test. Hence,the corresponding ROC curve should lie near the upper right corner. The estimatedROC curve based on the convential definition is shown in Figure 1 (b), and we cancheck its inappropriateness when applied to bilateral tests. The corresponding AUCis 0,5. Our method produces the estimated ROC curve presented in Figure 1 (c)which is the ROC curve that may be expected from a perfect test.

−5 0 5

0.0

0.1

0.2

0.3

0.4

test result

dens

ity

(a)

0.0 0.2 0.4 0.6 0.8 1.0

0.0

0.2

0.4

0.6

0.8

1.0

FPF

TP

F

(b)

0.0 0.2 0.4 0.6 0.8 1.0

0.0

0.2

0.4

0.6

0.8

1.0

FPF

TPF

(c)

Figure 1: (a) Simulated densities; (b) Estimated ’traditional’ ROC curve; (c) Estimated genera-lized ROC curve.

Application

We analyze data from an electromyography (EMG) study. EMG is used to diag-nose diseases that generally may be classified in one of the following two: neuropat-

30 SII Generalized ROC curves

hies and myopathies. A myopathy is a muscular disease in which the muscle fibersdo not function for some reason, resulting in muscular weakness. ”Myopathy”simplymeans muscle disease (myo - ”muscle”+ pathos - ”suffering”). On the other hand, inthe neuropathy patologies the primary defect is in the nerves. Neuropathic diseasestend to have an increase in duration of the action potential, whereas myopathicdiseases tend to have a decrease in duration of such potential. The duration of theaction potential is thus taken as the diagnostic test.

Our sample consist of 52 diseased individuals and 46 nondiseased/healthy ones.From the diseased subjects, 15 of them are known to have a myopathic disease,while the other 37 have a neuropathic one.

From figure 2 (a) we can see that the normality assumption holds. The densitieshave a considerable overlap and so we do not expect a great performance of thetest to distinguish between the healthy and diseased ones. The estimated roc curve,using our method, is shown in Figure 2 (b) and the estimated AUC is about 0,6.

0 5 10 15

0.0

0.1

0.2

0.3

0.4

0.5

0.6

density.default(x = yd)

N = 52 Bandwidth = 1.174

Density

(a)

0.0 0.2 0.4 0.6 0.8 1.0

0.0

0.2

0.4

0.6

0.8

1.0

FPF

TPF

(b)

Figure 2: (a) Densities of the duration of the potention in the healthy (grey line) and diseased(solid line) groups; (b) Estimated generalized ROC curve.

Conclusions

ROC curves are a widely accepted measure of accuracy of diagnostic tests thatyields continuous or ordinal test results, but in their original formulation are notsuitable for bilateral tests. However, in practice, clinicians often face situations wherea bilateral diagnostic is needed. Due to the need of a suitable tool for such diagnostictets, we have generalized the ROC curve to the bilateral context. Our methodologyhas showed to be efficient.

Bibliografıa

[1] W.C. Lee and C.K. Hsiao, Alternative summary indices for the receiver opera-ting characteristic curve, Epidemiology 7 (1996), 605–611.


O esqueleto dun grupo de Lie

Miguel Domınguez VazquezDepartamento de Xeometrıa e Topoloxıa

19 de outubro de 2011

Desde os seus inicios ala a mediados do s. XIX, os grupos de Lie tenense conver-tido nunha disciplina matematica de grande influencia dentro e fora da MatematicaPura. A idea inicial do seu descubridor, o noruego Sophus Lie, era a de estendera teorıa de Galois para ecuacions alxebricas o eido das ecuacions diferenciais, coobxectivo de que as simetrıas destas ecuacions, convenientemente formalizadas me-diante a nocion de grupo de Lie, puidesen axudar a sua resolucion. Posteriormente,matematicos de altura como Elie Cartan, Wilhelm Killing, Hermann Weyl ou Euge-ne Dynkin desenvolveron os fundamentos da fermosa teorıa abstracta de grupos deLie, mentres que, paralelamente, o campo de aplicacions desta teorıa se ampliabamais e mais: mecanica clasica e cuantica, xeometrıa de Riemann, analise numerica,relatividade, mecanica do continuo, etc.

Neste traballo presentamos unha rapida introducion a un dos multiples aspectosdos grupos de Lie: a teorıa de estrutura dos grupos compactos. O noso obxectivosera o de construır, para o caso particular do grupo SU(3), duas configuracionsxeometricas que codifican a sua informacion fundamental: o seu sistema de raıcese, a partir deste, o seu esqueleto ou diagrama de Dynkin.

A bibliografıa existente sobre grupos de Lie e enorme, polo cal aquı simplementecitamos un par de referencias. Unha introducion asequible e co enfoque dirixido oestudo de ecuacions diferenciais e [3]. Unha exposicion bastante completa sobregrupos matriciais podese atopar en [1]. Unha referencia mais avanzada e [2], ondese pode atopar unha introducion a teorıa dos sistemas de raıces (Capıtulo II).

Grupos de Lie, grupos de matrices e alxebras de Lie

Un grupo de Lie e un grupo (i.e. un conxunto cunha operacion asociativa, conelemento neutro e inversos) que e a sua vez unha variedade diferenciable (recordeseque as variedades son xeneralizacions a dimension superior das curvas e das superfi-cies), e tal que a operacion de grupo e a inversion son aplicacions diferenciables. Osprincipais exemplos de grupos de Lie son os grupos de matrices, e dicir, subgruposdo grupo GL(n,K) das matrices n × n invertibles con coeficientes no corpo K dosreais R, dos complexos C ou dos cuaternios H. No caso dos grupos de matrices, aoperacion e a multiplicacion de matrices, o elemento neutro e a matriz identidade,e a inversion e a inversion usual de matrices.

Palabras Clave: Grupo de Lie, alxebra de Lie, sistema de raıces, diagrama de Dynkin.

31

32 SII O esqueleto dun grupo de Lie

Asociado a todo grupo de Lie G existe un obxecto que conten a sua informacionmais relevante dun xeito mais manexable: a sua alxebra de Lie g. Esta defınese comao espazo tanxente o grupo no elemento neutro, TIG, xunto cunha certa operacioninterna anticonmutativa e bilineal denominada corchete de Lie [·, ·]. En particulartoda alxebra de Lie e un espazo vectorial. Se G ⊂ GL(n,K) e matricial, g consistenas derivadas A′(0) ∈ Mn×n(K) de todas as curvas A : t 7→ A(t) ∈ G tales queA(0) = I. Equivalentemente, tratase de todas as matrices de Mn×n(K) tales quesumadas a identidade I da un elemento de G ata orde 1. O corchete de Lie de douselementos X,Y da alxebra de Lie g dun grupo matricial e simplemente o conmutadorde ambas matrices, [X,Y ] = XY − Y X.

Por exemplo, o grupo especial unitario G = SU(n) das matrices complexas uni-tarias con determinante 1 e un subgrupo de GL(n,C). En efecto, se A,B ∈ G, pordefinicion A∗A = I e B∗B = I, co cal (AB)∗(AB) = I e (A−1)∗A−1 = (AA∗)−1 = I;e como detA = detB = 1, tamen detAB = 1 e detA−1 = 1. Calculemos a sua alxe-bra de Lie g = su(n). Sexa A : t 7→ A(t) ∈ G tal que A(0) = I. Enton A(t)∗A(t) = Ie, derivando, A′(t)∗A(t)+A(t)∗A′(t) = 0; avaliando en 0 obtemos A′(0)∗+A′(0) = 0,i.e. A′(0) e unha matriz antihermitiana. Por outra parte, como detA(t) = 1, deri-vando en 0 temos que trA′(0) = 0 (a diferencial da funcion determinante e a funciontraza). Ası deducese que

g = su(n) = X ∈Mn×n(C) : X∗ +X = 0, trX = 0 .

Observese que o corchete de Lie de duas matrices de g da unha matriz de g.Existen diversas clases de grupos de Lie. Os mais sinxelos son os abelianos.

Outros grupos xa mais ricos en estrutura son os grupos compactos. Un grupo ma-tricial G ⊂ GL(n,K) dise compacto se e pechado e acotado no espazo euclideanoMn×n(K) ≡ Kn2

. Estes grupos estan clasificados e o seu estudo basease na constru-cion do seu sistema de raıces. Na seguinte seccion faremos este estudo para o casoparticular do grupo compacto SU(3).

O grupo SU(3). Calculo do sistema de raıces e diagrama de Dynkin

Propomonos agora construır o sistema de raıces e o diagrama de Dynkin deG = SU(3). Para iso, traballaremos exclusivamente a nivel de alxebras se Lie. Polotanto, todo o que faremos encadrarase no marco da Alxebra Lineal.

Como xa vimos, a alxebra de Lie de G e o seguinte subespazo vectorial real deM3×3(C), con dimension real 8:

g = su(3) =

ia1 z12 z13

−z12 ia2 z23

−z13 −z23 ia3

: ai ∈ R, zij ∈ C, a1 + a2 + a3 = 0

.

Dado que falaremos de autoespazos e autovalores de certas aplicacions lineaisdefinidas sobre g, convira complexificar este espazo vectorial real, pois por exemplo,pode haber autovalores non reais. E doado comprobar que esta complexificacion e:

gC = g⊗ C = g + ig = X ∈M3×3(C) : trX = 0 = sl(3,C),

Miguel Domınguez Vazquez SII 33

que coincide coa alxebra de Lie do grupo lineal especial complexo SL(3,C) (confor-mado polas matrices con determinante un). Notese que dimC gC = dimR g = 8.

Definimos o seguinte subespazo vectorial de gC:

h =

h1 0 0

0 h2 00 0 h3

: hi ∈ C, h1 + h2 + h3 = 0

.

Comprobase facilmente que h e unha subalxebra abeliana de gC (i.e.,[X,Y ] = XY − Y X = 0 para todo X,Y ∈ h). Podese probar tamen que nonexiste unha subalxebra abeliana de gC de dimension maior ca dim h = 2. Dise entonque h e unha subalxebra abeliana maximal ou subalxebra de Cartan de gC.

Agora, para cada i, j ∈ 1, 2, 3, definimos a matriz Eij como aquela que tentodas as entradas nulas, excepto na posicion (i, j), na que ten un 1. Para cada H ∈ h,consideramos a aplicacion lineal ad(H) : gC → gC definida por ad(H)(X) = [H,X](esta aplicacion denomınase aplicacion adxunta). Se H ∈ h e a matriz diagonal conentradas h1, h2, h3, enton para cada i 6= j temos que:

ad(H)Eij = [H,Eij ] = HEij − EijH = hiEij − hjEij = αij(H)Eij ,

onde αij : h → C e o covector (ou forma lineal) definido por αij(H) = hi − hj . Asıpois, Eij e un autovector de ad(H) con autovalor αij(H). Notese que αij = −αji.Como as matrices Eij con i 6= j xeran (sobre C) un espazo complementario a h engC, deducimos que:

gC = h⊕ gα12 ⊕ gα13 ⊕ gα23 ⊕ g−α12 ⊕ g−α13 ⊕ g−α23 ,

onde g±αij e o autoespazo simultaneo para todas as aplicacions lineais ad(H) conH ∈ h correspondente o autovalor ±αij(H). Como vimos, gαij = CEij se i < je g−αij = CEji se i > j. A descomposicion anterior de gC denomınase a descom-posicion en espazos de raıces do grupo de Lie G = SU(n) (ou da alxebra de Lieg = su(n), ou da alxebra de Lie complexa gC = sl(n,C)), mentres que os covectoresou autovalores simultaneos ±αij chamanse raıces. Esta descomposicion simplifica oestudo do corchete de Lie de gC, pois verifıcase que [gα, gβ] ⊂ gα+β, para calquerapar de raıces α e β, onde asumimos que g0 = h, e gα+β = 0 se α+ β non e raız.

En gC podemos definir unha aplicacion bilineal B con valores en C median-te B(X,Y ) = trXY . Esta e a denominada forma de Killing de gC que, en xe-ral para calquera alxebra de Lie, se define como B(X,Y ) = tr [X, [Y, ·]]. Ade-mais, −B|g e un produto interior definido positivo en g = su(3). Non obstante,nos so precisaremos a restricion de B a h, que claramente ven dada medianteB(H,H ′) = h1h

′1 + h2h

′2 + h3h

′3 ∈ C, polo cal e unha forma bilineal non dexe-

nerada.Ası pois, para cada raız αij ∈ h∗ podemos definir unha matriz Hij ∈ h me-

diante a relacion: B(H,Hij) = αij(H) para todo H ∈ h. A estas matrices Hij

denomınaselles corraıces. Unha sinxela conta indica que Hij = Eii − Ejj . Ası obte-mos 6 corraıces: H12, H21, H13, H31, H23, H32, que son opostas duas a duas. Como

34 SII O esqueleto dun grupo de Lie

ademais son matrices reais, podemolas ver coma 6 vectores no espazo euclideano 2-dimensional hR = h∩M3×3(R), dotado do produto escalar B|hR . Podemos debuxarenton estes 6 vectores no plano euclideano. Como B(Hij , Hkl) ∈ ±1 se Hij e Hkl

non son colineais, e B(Hij , Hij) = 2, deducimos que o angulo entre calquera dousdestes seis vectores e un multiplo de 60 graos, e tamen que os seis vectores tenen amesma lonxitude. Obtense polo tanto a configuracion xeometrica da figura de abai-xo a esquerda, conecida como sistema de raıces de tipo A2 (en xeral, An denota osistema de raıces de SU(n+ 1), e n e a dimension da subalxebra de Cartan).

H12

H13

H21

H32

H23

H31

α12 α23

Sistema de raıces de SU(3) Diagrama de Dynkin de SU(3)

A informacion contida no sistema de raıces podese concentrar aında mais. Paraiso, debemos fixar un conxunto de raıces simples, que consiste nun subconxunto deraıces tal que toda corraız se pode expresar como combinacion lineal das corraıcescorrespondentes as raıces simples, con todos os coeficientes enteiros e todos do mes-mo signo. No noso caso, comprobase que α12, α23 e un conxunto de raıces simplesxa que toda matriz Hij se pode escribir como combinacion lineal de H12, H23 concoeficientes enteiros e todos do mesmo signo. Agora asociamoslle a cada raız sim-ple un vertice (ou nodo) dun grafo, e conectamos ditos vertices mediante linas, doseguinte xeito. Se as corraıces correspondentes a dous nodos son vectores perpen-diculares, enton tales nodos non se unen mediante ningunha lina; se o angulo entreduas corraıces e de 120 graos, os nodos unense cunha soa lina; se o angulo e de 135graos, unense mediante 2 linas; e se o angulo e de 150 graos, mediante 3 linas. Po-dese demostrar que, para calquera sistema de raıces, non hai ningunha posibilidadedistinta das anteriores. Mediante este procedemento obtense o diagrama de Dynkindun grupo de Lie compacto.

No noso exemplo as corraıces simples H12 e H23 forman un angulo de 120 graos,co cal o diagrama de Dynkin de SU(3) e o que se amosa na figura de arriba a dereita.

Bibliografıa

[1] A. Baker, Matrix groups. An introduction to Lie group theory, Springer Under-graduate Mathematics Series, Springer-Verlag London, Ltd., 2002.

[2] A. W. Knapp, Lie groups beyond an introduction, Second edition. Progress inMathematics, 140, Birkhauser Boston, Inc., Boston, MA, 2002.

[3] P. J. Olver, Applications of Lie groups to differential equations, Second edition,Graduate texts in mathematics, 107, Springer-Verlag New York, Inc., 1993.


Juegos cooperativos con estructura de niveles

Mikel Alvarez MozosDepartamento de Estatıstica e Investigacion Operativa

2 de noviembre de 2011

La teorıa de juegos es un conjunto de herramientas matematicas para el estudiode situaciones en las que varios individuos interactuan o compiten. Por lo tanto, unjuego no es mas que una situacion de conflicto en la que hay varios agentes implica-dos. Los juegos se clasifican en dos grandes familias, por un lado tenemos los juegoscooperativos y por otro los juegos no cooperativos. Los juegos no cooperativos sonmodelos para el estudio de situaciones puramente competitivas. En consecuencia,su estudio se centra en identificar las estrategias que maximicen el beneficio indi-vidual o las estrategias que posean ciertas propiedades de estabilidad (equilibrios).En cambio, un juego cooperativo nos describe los beneficios (o costes) que puedeobtener por sı misma cada una de las posibles coaliciones de jugadores. Cuandoestos beneficios se asumen divisibles y transferibles sin perdida alguna el juego sedenomina cooperativo de utilidad transferible. En este contexto uno de los principa-les objetivos es el de proponer reglas razonables para repartir el beneficio generadoo evaluar la importancia de cada agente implicado. En este resumen trabajaremoscon juegos cooperativos de utilidad transferible, a los que llamaremos simplementejuegos. Una buena referencia introductoria a la Teorıa de Juegos es [2].

Preliminares

Formalmente, un juego es un par (N, v) donde N es un conjunto finito de ju-gadores y v : 2N = S : S ⊆ N → R es la funcion caracterıstica donde v(∅) = 0.Denotaremos por GN a la familia de juegos con conjunto de jugadores N y por G alconjunto de todos los juegos con cualquier conjunto finito de jugadores. Llamaremoscontribucion marginal de un jugador i ∈ N a una coalicion S ⊆ N \i a la cantidadv(S ∪ i) − v(S). Dado un conjunto finito N denotaremos por Π(N) al conjuntode permutaciones de N .

Un valor en G, f, es una aplicacion que asigna un vector de pagos a cada juego,es decir, f : GN → R|N |. A continuacion presentamos las definiciones explıcitas dedos de los valores en G mas estudiados en la literatura.

Definicion 1. El valor de Shapley, Sh, se define para todo (N, v) ∈ G e i ∈ N por

Shi(N, v) = 1n!

∑π∈Π(N) [v(P πi ∪ i)− v(P πi )] ,

Palabras Clave: Juegos cooperativos, Shapley, Banzhaf, niveles.

35

36 SII Juegos cooperativos con estructura de niveles

donde P πi = j ∈ N : π(j) < π(i) es el conjunto de predecesores de i respecto a π.

Definicion 2. El valor de Banzhaf, Ba, se define para todo (N, v) ∈ G e i ∈ N por

Bai(N, v) = 12n−1

∑S⊆N\i [v(S ∪ i)− v(S)] .

De las expresiones de Sh y Ba se concluye que ambos valores en G son mediasde las contribuciones marginales de un jugador. En el caso de Sh, a su conjunto depredecesores considerando que todas las permutaciones son equiprobables, mientrasque para Ba, a cualquier coalicion en la que i no participa considerando que todasestas coaliciones son equiprobables. Esta serıa, a grandes rasgos, la interpretacionprobabilıstica de los valores. Pero el principal motivo por el que estos valores enG son estudiados de forma exhaustiva en la literatura son las propiedades que ve-rifican o mas aun las propiedades que los caracterizan. Decimos que un conjuntode propiedades caracteriza un concepto de solucion cuando por un lado la solucionverifica las propiedades y por otro lado no existe ninguna otra solucion que satisfagalas propiedades. La caracterizacion de soluciones a traves de propiedades es uno delos principales objetivos de la investigacion en este area.

Estructura de niveles

El modelo presentado hasta el momento asume que cualquier conjunto de juga-dores puede cooperar y formar una coalicion. En cambio, existen muchas situacionesen las que bien sea por restricciones del entorno o por las preferencias de los jugado-res no todas las coaliciones resultan factibles. En general, los modelos que consideraneste tipo de informacion adicional se los denomina juegos con cooperacion restrin-gida. En este trabajo presentaremos aquel modelo en el que la cooperacion estarestringida por una estructura de niveles. Una forma de interpretar esta situaciones mediante la idea de la formacion de grupos de presion. Supongamos que tenemosun juego y que los jugadores forman grupos de presion para mejorar sus posibili-dades cara a un posible reparto. Estos grupos corresponderıan al primer nivel, losgrupos del primer nivel, a su vez, podrıan organizarse en nuevos grupos de presionmas amplios manteniendo siempre sus estructuras de niveles inferiores. El procesopodrıa continuar hasta tener un numero finito de niveles.

Formalmente, sea P(N) el conjunto de todas las particiones de N . Una estructu-ra de niveles es un par (N,B) donde N es un conjunto finito y B = B1, ... , Bk estal que para todo r ∈ 1, ... , k, Br ∈ P(N) y para todo r ∈ 1, ... , k − 1 Br es unrefinamiento de Br+1. Dada una estructura de niveles (N,B) con B = B1, ... , Bky un jugador i ∈ N , definimos (N,B−i) como la estructura de niveles obtenida apartir de (N,B) aislando a i en todos los niveles, es decir, B−i = B−i1 , ... , B−ik donde para todo r ∈ 1, ... , k, B−ir = U ∈ Br : i /∈ U ∪ Ur \ i, i don-de i ∈ Ur ∈ Br. Un juego con estructura de niveles no es mas que una tupla(N, v,B) donde (N, v) es un juego y (N,B) una estructura de niveles. Denota-remos por GLN a la familia de juegos con estructura de niveles y conjunto dejugadores N y por GL al conjunto de todos los juegos con estructura de niveles.

Mikel Alvarez Mozos SII 37

Observese que dado (N, v,B) ∈ GL, de forma natural se puede definir un juegocon estructura de niveles por cada nivel de B = B1, ... , Bk, para r ∈ 1, ... , kdefinimos (Br, v

r, Br) ∈ GLBr donde Br = Br, Br+1, ... , Bk y para todo S ⊆ Br,vr(S) = v(i ∈ N : ∃U ∈ S tal que i ∈ U). Un valor en GL, f, es una aplicacionf : GLN → R|N |. Este modelo se propone en [3], donde se define y caracteriza unageneralizacion de Sh a este contexto. Para definir la generalizacion de Sh, que llama-remos valor de niveles de Shapley, vamos a definir un subconjunto de Π(N) formadopor aquellas permutaciones que“respetan” la estructura de niveles. Diremos que unapermutacion respeta una particion cuando los elementos de cada una de las unionesaparecen de forma consecutiva.

Sea (N,B) una estructura de niveles donde B = B1, ... , Bk. Definiremos losconjuntos Ω(B) = Ω1(B) ⊆ Ω2(B) ⊆ ··· ⊆ Ωk(B) ⊆ Π(N) como sigue:

Ωk(B) = σ ∈ Π(N) : ∀S ∈ Bk, ∀i, j ∈ S ∈ Bk y l ∈ N,si σ(i) < σ(l) < σ(j) entonces l ∈ S.

Y para r ∈ k − 1, ... , 1 definimos de forma recursiva

Ωr(B) = σ ∈ Ωr+1(B) : ∀S ∈ Br, ∀i, j ∈ S ∈ Br y l ∈ N,si σ(i) < σ(l) < σ(j) entonces l ∈ S.

Por lo tanto, para definir el valor de niveles de Shapley consideraremos unicamentela media de las contribuciones marginales respecto a las permutaciones de Ω(B).

Definicion 3. El valor de niveles Shapley [3], ShL, es un valor en GL definido paratodo (N, v,B) ∈ GL e i ∈ N por

ShLi (N, v) =1

|Ω(B)|!∑

σ∈Ω(B)

[v(P σi ∪ i)− v(P σi )] .

Llegados a este punto nos preguntamos como podrıamos definir una generaliza-cion de Ba para juegos con estructura de niveles. Para ello necesitamos saber comoson las coaliciones a las que dan lugar los conjuntos de predecesores de aquellas per-mutaciones de Ω(B) para ası poder tomar la media de las contribuciones marginalesa cada una de estas coaliciones. Evidentemente, estas coaliciones seran distintas pa-ra cada jugador. Sea (N,B) una estructura de niveles donde B = B1, ... , Bk, paracada jugador i ∈ N , sean i ∈ U0 = i ⊆ U1 ⊆ ··· ⊆ Uk tales que Ur ∈ Br para todar ∈ 0, ... , k. La particion inducida por B en i se define como sigue:

P (i, B) =k⋃r=0

(Br)|Ur+1\Ur ,

donde Uk+1 = N . Entonces, P (i, B) ∈ P(N \ i). Denotamos mi = |P (i, B)| yP (i, B) = T1, ... , Tmi. Por ultimo, definimos el conjunto de ındicesMi = 1, ... ,mique pueden considerarse un conjunto de representantes de las uniones de P (i, B),de forma que dado un R ⊆Mi, TR = ∪r∈RTr.

38 SII Juegos cooperativos con estructura de niveles

Definicion 4. El valor de niveles Banzhaf [1], BaL, es un valor en GL definido paratodo (N, v,B) ∈ GL e i ∈ N por

BaLi (N, v,B) =∑R⊆Mi

1

2mi[v(TR ∪ i)− v(TR)] .

Diremos que un valor en GL, f generaliza un valor en G, g, si cuando considera-mos una estructura de niveles trivial, es decir, una estructura, B, cuyas particionessean bien ii∈N o bien N, f coincide con g. Es facil verificar que los valores ShL

y BaL generalizan los valores Sh y Ba. Por ultimo, vamos a presentar caracteriza-ciones paralelas de los dos valores en GL introducidos. Por paralelas entendemoscaracterizaciones a traves de propiedades comparables. Cosideremos las siguientespropiedades que un valor en GL, f, puede satisfacer:

lgp ∀(N, v,B) ∈ GL y ∀U ∈ Br ∈ B, fU (Br, vr, Br) =

∑i∈U fi(N, v,B).

slgp ∀(N, v,B) ∈ GL y ∀U = i ∈ Br ∈ B, fU (Br, vr, Br) = fi(N, v,B).

lbc ∀(N, v,B) ∈ GL con B = B0, ... , Bk y ∀i, j ∈ U ∈ B1,

fi(N, v,B)− fi(N, v,B−j) = fj(N, v,B)− fj(N, v,B

−i).

lnid ∀(N, v,B) ∈ GL con B = B0, ... , Bk y ∀i, j ∈ U ∈ B1,

fi(N, v,B) = fi(N, v,B−j).

Es facil verificar que lgp ⇒ slgp y lnid ⇒ lbc mientras que las implicacionesrecıprocas no suceden. Finalmente presentamos las dos caracterizaciones paralelasprometidas. Se han omitido tanto las interpretaciones de las propiedades como laspruebas debido al limitado espacio pero el lector interesado puede verlas en [1]. Lasdemostraciones se sustentan en resultados previos y algo de combinatoria.

Teorema 5. ShL es el unico valor en GL que generaliza Sh y satisface lgp y lbc.

Teorema 6. BaL es el unico valor en GL que generaliza Ba y satisface slgp y lnid.

Bibliografıa

[1] M. Alvarez-Mozos, O. Tejada, Parallel characterizations of a generalized Sha-pley value and a generalized Banzhaf value for cooperative games with levelsstructure of cooperation, Decision Support Systems 52 (2011), 21–27.

[2] J. Gonzalez-Dıaz, I. Garcıa-Jurado, M. G. Fiestras-Janeiro, An introductorycourse on mathematical game theory, American Mathematical Society, 2010.

[3] E. Winter, A value for cooperative games with levels structure of cooperation,International Journal of Game Theory 18 (1989), 227–240.


Una funcion caracterıstica cuaternionica

Marıa Jose Pereira SaezDepartamento de Xeometrıa e Topoloxıa

9 de novembro de 2011

Los cuaternios y el espacio vectorial cuaternionico

Los cuaternios de Hamilton (1843), H, forman un algebra no conmutativa sobreR, asociativa y con uno. Es un anillo de division, H = t+xi+yj+zk : t, x, y, z ∈ R,donde i2 = j2 = k2 = −1 y el producto viene dado por ij = −ji = k,jk = −kj = i, ki = −ik = j. Si q = t + xi + yj + zk ∈ H denotaremos Re(q) = t,Im(q) = xi+yj+zk las partes real e imaginaria de q respectivamente. El conjugadode q es q = t− xi− yj− zk.Definicion 1. Se dice que q, q′ ∈ H son similares si existe algun cuaternio no nulou tal que q′ = uqu−1.

Teorema 2. Dos cuaternios son similares si y solo si tienen la misma norma y lamisma parte real. En particular, todo cuaternio q es similar a su conjugado q.

En cuanto al espacio vectorial cuaternionico Hn, si queremos obtener los re-sultados habituales para matrices asociadas a una aplicacion lineal, es necesarioconsiderar Hn como un H-espacio vectorial por la derecha. El producto en Hn es〈u, v〉 = u∗v.

Forma compleja de una matriz cuaternionica. Dada M una matriz cuater-nionica puede expresarse de modo unico como M = X + jY con X,Y ∈Mn×n(C).

Definicion 3. Llamamos forma compleja de M ∈Mn×n(H) a

c(M) =

(X −YY X

)∈M2n×2n(C).

La forma compleja es muy util para trabajar con matrices cuaternionicas.

Proposicion 4. Sean M,N ∈Mn×n(H), entonces:

1. c(M +N) = c(M) + c(N);

2. c(M ·N) = c(M) · c(N); en particular, c(M) es inversible sii M es inversible;

3. c(M∗) = c(M)∗, donde M∗ = (M)T ;

4. c(M) es unitaria, hermıtica o normal sii M es unitaria, hermıtica o normalrespectivamente;

5. det c(M) ≥ 0 es un numero real no negativo.

Palabras Clave: autovalor izquierda, autovalor derecha, determinante de Study

39

40 SII Una funcion caracterıstica cuaternionica

Determinante. El primero en proponer en este ambito un funcional analogo aldeterminante fue A. Cayley en 1845; propone desarrollar por la primera columnatanto la matriz inicial como los menores. En 1899 aparecio un artıculo de J.M.Pierce pero no es mas que una cuidada reelaboracion de la teorıa de Cayley. Porfin, en 1920, E. Study propone transformar una matriz cuaternionica n× n en unacompleja 2n× 2n y a esta ultima hacerle el determinante complejo.

Definicion 5. Dada M ∈Mn×n(H) se define el determinante de Study de M como

Sdet(M) := (det c(M))12 .

Se observa que no es posible generalizar a los cuaternios la nocion de deter-minante ya que, necesariamente tomara valores en R. Sin embargo, las siguientespropiedades muestran que el Sdet se comporta de modo bastante similar al deter-minante complejo; de hecho, generaliza su modulo.

Proposicion 6. 1. Sdet(MN) = Sdet(M) Sdet(N);

2. Sdet(M) > 0 si y solo si M es inversible;

3. si M y N son matrices semejantes entonces Sdet(M) = Sdet(N).

Asimismo, respeta las transformaciones de filas (por la izquierda) y columnas(por la derecha).

Teorema 7. Dada una matriz formada por cajas M,N de ordenes m y n respecti-

vamente, se verifica que Sdet

(M 0∗ N

)= Sdet(M) Sdet(N).

Corolario 8. Si T = (tij) es una matriz triangular entonces Sdet(T ) = |t11 ··· tnn|.

¿Que ocurre con los autovalores?

La dificultad a la hora de estudiar los autovalores cuaternionicos radica en que,dado q ∈ H y v ∈ Hn no nulo, las ecuaciones Av = qv y Av = vq no son equivalentes.

Autovalores por la derecha

Definicion 9. Se dice que un cuaternio q ∈ H es un autovalor por la derecha de lamatriz M ∈Mn×n(H) si existe un vector v ∈ Hn, v 6= 0, tal que Mv = vq.

Proposicion 10. Los autovalores por la derecha de una matriz M ∈Mn×n(H) sonlos cuaternios similares a los autovalores complejos de su forma compleja c(M).

Notese que para una matriz compleja del tipo c(M) =

(X −YY X

)de orden

2n×2n, cada vez que aparece un autovalor aparece tambien su conjugado, de modoque, como mucho, c(M) tendra n autovalores no conjugados. En este sentido, losautovalores por la derecha son faciles de calcular. Ademas, si M,N ∈Mn×n(H) sonmatrices semejantes, es decir, tales que N = BMB−1, entonces M y N tienen losmismos autovalores por la derecha. El problema es que, en este caso, el conjunto deautovectores asociados a un autovalor no es un subespacio vectorial.

Marıa Jose Pereira Saez SII 41

Autovalores por la izquierda. La teorıa de autovalores por la izquierda dematrices cuaternionicas esta muy poco desarrollada. Un resultado de R.M.W. Wood[2] garantiza su existencia pero, en general, no se sabe cuantos autovalores por laizquierda puede tener una matriz cuaternionica de orden n. L. Huang y W. Soprobaron que una matriz 2× 2 puede tener uno, dos o infinitos autovalores (perte-necientes a diferentes clases de similitud) y caracterizaron este ultimo caso [1]. Paraorden 3 W. So obtuvo polinomios cuyas raıces son los autovalores por la izquierda.

Definicion 11. Sea M una matriz cuaternionica de orden n. Se dice que λ ∈ H esun autovalor por la izquierda de M si existe un v ∈ Hn, v 6= 0, tal que Mv = λv.Denotamos por σl(M) al espectro por la izquierda de la matriz M .

El interes de esta definicion radica en que es equivalente al hecho de que lamatriz M − λI sea singular (no ası para los autovalores por la derecha).

Proposicion 12. Los autovalores por la izquierda de M ∈Mn×n(H) son las raıcesde la ecuacion Sdet(M − λI) = 0.

El conjunto de los autovectores asociados a un autovalor por la izquierda for-man un subespacio vectorial (por la derecha). Las principales dificultades para ob-tener estos autovalores son la ausencia de determinante y el hecho de que σl(M) noes invariante por semejanza, ası como la dificultad para obtener raıces de polino-mios cuaternionicos. Sin embargo, en el caso de que las matrices sean real-similaresσl(SAS

−1) = σl(A) para S ∈ Mn×n(R). De modo que podemos permutar las filasy las columnas i, j simultaneamente.

Funcion caracterıstica. No pueden extenderse de manera sencilla los metodosdel ambito conmutativo y hasta hoy no hay un modo sistematico que permita acome-ter el estudio del espectro cuaternionico por la izquierda. En el artıculo de Wood [2]el autor hace notar que “desafortunadamente, parece no haber una funcion determi-nante adecuada en el caso cuaternionico para reducir el problema de los autovaloresal teorema fundamental del algebra.” Proponemos entonces la siguiente nocion:

Definicion 13. Una aplicacion µ : H → H es una funcion caracterıstica de lamatriz M ∈ Mn×n(H) si, salvo una constante, |µ(λ)| = Sdet(M − λI) para todoλ ∈ H.

Se verifica que λ ∈ H es un autovalor por la izquierda de M si y solo si µ(λ) = 0.Como ya dijimos, σl(M) no es invariante por semejanza. Sin embargo, si P es unamatriz real inversible, Sdet(M −λI) = Sdet(PMP−1−λI). Es decir, M y PMP−1

tienen las mismas funciones caracterısticas.

Ejemplo 14. Si D = diag(q1, ... , qn) entonces µ(λ) = (q1 − λ) ··· (qn − λ) es unafuncion caracterıstica para D. Analogamente para una matriz triangular.

A partir de la condicion Sdet(A − λI) = 0, utilizando las propiedades de Sdetobtenemos las siguientes funciones caracterısticas para matrices de ordenes 2 y 3.

42 SII Una funcion caracterıstica cuaternionica

Teorema 15. Toda matriz A =

(a bc d

)∈M2(H) tiene una funcion caracterıstica

polinomica µ(λ). Si b = 0 viene dada por µ(λ) = (d − λ)(a − λ). Cuando b 6= 0,µ(λ) = c− (d− λ)b−1(a− λ).

Consideremos ahora la matriz cuaternionica A =

a b cf g hp q r

∈ M3×3(H). En

general, para estas matrices obtendremos una funcion caracterıstica racional con unpunto de discontinuidad al que llamamos polo. En el caso en el que algun elementode fuera de la diagonal sea nulo (que se reduce a considerar c = 0) podemos daruna funcion caracterıstica polinomica de grado 3.

Cuando b, h = 0, la matriz es triangular ası que µ(λ) = (r− λ)(g− λ)(a− λ).

Si b = 0 pero h 6= 0 obtenemos µ(λ) =(q − (r − λ)h−1(g − λ)

)(a− λ).

Finalmente, si b 6= 0, µ(λ) = p−qb−1(a−λ)−(r−λ)h−1(f − (g − λ)b−1(a− λ)

).

Proposicion 16. Sea A una matriz de orden 3 tal que c 6= 0. Se puede definir unafuncion caracterıstica para A como

µ(λ) = (λ0 − λ)[(p− (r − λ)c−1(a− λ)

)−(

q − (r − λ)c−1b)

(λ0 − λ)−1(f − hc−1(a− λ)

)],

para todo λ 6= λ0, donde λ0 = g − hc−1b es el polo de A. En este puntoµ(λ0) =

(q − (r − λ0)c−1b

) (f − hc−1(a− λ0)

).

La ventaja de esta funcion caracterısitica es que nos permite hacer un estudiotopologico del espectro cuaternionico por la izquierda.

Entre las aplicaciones interesantes de este estudio se encuentra el calculo de lacategorıa LS de grupos de Lie, pues facilita la busqueda de abiertos contractiles quelos recubran.

Bibliografıa

[1] L. Huang, W. So, On left eigenvalues of a quaternionic matrix, Linear AlgebraAppl. 323 No.1-3 (2001), 105–116.

[2] R.M.W. Wood, Quaternionic eigenvalues, Bull. Lond. Math. Soc. 17 (1985),137–138.


Estimacion de conjuntos de nivel

Paula Saavedra NievesDepartamento de Estadıstica e Investigacion Operativa, Universidad de Santiago

de Compostela

23 de noviembre de 2011

Introduccion

La reconstruccion de conjuntos de nivel C(λ) = x ∈ Rd : f(x) ≥ λ, don-de λ > 0, d ≥ 1 y f denota la funcion de densidad de una variable aleatoria Xd−dimensional y absolutamente continua, constituye un problema de notable rele-vancia en el campo de la Estadıstica.

Desde un punto de vista practico, resulta util que, segun los objetivos del estudioque se desee realizar, el usuario pueda fijar la probabilidad encerrada por el conjuntoestimado. Por ejemplo, en [1] se asume que un proceso manufacturado se encuentrafuera de control si una nueva observacion no pertenece al estimador del conjunto denivel que garantiza contenido en probabilidad 1−τ , τ ∈ (0, 1). De este modo, la pro-babilidad de dar una falsa alarma queda acotada por τ . Entonces, cabe consideraruna definicion alternativa de conjunto de nivel fijado τ ∈ (0, 1),

L(τ) = x ∈ Rd : f(x) ≥ fτ

donde

fτ = ınf

y ∈ (0,∞) :

∫ ∞−∞

f(t)If(t)≥y ≤ 1− τ. (1)

−4 −2 0 2 4

0.0

0.1

0.2

0.3

0.4

ffτ

−4 −2 0 2 4

0.0

0.1

0.2

0.3

0.4

ffτ

−4 −2 0 2 4

0.0

0.1

0.2

0.3

0.4

0.5

0.6

ffτ

Figura 1: Conjuntos de nivel para τ = 0,5.

Palabras Clave: Conjunto de nivel, plug-in, exceso de masa, metodos hıbridos.

43

44 SII Estimacion de conjuntos de nivel

Dada una muestra Xn = X1, ..., Xn de X y τ ∈ (0, 1), es necesario estimarel umbral fτ que garantice el contenido en probabilidad fijado y, posteriormente,reconstruir el conjunto de nivel, L(τ), empleando alguna de las tres metodologıasexistentes: plug-in, exceso de masa y metodos hıbridos.

A traves de un completo estudio de simulacion, hemos comparado los metodosautomaticos de estimacion de conjuntos de nivel para dimension 1, dada la limitacionpresentada por algunos de ellos en terminos de dimension. A continuacion y concaracter introductorio, nos limitaremos a presentar cada una de las tres metodologıascitadas considerando, previamente, algunas herramientas matematicas utiles en estecontexto.

Herramientas matematicas y aspectos geometricos

Las distancias entre conjuntos y la forma de los mismos juegan un papel fun-damental en la estimacion de conjuntos. Consideraremos el espacio euclıdeo Rd ydenotaremos por Br(x), la bola abierta de centro x y radio r > 0.

Definicion 1. Sean A y C dos conjuntos de Borel y f una funcion de densidad.Definimos

dµf (A,C) =

∫A4C

f(t) dt,

donde 4 representa la diferencia simetrica dada por A4C = (A \ C) ∪ (C \A).

En cuanto a las propiedades geometricas, consideraremos la familia de conjun-tos convexos y r−convexos dado que algunos de los algoritmos que presentaremosasumen que el conjunto de nivel a estimar satisface tales condiciones de forma.

Definicion 2. Un conjunto A ⊂ Rd se dice convexo si para cualquier par de puntosx, y ∈ A y todo α ∈ [0, 1], se verifica que αx+ (1− α)y ∈ A.

Definicion 3. Un conjunto A ⊂ Rd cerrado se dice r−convexo, para r > 0, si

A = Cr(A) donde Cr(A) =⋂

Br(x):Br(x)∩A=∅

(Br(x))c

denota la envoltura r−convexa de A.

Metodos plug-in

Los metodos plug-in se basan en reemplazar la funcion de densidad f por unestimador no parametrico de la misma, fn, en (1). Por tanto, el estimador propuestopara el conjunto de nivel L(τ) puede escribirse como

L(τ) = x ∈ Rd : fn(x) ≥ fτ, (2)

donde fτ = fτ (fn) denota un estimador del umbral. Como estimador de la densidadsuele considerarse el estimador tipo nucleo definido por fn(x) = 1

n

∑ni=1KH(x−Xi),

Paula Saavedra Nieves SII 45

donde KH(z) = |H|−1/2K(H1/2z), con K : Rd → R denotando una funcion dedensidad simetrica fija, llamada nucleo y H, la matriz de parametros ventana o desuavizado. La eleccion del parametro de suavizado conforma el principal problemaen el contexto de estimacion no parametrica de la densidad.

Por tanto, aunque desde un punto de vista intuitivo, resulta muy sencillo mo-tivar la construccion del estimador propuesto en (2), existen dos inconvenientesfundamentales: El metodo plug-in resulta poco util si deseamos asumir ciertas res-tricciones a priori sobre la forma del conjunto de nivel, L(τ), y, al igual que sucedeen el contexto de la estimacion no parametrica de la densidad, el punto clave serala eleccion del parametro ventana.

Hasta el ano 2010, la estimacion de conjuntos de nivel ha sido tratada en laliteratura desde multiples puntos de vista sin profundizar en el desarrollo de me-todos especıficos de seleccion del parametro de suavizado. En [4] se desarrollo, porprimera vez y para dimension 1, un criterio para seleccionar la ventana en esti-macion plug-in de conjuntos de nivel minimizando una aproximacion asintotica deEdµf (L(τ), L(τ)).

Metodos de exceso de masa

La metodologıa de exceso de masa fue propuesta, de forma independiente, en[2] y en [3] para estimar conjuntos de nivel C(λ). Se caracteriza por asumir que elconjunto de nivel C(λ) maximiza el funcional

Hλ(B) = P (B)− λµ(B),

donde µ denota la medida de Lebesgue y P la distribucion d−dimensional de X.Si se supone que C(λ) pertenece a una familia de conjuntos dada se puede estimarmaximizando el funcional empırico en la familia considerada:

Hλ,n(B) = Pn(B)− λµ(B),

donde Pn denota la distribucion empırica obtenida a partir de la muestra, Xn.A diferencia de la aproximacion plug-in, el metodo de exceso de masa se caracte-

riza por imponer restricciones geometricas sobre los estimadores requeridas, ademas,para garantizar la aplicabilidad del mismo ya que, de no realizarse ningun tipode restriccion, el optimo se alcanzarıa en la propia muestra, Xn. Por tanto, estosmetodos resultan verdaderamente utiles si existe informacion a priori sobre la formadel conjunto de nivel a estimar.

Metodos hıbridos

Al igual que la metodologıa de exceso de masa, los metodos hıbridos se carac-terizan por asumir restricciones de tipo geometrico sobre la clase de conjuntos queconsideran y, de modo analogo a los metodos plug-in, parten de una estimacion noparametrica tipo nucleo de la funcion de densidad f a partir de la cual estiman elumbral fτ y definen los conjuntos

46 SII Estimacion de conjuntos de nivel

X+n = X ∈ Xn : fn(X) ≥ fτ y X−n = X ∈ Xn : fn(X) < fτ.

El metodo de suavizado granulometrico, propuesto en [5] para dimension d,impone como restriccion de forma que tanto el conjunto de nivel como su comple-mentario sean r−convexos. El estimador es calculado como una union de bolas deradio r con centros en los puntos de X+

n suficientemente alejados de X−n . En estecaso, el parametro r debe ser fijado de antemano por el usuario.

Los metodos de la envoltura convexa y r−convexa proponen como estimadoresla envoltura convexa y r−convexa del conjunto X+

n , respectivamente. Por tanto,suponen a priori que el conjunto de nivel es, segun el caso, convexo o r−convexocon r fijado, como antes, por el propio usuario.

0 2 4 6 8 10

02

46

81

0

χχn−

χχn+

0 2 4 6 8 10

02

46

81

0

Cr((χχn+))

0 2 4 6 8 10

02

46

81

0

χn−

χn+

Figura 2: Estimador de la envoltura convexa, de la envoltura r−convexa con r = 1y del metodo de suavizado granulometrico en R2.

Bibliografıa

[1] A. Baıllo, Total Error in a Plug-in Estimator of Level Sets, Stat. Probab. Lett.65 (2003), 411–417.

[2] J.A. Hartigan, Estimation of a convex density contour in two dimensions, Jour-nal of the American Statistical Association 82 (1987), 267–270.

[3] D.W. Muller, G. Sawitzki, Using excess mass estimates to investigate the mo-dality of a distribution, Preprint No. 398, SFB123, Univ. Heidelberg (1987).

[4] R.J. Samworth, M. P. Wand, Asymptotics and optimal bandwidth selection forhighest density region estimation, The Annals of Statistics 38 (2010), 1767–1792.

[5] G. Walther, Granulometric smoothing, Annals of Statistics 25 (1997), 2273–2299.


Aplicaciones de las Funciones Copula en Estadıstica

Eduardo Garcıa PortuguesDepartamento de Estatıstica e Investigacion Operativa

14 de diciembre de 2011

Introduccion

El estudio de la dependencia y la relacion entre variables aleatorias desempenaun papel fundamental en la estadıstica. Las funciones copula permiten un enfoquealternativo al tratamiento clasico de la dependencia, con la interesante ventaja deque no se ven afectadas por el comportamiento individual de las variables aleatorias.La primera parte de este trabajo se dedica a la definicion y propiedades mas impor-tantes de las funciones copula. En la segunda parte se presentan dos aplicacionesde las copulas a la estimacion de densidades y a los contrastes de bondad de ajustecon datos circular–lineales.

Funciones copula

Antes de introducir las funciones copula, conviene recordar algunos conceptosbasicos de probabilidad. Dada una variable aleatoria (v.a.) X, la funcion de distri-bucion F nos mide la probabilidad acumulada para un valor particular de X, esdecir F (x) := PX ≤ x. Si X es absolutamente continua (a.c.), entonces a la fun-cion f tal que F (x) =

∫ x−∞ f(t) dt se le denomina funcion de densidad. La extension

de estos conceptos para vectores aleatorios de dos variables (X,Y ) es sencilla. Eneste caso, se tiene la funcion de distribucion conjunta, F (x, y) := PX ≤ x, Y ≤ yy, en caso de que (X,Y ) sea a.c., la funcion de densidad conjunta f , que satisfaceF (x, y) =

∫ x−∞

∫ y−∞ f(t, s) dsdt. El comportamiento individual de las variables viene

dado por las distribuciones marginales F1(x) := F (x,+∞) y F2(y) := F (+∞, y) y,en el caso a.c., tambien por las densidades marginales asociadas f1 y f2.

Las funciones copula son distribuciones conjuntas de dos variables aleatorias uni-formes (i.e., variables que asignan la misma probabilidad a los puntos de [0, 1]) que,aplicadas adecuadamente, permiten expresar una funcion de distribucion conjuntaa partir de sus marginales. Teniendo en cuenta esto, una definicion formal de copulaes la siguiente.

Definicion 1. Una copula es una funcion C : [0, 1]2 → [0, 1] que verifica las si-guientes propiedades:

Palabras Clave: Copulas, distribucion, dependencia estadıstica.

47

48 SII Aplicaciones de las Funciones Copula en Estadıstica

1. ∀u, v ∈ [0, 1], C(u, 0) = C(0, v) = 0.

2. ∀u, v ∈ [0, 1], C(u, 1) = u y C(1, v) = v.

3. ∀u1, u2, v1, v2 ∈ [0, 1] tal que u1 ≤ u2 y v1 ≤ v2,

C(u2, v2)− C(u2, v1)− C(u1, v2) + C(u1, v1) ≥ 0.

El resultado mas importante sobre copulas y que supuso el origen de esta teorıaes el Teorema de Sklar (ver [4] para una demostracion). Aquı se presenta su versionbidimensional por razones de sencillez, pero el resultado se verifica tambien para elcaso multidimensional.

Teorema 2 (Teorema de Sklar, 1973). Sea F una funcion de distribucion conjuntacon distribuciones marginales F1 y F2. Entonces existe una copula C tal que

F (x, y) = C(F1(x), F2(y)), ∀x, y ∈ R. (1)

Si F1 y F2 son continuas, entonces C es unica. En otro caso, C esta unıvocamentedeterminada en el producto de los rangos de F1 y F2. Recıprocamente, si C es unacopula y F1 y F2 son funciones de distribucion, entonces la funcion F definida por(1) es una funcion de distribucion conjunta con distribuciones marginales F1 y F2.

Algunas propiedades

En virtud del Teorema de Sklar, es posible caracterizar muchos de los conceptosde dependencia entre dos variables X e Y a traves de su copula asociada, CXY . Noscentraremos aquı en los tres casos mas importantes: la dependencia perfecta posi-tiva, la independencia y la dependencia perfecta negativa. La dependencia perfectapositiva (resp. negativa) es equivalente a que exista una funcion creciente g (resp.decreciente) tal que Y = g(X). La siguiente proposicion recoge la caracterizacionde estos conceptos mediante copulas.

Proposicion 3. Sea CXY la copula asociada a X e Y .

1. X e Y tienen dependencia perfecta positiva ⇔ CXY (u, v) = mın(u, v).

2. X e Y son independientes ⇔ CXY (u, v) = uv.

3. X e Y tienen dependencia perfecta negativa ⇔ CXY (u, v) = max(u+v−1, 0).

4. Para toda copula C, max(u + v − 1, 0) ≤ C(u, v) ≤ mın(u, v), ∀u, v ∈ [0, 1](desigualdad de Frechet–Hoeffding).

Una buena referencia para profundizar en el estudio de las copulas es [4]. En [1] sepueden encontrar aplicaciones de las copulas a datos reales, un catalogo de copulasque han ido apareciendo en la literatura estadıstica ası como distintos metodos desimulacion.

Eduardo Garcıa Portugues SII 49

Estimacion de la densidad

El Teorema de Sklar se puede expresar en terminos de densidades derivando (1):

f(x, y) = c(F1(x), F2(y)

)f1(x)f2(y), (2)

donde c representa la densidad de la copula C. Utilizando esta representacion,podemos plantear el siguiente algoritmo para estimar f a partir de una muestra(Xi, Yi

)ni=1

:

I. Obtener estimadores para las densidades marginales f1 y f2 y calcularF1(x) =

∫ x−∞ f1(t) dt y F2(y) =

∫ y−∞ f2(t) dt.

II. Calcular la muestra artificial(F1(Xi), F2(Yi)

)ni=1

y estimar c.

III. Obtener el estimador de la densidad como f(x, y) = c(F1(x), F2(y)

)f1(x)f2(y).

Este algoritmo es particularmente interesante para estimar densidades de tipo circu-lar–lineal, es decir, densidades conjuntas en las que aparece una v.a. circular (valoresen [0, 2π) con caracter periodico; por ejemplo la direccion de incidencia del viento).Un ejemplo de densidades circular–lineales es el modelo de Johnson y Wehrly [3],donde la densidad conjunta p tiene la forma

p(θ, x) = 2πg[2π(Ψ(θ)− F (x))

]ϕ(θ)f(x), (3)

donde F y Ψ (resp. f y ϕ) representan las distribuciones (resp. densidades) mar-ginales lineal y circular respectivamente, y la funcion g representa otra densidadcircular que sirve como nexo de union entre las dos variables. Una estimacion noparametrica de (3) se puede realizar usando el algoritmo anterior y tecnicas tiponucleo para las componentes lineales y circulares.

Contrastes de bondad de ajuste

Cuando tenemos una muestra de tipo circular–lineal una pregunta que sur-ge de forma natural es si es posible suponer que la densidad de estos datos esde la forma (3). Por (2) y (3), esto es equivalente a contrastar si la hipotesisH0 : c(u, v) = 2πg

[2π(u− v)

]es cierta, donde c representa la densidad de la copula

circular–lineal de nuestros datos y g es una densidad circular cualquiera. En casode que se acepte H0, entonces podremos aplicar metodos especıficos para estimar ladensidad (3). Dada una muestra circular–lineal (Θi, Xi)ni=1, el procedimiento quese propone para contrastar H0 es el siguiente:

I. Calcular (Ui, Vi)ni=1, con Ui = 1n

∑nj=1 1Θj≤Θi y Vi = 1

n

∑nj=1 1Xj≤Xi.

II. Calcular el estimador general no parametrico de c, cH , y el estimador no pa-rametrico bajo H0, cκ. Obtener la distancia L2 en [0, 1]2 de estos estimadores:

D =

∫ 1

0

∫ 1

0[cκ(u, v)− cH(u, v)]2 dvdu.

50 SII Aplicaciones de las Funciones Copula en Estadıstica

III. Calibrar la distribucion de D mediante bootstrap:

a) Generar B remuestras bootstrap(U∗i,b, V

∗i,b

)ni=1

, b = 1, ... , B de cκ.

b) Obtener los estadısticos bootstrap:

D∗b =

∫ 1

0

∫ 1

0[c∗κ(u, v)− c∗H(u, v)]2 dvdu.

c) Obtener el p–valor aproximado como p–valor ≈ #D≤D∗b B . Si p–valor> α,

entonces se aceptaH0 con una significacion del 100α%. En caso contrario,se rechaza H0.

La estimacion cκ se realiza mediante suavizacion tipo nucleo de las componentesde (3) y la estimacion cH adaptando la propuesta de [2] al caso circular–lineal.

u

0.00.2

0.4

0.6

0.8

1.0

v

0.0

0.2

0.4

0.6

0.8

1.0

Density

0

1

2

3

c(·, ·)

u

0.00.2

0.4

0.6

0.8

1.0

v

0.0

0.2

0.4

0.6

0.8

1.0

Density

0

1

2

3

cκ(·, ·)

u

0.00.2

0.4

0.6

0.8

1.0

v

0.0

0.2

0.4

0.6

0.8

1.0

Density

0

1

2

3

cH(·, ·)

Figura 1: Comparacion de los estimadores cκ y cH de la densidad de la copula para200 puntos generados de una densidad (3). De izquierda a derecha, c, cκ y cH .

Bibliografıa

[1] E. Garcıa–Portugues, Funciones Copula en Probabilidad y Estadıstica. Aplica-ciones, Tesina de Licenciatura, Universidad de Santiago de Compostela, 2010.

[2] I. Gijbels, J. Mielniczuk, Estimating the density of a copula function, Comm.Statist. Theory Methods 19 (1990), 445–464.

[3] R.A. Johnson, T.E. Wehrly, Some angular–linear distributions and related re-gression models, J. Amer. Statist. Assoc. 73 (1978), 602–606.

[4] R.B. Nelsen, An introduction to copulas, Springer, New York, 2006.

Memoria de Actividades 2011 Instituto de Matemáticas · Instituto de Matemáticas 17 4....

Documents

Transcript of Memoria de Actividades 2011 Instituto de Matemáticas · Instituto de Matemáticas 17 4....