DOCSLIB.ORG

NORMS of POSITIVE OPERATORS on Lp-SPACES

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
NORMS of POSITIVE OPERATORS on Lp-SPACES NORMS OF POSITIVE OPERATORS ON Lp-SPACES Ralph Howard* Anton R. Schep** University of South Carolina p q ct. ≤ → Abstra Let 0 T : L (Y,ν) L (X,µ) be a positive linear operator and let kT kp,q denote its operator norm. In this paper a method is given to compute kT kp,q exactly or to bound kT kp,q from above. As an application the exact norm kV kp,q of R x the Volterra operator Vf(x)= 0 f(t)dt is computed. 1. Introduction ≤ ∞ p For 1 p< let L [0, 1] denote the Banach space of (equivalenceR classes of) 1 1 k k | |p p Lebesgue measurable functions on [0,1] with the usual norm f p =( 0 f dt) . For a pair p, q with 1 ≤ p, q < ∞ and a continuous linear operator T : Lp[0, 1] → Lq[0, 1] the operator norm is defined as usual by (1-1) kT kp,q =sup{kTfkq : kfkp =1}. Define the Volterra operator V : Lp[0, 1] → Lq[0, 1] by Z x (1-2) Vf(x)= f(t)dt. 0 The purpose of this note is to show that for a class of linear operators T between Lp spaces which are positive (i.e. f ≥ 0 a.e. implies Tf ≥ 0 a.e.) the problem of computing the exact value of kT kp,q can be reduced to showing that a certain nonlinear functional equation has a nonnegative solution. We shall illustrate this by computing the value of kV kp,q for V defined by (1-2) above. We first state this result. If 1 <p<∞then let p0 denote the conjugate exponent 0 p 1 1 of p, i.e. p = p−1 so that p + p0 =1.Forα, β > 0let Z 1 B(α, β)= tα−1(1 − t)β−1dt 0 be the Beta function. 1991 Mathematics Subject Classification. 47A30, 47B38, 47G05. Key words and phrases. Operatornorms, Positive linear operator, Volterra operator. *Research supported in part by the National Science Foundation under grant number DMS- 8803585, **Research supported in part by a Research and Productive Scholarship grant from the University of South Carolina 1 2 RALPH HOWARD* ANTON R. SCHEP** Theorem 1. If 1 <p,q<∞then the norm kV kp,q of the Volterra operator V : Lp[0, 1] → Lq[0, 1] is 1 q−p 0 1 0 0 1 1 −1 (1-3) kV k =(p)qqp (p+q) pq B( , ) p,q q p0 In the case p = q this reduces to 1 0 0 1 p p k k p (p ) (1-4) V p,p = 1 1 B( p , p0 ) Special cases of this theorem are known. When p = q =2kis an even integer, then the result is equivalent to the differential inequality of section 7.6 of [H-L-P]. This seems to be the only case stated in the literature. The cases that p or q equals 1or∞are elementary. It is easy to see that kV kp,∞ = kV k1,q =1for1≤p≤∞ and 1 ≤ q ≤∞. It is also straightforward for 1 <p≤∞and 1 ≤ q<∞that 1 1 0 k k 1 p k k 1 q V p,1 =(p0+1 ) and V ∞,q =(q+1 ) . The proof of theorem 1 is based on a general result about compact positive operators between Lp spaces. This theorem in turn will be deduced from a general result about norm attaining linear operators between smooth Banach spaces (see section 2 for the exact statement of the result). In what follows (X, µ)and(Y,ν) will be σ-finite measure spaces. If T : Lp(Y,ν) → Lq(X, µ) is a continuous linear operator we denote by T ∗ the adjoint operator 0 0 T ∗ : Lq (X, µ) → Lp (Y,ν). For any real number x let sgn(x) be the sign of x (i.e. sgn(x)=1forx>0, = −1forx<0 and = 0 for x = 0 ). Then for any bounded linear operator T : Lp(Y,ν) → Lq(X, µ)with1<p,q<∞we call a function 0 =6 f ∈ Lp(X, µ)acritical point of T if for some real number λ we have (1-5) T ∗(sgn(Tf)|Tf|q−1)=λsgn(f)|f|p−1 (such function f is at least formally a solution to the Euler-Lagrange equation for the variational problem implicit in the definition of kT kp,q). In the case that T is positive and f ≥ 0 a.e. (1-5) takes on the simpler form (1-6) T ∗((Tf)q−1)=λf p−1 For future reference we remark that the value of λ in (1-5) and (1-6) is not invariant under rescaling of f.Iffis replaced by cf for some c>0thenλis rescaled to cq−pλ. Recall that a bounded linear operator T : X → Y between Banach spaces is called norm attaining if for some 0 =6 f ∈ X we have kTfkY = kTkkfkX .In this case T is said to attain its norm at f. The following theorem will be proved in section 2. Theorem 2. Let 1 <p,q<∞and let T : Lp(Y,ν) → Lq(X, µ) be a bounded operator. (A) If T attains its norm at f ∈ Lp(X, µ),thenfis a critical point of T (and so satisfies (1-5) for some real λ). NORMS OF POSITIVE OPERATORS ON Lp-SPACES 3 (B) If T is positive and compact, then (1-6) has nonzero solutions. If also any two nonnegative critical points f1,f2 of T differ by a positive multiple, then the norm kT kp,q is given by p−q 1 q (1-7) kT kp,q = λ q kfkp where f =06 is any nonnegative solution to (1-6) In section 2 we give an extension of theorem 2(A) to norm attaining operators between Banach spaces with smooth unit spheres and use this result to prove theo- rem 2B. Theorem 2 is closely related to results of Gra´slewicz [Gr], who shows that if T is positive, p ≥ q and (1-6) has a solution f>0a.e.forλ=1,thenkTkp,q =1. In section 4 of this paper we indicate an extension of this result. We prove that if there exists a 0 <f a.e. such that (1-8) T ∗(Tf)q−1 ≤ λf p−1, q 1 1 − 1 p then kT kp,p ≤ λ p in case p = q and in case q<pwe have kT kp,q ≤ λ p kTfkq under the additional hypothesis that Tf ∈ Lq. Inequality (1-8) can be used to prove a classical inequality of Hardy. Another application of this result is a factorization theorem of Maurey about positive linear operators from Lp into Lq. It is worthwhile remarking that in case p = q = 2 the equation (1-5) reduces to the linear equation T ∗Tf = λf. In this case theorem 2 is closely related to the fact that in a Hilbert space the norm of a compact operator is the square root of the largest eigenvalue of T ∗T . 2. Norm attaining linear operators between smooth Banach spaces. Let E be a Banach space and let E∗ denote its dual space. If f ∗ ∈ E∗ then we denote by f ∗(f)=<f,f∗ >the value of f ∗ at f ∈ E.If0=6 f∈Ethen f ∗ ∈ E∗ norms f if kf ∗k = 1 and <f,f∗ >=kfk. By the Hahn-Banach theorem there always exist such norming linear functionals. A Banach space E is called smooth if for every 0 =6 f ∈ E there exists a unique f ∗ ∈ E∗ which norms f. Geometrically this is equivalent with the statement that at each point f of the unit sphere of E there is a unique supporting hyperplane. It is well known that E is smooth if and only if the norm is Gˆateaux differentiable at all points 0 =6 f ∈ E (see e.g. [B]). If E is a smooth Banach space and 0 =6 f ∈ E,thendenotebyΘE(f) the unique ∗ element of E that norms f, note kΘE (f)k = 1. For the basic properties of smooth Banach spaces and the continuity properties of the map f 7→ ΘE (f) we refer to [B, part 3 Chapter 1]. The basic examples of smooth Banach spaces are the spaces Lp(X, µ)where 1<p<∞. For 0 =6 f ∈ Lp(X, µ) one can easily show that k k−(p−1) | |p−1 (2-1) ΘLp (f)= f p sgn(f) f by considering when equality holds in H¨older’s inequality. The following proposition generalizes part (A) of theorem 2 to norm attaining operators between smooth Banach spaces. 4 RALPH HOWARD* ANTON R. SCHEP** Proposition. Let T : E → F be a bounded linear operator between smooth Banach spaces. If T attains its norm at 0 =6 f ∈ E then there exists a real number α such that ∗ (2-2) T (ΘF (Tf)) = αΘE (f) and the norm of T is given by (2-3) kT k = α ∗ Proof. Define Λ1, Λ2 ∈ E by Λ1(h)=<h,ΘE(f)> 1 1 Λ (h)= <Th,Θ (Tf) >= <h,T∗(Θ (Tf)) >. 2 kTk F kTk F Then kΛ1k =1(sincekΘE(f)k=1)andΛ1(f)=kfk,soΛ1 norms f. Similarly kΘF (Tf)k= 1 implies that kΛ2k≤1, but using kTfk = kTkkfk we have Λ2(f )= kfk. Therefore Λ2 also norms f. The smoothness of E now implies that Λ1 =Λ2. Hence (2-2) holds with α = kT k as claimed. Theorem 2(A) now follows from the following lemma.
Load more

Recommended publications
  • ON the SPECTRUM of POSITIVE OPERATORS by Cheban P
    ON THE SPECTRUM OF POSITIVE OPERATORS by Cheban P. Acharya A Dissertation Submitted to the Faculty of The Charles E. Schmidt College of Science in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Florida Atlantic University Boca Raton, FL August 2012 Copyright by Cheban P. Acharya 2012 ii ACKNOWLEDGEMENTS I would like to express my sincere gratitude to my Ph.D. advisor, Prof. Dr. X. D. Zhang, for his precious guidance and encouragement throughout the research. I am sure it would have not been possible without his help. Besides I would like to thank the faculty and the staffs of the Department of Mathematics who always gave me support by various ways. I will never forget their help during my whole graduate study. And I also would like to thank all members of my thesis's committee. I would like to thank my wife Parbati for her personal support and great pa- tience all the time. My sons (Shishir and Sourav), mother, father, brother, and cousin have given me their support throughout, as always, for which my mere expression of thanks does not suffice. Last, but by no means least, I thank my colleagues in Mathematics department of Florida Atlantic University for their support and encouragement throughout my stay in school. iv ABSTRACT Author: Cheban P. Acharya Title: On The Spectrum of Positive Operators Institution: Florida Atlantic University Dissertation Advisor: Dr. Xiao Dong Zhang Degree: Doctor of Philosophy Year: 2012 It is known that lattice homomorphisms and G-solvable positive operators on Banach lattices have cyclic peripheral spectrum (see [17]).
    [Show full text]
  • Contents 1. Introduction 1 2. Cones in Vector Spaces 2 2.1. Ordered Vector Spaces 2 2.2
    ORDERED VECTOR SPACES AND ELEMENTS OF CHOQUET THEORY (A COMPENDIUM) S. COBZAS¸ Contents 1. Introduction 1 2. Cones in vector spaces 2 2.1. Ordered vector spaces 2 2.2. Ordered topological vector spaces (TVS) 7 2.3. Normal cones in TVS and in LCS 7 2.4. Normal cones in normed spaces 9 2.5. Dual pairs 9 2.6. Bases for cones 10 3. Linear operators on ordered vector spaces 11 3.1. Classes of linear operators 11 3.2. Extensions of positive operators 13 3.3. The case of linear functionals 14 3.4. Order units and the continuity of linear functionals 15 3.5. Locally order bounded TVS 15 4. Extremal structure of convex sets and elements of Choquet theory 16 4.1. Faces and extremal vectors 16 4.2. Extreme points, extreme rays and Krein-Milman's Theorem 16 4.3. Regular Borel measures and Riesz' Representation Theorem 17 4.4. Radon measures 19 4.5. Elements of Choquet theory 19 4.6. Maximal measures 21 4.7. Simplexes and uniqueness of representing measures 23 References 24 1. Introduction The aim of these notes is to present a compilation of some basic results on ordered vector spaces and positive operators and functionals acting on them. A short presentation of Choquet theory is also included. They grew up from a talk I delivered at the Seminar on Analysis and Optimization. The presentation follows mainly the books [3], [9], [19], [22], [25], and [11], [23] for the Choquet theory. Note that the first two chapters of [9] contains a thorough introduction (with full proofs) to some basics results on ordered vector spaces.
    [Show full text]
  • Reflexive Cones
    Reflexive cones∗ E. Casini† E. Miglierina‡ I.A. Polyrakis§ F. Xanthos¶ November 10, 2018 Abstract Reflexive cones in Banach spaces are cones with weakly compact in- tersection with the unit ball. In this paper we study the structure of this class of cones. We investigate the relations between the notion of reflexive cones and the properties of their bases. This allows us to prove a characterization of reflexive cones in term of the absence of a subcone isomorphic to the positive cone of ℓ1. Moreover, the properties of some specific classes of reflexive cones are investigated. Namely, we consider the reflexive cones such that the intersection with the unit ball is norm compact, those generated by a Schauder basis and the reflexive cones re- garded as ordering cones in Banach spaces. Finally, it is worth to point out that a characterization of reflexive spaces and also of the Schur spaces by the properties of reflexive cones is given. Keywords Cones, base for a cone, vector lattices, ordered Banach spaces, geometry of cones, weakly compact sets, reflexivity, positive Schauder bases. Mathematics Subject Classification (2010) 46B10, 46B20, 46B40, 46B42 1 Introduction The study of cones is central in many fields of pure and applied mathematics. In Functional Analysis, the theory of partially ordered spaces and Riesz spaces arXiv:1201.4927v2 [math.FA] 28 May 2012 ∗The last two authors of this research have been co-financed by the European Union (Euro- pean Social Fund - ESF)and Greek national funds through the Operational Program "Educa- tion and Lifelong Learning" of the National Strategic Reference Framework (NSRF) - Research Funding Program: Heracleitus II.
    [Show full text]
  • Inapril 3, 1970
    AN ABSTRACT OF THE THESIS OF Ralph Leland James for theDoctor of Philosophy (Name) (Degree) inAprilMathematics 3,presented 1970on (Major) (Date) Title: CONVERGENCE OF POSITIVE OPERATORS Abstract approved: Redacted for Privacy P. M. Anselone The extension and convergence of positiveoperators is investi- gated by means of a monotone approximation technique.Some gener- alizations and extensions of Korovkin's monotoneoperator theorem on C[0, 1] are given. The concept of a regular set is introduced and it is shownthat pointwise convergence is uniform on regular sets.Regular sets are investigated in various spaces andsome characterizations are obtained. These concepts are applied to the approximate solutionof a large class of integral equations. Convergence of Positive Operators by Ralph Leland James A THESIS submitted to Oregon State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy June 1970 APPROVED: Redacted for Privacy P nf eS ::33r of _Department of Ma,thernat ic s in charge of major Redacted for Privacy ActingChairman o Department of Mathematics Redacted for Privacy Dean of Graduate School Date thesis is presented April 3, 1970 Typed by Barbara Eby for Ralph Leland James ACKNOWLEDGEMENT I wish to express my appreciation to Professor P. M.Anselone for his guidance and encouragement during the preparation ofthis thesis. CONVERGENCE OF POSITIVE OPERATORS I.INTRODUCTION §1.Historical Remarks The ordinary Riemann integral can be regarded as an extension of the integral of a continuous function to a larger space in the follow- ing way.Let (1,03,C denote respectively the linear spaces of all, bounded, and continuous real valued functions on [0, 1] .For x in define 1 P0 x = x(t)dt is posi- thenP0is a linear functional defined on C.
    [Show full text]
  • Fatou's Lemma, Galerkin Approximations and the Existence
    Fatou’s Lemma, Galerkin Approximations and the Existence of Walrasian Equilibria in Infinite Dimensions∗ M. Ali Khan† Department of Economics, The Johns Hopkins University Baltimore, MD 21218, United States e-mail: [email protected] Nobusumi Sagara Department of Economics, Hosei University 4342, Aihara, Machida, Tokyo 194–0298, Japan e-mail: [email protected] November 11, 2018 arXiv:1610.04776v2 [math.FA] 19 Feb 2017 ∗This essay was written during Sagara’s visit to Johns Hopkins University, August 13– 21, 2016. The authors are grateful to Rich McLean for a passing remark that shaped the introduction to the essay, and to Takashi Suzuki for wide-ranging conversations regarding Walrasian general equilibrium theory. This research is supported by JSPS KAKENHI Grant No. 26380246 from the Ministry of Education, Culture, Sports, Science and Tech- nology, Japan. †Corresponding author. Abstract This essay has three objectives: (i) to report recent generalizations of Fatou’s lemma to multi-functions taking values in a Banach space, and framed in terms of both Bochner and Gelfand integration; (ii) to delineate the importance of Galerkin approximations in Walrasian general equilibrium theory with a continuum of agents and commodi- ties; and thereby (iii) to present two new results on the existence of a Walrasian equilibrium in economies where the continuum of agents is formalized as a saturated measure space. Key Words: Fatou’s lemma, Galerkin approximation, Lyapunov convex- ity theorem, saturated measure space, Bochner integral, Gelfand integral, Walrasian general equilibrium theory, continuum of agents, continuum of commodities. MSC2010: Primary: 28B05, 28B20, 46G10; Secondary: 65N30, 91B50. Contents 1 Introduction 3 2 Background of the Problem 6 2.1 Fatou’s Lemma in Finite Dimensions .
    [Show full text]
  • From Hahn–Banach Type Theorems to the Markov Moment Problem, Sandwich Theorems and Further Applications
    mathematics Review From Hahn–Banach Type Theorems to the Markov Moment Problem, Sandwich Theorems and Further Applications Octav Olteanu Department of Mathematics-Informatics, University Politehnica of Bucharest, 060042 Bucharest, Romania; [email protected] or [email protected] Received: 23 July 2020; Accepted: 5 August 2020; Published: 10 August 2020 Abstract: The aim of this review paper is to recall known solutions for two Markov moment problems, which can be formulated as Hahn–Banach extension theorems, in order to emphasize their relationship with the following problems: (1) pointing out a previously published sandwich theorem of the type f h g, where f, g are convex functionals and h is an affine functional, over a finite-simplicial ≤ ≤ − set X, and proving a topological version for this result; (2) characterizing isotonicity of convex operators over arbitrary convex cones; giving a sharp direct proof for one of the generalizations of Hahn–Banach theorem applied to the isotonicity; (3) extending inequalities assumed to be valid on a small subset, to the entire positive cone of the domain space, via Krein–Milman or Carathéodory’s theorem. Thus, we point out some earlier, as well as new applications of the Hahn–Banach type theorems, emphasizing the topological versions of these applications. Keywords: Hahn–Banach type theorems; Markov moment problem; sandwich theorem; finite-simplicial set; isotone convex operator; necessary and sufficient conditions 1. Introduction We recall the classical formulation of the moment problem, under the terms of T. Stieltjes, given in 1894–1895 (see the basic book of N.I. Akhiezer [1] for details): find the repartition of the positive mass on the nonnegative semi-axis, if the moments of arbitrary orders k (k = 0, 1, 2, ::: ) are given.
    [Show full text]
  • Korovkin-Type Theorems and Approximation by Positive Linear Operators
    Korovkin-type Theorems and Approximation by Positive Linear Operators Francesco Altomare 10 September 2010 To the memory of my parents Maria Giordano (1915-1989) and Luigi Altomare (1898-1963) Abstract This survey paper contains a detailed self-contained introduction to Korovkin-type theorems and to some of their applications concerning the approximation of continuous functions as well as of Lp-functions, by means of positive linear operators. The paper also contains several new results and applications. Moreover, the organization of the subject follows a simple and direct approach which quickly leads both to the main results of the theory and to some new ones. MSC: 41A36, 46E05, 47B65 Keywords: Korovkin-type theorem, positive operator, approximation by positive operators, Stone-Weierstrass theorem, (weighted) continuous function space, Lp-space. Contents 1 Introduction 93 2 Preliminaries and notation 95 arXiv:1009.2601v1 [math.CA] 14 Sep 2010 3 Korovkin’s first theorem 98 4 Korovkin’s second theorem and something else 106 5 Korovkin-type theorems for positive linear operators 118 6 Korovkin-type theorems for the identity operator in C0(X) 123 7 Korovkin-type theorems for the identity operator on C(X), X compact 131 Surveys in Approximation Theory Volume 6, 2010. pp. 92–164. c 2010 Surveys in Approximation Theory. ISSN 1555-578X All rights of reproduction in any form reserved. 92 Korovkin-type theorems and positive operators 93 8 Korovkin-type theorems in weighted continuous function spaces and in Lp(X, µ) spaces 135 9 Korovkin-type theorems and Stone-Weierstrass theorems 143 10 Korovkin-type theorems for positive projections 146 11 Appendix: A short review of locally compact spaces and of some continuous function spaces on them 151 References 157 1 Introduction Korovkin-type theorems furnish simple and useful tools for ascertaining whether a given sequence of positive linear operators, acting on some function space is an approximation process or, equivalently, converges strongly to the identity operator.
    [Show full text]
  • Disjointness Preserving Operators on Normed Pre-Riesz Spaces: Extensions and Inverses
    Positivity (2020) 24:481–504 https://doi.org/10.1007/s11117-019-00684-2 Positivity Disjointness preserving operators on normed pre-Riesz spaces: extensions and inverses Anke Kalauch1 · Onno van Gaans2 · Feng Zhang2 Received: 24 September 2018 / Accepted: 24 May 2019 / Published online: 3 June 2019 © The Author(s) 2019 Abstract We explore inverses of disjointness preserving bijections in infinite dimensional normed pre-Riesz spaces by several methods. As in the case of Banach lattices, our aim is to show that such inverses are disjointness preserving. One method is exten- sion of the operator to the Riesz completion, which works under suitable denseness and continuity conditions. Another method involves a condition on principle bands. Examples illustrate the differences to the Riesz space theory. Keywords Disjointness preserving operator · Extension · Inverse · Pervasive · Pre-Riesz space · Principal band · Riesz completion Mathematics Subject Classification 47B60 · 46B40 1 Introduction In 1992, Y.A. Abramovich raised a question in the problem section of [6]: if X, Y are vector lattices and T : X → Y is a linear disjointness preserving bijection, is T −1 : Y → X disjointness preserving as well? If X and Y are Banach lattices, the answer is affirmative, see [5]. This initiated research to explore the most general setting in which a similar result is true; see [2] and references therein. It is also observed there that for a disjointness preserving bijection between arbitrary vector lattices the inverse is not disjointness preserving, in general. In [7] it is proved that an order bounded B Onno van Gaans [email protected] Anke Kalauch [email protected] Feng Zhang [email protected] 1 Institut für Analysis, Fakultät Mathematik, TU Dresden, 01062 Dresden, Germany 2 Mathematical Institute, Leiden University, P.O.
    [Show full text]
  • Positive Operators Compact in an Auxiliary Topology
    Pacific Journal of Mathematics POSITIVE OPERATORS COMPACT IN AN AUXILIARY TOPOLOGY FRANK FEATHERSTONE BONSALL Vol. 10, No. 4 December 1960 POSITIVE OPERATORS COMPACT IN AN AUXILIARY TOPOLOGY F. F. BONSALL Of the several generalizations to infinite dimensional spaces of the Perron-Frobenius theorem on matrices with non-negative elements, two are outstanding for their freedom from ad hoc conditions. THEOREM A (Krein and Rutman [3] Theorem 6.1). If the positive cone K in a partially ordered Banach space E is closed and funda- mental, and if T is a compact linear operator in E that is positive (i.e., TK c K) and has non-zero spectral radius p, then p is an eigen- value corresponding to positive eigenvectors of T and of T*. THEOREM B ([4] p. 749 [1] p. 134). // the positive cone K in a partial- ly ordered normed space E is normal1 and has interior points, and if T is a positive linear operator in E, then the spectral radius is an eigenvalue of T* corresponding to a positive eigenvector. In [2], we have proved the following generalization of Theorem A. THEOREM C. Let the positive cone K in a normed and partially ordered space E be complete, and let T be a positive linear operator in E that is continuous and compact in K. If the partial spectral radius μof T is non-zero, then μ is an eigenvalue of T corresponding to a positive eigenvector. Also in [2], we have developed a single method of proof of Theo- rems A, B, C which exploits the fact that the resolvent operator is a geometric series, and thus avoids the use of complex analysis or any other deep method.
    [Show full text]
  • Polynomial Approximation on Unbounded Subsets, Markov Moment Problem and Other Applications
    mathematics Review Polynomial Approximation on Unbounded Subsets, Markov Moment Problem and Other Applications Octav Olteanu Department of Mathematics-Informatics, University Politehnica of Bucharest, 060042 Bucharest, Romania; [email protected] or [email protected] Received: 1 September 2020; Accepted: 23 September 2020; Published: 25 September 2020 Abstract: This paper starts by recalling the author’s results on polynomial approximation over a Cartesian product A of closed unbounded intervals and its applications to solving Markov moment problems. Under natural assumptions, the existence and uniqueness of the solution are deduced. The characterization of the existence of the solution is formulated by two inequalities, one of which involves only quadratic forms. This is the first aim of this work. Characterizing the positivity of a bounded linear operator only by means of quadratic forms is the second aim. From the latter point of view, one solves completely the difficulty arising from the fact that there exist nonnegative polynomials on Rn, n 2, which are not sums of squares. ≥ Keywords: polynomial approximation; Hahn–Banach theorem; Markov moment problem; determinacy; quadratic forms 1. Introduction The present paper refers mainly to various aspects of the classical multidimensional Markov moment problem and its relationship with polynomial approximation on special closed unbounded subsets A of Rn, namely on Cartesian products of closed unbounded intervals. We shall use the notations: j j1 jn n n N = 0, 1, 2, ::: , R+ = [0, ), 'j(t) = t = t ::: t , t = (t1, ::: , tn) A R , j = (j1, ::: , jn) N . f g 1 1 n 2 v 2 The cases A = Rn and, respectively, A = Rn , n 1 will be under attention, since they are + ≥ the most important.
    [Show full text]
  • Periodic Points of Positive Linear Operators and Perron-Frobenius Operators
    Integr. equ. oper. theory 39 (2001) 41-97 0378-620X/01/010041-57 $1.50+0.20/0 I Integral Equations Birlda~iuserVerlag, Basel, 2001 and OperatorTheory PERIODIC POINTS OF POSITIVE LINEAR OPERATORS AND PERRON-FROBENIUS OPERATORS ROGER NUSSBAUM* Let C(S) denote the Banach space of continuous, real-valued maps f : S -+ IR and let A denote a positive linear map of C(S) into itself. We give necessary conditions that the operator A have a strictly positive periodic point of minimal period m. Under mild compactness conditions on the operator A, we prove that these necessary conditions are also sufficient to guarantee existence of a strictly positive periodic point of minimal period m. We study a class of Perron-Frobenius operators defined by c~ (Ax) (t) = ~ bi(t)z(wi(t)), i=I and we show how to verify the necessary compactness conditions to apply our theorems concerning existence of positive periodic points. 1 Introduction Recently, in [10], the following question was raised: Do there exist a nonnegative, continuous function k : [0, 1] x [0, 1] --+ IR and strictly positive, continuous functions f0 : [0, 1] -~ IR and fl : [0, 1] -+ IR with f0 r fl such that for all s E [0, 1] /0 k(s, t)fo(t)dt = f~(s) and /0 k(s, t)fl(t)dt = f0(s)? A simple classical argument shows that this question does not have a positive answer if k(s, t) > 0 for all s and t. In this paper we shall be interested in generalizations of the above question.
    [Show full text]
  • Evaluarea Ordinului De Aproximare Prin Operatori Liniari Si Pozitivi
    Evaluation of the Approximation Order by Positive Linear Operators Am Fachbereich Mathematik der Universit¨at Duisburg-Essen zur Erlangung des akademischen Grades eines Doctor ˆınMatematic˘a angefertigte Dissertation von Paula Anamaria Pit¸ul aus Sibiu (Hermannstadt), Rum¨anien Referenten: Prof. Dr. Octavian Agratini - Cluj Prof. Dr. Petru Blaga - Cluj Prof. Dr. Sorin Gal - Oradea Prof. Dr. dr.h.c. Heiner Gonska - Duisburg Prof. Dr. Ioan Ra¸sa- Cluj Tag der ¨offentlichen Verteidigung an der Babe¸s-Bolyai-Universit¨atin Cluj-Napoca: 28. September 2007. Universitatea Babe¸s-Bolyai Facultatea de Matematic˘a¸siInformatic˘a Paula Anamaria PIT¸UL Evaluarea ordinului de aproximare prin operatori liniari ¸sipozitivi Tez˘ade doctorat Conduc˘atori ¸stiint¸ifici: Prof. Univ. Dr. P. BLAGA Prof. Dr. Dr. h. c. H. GONSKA CLUJ-NAPOCA 2007 2 To my family Contents Introduction iv Notations and symbols 1 1 Preliminary and auxiliary results 3 1.1 Positive linear operators . 3 1.2 A H¨older-type inequality for positive linear operators . 5 1.3 Moments of higher order for positive linear operators: inequalities and a recurrence formula . 6 1.4 Different types of moduli of smoothness . 8 1.5 Zhuk’s function and its applications . 11 1.6 K-functionals and their relationship to the moduli . 13 1.7 General quantitative theorems on C[a, b] ........ 15 1.8 On totally positive kernels . 16 2 On rational type operators and some special cases 19 2.1 Rational B-spline operators . 19 2.1.1 Definition and some special cases . 19 2.1.2 NURBS-graph . 22 2.1.3 (Shape-preservation) properties and some nega- tive results about linear precision .
    [Show full text]