Erratum to: Sobolev Duals in Frame Theory and Sigma-Delta Quantization

A new class of alternative dual frames is introduced in the setting of finite frames for ℝ ^d . These dual frames, called Sobolev duals, provide a high precision linear reconstruction procedure for Sigma-Delta (ΣΔ) quantization of finite frames. The main result is summarized as follows: reconstruction with Sobolev duals enables stable rth order Sigma-Delta schemes to achieve deterministic approximation error of order O(N^-r)\mathcal{O}(N^{-r}) for a wide class of finite frames of size N. This asymptotic order is generally not achievable with canonical dual frames. Moreover, Sobolev dual reconstruction leads to minimal mean squared error under the classical white noise assumption.     

Procrustes Problems and Parseval Quasi-Dual Frames

Parseval frames have particularly useful properties, and in some cases, they can be used to reconstruct signals which were analyzed by a non-Parseval frame. In this paper, we completely describe the degree to which such reconstruction is feasible. Indeed, notice that for fixed frames \({\mathcal{F}}\) and \({\mathcal{X}}\) with synthesis operators F and X, the operator norm of FX ^??I measures the (normalized) worst-case error in the reconstruction of vectors when analyzed with \({\mathcal{X}}\) and synthesized with \({\mathcal{F}}\) . Hence, for any given frame \({\mathcal{F}}\) , we compute explicitly the infimum of the operator norm of FX ^??I, where \({\mathcal{X}}\) is any Parseval frame. The \({\mathcal{X}}\) ’s that minimize this quantity are called Parseval quasi-dual frames of \({\mathcal{F}}\) . Our treatment considers both finite and infinite Parseval quasi-dual frames.     

Distributed Noise-Shaping Quantization: I. Beta Duals of Finite Frames and Near-Optimal Quantization of Random Measurements

This paper introduces a new algorithm for the so-called “analysis problem” in quantization of finite frame representations that provides a near-optimal solution in the case of random measurements. The main contributions include the development of a general quantization framework called distributed noise shaping and, in particular, beta duals of frames, as well as the performance analysis of beta duals in both deterministic and probabilistic settings. It is shown that for random frames, using beta duals results in near-optimally accurate reconstructions with respect to both the frame redundancy and the number of levels at which the frame coefficients are quantized. More specifically, for any frame E of m vectors in \(\mathbb {R}^k\) except possibly from a subset of Gaussian measure exponentially small in m and for any number \(L \ge 2\) of quantization levels per measurement to be used to encode the unit ball in \(\mathbb {R}^k\), there is an algorithmic quantization scheme and a dual frame together that guarantee a reconstruction error of at most \(\sqrt{k}L^{-(1-\eta )m/k}\), where \(\eta \) can be arbitrarily small for sufficiently large problems. Additional features of the proposed algorithm include low computational cost and parallel implementability.     

Bessel multiwavelet sequences and dual multiframelets in Sobolev spaces

The dual 2I _d -framelets in $ (H^{s}(\mathbb{R}^{d}), H^{-s}(\mathbb{R}^{d})) $ , s?>?0, were introduced by Han and Shen (Constr Approx 29(3):369–406, 2009). In this paper, we systematically study the Bessel property of multiwavelet sequences in Sobolev spaces. The conditions for Bessel multiwavelet sequence in $ H^{-s}(\mathbb{R}^{d}) $ take great difference from those for Bessel wavelet sequence in this space. Precisely, the Bessel property of multiwavelet sequence in $ H^{-s}(\mathbb{R}^{d}) $ is not only related to multiwavelets themselves but also to the corresponding refinable function vector. We construct a class of Bessel M-refinable function vectors with M being an isotropic dilation matrix, which have high Sobolev smoothness, and of which the mask symbols have high sum rules. Based on the constructed Bessel refinable function vector, an explicit algorithm is given for dual M-multiframelets in $ (H^{s}(\mathbb{R}^{d}),H^{-s}(\mathbb{R}^{d})) $ with the multiframelets in $ H^{-s}(\mathbb{R}^{d}) $ having high vanishing moments. On the other hand, based on the dual multiframelets, an algorithm for dual M-multiframelets with symmetry is given. In Section 6, we give an example to illustrate the constructing procedures of dual multiframelets.     

Positive solution to semilinear parabolic equation associated with critical Sobolev exponent

We study the semilinear parabolic equation ${u_{t}- \Delta u = u^{p}, u \geq 0}$ on the whole space R ^N , ${N \geq 3}$ associated with the critical Sobolev exponent p = (N + 2)/(N ? 2). Similarly to the bounded domain case, there is threshold blowup modulus concerning the blowup in finite time. Furthermore, global in time behavior of the threshold solution is prescribed in connection with the energy level, blowup rate, and symmetry.     

A unified framework for a posteriori error estimation for the Stokes problem

In this paper, a unified framework for a posteriori error estimation for the Stokes problem is developed. It is based on $[H^1_0(\Omega )]^d$ -conforming velocity reconstruction and $\underline{\varvec{H}}(\mathrm{div},\Omega )$ -conforming, locally conservative flux (stress) reconstruction. It?gives guaranteed, fully computable global upper bounds as well as local lower bounds on the energy error. In order to apply this framework to a given numerical method, two simple conditions need to be checked. We show how to do this for various conforming and conforming stabilized finite element methods, the discontinuous Galerkin method, the Crouzeix–Raviart nonconforming finite element method, the mixed finite element method, and a general class of finite volume methods. The tools developed and used include a new simple equilibration on dual meshes and the solution of local Poisson-type Neumann problems by the mixed finite element method. Numerical experiments illustrate the theoretical developments.     

The Properties of Solutions for a Generalized b-Family Equation with Peakons

This paper deals with the Cauchy problem for a shallow water equation with high-order nonlinearities, y _t +u ^m+1 y _x +bu ^m u _x y=0, where b is a constant, $m\in \mathbb{N}$ , and we have the notation $y:= (1-\partial_{x}^{2}) u$ , which includes the famous Camassa–Holm equation, the Degasperis–Procesi equation, and the Novikov equation as special cases. The local well-posedness of strong solutions for the equation in each of the Sobolev spaces $H^{s}(\mathbb{R})$ with $s>\frac{3}{2}$ is obtained, and persistence properties of the strong solutions are studied. Furthermore, although the $H^{1}(\mathbb{R})$ -norm of the solution to the nonlinear model does not remain constant, the existence of its weak solutions in each of the low order Sobolev spaces $H^{s}(\mathbb{R})$ with $1<s<\frac{3}{2}$ is established, under the assumption $u_{0}(x)\in H^{s}(\mathbb{R})\cap W^{1,\infty}(\mathbb{R})$ . Finally, the global weak solution and peakon solution for the equation are also given.     

Approximate dual Gabor atoms via the adjoint lattice method

Regular Gabor frames for \({\boldsymbol {L}{^{2}}(\mathbb {R}^d)}\) are obtained by applying time-frequency shifts from a lattice in \(\boldsymbol {\Lambda } \vartriangleleft {\mathbb {R}^{d} \times \mathbb {\widehat {R}}}\) to some decent so-called Gabor atom g, which typically is something like a summability kernel in classical analysis, or a Schwartz function, or more generally some \(g \in {\boldsymbol {S}_{0}(\mathbb {R}^{d})}\) . There is always a canonical dual frame, generated by the dual Gabor atom \({\widetilde g}\) . The paper promotes a numerical approach for the efficient calculation of good approximations to the dual Gabor atom for general lattices, including the non-separable ones (different from \({a\mathbb {Z}^{d}\,{\times }\,b\mathbb {Z}^{d}}\) ). The theoretical foundation for the approach is the well-known Wexler-Raz biorthogonality relation and the more recent theory of localized frames. The combination of these principles guarantees that the dual Gabor atom can be approximated by a linear combination of a few time-frequency shifted atoms from the adjoint lattice \(\boldsymbol {\Lambda }\circ\) . The effectiveness of this approach is justified by a new theoretical argument and demonstrated by numerical examples.     

EQ 1 rot nonconforming finite element approximation to Signorini problem

In this paper, we apply EQ rot 1 nonconforming finite element to approximate Signorini problem. If the exact solution u∈H5/2(Ω), the error estimate of order O(h) about the broken energy norm is obtained for quadrilateral meshes satisfying regularity assumption and bi-section condition. Furthermore, the superconvergence results of order O(h3/2) are derived for rectangular meshes. Numerical results are presented to confirm the considered theory.     

Embedding property on rearrangement invariant spaces

Let X be a rearrangement invariant space in R ⁿ and $W_X^{r_1 ,...,r_n } $ be an anisotropic Sobolev space which is a generalization of $W_p^{r_1 ,...,r_n } $ . The main subject of this paper is to prove the embedding theorem for $W_X^{r_1 ,...,r_n } $ .     

Sharp higher-order Sobolev inequalities in the hyperbolic space {\mathbb{H}^n}

In this paper, we obtain the sharp k-th order Sobolev inequalities in the hyperbolic space ${\mathbb{H}^n}$ for all k = 1, 2, 3, . . . . This gives an answer to an open question raised by Aubin in [Aubin, Princeton University Press, Princeton (1982), pp. 176–177] for ${W^{k,2}(\mathbb{H}^n)}$ with k > 1. In addition, we prove that the associated Sobolev constants are optimal.     

C∞ functions in infinite dimension and linear partial differential difference equations with constant coefficients

This work is closed to [2] where a dense linear subspace \(\mathbb{E}\) (E) of the space ?(E) of the Silva C ^∞ functions on E is defined; the dual of \(\mathbb{E}\) (E) is described via the Fourier transform by a Paley-Wiener-Schwartz theorem which is formulated exactly in the same way as in the finite dimensional case. Here we prove existence and approximation result for solutions of linear partial differential difference equations in \(\mathbb{E}\) (E) with constant coefficients. We also obtain a Hahn-Banach type extension theorem for some C^∞ functions defined on a closed subspace of a DFN space, which is analogous to a Boland’s result in the holomorphic case [1].     

Maximal fitting subclasses of the class of all finite π-groups

Call a Fitting class $\mathfrak{F}$ π-maximal if $\mathfrak{F}$ is (inclusion-)maximal in the class $\mathfrak{C}_\pi$ of all finite π-groups, where π stands for a nonempty set of primes. We establish a π-maximality criterion for a Fitting class $\mathfrak{F}$ of finite π-groups: we prove that a nontrivial Fitting class $\mathfrak{F}$ is π-maximal if and only if there is a prime p ∈ π such that, for every π-group G, the index of the $\mathfrak{F}$ -radical $G_\mathfrak{F}$ in G is equal to 1 or p. This implies Laue’s familiar result on a necessary and sufficient condition of the maximality of an arbitrary Fitting class of finite groups in the class $\mathfrak{C}$ of all finite groups. The π-maximality criterion obtained also gives a confirmation of the negative solution of Skiba’s Problem asking whether a local Fitting class has no inclusion-maximal Fitting subclasses (see Problem 13.50, The Kourovka Notebook: Unsolved Problems in Group Theory, 14th ed., Sobolev Institute of Mathematics, Novosibirsk, 1999).     

L 2-theory for non-symmetric Ornstein–Uhlenbeck semigroups on domains

We prove that the mild solution of the stochastic evolution equation ${{d}X(t) = AX(t)\,{d}t + {d}W(t)}$ on a Banach space E has a continuous modification if the associated Ornstein–Uhlenbeck semigroup is analytic on L ² with respect to the invariant measure. This result is used to extend recent work of Da Prato and Lunardi for Ornstein–Uhlenbeck semigroups on domains ${\mathcal{O} \subseteq E}$ to the non-symmetric case. Denoting the generator of the Ornstein–Uhlenbeck semigroup by ${L_\mathcal{O}}$ , we obtain sufficient conditions in order that the domain of ${\sqrt{-L_\mathcal{O}}}$ be a first-order Sobolev space.     

Boundary element methods for variational inequalities

In this paper we present a priori error estimates for the Galerkin solution of variational inequalities which are formulated in fractional Sobolev trace spaces, i.e. in $\widetilde{H}^{1/2}(\Gamma )$ . In addition to error estimates in the energy norm we also provide, by applying the Aubin–Nitsche trick for variational inequalities, error estimates in lower order Sobolev spaces including $L_2(\Gamma )$ . The resulting discrete variational inequality is solved by using a semi-smooth Newton method, which is equivalent to an active set strategy. A numerical example is given which confirms the theoretical results.     

On the Gagliardo-Nirenberg type inequality in the critical Sobolev-Morrey space

Our main purpose in this article is to establish a Gagliardo-Nirenberg type inequality in the critical Sobolev–Morrey space $H\mathcal{M}^{\frac{n}{p}}_{p,q}(\mathbb{R}^{n})$ with n∈? and 1<q≤p<∞, which coincides with the usual critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ in the case of q=p. Indeed, we shall show the following interpolation inequality. If q<p, there exists a positive constant C _p,q depending only on p and q such that GN $$ \|f\|_{{\mathcal{M}}_{r,\frac{q}{p}r}} \leq C_{p,q}r\|f \|_{{\mathcal{M}}_{p,q}}^{\frac{p}{r}}\bigl\|(-\Delta)^{\frac{n}{2p}} f\bigr\|_{{\mathcal{M}}_{p,q}}^{1-\frac{p}{r}} $$ for all $u\in H\mathcal{M}^{\frac{n}{p}}_{p,q}( \mathbb{R}^{n})$ and for all p≤r<∞. In the case of q=p, that is, the case of the critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ , the corresponding inequality was obtained in Ogawa (Nonlinear Anal. 14:765–769, 1990), Ogawa-Ozawa (J. Math. Anal. Appl. 155:531–540, 1991) and Ozawa (J. Func. Anal. 127:259–269, 1995) with the growth order $r^{1-\frac{1}{p}}$ as r→∞. The inequality (GN) implies that the growth order as r→∞ is linear, which might look worse compared to the case of the critical Sobolev space. However, we investigate the optimality of the growth order and prove that this linear order is best-possible. Furthermore, as several applications of the inequality (GN), we shall obtain a Trudinger-Moser type inequality and a Brézis-Gallouët-Wainger type inequality in the critical Sobolev-Morrey space.     

An error estimate for the finite difference approximation to degenerate convection–diffusion equations

We consider semi-discrete first-order finite difference schemes for a nonlinear degenerate convection?Cdiffusion equations in one space dimension, and prove an L ¹ error estimate. Precisely, we show that the ${L^1_{\rm{loc}}}$ difference between the approximate solution and the unique entropy solution converges at a rate ${\mathcal{O}(\Delta x^{1/11})}$ , where ${\Delta x}$ is the spatial mesh size. If the diffusion is linear, we get the convergence rate ${\mathcal{O}(\Delta x^{1/2})}$ , the point being that the ${\mathcal{O}}$ is independent of the size of the diffusion.     

Infinite-dimensional quasigroups of finite orders

Let Σ be a finite set of cardinality k > 0, let $\mathbb{A}$ be a finite or infinite set of indices, and let $\mathcal{F} \subseteq \Sigma ^\mathbb{A}$ be a subset consisting of finitely supported families. A function $f:\Sigma ^\mathbb{A} \to \Sigma$ is referred to as an $\mathbb{A}$ -quasigroup (if $\left| \mathbb{A} \right| = n$ , then an n-ary quasigroup) of order k if $f\left( {\bar y} \right) \ne f\left( {\bar z} \right)$ for any ordered families $\bar y$ and $\bar z$ that differ at exactly one position. It is proved that an $\mathbb{A}$ -quasigroup f of order 4 is reducible (representable as a superposition) or semilinear on every coset of $\mathcal{F}$ . It is shown that the quasigroups defined on Σ^?, where ? are positive integers, generate Lebesgue nonmeasurable subsets of the interval [0, 1].     

Asymptotic expansions for interior penalty solutions of control constrained linear-quadratic problems

We consider a quadratic optimal control problem governed by a nonautonomous affine ordinary differential equation subject to nonnegativity control constraints. For a general class of interior penalty functions, we provide a first order expansion for the penalized states and adjoint states around the state and adjoint state of the original problem. Our main argument relies on the following fact: if the optimal control satisfies strict complementarity conditions for its Hamiltonian except for a set of times with null Lebesgue measure, the functional estimates for the penalized optimal control problem can be derived from the estimates of a related finite dimensional problem. Our results provide several types of efficiency measures of the penalization technique: error estimates of the control for L ^s norms (s in [1, +∞]), error estimates of the state and the adjoint state in Sobolev spaces W ^1,s (s in [1, +∞)) and also error estimates for the value function. For the L ¹ norm and the logarithmic penalty, the sharpest results are given, by establishing an error estimate for the penalized control of order ${O(\varepsilon|\log\epsilon|)}$ where ${\varepsilon >0 }$ is the (small) penalty parameter.     

Module amenability of the second dual and module topological center of semigroup algebras

In this paper we define the module topological center of the second dual $\mathcal{A}^{**}$ of a Banach algebra $\mathcal{A}$ which is a Banach $\mathfrak{A}$ -module with compatible actions on another Banach algebra $\mathfrak{A}$ . We calculate the module topological center of ? ¹(S)^**, as an ? ¹(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ? ¹(S)^** is ? ¹(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.