Greedy bases are best for m-term approximation
|
|
- Robert Cameron Hodge
- 6 years ago
- Views:
Transcription
1 Greedy bases are best for m-term approximation Witold Bednorz Institute of Mathematics, Warsaw University Abstract We study the approximation of a subset K in a Banach space X by choosing first basis B and then using n-term approximation. Into the competition for best bases we enter all unconditional bases for X. We show that if the subset K X is well aligned with respect to a greedy basis B then, in certain sense, this basis is the best for this type of approximation. Our result extends the recent result of DeVore, Petrowa and Temlyakov. 1 Introduction Let X be a Banach space with a norm. We say that B = (e n ) n N is a natural biorthogonal system for X (which we call a basis), if e i = 1, span{e i } = X and there exists system of uniquely determined functionals e i such that e i (e i ) = 1 and e i (e j ) = 0 if i j. For each n 0 we denote Σ n (B) = {S = a i e i, Λ = n, a i R}, i Λ so Σ n is the set of all linear combinations of length n of elements (e n ) n N. For x X and n = 0, 1, 2,... σ n (B, x) = inf{x y : y Σ n }. Note in particular that σ 0 (B, x) = x. We define G n (B, x) = e i (x)e i, i Λ where Λ N is such that Λ = n and e i (x) e j(x) whenever i Λ and j Λ. We will say that basis B is greedy if there exists constant G such that x G n (B, x) Gσ n (x), for x X, n 0. 1
2 Throughout the paper we denote (ε i ) as a sequence of Rademacher variables i.e. independent, identically distributed and such that P(ε i = ±1) = 1. The basis B is 2 called unconditional if there exists constant U such that for each Λ N there holds i Λ ε i e i (x) Ux. If B is unconditional, there exists equivalent norm so that B is unconditional with constant U = 1. The basis B is called democratic if there exists constant D such that for any finite subsets Λ, Λ N, Λ = Λ we have e i D e i i Λ i Λ It is well known (Konyagin and Temlyakov [4]) that basis B is greedy if and only if it is unconditional and democratic. Set l n := e e n, the democracy implies D 1 l n e i Dl n, for Λ = n. (1) i Λ We do assume that numbers l n satisfy 2 condition, i.e. 2 k l 1 A2 n l 1 2 k 2n, for n 1. (2) k=1 Clearly if l n = n 1 p, p > 1 then (2) is satisfied. Lemma 1 If B is greedy and verifies (2), then AU 2 n a ie i 2 n l 2 n 2 n a i. Proof. We can assume that a i a i+1, since B is greedy, we have 2 n a ie i U 1 l 2 k a 2 k. Hence by (2) we obtain 2 n a i 2 k a 2 k U 2 k l 1 2 k 2 n a i e i AU2 n l2 1 2n a n i e i. In the sequel we will need some of the basic concepts of the Banach space theory. First let us recall the definition of type and cotype. Namely, if (ε i ) i=0 is a sequence of independent identically distributed random variables such that P(ε i = ±1) = 1 2 i.e. sequence of Rademacher variables, we say that X has type 2 if there exists a universal constant C 1 such that E ε i x i C 1 ( x j 2 ) 1 2, for n 1, xi X 2
3 and X is of cotype 2 if there exists a universal constant C 2 such that E ε i x i C 2 ( x j 2 ) 1 2, for n 1, xi X. In particular L p spaces has type 2 if p 2 and cotype 2 if 1 p 2, for more comprehensive information see e.g. book [6] (Chapter III A, 17). Since we work rather with bases we need a definition of type and cotype 2 in these settings. We say that basis B is Riesz, if a i e i A 1 ( a i 2 ) 1 2, and Bessel, if ( a i 2 ) 1 2 A2 a i e i, where A 1, A 2 are universal constants. Obviously if X has type or cotype 2 then B is Riesz or Bessel respectively, however it would be nice to have a characterization which uses only properties of l n. Lemma 2 If l n satisfy then B is Bessel basis and if then B is Riesz basis. n=1 l 2 2 n 2n L 2, (3) l2 2 n2 n L 1, (4) n=1 Proof. We can assume that a i a i+1. The unconditionality of B implies Hence by (3) a i 2 a i e i U 1 a 2 k 2 2 k U 2 2 k l 2 2 k a 2 k e i U 1 a 2 k l 2 k. a i e i 2 L 2 U 2 a i e i 2. Thus A 2 a ie i ( a i 2 ) 1 2, where A 2 = L U. Similarly assuming that a i a i+1, we have a i e i U k=1 2 k+1 a 2 k e i UD i=2 k a 2 k l 2 k, 3
4 so using the Schwartz inequality and (4) we get a i e i UD( a 2 k 2 2 k ) 1 2 ( l2k2 2 k ) DL 2 1 U( a i 2 ) 1 2. i=0 Thus a ie i A 1 ( i=0 a i 2 ) 1 2, where A 1 = 2DL U. Remark 1 Observe that if l n = n 1 p true. and p < 2 or p > 2 then respectively (3) or (4) holds Let K X, we define σ n (B, K) = sup σ n (B, x). x K We shall say that K X is aligned with B if for each a ie i K and b i a i we have b ie i uk, where u is a universal constant. The main result of the paper is the following one. Theorem 1 Let X be a Banach space and let B be a greedy basis, Riesz or Bessel which satisfies (2) ( 2 condition). Suppose that K is aligned with B and that B is an unconditional basis for X. There exist absolute constants: C > 0 and τ N such that σ 2 n(b, K) C τ σ 2 k(b, K), for n N, n τ. It says that in some sense greedy basis aligned with K X is the best among all unconditional basis. The first papers in this direction was by Kashin [3] who proved that if X is L 2 space then for each orthogonal basis B we have σ n (B, Lip α) C(α)n α, where 0 < α 1 and Lip α is a class of Lipschitz function according to the metric d(s, t) = s t α. Next step was due to Donoho [1], [2] who proved (also under the assumption that X is L 2 space) that if there exists an orthogonal basis B which is aligned with a subset K of X and such that lim sup n n β σ n (B, K) > 0 for some β > 0, then lim sup n n β σ n (B, K) > 0 for any other orthogonal basis B. In the recent paper by DeVore, Temlyakov and Petrowa [5] the result is extent from L 2 spaces to L p, i.e. supposing X is L p space where p > 1, B is greedy, aligned with K and such that lim sup n (log 2 n) α n β σ n (B, K) > 0, where α R, β > 0 implies that lim sup n (log 2 n) α+β n β σ n (B, K) > 0, for any other unconditional basis B. Theorem 1 gives a strengthening of the main result of [5]. 4
5 Remark 2 Under the same assumptions as in Theorem 1, if lim sup(log 2 n) α n β σ n (B, K) > 0, where β > 0, α R, n then lim sup n (log 2 n) α n β σ n (B, K) > 0. Proof. Assume that lim sup n n α 2 βn σ 2 n(b, K) = 0. That means for every ε > 0 σ 2 k(b, K) εk α 2 βk, for k N(ε). Thus for n N(ε) + τ we have A τ σ 2 k(b, K) εc τ k α 2 βk. Observe that k α 2 βk cn α 2 βn, where c is a universal constant (which depends on α, β, τ only). Theorem 1 implies that σ l (B, K) σ 2 n(b, K) εccn α 2 βn, for n N(ε) + τ, l 2 n, what is impossible since lim sup n (log 2 n) α n β σ n (B, K) > 0. In fact Theorem 1 is formulated in the language of general hypothesis proposed by Wojtaszczyk [7] (Problem 9), though it does not deal with the conjecture s full strength. 2 Basic results Remark 3 Let (ε i ) be a sequence of Rademacher variables and a i, a i,j R, i, j N. For each n 1 we have E a i ε i 2 = a i 2, E a i,j ε i ε j 2 2 a i,j 2. i, i, Proof. The first equality is classical and easy so we only prove the second one. Clearly E a i,j ε i ε j 2 = i, a i,j 2 + i,j a i,j a j,i 2 i,j a i,j 2, i,j where we used inequality 2ab a 2 + b 2. Suppose B = (e i ), B = (e i) are respectively greedy and unconditional basis for X. We define c i,j and d i,j by equalities e i = d i,je j, e i = c i,je j and denote by U the unconditionality constant for B. 5
6 Lemma 3 If B is Riesz or Bessel basis then 2 n 2 n c 2 l,jd 2 j,i c2 n, where c is a certain constant (not depending on n). Proof. Fix i 1. By the Bessel property of B we have 1 = e i = c i,j e j (U ) 1 ε j c i,j e j = = (U ) 1 c i,j d j,l ε j e l (U ) 1 A 1 2 ( Thus due to Remark 3 we obtain A 2 2(U ) 2 E c i,j d j,l ε j 2 c i,j d j,l ε j 2 ) 1 2 c i,j d j,l 2, and hence 2 n 2 n c i,jd j,l 2 (U ) 2 A 2 22 n. Now we fix l 1 and assume that B is Riesz. First observe that A 1 ( a i 2 ) 1 2 a i e i = a i c i,j e j = = ( a i ( c i,j d j,l ε j ))e l (U ) 1 a i ( c i,j d j,l ε j ). If we take a i = c i,jd j,l ε j, then A 2 1(U ) 2 E c i,j d j,l ε j 2 = It proves that 2 n 2 n c i,jd j,l 2 (U ) 2 A 2 12 n. c i,j d j,l 2. Proof of Theorem 1. Fix n 1, δ > 0. The definition of σ 2 n(b, K) implies that disregarding ε s there exists x K such that σ 2 n(b, K) (1 + δ)σ 2 n(b, x) = (1 + δ)x G 2 n(x). We can assume that e i (x) e i+1(x), i 1 and hence we can take G 2 n(x) = 2 n e i (x)e i. Since K is aligned to B, whenever a ie i K and b i a i, we have b ie i uk, where u is a universal constant. Consequently u 1 e 2 k (x) 6 ε i e i K.
7 It proves that setting y k := e 2 k (x), the cube K n,k := {u 1 y k i Λ k ε i e i, ε i { 1, 1}} is contained in K. Applying the triangle inequality we obtain x G 2 n(b, x) = i=2 n +1 e i (x)e i Thus due to the unconditionality and (1) we get 2 k+1 i=2 k +1 e i (x)e i U 2 k+1 i=2 k +1 2 k+1 i=2 k +1 e i (x)e i. e 2 k (x) e i DU e 2 k (x) l 2 k, hence σ 2 n(b, K) (1 + δ)x G 2 n(b, x) (1 + δ)du e 2 (x) l k 2 k = = (1 + δ)du y k l 2 k. (5) Fix k N. Let (ε i ) be a sequence of Rademacher variables. Without losing the generality we may assume that Λ k = {1,..., 2 k } and for simplicity denote d k j = (d j,1,..., d j,2 k), c k j = (c 1,j,..., c 2 k,j), c k j, ε = ε i c i,j, c k j, ε = ε i d j,i. Since x = u 1 y k i Λ k ε i e i K n,k K for any integer m we have σ 2 m(k, B ) σ 2 m(x, B ) and the definition gives σ 2 m(x, B ) = inf S Σ2 m(b ) u 1 y k 2 k ε ie i S, so σ 2 m(k, B ) inf S Σ 2 m(b ) u 1 y k Furthermore, by the unconditionality ε i e i S = inf Λ =2 m inf u 1 y k a Λ j c k R j, ε e j a Λ j e j. u 1 y k c k j, ε e j a Λ j e j (U ) 1 u 1 y k c k j, ε e j = j Λ = (uu ) 1 y k c k j, ε e j 2 k c k j, ε e j = (uu ) 1 y k ε i e i c k j, ε e j, 7
8 hence σ 2 m(k, B ) (uu ) 1 y k inf 2k ε i e i Λ =2 c k m j, ε e j. (6) Again using the unconditionality and e j = d j,ie i we get U 1 ε i e i c k j, ε e j = Due to Lemma 1 (ε i (ε i d j,i c k j, ε )e i i=2 k +1 d j,i c k j, ε e i d j,i c k j, ε )e i. (7) ε i e i c k j, ε e j A 1 U 1 2 k l 2 k ε i d j,i c k j, ε. Observe that ε i d j,i c k j, ε 1 ε i d j,i c k j, ε, hence by (6) and (7) we have AU 2 U σ 2 m(k, B ) y k l 2 k(1 2 k = y k l 2 k(1 2 k sup Λ =2 m The Schwartz inequality gives sup Λ =2 m ε i d j,i c k j, ε ) = ε i d j,i c k j, ε ) y k l 2 k(1 2 k sup d k j, ε c k j, ε ). Λ =2 m d k j, ε c k j, ε Λ 1 2 ( d k j, ε 2 c k j, ε 2 ) 1 m ( d k j, ε 2 c k j, ε 2 ) 1 2. Applying Remark 3 and Lemma 3, we get E( d k j, ε 2 c k j, ε 2 ) 1 2 ( E d k j, ε 2 c k j, ε 2 ) 1 2 Thus (2 d j,i 2 c j,l 2 ) 1 2 2c2 k 2. uau 2 U σ 2 m(k, B ) y k l 2 k(1 2c2 k 2 m 2 2 k 2 ) = yk l 2 k(1 2c2 m k 2 ). Taking m = k τ, and using (5) we get (1 + δ)uadu 3 U σ 2 k τ (K, B ) (1 + δ)(1 2c2 τ 2 )DU y k l 2 k (1 2c2 τ 2 )σ2 n(k, B). 8
9 We can find suitable τ such that 1 > 2c2 τ 2. Since δ > 0 is arbitrary we obtain σ 2 n(k, B) C σ 2 k(k, B ), τ where C = uadu 3 U (1 2c2 τ 2 ) 1. It ends the proof. Acknowledgment I would like to thank professor Przemyslaw Wojtaszczyk for involving me with the problem. References [1] Donoho, D. L. (1993) Unconditional Bases Are Optimal Bases for Data Compression and for Statistical Estimation. Appl. Comp. Harm. Anal. 1, pp [2] Donoho, D. L. (1996) Unconditional Bases and Bit-Level Compression. Appl. Comp. Harm. Anal. 3, [3] Kashin, B.S. (1985). Approximation properties of complete orthonormal systems. (Russian) Studies in the theory of functions of several real variables and the approximation of functions. Trudy Mat. Inst. Steklov. 172, [4] Konyagin, S. V. and Temlyakov V. N. (1999). A remark on greedy approximation in Banch spaces. J. Approx. 5, [5] DeVore, R., Petrowa, G. and Temlyakov V. (2003). Best basis selection for approximation in L p. J. of FoCM 3, pp [6] Wojtaszczyk, P. (1991). Banach spaces for analysts. Cambridge Studies in Advanced Mathematics. 25, xiv+382 pp. Cambridge University Press, Cambridge. [7] Wojtaszczyk, P. (2002). Greedy type bases in Banach spaces, Constructive Theory of Function Theory, Varna 2002 pp , Darba, Sofia 9
arxiv: v1 [math.fa] 17 May 2018
CHARACTERIZATIONS OF ALMOST GREEDY AND PARTIALLY GREEDY BASES S. J. DILWORTH AND DIVYA KHURANA arxiv:1805.06778v1 [math.fa] 17 May 2018 Abstract. We shall present new characterizations of partially greedy
More informationConvergence of greedy approximation I. General systems
STUDIA MATHEMATICA 159 (1) (2003) Convergence of greedy approximation I. General systems by S. V. Konyagin (Moscow) and V. N. Temlyakov (Columbia, SC) Abstract. We consider convergence of thresholding
More informationThe Threshold Algorithm
Chapter The Threshold Algorithm. Greedy and Quasi Greedy Bases We start with the Threshold Algorithm: Definition... Let be a separable Banach space with a normalized M- basis (e i,e i ):i2n ; we mean by
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationA subspace of l 2 (X) without the approximation property
A subspace of l (X) without the approximation property by Christopher Chlebovec A dissertation submitted in partial fulfillment of the requirements for the degree of Master of Science (Mathematics) Department
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationEcon Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n
Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions
More informationLecture 3. Econ August 12
Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday
More information1 Compact and Precompact Subsets of H
Compact Sets and Compact Operators by Francis J. Narcowich November, 2014 Throughout these notes, H denotes a separable Hilbert space. We will use the notation B(H) to denote the set of bounded linear
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationCONDITIONAL QUASI-GREEDY BASES IN HILBERT AND BANACH SPACES
CONDITIONAL QUASI-GREEDY BASES IN HILBERT AND BANACH SPACES G. GARRIGÓS AND P. WOJTASZCZYK Abstract. For quasi-greedy bases B in Hilbert spaces, we give an improved bound of the associated conditionality
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationDensity, Overcompleteness, and Localization of Frames. I. Theory
The Journal of Fourier Analysis and Applications Volume 2, Issue 2, 2006 Density, Overcompleteness, and Localization of Frames. I. Theory Radu Balan, Peter G. Casazza, Christopher Heil, and Zeph Landau
More informationON QUASI-GREEDY BASES ASSOCIATED WITH UNITARY REPRESENTATIONS OF COUNTABLE GROUPS. Morten Nielsen Aalborg University, Denmark
GLASNIK MATEMATIČKI Vol. 50(70)(2015), 193 205 ON QUASI-GREEDY BASES ASSOCIATED WITH UNITARY REPRESENTATIONS OF COUNTABLE GROUPS Morten Nielsen Aalborg University, Denmark Abstract. We consider the natural
More informationFunctional Analysis (2006) Homework assignment 2
Functional Analysis (26) Homework assignment 2 All students should solve the following problems: 1. Define T : C[, 1] C[, 1] by (T x)(t) = t x(s) ds. Prove that this is a bounded linear operator, and compute
More informationDENSITY, OVERCOMPLETENESS, AND LOCALIZATION OF FRAMES. I. THEORY
DENSITY, OVERCOMPLETENESS, AND LOCALIZATION OF FRAMES. I. THEORY RADU BALAN, PETER G. CASAZZA, CHRISTOPHER HEIL, AND ZEPH LANDAU Abstract. This work presents a quantitative framework for describing the
More informationrecent developments of approximation theory and greedy algorithms
recent developments of approximation theory and greedy algorithms Peter Binev Department of Mathematics and Interdisciplinary Mathematics Institute University of South Carolina Reduced Order Modeling in
More information1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,
Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationMAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.
MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3 (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. (a) Define d : V V + {0} by d(x, y) = 1 ξ j η j 2 j 1 + ξ j η j. Show that
More informationLinear Independence of Finite Gabor Systems
Linear Independence of Finite Gabor Systems 1 Linear Independence of Finite Gabor Systems School of Mathematics Korea Institute for Advanced Study Linear Independence of Finite Gabor Systems 2 Short trip
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationGreedy Algorithm for General Biorthogonal Systems
Journal of Approximation Theory 107, 293314 (2000) doi10.1006jath.2000.3512, available online at httpwww.idealibrary.com on Greedy Algorithm for General Biorthogonal Systems P. Wojtaszczy 1 nstytut Matematyi,
More informationRegularity for Poisson Equation
Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES
U.P.B. Sci. Bull., Series A, Vol. 80, Iss. 3, 2018 ISSN 1223-7027 ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES Vahid Dadashi 1 In this paper, we introduce a hybrid projection algorithm for a countable
More information1 Definition and Basic Properties of Compa Operator
1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the
More information************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan
************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More informationA SYNOPSIS OF HILBERT SPACE THEORY
A SYNOPSIS OF HILBERT SPACE THEORY Below is a summary of Hilbert space theory that you find in more detail in any book on functional analysis, like the one Akhiezer and Glazman, the one by Kreiszig or
More informationV. SUBSPACES AND ORTHOGONAL PROJECTION
V. SUBSPACES AND ORTHOGONAL PROJECTION In this chapter we will discuss the concept of subspace of Hilbert space, introduce a series of subspaces related to Haar wavelet, explore the orthogonal projection
More informationStrong convergence of multi-step iterates with errors for generalized asymptotically quasi-nonexpansive mappings
Palestine Journal of Mathematics Vol. 1 01, 50 64 Palestine Polytechnic University-PPU 01 Strong convergence of multi-step iterates with errors for generalized asymptotically quasi-nonexpansive mappings
More information4.4 Uniform Convergence of Sequences of Functions and the Derivative
4.4 Uniform Convergence of Sequences of Functions and the Derivative Say we have a sequence f n (x) of functions defined on some interval, [a, b]. Let s say they converge in some sense to a function f
More information2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration. V. Temlyakov
INTERDISCIPLINARY MATHEMATICS INSTITUTE 2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration V. Temlyakov IMI PREPRINT SERIES COLLEGE OF ARTS AND SCIENCES UNIVERSITY OF SOUTH
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT
ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying
More informationExistence and Uniqueness
Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationRemarks on the Rademacher-Menshov Theorem
Remarks on the Rademacher-Menshov Theorem Christopher Meaney Abstract We describe Salem s proof of the Rademacher-Menshov Theorem, which shows that one constant works for all orthogonal expansions in all
More informationON THE CONVERGENCE OF GREEDY ALGORITHMS FOR INITIAL SEGMENTS OF THE HAAR BASIS
ON THE CONVERGENCE OF GREEDY ALGORITHMS FOR INITIAL SEGMENTS OF THE HAAR BASIS S. J. DILWORTH, E. ODELL, TH. SCHLUMPRECHT, AND ANDRÁS ZSÁK Abstract. We consider the X-Greedy Algorithm and the Dual Greedy
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationON THE CONVERGENCE OF A WEAK GREEDY ALGORITHM FOR THE MULTIVARIATE HAAR BASIS
ON THE CONVERGENCE OF A WEAK GREEDY ALGORITHM FOR THE MULTIVARIATE HAAR BASIS S. J. DILWORTH, S. GOGYAN, AND DENKA KUTZAROVA Abstract. We define a family of weak thresholding greedy algorithms for the
More informationComparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions
Comparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions A. Boccuto V. A. Skvortsov ABSTRACT. Some kinds of integral, like variational, Kurzweil-Henstock and (SL)-integral
More informationConvergence to Common Fixed Point for Two Asymptotically Quasi-nonexpansive Mappings in the Intermediate Sense in Banach Spaces
Mathematica Moravica Vol. 19-1 2015, 33 48 Convergence to Common Fixed Point for Two Asymptotically Quasi-nonexpansive Mappings in the Intermediate Sense in Banach Spaces Gurucharan Singh Saluja Abstract.
More informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationSubsequences of frames
Subsequences of frames R. Vershynin February 13, 1999 Abstract Every frame in Hilbert space contains a subsequence equivalent to an orthogonal basis. If a frame is n-dimensional then this subsequence has
More informationA proof of a partition conjecture of Bateman and Erdős
proof of a partition conjecture of Bateman and Erdős Jason P. Bell Department of Mathematics University of California, San Diego La Jolla C, 92093-0112. US jbell@math.ucsd.edu 1 Proposed Running Head:
More informationGeometry of log-concave Ensembles of random matrices
Geometry of log-concave Ensembles of random matrices Nicole Tomczak-Jaegermann Joint work with Radosław Adamczak, Rafał Latała, Alexander Litvak, Alain Pajor Cortona, June 2011 Nicole Tomczak-Jaegermann
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationProf. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India
CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed
More informationON CONVERGENCE OF DOUBLE SEQUENCES OF FUNCTIONS
Electronic Journal of Mathematical Analysis and Applications, Vol. 2(2) July 2014, pp. 67-72. ISSN: 2090-792X (online) http://fcag-egypt.com/journals/ejmaa/ ON CONVERGENCE OF DOUBLE SEQUENCES OF FUNCTIONS
More informationMath 61CM - Solutions to homework 6
Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric
More informationWeak and strong moments of l r -norms of log-concave vectors
Weak and strong moments of l r -norms of log-concave vectors Rafał Latała based on the joint work with Marta Strzelecka) University of Warsaw Minneapolis, April 14 2015 Log-concave measures/vectors A measure
More informationNonlinear tensor product approximation
ICERM; October 3, 2014 1 Introduction 2 3 4 Best multilinear approximation We are interested in approximation of a multivariate function f (x 1,..., x d ) by linear combinations of products u 1 (x 1 )
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationL p +L and L p L are not isomorphic for all 1 p <, p 2
L p +L and L p L are not isomorphic for all 1 p
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationAnother Riesz Representation Theorem
Another Riesz Representation Theorem In these notes we prove (one version of) a theorem known as the Riesz Representation Theorem. Some people also call it the Riesz Markov Theorem. It expresses positive
More informationON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM. Zygmunt Wronicz
Opuscula Math. 36, no. 5 (2016), 681 687 http://dx.doi.org/10.7494/opmath.2016.36.5.681 Opuscula Mathematica ON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM Zygmunt Wronicz Communicated by P.A. Cojuhari
More informationTwo-Step Iteration Scheme for Nonexpansive Mappings in Banach Space
Mathematica Moravica Vol. 19-1 (2015), 95 105 Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space M.R. Yadav Abstract. In this paper, we introduce a new two-step iteration process to approximate
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
More informationTechinical Proofs for Nonlinear Learning using Local Coordinate Coding
Techinical Proofs for Nonlinear Learning using Local Coordinate Coding 1 Notations and Main Results Denition 1.1 (Lipschitz Smoothness) A function f(x) on R d is (α, β, p)-lipschitz smooth with respect
More informationOPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS
APPLICATIONES MATHEMATICAE 29,4 (22), pp. 387 398 Mariusz Michta (Zielona Góra) OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS Abstract. A martingale problem approach is used first to analyze
More informationASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers
More informationEXACT INTERPOLATION, SPURIOUS POLES, AND UNIFORM CONVERGENCE OF MULTIPOINT PADÉ APPROXIMANTS
EXACT INTERPOLATION, SPURIOUS POLES, AND UNIFORM CONVERGENCE OF MULTIPOINT PADÉ APPROXIMANTS D S LUBINSKY A We introduce the concept of an exact interpolation index n associated with a function f and open
More information1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.
1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Oktay Duman; Cihan Orhan µ-statistically convergent function sequences Czechoslovak Mathematical Journal, Vol. 54 (2004), No. 2, 413 422 Persistent URL: http://dml.cz/dmlcz/127899
More informationCOUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF
COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results
More informationFUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0
FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.
More informationON THE CONVERGENCE OF MODIFIED NOOR ITERATION METHOD FOR NEARLY LIPSCHITZIAN MAPPINGS IN ARBITRARY REAL BANACH SPACES
TJMM 6 (2014), No. 1, 45-51 ON THE CONVERGENCE OF MODIFIED NOOR ITERATION METHOD FOR NEARLY LIPSCHITZIAN MAPPINGS IN ARBITRARY REAL BANACH SPACES ADESANMI ALAO MOGBADEMU Abstract. In this present paper,
More informationSOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES
Iranian Journal of Fuzzy Systems Vol. 4, No. 3, 207 pp. 6-77 6 SOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES M. DINARVAND Abstract. In this paper, we
More informationA criterion of Γ -nullness and differentiability of convex and quasiconvex functions
STUDIA MATHEMATICA 227 (2) (2015) A criterion of Γ -nullness and differentiability of convex and quasiconvex functions by Jaroslav Tišer and Luděk Zajíček (Praha) Abstract. We introduce a criterion for
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationarxiv: v1 [math.ca] 7 Aug 2015
THE WHITNEY EXTENSION THEOREM IN HIGH DIMENSIONS ALAN CHANG arxiv:1508.01779v1 [math.ca] 7 Aug 2015 Abstract. We prove a variant of the standard Whitney extension theorem for C m (R n ), in which the norm
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationIn this paper we shall be interested in bases B which are quasi-greedy [20, 28], that is, their expansions converge when the summands are rearranged
CONDITIONALITY CONSTANTS OF QUASI-GREEDY BASES IN SUPER-REFLEXIVE BANACH SPACES F. ALBIAC, J.L. ANSORENA, G. GARRIGÓS, E. HERNÁNDEZ, AND M. RAJA Abstract. We show that in a super-reflexive Banach space,
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationCONDITIONALITY CONSTANTS OF QUASI-GREEDY BASES IN SUPER-REFLEXIVE BANACH SPACES
CONDITIONALITY CONSTANTS OF QUASI-GREEDY BASES IN SUPER-REFLEXIVE BANACH SPACES G. GARRIGÓS, E. HERNÁNDEZ, AND M. RAJA Abstract. We show that in a super-reflexive Banach space, the conditionality constants
More informationAPPLICATIONS IN FIXED POINT THEORY. Matthew Ray Farmer. Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS.
APPLICATIONS IN FIXED POINT THEORY Matthew Ray Farmer Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS December 2005 APPROVED: Elizabeth M. Bator, Major Professor Paul Lewis,
More informationOn factorization of Hilbert Schmidt mappings
J. Math. Anal. Appl. 304 2005) 37 46 www.elsevier.com/locate/jmaa On factorization of Hilbert Schmidt mappings Cristiane A. Mendes Universidade Federal de Juiz de Fora, ICE Departamento de Matemática,
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationUniform convergence of N-dimensional Walsh Fourier series
STUDIA MATHEMATICA 68 2005 Uniform convergence of N-dimensional Walsh Fourier series by U. Goginava Tbilisi Abstract. We establish conditions on the partial moduli of continuity which guarantee uniform
More informationSome topological properties of fuzzy cone metric spaces
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 2016, 799 805 Research Article Some topological properties of fuzzy cone metric spaces Tarkan Öner Department of Mathematics, Faculty of Sciences,
More informationA GENERALIZATION OF THE REGULARIZATION PROXIMAL POINT METHOD
A GENERALIZATION OF THE REGULARIZATION PROXIMAL POINT METHOD OGANEDITSE A. BOIKANYO AND GHEORGHE MOROŞANU Abstract. This paper deals with the generalized regularization proximal point method which was
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More informationStrongly nonlinear parabolic initial-boundary value problems in Orlicz spaces
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 203 220. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More information