(Hiperespacios, teoría de la forma y topología computacional)

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Geometría y Topología, leída el 15-12-2015Esta tesis trata sobre aproximaciones de espacios métricos compactos. La aproximación y reconstrucción de espacios topológicos mediante otros más sencillos es un tema antigüo en topología geométrica. La idea es construir un espacio muy sencillo lo más parecido posible al espacio original. Como es muy difícil (o incluso no tiene sentido) intentar obtener una copia homeomorfa, el objetivo será encontrar un espacio que preserve algunas propriedades topológicas (algebraicas o no) como compacidad, conexión, axiomas de separación, tipo de homotopía, grupos de homotopía y homología, etc. Los primeros candidatos como espacios sencillos con propiedades del espacio original son los poliedros. Ver el artículo [45] para los resultados principales. En el germen de esta idea, destacamos los estudios de Alexandroff en los años 20, relacionando la dimensión del compacto métrico con la dimensión de ciertos poliedros a través de aplicaciones con imágenes o preimágenes controladas (en términos de distancias). En un contexto más moderno, la idea de aproximación puede ser realizada construyendo un complejo simplicial basado en el espacio original, como el complejo de Vietoris-Rips o el complejo de Cech y comparar su realización con él. En este sentido, tenemos el clásico lema del nervio [12, 21] el cual establece que para un recubrimiento por abiertos “suficientemente bueno" del espacio (es decir, un recubrimiento con miembros e intersecciones contractibles o vacías), el nervio del recubrimiento tiene el tipo de homotopía del espacio original. El problema es encontrar estos recubrimientos (si es que existen). Para variedades Riemannianas, existen algunos resultados en este sentido, utilizando los complejos de Vietoris-Rips. Hausmann demostró [35] que la realización del complejo de Vietoris-Rips de la variedad, para valores suficientemente bajos del parámetro, tiene el tipo de homotopía de dicha variedad. En [40], Latschev demostró una conjetura establecida por Hausmann: El tipo de homotopía de la variedad se puede recuperar utilizando un conjunto finito de puntos (suficientemente denso) para el complejo de Vietoris-Rips. Los resultados de Petersen [58], comparando la distancia Gromov-Hausdorff de los compactos métricos con su tipo de homotopía, son también interesantes. Aquí, los poliedros salen a relucir en las demostraciones, no en los resultados...This thesis is about approximations of metric compacta. The approximation and reconstruction of topological spaces using simpler ones is an old theme in geometric topology. One would like to construct a very simple space as similar as possible to the original space. Since it is very difficult (or does not make sense) to obtain a homeomorphic copy, the goal will be to find an space preserving some (algebraic) topological properties such as compactness, connectedness, separation axioms, homotopy type, homotopy and homology groups, etc. The first candidates to act as the simple spaces reproducing some properties of the original space are polyhedra. See the survey [45] for the main results. In the very beginnings of this idea, we must recall the studies of Alexandroff around 1920, relating the dimension of compact metric spaces with dimension of polyhedra by means of maps with controlled (in terms of distance) images or preimages. In a more modern framework, the idea of approximation can be carried out constructing a simplicial complex, based on our space, such as the Vietoris-Rips complex or the Cech complex, and compare its realization with it. In this direction, for example, we find the classical Nerve Lemma [12, 21] which claims that for a “good enough" open cover of the space (meaning an open covering with contractible or empty members and intersections), the nerve of the cover has the homotopy type of our original space. The problem is to find those good covers (if they exist). For Riemannian manifolds, there are some results concerning its approximation by means of the Vietoris-Rips complex. Hausmann showed [35] that the realization of the Vietoris-Rips complex of the manifold, for a small enough parameter choice, has the homotopy type of the manifold. In [40], Latschev proved a conjecture made by Hausmann: The homotopy type of the manifold can be recovered using only a (dense enough) finite set of points of it, for the Vietoris-Rips complex. The results of Petersen [58], comparing the Gromov-Hausdorff distance of metric compacta with their homotopy types, are also interesting. Here, polyhedra are just used in the proofs, not in the results...Depto. de Álgebra, Geometría y TopologíaFac. de Ciencias MatemáticasTRUEunpu

Integro-differential equations : regularity theory and Pohozaev identities

The main topic of the thesis is the study of Elliptic PDEs. It is divided into three parts: (I) integro-differential equations, (II) stable solutions to reaction-diffusion problems, and (III) weighted isoperimetric and Sobolev inequalities. Integro-differential equations arise naturally in the study of stochastic processes with jumps, and are used in Finance, Physics, or Ecology. The most canonical example of integro-differential operator is the fractional Laplacian (the infinitesimal generator of the radially symmetric stable process). In the first Part of the thesis we find and prove the Pohozaev identity for such operator. We also obtain boundary regularity results for general integro-differential operators, as explained next. In the classical case of the Laplacian, the Pohozaev identity applies to any solution of linear or semilinear problems in bounded domains, and is a very important tool in the study of elliptic PDEs. Before our work, a Pohozaev identity for the fractional Laplacian was not known. It was not even known which form should it have, if any. In this thesis we find and establish such identity. Quite surprisingly, it involves a local boundary term, even though the operator is nonlocal. The proof of the identity requires fine boundary regularity properties of solutions, that we also establish here. Our boundary regularity results apply to fully nonlinear integro-differential equations, but they improve the best known ones even for linear ones. Our work in Part II concerns the regularity of local minimizers to some elliptic equations, a classical problem in the Calculus of Variations. More precisely, we study the regularity of stable solutions to reaction-diffusion problems in bounded domains. It is a long standing open problem to prove that all stable solutions are bounded, and thus regular, in dimensions n<10. In dimensions n>=10 there are examples of singular stable solutions. The question is still open in dimensions 4<n<10. We prove here that, in domains of double revolution, all stable solutions are bounded in dimensions n<8. Except for the radial case, our result is the first partial answer valid for all nonlinearities. While studying this, we were led to some weighted Sobolev inequalities with monomial weights that were not treated in the literature. We establish them in Part III of the thesis. Our proof of such Sobolev inequalities is based on a new weighted isoperimetric inequality in R^n. It is quite surprising that, even if the weight is not radially symmetric, Euclidean balls (centered at the origin) solve this isoperimetric problem. Also in Part III, we study more general weights, and also anisotropic perimeters. We obtain a family of new isoperimetric inequalities with homogeneous weights satisfying a concavity condition. As a particular case of our results, we provide with totally new proofs of two classical results: the Wulff inequality, and the Lions-Pacella inequality.El tema principal de la tesi és l'estudi d'EDPs el·líptiques. La tesi està dividida en tres parts: (I) equacions integro-diferencials, (II) solucions estables de problemes de reacció-difusió, i (III) desigualtats isoperimètriques i de Sobolev amb pesos. Les equacions integro-differencials apareixen de manera natural en l'estudi de processos estocàstics amb salts (processos de Lévy), i s'utilitzen per modelitzar problemes en Finances, Física, o Ecologia. L'exemple més canònic d'operador integro-diferencial és el Laplacià fraccionari (el generador infinitesimal d'un procés estable i radialment simètric). A la Part I de la tesi trobem i demostrem la identitat de Pohozaev per aquest operador. També obtenim resultats de regularitat a la vora per operadors integro-diferencials més generals, tal com expliquem a continuació. En el cas clàssic del Laplacià, la identitat de Pohozaev s'aplica a qualsevol solució de problemes lineals o semilineals en dominis acotats, i és una eina molt important en l'estudi d'EDPs el·líptiques. Abans del nostre treball, no es coneixia cap identitat de Pohozaev pel Laplacià fraccionari. Ni tan sols es sabia quina forma hauria de tenir, en cas que existís. En aquesta tesi trobem i demostrem aquesta identitat. Sorprenentment, la identitat involucra un terma de vora local, tot i que l'operador és no-local. La demostració de la identitat requereix conèixer el comportament precís de les solucions a la vora, cosa que també obtenim aquí. Els nostres resultats de regularitat a la vora s'apliquen a equacions integro-diferencials completament no-lineals, però milloren els resultats anteriors fins i tot per a equacions lineals. A la Part II estudiem la regularitat dels minimitzants locals d'algunes equacions el·líptiques, un problema clàssic del Càlcul de Variacions. En concret, estudiem la regularitat de les solucions estables a problemes de reacció-difusió en dominis acotats. És un problema obert des de fa molts anys demostrar que totes les solucions estables són acotades (i per tant regulars) en dimensions n=10 hi ha exemples de solucions estables singulars. La questió encara està oberta en dimensions 4<n<10. Aquí demostrem que, en dominis de doble revolució, totes les solucions estables són acotades en dimensions n<8. Excepte el cas radial, el nostre resultat és la primera resposta parcial vàlida per a totes les nolinealitats en dimensions 5, 6 i 7. Mentre estudiavem aquest problema, ens vam trobar amb desigualtats de Sobolev amb pesos monomials que no havien estat tractades a la literatura. A la Part III, demostrem aquestes desigualtats. La nostra demostració d'aquestes desigualtats de Sobolev es basa en una nova desigualtat isoperimètrica a R^n amb un pes. És bastant sorprenent que, tot i que el pes no és radialment simètric, les boles (centrades a l'origen) resolen aquest problema isoperimètric. També a la Part III, estudiem pesos més generals, i també perímetres no-isotròpics. Obtenim una nova família de desigualtats isoperimètriques amb pesos homogenis que satisfan una condició de concavitat. Com a cas particular dels nostres resultats, donem demostracions totalment noves de dos resultats clàssics: la desigualtat de Wulff, i la desigualtat de Lions-Pacella

Dynamical Systems

Complex systems are pervasive in many areas of science integrated in our daily lives. Examples include financial markets, highway transportation networks, telecommunication networks, world and country economies, social networks, immunological systems, living organisms, computational systems and electrical and mechanical structures. Complex systems are often composed of a large number of interconnected and interacting entities, exhibiting much richer global scale dynamics than the properties and behavior of individual entities. Complex systems are studied in many areas of natural sciences, social sciences, engineering and mathematical sciences. This special issue therefore intends to contribute towards the dissemination of the multifaceted concepts in accepted use by the scientific community. We hope readers enjoy this pertinent selection of papers which represents relevant examples of the state of the art in present day research. [...

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)

The Symposium on Theoretical Aspects of Computer Science (STACS) is held alternately in France and in Germany. The conference of February 26-28, 2009, held in Freiburg, is the 26th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), Marseille (2006), Aachen (2007), and Bordeaux (2008). ..

Generalized averaged Gaussian quadrature and applications

A simple numerical method for constructing the optimal generalized averaged Gaussian quadrature formulas will be presented. These formulas exist in many cases in which real positive GaussKronrod formulas do not exist, and can be used as an adequate alternative in order to estimate the error of a Gaussian rule. We also investigate the conditions under which the optimal averaged Gaussian quadrature formulas and their truncated variants are internal

MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications

Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described

The Universality Problem

The theme of this thesis is to explore the universality problem in set theory in connection to model theory, to present some methods for finding universality results, to analyse how these methods were applied, to mention some results and to emphasise some philosophical interrogations that these aspects entail. A fundamental aspect of the universality problem is to find what determines the existence of universal objects. That means that we have to take into consideration and examine the methods that we use in proving their existence or nonexistence, the role of cardinal arithmetic, combinatorics etc. The proof methods used in the mathematical part will be mostly set-theoretic, but some methods from model theory and category theory will also be present. A graph might be the simplest, but it is also one of the most useful notions in mathematics. We show that there is a faithful functor F from the category L of linear orders to the category G of graphs that preserves model theoretic-related universality results (classes of objects having universal models in exactly the same cardinals, and also having the same universality spectrum). Trees constitute combinatorial objects and have a central role in set theory. The universality of trees is connected to the universality of linear orders, but it also seems to present more challenges, which we survey and present some results. We show that there is no embedding between an ℵ2-Souslin tree and a non-special wide ℵ2 tree T with no cofinal branches. Furthermore, using the notion of ascent path, we prove that the class of non-special ℵ2-Souslin tree with an ω-ascent path a has maximal complexity number, 2ℵ2 = ℵ3. Within the general framework of the universality problem in set theory and model theory, while emphasising their approaches and their connections with regard to this topic, we examine the possibility of drawing some philosophical conclusions connected to, among others, the notions of mathematical knowledge, mathematical object and proof