## CONSTRUCTING MULTIRESOLUTION ANALYSIS VIA WAVELET PACKETS ON SOBOLEV SPACE IN LOCAL FIELDS

## MANISH KUMAR

Abstract. We define Sobolev spaces H s ( K q ) over a local field K q of finite characteristic p &gt; 0, where q = p c for a prime p and c ∈ N . This paper introduces novel fractal functions, such as the Weierstrass type and 3-adic Cantor type, as intriguing examples within these spaces and a few others. Employing prime elements, we develop a Multi-Resolution Analysis (MRA) and examine wavelet expansions, focusing on the orthogonality of both basic and fractal wavelet packets at various scales. We utilize convolution theory to construct Haar wavelet packets and demonstrate the orthogonality of all discussed wavelet packets within H s ( K q ), enhancing the analytical capabilities of these Sobolev spaces.

## 1. Introduction

Wavelet packets (sometimes known as wave packets or subband trees) are a further decomposition of wavelet space; see Coifman, Meyer, Wickerhauser, and others in [7-9,26] for a background. Wavelet packets provide very elegant and sophisticated mathematical tools. They are essential for applications in science and engineering while dealing with both the development of theory and applications. It was already used in signal processing and compression technique; see [8, 26]. Medical science uses it as a preclinical diagnosis (see [27]). In [8], the authors investigated in-depth the theory of wavelet packets and their properties in a classical sense. A detailed analysis of the theory of wavelet packets in L 2 ( R ) is given in the famous books by Chui [6], Hern´ndez and Weiss [13], or by a

Date : August 2, 2024.

2000 Mathematics Subject Classification. Primary: 42C40; Secondary: 40A30, 11F87, 43A70, 46E35.

Key words and phrases. Wavelets, Wavelet packets, multiresolution analysis, local field, Sobolev space.

## MANISH KUMAR

Ruch and Fleet [25]. Similarly, motivated by the work of Bastin and Laubin [2], Pathak and Kumar in [19] constructed a MRA and derived many important properties of wavelet packets for the Sobolev space H s ( R ). The depth analysis of number theory on local fields can be seen in [12,15,17,21,22]. Several mathematicians focused on working with local fields and have found countless applications in many research areas, including number theory, representation theory, class field theory, division algebras, dynamical systems, quadratic forms, linear algebraic groups, and algebraic geometry. Also, many authors have investigated the class field theory (which is a fundamental branch of algebraic number theory) using Fourier analysis on the local field, and certain zeta functions that can be found in [10, 11, 20, 24]. To the best of my knowledge, a minimal amount of work has been researched for wavelet packets in classical spaces, say space of all square-integrable functions associated with a local field K q of finite characteristic p &gt; 0, denoted by L 2 ( K q ), see [3,18], but not for distributional spaces, for instance, Sobolev space associated with local field K q of finite characteristic p &gt; 0 denoted by H s ( K q ). Moreover, reference [3] discusses only theoretical aspects without providing examples, and examples of wavelet packets in Sobolev space H s ( K q ) are absent from the current literature.

Motivated by this fact, including the lack of examples, we wish to define Sobolev space using K q and illustrate it via a few interesting examples, including fractals. Further, we construct MRA on Sobolev space H s ( K q ). Following the technique of MRA, we derive wavelet packets and investigate their important properties with exciting new examples in H s ( K q ). Before starting the proposed work, we recall some outstanding contributions by the authors in the classical sense; see [1,4,5,14,16]. The wavelet theory on local fields and analogous groups is discussed in [4, 5]. Further, the authors in [1, 14, 16] also explored the MRA technique and wavelets on the p -adic field Q p of characteristic p = 0. Furthermore, the authors [14] established the MRA technique on a local field in wavelet analysis along with interesting properties of wavelets. An example is also presented. From the work

of Bahera and Jahan [3], one can easily observe that to construct orthonormal wavelet packets in the space L 2 ( K q ), it only requires a single scaling function ϕ . It is pretty similar to the construction of the orthonormal wavelet packets in L 2 ( R ); see [25] for a background. Likewise, we wish to construct orthonormal wavelet packets in H s ( K q ). However, constructing wavelet packets is not a simple task in the Sobolev space, as a single scaling function is incapable of generating orthonormal functions at each level (due to the variant property of the Sobolev norm on dilation). This phenomenon gives a more general construction as scaling functions depend on the level.

Organization of the work : In section 2, definitions and preliminaries of the local field K q are provided. In section 3, we have defined the space H s ( K q ) and illustrated this space via seven distinct, exciting examples. Further, we stated some essential results and established the concept of the MRA technique in H s ( K q ). Following this technique, we have constructed wavelet packets in the same space. Section 4 proves some important properties of the basic wavelet packets at the base level. In section 5, we have constructed wavelet packet functions at different scales generated by MRA in H s ( K q ), and their orthogonality properties are derived. Further, an alternate technique is used to derive orthogonality properties of wavelet packet functions at different scales and construct three important examples (Haar wavelet packets, Weierstrass type wavelet packets, and 3-adic Cantor type wavelet packets). Finally, a conclusion is made in the last section.

## 2. Definitions and preliminaries on local field

This section provides the definition of a local field K q and its important subsets, such as integerring, ideal, prime ideal, maximal ideal, group of units, fractional ideal, and their Haar measures, along with algebraic as well as topological proprieties.

Definition 2.1 (Non-Archimedean valued norm) . If a mapping | . | : K q → [0 , ∞ ) , where q = p , p c a prime number , c ∈ N defined by | a | satisfies the following axioms

- (1) For all a ∈ K q , | a | = 0 if and only if a = 0 ,
- (2) for all a and b belongs to K q , | ab | = | a | | b | ,

/negationslash

- (3) (Ultrametric inequality) For any two members a and b belongs to K q such that | a | = | b | = ⇒ | a + b | = max {| a , | | b |} . Then | a | is called a non-Archimedean norm of a in K q , and the field K q is said to be a non-Archimedean valued field.

Definition 2.2 (Local Field) . A complete topological field which possesses the property of locally compact, totally disconnected, and non-Archimedean valued so-called a local field K q , for a prime p and c ∈ N such that q = p c . Note that K + q and K ∗ q are two locally compact additive abelian and multiplicative groups in K q .

Note: The relevance of the integer 'q' lies in the structure and properties of the local field K q . The integer 'q' in the context of local fields and non-Archimedean valued norms refers to the cardinality of the residue field, which has significant implications for the algebraic structure and properties of the local field. The residue field of a local field is obtained by considering the equivalence classes of elements in the local field modulo a maximal ideal. The cardinality (the number of elements) of the residue field is denoted by q = p , p c a prime number , c ∈ N . Now we are only interested in K + q ( ≡ K q ) to define Haar measure and Haar integrals as follows:

/negationslash

- 2.1. Haar measure and integral on local field. The Haar measure for a measurable set E ⊂ K q is defined by µ E ( ) ≡ | E | which satisfies invariance of translation (i.e., | aE | = | Ea | = | E | for all a ∈ K q ). The quantity d αa ( ) = | α da | , where | α | is the valuation of α for all α = 0 ∈ K q .

The Haar integral for a Haar measurable function φ : K q → C is defined by ∫ K q φ x dx ( ) satisfies translation invariance for all a ∈ K , q ∫ K q φ x ( + ) a da = ∫ K q φ a da ( ) . Further, | E | = ∫ K q χ E ( a da ) , where da is the Haar measure of K q and χ E is the characteristic function of E .

## 2.2. Important subsets in local field. Let us define the following sets on the local field as follows:

- (1) The set D q = { a ∈ K q : | a | ≤ } 1 denotes the ring of integers in K q , which is a unique maximal sub-ring, open, closed, as well as compact. The Haar measure of this set is | D q | = 1.
- (2) The set P q = { a ∈ K q : | a | &lt; 1 } denotes the prime ideal in K q . This ideal is a unique and maximal principle in D q . Moreover, it is an open, closed, and compact set, and its Haar measure is |P | q = q -1 .
- Before defining further important sets in K q , let us see some useful facts in K q . Since K q is totally disconnected. Therefore, the set S = { s k : k ∈ Z } ∪ { 0 } is a discrete set for some s &gt; 0 where the values of | a | as a runs over K q in discrete manner. Following this fact, there exists a fixed element p of P q with maximal absolute value, such that p becomes a prime element of K q . Note that an ideal in D q can be represented by P q = 〈 p 〉 = p D q with Haar measure | p | = q -1 .
- (3) The set D ∗ q = D \ P q q = { a ∈ K q : | a | = 1 } denotes the group of units in K ∗ q . This set is open, closed, and compact. The Haar measure is |D | ∗ q = 1 -q -1 .

/negationslash

- (4) The set P k q = { a ∈ K q : | a | ≤ q -k } = p k D q , k ∈ Z denotes the fractional ideals in K q . Each P k q is compact, open and is a subgroup of K + q (see [23]). The Haar measures are |P k q | = p k = q -k , k ∈ Z . If an element a = 0 belongs to K q , then we can write a = p k a ′ , where a ′ ∈ D ∗ q .

Now from [23], we can define the quotient set in K q , by D q / P q ∼ = GF q ( ). Assume U = { u i } q -1 i =0 is any fixed full set of coset representatives of P q in D q . Now, if a belongs P k q , k ∈ Z , then a can be written in a unique manner by a = ∑ ∞ l = k c l p l , where c l ∈ U .

Let us generalize the Fourier transform on a local field K q with the help of Pontryagin duality. The additive group of K + q of a local field K q is isomorphic to its character group Γ, and also K + q is a self-dual (due to Pontryagin duality theorem). Following this fact, we can find a non-trivial, unitary, and continuous character χ ∈ Γ in such a way that it is always trivial on D q but is non-trivial on P -1 q . Thus, this character χ can be obtained by starting with any non-trivial and rescaling character. We can define and classify this character χ in the following way, for a, b ∈ K q such that χ b ( a ) = χ ba ( ).

Definition 2.3. Suppose φ is a member of L 1 ( K q ) , then the Fourier transform of the function φ is denoted by ˆ φ and defined by

$$\hat { \phi } ( \xi ) = \int _ { K _ { q } } \phi ( x ) \overline { \chi _ { \xi } ( x ) } \, \mathrm d x = \int _ { K _ { q } } \phi ( x ) \overline { \chi ( \xi x ) } \, \mathrm d x = \int _ { K _ { q } } \phi ( x ) \chi ( - \xi x ) \, \mathrm d x.$$

where χ ξx ( ) = χ ( -ξx ). The following results can be easily proved on K q in a similar way on the real line R by using the Fourier analysis technique.

- (1) The map φ → ˆ is a linear and bounded non-increasing norm transformation form φ L 1 ( K q ) into L ∞ ( K q ), that is, ( φ 1 + φ 2 ) ∧ → ˆ φ 1 + ˆ φ 2 and ‖ ˆ φ ‖ L ∞ ( K q ) ≤ ‖ φ ‖ L 1 ( K q ) .
- (2) If φ ∈ L 1 ( K q ), then ˆ ( φ ξ ) is uniformly continuous function on ξ ∈ Γ.
- (3) φ ∈ L 1 ( K q ) ∩ L 2 ( K q ), then ‖ ˆ φ ‖ 2 = ‖ φ ‖ 2 .

We borrow the definition of Fourier transform for a function φ in L 2 ( K q ) provided in [23] and let Φ P k q be the characteristic function of P k q , for k ∈ Z , then we define the following definition.

Definition 2.4 (Fourier transform of L 2 -functions) . Let φ k = φ Φ P k q . Then φ k is the so called k -cut function of φ , where k ∈ Z . It is obvious that φ k belongs to L 1 ( K q ) ∩ L 2 ( K q ) . Then

$$\hat { \phi } _ { k } ( \xi ) = \int _ { K _ { q } } \phi _ { k } ( x ) \overline { \chi _ { \xi } ( x ) } \, \mathrm d x = \int _ { | x | \leq q ^ { k } } \phi ( x ) \overline { \chi _ { \xi } ( x ) } \, \mathrm d x.$$

Hence, the Fourier transform of a function φ ∈ L 2 ( K q ) is provided by

$$\hat { \phi } ( \xi ) = \lim _ { k \to + \infty } \hat { \phi } _ { k } ( \xi ) = \lim _ { k \to + \infty } \int _ { | x | \leq q ^ { k } } \phi ( x ) \overline { \chi _ { \xi } ( x ) } \, \mathrm d x, \ a. e. \text{ for all } x \in K _ { q },$$

where the limit has to be understood in L 2 -sense.

Definition 2.5 (Multiplication formula) . If φ , φ 1 2 ∈ L 2 ( K q ) , then

$$\int _ { K _ { q } } \hat { \phi } _ { 1 } ( x ) \phi _ { 2 } ( x ) \text{d} x = \int _ { K _ { q } } \phi _ { 1 } ( x ) \hat { \phi } _ { 2 } ( x ) \text{d} x.$$

Theorem 2.1 (Theorem 2.3 in [23]) . The L 2 -Fourier transform on L 2 ( K q ) is unitary linear operator, i.e., the Parseval formula

$$\int _ { \Gamma } \hat { \phi } _ { 1 } ( \xi ) \overline { \hat { \phi } } _ { 2 } ( \xi ) \mathrm d \xi = \int _ { K _ { q } } \phi _ { 1 } ( x ) \overline { \phi } _ { 2 } ( x ) \mathrm d x.$$

/negationslash

We would choose a character χ λ ∈ D q of K q , such that it is trivial on D q , i.e., χ λ | D q ≡ 1. Also, as character on D q , χ λ 1 = χ λ 2 if and only if λ 1 -λ 2 ∈ D q . That is, χ λ 1 = χ λ 2 if λ 1 + D q = λ 2 + D q and χ λ 1 = χ λ 2 if ( λ 1 + D q ) ∩ ( λ 2 + D q ) = ∅ . Hence, if { λ n ( ) } ∞ n =0 is a complete list of distinct coset representative of D q in K + q implies that the list { χ λ n ( ) } ∞ n =0 is distinct characters on D q . The completeness of this list is proved in [23] and we have the following proposition on the list { χ λ n ( ) } ∞ n =0 .

Proposition 2.1. Suppose { λ n ( ) } ∞ n =0 is a complete list of distinct coset representatives of D q in K q . Then { χ λ n ( ) } ∞ n =0 is a complete list of distinct characters on D q . Further, this list { χ λ n ( ) } ∞ n =0 is a complete orthonormal system on D q .

By using this list of characters { χ λ n ( ) } ∞ n =0 , we can define the Fourier coefficients of φ ∈ L 1 ( D q ) as follows

$$\hat { \phi } ( \lambda ( n ) ) = \int _ { \mathcal { D } _ { q } } \phi ( x ) \overline { \chi _ { \lambda ( n ) } ( x ) } \mathrm d x.$$

The Fourier series ∞ ∑ n =0 ˆ ( φ λ n ( )) χ λ n ( ) ( x ) converges to φ in L 2 ( D q ) and following relation holds

$$\int _ { \mathcal { D } _ { q } } | \phi ( x ) | ^ { 2 } \mathrm d x = \sum _ { n = 0 } ^ { \infty } | \hat { \phi } ( \lambda ( n ) ) | ^ { 2 }.$$

Further, ∀ n ∈ N 0 , φ ∈ L 1 ( D q ) and ˆ ( φ λ n ( )) = 0, then φ = 0 a.e..

The above results hold irrespective of the character's ordering. We now begin to impose a natural ordering on this sequence { λ n ( ) } ∞ n =0 . As P q is the prime ideal in D q , D q / P q ∼ = GF q ( ), and ρ : D → q Γ the canonical homomorphism of D q on to Γ. As we know that Γ = GF q ( ) is a c -dimensional vector space over the Galois field GF p ( ) ⊂ Γ. Now, we consider a set { 1 = e , e 0 1 , e 2 , · · · , e c -1 } ⊂ D ∗ q in such a way that { ρ e ( j ) } c -1 j =0 is a basis of GF q ( ) over GF p ( ). If n ∈ N 0 such that 0 ≤ n &lt; q , then n can be written by

$$n = u _ { 0 } + u _ { 1 } p + \dots + u _ { c - 1 } p ^ { c - 1 }, \text{ for } 0 \leq u _ { k } < p, \text{ and } k = 0, 1, \cdots, c - 1.$$

Define

$$\lambda ( n ) & = ( u _ { 0 } + u _ { 1 } e _ { 1 } + \dots + u _ { c - 1 } e _ { c - 1 } ) \mathfrak { p } ^ { - 1 }.$$

Now, write

$$n = v _ { 0 } + v _ { 1 } q + v _ { 2 } q ^ { 2 } + \cdots + v _ { s } q ^ { s }, \text{ for } 0 \leq v _ { k } < q, \text{ and } k = 0, 1, 2, \cdots, s,$$

$$\lambda ( n ) = \lambda ( v _ { 0 } ) + \mathfrak { p } ^ { - 1 } \lambda ( v _ { 1 } ) + \cdots + \mathfrak { p } ^ { - s } \lambda ( v _ { s } ).$$

and define

Note that λ (0) = 0 and { λ n ( ) } q -1 n =0 is a complete set of coset representatives of D q in P -1 q (see [23]). Hence, { λ n ( ) p } q -1 n =0 is a complete set of coset representatives of P q in D q . Thus

$$\{ \lambda ( n ) \mathfrak { p } \} _ { n = 0 } ^ { q - 1 } \cong \mathcal { D } _ { q } / \mathcal { P } _ { q } \cong G F ( q ) \cong \{ \rho ( e _ { j } ) \} _ { j = 0 } ^ { c - 1 }.$$

Note that λ m ( + n ) = λ m ( ) + λ n ( ) is not true in general. But

$$\lambda ( r q ^ { k } + s ) = \lambda ( r ) \mathfrak { p } ^ { - k } + \lambda ( s ) \quad \text{if } r \geq 0, k \geq 0 \text{ and } 0 \leq s < q ^ { k }.$$

We shall denote χ n = χ λ n ( ) for all n ≥ 0 and we know that the sequence { χ n } ∞ n =0 is a complete set of characters on D q . Let U = { u i } q -1 i =0 be a fixed set of coset representatives of P q in D q . Then every x ∈ K q can be written in a unique way as follows

$$x = x _ { 0 } + \sum _ { k = 1 } ^ { n } v _ { k } \mathfrak { p } ^ { - k }, \ \ x _ { 0 } \in \mathcal { D } _ { q }, v _ { k } \in \mathcal { U }.$$

Now, we can represent a character χ on K q by

/negationslash

To construct MRA, basic wavelets, and wavelet packet functions at different scales in H s ( K q ). We must take special care of dilation as the single scaling function does not work here. To do this, we require analogous notions of translation and dilation. Note that ⋃ j ∈ Z p -j D q = K q , then p -1 can be used as the dilation ( | p -1 | = q ) and since { λ n ( ) : n ∈ N 0 } is a complete list of distinct coset representatives of D q in K q , therefore, this set { λ n ( ) : n ∈ N 0 } can serve as the translation set.

$$( 2. 3 ) & \chi ( e _ { \mu } \mathfrak { p } ^ { - j } ) = \begin{cases} \ \exp ( \frac { 2 \pi i } { p } ), & \mu = 0 \ \text{and} \ j = 1, \\ 1, & \mu = 1, \cdots, c - 1 \ \text{or} \ j \neq 1. \end{cases} \\ \text{To construct MRA, basic wavelets, and wavelet packet functions at different scales i }$$

## 3. Multiresolution analysis in H s ( K q )

In this section, we define the Sobolev space ( H s ( K q ), where s ∈ R ) and construct MRA and wavelet packets in this space. Examples, including Weierstrass type and Cantor type functions,

illustrate the Sobolev space and its special cases. Further, some remarkable results, including orthogonal properties, are derived.

↦

Definition 3.1 (The space of tempered distributions S ′ ( K q )) . A tempered distribution is a continuous linear map S ( K q ) → C , where the space S ( K q ) denotes Schwartz space. In other words: If f is a locally integrable function of polynomial growth on K q then f it generates a tempered distribution in S ′ ( K q ) as follows:

$$\langle f, \phi \rangle & = \, \int _ { K _ { q } } f ( x ) \phi ( x ) \text{d} x, \, \forall \phi \in \mathcal { S } ( K _ { q } ), \\ \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

where S ( K q ) and S ′ ( K q ) denote Schwartz space and its dual, respectively.

Definition 3.2 (Sobolev space H s ( K q )) . It consists of all tempered distributions φ in S ′ ( K q ) such that

$$\| \phi \| _ { H ^ { s } ( K _ { q } ) } = \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } | \hat { \phi } ( \xi ) | ^ { 2 } d \xi < + \infty.$$

Using the Parseval formula and multiplication formula, the corresponding inner product can be written as follows

$$\left \langle \phi _ { 1 }, \phi _ { 2 } \right \rangle _ { H ^ { s } ( K _ { q } ) } = \, \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \hat { \phi _ { 1 } } ( \xi ) \overline { \hat { \phi _ { 2 } } ( \xi ) } d \xi, \\ \cdots \, - \, \hat { \hat { \ } } \cdots \, \hat { \ }.$$

where ˆ φ is defined in Definition 2.3.

We want to illustrate the Sobolev space H s ( K q ) and its subspace via examples, including fractals.

Example 3.1. Let θ &gt; -1 , and x ∈ K q , then the function φ x ( ) defined by

$$\begin{cases} & \\ & \\ & \end{cases}$$

$$& ( 3. 1 ) & & \phi ( x ) = \begin{cases} & | x | ^ { \theta } & \text{if $|x|\leq 1$} \\ & 0 & \text{if $|x|>1$,} \end{cases} \\ & \text{belongs to $H^{s}(K_{q}$) for every real value of $s<\theta+1/2$.}$$

Solution 3.1. The Fourier transform of the given function φ x ( ) is as follows:

$$\hat { \phi } ( \xi ) & = \begin{cases} \begin{array} { c c } \frac { 1 - q ^ { - 1 } } { 1 - q ^ { - ( 1 + \theta ) } } & \text{if $|\xi|\leq 1$} \\ \frac { 1 - q ^ { - 1 } } { 1 - q ^ { - ( 1 + \theta ) } } \frac { 1 } { | \xi | ^ { 1 + \theta } } & \text{if $|\xi|>1$}, \\ \end{array} \\ \text{then} \end{cases}$$

then

$$\| \phi \| _ { H ^ { s } ( K _ { q } ) } \ \leq \ \int _ { | \xi | \leq 1 } ( 1 + | \xi | ^ { 2 } ) ^ { s } \frac { ( 1 - q ^ { - 1 } ) ^ { 2 } } { ( 1 - q ^ { - ( 1 + \theta ) } ) ^ { 2 } } d \xi + 2 ^ { s } \int _ { | \xi | > 1 } | \xi | ^ { 2 s - 2 \theta - 2 } \frac { ( 1 - q ^ { - 1 } ) ^ { 2 } } { ( 1 - q ^ { - ( 1 + \theta ) } ) ^ { 2 } } d \xi < \infty,$$

since the first integral on the right-hand side of the above expression is bounded and the second integral is convergent for every real value of s &lt; θ +1 2 / .

Example 3.2. For x ∈ K q , then the function φ x ( ) defined by

$$\phi ( x ) & = \begin{cases} \ l n \frac { 1 } { | x | } & \text{if $|x| \leq 1$} \\ 0 & \text{if $|x| > 1$}, \end{cases} \\ \text{belongs to } H ^ { s } ( K _ { q } ) \text{ for every real value of $s<1/2$.}$$

belongs to H s ( K q ) for every real value of s &lt; / 1 2 .

Solution 3.2. The Fourier transform of the given function φ x ( ) is as follows:

$$\hat { \phi } ( \xi ) & = \begin{cases} \quad \frac { \ln q } { 1 - q ^ { - 1 } } q ^ { - 1 } & \text{if $|\xi|\leq 1$} \\ \quad \frac { \ln q } { 1 - q ^ { - 1 } } q ^ { - 1 } \frac { 1 } { | \xi | } & \text{if $|\xi|>1$,} \\ \text{then} \end{cases}$$

then

$$\| \phi \| _ { H ^ { s } ( K _ { q } ) } \ \leq \ \int _ { | \xi | \leq 1 } ( 1 + | \xi | ^ { 2 } ) ^ { s } \frac { ( \ln q ) ^ { 2 } } { ( 1 - q ^ { - 1 } ) ^ { 2 } } q ^ { - 2 } d \xi + 2 ^ { s } \int _ { | \xi | > 1 } | \xi | ^ { 2 s - 2 } \frac { ( \ln q ) ^ { 2 } } { ( 1 - q ^ { - 1 } ) ^ { 2 } } q ^ { - 2 } d \xi < \infty,$$

since the first integral on the right-hand side of the above expression is bounded and the second integral is convergent for every real value of s &lt; / 1 2 .

Example 3.3. Let us recall the definition of the fractional ideas defined in section 2.2 as P k q = { a ∈ K q : | a | ≤ q -k } = p k D q , k ∈ Z in K q and characteristic function of P k q :

$$\Phi _ { \mathcal { P } _ { q } ^ { k } } ( x ) & = \begin{cases} \ 1 & \text{if $x\in\mathcal{P}_{q}^{k}$} \\ \ 0 & \text{if $x\in K_{q} \, \searrow$} \\ \text{belongs to $H^{s}(K_{q})$ for every real value of $s$.} \end{cases}$$

Solution 3.3. The Fourier transform of the given characteristic function Φ P k q ( x ) is as follows:

$$\hat { \Phi } _ { p _ { q } ^ { k } } ( \xi ) = \begin{cases} \ q ^ { - k } & \text{if } | \xi | \leq q ^ { k } \\ 0 & \text{if } | \xi | > q ^ { k }, \end{cases} \\ \text{then}$$

$$\left \| \Phi _ { \mathcal { P } _ { q } ^ { k } } \right \| _ { H ^ { * } ( K _ { q } ) } \ = \ \int _ { | \xi | \leq q ^ { k } } ( 1 + | \xi | ^ { 2 } ) ^ { s } q ^ { - 2 k } \mathrm d \xi < \infty, \\ \mathrm l o n \, \text{the right-hand side of the above expression is bounded for ever} ;$$

since the integral on the right-hand side of the above expression is bounded for every real value of s .

Example 3.4. Let 0 &lt; θ, ϑ, θ + ϑ &lt; 1 , and x ∈ K q , then the function φ x ( ) defined by

$$\phi ( x ) & = \begin{cases} \begin{array} { c c c c c } \frac { 1 - q ^ { - ( \theta + \varpi ) } } { 1 - q ^ { \theta + \varpi - 1 } } | x | ^ { \theta + \varpi - 1 } & \text{if $|x| \leq 1$} \\ 0 & \text{if $|x| > 1$} \end{array} \end{cases} \\ \text{belongs to $H^{s}(K_{q})$ for every real value of $s<\theta+\vartheta-1/2$.} \end{cases}$$

Solution 3.4. The Fourier transform of the given function φ x ( ) is as follows:

$$\hat { \phi } ( \xi ) & = \begin{cases} \begin{array} { c c } \frac { 1 - q ^ { - 1 } } { 1 - q ^ { - ( \theta + \vartheta ) } } & \text{if $|\xi| \leq 1$} \\ \frac { 1 - q ^ { - 1 } } { 1 - q ^ { - ( \theta + \vartheta ) } } | \xi | ^ { - ( \theta + \vartheta ) } & \text{if $|\xi| > 1$.} \end{array} \end{cases}$$

Then

$$\| \phi \| _ { H ^ { s } ( K _ { q } ) } \ \leq \ \int _ { | \xi | \leq 1 } ( 1 + | \xi | ^ { 2 } ) ^ { s } \frac { ( 1 - q ^ { - 1 } ) ^ { 2 } } { ( 1 - q ^ { - ( \theta + \theta ) } ) ^ { 2 } } d \xi + 2 ^ { s } \int _ { | \xi | > 1 } | \xi | ^ { 2 ( s - \theta - \vartheta ) } \frac { ( 1 - q ^ { - 1 } ) ^ { 2 } } { ( 1 - q ^ { - ( \theta + \vartheta ) } ) ^ { 2 } } d \xi < \infty,$$

since the first integral on the right-hand side of the above expression is bounded and the second integral is convergent for every real value of s &lt; θ + ϑ -1 / 2 .

3.1. More fractal-like examples on a special case of Sobolev space. This subsection illustrates special cases of Sobolev space on a local field of finite characteristic p &gt; 0 with the help of examples having fractal-like structures. Here, we will be showing three more examples that belong to special cases of Sobolev spaces.

Example 3.5. [Weierstrass type function] The well-known Weierstrass function on the real line is a typical fractal. In the same connection, we are interested in illustrating the special case of Sobolev space by the example of the Weierstrass type function.

Let p = 2 and c = 1 such that q = p c = 2 , then K q reduces to K 2 . Hence, the subset of the Sobolev space is defined by H s ( K 2 ) . For x ∈ K 2 , x = ∑ + ∞ -j = s 2 j x j , x = { 0 1 , } , j = s, s + 1 , s + 2 , . . . , -2 , -2 0 1 2 , , , , . . . , with | p | = 1 2 / . then the Weierstrass type function W ( x ) defined by

$$\mathcal { W } _ { 2 } ( x ) = \begin{cases} \sum _ { j = 1 } ^ { + \infty } 2 ^ { - j } x _ { j } & \text{if $x\in \mathcal{P}_{2}^{1}$} \\ 0 & \text{if $x\notin \mathcal{P}_{2}^{1}$}, \end{cases} \\ \text{belongs to $H^{s}(K_{2})$ for every real value of $s<-1/2$.}$$

belongs to H s ( K 2 ) for every real value of s &lt; -1 / 2 .

Solution 3.5. The Fourier transform of the Weierstrass type function W 2 ( x ) is as follows:

$$\hat { \mathcal { W } } _ { 2 } ( \xi ) = 1 / 4, \ \ w h e r e \ | \xi | = 2 ^ { l }, \ \ l \in \mathbb { Z } \ \ s u c h \ t h a t \ \ l \leq 1.$$

Then

$$\| \mathcal { W } _ { 2 } \| _ { H ^ { s } ( K _ { q } ) } \ = \ \frac { 1 } { 1 6 } \int _ { K _ { 2 } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \mathrm d \xi < \infty,$$

since the last integral on the right-hand side of the above expression is convergent for every real value of s &lt; -1 / 2 .

Example 3.6. [3-adic Cantor type function (ladder of devil)] The well-known 3-adic Cantor function on the real line is a typical fractal. In the same connection, we are interested in illustrating the special case of Sobolev space by the example of the 3-adic Cantor type function.

Let p = 3 and c = 1 such that q = p c = 3 , then K q reduces to K 3 . Hence, the subset of the Sobolev space is defined by H s ( K 3 ) . For all x ∈ K 3 , x = ∑ + ∞ j = -s p j x j , x = { 0 1 2 , , } , j = -s, -s +1 , -s +2 , . . . , -2 , -2 0 1 2 , , , , . . . , with | p | = 1 3 / such that support of C ( x ) = P 1 3 and ∀ x ∈ P 1 3 with x = ∑ + ∞ -j =0 3 j x j , x = { 0 1 2 , , } , j = 0 1 2 , , , . . . , then the 3-adic Cantor type function C ( x ) defined by

/negationslash

/negationslash

$$\text{o} y \\ \mathcal { C } ( x ) = \begin{cases} \sum _ { j = 0 } ^ { k - 2 } 2 ^ { - j - 1 } \ ( x _ { j } - 1 ) + 2 ^ { - k } & \text{if } \ \exists \ k \geq 1 ; \ni x _ { j } \neq 0 \ ( 0 \leq j \leq k - 2 ) ; \ x _ { k - 1 } = 0 \\ \sum _ { j = 0 } ^ { k - 2 } 2 ^ { - j - 1 } ( x _ { j } - 1 ) & + 2 ^ { - k } & \text{if } x _ { j } \neq 0, \ \forall \ 0 \leq j < + \infty \\ 0 & \text{if } \ x \notin \mathcal { P } _ { 3 } ^ { 1 }, \end{cases}$$

Solution 3.6. The Fourier transform of the 3-adic Cantor type function C ( x ) is as follows:

$$\hat { \mathcal { C } } ( \xi ) = 1 / 2, \ \ w h e r e \ | \xi | = 3 ^ { l }, \ \ l \in \mathbb { Z } \ \ s u c h \ t h a t \ \ l \leq 0.$$

Then

$$\| \mathcal { C } \| _ { H ^ { s } ( K _ { 3 } ) } \ = \ \frac { 1 } { 4 } \int _ { K _ { 3 } } ( 1 + | \xi | ^ { 2 } ) ^ { s } d \xi < \infty,$$

since the integral on the right-hand side of the above expression is convergent for every real value of s &lt; -1 / 2 .

Example 3.7. As q = p c , if we take c = 1 , then K q reduces to K p . Let θ ∈ R , and x ∈ K p , then the function κ θ ( x ) defined by

/negationslash belongs to H s ( K q ) for every real value of s &lt; -(1 + 2 θ / ) 2 . Where the distribution π -θ is defined as follows

$$\ v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v b v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v t v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v h k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v k k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v b k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v t k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v vv v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v vv k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v var v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v var k k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v k k k v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v v b k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k kk k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k kkk k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k K k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k
k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k kkk k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k k$$

/negationslash

$$< \pi _ { \theta }, \varphi > = \int _ { K _ { p } } \frac { ( \varphi ( x ) - \varphi ( 0 ) ) } { | x | ^ { 1 - \theta } } d x, \ \forall \varphi \in \mathcal { S } ( K _ { p } ) \ a n d \ \theta ( \neq 0 ) \in \mathbb { R }.$$

Solution 3.7. The Fourier transform of the given function κ θ ( x ) is as follows:

$$\hat { \kappa } _ { \theta } ( \xi ) = ( 1 + | \xi | ^ { 2 } ) ^ { \theta }$$

Then

$$\| \phi \| _ { H ^ { s } ( K _ { 2 } ) } \ = \ \int _ { K _ { p } } ( 1 + | \xi | ^ { 2 } ) ^ { s } ( 1 + | \xi | ^ { 2 } ) ^ { 2 \theta } d \xi < \infty,$$

since the integral on the right-hand side of the above expression is convergent for every real value of s &lt; -2 θ -1 / 2 .

3.2. Multiresolution analysis in H s ( K q ) . The theory of MRA, including wavelet packets in L 2 ( K q ), was developed by Behera and Jahan [3]. In this subsection, we construct MRA in H s ( K q ) in the following way:

Definition 3.3. The MRA of H s ( K q ) is a sequence { V j } j ∈ Z of closed linear subspaces of H s ( K q ) such that

$$( 1 ) \, \frac { \mathbf V _ { j } \subset \mathbf V _ { j + 1 } ; } { \stackrel { + \infty } { \bigcup _ { i = - \infty } } \mathbf V _ { j } } = H ^ { \prime }$$

- (3) φ ∈ V j if and only if φ ( p -1 · ) ∈ V j +1 for all j ∈ Z ;

$$& ( 2 ) \, \bigcup _ { j = - \infty } ^ { + \infty } \mathbf V _ { j } = H ^ { s } ( K _ { q } ) \ a n d \bigcap _ { j = - \infty } ^ { + \infty } \mathbf V _ { j } = \{ 0 \} ; \\ & ( 3 ) \, \phi \in \mathbf V _ { j } \ i f \ a n d \ o n l y \ i f \, \phi ( \mathfrak { p } ^ { - 1 } \cdot ) \in \mathbf V _ { j + 1 } \ f o r \ a l l \ j \in \mathbb { Z }.$$

(4) for every j , there is a function ϕ ( j ) ∈ V 0 , called the scaling function , such that { ϕ ( j ) ( · -λ k ( )) : k ∈ N 0 } forms an orthonormal basis for V 0 .

Proposition 3.1. If s ∈ R , j ∈ Z and ϕ ( j ) ∈ H s ( K q ) , then functions ϕ ( j ) j,k ( ) · = q j/ 2 ϕ ( j ) ( p -j -λ k ( )) , k ∈ N 0 are orthonormal in H s ( K q ) if and only if

·

$$\sum _ { k = 0 } ^ { \infty } ( 1 + p ^ { - 2 j } ( | \xi | + \lambda ( k ) ) ^ { 2 } ) ^ { s } | \hat { \varphi } ^ { ( j ) } ( \xi + \lambda ( k ) ) | ^ { 2 } = 1$$

for a.e. ξ ∈ K q . Following this, we get the bound below

$$| \hat { \varphi } ^ { ( j ) } ( \mathfrak { p } ^ { j } \xi ) | \leq ( 1 + | \xi | ^ { 2 } ) ^ { - s / 2 }.$$

Proof. Proof of this proposition is easy; we omit it for the reader.

/square

For brevity, we shall write ϕ ( j ) j,k instead of ϕ j,k , which indicates that we are handling the j th level wavelets. The notation W j denotes the orthogonal complement of V j in V j +1 .

Proposition 3.2. For every j ∈ Z , let { ϕ ( j ) } be a sequence of elements of H s ( K q ) such that the distributions ϕ ( j ) j,k ( ) · = q j/ 2 ϕ ( j ) ( p -j · -λ k ( )) , k ∈ N 0 , are orthonormal in H s ( K q ) . If P j is the orthogonal projection from H s ( K q ) onto V j = &gt; ϕ ( j ) j,k : k ∈ N 0 &lt; , then for each h ∈ H s ( K q ) , we have

$$\lim _ { j \to + \infty } \left ( \| P _ { j } h \| _ { H ^ { s } ( K _ { q } ) } \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { 2 s } | \hat { h } ( \xi ) | ^ { 2 } | \hat { \varphi } ^ { ( j ) } ( \mathfrak { p } ^ { j } \xi ) | ^ { 2 } d \xi \right ) = 0.$$

Further, if there are A , and θ &gt; 0 , such that

$$\int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { \theta } | \hat { \varphi } ^ { ( j ) } ( \xi ) | ^ { 2 } d \xi \leq A$$

for each j ≤ 0 , then ⋂ + ∞ j = -∞ V j = { 0 } .

Proof. It is also not hard to prove this proposition; we omit it.

/square

3.3. Construction of wavelets in H s ( K q ) . The essential results of the previous subsection will be used to construct wavelets in H s ( K q ).

Definition 3.4 (Integral-periodic) . We consider a function φ on K q integral-periodic if

$$\phi ( x + \lambda ( k ) ) = \phi ( x ) \text{ for all } k \in \mathbb { N } _ { 0 }.$$

- (1) χ k ( λ l ( )) = χ λ k λ l ( ( ) ( )) = 1 for all k, l ∈ N 0 .
- (2) The function m 0 is integral-periodic.

The above facts (1) and (2) were proved in [14].

- (1) Following the additional density condition below

$$\lim _ { j \to + \infty } | \hat { \varphi } ^ { ( j ) } ( \mathfrak { p } ^ { j } \xi ) | = ( 1 + | \xi | ^ { 2 } ) ^ { - s / 2 },$$

and from Proposition 3.2, since

$$\| g - P _ { j } g \| _ { H ^ { s } ( K _ { q } ) } = \| g \| _ { H ^ { s } ( K _ { q } ) } - \| P _ { j } g \| _ { H ^ { s } ( K _ { q } ) } \to 0,$$

as j → + ∞ , for every g ∈ H s ( K q ). Therefore, ⋃ + ∞ j = -∞ V j 's is dense in H s ( K q ).

- (2) By definition of MRA, V j is the set of all φ ∈ H s ( K q ) such that

$$\hat { \phi } ( \xi ) = m ( \mathfrak { p } ^ { j } \xi ) \hat { \varphi } ^ { ( j ) } ( \mathfrak { p } ^ { j } \xi ),$$

where m ∈ L 2 ( D q ) is integral-periodic. Following this fact, we can find the Fourier transform of q j/ 2 ϕ ( j ) ( p -j · -λ k ( )) is q -j/ 2 χ k ( p j ξ ) ˆ ϕ ( j ) ( p j ξ ).

- (3) We have V j ⊂ V j +1 for every j ∈ Z if and only if there exist periodic integral functions m ( j ) 0 ∈ L 2 ( D q ) such that the following result holds:

$$\hat { \varphi } ^ { ( j ) } ( \xi ) = m _ { 0 } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ) \hat { \varphi } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ).$$

Further, we know that ϕ ( j ) and ϕ ( j +1) satisfy the hypothesis of Proposition 3.1, and these filters satisfy condition 4.4 (a) given in section 4.

## 4. Basic wavelet packets in H s ( K q ) space at base level

In this section, we focus mainly on deriving important results of basic wavelet packets at the base level in H s ( K q ). Let { e t : t ∈ N 0 } be a basis in H s ( K q ). We can divide this system into q -parts by assuming { e t,l : t ∈ N 0 , 0 ≤ l ≤ q - } 1 in /lscript 2 ( N 0 ). In general consider q -sequences (of j th level wavelet) { α ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } . Define the elements { φ ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } ∈ H s ( K q ) by

$$\phi _ { k, l } ^ { ( j ) } & = q ^ { 1 / 2 } \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } e _ { t, l } ; \forall \ l = 0, 1, 2, \dots, q - 1.$$

We will characterize the systems { α ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } for which { φ ( j ) k,l : k ∈ N 0 , 0 l ≤ q -1 , j ∈ Z } is still an orthonormal system in H s ( K q ). To accomplish this, we assume

≤

$$m _ { l } ^ { ( j ) } ( \xi ) = \sum _ { k \in \mathbb { N } _ { 0 } } \alpha _ { k, l } ^ { ( j ) } \hat { e } _ { t, l }.$$

These functions belongs to L 2 ( D q ) and they are integral-periodic, since the sequences { α ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } are in l 2 ( N 0 ). Now, we consider the matrix

$$M ^ { ( j ) } ( \xi ) & = m _ { l } ^ { ( j ) } \left ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( k ) \right ) _ { l, k = 0 } ^ { q - 1 }, \quad \xi \in K _ { q }.$$

Proposition 4.1. The matrix M ( j ) ( ξ ) given by (4.2) and (4.3) is unitary if and only if

$$( i ) \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { t - 2 k, l } ^ { ( j ) } \overline { \alpha _ { t, l } ^ { ( j ) } } = \frac { 1 } { q } \delta _ { k, 0 } ^ { l }, \ \forall \ l = 0, 1, 2, \dots, q - 1.$$

/negationslash

$$( i i ) \ \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { t - 2 k, l } ^ { ( j ) } \overline { \alpha _ { t, r } ^ { ( j ) } } = 0, \ \forall \ 0 \leq l \neq r \leq q - 1.$$

Proof. It can be easily proved. Hence, we omit it.

/square

We know that { φ ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } is an orthonormal system if and only if M ( j ) ( ξ ) is a unitary matrix. At first, we find equivalent conditions for M ( j ) ( ξ ) to be unitary. It is analogous to see that M ( j ) ( ξ ) is unitary if and only if

$$( a ) & \sum _ { \mu = 0 } ^ { q - 1 } m _ { l } ^ { ( j ) } | ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( \mu ) ) | ^ { 2 } = 1 \text{ a.e. for all } l = 0, 1, 2, \dots, q - 1. \\ & q - 1$$

/negationslash

$$( b ) \sum _ { \mu = 0 } ^ { q - 1 } m _ { l } ^ { ( j ) } | ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( \mu ) ) | ^ { 2 } \, \overline { m _ { r } ^ { ( j ) } | ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( \mu ) ) | ^ { 2 } } = 0 \text{ } a. e. \text{ for all } 0 \leq l \neq r \leq q - 1. \\ \text{$\dots$} \text{ and $\dots$} \text{ and $\dots$} \text{ and $\dots$} \text{ and $\dots$}$$

and scale relations, including the density condition, provide

$$\lim _ { j \to + \infty } | m _ { 0 } ^ { ( j ) } ( \mathfrak { p } ^ { j } \xi ) | = 1.$$

Theorem 4.1. Let { e t : t ∈ N 0 } be an orthonormal system in H s ( K q ) . Then the sequence { φ ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } given by (4.1) is an orthonormal system in H s ( K q ) if and only if the matrix M ( j ) ( ξ ) given by (4.3) is unitary for a.e. ξ ∈ K q .

Proof. Using definition 3.2, we get

$$\xi$$

$$& \left \langle \phi _ { k, l } ^ { ( j ) }, \phi _ { m, l } ^ { ( j ) } \right \rangle _ { H ^ { s } ( K _ { q } ) } = \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \hat { \phi } _ { k, l } ^ { ( j ) } ( \xi ) \overline { \hat { \phi } _ { m, l } ^ { ( j ) } ( \xi ) } \mathrm d \xi \\ & = q \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, l } ^ { ( j ) } } e _ { \hat { t }, l } ( \xi ) \overline { e _ { \hat { t }, l } ( \xi ) } \mathrm d \xi$$

$$\text{MANISH KUMAK} \\ & = q \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, l } ^ { ( j ) } } \langle e _ { t, l } ( \xi ), e _ { t, l } ( \xi ) \rangle _ { s } \\ & = q \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, l } ^ { ( j ) } } \\ & = q \sum _ { t \in \mathbb { N } _ { 0 } } \alpha _ { \beta - 2 ( m - k ), l } ^ { ( j ) } \overline { \alpha _ { \beta } ^ { ( j ) } } \\ & = \delta _ { 2 ( m - k ), 0 } ^ { l } = \delta _ { 2 m, 2 k } ^ { l } = \delta _ { m, k } ^ { l },$$

for all 0 ≤ k, m ≤ q -1. Further, we have

$$\geq q - \tau \ u n c, \, \ w e u \ a v c \\ \begin{array} { c } \left \langle \phi _ { k, l } ^ { ( j ) }, \phi _ { m, r } ^ { ( j ) } \right \rangle _ { H ^ { s } ( K _ { q } ) } = \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \tilde { \phi } _ { k, l } ^ { ( j ) } ( \xi ) \overline { \phi } _ { m, r } ^ { ( j ) } ( \xi ) d \xi \\ \end{array} \right \rangle \\ \quad = q \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \, \sum _ { t \in N _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, r } ^ { ( j ) } e _ { t, l } } ( \xi ) \overline { e _ { t, r } } ( \xi ) d \xi \\ \quad = q \sum _ { t \in N _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, r } ^ { ( j ) } } \right \rangle _ { s } \\ \quad = q \sum _ { t \in N _ { 0 } } \alpha _ { 2 k - t, l } ^ { ( j ) } \overline { \alpha _ { 2 m - t, r } ^ { ( j ) } } \\ \quad = q \sum _ { t \in N _ { 0 } } \alpha _ { \beta - 2 ( m - k ), l } \overline { \alpha _ { \beta, r } ^ { ( j ) } } = 0. \end{array}$$

$$\omega \sum _ { t \in \mathbb { N } _ { 0 } } \cdot$$

This proves that { φ ( j ) k,l : k ∈ N 0 , 0 ≤ l ≤ q -1 , j ∈ Z } is an orthonormal system. The converse part of this theorem can be proved by reversing the above steps. /square

Lemma 4.1. Let ϕ ( j ) ∈ H s ( K q ) be such that { ϕ ( j ) ( · -λ k ( )) : k ∈ N 0 } is an orthonormal system. Let V = span { q 1 / 2 ϕ ( j ) ( p -1 · -λ k ( )) : k ∈ N 0 } . Let m ( j ) l ( ξ ) = q -1 / 2 ∑ ∞ k =0 α ( j ) k,l χ k ( ξ ) , 0 ≤ l ≤ q -1 , where { α ( j ) k,l : k ∈ N 0 } ∈ /lscript 2 ( N 0 ) for 0 ≤ l ≤ q -1 . Define ˆ ψ ( j ) l ( ξ ) = m ( j +1) l ( p ξ ϕ ) ˆ ( j +1) ( p ξ ) . Then { ψ ( j ) l ( · -λ k ( )) : 0 ≤ l ≤ q -1 , k ∈ N 0 } is an orthonormal system in V if and only if the matrix

$$M ^ { ( j + 1 ) } ( \xi ) = \left ( m _ { l } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( k ) ) \right ) _ { l, k = 0 } ^ { q - 1 }$$

is unitary for a.e. ξ ∈ D q .

Proof. Suppose M ( j +1) ( ξ ) is unitary for a.e ξ ∈ D q . Then, for 0 ≤ r, t ≤ q -1 and k, l ∈ N 0 , we get

$$& \left \langle \psi _ { t } ^ { ( j ) } ( \cdot - \lambda ( k ) ), \psi _ { t } ^ { ( j ) } ( \cdot - \lambda ( l ) ) \right \rangle _ { H ^ { * } ( K _ { a } ) } \\ & \quad = \quad \int _ { \mathcal { D } _ { q } } \sum _ { \mu = 0 } ^ { q - 1 } \sum _ { n \in N _ { 0 } } ( 1 + \mathfrak { p } ^ { - 2 } ( \mathfrak { p } | \xi | + \mathfrak { p } \lambda ( q n + \mu ) ) ^ { 2 } ) ^ { s } m _ { t } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( q n + \mu ) ) \overline { m _ { t } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( q n + \mu ) ) } \\ & \quad \times \left | \hat { \rho } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( q n + \mu ) ) \right | ^ { 2 } \overline { \chi _ { k } ( \xi ) } \chi _ { l } ( \xi ) \ d \xi \\ & \quad = \quad \delta _ { r, t } \delta _ { k, l }.$$

= δ r,t δ k,l .

Hence, { ψ ( j ) l ( · -λ k ( )) : 0 ≤ l ≤ q -1 , k ∈ N 0 } is an orthonormal system in V . Similarly, the converse of this Lemma can be proved by reversing the above steps.

Now we simplify the index. For n ∈ N 0 , we can write the expansion of n uniquely in the form of base q , we have unique µ = ( µ , µ 1 2 , . . . , µ j ) such that

$$( 4. 4 ) & & n = \mu _ { 1 } + \mu _ { 2 } q + \mu _ { 3 } q ^ { 2 } + \dots + \mu _ { j } q ^ { j - 1 }, \text{ for } j = 1, 2, 3, \dots,$$

/negationslash where 0 ≤ µ i ≤ q -1 for all i = 1 2 , , . . . , j and µ j = 0. Observe that (4.4) is always a finite sum. Indeed, if q d 0 -1 ≤ n &lt; q d 0 , say, then we have n = q d 0 -1 + n 1 where q d 1 -1 ≤ n 1 &lt; q d 1 and d 1 &lt; d 0 ; and iterating this procedure, we obtain n = q d 0 -1 + q d 1 +1 + · · · + q d k +1 , where 1 ≤ d k &lt; d k -1 &lt; · · · &lt; d 0 . That is, µ j = 1 for j = d , . . . , d k 0 , and µ j = 0, otherwise. When we order the elements of the set like { 0 1 2 , , , . . . , q - } 1 in any way, we can write µ i ∈ { 0 1 2 , , , . . . , q - } ∀ 1 , i . Let ∆ j be the set of these j -tuple µ = ( µ , µ 1 2 , . . . , µ j ) with length j , and denote ∆ = ⋃ + ∞ j =1 ∆ . j Notice that when i ≤ j, ∆ i can be embedded in ∆ j naturally, by considering ( µ , µ 1 2 , . . . , µ j ) as ( µ , µ 1 2 , . . . , µ j , 0 , . . . , 0).

Suppose w ( j ) 0 = ϕ ( j ) . Now we can define the basic wavelet packets associated with the scaling function ϕ ( j ) recursively as follows:

Suppose w /lscript is defined for /lscript ≥ 0 and for 0 ≤ r ≤ q -1, define

$$w _ { n } ^ { ( j ) } ( x ) = w _ { r + q \ell } ^ { ( j ) } ( x ) = q \sum _ { k \in \mathbb { N } _ { 0 } } \alpha _ { k, r } ^ { ( j + 1 ) } w _ { \ell } ^ { ( j + 1 ) } ( \mathfrak { p } ^ { - 1 } x - \lambda ( k ) ).$$

Note that equation (4.5) defines w n for every integer n ≥ 0. Applying Fourier transform on equation (4.5), we obtain

$$\hat { w } _ { n } ^ { ( j ) } ( \xi ) = ( w _ { r + q \ell } ^ { ( j ) } ) ^ { \wedge } ( \xi ) = m _ { \mu _ { r } } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ) \hat { w } _ { \ell } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ).$$

Proposition 4.2. For n ∈ N 0 and let the q -adic expansion of n be given by (4.4) . Then the Fourier transform of the basic wavelet packet defined by (4.6) is given by

$$\hat { w } _ { n } ^ { ( j ) } ( \xi ) & = \prod _ { J = 1 } ^ { + \infty } m _ { \mu _ { r } } ^ { ( j + J ) } ( \mathfrak { p } ^ { J } \xi ) ( 1 + \mathfrak { p } ^ { - 2 j } | \xi | ^ { 2 } ) ^ { - s / 2 }, \quad \xi \in K _ { q }.$$

Proof. The Fourier transform equivalence of the q -adic scale relations (4.5) for the wavelet packets is given by (4.6). We prove (4.7) by induction on n := q/lscript + r where /lscript ∈ N 0 and r = 0 1 2 , , , . . . , q -1. Suppose (4.7) holds for all n with 0 ≤ n &lt; q d 0 and consider q d 0 ≤ n &lt; q d 0 +1 with the q -adic expansion (4.6). From the discussion presented before, we have

So that

$$\mu _ { r } = \begin{cases} 1, 2, \dots, q - 1 & \text{for $r=d_{0}+1$} \\ 0 & \text{for $r>d_{0}+1$}. \end{cases}$$

$$n = \sum _ { r = 1 } ^ { d _ { 0 } + 1 } \mu _ { r } q ^ { r - 1 },$$

and

$$\frac { n } { q } = \frac { \mu _ { 1 } } { q } + \sum _ { r = 1 } ^ { d _ { 0 } } \mu _ { r + 1 } q ^ { r - 1 }. \\ \intertext { s u t e d i n d } \colon \in \ e n d { i m e d i n d } \colon \in \ e n d$$

Let the symbol /floorleft x /floorright denote the greatest integer not exceeding x . Notice that

$$n = q \left \lfloor \frac { 1 } { q } \right \rfloor + \mu _ { 1 }.$$

Hence, from (4.5), we have

$$\hat { w } _ { n } ^ { ( j ) } ( \xi ) & = m _ { \mu _ { 1 } } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ) \hat { w } _ { \lfloor \frac { n } { q } \rfloor } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ).$$

On the right-hand-side of equation (4.8), we can write ⌊ n q ⌋ as

$$\left \lfloor \frac { n } { q } \right \rfloor = \sum _ { r = 1 } ^ { d _ { 0 } } \mu _ { r + 1 } q ^ { r - 1 } \leq \frac { n } { q } < q ^ { d _ { 0 } }, \\ \dots \ \cdot \ \cdot \ \cdot$$

it follows the induction hypothesis that

$$\hat { w } _ { \left \lfloor \frac { n } { q } \right \rfloor } ^ { ( j + 1 ) } ( \xi ) = m _ { \mu _ { 2 } } ^ { ( j + 2 ) } ( \mathfrak { p } ^ { 2 } \xi ) \hat { w } _ { \left \lfloor \frac { n } { q ^ { 2 } } \right \rfloor } ^ { ( j + 2 ) } ( \mathfrak { p } ^ { 2 } \xi ).$$

Then from (4.8) and (4.9), we have

$$& \hat { w } _ { n } ^ { ( j ) } ( \xi ) = m _ { \mu _ { 1 } } ^ { ( j + 1 ) } ( \mathfrak { p } \xi ) m _ { \mu _ { 2 } } ^ { ( j + 2 ) } ( \mathfrak { p } ^ { 2 } \xi ) \hat { w } _ { \left [ \frac { n } { q ^ { 2 } } \right ] } ^ { ( j + 2 ) } ( \mathfrak { p } ^ { 2 } \xi ) \\ & = \prod _ { J = 1 } ^ { 2 } m _ { \mu _ { r } } ^ { ( j + J ) } ( \mathfrak { p } ^ { J } \xi ) \ \hat { w } _ { \left [ \frac { n } { q ^ { k } } \right ] } ^ { ( j + 2 ) } ( \mathfrak { p } ^ { 2 } \xi ) \\ & = \cdots = \prod _ { J = 1 } ^ { k } m _ { \mu _ { r } } ^ { ( j + J ) } ( \mathfrak { p } ^ { J } \xi ) \ \hat { w } _ { \left [ \frac { n } { q ^ { k } } \right ] } ^ { ( j + k ) } ( \mathfrak { p } ^ { k } \xi )$$

Using the density condition provided in Section 3.3 on the right-hand side of the above expression, we have the desired result as follows

$$\hat { w } _ { n } ^ { ( j ) } ( \xi ) = \prod _ { J = 1 } ^ { + \infty } m _ { \mu _ { r } } ^ { ( j + J ) } ( \mathfrak { p } ^ { J } \xi ) ( 1 + \mathfrak { p } ^ { 2 j } | \xi | ^ { 2 } ) ^ { - \mathfrak { s } / 2 }.$$

/square

5. Wavelet packet functions generated by MRA in H s ( K q ) at different scales

If ϕ ( j ) generates an orthonormal MRA { V j } j ∈ Z associated with wavelet function ψ ( j ) in H s ( K q ). Then we define the wavelet packets as sequence { w ( j ) n : n ≥ 0 } of functions w ( j ) 0 = ϕ ( j ) , and w ( j ) n = ψ ( j ) n (1 ≤ n ≤ q -1), where ˆ ( ψ /lscript ξ ) = m ( p ξ ϕ ) ˆ ( j ) ( p ξ ) (1 ≤ n ≤ q -1). Suppose w /lscript is defined for /lscript ≥ 0 and 0 ≤ r ≤ q -1, we have

$$w _ { n } ^ { ( j ) } ( \cdot ) = w _ { r + q \ell } ^ { ( j ) } ( \cdot ) = q ^ { j / 2 } \sum _ { r \in \mathbb { N } _ { 0 } } \alpha _ { k, r } ^ { ( j + 1 ) } w _ { \ell } ^ { ( j + 1 ) } ( \mathfrak { p } ^ { - j } \cdot - \lambda ( k ) ).$$

Definition 5.1. Suppose n ∈ N 0 and let w ( j ) n be a wavelet function involving scaling function ϕ ( j ) .

Then, for any integer j and k ∈ N 0 , we define

$$w _ { j, k, n } ^ { ( j ) } ( \cdot ) & = q ^ { j / 2 } w _ { n } ^ { ( j ) } ( \mathfrak { p } ^ { - j } \cdot - \lambda ( k ) ).$$

Lemma 5.1. If s ∈ R , w ( j +1) j,k,n ∈ H s ( K q ) , j ∈ Z and k, n ∈ N 0 , then the distributions { q ( j ) 2 w ( j +1) /floorleft n q /floorright ( p ( j +1) · -λ k ( )) } , are orthonormal in H s ( K q ) if and only if

$$\sum _ { l _ { 1 } \in N _ { 0 } } ( 1 + \mathfrak { p } ^ { - 2 ( j + 1 ) } ( \mathfrak { p } | \xi | + \mathfrak { p } \lambda ( l _ { 1 } ) ) ^ { 2 } ) ^ { s } \hat { w } _ { \left [ \frac { \mathfrak { p } } { \mathfrak { q } } \right ] } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( l _ { 1 } ) ) \overline { \hat { w } _ { \left [ \frac { \mathfrak { p } } { \mathfrak { q } } \right ] } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( l _ { 1 } ) ) } = \delta _ { \left \lfloor \frac { \mathfrak { p } } { \mathfrak { q } } \right \rfloor, \left \lfloor \frac { \mathfrak { m } } { \mathfrak { q } } \right \rfloor }.$$

Proof. Since w ( j +1) j,k,n ∈ H s ( K q ), the series

$$S ^ { ( j + 1 ) } ( \mathfrak { p } \xi ) & = \sum _ { l _ { 1 } \in N _ { 0 } } ( 1 + \mathfrak { p } ^ { - 2 ( j + 1 ) } ( \mathfrak { p } | \xi | + \mathfrak { p } \lambda ( l _ { 1 } ) ) ^ { 2 } ) ^ { \mathfrak { s } } \hat { w } _ { \left [ \frac { \mathfrak { m } } { \mathfrak { a } } \right ] } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( l _ { 1 } ) ) \overline { \hat { w } _ { \left [ \frac { \mathfrak { m } } { \mathfrak { a } } \right ] } ^ { ( j + 1 ) } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( l _ { 1 } ) ) },$$

converges a.e., belongs to L 1 ( D q ), and is integral-periodic. Further, for every l ∈ N 0 , we have

$$\text{ converges} \, a. e., belongs to \, L ^ { 1 } ( \mathcal { D } _ { q } ), \, \text{ and is integral-periodic.  Further, for every } l \in \mathbb { N } _ { 0 }, \, \text{ have} \\ \int _ { \mathcal { D } _ { q } } S ^ { ( \mathcal { J } + 1 ) } ( \mathfrak { p } \xi ) \overline { \chi _ { k - l } ( \mathfrak { p } \xi ) } d \xi & = \int _ { \mathcal { D } _ { q } } \sum _ { l _ { 1 } \in \mathbb { N } _ { 0 } } ( 1 + \mathfrak { p } ^ { - 2 ( \mathfrak { j } + 1 ) } ( \mathfrak { p } | \xi | + \mathfrak { p } \lambda ( l _ { 1 } ) ) ^ { 2 } ) ^ { \delta } \widehat { \omega } ^ { ( \mathfrak { j } + 1 ) } _ { [ \frac { \mathfrak { p } } { \mathfrak { q } } ] } ( \mathfrak { p } \xi + \mathfrak { q } \lambda ( l _ { 1 } ) ) \\ & \quad \times \overline { \widehat { w } _ { [ \frac { \mathfrak { q } } { \mathfrak { q } } ] } ( \mathfrak { p } \xi + \mathfrak { p } \lambda ( l _ { 1 } ) ) } \overline { \chi _ { k - l } ( \mathfrak { p } \xi ) } d \xi \\ & = \int _ { \mathcal { K } _ { q } } ( 1 + \mathfrak { p } ^ { - 2 j } | \xi | ) ^ { 2 } ) ^ { \delta } \widehat { w } ^ { ( \mathfrak { j } + 1 ) } _ { [ \frac { \mathfrak { p } } { \mathfrak { q } } ] } ( \mathfrak { p } \xi ) \overline { \widehat { w } _ { [ \frac { \mathfrak { q } } { \mathfrak { q } } ] } ( \mathfrak { p } \xi ) } \overline { \widehat { w } _ { k - l } ( \mathfrak { p } \xi ) } d \xi \\ & = \left \langle q ^ { - j / 2 } \widehat { w } ^ { ( \mathfrak { j } + 1 ) } _ { [ \frac { \mathfrak { p } } { \mathfrak { q } } ] } ( \mathfrak { p } ^ { ( \mathfrak { j } + 1 ) } x - \lambda ( l ) ), \, q ^ { - j / 2 } \widehat { w } ^ { ( \mathfrak { j } + 1 ) } _ { [ \frac { \mathfrak { p } } { \mathfrak { q } } ] } ( \mathfrak { p } ^ { ( \mathfrak { j } + 1 ) } x - \lambda ( k ) ) \right \rangle _ { H ^ { * } ( \mathcal { K } _ { q } ) } \\ & = \delta _ { [ \frac { \mathfrak { q } } { \mathfrak { q } } ] \cdot [ \frac { \mathfrak { q } } { \mathfrak { q } } ] } \cdot$$

Therefore,

$$\int _ { \mathcal { D } _ { q } } S ^ { ( j + 1$$

if and only if S ( j +1) ( p ξ ) = δ /floorleft n q /floorright , /floorleft m q /floorright and k = . l

/square

Theorem 5.1 (Orthonormality at j th level) . Let j be an integer and for all k, l, m and n belongs to N 0 , then we have

$$\left \langle w _ { j, k, n } ^ { ( j ) } ( \$$

/negationslash where n = µ 1 + µ q 2 + · · · + µ q j j -1 , 1 ≤ µ i ≤ q -1 for i = 1 2 3 , , , . . . , j with µ j = 0 and m = η 1 + η q 2 + · · · + η q j j -1 , 1 ≤ η i ≤ q -1 for i = 1 2 3 , , , . . . , j with η j = 0 .

/negationslash

Proof. For all k, l, m and n belongs to N 0 , we have

$$\begin{array} {$$

Hence, { w ( j ) n,k,l ( ) : 0 · ≤ n ≤ q -1 , l, k ∈ N 0 } is an orthonormal system in V . Likewise, the converse of this theorem can be proved by reversing the above steps. /square

The following proposed theorem provides an alternate form for orthogonality of wavelet packets at j th level in H s ( K q ) by exploiting the theory of convolution of Fourier transforms.

Theorem 5.2. The Fourier transform of κ -s/ 2 is given by ˆ κ -s/ 2 ( ξ ) = (1 + | ξ | 2 ) -s / 2 (i.e., replace θ = -s / 2 ∈ R in example 3.7) and w ( j ) n,k ( ) = · q j/ 2 w ( j ) n ( p -j · -λ k ( )) where j ∈ Z and n, k ∈ N 0 . Then

$$\left \langle \kappa _ { - s / 2 } * w _ { n, k$$

Proof. We use the convolution theorem for Fourier transforms and obtain the following

$$\Big < \kappa _ { - s / 2 } \ast w _ { n, k }$$

Since ˆ κ -s/ 2 ( ξ ) = (1 + | ξ | 2 ) -s / 2 , then the right-hand side of the above expression becomes

$$\int _ { K _ { q } } \hat { w } _ { n, k } ^ { ( j ) } ( \xi ) \, \overline { \hat { w } _ { m, l } ^ { ( j ) } ( \xi ) } d \xi.$$

By Parseval formula and relation (5.2), we get

$$\left \langle \kappa _ { - s / 2 } * w _ { n, k } ^ { ( j ) }, \kappa _ { - s / 2 } * w _ { m, l } ^ { ( j ) } \right \rangle _ { H ^ { * } ( K _ { q } ) } \ = \ \delta _ { \lfloor \frac { n } { q } \rfloor, \lfloor \frac { m } { q } \rfloor } \delta _ { \mu _ { 1 }, \eta _ { 1 } } \delta _ { k, l }. \\ \quad \ \ & \Box$$

We are interested in constructing exciting examples of wavelet packets in H s ( K q ) and its subsets. We provide three compelling examples: Haar wavelet packets, Weierstrass wavelet packets, and 3adic Cantor wavelet packets. The Weierstrass and 3-adic Cantor wavelet packets are from a family of fractal wavelet packets.

Example 5.1. For all k, l, m and n belongs to N 0 and the wavelet packet function defined by

$$w _ { j, k, n } ^ { ( j ) } ( x ) = \kappa _ { - s / 2 } ( x - \lambda ( k ) ) * q ^ { j } \Phi _ { \mathcal { P } _ { q } ^ { j }, n } ^ { ( j ) } ( x - \lambda ( k ) ). \\ \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots$$

Moreover, this wavelet packet functions is also orthogonal, i.e.,

$$\left \langle w _ { j, k, n } ^ { ( j ) } ( \cdot ), w _ { j, l, m } ^ { ( j ) } ( \cdot ) \right \rangle _ { H ^ { * } ( K _ { q } ) } = \delta _ { k, l }.$$

Solution 5.1. By Theorem 5.1, for all k, l, m and n belongs to N 0 , we have

$$& \left \langle w _ { j, k, n } ^ { ( j ) } ( \cdot ), w _ { j, l, m } ^ { ( j ) } ( \cdot ) \right \rangle _ { H ^ { s } ( K _ { q } ) } \\ & = \ \int _ { K _ { q } } ( 1 + | \xi | ^ { 2 } ) ^ { s } ( 1 + | \xi | ^ { 2 } ) ^ { - s } \overline { \chi _ { k } ( \xi ) } \chi _ { l } ( \xi ) \Phi _ { \Gamma ^ { j, n } } ^ { ( j ) } ( \xi ) \Phi _ { \Gamma ^ { j, m } } ^ { ( j ) } ( \xi ) \ d \xi \\ & = \delta _ { k, l }$$

Example 5.2. [Weiestrass type wavelet packets] For all k, l, m and n belongs to N 0 and the wavelet packets on H s ( K 2 ) defined by

$$w _ { j, k, n } ^ { ( j ) } ( x ) = \kappa _ { - s / 2 } ( x - \lambda ( k ) ) * 2 ^ { 2 } \mathcal { W } _ { 2, n } ^ { ( j ) } ( x - \lambda ( k ) ).$$

Moreover, these wavelet packets are also orthogonal, i.e.,

$$\left \langle w _ { j, k, n } ^ { ( j ) } ( \cdot ), w _ { j, l, m } ^ { ( j ) } ( \cdot ) \right \rangle _ { H ^ { * } ( K _ { 2 } ) } = \delta _ { k, l }.$$

Solution 5.2. By Theorem 5.1, for all k, l, m and n belongs to N 0 , we have

$$& \left \langle w _ { j, k, n } ^ { ( j ) } ( \cdot ), w _ { j, l, m } ^ { ( j ) } ( \cdot ) \right \rangle _ { H ^ { * } ( K _ { 2 } ) } \\ & = 2 ^ { 4 } \int _ { \mathcal { D } _ { 2 } } ( 1 + | \xi | ^ { 2 } ) ^ { s } \hat { \kappa } _ { - s / 2 } ^ { ( j ) } ( \xi ) \hat { \mathcal { W } } _ { 2, n } ^ { ( j ) } ( \sum _ { j = s } ^ { + \infty } x _ { j } 2 ^ { - j } - \lambda ( k ) ) ( \xi ) \overline { \hat { \kappa } } _ { - s / 2 } ^ { ( j ) } ( \xi ) } \overline { \hat { \mathcal { W } } _ { 2, n } ^ { ( j ) } ( \sum _ { j = s } ^ { + \infty } x _ { j } 2 ^ { - j } - \lambda ( l ) ) ( \xi ) } d \xi$$

by using a change of the variable technique on the right-hand side of the above expression, we have

$$= \ 2 ^ { 4 } \int _ { \mathcal { D } _ { 2 } } ( 1 + | \xi | ^ { 2 } ) ^ { s } | \hat { \kappa } _ { - s / 2 } ^ { ( j ) } ( \xi ) | ^ { 2 } \hat { \mathcal { W } } _ { 2, n } ^ { ( j ) } ( \xi ) \overline { \chi _ { k } ( \xi ) } \, \overline { \hat { \mathcal { W } } _ { 2, n } ^ { ( j ) } ( \xi ) } \chi _ { k } ( \xi ) d \xi$$

Using equations (3.10) and (3.12) on the above expression, we have

$$& = \int _ { \mathcal { D } _ { 2 } } ( 1 + | \xi | ^ { 2 } ) ^ { s } ( 1 + | \xi | ^ { 2 } ) ^ { - s } \overline { \chi _ { k } ( \xi ) } \chi _ { l } ( \xi ) \, \mathrm d \xi \\ & = \delta _ { k, l }.$$

Example 5.3. [3-adic Cantor type wavelet packets] For all k, l, m and n belongs to N 0 and the wavelet packets on H s ( K 3 ) defined by

$$w _ { j, k, n } ^ { ( j ) } ( x ) = \kappa _ { - s / 2 } ( x - \lambda ( k ) ) * 2 \mathcal { C } _ { n } ^ { ( j ) } ( x - \lambda ( k ) ).$$

Moreover, these wavelet packets are also orthogonal, i.e.,

$$\left \langle w _ { j, k, n } ^ { ( j ) } ( \cdot ), w _ { j, l, m } ^ { ( j ) } ( \cdot ) \right \rangle _ { H ^ { * } ( K _ { 3 } ) } = \delta _ { k, l }.$$

Solution 5.3. One can prove this wavelet satisfies an orthogonality condition similar to the example.

## 6. Conclusion

In this work, we define Sobolev spaces H s ( K q ) over a local field K q of finite characteristic p &gt; 0. We explore the application of fractal functions, specifically the Weierstrass and 3-adic Cantor type, to illustrate the potential of these spaces. A Multi-Resolution Analysis (MRA) is developed, and wavelet expansions are investigated, focusing on the orthogonality of wavelet packet functions at various scales. Using convolution theory and Fourier transforms, we construct Haar and fractal wavelet packets within H s ( K q ), proving their orthogonality via Theorem 5.1. The findings underscore the utility of wavelet packets in mathematical science and engineering.

## Acknowledgments

The author gratefully acknowledges Prof. Peter Robert Massopust, Privatdozent Center of Mathematics at the Technical University of Munich, Germany, for his contributions. Prof. Massopust's insightful conversations and expert direction shaped the practical demonstration of Sobolev space through examples. Prof. Massopust painstakingly reviewed the manuscript, demonstrating his dedication and scholarly zeal. His perceptive feedback and scholarly commitment have improved the clarity and sophistication of this research work academic.

## Declaration of interests

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

## References

- [1] Sergio Albeverio and Sergei V. Kozyrev. Multidimensional basis of p-adic wavelets and representation theory. P-Adic Numbers, Ultrametric Analysis, and Applications , 1:181-189, 2009.
- [2] Fran¸ coise Bastin and Pascal Laubin. Regular compactly supported wavelets in sobolev spaces. Duke Mathematical Journal , 87(3):481-508, 1997.
- [3] Biswaranjan Behera and Qaiser Jahan. Wavelet packets and wavelet frame packets on local fields of positive characteristic. J. Math. Anal. Appl. , 395(1):1-14, 2012.
- [4] John J Benedetto and Robert L Benedetto. A wavelet theory for local fields and related groups. The Journal of Geometric Analysis , 14:423-456, 2004.
- [5] Robert L. Benedetto. Examples of wavelets for local fields. Contemporary Mathematics , 345:27-48, 2004.
- [6] Charles K. Chui. Wavelets: a tutorial in theory and applications . Academic Press, Boston., 1992.
- [7] Ronald R. Coifman. Wavelet analysis and signal processing. In Signal processing Part I: signal processing theory , pages 59-68. Springer Verlag, Berlin, Heidelberg, 1990.
- [8] Ronald R. Coifman, Yves Meyer, Steven Quake, and M. Victor Wickerhauser. Signal processing and compression with wavelet packets. Wavelets and their applications , pages 363-379, 1994.
- [9] Ronald R. Coifman, Yves Meyer, Mladen Victor Wickerhauser, et al. Size properties of wavelet packets. Wavelets and their applications , pages 453-470, 1992.
- [10] Alain Connes. Trace formula on the ad´le class space and weil positivity. e Current Developments in Mathematics , 1997(1):5-64, 1997.
- [11] Alain Connes. Trace formula in noncommutative geometry and the zeros of the riemann zeta function. Selecta Mathematica , 5(1):29, 1999.
- [12] Fernando Q. Gouvˆ ea. p-adic Numbers . Springer, 1997.
- [13] Eugenio Hern´ndez and Guido Weiss. a A First Course on Wavelets . CRC press, 1996.
- [14] Huikun Jiang, Dengfeng Li, and Ning Jin. Multiresolution analysis on local fields. J. Math. Anal. Appl. , 294(2):523-532, 2004.
- [15] Neal Koblitz. p-adic Numbers, p-adic Analysis, and Zeta-Functions , volume 58. Springer Science &amp; Business Media, 2012.
- [16] Sergei Vladimirovich Kozyrev. Wavelet theory as p-adic spectral analysis. Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya , 66(2):149-158, 2002.

30

## MANISH KUMAR

- [17] C. Pagano. Jump sets in local fields. Journal of Algebra , 593:398-476, 2022.
- [18] Ashish Pathak and Dileep Kumar. Existence of unconditional wavelet bases for Lp-norm over a local fields of positive characteristic. International Journal of Wavelets, Multiresolution and Information Processing , 21(05):2350008, 2023.
- [19] RS Pathak and Manish Kumar. Wavelet packets in sobolev space. Applicable Analysis , 94(5):1068-1084, 2015.
- [20] Dinakar Ramakrishnan and Robert J. Valenza. Fourier analysis on number fields , volume 186. Springer Science &amp; Business Media, 1998.
- [21] Alain M. Robert. A Course in p-adic Analysis , volume 198. Springer Science &amp; Business Media, 2000.
- [22] Jean-Pierre Serre. Local Fields , volume 67. Springer Science &amp; Business Media, 2013.
- [23] Mitchell H. Taibleson. Fourier Analysis on Local Fields.(MN-15) , volume 15. Princeton University Press, 2015.
- [24] John Torrence Tate Jr. Fourier analysis in number fields and Hecke's zeta-functions . Princeton University, 1997.
- [25] Patrick J Van Fleet and David K. Ruch. Wavelet Theory: an elementary approach with applications . John Wiley &amp; Sons, 2011.
- [26] Mladen Victor Wickerhauser. Acoustic signal compression with wavelet packets. In Charles K. Chui, editor, Wavelets , volume 2 of Wavelet Analysis and Its Applications , pages 679-700. Academic Press, San Diego, 1992.
- [27] Yudong Zhang, Zhengchao Dong, Shuihua Wang, Genlin Ji, and Jiquan Yang. Preclinical diagnosis of magnetic resonance (MR) brain images via discrete wavelet packet transform with tsallis entropy and generalized eigenvalue proximal support vector machine (gepsvm). Entropy , 17(4):1795-1813, 2015.
- (M. Kumar) Department of Mathematics, Birla Institute of Technology and Science-Pilani, Hyderabad, Telangana 500078, India

Email address : manish.math.bhu@gmail.com; manishkumar@hyderabad.bits-pilani.ac.in
Manish Kumar
Constructing Multiresolution Analysis via Wavelet Packets on Sobolev Space in Local Fields
We define Sobolev spaces $H^{\mathfrak{s}}(K_q)$ over a local field $K_q$ of
finite characteristic $p>0$, where $q=p^c$ for a prime $p$ and $c\in
\mathbb{N}$. This paper introduces novel fractal functions, such as the
Weierstrass type and 3-adic Cantor type, as intriguing examples within these
spaces and a few others. Employing prime elements, we develop a
Multi-Resolution Analysis (MRA) and examine wavelet expansions, focusing on the
orthogonality of both basic and fractal wavelet packets at various scales. We
utilize convolution theory to construct Haar wavelet packets and demonstrate
the orthogonality of all discussed wavelet packets within
$H^{\mathfrak{s}}(K_q)$, enhancing the analytical capabilities of these Sobolev
spaces.