SINGULAR INTEGRALS ON SIERPINSKI GASKETS VASILIS CHOUSIONIS Abstract. We construct a class of singular integral operators associated with homogeneous Calderón-Zygmund standard kernels on d-dimensional, d < 1, Sierpinski gaskets E d. These operators are bounded in L 2 (µ d ) and their principal values diverge µ d almost everywhere, where µ d is the natural (ddimensional) measure on E d. 1. Introduction Given a Radon measure µ on R n and a continuously differentiable kernel K : R n R n \ {(x, y) : x y} R that satisfies the antisymmetry condition K(x, y) K(y, x) for x, y R n, x y, the singular integral operator T associated with K and µ is formally given by T (f)(x) K(x, y)f(y)dµy. Notice that the above integral does not usually exist when x sptµ. The truncated singular integral operators T ε, ε > 0; T ε (f)(x) K(x, y)f(y)dµy, x y >ε are considered in order to overcome this obstacle. In the same vein one considers the maximal operator T T (f)(x) sup T ε (f)(x) ε>0 and the principal values of T (f) at every x R n which, if they exist, are given by p.v.t (f)(x) limt ε (f)(x). ε 0 The singular integral operator T associated with µ and K is said to be bounded in L 2 (µ) if there exists some constant C > 0 such that for f L 2 (µ) and ε > 0 T ε (f) 2 dµ C f 2 dµ. 2000 Mathematics Subject Classification. Primary 42B20. Key words and phrases. Singular Integrals, Self similar sets. The author is supported by the Finnish Graduate School in Mathematical Analysis. 1
2 VASILIS CHOUSIONIS The natural question as to whether the L 2 (µ)-boundedness of the operator T forces its principal values to exist µ almost everywhere has been considered in many papers (see e.g. [MM], [MMV], [T], [D2], [Hu], [MV] and [Pr]). Even when µ is an m-dimensional Ahlfors-David (AD) regular measure in R n : C 1 r m µ(b(x, r)) Cr m for x sptµ, 0 < r < diam(sptµ), and K is any of the coordinate Riesz kernels: R m i (x, y) x i y i for i 1,..., n x y m+1 the question remains open for m > 1. When m 1, or equivalently in the case of the Cauchy transform, the above question has a positive answer by the results of Mattila, Melnikov and Verdera (see [MM] and [MMV]). Later on, in [T], Tolsa improved the afore mentioned results by removing the Ahlfors-David regularity assumption. In different settings the answer to the above question can be negative. Let C be the 1-dimensional four corners Cantor set and µ its natural (1-dimensional Hausdorff) measure. David in [D2], constructed Calderón-Zygmund standard, or simply CZ standard, kernels that define operators bounded in L 2 (µ) whose principal values fail to exist µ almost everywhere. Although David s kernels can be chosen odd or even are not homogeneous of degree -1. In this note we consider classical plane Sierpinski gaskets of Hausdorff dimension d, 0 < d < 1. For each of these d-ad regular sets E d, we find families of CZ standard, smooth, and antisymmetric kernels of the form K(x, y) Ω((x y)/ x y ) h( x y ) where h is some increasing C function satisfying the homogeneity condition h(r) r d (1.1) for 0 < r < diam(e d ) and Ω is odd on the unit circle S 1. If µ d is the restriction of the d-dimensional Hausdorff measure on E d, these kernels define singular integral operators bounded in L 2 (µ d ) whose principal values diverge µ d almost everywhere. The proof is based on the T (1)-theorem of David and Journé, proved in [DJ], and the symmetry properties of Sierpinski gaskets allowing heavy cancelations. Remark 1.1. Unfortunately if in the above kernels we replace the function h(r) by r d, where in this case the kernels would be d-homogeneous in the classical sense, we cannot say if the corresponding operators are bounded (or not) in L 2. However their principal values diverge µ d almost everywhere, as the proof of Section 4 goes through with no changes.
SINGULAR INTEGRALS ON SIERPINSKI GASKETS 3 Remark 1.2. Modified slightly, the proof can be applied to many other symmetric self similar sets, e.g. the four corners Cantor sets with Hausdorff dimension less than 1 or the self similar sets discussed in [D2]. The dimensional restriction is essential for the proof and it is not known to us if there exist CZ standard kernels, of the same form as in (1.1), satisfying the homogeneity condition h(r) r, that define singular integral operators bounded in L 2 but whose principal values diverge almost everywhere. 2. Notation and Setting Let (0, 1/3) and consider the following three similitudes (depending on ) s 1, s 2, s 3 : R 2 R 2 s 1(x, y) (x, y) s 2(x, y) (x, y) + (1, 0) s 3(x, y) (x, y) + ( 1, 3(1 )). 2 2 Let I {1, 2, 3} and I I n. The set I can be partially ordered in the following way, for α, β I, n 1 α β α I n, β I k k n and β n α. Where β n denotes the restriction of β in its first n coordinates. For α I n, say α (i 1,..., i n ), define s α : R 2 R 2 through iteration s α s i 1 s i 2... s i n. Let A be the equilateral triangle with vertices (0, 0), (1, 0), (1/2, 3/2). Denote s α(a) Sα, I 0 {0} and s 0 id. The limit set of the iteration E j 0 α I j S α is self similar and in fact it is an -Sierpinski triangle with Hausdorff dimension d dim H E log 3 log. Notice that for (0, 1/3), d (0, 1). As a general property of self similar sets the measures µ H d E are d -AD regular. Hence there exists a constant C, depending only on, such that for x E and 0 < r 1, C 1 rd µ (B(x, r)) C r d. The spaces (E, ρ, µ ), where ρ is the usual Euclidean metric, are simple examples of spaces of homogeneous type (See [Ch] for definition). We want to find Calderón-Zygmund standard kernels on E E \ {(x, y) : x y} that define bounded singular integral operators on L 2 (µ ). In that direction, for (0, 1/3), we need to define two auxiliary families of functions.
4 VASILIS CHOUSIONIS The functions Ω : For any pair (x, y) R 2 R 2, x y, denote by θ (x,y) [0, 2π) the angle formed by the vectors y x and e 1 (1, 0). For every (0, 1/3) there exists some positive number ε such that (i) For all x, y E, x y θ (x,y) ( kπ 3 ε, kπ 3 + ε ) for some k {0, 1,.., 5}. (ii) The intervals ( kπ 3 ε, kπ 3 + ε ) are disjoint for k {0, 1,.., 5}. (iii) For any n N {1, 2,...} and α, β, γ I n, α β γ, such that α n 1 β n 1 γ n 1: (a) If x Sα, y Sβ, z S γ and θ (x,y) ( kπ 3 ε, kπ 3 + ε ), for some k {0, 1,..., 5}, then θ (x,z) ( mπ 3 ε, mπ 3 + ε ) for m (k + 1)mod6 or m (k 1)mod6. (b) If x, z S α, y S β ( kπ 3 ε, kπ 3 + ε ) as well. and θ (x,y) ( kπ 3 ε, kπ 3 + ε ) then θ (z,y) Now we can define C functions Ω on S 1 satisfying (i) Ω (z) ( 1) k for θ (z,0) ( kπ 3 ε, kπ 3 + ε ), k {0, 1,..., 5}, (ii) Ω ( z) Ω (z) for every z S 1. Observe that the second condition also implies S 1 Ω (z)dσz 0 where σ is the normalized surface measure on S 1. The functions h : Fix some (0, 1/3), and choose any function h : (0, ) R with the following properties, (i) h is C, (ii) h is increasing, (iii) h [( 1 2)k, k 1 ] (k 1)d for every k N. It follows that for r (0, 1], h (r) r d. In fact r d /C h (r) C r d for 0 < r 1 where C d. Hence we are able, using the above families, to define appropriate kernels as K : E E \{(x, y) : x y} R K (x, y) Ω ((x y)/ x y ).
SINGULAR INTEGRALS ON SIERPINSKI GASKETS 5 For the kernels K there exists some constant C such that for all x, y, z E, x y, satisfying x z < (1 2) x y, C K (x, y) x y, (2.1) d K (x, y) K (z, y) 0 (2.2) Condition (2.1) follows immediately from the definition of K. To prove (2.2), let k N {0, 1,..} be the largest natural number such that x, y Sα for some α I k. Therefore x s i (Sα) and y s j (Sα) for some i, j I, i j. This implies that, Since x z < (1 2) x y we get As and we deduce that z s i (S α) and ( 1 2)k+1 y x k. (2.3) x z < (1 2) k. d(s i (S α), s q (S α)) (1 2) k for q I, q i, S α p Is p(s α), ( 1 2)k+1 y z k. (2.4) Therefore as x, z s i (Sα) and y s j (Sα) ( θ(x, y), θ(z, y) m π 3 ε, m π ) 3 + ε (2.5) for some m {0, 1,.., 5}. From (2.3), (2.4), (2.5) and the definition of h and Ω we deduce that h ( z y ) kd, and ( ) ( ) x y z y Ω Ω. x y z y Hence K (x, y) K (z, y) 0 and by antisymmetry K (y, x) K (y, z) 0. It follows that the kernels K are CZ standard, in fact condition (2.2) is much stronger than the ones appearing in the usual definitions of CZ standard kernels (see e.g. [Ch], [D1] and [J]).
6 VASILIS CHOUSIONIS As stated before, we want to show that the kernels define singular integral operators that are bounded in L 2 (µ ), and examine their convergence properties. 3. L 2 boundedness Theorem 3.1. For all (0, 1/3) the maximal singular integral operators T, T(f)(x) sup K (x, y)f (y) dµ y, ε>0 are bounded in L 2 (µ ). x y >ε Proof. The idea is to use the T (1) theorem of David and Journé in the context of [D2]. Start by defining T n, for n 1, as T n (f)(x) K (x, y)f (y) dµ y. x y > n We want to show that T n (1) 0 for all n N, by induction. For n 1: Let x Si E for some i I. If j, k I \ {i}, j k, we get T(1)(x) 1 K (x, y)dµ y x y > S j S k S j K (x, y)dµ y Ω ((x y)/ x y ) dµ y + S k Ω ((x y)/ x y ) dµ y. Furthermore there exists some m {0, 1,.., 5} such that for y Sj, ( ) x y Ω ( 1) m x y and for y S k, Hence T 1 (1)(x) ( 1) m S j ( ) x y Ω ( 1) m+1. x y 1 dµ y + ( 1) m+1 S k 1 dµ y But for y S j S k we have that 1 2 x y 1 and consequently 1. Thus T 1 (1)(x) ( 1) m µ (S j ) + ( 1) m+1 µ (S k ) 0.
SINGULAR INTEGRALS ON SIERPINSKI GASKETS 7 Suppose that T n(1) 0 and let some x E. We want to show that T n+1 (1)(x) 0. Let x Sα for some α (i 1, i 2,.., i n, i n+1 ) I n+1. If β (i 1, i 2,..i n, j) and γ (i 1, i 2,..i n, k) for j, k I \ {i n+1 }, j k, T n+1 (1)(x) K (x, y)dµ y x y > n+1 K (x, y)dµ y + K (x, y)dµ y + K (x, y)dµ y x y > n Sβ Sγ Ω ((x y)/ x y ) Ω ((x y)/ x y ) dµ y + dµ y, S β since by the induction hypothesis T n (1)(x) K (x, y)dµ y 0. x y > n Using exactly the same argument as in the case for n 1 Ω ((x y)/ x y 1 ) Ω ((x y)/ x y 1 ) dµ y + dµ y 0. S β Therefore T n+1 S γ (1)(x) 0, completing the induction. As T n (1) 0 for all n N the same holds for their transposes. Due to the structure of the spaces (E, µ, ρ) the proof of the T (1) theorem in this setting is essentially the same with the one appearing in [D1]. As commented in [D1] and in [D2], in order to be able to use the T (1) theorem we need some suitable decomposition of dyadic type, as in [Ch] and [D1], to replace the usual dyadic cubes in R n. In our setting the required such family R consists of all the triangles appearing in every step of the iteration process, i.e. S γ R k {S α : α I k } for k N. and R {R k : k N }. In the assumptions of the original David-Journé T (1) theorem the operators should also satisfy an extra condition the so called weak boundedness. This condition is only used in the proof, as it appears in [D1], to show that there exists some absolute constant C, such that for all dyadic cubes Q T (1 Q )(x)dx C Q. Q But since the operators T n are canonically associated with antisymmetric kernels the weak boundedness comes for free, see e.g. [Ch]. Applying the T (1) theorem we derive that every element of the sequence {T n} n N is bounded in L 2 (µ ) with bounds not depending on n. This fact enables us to extract some linear L 2 (µ )-bounded operator T as a weak limit of
8 VASILIS CHOUSIONIS some subsequence of {T n } n N. Finally using the version of Cotlar s inequality, as it is stated in ([D1], p.59), we get that there exists some constant C such that for all f L 2 (µ ) T (f)(x) C(M (T f)(x) + M ( f 2 (x)) 2), where M is the Hardy-Littlewood maximal operator related to the measure µ. Therefore we conclude that T is bounded in L2 (µ ). 4. Divergence of Principal Values Theorem 4.1. Let (0, 1/3). For µ almost every point in E the principal values of the singular integral operator T do not exist. Proof. Let (0, 1/3), we want to show that for µ a.e x E the limit lim K (x, y)dµ y ε 0 R 2 \B(x,ε) does not exist. To every z E assign naturally the code (z i ) i N I such that {z} and consider the set S(z 1,..,z i ) i 1 D {z E : z i z i+1 for infinitely many i s}. The set D had full µ measure as its complement E \D is countable. In fact the set E \D consists of the vertices of every triangle S α, α I. Notice that there exist some C > 1 and some m N such that for every z D and every i N, satisfying z i z i+1, there exist β i (z) I i 1+m and positive numbers R i (z) with the properties, Figure A
SINGULAR INTEGRALS ON SIERPINSKI GASKETS 9 m times {}}{ (i) β i (z) (z 1,..., z i 1, y(z),.., y(z)) where y(z) I\{z i, z i+1 }, (ii) R i (z) i, (iii) (B(z, C R i (z))\b(z, R i (z))) E Sβ i (z). See also Figure A. This geometric property of the sets E forces the principal values of T to diverge. To see this, let some x D and denote J x {i N : x i x i+1 }. For all i J x, K (x, y)dµ y K (x, y)dµ y R 2 \B(x,R i (x)) R 2 \B(x,C R i (x)) Ω ((x y) x y 1 ) dµ y B(x,C R i (x))\b(x,r i (x)) S β i (x) Ω ((x y) x y 1 ) dµ y For all x S a i (x) and y S β i (x), where α i(x) (x 1,..., x i, x i+1 ), (1 2) i 1 x y i 1 and ( ) x y Ω ( 1) ε i x y where ε i 1 or ε i 1. Hence Ω ((x y) x y 1 ) dµ y S β i (x) S β i (x) µ (S β i (x) ) ( i 1 ) d (i 1+m ) d ( i 1 ) d 1 dµ y m d. As R i (x) i 0 we conclude that the principal values of T do not exist µ a.e. Acknowledgements. I am very grateful to my advisor, Professor Pertti Mattila, for many ideas, discussions and suggestions during the preparation of this note. I would also like to thank the referee for useful comments and suggestions. [Ch] References M.Christ, Lectures on singular integral operators CBMS Regional Conference Series in Mathematics, Providence, RI, 1990.
10 VASILIS CHOUSIONIS [D1] G.David, Wavelets and singular integrals on curves and surfaces, Lecture Notes in Mathematics, 1465. Springer-Verlag, Berlin, 1991. [D2] G.David, Des intégrales singulières bornées sur un ensemble de Cantor, C. R. Acad. Sci. Paris Sr. I Math. 332 (2001), no. 5, 391 396. [DJ] G.David, J.L.Journé A boundedness criterion for generalized Calderón-Zygmund operators Ann. of Math. (2) 120 (1984), no. 2, 371 397. [Hu] P.Huovinen, A nicely behaved singular integral on a purely unrectifiable set. Proc. Amer. Math. Soc. 129 (2001), no. 11, 3345 3351. [J] J.L.Journé, Calderón-Zygmund operators, pseudodifferential operators and the Cauchy integral of Calderón Lecture Notes in Mathematics, 994. Springer-Verlag, Berlin, 1983. [MM] P.Mattila, M.S.Melnikov, Existence and weak-type inequalities for Cauchy integrals of general measures on rectifiable curves and sets, Proc. Amer.Math.Soc. 120 (1994), no. 1, 143 149. [MMV] P.Mattila, M.S.Melnikov, J.Verdera, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. of Math. (2) 144 (1996), no. 1, 127 136. [MV] P.Mattila, J.Verdera, Convergence of singular integrals with general measures, to appear in J. Eur. Math. Soc. [Pr] L.Prat, Principal Values for the signed Riesz kernels of non-integer dimension submitted. [T] X.Tolsa, Cotlar s inequality without the doubling condition and existence of principal values for the Cauchy integral of measures, J. Reine Angew. Math. 502 (1998), 199 235. Department of Mathematics and Statistics, P.O. Box 68, FI-00014 University of Helsinki, Finland, E-mail address: vasileios.chousionis@helsinki.fi