Skip to main content

Direct and converse results in the Ba space for Jackson-Matsuoka polynomials on the unit sphere

Abstract

In this paper, we introduce K-functional and modulus of smoothness of the unit sphere in the Ba space, establish their relations and obtain the direct and converse theorem of approximation in the Ba space for Jackson-Matsuoka polynomials on the unit sphere of R d

MSC:41A25, 41A35, 41A63.

1 Introduction

Let S:= S d 1 ={x:x=1} denote the unit sphere in R d (d3), dN, where x denotes the usual Euclidean norm, Z + the set of nonnegative integers, and the set of positive integers. We denote by L p := L p (S), 1p, the space of functions defined on with the finite norm

f p :={ ( S | f ( ϖ ) | p d ϖ ) 1 p , 1 p < , ess sup ϖ S | f ( ϖ ) | , p = ,
(1.1)

where ϖS, and is the measure element on , and | S d 1 |= S dϖ= 2 π d 2 Γ ( d 2 ) is the surface area of .

The conception of Ba space was first put forward by Ding and Luo (see [1]) in their discussion of the prior estimate of Laplace operator in some classical domains and in their study of the embedding theorem of Orlicz-Sobolev spaces, higher dimensional singular integrals, and harmonic function etc.

Definition 1.1 (see [1])

Let B={ B 1 , B 2 ,, B m ,} be a sequence of linear normed function spaces, a={ a 1 , a 2 ,, a m ,} be a sequence of nonnegative numbers. For f m = 1 B m , we form the power series of

I(f,α):= m = 1 a m α m f B m m .
(1.2)

If I(f,α) has a non-zero radius of convergence, we say fBa.

The norm in Ba is defined by

f Ba := inf α > 0 { 1 α : I ( f , α ) 1 } .
(1.3)

As proved in [1], Ba is a Banach space if B m is a Banach space. Evidently, if B m = L m , then Ba space is an Orlicz space. If B m = L p , a={1,0,,0,}, then a Ba space is a classical Lebesgue space.

Hereafter the space of spherical harmonics of degree k is denoted by H k d . The Laplace-Beltrami operator on the unit sphere is denoted by

Df(ϖ):= Δ f ( ϖ | ϖ | ) | ϖ S ,
(1.4)

which has eigenvalue λ k :=k(k+d2) corresponding to the eigenspace H k d with k Z + , namely, H k d ={ΨC(S):DΨ=k(k+d2)Ψ}. For the properties of the space of spherical harmonics and the Laplace-Beltrami operators, see [24]. The standard Hilbert space theory shows that L 2 (S)= k = 0 H k d . The orthogonal projection Y k : L 2 (S) H k d takes the form

Y k (f;ϖ):= Γ ( λ ) ( k + λ ) 2 π λ + 1 S P k λ (ϖ,ϑ)f(ϑ)dϑ,
(1.5)

where 2λ=d2, P k λ denotes hyperspherical polynomials of degree k which satisfies ( 1 2 r cos θ + r 2 ) r = k = 0 r k P k λ (cosθ), 0θπ.

The spherical means are denoted by

T θ (f):= T θ (f;ϖ):= 1 | S d 2 | ( sin θ ) d 2 ϖ , ϑ = cos θ f(ϑ)dϑ,

where | S d 2 | is the surface area of S d 2 , x,y denotes the usual Euclidean inner product. The properties of the spherical means are well known (see [5, 6]).

Based on the classical Jackson-Matsuoka kernel (see [7]) we define a new kernel

M n ; j , i , s (θ):= 1 Ω n ; j , i , s ( sin 2 j n θ / 2 sin 2 i θ / 2 ) 2 s ,n=1,2,,θR,

where j,i,sN, Ω n ; j , i , s is chosen such that 0 π M n ; j , i , s (θ) sin 2 λ θdθ=1. It is well known that M n ; j , i , s (θ) is an even nonnegative operator. In particular, it is an even and nonnegative trigonometric polynomial of degree at most 2s(nj+2j2i) for ji and the Jackson polynomial for j=i. Using M n ; j , i , s (θ) we consider spherical convolution:

J n ; j , i , s (f;ϖ):=(f M n ; j , i , s )(ϖ):= 0 π T θ (f;ϖ) M n ; j , i , s (θ)(θ) sin 2 λ θdθ.
(1.6)

It is called the Jackson-Matsuoka polynomial on the unit sphere based on the Jackson-Matsuoka kernel. In particular, ( f 0 M n ; j , i , s )(ϖ)=1 for f 0 (ϖ)=1. The classical Jackson-Matsuoka polynomial in classical L p space has been studied by many authors (see [7, 8]).

In this paper, we consider the approximation of the Jackson-Matsuoka polynomial on the unit sphere in the Ba space. Firstly, we introduce K-functionals, modulus of smoothness on the unit sphere in the Ba space, establish their relations. Then with the help of the relation between K-functionals and modulus of smoothness on the sphere in the Ba space and the properties of the spherical means, we obtain the direct and converse best approximation in the Ba space by Jackson-Matsuoka polynomial on the unit sphere of R d .

2 K-Functionals and modulus of smoothness

Definition 2.1 For fBa, the modulus of smoothness on the unit sphere is given by

ω ( f ; t ) Ba := sup 0 < θ t f T θ ( f ) Ba .
(2.1)

The K-functional of the unit sphere is given by

K ( f ; t 2 ) Ba := inf g W Ba ( S ) { f g Ba + t 2 D g Ba } ,
(2.2)

where W Ba (S):={f:fBa,DfBa}, 0<t< t 0 , t 0 is a positive constant, Df denotes the Laplace-Beltrami operator on the unit sphere.

To prove the weak equivalence between the K-functional and the modulus of smoothness on the unit sphere, we need the following lemma.

Lemma 2.2 Let B={ L p 1 , L p 2 ,, L p m ,} be a sequence of Lebesgue spaces, p m 1, m=1,2, , a={ a 1 , a 2 ,, a m ,} be a sequence of nonnegative numbers, { a m 1 m } l , { a m 1 m } l . If fBa:= m = 1 L p m , then

f p m 1 μ f Ba ,
(2.3)

where μ= inf m 1 { a m 1 m }.

Proof Since { a m 1 m } l , we may let 0<q= sup m 1 { a m 1 m } L . From { a m 1 m } l , we may let μ= inf m 1 { a m 1 m }. Then 0<μ<.

In view of the m = 1 a m α m f p m m 1, the sup m 1 f p m exists. Let

u= sup m 1 { f p m } .

By the definition of supremum, for any δ>0, there exists K1, such that f p K >uδ. By the definition of f Ba = inf α > 0 { 1 α :I(f,α)1}, for any ε>0, there exists 1 α 1 , such that m = 1 a m α 1 m f p m m 1 holds. Therefore f Ba = inf α > 0 { 1 α :I(f,α)}> 1 α 1 ε. Namely

1 m = 1 a m α 1 m f p m m a K α 1 K f p K K > [ a K 1 K ( u δ ) ] K [ s α 1 ( u δ ) ] K .

By the arbitrariness of δ,

1 α 1 μ u = μ sup m 1 { f p m } , f p m > 1 α 1 ε μ sup m 1 { f p m } ε ,

and also ε is arbitrary, therefore

sup m 1 { f p m } 1 μ f Ba ,

which implies that for any p m , we have

f p m 1 μ f Ba .

The proof is completed. □

We will establish the weak equivalence between the K-functional and the modulus of smoothness on the unit sphere in the Ba space.

Theorem 2.3 Let B={ L p 1 , L p 2 ,, L p m ,} be a sequence of Lebesgue spaces, p m 1, m=1,2, , a={ a 1 , a 2 ,, a m ,} be a sequence of nonnegative numbers. If { a m 1 m } l , { a m 1 m } l . Then for fBa, 0<t< π 2 , the weak equivalence

ω ( f ; t ) Ba K ( f ; t 2 ) Ba
(2.4)

holds, where the weakly equivalent relation A(n)B(n) means that A(n)B(n) and B(n)A(n), and relation A n B n means that there is a positive constant C independent on n such that A(n)CB(n) holds.

Throughout this paper, C denotes a positive constant independent on n and f and C(a) denotes a positive constant dependent on a, which may be different according to the circumstances.

Proof For m=1,2, , g W Ba (S), note that [9]

T θ g g p m C θ 2 D g p m , T θ f p m f p m .

By the definition of the Ba-norm Ba and (2.3), we have

T θ g g Ba = inf α > 0 { α : m = 1 a m α m T θ g g p m m 1 } inf α > 0 { α : m = 1 a m α m C m θ 2 m D g p m m 1 } inf α > 0 { α : m = 1 C m q m α m θ 2 m D g p m m 1 } inf α > 0 { α : m = 1 1 α m ( C q θ 2 μ D g Ba ) m 1 } .
(2.5)

Let α=2 C q θ 2 μ D g Ba , then m = 1 1 α m ( C q θ 2 μ D g Ba ) m =1. Consequently m = 1 a m α m T θ g g p m m 1. Therefore, we have

T θ g g Ba C(q,μ) θ 2 D g Ba .
(2.6)

The proof is similar to that of (2.6), we get

T θ ( f g ) Ba C(q,μ) f g Ba .
(2.7)

The triangle inequality gives

T θ f f Ba 2 f g Ba +C(q,μ) θ 2 D g Ba ,

which shows that ω ( f ; t ) Ba C(q,μ)K ( f ; t 2 ) Ba . On the other hand, we define

g(x)= v 0 0 θ ( sin u ) 2 λ du 0 u T t f(x) ( sin t ) 2 λ dt

with v θ 1 = 0 θ ( sin u ) 2 λ du 0 u ( sin t ) 2 λ dt. Then Dg= v θ ( T θ ff), this also gives

D g p m C θ 2 T θ f f p m .
(2.8)

Since for 0θ π 2 , the inequality 2 π θsinθθ shows that v θ 1 θ 2 . Moreover,

fg= v θ 1 0 θ ( sin u ) 2 λ du 0 u ( T t f) ( sin t ) 2 λ dt.

Consequently, we get

f g p m C T θ f f p m .
(2.9)

By (2.8) and (2.9), similar to the proof of (2.6), we obtain

D g Ba C θ 2 T θ f f Ba
(2.10)

and

f g Ba C T θ f f Ba .
(2.11)

Combining (2.10), (2.11), and the definition of K-functional, we have

K ( f ; θ 2 ) Ba f g Ba + θ 2 D g Ba C T θ f f Ba + C θ 2 θ 2 T θ f f Ba C T θ f f Ba .
(2.12)

Thus

K ( f ; t 2 ) Ba Cω ( f ; t ) Ba .

 □

Corollary 2.4 For t0, there is a constant C such that

ω ( f ; t δ ) Ba Cmax { 1 , t 2 } ω ( f ; δ ) Ba .
(2.13)

Proof By the weakly equivalent relation between the modulus of smoothness and K-functional, and the definition of K ( f ; t 2 ) Ba , we have

ω ( f ; t δ ) Ba C K ( f ; ( t δ ) 2 ) Ba C ( f g Ba + t 2 δ 2 D g Ba ) C max { 1 , t 2 } ( f g Ba + δ 2 D g Ba ) C max { 1 , t 2 } K ( f ; δ 2 ) Ba C max { 1 , t 2 } ω ( f ; δ ) Ba .

Corollary 2.4 has been proved. □

3 Some lemmas

Lemma 3.1 Let Ω n ; j , i , s = 0 π ( sin 2 j n θ 2 sin 2 i θ 2 ) 2 s sin 2 λ θdθ. Then the weak equivalence

Ω n ; j , i , s n 4 i s 2 λ 1
(3.1)

holds for 4si>2λ+1, ji.

Proof As θ π sin θ 2 θ 2 , and sinθθ for 0θπ, we have

Ω n ; j , i , s = 0 π ( sin 2 j n θ 2 sin 2 i θ 2 ) 2 s sin 2 λ θ d θ n 4 i s 2 λ 1 0 n π / 2 t 2 λ ( sin 2 j t t 2 i ) 2 s d t n 4 i s 2 λ 1 ( 0 π / 2 t 2 λ ( sin 2 j t t 2 i ) 2 s d t + π / 2 t 2 λ ( sin 2 j t t 2 i ) 2 s d t ) n 4 i s 2 λ 1 ,
(3.2)

since 4si>2λ+1, ji. Lemma 3.1 has been proved. □

Lemma 3.2 For 4is>r+2λ+1, ji, rR, there is a constant C(λ,j,i,s) such that

0 π θ r M n ; j , i , s (θ) sin 2 λ θdθC(λ,j,i,s) n r .
(3.3)

Proof Since θ π sin θ 2 θ 2 , and sinθθ for 0θπ, by Ω n ; j , i , s n 4 i s 2 λ 1 , we have

0 π θ r M n ; j , i , s ( θ ) sin 2 λ θ d θ C ( λ , i , j , s ) n 4 i s + 2 λ + 1 0 π θ r ( sin 2 j n θ 2 sin 2 i θ 2 ) 2 s sin 2 λ θ d θ C ( λ , i , j , s ) n 4 i s + 2 λ + 1 n 4 i s r 2 λ 1 0 n π / 2 t r + 2 λ ( sin 2 j t t 2 i ) 2 s d t C ( λ , i , j , s ) n r ( 0 π / 2 t r + 2 λ ( sin 2 j t t 2 i ) 2 s d t + π / 2 t r + 2 λ ( sin 2 j t t 2 i ) 2 s d t ) C ( λ , j , i , s ) C 2 n λ C ( λ , j , i , s ) n λ ,

where

C 2 = 0 π / 2 t λ ( sin 2 j t t 2 i ) 2 s dt+ π / 2 t λ ( sin 2 j t t 2 i ) 2 s dt,4is>r+2λ+1,ji.

 □

Lemma 3.3 (see [9])

Suppose that g C 2 (S). Then, for ϖ(S) and 0<t< π 2 , we have

B t (g,ϖ)g(ϖ)= 1 Φ ( t ) 0 t sin d 2 θdθ 0 θ 1 sin d 2 u Φ(u) B u (Dg,ϖ)du,
(3.4)
T θ (g;ϖ)g(ϖ)= Γ ( d 1 2 ) 2 π d 1 2 0 θ Φ ( t ) sin d 2 t B t (Dg,ϖ)dt,
(3.5)

where

B t (f,ϖ)= 1 Φ ( t ) cos t ϖ , ϑ 1 f(ϑ)dϑ,t>0,ϖ,ϑ S d 1 ,

Φ(t)= 2 π d 1 2 Γ ( d 1 2 ) 0 t sin d 2 udu.

Lemma 3.4 Let g,Dg, D 2 gBa, Ba:= m = 1 L p m (S), m=1,2, , 1 p m , J n ; j , i , s (f;ϖ) be the Jackson-Matsuoka polynomial on the unit sphere based on the Jackson-Matsuoka kernel, 4is>d+3. Then there is a constant C(d,j,i,s) such that

J n ; j , i , s g g α ( n ) D g Ba C(d,j,i,s) n 4 D 2 g Ba ,
(3.6)

where α(n) n 2 .

Proof For mN, by (3.5), we have

J n ; j , i , s ( g ; ϖ ) g ( ϖ ) = 0 π M n ; j , i , s ( θ ) ( T θ ( g ; ϖ ) g ( ϖ ) ) sin d 2 θ d θ = 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ Γ ( d 1 2 ) 2 π d 1 2 0 θ Φ ( t ) sin d 2 t B t ( D g , ϖ ) d t = D g ( ϖ ) 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ Γ ( d 1 2 ) 2 π d 1 2 0 θ Φ ( t ) sin d 2 t d t + 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ Γ ( d 1 2 ) 2 π d 1 2 0 θ Φ ( t ) sin d 2 t ( B t ( D g , ϖ ) D g ( ϖ ) ) d t × 0 t sin d 2 u ( B t ( D g , ϖ ) D g ( ϖ ) ) d u = D g ( ϖ ) 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ 0 θ d t sin d 2 t 0 t sin d 2 u d u + 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ 0 θ d t sin d 2 t 0 t sin d 2 u ( B t ( D g , ϖ ) D g ( ϖ ) ) d u : = α ( n ) D g ( ϖ ) + 0 π M n ; j , i , s ( θ ) sin d 2 θ Ψ θ ( g , ϖ ) d θ ,
(3.7)

where

α(n):= 0 π M n ; j , i , s (θ) sin d 2 θdθ 0 θ d t sin d 2 t 0 t sin d 2 udu

and

Ψ θ ( g , ϖ ) : = 0 θ d t sin d 2 t 0 t sin d 2 u ( B t ( D g , ϖ ) D g ( ϖ ) ) d u , α ( n ) = 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ 0 θ d t sin d 2 t 0 t sin d 2 u d u α ( n ) 0 π M n ; j , i , s ( θ ) sin d 2 θ d θ 0 θ t sin d 2 ξ sin d 2 t d t α ( n ) 0 π θ 2 M n ; j , i , s ( θ ) sin d 2 θ d θ n 2 ( 0 < ξ < t ) .
(3.8)

Using Lemma 3.3, and the expression of B t (Dg,ϖ)Dg, we obtain

Ψ θ ( g ) p m C(d,j,i,s) θ 4 D 2 g p m .

By Lemma 3.2, and the Hölder-Minkowski inequality we get

0 π M n ; j , i , s ( θ ) sin d 2 θ Ψ θ ( g , ϖ ) d θ p m C ( d , j , i , s ) D 2 g p m 0 π θ 4 M n ; j , i , s ( θ ) sin d 2 θ d θ C ( d , j , i , s ) n 4 D 2 g p m .
(3.9)

Consequently, by (3.7), (3.8), and (3.9), we get

J n ; j , i , s g g α ( n ) D g p m C(d,j,i,s) n 4 D 2 g p m .
(3.10)

By Lemma 2.2, we have

J n ; j , i , s g g α ( n ) D g Ba = inf α > 0 { α : m = 1 a m α m J n ; j , i , s g g α ( n ) D g p m m 1 } inf α > 0 { α : m = 1 a m α m C ( d , j , i , s ) n 4 D 2 g p m m 1 } inf α > 0 { α : m = 1 q m C m α m C ( d , j , i , s ) n 4 D 2 g Ba m 1 } C ( d , j , i , s , q , μ ) n 4 D 2 g Ba .

The proof is completed. □

4 Main results

Theorem 4.1 Suppose that fBa:= m = 1 L p m (S), m=1,2, , 1 p m , J n ; j , i , s (f;ϖ) be the Jackson-Matsuoka polynomial on the unit sphere based on the Jackson-Matsuoka kernel, 4is>d+3, 2λ=d2, ji. Then

J n ; j , i , s ( f ) f Ba C(d,j,i,s)ω ( f ; n 1 ) Ba .
(4.1)

Proof Since ( f 0 M n ; j , i , s )(ϖ)=1 for f 0 (ϖ)=1, Therefore, we have

J n ; j , i , s ( f ) f Ba = inf α > 0 { α : m = 1 a m α m J n ; j , i , s ( f ) f p m m 1 } inf α > 0 { α : m = 1 a m α m 0 π M n ; j , i , s ( θ ) ( f ( x ) T θ ( f ; x ) ) sin 2 λ θ d θ p m m 1 } inf α > 0 { α : m = 1 a m α m ( 0 π f T θ ( f ) p m M n ; j , i , s ( θ ) sin 2 λ θ d θ ) m 1 } inf α > 0 { α : m = 1 q m C m α m ( 0 π f T θ ( f ) Ba M n ; j , i , s ( θ ) sin 2 λ θ d θ ) m 1 } .
(4.2)

Splitting the integral on [0,π] into two integrals on [0,1/n] and [1/n,π], respectively, and using the definition of ω ( f ; t ) Ba , we conclude that

f T θ ( f ) Ba ω ( f ; n 1 ) Ba + 1 / n π ω ( f ; θ ) Ba M n ; j , i , s (θ) sin 2 λ θdθ.
(4.3)

From Corollary 2.4 we have, for θ n 1 ,

ω ( f ; θ ) Ba =ω ( f ; n 1 ) Ba Cmax { 1 , n 2 θ 2 } ω ( f ; n 1 ) Ba C n 2 θ 2 ω ( f ; n 1 ) Ba .
(4.4)

By (4.3), (4.4), and Lemma 3.1, we get

f T θ ( f ) Ba Cω ( f ; θ ) Ba .
(4.5)

Therefore, by (4.2), (4.5), we have

J n ; j , i , s ( f ) f Ba inf α > 0 { α : m = 1 q m C m α m ( 0 π ω ( f ; n 1 ) Ba M n ; j , i , s ( θ ) sin 2 λ θ d θ ) m 1 } = inf α > 0 { α : m = 1 q m C m α m ( ω ( f ; n 1 ) Ba ) m 1 } C ( d , j , i , s , q , μ ) ω ( f ; n 1 ) Ba .
(4.6)

 □

Theorem 4.2 Suppose that fBa:= m = 1 L p m (S), 1 p m , J n ; j , i , s (f;x) is the Jackson-Matsuoka polynomial on the unit sphere based on the Jackson-Matsuoka kernel, 4is>d+3, 2λ=d2, ji, 0<α<1. Then the following statements are equivalent:

(1) J n ; j , i , s ( f ) f Ba =O ( n α ) ,n2;
(4.7)
(2)ω ( f ; n 1 ) Ba =O ( t α ) ,0<t<1.
(4.8)

Proof By Theorem 4.1, we have (2) (1). Now, we prove (1) (2). Let r be a fixed positive integer, defined by

J n ; j , i , s r (f;ϖ):= k = 0 r ( 0 π M n ; j , i , s ( θ ) Q k λ ( cos θ ) sin 2 λ θ d θ ) r Y k (f;ϖ).

By orthogonality of the orthogonal projector Y k , we have

J r + l ( f ) = k = 0 r ( 0 π M n ; j , i , s ( θ ) Q k λ ( cos θ ) sin 2 λ θ d θ ) r × Y k ( v = 0 r ( 0 π M n ; j , i , s ( θ ) Q v λ ( cos θ ) sin 2 λ θ d θ ) l Y v ( f ) ) = J n ; j , i , s r ( J n ; j , i , s l ( f ) ) .
(4.9)

Let g= J n ; j , i , s r (f), by (4.9) we get

f g Ba = inf α > 0 { α : m = 1 a m α m f g p m m 1 } = inf α > 0 { α : m = 1 a m α m f J n ; j , i , s r ( f ) p m m 1 } inf α > 0 { α : m = 1 a m α m ( k = 1 r J n ; j , i , s k 1 ( f ) J n ; j , i , s k ( f ) p m ) m 1 } inf α > 0 { α : m = 1 a m α m ( C ( d , j , i , s ) k = 1 r J n ; j , i , s k 1 ( f J n ; j , i , s ( f ) ) p m ) m 1 } inf α > 0 { α : m = 1 a m α m C ( d , j , i , s ) r f J n ; j , i , s ( f ) p m m 1 } inf α > 0 { α : m = 1 q m C 1 m ( d , j , i , s , r ) α m f J n ; j , i , s ( f ) Ba m 1 } C ( d , j , i , s , r , q , μ ) f J n ; j , i , s ( f ) Ba ,
(4.10)

where J n ; j , i , s 0 (f)=f.

On the other hand,

D J n ; j , i , s r ( f ) p m k = 0 r k(k+d2) ( 0 π M n ; j , i , s ( θ ) | Q k λ ( cos θ ) | sin 2 λ θ d θ ) r Y k (f).

Note that [10]

| Q k λ (cosθ)|| C k λ ( cos θ ) C k λ ( 1 ) |Cmin { ( k θ ) 1 , 1 } .

For kθ1, from (2.4) we have

D J n ; j , i , s r ( f ) p m C ( d , j , i , s ) k = 0 r k ( k + d 2 ) k r λ ( 0 π M n ; j , i , s ( θ ) θ λ sin 2 λ θ d θ ) r Y k ( f ) p m C ( d , j , i , s ) n r λ f p m k = 0 k 2 r λ C ( d , j , i , s ) n r λ f p m
(4.11)

holds for r> 6 d 2 . For kθ<1, by Lemma 3.2, we get

D J n ; j , i , s r ( f ) p m k = 0 r ( 0 π M n ; j , i , s ( θ ) θ 2 r ( θ 2 k ( k + d 2 ) ) 1 r | Q k λ ( cos θ ) | sin 2 λ θ d θ ) r Y k ( f ) p m C ( d , j , i , s ) k = 0 r ( 0 π M n ; j , i , s ( θ ) θ 2 r ( ( k θ ) 2 ) 2 r sin 2 λ θ d θ ) r Y k ( f ) p m C ( d , j , i , s ) k = 0 r ( 0 π M n ; j , i , s ( θ ) θ 2 r sin 2 λ θ d θ ) r Y k ( f ) p m C ( d , j , i , s ) n 2 k = 0 Y k ( f ) p m C ( d , j , i , s ) n 2 f p m .
(4.12)

Consequently, the inequality

D J n ; j , i , s r ( f ) p m C(d,j,i,s) n 2 f p m
(4.13)

holds uniformly for r> 6 d 2 . Thereby

D J n ; j , i , s r ( f ) Ba = inf α > 0 { α : m = 1 a m α m D J n ; j , i , s r ( f ) p m 1 } inf α > 0 { α : m = 1 a m α m C ( d , j , i , s ) n 2 f p m 1 } inf α > 0 { α : m = 1 q m C m α m C ( d , j , i , s ) n 2 f Ba 1 } C ( d , j , i , s , q , μ ) n 2 f Ba .
(4.14)

Without loss of generality, we may assume r 1 > 6 d 2 , r> r 1 + 6 d 2 . Using Lemma 3.4 and (4.9), we have

α ( n ) D J n ; j , i , s r ( f ) Ba = α ( n ) D J n ; j , i , s r ( f ) Ba J n ; j , i , s r ( f ) f Ba + C ( d , j , i , s ) n 2 D 2 J n ; j , i , s r ( f ) Ba r J n ; j , i , s ( f ) f Ba + C ( d , j , i , s ) n 2 D 2 J n ; j , i , s r r 1 ( f ) Ba r J n ; j , i , s ( f ) f Ba + C ( d , j , i , s ) ( n 2 D J n ; j , i , s r ( f ) Ba + n 2 J n ; j , i , s r ( f ) J n ; j , i , s r r 1 ( f ) Ba ) r J n ; j , i , s ( f ) f Ba + C ( d , j , i , s ) ( n 2 D J n ; j , i , s r ( f ) Ba + J n ; j , i , s r 1 ( f ) f Ba ) C ( d , j , i , s , r ) ( J n ; j , i , s ( f ) f Ba + n 2 D J n ; j , i , s r ( f ) Ba ) C ( d , j , i , s , r , q , μ ) ( J n ; j , i , s ( f ) f Ba + f Ba ) .
(4.15)

Consequently, considering n 2 D J n ; j , i , s r ( f ) Ba C(d,j,i,s,r,q,μ) f J n ; j , i , s ( f ) Ba , by the definition of K ( f ; t 2 ) Ba , and Theorem 2.3, we have

ω ( f ; n 1 ) Ba C K ( f ; n 2 ) Ba C ( f J n ; j , i , s r ( f ) Ba + n 2 D J n ; j , i , s r ( f ) Ba ) C ( d , j , i , s , r , q , μ ) f J n ; j , i , s ( f ) Ba .
(4.16)

In view of (4.7), we get

ω ( f ; n 1 ) Ba C(d,j,i,s,r,q,μ) n α .
(4.17)

Let ( n + 1 ) 1 <t n 1 , we have

ω ( f ; t ) Ba ω ( f ; n 1 ) Ba C ( d , j , i , s , r , q , μ ) ( n n + 1 ) α ( n + 1 ) α C ( d , j , i , s ) ( n + 1 ) α C ( d , j , i , s , r , q , μ ) t α .
(4.18)

The proof is completed. □

References

  1. 1.

    Ding XX, Luo PZ: Ba spaces and some estimates of Laplace operator. J. Syst. Sci. Math. Sci. 1981, 1: 9–33.

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Freedden W, Gervens T, Schreiner M: Constructive Approximation on the Sphere. Oxford University Press, New York; 1998.

    Google Scholar 

  3. 3.

    Wang KY, Li LQ: Harmonic Analysis and Approximation on the Unit Sphere. Science Press, Beijing; 2000.

    Google Scholar 

  4. 4.

    Müller C Lecture Notes in Mathematics 17. In Spherical Harmonics. Springer, Berlin; 1971.

    Google Scholar 

  5. 5.

    Berens H, Butzer PL, Pawelke S: Limitierungsverfahren von Reihen mehrdimensionaler Kugelfunktionen und deren Saturationsverhalten. Publ. Res. Inst. Math. Sci., Ser. A 1968, 4: 201–268. 10.2977/prims/1195194875

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Pawelke S: Über die Approximationsordnung bei Kugelfunktionen und algebraischen Polynomen. Tohoku Math. J. 1972, 24: 473–486. 10.2748/tmj/1178241489

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Matsuoka Y: On the approximation of functions by some singular integrals. Tohoku Math. J. 1966, 18: 13–43. 10.2748/tmj/1178243477

    MathSciNet  Article  MATH  Google Scholar 

  8. 8.

    Chen WZ: Approximation Theory of Operators. Xiamen University Publishing House, Xiamen; 1989. (in Chinese)

    Google Scholar 

  9. 9.

    Ditzian Z, Runovskii K:Averages on caps of S d 1 . J. Math. Anal. Appl. 2000, 248: 260–274. 10.1006/jmaa.2000.6897

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Belinsky E, Dai F, Ditzian Z: Multivariate approximating averages. J. Approx. Theory 2003, 125: 85–105. 10.1016/j.jat.2003.09.005

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their valuable comments, remarks, and suggestions, which greatly helped us to improve the presentation of this paper and made it more readable. Project was supported by the Natural Science Foundation of China (Grant No. 10671019), the Zhejiang Provincial Natural Science Foundation (Grant No. LY12A01008), and the Cultivation Fund of Taizhou University.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Guo Feng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Feng, G., Feng, Y. Direct and converse results in the Ba space for Jackson-Matsuoka polynomials on the unit sphere. J Inequal Appl 2014, 419 (2014). https://doi.org/10.1186/1029-242X-2014-419

Download citation

Keywords

  • Jackson-Matsuoka polynomials
  • Ba space
  • modulus of smoothness
  • K-functional
  • spherical means