DOCSLIB.ORG

On Frechet Derivatives with Application to the Inverse Function Theorem of Ordinary Differential Equations Eziokwu C

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Frechet Derivatives with Application to the Inverse Function Theorem of Ordinary Differential Equations Eziokwu C ISSN 2581-3463 REVIEW ARTICLE On Frechet Derivatives with Application to the Inverse Function Theorem of Ordinary Differential Equations Eziokwu C. Emmanuel Department of Mathematics, Michael Okpara University of Agriculture, Umudike, Abia State, Nigeria Received: 25-10-2019; Revised: 15-11-2019; Accepted: 01-01-2020 ABSTRACT In this paper, the Frechet differentiation of functions on Banach space was reviewed. We also investigated that it is algebraic properties and its relation by applying the concept to the inverse function theorem of the ordinary differential equations. To achieve the feat, some important results were considered which finally concluded that the Frechet derivative can extensively be useful in the study of ordinary differential equations. Key words: Banach space, Frechet differentiability, Lipschitz function, inverse function theorem 2010 Hematics Subject Classification: 46B25 INTRODUCTION The Frechet derivative, a result in mathematical analysis, is derivative usually defined on Banach spaces. It is often used to formalize the functional derivatives commonly used in physics, particularly quantum field theory. The purpose of this work is to review some results obtained on the theory of the derivatives and apply it to the inverse function theorem in ordinary differential equations.[1-5] DERIVATIVES Definition 1.1 (Kaplon [1958]) Let f be an operator mapping a Banach space X into a Banach space Y. If there exists a bounded linear operator T from X into Y such that fx ( 00+∆ x) − fx( ) − T() ∆ x lim = 0 (1.1) ∆→x 0 ∆x or, fx( +− thfx) ( ) lim = Thx ( ) t →0 t or fx( +− y) fx( ) − T (y) lim = 0 (1.1) y →0 y then P is said to be Frechet differentiable at x0, and the bounded linear operator , Px( 0 ) = T (1.2) Address for correspondence: Eziokwu C. Emmanuel E-mail: [email protected] www.ajms.com 1 Emmanuel: Frechet derivatives is called the first Frechet – derivative of f at x0. The limit in (1.1) is supposed to hold independent of the way that ∆x approaches 0. Moreover, the Frechet differential , fx ( 00, ∆= x) f( x) ∆ x is an arbitrary close approximation to the difference fx ( 00+∆ x) − f () x relative to ∆x , for ∆x small. If f1 and f2 are differentiable at x0, then ′ ′′ ( f1+=+ f 2) ( x 0) fx 10( ) fx 20( ) Moreover, if f2 is an operator from a Banach space X into a Banach space Z, and f1 is an operator from Z into a Banach space Y, their composition ff12 is defined by ( f1 f 2)( x) = f 12( f( x)), for all x ∈ X We know that ff12 is differentiable at x0 if f2 is differentiable at x0 and f1 is differentiable at f2 (x0) of Z, with (chain rule): ′ ′′ ( f1 f 2) ( x) = f 1( fx 20( )) f 2 () x 0 To differentiate an operator f we write: fx( 0+∆ x) − fx( 00) = Tx( , ∆ x) ∆ x + ( x 0, ∆ x), where Tx(,0 ∆ x ) is a bounded linear operator for given xx0 , ∆ with limTx (0 , ∆= x) T (1.3) ∆→x 0 and (xx0 , ∆ ) lim = 0 (1.4) ∆→x 0 ∆x Estimate (1.3) and (1.4) give limTx (0 , ∆= x) f′ ∆→x 0 If Tx(0 , ∆ x) is a continuous function of ∆x in some ball ∪>(0, RR),( 0), then Tx ( 00, 0) = f′( x ) We now present the definition of a mosaic: Higher – orderer derivatives can be defined by induction: Definition 1.2 (Argyros [2005]) If f is (m – 1) – times Frechet – differentiable (m ≥ 2 an integer) and an m – linear operator A from X into Y exists such that (mm−− 1) ( 1) fxxfxAx( 00+∆ ) − ( ) − () ∆ lim = 0 (1.5) ∆→x 0 ∆x then A is called the m – Frechet – derivative of f at x0, and ()m Af= () x0 (1.6) AJMS/Jan-Mar-2020/Vol 4/Issue 1 2 Emmanuel: Frechet derivatives Definition 1.3 (Koplan [1958]) nm Suppose fU:�⊆→��RR� where U is an open set, the function f � is classically differentiable at xU0 ��∈ if ∂fi The partial derivatives of f, fori=…=…1 mandj 1 nexistsatx0 , ∂x j ∂fi mn x The Jacobean matrix Jx( 00) = ( x) ∈ R satisfies ∂x j fx( ) −− fx( 00) Jx( o )( x − x) lim = 0 . xx → 0 xx− 0 We say that the Jacobean matrix Jx()0 is the derivative of f at x0 that is called total derivative Higher partial derivatives in product spaces can be defined as follows: Define Xij = TX(j , X i ) (1.7) where X1, X2,… are Banach spaces and TX(ji , X) is the space of bounded linear operators from X j into X i . The elements of X ij are denoted by Tij , etc. Similarly, Xijm = TX( m , X ij ) = TX(jk , X ij12 j …− jm 1), (1.8) which denotes the space of bonded linear operators from X jm into Xij1 j 2 … jm – 1 . The elements A = Aij12 j … jm are a generalization of m – linear operators. Consider an operator f1 from space n Xx= ∏ jp (1.9) p=1 into X i , and that fi has a partial derivative of orders 1,2,… , m – 1 in some ball ∪(xR0 , ), where R > 0 and (00) ( ) ( 0) x0=( xxj 12, j, …∈ , x jn ) X For simplicity and without loss of generality, we (Frechet [1906]) remember the original spaces so that j12 = 1, j =…= 2, , jnn hence, we write (00) ( ) ( 0) x0 =( xx1, 2 , … , xn ) A partial derivative of order ( m – 1 ) of fi at x0 is an operator (m− 1) ∂ fxi ()0 Aiq12 q…− qm 1= (1.10) ∂xxq12 ∂ q …∂ x qm− 1 (in X iq12 q…− qm 1) where 1 ≤ qq12, , …≤ , qm− 1 n AJMS/Jan-Mar-2020/Vol 4/Issue 1 3 Emmanuel: Frechet derivatives Let PX()qm denote the operator from X qm into X iq1 q2…− qm 1 obtained by letting (0) xjj= x, jq ≠ m for some qmm, 1 ≤≤ qn . Moreover, if mm−1 ' (0) ∂∂fxii()00 ∂ fx () Px( qm ) = . = , (1.11) ∂xqm ∂ xx q12 ∂ q …∂ x qm− 1 ∂ x q 1 …∂ x qm exists, it will be called the partial Frechet – derivative of order ��m of fi with respect to xxq1 ,… , qm at x0 Furthermore, if fi is Frechet – differentiable m times at x0 , then m m ∂ fxi ( 0 ) ∂ fxi ()0 xxq1…= qm xxs1… sm (1.12) ∂xq1 …∂ x qm ∂ xxs12 ∂ q …∂ x sm For any permutation ss12, ,… , sm of integers qq12, ,… , qm and any choice of point xxq1,,… qm , from XXq1,,… qm , respectively. Hence, if ff = (1 , … , ft ) is an operator from XX = 12 + X +…+ Xn into YY = 12 + Y +…+ Yt then m ()m ∂ fi fx( 0 ) = (1.13) ∂xxj1 …∂ jm xx= 0 (00) ( ) ( 0) i =…1 , 2, , tj, 12, j, …=…, jm 1 , 2, n is called the m – Frechet derivative of F � at x 0 = (xx12 , ,… , xn ) . Integration[6] In this subsection, we due to (Pantryagin [1962]) state results concerning the mean value theorem, Taylor’s theorem and Riemannian integration without the proofs. Hence the mean value theorem for differentiable real functions � f is stated as follows: fb( ) – fa( ) = f’( c ) ( b – a), Where c ∈(ab , ), does not hold in a Banach space setting. However, if F is a differentiable operator between two Banach spaces XY and , then fx( ) −≤ fy( ) sup f′ ( x ) . x − y x ∈ L (,) xy where T( xy,) = { z: z = y +−(1 ) x, 0 ≤≤ 1} Set zx() = y +− (1 ) , 0 ≤≤ 1, Divide the interval 0≤≤ 1 into n subintervals of lengths ∆=…i , in1, 2, , , choose points i� inside corresponding subintervals and as in the real Riemann integral consider sums AJMS/Jan-Mar-2020/Vol 4/Issue 1 4 Emmanuel: Frechet derivatives n ∑∑ff(ii)∆= ( ii) ∆ i=1 where is the partition of the interval, and set = max ∆ i (i) Definition 1.4 (Ince [1956]) If Sf= lim (ii)∆ →0 ∑ exists, then it is called the Riemann integral from f () on [0,1], denoted by 1 y Sfd= ∫∫() = fd( ) 0 x Definition 1.5[7] A bounded operator P () on [0,1] such that the set of points of discontinuity is of measure zero is said to be integrable on [,01]. Theorem 1.1 (Day [1973]) ()m If F � is m – times Frechet – differentiable in Ux(0 , R), R > 0 , and fx() is integrable from x to any ∈U(xR0 , ) then m−1 1 (n) n f( y) = f( x) + ∑ f( x)( y −+ x) Rm ( xy, ), (1.14) n=1 n! m−1 m 1 n yx− fy( ) − ∑ f(nm) ( xy)( −≤ x) sup f( ) ( x) , (1.15) n=0 nm!!x ∈ L ( xy, ) where 1 m−1 ()mm(1− ) R xy,= f( y +− 1 x) ( y − x ) d (1.16) m ( ) ∫ ( ) 0 (m −1!) THEOREMS AND PROPERTIES[8,9] Definition 2.1 (Arthanasius [1973]) Assume that XY,� are Banach spaces, S is an open subset of X and f: S → Y, is continuous and Frechet differentiable at every point of S , Moreover, assume that for every ∈> 0 there exists ()∈ > 0 such that ' (i) If x12, x , ∈ S with x1 −≤∈ x 2 ( C ) then [f( x12) − fx ( )] h ≤∈ h ∀ h ∈ X (ii) ∝(,xL ) ≤∝ [ h] for every x∈ S, h ∈ X with h ≤∈ b ( )then f is called C − differentiable on S Theorem 2.1 (Arthanasius [1973]) Let f be a convex function defined on an open convex subset X of a Banach space X that is continuous f ( x++ th) f ( x −− th) 2 f() r at xX ∈ . Then, f is Frechet differentiable at x�iff lim = D t → 0 t uniformly for hS ∈ x AJMS/Jan-Mar-2020/Vol 4/Issue 1 5 Emmanuel: Frechet derivatives Remark 2.1 Obviously, we have earlier seen that Frechet differentiability has additive property and the product of two Frechet differentiable functions is Frechet differentiable function (the function that is Frechet differentiable is continuous and therefore locally bounded).
Load more

Recommended publications
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • Bibliography
    Bibliography [1] E. Abe, Hopf algebras. Cambridge University Press, 1980. [2] M. Abramowitz and I.A. Stegun, Handbook of mathematical functions. United States Department of Commerce, 1965. [3] M.S. Agranovich, Spectral properties of elliptic pseudodifferential operators on a closed curve. (Russian) Funktsional. Anal. i Prilozhen. 13 (1979), no. 4, 54–56. (English translation in Functional Analysis and Its Applications. 13, p. 279–281.) [4] M.S. Agranovich, Elliptic pseudodifferential operators on a closed curve. (Russian) Trudy Moskov. Mat. Obshch. 47 (1984), 22–67, 246. (English translation in Transactions of Moscow Mathematical Society. 47, p. 23–74.) [5] M.S. Agranovich, Elliptic operators on closed manifolds (in Russian). Itogi Nauki i Tehniki, Ser. Sovrem. Probl. Mat. Fund. Napravl. 63 (1990), 5–129. (English translation in Encyclopaedia Math. Sci. 63 (1994), 1–130.) [6] B.A. Amosov, On the theory of pseudodifferential operators on the circle. (Russian) Uspekhi Mat. Nauk 43 (1988), 169–170; translation in Russian Math. Surveys 43 (1988), 197–198. [7] B.A. Amosov, Approximate solution of elliptic pseudodifferential equations on a smooth closed curve. (Russian) Z. Anal. Anwendungen 9 (1990), 545– 563. [8] P. Antosik, J. Mikusi´nski and R. Sikorski, Theory of distributions. The se- quential approach. Warszawa. PWN – Polish Scientific Publishers, 1973. [9] A. Baker, Matrix Groups. An Introduction to Lie Group Theory. Springer- Verlag, 2002. [10] J. Barros-Neto, An introduction to the theory of distributions . Marcel Dekker, Inc., 1973. [11] R. Beals, Advanced mathematical analysis. Springer-Verlag, 1973. [12] R. Beals, Characterization of pseudodifferential operators and applications. Duke Mathematical Journal. 44 (1977), 45–57.
    [Show full text]
  • Homework 3 1. If the Inverse T−1 of a Closed Linear Operator Exists, Show
    Homework 3 1. If the inverse T −1 of a closed linear operator exists, show that T −1 is a closed linear operator. Solution: Assuming that the inverse of T were defined, then we will have to have that −1 −1 D(T ) = Ran(T ). Suppose that fung 2 D(T ) is a sequence such that un ! u and −1 −1 −1 T un ! x. We need so that that u 2 D(T ) and T u = x. Then by the simple criteria, we would have that T −1 is closed. −1 Since un 2 D(T ) we have that un = T xn, where xn 2 D(T ). Also, note we have that −1 T un = xn ! x. So, we have a sequence of vectors fxng 2 D(T ) with xn ! x and T xn ! u. Since T is closed, we have that x 2 D(T ) and T x = u. But, this last equality implies that u 2 D(T −1) and that x = T −1u, which is what we wanted. 2. Let T be a closed linear operator. If two sequences fxng and fx~ng in the domain of T both converge to the same limit x, and if fT xng and fT x~ng both converge, show that fT xng and fT x~ng both have the same limit. Solution: Suppose that fxng; fx~ng 2 D(T ) are such that xn ! x andx ~n ! x. Let T xn ! y and T x~n ! y~. We need to show that y =y ~. Since T is closed, then we know that for xn ! x and T xn ! y implies that x 2 D(T ) and T x = y.
    [Show full text]
  • 1. Introduction
    A STRONG OPEN MAPPING THEOREM FOR SURJECTIONS FROM CONES ONTO BANACH SPACES MARCEL DE JEU AND MIEK MESSERSCHMIDT Abstract. We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Mapping Theorem is then a special case. As another conse- quence, an improved version of the analogue of Andô's Theorem for an ordered Banach space is obtained for a Banach space that is, more generally than in Andô's Theorem, a sum of possibly uncountably many closed not necessarily proper cones. Applications are given for a (pre)-ordered Banach space and for various spaces of continuous functions taking values in such a Banach space or, more generally, taking values in an arbitrary Banach space that is a nite sum of closed not necessarily proper cones. 1. Introduction Consider the following question, that arose in other research of the authors: Let X be a real Banach space, ordered by a closed generating proper cone X+, and let Ω be a topological space. Then the Banach space C0(Ω;X), consisting of the continuous X-valued functions on Ω vanishing at innity, is ordered by the natural + closed proper cone C0(Ω;X ). Is this cone also generating? If X is a Banach + − lattice, then the answer is armative.
    [Show full text]
  • Linear Maps on Hilbert Spaces
    Chapter 10 Linear Maps on Hilbert Spaces A special tool called the adjoint helps provide insight into the behavior of linear maps on Hilbert spaces. This chapter begins with a study of the adjoint and its connection to the null space and range of a linear map. Then we discuss various issues connected with the invertibility of operators on Hilbert spaces. These issues lead to the spectrum, which is a set of numbers that gives important information about an operator. This chapter then looks at special classes of operators on Hilbert spaces: self- adjoint operators, normal operators, isometries, unitary operators, integral operators, and compact operators. Even on infinite-dimensional Hilbert spaces, compact operators display many characteristics expected from finite-dimensional linear algebra. We will see that the powerful Spectral Theorem for compact operators greatly resembles the finite- dimensional version. Also, we develop the Singular Value Decomposition for an arbitrary compact operator, again quite similar to the finite-dimensional result. The Botanical Garden at Uppsala University (the oldest university in Sweden, founded in 1477), where Erik Fredholm (1866–1927) was a student. The theorem called the Fredholm Alternative, which we prove in this chapter, states that a compact operator minus a nonzero scalar multiple of the identity operator is injective if and only if it is surjective. CC-BY-SA Per Enström © Sheldon Axler 2020 S. Axler, Measure, Integration & Real Analysis, Graduate Texts 280 in Mathematics 282, https://doi.org/10.1007/978-3-030-33143-6_10 Section 10A Adjoints and Invertibility 281 10A Adjoints and Invertibility Adjoints of Linear Maps on Hilbert Spaces The next definition provides a key tool for studying linear maps on Hilbert spaces.
    [Show full text]
  • Functional Analysis (Under Construction)
    Functional Analysis (under construction) Gustav Holzegel∗ March 21, 2015 Contents 1 Motivation and Literature 2 2 Metric Spaces 3 2.1 Examples . .3 2.2 Topological refresher . .5 2.3 Completeness . .6 2.4 Completion of metric spaces . .8 3 Normed Spaces and Banach Spaces 8 3.1 Linear Algebra refresher . .8 3.2 Definition and elementary properties . .9 3.3 Finite vs the Infinite dimensional normed spaces . 11 4 Linear Operators 16 4.1 Bounded Linear Operators . 16 4.2 Restriction and Extension of operators . 18 4.3 Linear functionals . 19 4.4 Normed Spaces of Operators . 20 5 The dual space and the Hahn-Banach theorem 21 5.1 The proof . 25 5.2 Examples: The dual of `1 ...................... 28 5.3 The dual of C [a; b].......................... 29 5.4 A further application . 31 5.5 The adjoint operator . 32 6 The Uniform Boundedness Principle 34 6.1 Application 1: Space of Polynomials . 36 6.2 Application 2: Fourier Series . 37 6.3 Final Remarks . 38 6.4 Strong and Weak convergence . 39 ∗Imperial College London, Department of Mathematics, South Kensington Campus, Lon- don SW7 2AZ, United Kingdom. 1 7 The open mapping and closed graph theorem 44 7.1 The closed graph theorem . 46 8 Hilbert Spaces 48 8.1 Basic definitions . 48 8.2 Closed subspaces and distance . 50 8.3 Orthonormal sets and sequences [lecture by I.K.] . 52 8.4 Total Orthonormal Sets and Sequences . 53 8.5 Riesz Representation Theorem . 55 8.6 Applications of Riesz' theorem & the Hilbert-adjoint . 56 8.7 Self-adjoint and unitary operators .
    [Show full text]
  • 12. Banach Spaces (Sir Michael Atiyah, from Com
    12. Banach spaces “Banach didn’t just develop Banach spaces for the sake of it. He wanted to put many spaces under one heading. Without knowing the examples, the whole thing is pointless. It is a mistake to focus on the techniques without constantly, not only at the beginning, knowing what the good examples are, where they came from, why they’re done. The abstractions and the examples have to go hand in hand. You can’t just do particularity. You can’t just pile one theorem on top of another and call it mathemat- ics. You have to have some architecture, some struc- ture. Poincaré said science is not just a collection of facts any more than a house is a collection of bricks. You have to put it together the right way. You can’t just list 101 theorems and say this is mathematics. That is not mathematics.” (Sir Michael Atiyah, from http://www.johndcook. com/blog/2013/09/24/interview-with-sir-michael-atiyah/.) 1 Definition 12.1. A Banach space is a complete normed space. Examples • Cn with the lp norm. We will mostly, but not exclusively, be interested in infinite dimensional spaces. • Any Hilbert space. • C(X) for any compact metric or topological space X, with the sup norm. • Lp(X; µ) for any measure space (X; µ). • M(X) for any measurable space (X; M). • The space of BLTs on a Hilbert space H. • Sobolev spaces. • Hölder spaces. Basic Concepts • Let X be a Banach space with norm k · kX. We say 0 that the norm k · k on X is equivalent to k · kX if there exists C > 0 such that −1 0 C k · kX ≤ k · k ≤ Ck · kX: Theorem 12.2.
    [Show full text]
  • A Note on the Grand Theorems of Functional Analysis
    A note on the grand theorems of functional analysis S. Kesavan Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 036 email: [email protected] Abstract Three grand theorems of functional analysis are the uniform boundedness (or, Banach-Steinhaus) theorem, the open mapping theorem and the closed graph theorem. All these are consequences of a topological result known as Baire's (category) theorem. The mathematical literature has several results which show the interconnections between these theorems, some well known and well documented, while some others are less known. The aim of this note is to present all these interdependences in a cogent manner. 1 1 Introduction The high point in any first course on functional analysis is the proof of three grand theorems, known as the uniform boundedness theorem, the open mapping theorem and the closed graph theorem. All three depend on the completeness of some or all of the spaces involved and their proofs depend on a topological result known as Baire's thoerem (or, the Baire category theorem). It is well recorded that the open mapping theorem and the closed graph theorem are equivalent in the sense that each can be deduced from the other, though in most text books one of them is proved, starting from Baire's theorem, and the other is deduced as a consequence. The uniform boundedness theorem is proved independently. Looking at the mathematical literature, we also see works wherein it is shown how to deduce the uniform boundedness theorem from the closed graph theorem. The converse is also true with some restrictions.
    [Show full text]
  • Finite Rank Modifications and Generalized Inverses of Fred Hol M Operators
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 80, 523-532 (1981) Finite Rank Modifications and Generalized Inverses of Fred hol m Operators SYLVIA T. BOZEMAN* Depurtment of Muthemutics, Spelman College, Atlanta, Georgia 30314 AND LUIS KRAMARZ Department of Mathematics, Emory lJniversit.v, Atlanta, Georgia 30322 Submitted by Ky Fan 1. INTRODUCTION In a recent article Rall [6] surveyed the theory and applications of finite rank modifications of linear operators in Banach spaces. Most results deal with modification of nonsingular operators; the only result in [6] concerning modifications of singular operators is the construction of the Hurwitz pseudoinverse for operators with a Fredholm theory. A generalization of this construction, in the setting of Fredholm integral equations of the second kind, was given by Atkinson [2] and Anselone [l]. One of the authors [4] studied the general theory of algebraic modifications of singular n x n matrices and gave applications including the computation of null vectors and oblique generalized inverses. Most of the theory in [ 1, 2, 41 is generalized and extended here to Fredholm operators of arbitrary index in Hilbert spaces. As in [4] the emphasis is on obtaining equations whose unique solutions are solutions of given singular operator equations. In particular, null vectors of singular operators can be found as unique solutions of modified operator equations. The operators obtained by the finite rank modifications are also used to derive some simple explicit expressions for generalized inverses of the given singular operators. 2. PRELIMINARY MATERIAL Let H, and H, be real Hilbert spaces with inner product denoted by (s, .), and let B(H, , H,) be the set of all bounded linear operators from H, to H,.
    [Show full text]
  • A Strong Open Mapping Theorem for Surjections from Cones Onto Banach Spaces
    A STRONG OPEN MAPPING THEOREM FOR SURJECTIONS FROM CONES ONTO BANACH SPACES MARCEL DE JEU AND MIEK MESSERSCHMIDT Abstract. We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael’s Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Mapping Theorem is then a special case. As another conse- quence, an improved version of the analogue of Andô’s Theorem for an ordered Banach space is obtained for a Banach space that is, more generally than in Andô’s Theorem, a sum of possibly uncountably many closed not necessarily proper cones. Applications are given for a (pre)-ordered Banach space and for various spaces of continuous functions taking values in such a Banach space or, more generally, taking values in an arbitrary Banach space that is a finite sum of closed not necessarily proper cones. 1. Introduction Consider the following question, that arose in other research of the authors: Let X be a real Banach space, ordered by a closed generating proper cone X+, and let Ω be a topological space. Then the Banach space C0(Ω,X), consisting of the continuous X-valued functions on Ω vanishing at infinity, is ordered by the natural + closed proper cone C0(Ω,X ). Is this cone also generating? If X is a Banach + − lattice, then the answer is affirmative.
    [Show full text]
  • THE OPEN MAPPING THEOREM and RELATED THEOREMS We
    THE OPEN MAPPING THEOREM AND RELATED THEOREMS ANTON. R SCHEP We start with a lemma, whose proof contains the most ingenious part of Banach's open mapping theorem. Given a norm k · ki we denote by Bi(x; r) the open ball fy 2 X : ky − xki < rg. Lemma 1. Let X be a vector space with two norms k · k1, k · k2 such that (X; k · k1) is a Banach space and assume that the identity map I :(X; k · k1) ! (X; k · k2) is continuous. k·k2 If B2(0; 1) ⊂ B1(0; r) , then B2(0; 1) ⊂ B1(0; 2r) and the two norms are equivalent. 1 Proof. From the hypothesis we get B2(0; 1) ⊂ B1(0; r) + B2(0; 2 ), so by scaling we get that 1 r 1 B2(0; 2n ) ⊂ B1(0; 2n ) + B2(0; 2n+1 ) for all n ≥ 1. let now kyk2 < 1. Then we can write 1 1 y = x1 + y1, where kx1k1 < r and ky1k2 < 2 . Assume we have kynk2 < 2n we can write r 1 yn = xn+1 + yn+1, where kxn+1k1 < 2n and kyn+1k2 < 2n+1 . By completeness of (X; k · k1) P1 there exists x 2 X such that x = n=1 xn, where the series converges with respect to the norm k · k1. By continuity of the identity map I :(X; k · k1) ! (X; k · k2) it follows that the same series also converges to x with respect to k · k2. On the other hand the equation Pn+1 P1 y = k=1 xk + yn+1 shows that the series n=1 xn converges to y with respect to k · k2.
    [Show full text]
  • Funktionalanalysis
    Ralph Chill Skript zur Vorlesung Funktionalanalysis July 23, 2016 ⃝c R. Chill v Vorwort: Ich habe dieses Skript zur Vorlesung Funktionalanalysis an der Universitat¨ Ulm und an der TU Dresden nach meinem besten Wissen und Gewissen geschrieben. Mit Sicherheit schlichen sich jedoch Druckfehler oder gar mathematische Unge- nauigkeiten ein, die man beim ersten Schreiben eines Skripts nicht vermeiden kann. Moge¨ man mir diese Fehler verzeihen. Obwohl die Vorlesung auf Deutsch gehalten wird, habe ich mich entschieden, dieses Skript auf Englisch zu verfassen. Auf diese Weise wird eine Brucke¨ zwischen der Vorlesung und der (meist englischsprachigen) Literatur geschlagen. Mathematik sollte jedenfalls unabhangig¨ von der Sprache sein in der sie prasentiert¨ wird. Ich danke Johannes Ruf und Manfred Sauter fur¨ ihre Kommentare zu einer fruheren¨ Version dieses Skripts. Fur¨ weitere Kommentare, die zur Verbesserungen beitragen, bin ich sehr dankbar. Contents 0 Primer on topology ............................................. 1 0.1 Metric spaces . 1 0.2 Sequences, convergence . 4 0.3 Compact spaces . 6 0.4 Continuity . 7 0.5 Completion of a metric space . 8 1 Banach spaces and bounded linear operators ...................... 11 1.1 Normed spaces. 11 1.2 Product spaces and quotient spaces . 17 1.3 Bounded linear operators . 20 1.4 The Arzela-Ascoli` theorem . 25 2 Hilbert spaces ................................................. 29 2.1 Inner product spaces . 29 2.2 Orthogonal decomposition . 33 2.3 * Fourier series . 37 2.4 Linear functionals on Hilbert spaces . 42 2.5 Weak convergence in Hilbert spaces . 43 3 Dual spaces and weak convergence ............................... 47 3.1 The theorem of Hahn-Banach . 47 3.2 Weak∗ convergence and the theorem of Banach-Alaoglu .
    [Show full text]