POINTWISE AND GRAND MAXIMAL FUNCTION CHARACTERIZATIONS OF BESOV-TYPE AND TRIEBEL LIZORKIN-TYPE SPACES
|
|
- Brett Warner
- 5 years ago
- Views:
Transcription
1 Aales Academiæ Scietiarum Feicæ Mathematica Volume 41, 2016, POINTWISE AND GRAND MAXIMAL FUNCTION CHARACTERIZATIONS OF BESOV-TYPE AND TRIEBEL LIZORKIN-TYPE SPACES Tomás Soto Uiversity of Helsiki, Deartmet of Mathematics ad Statistics P.O. Box 68, FI Uiversity of Helsiki, Filad; Abstract. I this ote, we establish characterizatios for the homogeeous Besov-tye saces Ḃ,R s,τ ad Triebel Lizorki-tye saces F,R s,τ, itroduced by Yag ad Yua, through fractioal Hajłasz-tye gradiets for suitable values of the arameters, ad τ whe 0 < s < 1, ad through grad Littlewood Paley-tye maximal fuctios for all admissible values of the arameters. These characterizatios exted the characterizatios obtaied by Koskela, Yag ad Zhou for the stadard homogeeous Besov ad Triebel Lizorki saces. 1. Itroductio The mai urose of this ote is to establish oitwise characterizatios of the Besov-tye ad Triebel Lizorki-tye fuctio saces, itroduced by Yag ad Yua i [14] ad [16], through Hajłasz-tye gradiets. Characterizatios of this tye go back to Hajłasz s oitwise characterizatio of the classical Sobolev saces [6], ad they have foud may alicatios i both the Euclidea settig as well as i the settig of more geeral metric measure saces. The families of fuctio saces cosidered i this aer iclude the stadard Besov ad Triebel Lizorki saces as well as the fractioal Morrey Sobolev saces for smoothess idices s 0, 1 as secial cases. To begi with, we first recall the defiitios of the stadard homogeeous Triebel Lizorki ad Besov saces. For a dimesio N := {1,2,3, }, which shall be fixed throughout the aer, we deote by SR the class of Schwartz fuctios, i.e. the class of comlex-valued C R fuctios φ for which φ Sk,m := su 1+ x m γ φx γ k, x R is fiite for all k, m N 0 := N {0}; here γ = γ γ ad γ = γ 1 x 1 γ x for all multi-idices γ = γ 1,,γ N 0. The semiorms Sk,m iduce a locally covex toology o SR. We deote by S R the class of temered distributios, i.e. the class of cotiuous comlex-valued liear fuctioals o SR, ad eui S R with the toology iduced by the maigs f f,φ, φ SR. For stadard facts about the Schwartz sace ad temered distributios, articularly their Fourier-trasforms ad covolutios, we refer to e.g. [5]. doi: /aasfm Mathematics Subject Classificatio: Primary 42B35; Secodary 46E35. Key words: Besov-tye sace, fuctio sace, grad maximal fuctio, Hajłasz gradiet, Triebel Lizorki-tye sace. The author was suorted by the Fiish CoE i Aalysis ad Dyamics Research.
2 104 Tomás Soto Followig [3], ϕ ad ψ shall throughout the aer be fixed elemets of SR satisfyig ad su ϕ, su ψ { ξ R : 2 1 ξ 2 }, ϕξ, ψξ c > 0 whe 3/5 ξ 5/3 ϕ2 j ξ ψ2 j ξ = 1 whe ξ 0. j Z For φ SR ad j Z, we write φ j for the Schwartz fuctio x 2 j φ2 j x. For s R, 0 < < ad 0 <, the homogeeous Triebel Lizorki sace F, s R is defied as the class of temered distributios f for which ˆ f F,R s = R [ j Z ] / 1/ 2 js ϕ j fz dz is fiite, with the obvious modificatio made whe =. For s R, 0 < ad 0 <, the homogeeous Besov sace Ḃs,R is defied as the class of temered distributios f for which f Ḃs, R = j Z 1/ 2 js ϕ j f L R is fiite, with agai the obvious modificatio made whe =. It is well kow that after uotietig out the temered distributios whose Fourier-trasforms are suorted at the origi, i.e. the olyomials, F, s R ad Ḃs, R become uasi- Baach saces, ideedet of the choice of ϕ i the sese that two admissible choices iduce euivalet uasiorms; see for istace [13]. The followig Triebel Lizorki-tye ad Besov-tye saces were itroduced by Yag ad Yua i [14] ad [16]. For s R, 0 < <, 0 < ad 0 τ <, the homogeeous Triebel Lizorki-tye sace F,R s,τ is defied as the class of temered distributios f for which ˆ [ f F, s,τ R = su 1 ] / 1/ 2 js ϕ x R, l Z Bx,2 l τ j fz dz Bx,2 l is fiite, with the obvious modificatio whe =. For s R, 0 <, 0 < ad 0 τ <, the homogeeous Besov-tye sace Ḃs,τ,R is defied as the class of temered distributios f for which f Ḃs,τ,R = su 1 1/ 2 js ϕ x R, l Z Bx,2 l τ j f L Bx,2 l is fiite, with agai the obvious modificatio whe =. Agai, these saces become uasiormed saces after uotietig out the olyomials. Actually, i the defiitios of [14] ad [16], the suremum is take over dyadic cubes istead of balls with dyadic radii, but it is uite easy to see that the above defiitios yield euivalet uasiorms. It is also kow that these saces are ideedet of the choice ofϕ[16, Corollary 3.1] ad that they are uasi-baach saces [11, Proositio 2.2] ad the j l j l
3 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 105 refereces therei. Here are a coule examles of how these saces coicide 1 with other well-kow fuctio saces: F, s,0r = F, s R ad Ḃs,0, R = Ḃs, R for all admissible arameters. F, s,1/ R = F, s R for all admissible arameters; i articular F 0,1/,2 R = BMOR. 1 Ḃs, u 1 u, R = N,u, s R for 0 < u < ad s R, where N,u, s R stads for the homogeeous Besov-Morrey sace, i.e. the Besov-tye sace based o the Morrey sace MuR istead of L R, itroduced i [9] ad [10]. F s,1 u 1 u, R = E,u, s R for 0 < u <, 0 < ad s R, where E,u, s R stads for the homogeeous Triebel Lizorki-Morrey sace, i.e. the Triebel Lizorki-tye sace based o the Morrey sace Mu R istead of L R. For 0 < α < mi1,, the sace F α,1 2 α 2 2,2 R coicides with the sace Q α R itroduced i [2]. For 1 < τ < ad all admissible values of, ad s, 1 F, s,τ R = F s+τ 1, R ad Ḃ s,τ, R = Ḃs+τ 1, R. Recall that for s > 0, F s, R ad Ḃs, R both coicide with the homogeeous Hölder Zygmud sace of order s; see e.g. [5, Theorem 6.3.6] ad [3, Sectio 5]. We refer to e.g. [11] ad [17] for the defiitios of the saces F,R s, BMOR, E,u,R s, N,u,R s ad Q α R which we shall ot eed i the seuel ad to [17, Proositio 1 ad Theorem 2] as well as the refereces therei for details about the above coicideces. We also refer to [11] for a detailed discussio of the history of the saces i uestio. Isired by [8], we ow defie fuctio saces aalogous tof,r s,τ adḃs,τ,r through Hajłasz-tye gradiets. If u : R C is a Lebesgue-measurable fuctio ad 0 < s <, D s u stads for the class of all fractioal s-hajłasz gradiets of u, i.e. the class of seueces g = g k k Z of measurable fuctios g k : R [0, ] for which there exists a set E R of measure zero such that, for all k Z, ux uy x y s g k x+g k y wheever x, y R \E ad 2 k 1 x y < 2 k. For 0 < <, 0 <, 0 < s < ad 0 τ <, we defie Ṁs,τ, R as the class of measurable fuctios u such that u Ṁs,τ,R := if su g D s u x R, l Z 1 Bx,2 l τ ˆ Bx,2 l / g k z dz k l 1/ 1 Here ad i the seuel, X = Y for fuctio sacesx ady meas that they embed cotiuously ito each other.
4 106 Tomás Soto is fiite, ad for 0 <, 0 <, 0 < s < ad 0 τ <, we defie Ṅ, s,τr as the class of measurable fuctios u such that 1/ u Ṅs,τ,R := if su g D s u x R, l Z 1 Bx,2 l τ k l g k L Bx,2 l is fiite, with the obvious modificatios for = i both cases. Ṁ,R s,τ ad Ṅ,R s,τ become uasiormed saces after uotietig out the fuctios that are costat almost everywhere. For τ = 0, they coicide with the saces Ṁ, s R ad Ṅ, s R itroduced i [8]. Note that aalogous fuctio saces could well be defied o ay metric measure sace istead of just R ; see [8] ad [4] for the case τ = 0. Our mai result is the followig oitwise characterizatio of the elemets of F, s,τr ad Ḃs,τ, R for s 0,1 which geeralizes the result obtaied for τ = 0 i [8, Theorem 3.2]. Theorem s, we have Ṁs,τ ii For s 0,1, Ṅ s,τ,r = Ḃs,τ i For s 0,1,,,, ] ad τ [0, 1 + +s +s, R = F, s,τr with euivalet uasiorms., ], 0, ] ad τ [0, s, we have +s,r with euivalet uasiorms. Note that if 0 < s < 1 ad τ 1/+1 s/, the s+τ 1/ 1, so i view of 1 we do ot exect that the rage of τ i the theorem could be imroved. The theorem follows from Theorems 1.2 ad 1.3 below, which are of ideedet iterest ad whose settig we shall exlai ext. Isired by [7] ad [8], we defie grad couterarts of F,R s,τ ad Ḃs,τ,R. For all N N 0 { 1}, ad m, l N 0, let { ˆ } A l N,m = φ SR : x γ φxdx = 0 whe γ N ad φ SN+l+1,m 1, R where the momet coditio is iterreted to be void whe N = 1. For s R, 0 < <, 0 <, 0 τ < ad N, m ad l as above, we defie the grad Triebel Lizorki-tye sace A l N,mF,R s,τ as the class of temered distributios f for which f A l N,m F, s,τ R 1 := su x R, l Z Bx,2 l τ ˆ Bx,2 l [ j l 1 ] 2 js su φ j fz dz φ A l N,m is fiite, with the obvious modificatio for =. For s R, 0 <, 0 <, 0 τ < ad N, m ad l as above, we defie the grad Besov-tye sace A l N,mḂs,τ, R as the class of temered distributios f for which 1 1 f A l N,m Ḃ,R s,τ := su 2 js su φ x R, l Z Bx,2 l τ j f φ A l L Bx,2 l N,m is fiite, where the suremum is take oitwise ad the obvious modificatio is made for =. The two uatities defied above are uasiorms whe N = 1, ad whe N N 0, they become uasiorms after uotietig out the olyomials with degree at most N. We obviously have A l N,mF, s,0r = A l N,mF, s R ad j l
5 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 107 A l N,mḂs,0,R = A l N,mḂs,R for all admissible arameters, where A l N,mF,R s ad A l N,mḂs, R are the grad Triebel Lizorki ad grad Besov saces defied i [7] ad [8]. The followig result exteds [8, Theorem 3.1]. Theorem 1.2. i Let0 < <,0 <,s R adj = /mi1,,. If the itegers N 1, m 0 ad l 0 satisfy 2 N +1 > maxs,j s ad m > maxj,+n +1, the F,R s,τ = A l N,mF,R s,τ for all τ [0, 1]. ii Let 0 <, 0 <, s R ad J = /mi1,. If the itegers N 1, m 0 ad l 0 are related by 2, the Ḃs,τ,R = A l N,mḂs,τ,R for all τ [0, 1]. iii The results of i ad ii actually hold for all τ [0, 1 + ǫ, where 2 ǫ = mi 2N +1 s, m J, 2N +1++s J > 0. The roof of the theorem is reseted i sectio 2. We also have the followig result which geeralizes the aalogous results for τ = 0 obtaied i [8, Theorem 3.2]. Theorem 1.3. Suose that s 0,1 ad m +1 or s = 1 ad m +2. i For,,, ], τ [0, s ad l N +s +s 0, we have Ṁ,R s,τ = A l 0,mF,R s,τ with euivalet uasiorms. ii For, ], 0, ], τ [0, 1+ 1 s ad l N +s 0, we have Ṅs,τ,R = A l 0,mḂs,τ,R with euivalet uasiorms. The roof of this is reseted i sectio 3. Previously, the Besov-tye ad Triebel Lizorki tye saces have bee characterized through differece itegrals see e.g. [1] where the o-homogeeous versios of the saces are treated ad through Peetre-tye maximal fuctios as well as local meas i [15]. We refer to [11] for a variety of other characterizatios. We ed this sectio with some otatio covetios. We write A for the -dimesioal Lebesgue measure of a measurable set A, ad A f orf A for A 1 fxdx A wheever the latter uatity is well-defied. For two o-egative fuctios f ad g with the same domai, we write f g if f Cg for some ositive ad fiite costat C, usually ideedet of some aramters; f g meas that f g ad g f. For real umbers x ad y, we may write x y for mix,y. For a dyadic cube Q := 2 j k +[0,1], j Z, k Z, we let lq = 2 j ad x Q = 2 j k. For a ball B of R, we deote by λb, λ > 0, the ball cocetric with B with radius λ times the radius of B. We write PR for the vector sace of olyomials i R ad P N R for the vector sace of olyomials with degree at most N whe N N 0 ; whe N < 0, we let P N R := {0}. We shall freuetly abuse otatio by writig F,R s,τ for both the class of temered distributios f such that f Ḟs,τ, R is fiite as well as the fuctio sace {f S R /PR : f F, s,τ R < }, ad similarly for other saces defied i this sectio as well. Whe talkig about F, s,τr ad Ḃs,τ, R i the same setece with some idicated arameter rage, it is uderstood that the ossibility = is excluded i the case of F,R s,τ, ad similarly for the other airs of saces defied i this sectio.
6 108 Tomás Soto 2. Proof of Theorem 1.2 The argumet below modifies the roof of [8, Theorem 3.1]; we have left out some details that carry over uchaged. Proof of Theorem 1.2. i First, if a temered distributio f belogs to A l N,mF, s,τr, the f F, s,τ R f A l N,mF, s,τ R < sice our fixedϕis a costat multile of a elemet of A l N,m. I this sese we have Al N,mF,R s,τ F,R s,τ. Coversely, if a temered distributio f belogs to F, s,τr, it is show i the roof of [16, Lemma 4.2] that γ ψ j ϕ j f L R 2 j γ +/ s τ f F s,τ, R, for all itegers j ad multi-idices γ, so the discussio i [3, ] alies: if γ > s+τ /, the j 1 γ ψ j ϕ j f L R <, so there exists olyomials P K K N i P L R with L = s+τ / ad a olyomial P f such that f +P f = lim ψ j ϕ j f +P K K j= K with covergece i S R ; here the olyomial P f is uiue modulo P L R i the sese that if ψ i, ϕ i, PK i K N ad Pf i are, for i {1,2}, two choices of admissible fuctios as above, the P 1 f P 2 f P L R. Furthermore, L < s+ ǫ N+1, ad 2 it is easily checked that for f 1, f 2 F, s,τr, f 1 +P f1 f 2 +P f2 is a elemet of P N R if ad oly if f 1 f 2 is a olyomial. The rule f f +P f =: f thus yields a well-defied, liear ad ijective maig from the fuctio sace F, s,τr ito S R /P N R. The la ow is to show that this maig actually takes F, s,τr cotiuously ito A l N,mF, s,τr. Sice m > +N +1, by the roof of [7, Theorem 1.2] we have φ j fz 3 a QR t R Q 1/2 χ Q z lq=2 j R for all φ A l N,m, z R ad j Z, with the imlied costat ideedet of these arameters. Here the outer sum is take over all dyadic cubes Q of R with side legth 2 j ad the ier sum over all dyadic cubes R of R ; t R deotes f, ψ R with ψ R x = 2 i/2 ψ i x x R for all dyadic cubes R with side legth 2 i ; ad 4 a QR = 2 i j /2+N mii,j x Q x R m for all cubes Q ad R with side legths 2 j ad 2 i resectively. The cubes Q i 3 are airwise disjoit, so for ay dyadic cube P with side legth 2 l we have ˆ [ 1 fz ] / 1/ 2 js su φ P τ j dz P φ A j l 1/ 1 ˆ [ / 2 js a P τ QR t R Q /2 χ Q z] dz P j l lq=2 j R
7 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 109 ˆ 1 [ Q s/ /2 P τ P Q P R a QR t R, R Q f,r s,τ a QR t R χ Q z] / dz 1/ where f, s,τr stads for the sace of seueces b Q Q of comlex umbers, idexed by the dyadic cubes of R, such that ˆ [ b Q Q f,r s,τ = su 1 ] / 1/ Q s/ 1/2 b P P τ Q χ Q x dx, P Q P where the suremum is take over all dyadic cubes P of R, is fiite. From 4 it is easy to check that for ǫ > 0 as i the statemet of art iii, we have s [ J ǫ lq lq 2 J+ ǫ ] x Q x R lr 2 a QR 1+ mi, lr maxlq,lr lr lq for all dyadic cubes Q ad R, i.e. that the oerator b Q Q a QR b R is ǫ-almost diagoal o f, s,τr [16, Defiitio 4.1]. Now τ < 1 + ǫ, so accordig 2 to [16, Theorem 4.1], the oerator described above is bouded o f, s,τr. Also, by [16, Theorem 3.1], the oerator u u, ψ Q is bouded from F s,τ Q, R to f,r s,τ. Combiig these results with the estimates above yields f A l N,m F, s,τ R R a QR t R Q R f,r s,τ Q t Q Q f s,τ,r f F, s,τ R, i.e. the maig described above is a cotiuous embeddig of F, s,τr ito A l N,mF, s,τr. ii We have A l N,mḂs,τ,R Ḃs,τ,R i the same sese as above. Coversely, if a temered distributio f belogs to Ḃs,τ, R, agai by the roof of [16, Lemma 4.2] ad [3, ] it suffices to show that f A l N,m Ḃ,R s,τ, where f is as i art i, is cotrolled by a costat times f Ḃs,τ,R. Usig 3, oe ca check that f A l N,m Ḃ,R s,τ a QR t R, ḃs,τ R Q,R where ḃs,τ, R stads for the sace of seueces b Q Q of comlex umbers, idexed by the dyadic cubes of R, such that b Q Q ḃs,τ,r = su 1 [ P P τ j=j P Q P, lq=2 j Q s/ 1/2+1/ b Q ] / 1/,
8 110 Tomás Soto where the suremum is take over all dyadic cubes P of R ad j P = log 2 lp, is fiite. Combiig this estimate with [16, Theorems 4.1 ad 3.1] as above the yields f A l N,m Ḃ,R s,τ f Ḃ,R s,τ. iii This is cotaied i the argumets above. 3. Proof of Theorem 1.3 We ow tur to the idetificatio of the Hajłasz-tye saces with the saces defied through grad maximal fuctios. We shall eed the followig Sobolev-tye embeddig, which is a secial case of [8, Lemma 2.3]. Lemma 3.1. Let s 0,1] ad 0 < ǫ < ǫ < s. The there exists a ositive costat C such that for all x R, k Z, measurable fuctios u ad g D s u, ˆ if c C ˆBx,2 uy c dy C2 kǫ 2 js ǫ g j y dy. k j k 2 Bx,2 k+1 To talk about the idetificatio of the saces of measurable fuctios defied through Hajłasz gradiets ad the saces of temered distributios defied through grad maximal fuctios, we eed the followig basic lemma. The techiues of the roof are similar to the oes emloyed i [7, Theorem 1.1] ad [8, Theorem 3.2]. Lemma 3.2. i Let u Ṁs,τ, R or u Ṅs,τ, R with s 0,1],, ], 0, ] ad τ 0. The u defies a temered distributio i +s the sese that for all fuctios φ SR, uφ is itegrable ad ˆ uφ Cu φ S0,N R for some iteger N deedig o, s, ad τ. ii Suose that f S R belogs to A l 0,mF,R s,τ or A l 0,mḂs,τ,R with s 0,,, ], 0, ], τ [0, ad l, m N +s 0. The f coicides with a locally itegrable fuctio i the sese that there exists a fuctio f L 1 loc R such that ˆ f,φ = fφ R for all φ SR with comact suort. Proof. i Let u deote either u Ṁs,τ,R or u Ṅ,R s,τ, whichever is fiite. Fix ǫ ad ǫ such that 0 < ǫ < ǫ < s ad <. For ay x R, Lemma 3.1 yields if c C ˆBx,1 uy c dy if so u is locally itegrable. 2 js ǫ g D s u j 2 if g D s u j 2 ˆ Bx,2 2 js ǫ g j L Bx,2 2 js ǫ u <, j 2 g j y dy
9 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 111 Now write N for the smallest iteger strictly greater tha max,+s+τ. For ay φ SR we the have ˆ ˆ ux ub0,1 φx dx uxφx dx u B0,1 φ S0,N + R k 1 φ S0,N u B0,1 + knˆ 2 k 1 φ S0,N u B0,1 + ˆ k 12 kn B0,2 k \B0,2 k 1 B0,2 k B0,2 k ux u B0,1 dx ux u B0,1 dx φ S0,N u B0,1 + k ˆ 2 kn ux u B0,2 i dx k 1 i=0 B0,2 i φ S0,N u B0,1 + ˆ 2 in ux u B0,2 i dx. i 0 B0,2 i As above, the itegral i the ith term of the latter sum ca be estimated by ˆ ˆ ux u B0,2 i dx if 2 iǫ 2 js ǫ g B0,2 i j y dy g D s u j i 2 B0,2 i+1 if 2 iǫ 2 js ǫ B0,2 i+1 1 gj L B0,2 i+1 g D s u j i 2 2 iǫ +τ 2 js ǫ u 2 is+τ u. Thus, ˆ R uxφx dx φ S0,N j i 2 u B0,1 + i 0 2 i+s+τ N u where the uatity iside the latter aretheses is fiite because+s+τ N < 0. ii Let f deote either f A l 0,m F, s,τ R or f A l 0,mḂs,τ,R, whichever is fiite. Fix a comactly suorted ϑ SR such ϑ = 1. It is well kow that that R f = ϑ f + ϑ j+1 ϑ j f with covergece i S R, so it suffices to show that ϑ j+1 ϑ j f L 1 B < j 0 j=0 wheever B R is a ball with radius 1. For 1, this is almost immediate: ϑ 1 ϑ is a costat multile of a elemet of A l 0,m, so ϑ j+1 ϑ j f L 1 B 2 js 2 js ϑ 1 ϑ j f L 2 js f <. B j 0 j 0 j 0 Suose ow that < < 1. If x +s R ad y Bx,2 j, j N 0, the φz := φz 2 j x y is for all φ A l 0,m a uiform costat multile of some,
10 112 Tomás Soto elemet of A l 0,m, ad we have φ j x = φ j y. Thus, ˆ su φ j fx su φ j fy dy Bx,2 j 2 j js 2 js su 1/ φ j f 2 j js jτ f. L Bx,2 j Usig this estimate i a arbitrary ball B of radius 1 we thus get ϑ 1 ϑ j f L 1 B ϑ 1 ϑ j f 1 L B ϑ 1 ϑ j f L B j 0 j 0 1 [ 2 j js jτ f 2 js f ] j 0 j 0 2 j 1 s f <, sice 1 s < +s1 s = 0. +s We are ow ready to give the roof of Theorem 1.3. The methods are based o the case = of the roof of [8, Theorem 3.2]. Proof of Theorem 1.3. We shall first rove i ad ii uder the assumtio that s 0,1 ad m +1. i We start by establishig the embeddig Ṁs,τ, R A l 0,mF, s,τr with the assumtio that <. To this directio, fix ǫ ad ǫ so that 0 < ǫ < ǫ < s ad < mi,. Let u Ṁs,τ, R, ad choose g D s u so that ˆ 1 / 1/ g Bx,2 l τ k y dy 2 u Ṁs,τ,R. su x R, l Z Bx,2 l k l Recall that by Lemma 3.2 above, u defies a temered distributio. Sice m +1, we have 5 su φ k uz 2 k 2 ˆ j1 ǫ 2 is ǫ g i y dy j k i j 2 Bz,2 j+1 for all k Z ad z R, where the imlied costat does ot deed o these two arameters; a similar estimate is established i [8, ], but 5 ca also be deduced i a maer similar to the roof of art i of Lemma 3.2. We ow cosider a ball B := Bx,2 l with l Z ad use the estimate 5 for z B ad k l. The terms of the sum with j l ca be estimated as i the roof of Lemma 3.2: 6 ˆ Bz,2 j+1 g i y dy 2 j gi L Bz,2 j+2 2 j jτ u Ṁs,τ,R, ad sice 1 s+ τ > 0, we get 2 ˆ j1 ǫ 2 is ǫ g i y dy j l i j 2 Bz,2 j+1 j l 2 j js+j jτ u Ṁs,τ,R 2 l1 s+ τ u Ṁs,τ,R.
11 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 113 For the terms with j > l, we have Bz,2 j+1 2B for all z B, so that 7 ˆ Bz,2 j+1 g i y dy M g i χ 2B z, where M is the Hardy Littlewood maximal fuctio. Combiig these estimates, we have ˆ 1 [ ] 2 ks su φ B τ k uz dz B 8 B B τ k l + 1 ˆ B τ k l B 2 k1 s 2 l1 s+ τ u Ṁs,τ,R [ 2 k1 s 2 j1 ǫ 2 is ǫ M g i χ 2B k>l l<j k i j 2 Sice 1 s > 0, the first uatity ca be estimated easily: B 2 2 k1 s l1 s+ B τ τ u Ṁs,τ,R k l z u Ṁ s,τ,r. ] dz. For the secod uatity, we exchage the order of summatio i the itegrad as follows: [ 2 k1 s 2 ] j1 ǫ 2 is ǫ M g i χ 2B z k>l l<j k i j 2 [ 2 k1 s 2 is ǫ M k>l i l 1 [ 2 k1 s 2 i1 s M k>l l 1 i k 2 +2 ks ǫ i k 1 2 is ǫ M g i χ 2B z g i χ 2B z ] g i χ 2B z l<j mik,i+2 2 j1 ǫ Now, usig Hölder s ieuality whe > 1 ad the sub-additivity of t t whe < 1, the latter uatity ca be estimated from above by a costat times +s [ 2 k1 s 1 2 i1 s 1 M g i χ 2B z k>l i l 1 l 1 i k 2 +2 ks ǫ 1 M i k 1 g i χ 2B z. 2 is ǫ 1 M ] g i χ 2B z ]
12 114 Tomás Soto Sice > 1 ad > 1, the Fefferma-Stei vector valued maximal ieuality thus yields ˆ 1 [ 2 k1 s 2 ] j1 ǫ 2 is ǫ M g B τ i χ 2B z dz B k>l 1 ˆ M B τ B i l 1 ˆ 1 B τ 2B i l 1 l<j k i j 2 g i χ 2B z dz g i z dz u Ṁ s,τ,r. All i all, takig the suremum over all admissible B i 8 yields u A l 0,m F, s,τ R u Ṁ,R s,τ, i.e. Ṁ, s,τr A l 0,mF, s,τr. The case = ca be hadled i a similar but easier maer. Now suose that f A l 0,mF, s,τr. Accordig to Lemma 3.2, f coicides with a locally itegrable fuctio, so fixig a comactly suorted ϑ SR such that ϑ = 1, we have f = lim R j ϑ j f oitwise almost everywhere. I articular, if x ad y are distict Lebesgue oits of f ad k Z satisfies 2 k 1 x y < 2 k, we have fx fy ϑ k fx ϑ k fy + ϑ 1 ϑ j fx + ϑ 1 ϑ j fy, j k ad sice both ϑ 1 ϑ ad z ϑz ϑz 2 k [x y] are costat multiles of elemets of A l 0,m, we get where for all k Z ad x R. Thus, fx fy x y s h k x+h k y, h k x = 2 ks j k 1 u Ṁs,τ,R su x R, l Z Bx,2 l τ su φ j fx ˆ Bx,2 l / 1/ h k z dz, ad sice for ay l Z ad z R we have the oitwise estimates h k z = 2 ks 2 js su 2 js φ j fz k l k l j k we coclude that k l j l 2 ks 1 j k k l 2 js 1 su 2 js φ j fx 2 js su φ j fz, u Ṁs,τ i.e. A l 0,m F s,τ,r Ṁs,τ,R.,R u A l 0,m F, s,τ R,
13 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 115 ii That Ṅ,R s,τ A l 0,mḂs,τ,R for < < ca be established usig +s the same estimates as above; here all values 0, ] are ermitted because we oly eed the L -boudedess of M, where ǫ 0,s satisfies >, istead of the Fefferma Stei maximal ieuality. Let u be a fuctio i Ṅs,τ,R ad g D s u a fractioal s-gradiet that yields the uasiorm of u u to a costat multile of at most two. Lettig B := Bx,2 l for arbitrary x R ad l Z, arguig as i 5, 6 ad 7 we have 2 ks su φ k uz 2 k1 s 2 l1 s+ τ u Ṅs,τ,R +2 k1 s 2 j1 ǫ l<j k i j 2 2 k1 s 2 l1 s+ τ u Ṅs,τ,R +2 k1 s i l 1 for all k l ad z B, which further yields 2 ks su φ k f L B B τ 2 l k1 s u Ṅ s,τ,r +2 k1 s +2 ks ǫ 2 is ǫ M g i k 1 i 2 is ǫ M 2 is ǫ 2 mik,i+21 ǫ M χ 2B B τ 2 l k1 s u Ṅ,R s,τ +2 k1 s 1 2 i1 s 1 M +2 ks ǫ 1 l 1 i k 2 i k 1 2 is ǫ 1 M l 1 i k 2 g g i B τ 2 l k1 s u Ṅ s,τ,r +2 k1 s 1 +2 ks ǫ 1 i k 1 2 is ǫ 1 g i L 2B. i L B χ 2B χ 2B 2 i1 s M g l 1 i k 2 L B L B g i χ 2B z g i χ 2B z, i χ 2B 2 i1 s 1 g i L 2B L B Dividig out by B τ 2B τ, takig first the l / orm over k l ad the takig the suremum over all admissible balls B yields u A l 0,m Ḃ s,τ,r u Ṅ s,τ,r, i.e. Ṅ, s,τr A l 0,mḂs,τ, R. The case = ca be hadled i a similar but easier maer. O the other had, if f A l 0,mḂs,τ,R where < <, the f is a locally +s itegrable fuctio ad h k k Z is a costat times a elemet of D s f, where the
14 116 Tomás Soto fuctios h k are as i art i. For ay ball B := Bx,2 l, we have B τ h k L B B τ 2 ks 11 1 j k 2 js js su φ j f, L φ A l B 0,m so takig the l orm over k l ad the the suremum over all admissible balls B yields f Ṅs,τ,R f A l 0,mḂs,τ,R, which meas that A l 0,mḂs,τ,R Ṅs,τ,R. The case = ca be hadled i a similar but easier maer. The case with s 0,1 ad m + 1 is thus rove. The case with s = 1 ad m +2 ca be rove usig exactly the same argumet, excet for the fact that 1 s is ot ositive. To remedy this, we use the assumtio that m +2 to relace 5 with the estimate su φ k uz 2 2k 2 ˆ j2 ǫ 2 is ǫ g i y dy. j k i j 2 Bz,2 j+1 The above roof ca thus be carried out by relacig 1 s with 2 s where ecessary. We omit the details. Ackowledgemets. The author would like to thak Eero Saksma ad Yua Zhou for readig the mauscrit ad makig several valuable remarks. The author also wishes to thak IPAM at UCLA for suortig his articiatio i the rogram Iteractios Betwee Aalysis ad Geometry i Srig 2013, durig which art of this ote was writte. Refereces [1] Drihem, D.: Characterizatios of Besov-tye ad Triebel Lizorki-tye saces by differeces. - J. Fuct. Saces Al. 2012, Art. ID , [2] Essé, M., S. Jaso, L. Peg, ad J. Xiao: Q saces of several real variables. - Idiaa Uiv. Math. J. 49:2, 2000, [3] Frazier, M., ad B. Jawerth: A discrete trasform ad decomositios of distributio saces. - J. Fuct. Aal. 93:1, 1990, [4] Gogatishvili, A., P. Koskela, ad Y. Zhou: Characterizatios of Besov ad Triebel Lizorki saces o metric measure saces. - Forum Math. to aear. [5] Grafakos, L.: Moder Fourier aalysis. Secod editio. - Grad. Texts i Math. 250, Sriger, New York, [6] Hajłasz, P.: Sobolev saces o a arbitrary metric sace. - Potetial Aal. 5:4, 1996, [7] Koskela, P., D. Yag, ad Y. Zhou: A characterizatio of Hajłasz Sobolev ad Triebel Lizorki saces via grad Littlewood Paley fuctios. - J. Fuct. Aal. 258:8, 2010, [8] Koskela, P., D. Yag, ad Y. Zhou: Poitwise characterizatios of Besov ad Triebel Lizorki saces ad uasicoformal maigs. - Adv. Math. 226:4, 2011, [9] Kozoo, H., ad M. Yamazaki: Semiliear heat euatios ad the Navier Stokes euatio with distributios i ew fuctio saces as iitial data. - Comm. Partial Differetial Euatios 19:5-6, 1994, [10] Mazzucato, A.: Besov Morrey saces: fuctio sace theory ad alicatios to o-liear PDE. - Tras. Amer. Math. Soc. 355:4, 2003, [11] Sawao, Y., D. Yag, ad W. Yua: New alicatios of Besov-tye ad Triebel Lizorkitye saces. - J. Math. Aal. Al. 363:1, 2010,
15 Characterizatios of Besov-tye ad Triebel Lizorki-tye saces 117 [12] Sickel, W., D. Yag, ad W. Yua: Morrey ad Camaato meet Besov, Lizorki ad Triebel. - Lecture Notes i Math. 2005, Sriger-Verlag, Berli, [13] Triebel, H.: Theory of fuctio saces. - Moograhs i Mathematics 78, Birkhäuser Verlag, Basel, [14] Yag, D., ad W. Yua: A ew class of fuctio saces coectig Triebel Lizorki saces ad Q saces. - J. Fuct. Aal. 255:10, 2008, [15] Yag, D., ad W. Yua: Characterizatios of Besov-tye ad Triebel Lizorki-tye saces via maximal fuctios ad local meas. - Noliear Aal. 73:12, 2010, [16] Yag, D., ad W. Yua: New Besov-tye saces ad Triebel Lizorki-tye saces icludig Q saces. - Math. Z. 265:2, 2010, [17] Yag, D., ad W. Yua: Relatios amog Besov-tye saces, Triebel Lizorki-tye saces ad geeralized Carleso measure saces. - Al. Aal. 92:3, 2013, Received 23 February 2015 Acceted 31 May 2015
OFF-DIAGONAL MULTILINEAR INTERPOLATION BETWEEN ADJOINT OPERATORS
OFF-DIAGONAL MULTILINEAR INTERPOLATION BETWEEN ADJOINT OPERATORS LOUKAS GRAFAKOS AND RICHARD G. LYNCH 2 Abstract. We exted a theorem by Grafakos ad Tao [5] o multiliear iterpolatio betwee adjoit operators
More informationŽ n. Matematicki Fakultet, Studentski trg 16, Belgrade, p.p , Yugosla ia. Submitted by Paul S. Muhly. Received December 17, 1997
JOURNAL OF MATEMATICAL ANALYSIS AND APPLICATIONS 6, 143149 1998 ARTICLE NO AY986061 O the Iclusio U Ž B ad the Isoerimetric Ieuality Miroslav Pavlovic ad Miluti R Dostaic Matematicki Fakultet, Studetski
More informationON SOME NEW SEQUENCE SPACES OF NON-ABSOLUTE TYPE RELATED TO THE SPACES l p AND l I. M. Mursaleen and Abdullah K. Noman
Faculty of Scieces ad Mathematics, Uiversity of Niš, Serbia Available at: htt://www.mf.i.ac.rs/filomat Filomat 25:2 20, 33 5 DOI: 0.2298/FIL02033M ON SOME NEW SEQUENCE SPACES OF NON-ABSOLUTE TYPE RELATED
More informationA Note on Bilharz s Example Regarding Nonexistence of Natural Density
Iteratioal Mathematical Forum, Vol. 7, 0, o. 38, 877-884 A Note o Bilharz s Examle Regardig Noexistece of Natural Desity Cherg-tiao Perg Deartmet of Mathematics Norfolk State Uiversity 700 Park Aveue,
More informationLocal and global estimates for solutions of systems involving the p-laplacian in unbounded domains
Electroic Joural of Differetial Euatios, Vol 20012001, No 19, 1 14 ISSN: 1072-6691 UR: htt://ejdemathswtedu or htt://ejdemathutedu ft ejdemathswtedu logi: ft ocal global estimates for solutios of systems
More informationFinal Solutions. 1. (25pts) Define the following terms. Be as precise as you can.
Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite
More informationA Note on Sums of Independent Random Variables
Cotemorary Mathematics Volume 00 XXXX A Note o Sums of Ideedet Radom Variables Pawe l Hitczeko ad Stehe Motgomery-Smith Abstract I this ote a two sided boud o the tail robability of sums of ideedet ad
More informationA REFINEMENT OF JENSEN S INEQUALITY WITH APPLICATIONS. S. S. Dragomir 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 14, No. 1,. 153-164, February 2010 This aer is available olie at htt://www.tjm.sysu.edu.tw/ A REFINEMENT OF JENSEN S INEQUALITY WITH APPLICATIONS FOR f-divergence
More informationThe log-behavior of n p(n) and n p(n)/n
Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity
More informationA NOTE ON SOME OPERATORS ACTING ON CENTRAL MORREY SPACES. Martha Guzmán-Partida. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 55 60 Jue 208 research paper origiali auqi rad A NOTE ON SOME OPERATORS ACTING ON CENTRAL MORREY SPACES Martha Guzmá-Partida Abstract. We prove boudedess
More informationAn operator equality involving a continuous field of operators and its norm inequalities
Available olie at www.sciecedirect.com Liear Algebra ad its Alicatios 49 (008) 59 67 www.elsevier.com/locate/laa A oerator equality ivolvig a cotiuous field of oerators ad its orm iequalities Mohammad
More informationLebesgue Sequence Spaces
Chater 2 Lebesgue Seuece Saces Abstract I this chater, we will itroduce the so-called Lebesgue seuece saces, i the fiite ad also i the ifiite dimesioal case We study some roerties of the saces, eg, comleteess,
More informationECE534, Spring 2018: Solutions for Problem Set #2
ECE534, Srig 08: s for roblem Set #. Rademacher Radom Variables ad Symmetrizatio a) Let X be a Rademacher radom variable, i.e., X = ±) = /. Show that E e λx e λ /. E e λx = e λ + e λ = + k= k=0 λ k k k!
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationNotes on the prime number theorem
Notes o the rime umber theorem Keji Kozai May 2, 24 Statemet We begi with a defiitio. Defiitio.. We say that f(x) ad g(x) are asymtotic as x, writte f g, if lim x f(x) g(x) =. The rime umber theorem tells
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationWeak and Strong Convergence Theorems of New Iterations with Errors for Nonexpansive Nonself-Mappings
doi:.36/scieceasia53-874.6.3.67 ScieceAsia 3 (6: 67-7 Weak ad Strog Covergece Theorems of New Iteratios with Errors for Noexasive Noself-Maigs Sorsak Thiawa * ad Suthe Suatai ** Deartmet of Mathematics
More informationON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2
More informationOn Some Identities and Generating Functions for Mersenne Numbers and Polynomials
Turish Joural of Aalysis ad Number Theory, 8, Vol 6, No, 9-97 Available olie at htt://ubsscieubcom/tjat/6//5 Sciece ad Educatio Publishig DOI:69/tjat-6--5 O Some Idetities ad Geeratig Fuctios for Mersee
More informationChapter 7 Isoperimetric problem
Chapter 7 Isoperimetric problem Recall that the isoperimetric problem (see the itroductio its coectio with ido s proble) is oe of the most classical problem of a shape optimizatio. It ca be formulated
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationSYMMETRIC POSITIVE SEMI-DEFINITE SOLUTIONS OF AX = B AND XC = D
Joural of Pure ad Alied Mathematics: Advaces ad Alicatios olume, Number, 009, Pages 99-07 SYMMERIC POSIIE SEMI-DEFINIE SOLUIONS OF AX B AND XC D School of Mathematics ad Physics Jiagsu Uiversity of Sciece
More informationA Central Limit Theorem for Belief Functions
A Cetral Limit Theorem for Belief Fuctios Larry G. Estei Kyougwo Seo November 7, 2. CLT for Belief Fuctios The urose of this Note is to rove a form of CLT (Theorem.4) that is used i Estei ad Seo (2). More
More informationSeveral properties of new ellipsoids
Appl. Math. Mech. -Egl. Ed. 008 9(7):967 973 DOI 10.1007/s10483-008-0716-y c Shaghai Uiversity ad Spriger-Verlag 008 Applied Mathematics ad Mechaics (Eglish Editio) Several properties of ew ellipsoids
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationDENSITY OF THE SET OF ALL INFINITELY DIFFERENTIABLE FUNCTIONS WITH COMPACT SUPPORT IN WEIGHTED SOBOLEV SPACES
Scietiae Mathematicae Japoicae Olie, Vol. 10, (2004), 39 45 39 DENSITY OF THE SET OF ALL INFINITELY DIFFERENTIABLE FUNCTIONS WITH COMPACT SUPPORT IN WEIGHTED SOBOLEV SPACES EIICHI NAKAI, NAOHITO TOMITA
More informationON CONVERGENCE OF SINGULAR SERIES FOR A PAIR OF QUADRATIC FORMS
ON CONVEGENCE OF SINGULA SEIES FO A PAI OF QUADATIC FOMS THOMAS WIGHT Abstract. Examiig the system of Diohatie equatios { f (x) x 2 +...x2 ν, f 2 (x) λ x 2 +...λx2 ν 2, with λ i λ j ad ν i, λ i Z, we show
More informationPositive Schatten-Herz class Toeplitz operators on the ball
Positive Schatte-Herz class Toelitz oerators o the ball Boo Rim Choe, Hyugwoo Koo ad Youg Joo Lee Abstract. O the harmoic Bergma sace of the ball, we give characterizatios for a arbitrary ositive Toelitz
More information6. Uniform distribution mod 1
6. Uiform distributio mod 1 6.1 Uiform distributio ad Weyl s criterio Let x be a seuece of real umbers. We may decompose x as the sum of its iteger part [x ] = sup{m Z m x } (i.e. the largest iteger which
More informationq-durrmeyer operators based on Pólya distribution
Available olie at wwwtjsacom J Noliear Sci Appl 9 206 497 504 Research Article -Durrmeyer operators based o Pólya distributio Vijay Gupta a Themistocles M Rassias b Hoey Sharma c a Departmet of Mathematics
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationApproximation properties of (p, q)-bernstein type operators
Acta Uiv. Saietiae, Mathematica, 8, 2 2016 222 232 DOI: 10.1515/ausm-2016-0014 Aroximatio roerties of, -Berstei tye oerators Zoltá Fita Deartmet of Mathematics, Babeş-Bolyai Uiversity, Romaia email: fzolta@math.ubbcluj.ro
More informationOn Cesáro means for Fox-Wright functions
Joural of Mathematics ad Statistics: 4(3: 56-6, 8 ISSN: 549-3644 8 Sciece Publicatios O Cesáro meas for Fox-Wright fuctios Maslia Darus ad Rabha W. Ibrahim School of Mathematical Scieces, Faculty of Sciece
More informationA REMARK ON A PROBLEM OF KLEE
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationECE534, Spring 2018: Final Exam
ECE534, Srig 2018: Fial Exam Problem 1 Let X N (0, 1) ad Y N (0, 1) be ideedet radom variables. variables V = X + Y ad W = X 2Y. Defie the radom (a) Are V, W joitly Gaussia? Justify your aswer. (b) Comute
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More information13.1 Shannon lower bound
ECE598: Iformatio-theoretic methods i high-dimesioal statistics Srig 016 Lecture 13: Shao lower boud, Fao s method Lecturer: Yihog Wu Scribe: Daewo Seo, Mar 8, 016 [Ed Mar 11] I the last class, we leared
More informationCouncil for Innovative Research
ABSTRACT ON ABEL CONVERGENT SERIES OF FUNCTIONS ERDAL GÜL AND MEHMET ALBAYRAK Yildiz Techical Uiversity, Departmet of Mathematics, 34210 Eseler, Istabul egul34@gmail.com mehmetalbayrak12@gmail.com I this
More informationarxiv:math/ v4 [math.fa] 4 Sep 2007
1 Weighted Sobolev saces ad embeddig theorems V. Gol dshtei, A. Ukhlov 1 ABSTRACT. arxiv:math/73725v4 [math.fa] 4 Se 27 I the reset aer we study embeddig oerators for weighted Sobolev saces whose weights
More informationSolution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1
Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationUnit 5. Hypersurfaces
Uit 5. Hyersurfaces ================================================================= -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
More informationOn n-dimensional Hilbert transform of weighted distributions
O -dimesioal Hilbert trasform of weighted distributios MARTHA GUMÁN-PARTIDA Departameto de Matemáticas, Uiversidad de Soora, Hermosillo, Soora 83000, México Abstract We de e a family of cougate Poisso
More informationThe Wasserstein distances
The Wasserstei distaces March 20, 2011 This documet presets the proof of the mai results we proved o Wasserstei distaces themselves (ad ot o curves i the Wasserstei space). I particular, triagle iequality
More informationk-equitable mean labeling
Joural of Algorithms ad Comutatio joural homeage: htt://jac.ut.ac.ir k-euitable mea labelig P.Jeyathi 1 1 Deartmet of Mathematics, Govidammal Aditaar College for Wome, Tiruchedur- 628 215,Idia ABSTRACT
More informationСИБИРСКИЕ ЭЛЕКТРОННЫЕ МАТЕМАТИЧЕСКИЕ ИЗВЕСТИЯ
S e MR ISSN 1813-3304 СИБИРСКИЕ ЭЛЕКТРОННЫЕ МАТЕМАТИЧЕСКИЕ ИЗВЕСТИЯ Siberia Electroic Mathematical Reports http://semr.math.sc.ru Том 2, стр. 156 166 (2005) УДК 517.968.23 MSC 42B20 THE CONTINUITY OF MULTILINEAR
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationRandom Walks on Discrete and Continuous Circles. by Jeffrey S. Rosenthal School of Mathematics, University of Minnesota, Minneapolis, MN, U.S.A.
Radom Walks o Discrete ad Cotiuous Circles by Jeffrey S. Rosethal School of Mathematics, Uiversity of Miesota, Mieapolis, MN, U.S.A. 55455 (Appeared i Joural of Applied Probability 30 (1993), 780 789.)
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationLet us give one more example of MLE. Example 3. The uniform distribution U[0, θ] on the interval [0, θ] has p.d.f.
Lecture 5 Let us give oe more example of MLE. Example 3. The uiform distributio U[0, ] o the iterval [0, ] has p.d.f. { 1 f(x =, 0 x, 0, otherwise The likelihood fuctio ϕ( = f(x i = 1 I(X 1,..., X [0,
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationON MULTILINEAR FRACTIONAL INTEGRALS. Loukas Grafakos Yale University
ON MULTILINEAR FRACTIONAL INTEGRALS Loukas Grafakos Yale Uiversity Abstract. I R, we prove L p 1 L p K boudedess for the multiliear fractioal itegrals I α (f 1,...,f K )(x) = R f 1 (x θ 1 y)...f K (x θ
More informationFractional Integral Operator and Olsen Inequality in the Non-Homogeneous Classic Morrey Space
It Joural of Math Aalyi, Vol 6, 202, o 3, 50-5 Fractioal Itegral Oerator ad Ole Ieuality i the No-Homogeeou Claic Morrey Sace Mohammad Imam Utoyo Deartmet of Mathematic Airlagga Uiverity, Camu C, Mulyorejo
More informationFunctional Analysis: Assignment Set # 10 Spring Professor: Fengbo Hang April 22, 2009
Eduardo Coroa Fuctioal Aalysis: Assigmet Set # 0 Srig 2009 Professor: Fegbo Hag Aril 22, 2009 Theorem Let S be a comact Hausdor sace. Suose fgg is a collectio of comlex-valued fuctios o S satisfyig (i)
More informationON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS
ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS KEENAN MONKS Abstract The Legedre Family of ellitic curves has the remarkable roerty that both its eriods ad its suersigular locus have descritios
More informationWeighted Approximation by Videnskii and Lupas Operators
Weighted Approximatio by Videsii ad Lupas Operators Aif Barbaros Dime İstabul Uiversity Departmet of Egieerig Sciece April 5, 013 Aif Barbaros Dime İstabul Uiversity Departmet Weightedof Approximatio Egieerig
More informationThe Australian Journal of Mathematical Analysis and Applications
The Australia Joural of Mathematical Aalysis ad Applicatios Volume 13, Issue 1, Article 9, pp 1-10, 2016 THE BOUNDEDNESS OF BESSEL-RIESZ OPERATORS ON GENERALIZED MORREY SPACES MOCHAMMAD IDRIS, HENDRA GUNAWAN
More informationn p (Ω). This means that the
Sobolev s Iequality, Poicaré Iequality ad Compactess I. Sobolev iequality ad Sobolev Embeddig Theorems Theorem (Sobolev s embeddig theorem). Give the bouded, ope set R with 3 ad p
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationJournal of Complexity. Optimal approximation of elliptic problems by linear and nonlinear mappings IV: Errors in L 2 and other norms
Joural of Comlexity 6 00) 0 4 Cotets lists available at ScieceDirect Joural of Comlexity joural homeage: www.elsevier.com/locate/jco Otimal aroximatio of ellitic roblems by liear ad oliear maigs IV: Errors
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationTauberian theorems for the product of Borel and Hölder summability methods
A. Ştiiţ. Uiv. Al. I. Cuza Iaşi. Mat. (N.S.) Tomul LXIII, 2017, f. 1 Tauberia theorems for the product of Borel ad Hölder summability methods İbrahim Çaak Received: Received: 17.X.2012 / Revised: 5.XI.2012
More information446 EIICHI NAKAI where The f p;f = 8 >< sup sup f(r) f(r) L ;f (R )= jb(a; r)j jf(x)j p dx! =p ; 0 <p<; ess sup jf(x)j; p = : x2 ( f0g; if 0<r< f(r) =
Scietiae Mathematicae Vol. 3, No. 3(2000), 445 454 445 A CHARACTERIATION OF POINTWISE MULTIPLIERS ON THE MORREY SPACES EIICHI NAKAI Received April 28, 2000; revised October 4, 2000 Dedicated to the memory
More informationProposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say
Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationREGRESSION WITH QUADRATIC LOSS
REGRESSION WITH QUADRATIC LOSS MAXIM RAGINSKY Regressio with quadratic loss is aother basic problem studied i statistical learig theory. We have a radom couple Z = X, Y ), where, as before, X is a R d
More informationClassification of DT signals
Comlex exoetial A discrete time sigal may be comlex valued I digital commuicatios comlex sigals arise aturally A comlex sigal may be rereseted i two forms: jarg { z( ) } { } z ( ) = Re { z ( )} + jim {
More informationScience & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I
COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING TE POWERS - I Miryaa S. ristova Uiversity of Natioal ad World Ecoomy, Deartmet of Mathematics Studetsi Grad "risto Botev", 17 Sofia, BULGARIA
More informationResearch Article A Note on the Generalized q-bernoulli Measures with Weight α
Abstract ad Alied Aalysis Volume 2011, Article ID 867217, 9 ages doi:10.1155/2011/867217 Research Article A Note o the Geeralized -Beroulli Measures with Weight T. Kim, 1 S. H. Lee, 1 D. V. Dolgy, 2 ad
More informationProperties of Fuzzy Length on Fuzzy Set
Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationSome Tauberian theorems for weighted means of bounded double sequences
A. Ştiiţ. Uiv. Al. I. Cuza Iaşi. Mat. N.S. Tomul LXIII, 207, f. Some Tauberia theorems for weighted meas of bouded double sequeces Cemal Bele Received: 22.XII.202 / Revised: 24.VII.203/ Accepted: 3.VII.203
More informationSOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS
ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationTR/46 OCTOBER THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION A. TALBOT
TR/46 OCTOBER 974 THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION by A. TALBOT .. Itroductio. A problem i approximatio theory o which I have recetly worked [] required for its solutio a proof that the
More informationHomework 4. x n x X = f(x n x) +
Homework 4 1. Let X ad Y be ormed spaces, T B(X, Y ) ad {x } a sequece i X. If x x weakly, show that T x T x weakly. Solutio: We eed to show that g(t x) g(t x) g Y. It suffices to do this whe g Y = 1.
More information2 Banach spaces and Hilbert spaces
2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud
More informationNotes 19 : Martingale CLT
Notes 9 : Martigale CLT Math 733-734: Theory of Probability Lecturer: Sebastie Roch Refereces: [Bil95, Chapter 35], [Roc, Chapter 3]. Sice we have ot ecoutered weak covergece i some time, we first recall
More informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
More informationEntropy and Ergodic Theory Lecture 5: Joint typicality and conditional AEP
Etropy ad Ergodic Theory Lecture 5: Joit typicality ad coditioal AEP 1 Notatio: from RVs back to distributios Let (Ω, F, P) be a probability space, ad let X ad Y be A- ad B-valued discrete RVs, respectively.
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationABSOLUTE CONVERGENCE OF THE DOUBLE SERIES OF FOURIER HAAR COEFFICIENTS
Acta Mathematica Academiae Paedagogicae Nyíregyháziesis 6, 33 39 www.emis.de/jourals SSN 786-9 ABSOLUTE CONVERGENCE OF THE DOUBLE SERES OF FOURER HAAR COEFFCENTS ALEANDER APLAKOV Abstract. this aer we
More informationON SINGULAR INTEGRAL OPERATORS
ON SINGULAR INTEGRAL OPERATORS DEJENIE ALEMAYEHU LAKEW Abstract. I this paper we study sigular itegral operators which are hyper or weak over Lipscitz/Hölder spaces ad over weighted Sobolev spaces de ed
More informationRademacher Complexity
EECS 598: Statistical Learig Theory, Witer 204 Topic 0 Rademacher Complexity Lecturer: Clayto Scott Scribe: Ya Deg, Kevi Moo Disclaimer: These otes have ot bee subjected to the usual scrutiy reserved for
More informationSolutions to Problem Sheet 1
Solutios to Problem Sheet ) Use Theorem. to rove that loglog for all real 3. This is a versio of Theorem. with the iteger N relaced by the real. Hit Give 3 let N = [], the largest iteger. The, imortatly,
More informationIRRATIONALITY MEASURES, IRRATIONALITY BASES, AND A THEOREM OF JARNÍK 1. INTRODUCTION
IRRATIONALITY MEASURES IRRATIONALITY BASES AND A THEOREM OF JARNÍK JONATHAN SONDOW ABSTRACT. We recall that the irratioality expoet µα ( ) of a irratioal umber α is defied usig the irratioality measure
More informationSongklanakarin Journal of Science and Technology SJST R1 Teerapabolarn
Soglaaari Joural of Sciece ad Techology SJST--.R Teeraabolar A No-uiform Boud o Biomial Aroimatio to the Beta Biomial Cumulative Distributio Fuctio Joural: Soglaaari Joural of Sciece ad Techology For Review
More informationMoment-entropy inequalities for a random vector
1 Momet-etropy iequalities for a radom vector Erwi Lutwak, Deae ag, ad Gaoyog Zhag Abstract The p-th momet matrix is defied for a real radom vector, geeralizig the classical covariace matrix. Sharp iequalities
More informationRatio of Two Random Variables: A Note on the Existence of its Moments
Metodološki zvezki, Vol. 3, o., 6, -7 Ratio of wo Rado Variables: A ote o the Existece of its Moets Ato Cedilik, Kataria Košel, ad Adre Bleec 3 Abstract o eable correct statistical iferece, the kowledge
More information