Nonnegative scaling vectors on the interval (Q402323): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3390/axioms2030371 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020631758 / rank | |||
Normal rank |
Revision as of 22:22, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonnegative scaling vectors on the interval |
scientific article |
Statements
Nonnegative scaling vectors on the interval (English)
0 references
28 August 2014
0 references
A method is outlined to construct nonnegative scaling vector functions for \(L^2(I)\), \(I=[a,b]\) starting from a scaling vector for a multiresolution analysis of \(L^2(\mathbb{R})\). The goal is to produce a nonnegative scaling vector for \(L^2(I)\) with the same polynomial accuracy as the original scaling vector, using the smallest possible number of edge functions. Let \(\Phi=(\phi^1,\dots ,\phi^{A})\) be a scaling vector that reproduces polynomials up to degree \(m\) and let \(f_{n,k}^\ell\) be coefficients in the expansion \[ t^m=\sum_{\ell=1}^A\sum_{k\in\mathbb{Z}} f_{n,k}^\ell\phi^{\ell}(t-k) =\sum_{k\in\mathbb{Z}} {\vec{f}}_{n,k}\cdot \Phi(\cdot-k)\;. \] One defines left edge functions \[ \phi_{L,n}(t)=\sum_{\ell=1}^A\sum_{k=1-M_\ell}^0 f_{n,k}^\ell\overline{\phi}^{\ell}(t-k) \] with \(M_\ell\) chosen so that \(\phi^\ell\) is supported in \([0, M_\ell]\) so the sum is restricted to those shifts of \(\phi^\ell\) supported in \([0,\infty)\), \(n=0,\dots, m-1\). Here, \(\overline{\phi}^{\ell}(t-k)=\left. {\phi}^{\ell}(t-k)\right|_0^\infty\). When \(\phi^\ell\) is compactly supported, so is \(\phi_{L,n}\) and the equation above implies that \(\phi_{L,n}(t)=t^m\) on \([0,1]\). The first main result states that if \( \Phi=(\phi^1,\dots,\phi^A)\) generates a multiresolution analysis for \(L^2(\mathbb{R})\) with polynomial accuracy \(m\geq 2\) with each \(\phi^i\) continuous, \(\phi^1\) supported in \([0,m]\) and \(\phi^i\) supported in \([0,1]\) for \(i=2,\dots, A\), then for \(t\in [0,1]\), \(t^{m-1}\) can be written as a linear combination of \(\phi_{L,j}\), \(j=0,\dots, m-2\), and these left edge functions together with corresponding right edge functions and \(\phi^\ell\), \(\ell=1,\dots, A\) are sufficient to construct a multiresolution analysis of \(L^2[0,1]\). As a specific case, it is shown that if \((\phi^1,\dots\phi^A)^T\) generate a multiresolution analysis of \(L^2(\mathbb{R})\) of accuracy \(A+1\), that each \(\phi^i\) is continuous and supported in \([0,2]\), and the vectors \(\{{\vec{f}}_{0,0}, {\vec{f}}_{1,0},\dots, {\vec{f}}_{A-1,0}\}\) are linearly independent then for each \(t\in [0,1]\), \(t^A\) can be expressed as a linear combination of the left edge functions \(\phi_{L,j}\), \(j=0,\dots, A-1\) and corresponding right edge functions, and \(\phi^1,\dots, \phi^A\). In particular, these functions are sufficient to generate a multiresolution analysis of \(L^2[0,1]\). Under certain extra conditions the scaling functions can be shown to be nonnegative. This requires that at least one of the components of the original scaling vector is nonnegative, and that it is possible to produce a nonnegative vector that generates the same multiresolution space which, when expanded in terms of the original scaling vectors, have coefficients satisfying a certain coercivity constraint. As with the multiresolution setup itself, the non-negativity conditions for the MRA on \([0,1]\) are inherited from corresponding non-negativity for scaling functions on the full line.
0 references
scaling vector
0 references
scaling function
0 references
multiresolution analysis on an interval
0 references