arxiv: v2 [math.fa] 5 Oct 2017

Transcription

1 Construction of Local Regular Dirichlet Form on the Sierpińsi Gaset using Γ-Convergence Meng Yang arxiv: v [mathfa] Oct 07 Abstract We construct a self-similar local regular Dirichlet form on the Sierpińsi gaset using Γ-convergence of stable-lie non-local closed forms Such a Dirichlet form was constructed previously by igami [4] but our construction has the advantage that it is a realization of a more general method of construction of a local regular Dirichlet form that wors also on the Sierpińsi carpet [8] A direct consequence of this construction is the fact that the domain of the local Dirichlet form is some Besov space Introduction Sierpińsi gaset SG) is the simplest self-similar set in some sense see Figure Figure : Sierpińsi Gaset SG can be obtained as follows Given an equilateral triangle with sides of length Divide the triangle into four congruent small triangles each with sides of length / remove the central one Divide each of the three remaining small triangles into four congruent triangles each with sides of length /4 remove the central ones see Figure Repeat above procedure infinitely many times SG is the compact connect set that remains SG usually serves as a basic example of singular spaces for analysis and probability Dirichlet form theory is a powerful tool in this approach In general local regular Dirichlet forms are in one-to-one correspondence to Brownian motions BM) The construction of a BM on SG was given by Barlow and Perins [] The construction of a local regular Dirichlet form on SG was given by igami [] using difference quotients method which Date: October 08 MSC00: 8A80 eywords: Sierpińsi gaset local regular Dirichlet form Γ-convergence stable-lie non-local closed form The author was supported by SFB70 of the German Research Council DFG) The author is very grateful to Professor Alexander Grigor yan for very helpful discussions

2 Figure : The Construction of Sierpińsi Gaset was generalized to pcf post critically finite) self-similar sets in [ 4] Subsequently Strichartz [] gave the characterization of the Dirichlet form and the Laplacian using the averaging method The local regular Dirichlet form E loc on SG admits a heat ernel p t x y) satisfying p t x y) C t α/β x y exp c t /β ) β β ) for all x y t 0 ) where α = log / log is the Hausdorff dimension of SG and β := log log is the wal dimension of BM which is frequently denoted also by d w The estimates ) were obtained by Barlow and Perins [] The domain F loc of E loc is some Besov space This was given by Jonsson [] Later on this ind of characterization was generalized to simple nested fractals by Pietrusa-Pa luba [7] and pcf self-similar sets by Hu and Wang [0] This ind of characterization was also given by Pietrusa-Pa luba [8] Grigor yan Hu and Lau [7] umagai and Sturm [] if local regular Dirichlet forms on metric measure spaces admit sub-gaussian heat ernel estimates Here we reprove this characterization as a direct corollary of our construction Consider the following stable-lie non-local quadratic form E β u u) = ux) uy)) x y α+β νdx)νdy) F β = { u L ; ν) : E β u u) < + } where α = dim H as above ν is the normalized Hausdorff measure on of dimension α and β > 0 is so far arbitrary Using the estimates ) and subordination technique it was proved by Pietrusa-Pa luba [9] that β β)e β u u) E loc u u) β β)e β β β β β u u) ) for all u F loc This is similar to the following classical result Rn ux) uy)) β) β x y n+β dxdy = Cn) ux) dx R n R n for all u W R n ) where Cn) is some positive constant see [6 Example 4]) Recently the author [] gave an alternative proof of ) using discretization method Here we reprove ) as a direct corollary of our construction The main purpose of this paper is to give a construction of a local regular Dirichlet form E loc on SG using Γ-convergence of stable-lie non-local closed forms of type ) as β β This is our main result Theorem The local regular Dirichlet form given here coincides with that given by igami due to the uniqueness result given by Sabot [0] usuoa and )

3 Zhou [6] gave a construction using the averaging method and approximation of Marov chains The idea of our construction of E loc is as follows First we use the averaging method to construct another quadratic form E β equivalent to E β which turns out to be a regular closed form for all β α β ) Second we construct a regular closed form E as a Γ-it of a sequence {β β n )E βn } with β n β However E is not necessarily Marovian local or self-similar Third we use a standard method from [6] to construct E loc from E The main difficulty in our construction is that we do not have monotonicity property as in igami s construction Nevertheless we have wea monotonicity that allows to obtain the characterization of the Γ-it To prove the non-triviality and the regularity of the Γ-it we construct on SG functions with controlled energy and with separation property that are called good functions A similar method was used in [8] to give a purely analytic construction of a local regular Dirichlet form on the Sierpińsi carpet The current paper can be regarded as a realization of this method on SG The ultimate purpose of the current paper and [8] is to provide a new unified method of construction of local regular Dirichlet forms on a wide class of fractals that uses only self-similar property and ideally should be independent of other specific properties in particular pcf property This paper is organized as follows In Section we give statement of the main results In Section we give resistance estimates and introduce good functions In Section 4 we give wea monotonicity result In Section we prove Theorem Statement of the Main Results Consider the following points in R : p 0 = 0 0) p = 0) p = / /) Let f i x) = x + p i )/ x R Then the Sierpińsi gaset SG) is the unique non-empty compact set satisfying = f 0 ) f ) f ) Let ν be the normalized Hausdorff measure on of dimension α = log / log Let V 0 = {p 0 p p } V n+ = f 0 V n ) f V n ) f V n ) for all n 0 Then {V n } is an increasing sequence of finite sets and is the closure of V = n=0v n The classical construction of a self-similar local regular Dirichlet form on SG is as follows Let E n u u) = ux) uy)) n 0 u l) xy Vn x y = n where ls) is the set of all real-valued functions on the set S Then E n u u) is monotone increasing in n for all u l) Let E loc u u) = E nu u) = ux) uy)) xy Vn x y = n F loc = {u C) : E loc u u) < + } then E loc F loc ) is a self-similar local regular Dirichlet form on L ; ν) see [ 4] Let W 0 = { } and W n = {w = w w n : w i = 0 i = n} for all n For all w ) = w ) w m ) W m w ) = w ) w n ) W n denote w ) w ) as w = w w m+n W m+n with w i = w ) i for all i = m and w m+i = w ) i for all i = n For all i = 0 denote i n as w = w w n W n with w = i for all = n For all w = w w n w n W n denote w = w w n W n For all w = w w n W n let f w = f w f wn V w = f w f wn V 0 ) w = f w f wn ) P w = f w f wn p wn )

4 where f = id is the identity map For all n let X n be the graph with vertex set W n and edge set H n given by { } H n = w ) w ) ) : w ) w ) W n w ) w ) w ) w ) For example we have the figure of X in Figure Denote w ) n w ) if w ) w ) ) H n If w ) n w ) satisfies P w ) P w ) we say that w ) n w ) is of type I If w ) n w ) satisfies P w ) = P w ) we say that w ) n w ) is of type II For example is of type I is of type II Figure : X For all n u L ; ν) let P n u : W n R be given by P n uw) = ux)νdx) = u f w )x)νdx) w W n ν w ) w Our main result is as follows Theorem There exists a self-similar strongly local regular Dirichlet form E loc F loc ) on L ; ν) satisfying E loc u u) sup n F loc = P n uw ) ) P n uw )) ) w ) nw ) ) n u L ; ν) : sup n w ) nw ) We give the proof of above theorem in Section P n uw ) ) P n uw ) )) < + Remar Above theorem was also proved by usuoa and Zhou [6 Theorem 79 Example 84] using approximation of Marov chains Here we use Γ-convergence of stablelie non-local closed forms Let us introduce the notion of Besov spaces Let M d µ) be a metric measure space 4

5 and α β > 0 two parameters Define [u] B αβ M) = α+β)n ux) uy)) µdy)µdx) n= M dxy)< n [u] B αβ M) = sup α+β)n ux) uy)) µdy)µdx) n M dxy)< n and } B αβ {u M) = L M; µ) : [u] B αβ M) < + } B αβ {u M) = L M; µ) : [u] B αβ M) < + It is easily proved that B αβ ) and B αβ ) have the following equivalent semi-norms Lemma [9 Lemma ][ Lemma ]) For all β 0 + ) u L ; ν) where E β u u) E β u u) [u] B αβ ) sup β α)n P n uw ) ) P n uw )) ) [u]b ) αβ n w ) nw ) E β u u) = β α)n n= E β u u) = w ) nw ) ux) uy)) x y α+β νdx)νdy) P n uw ) ) P n uw ) )) We have the following two corollaries whose proofs are obvious by Lemma and the proof of Theorem First we have the characterization of the domain of the local Dirichlet form Corollary 4 F loc = B αβ ) and E loc u u) [u] B αβ ) for all u F loc where α = log / log is the Hausdorff dimension and β = log / log is the wal dimension of BM Second we have the approximation of non-local Dirichlet forms to the local Dirichlet form Corollary There exists some positive constant C such that for all u F loc C E locu u) β β β β)e β u u) β β β β)e β u u) CE loc u u) C E locu u) β β β β)e β u u) β β β β)e β u u) CE loc u u) C E locu u) β β)[u] B β β αβ ) β β β β)[u] B αβ ) CE locu u) Resistance Estimates and Good Functions First we give resistance estimates We need two techniques from electrical networs The first is -Y transform Lemma The electrical networs in Figure 4 are equivalent where and R = R R R + R + R R = R R R + R + R R = R R R + R + R R = R R + R R + R R R R = R R + R R + R R R R = R R + R R + R R R

6 p p R R R R R p 0 p p R a) -circuit p p b) Y-circuit Figure 4: -Y Transform The second is shorting and cutting technique see []) Shorting certain sets of vertices will decrease the resistance between arbitrary two vertices Cutting certain sets of vertices will increase the resistance between arbitrary two vertices For all n let us introduce an energy on X n given by E n u u) = w ) nw ) uw ) ) uw ) )) u lwn ) For all w ) w ) W n with w ) w ) we define the resistance { } R n w ) w ) ) = inf E n u u) : uw ) ) = uw ) ) = 0 u lw n ) { uw ) ) uw ) ) ) } = sup : E n u u) 0 u lw n ) E n u u) It is obvious that uw ) ) uw ) )) Rn w ) w ) )E n u u) for all w ) w ) W n u lw n ) and R n is a metric on W n hence R n w ) w ) ) R n w ) w ) ) + R n w ) w ) ) for all w ) w ) w ) W n We calculate the resistance of X n as follows Theorem The electrical networ X n is equivalent to the electrical networ in Figure where = ) n n 0 n n Figure : An Equivalent Electrical Networ 6

7 Proof Using -Y transform directly we have r = + + = = ) Fo + using -Y transform again we have the electrical networ X n+ is equivalent to the electrical networs in Figure 6 n+ n+ rn + rn + rn + 0 n+ n+ 0 n+ n+ Figure 6: Equivalent Electrical Networs Hence + = + By elementary calculation we have = ) n for all n Remar For all n we have R n 0 n n ) = R n n n ) = R n 0 n n ) = = Proposition 4 For all n w W n we have R n w 0 n ) R n w n ) R n w n ) ) n ) n Proof By symmetry we only need to consider R n w 0 n ) Letting w = w w n w n w n we construct a finite sequence in W n as follows w ) = w w n w n w n = w w ) = w w n w n w n w ) = w w n w n w n w n) = w w w w w n+) = For all i = n by cutting technique we have R n w i) w i+) ) = R n w w n i w n i w n i+ w n i+ w w n i w n i w n i w n i ) ) i ) i R i w n i+ w n i+ w n i w n i ) R i 0 i i ) = 7

8 Since we have R n w n) w n+) ) = R n w n 0 n ) R n 0 n n ) = R n w 0 n ) = R n w ) w n+) ) n i= ) i = ) n n R n w i) w i+) ) i= ) n ) ) n ) n Second we introduce good functions with energy property and separation property For all n let A n u) = E n P n u P n u) = P n uw ) ) P n uw )) ) u L ; ν) For all n 0 let B n u) = w ) nw ) w W n pq V w up) uq)) u l) Given x 0 x x R we define U = U x0xx) : R as follows We define U on V by induction Let Up i ) = x i i = 0 Assume that we have defined U on P w for all w W n+ Then for all w W n note that P wii = P wi and P wij = P wji for all i j = 0 define UP w0 ) = UP w0 ) = UP w0) + UP w ) + UP w ) UP w ) = UP w ) = UP w0) + UP w ) + UP w ) 4) UP w0 ) = UP w0 ) = UP w0) + UP w ) + UP w ) Hence we have the definition of U on P w for all w W n+ Then U is well-defined and uniformly continuous on V We extend U on V to obtain a continuous function U on It is obvious that ) n B n U) = x0 x ) + x x ) + x 0 x ) ) n 0 Remar In igami s construction B n is the energy of difference quotients type and U x0xx) is the standard harmonic function with boundary values x 0 x x on V 0 see [4] Here we use B n U) only to calculate A n U) We calculate A n U) as follows Theorem 6 For all n we have [ A n U) = ) n ) ] n x0 x ) + x x ) + x 0 x ) ) Remar 7 Above result was also obtained in [ Theorem ] Proof We observe the following facts For all w ) n w ) of type I w ) w ) are of the form wi wj for some w W n and i j = 0 with i j On the other hand for all w W n and i j = 0 with i j wi n wj is of type I For all w ) = w ) w n ) n w ) = w ) w n ) of type II there exists = n such that w ) w ) w ) w ) is of type I and w ) = w ) + = = w) n w ) = w ) + = = w) n On the other hand for all w ) w ) w ) w ) of type I w ) w ) w) w) n w ) w ) w) w) is of type II for all n = + + 8

9 It is obvious that for all n w W n we have V w = {P w0 P w P w } and P n Uw) = Ux)νdx) = ν w ) w UP w0) + UP w ) + UP w )) P w P w0 = P w0 w P w = P w w0 w P w0 P w0 = P w0 P w For all n w W n we have Figure 7: Cells and Nodes P n Uw0) = UP w00) + UP w0 ) + UP w0 )) = UP w0 ) + UP w0) + UP w ) + UP w ) + UP ) w0) + UP w ) + UP w ) Similarly Hence = 9UP w0 ) + UP w ) + UP w ) = UP w0) + UP w ) + UP w ) P n Uw) = UP w0) + UP w ) + UP w ) P n Uw) = UP w0) + UP w ) + UP w ) P n Uw0) P n Uw)) + P n Uw) P n Uw)) + P n Uw0) P n Uw)) = 4 [ UP w0 ) UP w )) + UP w ) UP w )) + UP w0 ) UP w )) ] a b w ) w ) w ) w ) n w ) w ) n a c b Figure 8: Adjacent Cells For all n w ) = w ) w n ) n w ) = w ) w n ) Assume that U taes values a a c and b b c on V w ) and V w ) respectively see Figure 8 By above we have P n Uw ) ) = a + a + c P n Uw ) ) = b + b + c 9

10 hence P n+ Uw ) w ) n ) = a + a + c P n+ Uw ) w ) n ) = b + b + c P n Uw ) ) P n Uw ) ) = a + a ) b + b )) P n+ Uw ) w ) n ) P n+ Uw ) w ) n ) = a + a ) b + b )) Hence P n+ Uw ) w n ) ) P n+ Uw ) w n ) ) = ) P n Uw ) ) P n Uw ) ) Therefore A n U) = 4 ) [ ] ) n ) [ ] 4 4 B n U) + B n U) + + B 0U) = 4 x0 x ) + x x ) + x 0 x ) ) [ ) 0 ) n ) ) n ) n ) ] [ = ) n ) ] n x0 x ) + x x ) + x 0 x ) ) Let U = { } U x0xx) : x 0 x x R We show that U separates points as follows Proposition 8 U separates points that is for all x y with x y there exists U U such that Ux) Uy) Proof First we show that for all n w W n u lv w ) there exists U U such that U Vw = u Indeed we only need to show that there exists v lv w 0 V w V w ) satisfying Equation 4) such that v Vw = u We only need to consider the following three cases in Figure 9 y y a c z z c c b a b x x b a y z x Figure 9: Separation Property Assume that u taes a b c on V w and v taes x y z on V w 0 V w V w )\V w as in Figure 9 Letting we have x = b = a + x + y c = a + 0b c y = a + x + y z = a b + 0c z = a + x + y a + b + c Second without lose of generality we may assume that x 0 \ and y \ 0 Tae U = U 00) U then Ux) [ ] and Uy) [0 ) hence Ux) > Uy) 0

11 4 Wea Monotonicity Result In this section we give wea monotonicity result using resistance estimates For all n let ) n ) n D n u) = A n u) = P n uw ) ) P n uw )) ) u L ; ν) w ) nw ) The wea monotonicity result is as follows Theorem 4 There exists some positive constant C such that Indeed we can tae C = 6 D n u) CD n+m u) for all u L ; ν) n m Remar 4 In igami s construction the energies are monotone that is the constant C = Hence the above result is called wea monotonicity Theorem 4 can be reduced as follows For all n let ) n ) n G n u) = E n u u) = uw ) ) uw )) ) u lwn ) w ) nw ) For all n m let M nm : lw n+m ) lw n ) be a mean value operator given by M nm u)w) = m v W m uwv) w W n u lw n+m ) Theorem 4 There exists some positive constant C such that G n M nm u) CG n+m u) for all u lw n+m ) n m Proof of Theorem 4 using Theorem 4 Note P n u = M nm P n+m u) hence D n u) = P n uw ) ) P n uw )) ) = Gn P n u) w ) nw ) = G n M nm P n+m u)) CG n+m P n+m u) ) n+m = C P n+m uw ) ) P n+m uw )) ) = CDn+m u) w ) n+mw ) Remar 44 The constant in Theorem 4 can be taen as the one in Theorem 4 Proof of Theorem 4 For all n Assume that W W n is connected that is for all w ) w ) W there exists a finite sequence { v ) v )} W with v ) = w ) v ) = w ) and v i) n v i+) for all i = Let E W u u) = uw ) ) uw ) )) u lw ) w ) w ) W w ) nw ) For all w ) w ) W let { } R W w ) w ) ) = inf E W u u) : uw ) ) = uw ) ) = 0 u lw ) { uw ) ) uw ) )) } = sup : E W u u) 0 u lw ) E W u u)

12 It is obvious that uw ) ) uw ) )) RW w ) w ) )E W u u) for all w ) w ) W u lw ) and R W is a metric on W hence R W w ) w ) ) R W w ) w ) ) + R W w ) w ) ) for all w ) w ) w ) W By definition we have G n M nm u) = w ) nw ) = w ) nw ) ) M nm uw ) ) M nm uw ) ) m v W m ) n w ) nw ) m v W m ) ) uw ) v) uw ) v) uw ) v) uw ) v)) Fix w ) n w ) there exist i j = 0 with i j such that w ) i m n+m w ) j m see Figure 0 w ) v w ) W m w ) v w ) W m w ) i m w ) j m Figure 0: w ) W m and w ) W m Fix v W m we have uw ) v) uw v)) ) Rw ) W m w ) W w) m v w ) v)e w ) W m w ) W m u u) By cutting technique and Proposition 4 we have hence Hence R w ) W m w ) W m w ) v w ) v) R w ) W m w ) W m w ) v w ) i m ) + R w ) W m w ) W m w ) i m w ) j m ) + R w ) W m w ) W m w ) j m w ) v) R m v i m ) + + R m v j m ) uw ) v) uw ) v)) 6 = 6 m 6 ) m ) m + 6 ) m E w)wm w)wm u u) ) m E w ) W m u u) + E w ) W m u u) + v W m ) uw ) v) uw ) v) ) m E w ) W m u u) + E w ) W m u u) + ) ) uw ) i m ) uw ) j m ) ) ) uw ) i m ) uw ) j m )

13 In the summation with respect to w ) n w ) the terms E w ) W m u u) E w ) W m u u) are summed at most 6 times hence ) G n M nm u) uw ) v) uw ) v) 6 ) n 6 m w ) nw ) ) m E n+mu u) = 6 v W m ) n+m E n+mu u) = 6G n+mu) Proof of Theorem We need the following theorem for preparation Theorem For all u L ; ν) let Eu) = β α)n n= w ) nw ) F u) = sup β α)n n w ) nw ) P n uw ) ) P n uw ) )) P n uw ) ) P n uw ) )) Then for all β α + ) there exists some positive constant c such that ux) uy) c Eu) x y β α ) ux) uy) c F u) x y β α 6) for ν-almost every x y for all u L ; ν) Therefore if u L ; ν) satisfies Eu) < + or F u) < + then u has a continuous version in C β α ) Remar Theorem was also proved in [7 Theorem 4 iii)] The proof here is direct since E F are defined using the averaging method Proof For all n w W n we have P n uw) P n+ uw0) = P n+uw0) + P n+ uw) + P n+ uw)) P n+ uw0) = P n+uw) P n+ uw0)) + P n+ uw) P n+ uw0)) [P n+ uw) P n+ uw0)) + P n+ uw) P n+ uw0)) ] / ) / Eu) Eu) = β α)n+) β α n+) Similarly Eu) P n uw) P n+ uw) P n uw) P n+ uw) β α n+) Since u L ; ν) we have ν-almost every point in is a Lebesgue point of u For all Lebesgue points x y with x y there exist n w ) = w ) w n ) n w ) = w ) w n ) such that x w ) y w ) but x w or y ) w n ) w see Figure ) w n ) Then x y n+ n

14 x w ) y w ) w ) w ) n w ) w ) n Figure : Positions of x and y There exist v ) v) v) {x} = v) = 0 such that w ) v ) v) = Since x y are Lebesgue points of u we have {y} = w ) v ) v) = P n+uw ) v ) v ) ) = ux) P n+uw ) v ) v ) ) = uy) + + Note that hence P n uw ) ) P n uw ) ) ) / Eu) Eu) = β α)n β α n ux) uy) ux) P n uw ) ) + P n uw ) ) P n uw ) ) + uy) P n uw ) ) P n+ uw ) v ) v ) ) P n++uw ) v ) v ) v) + ) + P nuw ) ) P n uw ) ) + =0 P n+ uw ) v ) v ) ) P n++uw ) v ) v ) =0 =0 Eu) Eu) x y β α where Eu) + β α n++) β α [ ) β α c = = Eu) n β α ) β α β α n+) β α + β α β α v) + ) )] β α + β α β α β α + β α ) = c Eu) x y β α Hence we obtain Equation ) Replacing Eu) by F u) in above proof we obtain Equation 6) with the same constant c For all β > 0 let E β u u) = β α)n n= w ) nw ) F β = u L ; ν) : β α)n n= ) P n uw ) ) P n uw ) )) w ) nw ) P n uw ) ) P n uw ) )) < + denote E β u u) = [u] B αβ ) for simplicity In what follows is a locally compact separable metric space and ν is a Radon measure on with full support We say that E F) is a closed form on L ; ν) in the wide sense 4

15 if F is complete under the inner product E but F is not necessary to be dense in L ; ν) If E F) is a closed form on L ; ν) in the wide sense we extend E to be + outside F hence the information of F is encoded in E In what follows is SG in R and ν is the normalized Hausdorff measure on We obtain non-local regular closed forms and Dirichlet forms as follows Theorem For all β α β ) E β F β ) is a non-local regular closed form on L ; ν) E β F β ) E β F β ) are non-local regular Dirichlet forms on L ; ν) For all β [β + ) F β consists only of constant functions Remar 4 E β does not have Marovian property but E β E β do have Marovian property An interesting problem in non-local analysis is for which value β > 0 E β F β ) is a regular Dirichlet form on L ; ν) The critical value β := sup { β > 0 : E β F β ) is a regular Dirichlet form on L ; ν) } is called the wal dimension of SG with Euclidean metric and Hausdorff measure A classical approach to determine β is using the estimates ) and subordination technique to have β = β = log log see [8] The proof of above theorem provides an alternative approach without using BM Proof By Fatou s lemma it is obvious that E β F β ) is a closed form on L ; ν) in the wide sense For all β α β ) By Theorem F β C) We only need to show that F β is uniformly dense in C) then F β is dense in L ; ν) hence E β F β ) is a regular closed form on L ; ν) Indeed by Theorem 6 for all U = U x0xx) U we have E β U U) = = β α)n A n U) n= [ β α)n ) n n= ) ] n x0 x ) + x x ) + x 0 x ) ) x0 x ) + x x ) + x 0 x ) ) n β α)n < + ) hence U F β U F β By Proposition 8 F β separates points It is obvious that F β is a sub-algebra of C) that is for all u v F β c R we have u + v uv cu F β By Stone-Weierstrass theorem F β is uniformly dense in C) Since E β E β do have Marovian property by above E β F β ) E β F β ) are non-local regular Dirichlet forms on L ; ν) For all β [β + ) Assume that u F β is not constant then there exists some integer N such that D N u) > 0 By Theorem 4 we have E β u u) = n ) β α)n D n u) n= C n=n+ n= n=n+ β α)n ) n D N u) = + contradiction! Hence F β consists of constant functions β α)n ) n D n u) We need some preparation about Γ-convergence In what follows is a locally compact separable metric space and ν is a Radon measure on with full support Definition Let E n E be closed forms on L ; ν) in the wide sense We say that E n is Γ-convergent to E if the following conditions are satisfied

16 ) For all {u n } L ; ν) that converges strongly to u L ; ν) we have E n u n u n ) Eu u) ) For all u L ; ν) there exists a sequence {u n } L ; ν) converging strongly to u in L ; ν) such that E n u n u n ) Eu u) We have the following result about Γ-convergence Proposition 6 [4 Proposition 68 Theorem 8 Theorem 0 Proposition 6]) Let {E n F n )} be a sequence of closed forms on L ; ν) in the wide sense then there exist some subsequence {E n F n )} and some closed form E F) on L ; ν) in the wide sense such that E n is Γ-convergent to E We need an elementary result as follows Proposition 7 Let {x n } be a sequence of nonnegative real numbers ) x n λ λ) n= λ n x n λ λ) ) If there exists some positive constant C such that λ n x n x n sup x n n= x n Cx n+m for all n m n then sup n x n C x n Proof The proof is elementary using ε-n argument In what follows is SG in R and ν is the normalized Hausdorff measure on Tae {β n } α β ) with β n β By Proposition 6 there exist some subsequence still denoted by {β n } and some closed form E F) on L ; ν) in the wide sense such that β β n )E βn is Γ-convergent to E Without lose of generality we may assume that 0 < β β n < n + for all n We have the characterization of E F) on L ; ν) as follows Theorem 8 Eu u) sup D n u) = sup n n F = u L ; ν) : sup n P n uw ) ) P n uw )) ) w ) nw ) Moreover E F) is a regular closed form on L ; ν) and Proof Recall that P n uw ) ) P n uw )) ) < + w ) nw ) log )C sup D n u) Eu u) n log sup D n u) n E β u u) = β α)n A n u) = β β )n D n u) n= We use wea monotonicity result Theorem 4 and elementary result Proposition 7 n= 6

17 On the one hand for all u L ; ν) Eu u) β β n )E βn u u) = β β n ) = log βn β ) = βn β ) D u) = βn β ) D u) log sup D u) On the other hand for all u L ; ν) there exists {u n } L ; ν) converging strongly to u in L ; ν) such that Eu u) β β n )E βn u n u n ) = β β n ) βn β ) D u n ) = β β n ) βn β ) D u n ) C β β n ) =n+ = ] [β C )n+) β n ) βn β D n u n ) βn β Since 0 < β β n < /n + ) we have βn β )n+) > / Since we have Eu u) C β β n = βn β log β β n βn β D n u n ) Since u n u in L ; ν) for all we have D u) = D u n ) = Taing supremum with respect to we have sup D u) C log )C D u n ) C =n+ D nu n ) βn β ) D n u n ) D n u n ) D n u n ) C D nu n ) log )C Eu u) By Theorem F C) We only need to show that F is uniformly dense in C) then F is dense in L ; ν) hence E F) is a regular closed form on L ; ν) Indeed by Theorem 6 for all U = U x0xx) U we have sup D n U) = sup n n = sup n ) n ) n A n U) [ ) n ) ] n x0 x ) + x x ) + x 0 x ) ) x0 x ) + x x ) + x 0 x ) ) < + hence U F U F By Proposition 8 F separates points It is obvious that F is a sub-algebra of C) By Stone-Weierstrass theorem F is uniformly dense in C) Now we prove Theorem using a standard approach as follows Proof of Theorem For all u L ; ν) n we have ) P n+ uw ) ) P n+ uw ) ) w ) n+ w ) = + w W n w ) w ) w ) =w ) w) n nw ) =w ) w) n ) P n+ uww ) ) P n+ uww ) ) P n+ uw ) w ) n w ) n ) P n+ uw ) w ) n w ) n )) 7

18 where for all i = P n+ uww i) ) = u f ww i))x)νdx) = hence w W n A u f w ) = w ) n+ w ) and D u f w ) = w W n w W n w ) w ) For all u F n w W n we have sup D u f w ) sup u f w f w i))x)νdx) = P u f w )w i) ) ) P u f w )w ) ) P u f w )w ) ) P n+ uw ) ) P n+ uw ) )) = An+ u) ) n+ A u f w ) w W n w W n D u f w ) hence u f w F For all u L ; ν) n let By Theorem we have Eu u) = i=0 i=0 Eu u) = E n) u u) = i=0 ) n sup D n+ u) up i ) ) n+ A n+u) = D n+u) ux)νdx)) Eu f w u f w ) w W n up i ) ux)) νdx)) i=0 ) n sup D u) < + up i ) ux)) νdx) ) c p i x β α sup D u) νdx) c sup D u) hence ) n E n) u u) c sup D u f w ) c C w W n c C D u f w ) c C + w W n + w W + n D u f w ) D n+ u) c C sup D u) 7) On the other hand for all u L ; ν) n we have D n u) = u f w ))x)νdx) u f w ))x)νdx)) w ) nw ) For all w ) n w ) there exist i j = 0 such that w ) w ) = {f w )p i )} = {f w )p j )} 8

19 Hence D n u) ) n = w ) nw ) u f w ))p j ) ) [ n u f w))p i ) w ) nw ) + u f w ))p j ) [ ) u f w ))p i ) u f w ))x)νdx) )] u f w ))x)νdx) u f w ))x)νdx) u f w ))x)νdx) ) ] ) 6 u f w )p i ) u f w )x)νdx) w W n i=0 = 6 Eu f w u f w ) = 6E n) u u) w W n For all u L ; ν) n we have ) n+ E n+) u u) = Eu f w u f w ) w W n+ ) n+ = Eu f i f w u f i f w ) = i=0 w W n ) E n) u f i u f i ) i=0 8) 9) Let By Equation 7) we have Ẽ n) u u) = n n E l) u u) u L ; ν) n l= Ẽ n) u u) c C sup D u) Eu u) for all u F n Since E F) is a regular closed form on L ; ν) by [ Definition 8 Remar 9 Definition 0 Remar ] we have F E ) is a separable Hilbert space Let {u i } i be a dense subset of F E ) For all i {Ẽ n) u i u i )} is a bounded sequence n n By diagonal argument there exists a subsequence {n } such that {Ẽ ) u i u i )} n converges for all i Hence {Ẽ ) u u)} converges for all u F Let Then E loc u u) = Ẽ n) u u) for all u F loc := F + E loc u u) c C sup D u) for all u F loc = F By Equation 8) for all u F loc = F we have Hence E loc u u) = Ẽ n) u u) + E n) u u) 6 D u) + E loc u u) sup D u) for all u F loc = F 6C sup D u) Hence E loc F loc ) is a regular closed form on L ; ν) Since F loc and E loc ) = 0 by [6 Lemma 6 Theorem 6] E loc F loc ) on L ; ν) is conservative 9

20 For all u F loc = F we have u f i F = F loc for all i = 0 Moreover by Equation 9) we have E loc u f i u f i ) = i=0 = n + n i=0 l= n = + [ = + n l= n n l= + i=0 E l) u f i u f i ) = E l+) u u) = = Ẽ n) u u) = E loc u u) + + Ẽ n ) u f i u f i ) n + n + l= n n l= E l) u u) [ E l) u u) + n E n +) u u) n E ) u u) ] E l) u f i u f i ) Hence E loc F loc ) on L ; ν) is self-similar For all u v F loc satisfying suppu) suppv) are compact and v is constant in an open neighborhood U of suppu) we have \U is compact and suppu) \U) = hence δ = distsuppu) \U) > 0 Taing sufficiently large n such that n < δ by self-similarity we have E loc u v) = E loc u f w v f w ) w W n For all w W n we have u f w = 0 or v f w is constant hence E loc u f w v f w ) = 0 hence E loc u v) = 0 that is E loc F loc ) on L ; ν) is strongly local For all u F loc it is obvious that u + u u u = 0 u) F loc and E loc u u) = E loc u u) Since u + u = 0 and E loc F loc ) on L ; ν) is strongly local we have E loc u + u ) = 0 Hence E loc u u) = E loc u + u u + u ) = E loc u + u + ) + E loc u u ) E loc u + u ) = E loc u + u + ) + E loc u u ) E loc u + u + ) = E loc u + u + ) E loc u + ) + u + ) + ) = E loc u + ) + u + ) + ) = E loc u u) that is E loc F loc ) on L ; ν) is Marovian Hence E loc F loc ) is a self-similar strongly local regular Dirichlet form on L ; ν) i=0 ] Remar 9 The idea of the standard approach is from [6 Section 6] Marovian property is from the proof of [ Theorem ] The proof of References [] M T Barlow R F Bass T umagai and A Teplyaev Uniqueness of Brownian motion on Sierpińsi carpets J Eur Math Soc JEMS) 00) pp 6 70 [] M T Barlow and E A Perins Brownian motion on the Sierpińsi gaset Probab Theory Related Fields ) pp 4 6 [] Z-Q Chen and M Fuushima Symmetric Marov processes time change and boundary theory vol of London Mathematical Society Monographs Series Princeton University Press Princeton NJ 0 [4] G Dal Maso An introduction to Γ-convergence Progress in Nonlinear Differential Equations and their Applications 8 Birhäuser Boston Inc Boston MA 99 0

21 [] P G Doyle and J L Snell Random wals and electric networs vol of Carus Mathematical Monographs Mathematical Association of America Washington DC 984 [6] M Fuushima Y Oshima and M Taeda Dirichlet forms and symmetric Marov processes vol 9 of De Gruyter studies in mathematics ; 9 de Gruyter Berlin [ua] rev and extended ed ed 0 [7] A Grigor yan J Hu and -S Lau Heat ernels on metric measure spaces and an application to semilinear elliptic equations Trans Amer Math Soc 00) pp electronic) [8] A Grigor yan and M Yang Local and Non-Local Dirichlet Forms on the Sierpińsi Carpet ArXiv e-prints 07) [9] M Hino and T umagai A trace theorem for Dirichlet forms on fractals J Funct Anal 8 006) pp 78 6 [0] J Hu and X Wang Domains of Dirichlet forms and effective resistance estimates on pcf fractals Studia Math ) pp 7 [] A Jonsson Brownian motion on fractals and function spaces Math Z 996) pp [] J igami A harmonic calculus on the Sierpińsi spaces Japan J Appl Math 6 989) pp 9 90 [] Harmonic calculus on pcf self-similar sets Trans Amer Math Soc 99) pp 7 7 [4] Analysis on fractals vol 4 of Cambridge Tracts in Mathematics Cambridge University Press Cambridge 00 [] T umagai and -T Sturm Construction of diffusion processes on fractals d- sets and general metric measure spaces J Math yoto Univ 4 00) pp 07 7 [6] S usuoa and Z X Yin Dirichlet forms on fractals: Poincaré constant and resistance Probab Theory Related Fields 9 99) pp [7] Pietrusa-Pa luba Some function spaces related to the Brownian motion on simple nested fractals Stochastics Stochastics Rep ) pp 67 8 [8] On function spaces related to fractional diffusions on d-sets Stochastics Stochastics Rep ) pp 64 [9] Limiting behaviour of Dirichlet forms for stable processes on metric spaces Bull Pol Acad Sci Math 6 008) pp 7 66 [0] C Sabot Existence and uniqueness of diffusions on finitely ramified self-similar fractals Ann Sci École Norm Sup 4) 0 997) pp [] R S Strichartz The Laplacian on the Sierpinsi gaset via the method of averages Pacific J Math 0 00) pp 4 6 [] M Yang Equivalent semi-norms of non-local dirichlet forms on the Sierpińsi gaset and applications Potential Anal 07 to appear) Faultät für Mathemati Universität Bielefeld Postfach 00 0 Bielefeld Germany address: ymeng@mathuni-bielefeldde and Department of Mathematical Sciences Tsinghua University Beijing China address: meng-yang@mailstsinghuaeducn