Preprint
Article

An Investigation on Fractal Characteristics of the Superposition of Fractal Surfaces

This version is not peer-reviewed.

Submitted:

04 October 2023

Posted:

12 October 2023

You are already at the latest version

A peer-reviewed article of this preprint also exists.

Abstract
In this paper, we make research on fractal characteristics of the superposition of fractal surfaces in the view of fractal dimension. We give the upper bound of the lower and upper Box dimension of the graph of the sum of two bivariate continuous functions and calculate the exact values of them under some particular conditions. Further, it has been proved that the superposition of two continuous surfaces cannot keep the fractal dimensions invariable unless both of them are two-dimensional. A concrete example of numerical experiment has been provided to verify our theoretical results. This study can be applied to the fractal analysis of metal fracture surfaces or computer image surfaces.
Keywords: 
;  ;  ;  

1. Introduction

Fractal surface, as a class of fractal sets in the three-dimensional Euclidean space, is an important research object in fractal geometry [1]. At present, fractal surface has been extensively applied in a variety of academic fields such as metal materials [2], geology [3], computer graphics [4] and so on. One of the most concerned problems is to investigate how to measure the geometric complexity of a fractal surface, like the texture roughness of a metal fracture surface or a computer image surface. Fractal dimension [5] is a common measure of the geometric complexity of a surface, which can be used to describe its fractal characteristics well. It is well known that the topological dimension of a surface is two. Nevertheless, its fractal dimension increases with larger amounts of complexity or roughness, which is usually greater than its topological dimension. For instance, the fractal dimension of the relief on the earth has been found to be 2.3 in general [6]. Beyond that, many scholars have used iterative function systems ( IFS ) to construct fractal surfaces that are attractors of certain IFS in fact. More details about fractal surfaces and relevant studies of their fractal dimensions can be found in [7,8,9,10].
In recent years, exploring the fractal dimension of the graph of fractal curves has drawn the attention of numerous researchers. There are some commonly used definitions of the fractal dimension, such as the Box dimension, the Packing dimension, the Hausdorff dimension and the Assouad dimension, which are denoted as dim B , dim P , dim H and dim A throughout this paper, respectively. Of the diverse fractal dimensions, the Box dimension mainly considered in the present paper shows its advantage of relatively easy calculation. Up to now, a lot of meaningful work have been done, including fractal interpolation functions [11,12,13,14], α -Hölder continuous functions [15,16], self-similar curves like the Von Koch curve [17,18], and some specific fractal functions like the Weierstrass function [19,20,21,22,23] and the Besicovitch function [24,25,26]. For more details of latest work, we refer the interested readers to [27,28,29,30,31,32].
Another essential issue involved recently is to estimate the fractal dimension of the superposition of two fractal curves, namely, the sum of two continuous functions of one variable. This problem can be traced back to the research made first by Falconer [33] who showed that the Box dimension of the sum of two continuous functions equals to the greater of the Box dimensions of them. On this basic, a group of academic workers have pushed this study forward and obtained a series of preliminary conclusions, whose related progress can be found in [34,35,36,37,38,39]. So in this paper, we shall focus on the fractal dimension of the superposition of two fractal surfaces and investigate whether it has the same result with that of fractal curves. Based on three-dimensional Cartesian coordinate system, a fractal surface can be looked upon as a bivariate continuous function, whose fractal dimension and fractional calculus has been established in [40]. This work will contribute to enriching the theory with regards to the fractal dimension of fractal surfaces and can be applied to the research on fractal characteristics analysis of the superposition of two metal fracture surfaces or two computer image surfaces.
The outline of the remainder of this paper is organized as follows: In upcoming Section 2, we cover required notations, concepts and results on fractal dimensions of the graph of bivariate continuous functions for subsequent sections. Then in Section 3, we present our main results obtained in this paper. Firstly, we give the upper bound of the lower and upper Box dimension of the graph of the sum of two bivariate continuous functions. Secondly, we calculate the exact value of the lower and upper Box dimension of the graph of the sum of two bivariate continuous functions under certain particular circumstances. Thirdly, we explore some concrete situations when the two bivariate continuous functions have the Box dimension or not and also consider the case when one of these two functions is Lipschitz. Later in Section 4, we provide a specific example and do numerical experiments to verify the theoretical results in Section 3. Finally in Section 5, we sum up our conclusions and discuss the further research in the future.

2. Preliminaries

In the present paper, all the subjects we discuss are entirely real. Given a non-empty subset D R 2 and a bivariate function f : D R , the oscillation of f over the rectangular region R is written as
OSC ( f , R ) = sup ( x , y ) , ( u , v ) R D | f ( x , y ) f ( u , v ) |
and the graph of f ( x ) on D is defined as
G f = ( ( x , y ) , f ( x , y ) ) : ( x , y ) D D × R .
We denote ϑ as the function which is always equal to 0 on D . Let · 2 be the usual Euclidean norm in R n . For any τ 1 , τ 2 , , τ n Z and δ > 0 , we call i = 1 n [ τ i δ , ( τ i + 1 ) δ ] a δ -coordinate cube in R n .
Below we shall briefly introduce the definition of the Box dimension. For more details about other kinds of fractal dimensions, we consult the interested readers to [1,5,33,37,41], for example.
Definition 1
([33]). Let X be a bounded subset of R n and let N δ ( X ) be the smallest number of δ-coordinate cubes that intersect X. Then the lower and upper Box dimension of X are defined as, respectively,
dim ̲ B ( X ) = lim ̲ δ 0 log N δ ( X ) log δ
and
dim ¯ B ( X ) = lim ¯ δ 0 log N δ ( X ) log δ .
If the above two are equal, we define the Box dimension of X as the common value, that is,
dim B ( X ) = lim δ 0 log N δ ( X ) log δ .
Remark 1.
The notation N δ ( X ) in Definition 1 can also be replaced by one of the following:
(1)
The smallest number of sets of diameter at most δ that cover X;
(2)
The smallest number of cubes of side δ that cover X;
(3)
The largest number of disjoint balls of radius δ with centres in X;
(4)
The smallest number of closed balls of radius δ that cover X.
Now we provide some fundamental results, which will be used in subsequent research. The forthcoming two lemmas can be essential approaches to estimating the Box dimension of the graph of a bivariate continuous function.
Lemma 1
([33]). Let f : X R m R n .
(1)
If f is a Lipschitz map, that is,
f ( x ) f ( y ) 2 C x y 2
for x , y X and certain 0 < C < + . Then
dim f ( X ) dim ( X ) .
(2)
If f is a bi-Lipschitz map, that is,
C 1 x y 2 f ( x ) f ( y ) 2 C 2 x y 2
for x , y X and certain 0 < C 1 C 2 < + . Then
dim f ( X ) = dim ( X ) .
Here dim denotes any one of dim B , dim ̲ B and dim ¯ B .
Lemma 2
([33]). Let f : [ a , b ] × [ c , d ] R be continuous and 0 < δ < min b a , d c , 1 . Suppose that m and n, respectively, are the least integer greater than or equal to b a δ and d c δ . Then the range of N δ ( G f ) can be estimated as
j = 0 n 1 i = 0 m 1 max 1 , OSC ( f , R i , j ) · δ 1 N δ ( G f ) j = 0 n 1 i = 0 m 1 2 + OSC ( f , R i , j ) · δ 1
where R i , j = [ a + i δ , a + ( i + 1 ) δ ] × [ c + j δ , c + ( j + 1 ) δ ] .
Proof. 
Since f ( x ) is continuous on [ a , b ] × [ c , d ] , the estimation of N δ ( G f ) can be transformed into the oscillation of f ( x ) on the above subregions. We note that the number of cubes of side length δ in the part above the rectangular region R i , j that intersect G f is no less than
max 1 , OSC ( f , R i , j ) · δ 1
and no more than
2 + OSC ( f , R i , j ) · δ 1 .
Summing over all the subregions just leads to the present lemma. □
The next proposition reveals several basic properties relating to the fractal dimensions of the graph of a bivariate continuous function.
Proposition 1.
Let f : [ a , b ] × [ c , d ] R be continuous. Given a constant r R , the following three statements hold.
(1)
It holds
2 dim ̲ B ( G f ) dim ¯ B ( G f ) 3 .
(2)
For a constant bivariate function f ( x , y ) r on [ a , b ] × [ c , d ] , we have
dim ̲ B ( G f ) = dim ¯ B ( G f ) = dim B ( G f ) = 2 .
(3)
If r 0 , then
dim ̲ B ( G r · f ) = dim ̲ B ( G f ) and dim ¯ B ( G r · f ) = dim ¯ B ( G f ) .
Proof. 
The following arguments for (1)–(3) are all based on Definition 1, Lemma 1 and 2.
(1)
Assume that max ( x , y ) [ a , b ] × [ c , d ] f ( x , y ) = M > 0 . On one hand, it follows from Lemma 2 that
N δ ( G f ) j = 0 n 1 i = 0 m 1 2 + OSC ( f , R i , j ) · δ 1 m n 2 + 2 M δ 1 2 ( b a ) δ 1 + 1 ( d c ) δ 1 + 1 1 + M δ 1 2 ( b a + 1 ) ( d c + 1 ) ( M + 1 ) δ 3 .
Thus by Definition 1,
dim ¯ B ( G f ) = lim ¯ δ 0 log N δ ( G f ) log δ lim ¯ δ 0 log 2 ( b a + 1 ) ( d c + 1 ) ( M + 1 ) δ 3 log δ = lim ¯ δ 0 log δ 3 log δ + lim ¯ δ 0 log 2 ( b a + 1 ) ( d c + 1 ) ( M + 1 ) log δ = 3 .
On the other hand, it is observed that
N δ ( G f ) j = 0 n 1 i = 0 m 1 1 = m n = ( b a ) δ 1 + 1 ( d c ) δ 1 + 1 ( b a ) ( d c ) δ 2 .
So by Definition 1, we can get
dim ̲ B ( G f ) = lim ̲ δ 0 log N δ ( G f ) log δ lim ̲ δ 0 log ( b a ) ( d c ) δ 2 log δ = lim ̲ δ 0 log δ 2 log δ + lim ̲ δ 0 log ( b a ) ( d c ) log δ = 2 .
Obviously, we can assert from Definition 1 that dim ̲ B ( G f ) dim ¯ B ( G f ) , which leads to the conclusion of (1).
(2)
Note that OSC ( f , R i , j ) = 0 when f ( x , y ) r on [ a , b ] × [ c , d ] . Consequently,
N δ ( G f ) 2 m n + j = 0 n 1 i = 0 m 1 OSC ( f , R i , j ) · δ 1 2 ( b a ) δ 1 + 1 ( d c ) δ 1 + 1 2 ( b a + 1 ) ( d c + 1 ) δ 2 .
At this time, we obtain
dim ¯ B ( G f ) = lim ¯ δ 0 log N δ ( G f ) log δ lim ¯ δ 0 log 2 ( b a + 1 ) ( d c + 1 ) δ 2 log δ = lim ¯ δ 0 log δ 2 log δ + lim ¯ δ 0 log 2 ( b a + 1 ) ( d c + 1 ) log δ = 2 .
Combining (1) of Proposition 1,
2 dim ̲ B ( G f ) dim ¯ B ( G f ) 2 .
That is,
dim ̲ B ( G f ) = dim ¯ B ( G f ) = dim B ( G f ) = 2 ,
finishing the proof of (2).
(3)
Let us define a mapping Γ : G f G r · f by
Γ ( ( x , y ) , f ( x , y ) ) = ( x , y ) , ( r · f ) ( x , y ) , ( x , y ) [ a , b ] × [ c , d ]
for r R 0 . By using the simple properties of norm, one can show that
Γ ( ( x , y ) , f ( x , y ) ) Γ ( ( u , v ) , f ( u , v ) ) 2 1 + r 2 ( x , y ) , f ( x , y ) ( u , v ) , f ( u , v ) 2
and
Γ ( ( x , y ) , f ( x , y ) ) Γ ( ( u , v ) , f ( u , v ) ) 2 r r 2 + 1 ( x , y ) , f ( x , y ) ( u , v ) , f ( u , v ) 2
for ( x , y ) , ( u , v ) [ a , b ] × [ c , d ] . With Lemma 1, we can claim that Γ is a bi-Lipschitz mapping and then the result of (3) holds.
Remark 2.
In Proposition 1, if the Box dimension of G f exists on [ a , b ] × [ c , d ] , then
2 dim B ( G f ) 3
and for r R 0 ,
dim B ( G r · f ) = dim B ( G f ) .
In particular, if r = 0 , we have
dim ̲ B ( G ϑ ) = dim ¯ B ( G ϑ ) = dim B ( G ϑ ) = 2
by (2) of Proposition 1. Thus for any continuous function f : [ a , b ] × [ c , d ] R , 0 · f must be a two-dimensional continuous function on [ a , b ] × [ c , d ] .
Up to now, some particular bivariate continuous functions with non-integer fractal dimensions have been constructed. For instance, Yu [42] had given the following facts.
Example 1
([42]). For 0 < α < 1 and λ 2 , let
W ( x , y ) = j = 1 λ α j sin ( λ j x ) , ( x , y ) [ a , b ] × [ c , d ] .
Then
dim B ( G W ) = 3 α .
Example 2
([42]). For 1 < s < 2 , let
B ( x , y ) = j = 1 λ j s 2 cos ( λ j x ) , ( x , y ) [ a , b ] × [ c , d ]
where λ j + 1 λ j λ > 1 for j N * . If λ j + 1 λ j , then dim ̲ B ( G B ) and dim ¯ B ( G B ) could be any numbers satisfying
2 dim ̲ B ( G B ) < dim ¯ B ( G B ) < 3 .

3. Main Results

In this section, we present our main results for the fractal dimensions the graph of the sum of two bivariate continuous functions. For two bivariate continuous functions f , g : [ a , b ] × [ c , d ] R , our motivation is to explore the values of dim ̲ B ( G f + g ) and dim ¯ B ( G f + g ) . According to Definition 1, we can notice that the estimation of N δ ( G f + g ) is key to calculate them. Hence, we begin by investigating how to attain the range of N δ ( G f + g ) . The upcoming result about the oscillation is basic.
Theorem 1.
Let f , g : [ a , b ] × [ c , d ] R be continuous. Then the range of OSC ( f + g , R i , j ) can be estimated as
j = 0 n 1 i = 0 m 1 OSC ( f , R i , j ) j = 0 n 1 i = 0 m 1 OSC ( g , R i , j ) j = 0 n 1 i = 0 m 1 OSC ( f + g , R i , j ) j = 0 n 1 i = 0 m 1 OSC ( f , R i , j ) + j = 0 n 1 i = 0 m 1 OSC ( g , R i , j )
where m , n , R i , j have been defined in Lemma 2.
Proof. 
From Equation (1), we can obtain
OSC ( f , R i , j ) = OSC ( f , R i , j )
and
OSC ( f + g , R i , j ) = sup ( x , y ) , ( u , v ) R i , j | ( f + g ) ( x , y ) ( f + g ) ( u , v ) | sup ( x , y ) , ( u , v ) R i , j | f ( x , y ) f ( u , v ) | + | g ( x , y ) g ( u , v ) | sup ( x , y ) , ( u , v ) R i , j | f ( x , y ) f ( u , v ) | + sup ( x , y ) , ( u , v ) R i , j | g ( x , y ) g ( u , v ) | OSC ( f , R i , j ) + OSC ( g , R i , j ) .
Summing over all the rectangular regions in Equation (3) just leads to the right end of the required inequality. Then combining Equations (2) and (3), we estimate
OSC ( f , R i , j ) = OSC ( f + g g , R i , j ) OSC ( f + g , R i , j ) + OSC ( g , R i , j )
and
OSC ( g , R i , j ) = OSC ( f + g f , R i , j ) OSC ( f + g , R i , j ) + OSC ( f , R i , j ) .
Thus
OSC ( f + g , R i , j ) OSC ( f , R i , j ) OSC ( g , R i , j ) .
Summing over all the rectangular regions in Equation (4) and using absolute value inequality, one can get the left end of our required inequality as well. □
In the light of Theorem 1 and Lemma 2, N δ ( G f + g ) seems to have a certain relationship with N δ ( G f ) and N δ ( G g ) . The next important theorem establishes a connection among the above three.
Theorem 2.
Let f , g : [ a , b ] × [ c , d ] R be continuous. Then the range of N δ ( G f + g ) can be estimated as
N δ ( G f ) N δ ( G g ) ρ δ 2 N δ ( G f + g ) N δ ( G f ) + N δ ( G g ) + ρ δ 2
where 0 < δ < min b a , d c , 1 and ρ = 2 ( b a + 1 ) ( d c + 1 ) δ 2 .
Proof. 
It follows from Theorem 1 and Lemma 2 that
N δ ( G f + g ) 2 m n + δ 1 j = 0 n 1 i = 0 m 1 OSC ( f + g , R i , j ) 2 ( b a ) δ 1 + 1 ( d c ) δ 1 + 1 + δ 1 j = 0 n 1 i = 0 m 1 OSC ( f , R i , j ) + δ 1 j = 0 n 1 i = 0 m 1 OSC ( g , R i , j ) 2 ( b a + 1 ) ( d c + 1 ) δ 2 + N δ ( G f ) + N δ ( G g )
and
N δ ( G f + g ) δ 1 j = 0 n 1 i = 0 m 1 OSC ( f + g , R i , j ) 2 m n + δ 1 j = 0 n 1 i = 0 m 1 OSC ( f , R i , j ) δ 1 j = 0 n 1 i = 0 m 1 OSC ( g , R i , j ) 2 m n N δ ( G f ) N δ ( G g ) 2 ( b a + 1 ) ( d c + 1 ) δ 2 .
This concludes the proof of Theorem 2. □
With the help of Theorem 2, we shall prove the following several conclusions. Theorem 3 and 4 give the upper bound of dim ¯ B ( G f + g ) and dim ̲ B ( G f + g ) , respectively.
Theorem 3.
Let f , g : [ a , b ] × [ c , d ] R be continuous. Then
dim ¯ B ( G f + g ) max dim ¯ B ( G f ) , dim ¯ B ( G g ) .
Proof. 
Assume that dim ¯ B ( G f ) = s 1 and dim ¯ B ( G g ) = s 2 . Given ε > 0 , by Definition 1 there must exist a certain number δ 0 ( 0 , min b a , d c , 1 ) such that
N δ ( G f ) δ s 1 ε ,
N δ ( G g ) δ s 2 ε
for δ ( 0 , δ 0 ] . Then by Theorem 2, we get
N δ ( G f + g ) N δ ( G f ) + N δ ( G g ) + ρ δ 2 δ s 1 ε + δ s 2 ε + ρ δ 2 δ max s 1 , s 2 s 1 + δ max s 1 , s 2 s 2 + ρ δ max s 1 , s 2 2 + ε δ max s 1 , s 2 ε ( ρ + 2 ) δ max s 1 , s 2 ε
for δ ( 0 , δ 0 ] . From Definition 1, we can conclude that
dim ¯ B ( G f + g ) = lim ¯ δ 0 log N δ ( G f + g ) log δ lim ¯ δ 0 log ( ρ + 2 ) δ max s 1 , s 2 ε log δ = lim ¯ δ 0 log ( ρ + 2 ) log δ + lim ¯ δ 0 log δ max s 1 , s 2 + ε log δ = max s 1 , s 2 + ε .
Since the above formula is true for ε > 0 , we have
dim ¯ B ( G f + g ) max s 1 , s 2 = max dim ¯ B ( G f ) , dim ¯ B ( G g ) ,
which completes the proof of Theorem 3. □
Theorem 4.
Let f , g : [ a , b ] × [ c , d ] R be continuous. Then
dim ̲ B ( G f + g ) max dim ¯ B ( G f ) , dim ̲ B ( G g ) .
Proof. 
Assume that
dim ¯ B ( G f ) = α 1 and dim ̲ B ( G g ) = α 2 .
From the definition of dim ̲ B ( G g ) , there exists a positive subsequence { δ λ k } k = 1 such that lim k δ λ k = 0 and meanwhile
lim k log N δ λ k ( G g ) log δ λ k = α 2 .
So given ε > 0 , there exists a κ 1 N * such that
N δ λ k ( G g ) δ λ k α 2 ε
when k κ 1 . Then by the definition of dim ¯ B ( G f ) , there exists a κ 2 N * such that
N δ λ k ( G f ) δ λ k α 1 ε
when k κ 2 . Combining Theorem 2, Equations (5) and (6), we can obtain
N δ λ k ( G f + g ) N δ λ k ( G f ) + N δ λ k ( G g ) + ρ δ λ k 2 δ λ k α 1 ε + δ λ k α 2 ε + ρ δ λ k 2 δ λ k max α 1 , α 2 α 1 + δ λ k max α 1 , α 2 α 2 + ρ δ λ k max α 1 , α 2 2 + ε δ λ k max α 1 , α 2 ε ( ρ + 2 ) δ λ k max α 1 , α 2 ε
when k max κ 1 , κ 2 . Thus by Definition 1, we have
dim ̲ B ( G f + g ) = lim ̲ δ 0 log N δ ( G f + g ) log δ lim k log ( ρ + 2 ) δ λ k max α 1 , α 2 ε log δ λ k = lim k log ( ρ + 2 ) log δ λ k + lim k log δ λ k max α 1 , α 2 + ε log δ λ k = max α 1 , α 2 + ε .
In the light of the arbitrariness of ε , we immediately get our required result. □
Under certain particular circumstances, the previous two formulae could take an equal sign, shown in the undermentioned two theorems.
Theorem 5.
Let f , g : [ a , b ] × [ c , d ] R be continuous. If
dim ¯ B ( G f ) dim ¯ B ( G g ) ,
then
dim ¯ B ( G f + g ) = max dim ¯ B ( G f ) , dim ¯ B ( G g ) .
Proof. 
Let H = f + g . Without loss of generality, we can assume that
dim ¯ B ( G f ) > dim ¯ B ( G g ) .
Suppose that
dim ¯ B ( G H ) max dim ¯ B ( G f ) , dim ¯ B ( G g ) = dim ¯ B ( G f ) .
From Theorem 3, it follows that
dim ¯ B ( G H ) < dim ¯ B ( G f ) .
Then combining Equations (7) and (8), we have
dim ¯ B ( G H g ) = dim ¯ B ( G f ) > max dim ¯ B ( G H ) , dim ¯ B ( G g ) = max dim ¯ B ( G H ) , dim ¯ B ( G g ) ,
which is a contradiction to Theorem 3. Therefore, we can conclude that
dim ¯ B ( G f + g ) = dim ¯ B ( G H ) = max dim ¯ B ( G f ) , dim ¯ B ( G g ) .
This means the conclusion of Theorem 5 holds. □
Theorem 6.
Let f , g : [ a , b ] × [ c , d ] R be continuous. If
max dim ̲ B ( G f ) , dim ̲ B ( G g ) > min dim ¯ B ( G f ) , dim ¯ B ( G g ) ,
then
dim ̲ B ( G f + g ) = max dim ̲ B ( G f ) , dim ̲ B ( G g ) .
Proof. 
Without loss of generality, we suppose that
η 1 = dim ̲ B ( G g ) > dim ¯ B ( G f ) = η 2 .
At this time, we know that
max dim ̲ B ( G f ) , dim ̲ B ( G g ) = η 1 > η 2 = min dim ¯ B ( G f ) , dim ¯ B ( G g ) .
From Theorem 4, it follows that
dim ̲ B ( G f + g ) max dim ¯ B ( G f ) , dim ̲ B ( G g ) = η 1 .
Next, we prove that dim ̲ B ( G f + g ) η 1 as below. By the definition of dim ̲ B ( G g ) and dim ¯ B ( G f ) , given ε 0 , η 1 η 2 2 , there exists a δ 1 ( 0 , min b a , d c , 1 ) such that
N δ ( G f ) δ η 2 ε < δ η 1 + ε N δ ( G g )
for δ ( 0 , δ 1 ] . Note that η 1 η 2 2 ε > 0 and η 1 2 ε > 0 , thus there exists a δ 2 ( 0 , min b a , d c , 1 ) such that
δ η 1 η 2 2 ε 1 3 and δ η 1 2 ε 1 3 ρ
for δ ( 0 , δ 2 ] . Then by Theorem 2, we estimate
N δ ( G f + g ) N δ ( G f ) N δ ( G g ) ρ δ 2 δ η 1 + ε δ η 2 ε ρ δ 2 1 δ η 1 η 2 2 ε ρ δ η 1 2 ε δ η 1 + ε 1 3 δ η 1 + ε
for δ ( 0 , min δ 1 , δ 2 ] . Consequently, one can get
dim ̲ B ( G f + g ) = lim ̲ δ 0 log N δ ( G f + g ) log δ lim ̲ δ 0 log 1 3 δ η 1 + ε log δ = η 1 ε
by Definition 1. Since ε in the above formula is arbitrary, we have dim ̲ B ( G f + g ) η 1 . Combining Equation (9), we just obtain the required result. □
Now we shall deal with some concrete examples on the fractal dimensions of the graph of the sum of two bivariate continuous functions. To this end, we first need to state the definition of function spaces as follows.
Definition 2.
Spaces of bivariate continuous functions.
(1)
Let S d be the space of all bivariate continuous functions whose Box dimension exists and is equal to d on [ a , b ] × [ c , d ] as 2 d 3 . Namely, S d is the space of d-dimensional bivariate continuous functions on [ a , b ] × [ c , d ] .
(2)
Let S d 1 d 2 as the space of all bivariate continuous functions whose Box dimension does not exist on [ a , b ] × [ c , d ] . Here d 1 , d 2 are the lower and upper Box dimension of the function on [ a , b ] × [ c , d ] as 2 d 1 < d 2 3 , respectively.
Below we start by the case when the two bivariate continuous functions have the different Box dimension.
Proposition 2.
Let f ( x , y ) S d 1 and g ( x , y ) S d 2 . If d 1 d 2 , then
f ( x , y ) + g ( x , y ) S max d 1 , d 2 .
Proof. 
Without loss of generality, suppose that d 1 > d 2 . At this time, we observe that
dim ̲ B ( G g ) = dim ¯ B ( G g ) < dim ̲ B ( G f ) = dim ¯ B ( G f ) .
Then it follows from Theorem 5 and 6 that
dim ¯ B ( G f + g ) = max dim ¯ B ( G f ) , dim ¯ B ( G g ) = max d 1 , d 2
and
dim ̲ B ( G f + g ) = max dim ̲ B ( G f ) , dim ̲ B ( G g ) = max d 1 , d 2 .
That is,
dim B ( G f + g ) = max d 1 , d 2 ,
completing the proof of Proposition 2. □
The upcoming two corollaries discuss a few situations when at least one of two bivariate continuous functions does not have the Box dimension on [ a , b ] × [ c , d ] . These results can easily be obtained from Theorem 5 and 6 with their proofs omitted.
Corollary 1.
Let f ( x , y ) S d 1 d 2 and g ( x , y ) S d .
(1)
If d 1 < d 2 < d ,
f ( x , y ) + g ( x , y ) S d .
(2)
If d < d 1 < d 2 ,
f ( x , y ) + g ( x , y ) S d 1 d 2 .
Corollary 2.
Let f ( x , y ) S d 1 d 2 , g ( x , y ) S d 3 d 4 .
(1)
If d 1 < d 2 < d 3 < d 4 ,
f ( x , y ) + g ( x , y ) S d 3 d 4 .
(2)
If d 3 < d 4 < d 1 < d 2 ,
f ( x , y ) + g ( x , y ) S d 1 d 2 .
If the two bivariate continuous functions have the same Box dimension d, the result will become more complicate. Here we discuss two situations according to whether d equals to two or not. If d 2 , we can arrive at the following two conclusions.
Proposition 3.
Let f ( x , y ) , g ( x , y ) S d for 2 < d 3 . If the Box dimension of G f + g exists, then
f ( x , y ) + g ( x , y ) t [ 2 , d ] S t .
Proof. 
Firstly, let
f ( x , y ) = g ( x , y ) + W ( x , y )
where W ( x , y ) is the function given in Example 1 and dim B ( G W ) = 3 α could be any number belonging to ( 2 , d ) by choosing suitable α . Then from Proposition 1 and 2, it follows that
dim B ( G f ) = dim B ( G g + W ) = max dim B ( G g ) , dim B ( G W ) = max d , 3 α = d .
Secondly, let
f ( x , y ) = g ( x , y ) + H ( x , y )
where H ( x ) S 2 . At this time,
dim B ( G f ) = max dim B ( G g ) , dim B ( G H ) = max d , 2 = d .
Thirdly, let f ( x , y ) = g ( x , y ) . Then we know from Proposition 1 that
dim B ( G f + g ) = dim B ( G 2 f ) = dim B ( G f ) = d .
According to the above discussion, we just finish the proof of the present proposition. □
Proposition 4.
Let f ( x , y ) , g ( x , y ) S d for 2 < d 3 . If the Box dimension of G f + g does not exist, then
f ( x , y ) + g ( x , y ) t 1 , t 2 [ 2 , d ) t 1 < t 2 S t 1 t 2 .
Proof. 
Let
f ( x , y ) = g ( x , y ) + B ( x , y )
where B ( x , y ) is the function given in Example 2 and dim ̲ B ( G B ) , dim ¯ B ( G B ) could be any numbers satisfying
2 dim ̲ B ( G B ) < dim ¯ B ( G B ) < d 3 .
From Theorem 5 and 6, we can get
dim ¯ B ( G f ) = dim ¯ B ( G g + B ) = max dim ¯ B ( G g ) , dim ¯ B ( G B ) = d
and
dim ̲ B ( G f ) = dim ̲ B ( G g + B ) = dim ̲ B ( G g ) = d ,
which implies that
dim B ( G f ) = d .
Then by Equation (10), we just obtain our required result. □
If d = 2 , the next result manifests that the sum of two two-dimensional bivariate continuous functions can keep the fractal dimension closed.
Theorem 7.
Let f ( x , y ) , g ( x , y ) S 2 . Then f ( x , y ) + g ( x , y ) S 2 .
Proof. 
From Theorem 3, it follows that
dim ¯ B ( G f + g ) max dim ¯ B ( G f ) , dim ¯ B ( G g ) = 2 .
Combining (1) of Proposition 1, we obtain
2 dim ̲ B ( G f + g ) dim ¯ B ( G f + g ) 2 .
Thus
dim B ( G f + g ) = 2 ,
namely, f ( x , y ) + g ( x , y ) S 2 . □
In particular, if one of the two bivariate continuous functions is Lipschitz, we have the following assertion.
Theorem 8.
Let f , g : [ a , b ] × [ c , d ] R be continuous. If g is Lipschitz on [ a , b ] × [ c , d ] , then
dim ( G f + g ) = dim ( G f )
where dim denotes any one of dim H , dim P , dim A , dim B , dim ̲ B and dim ¯ B .
Proof. 
Let us define a map Υ : G f G f + g by
Υ ( ( x , y ) , f ( x , y ) ) = ( x , y ) , f ( x , y ) + g ( x , y ) , ( x , y ) [ a , b ] × [ c , d ] .
Since g is Lipschitz on [ a , b ] × [ c , d ] , let
L = sup ( x , y ) , ( u , t ) [ a , b ] × [ c , d ] g ( x , y ) g ( u , t ) ( x , y ) ( u , t ) 2 < + .
For ( x , y ) , ( u , t ) [ a , b ] × [ c , d ] , on one hand,
Υ ( ( x , y ) , f ( x , y ) ) Υ ( ( u , t ) , f ( u , t ) ) 2 2 = ( x , y ) , f ( x , y ) + g ( x , y ) ( u , t ) , f ( u , t ) + g ( u , t ) 2 2 = ( x , y ) ( u , t ) 2 2 + | f ( x , y ) f ( u , t ) + g ( x , y ) g ( u , t ) | 2 ( x , y ) ( u , t ) 2 2 + 2 | f ( x , y ) f ( u , t ) | 2 + 2 | g ( x , y ) g ( u , t ) | 2 ( x , y ) ( u , t ) 2 2 + 2 | f ( x , y ) f ( u , t ) | 2 + 2 L 2 ( x , y ) ( u , t ) 2 2 = 1 + 2 L 2 ( x , y ) ( u , t ) 2 2 + 2 | f ( x , y ) f ( u , t ) | 2 3 + 2 L 2 ( ( x , y ) , f ( x , y ) ) ( u , t ) , f ( u , t ) 2 2 .
On the other hand,
( ( x , y ) , f ( x , y ) ) ( u , t ) , f ( u , t ) 2 2 = ( x , y ) ( u , t ) 2 2 + | f ( x , y ) f ( u , t ) | 2 = ( x , y ) ( u , t ) 2 2 + f ( x , y ) f ( u , t ) + g ( x , y ) g ( u , t ) g ( x , y ) g ( u , t ) 2 ( x , y ) ( u , t ) 2 2 + 2 f ( x , y ) f ( u , t ) + g ( x , y ) g ( u , t ) 2 + 2 | g ( x , y ) g ( u , t ) | 2 ( x , y ) ( u , t ) 2 2 + 2 f ( x , y ) f ( u , t ) + g ( x , y ) g ( u , t ) 2 + 2 L 2 ( x , y ) ( u , t ) 2 2 = 1 + 2 L 2 ( x , y ) ( u , t ) 2 2 + 2 f ( x , y ) f ( u , t ) + g ( x , y ) g ( u , t ) 2 3 + 2 L 2 Υ ( ( x , y ) , f ( x , y ) ) Υ ( ( u , t ) , f ( u , t ) ) 2 2 .
Then by the above two inequalities, we can obtain
C 1 ( ( x , y ) , f ( x , y ) ) ( u , t ) , f ( u , t ) 2 Υ ( ( x , y ) , f ( x , y ) ) Υ ( ( u , t ) , f ( u , t ) ) 2 C 2 ( ( x , y ) , f ( x , y ) ) ( u , t ) , f ( u , t ) 2
where C 1 = 1 3 + 2 L 2 and C 2 = 3 + 2 L 2 satisfying 0 < C 1 < C 2 < + . This means that Υ is a bi-Lipschitz map. With Lemma 1, we just get our required result. □

4. Examples

In this section, we give a concrete example to verify the result acquired in Section 3.
Example 3.
For 0 < α < 1 , let
W * ( x , y ) = j = 1 2 α j sin ( 2 j x ) , ( x , y ) [ 0 , 1 ] × [ 0 , 1 ]
and
B * ( x , y ) = j = 1 ( 2 j ) 9 10 × 2 j cos ( 2 j ) 2 j x , ( x , y ) [ 0 , 1 ] × [ 0 , 1 ] .
By [42], we have
dim B ( G W * ) = 3 α , dim ̲ B ( G B * ) = 39 19 and dim ¯ B ( G B * ) = 21 10 .
If 0 < α < 9 10 , it follows from Corollary 1 that
dim B ( G W * + B * ) = dim B ( G W * ) = 3 α .
Now we show several graphs and numerical results for Example 3. Figure 1 indicates the graph of W * when α = 0.5 . Figure 2 denotes the graph of B * . Figure 3 represents the graph of W * + B * . Let α be 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, respectively. Table 1 presents the corresponding numerical results for the Box dimension of the graph of by using computing methods stated in [43]. In addition, Figure 4 supports our theoretical results gained in Section 3 where the minor deviation may be rendered by the approximation of the computer process.

5. Conclusions

In this last section, we sum up conclusions obtained in this paper.

5.1. Conclusions and Remarks

Throughout the present paper, we mainly make research on the fractal dimensions of the graph of the superposition of two continuous surfaces f and g on [ a , b ] × [ c , d ] with certain lower and upper Box dimensions. Our main conclusions can be summarized as the following several aspects:
(1)
dim ¯ B ( G f + g ) max dim ¯ B ( G f ) , dim ¯ B ( G g ) .
(2)
dim ̲ B ( G f + g ) max dim ¯ B ( G f ) , dim ̲ B ( G g ) .
(3)
When
dim ¯ B ( G f ) dim ¯ B ( G g ) ,
we prove that
dim ¯ B ( G f + g ) = max dim ¯ B ( G f ) , dim ¯ B ( G g ) .
(4)
When
max dim ̲ B ( G f ) , dim ̲ B ( G g ) > min dim ¯ B ( G f ) , dim ¯ B ( G g ) ,
we prove that
dim ̲ B ( G f + g ) = max dim ̲ B ( G f ) , dim ̲ B ( G g ) .
(5)
It has been proved that the superposition of two continuous surfaces cannot keep the fractal dimensions invariable unless both of them are two-dimensional.
(6)
It has been proved that the fractal dimensions of the graph of the sum of a bivariate continuous function and a bivariate Lipschitz function equals to the fractal dimensions of the graph of the former. That is, a bivariate Lipschitz function can be absorbed by any other bivariate continuous function in the sense of fractal dimensions.
Moreover, it is worth mentioning that the previous results can be extended to any closed regain D R 2 . In other words, all the results attained in the present paper still hold for two continuous surfaces f and g defined on D .

5.2. Applications in Other Fields

In recent years, estimation of the fractal dimensions of the superposition of continuous surfaces has been widely applied in various fields such as metal materials and computer graphics.
In metal materials, the fracture surface topography with regards to the fatigue of metals can be studied by fractal characteristics, which can been found in [44,45]. Furthermore, fractal dimension is closely relevant to the parameters of areal surface of metals, which has been shown in [2]. As is known to all, there exist a good deal of approaches to calculating fractal dimensions and the results under different resolutions and methods will be slightly distinguishing. This work principally investigates how to calculate fractal dimensions by counting boxes and how to estimate fractal dimensions of the superposition of two fractal surfaces, which can just be applied into the research on fracture surface topography regarding to the fatigue of metals.
Besides, in computer graphics, texture roughness is an important visual feature of computer images, which is of great significance to image analysis, recognition and interpretation. A lot of research work has been done on texture analysis and many methods for measuring and describing texture roughness have been proposed (see [46,47,48,49], for example). Fractal dimension is one of the mostly used tools to describe the texture roughness of image surfaces, namely, the complexity of image gray surfaces, which can be a representation of image stability. The higher the fractal dimension, the more complex the surface, and then the coarser the image. The results in this paper can also contribute to calculating the fractal dimensions of the surface of the superposition of two computer images.

5.3. Further Research

In this paper, there still exist some points worthy of improvement and further consideration in the future. Here we present them and put forward several open questions in the following:
(1)
This work only deals with the cases when the two bivariate continuous functions have the different upper Box dimension and the lower Box dimension of one function is larger than the upper Box dimension of the other one. People could further explore the other situations later.
Question 1.  Suppose that f ( x , y ) S d 1 d 2 , g ( x , y ) S d 3 d 4 . What is dim ¯ B ( G f + g ) when d 2 = d 4 and what is dim ̲ B ( G f + g ) when d 2 d 3 ?
(2)
In the present paper, we only focus on the Box dimension of the graph of the sum of two bivariate continuous functions. So other kinds of fractal dimensions, such as the Packing dimension, the Hausdorff dimension and the Assouad dimension could be further considered for this problem.
Question 2.  Let f ( x , y ) , g ( x , y ) : [ a , b ] × [ c , d ] R be continuous. What can dim P ( G f + g ) , dim H ( G f + g ) and dim A ( G f + g ) be, respectively?
(3)
This study is only about bivariate continuous functions, which could be generalized to continuous functions of n variables in the future.
Question 3.  Let f ( x ) , g ( x ) : i = 1 n [ a i , b i ] R be continuous. What can the fractal dimensions of G f + g be?
(4)
Apart from addition, people could further investigate the fractal dimensions of the graph of bivariate continuous functions under other operations.
Question 4.  Let f ( x , y ) , g ( x , y ) : [ a , b ] × [ c , d ] R be continuous. What can the fractal dimensions of G f · g be?

Author Contributions

Conceptualization, X.W.; methodology, X.W.; validation, X.W.; formal analysis, X.W.; investigation, X.W.; resources, X.W.; writing—original draft preparation, X.W.; writing—review and editing, X.W.; funding acquisition, X.W.. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data were used to support this study.

Acknowledgments

The authors thank Nanjing University of Science and Technology, for partially supporting this study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Mandelbrot, B.B. The Fractal Geometry of Nature; Freeman: Sanfrancisco, CA, USA, 1982. [Google Scholar]
  2. Mandelbrot, B.B.; Passoja, D.E.; Paullay, A.J. Fractal character of fracture surfaces of metals. Nature 1984, 308, 721–722. [Google Scholar] [CrossRef]
  3. Turcotte, D.L. Fractals in geology and geophysics, Pure Appl. Geophys. 1989, 131, 171–196. [Google Scholar]
  4. Kube, P.; Pentland, A. On the imaging of fractal surfaces. IEEE Trans. Pattern Anal. Mach. Intell. 1988, 10, 704–707. [Google Scholar] [CrossRef]
  5. Massopust, P.R. Fractal functions, fractal surfaces, and wavelets, 2nd ed.; Academic Press: San Diego, CA, USA, 2016. [Google Scholar]
  6. Pardo-Igúzquiza, E.; Dowd, P.A. Fractal analysis of karst landscapes. Math. Geosci. 2020, 52, 543–563. [Google Scholar] [CrossRef]
  7. Massopust, P.R. Fractal surfaces. J. Math. Anal. Appl. 1990, 151, 275–290. [Google Scholar] [CrossRef]
  8. Malysz, R. The Minkowski dimension of the bivariate fractal interpolation surfaces. Chaos, Solitons Fractals 2006, 27, 1147–1156. [Google Scholar] [CrossRef]
  9. Ruan, H.J.; Xu, Q. Fractal interpolation surfaces on rectangular grids. Bull. Aust. Math. Soc. 2015, 91, 435–446. [Google Scholar] [CrossRef]
  10. Feng, Z.; Feng, Y.; Yuan, Z. Fractal interpolation surfaces with function vertical scaling factors. Appl. Math. Lett. 2012, 25, 1896–1900. [Google Scholar] [CrossRef]
  11. Barnsley, M.F. Fractal functions and interpolation. Constr. Approx. 1986, 2, 303–329. [Google Scholar] [CrossRef]
  12. Ruan, H.J.; Su, W.Y.; Yao, K. Box dimension and fractional integral of linear fractal interpolation functions. J. Approx. Theory 2009, 161, 187–197. [Google Scholar] [CrossRef]
  13. Verma, M.; Priyadarshi, A.; Verma, S. Analytical and dimensional properties of fractal interpolation functions on the Sierpiński gasket. Fract. Calc. Appl. Anal. 2023, 26, 1294–1325. [Google Scholar] [CrossRef]
  14. Yu, B.Y.; Liang, Y.S. Construction of monotonous approximation by fractal interpolation functions and fractal dimensions. Fractals 2023, 31, accepted. [Google Scholar] [CrossRef]
  15. Cui, X.X.; Xiao, W. What is the effect of the Weyl fractional integral on the Hölder continuous functions? Fractals 2021, 29, 2150026. [Google Scholar] [CrossRef]
  16. Wu, J.R. The effects of the Riemann-Liouville fractional integral on the Box dimension of fractal graphs of Hölder continuous functions. Fractals 2020, 28, 2050052. [Google Scholar] [CrossRef]
  17. Bedford, T.J. The box dimension of self-affine graphs and repellers. Nonlinearity 1989, 2, 53–71. [Google Scholar] [CrossRef]
  18. Liang, Y.S.; Su, W.Y. Von Koch curve and its fractional calculus. Acta Math. Sin. Chin. Ser. 2011, 54, 227–240. [Google Scholar]
  19. Berry, M.V.; Lewis, Z.V. On the Weierstrass-Mandelbrot fractal function. Proc. R. Soc. Lond. 1980, 370, 459–484. [Google Scholar]
  20. Hunt, B.R. The Hausdorff dimension of graphs of Weierstrass functions. Proc. Am. Math. Soc. 1998, 126, 791–800. [Google Scholar] [CrossRef]
  21. Sun, D.C.; Wen, Z.Y. The Hausdorff dimension of graphs of a class of Weierstrass functions. Prog. Nat. Sci. 1996, 6, 547–553. [Google Scholar]
  22. Barański, K. On the dimension of graphs of Weierstrass-type functions with rapidly growing frequencies. Nonlinearity 2012, 25, 193–209. [Google Scholar] [CrossRef]
  23. Shen, W.X. Hausdorff dimension of the graphs of the classical Weierstrass functions. Math. Z. 2018, 289, 223–266. [Google Scholar] [CrossRef]
  24. He, G.L.; Zhou, S.P. What is the exact condition for fractional integrals and derivatives of Besicovitch functions to have exact box dimension? Chaos, Solitons Fractals 2005, 26, 867–879. [Google Scholar] [CrossRef]
  25. Wang, B.; Ji, W.L.; Zhang, L.G.; Li, X. The relationship between fractal dimensions of Besicovitch function and the order of Hadamard fractional integral. Fractals 2020, 28, 2050128. [Google Scholar] [CrossRef]
  26. Liang, Y.S.; Su, W.Y. The relationship between the Box dimension of the Besicovitch functions and the orders of their fractional calculus. Appl. Math. Comput. 2008, 200, 297–307. [Google Scholar] [CrossRef]
  27. Wang, X.F.; Zhao, C.X.; Yuan, X. A review of fractal functions and applications. Fractals 2022, 30, 2250113. [Google Scholar] [CrossRef]
  28. Chandra, S.; Abbas, S. Box dimension of mixed Katugampola fractional integral of two-dimensional continuous functions. Fract. Calc. Appl. Anal. 2022, 25, 1022–1036. [Google Scholar] [CrossRef]
  29. Verma, M.; Priyadarshi, A. Dimensions of new fractal functions and associated measures. Numer. Algorithms 2023, 2301521. [Google Scholar] [CrossRef]
  30. Liang, Y.S. Progress on estimation of fractal dimensions of fractional calculus of continuous functions. Fractals 2019, 27, 1950084. [Google Scholar] [CrossRef]
  31. Verma, M.; Priyadarshi, A.; Verma, S. Vector-valued fractal functions: Fractal dimension and fractional calculus. Indag. Math. 2023, 2303005. [Google Scholar] [CrossRef]
  32. Verma, S.; Massopust, P.R. Dimension preserving approximation. Aequationes Math. 2022, 96, 1233–1247. [Google Scholar] [CrossRef]
  33. Falconer, K.J. Fractal Geometry: Mathematical Foundations and Applications; John Wiley Sons Inc.: New York, NY, USA, 1990. [Google Scholar]
  34. Yu, B.Y.; Liang, Y.S. On the lower and upper Box dimensions of the sum of two fractal functions. Fractal Fract. 2022, 6, 398. [Google Scholar] [CrossRef]
  35. Verma, M.; Priyadarshi, A. Graphs of continuous functions and fractal dimensions. Chaos, Solitons Fractals 2023, 173, 2311351. [Google Scholar] [CrossRef]
  36. Yu, B.Y.; Liang, Y.S. Estimation of the fractal dimensions of the linear combination of continuous functions. Mathematics 2022, 10, 2154. [Google Scholar] [CrossRef]
  37. Wen, Z.Y. Mathematical Foundations of Fractal Geometry; Science Technology Education Publication House: Shanghai, China, 2000. [Google Scholar]
  38. Wang, X.F.; Zhao, C.X. Fractal dimensions of linear combination of continuous functions with the same Box dimension. Fractals 2020, 28, 2050139. [Google Scholar] [CrossRef]
  39. Yu, B.Y.; Liang, Y.S. Fractal dimension variation of continuous functions under certain operations. Fractals 2023, 31, 2350044. [Google Scholar] [CrossRef]
  40. Verma, S.; Viswanathan, P. Bivariate functions of bounded variation: Fractal dimension and fractional integral. Indag. Math. 2020, 31, 294–309. [Google Scholar] [CrossRef]
  41. Falconer, K.J. Techniques in Fractal Geometry; John Wiley Sons Inc.: New York, NY, USA, 1997. [Google Scholar]
  42. Yu, B.Y.; Liang, Y.S. On two special classes of fractal surfaces with certain Hausdorff and Box dimensions. Appl. Math. Comput. 2023. submitted. [Google Scholar] [CrossRef]
  43. Wu, J.; Jin, X.; Mi, S.; Tang, J. An effective method to compute the box-counting dimension based on the mathematical definition and intervals. Results Eng. 2020, 6, 100106. [Google Scholar] [CrossRef]
  44. Hussain Hashmi, M.; Saeid Rahimian Koloor, S.; Foad Abdul-Hamid, M.; Nasir Tamin, M. Exploiting fractal features to determine fatigue crack growth rates of metallic materials. Eng. Fract. Mech. 2022, 308, 108589. [Google Scholar] [CrossRef]
  45. Macek, W. Correlation between fractal dimension and areal surface parameters for fracture analysis after bending-torsion fatigue. Metals 2021, 11, 1790. [Google Scholar] [CrossRef]
  46. Chen, S.S.; Keller, J.M.; Crownover, R.M. On the calculation of fractal features from images. IEEE Trans. Pattern Anal. Mach. Intell. 1993, 15, 1087–1090. [Google Scholar] [CrossRef]
  47. Chan, K.L. Quantitative characterization of electron micrograph image using fractal feature. IEEE Trans. Biomed. Eng. 1995, 42, 1033–1037. [Google Scholar] [CrossRef]
  48. Martino, G.D.; Riccio, D.; Zinno, I. SAR imaging of fractal surfaces. IEEE Trans. Geosci. Remote Sens. 2012, 50, 630–644. [Google Scholar] [CrossRef]
  49. Riccio, D.; Ruello, G. Synthesis of fractal surfaces for remote-sensing applications. IEEE Trans. Geosci. Remote Sens. 2015, 53, 3803–3814. [Google Scholar] [CrossRef]
Figure 1. The graph of W * .
Figure 1. The graph of W * .
Preprints 86950 g001
Figure 2. The graph of B * .
Figure 2. The graph of B * .
Preprints 86950 g002
Figure 3. The graph of B * + W * .
Figure 3. The graph of B * + W * .
Preprints 86950 g003
Figure 4. Comparison between numerical results and theoretical results.
Figure 4. Comparison between numerical results and theoretical results.
Preprints 86950 g004
Table 1. Connection between α and dim B ( G W * + B * ) .
Table 1. Connection between α and dim B ( G W * + B * ) .
α dim B ( G W * + B * )
0.1 2.8736
0.2 2.7801
0.3 2.6792
0.4 2.5853
0.5 2.4779
0.6 2.3825
0.7 2.2814
0.8 2.1840
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Downloads

74

Views

12

Comments

0

Subscription

Notify me about updates to this article or when a peer-reviewed version is published.

Email

Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated