What is not in the domain of the Laplacian on Sierpinski gasket type fractals

We consider the analog of the Laplacian on the Sierpinski gasket and related fractals, constructed by Kigami. A function f is said to belong to the domain of Delta if f is continuous and Delta f is defined as a continuous function. We show that if f is a nonconstant function in the domain of Delta, then f(2) is not in the domain of Delta. We give two proofs of this fact. The first is based on the analog of the pointwise identity Delta f(2) - 2f Delta f = \Vf\(2), where we show that \Vf\(2) does not exist as a continuous function. In fact the correct interpretation of Delta f(2) is as a singular measure, a result due to Kusuoka; we give a new proof of this fact. The second is based on a dichotomy for the local behavior of a function in the domain of Delta, at a junction point x(0) of the fractal: in the typical case (nonvanishing of the normal derivative) we have upper and lower bounds for \f(x) - f(x(0))\ in terms of d(x, x(0))(beta) for a certain Value beta, and in the nontypical case (vanishing normal derivative) we have an upper bound with an exponent greater than 2. This method allows us to show that general nonlinear functions do not operate on the domain of Delta. (C) 1999 Academic Press.