The Exponential Function on Banach Algebra
|
|
- Rachel Nichols
- 5 years ago
- Views:
Transcription
1 FORMALIZED MATHEMATICS Volume 12, Number 2, 2004 University of Białystok The Exponential Function on Banach Algebra Yasunari Shidama Shinshu University Nagano Summary. In this article, the basic properties of the exponential function on Banach algebra are described. MML Identifier: LOPBAN 4. The notation and terminology used here are introduced in the following papers: [17],[19],[20],[3],[4],[2],[16],[5],[1],[18],[9],[11],[12],[8],[6],[7],[13],[10], [21],[14],and[15]. For simplicity, we use the following convention: X denotes a Banach algebra, pdenotesarealnumber, w, z, z 1, z 2 denoteelementsof X, k, l, m, ndenote naturalnumbers, s 1, s 2, s 3, s, s denotesequencesof X,and r 1 denotesa sequence of real numbers. Let Xbeanonemptynormedalgebrastructureandlet x, ybeelementsof X.Wesaythat x, yarecommutativeifandonlyif: (Def.1) x y = y x. Letusnotethatthepredicate x, yarecommutativeissymmetric. Next we state a number of propositions: (1) If s 2 isconvergentand s 3 isconvergentandlim(s 2 s 3 ) = 0 X,then lims 2 =lims 3. (2) Forevery zsuchthatforeverynaturalnumber nholds s(n) = zholds lims = z. (3) If sisconvergentand s isconvergent,then s s isconvergent. (4) If sisconvergent,then z sisconvergent. (5) If sisconvergent,then s zisconvergent. 173 c 2004 University of Białystok ISSN
2 174 yasunari shidama (6) If sisconvergent,thenlim(z s) = z lims. (7) If sisconvergent,thenlim(s z) =lims z. (8) If sisconvergentand s isconvergent,thenlim(s s ) =lims lims. (9) α=0 (z s 1)(α)) κ N = z α=0 (s 1)(α)) κ N and α=0 (s 1 z)(α)) κ N = α=0 (s 1)(α)) κ N z. (10) α=0 (s 1)(α)) κ N (k) α=0 s 1 (α)) κ N (k). (11) If for every n such that n m holds s 2 (n) = s 3 (n), then α=0 (s 2)(α)) κ N (m) = α=0 (s 3)(α)) κ N (m). (12) Ifforevery nholds s 1 (n) r 1 (n)and r 1 isconvergentandlimr 1 = 0, then s 1 isconvergentandlims 1 = 0 X. Letusconsider Xandlet zbeanelementof X.Thefunctor zexpseq yieldingasequenceof Xisdefinedasfollows: (Def.2) Forevery nholds zexpseq(n) = 1 n! zn N. The scheme ExNormSpace CASE deals with a non empty Banach algebra A andabinaryfunctorfyieldingapointofa,andstatesthat: Forevery kthereexistsasequence s 1 ofasuchthatforevery n holdsif n k,then s 1 (n) =F(k, n)andif n > k,then s 1 (n) = 0 A for all values of the parameters. Next we state the proposition (13) Forevery ksuchthat 0 < kholds (k 1)! k = k!andforall m, ksuch that k mholds (m k)! ((m + 1) k) = ((m + 1) k)!. Let nbeanaturalnumber.thefunctorcoef nyieldsasequenceofreal numbers and is defined by: n! (Def.3) Foreverynaturalnumber kholdsif k n,then (Coef n)(k) = k! (n k)! andif k > n,then (Coef n)(k) = 0. Let nbeanaturalnumber.thefunctorcoefe nyieldingasequenceofreal numbers is defined by: 1 (Def.4) Foreverynaturalnumber kholdsif k n,then (Coefe n)(k) = k! (n k)! andif k > n,then (Coefe n)(k) = 0. Letusconsider X, s 1.ThefunctorShifts 1 yieldingasequenceof Xisdefined as follows: (Def.5) (Shifts 1 )(0) = 0 X andforeverynaturalnumber kholds (Shifts 1 )(k + 1) = s 1 (k). functorexpan(n,z, w)yieldsasequenceof Xandisdefinedby: (Def.6) Foreverynaturalnumber kholdsif k n,then (Expan(n,z, w))(k) = (Coef n)(k) z k N wn k N andif n < k,then (Expan(n,z,w))(k) = 0 X. functorexpane(n,z,w)yieldsasequenceof Xandisdefinedasfollows:
3 the exponential function on banach algebra 175 (Def.7) Foreverynaturalnumber kholdsif k n,then (Expane(n, z,w))(k) = (Coefe n)(k) z k N wn k N andif n < k,then (Expane(n,z, w))(k) = 0 X. functoralfa(n,z,w)yieldsasequenceof Xandisdefinedasfollows: (Def.8) Foreverynaturalnumber kholdsif k n,then (Alfa(n,z, w))(k) = zexpseq(k) α=0 wexpseq(α)) κ N(n k) and if n < k, then (Alfa(n, z,w))(k) = 0 X. Letusconsider X,let z, wbeelementsof X,andlet nbeanaturalnumber. ThefunctorConj(n,z, w)yieldsasequenceof Xandisdefinedby: (Def.9) Foreverynaturalnumber kholdsif k n,then (Conj(n,z, w))(k) = zexpseq(k) ( α=0 wexpseq(α)) κ N(n) α=0 wexpseq(α)) κ N(n k))andif n < k,then (Conj(n,z, w))(k) = 0 X. One can prove the following propositions: (14) zexpseq(n + 1) = 1 n+1 z zexpseq(n)and zexpseq(0) =1 X and zexpseq(n) z ExpSeq(n). (15) If 0 < k,then (Shifts 1 )(k) = s 1 (k 1). (16) α=0 (s 1)(α)) κ N (k) = α=0 (Shifts 1)(α)) κ N (k) + s 1 (k). (17) For all z, w such that z, w are commutative holds (z + w) n N = α=0 (Expan(n, z,w))(α)) κ N(n). 1 (18) Expane(n,z, w) = n! Expan(n,z, w). (19) Forall z, wsuchthat z, warecommutativeholds 1 n! (z + w) n N = α=0 (Expane(n,z, w))(α)) κ N(n). (20) 0 X ExpSeqisnorm-summableand (0 X ExpSeq) =1 X. Letusconsider Xandlet zbeanelementof X.Observethat zexpseqis norm-summable. Next we state a number of propositions: (21) zexpseq(0) =1 X and (Expan(0,z, w))(0) =1 X. (22) If l k,then (Alfa(k + 1,z, w))(l) = (Alfa(k, z,w))(l) + (Expane(k + 1,z, w))(l). (23) α=0 (Alfa(k +1, z,w))(α)) κ N(k) = α=0 (Alfa(k,z, w))(α)) κ N(k)+ α=0 (Expane(k + 1,z, w))(α)) κ N(k). (24) zexpseq(k) = (Expane(k, z, w))(k). (25) For all z, w such that z, w are commutative holds α=0 z + wexpseq(α)) κ N (n) = α=0 (Alfa(n, z,w))(α)) κ N(n). (26) Forall z, wsuchthat z, warecommutativeholds α=0 zexpseq(α)) κ N(k) α=0 wexpseq(α)) κ N(k) α=0 z + wexpseq(α)) κ N (k) = α=0 (Conj(k,z, w))(α)) κ N(k). (27) 0 z ExpSeq(n).
4 176 yasunari shidama (28) α=0 zexpseq(α)) κ N(k) α=0 z ExpSeq(α)) κ N(k) and α=0 z ExpSeq(α)) κ N(k) ( z ExpSeq)and α=0 zexpseq(α)) κ N(k) ( z ExpSeq). (29) 1 ( z ExpSeq). (30) α=0 z ExpSeq(α)) κ N(n) = α=0 z ExpSeq(α)) κ N(n)andif n m,then α=0 z ExpSeq(α)) κ N(m) α=0 z ExpSeq(α)) κ N(n) = α=0 z ExpSeq(α)) κ N(m) α=0 z ExpSeq(α)) κ N(n). (31) α=0 Conj(k,z, w) (α)) κ N(n) = α=0 Conj(k,z, w) (α)) κ N(n). (32) Foreveryrealnumber psuchthat p > 0thereexists nsuchthatfor every ksuchthat n kholds α=0 Conj(k,z, w) (α)) κ N(k) < p. (33) Forevery s 1 suchthatforevery kholds s 1 (k) = α=0 (Conj(k,z, w))(α)) κ N(k)holds s 1 isconvergentandlims 1 = 0 X. Let XbeaBanachalgebra.ThefunctorexpXyieldingafunctionfromthe carrierof Xintothecarrierof Xisdefinedby: (Def.10) Foreveryelement zofthecarrierof Xholds (expx)(z) = (zexpseq). Letusconsider X, z.thefunctorexpzyieldsanelementof Xandisdefined by: (Def.11) expz = (expx)(z). One can prove the following propositions: (34) Forevery zholdsexpz = (zexpseq). (35) Letgiven z 1, z 2.Suppose z 1, z 2 arecommutative.thenexp(z 1 + z 2 ) = expz 1 expz 2 andexp(z 2 +z 1 ) =expz 2 expz 1 andexp(z 1 +z 2 ) =exp(z 2 + z 1 )andexpz 1,expz 2 arecommutative. (36) Forall z 1, z 2 suchthat z 1, z 2 arecommutativeholds z 1 expz 2 =expz 2 z 1. (37) exp(0 X ) =1 X. (38) expz exp( z) =1 X andexp( z) expz =1 X. (39) expzisinvertibleand (expz) 1 =exp( z)andexp( z)isinvertible and (exp( z)) 1 =expz. (40) Forevery zandforallrealnumbers s, tholds s z, t zarecommutative. (41) Letgiven zand s, tberealnumbers.thenexp(s z) exp(t z) = exp((s+t) z)andexp(t z) exp(s z) =exp((t+s) z)andexp((s+t) z) = exp((t + s) z)andexp(s z),exp(t z)arecommutative. References [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41 46, [2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91 96, [3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55 65, [4] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1): ,
5 the exponential function on banach algebra 177 [5] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35 40, [6] Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2): , [7] Jarosław Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics, 1(3): , [8] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2): , [9] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2): , [10] Takaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83 86, [11] Jan Popiołek. Some properties of functions modul and signum. Formalized Mathematics, 1(2): , [12] Jan Popiołek. Real normed space. Formalized Mathematics, 2(1): , [13] Konrad Raczkowski and Andrzej Nędzusiak. Series. Formalized Mathematics, 2(4): , [14] Yasunari Shidama. The Banach algebra of bounded linear operators. Formalized Mathematics, 12(2): , [15] Yasunari Shidama. The series on Banach algebra. Formalized Mathematics, 12(2): , [16] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. [17] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9 11, [18] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2): , [19] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67 71, [20] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73 83, [21] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2): , Received February 13, 2004
Exponential Function on Complex Banach Algebra
FORMALIZED MATHEMATICS Volume 12, Number 3, 2004 University of Białystok Exponential Function on Complex Banach Algebra Noboru Endou Gifu National College of Technology Summary. This article is an extension
More informationThe Maclaurin Expansions
FORMALIZED MATHEMATICS Volume 13, Number 3, Pages 421 425 University of Bia lystok, 2005 The Maclaurin Expansions Akira Nishino Shinshu University Nagano, Japan Yasunari Shidama Shinshu University Nagano,
More informationFilters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices
FORMALIZED MATHEMATICS Vol2, No3, May August 1991 Université Catholique de Louvain Filters - Part II Quotient Lattices Modulo Filters and Direct Product of Two Lattices Grzegorz Bancerek Warsaw University
More informationThe Fundamental Properties of Natural Numbers
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain The Fundamental Properties of Natural Numbers Grzegorz Bancerek 1 Warsaw University Bia lystok Summary. Some fundamental properties
More informationELEMENTS OF MONTE CARLO SIMULATION
APPENDIX B ELEMENTS OF MONTE CARLO SIMULATION B. GENERAL CONCEPT The basic idea of Monte Carlo simulation is to create a series of experimental samples using a random number sequence. According to the
More informationMAT25 LECTURE 10 NOTES. = a b. > 0, there exists N N such that if n N, then a n a < ɛ
MAT5 LECTURE 0 NOTES NATHANIEL GALLUP. Algebraic Limit Theorem Theorem : Algebraic Limit Theorem (Abbott Theorem.3.3) Let (a n ) and ( ) be sequences of real numbers such that lim n a n = a and lim n =
More informationMathematics Notes for Class 12 chapter 1. Relations and Functions
1 P a g e Mathematics Notes for Class 12 chapter 1. Relations and Functions Relation If A and B are two non-empty sets, then a relation R from A to B is a subset of A x B. If R A x B and (a, b) R, then
More informationSYLLABUS AND SAMPLE QUESTIONS FOR MSQE (Program Code: MQEK and MQED) Syllabus for PEA (Mathematics), 2013
SYLLABUS AND SAMPLE QUESTIONS FOR MSQE (Program Code: MQEK and MQED) 2013 Syllabus for PEA (Mathematics), 2013 Algebra: Binomial Theorem, AP, GP, HP, Exponential, Logarithmic Series, Sequence, Permutations
More informationPermutation Factorizations and Prime Parking Functions
Permutation Factorizations and Prime Parking Functions Amarpreet Rattan Department of Combinatorics and Optimization University of Waterloo Waterloo, ON, Canada N2L 3G1 arattan@math.uwaterloo.ca June 10,
More information1 Directed sets and nets
subnets2.tex April 22, 2009 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/topo/ This text contains notes for my talk given at our topology seminar. It compares 3 different definitions of subnets.
More informationSTAT/MATH 395 PROBABILITY II
STAT/MATH 395 PROBABILITY II Distribution of Random Samples & Limit Theorems Néhémy Lim University of Washington Winter 2017 Outline Distribution of i.i.d. Samples Convergence of random variables The Laws
More informationEquivalence between Semimartingales and Itô Processes
International Journal of Mathematical Analysis Vol. 9, 215, no. 16, 787-791 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ijma.215.411358 Equivalence between Semimartingales and Itô Processes
More information3 Arbitrage pricing theory in discrete time.
3 Arbitrage pricing theory in discrete time. Orientation. In the examples studied in Chapter 1, we worked with a single period model and Gaussian returns; in this Chapter, we shall drop these assumptions
More informationDEPTH OF BOOLEAN ALGEBRAS SHIMON GARTI AND SAHARON SHELAH
DEPTH OF BOOLEAN ALGEBRAS SHIMON GARTI AND SAHARON SHELAH Abstract. Suppose D is an ultrafilter on κ and λ κ = λ. We prove that if B i is a Boolean algebra for every i < κ and λ bounds the Depth of every
More informationTEST 1 SOLUTIONS MATH 1002
October 17, 2014 1 TEST 1 SOLUTIONS MATH 1002 1. Indicate whether each it below exists or does not exist. If the it exists then write what it is. No proofs are required. For example, 1 n exists and is
More information( ) = R + ª. Similarly, for any set endowed with a preference relation º, we can think of the upper contour set as a correspondance  : defined as
6 Lecture 6 6.1 Continuity of Correspondances So far we have dealt only with functions. It is going to be useful at a later stage to start thinking about correspondances. A correspondance is just a set-valued
More informationDynamic Admission and Service Rate Control of a Queue
Dynamic Admission and Service Rate Control of a Queue Kranthi Mitra Adusumilli and John J. Hasenbein 1 Graduate Program in Operations Research and Industrial Engineering Department of Mechanical Engineering
More informationThe Binomial Theorem and Consequences
The Binomial Theorem and Consequences Juris Steprāns York University November 17, 2011 Fermat s Theorem Pierre de Fermat claimed the following theorem in 1640, but the first published proof (by Leonhard
More informationRowan University Department of Electrical and Computer Engineering
Rowan University Department of Electrical and Computer Engineering Estimation and Detection Theory Fall 203 Practice EXAM Solution This is a closed book exam. One letter-size sheet is allowed. There are
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SET THEORY MTHE6003B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. Notes are not permitted
More informationApplication of an Interval Backward Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem
Application of an Interval Backward Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem Malgorzata A. Jankowska 1, Andrzej Marciniak 2 and Tomasz Hoffmann 2 1 Poznan University
More informationarxiv:math/ v1 [math.lo] 15 Jan 1991
ON A CONJECTURE OF TARSKI ON PRODUCTS OF CARDINALS arxiv:math/9201247v1 [mathlo] 15 Jan 1991 Thomas Jech 1 and Saharon Shelah 2 Abstract 3 We look at an old conjecture of A Tarski on cardinal arithmetic
More informationCalibration Estimation under Non-response and Missing Values in Auxiliary Information
WORKING PAPER 2/2015 Calibration Estimation under Non-response and Missing Values in Auxiliary Information Thomas Laitila and Lisha Wang Statistics ISSN 1403-0586 http://www.oru.se/institutioner/handelshogskolan-vid-orebro-universitet/forskning/publikationer/working-papers/
More informationDESCENDANTS IN HEAP ORDERED TREES OR A TRIUMPH OF COMPUTER ALGEBRA
DESCENDANTS IN HEAP ORDERED TREES OR A TRIUMPH OF COMPUTER ALGEBRA Helmut Prodinger Institut für Algebra und Diskrete Mathematik Technical University of Vienna Wiedner Hauptstrasse 8 0 A-00 Vienna, Austria
More informationIntroduction to Probability Theory and Stochastic Processes for Finance Lecture Notes
Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes Fabio Trojani Department of Economics, University of St. Gallen, Switzerland Correspondence address: Fabio Trojani,
More informationIdeals and involutive filters in residuated lattices
Ideals and involutive filters in residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic SSAOS 2014, Stará Lesná, September
More informationarxiv: v1 [math.st] 18 Sep 2018
Gram Charlier and Edgeworth expansion for sample variance arxiv:809.06668v [math.st] 8 Sep 08 Eric Benhamou,* A.I. SQUARE CONNECT, 35 Boulevard d Inkermann 900 Neuilly sur Seine, France and LAMSADE, Universit
More informationThe Limiting Distribution for the Number of Symbol Comparisons Used by QuickSort is Nondegenerate (Extended Abstract)
The Limiting Distribution for the Number of Symbol Comparisons Used by QuickSort is Nondegenerate (Extended Abstract) Patrick Bindjeme 1 James Allen Fill 1 1 Department of Applied Mathematics Statistics,
More information3.4 Copula approach for modeling default dependency. Two aspects of modeling the default times of several obligors
3.4 Copula approach for modeling default dependency Two aspects of modeling the default times of several obligors 1. Default dynamics of a single obligor. 2. Model the dependence structure of defaults
More information4 Martingales in Discrete-Time
4 Martingales in Discrete-Time Suppose that (Ω, F, P is a probability space. Definition 4.1. A sequence F = {F n, n = 0, 1,...} is called a filtration if each F n is a sub-σ-algebra of F, and F n F n+1
More informationOptimal Control of Batch Service Queues with Finite Service Capacity and General Holding Costs
Queueing Colloquium, CWI, Amsterdam, February 24, 1999 Optimal Control of Batch Service Queues with Finite Service Capacity and General Holding Costs Samuli Aalto EURANDOM Eindhoven 24-2-99 cwi.ppt 1 Background
More informationAdditional questions for chapter 3
Additional questions for chapter 3 1. Let ξ 1, ξ 2,... be independent and identically distributed with φθ) = IEexp{θξ 1 })
More informationLECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS
LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS Recall from Lecture 2 that if (A, φ) is a non-commutative probability space and A 1,..., A n are subalgebras of A which are free with respect to
More informationMathematical Finance in discrete time
Lecture Notes for Mathematical Finance in discrete time University of Vienna, Faculty of Mathematics, Fall 2015/16 Christa Cuchiero University of Vienna christa.cuchiero@univie.ac.at Draft Version June
More informationA precipitous club guessing ideal on ω 1
on ω 1 Tetsuya Ishiu Department of Mathematics and Statistics Miami University June, 2009 ESI workshop on large cardinals and descriptive set theory Tetsuya Ishiu (Miami University) on ω 1 ESI workshop
More informationSy D. Friedman. August 28, 2001
0 # and Inner Models Sy D. Friedman August 28, 2001 In this paper we examine the cardinal structure of inner models that satisfy GCH but do not contain 0 #. We show, assuming that 0 # exists, that such
More informationNotes on the symmetric group
Notes on the symmetric group 1 Computations in the symmetric group Recall that, given a set X, the set S X of all bijections from X to itself (or, more briefly, permutations of X) is group under function
More informationSteepest descent and conjugate gradient methods with variable preconditioning
Ilya Lashuk and Andrew Knyazev 1 Steepest descent and conjugate gradient methods with variable preconditioning Ilya Lashuk (the speaker) and Andrew Knyazev Department of Mathematics and Center for Computational
More informationarxiv: v1 [cs.lg] 21 May 2011
Calibration with Changing Checking Rules and Its Application to Short-Term Trading Vladimir Trunov and Vladimir V yugin arxiv:1105.4272v1 [cs.lg] 21 May 2011 Institute for Information Transmission Problems,
More informationFractional Graphs. Figure 1
Fractional Graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284-2014, USA rhammack@vcu.edu Abstract. Edge-colorings are used to
More informationContinuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals
Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals Philipp Moritz Lücke (joint work with Philipp Schlicht) Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität
More informationRealizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree
Realizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree Lewis Sears IV Washington and Lee University 1 Introduction The study of graph
More informationStructural Induction
Structural Induction Jason Filippou CMSC250 @ UMCP 07-05-2016 Jason Filippou (CMSC250 @ UMCP) Structural Induction 07-05-2016 1 / 26 Outline 1 Recursively defined structures 2 Proofs Binary Trees Jason
More informationTranscendental lattices of complex algebraic surfaces
Transcendental lattices of complex algebraic surfaces Ichiro Shimada Hiroshima University November 25, 2009, Tohoku 1 / 27 Introduction Let Aut(C) be the automorphism group of the complex number field
More informationChapter 04 - More General Annuities
Chapter 04 - More General Annuities 4-1 Section 4.3 - Annuities Payable Less Frequently Than Interest Conversion Payment 0 1 0 1.. k.. 2k... n Time k = interest conversion periods before each payment n
More informationAlgebra and Number Theory Exercise Set
Algebra and Number Theory Exercise Set Kamil Niedzia lomski 1 Algebra 1.1 Complex Numbers Exercise 1. Find real and imaginary part of complex numbers (1) 1 i 2+i (2) (3 + 7i)( 3 + i) (3) ( 3+i)( 1+i 3)
More informationRemarks: 1. Often we shall be sloppy about specifying the ltration. In all of our examples there will be a Brownian motion around and it will be impli
6 Martingales in continuous time Just as in discrete time, the notion of a martingale will play a key r^ole in our continuous time models. Recall that in discrete time, a sequence ; 1 ;::: ; n for which
More informationThe Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.
The Real Numbers Here we show one way to explicitly construct the real numbers R. First we need a definition. Definitions/Notation: A sequence of rational numbers is a funtion f : N Q. Rather than write
More informationCONVERGENCE OF OPTION REWARDS FOR MARKOV TYPE PRICE PROCESSES MODULATED BY STOCHASTIC INDICES
CONVERGENCE OF OPTION REWARDS FOR MARKOV TYPE PRICE PROCESSES MODULATED BY STOCHASTIC INDICES D. S. SILVESTROV, H. JÖNSSON, AND F. STENBERG Abstract. A general price process represented by a two-component
More informationNumerical schemes for SDEs
Lecture 5 Numerical schemes for SDEs Lecture Notes by Jan Palczewski Computational Finance p. 1 A Stochastic Differential Equation (SDE) is an object of the following type dx t = a(t,x t )dt + b(t,x t
More informationFinancial Risk Management
Financial Risk Management Professor: Thierry Roncalli Evry University Assistant: Enareta Kurtbegu Evry University Tutorial exercices #4 1 Correlation and copulas 1. The bivariate Gaussian copula is given
More informationA relation on 132-avoiding permutation patterns
Discrete Mathematics and Theoretical Computer Science DMTCS vol. VOL, 205, 285 302 A relation on 32-avoiding permutation patterns Natalie Aisbett School of Mathematics and Statistics, University of Sydney,
More informationStrategies and Nash Equilibrium. A Whirlwind Tour of Game Theory
Strategies and Nash Equilibrium A Whirlwind Tour of Game Theory (Mostly from Fudenberg & Tirole) Players choose actions, receive rewards based on their own actions and those of the other players. Example,
More informationTENSOR PRODUCT IN CATEGORY O κ.
TENSOR PRODUCT IN CATEGORY O κ. GIORGIA FORTUNA Let V 1,..., V n be ĝ κ -modules. Today we will construct a new object V 1 V n in O κ that plays the role of the usual tensor product. Unfortunately in fact
More informationLattices and the Knaster-Tarski Theorem
Lattices and the Knaster-Tarski Theorem Deepak D Souza Department of Computer Science and Automation Indian Institute of Science, Bangalore. 8 August 27 Outline 1 Why study lattices 2 Partial Orders 3
More informationThe value of foresight
Philip Ernst Department of Statistics, Rice University Support from NSF-DMS-1811936 (co-pi F. Viens) and ONR-N00014-18-1-2192 gratefully acknowledged. IMA Financial and Economic Applications June 11, 2018
More informationIntroduction to POL 217
Introduction to POL 217 Brad Jones 1 1 Department of Political Science University of California, Davis January 9, 2007 Topics of Course Outline Models for Categorical Data. Topics of Course Models for
More informationDASC: A DECOMPOSITION ALGORITHM FOR MULTISTAGE STOCHASTIC PROGRAMS WITH STRONGLY CONVEX COST FUNCTIONS
DASC: A DECOMPOSITION ALGORITHM FOR MULTISTAGE STOCHASTIC PROGRAMS WITH STRONGLY CONVEX COST FUNCTIONS Vincent Guigues School of Applied Mathematics, FGV Praia de Botafogo, Rio de Janeiro, Brazil vguigues@fgv.br
More informationCase Study: Heavy-Tailed Distribution and Reinsurance Rate-making
Case Study: Heavy-Tailed Distribution and Reinsurance Rate-making May 30, 2016 The purpose of this case study is to give a brief introduction to a heavy-tailed distribution and its distinct behaviors in
More informationON THE QUOTIENT SHAPES OF VECTORIAL SPACES. Nikica Uglešić
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 21 = 532 (2017): 179-203 DOI: http://doi.org/10.21857/mzvkptxze9 ON THE QUOTIENT SHAPES OF VECTORIAL SPACES Nikica Uglešić To my Master teacher Sibe Mardešić - with
More informationA Property Equivalent to n-permutability for Infinite Groups
Journal of Algebra 221, 570 578 (1999) Article ID jabr.1999.7996, available online at http://www.idealibrary.com on A Property Equivalent to n-permutability for Infinite Groups Alireza Abdollahi* and Aliakbar
More informationThe illustrated zoo of order-preserving functions
The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second
More informationMathematical Statistics İST2011 PROBABILITY THEORY (3) DEU, DEPARTMENT OF STATISTICS MATHEMATICAL STATISTICS SUMMER SEMESTER, 2017.
Mathematical Statistics İST2011 PROBABILITY THEORY (3) 1 DEU, DEPARTMENT OF STATISTICS MATHEMATICAL STATISTICS SUMMER SEMESTER, 2017 If the five balls are places in five cell at random, find the probability
More informationLaurence Boxer and Ismet KARACA
THE CLASSIFICATION OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.
More informationLaws of probabilities in efficient markets
Laws of probabilities in efficient markets Vladimir Vovk Department of Computer Science Royal Holloway, University of London Fifth Workshop on Game-Theoretic Probability and Related Topics 15 November
More informationMartingales. by D. Cox December 2, 2009
Martingales by D. Cox December 2, 2009 1 Stochastic Processes. Definition 1.1 Let T be an arbitrary index set. A stochastic process indexed by T is a family of random variables (X t : t T) defined on a
More information4: SINGLE-PERIOD MARKET MODELS
4: SINGLE-PERIOD MARKET MODELS Marek Rutkowski School of Mathematics and Statistics University of Sydney Semester 2, 2016 M. Rutkowski (USydney) Slides 4: Single-Period Market Models 1 / 87 General Single-Period
More informationCHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION
CHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION Szabolcs Sebestyén szabolcs.sebestyen@iscte.pt Master in Finance INVESTMENTS Sebestyén (ISCTE-IUL) Choice Theory Investments 1 / 65 Outline 1 An Introduction
More informationNew tools of set-theoretic homological algebra and their applications to modules
New tools of set-theoretic homological algebra and their applications to modules Jan Trlifaj Univerzita Karlova, Praha Workshop on infinite-dimensional representations of finite dimensional algebras Manchester,
More informationCS 573: Algorithmic Game Theory Lecture date: 22 February Combinatorial Auctions 1. 2 The Vickrey-Clarke-Groves (VCG) Mechanism 3
CS 573: Algorithmic Game Theory Lecture date: 22 February 2008 Instructor: Chandra Chekuri Scribe: Daniel Rebolledo Contents 1 Combinatorial Auctions 1 2 The Vickrey-Clarke-Groves (VCG) Mechanism 3 3 Examples
More informationTHE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET
THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET MICHAEL PINSKER Abstract. We calculate the number of unary clones (submonoids of the full transformation monoid) containing the
More informationBuilding Infinite Processes from Regular Conditional Probability Distributions
Chapter 3 Building Infinite Processes from Regular Conditional Probability Distributions Section 3.1 introduces the notion of a probability kernel, which is a useful way of systematizing and extending
More informationSingle Price Mechanisms for Revenue Maximization in Unlimited Supply Combinatorial Auctions
Single Price Mechanisms for Revenue Maximization in Unlimited Supply Combinatorial Auctions Maria-Florina Balcan Avrim Blum Yishay Mansour December 7, 2006 Abstract In this note we generalize a result
More informationOutline. 1 Introduction. 2 Algorithms. 3 Examples. Algorithm 1 General coordinate minimization framework. 1: Choose x 0 R n and set k 0.
Outline Coordinate Minimization Daniel P. Robinson Department of Applied Mathematics and Statistics Johns Hopkins University November 27, 208 Introduction 2 Algorithms Cyclic order with exact minimization
More informationIntroduction to game theory LECTURE 2
Introduction to game theory LECTURE 2 Jörgen Weibull February 4, 2010 Two topics today: 1. Existence of Nash equilibria (Lecture notes Chapter 10 and Appendix A) 2. Relations between equilibrium and rationality
More informationAxiomatization of generic extensions by homogeneous partial orderings
Axiomatization of generic extensions by homogeneous partial orderings a talk at Colloquium on Mathematical Logic (Amsterdam Utrecht) May 29, 2008 (Sakaé Fuchino) Chubu Univ., (CRM Barcelona) (2008 05 29
More informationKIER DISCUSSION PAPER SERIES
KIER DISCUSSION PAPER SERIES KYOTO INSTITUTE OF ECONOMIC RESEARCH http://www.kier.kyoto-u.ac.jp/index.html Discussion Paper No. 657 The Buy Price in Auctions with Discrete Type Distributions Yusuke Inami
More informationSEMICENTRAL IDEMPOTENTS IN A RING
J. Korean Math. Soc. 51 (2014), No. 3, pp. 463 472 http://dx.doi.org/10.4134/jkms.2014.51.3.463 SEMICENTRAL IDEMPOTENTS IN A RING Juncheol Han, Yang Lee, and Sangwon Park Abstract. Let R be a ring with
More informationDistributed Function Calculation via Linear Iterations in the Presence of Malicious Agents Part I: Attacking the Network
8 American Control Conference Westin Seattle Hotel, Seattle, Washington, USA June 11-13, 8 WeC34 Distributed Function Calculation via Linear Iterations in the Presence of Malicious Agents Part I: Attacking
More informationA class of coherent risk measures based on one-sided moments
A class of coherent risk measures based on one-sided moments T. Fischer Darmstadt University of Technology November 11, 2003 Abstract This brief paper explains how to obtain upper boundaries of shortfall
More informationTutorial 4 - Pigouvian Taxes and Pollution Permits II. Corrections
Johannes Emmerling Natural resources and environmental economics, TSE Tutorial 4 - Pigouvian Taxes and Pollution Permits II Corrections Q 1: Write the environmental agency problem as a constrained minimization
More informationOn equation. Boris Bartolomé. January 25 th, Göttingen Universität & Institut de Mathémathiques de Bordeaux
Göttingen Universität & Institut de Mathémathiques de Bordeaux Boris.Bartolome@mathematik.uni-goettingen.de Boris.Bartolome@math.u-bordeaux1.fr January 25 th, 2016 January 25 th, 2016 1 / 19 Overview 1
More informationOnline Appendix Optimal Time-Consistent Government Debt Maturity D. Debortoli, R. Nunes, P. Yared. A. Proofs
Online Appendi Optimal Time-Consistent Government Debt Maturity D. Debortoli, R. Nunes, P. Yared A. Proofs Proof of Proposition 1 The necessity of these conditions is proved in the tet. To prove sufficiency,
More informationINTERIM CORRELATED RATIONALIZABILITY IN INFINITE GAMES
INTERIM CORRELATED RATIONALIZABILITY IN INFINITE GAMES JONATHAN WEINSTEIN AND MUHAMET YILDIZ A. We show that, under the usual continuity and compactness assumptions, interim correlated rationalizability
More informationX ln( +1 ) +1 [0 ] Γ( )
Problem Set #1 Due: 11 September 2014 Instructor: David Laibson Economics 2010c Problem 1 (Growth Model): Recall the growth model that we discussed in class. We expressed the sequence problem as ( 0 )=
More informationMartingale Measure TA
Martingale Measure TA Martingale Measure a) What is a martingale? b) Groundwork c) Definition of a martingale d) Super- and Submartingale e) Example of a martingale Table of Content Connection between
More informationGPD-POT and GEV block maxima
Chapter 3 GPD-POT and GEV block maxima This chapter is devoted to the relation between POT models and Block Maxima (BM). We only consider the classical frameworks where POT excesses are assumed to be GPD,
More informationPareto-optimal reinsurance arrangements under general model settings
Pareto-optimal reinsurance arrangements under general model settings Jun Cai, Haiyan Liu, and Ruodu Wang Abstract In this paper, we study Pareto optimality of reinsurance arrangements under general model
More informationPhD Qualifier Examination
PhD Qualifier Examination Department of Agricultural Economics May 29, 2015 Instructions This exam consists of six questions. You must answer all questions. If you need an assumption to complete a question,
More informationGeneralising the weak compactness of ω
Generalising the weak compactness of ω Andrew Brooke-Taylor Generalised Baire Spaces Masterclass Royal Netherlands Academy of Arts and Sciences 22 August 2018 Andrew Brooke-Taylor Generalising the weak
More informationCourse Handouts - Introduction ECON 8704 FINANCIAL ECONOMICS. Jan Werner. University of Minnesota
Course Handouts - Introduction ECON 8704 FINANCIAL ECONOMICS Jan Werner University of Minnesota SPRING 2019 1 I.1 Equilibrium Prices in Security Markets Assume throughout this section that utility functions
More informationIntroduction to stochastic finance in continuous time. P.J.C. Spreij
Introduction to stochastic finance in continuous time P.J.C. Spreij this version: January 2, 218 Preface These lecture notes have been written for and during the course Hedging en Derivaten at the Universiteit
More informationThreshold logic proof systems
Threshold logic proof systems Samuel Buss Peter Clote May 19, 1995 In this note, we show the intersimulation of three threshold logics within a polynomial size and constant depth factor. The logics are
More informationOutline of Lecture 1. Martin-Löf tests and martingales
Outline of Lecture 1 Martin-Löf tests and martingales The Cantor space. Lebesgue measure on Cantor space. Martin-Löf tests. Basic properties of random sequences. Betting games and martingales. Equivalence
More informationDynamic Portfolio Execution Detailed Proofs
Dynamic Portfolio Execution Detailed Proofs Gerry Tsoukalas, Jiang Wang, Kay Giesecke March 16, 2014 1 Proofs Lemma 1 (Temporary Price Impact) A buy order of size x being executed against i s ask-side
More informationOption Pricing under Delay Geometric Brownian Motion with Regime Switching
Science Journal of Applied Mathematics and Statistics 2016; 4(6): 263-268 http://www.sciencepublishinggroup.com/j/sjams doi: 10.11648/j.sjams.20160406.13 ISSN: 2376-9491 (Print); ISSN: 2376-9513 (Online)
More informationChapter 3. Stochastic calculus. 3.1 Decomposition of martingales
Chapter 3 Stochastic calculus In this chapter we investigate the stochastic calculus for processes which may have jumps as well as a continuous component. If X is not a continuous process, it is no longer
More informationAN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS
AN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS K. ALAN LOPER, ZACHARY MESYAN, AND GREG OMAN Abstract. We define and study two generalizations of the Krull dimension for rings, which can assume cardinal
More informationStochastic calculus Introduction I. Stochastic Finance. C. Azizieh VUB 1/91. C. Azizieh VUB Stochastic Finance
Stochastic Finance C. Azizieh VUB C. Azizieh VUB Stochastic Finance 1/91 Agenda of the course Stochastic calculus : introduction Black-Scholes model Interest rates models C. Azizieh VUB Stochastic Finance
More informationThe Theory of Interest
The Theory of Interest An Undergraduate Introduction to Financial Mathematics J. Robert Buchanan 2010 Simple Interest (1 of 2) Definition Interest is money paid by a bank or other financial institution
More information