A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
|
|
- Rudolf Cooper
- 5 years ago
- Views:
Transcription
1 Scientiae Mathematicae Japonicae Online, e-014, A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone for some open interval I of R. It is known that f has the analytic continuation on H + I H, where H + (resp. H ) is the upper (resp. the lower) half plane of C. In this note, we determine the form of rational operator monotone functions by using elementary argument, and prove the operator monotonicity of some meromorphic functions. 1 Introduction. We denote the set of all n n matrices over C by M n and set H n = {A M n A = A} and H + n = {A H n A 0}, where A 0 means that A is non-negative, that is, the value of inner product (Ax, x) 0 for all x C n. Let I be an open interval of the set R of real numbers. We also denote by H n (I) the set of A H n with its spectra Sp(A) I. A real continuous function f defined on the open interval I is said to be operator monotone if A B implies f(a) f(b) for any n N and A, B H n (I). In this note, we assume that an operator monotone function is not a constant function. Let f be a real-valued continuous function on the interval I. We call f a Pick function if f has an analytic continuation on the upper half plane H + = {z C Imz > 0} into itself. It also has an analytic continuation to the lower half plane H, obtained by reflections across I. We denote by P(I) the set of all Pick functions on I. It is well known that f P(I) is equivalent to that f is operator monotone on I ([1], [4], [5]). We characterize the rational Pick function (rational operator monotone function) by an elementary method in Section and give some examples using this characterization in Section 3. Rational operator monotone functions. Let I be an open interval and f(t) = at + b (a, b, c, d R, ad bc 0). It is well known that f is operator monotone on ct + d (, d c ) or ( d, + ) (see [1], [5]). So the following rational function is also operator c monotone on I: a i b 0 + a 0 t, where b 0 R, a 0, a 1,..., a n 0 and α 1, α,..., α n R \ I. 000 Mathematics Subject Classification. 47A63. Key words and phrases. Monotone matrix function, Operator monotone function, Pick function, Rational operator monotone function.
2 146 Let g P(I) be rational. Then there exists polynomials p(t) and q(t) with real coefficients such that g(t) = p(t) (t I), q(t) where common devisors of p(t) and q(t) are only scalars and a coefficient of the highest degree term of q(t) is 1. The polynomial q(t) with real coefficients is represented as products of the following factors: t a, t + at + b (a, b R). Since g has the analytic continuation to the upper half plane H + and the lower half plane H, g(z) = p(z) (z H + I H + ) q(z) and g has no poles on H + I. So we may assume that g(z) has the following form: g(z) = p(z) (z c 1 ) n(1) (z c ) n() (z c k ) n(k), where c 1, c,..., c k R I c and each n(i) (i = 1,,..., k) is a positive integer with n(1) + n() + + n(k) = deg q(z). By the partially fractional decomposition of g(z), g(z) = r(z) + n(i) k j=1 (z c i ) j, where r(z) is the remainder of p(z) by q(z) and {b i.j } R. Lemma.1. In above setting, g P(I) satisfies the following conditions: (1) There exist r 0, r 1 R such that r 1 0 and r(z) = r 0 + r 1 z. () n(i) = 1 and b i,1 0 for all i = 1,,..., k. Proof. (1) We set where d = deg r(z). Put r(z) = r 0 + r 1 z + + r d z d, θ = { 3π d if d and r d > 0 π d if d 1 and r d < 0. For a sufficiently large R > 0 and z = Re θ 1 H +, we may assume that Then we have d 1 r d R d = r d z d > r i z i + i=0 n(i) k j=1 Img(z) = Im( r d R d d r i z i + i=0 d 1 r d R d + r i z i + i=0 n(i) k j=1 (z c i ) j. n(i) k j=1 (z c i ) j ) (z c i ) j < 0.
3 147 This contradicts to g(z) H +. So we have that r(z) = r 0 + r 1 z and r 1 0. () In a suitable neighborhood of c i in H + I H, g P(I) has the form g(z) = b i,1 + + b i,n(i) + h(z), z c i (z c i ) n(i) where h(z) is holomorphic on the neighborhood of c i. Put π if n(i) and b i,n(i) > 0 n(i) θ = 3π if n(i) 1 and b i,n(i) < 0. n(i) For a sufficiently small r > 0, z = c i + re θ 1 H + and we may assume that Then we have b i,n(i) b i,n(i) = r n(i) (z c i ) > n(i) n(i) 1 j=1 (z c i ) j + h(z). Img(z) = Im( b n(i) 1 i,n(i) 1 + r n(i) (z c j=1 i ) j + h(z)) b n(i) 1 i,n(i) + + h(z) < 0. r n(i) (z c j=1 i ) j This contradicts to g(z) H +. So we have that n(i) = 1 and b i,1 0 for all i = 1,,..., k. We can now prove the following theorem: Theorem.. The following are equivalent: (1) f P(I) is rational. () There exist b 0 R, non-negative numbers a 0, a 1,..., a n and real numbers α 1, α,..., α n / I such that a i f(t) = b 0 + a 0 t. (3) There exist a 0, c 0, b 0 R, α 1, α,..., α n / I and β 1, β,..., β n 1 R satisfying that Proof. (1) () This is proved by Lemma.1. () (3) We assume f(t) = b 0 + a 0 t c(t β 1)(t β ) (t β n 1 ) (t α 1 )(t α ) (t α n ) and α 1 < β 1 < α < β < < β n 1 < α n. f(t) = b 0 + a 0 t a i,
4 148 where b 0 R, a 0, a 1,..., a n 0, α 1, α,..., α n g(t) as follows: / I and α 1 < α < < α n. We define a i g(t) = (t α 1 ) (t α n ), that is, Since we have g(t) = a i (t α 1 ) ( 1 )(+1 ) (t α n ). g(α i ) = (α i α 1 ) (α i α i 1 )(α i α i+1 ) (α i α n ), sign g(α i ) = ( 1) n i (i = 1,,..., n). By the fact deg g(t) = n 1 and the continuity of g, there exist a positive number c and β 1, β,..., β n 1 such that and α 1 < β 1 < α < β < < β n 1 < α n. (3) () Set g(t) = c(t β 1 )(t β ) (t β n 1 ) g(t) = c(t β 1)(t β ) (t β n 1 ) (t α 1 )(t α ) (t α n ), where c > 0, α 1 < β 1 < α < β < < β n 1 < α n. Then g(t) has the following form: g(t) = b i, for some b i R \ {0}. It suffices to show that b i > 0 for i = 1,,..., n 1. When we choose t such that β i 1 < t < α i and α i t is sufficiently small, we have sign g(t) = sign b i. Because α 1 < < β i 1 < t < α i < < α n, So we have b i > 0. sign g(t) = ( 1) (n 1) (i 1)+n (i 1) = 1. For a rational function f(t), we can choose polynomials p(t) and q(t) such that f(t) = p(t) q(t) and common devisors of p(t) and q(t) are only scalars. Then we call f of order n if n = max{deg p(t), deg q(t)}.
5 149 Corollary.3. The followings are equivalent: (1) f P(I) is rational of order n. () f has one of the following forms: or where a > 0, α i / I and Proof. (1) () When f(t) has the form (a) f(t) = a(t β )(t β 3 ) (t β n+1 ), (t α 1 )(t α ) (t α n ) (b) f(t) = a(t β 1)(t β ) (t β n ) (t α 1 )(t α ) (t α n 1 ), (c) f(t) = a(t β 1)(t β ) (t β n ) (t α 1 )(t α ) (t α n ) (d) f(t) = a(t β )(t β 3 ) (t β n ) (t α 1 )(t α ) (t α n ), β 1 < α 1 < β < α < < α n < β n+1. n 1 a i f(t) = b 0 + a 0 t ( ), where a 1, a,..., a n 1 > 0. Since f is rational of order n, we have a 0 > 0. We set that is, Then we have g(t) = (b 0 + a 0 t)(t α 1 )(t α ) (t α n 1 ) a i (t α 1 ) ( 1 )(+1 ) (t α n 1 ), n 1 So f has the form (b). When f(t) has the form f(t) = g(t) (t α 1 )(t α ) (t α n 1 ). sign( lim t g(t)) = 1, sign g(α n 1 ) = 1, sign g(α n ) = 1,, sign g(α 1 ) = ( 1) n 1, sign( lim t g(t)) = ( 1)n. f(t) = b 0 + a 0 t a i ( ), where a 1, a,..., a n > 0. Since f is rational of order n, we have a 0 = 0. We set g(t) = b 0 (t α 1 )(t α ) (t α n ) a i (t α 1 ) ( 1 )(+1 ) (t α n ),
6 150 that is, f(t) = g(t) (t α 1 )(t α ) (t α n ). Using the same argument as above, f has the form (d) if b = 0, the form (a) if b > 0 and the form (c) if b < 0. () (1) When f has the form (a),(b),(c) or (d), f is rational of order n. When f has the form (d), f P(I) by Theorem.. When f has the form (a), f is represented as the following form: f(t) = b i + a, where a > 0 and some b i R (i = 1,,..., n). Since we get b i < 0 from the fact lim f(t) = lim a(t β )(t β 3 ) (t β n+1 ) =, t α i +0 t α i +0 (t α 1 )(t α ) (t α n ) lim t α i +0 b i + a =. So f P(I). By the similar reason, f P(I) if f has the form (b) or (c). 3 Examples. The following Example 3.1 has been announced by M. Uchiyama in many Conferences (cf. [7], [8]). Example 3.1. Let {p n (x)} be the orthogonal polynomials on a closed interval [a, b] whose leading coefficient is positive. It is well known that the zeros {c 1, c,..., c n } of p n (x) satisfies that a = c 0 < c 1 < c < c n < c n+1 = b, and each interval (c i, c i+1 ) (i = 0, 1,..., n) contains exactly one zeros of p n+1 (x) ([6]). So p n+1 (x)/p n (x) has the form (b) in Corollary.3. This means that p n+1 (x)/p n (x) is operator monotone on any interval which does not contain any zeros of p n (x). Example 3.. Let 0 = a 0 < a 1 < a < < a n 1 < a n = π. Then f(x) = cos(x a 1) cos(x a 3 ) cos(x a n 1 ) cos(x a 0 ) cos(x a ) cos(x a n ) (m + 1)π is operator monotone on any interval I contained in R \ { 0, 1,..., n 1}. + a i m Z, i = In particular, tan x is operator monotone on any interval contained in R \ {mπ π m Z} (when n = 1, a 0 = 0, a 1 = π ).
7 151 Proof. The function cos x is represented by the infinite product as follows: where Remarking the fact we have that = f m (x) = cos x = lim m f m(x), m 1 k= m (1 f m (x) = ( 1)m 4m ((m 1)!) ((m 1)!) x (k + 1)π ). m 1 k= m g m (x) = f m(x a 1 )f m (x a 3 ) f m (x a n 1 ) f m (x a 0 )f m (x a ) f m (x a n ) m 1 k= m (x k + 1 π), (x ( (k+1)π + a 1 ))(x ( (k+1)π + a 3 )) (x ( (k+1)π + a n 1 )) (x ( (k+1)π + a 0 ))(x ( (k+1)π + a )) (x ( (k+1)π + a n )) belongs to P(I) by Corollary.3. Since f(x) is operator monotone on I. f(x) = lim m g m(x), Example 3.3. Let a 0 < a 1 < a < < a n 1 < a and k(1), k(),..., k(n) Z. Then f(x) = Γ(x a 0 k(1))γ(x a k()) Γ(x a n k(n)) Γ(x a 1 k(1))γ(x a 3 k()) Γ(x a n 1 k(n)) is operator monotone on any interval I contained in R\{a i 1 +k(i) m i = 1,,..., n, m = 0, 1,,...}, where Γ(x) is the Gamma function, i.e., Γ(x) = Proof. We use Gauss s Formula of Γ(x) as follows: 0 e t t x 1 dt (x > 0). Γ(x) = lim m g m(x), m where g m (x) = x m! x(x+1) (x+m) and the convergence is uniformly on any compact subset of R \ {0, 1,,...} ([3]). For a < b < a + 1, g m (x a) (x b)(x (b 1)) (x (b m)) = mb a g m (x b) (x a)(x (a 1)) (x (a m)) is operator monotone on any interval contained in R \ {a, a 1,..., a m} by Corollary.4. Then we have that h m (x) = g m(x a 0 k(1))g m (x a k()) g m (x a n k(n)) g m (x a 1 k(1))g m (x a 3 k()) g m (x a n 1 k(n)) also has the form (a) in Corollary.3, and is operator monotone on I. So is f(x), because f(x) = lim m h m(x).
8 15 Acknowledgement. This work was partially supported by Grant-in-Aid for Scientific Research (C)5400. References [1] R. Bhatia, Matrix Analysis, Graduate Texts in Math. 169, Springer-Verlag, [] R. Bhatia, Positive Definite Matrices, Princeton University Press, 007. [3] J. B. Conway. Functions of One Complex Variable, Second Edition, Graduate Texts in Math. 11, Springer-Verlag, [4] W. F. Donoghue, Jr., Monotone matrix functions and analytic continuation, Springer-Verlag, [5] F. Hiai, Matrix Analysis: Matrix monotone functions, matrix means, and majorization, Interdecip. Inform. Sci. 16 (010) [6] G. Szegö, Orthogonal polynomials, Amer. Math. Soc. Colloquium Publ. Vol. 3 Revised ed., [7] M. Uchiyama, Inverse functions of polynomials and orthogonal polynomials as operator monotone functions, Trans. Amer. Math. Soc. 355(003), [8] M. Uchiyama, Operator monotone functions, Jacobi operators and orthogonal polynomials, J. Math. Anal. Appl. 401(013), Communicated by Hiroyuki Osaka Department of Mathematics and Informatics, Graduate School of Science, Chiba University, Chiba, 63-85, Japan. nagisa@math.s.chiba-u.ac.jp
COMMUTATIVITY OF OPERATORS
COMMUTATIVITY OF OPERATORS MASARU NAGISA, MAKOTO UEDA, AND SHUHEI WADA Abstract. For two bounded positive linear operators a, b on a Hilbert space, we give conditions which imply the commutativity of a,
More informationThe principal inverse of the gamma function
The principal inverse of the gamma function Mitsuru Uchiyama Shimane University 2013/7 Mitsuru Uchiyama (Shimane University) The principal inverse of the gamma function 2013/7 1 / 25 Introduction The gamma
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationA NOTE ON COMPACT OPERATORS
Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. 15 (2004), 26 31. Available electronically at http: //matematika.etf.bg.ac.yu A NOTE ON COMPACT OPERATORS Adil G. Naoum, Asma I. Gittan Let H be a separable
More informationGaps between classes of matrix monotone functions
arxiv:math/0204204v [math.oa] 6 Apr 2002 Gaps between classes of matrix monotone functions Frank Hansen, Guoxing Ji and Jun Tomiyama Introduction April 6, 2002 Almost seventy years have passed since K.
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationHouston Journal of Mathematics. c 2008 University of Houston Volume 34, No. 4, 2008
Houston Journal of Mathematics c 2008 University of Houston Volume 34, No. 4, 2008 SHARING SET AND NORMAL FAMILIES OF ENTIRE FUNCTIONS AND THEIR DERIVATIVES FENG LÜ AND JUNFENG XU Communicated by Min Ru
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationx 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7
Linear Algebra and its Applications-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4)
More informationFORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCITEY Volume 45, Number 1, July 1974 FORMAL TAYLOR SERIES AND COMPLEMENTARY INVARIANT SUBSPACES DOMINGO A. HERRERO X ABSTRACT. A class of operators (which includes
More informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationCOMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES
COMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES HIROSHI TANAKA AND TOMOHIRO KAWAKAMI Abstract. Let R = (R,
More informationUNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results
UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS RICH STANKEWITZ Abstract. Conditions are given which imply that analytic iterated function systems (IFS s) in the complex plane C have uniformly
More informationarxiv: v1 [math.fa] 1 Oct 2015
SOME RESULTS ON SINGULAR VALUE INEQUALITIES OF COMPACT OPERATORS IN HILBERT SPACE arxiv:1510.00114v1 math.fa 1 Oct 2015 A. TAGHAVI, V. DARVISH, H. M. NAZARI, S. S. DRAGOMIR Abstract. We prove several singular
More information1 Positive and completely positive linear maps
Part 5 Functions Matrices We study functions on matrices related to the Löwner (positive semidefinite) ordering on positive semidefinite matrices that A B means A B is positive semi-definite. Note that
More informationON A CERTAIN GENERALIZATION OF THE KRASNOSEL SKII THEOREM
Journal of Applied Analysis Vol. 9, No. 1 23, pp. 139 147 ON A CERTAIN GENERALIZATION OF THE KRASNOSEL SKII THEOREM M. GALEWSKI Received July 3, 21 and, in revised form, March 26, 22 Abstract. We provide
More informationSingular Value Inequalities for Real and Imaginary Parts of Matrices
Filomat 3:1 16, 63 69 DOI 1.98/FIL16163C Published by Faculty of Sciences Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Singular Value Inequalities for Real Imaginary
More informationQualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions
Nonl. Analysis and Differential Equations, Vol. 2, 2014, no. 1, 45-59 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/nade.2014.3819 Qualitative Theory of Differential Equations and Dynamics of
More informationDetermine for which real numbers s the series n>1 (log n)s /n converges, giving reasons for your answer.
Problem A. Determine for which real numbers s the series n> (log n)s /n converges, giving reasons for your answer. Solution: It converges for s < and diverges otherwise. To see this use the integral test,
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationCOMMON FIXED POINT THEOREMS OF CARISTI TYPE MAPPINGS WITH w-distance. Received April 10, 2010; revised April 28, 2010
Scientiae Mathematicae Japonicae Online, e-2010, 353 360 353 COMMON FIXED POINT THEOREMS OF CARISTI TYPE MAPPINGS WITH w-distance Tomoaki Obama Daishi Kuroiwa Received April 10, 2010; revised April 28,
More informationSOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO /4
SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO. 2 2003/4 1 SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL
More informationINVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia
INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS Quanlei Fang and Jingbo Xia Abstract. Suppose that {e k } is an orthonormal basis for a separable, infinite-dimensional Hilbert
More informationComplex Analysis Topic: Singularities
Complex Analysis Topic: Singularities MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Topic: Singularities 1 / 15 Zeroes of Analytic Functions A point z 0 C is
More informationBIG PICARD THEOREMS FOR HOLOMORPHIC MAPPINGS INTO THE COMPLEMENT OF 2n + 1 MOVING HYPERSURFACES IN CP n
Available at: http://publications.ictp.it IC/2008/036 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number, November 996 ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES HASEO KI Communicated by Andreas R. Blass)
More informationSTRONG CONVERGENCE THEOREMS BY A HYBRID STEEPEST DESCENT METHOD FOR COUNTABLE NONEXPANSIVE MAPPINGS IN HILBERT SPACES
Scientiae Mathematicae Japonicae Online, e-2008, 557 570 557 STRONG CONVERGENCE THEOREMS BY A HYBRID STEEPEST DESCENT METHOD FOR COUNTABLE NONEXPANSIVE MAPPINGS IN HILBERT SPACES SHIGERU IEMOTO AND WATARU
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationRELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS
Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 147 161. RELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL
More informationON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES
Volume 10 (2009), Issue 4, Article 91, 5 pp. ON THE HÖLDER CONTINUITY O MATRIX UNCTIONS OR NORMAL MATRICES THOMAS P. WIHLER MATHEMATICS INSTITUTE UNIVERSITY O BERN SIDLERSTRASSE 5, CH-3012 BERN SWITZERLAND.
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationAlternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations
International Mathematical Forum, Vol. 9, 2014, no. 35, 1725-1739 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.410170 Alternate Locations of Equilibrium Points and Poles in Complex
More informationStolz angle limit of a certain class of self-mappings of the unit disk
Available online at www.sciencedirect.com Journal of Approximation Theory 164 (2012) 815 822 www.elsevier.com/locate/jat Full length article Stolz angle limit of a certain class of self-mappings of the
More informationOn polynomially -paranormal operators
Functional Analysis, Approximation and Computation 5:2 (2013), 11 16 Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/faac On polynomially
More informationMATH 225 Summer 2005 Linear Algebra II Solutions to Assignment 1 Due: Wednesday July 13, 2005
MATH 225 Summer 25 Linear Algebra II Solutions to Assignment 1 Due: Wednesday July 13, 25 Department of Mathematical and Statistical Sciences University of Alberta Question 1. [p 224. #2] The set of all
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
More informationVII.5. The Weierstrass Factorization Theorem
VII.5. The Weierstrass Factorization Theorem 1 VII.5. The Weierstrass Factorization Theorem Note. Conway motivates this section with the following question: Given a sequence {a k } in G which has no limit
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS
ALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS TRIEU LE Abstract. Properties of m-selfadjoint and m-isometric operators have been investigated by several researchers. Particularly interesting to
More informationCyclic Direct Sum of Tuples
Int. J. Contemp. Math. Sciences, Vol. 7, 2012, no. 8, 377-382 Cyclic Direct Sum of Tuples Bahmann Yousefi Fariba Ershad Department of Mathematics, Payame Noor University P.O. Box: 71955-1368, Shiraz, Iran
More informationSUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 SUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS STEVEN R. ADAMS AND DAVID A. CARDON (Communicated
More informationIV.3. Zeros of an Analytic Function
IV.3. Zeros of an Analytic Function 1 IV.3. Zeros of an Analytic Function Note. We now explore factoring series in a way analogous to factoring a polynomial. Recall that if p is a polynomial with a zero
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationMEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 30, 2005, 205 28 MEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS Lian-Zhong Yang Shandong University, School of Mathematics
More informationOn the Convergence of the Summation Formulas Constructed by Using a Symbolic Operator Approach
On the Convergence of the Summation Formulas Constructed by Using a Symbolic Operator Approach Tian-Xiao He 1, Leetsch C. Hsu 2, and Peter J.-S. Shiue 3 1 Department of Mathematics and Computer Science
More informationOn some positive definite functions
isid/ms/205/0 September 2, 205 http://www.isid.ac.in/ statmath/index.php?module=preprint On some positive definite functions Rajendra Bhatia and Tanvi Jain Indian Statistical Institute, Delhi Centre 7,
More informationOn Some Estimates of the Remainder in Taylor s Formula
Journal of Mathematical Analysis and Applications 263, 246 263 (2) doi:.6/jmaa.2.7622, available online at http://www.idealibrary.com on On Some Estimates of the Remainder in Taylor s Formula G. A. Anastassiou
More informationSOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 1998, 429 452 SOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS Gary G. Gundersen, Enid M. Steinbart, and
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationSome operator monotone functions related to Petz-Hasegawa s functions
Some operaor monoone funcions relaed o Pez-Hasegawa s funcions Masao Kawasaki and Masaru Nagisa Absrac Le f be an operaor monoone funcion on [, ) wih f() and f(). If f() is neiher he consan funcion nor
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationA Fixed Point Theorem and its Application in Dynamic Programming
International Journal of Applied Mathematical Sciences. ISSN 0973-076 Vol.3 No. (2006), pp. -9 c GBS Publishers & Distributors (India) http://www.gbspublisher.com/ijams.htm A Fixed Point Theorem and its
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 6 (2012), no. 1, 139 146 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) www.emis.de/journals/bjma/ AN EXTENSION OF KY FAN S DOMINANCE THEOREM RAHIM ALIZADEH
More informationConvergence Rates for Renewal Sequences
Convergence Rates for Renewal Sequences M. C. Spruill School of Mathematics Georgia Institute of Technology Atlanta, Ga. USA January 2002 ABSTRACT The precise rate of geometric convergence of nonhomogeneous
More informationBIG PICARD THEOREMS FOR HOLOMORPHIC MAPPINGS INTO THE COMPLEMENT OF 2n+1 MOVING HYPERSURFACES IN CP n
An. Şt. Univ. Ovidius Constanţa Vol. 18(1), 2010, 155 162 BIG PICARD THEOREMS FOR HOLOMORPHIC MAPPINGS INTO THE COMPLEMENT OF 2n+1 MOVING HYPERSURFACES IN CP n Nguyen Thi Thu Hang and Tran Van Tan Abstract
More informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationThe Borel-Cantelli Group
The Borel-Cantelli Group Dorothy Baumer Rong Li Glenn Stark November 14, 007 1 Borel-Cantelli Lemma Exercise 16 is the introduction of the Borel-Cantelli Lemma using Lebesue measure. An approach using
More informationMath 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα
Math 411, Complex Analysis Definitions, Formulas and Theorems Winter 014 Trigonometric Functions of Special Angles α, degrees α, radians sin α cos α tan α 0 0 0 1 0 30 π 6 45 π 4 1 3 1 3 1 y = sinα π 90,
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More informationarxiv: v1 [math.nt] 4 Jun 2018
On the orbit of a post-critically finite polynomial of the form x d +c arxiv:1806.01208v1 [math.nt] 4 Jun 2018 Vefa Goksel Department of Mathematics University of Wisconsin Madison, WI 53706, USA E-mail:
More informationMarkov s Inequality for Polynomials on Normed Linear Spaces Lawrence A. Harris
New Series Vol. 16, 2002, Fasc. 1-4 Markov s Inequality for Polynomials on Normed Linear Spaces Lawrence A. Harris This article is dedicated to the 70th anniversary of Acad. Bl. Sendov It is a longstanding
More informationON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction
J. Korean Math. Soc. 41 (2004), No. 4, pp. 617 627 ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION In Ho Jeon and B. P. Duggal Abstract. Let A denote the class of bounded linear Hilbert space operators with
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More informationMath 220A Homework 4 Solutions
Math 220A Homework 4 Solutions Jim Agler 26. (# pg. 73 Conway). Prove the assertion made in Proposition 2. (pg. 68) that g is continuous. Solution. We wish to show that if g : [a, b] [c, d] C is a continuous
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationON EQUIVALENCE OF ANALYTIC FUNCTIONS TO RATIONAL REGULAR FUNCTIONS
J. Austral. Math. Soc. (Series A) 43 (1987), 279-286 ON EQUIVALENCE OF ANALYTIC FUNCTIONS TO RATIONAL REGULAR FUNCTIONS WOJC3ECH KUCHARZ (Received 15 April 1986) Communicated by J. H. Rubinstein Abstract
More informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationarxiv:math.cv/ v1 23 Dec 2003
EXPONENTIAL GELFOND-KHOVANSKII FORMULA IN DIMENSION ONE arxiv:math.cv/0312433 v1 23 Dec 2003 EVGENIA SOPRUNOVA Abstract. Gelfond and Khovanskii found a formula for the sum of the values of a Laurent polynomial
More informationClassical transcendental curves
Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.
More informationMT804 Analysis Homework II
MT804 Analysis Homework II Eudoxus October 6, 2008 p. 135 4.5.1, 4.5.2 p. 136 4.5.3 part a only) p. 140 4.6.1 Exercise 4.5.1 Use the Intermediate Value Theorem to prove that every polynomial of with real
More informationTHE NEARLY ADDITIVE MAPS
Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationarxiv: v1 [math.fa] 30 Oct 2011
AROUND OPERATOR MONOTONE FUNCTIONS MOHAMMAD SAL MOSLEHIAN AND HAMED NAJAFI arxiv:111.6594v1 [math.fa] 3 Oct 11 Abstract. We show that the symmetrized product AB + BA of two positive operators A and B is
More informationAN INVERSE MATRIX OF AN UPPER TRIANGULAR MATRIX CAN BE LOWER TRIANGULAR
Discussiones Mathematicae General Algebra and Applications 22 (2002 ) 161 166 AN INVERSE MATRIX OF AN UPPER TRIANGULAR MATRIX CAN BE LOWER TRIANGULAR Waldemar Ho lubowski Institute of Mathematics Silesian
More informationPOLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationOn components of vectorial permutations of F n q
On components of vectorial permutations of F n q Nurdagül Anbar 1, Canan Kaşıkcı 2, Alev Topuzoğlu 2 1 Johannes Kepler University, Altenbergerstrasse 69, 4040-Linz, Austria Email: nurdagulanbar2@gmail.com
More informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999
Scientiae Mathematicae Vol. 3, No. 1(2000), 107 115 107 ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI Received December 14, 1999
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More informationEssential Descent Spectrum and Commuting Compact Perturbations
E extracta mathematicae Vol. 21, Núm. 3, 261 271 (2006) Essential Descent Spectrum and Commuting Compact Perturbations Olfa Bel Hadj Fredj Université Lille 1, UFR de Mathématiques, UMR-CNRS 8524 59655
More informationWEAK CONVERGENCE THEOREMS FOR EQUILIBRIUM PROBLEMS WITH NONLINEAR OPERATORS IN HILBERT SPACES
Fixed Point Theory, 12(2011), No. 2, 309-320 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html WEAK CONVERGENCE THEOREMS FOR EQUILIBRIUM PROBLEMS WITH NONLINEAR OPERATORS IN HILBERT SPACES S. DHOMPONGSA,
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More information2. reverse inequalities via specht ratio To study the Golden-Thompson inequality, Ando-Hiai in [1] developed the following log-majorizationes:
ON REVERSES OF THE GOLDEN-THOMPSON TYPE INEQUALITIES MOHAMMAD BAGHER GHAEMI, VENUS KALEIBARY AND SHIGERU FURUICHI arxiv:1708.05951v1 [math.fa] 20 Aug 2017 Abstract. In this paper we present some reverses
More informationPRIME NUMBER THEOREM
PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More information