#### Abstract

This article deals with the application of the periodized harmonic wavelets for solution of integral equations and eigenvalue problems. The solution is searched as a series of products of wavelet coefficients and wavelets. The absolute error for a general case of the wavelet approximation was analytically estimated.

#### 1. Introduction

Mathematical models describe a variety of physical and engineering problems and processes which can be represented by integral equations (IEs). The homogeneous Fredholm IE is written as follows:

where and are finite numbers, the kernel is known function, and and are the unknown eigenvalue and associated eigenfunction. Equation (1.1) has a nontrivial solution only for some values of .

There exist two different methods to solve IEs numerically. The first one is to expand the equation by the appropriate set of basis functions, such as the classical orthogonal polynomials [1] or wavelets (e.g. [2, 3]), and to reduce the equation to simultaneous equations with respect to the expansion coefficients. The second method is to use the trapezoidal formula for integration [4]. Since we are interested in application of periodic harmonic wavelets (PHWs) as basis functions, we will focus our attention on the first approach.

These methods have their own advantages and disadvantages. The main advantage of our approach over the existing wavelet methods is that the wavelet expansion coefficients can be computed analytically. In addition, it will be shown that the computational cost of our approach is low and the accuracy is high. It is worth to be mentioned that the application of wavelets takes a special place in the modern computational methods thanks to quick convergence of a series of wavelets and the possibility to find the solution with a low approximation error.

The pioneering contribution into the wavelet approach for solution of IEs belongs to Beylkin et al. [5]. There were many other approaches by, for example, [2, 6, 7] towards this problem. The interest in the wavelet approach for solution of IEs is popular nowadays [8].

The most part of the existing research programs is devoted to solution of the Fredholm and Volterra-type IEs. The Galerkin and collocation methods are mainly used in such papers [2, 6, 7, 9], where besides the well-known Daubechies wavelets many other wavelets have been used, such as the Haar wavelets [2, 8, 9], CAS-wavelets [3], and so forth.

In our opinion, the attention to the PHW and its application for solution of IEs have not been sufficiently paid, although there were attempts to use this basis for solution of partial differential equations (e.g., [10–12]). The advantage of our choice is that PHWs are continuous and differentiable functions everywhere.

It is known that the wavelet approach offers an alternative route for a signal and function decomposition in the time-frequency domain. Recent applications of the wavelet transform to engineering and applied problems can be found in several studies [13]. In order to analyze some applied engineering problems, Newland proposed [13, 14] wavelets whose spectrum is confined exactly to an octave band. It was suggested that the “level” of a signal's multiresolution would be interchangeable with its frequency band and the interpretation of the frequency content would be easier for engineers.

In addition, for the convenience of the further analysis it would be better to operate with such functions, whose Fourier transform was compact and which could, if possible, be constructed from simple functions. The wavelets considered in our paper are called PHW and they possess all mentioned properties and constitute a specific but a representative example of wavelets in general.

The main purpose of the present work is to propose for numerical solution of IEs a simple approach based on periodized harmonic wavelets. This technique is also applicable with minor changes to the Fredholm, Volterra, and integro-differential equations. In Section 2 of the paper we show that PHWs satisfy the axioms of the multiresolution analysis and can be used as basis functions in solution of IEs. An illustrative example is presented in Section 3. The generalized error estimation is given in Section 4 and it shows that the accuracy of computations is very high even when the approximation level is small.

#### 2. Periodized Harmonic Wavelets

It is known [13–15] that PHWs are defined as follows:

where the scaling parameter and the dilation parameter . The 1-periodicity of function (2.1) can be demonstrated as follows:

The plots for several values of the scaling parameter are shown on Figure 1 for selected positions .

**(a)**

**(b)**

**(c)**

**(d)**

According to [14, 16], PHWs construct basis for -periodic functions from . The orthogonal projection of the function onto the space of wavelets of the level is written as follows:

where the harmonic scaling function is [14] and the “” over stands for its complex conjugate. If , then and expansion (2.3) becomes

Thus, we have a set of functions, which form basis for the functions. It means that we can substitute the expansion (2.3) into (1.1) and reduce it to a system of equations with respect to wavelet coefficients.

#### 3. Eigenvalues and Eigenfunctions

Let us consider the homogeneous Fredholm integral equation

In order to deal with periodic functions, it is convenient to introduce new variables as follows: and . And we get the new equation

which we will solve by the collocation method. Denote the collocation points by

Recalling the decomposition of a real periodic function (2.3) on the space of PHW, we have

for . Also, for a real function. The corresponding choice of the collocation points leads us to a system of linear algebraic equations with the parameter and unknowns as

The solution of this system of equations gives us two pairs of coefficients and . Thus, we can find parameters and the eigenfunctions , .

We obtained the projection of the solution of the unknown eigenfunctions on the first level of approximation. Note that the obtained projection for coincides with the analytical solution. If we have continued to search for the solution on the other levels of approximation, the connection coefficients would be zeros.

#### 4. Approximation Properties of Multiresolution Spaces

Let us now consider the approximation error for the periodic wavelets. Let and assume that its periodic expansion (2.4) is times differentiable everywhere. Denote the approximation error as follows:

where is the orthogonal projection of onto the space of PHW. The symbol “” over assumes that the error is a periodic function. The derivation of the value of is presented in the following theorem.

Theorem 4.1. *The approximation error (4.1) is bounded by the exponential decay .*

*Proof. *Using the wavelet periodic expansion (2.4), we find that
At any given scale, the projection of the function on the subspace of wavelets of the certain scale approaches to the function as the number of zero wavelet moments tends to infinity, that is, and we get itself:
Then, by subtracting (4.2) from (4.3), we obtain an expression for the error in terms of the wavelets at scales :

Define

Since and according to the Theorem of decay of wavelet coefficients [17], it is
Recall that
Hence, there are at most intervals containing a given value of . Thus, for any only terms in the inner summation in (4.4) are nonzero. Let be a union of all these intervals, that is,
and let
Then we can find a common bound for all terms in the inner sum:
The outer sum over can be evaluated using the fact that
and we establish the bound
Thus, we see that for an arbitrary, but fixed , the approximation error will be bounded as follows:
where only denotes an upper bound. This is an exponential decay with respect to the resolution . Furthermore the greater number of vanishing moments of a periodic wavelet increases the rate of the decay.

Let us compare the approximation error of wavelets with the error of the Fourier approximation for terms. In order to do this, we need to introduce a smooth function of the order .

*Definition 4.2. *A smooth function is a function that has continuous derivatives up to some desired order over some domain. A function can, therefore, be said to be smooth over a restricted interval such as .

According to [18], we can find that the approximation error of the Fourier series is

This is also an exponential decay with respect to the number of terms in the series and the level of smoothness of a function. In order to give a more detailed comparison of these two methods, it is necessary to consider specific examples.

#### 5. Concluding Remarks

In this work we have proposed PHWs as basis functions for solution of IEs. The approach was verified by solving a test problem and its approximation error was analytically estimated for periodized wavelets. The assumption of periodicity of solution does not restrict the generality of the problem, since we can always make the substitutional change of variables.

There are several important facts to remember about the wavelet approximation.

()The goal of the wavelet expansion of a function or signal is to obtain the coefficients of the expansion .()The second goal is to have the most zero coefficients or very small. This is called a sparse representation and it is very important in applications for statistical estimation and detection, data compression, noise reduction, and fast algorithms.()The fact that the error is restricted to a small neighborhood of the discontinuity is the result of the “locality” of wavelets. The behavior of at one location affects only the coefficients of wavelets close to that location.()Most of the linear part of is represented exactly.We can infer from the example that the present approach is applicable to a large class of problems, where the expected solution is a periodic function. It should be also mentioned that any differential equation can be transformed into an integral equation. It means that it might be solved a large class of eigenvalue equations derived by differential equations.

#### Acknowledgment

The work of A. Kudreyko is supported by the Istituto Nazionale di Alta Matematica

Francesco Severi (Rome-IT) under scholarship U 2008/000564, 21/11/2008.