On Some Estimates of the Remainder in Taylor s Formula
|
|
- Earl O’Connor’
- 5 years ago
- Views:
Transcription
1 Journal of Mathematical Analysis and Applications 263, (2) doi:.6/jmaa , available online at on On Some Estimates of the Remainder in Taylor s Formula G. A. Anastassiou Department of Mathematical Sciences, University of Memphis, Memphis, Tennessee ganastss@memphis.edu and S. S. Dragomir School of Communications and Informatics, Victoria University of Technology, Melbourne City MC, Victoria 8, Australia sever@matilda.vu.edu.au Submitted by Jerome Goldstein Received April 3, 2 New estimates of the remainder in Taylor s formula are given. Key Words: Taylor s formula. 2 Academic Press. INTRODUCTION The following theorem is well known in the literature as Taylor s formula or Taylor s theorem with the integral remainder. Theorem. Let f a b and let n be a positive integer. If f is such that f is absolutely continuous on a bx a b, then for all x a b we have (.) f x T n f x x+r n f x x where T n f x is Taylor s polynomial of degree n, i.e., n f k x T n f x x x x k (.2) k! X/ $35. Copyright 2 by Academic Press All rights of reproduction in any form reserved. k 246
2 the remainder in taylor s formula 247 (note that f f and! ), and the remainder can be given by (.3) R n f x x x x t n f n+ t dt For a mapping g a b and two arbitrary points x x a b, define and g x xp gt p dt /p x g x x ess sup gt t x x t x x p Using Hölder s inequality, we may state the following corollary. Corollary. (.4) With the above assumptions, we have x x n f n+ x x x x n+/q R n f x x nq+ f n+ /q x xp x x n+ f n+ n+! x x if f n+ L ab; if f n+ L q ab, p> p + q ; if f n+ L ab. For some applications of (.4) for particular functions, see[]. 2. SOME NEW BOUNDS FOR THE REMAINDER The following simple result was considered by G. A. Anastassiou in [2]. Lemma. Assume that the mapping f a b is such that f n is absolutely continuous on a b and x a b. Then for all x a b the remainder R n f x x in (.) can be represented by (2.) R n f x x [ f t f x n! ] x x t n dt n
3 248 anastassiou and dragomir Proof. We apply Taylor s formula with the integral remainder for n, obtaining f x T n f x x+ x t n f t dt n! x T n f x x x x n f x + x t n f t dt n! x T n f x x+ n! which produces the representation (2.). The following theorem holds. x [ f t f x ] x t n dt Theorem 2. the bounds Assume that f x, and x are as in Lemma. Then we have (2.2) R n f x x x x n f f x x x if f L ab; x x n +/q n!n q+ f f if f L /q q ab, x x xp p> p + q ; x x n f f x x x if f L ab. Proof. We have R n f x x f t f x n! x t n dt x f t f x n! x t n dt Mx x x If f L a b, then Mx x n! sup x t n x t x x t x x x x n f f x x x and the first inequality in (2.2) is proved. f t f x dt x
4 the remainder in taylor s formula 249 Using Hölder s integral inequality, we have, for f L p a b, that Mx x f t f x n! p dt /p x x t n q dt x x f f x n! [ x x n q+ ] /q x xp n q + n!n q + /q x x n +/q f f x x xp and the second inequality in (2.2) is proved. Finally, we have for f L a b that Mx x ess sup f t f x x t n dt t x x n! x t xx /q and the theorem is proved. x x n f f x x x The following result for Hölder type mappings also holds. Theorem 3. Assume that the mapping f a b is such that f is of H r-hölder type. That is, (2.3) f t f s Ht s r for all t s a b and H> is given. Then we have the inequality HBr + (2.4) R n f x x x x n! r+n where B is Euler s beta function. Proof. As f is of H r-hölder type, we may write R n f x x f t f x n! x t n dt x H t x n! r x t n (2.5) dt Nx x x Assume that x x. Then Nx x t x r x t n dt x x r+n + t r t n dt x x x r+n Br +
5 25 anastassiou and dragomir A similar equality can be obtained if x<x. Consequently, in general and then, by (2.5), we deduce (2.4). Nx xx x r+n Br + Corollary 2. Assume that the mapping f a b is such that f is L-Lipschitian on a b, i.e., (2.6) f t f s Lt s for all t s a b where L> is given. Then we have the inequality R n f x x Lx x n+ (2.7) n +! Proof. For r we have B2 t n t dt nn + Using (2.4), we deduce (2.7). We can now state the following result as well. Theorem 4. Let f x, and x be as in Theorem. Then the remainder R n f x x satisfies the bound x t n t x n! x f n+ dt x t if f n+ L ab; x t n t x n! /q x R n f x x f n+ dt x tp if f n+ L q ab, (2.8) Proof. p> p + q ; x t n n! x f n+ dt x t if f n+ L ab. As f is absolutely continuous on a b we may write that f t f x t x f n+ u du and then, by (2.), we have the representation ( t ) (2.9) R n f x x f n+ u du x t n dt n! x x
6 the remainder in taylor s formula 25 By (2.9) we may write t (2.) R n f x x f n+ u du x t n dt n! x x Now, if f n+ L a b, then t f n+ u du t x f n+ x t x Also, by Hölder s integral inequality we have (for p>, p + ) that q t f n+ u du t x /q t f n+ u p du /p x x and t x /q f n+ x tp t f n+ t u du f n+ u du f n+ x t x x Consequently, we have t x f n+ x t t f n+ u du t x /q f n+ x tp x (2.) f n+ x t Using (2.) and (2.), we easily deduce (2.8). 3. SOME FURTHER BOUNDS OF THE REMAINDER Let us consider the Chebychev functional defined by (3.) T g h b a b a b hxgx dx hx dx b a 2 a b a gx dx where h g a b are measurable on a b and the involved integrals exist on a b. The following identity which can be proved by direct computation is well known in the literature as Korkine s identity: b b (3.2) T g h hx hygx gy dx dy 2b a 2 a a
7 252 anastassiou and dragomir The following lemma holds. Lemma 2. Assume that the mapping f a b and x x are as in Lemma. Then we have the representation R n f x x [[ f n x x ] f x ] (3.3) Proof. x x x x n + 2n!x x ( f t f s ) x x ( x t n x s n ) dt ds Applying Korkine s identity, we may write x f t f x x t n dt x x 2 x ( f t f x ) dt 2x x 2 x which is clearly equivalent to x f t f x x t n dt x x x x t n dt x ( f t f s ) x t n x s n dt ds [ f n x f x x x f x ] x x n n ( + f t f s )( x t n x s n ) dt ds 2x x x x from which we get (3.3). The following theorem holds. Theorem 5. Assume that the mapping f a b has the property that f L 2 a b and x x a b. Then we have the inequality R n f x x f n x x f x x x n + n x x n 2n [ f ( [f 2 x x n x x x2 x ]) ] 2 /2 (3.4) where f x x f t 2 dt x2 /2 x
8 the remainder in taylor s formula 253 Proof. We have, by (3.3), that R n f x x [ f n x x ] f x x x n + 2n!x x ( f t f s ) x x [ x t n x s n ] (3.5) dtds Using the Cauchy Buniakowski Schwart inequality, we have ( f t f s )[ x t n x s n ] dt ds x x ( f t f s ) /2 2 dt ds x x [ x t n x s n ] /2 2 dt ds x x [ [ 2 x x f t ] ( ) 2 2 ] /2 dt f t dt x x [ ( ) 2 ] /2 x x x t 2n dt x t n dt x x 2 [x x f 2xx ( f n x f n x 2 ) ] 2 /2 [x x x x 2n + ( x x n ) 2 ] /2 2n + n [ 2x x f ( [f 2 x x n x x x 2 x ]) ] 2 /2 [ x x 2n 2n [ 2x x x x 2n n 2 ] /2 x x f 2 x x 2 ( [f n x x ]) 2 ] /2 ] /2 [ n x x n 2 2n + n 2 2n [ 2x x n+ f ( [f 2 x x n x x x 2 x ]) ] 2 /2 n n 2n 2n x x n+ [ n f 2 2n x x ([ f n x x x 2 x ]) ] /2 2
9 254 anastassiou and dragomir and then 2n! x n x x n 2n Using (3.5), we deduce (3.4). ( f t f s )[ x t n x s n ] dt ds x [ f ( [f 2 x x n x x x 2 x ]) ] 2 /2 4. SOME INEQUALITIES FOR SPECIAL CASES In this section we assume that x x a b and x x. The following theorem holds. Theorem 6. Let f a b be such that f is monotonic nondecreasing (nonincreasing) on x x. Then we have the inequality (4.) f x T n f x x+ [[ f n x x ] f x ] x x n or, equivalently, (4.2) f x T n f x x+ x x n [ f n x x ] Proof. We use the Chebychev inequality (4.3) T g h provided that g h are synchronous (asynchronous), i.e., we recall that the mappings g h are synchronous (asynchronous) if (4.4) gx gyhx hy for all x y a b As the mapping ht x t n is monotonic nonincreasing on x x, then we have, for f nondecreasing, and then, by (3.3) we deduce that T ( f x n ) R n f x x [[ f n x x ] f x ] x x n (4.5) The case where f is monotonic nonincreasing goes likewise and we omit the details.
10 the remainder in taylor s formula 255 The following refinement of Chebychev s inequality is known (see, for example, [3]): (4.6) T g h maxt g h T gh T g h Using (2.5), we may improve (4.) as follows. Theorem 7. Let f a b be such that f is monotonic nonincreasing on x x. Then we have the inequality (4.7) f x T n f x x [ f n x x ] x x n f t x t n dt n! x n x x n f t dt x Proof. (4.8) Apply inequality (4.6) for g f hx n to obtain T ( f x n ) maxa B C where A T ( f x n ) T ( f x n ) B T ( f x n ) f t x t n dt x x x and f t dt x t n dt x x 2 x x x x x f t x t n dt f t dt x x n x x 2 x n C T f x n T f x n B Now, using the fact that (see Lemma 2) (4.9) f x T n f x x [[ f n x x ] f x ] x x x x n n! T ( f x n ) then by the inequality (4.8), we may deduce (4.7).
11 256 anastassiou and dragomir The following theorem also holds. Theorem 8. Let f a b be such that f is convex (concave) on x x. Then we have the inequality f x T n f x x (4.) n +! f n x x x n+ Proof. As f is convex (concave) on x x, we may write that f t f x f n x t x t x x which implies that [ f t f x ] x t n f n x t x x t n t x x Integrating over t on x x and using the representation (.), we may obtain R n f x x f n x n! t x x t n dt x n! f n x t x x t n dt x n! f n x x x n+ B2 n +! f n x x x n+ and the inequality (4.) is proved. 5. TAYLOR-MULTIVARIATE CASE ESTIMATES Let Q be a compact convex subset of k k 2; k x x x k Q. Let f Q be such that all partial derivatives of order n are coordinatewise absolutely continuous functions, n. Also, f C n Q. Each nth order partial derivative is denoted by f α α f/ x α, where α α α k, α i + i k, and α k i α i n. Consider g t fx + t x t. Then g j t [( k i x i ) j ] f x i i (5.) x + t x x k + t k x k for all j 2n. Note that g t is given in a similar way.
12 and Example. the remainder in taylor s formula 257 Let n k 2. Then g t f x + t x x 2 + t 2 x 2 t g t x f x x + t x + 2 x 2 f x 2 x + t x In addition, ( ) f g t x x x + t x ( ) f + 2 x 2 x x + t x 2 x { x f 2 f 2 } + x 2 2 x 2 x 2 x { f x 2 x + x x 2 x 2 f 2 } 2 Thus, g x 2 2 t x 2 f 2 f 2 + x 2 x 2 x 2 x x 2 f 2 + x 2 x 2 + x x 2 x 2 2 f 2 2 Similarly, we obtain the case for n k for g t. Notice that if f α x exists for all α such that α n, then g also exists; is any type of p-norm p. Therefore, we obtain the multivariate Taylor Theorem: Theorem 9. With the above assumptions, we have (5.2) where (5.3) or (5.4) R n f k g R n ( t n! n j g j + R j! n x 2 2 ( tn ) ) g t n g dt n dt θ n ( g θ g ) dθ
13 258 anastassiou and dragomir Asimpler form is (5.5) f k g n j g j + j! R n where (5.6) R n ( t or (5.7) R n n! Notice that g fx. ( tn ) ) g t n dt n dt θ n g θ dθ For a mapping f Q, x Q, Q k compact and convex, we define f x p f y p p (5.8) dy p x Here x x x x is a kth multiple integral. Also, (5.9) f x ess sup f y y x y x where x x are line segments in Q. We first find estimates for R n as in (5.7). Remark. Let be any norm on the functions from Q to. Let fα x max αn f α x. Then g t [( k i x i ) n ] f x i i x + t x x k + t k x k that is, (5.) ( k ) n i x i fα x g i t x l n f α x Here, x may be any kind of p-norm p.
14 the remainder in taylor s formula 259 We may now state the first result in estimating the remainder R n. Theorem. With the above assumptions, we have g n! L if g R n n!pn p + /p Lq if Proof. That is, (5.) We have g Rn n! g g L ; L q, p + p>; q if g L. n! θ n g g Rn θ dθ θ dθ n! g L n! g t L given that g L, the last is implied by all f α L x. Again we see that Rn θ n g θ dθ n! ( ) /p ( θ n p dθ n! ( ) /p θ pn p dθ g n! That is, (5.2) where p q >, L q x. g n!pn p + /p L q Rn g Lq ) /q g θ q dθ Lq /p n!pn p + p + q g L q ; the last is implied by all f α
15 26 anastassiou and dragomir Also it holds that Rn θ n g θ dθ n! ( ) θ n dθ g n! g that is, Rn g (5.3) if g L the last is implied by all f α L x. Remark 2. Observe that [( g k i x i ) n ] f x x i i where x x x k. Similarly, we get g t g L (5.4) R n n! given that g L, which holds when all f α L x. Also, g t g (5.5) Lq R n /p n!pn p + where p q >, p + ; g q L q, when all f α L q x. Furthermore, we find g t g (5.6) R n if g L when all f α L x. Assume now that (for all α such that α n) (5.7) f α x f α y L x y β l <β for all x y Q, L> where l is the l norm in k. Here f α is any partial derivative of order n. Then clearly (for all α such that α n) (5.8) f α x + t x f α x L t β x β l where x l k i i x i.
16 the remainder in taylor s formula 26 Thus, if x, then for at least one i k, we have i x i, i.e., x l. So, without loss of generality assume that x, which implies that x l. Hence by (5.3) ( ( ( t tn k R n i i x i α i α αn! α k! ) ) )dt n L x β l t β n k i i x i α i L x α αn! α k! β l ( t ( tn ) ) tn β dt n dt ( ) n k L i x i x β l n j β + j L x β+n l β + j i Consequently, we may state the following result. Theorem. (5.9) Let f α satisfy (5.7). Then R n L x β+n l n jβ + j dt Another matter to discuss is the following. We have (5.2) where (5.2) R n f k n 2! n 2! n j n j for all Qα n g j + R j! n θ n 2( g n θ n 2 ( θ and ( θ (5.22) R n θ n 2 n 2! Now, if all f α L x, then g θ g u du θ g θ g n ) g udu dθ L, and thus L θ ) dθ ) g u du dθ
17 262 anastassiou and dragomir Let p q > such that p +. Then q θ g u ( θ ) /q ( θ du q du θ /q g where g Also, Lp θ L p, when all f α L p x. θ g g u du g L θ where g L, when all f α L x. Thus we may state the following result. Theorem 2. With the above assumptions, we have (5.23) R n n 2! n 2! n 2! θ n 2 u p du if g L θ g L θdθ all f α L x ; θ n 2 θ /q ) /p if g L p p + q g Lp θdθ pq > all f α L p x θ n 2 if g L g L θdθ all f α L x. Remark 3. (a) Using Lemma 2, we have the representation [( ) ] R n g n g n g ( + g t g s ) 2n! (5.24) ( t n s n ) dt ds Next, assume that g L 2 2. By Theorem 5 we get 2 ( g n g n ) g R n + n [ g (g 2 2 2n n g ) n 2 ] /2 (5.25)
18 the remainder in taylor s formula 263 where ( g 2 g t /2 dt) 2 is nondecreasing (nonincreas- (b) By Theorem 6, assuming that g ing) over, we have (5.26) That is, (5.27) f k n j g j + j! n f k j [ g n g n ( g j + j! g n ] g g n ) (c), we find that (5.28) By Theorem 7, assuming that g n f k j n! ( g j j! g g n is monotonic increasing on g n t t n dt n ) g t dt (5.29) (d) Last, by Theorem 8, for g f k n j convex (concave) on, weget g j j! g n n +! REFERENCES. S. S. Dragomir, New estimation of the remainder in Taylor s formula using Grüss type inequalities and applications, Math. Ineq. Appl. 2, No. 2 (999), G. A. Anastassiou, Ostrowski type inequalities, Proc. Amer. Math. Soc. 23 (995), S. S. Dragomir and J. Pečarić, Refinements of some inequalities for isotonic functionals, Anal. Num. Theor. Approx. (989), 6 65.
h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationTHE HERMITE-HADAMARD TYPE INEQUALITIES FOR OPERATOR CONVEX FUNCTIONS
THE HERMITE-HADAMARD TYPE INEQUALITIES FOR OPERATOR CONVEX FUNCTIONS S.S. DRAGOMIR Abstract. Some Hermite-Hadamard s type inequalities or operator convex unctions o seladjoint operators in Hilbert spaces
More informationSome Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces
Some Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces S.S. Dragomir Abstract. Some new inequalities for commutators that complement and in some instances improve recent results
More informationOscillation Criteria for Certain nth Order Differential Equations with Deviating Arguments
Journal of Mathematical Analysis Applications 6, 601 6 001) doi:10.1006/jmaa.001.7571, available online at http://www.idealibrary.com on Oscillation Criteria for Certain nth Order Differential Equations
More informationIMPROVEMENTS OF COMPOSITION RULE FOR THE CANAVATI FRACTIONAL DERIVATIVES AND APPLICATIONS TO OPIAL-TYPE INEQUALITIES
Dynamic Systems and Applications ( 383-394 IMPROVEMENTS OF COMPOSITION RULE FOR THE CANAVATI FRACTIONAL DERIVATIVES AND APPLICATIONS TO OPIAL-TYPE INEQUALITIES M ANDRIĆ, J PEČARIĆ, AND I PERIĆ Faculty
More informationTWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES. S.S. Dragomir and J.J.
RGMIA Research Report Collection, Vol. 2, No. 1, 1999 http://sci.vu.edu.au/ rgmia TWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES S.S. Dragomir and
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics THE EXTENSION OF MAJORIZATION INEQUALITIES WITHIN THE FRAMEWORK OF RELATIVE CONVEXITY CONSTANTIN P. NICULESCU AND FLORIN POPOVICI University of Craiova
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More information10.1 Sequences. Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = 1.
10.1 Sequences Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = 1 Examples: EX1: Find a formula for the general term a n of the sequence,
More informationSOME INEQUALITIES FOR COMMUTATORS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES. S. S. Dragomir
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Filomat 5: 011), 151 16 DOI: 10.98/FIL110151D SOME INEQUALITIES FOR COMMUTATORS OF BOUNDED LINEAR
More informationFURTHER BOUNDS FOR THE ESTIMATION ERROR VARIANCE OF A CONTINUOUS STREAM WITH STATIONARY VARIOGRAM
FURTHER BOUNDS FOR THE ESTIMATION ERROR VARIANCE OF A CONTINUOUS STREAM WITH STATIONARY VARIOGRAM N. S. BARNETT, S. S. DRAGOMIR, AND I. S. GOMM Abstract. In this paper we establish an upper boun for the
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationSOME INEQUALITIES FOR (α, β)-normal OPERATORS IN HILBERT SPACES. S.S. Dragomir and M.S. Moslehian. 1. Introduction
FACTA UNIVERSITATIS (NIŠ) Ser. Math. Inform. Vol. 23 (2008), pp. 39 47 SOME INEQUALITIES FOR (α, β)-normal OPERATORS IN HILBERT SPACES S.S. Dragomir and M.S. Moslehian Abstract. An operator T acting on
More informationINEQUALITIES FOR THE NORM AND THE NUMERICAL RADIUS OF LINEAR OPERATORS IN HILBERT SPACES
INEQUALITIES FOR THE NORM AND THE NUMERICAL RADIUS OF LINEAR OPERATORS IN HILBERT SPACES S.S. DRAGOMIR Abstract. In this paper various inequalities between the operator norm its numerical radius are provided.
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More informationThe best generalised inverse of the linear operator in normed linear space
Linear Algebra and its Applications 420 (2007) 9 19 www.elsevier.com/locate/laa The best generalised inverse of the linear operator in normed linear space Ping Liu, Yu-wen Wang School of Mathematics and
More informationTaylor and Maclaurin Series
Taylor and Maclaurin Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Background We have seen that some power series converge. When they do, we can think of them as
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics NOTES ON AN INTEGRAL INEQUALITY QUÔ C ANH NGÔ, DU DUC THANG, TRAN TAT DAT, AND DANG ANH TUAN Department of Mathematics, Mechanics and Informatics,
More informationExistence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1
Journal of Mathematical Analysis and Applications 257, 321 331 (2001) doi:10.1006/jmaa.2000.7347, available online at http://www.idealibrary.com on Existence and Multiplicity of Solutions for a Class of
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationSUPPLEMENTARY MATERIAL TO IRONING WITHOUT CONTROL
SUPPLEMENTARY MATERIAL TO IRONING WITHOUT CONTROL JUUSO TOIKKA This document contains omitted proofs and additional results for the manuscript Ironing without Control. Appendix A contains the proofs for
More informationMath 0230 Calculus 2 Lectures
Math 00 Calculus Lectures Chapter 8 Series Numeration of sections corresponds to the text James Stewart, Essential Calculus, Early Transcendentals, Second edition. Section 8. Sequences A sequence is a
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 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 informationInequalities of Jensen Type for h-convex Functions on Linear Spaces
Mathematica Moravica Vol. 9-205, 07 2 Inequalities of Jensen Type for h-convex Functions on Linear Spaces Silvestru Sever Dragomir Abstract. Some inequalities of Jensen type for h-convex functions defined
More informationHopfLax-Type Formula for u t +H(u, Du)=0*
journal of differential equations 126, 4861 (1996) article no. 0043 HopfLax-Type Formula for u t +H(u, Du)=0* E. N. Barron, - R. Jensen, and W. Liu 9 Department of Mathematical Sciences, Loyola University,
More informationOn Fixed Point Results for Matkowski Type of Mappings in G-Metric Spaces
Filomat 29:10 2015, 2301 2309 DOI 10.2298/FIL1510301G Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Fixed Point Results for
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationOn the Class of Functions Starlike with Respect to a Boundary Point
Journal of Mathematical Analysis and Applications 261, 649 664 (2001) doi:10.1006/jmaa.2001.7564, available online at http://www.idealibrary.com on On the Class of Functions Starlike with Respect to a
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More information4. Convex Sets and (Quasi-)Concave Functions
4. Convex Sets and (Quasi-)Concave Functions Daisuke Oyama Mathematics II April 17, 2017 Convex Sets Definition 4.1 A R N is convex if (1 α)x + αx A whenever x, x A and α [0, 1]. A R N is strictly convex
More informationb n x n + b n 1 x n b 1 x + b 0
Math Partial Fractions Stewart 7.4 Integrating basic rational functions. For a function f(x), we have examined several algebraic methods for finding its indefinite integral (antiderivative) F (x) = f(x)
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics A SURVEY ON CAUCHY-BUNYAKOVSKY-SCHWARZ TYPE DISCRETE INEQUALITIES S.S. DRAGOMIR School of Computer Science and Mathematics Victoria University of
More informationComplete monotonicity of a function involving the p-psi function and alternative proofs
Global Journal of Mathematical Analysis, 2 (3) (24) 24-28 c Science Publishing Corporation www.sciencepubco.com/index.php/gjma doi:.449/gjma.v2i3.396 Research Paper Complete monotonicity of a function
More informationSome Approximation Properties of Szasz-Mirakyan-Bernstein Operators
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol 7, No 4, 04, 49-48 ISSN 307-5543 wwwejpamcom Some Approximation Properties of Szasz-Mirakyan-Bernstein Operators Tuncay Tunç, Ersin Şimşek, Department
More informationCommon fixed points of two generalized asymptotically quasi-nonexpansive mappings
An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) Tomul LXIII, 2017, f. 2 Common fixed points of two generalized asymptotically quasi-nonexpansive mappings Safeer Hussain Khan Isa Yildirim Received: 5.VIII.2013
More informationOn the Local Convergence of Regula-falsi-type Method for Generalized Equations
Journal of Advances in Applied Mathematics, Vol., No. 3, July 017 https://dx.doi.org/10.606/jaam.017.300 115 On the Local Convergence of Regula-falsi-type Method for Generalized Equations Farhana Alam
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationLecture 5: The Bellman Equation
Lecture 5: The Bellman Equation Florian Scheuer 1 Plan Prove properties of the Bellman equation (In particular, existence and uniqueness of solution) Use this to prove properties of the solution Think
More informationON THE WEIGHTED OSTROWSKI INEQUALITY
ON THE WEIGHTED OSTROWSKI INEQUALITY N.S. BARNETT AND S.S. DRAGOMIR School of Computer Science nd Mthemtics Victori University, PO Bo 14428 Melbourne City, VIC 8001, Austrli. EMil: {neil.brnett, sever.drgomir}@vu.edu.u
More informationChapter 8: Taylor s theorem and L Hospital s rule
Chapter 8: Taylor s theorem and L Hospital s rule Theorem: [Inverse Mapping Theorem] Suppose that a < b and f : [a, b] R. Given that f (x) > 0 for all x (a, b) then f 1 is differentiable on (f(a), f(b))
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationLOGARITHMIC CONVEXITY OF EXTENDED MEAN VALUES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 6, Pages 1787 1796 S 0002-9939(01)06275-X Article electronically published on December 20, 2001 LOGARITHMIC CONVEXITY OF EXTENDED MEAN
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 informationSome Properties of NSFDEs
Chenggui Yuan (Swansea University) Some Properties of NSFDEs 1 / 41 Some Properties of NSFDEs Chenggui Yuan Swansea University Chenggui Yuan (Swansea University) Some Properties of NSFDEs 2 / 41 Outline
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 4 (200), no., 59 69 Banach Journal of Mathematical Analysis ISSN: 735-8787 (electronic) www.emis.de/journals/bjma/ IMPROVEMENT OF JENSEN STEFFENSEN S INEQUALITY FOR SUPERQUADRATIC
More informationA Generalized Trapezoid Rule of Error Inequalities
Australian Journal of Basic and Applied Sciences, 5(11): 701-706, 2011 ISSN 1991-8178 A Generalized Trapezoid Rule of Error Inequalities Bijan Rouhi Department of Mmathematics, Faculty of Science, Payam-e-Noor
More informationThis is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA
This is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA JADRANKA MIĆIĆ, JOSIP PEČARIĆ AND JURICA PERIĆ3 Abstract. We give
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationVarious proofs of the Cauchy-Schwarz inequality
OCTOGON MATHEMATICAL MAGAZINE Vol 17, No1, April 009, pp 1-9 ISSN 1-5657, ISBN 978-973-8855-5-0, wwwhetfaluro/octogon 1 Various proofs of the Cauchy-Schwarz inequality Hui-Hua Wu and Shanhe Wu 0 ABSTRACT
More informationOn the mean values of an analytic function
ANNALES POLONICI MATHEMATICI LVII.2 (1992) On the mean values of an analytic function by G. S. Srivastava and Sunita Rani (Roorkee) Abstract. Let f(z), z = re iθ, be analytic in the finite disc z < R.
More informationAnalysis/Calculus Review Day 3
Analysis/Calculus Review Day 3 Arvind Saibaba arvindks@stanford.edu Institute of Computational and Mathematical Engineering Stanford University September 15, 2010 Big- Oh and Little- Oh Notation We write
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics ON A HYBRID FAMILY OF SUMMATION INTEGRAL TYPE OPERATORS VIJAY GUPTA AND ESRA ERKUŞ School of Applied Sciences Netaji Subhas Institute of Technology
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationApplied Mathematics Letters
Applied Mathematics Letters 25 (2012) 974 979 Contents lists available at SciVerse ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml On dual vector equilibrium problems
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More informationProblem set 4, Real Analysis I, Spring, 2015.
Problem set 4, Real Analysis I, Spring, 215. (18) Let f be a measurable finite-valued function on [, 1], and suppose f(x) f(y) is integrable on [, 1] [, 1]. Show that f is integrable on [, 1]. [Hint: Show
More informationViscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces
Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces YUAN-HENG WANG Zhejiang Normal University Department of Mathematics Yingbing Road 688, 321004 Jinhua
More informationA TWO PARAMETERS AMBROSETTI PRODI PROBLEM*
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper
More informationThe Approximation of Some Invertible Operators Using Newton s Method in Banach Spaces
Int. Journal of Math. Analysis, Vol. 2, 28, no. 15, 713-72 The Approximation of Some Invertible Operators Using Newton s Method in Banach Spaces Alexandru V. Blaga National College Mihai Eminescu 5 Mihai
More informationA solution to the exercise in the slide p.17
A solution to the exercise in the slide p17 Tomonari SEI Apr 7, 2017 (Ver 2) This document is a supplementary material for the first lecture (Apr 6), available from http://wwwstattu-tokyoacjp/~sei/lechtml
More informationOn some shift invariant integral operators, univariate case
ANNALES POLONICI MATHEMATICI LXI.3 1995) On some shift invariant integral operators, univariate case by George A. Anastassiou Memphis, Tenn.) and Heinz H. Gonska Duisburg) Abstract. In recent papers the
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationSome tight polynomial-exponential lower bounds for an exponential function
Some tight polynomial-exponential lower bounds for an exponential function Christophe Chesneau To cite this version: Christophe Chesneau. Some tight polynomial-exponential lower bounds for an exponential
More informationMath Final Exam Review
Math - Final Exam Review. Find dx x + 6x +. Name: Solution: We complete the square to see if this function has a nice form. Note we have: x + 6x + (x + + dx x + 6x + dx (x + + Note that this looks a lot
More informationCopyright c 2007 Jason Underdown Some rights reserved. quadratic formula. absolute value. properties of absolute values
Copyright & License Formula Copyright c 2007 Jason Underdown Some rights reserved. quadratic formula absolute value properties of absolute values equation of a line in various forms equation of a circle
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationHERMITE HADAMARD TYPE INEQUALITIES FOR FRACTIONAL INTEGRALS
HERMITE HADAMARD TYPE INEQUALITIES FOR FRACTIONAL INTEGRALS MARIAN MATŁOKA Abstract: In the present note, we have established an integral identity some Hermite-Hadamard type integral ineualities for the
More informationResearch Article Bessel and Grüss Type Inequalities in Inner Product Modules over Banach -Algebras
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 011, Article ID 5693, 16 pages doi:10.1155/011/5693 Research Article Bessel and Grüss Type Inequalities in Inner Product Modules
More informationA SUMMATION FORMULA FOR SEQUENCES INVOLVING FLOOR AND CEILING FUNCTIONS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 5, 006 A SUMMATION FORMULA FOR SEQUENCES INVOLVING FLOOR AND CEILING FUNCTIONS M.A. NYBLOM ABSTRACT. A closed form expression for the Nth partial
More informationON FOURNIER GAGLIARDO MIXED NORM SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 36, 2, 493 58 ON FOURNIER GAGLIARDO MIXED NORM SPACES Robert Algervi and Vitor I. Kolyada Karlstad University, Department of Mathematics Universitetsgatan,
More informationMath221: HW# 7 solutions
Math22: HW# 7 solutions Andy Royston November 7, 25.3.3 let x = e u. Then ln x = u, x2 = e 2u, and dx = e 2u du. Furthermore, when x =, u, and when x =, u =. Hence x 2 ln x) 3 dx = e 2u u 3 e u du) = e
More informationarxiv:math/ v1 [math.st] 19 Jan 2005
ON A DIFFERENCE OF JENSEN INEQUALITY AND ITS APPLICATIONS TO MEAN DIVERGENCE MEASURES INDER JEET TANEJA arxiv:math/05030v [math.st] 9 Jan 005 Let Abstract. In this paper we have considered a difference
More informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationFIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi
More informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationMath 142, Final Exam. 12/7/10.
Math 4, Final Exam. /7/0. No notes, calculator, or text. There are 00 points total. Partial credit may be given. Write your full name in the upper right corner of page. Number the pages in the upper right
More informationA Proof of Markov s Theorem for Polynomials on Banach spaces
A Proof of Markov s Theorem for Polynomials on Banach spaces Lawrence A. Harris Department of Mathematics, University of Kentucky Lexington, Kentucky 40506-007 larry@ms.uky.edu Dedicated to my teachers
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationMATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.
MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula. Points of local extremum Let f : E R be a function defined on a set E R. Definition. We say that f attains a local maximum
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics ON SIMULTANEOUS APPROXIMATION FOR CERTAIN BASKAKOV DURRMEYER TYPE OPERATORS VIJAY GUPTA, MUHAMMAD ASLAM NOOR AND MAN SINGH BENIWAL School of Applied
More informationEXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS
Electronic Journal of Differential Equations, Vol. 217 (217, No. 262, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE
More informationSome New Inequalities Involving Generalized Erdélyi-Kober Fractional q-integral Operator
Applied Mathematical Sciences, Vol. 9, 5, no. 7, 3577-359 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.988/ams.5.539 Some New Inequalities Involving Generalized Erdélyi-Kober Fractional q-integral Operator
More informationλ(x + 1)f g (x) > θ 0
Stat 8111 Final Exam December 16 Eleven students took the exam, the scores were 92, 78, 4 in the 5 s, 1 in the 4 s, 1 in the 3 s and 3 in the 2 s. 1. i) Let X 1, X 2,..., X n be iid each Bernoulli(θ) where
More informationSEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES
SEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES S.S. DRAGOMIR Abstract. The main aim of this paper is to establish some connections that exist between the numerical
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationAPPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 35, 200, 405 420 APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( ) Fumi-Yuki Maeda, Yoshihiro
More informationON THE CONVERGENCE OF THE ISHIKAWA ITERATION IN THE CLASS OF QUASI CONTRACTIVE OPERATORS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXIII, 1(2004), pp. 119 126 119 ON THE CONVERGENCE OF THE ISHIKAWA ITERATION IN THE CLASS OF QUASI CONTRACTIVE OPERATORS V. BERINDE Abstract. A convergence theorem of
More informationStrong convergence to a common fixed point. of nonexpansive mappings semigroups
Theoretical Mathematics & Applications, vol.3, no., 23, 35-45 ISSN: 792-9687 (print), 792-979 (online) Scienpress Ltd, 23 Strong convergence to a common fixed point of nonexpansive mappings semigroups
More information