arxiv: v1 [math.ca] 12 Feb 2010

Transcription

1 YOUNG S INTEGRAL INEQUALITY WITH UPPER AND LOWER BOUNDS DOUGLAS R. ANDERSON, STEVEN NOREN, AND BRENT PERREAULT arxiv: v1 [math.ca] 12 Feb 21 Abstract. Young s integral inequality is reformulated with upper and lower bounds for the remainder. The new inequalities improve Young s integral inequality on all time scales, such that the case where equality holds becomes particularly transparent in this new presentation. The corresponding results for difference equations are given, and several examples are included. We extend these results to piecewise-monotone functions as well. 1. introduction In 1912, Young [13] presented the following highly intuitive integral inequality, namely that any realvalued continuous function f : [, [, satisfying f = with f strictly increasing on [, satisfies ab ftdt+ f 1 ydy 1.1 for any a,b [,, with equality if and only if b = fa. A useful consequence of this theorem is Young s inequality, ab ap p + bq q, 1 p + 1 q = 1, with equality if and only if a p = b q, a fact derived from 1.1 by taking ft = t p 1 and q = p p 1. Hardy, Littlewood, and Pólya included Young s inequality in their classic book [4], but there was no analytic proof until Diaz and Metcalf [3] supplied one in 197. Tolsted [11] showed how to derive Cauchy, Hölder, and Minkowski inequalities in a straightforward way from 1.1. For many other applications and extensions of Young s inequality, see Mitrinović, Pečarić, and Fink [1]. For the purposes of this paper we recall some results that consider upper bounds for the integrals in 1.1. Merkle [8] established the inequality ftdt+ f 1 ydy max{afa,bf 1 b}, which has been improved and reformulated recently by Minguzzi [9] to the inequality α 1 ftdt+ β 1 f 1 ydy ab+ f 1 b a b fa, 1.2 where the hypotheses of Young s integral inequality hold, except that fα 1 = β 1 has replaced f =. One might wonder if there is a discrete version of 1.1 in the form of a summation inequality, or more generally a time-scale version of 1.1, where a time scale, introduced by Hilger [5], is any nonempty closed set of real numbers. Wong, Yeh, Yu, and Hong [12] presented a version of Young s inequality on time scales T in the following form. Using the standard notation [2] of the left jump operator ρ given by ρt := sup{s T : s < t}, the right jump operator σ given by σt = inf{s T : s > t}, the compositions f ρ and f σ denoted by f ρ and f σ, respectively, the graininess functions defined by µt = σt t and 2 Mathematics Subject Classification. 26D15, 39A12, 34N5. Key words and phrases. Young s inequality, monotone functions, Pochhammer lower factorial, difference equations, time scales.

2 2 ANDERSON, NOREN, AND PERREAULT νt = t ρt, and the delta and nabla derivatives of f at t T, denoted f t and f t, respectively, provided they exist are given by we have the following result. f f σ t fs t := lim, f f ρ t fs t := lim, s t σt s s t ρt s Theorem 1.1 Wong, Yeh, Yu, and Hong. Let f be right-dense continuous on [,c] T := [,c] T for c >, strictly increasing, with f =. Then for a [,c] T and b [,fc] T the inequality holds. ab f σ t t+ If T = Z and ft = t, then Theorem 1.1 says that f 1 σ y y a 1 b 1 ab t+1+ y +1 = 1 aa+1+bb t= y= holds. Note that an if and only if clause concerning an actual equality is missing in the formulation in Theorem 1.1, with equality impossible in the simple example 1.3 except for the trivial case a = = b. This omission was rectified in [1] via the following theorem. Theorem 1.2 Anderson. Let T be any time scale unbounded above with T. Further, suppose that f : [, T R is a real-valued function satisfying i f = ; ii f is continuous on [, T, right-dense continuous at ; iii f is strictly increasing on [, T such that ft is also a time scale. Then for any a [, T and b [, ft, we have ab 1 2 with equality if and only if b = fa. [ft+fσt] t+ 1 2 [ f 1 y+f 1 σy ] y, Motivated by [9], in this paper we extend 1.2 to the general time scales setting while, in the process, simplifying and extending Theorem 1.2 as well. As these results on time scales will include new results in difference equations as an important corollary, we will illustrate our new inequalities using discrete examples with T = Z. 2. Theorem Formulation We begin this section by introducing a new and improved version of Theorem 1.2 to facilitate the subsequent results. For any time scale T, we have the following result. Theorem 2.1 Young s Inequality on Time Scales. Let T be any time scale with α 1 T and supt =. Further, suppose that f : [α 1, T R is a real-valued function satisfying i fα 1 = β 1 ; ii f is continuous on [α 1, T, right-dense continuous at α 1 ; iii f is strictly increasing on [α 1, T such that T := ft is also a time scale. Then for any a [α 1, T and b [β 1, T, we have ab f 1 y y +, 2.1 with equality if and only if b {f ρ a,fa} for fixed a, or with equality if and only if a { f 1 b,σf 1 b } for fixed b. The inequality in 2.1 is reversed if f is strictly decreasing.

3 YOUNG S INTEGRAL INEQUALITY WITH BOUNDS 3 Proof. The proof is modeled after the one given on R in [3]. Note that f is delta integrable and f 1 is nabla integrable by the continuity assumption in ii. For simplicity, define Fa,b := α 1 Then, the inequality to be shown is just Fa,b. I. We will first show that β 1 f 1 y y ab Fa,b Fa,fa for a [α 1, T and b [β 1, T, with equality if and only if b {f ρ a,fa}. For any such a and b we have Fa,b Fa,fa = Clearly if b = fa then the integrals are empty, and if b = f ρ a then Fa,f ρ a Fa,fa = fa f ρ a fa [ f 1 y a ] y. 2.3 [ a f 1 y ] y = [fa f ρ a][a f 1 fa] =. Otherwise, since f 1 y is continuous and strictly increasing for y T, the integrals in 2.3 are strictly positive for b < f ρ a and b > fa. II. We will next show that Fa,fa = Fa,f ρ a =. For brevity, put ϕa = Fa,fa, that is fa ϕa := f 1 y y afa+. First, assume a is a right-scattered point. Then ϕ σ a ϕa = σa a f σ a fa f 1 y y σaf σ a+afa = [σa a]fa+[f σ a fa]f 1 f σ a σaf σ a+afa =. Therefore, if a is a right-scattered point, then ϕ a =. Next, assume a is a right-dense point. Let {a n } n N [a, T be a decreasing sequence converging to a. Then ϕa n ϕa = n a fan fa f 1 y y a n fa n +afa a n afa+[fa n fa]a a n fa n +afa = a n a[fa fa n ], since the functions f and f 1 are strictly increasing. Similarly, Therefore, ϕa n ϕa a n afa n +[fa n fa]a n a n fa n +afa = a n a[fa n fa]. = lim [fa fa ϕa n ϕa n] lim n n a n a lim n [fa n fa] =. It follows that ϕ a exists, and ϕ a = for right-dense a as well. In other words, in either case, ϕ a = for a [α 1, T. As ϕα 1 =, by the uniqueness theorem for initial value problems we have that ϕa = for all a [α 1, T. From earlier we know that Fa,f ρ a = Fa,fa. Thus as an overall result, we have that Fa,b Fa,fa =, with equality if and only if b = fa or b = f ρ a, as claimed. The case with a { f 1 b,σf 1 b } for fixed b is similar and thus omitted. If f is strictly decreasing, it is straightforward to see that the inequality in 2.1 is reversed; the details are left to the reader.

4 4 ANDERSON, NOREN, AND PERREAULT We now focus on establishing an upper bound for Young s integral. Before we state and prove our main theorem, we need an auxiliary result via the following lemma. Lemma 2.2. Let f satisfy the hypotheses of Theorem 2.1, and let Fa,b be given as in 2.2. For every a,α T and b,β T we have Fa,b+Fα,β α aβ b, 2.4 where equality holds if and only if α { f 1 b,σf 1 b } and β {f ρ a,fa}. Proof. Fix a T and b T. By Young s integral inequality on time scales Theorem 2.1 we have α 1 α β β 1 f 1 y y + aβ, and 2.5 f 1 y y + αb, 2.6 with equality if and only if β {f ρ a,fa} and α { f 1 b,σf 1 b }, respectively. By rearranging it follows that α β + f 1 y y ab+ β = f 1 y y + + aβ +αb ab αβ = α aβ b. f 1 y y αβ + α f 1 y y + ab αβ Note that equality holds here if and only if it holds in 2.5 and 2.6, videlicet if and only if α { f 1 b,σf 1 b } and β {f ρ a,fa}. Theorem 2.3. Let T be any time scale and f : [α 1,α 2 ] T [β 1,β 2 ] T be a continuous strictly increasing function such that T = ft is also a time scale. Then for every a, [α 1,α 2 ] T and b, [β 1,β 2 we ] T have f 1 f ρ f 1 y y ab+ f 1 b a b f ρ a, 2.7 where the equalities hold if and only if {f ρ,f} and b {f ρ a,fa}. The inequalities are reversed if f is strictly decreasing. Proof. Considering F as in 2.2, and 2.4 with α = f 1 b and β = f ρ a we have the equality Fa,b+F f 1 b,f ρ a = f 1 b a f ρ a b. As f 1 b [α 1,α 2 ] T and f ρ a [β 1,β 2 ] T, via Young s integral inequality on time scales Theorem 2.1 above we see that F f 1 b,f ρ a. Consequently we have that Fa,b f 1 b a f ρ a b; 2.8 note that equality holds if and only if b {f ρ a,fa}. Thus for any [α 1,α 2 ] T and [β 1,β 2 we ] T have from 2.8 that f 1 f ρ F,, 2.9 with equality if and only if {f ρ,f}. Combining inequalities 2.8 and 2.9 we get Fa,b f 1 f ρ F, f 1 b a f ρ a b f 1 f ρ F,. This can be rewritten as 2.7. If f is strictly decreasing the proof is similar and thus omitted.

5 YOUNG S INTEGRAL INEQUALITY WITH BOUNDS 5 Remark 2.4. In [9, Theorem 1.1] the author assumes f = see 1.2 above, so that the inequality in 2.7 is new for T = R, as well as for T = Z and general time scales. Remark 2.5. Due to Lemma 2.2 and the first line of the proof of Theorem 2.3, there are three other inequalities we could write in place of 2.7, namely f 1 f f 1 y y ab+ f 1 b a b fa, σf 1 f ρ σf 1 f f 1 y y ab+ σf 1 b a b f ρ a, f 1 y y ab+ σf 1 b a b fa. If we focus on just the upper bounds, for a >, b >, and b fa we have the least of these upper bounds, leading to whereas for a >, b >, and b f ρ a we have f 1 y y ab+ f 1 b a b fa, f 1 y y ab+ σf 1 b a b f ρ a. Corollary 2.6. Pick a i T with a i < a i+1. Let f 1 : [ρa 1,a 2 ] T R and f i : [a i,a i+1 ] T R be continuous strictly monotone functions for i = 2,,m. Assume f : T R is continuous, where ft := f i t and f 1 y := f 1 i y for t [a i,a i+1 ] T and y [min{fa i,fa i+1 },max{fa i,fa i+1 }] ft, respectively, and i = 1,2,,m, that is to say f i a i+1 = f i+1 a i+1 for i = 1,2,,m 1. Set I f := m+1 a 1 m+1 b 1 f 1 y y a m+1 b m+1 +a 1 b 1, and K i := a i f 1 b i f ρ a i b i, i {1,m+1}, where f 1 b 1 [a 1,a 2 ] T and f 1 b m+1 [a m,a m+1 ] T. Then we have the following. i If f 1 and f m are both strictly increasing, then K 1 I f K m+1. The inequalities are reversed if f 1 and f m are both strictly decreasing. ii If f 1 is strictly increasing and f m is strictly decreasing, then K m+1 K 1 I f. The inequalities are reversed if f 1 is strictly decreasing and f m is strictly increasing. In all cases, the equalities hold if and only if b 1 {f ρ a 1,fa 1 } and b m+1 {f ρ a m+1,fa m+1 }. Proof. We will only prove the first part of i, as the other parts follow in a similar manner from Theorem 2.3. Assume f 1 and f m are both strictly increasing. By Theorem 2.3 we have the inequalities the equalities f 1 b 1 a 1 f ρ a 1 b 1 = i+1 a i 2 a 1 fai+1 fa i fa2 b 1 f 1 y y a 2 fa 2 +a 1 b 1, f 1 y y a i+1 fa i+1 +a i fa i =

6 6 ANDERSON, NOREN, AND PERREAULT for i = 2,,m 1, and the inequalities m+1 a m m+1 fa m a m+1 f 1 b m+1 f ρ a m+1 b m+1, f 1 y y a m+1 b m+1 +a m fa m whereequalitiesholdinthefirstlineifandonlyifb 1 {f ρ a 1,fa 1 }, andequalitiesholdinthethirdifand only if b m+1 {f ρ a m+1,fa m+1 }. If we add these expressions together, we obtain K 1 I f K m+1. This completes the proof. Remark 2.7. Corollary 2.6 for continuous piecewise-monotone functions is new even for T = R, as well as for T = Z and general time scales. In the next result, Theorem 2.8, we extend the original Young result for continuous functions to piecewise-continuous piecewise-monotone functions on R. Theorem 2.8. Let a i R with a i < a i+1, and let f i : [a i,a i+1 ] R be a continuous strictly monotone function for i = 1,2,,m. Let f : [a 1,a m+1 ] R be the piecewise-continuous function given by fx := f i x and f 1 y := fi 1 y for x a i,a i+1 and y min{fa i,fa i+1 },max{fa i,fa i+1 }, respectively, for i = 1,,m, with fa 1 = f 1 a 1 and fa m+1 = f m a m+1. Set m+1 m+1 m Fb 1,b m+1 := fxdx+ f 1 ydy a m+1 b m+1 +a 1 b 1 + a i [f i a i f i 1 a i ], b 1 a 1 K i := a i f 1 b i fa i b i, i {1,m+1}, where f 1 b 1 [a 1,a 2 ] and f 1 b m+1 [a m,a m+1 ]. Then we have the following. i If f 1 and f m are both strictly increasing, then K 1 Fb 1,b m+1 K m+1. The inequalities are reversed if f 1 and f m are both strictly decreasing. ii If f 1 is strictly increasing and f m is strictly decreasing, then K m+1 K 1 Fb 1,b m+1. The inequalities are reversed if f 1 is strictly decreasing and f m is strictly increasing. In all cases, the equalities hold if and only if b 1 = fa 1 and b m+1 = fa m+1. Proof. Apply Theorem 2.3 on T = R to the pieces f i on [a i,a i+1 ], using the appropriate inequalities for f 1 and f m, and equalities for f i, i = 2,,m 1. Then add up these expressions to get the result. Theorem 2.9. For some delta differentiable function g, let f = g satisfy the hypotheses of Theorem 2.3, where f 1 = g 1 = g on T = ft. [If T = R the function g is known as the Legendre transform of g.] If we pick = g+g, then by Theorem 2.3 we have g g ga+g b ab i=2 g b a b g a, where the equalities hold if and only if { g,g } and b { g a,g a }. In the following theorem we reconsider Theorem 2.3 above. This allows us to get a Young-type integral inequality without having to find f 1. Theorem 2.1. Let the hypotheses of Theorem 2.3 hold. Then for any a,α,, α [α 1,α 2 ] T we have α f ρ f α ft t α α α afα+ αf α α afα f ρ a, 2.1 where the equalities hold if and only if α {ρ,} and α {ρa,a}.

7 YOUNG S INTEGRAL INEQUALITY WITH BOUNDS 7 Proof. By Theorem 2.3 with = α, = f α, a = α and b = fα we have fα f α f 1 y y = αfα αf α α α ft t 2.11 for any α, α [α 1,α 2 ] T. Since α, α [α 1,α 2 ] T are arbitrary, we substitute 2.11 into 2.7 to obtain 2.1. Example Consider the generalized polynomial functions h n t,s on time scales defined recursively in the following way [2, Section 1.6]: h t,s 1, h k+1 t,s = t s h k τ,s τ, t,s T, k N. If we take ft = h n t, α for any n N, then by Theorem 2.1 we have α h n ρ, α h n+1 a, h n+1 α, α+α ah n α, α α a[h n α, α h n ρa, α], 2.12 for any a,,α, α [α 1,α 2 ] T, where the equalities hold if and only if α {ρ,} and α {ρa,a}. 3. results for difference equations In this section we concentrate on the discrete case. For T = Z we have the following new discrete results, which are corollaries of the theorems above. Recall that [α 1,α 2 ] Z = {α 1,α 1 +1,α 1 +2,,α 2 1,α 2 }. The first two theorems are direct translations to T = Z of Theorem 2.3 and Theorem 2.1, respectively. Theorem 3.1. Let f : [α 1,α 2 ] Z [β 1,β 2 ] Z be a strictly increasing function, where Z = fz. Then for every a, [α 1,α 2 ] Z and b, [β 1,β 2 ] Z we have f 1 f 1 a 1 ft+ t= y,b] Z f 1 y µy ab+ f 1 b a b fa 1, 3.1 where the equalities hold if and only if {f 1,f} and b {fa 1,fa}. Theorem 3.2. Let f : Z R be a strictly increasing function. Then for any integers a,,α, α we have α [f 1 f α] a 1 α 1 ft ft+α afα+ αf α where the equalities hold if and only if α { 1,} and α {a 1,a}. Example 3.3. Consider the Pochhammer lower factorial function t= t= α α a[fα fa 1], 3.2 f k t = t k := tt 1 t k +1, t,k Z, also known as t to the k falling [6], or the falling factorial power function [7]. It is clear that f k is strictly increasing on the integer interval [k 1, Z. By Theorem 3.2 we have a αf k α 1 k+1 [f k+1a f k+1 α] a αf k a for a,α {k 1,k,k +1, }, where the equalities hold if and only if α {a 1,a}. Example 3.4. For any real B > 1 and any integers a α Z we have B α B a B α a αb 1 Ba 1, where the equalities hold if and only if α {a 1,a}.

8 8 ANDERSON, NOREN, AND PERREAULT Example 3.5. Consider Theorem 2.9. Let T = Z and ft = B t for B > 1. Then T = B Z, and we have gt = Bt B α B 1, f 1 y = log B y, and g y = ylog B y y B 1 +β α+ 1 B 1 log Bβ. It is easy to check that f 1 = g on T and αβ = gα+g β. Therefore we have the inequalities log B β α B α 1 β Ba B α B 1 +blog B b b B 1 +β log B b a b B a 1, where the equalities hold if and only if β { B α 1,B α} and b { B a 1,B a}. α+ 1 B 1 log B β ab Example 3.6. Let ft = sin [ πt 2k] for k N. Then f is strictly increasing on [ k,k]z, so that for any a α [ k,k] Z we have by Theorem 3.2 that ] [ a 1π sin [ απ 2k 1 2a α cos [ 2α 1π 4k with equalities if and only if α {a 1,a}. ] cos [ 2a 1π 4k ] [ π csc sin 4k] Example 3.7. Let ft = t k for t,k N with t k. Then f is strictly increasing on [k, Z, whereby for any a α [k, Z we have α a k a k α k α k a 1, k a αk +1 k with equalities if and only if α {a 1,a}. References [1] D. R. Anderson, Young s integral inequality on time scales revisited, J. Inequalities in Pure Appl. Math., Volume 8 27, Issue 3, Article 64, 5 pages. [2] M. Bohner and A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, Birkhäuser, Boston 21. [3] J. B. Diaz and F. T. Metcalf, An analytic proof of Young s inequality, American Math. Monthly, [4] G. H. Hardy, J. E. Littlewood, and G. Pólya, Inequalities, Cambridge, [5] S. Hilger, Analysis on measure chains a unified approach to continuous and discrete calculus, Results Math , no. 1 2, [6] W. G. Kelley and A. C. Peterson, Difference Equations: An Introduction with Applications, 2e, Harcourt/Academic Press, San Diego, 21. [7] V. Lampret, Approximating real Pochhammer products: a comparison with powers, Cent. Eur. J. Math., [8] M. Merkle, A contribution to Young s inequality, Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz., , [9] E. Minguzzi, An equivalent form of Young s inequality with upper bound, Appl. Anal. Discrete Math [1] D. S. Mitrinović, J. E. Pečarić, and A. M. Fink, Classical and New Inequalities in Analysis, Kluwer Academic Publishers, Dordrecht, [11] E. Tolsted, An elementary derivation of the Cauchy, Holder, and Minkowski inequalities from Young s inequality, Math. Mag., , [12] F. H. Wong, C. C. Yeh, S. L. Yu, and C. H. Hong, Young s inequality and related results on time scales, Appl. Math. Letters, [13] W. H. Young, On classes of summable functions and their Fourier series, Proc. Royal Soc., Series A, Concordia College, Department of Mathematics and Computer Science, Moorhead, MN USA address: andersod@cord.edu URL: Concordia College, Moorhead, MN USA address: srnoren@cord.edu Concordia College, Moorhead, MN USA address: bmperrea@cord.edu 2k ],