arxiv: v1 [math.ca] 19 Apr 2013

Transcription

1 SOME SHARP WILKER TYPE INEQUALITIES AND THEIR APPLICATIONS arxiv:104.59v1 [math.ca] 19 Apr 01 ZHENG-HANG YANG Abstract. In this paper, we prove that for fied k 1, the Wilker type inequality ) sin kp + k ) tan p > 1 k + k + holds for 0,π/) if and only if p > 0 or p lnk+) ln. It is reversed klnπ ln) if and only if 1 p < 0. Its hyperbolic version holds for 0, ) 5k+) if and only if p > 0 or p 1 5k+) version is reversed if and only if p < 0 or p 1 5k+) generalize some known ones... And, for fied k <, the hyperbolic 1. Introduction. Our results unify and Wilker [18] proposed two open problems, the first of which states that if 0, π/) then ) sin 1.1) + tan >, which was proved by Sumner et al. in [17]. Wilker inequality 1.1) and the second one have attracted great interest of many mathematicians and have produced a batch of Wilker type ones by various generalizing and improving as well as different methods and ideas see [1], [], [], [9], [11], [1], [1], [], [19], [0], [4], [5], [8], [6], [9] and related references therein). In [19], Wu and Srivastava established another Wilker type inequality ) 1.) + > for 0,π/), sin tan and proved a weighted and eponential generalization of Wilker inequality. Theorem Wu [19, Theorem 1]). Let λ > 0,µ > 0 and p qµ/λ. If q > 0 or q min 1, λ/µ), then 1.) λ λ+µ sin + µ λ+µ ) q tan > 1 holds for 0,π/). As an application of the inequality 1.), an open problem posed by the Sádor Bencze in [1] was solved and improved. Recently, the inequality 1.) and all Date: April 6, Mathematics Subject Classification. Primary 6D05, B10; Secondary 6A48, 6D15, Key words and phrases. Wilker inequality, trigonometric function, hyperbolic function, mean. This paper is in final form and no version of it will be submitted for publication elsewhere. 1

2 ZHENG-HANG YANG results in [19] were etended in [1] to Bessel functions. A hyperbolic version of Theorem Wu has been presented in [] very recently. In 009, Zhu [8] gave another eponential generalization of Wilker inequality 1.1) as follows. Theorem Zh1 [8, Theorem 1.1, 1.]). Let 0 < < π/. Then the inequalities 1.4) sin tan + > sin + tan > hold if p 1, while the first one in 1.4) holds if and only if p > 0. Theorem Zh [8, Theorem 1., 1.4]). Let > 0. Then the inequalities sinh tanh 1.5) + > + > sinh tanh hold if p 1, while the first one in 1.5) holds if and only if p > 0. In the end of the same paper, Zhu posed two open problems: find the respective largest range of p such that the inequalities 1.4) and 1.5) hold. They have been solved by Matejička in [7]. Another inequality associated with Wilker one is the following 1.6) sin + tan > for 0,π/), whichis knownashuygensinequality[4]. Thefollowingrefinement of Huyegens inequality is due to Neuman and Sándor [11]: 1.7) sin + tan > sin + tan >, where 0, π/). Very recently, the generalizations of 1.7), similar to 1.4), has been derived by Neuman in [11]. In [7], Zhu proved that for 0,π/) 1.8) 1 ξ 1 ) sin +ξ tan 1 > 1 > 1 η 1 ) sin +η tan 1, 1 ξ ) sin +ξ tan > 1 > 1 η ) sin +η 1.9) tan with the best constants ξ 1 = 1/, η 1 = 0, ξ = 1/, η = 1 /π. Later, he in [6] generalized inequalities 1.8) and 1.9) in eponential form, which is stated as follows. Theorem Zh [8, Theorem 1.1, 1.]). Let 0 < < π/. Then we have i) when p 1, the double inequality 1.10) 1 λ) +λ < 1 < 1 η) +η sin tan sin tan holds if and only if η 1/ and λ 1 /π. ii) when 0 p 4/5, the double inequality 1.10) holds if and only if λ 1/ and η 1 /π. iii) when p < 0, the second one in 1.10) holds if and only if η 1/. The hyperbolic version of inequalities 1.7) was given in [11] by Neuman and Sándor. In the same year, Zhu showed that Theorem Zh4 [9, Theorem 4.1]). Let > 0. Then i) when p 4/5, the double inequality 1.11) 1 λ) +λ sinh tanh < 1 < 1 η) sinh +η tanh

3 SOME SHARP WILKER TYPE INEQUALITIES holds if and only if η 1/ and λ 0; ii) when p < 0, the inequality 1.1) 1 η) +η > 1 sinh tanh holds if and only if η 1/. The aim of this paper is to find the best p such that the inequalities 1.1) 1.14) sin + k tan > 1 for 0,π/), k + k + sinh + k tanh > 1 for 0, ) k + k + or their reverse ones hold for certain fied k with kk +) 0. In Section, some useful lemmas are proved. necessary and sufficient conditions for 1.1) or its reverse and 1.14) to hold are presented in Section. Some applications of our main results given in Section 4.. Lemmas The following two lemmas is very important in the sequel. Lemma 1. Let A, B and C be defined on 0,π/) by.1).).) A = A) = cos)sin cos) cossin), B = B) = cossin) sin cos), C = C) = sin ) cos+sin+cossin ). Then for fied k 1 the C)/kA)+B)) is increasing on 0,π/). Moreover, we have.4) 5 1k+) < C) ka)+b) < 1. Proof. Evidently, A, B > 0 for 0,π/) due to sin cos) > 0 and cossin) = sin)/ > 0, while C > 0 because sin cos+sin+cossin ) ) ) = cos) + tan > 0 by Wilker inequality 1.1). Denote ka+b)/c by D and factoring yields D) = sin ) cos+sin+cossin ) sin cos) cossin)1 kcos )+k 1)cossin) = cos+sin+cossin sin sin cos) cossin) ksin cos)cos+ cossin) : = D 1 ) D ). It is known that the function D 1 which is equal to G in [8, Proof of Lemma.9]) is positive and increasing on 0,π/roved in [8, Proof of Lemma.9], and it remainstoprovethefunctiond isalsopositiveandincreasing. Clearly,D ) > 0,

4 4 ZHENG-HANG YANG we only need to show that D ) > 0 for 0,π/). Indeed, differentiation and simplifying yield cos+cossin +sin ) D ) = k 1)sin) ksin cos)cos+ cossin)) sin k 1) ) ) sincos = ksin cos)cos+ cossin)) + tan, which is clearly positive due to Wilker inequality 1.1). Hence, C/kA+B) is increasing on 0,π/), and it is deduced that 5 1k+) = lim 0 This completes the proof. C) < D) < lim ka)+b) π/ C) ka)+b) = 1. Lemma. Let U, V and W be defined on 0, ) by.5).6).7) E = E) = cosh)sinh cosh) coshsinh), F = F ) = sinh cosh) coshsinh), G = G) = sinh ) cosh sinh coshsinh ). Then for fied k 1 or k < ) the function G)/kE)+F )) is decreasing increasing) on 0, ). Moreover, we have ) ) 1 G).8) min 0, < 5k +) ke)+f ) < ma 1 0,. 5k +) Proof. It is easy to verify that E, F < 0 for 0, ) due to coshsinh) = sinh)/ < 0, ) sinh sinh cosh) = cos < 0. While G < 0 because sinh cosh sinh coshsinh ) ) ) = cosh) + tanh < 0 by Wilker inequality 1.5). Denote G/kE +F) by H and factoring give H ) = sinh ) cosh sinh coshsinh ) cosh)sinh cosh) sinhcosh)k+sinh cosh) sinhcosh) = cosh+sinh+coshsinh sinh cosh sinh)sinhcosh ) ) kcosh sinh)cosh+sinhcosh ) : = H 1 ) H ). Clearly, H 1 ) > 0, and it has shown in [7, Proof of Lemma.] that H 1 that is, the function s, in [7, Proof of Lemma.]) is decreasing on 0, ). In order to prove the monotonicity of H, we also need to deal with the sign and monotonicity of H.

5 SOME SHARP WILKER TYPE INEQUALITIES 5 i) Clearly, H ) > 0 for k 1. And, we claim that H is also decreasing on 0, ). Indeed, differentiation and simplifying yield cosh+coshsinh +sinh ) H ) = k 1)sinh cosh sinh) coshsinh ) sinh k 1) ) ) sinhcosh = cosh sinh) coshsinh ) + tanh < 0. Consequently, H = H 1 H is positive and decreasing on 0, ), and so 0 = lim G) ke)+f ) < G) ke)+f ) < lim 0 G) ke)+f ) = 1 5k+). ii) For k <, by the previous proof we see that H is decreasing on 0, ), and so 0 < 1 k = lim H )) < H ) < lim H )) = 0 k +. It is implied that H is positive and decreasing on 0, ), and so is the function H = H 1 H ). That is, H is negative and increasing on 0, ), and.8) naturally holds. This completes the proof. Remark 1. It should be noted that ke) + F ) < 0 for k 1 and ke) + F ) > 0 for k <. In fact, it suffices to notice.8) and G) < 0 for 0, ). Lemma. For k 1, we have 1 > Proof. It suffices to show that where k 1. Differentiation gives δ 1 k) = δ k) = lnk +) ln klnπ ln) > 1 5k +). lnk +) ln k < 0, lnπ ln lnk +) ln 1k lnπ ln 5k +) > 0 δ 1 k) = 1 1 < 0, lnπ ln)k +) δ k) = 1 5k+4ln 4lnπ k +) > 0 lnπ ln) for k 1. It follows that δ 1 k) δ 1 1) = ln ln)/ln lnπ) < 0, δk) δ1) = ln ln)/lnπ ln) 4/5 > 0, which proves the lemma.. Main results Theorem 1. For fied k 1, the inequality 1.1) holds for 0,π/) if and only if p > 0 or p lnk+) ln klnπ ln)

6 6 ZHENG-HANG YANG Proof. The inequality 1.1) is equivalent to.1) f ) = sin + k tan 1 > 0 k + k + for 0, π/). Differentiation yields 1 f ) = kp sin cos sin k+ + kp sincos tan k+ cos 1 = kp sincos tan.) k+ cos g), where.) g) = 1 4 sin cos sin Simple computation leads to g0 + ) = 0. Differentiation again and simplifying give ) k 1)p sin cos+1. 1 sin ) k 1)pcos.4) g ) = 8 sin) sin) h), where.5) h) = cos)sin cos) cossin)kp + cossin) sin cos)p + sin ) cos+sin+cossin ) = kpa)+pb)+c) = ka+b+ C ka+b here A),B),C) are defined by.1),.),.), respectively. By.),.4) we easily get.6).7) ), sgnf ) = sgnpsgng), sgng ) = sgnh). Necessity. We first present two limit relations: p+.8).9) lim f ) = kp { lim f ) = π/) k+ In fact, using power series etension yields f ) = kp 6 1 5k +) ), if p > 0, 1 if p < 0. π kp+p+1/5 4 +O 6), k + which implies the first limit relation.8). From the fact lim π/ tan = the second one.9) easily follows.

7 SOME SHARP WILKER TYPE INEQUALITIES 7 Now we can derive the necessary condition for 1.1) to holds for 0,π/) from the simultaneous inequalities lim f ) 0 and lim π/) f ) 0. Solving for p yields p > 0 or p min 1 +) ln, lnk 5k +) klnπ ln) ) lnk +) ln = klnπ ln), where the equality holds is due to the Lemma. Sufficiency. We prove the condition p > 0 or p lnk+) ln klnπ ln) is sufficient. We distinguish three cases. Case 1: p > 0. Clearly, h) > 0, then g ) > 0, and then g) > g0 + ) = 0, which together with sgnp = 1 yields f ) > 0. Then f ) > f 0 + ) = 0. Case : p 1. By Lemma 1) it is easy to get C p+ < p+1 0, ka+b which reveals that h) < 0, then g ) < 0, and then g) < g0 + ) = 0, which in combination with sgnp = 1 implies f ) > 0. Then f ) > f 0 + ) = 0. Case : 1 < p lnk+) ln klnπ ln). Lemma 1) reveals that C ka+b is increasing on 0,π/), so is the function p+ C ka+b := λ). Since λ 0 +) 1 ) π = p+ 5k +) < 0, λ = p+1 > 0, there is a unique 1 0,π/) such that λ) < 0 for 0, 1 ) and λ) > 0 for 1,π/), and so is g ). Therefore, g) < g0 + ) = 0 for 0, 1 ) but gπ/ ) = 1, which implies that there is a sole 0 1,π/) such that g) < 0 for 0, 0 ) and g) > 0 for 0,π/). Due to sgnp = 1 it is deduced that f ) > 0 for 0, 0 ) and f ) < 0 for 0,π/), which reveals that f is increasing on 0, 0 ) and decreasing on 0,π/). It follows that 0 = f 0 +) < f ) < f 0 ) = 0 for 0, 0 ), f 0 ) > f ) > f π/ ) = k+ π 1 0 for 0,π/), that is, f ) > 0 for 0,π/). This completes the proof. Theorem. For fied k 1, the reverse of 1.1), that is, sin.10) + k tan < 1 k + k + holds for 0,π/) if and only if 1 5k+) p < 0. Proof. Necessity. If inequality.10) holds for 0, π/), then we have f ) lim = kp ) 1 p k +) Solving the inequalities for p yields 1 5k+) p < 0. Sufficiency. We prove the condition 1 5k+) p < 0 is sufficient. It suffices to show that f ) < 0 for 0,π/). By Lemma 1) it is easy to get p+ C ka+b p+ 1 5k +) 0,

8 8 ZHENG-HANG YANG which reveals that h) > 0, then g ) > 0, and then g) > g0 + ) = 0. It in combination with sgnp = 1 implies f ) < 0. Thus, f ) < f 0 + ) = 0, which proves the sufficiency and the proof is complete. Theorem. For fied k 1, the inequality 1.14) holds for 0, ) if and only if p > 0 or p 1 5k+). Proof. We define.11) u) = k + sinh + k k + tanh 1. Then inequality 1.14) is equivalent to u) > 0. Differentiation leads to.1) u ) = kp 1 sinh tanh k +) cosh v), where.1) v) = 1 4 sinh cosh sinh Differentiation again gives.14) v ) = where.15) p sinh cosh+1. cosh p ) ) sinh kp p sinh) coshsinh) w), w) = cosh)sinh cosh) coshsinh)kp +sinh cosh) coshsinh) p + sinh ) cosh sinh coshsinh ) ) G = kpe)+pf )+G) = ke +F+, ke +F here E),F ),G) are defined by.5),.6),.7), respectively. By.1),.14) we easily get.16) sgnu k ) = sgn k + sgnpsgnv),.17) sgnv ) = sgnw). Necessity. Ifinequality1.14)holdsfor 0, ),thenwehavelim u) 0. Epanding u) in power series gives u) = k ) p+ 6 p 1 4 +O 6). 5pk +) Hence we get lim u) = k ) p 1 p+ 0. 5k +) Solving the inequality for p yields p > 0 or p 1 5k+). Sufficiency. We prove the condition p > 0 or p 1 5k+) is sufficient for 1.14) to hold.

9 SOME SHARP WILKER TYPE INEQUALITIES 9 If p > 0, then w) < 0 due to E,F,G < 0. Hence, from.17) we have v ) < 0, and then v) < lim 0 + v) = 0. It is derived by.16) that u ) > 0, and so u) > lim 0 + u) = 0. If p 1 5k+), then by Lemma we have and then p+ G ke +F 1 5k +) + G ke +F < 0, ) G w) = ke +F+ > 0. ke +F From.17) we have v ) > 0, and then v) > lim 0 + v) = 0. It follows by.16) that u ) > 0, which implies that u) > lim 0 + u) = 0. This completes the proof. Remark. For k 1, since lim u) = for p 0 and lim u) = 0 for p = 0, there has no p such that the reverse inequality of 1.14) holds for all > 0. But we can show that there is a unique 0 0, ) such that u) < 0, that is, the reverse inequality of 1.14), for 1 5k+) < p < 0. The details of proof are omitted. Theorem 4. For fied k <, the reverse of 1.14), that is,.18) k + sinh + k k + tanh < 1 holds for 0, ) if and only if p < 0 or p 1 5k+). Proof. Necessity. If inequality 1.14) holds for 0, ), then we have u) lim = k ) 6 p 1 p+ 0. 5k +) Solving the inequality for p yields p < 0 or p 1 5k+). Sufficiency. We prove the condition p < 0 or p 1 5k+) is sufficient for 1.14) to hold. ) If p < 0, then w) = ke +F+ G ke+f < 0 due to ke+f > 0 and G < 0. Hence, from.17) we have v ) < 0, and then v) < lim 0 + v) = 0. It is derived by.16) that u ) < 0, and so u) < lim 0 + u) = 0. If p 1 5k+), then by Lemma we have and then p+ G ke +F p+ 1 5k +) > 0, ) G w) = ke +F+ > 0. ke +F From.17) we have v ) > 0, and then v) > lim 0 + v) = 0. It follows by.16) that u ) < 0, which implies that u) < lim 0 + u) = 0. This completes the proof.

10 10 ZHENG-HANG YANG 4. Applications 4.1. Huygens type inequalities. Letting k = 1 in Theorem 1 and, we have Proposition 1. For 0, π/), inequality sin 4.1) + 1 tan > 1 > ) q sin + 1 tan holds if and only if p > 0 or p ln ln lnπ ln and 4/5 q < 0. LetM r a,b;w)denotether-thweightedpowermeanofpositivenumbersa,b > 0 defined by 4.) M r a,b;w) := wa r +1 w)b r ) 1/r if r 0 and M 0 a,b;w) = a w b 1 w, where w 0,1). Since sin + 1 by Proposition 1 the inequality sin > + 1 cos) p tan = + 1 cos) p ) p, sin ) 1/p = M p ) 1,cos; holds for 0,π/) if and only if p 4/5. Similarly, its reverse one holds if and only if p ln ln lnπ ln. The facts cab be stated as a corollary. Corollary 1. Let M r a,b;w) be defined by 4.). Then for 0,π/), the inequalities ) 4.) M α 1,cos; sin < < M ) β 1,cos; hold if and only if α 4/5 and β ln ln lnπ ln Remark. Cusa-Huygens inequality [4] refers to sin 4.4) < + 1 cos holds for 0,π/), which is an equivalent one of the second one in 1.7). As an improvement and generalization, Corollary 1 was proved in [] by Yang. Here we provide a new proof. Remark 4. Let a > b > 0 and let = arcsin a b a+b P/A, cos = G/A, and then inequalities 4.) can be changed into ) < P < Mβ A,G; ), 4.5) M α A,G; where P is the first Seiffert mean [14] defined by ) q 0,π/). Then sin)/ = a b P = P a,b) = arcsin a b, a+b A and G denote the arithmetic and geometric means of a and b, respectively. Let = arctan a b a+b. Then sin)/ = T/Q, cos = A/Q, and then inequalities 4.) can be changed into ) 4.6) M α Q,A; < T < Mβ Q,A; ),

11 SOME SHARP WILKER TYPE INEQUALITIES 11 where T is the second Seiffert mean [15] defined by a b T = T a,b) = arctan a b, a+b Q denotes the quadratic mean of a and b. Obviously, by Corollary, both the two double inequalities 4.5) see []) and 4.6) hold if and only if α 4/5 and β ln ln lnπ ln 0.898, in which 4.6) seem to be new ones In the same way, taking k = 1 in Theorem Proposition. For 0, ), inequality 4.7) sinh + 1 tanh > 1 holds if and only if p > 0 or p 4 5. Similar to Corollary 1, we have Corollary. Let M r a,b;w) be defined by 4.). Then for 0, ), the inequalities ) 4.8) M α 1,cosh; sinh < hold if and only if α 0 and β 4/5. ) < M β 1,cosh; Remark 5. Let a > b > 0 and let = ln a/b. Then sinh)/ = L/G, cosh = A/G, and then 4.8) can be changed into ) 4.9) M α G,A; < L < Mβ G,A; ), where L is the logarithmic means of a and b defined by L = La,b) = a b lna lnb. Making a change of variable = arcsinh b a a+b yields sinh)/ = NS/A, cosh = Q/A, where NS is the Nueman-Sándor mean defined by a b NS = NSa,b) = arcsinh a b. a+b Thus, 4.8) is equivalent to ) 4.10) M α A,Q; < NS < Mβ A,Q; ). Corollary implies that the inequalities 4.9) and 4.10) hold if and only if α 0 and β 4/5. The second one in 4.10) is a new one. Remark 6. It should be pointed out that all inequalities involving sin )/ and cos or sinh)/ and cosh in this paper can be changed into the equivalent ones for means by variable substitutions mentioned previously. In what follows we no longer mention.

12 1 ZHENG-HANG YANG 4.. Wilker-Zhu type inequalities. Letting k = in Theorem 1 and, we have Proposition. For 0, π/), inequality ) q sin tan sin tan 4.11) + > > + holds if and only if p > 0 or p Note that sin sin + tan + 8+cos p +cos p ln lnπ ln) by Proposition the inequality 8+cos sin > p cos p or sin < ) q and /5 q < 0. ) p 8+cos p cos p =, sin ) 1/p ) 1/p 8+cos p +cos p := H pcos) 4 ln holds for 0,π/) if and only if p lnπ ln), where H r is defined on 0, ) by ) 1/r 8+t r +t r 4.1) H r t) = if r 0 and H 0 t) = t. 4 Likewise, its reverse one holds if and only if p /5. This result cab be stated as a corollary. Corollary. Let H r t) be defined by 4.1). Then for 0,π/), the inequalities 4.1) H α cos) < sin < H βcos) are true if and only if α /5 and β Taking k = in Theorem, we have ln lnπ ln) Proposition 4. For 0, ), the inequality sinh tanh + > holds if and only if p > 0 or p /5. In a similar way, we get Corollary 4. Let H r t) be defined by 4.1). Then for 0, ), the inequalities 4.14) H α cosh) < sinh are true if and only if α 0 and β /5. < H β cosh) Now we give a generalization of inequalities 1.4) given by Zhu [6]

13 SOME SHARP WILKER TYPE INEQUALITIES 1 Proposition 5. For fied k 1, both the chains of inequalities sin k+ + k tan k k+ sin k+ + tan 4.15) k+ > k+ sin + k p k+ tan) > 1, sin k+ + k tan k+ > k+ tan + k 4.16) k+ sin k+ sin + k p k+ tan) > 1 hold for 0,π/) if and only if k and p lnk+) ln klnπ ln). Proof. The first inequality in 4.15) is equivalent to sin + k tan k sin tan k + k + k + k + tan = k ) sin > 0. k + Due to tan > 1 and sin < 1, it holds for 0,π/) if and only if k,p) {k,p > 0} {1 k,p < 0} := Ω 1. The second one is equivalent to + k k+ k+ sin sin + k k+ tan k+ tan > 1, which can be simplified to ) p sin ) ) k+1 p sin tan 1 = > 1. cos It is true for 0,π/) if and only if k,p) {k +1,p 0} := Ω. By Theorem 1, the third one in 4.15) holds for 0,π/) if and only if lnk +) ln k,p) {k 1, p > 0} {k 1, p klnπ ln) } := Ω. Hence, inequalities 4.15) hold for 0,π/) if and only if k,p) Ω 1 Ω Ω = {k,p lnk +) ln klnπ ln) }, which proves 4.15). In the same way, we can prove 4.16), of which details are omitted. Letting k = in Proposition 5 we have Corollary 5. For 0,π/), the inequalities 1.4) hold if and only if p ln lnπ ln) Similarly, using Theorem we easily prove the following Proposition 6. For fied k 1, the inequalities sinh + tanh k+ > k+ 4.17) k k+ sinh hold 0, ) if and only if k and p 1 5k+). + k k+ p tanh) > 1

14 14 ZHENG-HANG YANG Letting k = in Proposition 6 we have Corollary 6. For 0, ), the inequalities 1.5) hold if and only if p /5. Remark 7. Clearly, Corollaries 5 and 6 offer another method for solving the problems posed by Zhu in [8]. 4.. Other Wilker type inequalities. Taking k =,4 in Theorems 1 and, we obtain the following Proposition 7. For 0, π/), inequality ) p sin 4.18) + tan > holds if and only if p > 0 or p ln5 ln lnπ ln) It is reversed if and only if 1/5 p < 0. Proposition 8. For 0, π/), inequality ) 4p 1 sin 4.19) + tan > 1 holds if and only if p > 0 or p if /5 p < 0. ln 4lnπ ln) Putting k =, 4 in Theorem we get Proposition 9. For 0, ), inequality tanh 4.0) < holds if and only if p < 0 or p 1/5. sinh It is reversed if and only ) p + 1 Proposition 10. For 0, π/), inequality tanh ) 4p 4.1) < +1 sinh holds if and only if p < 0 or p 6/5. References [1] A. Baricz and J. Sándor, Etensions of generalized Wilker inequality to Bessel functions, J. Math. Inequal., 008), [] C.-P. Chen and W.-S. Cheung, Wilker- and Huygens-type inequalities and solution to Oppenheim s problem, Integral Transforms Spec. Funct. in press). [] C.-P. Chen, W.-S. Cheung, Sharpness of Wilker and Huygens type inequalities, J. Inequal. Appl. accepted). [4] C. Huygens, Oeuvres Completes , Societe Hollondaise des Science, Haga. [5] J.-C. Kuang, Applied Inequalities, Shangdong Science and Technology Press, Jinan, China, rd edition, 004. in Chinese) [6] I. Lazarević, Neke nejednakosti sa hiperbolickim funkcijama, Univerzitet u Beogradu. Publikacije Elektrotehničkog Fakulteta, Serija Matematika i Fizika ), [7] L. Matejička, Note on two new Wilker-type inequalities, Int. J. Open Problems Compt. Math., 4, 1 011), [8] D. S. Mitrinovič, Analytic Inequalities, Springer-Verlag, Berlin, [9] C. Mortitc, The natural approach of Wilker-Cusa-Huygens inequalities, Math. Inequal. Appl ),

15 SOME SHARP WILKER TYPE INEQUALITIES 15 [10] E. Neuman and J. Sándor, On the Schwab-Borchardt mean, Math. Pannon ), [11] E. Neuman and J. Sándor, On some inequalities involving trigonometric and hyperbolic functions with emphasis on the Cusa-Huygens, Wilker and Huygens inequalities, Math. Inequal. Appl. 1, 4 010), [1] E. Neuman, On Wilker and Huygens type inequalities, Math. Inequal. Appl. 15, 01), [1] J. Sándor and M. Bencze, On Huygens s trigonometric inequality, RGMIA Research Report Collection, 8, 005); available online at [14] H.-J. Seiffert, Werte zwischen dem geometrischen und dem arithmetischen Mittel zweier Zahlen, Elem. Math ), [15] H.-J. Seiffert, Aufgabe 16, Die Wurzel ) 1. [16] H.-J. Seiffert, Ungleichungen für elementare Mittelwerte [Inequalities for elementary means], Arch. Math. Basel) 64, 1995),, German). [17] J. S. Sumner, A. A. Jagers, M. Vowe and J. Anglesio, Inequalities involving trigonometric functions, Amer. Math. Monthly ), [18] J. B. Wilker, Problem E06, The American Mathematical Monthly 96, ), 55. [19] S.-H. Wu and H. M. Srivastava, A weighted and eponential generalization of Wilker s inequality and its applications, Integral Transforms and Spec. Funct ), [0] S.-H. Wu and H. M. Srivastava, A further refinement of Wilker s inequality, Integral Transforms and Spec. Funct ), [1] S.-H. Wu, On etension and refinement of Wilker s inequality, Rocky Mountain J. Math ), [] S.-H. Wu and L. Debnath, Wilker-type inequalities for hyperbolic functions, Appl. Math. Lett. 011), doi: /j.aml [] Zh.-H. Yang, Sharp bounds for Seiffert mean in terms of weighted power means of arithmetic mean and geometric mean, Math. Inequal. Appl. in print. [4] L. Zhang and L. Zhu, A new elementary proof of Wilker s inequalities, Math. Inequal. Appl ), [5] L. Zhu, On Wilker-type inequalities, Math. Inequal. Appl ), [6] L. Zhu, A source of inequalities for circular functions, Comput. Math. Appl ), [7] L. Zhu, Some new inequalities of the Huygens type, Comput. Math. Appl ), [8] L. Zhu, Some new Wilker-type inequalities for circular and hyperbolic functions, Abstr. Appl. Anal. 009, Art. ID [9] L. Zhu, Inequalities for Hyperbolic functions and their Applications, J. Inequal. Appl ), Art. ID Power Supply Service Center, Zhejiang Electric Power Corporation Research Institute, Hangzhou City, Zhejiang Province, 10009, China address: yzhkm@16.com