Abstract
Let Δ denote the symmetric Laplacian on the Sierpinski gasket SG defined by Kigami [11] as a renormalized limit of graph Laplacians on the sequence of pregaskets Gm whose limit is SG. We study the analogs of some of the classical partial differential equations with Δ playing the role of the usual Laplacian. For harmonic functions, biharmonic functions, and Dirichlet eigenfunctions of Δ, we give efficient algorithms to compute the solutions exactly, we display the results of implementing these algorithms, and we prove various properties of the solutions that are suggested by the data. Completing the work of Fukushima and Shima [8] who computed the Dirichlet eigenvalues and their multiplicities, we show how to construct a basis (but not orthonormal) for the eigenspaces, so that we have the analog of Fourier sine series on the unit interval. We also show that certain eigenfunctions have the property that they are a nonzero constant along certain lines contained in SG. For the analogs of the heat and wave equation, we give algorithms for approximating the solution, and display the results of implementing these algorithms. We give strong evidence that the analog of finite propagation for the wave equation does not hold because of inconsistent scaling behavior in space and time.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ayer, E. and Strichartz, R. Hausdorff measure and intervals of maximal density for Cantor sets,Trans. Amer. Math. Soc., (to appear).
Barlow, M.T. and Kigami, J. (1997). Localized eigenfunctions of the Laplacian on p.c.f. self-similar sets,J. London Math. Soc.
Ben-Bassat, O., Strichartz, R., and Teplyaev, A. What is not in the domain of the Laplacian on a Sierpinski gasket type fractal,J. Functional Anal., (to appear).
Berry, M.V. (1980). Some geometric aspects of wave motion: wavefront dislocations, diffraction catastrophes, diffractals in Geometry of the Laplace Operator,Proc. Symp. Pure Math.,36, Amer. Math. Soc., Providence, 13–38.
Brossard, J. and Carmona, R. (1986). Can one hear the dimension of a fractal?Commun. Math. Phys.,104, 103–122.
Fleckinger, J., Levitin, M., and Vassiliev, D. (1995). Heat equation on the triadic von Koch snowflake,Proc. London Math. Soc.,3(sn71), 372–396.
Fleckinger, J. and Vassiliev, D. (1993). An example of a two-term asymptotics for the “counting function” of a fractal drum,Trans. Amer. Math. Soc.,337, 99–116.
Fukushima, M. and Shima, T. (1992). On a spectral analysis for the Sierpinski gasket,Potential Anal.,1, 1–35.
Jonsson, A. (1996). Brownian motion on fractals and function spaces,Math. Zeit.,222, 495–504.
Kigami, J. Personal communication.
Kigami, J. (1989). A harmonic calculus on the Sierpinski gasket,Japan J. Appl. Math.,6, 259–290.
Kigami, J. (1993). Harmonic calculus on p.c.f. self-similar sets,Trans. Amer. Math. Soc.,335, 721–755.
Kigami, J. (1993). Harmonic metric and Dirichlet form on the Sierpinski gasket, in Asymptotic problems in probability theory: stochastic models and diffusions on fractals, Elworthy, K.D. and Bceda, N., Eds.,Pitman Research Notes in Math.,283, 201–218.
Kigami, J. and Lapidus, M. (1993). Weyl's problem for the spectral distribution of Laplacians on p.c.f. self-similar fractals,Comm. Math. Phys.,158, 93–125.
Kusuoka, S. and Zhou X.Y. Waves on fractal-like manifolds and effective energy propagation, preprint.
Levitin, M. and Vassiliev, D. (1996). Spectral asymptotics, renewal theorem, and the Berry conjecture for a class of fractals,Proc. London Math. Soc.,3(sn72), 188–214.
Lindstrom, T. (1990). Brownian motion on nested fractals,Memoir AMS,83(420).
Milnor, J. (1990).Dynamics in One Complex Variable: Introductory Lectures, SUNY Stony Brook, Institute for Mathematical Sciences.
Rammal, R. (1984). Spectrum of harmonic excitations on fractals,J. Physique,45, 191–206.
Rammal, R. and Toulouse, G. (1982). Random walks on fractal structures and percolation clusters,J. Physique Lett.,43, 13–22.
Shima, T. (1991). On eigenvalue problems for the random walks on the Sierpinski pre-gaskets,Japan J. Indust. Appl. Math.,8, 127–141.
Shima, T. (1996). On eigenvalue problems for Laplacians on p.c.f. self-similar sets,Japan J. Indust. Appl. Math.,13, 1–23.
Strichartz, R. (1996). Fractals in the large,Can. Math. J.,50, 638–657.
Strichartz, R. (1997). Piecewise linear wavelets on Sierpinski gasket type fractals,J. Four. Anal. Appl.,3, 387–416.
Strichartz, R. Isoperimetric estimates on Sierpinski gasket type fractalsTrans. Amer. Math. Soc., (to appear).
Strichartz, R. Some properties of Laplacians on fractals,J. Functional Anal., (to appear).
Teplyaev, A. (1998). Spectral analysis on infinite Sierpinski gaskets,J. Functional Anal.,159, 537–567.
Author information
Authors and Affiliations
Additional information
Communicated by Stephane Jaffard
Research supported in part by the National Science Foundation, Grant DMS-9623250.
Research supported by the National Science Foundation through the Research Experiences for Undergraduates (REU) Program.
Rights and permissions
About this article
Cite this article
Dalrymple, K., Strichartz, R.S. & Vinson, J.P. Fractal differential equations on the Sierpinski gasket. The Journal of Fourier Analysis and Applications 5, 203–284 (1999). https://doi.org/10.1007/BF01261610
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01261610