arXiv++ Combinatorics

We outline necessary and sufficient condition to the existence of extrmas of a function on a self-similar set, and we describe discrete gradient algorithm to find the extrema.

In this work, we exploit Strichartz average approach \cite{Strichartz2001} to define the Laplacian on Sierpiński gasket, in the construction of the finite volume method. The approach present sum similarities with the finite difference approach in terms of stability and convergence.

Numerous work revolve around the Sierpinski gasket. Its three-dimensional analogue, the Sierpinski tetrahedron, obtained by means of an iterative process which consists in repeatedly contracting a regular 3-simplex to one half of its original height, put together four copies, the frontier corners of which coincide with the initial simplex, appears as a natural extension. Yet, very few works concern the Sierpinski tetrahedron in the existing literature. We go further and, after a detailed study, we give the explicit spectrum of the Laplacian, with a specific presentation of the first eigenvalues. This enables us to obtain an estimate of the spectral counting function (analogous of Weyl's law)

The Laplacian plays a major role in the mathematical analysis of partial differential equations. Recently, the work of J. Kigami, taken up by R. S. Strichartz, allowed the construction of an operator of the same nature, defined locally, on graphs having a fractal character: the triangle of Sierpinski, the carpet of Sierpinski, the diamond fractal, the Julia sets, the fern of Barnsley. Strangely, the case of the graph of the Weierstrass function, introduced in 1872 by K. Weierstrass, which presents self similarity properties, does not seem to have been considered anywhere. It is yet an obligatory passage, in the perspective of studying diffusion phenomena in irregular structures. We have asked ourselves the following question: given a continuous function u on the graph of the Weierstrass function, under which conditions is it possible to associate to u a function Delta u which is, in the weak sense, its Laplacian ? We present, in the following, the results obtained by following the approach of J. Kigami and R. S. Strichartz. Ours is made in a completely renewed framework, as regards, the one, affine, of the Sierpinski gasket. First, we concentrate on Dirichlet forms, on the graph of the Weierstrass function, which enable us the, subject to its existence, to define the Laplacian of a continuous function on this graph. This Laplacian appears as the renormalized limit of a sequence of discrete Laplacians on a sequence of graphs which converge to the one of the Weierstrass function. The normalization constants related to each graph Laplacian are obtained thanks Dirichlet forms. The spectrum of the Laplacian thus built is obtained through spectral decimation.