Semi-Rings, Semi-Vector Spaces, and Fractal Interpolation

Abstract

In this paper, we introduce fractal interpolation on complete semi-vector spaces. This approach is motivated by the requirements of the preservation of positivity or monotonicity of functions for some models in approximation and interpolation theory. The setting in complete semi-vector spaces does not requite additional assumptions but is intrinsically built into the framework. For the purposes of this paper, fractal interpolation in the complete semi-vector spaces $C^{+}$ and $L_p^{+}$ is considered.

1. Introduction

This paper introduces fractal interpolation and solutions of the fractal interpolation problem in complete semi-vector spaces. This approach is motivated by the necessity in approximation theory to preserve the positivity, monotonicity, or convexity of functions f. In each case, $\pm f^{\left(k\right)}\ge 0$ for $k=0,1,2$, respectively. Fractal interpolation in these situations has been carried out but needed additional requirements. The interested reader may find numerous articles on this in the fractal literature.

The convenient setting of semi-vector spaces provides a means of only considering positive functions from the onset. Once it has been established that certain such semi-vector spaces are complete, they lend themselves to fractal interpolation and the application of the Banach fixed point theorem.

The structure of this paper is as follows: For the reader not familiar with the setting of semi-rings, semi-vector spaces, and related topics, we review and introduce these concepts in Section 2. This section forms the foundation for the remainder of this article. The two types of complete semi-vector spaces, namely $C^{+}I$ (continuous positive functions on a compact interval $I\subset \mathbb{R}$) and $L_p^{+}I$ (classes of positive functions in the Lebesgue spaces $L_p^{+}I$, $p\in [1,\infty ]$) are defined here. For the sake of completeness, self-containment of the presentation, and the underlying foundational scope of fractal interpolation, we also provide the reader with the concepts of iterated function systems and fractal interpolation in Section 3. There, the fundamental object of a Read–Bajraktarević operator is introduced. In Section 5, we describe fractal interpolation in the complete semi-vector spaces $C^{+}I$ and $L_p^{+}I$ and derive conditions that guarantee the existence of fractal functions in each of these two spaces. We briefly dwell on fractal sequences and series in $C^{+}I$ and $L_p^{+}I$. The section closes by describing a semi-linear fractal operator on each of these two spaces and presenting some of its properties. A conclusion and future research directions complete the paper.

2. Semi-Rings, Semi-Vector Spaces, and Related Results

In this section, we introduce those concepts from the areas of semi-rings and semi-vector spaces that are relevant for this paper. The interested reader can refer to [1,2] and the references given therein for more details. The definitions and examples presented in this section can be found in [1,3,4].

2.1. Definitions and Examples

Definition 1. 

A nonempty set S endowed with two binary operations $+:S\times S\to S$ (addition) and $\ast :S\times S\to S$ (multiplication) is called a semi-ring if

(i) 

$(S,+)$ is a commutative monoid;

(ii)  

$(S,\ast )$ is a semigroup;

(iii)  

Multiplication ∗ is distributive with respect to +, i.e., $\forall x,y,z\in S$, $(x+y)\ast z=x\ast z+y\ast z$, and $x\ast (y+z)=x\ast y+x\ast z$.

To simplify the notation, we write S for $(S,+,\ast )$ unless it is necessary to avoid ambiguities. If multiplication * is commutative then S is called a commutative semi-ring and if there exists a $1\in S$ such that $\forall x\in S$, $x\ast 1=1\ast x=x$, then S is called a semi-ring with (multiplicative) identity 1.

Definition 2. 

A semi-field is an ordered triple $K:=(K,+,\ast )$, which is a commutative semi-ring with 1 satisfying the conditions

(i)  

$\forall x,y\in K$; $x+y=0$ implies $x=y=0$;

(ii)  

There are no multiplicative zero divisors in K.

Example 1. 

An example of a semi-field is the set ${\mathbb{R}}_0^{+}:=\{x\in \mathbb{R}:x\ge 0\}$ endowed with the usual addition and multiplication of real numbers.

Now, we are ready to introduce the concept of a semi-vector space over a semi-field K.

Definition 3. 

Let V be a nonempty set endowed with the binary operations $+:V\times V\to V$ (vector addition) and $·:K\times V\to V$ (scalar multiplication). Then the ordered triple $(V,+,·)$ is called a semi-vector space over the semi-field K provided that

(i)  

$(V,+)$ is a commutative monoid satisfying the additive cancellation law $\forall u,v,w\in V$, $u+v=u+w$ implies $v=w$;

(ii)  

$\forall \alpha \in K\forall u,v\in K$: $\alpha (u+v)=\alpha u+\alpha v$;

(iii)  

$\forall \alpha ,\beta \in K\forall v\in V$: $(\alpha +\beta )v=\alpha v+\beta v$;

(iv)  

$\forall \alpha ,\beta \in K\forall v\in V$: $\left(\alpha \beta \right)v=\alpha \left(\beta v\right)$;

(v)  

$\forall v\in V$ and $1\in K$: $1·v=v$.

To ease the notation, we write V for $(V,+,·)$ unless this gives rise to confusion. We remark that the semi-vector spaces introduced here are called regular as they are required to satisfy Definition 3(i). The (unique) element $0_V\in V$ with $v+0_V=0_V+v=v$, $\forall v\in V$ will be referred to as the zero or null vector of V.

Let $0_V\ne v\in V$. If $\exists u\in V$ such that $v+u=0_V$ then v is called symmetrizable. A semi-vector space V is called simple if the only symmetrizable element is the zero vector $0_V$.

Definition 4. 

Suppose V is a simple semi-vector space over the semi-field ${\mathbb{R}}_0^{+}$. A nonempty subset $B\subset V$ is called a semi-basis of V if every $0_V\ne v\in V$ has a unique representation in the form $v={\displaystyle \sum _{i\in I\left(v\right)}}{v}^i{b}_i$ where $v^i\in {\mathbb{R}}^{+}:=\{x\in \mathbb{R}:x>0\}$, $b_i\in B$, and $I\left(v\right)$ is a finite index set uniquely determined by v. The finite subset $B_v\subset B$ given by $B_v:=\{b_i:i\in I\left(v\right)\}$ and is uniquely determined by v. A semi-vector space is called semi-free if it admits a semi-basis.

A direct consequence of Definition 4 is the following corollary whose proof can be found in Corollary 1.7 of [4]:

Corollary 1. 

All semi-bases in a semi-free semi-vector space V have the same cardinality. This cardinality is called the semi-dimension of V.

The example below lists some semi-vector spaces. (See, for instance, also [1].)

Example 2. 

1. 

All vector spaces are semi-vector spaces. They are, however, not simple.

2. 

Let $n\in \mathbb{N}:=\{n\in \mathbb{Z}:n\ge 1\}$. The set ${\left({\mathbb{R}}_0^{+}\right)}^n:=\underset{i=1}{\stackrel{n}{\mathsf{X}}}{\mathbb{R}}_0^{+}$ together with the usual component-wise addition and scalar multiplication is a semi-vector space over the semi-field ${\mathbb{R}}_0^{+}$, called the Euclidean semi-vector space.

3. 

For $m,n\in \mathbb{N}$, denote by $M_{n\times m}\left({\mathbb{R}}_0^{+}\right)$ the set of all $n\times m$ matrices with entries from ${\mathbb{R}}_0^{+}$. Equipped with the usual matrix addition and matrix scalar multiplication, $M_{n\times m}\left({\mathbb{R}}_0^{+}\right)$ forms a semi-vector space over ${\mathbb{R}}_0^{+}$.

4. 

Let $n\in \mathbb{N}$ and let $P_n\left[x\right]$ denote the set of all polynomials with coefficients from ${\mathbb{R}}_0^{+}$ together with the usual addition and scalar multiplication, which is a semi-vector space over ${\mathbb{R}}_0^{+}$.

Definition 5. 

A nonempty subset U of a semi-vector space $(V,+,·)$ over ${\mathbb{R}}_0^{+}$ is called a semi-subspace of V if U satisfies

(i) 

$\forall u_1,u_2\in U$, $u_1+u_2\in U$;

(ii) 

$\forall \alpha \in {\mathbb{R}}_0^{+}\forall u\in U$, $\alpha u\in U$.

We note that the uniqueness of $0_V$ and the regularity of the semi-vector space V imply that every semi-subspace U of V contains the zero vector. The following are some examples of semi-subspaces:

Example 3. 

1. 

Let ${\mathbb{Q}}_0^{+}:=\{q\in \mathbb{Q}:q\ge 0\}$. The semi-vector space ${\mathbb{Q}}_0^{+}$ over ${\mathbb{Q}}_0^{+}$ is a semi-subspace of ${\mathbb{R}}_0^{+}$ over ${\mathbb{Q}}_0^{+}$.

2. 

The set of diagonal matrices in $M_{n\times n}\left({\mathbb{R}}_0^{+}\right)$ is a semi-subspace of the latter.

Definition 6. 

Let V and W be semi-vector spaces over ${\mathbb{R}}_0^{+}$ and let $T:V\to W$ be a map. T is called a semi-linear transformation between V and W if

(i)  

$\forall v_1,v_2\in V$: $T(v_1+v_2)=T{v}_1+T{v}_2$;

(ii)  

$\forall \lambda \in {\mathbb{R}}_0^{+}\forall v\in V$: $T\left(\lambda v\right)=\lambda Tv$.

In case $W=V$, we call T a semi-linear operator on V.

Remark 1. 

The expression semi-linear defined in Definition 6 is not to be confused with the one used in linear algebra and projective geometry where condition (ii) has the form $\forall \lambda \in {\mathbb{R}}_0^{+}\forall v\in V$; thus, it holds that $T\left(\lambda v\right)=\sigma \left(\lambda \right)Tv$ for some automorphism $\sigma \ne id$ of the underlying field.

Definition 7. 

Let V and W be semi-vector spaces over ${\mathbb{R}}_0^{+}$. A mapping $T:V\to W$ is called an affine semi-linear transformation if $T-T\left(0\right)$ is a semi-linear transformation $V\to W$.

We note that the set ${Hom}^{+}(V,W):=\{T:V\to W:T\mathrm{is}\text{semi-linear}\}$ is a semi-vector space over ${\mathbb{R}}_0^{+}$.

More results regarding semi-linear vector spaces and semi-linear transformation can be found in Section 3 of [1].

2.2. Complete Semi-Vector Spaces

For the purposes of this paper, we need to introduce complete semi-vector spaces, that is, semi-vector spaces that when endowed with a norm, an inner product or a metric can be completed. The exposure here follows Section 3.1 of [1].

In the remainder of this paper, all semi-vector spaces are taken over the semi-field ${\mathbb{R}}_0^{+}$ unless otherwise stated. As usual, we denote the multiplication in ${\mathbb{R}}_0^{+}$ and the scalar multiplication of the associated semi-vector space by · or simply use juxtaposition. Moreover, we denote by ${\mathbb{N}}_n$ the initial segment of $\mathbb{N}$ of length n, i.e., ${\mathbb{N}}_n:=\{1,\dots ,n\}$, and set ${\mathbb{N}}_{0,n}:={\mathbb{N}}_n\cup \left\{0\right\}$.

Definition 8. 

Let V be a semi-vector space. V is called a normed semi-vector space if there exists a function $\parallel ·\parallel :V\to {\mathbb{R}}_0^{+}$ satisfying the conditions for a norm. V is called a Banach semi-vector space if V is complete in this norm.

Definition 9. 

Let V be a semi-vector space. V is called a pre-Hilbert semi-vector space if there exists a bilinear function $\langle ·,·\rangle :V\times V\to {\mathbb{R}}_0^{+}$ on V satisfying the conditions for an inner product. V is called a Hilbert semi-vector space if V is complete with respect to this inner product.

The next results show that well-known norms on ${\mathbb{R}}^n$ are also norms on ${\left({\mathbb{R}}_0^{+}\right)}^n$.

Proposition 1. 

The Euclidean semi-vector space ${\left({\mathbb{R}}_0^{+}\right)}^n$ becomes a normed semi-vector space when endowed with the function $\parallel ·\parallel :{\left({\mathbb{R}}_0^{+}\right)}^n\to {\mathbb{R}}_0^{+}$:

$$x:=(x_1,\dots ,x_n)\mapsto \sqrt{\sum _{i\in {\mathbb{N}}_n}{x}_i^2}.$$

Proof. 

See Proposition 5 in [1]. □

The norm defined in Proposition 1 will be referred to as the Euclidean or ${\mathsf{\ell }}_2^{+}\left({\mathbb{N}}_n\right)$ norm on ${\left({\mathbb{R}}_0^{+}\right)}^n$.

Proposition 2. 

Let $x:=(x_1,\dots ,x_n),y:=(y_1,\dots ,y_n)\in {\left({\mathbb{R}}_0^{+}\right)}^n$. Set

$$m_i:=m_i(x,y):=\min \{x_i,y_i\},M_i:=M_i(x,y):=\max \{x_i,y_i\},i\in {\mathbb{N}}_n.$$

Define a function $d:{\left({\mathbb{R}}_0^{+}\right)}^n\times {\left({\mathbb{R}}_0^{+}\right)}^n\to {\mathbb{R}}_0^{+}$ by

$$d(x,y):=\sqrt{\sum _{i\in {\mathbb{N}}_n}{(M_i-m_i)}^2}.$$

Then, d is a metric on ${\left({\mathbb{R}}_0^{+}\right)}^n$, called the Euclidean metric on ${\left({\mathbb{R}}_0^{+}\right)}^n$.

Proof. 

See Proposition 6 in [1]. □

Remark 2.  

Although $\max \{x_i,y_i\}-\min \{x_i,y_i\}=\left|x_i-y_i\right|$, we will continue using the $\max -\min$ difference instead of the absolute value. The reason will become clear in Section 2.3.

Remark 3.  

It follows from Propositions 1 and 2 that a semi-vector space V is Banach if the norm generates a metric under which every Cauchy sequence in V converges to an element of V.

Proposition 3.  

On ${\left({\mathbb{R}}_0^{+}\right)}^n$, define the bilinear mapping $\langle ·,·\rangle :{\left({\mathbb{R}}_0^{+}\right)}^n\times {\left({\mathbb{R}}_0^{+}\right)}^n\to {\mathbb{R}}_0^{+}$ by

$$\langle x,y\rangle :=\sum _{i\in {\mathbb{N}}_n}{x}_i{y}_i,$$

where $x:=(x_1,\dots ,x_n),y:=(y_1,\dots ,y_n)$. Then, $\langle ·,·\rangle$ defines an inner product on ${\left({\mathbb{R}}_0^{+}\right)}^n$. Moreover, $\langle ·,·\rangle$ induces the Euclidean norm on ${\left({\mathbb{R}}_0^{+}\right)}^n$.

Proof. 

See Propositions 7 and 8 in [1]. □

Similarly to Remark 3, we note that an inner product on a semi-vector space V induces and norm and thus a metric on V. Hence, V becomes Hilbert if every Cauchy sequence in V converges in the metric to an element of V.

The next results relate norms and semi-linear transformations.

Definition 10.  

Let V and W be semi-vector spaces and $T:V\to W$ a semi-linear transformation. The mapping T is called bounded if $\exists M>0$ such that $\forall v\in V$, $\parallel Tv\parallel \le M\parallel v\parallel$.

The above definition allows us to define a norm on bounded elements of ${Hom}^{+}(V,W)$. To this end, set

$$\parallel T\parallel :=\underset{0_V\ne v\in V}{sup}{\displaystyle \frac{\parallel Tv\parallel }{\parallel v\parallel }}.$$

(1)

The fact that Equation (1) indeed defines a norm is proven in Proposition 14 of [1].

2.3. Some Complete Semi-Vector Spaces

Here, we introduce some complete (in the underlying metric) semi-vector spaces that are relevant to this paper. More details can be found in [1] and the references given therein.

Theorem 1. 

Let $p\in [1,\infty ]$. Define

$${\mathsf{\ell }}_p^{+}:={\mathsf{\ell }}_p^{+}\left(\mathbb{N}\right):=\left\{\begin{array}{cc}\left\{a:\mathbb{N}\to {\mathbb{R}}_0^{+}:{\displaystyle \sum _{n\in \mathbb{N}}}{\left|a\left(n\right)\right|}^p<\infty \right\},\hfill & p\in [1,\infty );\hfill \\ \left\{a:\mathbb{N}\to {\mathbb{R}}_0^{+}:\underset{n\in \mathbb{N}}{sup}\left|a\left(n\right)\right|<\infty \right\},\hfill & p=\infty .\hfill \end{array}\right.$$

(2)

For $a,b\in {\mathsf{\ell }}_p^{+}$, set

$$d_p(a,b):=\left\{\begin{array}{cc}{\left({\displaystyle \sum _{n\in \mathbb{N}}}{(M_n-m_n)}^p\right)}^{1/p},\hfill & p\in [1,\infty );\hfill \\ \underset{n\in \mathbb{N}}{sup}(M_n-m_n),\hfill & p=\infty ,\hfill \end{array}\right.$$

(3)

where

$$m_n=\min \{a_n,b_n\},M_n:=\max \{x_n,y_n\},n\in \mathbb{N}.$$

Then, the semi-spaces ${\mathsf{\ell }}_p^{+}$ endowed with the metric $d_p$ are complete.

Proof. 

See [1], pp. 10–13. □

Denote by $C[a,b]$ the space of all continuous functions $f:[a,b]\to \mathbb{R}$.

Definition 11. 

Suppose $[a,b]$ is a nonempty interval in ${\mathbb{R}}_0^{+}$. Define

$$C^{+}[a,b]:=\left\{f\in C[a,b]:f:[a,b]\to {\mathbb{R}}_0^{+}\right\}$$

(4)

and let $d:C^{+}[a,b]\times C^{+}[a,b]\to {\mathbb{R}}_0^{+}$ be given by

$$d(f,g):=\underset{x\in [a,b]}{\max }\left\{\max \left\{f\right(x),g(x\left)\right\}-\min \left\{f\right(x),g(x\left)\right\}\right\}.$$

(5)

Theorem 2. 

The mapping d defined by Equation (5) is a metric on the semi-space $C^{+}[a,b]$. When endowed with this metric, $C^{+}[a,b]$ becomes a complete metrizable space.

Proof. 

The proof can be found in Theorem 7 of [1]. □

Remark 4. 

Note that despite $\max \{f\left(x\right),g\left(x\right)\}-\min \{f\left(x\right),g\left(x\right)=\left|f\left(x\right)-g\left(x\right)\right|$, $C^{+}[a,b]$ is not a closed subspace of $C[a,b]$ as the scalars are only taken from ${\mathbb{R}}_0^{+}$.

For $p\in [0,\infty ]$ and a nonempty interval $[a,b]\subset {\mathbb{R}}_0^{+}$, we now introduce the semi-space

$$L_p^{+}[a,b]:=\{f\in L_p[a,b]:f:[a,b]\to {\mathbb{R}}_0^{+}\},$$

(6)

where $L_p[a,b]$ denotes the Lebesgue space of functions with exponent p on $[a,b]$ and endow it with the mapping $d_p:L_p^{+}[a,b]\times L_p^{+}[a,b]\to {\mathbb{R}}_0^{+}$,

$$d_p(f,g):=\left\{\begin{array}{cc}{\left({\displaystyle \underset{[a,b]}{\int }{\left(max\left\{f\right(t),g(t\left)\right\}-\min \left\{f\right(t),g(t\left)\right\}\right)}^{p}dt}\right)}^{1/p},\hfill & p\in [1,\infty );\hfill \\ {\displaystyle \underset{t\in [a,b]}{ess sup}}\left(max\left\{f\right(t),g(t\left)\right\}-\min \left\{f\right(t),g(t\left)\right\}\right),\hfill & p=\infty ,\hfill \end{array}\right.$$

(7)

with $dt$ denoting Lebesgue measure.

Note that the mappings $d_p$ are well-defined as the max and min of measurable functions and the values of f and g being $L_p$-functions are finite almost everywhere.

Theorem 3. 

The mapping $d_p$ defined in (7) is a metric on $L_p^{+}[a,b]$ and with it $L_p^{+}[a,b]$ becomes a complete metrizable space.

Proof. 

The verification that $d_p$ is a metric is straight-forward and the proof that $L_p^{+}[a,b]$ is complete with respect to $d_p$ is similar to the one given in Theorem 7 of [1]. We leave the details to the reader. □

Replacing the Lebesgue measure in the definition of (7) by a counting measure, we obtain the semi-spaces ${\mathsf{\ell }}_p^{+}$.

Remark 5. 

Remark 4 also applies to the spaces $L_p^{+}[a,b]$: The latter is not a closed subspace of $L_p[a,b]$.

3. Preliminaries on Iterated Function Systems

Here, we state the definition of an iterated function system and its attractor.

Let $(\mathbb{X},d)$ be a complete metric space. For a map $f:\mathbb{X}\to \mathbb{X}$, define the Lipschitz constant associated with f by

$$Lip\left(f\right)=\underset{x,y\in \mathbb{X},x\ne y}{sup}{\displaystyle \frac{d_{\mathbb{X}}\left(f\left(x\right),f\left(y\right)\right)}{d_{\mathbb{X}}(x,y)}}.$$

The map f is said to be Lipschitz if $Lip\left(f\right)<+\infty$ and a contraction on $\mathbb{X}$ if $Lip\left(f\right)<1$.

Definition 12. 

Let $1<n\in \mathbb{N}$ and let $\mathcal{F}:=\{f_1,\dots ,f_n\}$ be a finite family of contractions on the complete metric space $(\mathbb{X},d_{\mathbb{X}})$. Then the pair $(\mathbb{X},\mathcal{F})$ is called a contractive iterated function system (IFS) on $\mathbb{X}$.

As this article deals exclusively with contractive IFSs, we drop the adjective “contractive” in the following:

With an IFS $(\mathbb{X},\mathcal{F})$ and its point maps $f\in \mathcal{F}$, we associate a set-valued map, also denoted by $\mathcal{F}$, as follows: let $\left(\mathcal{H}\right(\mathbb{X}),h)$ be the hyperspace of all nonempty compact subsets of $\mathbb{X}$ endowed with the Hausdorff–Pompeiu metric

$$h(S_1,S_2):=max\{d(S_1,S_2),d(S_2,S_1)\},$$

where $d(S_1,S_2):=\underset{x\in S_1}{sup}d(x,S_2):=\underset{x\in S_1}{sup}\underset{y\in S_2}{inf}d(x,y)$.

Define $\mathcal{F}:\mathcal{H}\left(\mathbb{X}\right)\to \mathcal{H}\left(\mathbb{X}\right)$ by (cf. [5,6])

$$\mathcal{F}\left(S\right):=\bigcup _{i=1}^n{f}_i\left(S\right).$$

(8)

For contractive mappings $f\in \mathcal{F}$, the set-valued map $\mathcal{F}$ defined by (8) is also a Lipschitz map on $\mathcal{H}\left(\mathbb{X}\right)$ with Lipschitz constant $Lip\left(\mathcal{F}\right)=max\{Lip\left(f_i\right):i\in {\mathbb{N}}_n\}<1$. Also, the completeness of $(\mathbb{X},d)$ implies the completeness of $\left(\mathcal{H}\right(\mathbb{X}),h)$.

Definition 13. 

The unique fixed point $A\in \mathcal{H}\left(\mathbb{X}\right)$ of the contractive set-valued map $\mathcal{F}$ is called the attractor of the IFS $(\mathbb{X},\mathcal{F})$.

Note that since A satisfies the self-referential equation,

$$A=\mathcal{F}\left(A\right)=\bigcup _{i=1}^n{f}_i\left(A\right)=\bigcup _{i_1=1}^n\cdots \bigcup _{i_k=1}^n{f}_{i_1}\circ \cdots \circ f_{i_k}\left(A\right),$$

(9)

expressing A as a finite number of copies of itself, a characteristic of a fractal set. Hence, the attractor is, in general, a fractal set.

It follows directly from the proof of the Banach fixed point theorem that the attractor A is obtained as the limit (in the Hausdorff–Pompeiu metric) of the iterative process $A_k:=\mathcal{F}\left(A_{k-1}\right)$, $k\in \mathbb{N}$:

$$A=\underset{k\to \infty }{lim}{A}_k=\underset{k\to \infty }{lim}{\mathcal{F}}^k\left(A_0\right),$$

(10)

for an arbitrary $A_0\in \mathcal{H}\left(\mathbb{X}\right)$. Here, ${\mathcal{F}}^k$ denotes the k-fold composition of $\mathcal{F}$ with itself.

4. Fractal Interpolation and Fractal Functions

We briefly recall some definitions and properties from fractal interpolation and fractal function theory. In the following, $(\mathbb{X},d_{\mathbb{X}})$ denotes a complete metrizable space.

4.1. Fractal Interpolation on $\mathcal{B}(\mathbb{X},\mathbb{Y})$

Consider a finite family ${\left\{l_i\right\}}_{i=1}^n$ of bijective contractions $\mathbb{X}\to \mathbb{X}$ generating a partition of $\mathbb{X}$ in the sense that

$$\begin{array}{cc}\hfill & \mathbb{X}=\bigcup _{i=1}^n{l}_i\left(\mathbb{X}\right);\hfill \end{array}$$

(11)

$$\begin{array}{cc}\hfill & l_i\left(\mathbb{X}\right)\cap l_j\left(\mathbb{X}\right)=\varnothing ,\forall i,j\in {\mathbb{N}}_n,i\ne j.\hfill \end{array}$$

(12)

Given another complete metrizable space $(\mathbb{Y},d_{\mathbb{Y}})$ with metric $d_{\mathbb{Y}}$, a mapping $g:\mathbb{X}\to \mathbb{Y}$ is called bounded (with respect to the metric $d_{\mathbb{Y}}$) if there exists $M>0$ so that for all $x_1,x_2\in \mathbb{X}$, $d_{\mathbb{Y}}(g\left(x_1\right),g\left(x_2\right))<M$.

Recall that the set $\mathcal{B}(\mathbb{X},\mathbb{Y}):=\{g:\mathbb{X}\to \mathbb{Y}:g\mathrm{is}\mathrm{bounded}\}$ when endowed with the metric

$${\displaystyle d(g,h):=\underset{x\in \mathbb{X}}{sup}{d}_{\mathbb{Y}}(g\left(x\right),h\left(x\right))}$$

(13)

becomes a complete metrizable space.

Remark 6. 

Under the usual addition and scalar multiplication of functions, the space $\mathcal{B}(\mathbb{X},\mathbb{Y})$ actually becomes a metric linear space, i.e., a vector space under which the operations of vector addition and scalar multiplication are continuous. (See, for instance, [7].)

For $i\in {\mathbb{N}}_n$, let $F_i:\mathbb{X}\times \mathbb{Y}\to \mathbb{Y}$ be a mapping which is uniformly contractive in the second variable, i.e., there exists a $c\in [0,1)$ so that for all $y_1,y_2\in \mathbb{Y}$

$$d_{\mathbb{Y}}(F_i(x,y_1),F_i(x,y_2))\le c{d}_{\mathbb{Y}}(y_1,y_2),\forall x\in \mathbb{X},\forall i\in {\mathbb{N}}_n.$$

(14)

Define an operator $T:\mathcal{B}(\mathbb{X},\mathbb{Y})\to {\mathbb{Y}}^{\mathbb{X}}$, by

$$Tg\left(x\right):=\sum _{i=1}^n{F}_i(l_i^{-1}\left(x\right),g\circ l_i^{-1}\left(x\right)){\chi }_{l_i\left(\mathbb{X}\right)}\left(x\right),$$

(15)

where ${\chi }_M$ denotes the characteristic function of a set M. Such operators are referred to as Read–Bajractarević (RB) operators. The operator T is well-defined and since g is bounded and each $F_i$ is contractive in the second variable, $Tg\in \mathcal{B}(\mathbb{X},\mathbb{Y})$.

Equivalently, Equation (15) can also be written in the form

$$(Tg\circ l_i)\left(x\right):=F_i(x,g\left(x\right)),x\in \mathbb{X},i\in {\mathbb{N}}_n.$$

(16)

Moreover, Equation (14) implies that T is contractive on $\mathcal{B}(\mathbb{X},\mathbb{Y})$:

$$\begin{array}{cc}\hfill d(Tg,Th)& =\underset{x\in \mathbb{X}}{sup}{d}_{\mathbb{Y}}(Tg\left(x\right),Th\left(x\right))\hfill \\ \hfill & =\underset{x\in \mathbb{X}}{sup}{d}_{\mathbb{Y}}(F(l_i^{-1}\left(x\right),g\left(l_i^{-1}\left(x\right)\right)),F(l_i^{-1}\left(x\right),h\left(l_i^{-1}\left(x\right)\right)))\hfill \\ \hfill & \le c\underset{x\in \mathbb{X}}{sup}{d}_{\mathbb{Y}}(g\circ l_i^{-1}\left(x\right),h\circ l_i^{-1}\left(x\right))\le c{d}_{\mathbb{Y}}(g,h).\hfill \end{array}$$

(17)

To achieve notational simplicity, we have set $F(x,y):=\sum _{i=1}^n{F}_i(x,y){\chi }_{\mathbb{X}}\left(x\right)$ in the above equation.

Therefore, by the Banach fixed point theorem, T has a unique fixed point $f^{\ast }$ in $\mathcal{B}(\mathbb{X},\mathbb{Y})$. This unique fixed point is called the bounded fractal function generated by T and it satisfies the self-referential equation

$$f^{\ast }\left(x\right)=\sum _{i=1}^n{F}_i(l_i^{-1}\left(x\right),f^{\ast }\circ l_i^{-1}\left(x\right)){\chi }_{l_i\left(\mathbb{X}\right)}\left(x\right),$$

(18)

or, equivalently,

$$f^{\ast }\circ l_i\left(x\right)=F_i(x,f^{\ast }\left(x\right)),x\in \mathbb{X},i\in {\mathbb{N}}_n.$$

(19)

Per proof of the Banach fixed point theorem, the fixed point $f^{\ast }\in \mathcal{B}(\mathbb{X},\mathbb{Y})$ is obtained as the limit of the sequence of mappings

$$T^k\left(f_0\right)\stackrel{d}{\to }{f}^{\ast },\mathrm{as}k\to \infty ,$$

(20)

where $f_0\in \mathcal{B}(\mathbb{X},\mathbb{Y})$ is arbitrary.

Next, we would like to consider a special choice for the mappings $F_i$. To this end, we require the concept of an F-space. We recall that a metric $d:\mathbb{Y}\times \mathbb{Y}\to \mathbb{R}$ is called complete if every Cauchy sequence in $\mathbb{Y}$ converges with respect to d to a point of $\mathbb{Y}$ and translation-invariant if

$$d(x+a,y+a)=d(x,y),\mathrm{for}\mathrm{all}x,y,a\in \mathbb{Y}.$$

Now assume that $\mathbb{Y}$ is an F-space, i.e., a topological vector space whose topology is induced by a complete translation-invariant metric d; in addition, this metric is homogeneous. This setting allows us to consider mappings $F_i$ of the form

$$F_i(x,y):=q_i\left(x\right)+S_i\left(x\right)y,i\in {\mathbb{N}}_n,$$

(21)

where $q_i\in \mathcal{B}(\mathbb{X},\mathbb{Y})$ and $S_i:\mathbb{X}\to \mathbb{R}$ is a function.

As the metric $d_{\mathbb{Y}}$ is homogeneous, the mappings (21) satisfy condition (14) provided that the functions $S_i$ are bounded on $\mathbb{X}$ with bounds in $[0,1)$. Then

$$\begin{array}{cc}\hfill d_{\mathbb{Y}}(q_i\left(x\right)+S_i\left(x\right)y_1,& q_i\left(x\right)+S_i\left(x\right)y_2)=d_{\mathbb{Y}}(S_i\left(x\right)y_1,S_i\left(x\right)y_2)\hfill \\ \hfill & =|S_i\left(x\right)|d_{\mathbb{Y}}(y_1,y_2)\le {\parallel S_i\parallel }_{\infty }{d}_{\mathbb{Y}}(y_1,y_2)\le s{d}_{\mathbb{Y}}(y_1,y_2).\hfill \end{array}$$

Here, ${\parallel ·\parallel }_{\infty }$ denotes the supremum norm and $s:=max\{\parallel S_i{\parallel }_{\infty }:$$i\in {\mathbb{N}}_n\}$. Henceforth, we will assume that all functions $S_i$ are bounded above by $s\in [0,1)$.

With the choice (21), the RB operator T becomes an affine operator on $\mathcal{B}(\mathbb{X},\mathbb{Y})$ of the form

$$\begin{array}{cc}\hfill Tg& =\sum _{i=1}^n(q_i\circ l_i^{-1}){\chi }_{l_i\left(\mathbb{X}\right)}+\sum _{i=1}^n(S_i\circ l_i^{-1})·(g\circ l_i^{-1}){\chi }_{l_i\left(\mathbb{X}\right)}\hfill \end{array}$$

(22)

$$\begin{array}{cc}\hfill & =T\left(0\right)+\sum _{i=1}^n(S_i\circ l_i^{-1})·(g\circ l_i^{-1}){\chi }_{l_i\left(\mathbb{X}\right)}.\hfill \end{array}$$

(23)

Next, we exhibit the relation between the graph $G\left(f^{\ast }\right)$ of the fixed point $f^{\ast }$ of the operator T given by (15) and the attractor of an associated contractive IFS.

To this end, consider the complete metric space $\mathbb{X}\times \mathbb{Y}$ and define mappings $w_i:\mathbb{X}\times \mathbb{Y}\to \mathbb{X}\times \mathbb{Y}$ by

$$w_i(x,y):=(l_i\left(x\right),F_i(x,y)),i\in {\mathbb{N}}_n.$$

(24)

Assume that the mappings $F_i$ in addition to being uniformly contractive in the second variable are also uniformly Lipschitz continuous in the first variable, i.e., that there exists a constant $L>0$ so that for all $y\in \mathbb{Y}$,

$$d_{\mathbb{Y}}(F_i(x_1,y),F_i(x_2,y))\le L{d}_{\mathbb{X}}(x_1,x_2),\forall x_1,x_2\in \mathbb{X},\forall i=1,\dots ,n.$$

Denote by $a:=max\{a_i:i\in {\mathbb{N}}_n\}$ the largest of the contractivity constants of the $l_i$ and let $\theta :={\displaystyle \frac{1-a}{2L}}$. Then the mapping $d_{\theta }:(\mathbb{X}\times \mathbb{Y})\times (\mathbb{X}\times \mathbb{Y})\to \mathbb{R}$ given by

$$d_{\theta }:=d_{\mathbb{X}}+\theta d_{\mathbb{Y}}$$

is a metric on $\mathbb{X}\times \mathbb{Y}$ compatible with the product topology on $\mathbb{X}\times \mathbb{Y}$.

The next theorem is a special case of a result presented in [8].

Theorem 4. 

The family ${\mathcal{F}}_T:=(\mathbb{X}\times \mathbb{Y},w_1,w_2,\dots ,w_n)$ is a contractive IFS in the metric $d_{\theta }$ and the graph $G\left(f^{\ast }\right)$ of the fractal function $f^{\ast }$ generated by the RB operator T given by (15) is the unique attractor of ${\mathcal{F}}_T$. Moreover,

$$G\left(Tg\right)={\mathcal{F}}_T\left(G\left(g\right)\right),\forall g\in B(\mathbb{X},\mathbb{Y}),$$

(25)

where ${\mathcal{F}}_T$ denotes the set-valued operator (8).

Equation (25) can be represented by the following commutative diagram:

$$\begin{array}{ccc}\mathbb{X}\times \mathbb{Y}& \stackrel{{\mathcal{F}}_T}{\to }& \mathbb{X}\times \mathbb{Y}\\ \phantom{G}\uparrow G& & \phantom{G}\uparrow G& & \\ \mathcal{B}(\mathbb{X},\mathbb{Y})& \stackrel{T}{\to }& \mathcal{B}(\mathbb{X},\mathbb{Y})\end{array}$$

(26)

where G is the mapping $\mathcal{B}(\mathbb{X},\mathbb{Y})\ni g\mapsto G\left(g\right)=\left\{\right(x,g\left(x\right)):x\in \mathbb{X}\}\in \mathbb{X}\times \mathbb{Y}$.

On the other hand, suppose that $\mathcal{F}=(\mathbb{X}\times \mathbb{Y},w_1,w_2,\dots ,w_n)$ is an IFS whose mappings $w_i$ are of the form (24), where the functions $l_i$ are contractive injections satisfying (11) and (12) and the mappings $F_i$ are uniformly Lipschitz continuous in the first variable and uniformly contractive in the second variable. Then we can associate with the IFS $\mathcal{F}$ an RB operator $T_{\mathcal{F}}$ of the form (15). The attractor $A_{\mathcal{F}}$ of $\mathcal{F}$ is then the graph $G\left(f\right)$ of the fixed point f of $T_{\mathcal{F}}$. (This was the original approach in [9] to define a fractal interpolation function on a compact interval in $\mathbb{R}$.) The commutativity of the diagram (26) then holds with ${\mathcal{F}}_T$ replaced by $\mathcal{F}$ and T replaced by $T_{\mathcal{F}}$.

We now specialize even further and choose an arbitrary $f\in \mathcal{B}(\mathbb{X},\mathbb{Y})$ and a bounded linear operator $L:\mathcal{B}(\mathbb{X},\mathbb{Y})\to \mathcal{B}(\mathbb{X},\mathbb{Y})$. Set (see also [10])

$$q_i:=f\circ l_i-S_i·Lf.$$

(27)

The RB operator T then reads

$$Tg=f+(S_i\circ l_i^{-1})·(g-Lf)\circ l_i^{-1},\mathrm{on}{l}_i\left(\mathbb{X}\right),i\in {\mathbb{N}}_n.$$

(28)

and, under the assumption that $s<1$, its unique fixed point $f^{\ast }\in \mathcal{B}(\mathbb{X},\mathbb{Y})$ satisfies the self-referential equation

$$f^{\ast }=f+(S_i\circ l_i^{-1})·(f^{\ast }-Lf)\circ l_i^{-1},\mathrm{on}{l}_i\left(\mathbb{X}\right),i\in {\mathbb{N}}_n.$$

(29)

In the case of univariate fractal interpolation on the real line with $\mathbb{X}:=[x_0,x_n]$, $-\infty <x_0<x_n<+\infty$, $Lf$ can be chosen to be the affine function $\beta$ whose graph connects the points $(x_0,f\left(x_0\right))$ and $(x_n,f\left(x_n\right))$.

4.2. Fractal Interpolation on $\mathcal{C}(\mathbb{X},\mathbb{Y})$

Here, we briefly consider fractal interpolation in the complete metric space of continuous functions $\left(\mathcal{C}\right(\mathbb{X},\mathbb{R}),d)$ instead of $\left(\mathcal{B}\right(\mathbb{X},\mathbb{R}),d)$. For this purpose, the following changes in the construction ensure that the RB operator (28) maps $\left(\mathcal{C}\right(\mathbb{X},\mathbb{R})$ into itself:

To this end, let $x_0<x_1<\cdots <x_{n-1}<x_n$ be an increasing sequence of points in $[x_0,x_n]$ and define contractive homeomorphisms $l_i:[x_0,x_n]\to [x_{i-1},x_i]$ such that $x_{i-1}=l_i\left(x_0\right)$ and $x_i=l_i\left(x_n\right)$. Further assume that f, $Lf$, and $S_i$ are continuous on $[x_0,x_n]$, such that

$$Lf\left(x_0\right):=f\left(x_0\right)\mathrm{and}Lf\left(x_n\right):=f\left(x_n\right),$$

and impose the (interior) join-up conditions

$$Tf(x_j-)=Tf(x_j+),j\in {\mathbb{N}}_{n-1}.$$

(30)

Then, the fixed point $f^{\ast }$ of the RB operator defined in Equation (28) will be a continuous function whose graph interpolates the set $\{(x_j,f\left(x_j\right)):j=0,1,\dots ,n\}$. Such functions are usually referred to as fractal interpolation functions [6,9]. As the RB operator is the same at each level of recursion (20), we refer to this as stationary fractal interpolation. For the non-stationary setting, i.e., the case where the RB operator is level-dependent, we refer the interested reader to [11].

For fractal interpolation in more general function spaces, we list [12], and for the particular choice of q in (27), we list [10] as references.

5. Fractal Interpolation in Complete Semi-Vector Spaces

In this section, we consider fractal interpolation in the semi-spaces $C^{+}$ and $L_p^{+}$, $p\in [1,\infty ]$. To this end, let $I:=[x_0,x_n]\subset {\mathbb{R}}_0^{+}$ be a given nonempty interval and let $L:C^{+}I\to C^{+}I$ a bounded semi-linear operator in the sense of Definition 6.

Suppose that ${\left(x_j\right)}_{j\in {\mathbb{N}}_{0,n}}$ is a strictly increasing sequence of real numbers. Further suppose that for each $i\in {\mathbb{N}}_n$, $l_i$ is a contractive diffeomorphism $[x_0,x_n]\to [x_{i-1},x_i]$ with

$$l_i\left(x_0\right)=x_{i-1}\mathrm{and}{l}_i\left(x_n\right)=x_i.$$

(31)

Setting

$$I_i:=\left\{\begin{array}{cc}[x_{i-1},x_i),\hfill & i\in {\mathbb{N}}_{n-1}\hfill \\ n_{-1},x_n],\hfill & i=n\hfill \end{array}\right.,$$

(32)

we have that $I={\displaystyle \coprod _{i=1}^n}{I}_i$ with ∐ denoting disjoint union. For later, we also assume that

$$D{l}_i\in L_{\infty }^{+}I,i\in {\mathbb{N}}_n,$$

(33)

where D denotes the derivative with respect to the independent variable.

5.1. Fractal Interpolation in $L_p^{+}I$

Let $\{l_i:i\in {\mathbb{N}}_n\}$ be given as in (31). Define a semi-affine RB operator $T:L_p^{+}I\to L_p^{+}I$ of the form (22)

$$Tg:=\sum _{i=1}^n(q_i\circ l_i^{-1}){\chi }_{l_i}+\sum _{i=1}^n(S_i\circ l_i^{-1})·(g\circ l_i^{-1}){\chi }_{l_i},$$

(34)

where $q_i\in L_p^{+}I$ and $S_i\in L_{\infty }^{+}I$. The requirement on $S_i$ is based on the fact that $L_{\infty }·L_p\subset L_p$. Hence, $Tg\in L_p^{+}I$.

To derive conditions for T to be contractive, consider $g,h\in L_p^{+}$.

$$\begin{array}{cc}\hfill d_p^p(Tg,Th)& ={\int }_I{\left(max\left\{Tg\right(x),Th(x\left)\right\}-min\left\{Tg\right(x),Th(x\left)\right\}\right)}^{p}dx\hfill \\ \hfill & =\sum _{i=1}^n{\int }_{I_i}\left(max\{(q_i\circ l_i^{-1})\left(x\right)+(S_i\circ l_i^{-1})\left(x\right)·(g\circ l_i^{-1})\left(x\right),\right.\hfill \\ \hfill & (q_i\circ l_i^{-1})\left(x\right)+(S_i\circ l_i^{-1})\left(x\right)·(h\circ l_i^{-1})\left(x\right)\}-\hfill \\ \hfill & -min\{(q_i\circ l_i^{-1})\left(x\right)+(S_i\circ l_i^{-1})\left(x\right)·(g\circ l_i^{-1})\left(x\right),\hfill \\ \hfill & {\left.(q_i\circ l_i^{-1})\left(x\right)+(S_i\circ l_i^{-1})\left(x\right)·(h\circ l_i^{-1})\left(x\right)\left\}\right\}\right)}^{p}dx\hfill \\ \hfill & =\sum _{i=1}^n{\int }_{I_i}\left(max\{(S_i\circ l_i^{-1})\left(x\right)·(g\circ l_i^{-1})\left(x\right),\right.\hfill \\ \hfill & (S_i\circ l_i^{-1})\left(x\right)·(h\circ l_i^{-1})\left(x\right)\}-\hfill \\ \hfill & -min\{(S_i\circ l_i^{-1})\left(x\right)·(g\circ l_i^{-1})\left(x\right),\hfill \\ \hfill & {\left.(S_i\circ l_i^{-1})\left(x\right)·(h\circ l_i^{-1})\left(x\right)\left\}\right\}\right)}^{p}dx\hfill \\ \hfill & \le \sum _{i=1}^n{\parallel D{l}_i·S_i^p\parallel }_{\infty }{d}_p^p(g,h),\hfill \end{array}$$

where we used the substitution $x\mapsto l_i\left(x\right)$ to obtain the last inequality. Note that by the assumptions on $D{l}_i$ and $S_i$ and the fact that $L_{\infty }$ uses Banach algebra under pointwise multiplication, ${\parallel D{l}_i·S_i^p\parallel }_{\infty }$ is finite.

Thus, T is a contractive semi-affine operator on $L_p^{+}I$ if ${\displaystyle \sum _{i=1}^n}{\parallel D{l}_i·S_i^p\parallel }_{\infty }<1$.

Theorem 5. 

Let contractive homeomorphism ${\left(l_i\right)}_{i\in {\mathbb{N}}_n}$ be defined as in (31) and satisfying (33). Suppose ${\left(q_i\right)}_{i\in {\mathbb{N}}_n}\subset L_p^{+}I$ and ${\left(S_i\right)}_{i\in {\mathbb{N}}_n}\subset L_{\infty }^{+}I$. The semi-affine RB operator given by (34) is contractive on $L_p^{+}I$ provided that

$$\sum _{i=1}^n{\parallel D{l}_i·S_i^p\parallel }_{\infty }<1.$$

(35)

The unique fixed point $f^{\ast }$ of T satisfies the self-referential equation

$$f^{\ast }=\sum _{i=1}^n(q_i\circ l_i^{-1}){\chi }_{l_i}+\sum _{i=1}^n(S_i\circ l_i^{-1})·(f^{\ast }\circ l_i^{-1}){\chi }_{l_i}$$

and $\mathit{graph}{f}^{\ast }$ is the attractor of the IFS associated with T and thus is, in general, a fractal set.

Proof. 

The statements follow from the above arguments and Theorem 4. □

Note that the fixed point $f^{\ast }$ depends on the the partition ${\left(I_i\right)}_{i\in {\mathbb{N}}_n}$, i.e., the mappings $\mathit{l}:={\left(l_i\right)}_{i\in {\mathbb{N}}_n}$, the scaling functions $\mathit{S}:={\left(S_i\right)}_{i\in {\mathbb{N}}_n}$, and the functions $\mathit{q}:={\left(q_i\right)}_{i\in {\mathbb{N}}_n}$. Therefore, a more accurate notation for $f^{\ast }$ should be $f^{\ast }(\mathit{l},\mathit{S},\mathit{q})$. Unless necessary, we suppress the dependence of the fixed point on $\mathit{l}$, $\mathit{S}$, and $\mathit{q}$. Should $f^{\ast }$ only depend on $•\in \{\mathit{l},\mathit{S},\mathit{q}\}$, then we express this dependence as $f^{\ast }(•)$.

Definition 14. 

The unique fixed point $f^{\ast }(\mathit{l},\mathit{S},\mathit{q})$ in Theorem 5 is called a fractal function of class $L_p^{+}$. We denote the collection of all such fractal functions by ${\mathfrak{L}}_p^{+}:={\mathfrak{L}}_p^{+}(\mathit{l},\mathit{S},\mathit{q})$.

Remark 7. 

If one considers a semi-affine RB operator of the form (28) with some bounded semi-linear operator L, then additional conditions need to be imposed to guarantee that such an RB operator maps $L_p^{+}I$ into itself:

1. 

For $f\in L_p^{+}I$, L must be such that $Lf\in L_p^{+}I$. This may be achieved by choosing, for instance, $Lf:=v·f$ for some $v\in L_{\infty }^{+}I$.

2. 

The terms $q_i=f\circ l_i-S_i·Lf$ must be nonnegative. A necessary condition could be $f\ge {\parallel S_i·Lf\parallel }_{\infty }$ on I.

Once these two conditions are satisfied, the statements in Theorem 5 also hold for this setting.

In the special case when ${\left(l_i\right)}_{i\in {\mathbb{N}}_n}$ are affine functions, i.e., have the form $l_i=a_i(·)+b_i$, where the coefficients $a_i$ and the translates $b_i$ are determined by (31), condition (35) is replaced by

$$\underset{i\in {\mathbb{N}}_n}{max}\left\{{\parallel S_i^p\parallel }_{\infty }\right\}<1.$$

(36)

This is seen as follows: Tthe Lipschitz constant for $D{l}_i$ is given by $a_i={\displaystyle \frac{x_i-x_{i-1}}{x_n-x_0}}$ and therefore ${\displaystyle \sum _{i=1}^n}{\parallel D{l}_i·S_i^p\parallel }_{\infty }\le \underset{i\in {\mathbb{N}}_n}{max}\left\{{\parallel S_i^p\parallel }_{\infty }\right\}{\displaystyle \sum _{i=1}^n}{\displaystyle \frac{x_i-x_{i-1}}{x_n-x_0}}=\underset{i\in {\mathbb{N}}_n}{max}\left\{{\parallel S_i^p\parallel }_{\infty }\right\}$.

If, in addition, ${\left(S_i\right)}_{i\in {\mathbb{N}}_n}\subset {\mathbb{R}}_0^{+}$, then (36) simply reduces to

$$\underset{i\in {\mathbb{N}}_n}{max}{S}_i^p<1.$$

Suppose that $\mathit{l}$ and $\mathit{S}$ are fixed. Then, the following result holds:

Proposition 4.  

The mapping $\vartheta :{\left(L_p^{+}\right)}^n\to {\mathfrak{L}}_p^{+}\left(\mathit{q}\right)$, $\mathit{q}\mapsto f^{\ast }\left(\mathit{q}\right)$ is a semi-linear isomorphism.

Proof. 

The result follows from the fact that $L_p^{+}I$ is a semi-vector space and that the fixed point $f^{\ast }$ is unique. □

Sequences and Series of Fractal Functions of Type $L_p^{+}$

Let ${\left(f_m\right)}_{m\in \mathbb{N}}\subset {\mathfrak{L}}_p^{+}$ be an $L_{\infty }^{+}$–bounded sequence of fractal functions with the self-referential equations

$$f_m=\sum _{i\in {\mathbb{N}}_n}{q}_{m,i}\circ l_i^{-1}{\chi }_{I_i}+\sum _{i\in {\mathbb{N}}_n}(S_{m,i}\circ l_i^{-1})·(f_m\circ l_i^{-1}){\chi }_{I_i},m\in \mathbb{N},$$

(37)

where ${\left(S_{m,i}\right)}_{m\in \mathbb{N}}\subset L_{\infty }^{+}I$ and ${\left(q_{m,i}\right)}_{m\in \mathbb{N}}\subset L_p^{+}I$ are Cauchy sequences.

Theorem 6. 

The bounded sequence (37) of fractal functions converges in $L_p^{+}$ to a fractal function $f\in {\mathfrak{L}}_p^{+}$ given by the self-referential equation

$$f=\sum _{i\in {\mathbb{N}}_n}{q}_i\circ l_i^{-1}{\chi }_{I_i}+\sum _{i\in {\mathbb{N}}_n}(S_i\circ l_i^{-1})·(f\circ l_i^{-1}){\chi }_{I_i},$$

(38)

where $q_i=\underset{m\to \infty }{lim}{q}_{m,i}$ and $S_i=\underset{m\to \infty }{lim}{S}_{m,i}$.

Proof. 

For $k,m\in \mathbb{N}$, we compute, using properties of max and min,

$$\begin{array}{cc}\hfill d_p(f_m,f_k)& \le d_p\left(\sum _{i\in {\mathbb{N}}_n}{q}_{m,i}\circ l_i^{-1}{\chi }_{I_i},\sum _{i\in {\mathbb{N}}_n}{q}_{k,i}\circ l_i^{-1}{\chi }_{I_i}\right)\hfill \\ \hfill & +d_p\left(\sum _{i\in {\mathbb{N}}_n}(S_{m,i}\circ l_i^{-1})·(f_m\circ l_i^{-1}){\chi }_{I_i},\sum _{i\in {\mathbb{N}}_n}(S_{k,i}\circ l_i^{-1})·(f_k\circ l_i^{-1}){\chi }_{I_i}\right).\hfill \end{array}$$

The first term reduces to

$$\begin{array}{cc}\hfill & \sum _{i\in {\mathbb{N}}_n}{\int }_{I_i}{\left(max\left\{q_{m,i}\circ l_i^{-1},q_{k,i}\circ l_i^{-1}\right\}-min\left\{q_{m,i}\circ l_i^{-1},q_{k,i}\circ l_i^{-1}\right\}\right)}^{p}dx\hfill \\ \hfill & =\sum _{i\in {\mathbb{N}}_n}{\parallel D{l}_i\parallel }_{\infty }{d}_p(q_{m,i},q_{k,i}).\hfill \end{array}$$

The second term becomes

$$\begin{array}{cc}\hfill & \sum _{i\in {\mathbb{N}}_n}{\int }_{I_i}\left(max\left\{(S_{m,i}\circ l_i^{-1})·(f_m\circ l_i^{-1}),(S_{k,i}\circ l_i^{-1})·(f_k\circ l_i^{-1})\right\}\right.\hfill \\ \hfill & {\left.-min\left\{(S_{m,i}\circ l_i^{-1})·(f_m\circ l_i^{-1}),(S_{k,i}\circ l_i^{-1})·(f_k\circ l_i^{-1})\right\}\right)}^{p}dx\hfill \\ \hfill & =\sum _{i\in {\mathbb{N}}_n}{\int }_I\left|D{l}_i\right|{\left(max\left\{S_{m,i}·f_m,S_{k,i}·f_k\right\}-min\left\{S_{m,i}·f_m,S_{k,i}·f_k\right\}\right)}^{p}dx.\hfill \end{array}$$

Adding and subtracting the term $S_{m,i}{f}_k$, we estimate

$$\begin{array}{cc}\hfill & {\int }_I\left|D{l}_i\right|{\left(max\left\{S_{m,i}·f_m,S_{k,i}·f_k\right\}-min\left\{S_{m,i}·f_m,S_{k,i}·f_k\right\}\right)}^{p}dx\hfill \\ \hfill & \le {\parallel D{l}_i·S_{m,i}^p\parallel }_{\infty }{d}_p(f_m,f_k)+{\parallel D{l}_i·f_k^p\parallel }_{\infty }{d}_p(S_{m,i},S_{k,i}).\hfill \end{array}$$

Substituting and reordering terms gives

$$d_p(f_m,f_k)={\displaystyle \frac{{\displaystyle \sum _{i\in {\mathbb{N}}_n}}\left[{\parallel D{l}_i\parallel }_{\infty }{d}_p(q_{m,i},q_{k,i}+{\parallel D{l}_i·f_k^p\parallel }_{\infty }{d}_p(S_{m,i},S_{k,i})\right]}{1-\sum _{i\in {\mathbb{N}}_n}{\parallel D{l}_i·S_i^p\parallel }_{\infty }}}$$

By the hypotheses stated in the theorem, it now follows that ${\left(f_m\right)}_{m\in \mathbb{N}}$ is a Cauchy sequence and thus possesses a limit in $L_p^{+}I$. Taking the limit as $m\to \infty$ in (37) proves (38). □

Now suppose that for each $i\in {\mathbb{N}}_n$,

$$q_i:=\sum _{k\in \mathbb{N}}{q}_{k,i}\mathrm{and}{S}_i:=\sum _{k\in \mathbb{N}}{S}_{k,i}$$

are converging sums in $L_p^{+}I$ and $L_{\infty }^{+}I$, respectively, i.e., the sequences of partial sums ${({\displaystyle \sum _{k\in {\mathbb{N}}_N}}{q}_{k,i})}_{N\in \mathbb{N}}$ and ${({\displaystyle \sum _{k\in {\mathbb{N}}_N}}{S}_{k,i})}_{N\in \mathbb{N}}$ converges in $L_p^{+}I$ and $L_{\infty }^{+}I$, respectively.

By Proposition 4 and Theorem 6, we immediately obtain the following results concerning infinite series of fractal functions from ${\mathfrak{L}}_p^{+}$:

Proposition 5. 

Under the hypotheses of Theorem 6, the infinite series ${\displaystyle \sum _{m\in \mathbb{N}}}{f}_m\left(\mathit{q}\right)$ of fractal functions $f_m\left(\mathit{q}\right)\in {\mathfrak{L}}_p^{+}$ converges in $L_p^{+}I$ to a fractal function $f\left(\mathit{q}\right)\in {\mathfrak{L}}_p^{+}$ satisfying the self-referential equation

$$f\left(\mathit{q}\right)=\sum _{i\in {\mathbb{N}}_n}{q}_i\circ l_i^{-1}{\chi }_{I_i}+\sum _{i\in {\mathbb{N}}_n}(S_i\circ l_i^{-1})·(f\left(\mathit{q}\right)\circ l_i^{-1}){\chi }_{I_i},$$

where $q_i:={\displaystyle \sum _{k\in \mathbb{N}}}{q}_{k,i}$ and $S_i:={\displaystyle \sum _{k\in \mathbb{N}}}{S}_{k,i}$.

5.2. Fractal Interpolation in $C^{+}I$

In this section, we construct continuous fractal functions from $C^{+}I$ into itself. To this end, we refer to Section 4.2 for the general idea. Under the same assumption on the contractive homeomorphisms $l_i$ but now with $f,Lf,S_i\in C^{+}I$, we define a semi-affine RB operator $T:C^{+}I\to {\left({\mathbb{R}}_0^{+}\right)}^I$ by

$$Tg:=f+(S_i\circ l_i^{-1})·(g-Lf)\circ l_i^{-1},\mathrm{on}{I}_i,i\in {\mathbb{N}}_n,$$

(39)

where the subintervals $I_i$ are defined as in (32). It is clear that on the open intervals $(x_{i-1},x_i)$, $Tg$ is continuous and by imposing the interior join-up conditions (30), $Tg$ is also continuous at $x_j$, $j\in {\mathbb{N}}_{n-1}$. Hence, $Tg\in C^{+}I$. To determine a condition that enforces T to be contractive on $C^{+}I$, we proceed in the usual manner using the specific expression of the RB operator T and the properties of max and min:

$$\begin{array}{cc}\hfill d(Tg,Th)& =\underset{x\in I}{max}\left\{max\left\{(S_i\circ l_i^{-1}\left(x\right))(g\circ l_i^{-1})\left(x\right),(S_i\circ l_i^{-1}\left(x\right))(h\circ l_i^{-1})\left(x\right)\right\}\right.\hfill \\ \hfill & -\left.min\left\{(S_i\circ l_i^{-1}\left(x\right))(g\circ l_i^{-1})\left(x\right),(S_i\circ l_i^{-1}\left(x\right))(h\circ l_i^{-1})\left(x\right)\right\}\right\}\hfill \\ \hfill & \le S_{\infty }d(g,h),\hfill \end{array}$$

where $S_{\infty }:=\underset{i\in {\mathbb{N}}_n}{max}\left\{{\parallel S_i\parallel }_{\infty }\right\}$. Therefore, the following theorem holds:

Theorem 7.  

Under the aforementioned hypotheses, the semi-affine RB operator $T:C^{+}I\to C^{+}I$ defined is contractive on $C^{+}I$ provided $S_{\infty }<1$. The unique fixed point of T is thus a self-referential function $f^{\ast }$ satisfying

$$f^{\ast }:=f+(S_i\circ l_i^{-1})·(f^{\ast }-Lf)\circ l_i^{-1},\mathrm{on}{I}_i,i\in {\mathbb{N}}_n.$$

(40)

Proof. 

The statements follow directly from the above observations. □

Definition 15.  

The self-referential function $f^{\ast }$ given by (40) is termed a fractal function of class $C^{+}I$. The collection of all such functions is denoted by ${\mathfrak{C}}^{+}$.

Remark 8.  

As was noted below Theorem 5, the fixed point $f^{\ast }\in {\mathfrak{C}}^{+}$ depends on the tuple of contractive homeomorphisms $\mathit{l}$ and scaling functions $\mathit{S}$, as well as the bounded semi-linear operator L. Hence, as was the case for fractal interpolation in $L_p^{+}I$, for fixed $\mathit{l}$ and L, the fixed point $f^{\ast }$ describes an entire family of fractal functions $f^{\ast }\left(\mathit{S}\right)$ for the “germ function" f. Also note that if $\mathit{S}=\mathbf{0}$, then $f^{\ast }\left(\mathbf{0}\right)=f$.

One can also consider sequences and infinite series of fractal functions of type $C^{+}I$. The results obtained in Theorem 6 and Proposition 5 carry over to the present setting by simply replacing the $d_p$-metric by the sup-metric. We leave the details to the interested reader.

5.3. A Fractal Operator for Complete Semi-Vector Spaces

Let $X^{+}I\in \{L_p^{+}I,C^{+}I\}$ and let ${\mathfrak{X}}^{+}\in \{{\mathfrak{L}}_p^{+},{\mathfrak{C}}^{+}\}$ be the corresponding space of fractal functions of this type.

We define a semi-linear fractal operator ${\mathcal{F}}^{\mathit{S}}:X^{+}I\to {\mathfrak{X}}^{+}$ for the n-tuple of scaling functions $\mathit{S}:={\left(S_i\right)}_{i\in {\mathbb{N}}_n}$ as that operator which maps a function $f\in X^{+}I$ to the self-referential function $f\left(\mathit{S}\right)$ satisfying the fixed point equation

$${\mathcal{F}}^{\mathit{S}}f\left(\mathit{S}\right)=f\left(\mathit{S}\right)=f+(S_i\circ l_i^{-1})·(f\left(\mathit{S}\right)-Lf)\circ l_i^{-1},\mathrm{on}{I}_i,i\in {\mathbb{N}}_n.$$

(41)

Here, the contractions $\left(l_i\right)$ are defined for the appropriate setting and L is the bounded semi-linear operator introduced above.

Fractal operators on different function spaces were first introduced in [10].

Theorem 8.  

For $p\in [1,\infty )$, $(C^{+}I,d_p)$ is dense in $(L_p^{+}I,d_p)$.

Proof. 

The proof follows readily from Theorem 3.14 in [13] restricted to positive simple functions, i.e., to simple functions whose coefficients are from ${\mathbb{R}}_0^{+}$. For details about the integration of positive functions, see [14], Chapter 9. □

Let $\left|\left|\left|·\right|\right|\right|\in \{\parallel ·\parallel ,{\parallel ·\parallel }_p\}$. We note that as $C^{+}I$ is dense in $L_p^{+}I$, Theorems 2.7–11 in [15] imply that there exists a norm-preserving extension of the operator $L:C^{+}I\to C^{+}I$ to $L_p^{+}I\to L_p^{+}I$. We denote this extension again by L. Recall that in the new notation, $S_{\infty }:=\underset{i\in {\mathbb{N}}_n}{max}\left\{\left|\left|\left|S_i\right|\right|\right|\right\}$.

Then, using the fixed point Equation (41), we see that

$$\left|\left|\left|f\left(\mathit{S}\right)-f\right|\right|\right|\le {\displaystyle \frac{S_{\infty }}{1-S_{\infty }}}\left|\left|\left|I-L\right|\right|\right|\left|\left|\left|f\right|\right|\right|,$$

and with $f\left(\mathit{S}\right)={\mathcal{F}}^{\mathit{S}}f$ and use of the triangle inequaltiy, this becomes

$$\left|\left|\left|{\mathcal{F}}^{\mathit{S}}f\right|\right|\right|\le \left(1+{\displaystyle \frac{S_{\infty }}{1-S_{\infty }}}\left|\left|\left|I-L\right|\right|\right|\right)\left|\left|\left|f\right|\right|\right|.$$

Therefore, we arrive at the following result:

Proposition 6.  

Suppose that the constant function 1 is contained in the point spectrum of the semi-linear fractal operator ${\mathcal{F}}^{\mathit{S}}:X^{+}\to {\mathfrak{X}}^{+}$ as defined in (41). Then ${\mathcal{F}}^{\mathit{S}}$ satisfies the following $\left|\left|\left|·\right|\right|\right|$-estimates:

$$1\le \left|\left|\left|{\mathcal{F}}^{\mathit{S}}\right|\right|\right|\le \left(1+{\displaystyle \frac{S_{\infty }}{1-S_{\infty }}}\left|\left|\left|I-L\right|\right|\right|\right)$$

(42)

Proof. 

Only the left inequality needs to be shown. This, however, follows immediately from the fact that the constant function 1 is contained in the point spectrum of ${\mathcal{F}}^{\mathit{S}}$. □

Note that in Proposition 6, the right-hand estimate always holds, regardless of whether $f=1$ is contained in the point spectrum of ${\mathcal{F}}^{\mathit{S}}$ or not.

6. Conclusions and Future Research Directions

This paper introduced the novel concept of fractal interpolation in complete semi-vector spaces. In particular, the existence of fractal functions satisfying the fractal interpolation problem in the complete semi-vector spaces $C^{+}I$ and $L_p^{+}I$ was investigated. Sequences and series of such fractal functions were briefly considered as well. Moreover, a semi-linear fractal operator was defined and some of the properties were presented.

The following future research directions present themselves:

• Instead of using Banach contractions, extend the approach to, for instance, Rakotch, Matkowsi, $\phi$-, or $\mathsf{F}$-contractions. For definitions of these more general contractions which all imply the existence of a unique fixed point, we refer to [16,17,18,19,20].
• Consider other function spaces such as Hölder, Sobolev–Slobodeckij, Besov, and Triebel–Lizorkin, to name a few.