---
title: Fuzzy-Valued Fractal Interpolation
url: https://www.emergentmind.com/topics/fuzzy-valued-fractal-interpolation-function
type: topic
---

# Fuzzy-Valued Fractal Interpolation

A fuzzy-valued fractal interpolation function is an interpolation function whose values are fuzzy numbers and whose graph is generated by a self-referential fractal mechanism. In the formulation developed in "Construction and properties of fuzzy-valued fractal interpolation function by using iterated function system" [2508.00861], the object is designed to interpolate a prescribed data set \(P=\{(x_i,u_i)\}\) with \(u_i\in\mathbb{R}^F\), to realize its graph as the attractor of an iterated function system (IFS), and to admit a regularity theory in the form of Hölder continuity. The construction is motivated by phenomena that exhibit both irregularity and uncertainty: irregularity is represented through fractal interpolation, while uncertainty is represented through fuzzy numbers. In this sense, fuzzy-valued fractal interpolation is positioned between ordinary fuzzy interpolation and ordinary fractal interpolation rather than as a minor variant of either [2508.00861].

## 1. Conceptual setting and mathematical object

The underlying data are fuzzy-number-valued samples
\[
P=\{(x_i,u_i)\in\mathbb{R}\times\mathbb{R}^F\mid i=0,1,\dots,n\},\qquad x_0<x_1<\cdots<x_n.
\]
Here \(\mathbb{R}^F\) denotes the space of fuzzy numbers over \(\mathbb{R}\). The fuzzy numbers used in the construction are assumed to be normal, upper semicontinuous, convex, and compactly supported. For each \(u\in\mathbb{R}^F\), the \(\alpha\)-level set is an interval
\[
[u]^\alpha=[u^-(\alpha),u^+(\alpha)],\qquad \alpha\in[0,1].
\]

A fuzzy-valued fractal interpolation function is a continuous mapping \(f:I\to\mathbb{R}^F\), with \(I=[x_0,x_n]\), such that \(f(x_i)=u_i\) for all nodes and such that \(f\) satisfies a self-referential equation on each subinterval \(I_i=[x_{i-1},x_i]\). The function is not introduced merely as a pointwise fuzzy extension of a crisp interpolant; rather, it is defined through an IFS whose attractor is exactly the graph
\[
\operatorname{Gr}f=\{(x,f(x))\in I\times\mathbb{R}^F:x\in I\}.
\]

This framework addresses a common distinction. Ordinary fuzzy interpolation captures uncertainty but does not encode self-similar or fractal geometry. Ordinary fractal interpolation captures fractal structure but does not directly interpolate fuzzy-number-valued data. The fuzzy-valued fractal interpolation function combines both requirements in a single fixed-point construction [2508.00861].

## 2. Metric structure, level sets, and IFS data

The paper equips \(\mathbb{R}^F\) with the supreme metric
\[
d_0(u,v)=\sup_{\alpha\in[0,1]}\max\left\{|u^-(\alpha)-v^-(\alpha)|,\ |u^+(\alpha)-v^+(\alpha)|\right\}.
\]
With this metric, \((\mathbb{R}^F,d_0)\) is a complete metric space. For fuzzy-valued continuous functions \(f,g\in C(K,\mathbb{R}^F)\), the induced metric is
\[
D(f,g)=\sup_{x\in K} d_0(f(x),g(x)),
\]
and \((C(K,\mathbb{R}^F),D)\) is also complete [2508.00861].

The interval domain is decomposed as
\[
I=[x_0,x_n],\qquad I_i=[x_{i-1},x_i],\quad i=1,\dots,n.
\]
For each \(i\), one chooses a contractive homeomorphism
\[
l_i:I\to I_i
\]
satisfying the endpoint conditions
\[
l_i(x_0)=x_{i-1},\qquad l_i(x_n)=x_i.
\]
These maps compress the whole interval onto its constituent subintervals.

The vertical component of the construction is provided by fuzzy-valued maps
\[
F_i:I\times\mathbb{R}^F\to\mathbb{R}^F,\qquad
F_i(x,u)=s_i\,u\oplus q_i(l_i(x)),
\]
where \(0\le s_i<1\) is a vertical scaling factor and \(q_i:I_i\to\mathbb{R}^F\) is Lipschitz. The interpolation conditions are
\[
F_i(x_0,u_0)=u_{i-1},\qquad F_i(x_n,u_n)=u_i.
\]
An example given in the paper is
\[
q_i(x)=b_i(x)\,\oplus\, s_i\, g_i(l_i(x)),
\]
with the auxiliary terms chosen so that the endpoint conditions hold.

On the product space \(I\times\mathbb{R}^F\), the paper first considers
\[
d_{\max}((x,u),(y,v))=\max\{|x-y|,d_0(u,v)\},
\]
and then introduces the maps
\[
w_i(x,u)=(l_i(x),F_i(x,u)),\qquad i=1,\dots,n.
\]
A key structural step is the proof that there exists a metric \(d_e\) equivalent to \(d_{\max}\) such that each \(w_i\) is contractive. Consequently,
\[
\{I\times\mathbb{R}^F;\ w_i=(l_i,F_i),\ i=1,\dots,n\}
\]
forms a hyperbolic iterated function system [2508.00861].

## 3. Fixed-point construction and attractor characterization

The interpolation space is
\[
C^*(I,\mathbb{R}^F)=\{f:I\to\mathbb{R}^F\mid f \text{ continuous and } f(x_i)=u_i,\ i=0,\dots,n\}.
\]
Within this space, the construction is driven by the Read–Bajraktarević operator
\[
T(f)(x)=F_i(l_i^{-1}(x),f(l_i^{-1}(x))),\qquad x\in I_i.
\]
Using the specific form of \(F_i\), this becomes
\[
T(f)(x)=s_i\,f(l_i^{-1}(x))\oplus q_i(x),\qquad x\in I_i.
\]

The operator \(T\) is contractive in the metric \(D\), with contraction constant
\[
s=\max_{i=1,\dots,n}s_i<1.
\]
By Banach’s fixed point theorem, there exists a unique fixed point \(f\in C^*(I,\mathbb{R}^F)\) satisfying
\[
f(x)=s_i\,f(l_i^{-1}(x))\oplus q_i(x),\qquad x\in I_i. \tag{4}
\]
This fixed point is the fuzzy-valued fractal interpolation function [2508.00861].

The same object can be described geometrically through the Hutchinson–Barnsley operator
\[
W(A)=\bigcup_{i=1}^n w_i(A),\qquad A\in \mathcal{H}(I\times \mathbb{R}^F),
\]
where \(\mathcal{H}(I\times\mathbb{R}^F)\) denotes the family of nonempty compact subsets endowed with the Hausdorff metric. Since the \(w_i\) are contractive, \(W\) has a unique fixed point \(B\), the attractor of the IFS.

The paper proves that the graph of the fixed point is invariant:
\[
\operatorname{Gr}f=\bigcup_{i=1}^n w_i(\operatorname{Gr}f).
\]
By uniqueness of the attractor,
\[
\operatorname{Gr}f=B.
\]
Thus the fuzzy-valued fractal interpolation function is simultaneously a fixed point in function space and an attractor in the hyperspace of compact subsets. This equivalence is central: the interpolation property is encoded analytically by equation \((4)\) and geometrically by graph invariance under the IFS.

## 4. Level-set decomposition into ordinary fractal interpolation functions

A fundamental structural theorem of the construction is that the fuzzy-valued interpolant decomposes levelwise into ordinary real-valued fractal interpolation functions. For each \(\alpha\in[0,1]\), one defines the real-valued data sets
\[
P^-_\alpha=\{(x_i,u_i^-(\alpha))\in\mathbb{R}^2:\ i=0,\dots,n\},
\]
\[
P^+_\alpha=\{(x_i,u_i^+(\alpha))\in\mathbb{R}^2:\ i=0,\dots,n\}.
\]

The paper then introduces real-valued maps on \(I\times\mathbb{R}\) associated with the lower and upper endpoints of the level sets, and denotes the resulting ordinary fractal interpolation functions by \(g^-_\alpha\) and \(g^+_\alpha\). Their fixed-point equations are
\[
g^-_\alpha(x)=s_i g^-_\alpha(l_i^{-1}(x))+\bigl(q_i(x)\bigr)^-(\alpha), \tag{5}
\]
\[
g^+_\alpha(x)=s_i g^+_\alpha(l_i^{-1}(x))+\bigl(q_i(x)\bigr)^+(\alpha). \tag{6}
\]

Taking \(\alpha\)-level sets in the fuzzy fixed-point equation yields
\[
[f(x)]^\alpha = s_i [f(l_i^{-1}(x))]^\alpha \oplus [q_i(x)]^\alpha,
\]
which is equivalent, at the endpoint level, to
\[
f^-(x,\alpha)=s_i f^-(l_i^{-1}(x),\alpha)+q_i^-(x,\alpha), \tag{7}
\]
\[
f^+(x,\alpha)=s_i f^+(l_i^{-1}(x),\alpha)+q_i^+(x,\alpha). \tag{8}
\]

By uniqueness of the fixed point in the corresponding contraction scheme, the lower and upper endpoint functions of the fuzzy-valued interpolant coincide with the ordinary fractal interpolation functions built from the \(\alpha\)-level data:
\[
(f(\cdot))^-(\alpha)=g^-_\alpha(\cdot),\qquad (f(\cdot))^+(\alpha)=g^+_\alpha(\cdot).
\]
This is formulated in the paper as Theorem 4 [2508.00861].

The result has a precise interpretive significance. The fuzzy-valued fractal interpolation function is not merely associated with level sets; it is exactly a family of ordinary fractal interpolation functions indexed by \(\alpha\), one for the lower endpoint and one for the upper endpoint of each level interval. A plausible implication is that many analytical properties of the fuzzy-valued object can be studied by reducing them to the corresponding properties of these real-valued endpoint interpolants.

## 5. Hölder continuity and regularity theory

The regularity analysis proceeds in two steps. First, the paper studies ordinary real-valued fractal interpolation functions \(f_y\) associated with data \(\{(x_i,y_i)\}\) satisfying
\[
f_y(x)=s_i f_y(l_i^{-1}(x))+q_i(x),\qquad x\in I_i.
\]
The assumptions include \(|s_i|<1\), Lipschitz continuity of each \(q_i\), a uniform bound \(L_{q_i}\le p\), endpoint conditions
\[
q_i(x_{i-1})=y_{i-1}-s_i y_0,\qquad q_i(x_i)=y_i-s_i y_n, \tag{9}
\]
and the requirement that each \(l_i\) is a similitude:
\[
|l_i(x)-l_i(y)|=c_{l_i}|x-y|,\qquad c_{l_i}\in[0,1).
\]

With
\[
c_{\min}=\min_i c_{l_i},\qquad c_{\max}=\max_i c_{l_i},\qquad L_q=\max_i L_{q_i},
\]
Theorem 5 states that if \(|y_i|\le A\) for all \(i\), then there exists a constant \(a\), independent of \(y\), such that
\[
\|f_y\|_\infty\le a,
\]
and \(f_y\) is Hölder continuous:
\[
|f_y(x)-f_y(x')|\le K|x-x'|^t,\qquad x,x'\in I,
\]
for some constants \(K>0\) and \(0<t\le 1\) independent of \(y\) [2508.00861].

The proof employs the recursive structure of the interpolation equation and a geometric-series argument based on
\[
\delta=\frac{s}{c_{\min}}.
\]
Three regimes are distinguished. If \(\delta<1\), equivalently \(s<c_{\min}\), the function is Lipschitz, so \(t=1\). If \(\delta=1\), a logarithmic estimate still yields Hölder continuity with some \(0<t\le 1\). If \(\delta>1\), the paper derives Hölder continuity with an exponent given in terms of the displayed formula in the derivation. The exact exponent is therefore governed by the balance between vertical scaling and horizontal contraction.

The fuzzy-valued case follows by applying this real-valued theory to the lower and upper endpoint functions \((f(\cdot))^-(\alpha)\) and \((f(\cdot))^+(\alpha)\). Because each fuzzy number \(u_i\) has compact support, the endpoint data are bounded; because the \(q_i\) are Lipschitz, their level-set endpoint functions inherit the same Lipschitz control. Theorem 6 then states that the fuzzy-valued fractal interpolation function \(f\) is Hölder continuous:
\[
d_0(f(x),f(x'))\le H_f |x-x'|^t,
\]
for some constant \(H_f\) and some \(0<t\le 1\), with
\[
H_f=\max\{K^-,K^+\}.
\]
This regularity result places the construction within the standard analytical regime expected of fractal interpolation while preserving fuzzy-number-valued uncertainty [2508.00861].

## 6. Related developments and scope of the framework

A closely related development is the construction of fuzzy valued recurrent fractal interpolation functions by means of a recurrent iterated function system (RIFS) in "Construction of fuzzy valued recurrent fractal interpolation functions and their properties" [2508.00860]. That paper starts from the same basic motivation—data with both local self-similarity and uncertainty—but replaces the ordinary IFS architecture by a recurrent structure determined by a row-stochastic matrix \(M\). The resulting fuzzy-valued RFIF is again the unique fixed point of an operator on \(C^*(I,\mathbb{RF})\), and its graph is the attractor of the associated hyperbolic RIFS.

The recurrent construction differs from the non-recurrent fuzzy-valued fractal interpolation function in one essential respect: the horizontal dynamics are organized through domains \(I_{o(i)}\) that may consist of unions of several subintervals, thereby encoding local recurrence rather than a single global-to-local interval mapping. The RFIF satisfies a self-referential equation
\[
f(x)=a_i\, f(l_i^{-1}(x)) + q_i(l_i^{-1}(x)),\qquad x\in I_i,
\]
and the paper proves Hölder continuity for the resulting fuzzy-valued interpolant. It additionally establishes stability under perturbations of the nodes \(x_i\), the fuzzy values \(u_i\), and the vertical scaling factors \(a_i\), with explicit estimates involving the contraction parameter \(1-\alpha\), where \(\alpha=\max_i a_i\).

Within the immediate research trajectory, the non-recurrent fuzzy-valued fractal interpolation function [2508.00861] provides the foundational IFS-based model, while the recurrent version [2508.00860] extends the same basic synthesis of fuzziness and fractality to a locally recursive setting and adds perturbation theory. This suggests a broader program in which fuzzy-valued interpolation is studied not only as an uncertainty-aware generalization of classical interpolation, but also as a family of self-referential constructions whose analytical properties can be tracked through IFS or RIFS machinery.

A common misconception is to identify fuzzy-valued fractal interpolation with either ordinary fuzzy interpolation or ordinary fractal interpolation applied componentwise. The published construction does not support that simplification. Its defining features are the fixed-point equation in a fuzzy-valued function space, the attractor characterization of the graph, and the theorem that each \(\alpha\)-level endpoint is itself an ordinary fractal interpolation function. Those three ingredients together distinguish the subject as a specific interpolation theory rather than an ad hoc combination of two unrelated methods [2508.00861].

Source: https://www.emergentmind.com/topics/fuzzy-valued-fractal-interpolation-function