Next Article in Journal
Some New Fuzzy Fixed Point Results with Applications
Next Article in Special Issue
A Simple Method for Network Visualization
Previous Article in Journal
A p-Ideal in BCI-Algebras Based on Multipolar Intuitionistic Fuzzy Sets
Previous Article in Special Issue
On q-Quasi-Newton’s Method for Unconstrained Multiobjective Optimization Problems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Orhonormal Wavelet Bases on The 3D Ball Via Volume Preserving Map from the Regular Octahedron

Department of Mathematics, Technical University of Cluj-Napoca, Str. Memorandumului 28, RO-400114 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(6), 994; https://doi.org/10.3390/math8060994
Submission received: 13 May 2020 / Revised: 8 June 2020 / Accepted: 12 June 2020 / Published: 17 June 2020
(This article belongs to the Special Issue Numerical Methods)

Abstract

:
We construct a new volume preserving map from the unit ball B 3 to the regular 3D octahedron, both centered at the origin, and its inverse. This map will help us to construct refinable grids of the 3D ball, consisting in diameter bounded cells having the same volume. On this 3D uniform grid, we construct a multiresolution analysis and orthonormal wavelet bases of L 2 ( B 3 ) , consisting in piecewise constant functions with small local support.

1. Introduction

Spherical 3D signals occur in a wide range of fields, including computer graphics, and medical imaging (e.g., 3D reconstruction of medical images [1]), crystallography (texture analysis of crystals) [2,3] and geoscience [4,5,6]. Therefore, we need suitable efficient techniques for manipulating such signals, and one of the most efficient technique consists in using wavelets on the 3D ball (see e.g., [4,5,6,7,8,9,10] and the references therein). In this paper we propose to construct an orthonormal basis of wavelets with small support, defined on the 3D ball B 3 , starting from a multiresolution analysis. Our wavelets will be piecewise constant functions on the cells of a uniform and refinable grid of B 3 . By a refinable (or hierarchical) grid we mean that the cells can be divided successively into a given number of smaller cells of the same volume. By a uniform grid we mean that all the cells at a certain level of subdivision have the same volume. These two very important properties of our grid derive from the fact that it is constructed by mapping a uniform and refinable grid of the 3D regular octahedron, using a volume preserving map onto B 3 . Compared to the wavelets on the 3D ball constructed in [8,10], with localized support, our wavelets have local support, and this is very important when dealing with data consisting in big jumps on small portions, as shown in [11]. Another construction of piecewise constant wavelets on the 3D ball was realized in [7], starting from a similar construction on the 2D sphere. The author assumes that his wavelets are the first Haar wavelets on the 3D ball which are orthogonal and symmetric, even though we do not see any symmetry, neither in the cells, nor in the decomposition matrix. Moreover, his 8 × 8 decomposition matrices change in each step of the refinement, the entries depending on the volumes of the cells, which are, in our opinion, difficult to evaluate and for this reason they are not calculated explicitly in [7]. Another advantage of our construction is that our cells are diameter bounded, unlike the cells in [7] containing the origin, which become long and thin after some steps of refinement.
The paper is structured as follows. In Section 2 we introduce some notations used for the construction of the volume preserving map. In Section 3 we construct the volume preserving maps between the regular 3D octahedron and the 3D ball B 3 . In Section 4 we construct a uniform refinable grid of the regular octahedron followed by implementation issues, and its projection onto B 3 . Finally, in Section 5 we construct a multiresolution analysis and piecewise constant wavelet bases of L 2 ( B 3 ) .

2. Preliminaries

Consider the ball of radius r centered at the origin O, defined as
B 3 = { ( x , y , z ) R 3 , x 2 + y 2 + z 2 r 2 }
and the regular octahedron K of the same volume, centered at O and with vertices on the coordinate axes
K = { ( x , y , z ) R 3 , | x | + | y | + | z | a } .
Since the volume of the regular octahedron is 4 a 3 / 3 , we have
a = r π 3 .
The parametric equations of the ball are
x = ρ cos θ sin φ , y = ρ sin θ sin φ , z = ρ cos φ ,
where φ [ 0 , π ] is the colatitude, θ [ 0 , 2 π ) is the longitude and ρ [ 0 , r ] is the distance to the origin. A simple calculation shows that the volume element of the ball is
d V = ρ 2 sin φ d ρ d θ d φ .
The ball and the octahedron can be split into eight congruent parts (see Figure 1), each part being situated in one of the eight octants I i ± , i = 0 , 1 , 2 , 3 ,
I 0 + = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 0 = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 1 + = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 1 = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 2 + = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 2 = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 3 + = { ( x , y , z ) , x 0 , y 0 , z 0 } , I 3 = { ( x , y , z ) , x 0 , y 0 , z 0 } .
Let B i s and K i s be the regions of B 3 and K , situated in I i s , respectively.
Next we will construct a map U : B 3 K which preserves the volume, i.e., U satisfies
vol ( D ) = vol ( U ( D ) ) , for   all D B 3 ,
where vol ( D ) denotes the volume of a domain D . For an arbitrary point ( x , y , z ) B 3 we denote
( X , Y , Z ) = U ( x , y , z ) K .

3. Construction of the Volume Preserving Map U and Its Inverse

We focus on the region B 0 + I 0 + where we consider the points A = ( r , 0 , 0 ) , B = ( 0 , r , 0 ) , C = ( 0 , 0 , r ) and the vertical plane of equation y = x tan α with α ( 0 , π / 2 ) (see Figure 2 (left)). We denote by M its intersection with the great arc A B ˜ of the sphere of radius r. More precisely, M = ( r cos α , r sin α , 0 ) . The volume of the spherical region O A M C equals r 3 α / 3 .
Now we intersect the region K 1 + of the octahedron with the vertical plane of equation y = x tan β and denote by M ( m , n , 0 ) its intersection with the edge A B , where A ( a , 0 , 0 ) , B ( 0 , a , 0 ) (see Figure 2 (right)). Then m + n = a and from n = m tan β we find
m = a · 1 1 + tan β , n = a · tan β 1 + tan β .
The volume of O A M C is
V ( O A M C ) = O C · A ( O A M ) 3 = a 3 · O A · n 2 = a 3 tan β 6 ( 1 + tan β ) .
If we want the volume of the region O A M C of the unit ball to be equal to the volume of O A M C , we obtain
α = π 2 · tan β 1 + tan β , whence tan β = 2 α π 2 α .
This give us a first relation between ( x , y , z ) and ( X , Y , Z ) :
Y X = 2 arctan y x π 2 arctan y x .
Using the spherical coordinates (2) we obtain
Y = 2 θ π 2 θ · X .
In order to obtain a second relation between ( x , y , z ) and ( X , Y , Z ) , we impose that, for an arbitrary ρ ˜ ( 0 , r ] the region
{ ( x , y , z ) R 3 , x 2 + y 2 + z 2 ρ ˜ 2 , x , y , z 0 } of volume π ρ ˜ 3 6
is mapped by U onto
{ ( X , Y , Z ) R 3 , X + Y + Z , X , Y , Z 0 } of volume 3 6 .
Then, the volume preserving condition (4) implies = a · ρ ˜ / r , with a satisfying (1). Thus,
X + Y + Z = a r x 2 + y 2 + z 2
and in spherical coordinates this can be written as
X + Y + Z = a ρ r .
In order to have a volume preserving map, the modulus of the Jacobian J ( U ) of U must be 1, or, equivalently, taking into account the volume element (3), we must have
J ( U ) = | X ρ X φ X θ Y ρ Y φ Y θ Z ρ Z φ Z θ | = ρ 2 sin φ .
Taking into account formula (7), we have
J ( U ) = | X ρ X φ X θ Y ρ Y φ Y θ a / r X ρ Y ρ X φ Y φ X θ Y θ | = | X ρ X φ X θ Y ρ Y φ Y θ a / r 0 0 | = a r | X φ X θ Y φ Y θ | .
Further, using relation (6) we get
J ( U ) = a r | X φ X θ 2 θ π 2 θ · X φ 2 θ π 2 θ · X θ + 2 π ( π 2 θ ) 2 · X | = a r | X φ X θ 0 2 π ( π 2 θ ) 2 · X | = 2 π a r ( π 2 θ ) 2 X X φ .
For the last equality, we have multiplied the first row by 2 θ / ( π 2 θ ) and we have added it to the second row. Then, using the expression for J ( U ) obtained in (8) we get the differential equation
2 X φ · X = r ρ 2 π a ( π 2 θ ) 2 sin φ .
The integration with respect to φ gives
X 2 = r ( π 2 θ ) 2 π a ρ 2 cos φ + C ( θ , ρ ) ,
and further, for finding C ( θ , ρ ) we use the fact that, for φ = π / 2 we must obtain Z = 0 . Thus, for φ = π / 2 we have
X 2 = C ( θ , ρ ) , so Y = 2 θ π 2 θ C ( θ , ρ ) , and Z = a ρ r X Y = a ρ r π π 2 θ C ( θ , ρ ) .
Thus, Z = 0 is obtained for
C ( θ , ρ ) = a 2 ρ 2 π 2 r 2 ( π 2 θ ) 2 ,
and finally, the map U restricted to the region I 0 + is
X = 2 π 2 / 3 · ρ ( π 2 θ ) sin φ 2 ,
Y = 2 π 2 / 3 · ρ · 2 θ sin φ 2 ,
Z = π 1 / 3 ρ ( 1 2 sin φ 2 ) .
In the other seven octants, the map U can be obtained by symmetry as follows. A point ( x , y , z ) B 3 , can be written as
( x , y , z ) = ( sgn ( x ) · | x | , sgn ( y ) · | y | , sgn ( z ) · | z | ) , with ( | x | , | y | , | z | ) I 0 + .
Therefore, if we denote by ( X ¯ , Y ¯ , Z ¯ ) = U ( | x | , | y | , | z | ) , then we can define U ( x , y , z ) as
U ( x , y , z ) = ( sgn ( x ) · X ¯ , sgn ( y ) · Y ¯ , sgn ( z ) · Z ¯ ) .
Next we deduce the formulas for the inverse of U . First, from (6) we obtain
θ = π Y 2 ( X + Y ) ,
and from (7) we have
ρ = r a ( X + Y + Z ) = π 1 / 3 ( X + Y + Z ) .
Adding (9) and (10), after some more calculations we obtain
sin φ 2 = X + Y 2 ( X + Y + Z ) ,
and further
cos φ = Z ( 2 X + 2 Y + Z ) ( X + Y + Z ) 2 , sin φ = X + Y X + Y + Z 2 ( X + Y X + Y + Z ) 2 .
Finally, the inverse U 1 : K B 3 is defined by
x = π 1 / 3 ( X + Y ) 2 ( X + Y X + Y + Z ) 2 cos π Y 2 ( X + Y ) ,
y = π 1 / 3 ( X + Y ) 2 ( X + Y X + Y + Z ) 2 sin π Y 2 ( X + Y ) ,
z = π 1 / 3 Z ( 2 X + 2 Y + Z ) ( X + Y + Z ) .
for ( X , Y , Z ) K 0 + , and for the other seven octants the formulas can be calculated as in (12).

4. Uniform and Refinable Grids of the Regular Octahedron and of the Ball

In this section we construct a uniform refinement of the regular octahedron K of volume vol ( K ) , more precisely a subdivision of K into 64 cells of two shapes, each of them having the volume vol ( K ) / 64 . This subdivision can be repeated for each of the 64 small cells, the resulting 64 2 cells of volume vol ( K ) / 64 2 being of one of the two types from the first refinement. Next, the volume preserving map U will allow us the construction of uniform and refinable grids of the 3D ball B 3 by transporting the octahedral uniform refinable 3D grids, and further, the construction of orthonormal piecewise constant wavelets on the 3D ball.

4.1. Refinement of the Octahedron

The initial octahedron K consists in four congruent cells, each situated in one of the octants I i + I i , i = 0 , 1 , 2 , 3 (see Figure 3). We will say that this type of cell is T 0 , the index 0 of T 0 being the coarsest level of the refinement. For simplifying the writing we denote by N 0 the set of positive natural numbers and by N n = { 1 , 2 , , n } , for n N 0 .

4.1.1. First Step of Refinement

The cell T 0 = ( A B C D ) I 0 + I 0 , with A ( a , 0 , 0 ) , B ( 0 , a , 0 ) , C ( 0 , 0 , a ) , D ( 0 , 0 , a ) (see Figure 3), will be subdivided into eight smaller cells having the same volume, as follows: we take the mid-points M , N , P , Q , R of the edges A C , B C , A B , A D , B D , respectively. Thus, one obtains t 1 = 6 cells of type T 1 ( M Q O P , M Q A P , N R O P , N R B P , O D Q R and C O M N ), and m 1 = 2 other cells, O M N P and O P Q R , of another type, say M 1 . The cells of type T 1 have the same shape with the cells T 0 . Their volumes are
vol ( T 1 ) = vol ( M 1 ) = vol ( T 0 ) 8 .
Figure 4 and Figure 5 also show the eight cells at the first step of refinement.
Similarly we refine the other three cells situated in I i + I i , i = 1 , 2 , 3 , therefore the total number of cells after the first step of refinement is 32, more precisely 24 of type T 1 and 8 of type M 1 .

4.1.2. Second Step of Refinement

A cell of type T 1 will be subdivided in the same way as a cell of type T 0 , i.e., into six cells of type T 2 and two cells of type M 2 . Their volumes will be
vol ( T 2 ) = vol ( M 2 ) = vol ( T 0 ) 8 2 .
Therefore, from the subdivision of the 6 cells of type T 1 we have 36 cells of type T 2 and 12 cells of type M 2 .
For a cell ( O M N P ) of type M 1 , which is a regular tetrahedron of edge 1 = a 2 / 2 , we take the mid-points of the six edges (see Figure 6 and Figure 7). This will give four cells of type T 2 in the middle and four cells of type M 2 , i.e., regular tetrahedrons of edge 2 = a 2 / 2 2 . From the subdivision of the two cells of type M 1 we have 8 cells of type T 2 and 8 cells of type M 2 .
In conclusion, the second step of subdivision yields in I 0 + I 0 t 2 = 44 cells of type T 2 and m 2 = 20 cells of type M 2 , each having the volume vol ( T 0 ) / 64 , therefore the total number of cells after the second refinement will be 4 · 8 2 , more precisely 76 of type T 2 and 80 of type M 2 .

4.1.3. The General Step of Refinement

Let m j and t j denote the numbers of cells of type M j and T j , respectively, resulted at the step j of the subdivision, starting from one cell of type T 0 . At this step, each of the t j 1 cells of type T j 1 is subdivided into 6 cells of type T j and 2 cells of type M j , and each of the m j 1 cells of type M j 1 is subdivided into 4 cells of type T j and 4 cells of type M j . This implies
t j = 6 t j 1 + 4 m j 1 , m j = 2 t j 1 + 4 m j 1 ,
or
( t j m j ) = A ( t j 1 m j 1 ) = A 2 ( t j 2 m j 2 ) = = A j ( t 0 m 0 ) ,
with t 0 = 1 , m 0 = 0 and A = ( 6 4 2 4 ) . After some calculations we obtain
A j = 1 3 ( 2 j ( 2 2 j + 1 + 1 ) 2 j + 1 ( 2 2 j 1 ) 2 j ( 2 2 j 1 ) 2 j ( 2 2 j + 2 ) ) , whence t j = 2 j 3 ( 2 2 j + 1 + 1 ) , m j = 2 j 3 ( 2 2 j 1 ) ,
the total number of cells of K 1 + K 1 at step j being t j + m j = 8 j , and 4 · 8 j for the whole octahedron K . Each of the cells of type T j and M j has the volume vol ( T 0 ) / 8 j .

4.2. Implementation Issues

Every cell of the polyhedron is identified by the coordinates of its four vertices. We have two types of cells, which will be denoted by T and M .
A cell of type T has the same coordinates x and y for the first two vertices. The z coordinate of the first vertex is greater than the z coordinate of the second vertex and the mean value of these z coordinates gives the value of the z coordinate of the third and fourth vertices of T .
A cell of type M has two pairs of vertices at the same altitude (the same value of the z coordinate).
At every step of refinement, every cell T is divided into 6 cells of type T and two cells of type M . Suppose [ p 1 , p 2 , p 3 , p 4 ] is the array giving the coordinates of the four vertices of a T cell. The coordinates of the vertices of the next level cells are computed as follows
next level cell number 1 : 1 2 [ p 1 + p 1 , p 1 + p 2 , p 1 + p 3 , p 1 + p 4 ] , next level cell number 2 : 1 2 [ p 2 + p 1 , p 2 + p 2 , p 2 + p 3 , p 2 + p 4 ] , next level cell number 3 : 1 2 [ p 3 + p 1 , p 3 + p 2 , p 3 + p 3 , p 3 + p 4 ] , next level cell number 4 : 1 2 [ p 4 + p 1 , p 4 + p 2 , p 4 + p 3 , p 4 + p 4 ] , next level cell number 5 : 1 2 [ p 1 + p 3 , p 2 + p 3 , p 3 + p 4 , p 1 + p 2 ] , next level cell number 6 : 1 2 [ p 1 + p 4 , p 2 + p 4 , p 1 + p 2 , p 3 + p 4 ] , next level cell number 7 : 1 2 [ p 1 + p 2 , p 1 + p 3 , p 1 + p 4 , p 3 + p 4 ] , next level cell number 8 : 1 2 [ p 1 + p 2 , p 2 + p 3 , p 2 + p 4 , p 3 + p 4 ] .
The cells 1–6 are of type T and the cells 7 and 8 are of type M (see Figure 4).
Every cell M consists in 4 cells of type T and 4 cells of type M . Suppose [ p 1 , p 2 , p 3 , p 4 ] is the array giving the coordinates of the four vertices of the cell M and let p k = ( p k x , p k y , p k z ) , k = 1 , 2 , 3 , 4 . We rearrange these four vertices in ascending order with respect to the z coordinate. Let [ q 1 , q 2 , q 3 , q 4 ] be the vector [ p 1 , p 2 , p 3 , p 4 ] sorted ascendingly with respect to the z coordinate of the vertices, i.e., q 1 z q 2 z q 3 z q 4 z . Similarly, let [ r 1 , r 2 , r 3 , r 4 ] be the rearrangement of vertices p 1 , , p 4 such that r 1 x r 2 x r 3 x r 4 x . Let, also, [ s 1 , s 2 , s 3 , s 4 ] be the array of rearranged vertices with respect to the y coordinate in ascending order. The coordinates of the vertices of the cells at the next level are computed as follows:
next level cell number 1 : 1 2 [ q 3 + q 4 , q 1 + q 2 , r 3 + r 4 , s 3 + s 4 ] next level cell number 2 : 1 2 [ q 3 + q 4 , q 1 + q 2 , s 3 + s 4 , r 1 + r 2 ] next level cell number 3 : 1 2 [ q 3 + q 4 , q 1 + q 2 , r 1 + r 2 , s 1 + s 2 ] next level cell number 4 : 1 2 [ q 3 + q 4 , q 1 + q 2 , s 1 + s 2 , r 3 + r 4 ] next level cell number 5 : 1 2 [ p 1 + p 1 , p 1 + p 2 , p 1 + p 3 , p 1 + p 4 ] next level cell number 6 : 1 2 [ p 2 + p 1 , p 2 + p 2 , p 2 + p 3 , p 2 + p 4 ] next level cell number 7 : 1 2 [ p 3 + p 1 , p 3 + p 2 , p 3 + p 3 , p 3 + p 4 ] next level cell number 8 : 1 2 [ p 4 + p 1 , p 4 + p 2 , p 4 + p 3 , p 4 + p 4 ] .
To verify whether a point p = ( p x , p y , p z ) is inside a cell with vertices [ p 1 , p 2 , p 3 , p 4 ] , we compute the following numbers:
d 1 = sgn | p 1 x p 2 x p 3 x p x p 1 y p 2 y p 3 y p y p 1 z p 2 z p 3 z p z 1 1 1 1 | , d 2 = sgn | p 1 x p 2 x p x p 4 x p 1 y p 2 y p y p 4 y p 1 z p 2 z p z p 4 z 1 1 1 1 | , d 3 = sgn | p 1 x p x p 3 x p 4 x p 1 y p y p 3 y p 4 y p 1 z p z p 3 z p 4 z 1 1 1 1 | , d 4 = sgn | p x p 2 x p 3 x p 4 x p y p 2 y p 3 y p 4 y p z p 2 z p 3 z p 4 z 1 1 1 1 | , d 5 = sgn | p 1 x p 2 x p 3 x p 4 x p 1 y p 2 y p 3 y p 4 y p 1 z p 2 z p 3 z p 4 z 1 1 1 1 | .
We calculate v = | d 1 | + | d 2 | + | d 2 | + | d 3 | + | d 4 | + | d 5 | . If | d 1 + d 2 + d 3 + d 4 + d 5 | = v , then for v = 5 the point p is in the interior of the cell, for v = 4 the point p is on one of the faces of the cell, for v = 3 the point p is situated on one of the edges of the cell, and for v = 2 the point p is one of the vertices of the cell. If | d 1 + d 2 + d 3 + d 4 + d 5 | v , the point p is located outside the cell. Since the vertices p k are different we have v 2 .

4.3. Uniform and Refinable Grids of the Ball B 3

If we transport the uniform and refinable grid on K onto the ball B 3 using the volume preserving map U 1 , we obtain a uniform and refinable grid of B 3 . Figure 8, Figure 9 and Figure 10 show the images on B 3 of different cells of K .
Besides the multiresolution analysis and wavelet bases, which will be constructed in Section 5, another useful application is the construction of a uniform sampling of the rotation group S O ( 3 ) , by calculations similar to the ones in [3]. This will be subject of a future paper.

5. Multiresolution Analysis and Piecewise Constant Orthonormal Wavelet Bases of L 2 ( K ) and L 2 ( B 3 )

Let D = D 0 = { D 1 , D 2 , D 3 , D 4 } be the decomposition of the domain K considered in Section 4.1, consisting in four congruent domains (cells) of type T 0 . For D D , let R D denote the set of the eight refined domains, constructed in Section 4.1.1. The set D 1 = D D 0 R D is a refinement of D 0 , consisting in 4 · 8 congruent cells. Continuing the refinement process as we described in Section 4, we obtain a decomposition D j of K , for j N 0 , | D j | = 4 · 8 j .
For a fixed j N 0 we assign to each domain D k j D j , k N j : = N 4 · 8 j , the function φ D k j : K R ,
φ D k j = ( 2 2 ) j 2 vol ( K ) χ D k j ,
where χ D k j is the characteristic function of the domain D k j . Then we define the spaces of functions V j = span { φ D k j , k N j } of dimension 4 · 8 j , consisting of piecewise constant functions on the domains of D j . Moreover, we have φ D k j L 2 ( K ) = 1 , the norm being the usual 2-norm of the space L 2 ( K ) . For A j D j = { D k j , j N j } , let A k j + 1 , k N 8 , be the refined subdomains obtained from A j . One has
φ A j = 1 2 2 ( φ A 1 j + 1 + φ A 2 j + 1 + + φ A 8 j + 1 ) ,
in L 2 ( K ) , equality which implies the inclusion V j V j + 1 , for all j N 0 . With respect to the usual inner product · , · L 2 ( K ) , the spaces V j are Hilbert spaces, with the corresponding usual 2-norm · L 2 ( K ) . In conclusion, the sequence of subspaces V j has the following properties:
  • V j V j + 1   for   all j N 0 ,
  • clos L 2 ( K ) j = 0 V j = L 2 ( K ) ,
  • The set { φ D k j , k N j } is an orthonormal basis of the space V j for each j N 0 ,
i.e., the sequence { V j , j N 0 } constitutes a multiresolution analysis of the space L 2 ( K ) . Let W j denote the orthogonal complement of the coarse space V j in the fine space V j + 1 , so that
V j + 1 = V j W j .
The dimension of W j is dim W j = 28 · 8 j . The spaces W j are called wavelet spaces and their elements are called wavelets. In the following we construct an orthonormal basis of W j . To each domain A j D j , seven wavelets supported on D j will be associated in the following way:
ψ A j = a 1 φ A 1 j + 1 + a 2 φ A 2 j + 1 + + a 8 φ A 8 j + 1 , for N 7 ,
with a j R , N 7 , j N 8 . We have to find conditions on the coefficients a j which ensure that the set { ψ A j , N 7 , A j D j } is an orthonormal basis of W j . First we must have
ψ A j , φ S j = 0 , for N 7 and A j , S j D j .
If A j S j , the equality is immediate, since supp ψ A j supp φ A j and supp φ A j supp φ S j is either empty or an edge, whose measure is zero. If A j = S j , evaluating the inner product (16) we obtain
ψ A j , φ S j = a 1 φ A 1 j + 1 + a 2 φ A 2 j + 1 + + a 8 φ A 8 j + 1 , φ A j   = 1 2 2 ( a 1 + a 2 + + a 8 ) .
Then, each of the orthogonality conditions
ψ A j , ψ A j = δ , for   all   A j D j ,
is equivalent to a 1 a 1 + a 2 a 2 + + a 8 a 8 = δ , , N 7 . In fact, one requires the orthogonality of the 8 × 8 matrix M = ( a i j ) i , j with the entries of the first row equal to 1 / ( 2 2 ) .
A particular case was considered in [12], where the authors divide a tetrahedron into eight small tetrahedrons of the same area using Bey’s method and for the construction of the orthonormal wavelet basis they take the Haar matrix
1 2 2 ( 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 )
Alternatively, we can consider the symmetric orthogonal matrix
( c c c c c c c c c a b b b b b b c b a b b b b b c b b a b b b b c b b b a b b b c b b b b a b b c b b b b b a b c b b b b b b a ) ,
with
a = ± 24 2 28 , b = 4 2 28 , c = 1 2 2 ,
or the tensor product H H H of the matrix
H = 1 2 ( 1 1 1 1 ) , which   is
1 2 2 ( 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 )
or, more general, we can generate all orthogonal 8 × 8 matrices with the entries of the first row equal to 1 / ( 2 2 ) using the method described in [13], where we start with the well known Euler’s formula for the general form of a 3 × 3 rotation matrix. It is also possible to use different orthogonal matrices for the wavelets associated to the decomposition of the cells of type T and M .
Next, following the ideas in [14] we show how one can transport the above multiresolution analysis and wavelet bases on the 3D ball B 3 , using the volume preserving map U : B 3 K constructed in Section 3.
Consider the ball B 3 is given by the parametric equations
ξ = ξ ( X , Y , Z ) = U 1 ( X , Y , Z ) = ( x ( X , Y , Z ) , y ( X , Y , Z ) , z ( X , Y , Z ) ) ,
with ( X , Y , Z ) K . Since U and its inverse preserve the volume, the volume element d ω ( ξ ) of B 3 equals the volume element d X d Y d Z = d x of K (and R 3 ). Therefore, for all f ˜ , g ˜ L 2 ( B 3 ) we have
f ˜ , g ˜ L 2 ( B 3 ) = B 3 f ˜ ( ξ ) ¯ g ˜ ( ξ ) d ω ( ξ )   = U ( B 3 ) f ˜ ( U 1 ( X , Y , Z ) ) ¯ g ˜ ( U 1 ( X , Y , Z ) ) d X d Y d Z   = f ˜ U 1 , g ˜ U 1 L 2 ( K ) ,
and similarly, for all f , g L 2 ( K ) we have
f , g L 2 ( K ) = f U , g U L 2 ( B 3 ) .
If we consider the map Π : L 2 ( B 3 ) L 2 ( K ) induced by U , defined by
( Π f ˜ ) ( X , Y , Z ) = f ˜ ( U 1 ( X , Y , Z ) ) ,   for   all   f ˜ L 2 ( B 3 ) ,
and its inverse Π 1 : L 2 ( K ) L 2 ( B 3 ) ,
( Π 1 f ) ( ξ ) = f ( U ( ξ ) ) ,   for   all   f L 2 ( K ) ,
then Π is a unitary map, that is
Π f ˜ , Π g ˜ L 2 ( K ) = f ˜ , g ˜ L 2 ( B 3 ) ,
Π 1 f , Π 1 g L 2 ( B 3 ) = f , g L 2 ( K ) .
Equality (17) suggests us the construction of orthonormal scaling functions and wavelets defined on B 3 . The scaling functions φ D k j ˜ : B 3 R will be
φ D k j ˜ = φ D k j U = { 1 ,   on   U 1 ( D k j ) , 0 ,   in   rest .
and the wavelets will be defined similarly,
ψ A j ˜ = ψ A j U .
From equality (17) we can conclude that the spaces
V j ˜ : = span { φ D k j ˜ , k N j }
constitute a multiresolution analysis of L 2 ( B 3 ) , each of the set { φ D k j ˜ , k N j } being an orthonormal basis for the space V j ˜ . Moreover, the set
{ ψ A j ˜ , N 7 , A j D j }
is an orthonormal basis of W j ˜ .

6. Conclusions and Future Works

The 3D uniform hierarchical grid constructed here can find applications in texture analysis of crystalls, by constructing a grid in the space of 3D rotations, using the technique used in [3]. A comparison of these grids is subject of a future paper.
Another interesting topic which we are going to approach in the future is to compare our wavelets with other 3D wavelets on the ball, listed in the introduction.

Author Contributions

Conceptualization, writing, visualization, A.H. and D.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Moons, T.; van Gool, L.; Vergauwen, M. 3D reconstruction from multiple images part 1: Principles. Found. Trends Comput. Graph. Vis. 2010, 4, 287–404. [Google Scholar] [CrossRef]
  2. Kendrew, J.C.; Bodo, G.; Dintzis, H.M.; Parrish, R.G.; Wyckoff, H.; Phillips, D.C. A Three-Dimensional Model of the Myoglobin Molecule Obtained by X-Ray Analysis. Nature 1958, 181, 662–666. [Google Scholar] [CrossRef] [PubMed]
  3. Roşca, D.; Morawiec, A.; de Graef, M. A new method of constructing a grid in the space of 3D rotations and its applications to texture analysis. Model. Simul. Mater. Sci. Eng. 2014, 22, 075013. [Google Scholar] [CrossRef]
  4. Flenger, M.; Michel, D.; Michel, V. Harmonic spline-wavelets on the 3D ball and their application to the reconstruction of the Earth’s density distribution from gravitational data and arbitrary shaped satellite orbits. ZAMM J. Appl. Math. Mech. 2006, 86, 856–873. [Google Scholar]
  5. Simons, F.J.; Loris, I.; Nolet, G.; Daubechies, I.; Voronin, S.; Judd, J.S.; Vetter, P.A.; Charléty, J.; Vonesch, C. Solving or resolving global tomographic models with spherical wavelets, and the scale and sparsity of seismic heterogeneity. Geophys. J. Int. 2011, 187, 969–988. [Google Scholar] [CrossRef]
  6. Simons, F.J.; Loris, I.; Brevdo, E.; Daubechies, I. Wavelets and wavelet-like transforms on the sphere and their application to geophysical data inversion. In Wavelets and Sparsity XIV; Papadakis, M., Van de Ville, D., Goyal, V.K., Eds.; International Society for Optics and Photonics: San Diego, CA, USA, 2011; Volume 81380, pp. 1–15. [Google Scholar]
  7. Chow, A. Orthogonal and Symmetric Haar Wavelets on the Three-Dimensional Ball. Master’s Thesis, University of Toronto, Toronto, ON, Canada, 2010. [Google Scholar]
  8. Leistedt, B.; McEwen, J.D. Exact wavelets on the ball. IEEE Trans. Signal Process. 2012, 60, 6257–6269. [Google Scholar] [CrossRef]
  9. Loris, I.; Simons, F.J.; Daubechies, I.; Nolet, G.; Fornasier, M.; Vetter, P.; Judd, S.; Voronin, S.; Vonesch, C.; Charléty, J. A new approach to global seismic tomography based on regularization by sparsity in a novel 3D spherical wavelet basis. In Proceedings of the EGU General Assembly Conference Abstracts, ser. EGU General Assembly Conference Abstracts, Vienna, Austria, 2–7 May 2010; Volume 12, p. 6033. [Google Scholar]
  10. Michel, V. Wavelets on the 3 dimensional ball. Proc. Appl. Math. Mech. 2005, 5, 775–776. [Google Scholar] [CrossRef]
  11. Roşca, D. Locally supported rational spline wavelets on the sphere. Math. Comput. 2005, 74, 1803–1829. [Google Scholar] [CrossRef]
  12. Boscardin, L.B.; Castro, L.R.; Castro, S.M. Haar-Like Wavelets over Tetrahedra. J. Comput. Sci. Technol. 2017, 17, 92–99. [Google Scholar] [CrossRef]
  13. Pop, V.; Roşca, D. Generalized piecewise constant orthogonal wavelet bases on 2D-domains. Appl. Anal. 2011, 90, 715–723. [Google Scholar] [CrossRef]
  14. Roşca, D. Wavelet analysis on some surfaces of revolution via area preserving projection. Appl. Comput. Harm. Anal. 2011, 30, 272–282. [Google Scholar] [CrossRef] [Green Version]
Figure 1. The eight spherical zones obtained as intersections of the coordinate planes with the ball B 3 .
Figure 1. The eight spherical zones obtained as intersections of the coordinate planes with the ball B 3 .
Mathematics 08 00994 g001
Figure 2. The spherical region O A M C and its image O A M C = U ( O A M C ) on the octahedron.
Figure 2. The spherical region O A M C and its image O A M C = U ( O A M C ) on the octahedron.
Mathematics 08 00994 g002
Figure 3. Left: one of the four cells of type T 0 constituting the octahedron. Right: each cell of type T 0 can be subdivided into six cells of type T 1 and two cells of type M 1 .
Figure 3. Left: one of the four cells of type T 0 constituting the octahedron. Right: each cell of type T 0 can be subdivided into six cells of type T 1 and two cells of type M 1 .
Mathematics 08 00994 g003
Figure 4. The subdivision of a T cell.
Figure 4. The subdivision of a T cell.
Mathematics 08 00994 g004
Figure 5. The first step of the refinement: the cell T 0 is divided into two cells of type M 1 (yellow) and six cells of type T 1 : two red, two blue and two green.
Figure 5. The first step of the refinement: the cell T 0 is divided into two cells of type M 1 (yellow) and six cells of type T 1 : two red, two blue and two green.
Mathematics 08 00994 g005
Figure 6. The four cells of type T of the subdivision of a cell of type M .
Figure 6. The four cells of type T of the subdivision of a cell of type M .
Mathematics 08 00994 g006
Figure 7. The subdivision of a cell of type M 1 into four cells of type M : the four tetrahedrons at the corners and four cells of type T in the middle, forming an octahedron.
Figure 7. The subdivision of a cell of type M 1 into four cells of type M : the four tetrahedrons at the corners and four cells of type T in the middle, forming an octahedron.
Mathematics 08 00994 g007
Figure 8. Left: a cell of M in red and a cell of T type in green from the octahedron Middle and right: the corresponding cells of the ball.
Figure 8. Left: a cell of M in red and a cell of T type in green from the octahedron Middle and right: the corresponding cells of the ball.
Mathematics 08 00994 g008
Figure 9. Left: the image on the ball of the positive octant; Right: the same image rotated.
Figure 9. Left: the image on the ball of the positive octant; Right: the same image rotated.
Mathematics 08 00994 g009
Figure 10. The image on the ball of the cells of the octahedron corresponding to Figure 7.
Figure 10. The image on the ball of the cells of the octahedron corresponding to Figure 7.
Mathematics 08 00994 g010

Share and Cite

MDPI and ACS Style

Holhoş, A.; Roşca, D. Orhonormal Wavelet Bases on The 3D Ball Via Volume Preserving Map from the Regular Octahedron. Mathematics 2020, 8, 994. https://doi.org/10.3390/math8060994

AMA Style

Holhoş A, Roşca D. Orhonormal Wavelet Bases on The 3D Ball Via Volume Preserving Map from the Regular Octahedron. Mathematics. 2020; 8(6):994. https://doi.org/10.3390/math8060994

Chicago/Turabian Style

Holhoş, Adrian, and Daniela Roşca. 2020. "Orhonormal Wavelet Bases on The 3D Ball Via Volume Preserving Map from the Regular Octahedron" Mathematics 8, no. 6: 994. https://doi.org/10.3390/math8060994

APA Style

Holhoş, A., & Roşca, D. (2020). Orhonormal Wavelet Bases on The 3D Ball Via Volume Preserving Map from the Regular Octahedron. Mathematics, 8(6), 994. https://doi.org/10.3390/math8060994

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop