THE HAAR SYSTEM AS A SCHAUDER BASIS IN SPACES OF HARDY-SOBOLEV TYPE. 1. Introduction
|
|
- Erika Bradley
- 5 years ago
- Views:
Transcription
1 THE HAAR SYSTEM AS A SCHAUDER BASIS IN SPACES OF HARDY-SOBOLEV TYPE GUSTAVO GARRIGÓS ANDREAS SEEGER TINO ULLRICH Abstract. We show that, for suitable enumerations, the Haar system is a Schauder basis in the classical Sobolev saces in R d with integrability 1 < < and smoothness 1/ 1 < s < 1/. This comlements earlier work by the last two authors on the unconditionality of the Haar system and imlies that it is a conditional Schauder basis for a nonemty oen subset of the (1/, s)-diagram. The results extend to (quasi-)banach saces of Hardy-Sobolev and Triebel-Lizorkin tye in the range of arameters < < and max{d(1/ 1), 1/ 1} < s < min{1, 1/}, d d+1 which is otimal excet erhas at the end-oints. 1. Introduction We recall the definition of the (inhomogeneous) Haar system in R d. Consider the 1-variable functions h (0) = 1 [0,1) and h (1) = 1 [0,1/2) 1 [1/2,1). For every ε = (ε 1,..., ε d ) {0, 1} d one defines Finally, one sets h (ε) (x 1,..., x d ) = h (ε 1) (x 1 ) h (ε d) (x d ). h (ε) k,l (x) = h(ε) (2 k x l), k N 0, l Z d, Denoting Υ = {0, 1} d \ { 0}, the Haar system is then given by { H d = h ( 0) }l Zd { } 0,l h (ε) k,l : k N 0, l Z d, ε Υ. Observe that su h (ε) k,l is the dyadic cube I k,l := 2 k (l + [0, 1] d ). In this aer we consider basis roerties of H d in Besov saces B s,q, and Triebel-Lizorkin saces F s,q in R d. We refer to [13], [14] for definitions and 2010 Mathematics Subject Classification. 46E35, 46B15, 42C40. Key words and hrases. Schauder basis, Unconditional basis, Haar system, Sobolev sace, Triebel-Lizorkin sace. G.G. was suorted in art by grants MTM P, MTM C2-1- P, MTM P from MINECO (Sain), and grant 19368/PI/14 from Fundación Séneca (Región de Murcia, Sain). A.S. was suorted in art by NSF grant DMS T.U. was suorted the DFG Emmy-Noether rogram UL403/1-1. 1
2 2 G. GARRIGÓS A. SEEGER T. ULLRICH roerties of these saces and to [1] for terminology and general facts about bases in Banach saces. In the 1970 s, Triebel [11, 12] roved that the Haar system H d is a Schauder basis on B,q(R s d ) if (1) d d+1 < <, 0 < q <, max { d( 1 1), 1 1} < s < min { 1, 1 }, and that this range is maximal, excet erhas at the endoints. Moreover, the basis is unconditional when (1) holds; see [15, Theorem 2.21]. Concerning F s,q saces, however, in [15] it is only shown that H d is an unconditional basis for F s,q(r d ) when, besides (1), the additional assumtion (2) max { d( 1 q 1), 1 q 1} < s < 1 q is satisfied. Recently, two of the authors showed in [9, 10] that the additional restriction (2) is in fact necessary, at least when d = 1. It was left oen whether suitable enumerations of the Haar system can form a Schauder basis in F,q s in the larger range (1). We shall answer this question affirmatively. Given an enumeration {u 1, u 2,...} of the system H d, we let P N be the orthogonal rojection onto the subsace sanned by u 1,..., u N, i.e. (3) P N f = N n=1 u n 2 2 f, u n u n. The sequence {u n } n=1 is a Schauder basis on F s,q if (4) lim P Nf f F s N,q = 0, for all f F,q. s In view of the uniform boundedness rincile, density theorems and the result for Besov saces, (4) follows if we can show that the oerators P N have uniform F,q s F,q s oerator norms. Note, that the condition s < 1/ is necessary since the Haar functions need to belong to F,q. s By duality, if 1 < <, the condition s > 1/ 1 becomes also necessary, so the range in (1) is otimal in this case. If 1, then an interolation argument shows that (1) is also a maximal range, excet erhas at the end-oints; see 4 below. Definition. An enumeration U = {u 1, u 2,...} of the Haar system H d is admissible if the following condition holds for each cube I ν = ν + [0, 1] d, ν Z d. If u n and u n are both suorted in I ν and su(u n ) > su(u n ), then necessarily n < n. The table in the figure shows how to obtain an admissible (natural) enumeration of H d via a diagonalization of the intervals I ν versus the levels k. We first label the set Z d = {ν 1, ν 2,...}. Then, we follow the order indicated by the table, where being at osition (ν i, k) means to ick all the Haar functions with suort contained in I νi and size 2 kd, arbitrarily enumerated, before going to the subsequent table entry. Our main result reads as follows.
3 THE HAAR SYSTEM AS A SCHAUDER BASIS 3 k\i ν I ν0 I ν1 I ν2 I ν3 I ν Figure 1. An admissible enumeration of H d. Theorem 1.1. Let U = {u n } n=1 be an admissible enumeration of the Haar system H d. Assume that d (i) d+1 < <, (ii) 0 < q <, (iii) max{d( 1 1), 1 1} < s < min{1, 1 }. Then U is a Schauder basis in F s,q(r d ). s s d+1 d+1 1 2d d Figure 2. Unconditionality of the Haar system in Hardy- Sobolev saces in R and R d In the left art of Figure 2, the traezoid is the arameter domain for which the Haar system is a Schauder basis in the Hardy-Sobolev sace H(R) s (= F,2 s (R)) while the shaded art reresents the arameter domain for which the Haar system is an unconditional basis in H(R). s The right figure shows the resective arameter domain for H(R s d ). The heart of the matter is a boundedness result for the dyadic averaging oerators E N given by (5) E N f(x) = µ Z d 1 IN,µ (x) 2 N I N,µ f(t)dt with I N,µ = 2 N (µ + [0, 1) d ), µ Z d, N = 0, 1, 2,...
4 4 G. GARRIGÓS A. SEEGER T. ULLRICH Note that E N f is just the conditional exectation of f with resect to the σ-algebra generated by the set D N of all dyadic cubes of side length 2 N. There is a well known relation between the Haar system and the dyadic averaging oerators, namely for N = 0, 1, 2,..., (6) E N+1 f E N f = 2 Nd f, h (ε) N,µ h(ε) N,µ, ε Υ µ Z d i.e. E N+1 E N is the orthogonal rojection onto the sace generated by the Haar functions with Haar frequency 2 N. Now let η 0 be a Schwartz function on R d, suorted in { ξ < 3/8} and so that η 0 (ξ) = 1 for ξ 1/4. Let Π N be defined by (7) Π N f(ξ) = η 0 (2 N ξ) f(ξ). There is a basic standard inequality (almost immediate from the definition of Triebel-Lizorkin saces) (8) su Π N f F s,q C(, q, s) f F s,q N which is valid for all s R and for 0 < <, 0 < q. Moreover, (8) and the fact that Π N g g F s,q 0 for Schwartz functions g gives (9) lim N Π Nf f F s,q = 0 if f F,q s and 0 <, q <. The main tool in roving Theorem 1.1 is a similar bound for the oerators E N which of course follows from the corresonding bound for E N Π N. It turns out that the oerators E N Π N enjoy better maing roerties in Besov saces. Similar bounds are also satisfied by rojection oerators into sets of Haar functions with fixed Haar frequency. Namely, for N N and functions a l (Z d Υ), we define (10) T N [f, a] = a µ,ε 2 Nd f, h (ε) N,µ h(ε) N,µ. ε Υ µ Z d Observe that the choice a µ,ε 1 recovers the oerator E N+1 E N. Then, we shall rove the following. Theorem 1.2. Let d/(d + 1) <, 0 < r, and (11) max{d(1/ 1), 1/ 1} < s < min{1, 1/}. Then there is a constant C := C(, r, s) > 0 such that for all f B s, (12) su E N f Π N f B s,r C f B s,. N Moreover, (13) su T N [f, a] B s,r a f B s,. N
5 THE HAAR SYSTEM AS A SCHAUDER BASIS 5 We have the embedding F s,q F s, B s, which we use on the function side. For r we have the embedding B s,r F s,r (by Minkowski s inequality in L /r ) and if also r < q we have F s,r F s,q; these two are used for E N f Π N f, or T N [f, a]. In articular we conclude from Theorem 1.2 that E N Π N is bounded on F s,q, uniformly in N. Hence Corollary 1.3. Let, s be as in (11) and 0 < q. Then (14) su N E N f F s,q + su N su a l 1 T N [f, a] F s,q f F s,q. The roofs in this aer use basic rinciles in the theory of function saces, such as L inequalities for the Peetre maximal functions. A different aroach to Corollary 1.3 via wavelet theory is resented in the subsequent aer [3]. The main arguments and the roof of Theorem 1.2 are contained in 2. In 3 we show how estimates in the roof of Theorem 1.2 are used to deduce Theorem 1.1. Finally, in 4 we discuss the otimality of the results. 2. Proof of Theorem 1.2 We start with some reliminaries on convolution kernels which are used in Littlewood-Paley tye decomositions. Let β 0, β be Schwartz functions on R d, comactly suorted in ( 1/2, 1/2) d such that β 0 (ξ) > 0 when ξ 1 and β(ξ) > 0 when 1/8 ξ 1. Moreover assume β has vanishing moments u to a large order (15) M > d + s, that is, (16) R d β(x) x m 1 1 x m d d dx = 0 when m m d < M. For k = 1, 2,... let β k := 2 kd β(2 k ) and L k f = β k f. We shall use the inequality (17) g B s,r 2 ksr L k g r k=0 ) 1/r and aly it to g = E N f Π N f. Inequality (17) is of course just one art of a characterization of B s,r saces by sequences of comactly suorted kernels (or local means ), with sufficient cancellation assumtions, see for examle [14, 2.5.3].
6 6 G. GARRIGÓS A. SEEGER T. ULLRICH Let η 0 Cc (R d ) be as in (7), that is, suorted on { ξ < 3/8} and such that η 0 (ξ) = 1 when ξ 1/4. Define Λ 0, and Λ k for k 1 by Λ 0 f(ξ) = η 0(ξ) f(ξ) β 0 (ξ) Λ k f(ξ) = η 0(2 k ξ) η 0 (2 k+1 ξ) β(2 k ξ) Then j=0 L jλ j = Id with convergence in S, and su 2 js Λ j f f B s,. j 0 Moreover Π N = N j=0 L jλ j, and therefore (18) E N f Π N f = N (E N L j Λ j f L j Λ j f) + j=0 If we use the convenient notation E N := I E N, then the asserted estimate (12) will follow from (19) and (20) 2 ksr k=0 j=n+1 f(ξ), k 1. j=n+1 E N L j Λ j f. L k E N L j Λ j f r 1/r su 2 ) js Λ j f. j 2 ksr N L k E NL j Λ j f r 1/r su 2 ) js Λ j f. j k=0 j=0 Below we shall use variants of the Peetre maximal functions, which are a standard tool in the study of Besov and Triebel-Lizorkin saces. We define (21a) (21b) (21c) M j g(x) = M jg(x) = su g(x + h), h 2 j+1 su g(x + h), h 2 j+5 M g(x + h) A,jg(x) = su h R d (1 + 2 j h ) A, where h = max{ h 1,..., h d }, h = (h 1,..., h d ) R d. These different versions are introduced for technical uroses in the roofs. They satisfy obvious ointwise inequalities, M j g(x) M jg(x) C A M A,jg(x),
7 and (22) THE HAAR SYSTEM AS A SCHAUDER BASIS 7 M j g(x) inf M jg(x + h) h 2 j+4 ) 1/r, (2 (j 4)d [M jg(x + h)] r dh 0 < r. h 2 j+4 Below we shall use Peetre s inequality ([6], see also [13, 1.3.1]) (23) M A,jf C,A f, 0 <, A > d/, for f S (R d ) satisfying (24) su( f) {ξ : ξ 2 j+1 }. Throughout we shall assume that M A; we require secifically d/ < A < M s. The main estimates needed in the roof of (19) and (20) are summarized in Proosition 2.1. Let 0 < and (25) 2 N j 2 j k 2 (j N)(d 1)( 1 1) + if j, k N + 1, 2 N k 2 j N if j N, k N + 1, B(j, k, N) = 2 k N 2 j N 2 (N k)d( 1 1) + if 0 j, k N, j N k j+ 2 +[N k+(j k)(d 1)]( 1 1) + if j N + 1, k N. Then the following inequalities hold for all f S (R d ) whose Fourier transform is suorted in { ξ 2 j+1 }. (i) For j N + 1, { B(j, k, N) f if k N + 1, (26) L k E N [L j f] [B(j, k, N) + 2 j k (M A) ] f if 0 k N. (ii) For 0 j N, (27) L k E N[L j f] {[ B(j, k, N) + 2 j k (M A) ] f if k N + 1, B(j, k, N) f if 0 k N. (iii) The same bounds hold if the oerators E N in (i) and E N relaced by T N [, a], uniformly in a 1. in (ii) are We begin with two reliminary lemmata, the first a straightforward estimate for L k L j. Lemma 2.2. Let k, j 0 and suose that f is locally integrable. Let M be as in (16) with M > A > d/. Then (28) L k L j f(x) 2 k j (M A) M A,max{j,k} f(x).
8 8 G. GARRIGÓS A. SEEGER T. ULLRICH If f S (R d ) with f(ξ) = 0 for ξ 2 j+1 then L k L j f 2 k j (M A) f. Proof. The second assertion is an immediate consequence of (28), by (23). We have L k L j f = γ j,k f where γ j,k = β k β j. By symmetry we may assume k j. Using the cancellation assumtion (16) on the β j we get γ j,k (x) = = 2 kd kd[ M 1 β(2 k 1 ] (x y) m! 2k y, m β(2 k x) 2 jd β(2 j y)dy (1 s) M 1 (M 1)! 2 (k j)m 2 kd 1 [ 2 k,2 k ] d(x), and thus m=0 2 k y, M β(2 k x s2 k y) ds 2 jd β(2 j y)dy 2 (j k)m γ j,k f(x) 2 kd h 2 k f(x h) dh 2 kd Hence (28) holds. h 2 k 2 (j k)a f(x h) (1 + 2 j h ) A dh 2 (j k)a M A,jf(x). Some notation. (i) Below, when j > N we use the notation { U N,j = (y 1,..., y d ) R d : min dist(y i, 2 N Z) 2 j 1}. 1 i d That is, U N,j is a 2 j 1 -neighborhood of the set I DN I. (ii) For a dyadic cube I of side length 2 N and l > N we shall denote by D l [ I] the set of dyadic cubes J D l such that J I. (iii) For a dyadic cube I of side length 2 N denote by D N (I) the neighboring cubes of I, that is, the cubes I D N with Ī Ī. Lemma 2.3. (i) Let k > N 1 and g be locally integrable. Then (29) L k (E N g)(x) = 0, for all x U N,k = Rd \ U N,k. (ii) Let j > N 1, and f locally integrable. Then (30) E N [L j f] = E N [L j (1 UN,j f)]. Moreover, (31) E N (L j f) 2 (N j)d I D N J D j+1 [ I] f L (J) 1 I.
9 THE HAAR SYSTEM AS A SCHAUDER BASIS 9 Proof. (i) We use the suort and cancellation roerties of β k. Note that L k (E N g)(x) = β k (x y) E N g(y) dy, and su β k (x ) x + 2 k [ 1/2, 1/2] d. So, if I D N and x I UN,k, then su β k (x ) I, and hence L k (E N g)(x) = (E N g) I (x) β k (x y) dy = 0. (ii) One argues similarly. First note that, changing the order of integration, (32) E N (L j f) = [ ] f(y) β j (x y) dx dy 1 I R d I I. I D N Now if J D N and y J UN,k then su β j( y) J, and hence I β j(x y) dx = 0. Thus E N [L j (1 U f)] = 0. Finally, to rove (31) note N,j that, if I D N and x I, then from (32) it follows E N (L j f)(x) = I 1 [ ] f(y) β j (x y) dx dy 2 Nd J D j+1 [ I] J D j+1 [ I] I J f L (J)2 (j+1)d β j 1, I which gives the asserted (31). Proof of Proosition 2.1. Proof of (26) in the case j, k N + 1. By Lemma 2.3.i, L k E N [L j f](x) = 0 if x UN,K, so we assume that x U N,k I, for some I D N. Recall that D N (I) consists of the neighboring cubes of I. Then (31) and the suort roerty of β k give L k E N [L j f](x) β k (x y) E N (L j f)(y) dy 2 (N j)d f L (J) β k 1. I D N (I) J D j+1 [ I ] Hence L k E N [L j f] = (33) [ I D N 2 (N j)d[ I U N,k L k (E N L j f) dx I D N J D j+1 [ I] ] 1 f L (J)) I UN,k ] 1.
10 10 G. GARRIGÓS A. SEEGER T. ULLRICH Now, I U N,k 2 k 2 N(d 1), and card D j+1 [ I] 2 (j N)(d 1). Also, if we write J = 2 j 1 (l J + [0, 1] d ), then f L (J) inf M jf(l J + h) [2 jd M jf(l J + h) dh h 2 j 1 h 2 j 1 Therefore, using either Hölder s inequality (if > 1), or the embedding l l 1 (if 1), we have [ ) ] 1 (34) I D N J D j+1 [ I] f L (J) [ 2 (j N)(d 1)(1 1 ) + [ 2 (j N)(d 1)(1 1 ) + 2 (j N)(d 1)(1 1 ) + 2 jd I D N J D j+1 [ I] J D j+1 2 jd M jf L (R d ). ] f 1 L (J) Finally, inserting (34) into (33), and using (23), yields h 2 j 1 M jf(l J + h) dh L k E N [L j f] 2 (N j)d 2 (j N)(d 1)(1 1 ) + 2 jd f 2 k 2 N(d 1) = 2 N j 2 j k 2 (j N)(d 1)( 1 1) + f, using in the last ste the trivial identity (1 1 ) + = ( 1 1) + ( 1 1). This establishes (26) for j, k N + 1. Proof of (27) in the case j N, k N + 1. For w I with I D N we have E N(L j f)(w) = E N [L j f](w) L j f(w) = 2 Nd 2 jd[ β(2 j (v y)) β(2 j (w y)) ] f(y)dy dv I R d 1 = 2 (N+j)d β(2 j [(1 t)w + tv y]) 2 j (v w) dt f(y) dy dv I R d (N+j)d 2 j N f(y) β(2 j [(1 t)w + tv y]) dy dt dv I 0 R d 2 j N M j f(w), since for fixed w, v, t the exression involving β is suorted in the set {y : y w 2 j N }. Moreover, since k > N, when w I N,µ and z 2 k 1 we have (35) E N[L j f](w z) 2 j N inf M jf(2 N µ + h), h 2 j ] 1 ] 1.
11 and therefore, (36) L k ( E N [L j f] ) (w) Now Lemma 2.3.i gives ( (37) Lk E N [L j f] ) THE HAAR SYSTEM AS A SCHAUDER BASIS 11 L k L j f L (U N,k ) + [ E N(w z) β k (z) dz 2 j N[ M jf(2 N µ + h) dh h 2 j µ Z d L k ] 1 ( E N [L j f] ) L (U N,k I N,µ)] 1. Using (36), the last term is controlled by 2 j N[ I N,µ U N,k M jf(2 N µ + h) dh µ Z d h 2 j 2 j N [2 k 2 N(d 1) ] 1 2 Nd M jf 2 j N 2 N k f. Finally, the first term in (37) is controlled by Lemma 2.2, so overall one obtains ( L k E N [L j f] ) [2 (M A) k j + 2 j N 2 N k ] f, ] 1. establishing (27) in the case j N, k N + 1. Proof of (27) in the case 0 j, k N. We use E N[L j f](y) dy = 0, I D N, to write L k ( E N [L j f] ) (x) = µ For fixed x, we say that I I N,µ ( βk (x y) β k (x 2 N µ) ) E N[L j f](y) dy. (38) µ Λ(x) if x 2 N µ 2 N + 2 k 1. Observe that only these µ s contribute to the above sum. Notice also that β k (x y) β k (x 2 N µ) 2 kd 2 k N, if y I N,µ, and since j N, the estimate in (35) gives E N[L j f](y) 2 j N inf M jf(2 N µ + h), y I N,µ. h 2 j
12 12 G. GARRIGÓS A. SEEGER T. ULLRICH Combining all these bounds we obtain L k ( E N [L j f] ) (x) 2 (k N)(d+1) 2 j N µ Λ(x) ( 2 (k N)(d+1) 2 j N 2 (N k)d(1 1 ) + µ Λ(x) ( µ 2 N +[ 1 2 j, 1 ) 1 [M jf] 2 j ]d µ 2 N +[ 1 2 j, 1 2 j ]d [M jf] using in the last ste Hölder s inequality (or l l 1 if 1) and the fact that card Λ(x) 2 (N k)d. Observe also that the L -quasinorm of the last bracketed exression satisfies ( Rd µ Λ(x) µ 2 N +[ 1 2 j, 1 2 j ]d [M jf] ) 1 µ Z d 2 kd µ 2 N +[ 1 2 j, 1 2 (N k)d/ M j f. ) 1 ) 1 [M jf] 2 j ]d Thus, overall we obtain L k E N[L j f] 2 (k N)(d+1) 2 j N 2 (N k)d(1 1 ) + 2 (N k)d/ f = 2 k N 2 j N 2 (N k)d( 1 1) + f, after simlifying the indices in the last ste. This establishes (27) in the case 0 j, k N. Proof of (26) in the case j N + 1, k N. This condition and (30) in Lemma 2.3 imly that E N [L j f] = E N [L j (f1 UN,j )]. For simlicity, we denote f = f1 UN,j, and write (39) L k E N [L j f] = L k (E N [L j f] Lj f) + Lk L j f. Observe that, by Lemma 2.2, L k L j f 2 (M A) j k M A,jf(x) 2 (M A) j k f. So, we only need to estimate L k E N [L j f]. Proceeding as in the roof of the case j, k N, we write (with Λ(x) as in (38)), (40) ( ) L k E N [L j f] (x) β k (x y) β k (x 2 N µ) E N[L j f](y) dy µ Λ(x) I N,µ 2 kd 2 ( k N E N [L j f] + Lj ( f) ) µ Λ(x) = A 1 (x) + A 2 (x). I N,µ
13 THE HAAR SYSTEM AS A SCHAUDER BASIS 13 Now, using again (31), we have A 1 (x) 2 (k N)(d+1) 2 (N j)d (41) µ Λ(x) J D j+1 [ I N,µ ] [ 2 k N 2 (k j)d 2 (N k)d(1 1 ) + µ Λ(x) f L (J) J D j+1 [ I N,µ ] f L (J) ) ] 1, since card Λ(x) 2 (N k)d. Taking the L -quasinorm of the last bracketed exression gives [ x Rd ) ] 1 f L (J) dx (42) µ Λ(x) J D j+1 [ I N,µ ] [ I D N 2 kd( J D j+1 [ I] ) ] 1 f L (J) 2 (j k)d 2 (j N)(d 1)(1 1 ) + M j f L (R d ) Therefore, combining exonents in (41) and (42) one obtains (43) A 1 2 k N 2 (k j)d 2 (N k)d(1 1 ) + 2 (j k)d by (34). 2 (j N)(d 1)(1 1 ) + f = 2 k j 2 j N 2 (N k)( 1 1) + 2 (j k)(d 1)( 1 1) + f. Finally, we estimate the term A 2 (x) in (40). First notice that L j ( f)(y) β j (y z) f(z) dz = 0, if y UN,j 1, U N,j since su β j (y ) y + 2 j [ 1 2, 1 2 ]d UN,j. Moreover, if I D N, then for every cube J D j such that J I U N,j 1 we have L j ( f)(y) β j (z) f(y z) dz f L (J ), if y J where J = J + 2 j [ 1 2, 1 2 ]d. Therefore, L j ( f)(y) I J D j [ I] and overall we obtain A 2 (x) 2 (k j)d 2 k N f L (J ) J, µ Λ(x) J D j 1 [ I N,µ ] f L (J). But this is essentially the same exression we obtained in (41) for the term A 1 (x), so the same argument will give an estimate of A 2 in terms of the quantity in (43). This concludes the roof of (26) in the case j N + 1, k N. Finally, concerning (iii) in Proosition 2.1, we remark that the revious roofs can easily be adated relacing the oerators E N and E N by T N[, a],
14 14 G. GARRIGÓS A. SEEGER T. ULLRICH keeing in mind that T N [g, a] is now constant in cubes I D N+1, and enjoys an additional cancellation, I N,µ T N [g, a](x)dx = 0, which simlifies some of the revious stes. Proof of Theorem 1.2, conclusion. It remains to rove inequalities (19) and (20). By the embedding roerties for the sequence saces l r it suffices to verify both inequalities for very small r, say (44) r min{, 1}. In view of the embedding l r l 1 and Minkowski s inequality (in L /r ) it suffices then to rove (45) su 2 ksr L k E N L j Λ j f r 1/r ) su 2 js Λ j f N j and (46) su N k=0 j=n+1 N 2 ksr k=0 j=0 L k (E NL j Λ j f) r ) 1/r su j 2 js Λ j f. If we aly Proosition 2.1 to each of the functions Λ j f, we reduce matters to observe that (47) su 2 ksr [ 2 js B(j, k, N) ] r <, N k=0 j=0 with B(j, k, N) as in (25), and that N + j=n+1 k=0 N k=n+1 j=0 ) 2 j k (M A) < which is trivial. The verification of (47) under the assumtions in (11) is also elementary, but we carry out some details to clarify how the conditions on and s are used. When j, k > N, we have B(j, k, N) = 2 N j 2 j k 2 (j N)(d 1)( 1 1) + and thus [ 2 js B(j, k, N) ] r 2 ksr k>n j>n (48) = 2 kr( 1 s)) ) 2 rj[s+1 1 (d 1)( 1 1) +] 2 Nr[1 (d 1)( 1 1) +], k>n j>n and the series converge rovided s < 1/ and (49) s > (d 1)( 1 1) + = max {d( 1 1), 1 1 }. Further, being geometric sums, the final outcome in (48) is bounded uniformly in N.
15 THE HAAR SYSTEM AS A SCHAUDER BASIS 15 Next assume j N < k, then B(j, k, N) = 2 N k 2 j N and hence [ 2 js B(j, k, N) ] r = 2 kr( 1 s)) 2 rj(1 s)) 2 Nr( 1 1), k>n 2 ksr j N k>n which are finite exressions rovided s < min{1, 1/}. j N Consider j, k N, with B(j, k, N) = 2 k N 2 j N 2 (N k)d( 1 1) +. Then [ 2 js B(j, k, N) ] r = 2 ksr k N j N )( = 2 kr[s+1 d( 1 1) +] 2 rj(1 s)) 2 Nr[2 d( 1 1) +], k N j N which leads to uniform exressions in N under the assumtions s < 1 and (50) s > d( 1 1) + 1, the latter being weaker than (49). j N k j+ When k N < j we have B(j, k, N) = 2 +[N k+(j k)(d 1)]( 1 1) + and [ 2 js B(j, k, N) ] r = 2 ksr k N j>n )( = 2 kr[s+1 d( 1 1) ) +] 2 rj[s+1 1 (d 1)( 1 1) +] 2 Nr[ 1 ( 1 1) +], k N j>n where in the first series we would use (50) and in the second series (49). We have verified (47) in all cases. This finishes the roof of Theorem Schauder bases Let P N be defined as in (3). For the roof of Theorem 1.1 we need to rove that P N f f F s,q 0 for every f F,q, s with (, s) as in (11) and 0 < q <. We first discuss some reliminaries about localization and ointwise multilication by characteristic functions of cubes, then rove uniform bounds for the F,q s F,q s oerator norms of the P N and then establish the asserted limiting roerty. Preliminaries. For ν Z d let χ ν be the characteristic function of ν + [0, 1) d. Lemma 3.1. Assume that (51) d 1 d < <, 0 < q, and max{d( 1 1), 1 1} < s < 1. Then, the following holds for all g ν and f F,q: s χ ν g ν g F s ν ν Z d,q ν Z d F s,q ) 1/
16 16 G. GARRIGÓS A. SEEGER T. ULLRICH and ν Z d fχ ν F s,q ) 1/ f F s,q. Proof. Let ς Cc (R d ) so that su(ς) ( 1, 1) d and ν Zd ς(x ν) = 1 for all x R d. Let ς ν = ς( ν). We have, for all s R, (52) g F s,q ς ν g 1/ F ;,q) s see [14, 2.4.7]. Hence χ ν g ν = ( F ς F s ν χ ν g ν ς ν Z d,q ν s ν ν,q ν ) 1/ 1/. g ν F,q g s ν F,q) s ν ν ν 1 ν ν ν ν 1 χ ν g ν F s,q ) 1/ Here we have used that ς ν χ ν are ointwise multiliers of F,q, s with uniform bounds in (ν, ν ), in the range given by (51); see [7, Thm /1]. This roves the first inequality. For the second inequality we first observe that, by (52), ) 1/ fχ ν F s,q fχ ν ς ν F,q, ν Z d, s which yields fχ ν F,q s )1/ fχ ν ς ν F,q s ν ν ν ν ν ν ν ν 1 ) 1/ fχ ν ς ν F s,q ) 1/ ) 1/ fς ν F,q s f F s,,q where we have used the ointwise multilier assertion [7, Thm /1] and then again (52) in the last ste. Uniform boundedness of the P N. Observe that by the localization roerty of the Haar functions we have P N f = ν Z d χ νp N f = ν χ νp N [fχ ν ]. Thus by Lemma 3.1 P N f F s,q P N [fχ ν ] 1/ F.,q) s ν Since the enumeration of the Haar system is assumed to be admissible we have (53) P N [fχ ν ] = E Nν [fχ ν ] + T Nν [fχ ν, a N,ν ]
17 THE HAAR SYSTEM AS A SCHAUDER BASIS 17 for some N ν N, with N ν N and aroriate sequences a N,ν assuming only the values 1 and 0. We remark that for each ν, N ν = N ν (N) with (54) lim N N ν(n) =. By Theorem 1.2 P N [fχ ν ] F,q s ν ) 1/ E Nν [fχ ν ] ) 1/ F + T,q s Nν [fχ ν, a N,ν ] F,q s ν ν fχ ν F s,q ν ) 1/ f F s,q, where for the last inequality we have used Lemma 3.1 again. ) 1/ Proof of Theorem 1.1, conclusion. Let f F,q, s with (, s) as in (11) and 0 < q <. Let C = max{1, su N P N F s,q F,q s }. Since Schwartz functions are dense in F,q s when 0 <, q < there is f S(R) such that f f F s,q < (3C) 1 ɛ and hence P N f P N f F s,q < ɛ/3. Choose s 1 so that s < s 1 < max{1/, 1} then f B s 1,q F,q. s Since the Haar system is an unconditional basis on B s 1,q ([15]) we have lim N P N f f B s 1,q and therefore lim N P N f f F s,q = 0. Combining these facts we get P N f f F s,q < ɛ for sufficiently large N which shows that P N f f in F,q s. 4. Otimality away from the end-oints Proosition 4.1. Let 0 < q <. Then, the Haar system H d is not a Schauder basis of F s,q(r d ) in each of the following cases: (i) if 1 < < and s 1/ or s 1/ 1, (ii) if d/(d + 1) 1 and s > 1 or s < d(1/ 1), (iii) if 0 < < d/(d + 1) and s R. The same result for the saces B,q(R s d ) was roved by Triebel in [12]; see also [15, Proosition 2.24]. Proosition 4.1 can be obtained from this and Theorem 1.1 by suitable interolation. Indeed, assertion (i) was already discussed in the aragrah following (4), so we restrict to 1. Assume next that H d is a basis for F,q s for some d/(d + 1) < < 1 and s > 1 or s < d(1/ 1). By Theorem 1.1, H d is also a basis for F s 0,q, for any d(1/ 1) < s 0 < 1. By real interolation, see e.g. [13, Thm (ii)], for all 0 < θ < 1, the system H d will then be a basis of ( F s 0,q, F,q s ),q, with s θ = (1 θ)s 0 + θs. θ,q = Bs θ
18 18 G. GARRIGÓS A. SEEGER T. ULLRICH But when θ is close to 1 this would contradict Triebel s result. The remaining cases, = 1 and d/(d + 1) can be roved similarly using comlex interolation of F -saces; see [14, 1.6.7]. We remark that, in the aer [12], the failure of the Schauder basis roerty in the B-saces is sometimes due to the fact that san H d fails to be dense in B s,q. This is the case, for instance, in the region (55) (d 1)/d < < 1 and max { 1, d(1/ 1) } < s < 1/; see [12, Corollary 2]. Here we show that also a quantitative bound holds, therefore ruling out the ossibility that H d could be a basic sequence. Proosition 4.2. Let 0 < q, and (, s) be as in (55). Then, E N B s,q B s,q 2(s 1)N. Proof. Let η Cc (R d ) such that η 1 on [ 2, 2] d, and consider the Schwartz function f(x) = x 1 η(x). It suffices to show that (56) E N f B s 2 (s 1)N.,q Under (55) we have s > σ := d(1/ 1) +. Assume first that s < 2 (which is always the case if d > 1). Then we can use the equivalence of quasi-norms d ( 1 2 he g B s,q (R d ) g + j g q dh ) 1/q, h sq h j=1 with the usual modification in the case q =, see [14, 2.6.1]. In articular (57) E N f ( 2 N 1 2 ( he EN 1 f ) q ) 1/q L B s ([0,1] d ) dh,q h sq. h 0 Now, it is easily checked that, when x [0, 1) d, one has E N f = k+1/2 1 2 N [ k 2 N, k+1, 2 N ) [0,1)d 1 0 k<2 N and likewise, if we additionally assume 0 < h < 2 N 1, then ( he1 EN f ) 2N N 1 = 2 1 [ k 2 N h, k. 2 N ) [0,1)d 1 k=1 and 2 ( he 1 EN f ) 2N [ ] N 1 = 2 1 [ k 2 N 2h, k 1 2 N h) [0,1)d 1 [ k 2 N h, k. 2 N ) [0,1)d 1 Therefore, k=1 2 he 1 E N f L ([0,1] d ) = 2 (N+1)(1/ 1) h 1/, which, inserted into (57), gives (56). If d = 1 and s 2, one alies a similar argument to the functions L he 1 (E N f) with L = s +1 and h < 2 N /L. 0
19 THE HAAR SYSTEM AS A SCHAUDER BASIS 19 By interolation one obtains as well a quantitative bound for the relevant cases in Proosition 4.1(ii). Corollary 4.3. Let 0 < q, d/(d + 1) < < 1 and 1 < s < 1/. Then, for all ε > 0, (58) E N F s,q F s,q c ε 2 (s 1 ε)n. Proof. If d(1/ 1) < s 0 < 1 and θ (0, 1), then the real interolation inequalities give E N 1 θ F s 0,q F s 0,q E N θ F s,q F s,q c θ E N B s θ,q B s θ,q, with s θ = (1 θ)s 0 +θs. By Proosition 4.2 the right hand side is larger than a constant times 2 N(sθ 1), while by Corollary 1.3 we have E F N s 0,q F s 1. 0,q Choosing θ sufficiently close to 1 one derives (58). Acknowledgments. The authors worked on this aer while articiating in the 2016 summer rogram in Constructive Aroximation and Harmonic Analysis at the Centre de Recerca Matemàtica at the Universitat Autònoma de Barcelona, Sain. They would like to thank the organizers of the rogram for roviding a leasant and fruitful research atmoshere. We also thank the referee for various useful comments that have led to an imroved version of this aer. Finally, T.U. thanks Peter Oswald for discussions concerning [12] and the results in 4. References [1] F. Albiac, N. Kalton. Toics in Banach sace theory. Graduate Texts in Mathematics, 233. Sringer, New York, [2] C. Fefferman, E.M. Stein. Some maximal inequalities. Amer. J. Math. 93 (1971) [3] G. Garrigós, A. Seeger, T. Ullrich. On uniform boundedness of dyadic averaging oerators in saces of Hardy-Sobolev tye. Analysis Math. 43 (2) (2017), [4] A. Haar. Zur Theorie der orthogonalen Funktionensysteme. Math. Ann. 69 (1910), [5] J. Marcinkiewicz. Quelques théoremes sur les séries orthogonales. Ann. Sci. Polon. Math. 16 (1937), [6] J. Peetre. On saces of Triebel-Lizorkin tye. Ark. Mat. 13 (1975), [7] T. Runst, W. Sickel. Sobolev saces of fractional order, Nemytskij oerators, and nonlinear artial differential equations, volume 3 of de Gruyter Series in Nonlinear Analysis and Alications. Walter de Gruyter & Co., Berlin, [8] J. Schauder. Eine Eigenschaft der Haarschen Orthogonalsysteme. Math. Z. 28 (1928), [9] A. Seeger, T. Ullrich. Haar rojection numbers and failure of unconditional convergence in Sobolev saces. Math. Z. 285 (2017), [10]. Lower bounds for Haar rojections: Deterministic Examles. Constr. Ar. 46 (2017), [11] H. Triebel. Über die Existenz von Schauderbasen in Sobolev-Besov-Räumen. Isomorhiebeziehungen. Studia Math. 46 (1973), [12]. On Haar bases in Besov saces. Serdica 4 (1978), no. 4,
20 20 G. GARRIGÓS A. SEEGER T. ULLRICH [13]. Theory of function saces. Monograhs in Mathematics, 78. Birkhäuser Verlag, Basel, [14]. Theory of function saces II. Monograhs in Mathematics, 84. Birkhäuser Verlag, Basel, [15]. Bases in function saces, samling, discreancy, numerical integration. EMS Tracts in Mathematics, 11. Euroean Mathematical Society (EMS), Zürich, Gustavo Garrigós, Deartment of Mathematics, University of Murcia, Esinardo, Murcia, Sain address: Andreas Seeger, Deartment of Mathematics, University of Wisconsin, 480 Lincoln Drive, Madison, WI, 53706, USA address: Tino Ullrich, Hausdorff Center for Mathematics, Endenicher Allee 62, Bonn, Germany address:
ON UNIFORM BOUNDEDNESS OF DYADIC AVERAGING OPERATORS IN SPACES OF HARDY-SOBOLEV TYPE. 1. Introduction
ON UNIFORM BOUNDEDNESS OF DYADIC AVERAGING OPERATORS IN SPACES OF HARDY-SOBOLEV TYPE GUSTAVO GARRIGÓS ANDREAS SEEGER TINO ULLRICH Abstract We give an alternative roof and a wavelet analog of recent results
More informationLOWER BOUNDS FOR HAAR PROJECTIONS: DETERMINISTIC EXAMPLES. 1. Introduction
LOWER BOUNDS FOR HAAR PROJECTIONS: DETERMINISTIC EXAMPLES ANDREAS SEEGER TINO ULLRICH Abstract. In a previous paper by the authors the existence of Haar projections with growing norms in Sobolev-Triebel-Lizorkin
More informationSTRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2
STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2 ANGELES ALFONSECA Abstract In this aer we rove an almost-orthogonality rincile for
More informationSobolev Spaces with Weights in Domains and Boundary Value Problems for Degenerate Elliptic Equations
Sobolev Saces with Weights in Domains and Boundary Value Problems for Degenerate Ellitic Equations S. V. Lototsky Deartment of Mathematics, M.I.T., Room 2-267, 77 Massachusetts Avenue, Cambridge, MA 02139-4307,
More informationOn the Interplay of Regularity and Decay in Case of Radial Functions I. Inhomogeneous spaces
On the Interlay of Regularity and Decay in Case of Radial Functions I. Inhomogeneous saces Winfried Sickel, Leszek Skrzyczak and Jan Vybiral July 29, 2010 Abstract We deal with decay and boundedness roerties
More information1 Riesz Potential and Enbeddings Theorems
Riesz Potential and Enbeddings Theorems Given 0 < < and a function u L loc R, the Riesz otential of u is defined by u y I u x := R x y dy, x R We begin by finding an exonent such that I u L R c u L R for
More informationPseudodifferential operators with homogeneous symbols
Pseudodifferential oerators with homogeneous symbols Loukas Grafakos Deartment of Mathematics University of Missouri Columbia, MO 65211 Rodolfo H. Torres Deartment of Mathematics University of Kansas Lawrence,
More informationSums of independent random variables
3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationTRACES AND EMBEDDINGS OF ANISOTROPIC FUNCTION SPACES
TRACES AND EMBEDDINGS OF ANISOTROPIC FUNCTION SPACES MARTIN MEYRIES AND MARK VERAAR Abstract. In this aer we characterize trace saces of vector-valued Triebel-Lizorkin, Besov, Bessel-otential and Sobolev
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationRIEMANN-STIELTJES OPERATORS BETWEEN WEIGHTED BERGMAN SPACES
RIEMANN-STIELTJES OPERATORS BETWEEN WEIGHTED BERGMAN SPACES JIE XIAO This aer is dedicated to the memory of Nikolaos Danikas 1947-2004) Abstract. This note comletely describes the bounded or comact Riemann-
More informationHaar type and Carleson Constants
ariv:0902.955v [math.fa] Feb 2009 Haar tye and Carleson Constants Stefan Geiss October 30, 208 Abstract Paul F.. Müller For a collection E of dyadic intervals, a Banach sace, and,2] we assume the uer l
More informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationIntroduction to Banach Spaces
CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.
More informationDiscrete Calderón s Identity, Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces
J Geom Anal (010) 0: 670 689 DOI 10.1007/s10-010-913-6 Discrete Calderón s Identity, Atomic Decomosition and Boundedness Criterion of Oerators on Multiarameter Hardy Saces Y. Han G. Lu K. Zhao Received:
More informationON PLATE DECOMPOSITIONS OF CONE MULTIPLIERS. 1. Introduction
ON PLATE DECOMPOSITIONS OF CONE MULTIPLIERS GUSTAVO GARRIGÓS AND ANDREAS SEEGER Abstract. An imortant inequality due to Wolff on late decomositions of cone multiliers is nown to have consequences for shar
More informationLocation of solutions for quasi-linear elliptic equations with general gradient dependence
Electronic Journal of Qualitative Theory of Differential Equations 217, No. 87, 1 1; htts://doi.org/1.14232/ejqtde.217.1.87 www.math.u-szeged.hu/ejqtde/ Location of solutions for quasi-linear ellitic equations
More informationMollifiers and its applications in L p (Ω) space
Mollifiers and its alications in L () sace MA Shiqi Deartment of Mathematics, Hong Kong Batist University November 19, 2016 Abstract This note gives definition of mollifier and mollification. We illustrate
More informationGreediness of higher rank Haar wavelet bases in L p w(r) spaces
Stud. Univ. Babeş-Bolyai Math. 59(2014), No. 2, 213 219 Greediness of higher rank Haar avelet bases in L (R) saces Ekaterine Kaanadze Abstract. We rove that higher rank Haar avelet systems are greedy in
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationCommutators on l. D. Dosev and W. B. Johnson
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Commutators on l D. Dosev and W. B. Johnson Abstract The oerators on l which are commutators are those not of the form λi
More informationWAVELET DECOMPOSITION OF CALDERÓN-ZYGMUND OPERATORS ON FUNCTION SPACES
J. Aust. Math. Soc. 77 (2004), 29 46 WAVELET DECOMPOSITION OF CALDERÓN-ZYGMUND OPERATORS ON FUNCTION SPACES KA-SING LAU and LIXIN YAN (Received 8 December 2000; revised March 2003) Communicated by A. H.
More informationSINGULAR INTEGRALS WITH ANGULAR INTEGRABILITY
SINGULAR INTEGRALS WITH ANGULAR INTEGRABILITY FEDERICO CACCIAFESTA AND RENATO LUCÀ Abstract. In this note we rove a class of shar inequalities for singular integral oerators in weighted Lebesgue saces
More informationSCHUR S LEMMA AND BEST CONSTANTS IN WEIGHTED NORM INEQUALITIES. Gord Sinnamon The University of Western Ontario. December 27, 2003
SCHUR S LEMMA AND BEST CONSTANTS IN WEIGHTED NORM INEQUALITIES Gord Sinnamon The University of Western Ontario December 27, 23 Abstract. Strong forms of Schur s Lemma and its converse are roved for mas
More informationExistence Results for Quasilinear Degenerated Equations Via Strong Convergence of Truncations
Existence Results for Quasilinear Degenerated Equations Via Strong Convergence of Truncations Youssef AKDIM, Elhoussine AZROUL, and Abdelmoujib BENKIRANE Déartement de Mathématiques et Informatique, Faculté
More informationCONSTRUCTIVE APPROXIMATION
Constr. Arox. (1998) 14: 1 26 CONSTRUCTIVE APPROXIMATION 1998 Sringer-Verlag New York Inc. Hyerbolic Wavelet Aroximation R. A. DeVore, S. V. Konyagin, and V. N. Temlyakov Abstract. We study the multivariate
More informationSpectral Properties of Schrödinger-type Operators and Large-time Behavior of the Solutions to the Corresponding Wave Equation
Math. Model. Nat. Phenom. Vol. 8, No., 23,. 27 24 DOI:.5/mmn/2386 Sectral Proerties of Schrödinger-tye Oerators and Large-time Behavior of the Solutions to the Corresonding Wave Equation A.G. Ramm Deartment
More informationOn Wald-Type Optimal Stopping for Brownian Motion
J Al Probab Vol 34, No 1, 1997, (66-73) Prerint Ser No 1, 1994, Math Inst Aarhus On Wald-Tye Otimal Stoing for Brownian Motion S RAVRSN and PSKIR The solution is resented to all otimal stoing roblems of
More informationMultiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type
Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationTHE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT
THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν
More informationOn Isoperimetric Functions of Probability Measures Having Log-Concave Densities with Respect to the Standard Normal Law
On Isoerimetric Functions of Probability Measures Having Log-Concave Densities with Resect to the Standard Normal Law Sergey G. Bobkov Abstract Isoerimetric inequalities are discussed for one-dimensional
More informationHIGHER ORDER NONLINEAR DEGENERATE ELLIPTIC PROBLEMS WITH WEAK MONOTONICITY
2005-Oujda International Conference on Nonlinear Analysis. Electronic Journal of Differential Equations, Conference 4, 2005,. 53 7. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationTranspose of the Weighted Mean Matrix on Weighted Sequence Spaces
Transose of the Weighted Mean Matri on Weighted Sequence Saces Rahmatollah Lashkariour Deartment of Mathematics, Faculty of Sciences, Sistan and Baluchestan University, Zahedan, Iran Lashkari@hamoon.usb.ac.ir,
More informationarxiv:math/ v1 [math.fa] 5 Dec 2003
arxiv:math/0323v [math.fa] 5 Dec 2003 WEAK CLUSTER POINTS OF A SEQUENCE AND COVERINGS BY CYLINDERS VLADIMIR KADETS Abstract. Let H be a Hilbert sace. Using Ball s solution of the comlex lank roblem we
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationMEAN AND WEAK CONVERGENCE OF FOURIER-BESSEL SERIES by J. J. GUADALUPE, M. PEREZ, F. J. RUIZ and J. L. VARONA
MEAN AND WEAK CONVERGENCE OF FOURIER-BESSEL SERIES by J. J. GUADALUPE, M. PEREZ, F. J. RUIZ and J. L. VARONA ABSTRACT: We study the uniform boundedness on some weighted L saces of the artial sum oerators
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationBesov-type spaces with variable smoothness and integrability
Besov-type spaces with variable smoothness and integrability Douadi Drihem M sila University, Department of Mathematics, Laboratory of Functional Analysis and Geometry of Spaces December 2015 M sila, Algeria
More informationOn the minimax inequality and its application to existence of three solutions for elliptic equations with Dirichlet boundary condition
ISSN 1 746-7233 England UK World Journal of Modelling and Simulation Vol. 3 (2007) No. 2. 83-89 On the minimax inequality and its alication to existence of three solutions for ellitic equations with Dirichlet
More informationApplications to stochastic PDE
15 Alications to stochastic PE In this final lecture we resent some alications of the theory develoed in this course to stochastic artial differential equations. We concentrate on two secific examles:
More informationReal Analysis 1 Fall Homework 3. a n.
eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually
More informationBest approximation by linear combinations of characteristic functions of half-spaces
Best aroximation by linear combinations of characteristic functions of half-saces Paul C. Kainen Deartment of Mathematics Georgetown University Washington, D.C. 20057-1233, USA Věra Kůrková Institute of
More informationarxiv:math/ v1 [math.ca] 14 Dec 2005
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 115, No. 4, November 23,. 383 389. Printed in India arxiv:math/512313v1 [math.ca] 14 Dec 25 An algebra of absolutely continuous functions and its multiliers SAVITA
More informationA sharp generalization on cone b-metric space over Banach algebra
Available online at www.isr-ublications.com/jnsa J. Nonlinear Sci. Al., 10 2017), 429 435 Research Article Journal Homeage: www.tjnsa.com - www.isr-ublications.com/jnsa A shar generalization on cone b-metric
More informationGENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS
GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS PALLAVI DANI 1. Introduction Let Γ be a finitely generated grou and let S be a finite set of generators for Γ. This determines a word metric on
More informationReceived: 12 November 2010 / Accepted: 28 February 2011 / Published online: 16 March 2011 Springer Basel AG 2011
Positivity (202) 6:23 244 DOI 0.007/s7-0-09-7 Positivity Duality of weighted anisotroic Besov and Triebel Lizorkin saces Baode Li Marcin Bownik Dachun Yang Wen Yuan Received: 2 November 200 / Acceted:
More informationMarcinkiewicz-Zygmund Type Law of Large Numbers for Double Arrays of Random Elements in Banach Spaces
ISSN 995-0802, Lobachevskii Journal of Mathematics, 2009, Vol. 30, No. 4,. 337 346. c Pleiades Publishing, Ltd., 2009. Marcinkiewicz-Zygmund Tye Law of Large Numbers for Double Arrays of Random Elements
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationLORENZO BRANDOLESE AND MARIA E. SCHONBEK
LARGE TIME DECAY AND GROWTH FOR SOLUTIONS OF A VISCOUS BOUSSINESQ SYSTEM LORENZO BRANDOLESE AND MARIA E. SCHONBEK Abstract. In this aer we analyze the decay and the growth for large time of weak and strong
More informationJacobi decomposition of weighted Triebel Lizorkin and Besov spaces
STUDIA MATHEMATICA 186 (2) (2008) Jacobi decomosition of weighted Triebel Lizorkin and Besov saces by George Kyriazis (Nicosia), Pencho Petrushev (Columbia, SC) and Yuan Xu (Eugene, OR) Abstract. The Littlewood
More informationCOMPACTNESS AND BEREZIN SYMBOLS
COMPACTNESS AND BEREZIN SYMBOLS I CHALENDAR, E FRICAIN, M GÜRDAL, AND M KARAEV Abstract We answer a question raised by Nordgren and Rosenthal about the Schatten-von Neumann class membershi of oerators
More informationTHE RIESZ-KOLMOGOROV THEOREM ON METRIC SPACES
Miskolc Mathematical Notes HU e-issn 787-243 Vol. 5 (24), No. 2,. 459 465 THE RIES-KOLMOGOROV THEOREM ON METRIC SPCES PREMYSŁW GÓRK ND NN MCIOS Received 24 Setember, 23 bstract. We study recomact sets
More informationA PRIORI ESTIMATES AND APPLICATION TO THE SYMMETRY OF SOLUTIONS FOR CRITICAL
A PRIORI ESTIMATES AND APPLICATION TO THE SYMMETRY OF SOLUTIONS FOR CRITICAL LAPLACE EQUATIONS Abstract. We establish ointwise a riori estimates for solutions in D 1, of equations of tye u = f x, u, where
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationt 0 Xt sup X t p c p inf t 0
SHARP MAXIMAL L -ESTIMATES FOR MARTINGALES RODRIGO BAÑUELOS AND ADAM OSȨKOWSKI ABSTRACT. Let X be a suermartingale starting from 0 which has only nonnegative jums. For each 0 < < we determine the best
More informationLEIBNIZ SEMINORMS IN PROBABILITY SPACES
LEIBNIZ SEMINORMS IN PROBABILITY SPACES ÁDÁM BESENYEI AND ZOLTÁN LÉKA Abstract. In this aer we study the (strong) Leibniz roerty of centered moments of bounded random variables. We shall answer a question
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationAN ENDPOINT SMOOTHING ESTIMATE FOR SCHRÖDINGER EQUATIONS
AN ENDPOINT SMOOTHING ESTIMATE FOR SCHRÖDINGER EUATIONS KEITH M. ROGERS AND ANDREAS SEEGER Abstract. We rove that the multilier oerator Ut α defined by Û t α f = e it α f is bounded from L β (Rd ) to L
More informationJournal of Mathematical Analysis and Applications
J. Math. Anal. Al. 44 (3) 3 38 Contents lists available at SciVerse ScienceDirect Journal of Mathematical Analysis and Alications journal homeage: www.elsevier.com/locate/jmaa Maximal surface area of a
More informationarxiv:math.ap/ v1 19 Aug 2005
On the global wellosedness of the 3-D Navier-Stokes equations with large initial data arxiv:math.ap/58374 v1 19 Aug 5 Jean-Yves Chemin and Isabelle Gallagher Laboratoire J.-L. Lions, Case 187 Université
More informationStochastic integration II: the Itô integral
13 Stochastic integration II: the Itô integral We have seen in Lecture 6 how to integrate functions Φ : (, ) L (H, E) with resect to an H-cylindrical Brownian motion W H. In this lecture we address the
More informationGENERALIZED NORMS INEQUALITIES FOR ABSOLUTE VALUE OPERATORS
International Journal of Analysis Alications ISSN 9-8639 Volume 5, Number (04), -9 htt://www.etamaths.com GENERALIZED NORMS INEQUALITIES FOR ABSOLUTE VALUE OPERATORS ILYAS ALI, HU YANG, ABDUL SHAKOOR Abstract.
More information2 K. ENTACHER 2 Generalized Haar function systems In the following we x an arbitrary integer base b 2. For the notations and denitions of generalized
BIT 38 :2 (998), 283{292. QUASI-MONTE CARLO METHODS FOR NUMERICAL INTEGRATION OF MULTIVARIATE HAAR SERIES II KARL ENTACHER y Deartment of Mathematics, University of Salzburg, Hellbrunnerstr. 34 A-52 Salzburg,
More informationBoundary problems for fractional Laplacians and other mu-transmission operators
Boundary roblems for fractional Lalacians and other mu-transmission oerators Gerd Grubb Coenhagen University Geometry and Analysis Seminar June 20, 2014 Introduction Consider P a equal to ( ) a or to A
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationETNA Kent State University
Electronic Transactions on Numerical Analysis. Volume 9,. 29-36, 25. Coyright 25,. ISSN 68-963. ETNA ASYMPTOTICS FOR EXTREMAL POLYNOMIALS WITH VARYING MEASURES M. BELLO HERNÁNDEZ AND J. MíNGUEZ CENICEROS
More informationOn Doob s Maximal Inequality for Brownian Motion
Stochastic Process. Al. Vol. 69, No., 997, (-5) Research Reort No. 337, 995, Det. Theoret. Statist. Aarhus On Doob s Maximal Inequality for Brownian Motion S. E. GRAVERSEN and G. PESKIR If B = (B t ) t
More informationResearch Article An iterative Algorithm for Hemicontractive Mappings in Banach Spaces
Abstract and Alied Analysis Volume 2012, Article ID 264103, 11 ages doi:10.1155/2012/264103 Research Article An iterative Algorithm for Hemicontractive Maings in Banach Saces Youli Yu, 1 Zhitao Wu, 2 and
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationAdditive results for the generalized Drazin inverse in a Banach algebra
Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized
More informationHEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES
Electronic Journal of ifferential Equations, Vol. 207 (207), No. 236,. 8. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu HEAT AN LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL
More informationUniform Law on the Unit Sphere of a Banach Space
Uniform Law on the Unit Shere of a Banach Sace by Bernard Beauzamy Société de Calcul Mathématique SA Faubourg Saint Honoré 75008 Paris France Setember 008 Abstract We investigate the construction of a
More informationANALYSIS & PDE. Volume 7 No msp YONGSHENG HAN, GUOZHEN LU ANDERIC SAWYER
ANALYSIS & PDE Volume 7 No. 7 4 YONGSHENG HAN, GUOHEN LU ANDEIC SAWYE FLAG HADY SPACES AND MACINKIEWIC MULTIPLIES ON THE HEISENBEG GOUP ms ANALYSIS AND PDE Vol. 7, No. 7, 4 dx.doi.org/.4/ade.4.7.465 ms
More informationThe Essential Norm of Operators on the Bergman Space
The Essential Norm of Oerators on the Bergman Sace Brett D. Wick Georgia Institute of Technology School of Mathematics ANR FRAB Meeting 2012 Université Paul Sabatier Toulouse May 26, 2012 B. D. Wick (Georgia
More informationLINEAR FRACTIONAL COMPOSITION OPERATORS OVER THE HALF-PLANE
LINEAR FRACTIONAL COMPOSITION OPERATORS OVER THE HALF-PLANE BOO RIM CHOE, HYUNGWOON KOO, AND WAYNE SMITH Abstract. In the setting of the Hardy saces or the standard weighted Bergman saces over the unit
More informationTRIGONOMETRIC WAVELET INTERPOLATION IN BESOV SPACES. Woula Themistoclakis. 1. Introduction
FACTA UNIVERSITATIS NIŠ) Ser. Math. Inform. 4 999), 49 7 TRIGONOMETRIC WAVELET INTERPOLATION IN BESOV SPACES Woula Themistoclakis Dedicated to Prof. M.R. Occorsio for his 65th birthday Abstract. In the
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationA Note on Guaranteed Sparse Recovery via l 1 -Minimization
A Note on Guaranteed Sarse Recovery via l -Minimization Simon Foucart, Université Pierre et Marie Curie Abstract It is roved that every s-sarse vector x C N can be recovered from the measurement vector
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More information1. Introduction In this note we prove the following result which seems to have been informally conjectured by Semmes [Sem01, p. 17].
A REMARK ON POINCARÉ INEQUALITIES ON METRIC MEASURE SPACES STEPHEN KEITH AND KAI RAJALA Abstract. We show that, in a comlete metric measure sace equied with a doubling Borel regular measure, the Poincaré
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationEXISTENCE AND UNIQUENESS OF SOLUTIONS FOR NONLOCAL p-laplacian PROBLEMS
Electronic Journal of ifferential Equations, Vol. 2016 (2016), No. 274,. 1 9. ISSN: 1072-6691. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu EXISTENCE AN UNIQUENESS OF SOLUTIONS FOR NONLOCAL
More informationOn a class of Rellich inequalities
On a class of Rellich inequalities G. Barbatis A. Tertikas Dedicated to Professor E.B. Davies on the occasion of his 60th birthday Abstract We rove Rellich and imroved Rellich inequalities that involve
More informationExtremal Polynomials with Varying Measures
International Mathematical Forum, 2, 2007, no. 39, 1927-1934 Extremal Polynomials with Varying Measures Rabah Khaldi Deartment of Mathematics, Annaba University B.P. 12, 23000 Annaba, Algeria rkhadi@yahoo.fr
More informationFréchet-Kolmogorov-Riesz-Weil s theorem on locally compact groups via Arzelà-Ascoli s theorem
arxiv:1801.01898v2 [math.fa] 17 Jun 2018 Fréchet-Kolmogorov-Riesz-Weil s theorem on locally comact grous via Arzelà-Ascoli s theorem Mateusz Krukowski Łódź University of Technology, Institute of Mathematics,
More informationAnalysis of some entrance probabilities for killed birth-death processes
Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction
More informationLECTURE 7 NOTES. x n. d x if. E [g(x n )] E [g(x)]
LECTURE 7 NOTES 1. Convergence of random variables. Before delving into the large samle roerties of the MLE, we review some concets from large samle theory. 1. Convergence in robability: x n x if, for
More informationHIGHER HÖLDER REGULARITY FOR THE FRACTIONAL p LAPLACIAN IN THE SUPERQUADRATIC CASE
HIGHER HÖLDER REGULARITY FOR THE FRACTIONAL LAPLACIAN IN THE SUPERQUADRATIC CASE LORENZO BRASCO ERIK LINDGREN AND ARMIN SCHIKORRA Abstract. We rove higher Hölder regularity for solutions of euations involving
More informationWAVELETS, PROPERTIES OF THE SCALAR FUNCTIONS
U.P.B. Sci. Bull. Series A, Vol. 68, No. 4, 006 WAVELETS, PROPERTIES OF THE SCALAR FUNCTIONS C. PANĂ * Pentru a contrui o undină convenabilă Ψ este necesară şi suficientă o analiză multirezoluţie. Analiza
More informationBoundedness criterion of Journé s class of singular integrals on multiparameter Hardy spaces
Available online at www.sciencedirect.com Journal of Functional Analysis 64 3) 38 68 www.elsevier.com/locate/jfa Boundedness criterion of Journé s class of singular integrals on multiarameter ardy saces
More informationMaxisets for μ-thresholding rules
Test 008 7: 33 349 DOI 0.007/s749-006-0035-5 ORIGINAL PAPER Maxisets for μ-thresholding rules Florent Autin Received: 3 January 005 / Acceted: 8 June 006 / Published online: March 007 Sociedad de Estadística
More informationSOME INEQUALITIES FOR (α, β)-normal OPERATORS IN HILBERT SPACES. 1. Introduction
SOME INEQUALITIES FOR (α, β)-normal OPERATORS IN HILBERT SPACES SEVER S. DRAGOMIR 1 AND MOHAMMAD SAL MOSLEHIAN Abstract. An oerator T is called (α, β)-normal (0 α 1 β) if α T T T T β T T. In this aer,
More informationA UNIFORM L p ESTIMATE OF BESSEL FUNCTIONS AND DISTRIBUTIONS SUPPORTED ON S n 1
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Number 5, May 997, Pages 39 3 S -993997)3667-8 A UNIFORM L ESTIMATE OF BESSEL FUNCTIONS AND DISTRIBUTIONS SUPPORTED ON S n KANGHUI GUO Communicated
More information