Larry Riddle, Agnes Scott College

The Sierspinski gasket is formed by scaling an equilateral triangle by the factor **r**= 1/2. Instead of using this scaling factor, however, we can scale the equilateral triangle by a number λ between 0 and 1. The figure below starts with an equilateral triangle of side length 1. The red, blue, and green triangles are scaled by λ. The blue and green triangles are then translated to fit back within the original equilateral triangle as indicated by the two dots. The construction is then repeated ad infinitum on the three new triangles. The limiting set was called a fat Sierpinski triangle by Simon and Solomyak if 1/2 < λ < 2/3.

Function

System

According to the figure above, the IFS would be

\({f_1}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}}
\lambda & 0 \\
0 & \lambda \\
\end{array}} \right]{\bf{x}}\) |
scale by λ |

\({f_2}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}}
\lambda & 0 \\
0 & \lambda \\
\end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}}
{1 - \lambda } \\
0 \\
\end{array}} \right]\) |
scale by λ |

\({f_3}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}}
\lambda & 0 \\
0 & \lambda \\
\end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}}
{\dfrac{{1 - \lambda }}{2}} \\
{\dfrac{{(1 - \lambda ) \cdot \sqrt 3 }}{2}} \\
\end{array}} \right]\) |
scale by λ |

The attractor for the IFS consists of three overlapping pieces corresponding to the three functions in the iterated function system if λ is greater than 1/2.

Cases

If λ < 1/2, then the scaled triangles do not touch or overlap. The attractor is a self-similar fractal of dimension log(1/3)/log(λ).

λ = 0.4

λ = 2/3

The first multinacci number w_{2} is the solution to \({x^2} + x = 1\), so \({w_2} = \dfrac{{\sqrt 5 - 1}}{2} = 0.618034\) is the reciprocal of the golden ratio. The figure below shows the attractor of the IFS for λ = w_{2}.

λ = w_{2} = 0.618034

In this image, the black region is \({f_2}({f_1}({f_1}({S_{{w_2}}})))\) where \(S_{w_2}\) is the fat Sierpinksi gasket for λ = w_{2}. The green region is \({f_3}({f_2}({f_1}({S_{{w_2}}})))\). In both cases, notice that the holes for the black and green regions line up with the holes in the attractor. To see why this might happen, consider the following illustration showing the first iteration with λ = w_{2}.

Observe that \(x = {w_2} - (1 - {w_2}) = 2{w_2} - 1\). Now \({w_2}^2 + {w_2} = 1\) and therefore

\[{w_2}^3 = {w_2} - {w_2}^2 = {w_2} - (1 - {w_2}) = 2{w_2} - 1 = x\]
Notice also that the lower left vertex of the black triangle is at the same point as the blue triangle. What this all means is that if the original triangle is scaled three times by the factor w_{2} and translated to (1−w_{2},0), it will be in the same location as the black triangle. The same thing would happen in applying f_{1}, f_{1}, and f_{2} in succession to the attractor \(S_{w_2}\). A similar analysis can be done for the green triangle (which has also been scaled by w_{2} three times.)

The second multinacci number, w_{3}, is the solution to \({x^3} + {x^2} + x = 1\), so

The attractor for λ = w_{3} is shown below.

λ = w_{3} = 0.543689

Notice that it looks more like the Sierpinski gasket because w_{3} is closer to 1/2 than w_{2} is. (In fact, the multinacci numbers w_{m} converge to 1/2 as m goes to infinity since in the limit, the left side of the equation satisfied by the multinacci numbers becomes a geometric series with sum \(\frac{x}{1-x}\) and that equation has the solution x = 1/2.) The attractor for w_{3} has the same total self-similarity property as for w_{2}.

In this case the original triangle can been scaled by w_{3} four times and then translated to produce the black triangle where the red and blue triangles overlap. This is because \(x = {w_3} - (1 - {w_3}) = 2{w_3} - 1\) and \({w_3}^3 +{w_2}^2 + {w_2} = 1\) so that

To see how the holes also line up in this case, try applying each of the IFS functions to the attractor for w_{3} by clicking on the buttons to the left.

If λ is not one of the multinacci numbers, the holes for the three pieces f_{1}(S), f_{2}(S), and f_{3}(S) do not line up. This can be seen in the following illustration of the fat Sierpinski triangle for λ = 0.58 (in red) with f_{1}(S) superimposed on top (in green).

Broomhead, Montaldi and Sidorov proved that the Hausdorff dimension of the attractor \({{S_{{w_m}}}}\) for the fat Sierpinski triangle with λ = w_{m} is equal to its box-counting dimension and is given by
\[\dim \left( {{S_{{w_m}}}} \right) = \frac{{\log ({\tau _m})}}{{\log ({w_m})}}\]
where τ_{m} is the smallest positive root of the polynomial \(3{x^{m + 1}} - 3x + 1\).

For m = 2 we have w_{2} = 0.618034 and τ_{2} = 0.394931 so dim(\({{S_{{w_2}}}}\)) = 1.930635.

For m = 3 we have w_{3} = 0.543689 and τ_{3} = 0.347999 so dim(\({{S_{{w_3}}}}\)) = 1.732184.

Broomhead, Montaldi and Sidorov also showed that the two-dimensional Lebesgue measure of \({{S_{{w_m}}}}\) is 0 for every m. This implies that these attractors have no interior.

It is known that for λ < \(1/\sqrt 3 \) ≈ 0.57735, the attractor S_{λ} has 0 Lebesgue measure. Thomas Jordan showed that for almost all λ in the interval \(\frac{1}{2} \le \lambda \le \frac{{\sqrt[3]{4}}}{3} \approx 0.5291\), the attractor S_{λ} has Hausdorff dimension equal to −log(3)/log(λ) and that for almost all λ ≥ 0.5853, the attractor S_{λ} has Hausdorff dimension 2. Donald Plante has extended some of these results in his 2012 Ph.D. thesis.

- Karoly Simon and Boris Solomyak. "On the dimension of self-similar sets," Fractals, Vol. 10, No. 1 (2002), 59-65. [Available as a postscript file at http://math.bme.hu/~simonk/papers/]
- David Broomhead, James Montaldi, and Nikita Sidorov. "Golden gaskets: variations on the Sierpinski sieve," Nonlinearity, vol. 17 (2004), 1455-1480. [Available at arXiv:math/0309304 [math.DS]]
- Thomas Jordan. "Dimension of fat Sierpinski gaskets," Real Analysis Exchange, Vol. 31, No. 1 (2005), 97-110.
- Donald Plante.
*On the interior of "fat" Sierpinski triangles,*Ph.D. thesis, Tufts University, 2012.