Operator Monotone Functions which Are Defined Implicitly and Operator Inequalities

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Operator Monotone Functions which Are Defined Implicitly and Operator Inequalities"

Transcription

1 Joural of Fuctioal Aalysis 175, (2000) doi: jfa , available olie at o Operator Mootoe Fuctios which Are Defied Implicitly ad Operator Iequalities Mitsuru Uchiyama Departmet of Mathematics, Fukuoka Uiversity of Educatio, Muakata, Fukuoka, Japa uchiyamafukuoka-edu.ac.jp Received November 5, 1999; accepted March 21, 2000 dedicated to professor t. furuta The fuctio t : (0<:<1) is operator mootoe o 0t<. This is kow as the Lo werheiz iequality. However, ot too may examples of cocrete operator mootoe fuctios are kow so far. We will systematically seek operator mootoe fuctios which are defied implicitly. This ivestigatio is ew, ad our method seems to be powerful. We will actually fid a family of operator mootoe fuctios which icludes t : (0<:<1). Moreover, by costructig oe-parameter families of operator mootoe fuctios, we will get may operator iequalities; especially, we will exted the Furuta iequality ad the expoetial iequality of Ado Academic Press Key Words: operator mootoe fuctio; Pick fuctio; Lo wer theory; Lo wer Heiz iequality; Furuta iequality. 1. INTRODUCTION Throughout this paper, A ad B stad for bouded selfadjoit operators o a Hilbert space ad sp(x) for the spectrum of a operator X. A real valued fuctio f(t) is called a operator mootoe fuctio o a iterval I i R 1 if, for A, B with sp(a), sp(b)/i, AB implies f(a) f(b). Clearly a composite fuctio of operator mootoe fuctios is operator mootoe too, provided it is well defied. A holomorphic fuctio which maps the ope upper half plae 6 + ito itself is called a Pick fuctio. By Lo wer's theorem [13], f(t) is a operator mootoe fuctio o a ope iterval (a, b) if ad oly if f(t) has a aalytic cotiuatio f(z) to 6 + _ (a, b) so that f(z) is a Pick fuctio; therefore f(t) is aalytically exteded to the ope lower half plae by reflectio. Thus if f(t)0 ad Copyright 2000 by Academic Press All rights of reproductio i ay form reserved.

2 OPERATOR MONOTONE IMPLICIT FUNCTION 331 g(t)0 are operator mootoe, the so is f(t) + g(t) * for 0+, *1, ++*1. If f(t) is operator mootoe o (a, b) ad if f(t) is cotiuous o [a, b), the f(t) is operator mootoe o [a, b). It is kow that t : (0<:1), log(1+t), ad t t+* (*>0) are operator mootoe o [0, ). Thus, AB0 implies A : B : for 0<:<1, (1) which is called the Lo werheiz iequality [12, 13]. But AB0 does ot geerally imply A 2 B 2. We have show that if A, B0 ad (A+tB ) 2 A 2 for every t>0 ad =1, 2,..., the AB=BA [16].See[1,3,5,9,11,14] for details about operator mootoe fuctios. Cha-Kwog [4] posed the followig questio: Does AB0 imply (BA 2 B) 12 B 2? Furuta [7, 8] aswered it affirmatively as follows: AB0 implies { (Br2 A p B r2 ) 1q (B r2 B p B r2 ) 1q, (A r2 A p A r2 ) 1q (A r2 B p A r2 ) 1q, (2) where r, p0 ad q1 with (1+r) qp+r. This is called the Furuta iequality. I this iequality, the case p1 is a deformatio of the Lo wer Heiz iequality; further, the case (1+r) q>p+r follows from the case (1+r) q= p+r by the Lo werheiz iequality agai. So the essetially importat part of (2) is the case p>1 ad (1+r) q= p+r. Oe obtais the secod iequality of (2) from the first oe by takig iverses. Taahashi [15] showed that the expoetial coditio (1+r) qp+r is the best possible coditio for (2). Ado [2] obtaied the related iequality: for t>0, AB implies { (e(t2)b e ta e (t2)b ) 12 e tb, e ta (e (t2)a e tb e (t2)a ) 12. This was improved by use of the iequality itself ad (2), by Fujii ad Kamei [6] as follows: for p0, rs0, AB implies { (e(r2)b e pa e (r2)b ) s(r+ p) e sb, e sa (e (r2)a e pb e (r2)a ) s(r+ p). (3) It is evidet that the essetially importat part of this iequality is the case s=r. Recetly, by makig use of oly (2), we [18] got a simple proof of (3). Now we give a simple example that motivated us to ivestigate operator mootoe fuctios which are defied implicitly, A, B0 ad A 2 B 2 imply (A+1) 2 (B+1) 2,

3 332 MITSURU UCHIYAMA because AB follows from A 2 B 2. But we ca easily costruct 2_2 matrices A, B such that (A+1) 2 (B+1) 2,butA 2 3 B 2 ; for example, A= \ , B= \ The above results mea that,(t)=(t 12 +1) 2 is operator mootoe o [0, ), but (t)=(t 12 &1) 2 is ot o [1, ). We may say that, ad are implicitly defied by,(t 2 )=(t+1) 2 (t0) ad ((t+1) 2 )=t 2 (t0). Oe aim of this paper is to seek operator mootoe fuctios which are defied implicitly; this ivestigatio is ew, ad we will actually fid a family of operator mootoe fuctios which icludes t : (0<:<1). This meas that we ca get ot merely a extesio of (1) but also aother proof of (1). The other aim is to exted simultaeously (2) ad (3), by makig use of a oe-parameter family of operator mootoe fuctios. 2. THE CONSTRUCTION OF NEW OPERATOR MONOTONE FUNCTIONS Let us defie a o-egative icreasig fuctio u(t) o[&a 1, ) by k u(t)= ` i=1 (t+a i ) # i (a 1 <a 2 <}}}<a k,1# 1,0<# i ). (4) Theorem 2.1. Let the fuctio s=u(t) be defied by (4). The the iverse fuctio u &1 (s) is operator mootoe o [0, ). Proof. Sice u &1 (s) is cotiuous o [0, ), we have to show that u &1 (s) is operator mootoe o (0, ). We may assume that a 1 =0; for, settig v(t)=u(t&a 1 ) we have u &1 (s)=v &1 (s)&a 1 ; hece the operator mootoicity of u &1 (s) follows from that of v &1 (s). Set D=C"(&, 0], ad restrict the argumet by &?<arg z<? for z # D. For#>0 defie the sigle valued holomorphic fuctio z # o D by z # =exp #(log z +i arg z), which is the pricipal brach of the aalytic fuctio exp(# log z). Usig this we defie a holomorphic fuctio u(z) o D by k u(z)= ` i=1 (z+a i ) # i, 0=a1 <a 2 <}}}<a k

4 OPERATOR MONOTONE IMPLICIT FUNCTION 333 which is a extesio of u(t). Sice u$(z)= { k ` i=1 (z+a i ) # i=\ : k j=1 # j z+a j+, it is ecessary ad sufficiet for u$(z)=0 i D that k j=1 # j(z+a j )=0. Sice # j >0 ad a j 0, the roots of k j=1 # j(z+a j )=0 are all i (&, 0). Therefore, u$(z) does ot vaish i D. Let us cosider the fuctio w=u(z) as a mappig from the z-plae to the w-plae. We deote D i the z-plae by D z ad D i the w-plae by D w. Take a t 0 >0 ad set s 0 =u(t 0 ). Sice u$(t 0 ){0, by the iverse mappig theorem, there is a uivalet holomorphic fuctio g 0 (w) from a disk 2(s 0 ) with ceter s 0 oto a ope set icludig t 0 such that u(g 0 (w))=w for w # 2(s 0 ). We show that for a arbitrary poit w 0 i D w ad for a arbitrary path C i D w from s 0 to w 0, the fuctio elemet (g 0, 2(s 0 )) admits a aalytic cotiuatio (g i, 2(`i)) 0i with `0=s 0 alog C, which satisfies the coditio (C) { g i(w) is uivalet from 2(`i) ito D z, u(g i (w))=w for w # 2(`i). For ` # C let us deote the subpath of C from s 0 to ` by C`, ad let E be the set of poits ` i C such that (g 0, 2(s 0 )) admits a aalytic cotiuatio satisfyig (C) alog C`. Sice E icludes s 0 ad is a relatively ope subset of C, ife is closed i C, the w 0 # E. Thus we eed to show the closedess of E; actually we show that if C`"[`] is icluded i E, sois`. Take a sequece [`] i C`"[`] which coverges to `, ad costruct a family [(g, 2(`))] so that [(g i, 2(`i))] 1i is the aalytic cotiuatio of (g 0, 2(s 0 )) alog satisfyig (C); C`"[`] may be covered by fiite C` umbers of 2(`i), but eve i this case we ca costruct a ifiite umber of 2(`i) as above. If a ifiite umber of the radii of disks 2(`) are larger tha a positive costat, the ` is i some 2(`) ad hece i E. Therefore, we assume that the sequece of radii of 2(`) coverges to 0. The sequece of z :=g (`) is bouded i D z, which is obvious from the form of the fuctio u(z) ad the boudedess of the sequece of `=u(g (`)). Hece it cotais a coverget subsequece [z i ], whose limit we deote by z 0. We prove, by cotradictio, that z 0 is i D z. Assume that z 0 =0; the from the defiitio of u(z), `i =u(z i ) 0; this implies `=0, which cotradicts C` /D w. Assume that arg z i A?; the, because # 1 1 ad a 1 =0, lim arg `i =lim arg u(z i )? or lim u(z i )=0; this implies that C` itersects (&, 0], which cotradicts C` /D w. Similarly assume that arg z i a &?; the C` itersects (&, 0], which cotradicts C` /D w. Therefore, z 0 is i D z. Thus u(z) is cotiuous at z 0. Hece u(z 0 )=lim u(z i )=lim `i =`. Sice u$(z 0 ){0, by the iverse mappig theorem, there is a disk 2(`) ad a holomorphic

5 334 MITSURU UCHIYAMA iverse fuctio g` from 2(`) ito D z such that g`(`)=z 0 ad w=u(g`(w)) for w # 2(`). Sice ` ` ad sice the radii of the disks 2(`) ted to 0, 2(`)$2(`) for >N. Therefore, by (C), we have g`(w)=g (w) for >N ad for w # 2(`). This implies z z 0 ; i fact, for >N z = g (`)= g` (`) which coverges to g`(`)=z 0. Let us joi (g`, 2(`)) to [(g i, 2(`i))] 1iN. The this ew family is a aalytic cotiuatio of (g 0, s 0 ) satisfyig (C). Hece ` # E. Thus we have show that a aalytic elemet (g 0, s 0 ) has a aalytic cotiuatio satisfyig (C) alog every path i D w. By the moodromy theorem, this aalytic cotiuatio is a sigle valued holomorphic fuctio. We deote it by g(w). The g(w) is a holomorphic fuctio from D w ito D z such that u(g(w))=w (w # D w ) ad g(s)=u &1 (s) (0<s<). We fially show that g(w) is a Pick fuctio. We deote the ope lower half plae by 6 &. Set 1= i=1 # i. Sice g(w) is cotiuous, there is a eighbourhood W of s 0 such that Here we ote that g(w)v :=[z:&?1<arg z<?1]. u(v & 6 + )/6 +, u(v & 6 & )/6 &, ad u((0, ))=(0, ). I fact, to see the first iclusio, take z # V & 6 + ; sice 0=a 1 <a i for i>1, z+a i # V & 6 +, ad hece 0<arg(> k i=1 (z+a i) # i )<?, which meas that u(v & 6 + )/6 + ; similarly we ca see the secod iclusio, ad the last equality is clear. From these iclusios, it follows that g(w & 6 + )6 +. I fact, take a arbitrary w # W& 6 + ; the g(w)#v. Assume g(w) 6 + ; the, by the above argumet, we have w=u(g(w)) 6 + ; this is a cotradictio. Because u((0, ))=(0, ) ad u(g(w))=w for w # D w it follows that g(6 + ) & (0, )=<. This ad the coectedess of g(6 + )id z, together with the iclusio <{ g(w & 6 + )/6 +, show that g(6 + )6 +. Hece g is a Pick fuctio. K For 0<:<1, a fuctio u(t)=t 1: satisfies (4). Hece the above theorem says u &1 (s)=s : is operator mootoe o [0, ): which is (1). I the above proof we used the coditio # 1 1. To see that we caot weake this coditio to i r i 1, we give a

6 OPERATOR MONOTONE IMPLICIT FUNCTION 335 Couterexample. Set u(t)=t 12 (t+1). The u$(t)= 1 2 t&12 (3t+1) ad u"(t)= 1 4 t&32 (3t&1). Therefore u"(t)<0 (0<t<13) hece (u &1 )" (s)>0 (0<s< 4 ). 3-3 Sice a operator mootoe fuctio o [0, ) is cocave, this implies that u &1 (s) is ot operator mootoe o [0, ). Theorem 2.2. Defie a fuctio v(t) by l v(t)= ` j=1 (t+b j ) * j (t&b1 ), b 1 <b 2 <}}}<b l, 0<* j. (5) The, for u(t) represeted by (4), if the coditios { a 1b 1, bj <t * j ai <t # i for every t # R (6) are satisfied, the fuctio, defied o [0, ) by,(u(t))=v(t) (&a 1 t), that is,,(s)=v(u &1 (s)) (0s) is a operator mootoe fuctio o [0, ). Proof. The otatio of the precedig proof is retaied. Set 1 i =# 1 +}}}+# i, 4 i = : b j <a i+1 * j, where a k+1 =. The the secod coditio of (6) is equivalet to 4 i 1 i (1ik). We have see that u &1 (s) admits a aalytic cotiuatio g(w) which is a Pick fuctio. Let us defie a holomorphic fuctio v(z) od z by l v(z)= ` j=1 (z+b j ) * j i the same way that we defied u(z) i the precedig proof. The v(g(w)) o D w is a aalytic cotiuatio of v(u &1 (s)). We eed to show that v(g(w)) is a Pick fuctio. Take w such that 0<arg w<?. Sice, for a i b j <a i+1, 0<arg(g(w)+b j )arg(g(w)+a i ),

7 336 MITSURU UCHIYAMA we have 0<arg v(g(w)) =: * j arg(g(w)+b j ) j =: i : i : * j arg(g(w)+b j ) a i b j <a i+1 : * j arg(g(w)+a i ) a i b j <a i+1 =: (4 i &4 i&1 ) arg(g(w)+a i ) (4 0 =0) i k&1 = : i=1 k&1 : i=1 k = : i=1 k = : i=1 4 i [arg(g(w)+a i )&arg(g(w)+a i+1 )]+4 k arg(g(w)+a k ) 1 i [arg(g(w)+a i )&arg(g(w)+a i+1 )]+1 k arg(g(w)+a k ) (1 i &1 i&1 ) arg(g(w)+a i ) # i arg(g(w)+a i )=arg u(g(w))=arg w<?. This completes the proof. K 3. THE FURTHER CONSTRUCTION OF OPERATOR MONOTONE FUNCTIONS This sectio is a cotiuatio of the precedig sectio. We start with a simple lemma. Lemma 3.1. Let f (=1, 2,...) be strictly icreasig cotiuous fuctios o [a, ) (a # R) with f (a)=0, f ()=, ad let f (t) f +1 (t) for t #[a, ). If f (t) coverges poitwise to a strictly icreasig cotiuous fuctio f(t), the f &1 (s) coverges uiformly to f &1 (s) o every bouded closed iterval [0, b] (0<b<). Furthermore, if a sequece [h ] of cotiuous fuctios o [0, ) satisfies h (t)h +1 (t) ad coverges to a cotiuous fuctio h(t), the h ( f &1 (s)) coverges uiformly to h( f &1 (s)) o [0, b] as well.

8 OPERATOR MONOTONE IMPLICIT FUNCTION 337 Proof. Sice f &1 (s) f &1 &1 +1 (s) f (s), it is easy to see that f &1 (s) coverges poitwise to f &1 (s). Therefore, by Dii's theorem the sequece coverges uiformly o [0, b]. By makig use of Dii's theorem agai, [h (t)] coverges uiformly to h(t) o [a, f &1 1 (b)], ad it is equicotiuous there. Sice a f &1 (s) f &1 1 (b) for 0sb, i virtue of h ( f &1 (s))&h( f &1 (s)) =h ( f &1 (s))&h ( f &1 (s))+h ( f &1 (s))&h( f &1 (s)), we obtai the uiform covergece of h ( f &1 (s)) o [0, b]. K Theorem 3.2. Let u(t), v(t) be the fuctios defied by (4), (5). Suppose that coditio (6) is satisfied. The, if 0;:, the fuctio, o [0, ) defied by,(u(t) e :t )=v(t) e ;t (&a 1 t<) is operator mootoe o [0, ). Proof. We assume ;>0; the proof below is modified whe ;=0. The two fuctios u~ (t)=u(t) :+ \t+ ad v~ (t)=v(t) ;+ \t+ satisfy (6) of Theorem 2.2 for sufficietly large. Thus the fuctio, defied o [0, ) by, (u~ (t))=v~ (t) (t&a 1 ) is operator mootoe. I geeral, if (t) is operator mootoe o [0, ), so is c 1 (c 2 t)(c 1, c 2 >0). The fuctio, defied by, (u (t))=v (t), where u (t)=u(t) \1+: t, v + (t)=v(t) \1+; t + satisfies, (s)= + \;, \\ : & s + +, so that it is operator mootoe o [0, ). By Lemma 3.1,, (s)=v (u &1 (s)) coverges uiformly to,(s) o every fiite closed iterval as. Hece the limit fuctio, is operator mootoe o [0, ). K Usig the above theorem we costruct a oe-parameter family of operator mootoe fuctios.

9 338 MITSURU UCHIYAMA Corollary 3.3. Let u(t), v(t) be the fuctios give by (4), (5). Suppose that coditio (6) is satisfied ad that 0;:, 0c1. The, for each r>0 the fuctio, r (s) o [0, ) defied by is operator mootoe., r (u(t) e :t (v(t) e ;t ) r )=(v(t) e ;t ) c+r (&a 1 t<) Proof. Let us represet u(t) v(t) r ad v(t) c+r as (4) ad (5), respectively. The it is easy to see that their expoets satisfy (6). Sice (c+r) ;:+;r, all coditios i the theorem are satisfied. Hece operator mootoicity of, r follows from it. K It is ot difficult to derive the ext corollary from Lemma 3.1 ad Theorem 3.2. Corollary 3.4. Suppose that two ifiite products u~ (t):=` i=1 (t+a i ) # i (a i <a i+1,1# 1,0<# i ) ad v~(t) :=` j=1 (t+b j ) * j, (bj <b j+1,0<* j ) are both coverget o &a 1 t<. If coditio (6) is satisfied ad if 0;:, the the fuctio, defied by,(u~ (t) e :t )=v~(t) e ;t (&a 1 t<) is operator mootoe o [0, ). Moreover, if 0c1 ad r>0, the the fuctio, r (s) o [0, ) defied by is operator mootoe., r (u~ (t) e :t (v~(t) e ;t ) r )=(v~(t) e ;t ) c+r (&a 1 t<) We remark that each family [, r ] of operator motoe fuctios costructed above satisfies the followig relatio,, r (h(t) f(t) r )= f(t) c+r (r>0), where h(t) ad f(t) are appropriate icreasig fuctios.

10 OPERATOR MONOTONE IMPLICIT FUNCTION AN ESSENTIAL INEQUALITY AND AN EXTENSION OF THE FURUTA INEQUALITY The aim of this sectio is to give a essetial iequality which leads us to extesios of (2) ad (3). We eed some tools from the theory of operator iequalities. We adopt the otio of a coectio (or mea) that was itroduced by Kubo ad Ado [10]: the coectio _ correspodig to a operator mootoe fuctio,(t)0 o [0, ) is defied by A_B=A 12,(A &12 BA &12 ) A 12 if A is ivertible, ad A_B=lim t +0 (A+t) _B if A is ot ivertible. I this paper we eed the followig property: AC ad BD imply A_BC_D. From ow o, we assume that a fuctio meas a cotiuous fuctio, I, J represet itervals (maybe ubouded) i the real lie, ad J i the iterior of J. To simplify future proofs, we make a prelimiary remark. Remark. Suppose that sp(a)[a, b]j, ad that f is a fuctio o the iterval J. The for each =>0 there is a affie fuctio p = (t)=ct+d such that c>0, p = (a)=a+=, p = (b)=b&= ad p = (t) coverges uiformly to t o [a, b] as= 0. We have & f( p = (A))&f(A)& 0 (= 0), ad sp( p = (A))[a+=, b&=]. Therefore, to show somethig about f(a) uder a coditio sp(a)j we will ofte assume that sp(a) is i the iterior of J. Lemma 4.1. Let,(t)0 be a operator mootoe fuctio o [0, ). Let k(t) be a o-egative ad strictly icreasig fuctio o a iterval I[0, ). Suppose,(k(t) t)=t 2 (t # I). The sp(a), sp(b)i, AB O {,(B12 k(a) B 12 )B 2, A 2,(A 12 k(b) A 12 ).

11 340 MITSURU UCHIYAMA Proof. Let us assume that sp(a), sp(b) are i the iterior of I, soa ad B are ivertible. By makig use of the coectio _ correspodig to,, we have B &12,(B 12 k(a) B 12 ) B &12 =B &1 _k(a)a &1 _k(a) =A &1,(Ak(A))=AB. Here we used B &1 A &1 ad the property of the coectio metioed above. Thus we obtai the first iequality,(b 12 k(a) B 12 )B 2. For geeral A, B, sice p = (A)p = (B) for p = (t) as i the Remark, we ca apply the result that we have just show to p = (A) adp = (B). By lettig = 0, we obtai the first iequality. We ca similarly obtai the secod iequality. K Lemma 4.2. Let [, r : r>0] be a oe-parameter family of o-egative fuctios o [0, ), ad J a arbitrary iterval. Let f(t), h(t) be o-egative strictly icreasig fuctios o J. If, for a fixed real umber c : 0c1, the coditio is satisfied, the, r (h(t) f(t) r )= f(t) c+r (t # J, r>0) (7), c+2r (s, &1 r (s))=s 2 (s= f(t) c+r ). Proof. Sice h(t) f(t) r =, &1 r (s), by (7) with 2r+c i place of r,, c+2r (s, &1 r (s))=, c+2r ( f(t) c+r h(t) f(t) r ) This completes the proof. =, c+2r (h(t) f(t) c+2r )= f(t) 2c+2r =s 2. K We call the followig iequality the essetial iequality. Theorem 4.3. Let [, r : r>0] be a oe-parameter family of o-egative operator mootoe fuctios o [0, ), ad J a arbitrary iterval. Let f(t), h(t) be o-egative strictly icreasig fuctios o J. If coditio (7) is satisfied for a fixed c: 0c1, the sp(a), sp(b)j i, f(a) f(b)= O {, r( f(b) r2 h(a) f(b) r2 ) f(b) c+r, f(a) c+r, r ( f(a) r2 h(b) f(a) r2 ). (8) Proof. We will oly prove the first iequality of (8). Sice sp(a), sp(b) are i the iterior of J, f(a) adf(b) are ivertible, because f(t) is strictly icreasig. We first obtai (8) i the case 0<r1. By makig use of the coectio _ correspodig to, r, we have

12 OPERATOR MONOTONE IMPLICIT FUNCTION 341 f(b) &r2, r ( f(b) r2 h(a) f(b) r2 ) f(b) &r2 = f(b) &r _h(a) f(a) &r _h(a)= f(a) &r f(a) c+r = f(a) c f(b) c. Thus (8) follows. We ext assume (8) holds for all r such that 0<r. Take ay fixed r such that <r+1. Because (r&c)2, we have, (r&c)2 ( f(b) (r&c)4 h(a) f(b) (r&c)4 ) f(b) (r+c)2. Here we simply deote the left had side by H ad the right had side by K; clearly HK. Set I :=[f(t) (r+c)2 : t # J]. The I[0, ) ad sp(k)i. To see sp(h)i, take a, b i J such that aa, Bb. Sice h(a)h(a)h(b), h(a) f(a) (r&c)2 f(b) (r&c)4 h(a) f(b) (r&c)4 h(b) f(b) (r&c)2. I cojuctio with (7), this shows sp(h)i. It follows from Lemma 4.2 that, r (s, &1 (r&c)2 (s))=s2 for s # I. Thus we ca apply Lemma 4.1 to get which meas, r (K 12, &1 (r&c)2 (H) K 12 )K 2,, r ( f(b) r2 h(a) f(b) r2 ) f(b) c+r. K I the above proof, the strict coditio sp(a), sp(b)j i was ecessary just to say that f(a) ad f(b) are ivertible. Eve if we replace A ad B by p = (A) ad p = (B), respectively, f( p = (A)) f( p = (B)) does ot ecessarily hold, so that we caot weake the coditio to sp(a), sp(b)j. I additio to the coditios of the above theorem, let us assume that f(t) is operator mootoe. The we get Theorem 4.4. Let [, r : r>0] be a oe-parameter family of o-egative operator mootoe fuctios o [0, ), ad J a arbitrary iterval. Let f(t), h(t) be o-egative strictly icreasig fuctios o J. If f(t) is operator mootoe, ad if coditio (7) is satisfied for a fixed c : 0c1, the sp(a), sp(b)j, AB= O {, r( f(b) r2 h(a) f(b) r2 ) f(b) c+r, f(a) c+r, r ( f(a) r2 h(b) f(a) r2 ). (9)

13 342 MITSURU UCHIYAMA Proof. Sice p = (A)p = (B), ad sice sp( p = (A)), sp( p = (B))J i,wemay assume that sp(a), sp(b)j i. The operator mootoicity of f(t) esures that f(a) f(b). Hece (9) follows from (8). K We explai why the above theorem icludes the Furuta Iequality. Let p1, ad put f(t)=t, h(t)=t p (0t<). Defie a oe-parameter family of operator mootoe fuctios [, r : r>0] by The, r (t)=t (1+r)( p+r) (0t<)., r (h(t) f(t) r )=t 1+r = f(t) 1+r. Thus (7) with c=1 is satisfied. Therefore, from Theorem 4.4 it follows that AB0O (B r2 A p B r2 ) (1+r)( p+r) B 1+r. If q(1+r)p+r, take * such that 1 1+r =* q p+r. The 0<*1, hece by the Lo werheiz iequality (1) we have This is just the Furuta iequality. (B r2 A p B r2 ) 1q B ( p+r)q. Remark. I the above theorems, we assumed that coditio (7) is satisfied for all r>0. However, it is evidet from the above proof that if we assume that (7) is satisfied for r i a iterval (0, :), the (8) ad (9) hold for r #(0,:). Equatios (8) ad (9) are abstract iequalities; however we ca get cocrete iequalities by usig oe-parameter families of o-egative operator mootoe fuctios o [0, ) i Corollary 3.3. Corollary 4.5. Uder the coditios of Corollary 3.3, suppose A, B&a 1. The v(a) e ;A v(b) e ;B O, r ((v(b) e ;B ) r2 u(a) e aa (v(b) e ;B ) r2 )(v(b) e ;B ) c+r.

14 OPERATOR MONOTONE IMPLICIT FUNCTION 343 Proof. Set J=[&a 1, ), h(t)=u(t) e :t ad f(t)=v(t) e ;t. The the operator mootoe fuctio, r i Corollary 3.3 satisfies (7). Thus, if sp(a), sp(b)j i, we ca apply (8). For geeral A, B, take a arbitrary =>0. Sice A is bouded ad f(t) is strictly icreasig, there is $>0 so that $ f(a+=)&f(a). Moreover, for this $ there is =$>0 so that 0 f(b+=$)&f(b)$. Thus we obtai f(a+=) f(b+=$). Sice sp(a+=), sp(b+=$)j i, we ca apply (8), the let = 0. K Corollary 4.6. Let u(t), v(t) be the fuctios give by (4), (5). Let us assume that a 1 b 1 ad * j <1. For fixed :, c such that 0:, 0c1, defie the fuctio, r (s) o [0, ) by The, r (u(t) e :t v(t) r )=v(t) c+r (r>0). AB&a 1 O, r (v(b) r2 u(a) e aa v(b) r2 )v(b) c+r. Proof. The operator mootoicity of v(t) o[&a 1, ) is clear, ad that of, r (s) o[0,) follows from Corollary 3.3 with ;=0. Thus this corollary follows from Theorem 4.4. K 5. EXTENSIONS OF THE EXPONENTIAL TYPE OPERATOR INEQUALITY OF ANDO I this sectio, we treat oly a ifiite iterval with the right ed poit, so we deote it by J. Recall the iequality (3): for p0, rs>0 AB O (e (r2) B e pa e (r2) B ) s(r+ p) e sb. I this sectio we will obtai a extesio. We cosider (7) uder the coditio c=0, ad deote the fuctio by. r istead of, r. I additio to the coditios of Theorem 4.3 we assume that log f(t) is operator mootoe. The we have

15 344 MITSURU UCHIYAMA Theorem 5.1. Let f(t) ad h(t) be o-egative strictly icreasig fuctios o a ifiite iterval J, ad let [. r : r>0] be the oe-parameter family of o-egative operator mootoe fuctios o [0, ) satisfyig. r (h(t) f(t) r )= f(t) r (t # J ; r>0). (10) If log f(t) is a operator mootoe fuctio i the iterior of J, the sp(a), sp(b)j, AB= O {. r( f(b) r2 h(a) f(b) r2 ) f(b) r f(a) r. r ( f(a) r2 h(b) f(a) r2 ). (11) Proof. We remark that f(t)>0 o the iterior of J, so that log f(t) is well-defied there. We may assume that sp(a), sp(b)(j ) i. Suppose AB. The, by assumptio, log f(a)log f(b). Take ' #(J ) i so that B', ad ote that for every =>0, sp(a+=)(j ) i. We claim that there is a>0 such that f(a+=) a f(b) a. (12) Sice a operator mootoe fuctio o J is cocave, for $ :== dt} d log f(t)>0, &A&+= we have log f(t+=)log f(t)+$ ('t&a&) ad hece log f(a+=)log f(a)+$log f(b)+$. Now, we ote that for every bouded selfadjoit operator X such that X' we have 0< f(') f(x) f(&x&), ad hece " f(x)* &I &log f(x) 0 (* +0). * " Therefore, from the above it follows that f(a+=) * &I f(b)* &I * * for sufficietly small *>0. Thus we have derived (12). Sice. ar (h(t) f (t) ar )= f (t) ar (t # J,0<r), by settig.~ r =. ar, f (t)= f(t) a we have.~ r (h(t) f (t) r )= f (t) r (t # J,0<r).

16 OPERATOR MONOTONE IMPLICIT FUNCTION 345 Therefore, coditio (7) with c=0 is satisfied. Sice f (A+=)= f(a+=) a f(b) a = f (B), ad sice sp(a+=), sp(b)(j ) i, by Theorem 4.3 we have This implies Sice r is arbitrary, for every r.~ r (( f (B) r2 h(a+=) f (B) r2 ) f (B) r.. ar ( f(b) ar2 h(a+=) f(b) ar2 ) f(b) ar.. r ( f(b) r2 h(a+=) f(b) r2 ) f(b) r, ad hece, by lettig = 0, we get (11). Now we explai why this theorem is a extesio of (3). For p, r>0, put. r (s)=s r( p+r) for s0, f(t)=e t ad h(t)=e pt for t # J :=(&, ). The (10) ad all the other coditios of Theorem 5.1 are satisfied. Thus AB implies (e (r2)b e pa e (r2)b ) r(r+p) e rb. By the Lo werheiz theorem, we get (3). r( p+r) Sice. r (s)=s ( p, r>0) is operator mootoe o [0, ) ad satisfies. r ( f(t) p f(t) r )= f(t) r for every fuctio f(t), we ca obtai Corollary 5.2. Let 0 f(t) be a strictly icreasig fuctio o a ifiite iterval J, ad let sp(a), sp(b)j. If log f(t) is a operator mootoe fuctio i the iterior of J, the for r>0, p>0 AB O {( f(b)r2 f(a) p f(b) r2 ) r( p+r) f(b) r f(a) r ( f(a) r2 f(b) p f(a) r2 ) r( p+r). By usig this we ca get a cocrete iequality: let us recall the fuctio u(t) defied by (4) i Sectio 2; sice log(u(t) e :t ) is operator mootoe o the iterior of J :=[&a 1, ), we obtai K Corollary 5.3. If :, p, r>0, the AB&a 1 O {[(u(b) e:b ) r2 (u(a) e :A ) p (u(b) e :B ) r2 ] r( p+r) (u(b) e :B ) r, (u(a) e :A ) r [(u(a) e :A ) r2 (u(b) e :B ) p (u(a) e :A ) r2 ] r( p+r). By applyig this iequality to u(t)=1, we get (3) agai. We ed this paper with a slightly complicated iequality:

17 346 MITSURU UCHIYAMA Corollary 5.4. Let u(t), v(t) be the fuctios defied by (4), (5), ad let a 1 b 1. For fixed :, ;0, defie. r (s) (r>0) o [0, ) by. r (u(t) v(t) r e (:+;r)t )=v(t) r e ;rt (t&a 1 ). The, for each r>0,. r (s) is operator mootoe ad AB&a 1 O {. r((v(b) e ;B ) r2 (u(a) e :A )(v(b) e ;B ) r2 )(v(b) e ;B ) r, (v(a) e ;A ) r. r ((v(a) e ;A ) r2 (u(b) e :B )(v(a) e ;A ) r2 ). ACKNOWLEDGMENTS The author expresses his thaks to Professor T. Ado for readig the origial mauscript ad for givig may commets. He also thaks Professors S. Takahasi, Y. Nakamura, H. Kosaki, T. Hara, M. Hayashi, ad M. Hasumi. Fially, he is grateful to the referees ad Professor D. Saraso for their kid suggestios. REFERENCES 1. T. Ado, ``Topics o Operator Iequalities,'' Lecture ote, Sapporo, T. Ado, O some operator iequalities, Math. A. 279 (1987), R. Bhatia, ``Matrix Aalysis,'' Spriger-Verlag, New York, N. Cha ad M. Kwog, Hermitia matrix iequalities ad a cojecture, Amer. Math. Mothly 92 (1985), W. Dooghue, ``Mootoe Matrix Fuctios ad Aalytic Cotiuatio,'' Spriger- Verlag, BerliNew York, M. Fujii ad E. Kamei, Furuta's iequality ad a geeralizatio of Ado's theorem, Proc. Amer. Math. Soc. 115 (1992), T. Furuta, AB0 assures (B r A p B r ) 1q B ( p+2r)q for r0, p0, q1 with (1+2r) q p+2r, Proc. Amer. Math. Soc. 101 (1987), T. Furuta, A elemetary proof of a order preservig iequality, Proc. Japa Acad. A 65 (1989), R. Hor ad C. Johso, ``Topics i Matrix Aalysis,'' Cambridge Uiv. Press, Cambridge, UK, F. Kubo ad T. Ado, Meas of positive liear operators, Math. A. 246 (1980), F. Hase ad G. K. Pederse, Jese's iequality for operators ad Lo wer's theorem, Math. A. 258 (1982), E. Heiz, Beitra ge zur Sto rugstheorie der Spektralzerlegug, Math. A. 123 (1951), K. Lo wer, U ber mootoe Matrixfuktioe, Math. Z. 38 (1934), M. Roseblum ad J. Rovyak, ``Hardy Classes ad Operator Theory,'' Oxford Uiv. Press, Oxford, 1985.

18 OPERATOR MONOTONE IMPLICIT FUNCTION K. Taahashi, Best possibility of the Furuta iequality, Proc. Amer. Math. Soc. 124 (1996), M. Uchiyama, Commutativity of selfadjoit opeators, Pacific J. Math. 161 (1993), M. Uchiyama, Further extesio of HeizKatoFuruta iequality, Proc. Amer. Math. Soc. 127 (1999), M. Uchiyama, Some expoetial operator iequalities, Math. Iequal. Appl. 2 (1999),

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Council for Innovative Research

Council for Innovative Research ABSTRACT ON ABEL CONVERGENT SERIES OF FUNCTIONS ERDAL GÜL AND MEHMET ALBAYRAK Yildiz Techical Uiversity, Departmet of Mathematics, 34210 Eseler, Istabul egul34@gmail.com mehmetalbayrak12@gmail.com I this

More information

Math 140A Elementary Analysis Homework Questions 3-1

Math 140A Elementary Analysis Homework Questions 3-1 Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s

More information

Complex Analysis Spring 2001 Homework I Solution

Complex Analysis Spring 2001 Homework I Solution Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle

More information

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4. 4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 Calculus II Basic Convergence Tests for Series MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

More information

Solutions to Tutorial 3 (Week 4)

Solutions to Tutorial 3 (Week 4) The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial Week 4 MATH2962: Real ad Complex Aalysis Advaced Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/

More information

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i

More information

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book. THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each

More information

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

More information

MAS111 Convergence and Continuity

MAS111 Convergence and Continuity MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece

More information

Sequences and Limits

Sequences and Limits Chapter Sequeces ad Limits Let { a } be a sequece of real or complex umbers A ecessary ad sufficiet coditio for the sequece to coverge is that for ay ɛ > 0 there exists a iteger N > 0 such that a p a q

More information

INEQUALITIES BJORN POONEN

INEQUALITIES BJORN POONEN INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad

More information

Properties of Fuzzy Length on Fuzzy Set

Properties of Fuzzy Length on Fuzzy Set Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

FUNDAMENTALS OF REAL ANALYSIS by

FUNDAMENTALS OF REAL ANALYSIS by FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable)

More information

1. By using truth tables prove that, for all statements P and Q, the statement

1. By using truth tables prove that, for all statements P and Q, the statement Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3

More information

CHAPTER 5. Theory and Solution Using Matrix Techniques

CHAPTER 5. Theory and Solution Using Matrix Techniques A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL

More information

Analytic Continuation

Analytic Continuation Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for

More information

A Proof of Birkhoff s Ergodic Theorem

A Proof of Birkhoff s Ergodic Theorem A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed

More information

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define 5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o

More information

Real Analysis Fall 2004 Take Home Test 1 SOLUTIONS. < ε. Hence lim

Real Analysis Fall 2004 Take Home Test 1 SOLUTIONS. < ε. Hence lim Real Aalysis Fall 004 Take Home Test SOLUTIONS. Use the defiitio of a limit to show that (a) lim si = 0 (b) Proof. Let ε > 0 be give. Defie N >, where N is a positive iteger. The for ε > N, si 0 < si

More information

Fundamental Theorem of Algebra. Yvonne Lai March 2010

Fundamental Theorem of Algebra. Yvonne Lai March 2010 Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex

More information

PRACTICE FINAL/STUDY GUIDE SOLUTIONS

PRACTICE FINAL/STUDY GUIDE SOLUTIONS Last edited December 9, 03 at 4:33pm) Feel free to sed me ay feedback, icludig commets, typos, ad mathematical errors Problem Give the precise meaig of the followig statemets i) a f) L ii) a + f) L iii)

More information

Limit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017

Limit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017 Limit erior ad limit iferior c Prof. Philip Peace -Draft: April 7, 207. Defiitio. The limit erior of a sequece a is the exteded real umber defied by lim a = lim a k k Similarly, the limit iferior of a

More information

Solutions to Tutorial 5 (Week 6)

Solutions to Tutorial 5 (Week 6) The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial 5 (Wee 6 MATH2962: Real ad Complex Aalysis (Advaced Semester, 207 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

Part A, for both Section 200 and Section 501

Part A, for both Section 200 and Section 501 Istructios Please write your solutios o your ow paper. These problems should be treated as essay questios. A problem that says give a example or determie requires a supportig explaatio. I all problems,

More information

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can. Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite

More information

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1 Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity

More information

A NOTE ON SPECTRAL CONTINUITY. In Ho Jeon and In Hyoun Kim

A NOTE ON SPECTRAL CONTINUITY. In Ho Jeon and In Hyoun Kim Korea J. Math. 23 (2015), No. 4, pp. 601 605 http://dx.doi.org/10.11568/kjm.2015.23.4.601 A NOTE ON SPECTRAL CONTINUITY I Ho Jeo ad I Hyou Kim Abstract. I the preset ote, provided T L (H ) is biquasitriagular

More information

Lecture 3 The Lebesgue Integral

Lecture 3 The Lebesgue Integral Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified

More information

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series

More information

Entire Functions That Share One Value with One or Two of Their Derivatives

Entire Functions That Share One Value with One or Two of Their Derivatives JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 223, 88 95 1998 ARTICLE NO. AY985959 Etire Fuctios That Share Oe Value with Oe or Two of Their Derivatives Gary G. Guderse* Departmet of Mathematics, Ui

More information

The Choquet Integral with Respect to Fuzzy-Valued Set Functions

The Choquet Integral with Respect to Fuzzy-Valued Set Functions The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i

More information

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n = 60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece

More information

INFINITE SEQUENCES AND SERIES

INFINITE SEQUENCES AND SERIES 11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES 11.4 The Compariso Tests I this sectio, we will lear: How to fid the value of a series by comparig it with a kow series. COMPARISON TESTS

More information

International Journal of Mathematical Archive-3(4), 2012, Page: Available online through ISSN

International Journal of Mathematical Archive-3(4), 2012, Page: Available online through  ISSN Iteratioal Joural of Mathematical Archive-3(4,, Page: 544-553 Available olie through www.ima.ifo ISSN 9 546 INEQUALITIES CONCERNING THE B-OPERATORS N. A. Rather, S. H. Ahager ad M. A. Shah* P. G. Departmet

More information

IT is well known that Brouwer s fixed point theorem can

IT is well known that Brouwer s fixed point theorem can IAENG Iteratioal Joural of Applied Mathematics, 4:, IJAM_4 0 Costructive Proof of Brouwer s Fixed Poit Theorem for Sequetially Locally No-costat ad Uiformly Sequetially Cotiuous Fuctios Yasuhito Taaka,

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

Section 11.8: Power Series

Section 11.8: Power Series Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i

More information

Singular Continuous Measures by Michael Pejic 5/14/10

Singular Continuous Measures by Michael Pejic 5/14/10 Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable

More information

s = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so

s = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so 3 From the otes we see that the parts of Theorem 4. that cocer us are: Let s ad t be two simple o-egative F-measurable fuctios o X, F, µ ad E, F F. The i I E cs ci E s for all c R, ii I E s + t I E s +

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

Rademacher Complexity

Rademacher Complexity EECS 598: Statistical Learig Theory, Witer 204 Topic 0 Rademacher Complexity Lecturer: Clayto Scott Scribe: Ya Deg, Kevi Moo Disclaimer: These otes have ot bee subjected to the usual scrutiy reserved for

More information

( a) ( ) 1 ( ) 2 ( ) ( ) 3 3 ( ) =!

( a) ( ) 1 ( ) 2 ( ) ( ) 3 3 ( ) =! .8,.9: Taylor ad Maclauri Series.8. Although we were able to fid power series represetatios for a limited group of fuctios i the previous sectio, it is ot immediately obvious whether ay give fuctio has

More information

Generalization of Samuelson s inequality and location of eigenvalues

Generalization of Samuelson s inequality and location of eigenvalues Proc. Idia Acad. Sci. Math. Sci.) Vol. 5, No., February 05, pp. 03. c Idia Academy of Scieces Geeralizatio of Samuelso s iequality ad locatio of eigevalues R SHARMA ad R SAINI Departmet of Mathematics,

More information

THE SOLUTION OF NONLINEAR EQUATIONS f( x ) = 0.

THE SOLUTION OF NONLINEAR EQUATIONS f( x ) = 0. THE SOLUTION OF NONLINEAR EQUATIONS f( ) = 0. Noliear Equatio Solvers Bracketig. Graphical. Aalytical Ope Methods Bisectio False Positio (Regula-Falsi) Fied poit iteratio Newto Raphso Secat The root of

More information

The Exponential Function as a Limit

The Exponential Function as a Limit Applied Mathematical Scieces, Vol. 6, 2012, o. 91, 4519-4526 The Expoetial Fuctio as a Limit Alvaro H. Salas Departmet of Mathematics Uiversidad de Caldas, Maizales, Colombia Uiversidad Nacioal de Colombia,

More information

2 n = n=1 a n is convergent and we let. i=1

2 n = n=1 a n is convergent and we let. i=1 Lecture 3 : Series So far our defiitio of a sum of umbers applies oly to addig a fiite set of umbers. We ca exted this to a defiitio of a sum of a ifiite set of umbers i much the same way as we exteded

More information

Introduction to Optimization Techniques

Introduction to Optimization Techniques Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors

More information

B Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets

B Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets B671-672 Supplemetal otes 2 Hypergeometric, Biomial, Poisso ad Multiomial Radom Variables ad Borel Sets 1 Biomial Approximatio to the Hypergeometric Recall that the Hypergeometric istributio is fx = x

More information

Solutions to home assignments (sketches)

Solutions to home assignments (sketches) Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/

More information

Second day August 2, Problems and Solutions

Second day August 2, Problems and Solutions FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 1997, Plovdiv, BULGARIA Secod day August, 1997 Problems ad Solutios Let Problem 1. Let f be a C 3 (R) o-egative

More information

10.1 Sequences. n term. We will deal a. a n or a n n. ( 1) n ( 1) n 1 2 ( 1) a =, 0 0,,,,, ln n. n an 2. n term.

10.1 Sequences. n term. We will deal a. a n or a n n. ( 1) n ( 1) n 1 2 ( 1) a =, 0 0,,,,, ln n. n an 2. n term. 0. Sequeces A sequece is a list of umbers writte i a defiite order: a, a,, a, a is called the first term, a is the secod term, ad i geeral eclusively with ifiite sequeces ad so each term Notatio: the sequece

More information

Some sufficient conditions of a given. series with rational terms converging to an irrational number or a transcdental number

Some sufficient conditions of a given. series with rational terms converging to an irrational number or a transcdental number Some sufficiet coditios of a give arxiv:0807.376v2 [math.nt] 8 Jul 2008 series with ratioal terms covergig to a irratioal umber or a trascdetal umber Yu Gao,Jiig Gao Shaghai Putuo college, Shaghai Jiaotog

More information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple

More information

MA131 - Analysis 1. Workbook 9 Series III

MA131 - Analysis 1. Workbook 9 Series III MA3 - Aalysis Workbook 9 Series III Autum 004 Cotets 4.4 Series with Positive ad Negative Terms.............. 4.5 Alteratig Series.......................... 4.6 Geeral Series.............................

More information

Beyond simple iteration of a single function, or even a finite sequence of functions, results

Beyond simple iteration of a single function, or even a finite sequence of functions, results A Primer o the Elemetary Theory of Ifiite Compositios of Complex Fuctios Joh Gill Sprig 07 Abstract: Elemetary meas ot requirig the complex fuctios be holomorphic Theorem proofs are fairly simple ad are

More information

TENSOR PRODUCTS AND PARTIAL TRACES

TENSOR PRODUCTS AND PARTIAL TRACES Lecture 2 TENSOR PRODUCTS AND PARTIAL TRACES Stéphae ATTAL Abstract This lecture cocers special aspects of Operator Theory which are of much use i Quatum Mechaics, i particular i the theory of Quatum Ope

More information

Series III. Chapter Alternating Series

Series III. Chapter Alternating Series Chapter 9 Series III With the exceptio of the Null Sequece Test, all the tests for series covergece ad divergece that we have cosidered so far have dealt oly with series of oegative terms. Series with

More information

A Simplified Binet Formula for k-generalized Fibonacci Numbers

A Simplified Binet Formula for k-generalized Fibonacci Numbers A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com

More information

Lesson 10: Limits and Continuity

Lesson 10: Limits and Continuity www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals

More information

MA131 - Analysis 1. Workbook 2 Sequences I

MA131 - Analysis 1. Workbook 2 Sequences I MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................

More information

An Analysis of a Certain Linear First Order. Partial Differential Equation + f ( x, by Means of Topology

An Analysis of a Certain Linear First Order. Partial Differential Equation + f ( x, by Means of Topology Iteratioal Mathematical Forum 2 2007 o. 66 3241-3267 A Aalysis of a Certai Liear First Order Partial Differetial Equatio + f ( x y) = 0 z x by Meas of Topology z y T. Oepomo Sciece Egieerig ad Mathematics

More information

Oscillation and Property B for Third Order Difference Equations with Advanced Arguments

Oscillation and Property B for Third Order Difference Equations with Advanced Arguments Iter atioal Joural of Pure ad Applied Mathematics Volume 3 No. 0 207, 352 360 ISSN: 3-8080 (prited versio); ISSN: 34-3395 (o-lie versio) url: http://www.ijpam.eu ijpam.eu Oscillatio ad Property B for Third

More information

Output Analysis and Run-Length Control

Output Analysis and Run-Length Control IEOR E4703: Mote Carlo Simulatio Columbia Uiversity c 2017 by Marti Haugh Output Aalysis ad Ru-Legth Cotrol I these otes we describe how the Cetral Limit Theorem ca be used to costruct approximate (1 α%

More information

Fixed Point Theorems for Expansive Mappings in G-metric Spaces

Fixed Point Theorems for Expansive Mappings in G-metric Spaces Turkish Joural of Aalysis ad Number Theory, 7, Vol. 5, No., 57-6 Available olie at http://pubs.sciepub.com/tjat/5//3 Sciece ad Educatio Publishig DOI:.69/tjat-5--3 Fixed Poit Theorems for Expasive Mappigs

More information

5.1. The Rayleigh s quotient. Definition 49. Let A = A be a self-adjoint matrix. quotient is the function. R(x) = x,ax, for x = 0.

5.1. The Rayleigh s quotient. Definition 49. Let A = A be a self-adjoint matrix. quotient is the function. R(x) = x,ax, for x = 0. 40 RODICA D. COSTIN 5. The Rayleigh s priciple ad the i priciple for the eigevalues of a self-adjoit matrix Eigevalues of self-adjoit matrices are easy to calculate. This sectio shows how this is doe usig

More information

2.4.2 A Theorem About Absolutely Convergent Series

2.4.2 A Theorem About Absolutely Convergent Series 0 Versio of August 27, 200 CHAPTER 2. INFINITE SERIES Add these two series: + 3 2 + 5 + 7 4 + 9 + 6 +... = 3 l 2. (2.20) 2 Sice the reciprocal of each iteger occurs exactly oce i the last series, we would

More information

Math 2784 (or 2794W) University of Connecticut

Math 2784 (or 2794W) University of Connecticut ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really

More information

Math 508 Exam 2 Jerry L. Kazdan December 9, :00 10:20

Math 508 Exam 2 Jerry L. Kazdan December 9, :00 10:20 Math 58 Eam 2 Jerry L. Kazda December 9, 24 9: :2 Directios This eam has three parts. Part A has 8 True/False questio (2 poits each so total 6 poits), Part B has 5 shorter problems (6 poits each, so 3

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

ON STATISTICAL CONVERGENCE AND STATISTICAL MONOTONICITY

ON STATISTICAL CONVERGENCE AND STATISTICAL MONOTONICITY Aales Uiv. Sci. Budapest., Sect. Comp. 39 (203) 257 270 ON STATISTICAL CONVERGENCE AND STATISTICAL MONOTONICITY E. Kaya (Mersi, Turkey) M. Kucukasla (Mersi, Turkey) R. Wager (Paderbor, Germay) Dedicated

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Ma 530 Infinite Series I

Ma 530 Infinite Series I Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li

More information

Concavity of weighted arithmetic means with applications

Concavity of weighted arithmetic means with applications Arch. Math. 69 (1997) 120±126 0003-889X/97/020120-07 $ 2.90/0 Birkhäuser Verlag, Basel, 1997 Archiv der Mathematik Cocavity of weighted arithmetic meas with applicatios By ARKADY BERENSTEIN ad ALEK VAINSHTEIN*)

More information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 12

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 12 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract I this lecture we derive risk bouds for kerel methods. We will start by showig that Soft Margi kerel SVM correspods to miimizig

More information

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1 . Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely

More information

Subject: Differential Equations & Mathematical Modeling-III

Subject: Differential Equations & Mathematical Modeling-III Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso

More information

Sequences, Series, and All That

Sequences, Series, and All That Chapter Te Sequeces, Series, ad All That. Itroductio Suppose we wat to compute a approximatio of the umber e by usig the Taylor polyomial p for f ( x) = e x at a =. This polyomial is easily see to be 3

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS

CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS CANTOR SETS WHICH ARE MINIMAL FOR QUASISYMMETRIC MAPS HRANT A. HAKOBYAN Abstract. We show that middle iterval Cator sets of Hausdorff dimesio are miimal for quasisymmetric maps of a lie. Combiig this with

More information

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S. Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the

More information

ON CONVERGENCE OF BASIC HYPERGEOMETRIC SERIES. 1. Introduction Basic hypergeometric series (cf. [GR]) with the base q is defined by

ON CONVERGENCE OF BASIC HYPERGEOMETRIC SERIES. 1. Introduction Basic hypergeometric series (cf. [GR]) with the base q is defined by ON CONVERGENCE OF BASIC HYPERGEOMETRIC SERIES TOSHIO OSHIMA Abstract. We examie the covergece of q-hypergeometric series whe q =. We give a coditio so that the radius of the covergece is positive ad get

More information

AP Calculus Chapter 9: Infinite Series

AP Calculus Chapter 9: Infinite Series AP Calculus Chapter 9: Ifiite Series 9. Sequeces a, a 2, a 3, a 4, a 5,... Sequece: A fuctio whose domai is the set of positive itegers = 2 3 4 a = a a 2 a 3 a 4 terms of the sequece Begi with the patter

More information

Poisson s remarkable calculation - a method or a trick?

Poisson s remarkable calculation - a method or a trick? Poisso s remarkable calculatio - a method or a trick? Deis Bell 1 Departmet of Mathematics, Uiversity of North Florida 1 UNF Drive, Jacksoville, FL 34, U. S. A. email: dbell@uf.edu The Gaussia fuctio e

More information

REGRESSION WITH QUADRATIC LOSS

REGRESSION WITH QUADRATIC LOSS REGRESSION WITH QUADRATIC LOSS MAXIM RAGINSKY Regressio with quadratic loss is aother basic problem studied i statistical learig theory. We have a radom couple Z = X, Y ), where, as before, X is a R d

More information

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx)

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx) Cosider the differetial equatio y '' k y 0 has particular solutios y1 si( kx) ad y cos( kx) I geeral, ay liear combiatio of y1 ad y, cy 1 1 cy where c1, c is also a solutio to the equatio above The reaso

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Sequences I. Chapter Introduction

Sequences I. Chapter Introduction Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which

More information

Large holes in quasi-random graphs

Large holes in quasi-random graphs Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,

More information

Brief Review of Functions of Several Variables

Brief Review of Functions of Several Variables Brief Review of Fuctios of Several Variables Differetiatio Differetiatio Recall, a fuctio f : R R is differetiable at x R if ( ) ( ) lim f x f x 0 exists df ( x) Whe this limit exists we call it or f(

More information

Model Theory 2016, Exercises, Second batch, covering Weeks 5-7, with Solutions

Model Theory 2016, Exercises, Second batch, covering Weeks 5-7, with Solutions Model Theory 2016, Exercises, Secod batch, coverig Weeks 5-7, with Solutios 3 Exercises from the Notes Exercise 7.6. Show that if T is a theory i a coutable laguage L, haso fiite model, ad is ℵ 0 -categorical,

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

ON POINTWISE BINOMIAL APPROXIMATION

ON POINTWISE BINOMIAL APPROXIMATION Iteratioal Joural of Pure ad Applied Mathematics Volume 71 No. 1 2011, 57-66 ON POINTWISE BINOMIAL APPROXIMATION BY w-functions K. Teerapabolar 1, P. Wogkasem 2 Departmet of Mathematics Faculty of Sciece

More information