MEAN VALUE THEOREMS FOR SOME LINEAR INTEGRAL OPERATORS

Similar documents
On generalized Flett s mean value theorem 1

MEAN VALUE THEOREM FOR HOLOMORPHIC FUNCTIONS

UNIVERSITY OF CRAIOVA

STABILITY OF n-th ORDER FLETT S POINTS AND LAGRANGE S POINTS

JUNXIA MENG. 2. Preliminaries. 1/k. x = max x(t), t [0,T ] x (t), x k = x(t) dt) k

FUNCTIONAL COMPRESSION-EXPANSION FIXED POINT THEOREM

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

EXISTENCE AND APPROXIMATION OF SOLUTIONS OF SECOND ORDER NONLINEAR NEUMANN PROBLEMS

Solutions Final Exam May. 14, 2014

LIFE SPAN OF BLOW-UP SOLUTIONS FOR HIGHER-ORDER SEMILINEAR PARABOLIC EQUATIONS

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SECOND-ORDER NONLINEAR HYPERBOLIC SYSTEM

EXISTENCE OF POSITIVE SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS

ULAM-HYERS-RASSIAS STABILITY OF SEMILINEAR DIFFERENTIAL EQUATIONS WITH IMPULSES

Lesson 59 Rolle s Theorem and the Mean Value Theorem

Chapter 8: Taylor s theorem and L Hospital s rule

WORKSHEET FOR THE PUTNAM COMPETITION -REAL ANALYSIS- lim

ANALYSIS AND APPLICATION OF DIFFUSION EQUATIONS INVOLVING A NEW FRACTIONAL DERIVATIVE WITHOUT SINGULAR KERNEL

Positive Solutions of a Third-Order Three-Point Boundary-Value Problem

AN EXTENSION OF THE LAX-MILGRAM THEOREM AND ITS APPLICATION TO FRACTIONAL DIFFERENTIAL EQUATIONS

2019 Spring MATH2060A Mathematical Analysis II 1

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

SOLUTION OF AN INITIAL-VALUE PROBLEM FOR PARABOLIC EQUATIONS VIA MONOTONE OPERATOR METHODS

NON-MONOTONICITY HEIGHT OF PM FUNCTIONS ON INTERVAL. 1. Introduction

MULTIPLE POSITIVE SOLUTIONS FOR KIRCHHOFF PROBLEMS WITH SIGN-CHANGING POTENTIAL

EXISTENCE OF POSITIVE SOLUTIONS OF A NONLINEAR SECOND-ORDER BOUNDARY-VALUE PROBLEM WITH INTEGRAL BOUNDARY CONDITIONS

WORKSHEET FOR THE PUTNAM COMPETITION -REAL ANALYSIS- lim

Calculus The Mean Value Theorem October 22, 2018

DISSIPATIVITY OF NEURAL NETWORKS WITH CONTINUOUSLY DISTRIBUTED DELAYS

NON-EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION SYSTEM WITH NONLOCAL SOURCES

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

COURSE Numerical integration of functions

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

X. Numerical Methods

UNIQUENESS OF SELF-SIMILAR VERY SINGULAR SOLUTION FOR NON-NEWTONIAN POLYTROPIC FILTRATION EQUATIONS WITH GRADIENT ABSORPTION

ON A FUNCTIONAL EQUATION ASSOCIATED WITH THE TRAPEZOIDAL RULE - II

CONSEQUENCES OF TALENTI S INEQUALITY BECOMING EQUALITY. 1. Introduction

Section 4.2: The Mean Value Theorem

CONDITIONS FOR HAVING A DIFFEOMORPHISM BETWEEN TWO BANACH SPACES

Section 3.7. Rolle s Theorem and the Mean Value Theorem

Upper and lower solutions method and a fractional differential equation boundary value problem.

BLOW-UP OF SOLUTIONS FOR A NONLINEAR WAVE EQUATION WITH NONNEGATIVE INITIAL ENERGY

Journal of Inequalities in Pure and Applied Mathematics

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE

ASYMPTOTIC THEORY FOR WEAKLY NON-LINEAR WAVE EQUATIONS IN SEMI-INFINITE DOMAINS

REAL ANALYSIS II: PROBLEM SET 2

A PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

arxiv: v1 [math.ho] 12 Jan 2016

AN EXISTENCE-UNIQUENESS THEOREM FOR A CLASS OF BOUNDARY VALUE PROBLEMS

OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS

Sequences and Series of Functions

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR FOURTH-ORDER BOUNDARY-VALUE PROBLEMS IN BANACH SPACES

TRIPLE POSITIVE SOLUTIONS FOR A CLASS OF TWO-POINT BOUNDARY-VALUE PROBLEMS

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

Mean Value Theorem. MATH 161 Calculus I. J. Robert Buchanan. Summer Department of Mathematics

BOUNDARY-VALUE PROBLEMS FOR NONLINEAR THIRD-ORDER q-difference EQUATIONS

Math 117: Honours Calculus I Fall, 2002 List of Theorems. a n k b k. k. Theorem 2.1 (Convergent Bounded) A convergent sequence is bounded.

Mean Value Theorem. MATH 161 Calculus I. J. Robert Buchanan. Summer Department of Mathematics

On the spectrum of a nontypical eigenvalue problem

INITIAL-VALUE PROBLEMS FOR FIRST-ORDER DIFFERENTIAL RECURRENCE EQUATIONS WITH AUTO-CONVOLUTION

FAST AND HETEROCLINIC SOLUTIONS FOR A SECOND ORDER ODE

ON CONTINUITY OF MEASURABLE COCYCLES

MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.

UNIFORM DECAY OF SOLUTIONS FOR COUPLED VISCOELASTIC WAVE EQUATIONS

NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

SOLVABILITY OF MULTIPOINT DIFFERENTIAL OPERATORS OF FIRST ORDER

EXISTENCE AND UNIQUENESS OF POSITIVE SOLUTIONS TO HIGHER-ORDER NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITIONS

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM

GLOBAL STABILITY OF SIR MODELS WITH NONLINEAR INCIDENCE AND DISCONTINUOUS TREATMENT

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

LYAPUNOV STABILITY OF CLOSED SETS IN IMPULSIVE SEMIDYNAMICAL SYSTEMS

BEST PROXIMITY POINT RESULTS VIA SIMULATION FUNCTIONS IN METRIC-LIKE SPACES

Banach Journal of Mathematical Analysis ISSN: (electronic)

Nonlocal Cauchy problems for first-order multivalued differential equations

MULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS

ELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES

MULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN

B553 Lecture 1: Calculus Review

ON THE OSCILLATION OF THE SOLUTIONS TO LINEAR DIFFERENCE EQUATIONS WITH VARIABLE DELAY

EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES

NONCLASSICAL SHOCK WAVES OF CONSERVATION LAWS: FLUX FUNCTION HAVING TWO INFLECTION POINTS

UNIQUENESS OF SOLUTIONS TO MATRIX EQUATIONS ON TIME SCALES

Mean Value Theorems Lesson: Mean Value Theorems Paper : Analysis-II Lesson Developer :

GENERATORS WITH INTERIOR DEGENERACY ON SPACES OF L 2 TYPE

6.2 Important Theorems

THE NEARLY ADDITIVE MAPS

CHAOTIC BEHAVIOR IN A FORECAST MODEL

GENERIC SOLVABILITY FOR THE 3-D NAVIER-STOKES EQUATIONS WITH NONREGULAR FORCE

MODELS OF LEARNING AND THE POLAR DECOMPOSITION OF BOUNDED LINEAR OPERATORS

Lecture 4: Fourier Transforms.

Infinitely many maximal primitive positive clones in a diagonalizable algebra

A fixed point theorem for weakly Zamfirescu mappings

and monotonicity property of these means is proved. The related mean value theorems of Cauchy type are also given.

Yunhi Cho and Young-One Kim

Transcription:

Electronic Journal of Differential Equations, Vol. 2929, No. 117, pp. 1 15. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MEAN VALUE THEOREMS FOR SOME LINEAR INTEGRAL OPERATORS CEZAR LUPU, TUDOREL LUPU Abstract. In this article we study some mean value results involving linear integral operators on the space of continuous real-valued functions defined on the compact interval [, 1]. The existence of such points will rely on some classical theorems in real analysis like Rolle, Flett and others. Our approach is rather elementary and does not use advanced techniques from functional analysis or nonlinear analysis. 1. Introduction and Preliminaries Mean value theorems play a key role in analysis. The simplest form of the mean value theorem is the next basic result due to Rolle, namely Theorem 1.1. Let f : [a, b] R be a continuous function on [a, b], differentiable on a, b and fa = fb. Then there exists a point c a, b such that f c =. Rolle s theorem has also a geometric interpretation which states that if fa = fb then there exists a point in the interval a, b such that the tangent line to the graph of f is parallel to the x-axis. There is another geometric interpretation as pointed out in [8], namely the polar form of Rolle s theorem. As been noticed in [8], if we take into account the geometric interpretation of Rolle s theorem, one expects that it is possible to relate the slope of the chord connecting a, fa and b, fb with the value of the derivative at some interior point. There are also other mean value theorems like Lagrange, Cauchy, Darboux which are well-known and can be found in any undergraduate Real Analysis course. In 1958, Flett gave a variation of Lagrange s mean value theorem with a Rolle type condition, namely Theorem 1.2 [8, 5]. Let f : [a, b] R be a continuous function on [a, b], differentiable on a, b and f a = f b. Then there exists a point c a, b such that f fc fa c =. c a A detailed proof can be found in [5] and some applications are provided too. The same proof appears also in [8]. A slightly different proof which uses Rolle s theorem instead of Fermat s, can be found in [3] and [11]. There is a nice geometric 2 Mathematics Subject Classification. 26A24, 26A33, 26E2. Key words and phrases. Integral operators; mean value theorem. c 29 Texas State University - San Marcos. Submitted June 18, 29. Published September 24, 29. 1

2 C. LUPU, T. LUPU EJDE-29/117 interpretation for Theorem 1.2, namely: If the curve y = fx has a tangent at each point in [a, b], and if the tangents at a, fa and b, fb are parallel, then there is an intermediate point c a, b such that the tangent at c, fc passes through the point a, fa. Later, Riedel and Sahoo [11] removed the boundary assumption on the derivatives and prove the following Theorem 1.3 [11]. Let f : [a, b] R be a differentiable function on [a, b]. Then there exists a point c a, b such that fc fa = c af c 1 2 f b f a c a 2. b a The proof relies on Theorem 1.2 applied to the auxiliary function α : [a, b] R defined by αx = fx 1 f b f a x a 2. 2 b a We leave the details to the reader. We also point out that this theorem is used to extend Flett s mean value theorem for holomorphic functions. In this sense, one can consult [9]. On the other hand, there exists another result due to Flett as it is pointed out in [8] for the second derivative of a function. Theorem 1.4. If f : [a, b] R is a twice differentiable function such that f a = f b then there exists c a, b such that fc fa = c af c c a2 f c. 2 There exists another version of Flett s theorem for the antiderivative: Theorem 1.5. Let f : [, 1] R be a continuous function such that fa = fb. Then there exists c a, b such that c a fxdx = c afc. Similar to Theorem 1.1 there exists another mean value theorem due to Penner problem 987 from the Mathematics Magazine, [8] that we shall apply in the next section. Theorem 1.6. Let f : [a, b] R be a differentiable function with f be continuous on [a, b] such that there exists λ a, b with f λ =. Then there exists c a, b such that f fc fa c =. b a The proof of the above theorem can be found in [8, page 233]. The version of Theorem 1.6 for antiderivative is the following theorem. Theorem 1.7. Let f : [a, b] R be a continuous function such that there is λ a, b such that fλ =. Then there is c a, b such that c a fxdx = b afc. In 1966, Trahan [15] extended Theorem 1.2 by removing the condition f a = f b to the following theorem.

EJDE-29/117 MEAN VALUE THEOREMS 3 Theorem 1.8. Let f : [a, b] R be a continuous function on [a, b], differentiable on a, b such that f a mf b m >, where m = fb fa b a. Then there exists a point c a, b such that f c = fc fa. c a A proof for the above theorem can be found in [11]. At the 35-th International Symposium on Functional Equations held in Graz in 1997, Zsolt Pales raised a question regarding a generalization of Flett s theorem. An answer to his question was given by Pawlikowska in [6], namely: Theorem 1.9. If f possesses a derivative of order n on the interval [a, b], then there exists a point c a, b such that n 1 k 1 fc fa = f k cc a k + 1n k! n + 1! f n b f n a c a n+1. b a k=1 Other generalizations and several new mean value theorems in terms of divided differences are given in [4]. For further reading concerning mean value theorems we recommend [11]. 2. Main results In this section, we shall prove mean value value problems for some function mapping. Our main results are for continuous, real-valued functions defined on the interval the [, 1]. We also mention that the results can be easily extended to the interval [a, b]. Before proceeding into the main results of the paper, we state and prove a lemmata. We give more proofs to some lemmas, which we consider very instructive. We start with the first two lemmas involving the integrant factor e t. Lemma 2.1. Let h 1 : [, 1] R be a continuous function with h 1x =. Then there exists c 1, 1 such that h 1 c 1 = c1 h 1 xdx. First proof. We assume by the way of contradiction, that h 1 t > h 1 xdx, t [, 1]. Now, we consider the auxiliary function ζ 1 : [, 1] R, given by A simple calculation gives ζ 1 t = e t h 1 xdx. ζ 1t = e t h 1 t h 1 tdt >, and from our assumption we deduce that ζ is strictly increasing. This means that ζ 1 < ζ 1 1 < 1 1 e h 1xdx =, a contradiction.

4 C. LUPU, T. LUPU EJDE-29/117 Second proof. Like in the previous proof, let us consider the differentiable function γ 1 = ζ 1 : [, 1] R, defined by A simple calculation yelds γ 1 t = e t h 1 xdx. γ 1t = e t h 1 t h 1 tdt. More than that we have γ 1 = γ 1 1 =, so by applying Theorem 1.1, there exists c 1, 1 such that γ 1c 1 =, i.e. h 1 c 1 = c1 h 1 xdx. Third proof. We shall use Theorem 1.7. Indeed from the hypothesis h 1xdx =, by applying the first mean value theorem for integrals we obtain the existence of λ, 1 such that = h 1 xdx = h 1 λ. Now, by Theorem 1.7 there exists c 1, 1 such that h 1 c 1 = c1 h 1 xdx. Similarly with Lemma 2.1, we prove the following result. Lemma 2.2. Let h 2 : [, 1] R be a continuous function with h 2 1 =. Then there exists c 2, 1 such that h 2 c 2 = c2 h 2 xdx. First proof. Let us consider the following auxiliary function ζ 2 : [, 1] R, given by ζ 2 t = e t h 2 xdx. Suppose by the way of contradiction that h 2 t h 2xdx, t [, 1]. This means that, without loss of generality, we can assume that h 2 t > h 2 xdx, t [, 1]. 2.1 A simple calculation of derivatives of the function ζ 2 combined with the inequality above, gives us the following inequality ζ 2t = e t h 2 t h 2 tdt >, so our function ζ 2 is strictly increasing for every t, 1. This means that ζ 2 1 > ζ 2. It follows immediately that 1 1 e h 2xdx >. On the other hand, taking into account our assumption, namely 2.1, we deduce in particular, that h 2 1 > h 2xdx > which contradicts the hypothesis h 2 1 =.

EJDE-29/117 MEAN VALUE THEOREMS 5 Second proof. Let us consider the differentiable function γ 2 : [, 1] R, defined by γ 2 t = te t h 2 xdx. A simple calculation yields γ 2t = e t h 2 xdx t h 2 t h 2 xdx. Taking into account that h 2 1 =, it is clearly that γ 2 = γ 21, so by Flett s mean value theorem Theorem 1.2 see [3], we deduce the existence of c 2, 1 such that γ 2c 2 = γ 2c 2 γ 2 c 2 c 2 c2 c2 c 2 e c2 h 2 xdx c 2 h 2 c 2 h 2 xdx = c 2 e c2 h 2 xdx, or h 2 c 2 = c2 h 2 xdx. Following the same idea from lemma 2.1 we state and prove the following result. Lemma 2.3. Let h 3 : [, 1] R be a differentiable function with continuous derivative such that h 3xdx =. Then there exists c 3, 1 such that h 3 c 3 = h 3c 3 c3 h 3 xdx. Proof. As in the proof of Lemma 2.1, let us consider the differentiable function γ 3 = ζ 3 : [, 1] R, defined by A simple calculation yields γ 1 t = e h3t h 3 xdx. γ 3t = e h3t h 3 t h 3t h 3 tdt. More than that we have γ 3 = γ 3 1 =, so by applying Theorem 1.1, there exists c 3, 1 such that γ 3c 3 =, i.e. h 3 c 3 = h 3c 3 c3 h 3 xdx. In what will follow we prove other technical lemmas without the integrant factor e t. Lemma 2.4. Let h 4 : [, 1] R be a continuous function with h 4xdx =. Then there exists c 4, 1 such that c4 xh 4 xdx =.

6 C. LUPU, T. LUPU EJDE-29/117 First proof. We assume by contradiction that xh 4xdx, for all t, 1. Without loss of generality, let xh 4xdx >, for all t, 1 and let H 4 t = h 4xdx. Integrating by parts, we obtain < xh 4 xdx = th 4 t H 4 xdx, t, 1. Now, by passing to the limit when t 1, and taking into account that H 4 1 =, we deduce that H 4 xdx. 2.2 Now, we consider the differentiable function, µ : [, 1] R defined by { 1 µt = t H 4xdx, if t, if t =. It is easy to see µ t = th 4 t H 4xdx /t 2 >, so µ is increasing on the interval, 1, so it is increasing on the interval [, 1] by continuity argument. Because µ =, it follows that H 4 xdx >, which is in contradiction to 2.2. So, there exists c 4, 1 such that c4 xh 4 xdx =. Second proof. We consider the differentiable function H : [, 1] R, defined by Ht = t h 4 xdx xh 4 xdx with H t = h 4xdx. It is clear that H = H 1 = h 4xdx =. Applying Flett s mean value theorem see [3], there exists c 4, 1 such that or H c 4 = Hc 4 H c 4 c4 c4 c 4 h 4 xdx = c 4 c4 h 4 xdx xh 4 xdx c 4 xh 4xdx =. Third proof. Let H 4 t = xh 4xdx which is continuous on [, 1]. By L Hopital rule we derive that lim t + H4 t/t =. Integrating by parts, we obtain h 4 xdx = xh 4 x dx = x H 4 x x 1 + H 4 x 1 x 2 dx = H 4 1 + H 4 xx 2 dx. Now, since h 4xdx =, by the equality above H 4 x cannot be positive or negative for all x, 1. So, by the intermediate value property there exists c 4, 1 such that H 4 c 4 = and thus the conclusion follows.

EJDE-29/117 MEAN VALUE THEOREMS 7 Remark 2.5. Using the same idea as in Lemmas 2.1 and 2.2, we define the auxiliary function like in the first solution, we define the auxiliary function γ 4 = ζ 4 : [, 1] R, given by γ 4 t = e t xh 4 xdx, whose derivative is γ 4t = e t th 4 t xh 4 xdx. Since γ 4 = γ 4 c 3 by Lemma 2.4, by applying Rolle s theorem on the interval [, c 4 ], there exists c 4, c 4 such that γ c 4 =, i.e. c 4 h 4 c 4 = c4 xh 4 xdx. Remark 2.6. As we have seen in the first remark, if we consider the differentiable function γ 4 : [, 1] R defined by whose derivative is γ 4 t = e h4t xh 4 xdx, γ 4 t = e h4t th 4 t h 4t xh 4 xdx. Now, it is clear that γ 4 = γ 4 c 4 = by Lemma 2.4. So, by applying Rolle s theorem there exists c 4, 1 such that γ 4 c 4 = c 4 h 4 c 4 = h 4 c 4 c4 xh 4 xdx. In what follows we prove two lemmas starting from the same hypothesis. Lemma 2.7. Let h 5 : [, 1] R be a continuous function such that h 5 xdx = xh 5 xdx. Then, there exists c 5, 1 such that c 5 h 5xdx =. First proof. Consider the differentiable function I : [, 1] R defined by We have It = t I t = h 5 xdx h 5 xdx. xh 5 xdx. Moreover I = I1, so by Rolle s theorem, there exists c 5, 1 such that I c 5 = c5 Second proof. Let H 5 : [, 1] R defined by H 5 t = h 5 xdx =. h 5 xdx.

8 C. LUPU, T. LUPU EJDE-29/117 Integrating by part and using the hypothesis, we have H 5 1 = h 5 xdx = xh 5 xdx = xh 5xdx = H 5 1 H 5 xdx, and we get H 5xdx =. By the first mean value theorem for integrals we have the existence of c 5, 1 such that = H 5 xdx = H 5 c 5 c 5 h 5xdx =. Third proof. Let us rewrite the hypothesis in the following x 1h 5 xdx =. The answer is given by the following mean value theorem for integrals see [1], page 193 Proposition. If Ω 1, Ω 2 : [a, b] R are two integrable functions and Ω 2 is monotone, then there exists c 5 a, b such that b a Ω 1 xω 2 x = Ω 2 a c5 a Ω 1 x + Ω 1 b b c 5 Ω 2 xdx. Now, we consider a =, b = 1 and Ω 1 x = h 5 x and Ω 2 x = x 1 which is increasing. By the mean value theorem in Lemma 2.7, there is c 5, 1 such that equivalent to c 5 = x 1fxdx = c5 fxdx fxdx =. Lemma 2.8. Let h 6 : [, 1] R be a continuous function such that h 6 xdx = xh 6 xdx. Then, there exists c 6, 1 such that c 6 xh 6xdx =. First proof. Let us consider the function ϕ : [, 1] R given by H 6 t = h 6 sds, where { 1 s h 6 s = s 2 xh 6xdx, if s, 1] h 6 /2, if s = Clearly the function h 6 is continuous and H 6 =. Next, we compute 1 s H 6 1 = lim xh 6 xdx ds ɛ,ɛ> ɛ s 1 s = lim xh 6 xdx 1 1 ɛ + lim s ɛ s sh 6s ds = ɛ,ɛ> xh 6 xdx + h 6 xdx =. ɛ

EJDE-29/117 MEAN VALUE THEOREMS 9 By Rolle s theorem there exists c 6, 1 such that H 6c 6 = ; i.e. c 6 xh 6xdx =. Second proof. Consider the differentiable function H 6 ; [, 1] R defined by H 6 t = t h 6 xdx xh 6 xdx. It is obvious that H 6 t = h 6xdx. By Lemma 2.4 there exists c 6, 1 such that H 6 c 6 = c 5 h 6xdx =. On the other hand, since H 6 = H 6 c 5 =, by Theorem 1.2 there exists c 6, c 5 such that H 6 c 6 = H 6 c 6 H 5 c 6 c 6 xh 6xdx =. Combining Lemmas 2.4 and 2.8, one can easily derive the following result. Theorem 2.9. Assume h 7 : [, 1] R is continuous such that h 7 xdx = Then there are c 7, c 7, 1 such that h 7 c 7 = c 7 h 7 c 7 = c7 c7 xh 7 xdx. h 7 xdx, xh 7 xdx. Proof. Let us define the auxiliary functions ζ 7, ζ 7 : [, 1] R given by It is clear that ζ 7 t = e t h 7 xdx, ζ 7 t = e t xh 7 xdx. ζ 7t = e t h 7 t ζ 7 t = e t th 7 t h 7 xdx, xh 7 xdx. By Lemmas 2.7 and 2.8, we have ζ 7 = ζ 7 c 4 and ζ 7 = ζ 7 c 5. By Rolle s theorem applied on the intervals, c 4 and, c 5 to ζ 7 and ζ 7 we obtain the conclusion. Following the proof of Theorem 2.9, instead of e t in the construction of the auxiliary functions we can put e ft where f is differentiable with continuous derivative. This gives the following result. Theorem 2.1. Assume h 8 : [, 1] R is a differentiable function with continuous derivative such that h 8 xdx = xh 8 xdx.

1 C. LUPU, T. LUPU EJDE-29/117 Then there are c 8, c 8, 1 such that h 8 c 8 = h 8c 8 c 8 h 8 c 8 = h 8 c 8 c8 c8 h 8 xdx, xh 8 xdx. Proof. Let us define the auxiliary functions ζ 8, ζ 8 : [, 1] R given by It is clear that ζ 8 t = e h8t h 8 xdx, ζ 8 t = e h8t xh 8 xdx. ζ 8t = e h8t h 8 t h 8t ζ 8 t = e h8t th 8 t h 8t h 8 xdx, xh 8 xdx. By Lemmas 2.7 and 2.8, we have ζ 8 = ζ 8 c 4 and ζ 8 = ζ 8 c 5. By Rolle s theorem applied on the intervals, c 4 and, c 5 to ζ 8 and ζ 8 we obtain the conclusion. Now, we are ready to state and prove the first main result of the paper. Theorem 2.11. For two continuous functions ϕ, ψ : [, 1] R, we define the operators T, S C[, 1], as follows: T ϕt = ϕt Sψt = tψt ϕxdx, xψxdx. Let f, g : [, 1] R be two continuous functions. Then there exist c 1, c 2, c 4, 1 such that Proof. We put fxdx T gc 1 = T fc 2 = Sfc 2, fxdx Sg c 4 = h 1 t = ft gxdx gt gxdx T fc 1, gxdx Sf c 4. fxdx, where f, g : [, 1] R are continuous functions and if we apply lemma 2.1, we get fc 1 = c1 gxdx gc 1 fxdx gxdx fxdx c1 gxdx fxdx,

EJDE-29/117 MEAN VALUE THEOREMS 11 and equivalent to fxdx gc 1 c1 gxdx = fxdx T gc 1 = c1 gxdx fc 1 fxdx gxdx T fc 1. For h 2 t = t 1ft, with f : [, 1] R is a continuous function, we apply lemma 2.2 and we obtain c 2 1fc 2 = c2 t 1fxdx c 2 fc 2 c2 c2 xfxdx = fc 2 fxdx; that is T fc 2 = Sfc 2. For the last assertion we do the same thing. We put h 3 t = ft gxdx gt fxdx, where f, g : [, 1] R are continuous functions. So, applying the remark 2.5 from Lemma 2.4, we conclude that c 3 f c 3 = c3 or fxdx c 3 g c 3 gxdx c 3 g c 3 xfxdx c3 gxdx xgxdx = fxdx Sg c 3 = c3 fxdx xgxdx fxdx c3 gxdx c 3 f c 3 xfxdx gxdx Sf c 3. In connection with the operators T and S defined in Theorem 2.9, we shall also prove the following result. Theorem 2.12. Let T, S C[, 1] be the operators defined as in Theorem 2.9; namely for two continuous functions ϕ, ψ : [, 1] R, define T ϕt = ϕt Sψt = tψt ϕxdx, xψxdx.

12 C. LUPU, T. LUPU EJDE-29/117 Let f, g : [, 1] R be two continuous functions. Then there exist c 7, c 7, 1 such that Proof. We put 1 xfxdx T gc 7 = 1 xfxdx Sg c 7 = h 7 t = ft 1 xgxdx gt 1 xgxdx T fc 7, 1 xgxdx Sf c 7. 1 xfxdx, where f, g : [, 1] R are continuous functions and if we apply Theorem 2.9, we get fc 7 = c7 1 xgxdx gc 7 fx 1 xfxdx gc 7 or 1 xgxdx c7 gxdx = 1 xfxdx T gc 7 = 1 xfxdx c7 gxdx 1 xfxdx c7 1 xgxdx fc 7 fxdx 1 xgxdx T fc 7. For the second part, let us define the function h 7 : [, 1] R given by h 7 t = tft 1 xgxdx tgt Again, by Theorem 2.9 there exists c 7, 1 such that c 7 f c 7 = c7 xfx or 1 xgxdx c 7 g c 7 = 1 xgxdx c7 1 xfxdx xgxdx c7 1 xfxdx c 7 g c 7 1 xgxdx c 7 f c 7 1 xfxdx Sg c 7 = c7 1 xfxdx. xgxdx 1 xfxdx xfxdx 1 xgxdx Sf c 7. Next, we prove two theorems of the same type for other two operators. Mainly, we concentrate on the following two theorems.

EJDE-29/117 MEAN VALUE THEOREMS 13 Theorem 2.13. For two differentiable functions ξ, ρ : [, 1] R, with continuous derivatives, we define the operators R, V C 1 [, 1]: Rξt = ξt ξ t V ρt = tρt ρ t ξxdx, xρxdx. Let f, g : [, 1] R be two differentiable functions with their derivatives being continuous. Then there exist c 3, c 4, 1 such that fxdx Rgc 3 = fxdx V g c 4 = gxdx Rfc 3, gxdx V f c 4. Proof. We put h 3 t = ft gxdx gt fxdx, where f, g : [, 1] R are continuous functions and if we apply Lemma 2.3, we get fc 3 = f c 3 gxdx gc 3 c3 fxdx fxdx gc 3 g c 3 or c3 fxdx gxdx g c 3 gxdx = fxdx Rgc 3 = c3 gxdx fxdx, c3 gxdx fc 3 f c 3 fxdx gxdx Rfc 3. Now, for the second part we consider h 4 t = ft gxdx gt fxdx and we apply Remark 2.6 from Lemma 2.4. In this case, there exists c 4, 1 such that c 4 f c 4 = f c 4 c4 gxdx c 4 g c 4 fxdx fxdx gc 3 g c 4 or c4 fxdx gxdx g c 4 gxdx = fxdx V g c 4 = c4 gxdx fxdx, c4 gxdx f c 4 f c 4 fxdx gxdx V f c 4. Finally, based on the some ideas we used so far, we prove the following theorem.

14 C. LUPU, T. LUPU EJDE-29/117 Theorem 2.14. For two differentiable functions, ξ, ρ : [, 1] R, with continuous derivatives we define the operators R, V C 1 [, 1]: Rξt = ξt ξ t V ρt = tρt ρ t ξxdx, xρxdx. Let f, g : [, 1] R be two differentiable functions with continuous derivatives. Then there exist c 8, c 8, 1 such that 1 xfxdx Rgc 8 = 1 xfxdx V g c 8 = 1 xgxdx Rfc 8, 1 xgxdx V f c 8. Proof. We put h 8 t = ft 1 xgxdx gt 1 xfxdx, where f, g : [, 1] R are continuous functions and if we apply the first part of Theorem 2.1, there exists c 8, 1 such that fc 8 = f c 8 1 xgxdx gc 8 c8 fxdx and equivalent to = 1 xfxdx 1 xgxdx g c 8 c8 c8 1 xfxdx gc 8 g c 8 1 xgxdx fc 8 f c 8 1 xfxdx T gc 8 = For the second part, again we consider the function h 8 t = ft 1 xgxdx gt c8 gxdx gxdx fxdx 1 xgxdx T fc 8. 1 xfxdx, 1 xfxdx, where f, g : [, 1] R are continuous functions. So, applying the second part of the Theorem 2.1, we conclude that there exists c 8, 1 such that c 8 f c 8 = f c 8 1 xgxdx c 8 g c 8 c8 xfxdx 1 xfxdx 1 xgxdx g c 8 c8 xgxdx 1 xfxdx

EJDE-29/117 MEAN VALUE THEOREMS 15 1 xfxdx Therefore, = c8 c 8 g c 8 g c 8 1 xgxdx c 8 f c 8 f c 8 1 xfxdx Sg c 8 = c8 xgxdx xfxdx. 1 xgxdx Sf c 8. Acknowledgements. We would like to thank our friend Alin Gălăţan for his useful suggestions and comments during the preparation of this paper. References [1] R. G. Bartle; A Modern Theory of Integration, American Mathematical Society Press, Graduate Studies in Mathematics, vol. 32, 21. [2] I. Jedrzejewska, B. Szkopinska; On generalizations of Flett s theorem, Real Anal. Exchange, 324, 75 86. [3] T. M. Flett; A mean value problem, Math. Gazette 421958, 38 39. [4] U. Abel, M. Ivan, and T. Riedel; The mean value theorem of Flett and divided differences, Jour. Math. Anal. Appl., 29524, 1-9. [5] T. Lupu; Probleme de Analiză Matematică: Calcul Integral, GIL Publishing House, 1996. [6] I. Pawlikowska; An extension of a theorem of Flett, Demonstratio Math. 321999, 281-286. [7] J. B. Díaz, R. Vyborny; On some mean value theorems of the differential calculus, Bull. Austral. Math. Soc. 5 1971, 227-238. [8] T. L. Rădulescu, V. D. Rădulescu, and T. Andreescu; Problems in Real Analysis: Advanced Calculus on the Real Axis, Springer Verlag, 29. [9] R. M. Davitt, R. C. Powers, T. Riedel, and P. K. Sahoo; Fletts mean value theorem for homomorphic functions, Math. Mag. 72 1999, no. 4, 34-37. [1] T. Riedel, M. Sablik; On a functional equation related to a generalization of Flett s mean value theorem, Internat. J. Math. & Math. Sci., 232, 13 17. [11] P. K. Sahoo, T. Riedel; Mean Value Theorems and Functional Equations, World Scientific, River Edge, NJ, 1998. [12] R. C. Powers, T. Riedel, and P. K. Sahoo; Fletts mean value theorem in topological vector spaces, Internat. J. Math. & Math. Sci., 2721, 689 694. [13] T. Riedel, M. Sablik, A different version of Fletts mean value theorem and an associated functional equation, Acta Math. Sinica, 224, 173 178. [14] J. Tong; On Flett s mean value theorem, Internat. Jour. Math. Edu. in Science & Technology, 3524, 936 941. [15] D. H. Trahan; A new type of mean value theorem, Math. Mag., 391966, 264 268. Cezar Lupu University of Bucharest, Faculty of Mathematics, Str. Academiei 14, 719 Bucharest, Romania E-mail address: lupucezar@yahoo.com, lupucezar@gmail.com Tudorel Lupu Decebal High School, Department of Mathematics, Aleea Grădiniţei 4, 9478 Constanţa, Romania E-mail address: tudorellupu@yahoo.com, tudorellupu@gmail.com