A Functional Equation from Probability Theory

Total Page:16

File Type:pdf, Size:1020Kb

A Functional Equation from Probability Theory proceedings of the american mathematical society Volume 121, Number 3, July 1994 A FUNCTIONAL EQUATION FROM PROBABILITYTHEORY JOHN A. BAKER (Communicated by J. Marshall Ash) Abstract. The functional equation IV (1) f(x) = T\[f(ßix)yi 7=1 has been used by Laha and Lukacs (Aequationes Math. 16 (1977), 259-274) to characterize normal distributions. The aim of the present paper is to study (1) under somewhat different assumptions than those assumed by Laha and Lukacs by using techniques which, in the author's opinion, are simpler than those employed by the afore-mentioned authors. We will prove, for example, that if 0 < ßj < 1 and y¡ > 0 for 1 < j < N, £* , ßfyj = 1 , where it is a natural number, /: R -» [0, +co), (1) holds for x € R and /^'(O) exists then either / = 0 or there exists a real constant c such that f(x) = e\p(cxk) for all x e R. Introduction In [3, p. 237] we find the following theorem attributed to Vincze [6]. Theorem A. Suppose a, a, b>0, a2 + b2 = 1, çjgR-+C, (2) cp(x) = o\/2ñcp(ax)ip(bx) forallx£R, cp"(0) exists, and ¡&<p(x)dx = 1. Then (3) cp(x) = (l/crv/27t)exp(-x2/fT2) forallx£R. Notice that if we let f(x) = oV2ñ<p(x) for x G R then (2) is equivalent to (1) with N = 2, ßx = a, ß2 = b, yx = y2 = 1 and, in this instance, ß2x7i + ß\y2 = 1 - Suppose f:R -» R, f is nondecreasing and continuous on the right, limr__00 F(f) - 0, and lim,_+00 F(t) = 1. If /oo eixtdF(t) forxG -oo then / is called the characteristic function of the distribution function F (see [5]). Thus a characteristic function / is, by definition, the Fourier-Stieltjes Received by the editors June 23, 1992 and, in revised form, October 9, 1992. 1991 Mathematics Subject Classification.Primary 39B12, 60E10; Secondary 39B22. Key words and phrases. Functional equation, probability. ©1994 American Mathematical Society 0002-9939/94 $1.00+ $.25 per page 767 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 768 J. A. BAKER transform of a distribution function and therefore, as is well known, / is con- tinuous, /(0) = 1 and f is positive definite in the sense of Bochner. In [5], Laha and Lukacs proved Theorem B. If 0 < ßj < I and y} > 0 for I <j <N, £*=1 ßfy = I, f is a characteristic function, and (1) holds for all x £ R then f is the characteristic function of a normal distribution with zero mean. The conclusion is equivalent to asserting that f = cp where <p is defined by (3) for some a > 0. Theorem A is proved in [3] by using general results concerning certain classes of functional equations. Theorem B is deduced in [5] from a part of the theory of characteristic functions involving the Fourier transform. Our results will be based on the comparatively simple propositions of the next section. Throughout this paper N is a given natural number and ßx, ... , ß^, yi,..., yN are given real numbers such that 0 < ß} < 1 and y¡ > 0 for 1 < j < N. We also let (*) Pi = -Inßj > 0 for 1 < j < N. If we let p(s) = 53 _j ßpj for s £ R then p is continuous, strictly decreas- ing, limJ_+00 p(s) = 0, and limJ_(_0o p(s) — +oo . Hence there is a unique real number k such that (#) E^ =i- 7=1 Let Pi = ßfyj > 0 for 1 < j < N so that £?=i p}■=1. Notice that k = 2 in both of the above theorems. We will be mainly con- cerned with cases in which k is a natural number and / satisfies some regularity condition at (or near) zero. We denote the natural numbers by N, the integers by Z, the real numbers by R, and the complex numbers by C. Although we will eventually consider cases of ( 1) for functions / from R to R (or C or even a Banach algebra), we will begin by concentrating on functions / from (0, +oo) to (0, +00) ; the main ideas of our proofs are more easily understood in this setting. TWO BASIC PROPOSITIONS Proposition 1. Suppose / : (0, +00) -+ (0, +00). Then (1) holds for all x > 0 if and only if there exists a function cp: R —»R such that f(x) = exp[xV(lnx)] far all x > 0, i.e., <p(t)= e~kllnf(e') for allt£R, and N (5) cp(t)= YJPi<P(t-pj) forallt£R. 7=1 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use A FUNCTIONALEQUATION FROM PROBABILITYTHEORY 769 Proof. Suppose (1) holds for all x > 0 and let y/(t) = lnf(e') for t £ R. Then,by (1), y/(t)= ^{Y^Mißj^W) = E?=, y,-In/(*"»*'), i.e., N (6) yr(t) = Y, 7j¥(t -Pj) for all f e R. 7=1 For s £ R let y/s(t) = e~sty/(t) for t £ R. By (6) and (*), N N Kit) = e~stY YjV(t- Pj) = £ rje-We-l'-M wit - pj) 7=1 7=1 N = Y ßj?j Vs(t - Pj) for 5, t £ R. 7=1 If we let cp = y/k then we have (5) and i//(t) = ekty/k(t) = (e')ktp(t) for all ÍGR. Thus f(x) = exp[(/(lnx)] = exp[xktp(lnx)] for all x > 0, i.e., (4) holds. The converse involves only a simple computation. The next result is a generalization of the simple fact that if cp: R -+ R, cp is periodic, and lim,-,.^ cp(t) exists, then cp is constant. Proposition 2. Suppose cp: R —►R (or any normal linear space), (5) holds, and lim,-.-,*, cp(t) exists. Then cp is constant. Proof. Suppose <p(t) —»/ G R as f -> -oo. Given e > 0, choose a £ R such that \cp(t)-l\<e whenever t < a. Let p = min{p!, ... , pN} > 0. If t < a+p then t - Pj < a for 1 < j < N so that \cp(t- pj) - l\ < e . Hence if t < a+ p then, by (#) and the definition of pj, N N \<P(t)~l\ = YM<p(t-Pj)-i} 7 = 1 7 = 1 By induction, \<p(t)- l\ < s provided t < a + np for some « G N. It follows that \cpit)-l\<e for all? G R. Since this is so for every e > 0 we must conclude that cpit) = I for all t G R. D Proposition 3. Suppose /: (0, +oo) —>[0, +00), (1) holds for all x > 0, ^2f=x y¡ > 1 (equivalently, k > 0), and limx_o+ fix) exists. Then either f = 0 or fix) > 0 for all x > 0. Moreover assuming / ==0, // fe = 0 i«tf« / is constant and if k > 0 then limx_>0+fix) = 1. Proof. Let c = limJC_0+fix). By (1), c = c» where y = £?, y¡ > 1. Suppose first that c = 0. Let 0 < e < 1 and choose S > 0 such that 0 < fix) < e whenever 0 < x < S. Let ß = max{/3i, ß2,... , ßN} so that 0 < /? < 1. If 0 < x < S/ß then 0 < ßjx <ßx<6 for 1 < j < N and hence N 0 < /(x) = HtfißjX)]* <ey<e 7=1 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 770 J. A. BAKER since 0 < e < 1 and y = Y,f=i 7j > ! • That is 0 < f(x) < e whenever 0 < x < o/ß . By induction, for any natural number « , 0 < f(x) < e whenever 0 < x < S/ß" from which it follows that 0 < f(x) < e for all x > 0. Since this is so for any e G (0, 1) we conclude that / = 0 if c = 0. Suppose next that c > 0 and y = ¿~^J=ly¡ = 1 (i.e., k = 0). Since limJC_o+/(•*) > 0, it follows from (1) that f(x) > 0 for all x > 0. Let y/(t) = lnf(e') for í G R so that, by (6), N y/(t) = 'V\yjV/(t~Pj) for all í G R and lim y/(t) = Inc =: d. 7=1 By Proposition 2, ^ is constant and hence / is constant. Suppose finally that c > 0 and 3D/=i7j > I >i-e-> fc > 0. To complete the proof it suffices to show that f(x) > 0 for all x > 0 and c = 1. But c = c5", c> 0, and y = £/Li y, > 1, so c = 1. Hence /is positive in (0, ô) for some r5 > 0 and it follows from (1) that f must be positive on (0, +00). D Corollary. Suppose that f: [0, +00) -» [0, +00) (or f: R -» [0, +00)), (1) holds for all x > 0, (res1/?,all x eR), k = 0, and f is continuous at 0. 7«e« / is constant. Proof. Proposition 3 implies that / is constant on (0, +00) and hence / is constant on [0, +00) so the proof is complete if the domain of / is [0, +00). Suppose /: R —»[0, +00). Let g(x) = f(-x) for all x > 0. Then N N g(x)= f(-x) = Y[[f(ßj(-xW= ll[g(ßjX)Y> 7=1 7=1 for all x > 0 and limx_0+ ¿?(-*)= limx_0 f(x) ■ Hence by Proposition 3, g is constant on (0, +00). Thus / is constant on (-00, 0). Using the continuity of / at 0 once again we conclude the / is constant on R. D The main RESULTS Theorem 1. Suppose f: R -» [0, +00), (1) holds for all x £ R, k £ N, and flk\0) exists.
Recommended publications
  • Inverse Vs Implicit Function Theorems - MATH 402/502 - Spring 2015 April 24, 2015 Instructor: C
    Inverse vs Implicit function theorems - MATH 402/502 - Spring 2015 April 24, 2015 Instructor: C. Pereyra Prof. Blair stated and proved the Inverse Function Theorem for you on Tuesday April 21st. On Thursday April 23rd, my task was to state the Implicit Function Theorem and deduce it from the Inverse Function Theorem. I left my notes at home precisely when I needed them most. This note will complement my lecture. As it turns out these two theorems are equivalent in the sense that one could have chosen to prove the Implicit Function Theorem and deduce the Inverse Function Theorem from it. I showed you how to do that and I gave you some ideas how to do it the other way around. Inverse Funtion Theorem The inverse function theorem gives conditions on a differentiable function so that locally near a base point we can guarantee the existence of an inverse function that is differentiable at the image of the base point, furthermore we have a formula for this derivative: the derivative of the function at the image of the base point is the reciprocal of the derivative of the function at the base point. (See Tao's Section 6.7.) Theorem 0.1 (Inverse Funtion Theorem). Let E be an open subset of Rn, and let n f : E ! R be a continuously differentiable function on E. Assume x0 2 E (the 0 n n base point) and f (x0): R ! R is invertible. Then there exists an open set U ⊂ E n containing x0, and an open set V ⊂ R containing f(x0) (the image of the base point), such that f is a bijection from U to V .
    [Show full text]
  • On the Stability of a Cauchy Type Functional Equation
    Demonstr. Math. 2018; 51:323–331 Research Article Open Access Abbas Najati, Jung Rye Lee*, Choonkil Park, and Themistocles M. Rassias On the stability of a Cauchy type functional equation https://doi.org/10.1515/dema-2018-0026 Received May 31, 2018; accepted November 11, 2018 Abstract: In this work, the Hyers-Ulam type stability and the hyperstability of the functional equation (︁ x + y )︁ (︁ x − y )︁ f + xy + f − xy = f(x) 2 2 are proved. Keywords: Hyers-Ulam stability, additive mapping, hyperstability, topological vector space MSC: 39B82, 34K20, 26D10 1 Introduction The functional equation (ξ) is called stable if any function g satisfying the equation (ξ) approximately, is near to a true solution of (ξ). Ulam, in 1940 [1], introduced the stability of homomorphisms between two groups. More precisely, he proposed the following problem: given a group (G1,.), a metric group (G2, *, d) and a positive number ϵ, does there exist a δ > 0 such that if a function f : G1 ! G2 satisfies the inequal- ity d(f (x.y), f (x) * f(y)) < δ for all x, y 2 G1, then there exists a homomorphism T : G1 ! G2 such that d(f(x), T(x)) < ϵ for all x 2 G1? If this problem has a solution, we say that the homomorphisms from G1 to G2 are stable. In 1941, Hyers [2] gave a partial solution of Ulam’s problem for the case of approximate addi- tive mappings under the assumption that G1 and G2 are Banach spaces. Aoki [3] and Rassias [4] provided a generalization of the Hyers’ theorem for additive and linear mappings, respectively, by allowing the Cauchy difference to be unbounded.
    [Show full text]
  • Quantum Query Complexity and Distributed Computing ILLC Dissertation Series DS-2004-01
    Quantum Query Complexity and Distributed Computing ILLC Dissertation Series DS-2004-01 For further information about ILLC-publications, please contact Institute for Logic, Language and Computation Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam phone: +31-20-525 6051 fax: +31-20-525 5206 e-mail: [email protected] homepage: http://www.illc.uva.nl/ Quantum Query Complexity and Distributed Computing Academisch Proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de Aula der Universiteit op dinsdag 27 januari 2004, te 12.00 uur door Hein Philipp R¨ohrig geboren te Frankfurt am Main, Duitsland. Promotores: Prof.dr. H.M. Buhrman Prof.dr.ir. P.M.B. Vit´anyi Overige leden: Prof.dr. R.H. Dijkgraaf Prof.dr. L. Fortnow Prof.dr. R.D. Gill Dr. S. Massar Dr. L. Torenvliet Dr. R.M. de Wolf Faculteit der Natuurwetenschappen, Wiskunde en Informatica The investigations were supported by the Netherlands Organization for Sci- entific Research (NWO) project “Quantum Computing” (project number 612.15.001), by the EU fifth framework projects QAIP, IST-1999-11234, and RESQ, IST-2001-37559, the NoE QUIPROCONE, IST-1999-29064, and the ESF QiT Programme. Copyright c 2003 by Hein P. R¨ohrig Revision 411 ISBN: 3–933966–04–3 v Contents Acknowledgments xi Publications xiii 1 Introduction 1 1.1 Computation is physical . 1 1.2 Quantum mechanics . 2 1.2.1 States .
    [Show full text]
  • Applied Mathematics Letters Exponential Functional Equation On
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Applied Mathematics Letters 23 (2010) 156–160 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml Exponential functional equation on spheres Justyna Sikorska Institute of Mathematics, Silesian University, Bankowa 14, PL-40-007 Katowice, Poland article info a b s t r a c t Article history: We study the exponential functional equation f .x C y/ D f .x/f .y/ on spheres in real Received 28 February 2009 normed linear spaces. Regardless of the solutions of this equation, which are already Received in revised form 4 September 2009 known, we investigate its stability and consider the pexiderized version of it. Accepted 4 September 2009 ' 2009 Elsevier Ltd. All rights reserved. Keywords: Conditional exponential functional equation Stability Approximation 1. Introduction Alsina and Garcia-Roig [1] considered the conditional functional equation f .x C y/ D f .x/ C f .y/ whenever kxk D kyk (1) with a continuous function f : X ! Y mapping a real inner product space .X; h·; ·i/ with dim X ≥ 2 into a real topological vector space Y . In [2], Szabó solved (1) in case where .X; k · k/ is a real normed linear space with dim X ≥ 3 and .Y ; C/ is an Abelian group. In [3], Ger and the author proceeded with the study of (1) with the norm replaced by an abstract function fulfilling suitable conditions. We dealt also with more general structures than those considered in [1,2].
    [Show full text]
  • 1. Inverse Function Theorem for Holomorphic Functions the Field Of
    1. Inverse Function Theorem for Holomorphic Functions 2 The field of complex numbers C can be identified with R as a two dimensional real vector space via x + iy 7! (x; y). On C; we define an inner product hz; wi = Re(zw): With respect to the the norm induced from the inner product, C becomes a two dimensional real Hilbert space. Let C1(U) be the space of all complex valued smooth functions on an open subset U of ∼ 2 C = R : Since x = (z + z)=2 and y = (z − z)=2i; a smooth complex valued function f(x; y) on U can be considered as a function F (z; z) z + z z − z F (z; z) = f ; : 2 2i For convince, we denote f(x; y) by f(z; z): We define two partial differential operators @ @ ; : C1(U) ! C1(U) @z @z by @f 1 @f @f @f 1 @f @f = − i ; = + i : @z 2 @x @y @z 2 @x @y A smooth function f 2 C1(U) is said to be holomorphic on U if @f = 0 on U: @z In this case, we denote f(z; z) by f(z) and @f=@z by f 0(z): A function f is said to be holomorphic at a point p 2 C if f is holomorphic defined in an open neighborhood of p: For open subsets U and V in C; a function f : U ! V is biholomorphic if f is a bijection from U onto V and both f and f −1 are holomorphic. A holomorphic function f on an open subset U of C can be identified with a smooth 2 2 mapping f : U ⊂ R ! R via f(x; y) = (u(x; y); v(x; y)) where u; v are real valued smooth functions on U obeying the Cauchy-Riemann equation ux = vy and uy = −vx on U: 2 2 For each p 2 U; the matrix representation of the derivative dfp : R ! R with respect to 2 the standard basis of R is given by ux(p) uy(p) dfp = : vx(p) vy(p) In this case, the Jacobian of f at p is given by 2 2 0 2 J(f)(p) = det dfp = ux(p)vy(p) − uy(p)vx(p) = ux(p) + vx(p) = jf (p)j : Theorem 1.1.
    [Show full text]
  • Inverse and Implicit Function Theorems for Noncommutative
    Inverse and Implicit Function Theorems for Noncommutative Functions on Operator Domains Mark E. Mancuso Abstract Classically, a noncommutative function is defined on a graded domain of tuples of square matrices. In this note, we introduce a notion of a noncommutative function defined on a domain Ω ⊂ B(H)d, where H is an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these operatorial noncommutative functions are suitably continuous in the strong operator topology, a noncommutative dilation-theoretic construction is used to show that the assumptions on their derivatives may be relaxed from boundedness below to injectivity. Keywords: Noncommutive functions, operator noncommutative functions, free anal- ysis, inverse and implicit function theorems, strong operator topology, dilation theory. MSC (2010): Primary 46L52; Secondary 47A56, 47J07. INTRODUCTION Polynomials in d noncommuting indeterminates can naturally be evaluated on d-tuples of square matrices of any size. The resulting function is graded (tuples of n × n ma- trices are mapped to n × n matrices) and preserves direct sums and similarities. Along with polynomials, noncommutative rational functions and power series, the convergence of which has been studied for example in [9], [14], [15], serve as prototypical examples of a more general class of functions called noncommutative functions. The theory of non- commutative functions finds its origin in the 1973 work of J. L. Taylor [17], who studied arXiv:1804.01040v2 [math.FA] 7 Aug 2019 the functional calculus of noncommuting operators. Roughly speaking, noncommutative functions are to polynomials in noncommuting variables as holomorphic functions from complex analysis are to polynomials in commuting variables.
    [Show full text]
  • The Implicit Function Theorem and Free Algebraic Sets Jim Agler
    Washington University in St. Louis Washington University Open Scholarship Mathematics Faculty Publications Mathematics and Statistics 5-2016 The implicit function theorem and free algebraic sets Jim Agler John E. McCarthy Washington University in St Louis, [email protected] Follow this and additional works at: https://openscholarship.wustl.edu/math_facpubs Part of the Algebraic Geometry Commons Recommended Citation Agler, Jim and McCarthy, John E., "The implicit function theorem and free algebraic sets" (2016). Mathematics Faculty Publications. 25. https://openscholarship.wustl.edu/math_facpubs/25 This Article is brought to you for free and open access by the Mathematics and Statistics at Washington University Open Scholarship. It has been accepted for inclusion in Mathematics Faculty Publications by an authorized administrator of Washington University Open Scholarship. For more information, please contact [email protected]. The implicit function theorem and free algebraic sets ∗ Jim Agler y John E. McCarthy z U.C. San Diego Washington University La Jolla, CA 92093 St. Louis, MO 63130 February 19, 2014 Abstract: We prove an implicit function theorem for non-commutative functions. We use this to show that if p(X; Y ) is a generic non-commuting polynomial in two variables, and X is a generic matrix, then all solutions Y of p(X; Y ) = 0 will commute with X. 1 Introduction A free polynomial, or nc polynomial (nc stands for non-commutative), is a polynomial in non-commuting variables. Let Pd denote the algebra of free polynomials in d variables. If p 2 Pd, it makes sense to think of p as a function that can be evaluated on matrices.
    [Show full text]
  • Chapter 3 Inverse Function Theorem
    Chapter 3 Inverse Function Theorem (This lecture was given Thursday, September 16, 2004.) 3.1 Partial Derivatives Definition 3.1.1. If f : Rn Rm and a Rn, then the limit → ∈ f(a1,...,ai + h,...,an) f(a1,...,an) Dif(a) = lim − (3.1) h→0 h is called the ith partial derivative of f at a, if the limit exists. Denote Dj(Dif(x)) by Di,j(x). This is called a second-order (mixed) partial derivative. Then we have the following theorem (equality of mixed partials) which is given without proof. The proof is given later in Spivak, Problem 3-28. Theorem 3.1.2. If Di,jf and Dj,if are continuous in an open set containing a, then Di,jf(a)= Dj,if(a) (3.2) 19 We also have the following theorem about partial derivatives and maxima and minima which follows directly from 1-variable calculus: Theorem 3.1.3. Let A Rn. If the maximum (or minimum) of f : A R ⊂ → occurs at a point a in the interior of A and Dif(a) exists, then Dif(a) = 0. 1 n Proof: Let gi(x)= f(a ,...,x,...,a ). gi has a maximum (or minimum) i i ′ i at a , and gi is defined in an open interval containing a . Hence 0 = gi(a ) = 0. The converse is not true: consider f(x, y) = x2 y2. Then f has a − minimum along the x-axis at 0, and a maximum along the y-axis at 0, but (0, 0) is neither a relative minimum nor a relative maximum.
    [Show full text]
  • Square Root Singularities of Infinite Systems of Functional Equations Johannes F
    Square root singularities of infinite systems of functional equations Johannes F. Morgenbesser To cite this version: Johannes F. Morgenbesser. Square root singularities of infinite systems of functional equations. 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA’10), 2010, Vienna, Austria. pp.513-526. hal-01185580 HAL Id: hal-01185580 https://hal.inria.fr/hal-01185580 Submitted on 20 Aug 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. AofA’10 DMTCS proc. AM, 2010, 513–526 Square root singularities of infinite systems of functional equations Johannes F. Morgenbesser† Institut f¨ur Diskrete Mathematik und Geometrie, Technische Universit¨at Wien, Wiedner Hauptstraße 8-10, A-1040 Wien, Austria Infinite systems of equations appear naturally in combinatorial counting problems. Formally, we consider functional equations of the form y(x) = F (x, y(x)), where F (x, y) : C × ℓp → ℓp is a positive and nonlinear function, and analyze the behavior of the solution y(x) at the boundary of the domain of convergence. In contrast to the finite dimensional case different types of singularities are possible. We show that if the Jacobian operator of the function F is compact, then the occurring singularities are of square root type, as it is in the finite dimensional setting.
    [Show full text]
  • Aspects of Non-Commutative Function Theory
    Concr. Oper. 2016; 3: 15–24 Concrete Operators Open Access Research Article Jim Agler and John E. McCarthy* Aspects of non-commutative function theory DOI 10.1515/conop-2016-0003 Received October 30, 2015; accepted February 10, 2016. Abstract: We discuss non commutative functions, which naturally arise when dealing with functions of more than one matrix variable. Keywords: Noncommutative function, Free holomorphic function MSC: 14M99, 15A54 1 Motivation A non-commutative polynomial is an element of the algebra over a free monoid; an example is p.x; y/ 2x2 3xy 4yx 5x2y 6xyx: (1) D C C C Non-commutative function theory is the study of functions of non-commuting variables, which may be more general than non-commutative polynomials. It is based on the observation that matrices are natural objects on which to evaluate an expression like (1). 1.1 LMI’s A linear matrix inequality (LMI) is an inequality of the form M X A0 xi Ai 0: (2) C i 1 D m The Ai are given self-adjoint n-by-n matrices, and the object is to find x R such that (2) is satisfied (or to show 2 that it is never satisfied). LMI’s are very important in control theory, and there are efficient algorithms for finding solutions. See for example the book [9]. Often, the stability of a system is equivalent to whether a certain matrix valued function F .x/ is positive semi- definite; but the function F may be non-linear. A big question is when the inequality F .x/ 0 can be reduced to an LMI.
    [Show full text]
  • The Riemann Zeta Function and Its Functional Equation (And a Review of the Gamma Function and Poisson Summation)
    Math 259: Introduction to Analytic Number Theory The Riemann zeta function and its functional equation (and a review of the Gamma function and Poisson summation) Recall Euler's identity: 1 1 1 s 0 cps1 [ζ(s) :=] n− = p− = s : (1) X Y X Y 1 p− n=1 p prime @cp=1 A p prime − We showed that this holds as an identity between absolutely convergent sums and products for real s > 1. Riemann's insight was to consider (1) as an identity between functions of a complex variable s. We follow the curious but nearly universal convention of writing the real and imaginary parts of s as σ and t, so s = σ + it: s σ We already observed that for all real n > 0 we have n− = n− , because j j s σ it log n n− = exp( s log n) = n− e − and eit log n has absolute value 1; and that both sides of (1) converge absolutely in the half-plane σ > 1, and are equal there either by analytic continuation from the real ray t = 0 or by the same proof we used for the real case. Riemann showed that the function ζ(s) extends from that half-plane to a meromorphic function on all of C (the \Riemann zeta function"), analytic except for a simple pole at s = 1. The continuation to σ > 0 is readily obtained from our formula n+1 n+1 1 1 s s 1 s s ζ(s) = n− Z x− dx = Z (n− x− ) dx; − s 1 X − X − − n=1 n n=1 n since for x [n; n + 1] (n 1) and σ > 0 we have 2 ≥ x s s 1 s 1 σ n− x− = s Z y− − dy s n− − j − j ≤ j j n so the formula for ζ(s) (1=(s 1)) is a sum of analytic functions converging absolutely in compact subsets− of− σ + it : σ > 0 and thus gives an analytic function there.
    [Show full text]
  • An Inverse Function Theorem Converse
    AN INVERSE FUNCTION THEOREM CONVERSE JIMMIE LAWSON Abstract. We establish the following converse of the well-known inverse function theorem. Let g : U → V and f : V → U be inverse homeomorphisms between open subsets of Banach spaces. If g is differentiable of class Cp and f if locally Lipschitz, then the Fr´echet derivative of g at each point of U is invertible and f must be differentiable of class Cp. Primary 58C20; Secondary 46B07, 46T20, 46G05, 58C25 Key words and phrases. Inverse function theorem, Lipschitz map, Banach space, chain rule 1. Introduction A general form of the well-known inverse function theorem asserts that if g is a differentiable function of class Cp, p ≥ 1, between two open subsets of Banach spaces and if the Fr´echet derivative of g at some point x is invertible, then locally around x, there exists a differentiable inverse map f of g that is also of class Cp. But in various settings, one may have the inverse function f readily at hand and want to know about the invertibility of the Fr´echet derivative of g at x and whether f is of class Cp. Our purpose in this paper is to present a relatively elementary proof of this arXiv:1812.03561v1 [math.FA] 9 Dec 2018 converse result under the general hypothesis that the inverse f is (locally) Lipschitz. Simple examples like g(x)= x3 at x = 0 on the real line show that the assumption of continuity alone is not enough. Thus it is a bit surprising that the mild strengthening to the assumption that the inverse is locally Lipschitz suffices.
    [Show full text]