Sparse Wavelet Representation of Differential Operators with Piecewise Polynomial Coefficients

Transcription

1 Article Sparse Wavelet Representation of Differential Operators with Piecewise Polynomial Coefficients Dana Černá * and Václav Finěk Department of Mathematics and Didactics of Mathematics, Technical University in Liberec, Studentská, 46 7 Liberec, Czech Republic; vaclav.finek@tul.cz * Correspondence: dana.cerna@tul.cz; Tel.: Academic Editors: Palle E.T. Jorgensen and Azita Mayeli Received: January 7; Accepted: February 7; Published: February 7 Abstract: We propose a construction of a Hermite cubic spline-wavelet basis on the interval and hypercube. The basis is adapted to homogeneous Dirichlet boundary conditions. The wavelets are orthogonal to piecewise polynomials of degree at most seven on a uniform grid. Therefore, the wavelets have eight vanishing moments, and the matrices arising from discretization of differential equations with coefficients that are piecewise polynomials of degree at most four on uniform grids are sparse. Numerical examples demonstrate the efficiency of an adaptive wavelet method with the constructed wavelet basis for solving the one-dimensional elliptic equation and the two-dimensional Black Scholes equation with a quadratic volatility. Keywords: Riesz basis; wavelet; spline; interval; differential equation; sparse matrix; Black Scholes equation. Introduction Wavelets are a powerful and useful tool for analyzing signals, the detection of singularities, data compression and the numerical solution of partial differential and integral equations. One of the most important properties of wavelets is that they have vanishing moments. Vanishing wavelet moments ensure the so-called compression property of wavelets. This means that a function f that is smooth, except at some isolated singularities, typically has a sparse representation in a wavelet basis, i.e., only a small number of wavelet coefficients carry most of the information on f. Similarly as functions, also certain differential and integral operators have sparse or quasi-sparse representation in a wavelet basis. This compression property of wavelets leads to the design of many multiscale wavelet-based methods for the solution of differential equations. The first wavelet methods used orthogonal wavelets, e.g., Daubechies wavelets or coiflets [,]. Their disadvantage is that the most orthogonal wavelets are usually not known in a closed form and that their smoothness is typically dependent on the length of the support. The orthogonal wavelets that are known in a closed form are Haar wavelets. They were successfully used for solving differential equations, e.g., in [3 5]. Another useful tool is the short Haar wavelet transform that was derived and used for solving differential equations in [6 8]. Since spline wavelets are known in a closed form and they are smoother and have more vanishing moments than orthogonal wavelets of the same length of support, many wavelet methods using spline wavelets were proposed [9 ]. For a review of wavelet methods for solving differential equations, see also [,3]. It is known that spectral methods can be used to study singularity formation for PDE solution [4 6]. Due to their compression property, wavelets can also be used to study singularity formation for PDE solutions. The wavelet approach simply insists on analyzing wavelet coefficients that are large in regions where the singularity occurs and very small in regions where the function Axioms 7, 6, 4; doi:.339/axioms64

2 Axioms 7, 6, 4 of is smooth and derivatives are relatively small. Many adaptive wavelet methods are based on this property [7,8]. We focus on an adaptive wavelet method that was originally designed in [7,8] and later modified in many papers [9 ], because it has the following advantages: Optimality: For a large class of differential equations, both linear and nonlinear, it was shown that this method converges and is asymptotically optimal in the sense that the storage and number of floating point operations, needed to resolve the problem with desired accuracy, depend linearly on the number of parameters representing the solution, and the number of these parameters is small. Thus, the computational complexity for all steps of the algorithm is controlled. High order-approximation: The method enables high order approximation. The order of approximation depends on the order of the spline wavelet basis. Sparsity: The solutions and the right-hand side of the equation have sparse representation in a wavelet basis, i.e., they are represented by a small number of numerically significant parameters. In the beginning, iterations start for a small vector of parameters, and the size of the vector increases successively until the required tolerance is reached. The differential operator is represented by a sparse or quasi-sparse matrix, and a procedure for computing the product of this matrix with a finite-length vector with linear complexity is known. Preconditioning: For a large class of problems, the matrices arising from a discretization using wavelet bases can be simply preconditioned by a diagonal preconditioner, and the condition numbers of these preconditioned matrices are uniformly bounded. It is important that the preconditioner is simple, such as the diagonal preconditioner, because in some implementations, only nonzero elements in columns of matrices corresponding to significant coefficients of solutions are stored and used. It should be noted that also other spline wavelet methods utilize some of these features, but to our knowledge, there are no other wavelet methods than adaptive wavelet methods based on the ideas from [7,8] that have all of these properties. For more details about adaptive wavelet methods, see Section 6 and [7 3]. In this paper, we are concerned with the wavelet discretization of the partial differential equation: d k,l= x k ) u p k,l x l + d k= q k u x k + p u = f on Ω =, ) d, u = on Ω. ) We assume that q k x) Q >, that the functions p k,l, q k, p and f are sufficiently smooth and bounded on Ω and that p k,l satisfy the uniform ellipticity condition: d d k= l= p k,l x) x k x l C d k= x k, x = x,..., x d ), ) where C > is independent of x. The discretization matrix for wavelet bases is typically not sparse, but only quasi-sparse, i.e., the matrix of the size N N has O N log N) nonzero entries. For multiplication of this matrix with a vector, a routine called APPLYhas to be used [8,9,4]. However, it was observed in several papers, e.g., in [5], that quantitatively the application of the APPLY routine is very demanding, where this routine is also not easy to implement. Therefore, in [5] a wavelet basis was constructed with respect to which the discretization matrix is sparse, i.e., it has O N) nonzero entries, for Equation ) if the coefficients are constant. The construction from [5] was modified in [6,7] with the aim to improve the condition number of the discretization matrices. Some numerical experiments with these bases can be found in [8,9]. In this paper, our aim is to construct a wavelet basis such that the discretization matrix corresponding to ) is sparse if the coefficients p k,l, q k and p are piecewise polynomial functions of degree at most n on the uniform grid,

3 Axioms 7, 6, 4 3 of where n = 6 for p k,l, n = 5 for q k and n = 4 for p. Our construction is based on Hermite cubic splines. Let us mention that cubic Hermite wavelets were constructed also in [5 7,3 35]. Example. We have recently implemented the adaptive wavelet method for solving the Black Scholes equation: V t d k,l= ρ k,l σ kσ l S k S l V S k S l r d k= S k V S k + rv =, 3) where S,..., S d, t), S max ) )..., S max d, T). We used the θ-scheme for time discretization and tested the performance of the adaptive method with respect to the choice of a wavelet basis for d =,, 3. Some results can be found in [8]. In the case of cubic spline wavelets, the smallest number of iterations was required for the wavelet basis from [36]. The discretization matrix for most spline wavelet bases is not sparse, but only quasi-sparse, and thus, the above-mentioned routine APPLY has to be used. For wavelet bases from [5 7], the discretization matrix corresponding to the Black Scholes operator is sparse if volatilities σ i are constant. However, in more realistic models, volatilities are represented by non-constant functions, e.g., piecewise polynomial functions [37]. For the basis that will be constructed in this paper, the discretization matrix is sparse also for the Black Scholes equation with volatilities σ i that are piecewise quadratic.. Wavelet Bases In this section, we briefly review the concept of a wavelet basis in Sobolev spaces and introduce notations; for more details, see, e.g., [3]. Let H be a Hilbert space with the inner product, H and the norm H, and let, denote the L -inner product. Let J be an index set, and let each index λ J take the form λ = j, k), where λ := j Z is a level. For v = {v λ } λ J, v λ R, we define: ) / v := v λ, l J ) := {v : v < }. 4) λ J Our aim is to construct a wavelet basis in the sense of the following definition. Definition. A family Ψ := {ψ λ, λ J } is called a wavelet basis of H, if: i) Ψ is a Riesz basis for H, i.e., the closure of the span of Ψ is H, and there exist constants c, C, ), such that: c b b λ ψ λ C b, for all b := {b λ } λ J l H J ). 5) λ J ii) The functions are local in the sense that diam supp ψ λ ) C λ for all λ J, and at a given level j, the supports of only finitely many wavelets overlap at any point x. For the two countable sets of functions Γ, Γ H, the symbol Γ, Γ denotes the matrix: H Γ, Γ H := { γ, γ H } γ Γ, γ Γ. 6) The constants c Ψ := sup {c : c satisfies 5)} and C Ψ := inf {C : C satisfies 5)} are called Riesz bounds, and the number cond Ψ = C Ψ /c Ψ is called the condition number of Ψ. It is known that: c Ψ = λ min Ψ, Ψ H ), C Ψ = λ max Ψ, Ψ H ), 7) where λ min Ψ, Ψ H ) and λ max Ψ, Ψ H ) are the smallest and the largest eigenvalues of the matrix Ψ, Ψ H, respectively.

4 Axioms 7, 6, 4 4 of Let M be a Lebesgue measurable subset of R d. The space L M) is the space of all Lebesgue measurable functions on M, such that the norm: f = f x) dx is finite. The space L M) is a Hilbert space with the inner product: f, g = M M / f x) g x)dx, f, g L M). 9) The Sobolev space H s R d) for s is defined as the space of all functions f L R d), such that the seminorm: f Hs R d ) = π) d R d ˆf ξ) ξ s dξ is finite. The symbol ˆf denotes the Fourier transform of the function f defined by: 8) ) / ) ˆf ξ) = R s f x) e iξ x dx. ) The space H s R d) is a Hilbert space with the inner product: f, g Hs R d ) = Rd ˆf ξ) ĝ ξ) π) d + ξ s) dξ, f, g H s R d), ) and the norm: f Hs R d ) = f, f Hs R d ). 3) For an open set M R d, H s M) is the set of restrictions of functions from H s R d) to M equipped with the norm: } f H s M) { g = inf Hs R d ) : g Hs M) and g M = f. 4) Let C M) be the space of all continuous functions with the support in M, such that they have continuous derivatives of order r for any r R. The space H s M) is defined as the closure of C M) in H s R d). It is known that: f H M) = f H M) + f, 5) where: f H M) = f, f 6) is the seminorm in H M) and f denotes the gradient of f. 3. Construction of Scaling Functions We start with the same scaling functions as in [5 7,3 34]. Let: x + ) x), x [, ], φ x) = x) + x), x [, ],, otherwise, x + ) x, x [, ], φ x) = x) x, x [, ],, otherwise. 7) For j 3 and x [, ], we define:

5 Axioms 7, 6, 4 5 of φ j,k+l x) = j/ φ l j x k ) for k =,..., j, l =,, φ j, x) = j/ φ j x ), φ j, j+ x) = j/ φ j x ) ), 8) and: Φ j = { φ j,k, k =,..., j+}, V j = span Φ j. 9) The scaling functions φ j,k on the level j = 3 are displayed in Figure. Then, the spaces V j form a multiresolution analysis. We choose dual space Ṽ j as the set of all functions v L, ), such that v restricted to the interval k k, j than eight for any k =,..., j, i.e., Ṽ j = j ) is a polynomial of degree less { ) } k v L, ) : v ) k j, k Π 8 j j, k j for k =,..., j, ) where Π 8 a, b) denotes the set of all polynomials on a, b) of degree less than eight. Let: W j = Ṽ j V j+, ) where Ṽj is the orthogonal complement of Ṽ j with respect to the L -inner product. If a function g is a piecewise polynomial of degree n, we write deg g = n Figure. Scaling functions on the level j = 3. Lemma. Let the spaces W j, j 3, be defined as above. Then, all functions g W i and h W j, i, j 3, i j >, satisfy: a g, h =, b g, h =, c g, h =, ) where a, b, c are piecewise polynomial functions, such that a, b, c Ṽ p, p max i, j), deg a 4, deg b 5 and deg c 6. Proof of Lemma. Let us assume that j > i +. We have g W i V i+ V j Ṽ j, deg g 3, a Ṽ j, deg a 4, and thus, ag Ṽ j. Since h W j and W j is orthogonal to Ṽ j, we obtain a g, h =. Similarly, the relation b g, h = is the consequence of the fact that bg Ṽ j and h W j. Using integration by parts, we obtain: c g, h = c g + c g, h. 3)

6 Axioms 7, 6, 4 6 of Since c g + c g Ṽ j and h W j, we have c g, h =. The situation for j < i + is similar. Therefore, the discretization matrix for the Equation ) is sparse. Let Ψ j be a basis of W j. The proof that: Ψ = {ψ λ, λ J } = Φ 3 Ψ j. 4) is a Riesz basis of the space L, ), and that Ψ is a Riesz basis of the space H, ) when normalized with respect to the H -norm is based on the following theorem [5,38]. Theorem. Let J N, and let V j and Ṽ j, j J, be subspaces of L, ), such that: j=3 V j V j+, Ṽ j Ṽ j+, dim V j = dim Ṽ j <, j J. 5) Let Φ j be bases of V j, Φ j be bases of Ṽ j and Ψ j be bases of Ṽj V j+, such that Riesz bounds with respect to the L -norm of Φ j ; Φ j, and Ψ j are uniformly bounded; and let Ψ be given by 4). Furthermore, let the matrix: G j := Φ j, Φ j be invertible, and the spectral norm of G j is bounded independently of j. In addition, for some positive constants C, γ and d, such that γ < d, let: 6) inf v v j C jd v H v j V d,), v Hd, ), 7) j and for s < γ, let: v j H d,) Cjs v j, v j V j ; 8) and let similar estimates 7) and 8) hold for γ and d on the dual side. Then, there exist constants k and K, < k K <, such that: k b b λ λ s ψ λ K b, b := {b λ } λ J l H J ) 9) s,) holds for s γ, γ). λ J We focus on the spaces V j and Ṽ j defined by 9) and ), respectively, and we show that they satisfy the assumptions of Theorem. Theorem 3. There exist uniform Riesz bases ˆΦ j of V j and Φ j of Ṽ j, such that the matrix: G j = ˆΦ j, Φ j 3) is invertible and the spectral norm of G j is bounded independently of j. Proof of Theorem 4. Let Φ j, V j and Ṽ j be defined as above. For i =,..., 7, we define: x /) i, x [, ], p i x), otherwise, 3) and: ) θ j,8k+i+ = j )/ p i j x k, k Z, i =,..., 7. 3)

7 Axioms 7, 6, 4 7 of Then, the set Θ j = has the structure: { θ j,k, k =,..., j+} is a basis of Ṽ j, and the matrix A j = Φ j, Θ j, j 3, A j = A L A A... A A R, 33) where A is the matrix of the size 8. Our aim is to apply several transforms on Φ j and Θ j, such that new bases ˆΦ j of V j and Φ j of Ṽ j are local, and the matrix G j defined by 3) and its transpose G T j are both strictly diagonally dominant. First, we replace functions θ j,k by functions g j,k in such a way that the matrix of L -inner products of φ j,k and g j,l is tridiagonal. Therefore, we define: g j,8k+i+ = where the coefficients c i j,l are chosen, such that: 8 c i j,l θ j,8k+l, i =,..., 7, k =,..., j, 34) l= φj,p, g j,q =, p q >, φj,p, g j,p =, p =,..., j+. 35) For m = 8k + i +, i =,..., 7, k =,..., j, we substitute 34) into 35), and using supp φ j,8k+l+ supp g j,m = for l =,..., 9, we obtain systems of eight linear algebraic equations with eight unknown coefficients: A i c i = e i, for k =,..., j, c i = ) 8 c i j,l, 36) l= the system matrices A i that are submatrices of A containing all rows of A except the i-th and i + )-th rows, and e i are unit vectors, such that e i) = δ l i,l. The symbol δ i,l denotes the Kronecker delta. We computed all of the system matrices precisely using symbolic computations and verified that they are regular. Thus, the coefficients c i j,l exist and are unique. The matrix B j defined by ) B j = φ j,k, g j,m, k, l =,..., j+, is tridiagonal and has the structure: k,l B j = B L B B... B B R, 37)

8 Axioms 7, 6, 4 8 of where: B = , 38) and: B L = B {,...,}, B R = B {,...,8,}. 39) The symbol B M denotes the submatrix of the matrix B containing rows from B with indices from M. In 38), the numbers are rounded to three decimal digits. We apply several transforms on φ j,k and denote the new functions by φ i j,k. In the following, let: We define: B j,k,l = B j ) k,l, Bi j,k,l = φ i j,l, g j,k, i =,..., 4. 4) φ j,k = φ j,k B j,k,k+ B j,k+,k+ φ j,k+ for k even, φ j,k = φ j,k for k odd, φ j,k = φ j,k B j,k,k φ B j,k for k even, φ j,k,k j,k = φ j,k for k odd, φ 3 j,4+8k = φ j,4+8k B j,4+8k,+8k φ B j,+8k for k =,..., j, φ 3 j,l = φ j,l otherwise, j,+8k,+8k 4) and: φ 4 j,6+8k = φ3 j,6+8k B3 j,6+8k,4+8k φ B 3 j,4+8k for k =,..., j, φ 4 j,l = φ3 j,l otherwise, j,4+8k,4+8k. φ 4 j,l l = 4 + 8k, ˆφ j,l = φ 4 j,l l = j+, otherwise. φ 4 j,l 4) Furthermore, we set φ j,+8k =.3g j,+8k for k =,..., j and φ j,l = g j,l for l = + 8k. { Let ˆΦ j = ˆφ j,l, l =,... j+} { and Φ j = φ j,l, l =,... j+}. The matrix G j defined by 3) has the same structure as A j and B j, i.e., Gj 8i + k, 8i + l) ) k=,...,4,l=,...,8 Gj k, l) ) k=,...,4,l=,...,8 )) G j j+ 8 + k, j+ 8 + l k=,...,8,l=,...,8 = G, i =,..., j = G L, 43) = G R,

9 Axioms 7, 6, 4 9 of where: and: G = G L = G {,...,5}, G R = G {,...,8}....9 ) 44) 45) Thus, the matrices G j and G T j are diagonally dominant and invertible, and due to Johnson s lower bound for the smallest singular value [39], we have: σ min Gj ).7, G j = σ min Gj ) ) It remains to prove that ˆΦ j are uniform Riesz bases of V j and Φ j are uniform Riesz bases of Ṽ j. L Since ˆφ j,k are locally supported and there exists M independent of j and k, such that ˆφ j,k M,,) we have: k c j,k ˆφ j,k and similarly for φ j,k, we have: L,) = k c j,k c j,l ˆφ j,k x) ˆφ j,l x) dx C c. 47) l c j,k φ j,k k L,) C c. 48) By the same argument as in the Proof of Theorem 3.3. in [5], from 47), 48), the invertibility of G j and 46), we can conclude that ˆΦ j and Φ j are uniform Riesz bases of their spans. 4. Construction of Wavelets Now, we construct a basis Ψ j of the space W j = Ṽj V j+, such that cond Ψ j C, where C is a constant independent on j, and functions from Ψ j are translations and dilations of some generators. We propose one boundary generator ψ b and functions ψ i, i =,..., 8, generating inner wavelets, such that the sets: Ψ j = contain functions ψ j,k defined for x [, ] by: { ψ j,k, k =,..., j+}, j 3, 49) ψ j, x) = j/ ψ b j x ), ψ j, j+ x) = j/ ψ b j x) ), ψ j,8k+l+ x) = j/ ψ l j x 4k ), l =,... 8, < 8k + l + < j+. 5)

10 Axioms 7, 6, 4 of We denote the scaling functions on the level j = by: φ,k+l x) = / φ l x k) for k Z, l =,, x R. 5) For l =,..., 6, let the functions ψ l have the form: ψ l = 4 h l,k φ,k 5) k= and be such that ψ, ψ and ψ 3 are antisymmetric and ψ 4, ψ 5 and ψ 6 are symmetric. Thus, supp ψ l = [, 4] for l =,..., 6. Let p i be polynomials defined by 3). It is clear that if: then x ) ψ l x), p i =, i =,..., 7, l =,... 6, 53) 4 ψ l j x k ), p i j x m ) =, for k, m 4Z, and thus, ψ j,8i+l, g = for any g Ṽ j, i =,..., j, and l =,..., 6. Substituting 5) into 53), we obtain the system of linear algebraic equations with the solution h l = { } 4 h l,k of the form: k= h l = a l, u + a l, u + a l,3 u 3, l =,, 3, 54) and: h l = b l 3, v + b l 3, v + b l 3,3 v 3, l = 4, 5, 6, 55) where a l,k and b l,k are chosen real parameters and: [u, u, u 3 ] = For l {7, 8}, let the functions ψ l have the form: ψ l = , [v, v, v 3 ] =. 56) h l,k φ,k. 57) k=

11 Axioms 7, 6, 4 of These functions are uniquely determined by imposing that ψ 7 is symmetric, ψ 8 is antisymmetric, both ψ 7 and ψ 8 are L -orthogonal to the functions ψ l, l =,..., 6, they are normalized with respect to the L -norm and: x ) ψ l x), p i =, for i =,..., 7. 58) 4 It remains to construct boundary function ψ b. Let: ψ b = 4 h b,k φ,k [, ). 59) k= Substituting 59) into: x ) ψ b x), p i =, for i =,..., 7, 6) 4 we obtain the system of eight equations for 5 unknown coefficients. The solution h b = { h b,k } 4 k= is the linear combination of vectors w i given by: w = 5 w l = 83, 49 99, , 49 74, 839 u l ) T 66, , , 49 53,,,,,,,,, l =, 3, 4, w l =, l = 5, 6, 7, v l 4 6) i.e., h b = 7 d i W i, 6) i= where d i are chosen real parameters. Hence, the set Ψ j depends on the choice of a k,l, b k,l and d i. However, it is not true that cond Ψ j C for all possible choices of these parameters. Moreover, for some choices, the condition numbers of Ψ j are uniformly bounded, but the condition number of the resulting basis Ψ is large, e.g., 6. Therefore, we optimize the construction to improve the condition number of Ψ. We choose a k,, and then, we set a k, and a k,3, such that ψ i, ψ j = δ i,j for i, j =,, 3, and similarly, we choose b k, and then set b k, and b k,3, such that ψ i, ψ j = δ i,j for i, j = 4, 5, 6. Moreover, the functions ψ 7 and ψ 8 are constructed, such that they are orthogonal to ψ i for i =,..., 6, and due to the symmetry and antisymmetry, we have ψ i, ψ j = δ i,j for i =,, 3 and j = 4, 5, 6 and ψ 7, ψ 8 =. In summary, ψ i is orthogonal to ψ j with respect to the L -norm for i, j =,... 6, i = j. To further improve the condition number, we orthogonalize scaling functions on the coarsest level j = 3, i.e., we determine the set: Φ ort 3 := K Φ 3, K = Φ 3, Φ 3, 63) and we redefine Φ 3 as Φ 3 := Φ ort 3. Furthermore, we wrote a program that computes the condition number of the wavelet basis containing all wavelets up to the level of seven with respect to both the L -norm and the H -norm for

12 Axioms 7, 6, 4 of given parameters a k,l, b k,l and d i and performed extensive numerical experiments. In the following, we consider the parameters that lead to good results: a = a,, a,, a,3 ) = 4.6, 4.43,.67), a = a,, a,, a,3 ) = , , ), a 3 = a 3,, a 3,, a 3,3 ) = , , ), b = b,, b,, b,3 ) =.4, 3.9, 4.7), b = b,, b,, b,3 ) = , , ), b 3 = b 3,, b 3,, b 3,3 ) = , , ), d = d,..., d 7 ) =.75,.363,.66,.34,.344,.58,.99), 64) and after computing ψ b and ψ i, i =,..., 8, using these parameters, we normalize them with respect to the L -norm, i.e., we redefine ψ b := ψ b / ψ b and ψ i := ψ i / ψ i. The wavelets ψ 3,,..., ψ 3,9 that are dilations of ψ b, ψ,..., ψ 8 are displayed in Figure ψ 3, ψ 3, ψ 3, ψ 3,4 3 ψ 3,5 ψ 3, ψ 3,7 3 ψ 3,8 ψ 3, Figure. Wavelets ψ 3,,..., ψ 3,9. Theorem 4. The sets Ψ j with the parameters given by 64) are uniform Riesz bases of W j for j 3. Proof of Theorem 5. Since we constructed wavelets such that many of them are orthogonal, there is only a small number of nonzero entries in N j. Since wavelets are normalized with respect to the L -norm, we have: ) Nj =. 65) k,k

13 Axioms 7, 6, 4 3 of Direct computation yields that: Nj )k=,l=,...,9 = ) N j k= j,l= j,..., j 8 = z, Nj )k=,...,9,l= = ) N j = k= j,..., j 8,l= j z T, 66) where: z =.,.97,.66,.339,.75,.45,.65,.439), 67) and for i =,..., j, we have: ) Nj k=8i,8i+,l=8i+8,8i+9 = ) N Nj k=8i+8,8i+9,l=8i,8i+ = NT, 68) where: N =. 69) The numbers in 67) and 69) are rounded to four decimal digits. All other entries of N j are zero. The structure of the Gram matrix N j = Ψ j, Ψ j is displayed in Figure nz = 44 Figure 3. The structure of the matrix N j. Using Gershgorin theorem, the smallest eigenvalue λ min Nj )., and the largest eigenvalue λ max Nj ).79. Therefore, Ψj are uniform Riesz bases of their spans. Theorem 5. The set Ψ is a Riesz basis of L, ), and when normalized with respect to the H -norm, it is a Riesz basis of H, ). Proof of Theorem 6. Due to the Theorems, 3 and 4, the relation 9) holds both for s = and s =. Hence, Ψ is a Riesz basis of L, ) and: { } { 3 φ 3,k, k =,..., 6 j ψ j,k, j 3, k =,..., j+} 7)

14 Axioms 7, 6, 4 4 of is a Riesz basis of H, ). To show that also: { } φ 3,k ψ φ H, k =,..., 6 j,k 3,k,) H, j 3, k =,..., j+ ψ j,k,) 7) is a Riesz basis of H, ), we follow the Proof of Theorem in [4]. From 8) and 5) there exist nonzero constants C and C, such that: C j H ψ j,k C j, for j 3, k =,..., j+, 7) Ω) and: C 3 φ3,k H Ω) C 3, for k =,..., 6. 73) Let ˆb = { â 3,k, k =,..., 6 } {ˆbj,k, j 3, k =,..., j+} be such that: We define: ˆb 6 = â 3,k + k= j=3 j+ k= ˆb j,k <. 74) a 3,k = 3 â 3,k φ3,k H, k =,..., 6, b j,k =,) j ˆbj,k ψ j,k H,), j 3, k =,..., j+, 75) and b = { a 3,k, k =,..., 6 } { b j,k, j 3, k =,..., j+}. Then: ˆb b <. 76) C Since the set 7) is a Riesz basis of H, ), there exist constants C 3 and C 4, such that: Therefore: and similarly: C 3 b 6 k= C 4 C ˆb C 4 b = C 3 ˆb C a 3,k 3 φ 3,k + 6 â 3,k k= φ 3,k H,) 6 k= j+ j=3 b j,k j ψ j,k C 4 b. 77) k= H,) 6 k= a 3,k 3 φ 3,k + j=3 j+ k= b j,k j ψ j,k H,) â 3,k φ3,k H φ 3,k +,) φ 3,k + j=3 j+ k= j=3 j+ k= ˆb j,k ψ j,k H,) ˆb j,k ψ j,k H,) ψ j,k ψ j,k H,) H,) 78). 79) The condition number of the resulting wavelet basis with wavelets up to the level of with respect to the L -norm is 7., and the condition number of this basis normalized with respect to the

15 Axioms 7, 6, 4 5 of H -norm is 6.. The sparsity pattern of the matrix arising from a discretization using a wavelet basis constructed in this paper and a wavelet basis from [5] for the one-dimensional Black Scholes equation with quadratic volatilities from Example is displayed in Figure Figure 4. The sparsity pattern of the matrices arising from a discretization using a wavelet basis constructed in this paper left) and a wavelet basis from [5] right) for the Black Scholes equation with quadratic volatilities. 5. Wavelets on the Hypercube We present a well-known construction of a multivariate wavelet basis on the unit hypercube Ω =, )d ; for more details, see, e.g., [3]. It is based on tensorizing univariate wavelet bases and preserves the Riesz basis property, the locality of wavelets, vanishing moments and polynomial exactness. This approach is known as an anisotropic approach. For notational simplicity, we denote J j =,..., j+ for j 3, and: ψ,k := φ3,k, k J : = J3, J := j, k), j, J j. 8) Then, we can write: n o Ψ = ψj,k, j, k J j = {ψλ, λ J }. 8) We use u v to denote the tensor product of functions u and v, i.e., u v) x, x ) = u x ) v x ). We define multivariate basis functions as: ψλ = id= ψλi, of λ = λ,..., λd ) J, J = Jd = J... J. 8) Since Ψ is a Riesz basis of L, ) and Ψ normalized with respect to the H -norm is a Riesz basis, ), the set: Ψ ani := {ψλ, λ J} 83) H is a Riesz basis of L Ω), and its normalization with respect to the H -norm is a Riesz basis of H Ω). Using the same argument as in the Proof of Lemma, we conclude that for this basis, the discretization matrix is sparse for Equation ) with piecewise polynomial coefficients on uniform meshes, such that deg pk,l 6, deg qk 5 and deg a Numerical Examples In this section, we solve the elliptic Equation ) and the equation with the Black Scholes operator from Example by an adaptive wavelet method with the basis constructed in this paper. We briefly describe the algorithm. While the classical adaptive methods typically uses refining a mesh according

16 Axioms 7, 6, 4 6 of to a posteriori local error estimates, the wavelet approach is different, and it comprises the following steps [3,7,8]:. One starts with a variational formulation for a suitable wavelet basis, but instead of turning to a finite dimensional approximation, the continuous problem is transformed into an infinite-dimensional l -problem.. Then, one proposes a convergent iteration for the l -problem. 3. Finally, one derives an implementable version of this idealized iteration, where all infinite-dimensional quantities are replaced by finitely supported ones. To the left-hand side of the Equation ), we associate the following bilinear form: a v, w) := d Ω k,l= p k,l v x k w x l + d k= The weak formulation of ) reads as follows: Find u H Ω), such that: q k v x k w + p v w dx. 84) a u, v) = f, v for all v H Ω). 85) Instead of turning to a finite dimensional approximation, Equation 85) is reformulated as an equivalent bi-infinite matrix equation Au = f, where: A) λ,µ = a ψ λ, ψ µ ), f)λ = f, ψ λ, 86) for ψ λ, ψ µ Ψ and Ψ is a wavelet basis of H Ω). We use the standard Jacobi diagonal preconditioner D for preconditioning this equation, i.e., D λ,µ = D λ,µ δ λ,µ. If the coefficients are constant, one can also use an efficient diagonal preconditioner from [4]. The algorithm for solving the l -problem is the following:. Compute sparse representation f j of the right-hand side f, such that f fj is smaller than a given tolerance ɛ j. The computation of a sparse representation insists on thresholding the smallest coefficients and working only with the largest ones. We denote the routine as f j := RHS[f, ɛ j ].. Compute K steps of GMRESfor solving the system Av = f j with the initial vector v j. Each iteration of GMRES requires multiplication of the infinite-dimensional matrix with a finitely-supported vector. Since for the wavelet basis constructed in this paper, the matrix is sparse, it can be computed exactly. Otherwise, it is computed approximately with the given tolerance ɛ j by the method from [4]. We denote the routine z = GMRES[A, f j, v j, K]. 3. Compute sparse representation v j+ of z with the error smaller than ɛ j. We denote the routine v j+ := COARSE[z, ɛ j ]. It insists on thresholding the coefficients. We repeat Steps, and 3 until the norm of the residual r j = f Avj is not smaller than the required tolerance ɛ. Since we work with the sparse representation of the right-hand side and the sparse representation of the vector representing the solution, the method is adaptive. It is known that the coefficients in the wavelet basis are small in regions where the function is smooth and large in regions where the function has some singularity. Therefore, by this method, the singularities are automatically detected.

17 Axioms 7, 6, 4 7 of We use the following algorithm that is a modified version of the original algorithm from [7,8]: Algorithm u :=SOLVE [ A, f, ɛ ]. Choose k, k, k, ), K N.. Set j :=, v := and ɛ := f. 3. While ɛ > ɛ j := j +, ɛ := k ɛ, ɛ j := k ɛ, ɛ j := k ɛ, f j := RHS[f, ɛ j ], z := GMRES[A, f j, v j, K] v j := COARSE[z, ɛ j ], Estimate r j = f Av j and set ɛ := rj. end while, 4. u := v j, 5. Compute approximate solution ũ = uλ u u λ ψ λ. For an appropriate choice of parameters k, k, k and K and more details about the routines RHS and COARSE, we refer to [7,8,3]. Example. We solve the equation: ɛu + x u + u = f on, ), u ) = u ) =, 87) where ɛ =. and the right-hand side f is corresponding to the solution: u x) = x e 5x 5) for x [, ]. 88) We solve this equation using the adaptive wavelet method described above with the wavelet basis constructed in this paper. The approximate solution and the derivative of the approximate solution that were computed using only 79 coefficients are displayed in Figure 5. The significant coefficients were located near Point, because the solution has a large derivative near this point Figure 5. The approximate solution left) and the derivative of the approximate solution right) for Example. The sparsity patterns of the matrices arising from discretization of Equation 87) using wavelets constructed in this paper and wavelets from [5] are the same as the sparsity patterns of matrices for Example that are displayed in Figure 4. Convergence history is displayed in Figure 6. The number of iterations equals the parameter j from Algorithm ; the number of basis functions determining the

18 Axioms 7, 6, 4 8 of approximate solution in j-th iteration is the same as the number of nonzero entries of the vector v j ; and the L -norm of the error is given by: u ũ = max u x) ũ x). 89) x [,] 3 number of basis functions L norm of the error 4 6 L norm of the error number of iterations number of iterations 8 3 number of basis functions Figure 6. Convergence history for Example. The number of basis functions and the L -norm of the error are in logarithmic scaling. Example 3. We consider the equation: V t k,l= ρ k,l σ kσ l S k S l V S k S l r k= S k V S k + rv = f, 9) for S, S ) Ω :=, ) and t, ). We choose parameters of the Black Scholes operator as ρ, = ρ, =, ρ, = ρ, =.88, σ x) =.x.x +.66, σ x) =.x.x +.97, r =., and we set the right-hand side f, the initial and boundary conditions, such that the solution V is given by: V S, S, t) = e rt S S e S ) e S ) 9) for S, S, t) Ω, ). We use the Crank Nicolson scheme for the semi-discretization of the Equation 9) in time. Let M N, τ = M, t l = lτ, l =,..., M, and denote V l S, S ) = V S, S, t l ) and f l S, S ) = f S, S, t l ). The Crank Nicolson scheme has the form: V l+ V l τ k,l= ρ k,l 4 σ kσ l S k S l V l+ + V l ) S k S l r V S l+ + V l ) k + r V l+ + V l ) S k= k = f l+ + f l. 9) In this scheme, the function V l is known from the equation on the previous time level, and the function V l+ is an unknown solution. Thus, for the given time level t l, Equation 9) is of the form ), and we can use the adaptive wavelet method for solving it. The approximate solution V for τ = /365 that was computed using 73 coefficients is displayed in Figure Figure 7. Contour plot left) and 3D plot right) of the approximate solution V for Example.

19 Axioms 7, 6, 4 9 of It can be seen that the gradient of the solution V has the largest values near the point [, ]. Therefore, the largest wavelet coefficients correspond to wavelets with supports in regions near this point, and wavelet coefficients are small for wavelets that are not located in these regions. Thus, many wavelet coefficients are omitted, and the representation of the solution is sparse. The convergence history is shown in Figure 8. number of basis functions 5 L norm of the error L norm of the error number of iterations number of iterations 5 number of basis functions Figure 8. Convergence history for Example. The number of basis functions and the L -norm of the error are in logarithmic scaling. 7. Conclusions In this paper, we constructed a new cubic spline multi-wavelet basis on the unit interval and unit cube. The basis is adapted to homogeneous Dirichlet boundary conditions, and wavelets have eight vanishing moments. The main advantage of this basis is that the matrices arising from a discretization of the differential Equation ) with piecewise polynomial coefficients on uniform meshes, such that deg p k,l 6, deg q k 5 and deg a 4, are sparse and not only quasi-sparse. We proved that the constructed basis is indeed a wavelet basis, i.e., the Riesz basis property 5) is satisfied. We performed extensive numerical experiments and present the construction that leads to the wavelet basis that is well-conditioned with respect to the L -norm, as well as the H -norm. Acknowledgments: This work was supported by Grant GA6-954S of the Czech Science Foundation. Author Contributions: The authors contributed equally to this work. Conflicts of Interest: The authors declare no conflict of interest. References. Beylkin, G. Wavelets and fast numerical algorithms. In Different Perspectives on Wavelets 47; Daubechies, I., Ed.; Proceedings of Symposia in Applied Mathematics; American Mathematical Society: Providence, RI, USA, 993; pp Shann, W.C.; Xu, J.C. Galerkin-wavelet methods for two-point boundary value problems. Numer. Math. 99, 63, Hariharan, G.; Kannan, K. Haar wavelet method for solving some nonlinear parabolic equations. J. Math. Chem., 48, Lepik, Ü. Numerical solution of differential equations using Haar wavelets. Math. Comput. Simul. 5, 68, Lepik, Ü. Numerical solution of evolution equations by the Haar wavelet method. Appl. Math. Comput. 7, 85, Cattani, C. Haar wavelet spline. J. Interdiscip. Math., 4, Cattani, C.; Bochicchio, I. Wavelet analysis of chaotic systems. J. Interdiscip. Math. 6, 9, Ciancio, A.; Cattani, C. Analysis of Singularities by Short Haar Wavelet Transform. Lecture Notes in Computer Science; Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Laganá, A., Mun, Y., Choo, H., Eds.; Springer: Berlin/Heidelberg, Germany, 6; pp Kumar, V.; Mehra, M. Cubic spline adaptive wavelet scheme to solve singularly perturbed reaction diffusion problems. Int. J. Wavelets Multiresolut. Inf. Process. 7, 5,

20 Axioms 7, 6, 4 of. Jia, R.Q.; Zhao, W. Riesz bases of wavelets and applications to numerical solutions of elliptic equations. Math. Comput., 8, Negarestani, H.; Pourakbari, F.; Tavakoli, A. Adaptive multiple knot B-spline wavelets for solving Saint-Venant equations. Int. J. Wavelets Multiresolut. Inf. Process. 3,,.. Mehra, M. Wavelets and differential equations A short review. In AIP Conference Proceedings 46; Siddiqi, A.H., Gupta, A.K., Brokate, M., Eds.; American Institute of Physics: New York, NY, USA, 9; pp Dahmen, W. Multiscale and wavelet methods for operator equations. Lect. Notes Math. 3, 85, Caflisch, R.E.; Gargano, F.; Sammartino, M.; Sciacca, V. Complex singularities and PDEs. Rivista Matematica Universita di Parma 5, 6, Gargano, F.; Sammartino, M.; Sciacca, V.; Cassel, K.V. Analysis of complex singularities in high-reynolds-number Navier-Stokes solutions. J. Fluid Mech. 4, 747, Weideman, J.A.C. Computing the dynamics of complex singularities of nonlinear PDEs. SIAM J. Appl. Dyn. Syst. 3,, Cohen, A.; Dahmen, W.; DeVore, R. Adaptive wavelet schemes for elliptic operator equations Convergence rates. Math. Comput., 7, Cohen, A.; Dahmen, W.; DeVore, R. Adaptive wavelet methods II - beyond the elliptic case. Found. Math.,, Dijkema, T.J.; Schwab, C.; Stevenson, R. An adaptive wavelet method for solving high-dimensional elliptic PDEs. Constr. Approx. 9, 3, Hilber, N.; Reichmann, O.; Schwab, C.; Winter, C. Computational Methods for Quantitative Finance; Springer: Berlin, Germany, 3.. Stevenson, R. Adaptive solution of operator equations using wavelet frames. SIAM J. Numer. Anal. 3, 4, 74.. Dahmen, W.; Kunoth, A. Multilevel preconditioning. Numer. Math. 99, 63, Urban, K. Wavelet Methods for Elliptic Partial Differential Equations; Oxford University Press: Oxford, UK, Černá, D.; Finěk, V. Approximate multiplication in adaptive wavelet methods. Cent. Eur. J. Math. 3,, Dijkema, T.J.; Stevenson, R. A sparse Laplacian in tensor product wavelet coordinates. Numer. Math., 5, Cvejnová, D.; Černá, D.; Finěk, V. Hermite cubic spline multi-wavelets on the cube. In AIP Conference Proceedings 69; Pasheva, V., Popivanov, N., Venkov, G., Eds.; American Institute of Physics: New York, NY, USA, 5; No Černá, D.; Finěk, V. On a sparse representation of an n-dimensional Laplacian in wavelet coordinates. Results Math. 6, 69, Černá, D. Numerical solution of the Black Scholes equation using cubic spline wavelets. In AIP Conference Proceedings 789; Pasheva, V., Popivanov, N., Venkov, G., Eds.; American Institute of Physics: New York, NY, USA, 6; No Cvejnová, D.; Šimůnková, M. Comparison of multidimensional wavelet bases. AIP Conf. Proc. 5, 69, Schneider, A. Biorthogonal cubic Hermite spline multi-wavelets on the interval with complementary boundary conditions. Results Math. 9, 53, Dahmen, W.; Han, B.; Jia, R.Q.; Kunoth, A. Biorthogonal multi-wavelets on the interval: Cubic Hermite splines. Constr. Approx., 6, Jia R.Q.; Liu, S.T. Wavelet bases of Hermite cubic splines on the interval. Adv. Comput. Math. 6, 5, Shumilov, B.M. Multiwavelets of the third-degree Hermitian splines orthogonal to cubic polynomials. Math. Models Comput. Simul. 3, 5, Shumilov, B.M. Cubic multi-wavelets orthogonal to polynomials and a splitting algorithm. Numer. Anal. Appl. 3, 6, Xue, X.; Zhang, X.; Li, B.; Qiao, B.; Chen, X. Modified Hermitian cubic spline wavelet on interval finite element for wave propagation and load identification. Finite Elem. Anal. Des. 4, 9, Černá, D.; Finěk, V. Wavelet bases of cubic splines on the hypercube satisfying homogeneous boundary conditions. Int. J. Wavelets Multiresolut. Inf. Process. 5, 3, 554.

21 Axioms 7, 6, 4 of 37. Zuhlsdorff, C. The pricing of derivatives on assets with quadratic volatility. Appl. Math. Financ., 8, Dahmen, W. Stability of multiscale transformations. J. Fourier Anal. Appl. 996, 4, Johnson, C.R. A Gershgorin-type lower bound for the smallest singular value. Linear Algebra Appl. 989,, Černá, D.; Finěk, V. Quadratic spline wavelets with short support for fourth-order problems. Results Math. 4, 66, Černá, D.; Finěk, V. A diagonal preconditioner for singularly pertubed problems. Bound. Value Probl. 7, 7,. c 7 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution CC BY) license