Next Article in Journal
Some Real-Life Applications of a Newly Constructed Derivative Free Iterative Scheme
Next Article in Special Issue
Geometric Properties of Certain Analytic Functions Associated with the Dziok-Srivastava Operator
Previous Article in Journal
Dynamics Models of Synchronized Piecewise Linear Discrete Chaotic Systems of High Order
Previous Article in Special Issue
A Dunkl–Type Generalization of Szász–Kantorovich Operators via Post–Quantum Calculus
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Continuous Wavelet Transform of Schwartz Tempered Distributions in S′ ( R n )

by
Jagdish Narayan Pandey
1,
Jay Singh Maurya
2,
Santosh Kumar Upadhyay
2,* and
Hari Mohan Srivastava
3,4,*
1
School of Mathematics and Statistics, Carleton University, Ottawa, ON K1S 5B6, Canada
2
Department of Mathematical Sciences, Indian Institute of Technology (Banaras Hindu University), Varanasi-221005, India
3
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
4
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
*
Authors to whom correspondence should be addressed.
Symmetry 2019, 11(2), 235; https://doi.org/10.3390/sym11020235
Submission received: 11 January 2019 / Revised: 2 February 2019 / Accepted: 12 February 2019 / Published: 15 February 2019
(This article belongs to the Special Issue Integral Transforms and Operational Calculus)

Abstract

:
In this paper, we define a continuous wavelet transform of a Schwartz tempered distribution f S ( R n ) with wavelet kernel ψ S ( R n ) and derive the corresponding wavelet inversion formula interpreting convergence in the weak topology of S ( R n ) . It turns out that the wavelet transform of a constant distribution is zero and our wavelet inversion formula is not true for constant distribution, but it is true for a non-constant distribution which is not equal to the sum of a non-constant distribution with a non-zero constant distribution.

1. Introduction

As studied in the earlier works (see, for example, [1,2,3,4,5,6,7,8,9,10,11,12], we define a Schwartz testing function space S ( R n ) to consist of C functions ϕ defined on R n and satisfying the following conditions:
sup x R n x n m n x 2 m 2 x 1 m 1 k n x n k n 1 x n 1 k 2 x 2 k 1 x 1 ϕ ( x 1 , x 2 , x 3 , x n ) <
m , k = 0 , 1 , 2 , .
The topology over S ( R n ) is generated by the following sequence of semi-norms:
{ γ m , k } m , k = 0 ,
where
γ m , k ( ϕ ) = sup x R n x m ϕ ( k ) ( x ) ,
m = m 1 + m 2 + m 3 + + m n ,
k = k 1 + k 2 + k 3 + + k n ,
x m = x 1 m 1 x 2 m 2 x 3 m 3 x n m n ,
ϕ ( k ) ( x ) = k n x n k 3 x 3 k 2 x 2 k 1 x 1 ϕ ( x ) .
These collections of semi-norms in Equation (2) are separating which means that an element ϕ S ( R n ) is non-zero if and only if there exists at least one of the semi-norms γ m , k satisfying γ m , k ( ϕ ) 0 . A sequence { ϕ ν } ν = 1 in S ( R n ) tends to ϕ in S ( R n ) if and only if γ m , k ( ϕ ν ϕ ) 0 as ν goes to for each of the subscripts m , k = 0 , 1 , 2 , , are as defined above. Now, one can verify that the function e ( t 1 2 + t 2 2 + t 3 3 + + t n 2 ) S ( R n ) and the sequence
ν 1 ν e ( t 1 2 + t 2 2 + t 3 3 + + t n 2 ) e ( t 1 2 + t 2 2 + t 3 3 + + t n 2 )
in S ( R n ) as ν . The Dirac delta function δ ( t ) is defined here by
< δ ( t 1 - a 1 , t 2 - a 2 , t 3 - a 3 , , t n - a n ) , ϕ ( t 1 , t 2 , t 3 , , t n ) > = ϕ ( a 1 , a 2 , a 3 , , a n ) .
So, we have
< δ ( t 1 , t 2 , t 3 , , t n ) , ϕ ( t 1 , t 2 , t 3 , , t n ) > = ϕ ( 0 , 0 , 0 , , 0 ) ϕ S ( R n ) .
It is easy to check that δ ( t 1 , t 2 , , t n ) is a continuous linear functional on S ( R n ) . A regular distribution generated by a locally integrable function is an element of S ( R n ) .
Our objective now is to find an element ψ S ( R n ) , which is a wavelet, so as to be able to define the wavelet transform of f S ( R n ) with respect to this kernel.
A function ψ L 2 ( R n ) is a window function if it satisfies the following conditions:
x i ψ ( x ) , x i x j ψ ( x ) , , x 1 x 2 x 3 x n ψ ( x )
belonging to L 2 ( R n ) . Here, i , j , k , take on all assumed values 1 , 2 , 3 , and all the lower suffixes in a term in Equation (3) are different. It has been proved by Pandey et al. [4,13] that a window function which is an element of L 2 ( R n ) belongs to L 1 ( R n ) . It is easy to verify that every element of S ( R n ) is a window function.
A window function ψ belonging to L 2 ( R n ) and satisfying the following condition:
ψ ( x 1 , x 2 , x 3 , , x i , , x n ) d x i = 0 ( i = 1 , 2 , 3 , , n )
also satisfies the admissibility condition given by
R n ψ ^ ( Λ ) 2 Λ d Λ < ,
where
ψ ^ ( Λ ) = ψ ^ ( λ 1 , λ 2 , λ 3 , , λ n ) ,
Λ = λ 1 λ 2 λ n
and ψ ^ ( Λ ) is the Fourier transform of ψ ( x ) ψ ( x 1 , x 2 , x 3 , , x n ) (see also a recent work [14]). Clearly, ψ in Equation (4) is a wavelet [13]. As an example, one can easily verify that the function given by
ψ ( x ) = x 1 x 2 x n e ( x 1 2 + x 2 2 + x 3 3 + + x n 2 )
is a wavelet belonging to S ( R n ) . Let s ( R n ) be a subspace of S ( R n ) such that every element ϕ s ( R n ) satisfies Equation (4). Clearly, every element of s ( R n ) is a wavelet [4].
Now, if f S ( R n ) and ψ is a wavelet belonging to S ( R n ) , the wavelet transform of f can be defined by
W f ( a , b ) = f ( x ) , 1 a ψ ( x b a ) ,
where · , · denotes the inner product and ( a , b ) is the argument of wavelet transform W f ( a , b ) of f with respect to wavelet ψ ,
ψ x - b a = ψ x 1 - b 1 a 1 , x 2 - b 2 a 2 , x 3 - b 3 a 3 , , x n - b n a n
a i 0 ( i = 1 , 2 , 3 , , n )
and
a = a 1 a 2 a 3 a n .
Our objective next is to prove the following inversion formula:
1 C ψ R n R n W f ( a , b ) ψ ( t b a ) d b d a a a 2 , ϕ ( t ) f , ϕ , ϕ S ( R n )
by interpreting the convergence in S ( R n ) . Here, we have
C ψ = ( 2 π ) n R n | ψ ^ ( ) | 2 | | d .
The derivation of the inversion formula given by the formula (6) is difficult. We, therefore, make an easy approach. The work on the multidimensional wavelet transform with positive scale [ a > 0 ] was done by Daubechies [15], Meyer [16], Pathak [17], and some others. Motivated by the earlier works [6,8,12], Pandey et al. [4] studied a generalization of these works and extended the multidimensional wavelet transform with real scale [ a 0 ] . In the year 1995, Holschneider [18] extended the multidimensional wavelet transform to Schwartz tempered distributions with positive scales [ a > 0 ] . Recently, Weisz [19,20] studied the inversion formula for the continuous wavelet transform and found its convergence in L p and Wiener amalgam spaces. Postnikov et al. [21] studied computational implementation of the inverse continuous wavelet transform without a requirement of the admissibility condition.
Our objective in this investigation is to extend the wavelet transform to Schwartz tempered distributions with real scale [ a 0 ] . The standard cut off of negative frequencies (which is required to apply continuous wavelet transform with a > 0 ) may result in a loss of information if the transformed functions were non-symmetric (in the Fourier space) mixture of real and imaginary frequency components. Our proposed and proven inversion formula is free from the mentioned defect. The main advantage of our work is a possible further practical utility of the proven result and the simplicity of calculation; in addition, our extension of the multidimensional wavelet inversion formula is the most general. In [4], it is proved that a window function ψ ( x ) L 2 ( R n ) is a wavelet if and only if the integral of ψ along each of the axes is zero; therefore, any ψ ( x ) s ( R n ) is a wavelet. Hence, the wavelet transform of a constant distribution is zero.
We thus realize that two elements of S ( R n ) having equal wavelet transform will differ by a constant in general. Holschneider [18] uses the wavelet inversion formula for f S ( R n ) , but he does not mention the wavelet inversion formula and its convergence in S ( R n ) . Perhaps, he takes it for granted, as such an inversion formula is valid for elements of L 2 ( R n ) by interpreting convergence in L 2 ( R n ) . Our objective in this paper is to fill up all these gaps. We will prove the inversion Formula (6) in Section 3.

2. Structure of Generalized Functions of Slow Growth

Elements of S ( R n ) are called tempered distributions or distributions of slow growth.
Definition 1.
A function f ( x ) is said to be a function of slow growth in R n if, for m 0 , we have
R n | f ( x ) | 1 + | x | m d x <
and it determines a regular functional f in S ( R n ) by the formula given by
f , ϕ = R n f ( x ) ϕ ( x ) d x ( ϕ S ( R n ) ) .
It is easy to verify that the functional f defined by Equation (7) exists ϕ S ( R n ) and that it is linear as well as continuous on S ( R n ) .
We now quote a theorem of Vladimirov proved in his book [8].
Theorem 1.
If f S ( R n ) , then there exists a continuous function g of slow growth in R n and an integer m 0 such that
f ( x ) = D 1 m D 2 m D 3 m D n m g ( x ) , x i D i
or, equivalently,
f ( x ) = D m g ( x ) ( D : = D 1 D 2 D 3 D n ) .
The n-dimensional wavelet inversion formula for tempered distributions will now be proved very simply by using the structure Formula (9). This structure formula enables us to reduce the wavelet analysis problem relating to tempered distributions to the classical wavelet analysis problem of L 2 ( R n ) functions. Our wavelet inversion formula of L 2 ( R n ) functions will be used quite successfully in order to derive the wavelet inversion formula for the wavelet transform of tempered distributions.

3. Wavelet Transform of Tempered Distributions in R n and Its Inversion

Henceforth, we assume that a 0 implies each of the components a i 0 for all i = 1 , 2 , 3 , , n and that a > 0 means each of the component a i of a is greater than zero. Moreover, | a | > ϵ will mean that | a i | > ϵ for all i = 1 , 2 , 3 , , n .
Let ψ ( x ) = ψ ( x 1 , x 2 , , x n ) S ( R n ) . Then ψ ( x ) is a window function and is a wavelet if and only if
ψ ( x 1 , x 2 , , x i , , x n ) d x i = 0 ( i = 1 , 2 , , n ) .
We define ψ x b a ψ x 1 b 1 a 1 , x 2 b 2 a 2 , , x n b n a n , where a i , b i are real numbers and none of the a i is zero. The wavelet transform W f ( a , b ) of f with respect to the kernel 1 | a | ψ x b a is defined by
W f ( a , b ) = f ( x ) , 1 | a | ψ x b a .
Here, we assume that
| a | = | a 1 a 2 a 3 a n | a i 0 ( i = 1 , 2 , 3 , , n ) .
We now prove the following lemmas which will be used to prove the main inversion formula.
Lemma 1.
(see [13]) Let ϕ S ( R n ) and ψ be a wavelet belonging to S ( R n ) .
1 C ψ a R n b R n t R n D t m ϕ ( t ) ψ ¯ t b a ψ x 0 b a d t d b d a a 2 | a | = D x m ϕ ( x ) | x = x 0 ( x 0 R n ) .
This is called pointwise convergence of the wavelet inversion formula.
Lemma 2.
Let ϕ S R n and let ψ be a wavelet belonging to S R n . Then
1 C ψ a R n b R n t R n D t m ϕ ( t ) ψ ¯ t b a ψ x b a d t d b d a a 2 | a |
converges to D x m ϕ ( x ) uniformly for all x R n .
Proof. 
Let
F ( ) = 1 ( 2 π ) n 2 R n D t m ϕ ( t ) e i . t d t
be the Fourier transform of D t m ϕ ( t ) . It follows that, in the sense of L 2 ( R n ) convergence [17],
1 C ψ a R n b R n c R n D t m ϕ ( t ) ψ ¯ t b a ψ x b a d t d b d a a 2 | a | = 1 ( 2 π ) n 2 R n F ( ) e i . x d = D x m ϕ ( x ) .
This convergence is also uniform by a Weierstrass M-test because
1 ( 2 π ) n 2 R n F ( ) e i . x d 1 ( 2 π ) n 2 R n | F ( ) | d <
and
F ( ) S ( R n ) .
 □
Theorem 2.
Let f S ( R n ) and W f ( a , b ) be its wavelet transform defined by
W f ( a , b ) = f ( x ) , 1 | a | ψ x b a .
Then the inversion formula of the wavelet transform W f ( a , b ) is given by
1 C ψ R n R n W f ( a , b ) ψ t b a d b d a | a | a 2 , ϕ ( t ) = f , ϕ
ϕ S ( R n ) ,
where the equality holds true almost everywhere.
Proof. 
Using the structure formula (9) for f, we find by distributional differentiation that
W f ( a , b ) = D x m g ( x ) , 1 | a | ψ x b a      = g ( x ) , D x m 1 | a | ψ x b a .
Here, we have
- D x = - D x 1 - D x 2 - D x 3 - D x n D x i x i ( i = 1 , 2 , 3 , , n ) .
We thus obtain
W f ( a , b ) = g ( x ) , D b m 1 | a | ψ x - b a D b = b 1 b 2 b 3 b n .
 □
The expression on the left-hand side in (12) can be written as follows:
Ω : = 1 C ψ t R n a R n b R n x R n g ( x ) D b m 1 | a | ψ ¯ x b a ψ t b a ϕ ¯ ( t ) d x d b d a d t = 1 C ψ t R n a R n x R n g ( x ) b R n D b m ψ ¯ x b a ψ t b a d b ϕ ¯ ( t ) d x d a d t a 2 | a | .
We now evaluate the integral in the big bracket by parts to find from Equation (13) that
Ω = 1 C ψ t R n a R n x R n g ( x ) b R n ψ ¯ x b a D b m ψ t b a d b ϕ ¯ ( t ) d x d a d t a 2 | a | = 1 C ψ t R n a R n x R n g ( x ) b R n ψ ¯ x b a + D t m ψ t b a d b ϕ ¯ ( t ) d x d a d t a 2 | a | ,
which, upon inverting the order of integration with respect to a and t, yields
Ω = 1 C ψ a R n t R n b R n x R n g ( x ) ψ ¯ x b a d x D t m ψ t b a d b ϕ ¯ ( t ) d t d a | a | 2 | a | = 1 C ψ a R n b R n x R n g ( x ) ψ ¯ x b a d x t R n ψ t b a d b D t m ϕ ¯ ( t ) d t d a | a | 2 | a | .
In order to justify the inversion of the order of integration with respect to a and t, we first perform the integration in the region ( a , t ) : | a | > ϵ , a , t R n , invert the order of integration and then let ϵ 0 . This existence of the triple integral in terms of b, a and t in Equation (14) is proved by using the Plancherel theorem with respect to the variable b. Thus, by using
C ψ = ( 2 π ) n R n ψ ^ ( ) 2 d ,
we notice that the variable a disappears from the denominator and every calculation goes on smoothly. Since the functions ϕ and ψ are elements of S ( R n ) , the Fubini’s theorem can be applied in order to justify the above interchanges of the order of integration.
Now, Equation (14) can be written as follows:
g ( x ) , 1 C ψ a R n b R n t R n D t m ϕ ( t ) ψ ¯ t b a d t ψ x b a d b d a | a | 2 | a |
= g ( x ) , D x m ϕ ( x ) ,
by means of the wavelet inversion formula in R n [4] and Lemma 2.
We note that the triple integral in Equation (15) converges uniformly to D x m ϕ ( x ) x R n . Thus, Equation (15) becomes Equation (16):
g ( x ) , D x m ϕ ( x ) = D x m g ( x ) , ϕ ( x ) = f ( x ) , ϕ ( x ) .    

4. Conclusions

In our present investigation, we have introduced and studied a continuous wavelet transform of a Schwartz tempered distribution f S ( R n ) with the wavelet kernel ψ S ( R n ) . We have successfully derived the corresponding wavelet inversion formula by interpreting convergence in the weak topology of S ( R n ) .
We have found that the wavelet transform of a constant distribution is zero and also that our wavelet inversion formula is not true for constant distribution, but it is true for a non-constant distribution which is not equal to the sum of a non-constant distribution with a non-zero constant distribution. Our results and findings are stated and proved as Lemmas and Theorems.

Author Contributions

Conceptualization, J.N.P. and S.K.U.; Methodology, S.K.U. and J.S.M.; Software, J.S.M.; Validation, H.M.S.; Formal analysis, H.M.S.; Writing–original draft preparation, S.K.U. and J.S.M.; Writing–review and editing, S.K.U. and H.M.S.; Supervision, J.N.P. and H.M.S.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bremmermann, H. Distributions, Complex Variables and Fourier Transforms; Addison-Wesley Publishing Company Inc.: Boston, MA, USA, 1965. [Google Scholar]
  2. Kantorovich, L.V.; Akilov, G.P. Functional Analysis in Normed Spaces; Macmillan: New York, NY, USA, 1963. [Google Scholar]
  3. Pandey, J.N. The Hilbert Transform of Schwartz Distributions and Applications; John Wiley and Sons Inc.: Hoboken, NJ, USA, 1996. [Google Scholar]
  4. Pandey, J.N.; Upadhyay, S.K. Continuous Wavelet transform and window functions. Proc. Am. Math. Soc. 2015, 143, 4750–4773. [Google Scholar] [CrossRef]
  5. Schwartz, L. Theorie des Distributions; Hermann: Paris, France, 1966. [Google Scholar]
  6. Shilov, G.E. Generalized Functions and Partial Differential Equations; Gordon and Breach Publishing Co.: Chelmsford, MA, USA, 2005. [Google Scholar]
  7. Treves, F. Topological Vector Spaces, Distributions and Kernels; Academic Press: New York, NY, USA, 1997. [Google Scholar]
  8. Vladimirov, V.S. Generalized Functions in Mathematical Physics; Yankovasky, G., Ed.; Central Books Ltd: London, UK, 1976; ISBN 9780714715452. [Google Scholar]
  9. Walter, G.G.; Shen, X. Wavelets and Other Orthogonal Systems, 2nd ed.; Chapman and Hall (CRC Press): Boca Raton, FL, USA, 2009. [Google Scholar]
  10. Yosida, K. Functional Analysis; Springer: Berlin, Germany, 1995. [Google Scholar]
  11. Zemanian, A.H. Distribution Theory and Transform Analysis; McGraw-Hill Book Company: New York, NY, USA, 1965. [Google Scholar]
  12. Zemanian, A.H. Generalized Integral Transformation; Inter Science Publishers, John Wiley and Sons Inc.: Hoboken, NJ, USA, 1968. [Google Scholar]
  13. Pandey, J.N.; Jha, N.K.; Singh, O.P. The continuous wavelet transform in n-dimensions. Int. J. Wavelets Multiresolut. Inf. Process. 2016, 14, 13. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Upadhyay, S.K.; Khatterwani, K. A family of pseudo-differential operators on the Schwartz space associated with the fractional Fourier transform. Russ. J. Math. Phys. 2017, 24, 534–543. [Google Scholar] [CrossRef]
  15. Daubechies, I. Ten Lectures on Wavelets; University of Lowell: Lowell, MA, USA, 1990. [Google Scholar]
  16. Meyer, Y. Wavelets and Operators; Cambridge Studies in Advanced Mathematics (Series 37); Cambridge University Press: Cambridge, UK, 1992. [Google Scholar]
  17. Pathak, R.S. The Wavelet Transform; Atlantic Press/World Scientific: Paris, France, 2009. [Google Scholar]
  18. Holschneider, M. Wavelets an Analysis Tool; Oxford Science Publications, Clarendon (Oxford University) Press: Oxford, UK, 1995. [Google Scholar]
  19. Weisz, F. Convergence of the inverse continuous wavelet transform in Wiener amalgam spaces. Analysis 2015, 35, 33–46. [Google Scholar] [CrossRef]
  20. Weisz, F. Inversion Formulas for the Continuous Wavelet Transform. Acta Math. Hungar. 2013, 138, 237–258. [Google Scholar] [CrossRef]
  21. Postnikov, E.B.; Lebedeva, E.A.; Lavrova, A.I. Computational implementation of the inverse continuous wavelet transform without a requirement of the admissibility condition. Appl. Math. Comput. 2016, 282, 128–136. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Pandey, J.N.; Maurya, J.S.; Upadhyay, S.K.; Srivastava, H.M. Continuous Wavelet Transform of Schwartz Tempered Distributions in S′ ( R n ). Symmetry 2019, 11, 235. https://doi.org/10.3390/sym11020235

AMA Style

Pandey JN, Maurya JS, Upadhyay SK, Srivastava HM. Continuous Wavelet Transform of Schwartz Tempered Distributions in S′ ( R n ). Symmetry. 2019; 11(2):235. https://doi.org/10.3390/sym11020235

Chicago/Turabian Style

Pandey, Jagdish Narayan, Jay Singh Maurya, Santosh Kumar Upadhyay, and Hari Mohan Srivastava. 2019. "Continuous Wavelet Transform of Schwartz Tempered Distributions in S′ ( R n )" Symmetry 11, no. 2: 235. https://doi.org/10.3390/sym11020235

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