ON NEW APPROACH HADAMARD-TYPE INEQUALITIES FOR s-geometrically CONVEX FUNCTIONS rxiv:3.9v [mth.ca 8 Jn 3 MEVLÜT TUNÇ AND İBRAHİM KARABAYIR Astrct. In this pper we chieve some new Hdmrd type ineulities using elementry well known ineulities for functions whose first derivtives solute vlues re s-geometriclly nd geometriclly convex. And lso we get some pplictions for specil mens for positive numers.. INTRODUCTION Let f : I R R e convex mpping defined on the intervl I of rel numers nd, I, with <. The following doule ineulities: ) f )f ) f hold. This doule ineulity is known in the literture s the Hermite-Hdmrd ineulity for convex functions. In recent yers mny uthors estlished severl ineulities connected to this fct. For recent results, refinements, counterprts, generliztions nd new Hermite- Hdmrd-type ineulities see [-[9. In this section we will present definitions nd some results used in this pper. Definition. Let I e n intervl in R. Then f : I R, I R is sid to e convex if.) f tx t)y) tf x) t)f y). for ll x,y I nd t [,. Definition. [ Let s,. A function f : I R = [, ) R is sid to e s-convex in the second sense if.) f tx t)y) t s f x) t) s f y) for ll x,y I nd t [,. It cn e esily checked for s =, s-convexity reduces to the ordinry convexity of functions defined on [, ). Recently, in [3, the concept of geometriclly nd s-geometriclly convex functions ws introduced s follows. Dte: Novemer 5,. Mthemtics Suject Clssifiction. 6A5, 6A5, 6D. Key words nd phrses. s-geometriclly convex, geometriclly convex, Hdmrd s ineulity, Hölder s ineulity, power men ineulity, mens. This pper is in finl form nd no version of it will e sumitted for puliction elsewhere. Corresponding Author.
MEVLÜT TUNÇ AND İBRAHİM KARABAYIR Definition 3. [3 A function f : I R =, ) R is sid to e geometriclly convex function if.3) f x t y t) [f x) t [f y) t for ll x,y I nd t [,. Definition. [3 A function f : I R R is sid to e s-geometriclly convex function if.) f x t y t) [f x) ts [f y) t)s for some s,, where x,y I nd t [,. If s =, the s-geometriclly convex function ecomes geometriclly convex function on R. Exmple. [3 Let f x) = x s /s, x,, < s <,, nd then the function.5) f x) = x s ) is monotoniclly decresing on,. For t [,, we hve.6) s )t s t), s ) t) s t)). Hence, f x) is s-geometriclly convex on, for < s <.. Hdmrd s type ineulities In order to prove our min theorems, we need the following lemm [. Lemm. [ Let f : I R R e differentile mpping on I where, I with <.If f L[,, then the following eulity holds:.) f )f ) [ = t t)f t ) ) t tf t. A simple proof of this eulity cn e lso done integrting y prts in the right hnd side. The detils re left to the interested reder. The next theorems gives new result of the upper Hermite-Hdmrd ineulity for s-geometriclly convex functions. In the following prt of the pper;.) αu,v) = f ) u f ) v, u,v,.3) g α) = α = αlnα α lnα) α nd α =.) g α) = α lnα α
HADAMARD S TYPE INEQUALITIES 3 Theorem. Let f : I R R e differentile mpping on I,, I with < nd f is integrle on [,. If f is s-geometriclly convex nd monotoniclly decresing on [,, nd s, then the following ineulity holds:.5) f )f ) ) f )f ) s g α s, s ))g α s, s ))). Proof. Since f is s-geometriclly convex nd monotoniclly decresing on [,, from Lemm, we get f )f ) [ ) t t t ) f t t f [ t f ) t t f ) t t [ If < k, < m,n, t f ) t ) s f ) t ) s.6) k mn k mn When f ) = f ) =, y.6), we get f )f ) When < f ), f ) <, y.6), we get f )f ) [ t f ) st ) f ) s t ) = = ) [ f )f ) s t f ) f ) g α f )f ) s st s, s ))g α f ) t ) s f ) t ) s f t s ) ) f t s ) ) t ) f ) s, s ))) which completes the proof. Theorem. Let f : I R R e differentile on I,, I, with < nd f L[,). If f is s-geometriclly convex nd monotoniclly decresing
MEVLÜT TUNÇ AND İBRAHİM KARABAYIR on [, for p, > nd s,, then.7) f )f ) ) f )f ) s p) p [ g α s, s )) s [g α, s )), where p =. Proof. Since f iss-geometricllyconvexndmonotonicllydecresingon[,, from Lemm nd the well known Hölder ineulity, we hve f )f ) [ ) t t t f t f [ [ t p p f ) t t = [ [ t p p f t t ) [ f ) t t p) [ f t p [ ) f ) t ) s f ) t ) s p) p [ ) f ) t ) s f ) t ) s t ) t ) When f ) = f ) =, y.6), we get f )f ) p) p When < f ), f ) <, y.6), we get
HADAMARD S TYPE INEQUALITIES 5 = = p) p [ [ f t s ) ) f t s ) ) f t s ) ) f t s ) ) ) f )f ) s f ) p) p f ) [ g α ) f )f ) s p) p s ) t f ) f ) s t s, s )) s [g α, s ) )) which completes the proof. Corollry. Let f : I, ), ) e differentile on I,, I with <, nd f L[,). If f is s-geometriclly convex nd monotoniclly decresing on [, for p, > nd s,, then i) When p = =, one hs f )f ) ) 3 f )f ) s g αs,s)) g α s, s)) ii) If we tke s = in.7), we hve for geometriclly convex, one hs f )f ) ) f )f ) [g p) α,)) [g α, )) p Theorem 3. Let f : I R R e differentile on I,, I with < nd f L[,). If f is s-geometriclly convex nd monotoniclly decresing on [,, for nd s,, then.8) f )f ) ) ) s f ) [g α, s )) ) [ f ) g α s, s )).
6 MEVLÜT TUNÇ AND İBRAHİM KARABAYIR Proof. Since f iss-geometricllyconvexndmonotonicllydecresingon[,, from Lemm nd the well known power men integrl ineulity, we hve f )f ) [ ) t t t ) f t t f [ [ ) t t t t f [ [ ) t t t t f ) [ ) [ [ tf ) t tf t tf ) ) s f ) t t t ) [ f t ) s f ) ) s t ) s When f ) = f ) =, y.6), we get f )f ) When < f ), f ) <, y.6), we get f )f ) ) [ [ tf ) = = ) ) ) s t tf ) ) f ) s t s t ) f ) ) [ ) f ) t f ) f ) [ ) f ) t f ) f ) ) s f ) [g α, s s t s t s t )) ) f [ ) f ) f ) f ) t s s ) [ f ) g α ) t f ) f ) [ t f ) f ) s t s t s, s )) which completes the proof.
HADAMARD S TYPE INEQUALITIES 7 Theorem. Let f : I R R e differentile on I,, I, with < nd f L[,). If f is s-geometriclly convex nd monotoniclly decresing on [, for µ,µ,η,η > with µ η = nd µ η = nd s,, then.9) f )f ) f )f ) s µ )µ µ )µ µ )µ ) )) s s s s η g α, ))η η η g α,. η η Proof. Since f is s-geometriclly convex nd monotoniclly decresing on [,, from Lemm, we hve f )f ) [ ) t t t ) f t t f [ t f ) t t f ) t t [ t f ) t ) s f ) t ) s f ) t ) s f ) t ) s When < f ), f ), y.6), we get.) f )f ) [ = t f ) st ) f ) s t [ f )f ) s t f ) f ) ) st f t s ) ) f t s ) ) t ) f )
8 MEVLÜT TUNÇ AND İBRAHİM KARABAYIR for ll t [,. Using the well known ineulity mn µm µ ηn η, on the right side of.), we get f )f ) f )f ) s t t ) f ) t ) f ) f )f ) s µ t µ η ) η t f ) µ µ η ) η t f ) [ = f )f ) s µ η µ ) η t f ) µ η µ = )) f )f ) s µ s s η µ g α, η η )) µ s s η µ g α, η η = f )f ) s µ )µ µ )µ µ )µ ) )) s s s s η g α, ))η η η g α, η η nd we get, in here, if f ) = f ) =, we get f )f ) [ µ )µ µ )µ µ )µ ) ) η t f ) η η which the proof is completed. Let 3. Applictions to specil mens for positive numers A,) =, L,) = ), ln ln p p ) /p L p,) =,, p R, p, p) ) e the rithmetic, logrithmic, generlized logrithmic mens for, > respectively. ) u In the following propositions, αu,v) = f f ) = u s v s. v
HADAMARD S TYPE INEQUALITIES 9 Proposition. Let < <, with, nd < s <. Then, we hve s As, s ) L s,) s ) ) s s ) s )s ln s )s s )s ln ) s ) s s )s ln s ) s s ) s ln ) s )s Proof. Let f x) = xs s, x,, < s <, then f x) = x s, x, is s-geometriclly convex mpping. The ssertion follows from Theorem pplied to s-geometriclly convex mpping f x) = x s, x,. Exmple. Let f x) = xs s, x,, < s <, then f x) = x s, x, is s-geometriclly convex mpping. If we pply in Theorem, for s =.5, =.89, =.9, we get s s s =.9676 6 s s) )) ) s s ) s ) s ln s ) s s ) s ln ) s )s =.573387 3 And similrly, if we pply for s =., =.5, =.6, we otin 9.78873.36893957686368786 for s =.75, =.5, =.86, we otin etc. 6.5365.3368736683 s )s ln s ) s s ) s ln ) s )s Proposition. Let < <,with, nd < s <, nd p, >. Then, we hve s As, s ) L s,) s ) ss ) p) s s)/ s s)/)[ L s )s, s ) s ). p Proof. The ssertion follows from Theorem pplied to s-geometriclly convex mpping f x) = xs s, x,.
MEVLÜT TUNÇ AND İBRAHİM KARABAYIR Proposition 3. Let < <, with, nd < s <, nd. Then, we hve s As, s ) L s,) s ) s s ) s )s ln s )s s )s ln ) s )s s s ) s )s ln s )s s )s ln ). s )s Proof. The ssertion follows from Theorem 3 pplied to s-geometriclly convex mpping f x) = xs s, x,. Proposition. Let < <, with, nd < s <, nd. Then, we hve s As, s ) L s,) s s s ) [ [ µ )µ µ )µ η µ )µ ) ln s ) s η s ) s η [ η ln s ) s η s ) s η Proof. The ssertion follows from Theorem pplied to s-geometriclly convex mpping f x) = xs s, x,.. References [ H. Hudzik nd L. Mligrnd: Some remrks on s-convex functions, Aeutiones Mth., Vol. 8 99),. [ M. Alomri, M. Drus, U. S. Kırmcı: Refinements of Hdmrd-type ineulities for usiconvex functions with pplictions to trpezoidl formul nd to specil mens, Comp. nd Mth. with Appl., Vol.59 ), 5-3. [3 T.-Y. Zhng, A.-P. Ji nd F. Qi: On Integrl ıneulities of Hermite-Hdmrd Type for s-geometriclly Convex Functions. Astrct nd Applied Anlysis. doi:.55//56586. [ S.S. Drgomir, R.P. Agrwl: Two ineulities for differentile mppings nd pplictions to specil mens of rel numers nd to trpezoidl formul. Appl Mth Lett, Vol. No:5, 998) 9 95. [5 J. Hdmrd: Étude sur les propriétés des fonctions entières et en prticulier d une fonction considerée pr Riemnn, J. Mth Pures Appl., 58, 893) 7 5. [6 M. Tunç: On some new ineulities for convex fonctions, Turk. J. Mth. 36 ), 5-5. [7 D. S. Mitrinović, J. Pečrić nd A. M. Fink: Clssicl nd new ineulities in nlysis, KluwerAcdemic, Dordrecht, 993. [8 S. S. Drgomir nd C. E. M. Perce: Selected topics on Hermite-Hdmrd ineulities nd pplictions, RGMIA monogrphs, Victori University,. [Online: http://www.stff.vu.edu.u/rgmia/monogrphs/hermite-hdmrd.html. [9 J. E. Pečrić, F. Proschn nd Y. L. Tong: Convex Functions, Prtil Orderings, nd Sttisticl Applictions, Acdemic Press Inc., 99.
HADAMARD S TYPE INEQUALITIES Deprtment of Mthemtics, Fculty of Science nd Arts, Kilis 7 Arlık University, Kilis, 79, Turkey. E-mil ddress: mevluttunc@kilis.edu.tr The Institute for Grdute Studies in Sciences nd Engineering, Kilis 7 Arlık University, Kilis, 79, Turkey. E-mil ddress: ikryir@kilis.edu.tr