Functional Analysis and Optimization
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Quelques Contributions À La Théorie De La Commande Optimale Déterministe Et Stochastique
Université de Limoges Habilitation à diriger des recherches présentée par Francisco J. Silva Spécialité: Mathématiques Appliquées Quelques contributions à la théorie de la commande optimale déterministe et stochastique. Mémoire présenté le 15 novembre 2016 devant le jury composé de : Yves Achdou Rapporteur Guillaume Carlier Rapporteur Eduardo Casas Rapporteur Frédéric Bonnans Examinateur Pierre Cardaliaguet Examinateur Alejandro Jofré Examinateur Filippo Santambrogio Examinateur Lionel Thibault Examinateur Samir Adly Chargé de suivi ii A Fernanda. 1 Remerciements Je tiens tout d’abord à remercier Samir Adly pour avoir généreusement ac- cepté d’être le chargé de suivi de ce mémoire. Je voudrais remercier sincérement les rapporteurs de ce mémoire: Yves Achdou, dont les travaux sur l’approximation numérique des jeux à champ moyen sont une réference dans le domaine; Guillaume Carlier, pour l’intêret qu’il a témoigné pour mes travaux; et Eduardo Casas, dont les résultats sur les conditions d’optimalité en contrôle optimale des EDPs ont inspiré ma recherche dans ce domaine. J’adresse mes remerciements aussi aux autres membres du jury: Frédéric Bonnans, mon directeur de thèse qui a toujours suivi de près mes recherches et qui m’a soutenu depuis de longues années; Pierre Cardaliaguet, qui est une réference dans les domaines de jeux différentielles et de jeux à champ moyen; Alejandro Jofré, pour son accueil toujours chaleureux lors de plusieurs séjours de recherche au CMM, Université du Chili; Filippo Santambrogio, pour son intêret pour mes travaux en jeux à champs moyen et pour m’avoir proposé généreusement de travailler avec son ancien étudiant Alpar Richárd Mészáros sur un projet dont l’idée originale lui appartenait; et Lionel Thibault, pour me faire l’honneur d’être membre de mon jury. -
Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences
Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences VOLUME 12 A Graduate-Level Book Series The titles published in this series are listed at the end of this volume. Fundamentals of Functional Analysis by S. S. Kutateladze Sobolev Institute ofMathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia Springer-Science+Business Media, B.V. A C.I.P. Catalogue record for this book is available from the Library of Congress ISBN 978-90-481-4661-1 ISBN 978-94-015-8755-6 (eBook) DOI 10.1007/978-94-015-8755-6 Translated from OCHOBbI Ij)YHK~HOHaJIl>HODO aHaJIHsa. J/IS;l\~ 2, ;l\OIIOJIHeHHoe., Sobo1ev Institute of Mathematics, Novosibirsk, © 1995 S. S. Kutate1adze Printed on acid-free paper All Rights Reserved © 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1996. Softcover reprint of the hardcover 1st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner. Contents Preface to the English Translation ix Preface to the First Russian Edition x Preface to the Second Russian Edition xii Chapter 1. An Excursion into Set Theory 1.1. Correspondences . 1 1.2. Ordered Sets . 3 1.3. Filters . 6 Exercises . 8 Chapter 2. Vector Spaces 2.1. Spaces and Subspaces ... ......................... 10 2.2. Linear Operators . 12 2.3. Equations in Operators ........................ .. 15 Exercises . 18 Chapter 3. Convex Analysis 3.1. -
Locally Convex Spaces for Which Λ(E) = Λ[E] and the Dvoretsky-Rogers Theorem Compositio Mathematica, Tome 35, No 2 (1977), P
COMPOSITIO MATHEMATICA N. DE GRANDE-DE KIMPE Locally convex spaces for which L(E) = L[E] and the Dvoretsky-Rogers theorem Compositio Mathematica, tome 35, no 2 (1977), p. 139-145 <http://www.numdam.org/item?id=CM_1977__35_2_139_0> © Foundation Compositio Mathematica, 1977, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ COMPOSITIO MATHEMATICA, Vol. 35, Fasc. 2, 1977, pag. 139-145 Noordhoff International Publishing Printed in the Netherlands LOCALLY CONVEX SPACES FOR WHICH 039B(E) = 039B [E] AND THE DVORETSKY-ROGERS THEOREM N. De Grande-De Kimpe The classical Dvoretsky-Rogers theorem states that if E is a Banach space for which l1[E] = (l(E), then E is finite dimensional. This property still holds for any (P (1 p ~) (see [5]). Recently it has been shown (see [11]) that the result remains true when one replaces e’ by any non-nuclear perfect sequence space A, having the normal topology n(A, Ax). (This situation does not contain the (P (1 p -)-case). The question whether the Dvoretsky-Rogers theorem holds for any perfect Banach sequence space A is still open. (A partial, positive answer to this problem, generalizing the é’-case for any p is given in this paper.) It seemed however more convenient to us to tackle the problem from the "locally-convex view-point". -
The Tensor Product Representation of Polynomials of Weak Type in a DF-Space
Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID 795016, 7 pages http://dx.doi.org/10.1155/2014/795016 Research Article The Tensor Product Representation of Polynomials of Weak Type in a DF-Space Masaru Nishihara1 and Kwang Ho Shon2 1 Department of Computer Science and Engineering, Faculty of Information Engineering, Fukuoka Institute of Technology, Fukuoka 811-0295, Japan 2 Department of Mathematics, College of Natural Sciences, Pusan National University, Busan 609-735, Republic of Korea Correspondence should be addressed to Kwang Ho Shon; [email protected] Received 15 December 2013; Accepted 19 February 2014; Published 27 March 2014 Academic Editor: Zong-Xuan Chen Copyright © 2014 M. Nishihara and K. H. Shon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let and be locally convex spaces over C and let ( ; ) be the space of all continuous -homogeneous polynomials from to .Wedenoteby⨂,, the -fold symmetric tensor product space of endowed with the projective topology. Then, it is well known that each polynomial ∈(; ) is represented as an element in the space (⨂,,; ) of all continuous linear mappings from ⨂,, to . A polynomial ∈(; ) is said to be of weak type if, for every bounded set of , | is weakly continuous on .Wedenoteby( ; ) the space of all -homogeneous polynomials of weak type from to . In this paper, in case that is a DF space, we will give the tensor product representation of the space ( ; .) 1. Notations and Preliminaries by B() thefamilyofallboundedsubsetsof. -
Document Downloaded From: This Paper Must Be Cited As: the Final Publication Is Available at Copyright
Document downloaded from: http://hdl.handle.net/10251/43075 This paper must be cited as: Bonet Solves, JA.; Albanese, AA.; Ricker, WJ. (2013). Convergence of arithmetic means of operators in Fréchet spaces. Journal of Mathematical Analysis and Applications. 401(1):160-173. doi:10.1016/j.jmaa.2012.11.060. The final publication is available at http://dx.doi.org/10.1016/j.jmaa.2012.11.060 Copyright Elsevier CONVERGENCE OF ARITHMETIC MEANS OF OPERATORS IN FRÉCHET SPACES ANGELA A. ALBANESE, JOSÉ BONET* AND WERNER J. RICKER Authors' addresses: Angela A. Albanese: Dipartimento di Matematica e Fisica E. De Giorgi, Università del Salento- C.P.193, I-73100 Lecce, Italy email: [email protected] José Bonet (corresponding author): Instituto Universitario de Matemática Pura y Aplicada IUMPA, Universitat Politècnica de València, E-46071 Valencia, Spain email:[email protected] telephone number: +34963879497. fax number: +34963879494. Werner J. Ricker: Math.-Geogr. Fakultät, Katholische Universität Eichstätt- Ingolstadt, D-85072 Eichstätt, Germany email:[email protected] Abstract. Every Köthe echelon Fréchet space X that is Montel and not isomorphic to a countable product of copies of the scalar eld admits a power bounded continuous linear operator T such that I ¡ T does not have closed range, but the sequence of arithmetic means of the iterates of T converge to 0 uniformly on the bounded sets in X. On the other hand, if X is a Fréchet space which does not have a quotient isomorphic to a nuclear Köthe echelon space with a continuous norm, then the sequence of arithmetic means of the iterates of any continuous linear operator T (for which (1=n)T n converges to 0 on the bounded sets) converges uniformly on the bounded subsets of X, i.e., T is uniformly mean ergodic, if and only if the range of I ¡ T is closed. -
Functional Analysis 1 Winter Semester 2013-14
Functional analysis 1 Winter semester 2013-14 1. Topological vector spaces Basic notions. Notation. (a) The symbol F stands for the set of all reals or for the set of all complex numbers. (b) Let (X; τ) be a topological space and x 2 X. An open set G containing x is called neigh- borhood of x. We denote τ(x) = fG 2 τ; x 2 Gg. Definition. Suppose that τ is a topology on a vector space X over F such that • (X; τ) is T1, i.e., fxg is a closed set for every x 2 X, and • the vector space operations are continuous with respect to τ, i.e., +: X × X ! X and ·: F × X ! X are continuous. Under these conditions, τ is said to be a vector topology on X and (X; +; ·; τ) is a topological vector space (TVS). Remark. Let X be a TVS. (a) For every a 2 X the mapping x 7! x + a is a homeomorphism of X onto X. (b) For every λ 2 F n f0g the mapping x 7! λx is a homeomorphism of X onto X. Definition. Let X be a vector space over F. We say that A ⊂ X is • balanced if for every α 2 F, jαj ≤ 1, we have αA ⊂ A, • absorbing if for every x 2 X there exists t 2 R; t > 0; such that x 2 tA, • symmetric if A = −A. Definition. Let X be a TVS and A ⊂ X. We say that A is bounded if for every V 2 τ(0) there exists s > 0 such that for every t > s we have A ⊂ tV . -
HYPERCYCLIC SUBSPACES in FRÉCHET SPACES 1. Introduction
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 7, Pages 1955–1961 S 0002-9939(05)08242-0 Article electronically published on December 16, 2005 HYPERCYCLIC SUBSPACES IN FRECHET´ SPACES L. BERNAL-GONZALEZ´ (Communicated by N. Tomczak-Jaegermann) Dedicated to the memory of Professor Miguel de Guzm´an, who died in April 2004 Abstract. In this note, we show that every infinite-dimensional separable Fr´echet space admitting a continuous norm supports an operator for which there is an infinite-dimensional closed subspace consisting, except for zero, of hypercyclic vectors. The family of such operators is even dense in the space of bounded operators when endowed with the strong operator topology. This completes the earlier work of several authors. 1. Introduction and notation Throughout this paper, the following standard notation will be used: N is the set of positive integers, R is the real line, and C is the complex plane. The symbols (mk), (nk) will stand for strictly increasing sequences in N.IfX, Y are (Hausdorff) topological vector spaces (TVSs) over the same field K = R or C,thenL(X, Y ) will denote the space of continuous linear mappings from X into Y , while L(X)isthe class of operators on X,thatis,L(X)=L(X, X). The strong operator topology (SOT) in L(X) is the one where the convergence is defined as pointwise convergence at every x ∈ X. A sequence (Tn) ⊂ L(X, Y )issaidtobeuniversal or hypercyclic provided there exists some vector x0 ∈ X—called hypercyclic for the sequence (Tn)—such that its orbit {Tnx0 : n ∈ N} under (Tn)isdenseinY . -
Arxiv:1702.07867V1 [Math.FA]
TOPOLOGICAL PROPERTIES OF STRICT (LF )-SPACES AND STRONG DUALS OF MONTEL STRICT (LF )-SPACES SAAK GABRIYELYAN Abstract. Following [2], a Tychonoff space X is Ascoli if every compact subset of Ck(X) is equicontinuous. By the classical Ascoli theorem every k- space is Ascoli. We show that a strict (LF )-space E is Ascoli iff E is a Fr´echet ′ space or E = ϕ. We prove that the strong dual Eβ of a Montel strict (LF )- space E is an Ascoli space iff one of the following assertions holds: (i) E is a ′ Fr´echet–Montel space, so Eβ is a sequential non-Fr´echet–Urysohn space, or (ii) ′ ω D E = ϕ, so Eβ = R . Consequently, the space (Ω) of test functions and the space of distributions D′(Ω) are not Ascoli that strengthens results of Shirai [20] and Dudley [5], respectively. 1. Introduction. The class of strict (LF )-spaces was intensively studied in the classic paper of Dieudonn´eand Schwartz [3]. It turns out that many of strict (LF )-spaces, in particular a lot of linear spaces considered in Schwartz’s theory of distributions [18], are not metrizable. Even the simplest ℵ0-dimensional strict (LF )-space ϕ, n the inductive limit of the sequence {R }n∈ω, is not metrizable. Nyikos [16] showed that ϕ is a sequential non-Fr´echet–Urysohn space (all relevant definitions are given in the next section). On the other hand, Shirai [20] proved the space D(Ω) of test functions over an open subset Ω of Rn, which is one of the most famous example of strict (LF )-spaces, is not sequential. -
Stability for Periodic Evolution Families of Bounded Linear Operators
Surveys in Mathematics and its Applications ISSN 1842-6298 (electronic), 1843-7265 (print) Volume 10 (2015), 61 { 93 STABILITY FOR PERIODIC EVOLUTION FAMILIES OF BOUNDED LINEAR OPERATORS Olivia Saierli Abstract The long time behavior for solutions of evolution periodic equations are reviewed. 1 Introduction The study of differential autonomous systems, especially when the "coefficients" are unbounded (the case of infinitesimal generators, for example) is well represented in the contemporary mathematics literature. The study of asymptotic behavior of solutions of systems with time-varying coefficients is more difficult since, inthis context, the well known spectral criteria (such as those existing in the autonomous case) are no longer valid. In the following, we describe the history of the issue and also we state new results concerning asymptotic behavior of solutions of non- autonomous periodic systems. Let A be a bounded linear operator acting on a Banach space X, x an arbitrary vector in X and let µ be a real parameter. First consider the autonomous system y_(t) = Ay(t); t ≥ 0 (1.1) and the associated inhomogeneous Cauchy Problem { y_(t) = Ay(t) + eiµtx; t ≥ 0 (1.2) y(0) = 0: It is well-known, [30], [6], that the system (1.1) is uniformly exponentially stable (i.e. there exist two positive constants N and ν such that ketAk ≤ Ne−νt) if and 2010 Mathematics Subject Classification: 42A16; 45A05; 47A10; 47A35; 47D06; 47G10; 93D20. Keywords: Periodic evolution families; uniform exponential stability; boundedness; evolution semigroup; almost periodic functions. This work is based on the author's PhD thesis. ****************************************************************************** http://www.utgjiu.ro/math/sma 62 O. -
A Characterisation of C*-Algebras 449
Proceedings of the Edinburgh Mathematical Society (1987) 30, 445-4S3 © A CHARACTERISATION OF C-ALGEBRAS by M. A. HENNINGS (Received 24th March 1986, revised 10th June 1986) 1. Introduction It is of some interest to the theory of locally convex "-algebras to know under what conditions such an algebra A is a pre-C*-algebra (the topology of A can be described by a submultiplicative norm such that ||x*x|| = ||x||2,Vx6/l). We recall that a locally convex ""-algebra is a complex *-algebra A with the structure of a Hausdorff locally convex topological vector space such that the multiplication is separately continuous, and the involution is continuous. Allan [3] has studied the problem for normed algebras, showing that a unital Banach •-algebra is a C*-algebra if and only if A is symmetric and the set 3B of all absolutely convex hermitian idempotent closed bounded subsets of A has a maximal element. Recalling that an element x of a locally convex algebra A is bounded if there exists A > 0 such that the set {(lx)":neN} is bounded, we find the following simple generalisation of Allan's result: Proposition 0. A unital locally convex *'-algebra A is a C'-algebra if and only if: (a) A is sequentially complete; (b) A is barreled; (c) every element of A is bounded; (d) A is symmetric; (e) the family 38 of absolutely convex hermitian idempotent closed bounded subsets of A has a maximal element Bo. Proof. For any x = x* in A, we can find X > 0 such that the closed absolutely convex hull of the set {(/bc)":ne^J} is contained in Bo. -
Saturating Constructions for Normed Spaces II
Saturating Constructions for Normed Spaces II Stanislaw J. Szarek∗ Nicole Tomczak-Jaegermann† Abstract We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X hav- ing the same property and such that (1) log dim X = O(log dim V ) and (2) ev- ery subspace of X, whose dimension is not “too small,” contains a further well- complemented subspace nearly isometric to V . This sheds new light on the struc- ture of large subspaces or quotients of normed spaces (resp., large sections or lin- ear images of convex bodies) and provides definitive solutions to several problems stated in the 1980s by V. Milman. 1 Introduction This paper continues the study of the saturation phenomenon that was dis- covered in [ST] and of the effect it has on our understanding of the structure of high-dimensional normed spaces and convex bodies. In particular, we ob- tain here a dichotomy-type result which offers a near definitive treatment of some aspects of the phenomenon. We sketch first some background ideas and hint on the broader motivation explaining the interest in the subject. Much of geometric functional analysis revolves around the study of the family of subspaces (or, dually, of quotients) of a given Banach space. In the finite dimensional case this has a clear geometric interpretation: a normed space is determined by its unit ball, a centrally symmetric convex body, subspaces correspond to sections of that body, and quotients to projections (or, more generally, linear images). Such considerations are very natural from the geometric or linear-algebraic point of view, but they also have a ∗Supported in part by a grant from the National Science Foundation (U.S.A.). -
NONARCHIMEDEAN COALGEBRAS and COADMISSIBLE MODULES 2 of Y
NONARCHIMEDEAN COALGEBRAS AND COADMISSIBLE MODULES ANTON LYUBININ Abstract. We show that basic notions of locally analytic representation the- ory can be reformulated in the language of topological coalgebras (Hopf alge- bras) and comodules. We introduce the notion of admissible comodule and show that it corresponds to the notion of admissible representation in the case of compact p-adic group. Contents Introduction 1 1. Banach coalgebras 4 1.1. Banach -Coalgebras 5 ̂ 1.2. Constructions⊗ in the category of Banach -coalgebras 6 ̂ 1.3. Banach -bialgebras and Hopf -algebras⊗ 8 ̂ ̂ 1.4. Constructions⊗ in the category of⊗ Banach -bialgebras and Hopf ̂ -algebras. ⊗ 9 ̂ 2. Banach comodules⊗ 9 2.1. Basic definitions 9 2.2. Constructions in the category of Banach -comodules 10 ̂ 2.3. Induction ⊗ 11 2.4. Rational -modules 14 ̂ 2.5. Tensor identities⊗ 15 3. Locally convex -coalgebras 16 ̂ Preliminaries ⊗ 16 3.1. Topological Coalgebras 18 3.2. Topological Bialgebras and Hopf algebras. 20 4. modules and comodules 21 arXiv:1410.3731v2 [math.RA] 26 Jul 2017 4.1. Definitions 21 4.2. Rationality 22 4.3. Quotients, subobjects and simplicity 22 4.4. Cotensor product 23 5. Admissibility 24 Appendix 28 References 29 Introduction The study of p-adic locally analytic representation theory of p-adic groups seems to start in 1980s, with the first examples of such representations studied in the works 1 NONARCHIMEDEAN COALGEBRAS AND COADMISSIBLE MODULES 2 of Y. Morita [M1, M2, M3] (and A. Robert, around the same time), who considered locally analytic principal series representations for p-adic SL2.