The uniqueness of the element of best mean approximation to a continuous function using splines with fixed nodes

Suppose that on the Interval [a, b] the nodes $$a = x_0< x_1< \ldots< x_m< x_{m + 1} = b$$ are given and the functions u₀(t)=ω₀(t) $$u_i (t) = \omega _0 (t)\smallint _0^t \omega _1 (\varepsilon _1 )d\varepsilon _1 \ldots \smallint _a^{\varepsilon _{\iota - 1} } \omega _1 (\varepsilon _1 )d\varepsilon _\iota ,\varepsilon _0 = t(i = 1,2, \ldots ,n)$$ where the functions ω_i(t)> 0 have continuous (n?i)-th derivatives (i=0, 1, ..., n). S_n,m will designate the subspace of functions that have continuous (n?1)-st derivatives on [a, b] and coincide on each of the intervals [x_j, x_j+1] (j=0, 1, ..., m) with some polynomial from the system {u_i(t)} _i=0 ⁿ .THEOREM. For every continuous function on [a, b] there exists in S_n,m a unique element of best mean approximation.     

Admissibility of an estimate obtained by the method of moments in the presence of a nuisance shift parameter

Let x₁,..., x_n be a repeated sample from a one-dimensional population with distribution function (d.f.) F(x?η, θ), depending on a structure parameter θ∈^Θ?R ¹ and a nuisance shift parameter η^∈ R¹. The estimator which eliminates ν In a natural manner, has the form \(\sum\limits_1^n {\psi (x_i - \overline x ,\theta ) = 0,\overline x = (x_1 + ... + x_n )/n}\) and the simplest among them, corresponding to a functionψ (u, θ), quadratic in u, leads to the estimate θ (m₂), where \(m_2 = \sum\limits_1^n {(x_i - \overline x )^2 /n}\) which has to be considered as an estimate of θ by the method of moments with the elimination of the nuisance parameter n. If for some integer k ≥ 1, 1°) the d.f. F(x, θ) has a finite moment of order 2k, 2°) its central moments μ₂(θ), ..., μk(θ) are three times and μk+1(9).... μ₂k(θ) are twice continuously differentiable in the domain Θ and μ₂′(θ) ≠ 0, 3° as n → ∞, the limit covariance matrix of the centralized and normalized vector √n ∥ m₂-μ₂(θ) ...,m_R-μ_R(θ)∥ of the central sample moments m_j is nonsingular, θ∈^Θ, then the estimate θ(m₂) is asymptotically admissible (and optimal) in the class of estimates defined by the estimators λ_o(θ) + λ₂(θ)m₂ + ... + λ_k(θ)m_k=0 if and only if the moments μ₅(θ),..., μk+2 (θ) are determined in terms of μ₂(θ), μ₃(θ), μ₄(θ) in the following recurrent manner; $$\begin{array}{*{20}c} {\mu _{j + 2} (\theta ) = \mu _2 (\theta )\mu _j (\theta ) + j\mu _3 (\theta )\mu _{j - 1} (\theta ) + [\mu _4 (\theta ) - \mu _2 (\theta )^2 ]\mu _j ^\prime (\theta )/\mu _2 ^\prime (\theta ),} \\ {j \leqslant k,\theta ^\Theta .} \\ \end{array}$$ The asymptotic admissibility is understood in the same generally accepted sense as in [1], where a similar result has been obtained for families of d.f. containing only a structure parameter.     

A Jost–Pais-Type Reduction of Fredholm Determinants and Some Applications

We study the analog of semi-separable integral kernels in \({\mathcal {H}}\) of the type $$ K(x, x') = \left\{\begin{array}{ll} F_1(x) G_1(x'), \quad& a < x' < x < b,\\ F_2 (x)G_2(x'), \quad& a < x < x' < b,\end{array}\right.$$ where \({-\infty \leqslant a < b \leqslant \infty}\) , and for a.e. \({x \in (a, b)}\) , \({F_j (x) \in \mathcal{B}_2(\mathcal{H}_j, \mathcal{H})}\) and \({G_j(x) \in \mathcal {B}_2(\mathcal {H},\mathcal {H}_j)}\) such that F _j (·) and G _j (·) are uniformly measurable, and $$\begin{array}{ll} || F_j ( \cdot) ||_{\mathcal {B}_2(\mathcal {H}_j,\mathcal {H})} \in L^2((a, b)), ||G_j (\cdot)||_{\mathcal {B}_2(\mathcal {H},\mathcal {H}_j)} \in L^2((a, b)), \quad j=1,2, \end{array}$$ with \({\mathcal {H}}\) and \({\mathcal {H}_j}\) , j = 1, 2, complex, separable Hilbert spaces. Assuming that K(·, ·) generates a trace class operator K in \({L^2((a, b);\mathcal {H})}\) , we derive the analog of the Jost–Pais reduction theory that succeeds in proving that the Fredholm determinant \({{\rm det}_{L^2((a,b);\mathcal{H})}}\) (I ? α K), \({\alpha \in \mathbb{C}}\) , naturally reduces to appropriate Fredholm determinants in the Hilbert spaces \({\mathcal{H}}\) (and \({\mathcal{H}_1 \oplus \mathcal{H}_2}\) ). Explicit applications of this reduction theory to Schrödinger operators with suitable bounded operator-valued potentials are made. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.     

On the Distance to the Closest Matrix with Triple Zero Eigenvalue

The 2-norm distance from a matrix A to the set ${\mathcal{M}}$ of n × n matrices with a zero eigenvalue of multiplicity ≥3 is estimated. If $$Q(\gamma _1 ,\gamma _2 ,\gamma _3 ) = \left( {\begin{array}{*{20}c} A &amp; {\gamma _1 I_n } &amp; {\gamma _3 I_n } \\ 0 &amp; A &amp; {\gamma _2 I_n } \\ 0 &amp; 0 &amp; A \\ \end{array} } \right), n \geqslant 3,$$ then $$\rho _2 (A,{\mathcal{M}}) \geqslant {\mathop {max}\limits_{\gamma _1 ,\gamma _2 \geqslant 0,\gamma _3 \in {\mathbb{C}}}} \sigma _{3n - 2} (Q(\gamma _1 ,\gamma _2 ,\gamma _3 )),$$ where σⁱ(·)is the ith singular value of the corresponding matrix in the decreasing order of singular values. Moreover, if the maximum on the right-hand side is attained at the point $\gamma ^ * = (\gamma _1^ * ,\gamma _2^ * ,\gamma _3^ * )$ , where $\gamma _1^ * \gamma _2^ * \ne 0$ , then, in fact, one has the exact equality $$\rho _2 (A,{\mathcal{M}}) = \sigma _{3n - 2} (Q(\gamma _1^ * ,\gamma _2^ * ,\gamma _3^ * )).$$ This result can be regarded as an extension of Malyshev's formula, which gives the 2-norm distance from A to the set of matrices with a multiple zero eigenvalue.     

On Uniform Approximation in R2 of Continuous Functions of Two Variables with Bounded Variation in the Sense of Hardy

Introduce the notation: $\mathbb{Z}$ is the set of integers, $\bar {\mathbb{Z}}={\mathbb{Z}} \cup \{-\infty, +\infty\},{\mathbb{R}}_+^2 =\{x=(x_1,x_2) \in {\mathbb{R}}^2; x_1>0,x_2>0\}$ , $g_{k,m} (x,\alpha,h)= \int\limits_0^1 {g_1 (\frac{(k+u)h_1 - x_1}{\alpha_1})g_2(\frac{(m+u)h_2 - x_2}{\alpha_2})}du$ , where $g_i :\mathbb{R} \to \mathbb{R},x \in \mathbb{R}^2 ,\alpha ,h \in \mathbb{R}_ + ^2 $ . Under certain conditions on the functions g ₁, g ₂, we prove that the system of functions $g_{k,m} (x,\alpha^(n), h^(n)) (k,m \in \bar {\mathbb{Z}})$ , where $\alpha ^{\left( n \right)} ,h^{\left( n \right)} \in \mathbb{R}_ + ^2 $ are arbitrary infinitesimal sequences, is complete in the space C $\mathbb{R}^2 $ of uniformly continuous bounded functions f equipped with the norm $||f|| = \mathop {\sup }\limits_{x \in \mathbb{R}^2 } |f(x)|$ . Starting with the functions g _k,m , it is possible to construct a method for uniform approximating in $\mathbb{R}^2 $ any continuous function of bounded variation in the sense of Hardy. An error estimate is derived in terms of the second order moduli of continuity. Based on the obtained results, we discuss in detail the accuracy of uniform approximation of functions of several variables by linear functions. The error estimates are derived by using second order moduli of continuity. We pay a particular attention to sharpness of constants. Bibliography: 8 titles.     

Lower and upper bounds of Dirichlet eigenvalues for totally characteristic degenerate elliptic operators

Let λkbe the k-th Dirichlet eigenvalue of totally characteristic degenerate elliptic operator-ΔB defined on a stretched cone B0 ■ [0,1) × X with boundary on {x1 = 0}. More precisely,ΔB=(x1αx1)2+ α2x2+ + α2xnis also called the cone Laplacian. In this paper,by using Mellin-Fourier transform,we prove thatλk Cnk2 n for any k 1,where Cn=(nn+2)(2π)2(|B0|Bn)-2n,which gives the lower bounds of the Dirchlet eigenvalues of-ΔB. On the other hand,by using the Rayleigh-Ritz inequality,we deduce the upper bounds ofλk,i.e.,λk+1 1 +4n k2/nλ1. Combining the lower and upper bounds of λk,we can easily obtain the lower bound for the first Dirichlet eigenvalue λ1 Cn(1 +4n)-12n2.     

Multivariate Hörmander-Type Multiplier Theorem for the Hankel transform

Let $\mathcal{H}(f)(x)=\int_{(0,\infty)^{d}} f(\lambda) E_{x}(\lambda) d\nu(\lambda )$ , be the multivariate Hankel transform, where $E_{x}(\lambda)=\prod_{k=1}^{d} (x_{k} \lambda_{k})^{-\alpha _{k}+1/2}J_{\alpha_{k}-1/2}(x_{k} \lambda_{k})$ , with dν(λ)=λ ^2α dλ, α=(α ₁,…,α _d ). We give sufficient conditions on a bounded function m(λ) which guarantee that the operator $\mathcal{H}(m\mathcal{H} f)$ is bounded on L ^p (dν) and of weak-type (1,1), or bounded on the Hardy space H ¹((0,∞) ^d ,dν) in the sense of Coifman-Weiss.     

Generalised Gagliardo–Nirenberg Inequalities Using Weak Lebesgue Spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for ${1 \leq q < p < \infty}$ and ${s \geq 0}$ with s > n(1/2 ? 1/p), if ${f \in L^{q,\infty} (\mathbb{R}^n) \cap \dot{H}^s (\mathbb{R}^n)}$ , then ${f \in L^p(\mathbb{R}^n)}$ and there exists a constant c _p,q,s such that $$\| f \|_{L^{p}} \leq c_{p,q,s} \| f \|^\theta _{L^{q,\infty}} \| f \|^{1-\theta}_{\dot{H}^s},$$ where 1/p = θ/q + (1?θ)(1/2?s/n). In particular, in ${\mathbb{R}^2}$ we obtain the generalised Ladyzhenskaya inequality ${\| f \| _{L^4} \leq c \| f \|^{1/2}_{L^{2,\infty}} \| f \|^{1/2}_{\dot{H}^1}}$ .We also show that for s = n/2 and q > 1 the norm in ${\| f \|_{\dot{H}^{n/2}}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon–Zygmund decompositions.     

The Two-Weighted Inequalities for Sublinear Operators Generated by B Singular Integrals in Weighted Lebesgue Spaces

In this paper, the authors establish several general theorems for the boundedness of sublinear operators (B sublinear operators) satisfies the condition (1.2), generated by B singular integrals on a weighted Lebesgue spaces $L_{p,\omega,\gamma}(\mathbb{R}_{k,+}^{n})$ , where $B=\sum_{i=1}^{k} (\frac{\partial^{2}}{\partial x_{k}^{2}} + \frac{\gamma_{i}}{x_{i}}\frac{\partial}{\partial x_{i}} )$ . The condition (1.2) are satisfied by many important operators in analysis, including B maximal operator and B singular integral operators. Sufficient conditions on weighted functions ω and ω ₁ are given so that B sublinear operators satisfies the condition (1.2) are bounded from $L_{p,\omega,\gamma}(\mathbb{R}_{k,+}^{n})$ to $L_{p,\omega_{1},\gamma}(\mathbb{R}_{k,+}^{n})$ .     

Statistical estimation in the scheme of continuous Markov random walks

A constructive method of obtaining unbiased estimates of the unknown parameters and characteristics of a continuous finite Markow chain (CMC) ν(t), t≥0, with states 1, 2, ..., k and constant transition intensitiesλ _i,j<∞, i≠j, i, j=1, 2,..., k; $$\lambda _{i,i} = 0,\quad q_i = \sum\limits_{j = 1}^k {\lambda _{i,j} } ,\quad i = 1, 2,..., k,$$ is considered in the present paper for a wide class of stopping rules.     

Young measures generated by sequences in Morrey spaces

Let ${\Omega\subset\mathbb{R}^n}$ be open and bounded. For 1 ≤ p < ∞ and 0 ≤ λ < n, we give a characterization of Young measures generated by sequences of functions ${\{{\bf f}_j\}_{j=1}^\infty}$ uniformly bounded in the Morrey space ${L^{p,\lambda}(\Omega;\mathbb{R}^N)}$ with ${\{\left|{{\bf f}_j}\right|^p\}_{j=1}^\infty}$ equiintegrable. We then treat the case that each f _j = ? u _j for some ${{\bf u}_j\in W^{1,p}(\Omega;\mathbb{R}^N)}$ . As an application of our results, we consider the functional $${\bf u} \mapsto \int\limits_{\Omega}f({\bf x}, {\bf u}({\bf x}), {\bf {\nabla}}{\bf u}({\bf x})){\rm d}{\bf x},$$ and provide conditions that guarantee the existence of a minimizing sequence with gradients uniformly bounded in ${L^{p,\lambda}(\Omega;\mathbb{R}^{N\times n})}$ .     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Optimal Cubature Formulas in Weighted Besov Spaces with A ∞ Weights on Multivariate Domains

For the unit ball $\mathit{UB}_{\tau}^{\alpha}(L_{p,w})$ of the weighted Besov space $B_{\tau}^{\alpha}(L_{p,w})$ with an A _∞ weight w on the domain Ω, which denotes either the unit sphere, or the unit ball, or the standard simplex of the Euclidean space ? ^d , the sharp asymptotic order of the quantity $$\mathop{\inf}_{{\lambda}_1, \ldots, {\lambda}_n \in \mathbb{R}\atop{\xi_1,\ldots, \xi_n \in\varOmega }} \sup_{f\in \mathit{UB}_\tau^\alpha(L_{p,w})} \biggl|\int _{\varOmega } f(x) w(x)\, dx-\sum_{j=1}^n{\lambda}_j f(\xi_j) \biggr|$$ is obtained as n→∞. A similar result is also established on unweighted spherical caps.     

Stability of a mixed additive and cubic functional equation in several variables in non-Archimedean spaces

Consider the functional equation ${\Im_1(f ) = \Im_2(f )\,\,(\Im)}$ in a certain general setting. A function g is an approximate solution of ${(\Im)}$ if ${\Im_1(g)}$ and ${\Im_2(g)}$ are close in some sense. The Ulam stability problem asks whether or not there is a true solution of ${(\Im)}$ near g. In this paper, we achieve the general solution and the stability of the following functional equation $$\begin{array}{ll}f\left(\sum\limits^{n}_{i=1}x_{i} \right)+f\left(\sum\limits^{n-1}_{i=1} x_{i}-x_{n} \right)\\\quad=2f\left(\sum\limits^{n-1}_{i=1}x_{i} \right)+\sum\limits^{n-1}_{i=1}(f(x_{i}+x_{n}) +f(x_{i}-x_{n})-2f(x_{i}))\end{array}$$ for all x _i (i =? 1,2, . . . , n), in non-Archimedean spaces.     

Asymptotics of solutions of a system of linear inhomogeneous singularly perturbed differential equations

Solutions with asymptotics in integral and fractional powers of the parameter ? are constructed for the vector differential equation $$\varepsilon ^h \dot X = A(t,\varepsilon ) X + \varepsilon ^{\alpha _1 } p(t,\varepsilon ) \exp \left( {\varepsilon ^{ - h} \int\limits_0^t {\lambda (\tau )d\tau } } \right)$$ in the case of resonance and multiple spectrum of the limit matrix. $$\varepsilon ^h \dot X = A(t,\varepsilon ) X + \varepsilon ^{\alpha _1 } p(t,\varepsilon ) \exp \left( {\varepsilon ^{ - h} \int\limits_0^t {\lambda (\tau )d\tau } } \right)$$      

Maximal, potential and singular operators in vanishing generalized Morrey spaces

We introduce vanishing generalized Morrey spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\Omega), \Omega \subseteq \mathbb{R}^n}$ with a general function ${\varphi(x, r)}$ defining the Morrey-type norm. Here ${\Pi \subseteq \Omega}$ is an arbitrary subset in Ω including the extremal cases ${\Pi = \{x_0\}, x_0 \in \Omega}$ and Π = Ω, which allows to unify vanishing local and global Morrey spaces. In the spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n)}$ we prove the boundedness of a class of sublinear singular operators, which includes Hardy-Littlewood maximal operator and Calderon-Zygmund singular operators with standard kernel. We also prove a Sobolev-Spanne type ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n) \rightarrow V\mathcal{L}^{q,\varphi^\frac{q}{p}}_\Pi (\mathbb{R}^n)}$ -theorem for the potential operator I ^α . The conditions for the boundedness are given in terms of Zygmund-type integral inequalities on ${\varphi(x, r)}$ . No monotonicity type condition is imposed on ${\varphi(x, r)}$ . In case ${\varphi}$ has quasi- monotone properties, as a consequence of the main results, the conditions of the boundedness are also given in terms of the Matuszeska-Orlicz indices of the function ${\varphi}$ . The proofs are based on pointwise estimates of the modulars defining the vanishing spaces     

Wolff’s inequality in multi-parameter Morrey spaces

We prove Wolff inequalities for multi-parameter Riesz potentials and Wolff potentials in Lebesque spaces L ^p (R ^d ) and multi-parameter Morrey spaces ${L^p_\lambda (R^d)}$ , where ${R^d=R^{n_1} \times R^{n_2} \times \cdots \times R^{n_k},\, \lambda = (\lambda _1,\ldots ,\lambda _k})$ and 0?<?λ _i ≤ n _i , 1?≤ i ≤ k, in the dyadic case as well as in the non-dyadic (continuous) case.     

The time discretization in classes of integro-differential equations with completely monotonic kernels: Weighted asymptotic stability

We study discretization in classes of integro-differential equations where the functions aj(t),1≤j≤n,are completely monotonic on(0,∞) and locally integrable,but not constant.The equations are discretized using the backward Euler method in combination with order one convolution quadrature for the memory term.The stability properties of the discretization are derived in the weighted l1(ρ;0,∞) norm,where ρ is a given weight function.Applications to the weighted l1 stability of the numerical solutions of a related equation in Hilbert space are given.     

Differentiable vectors and unitary representations of Fréchet–Lie supergroups

A locally convex Lie group G has the Trotter property if, for every $x_1, x_2 \in \mathfrak{g }$ , $$\begin{aligned} \exp _G(t(x_1 + x_2))=\lim _{n \rightarrow \infty } \left(\exp _G\left(\frac{t}{n}x_1\right)\exp _G\left(\frac{t}{n}x_2\right)\right)^n \end{aligned}$$ holds uniformly on compact subsets of $\mathbb{R }$ . All locally exponential Lie groups have this property, but also groups of automorphisms of principal bundles over compact smooth manifolds. A key result of the present article is that, if G has the Trotter property, $\pi : G \rightarrow {\mathrm{GL}}(V)$ is a continuous representation of G on a locally convex space, and $v \in V$ is a vector such that $\overline{\mathtt{d}\pi }(x)v :=\frac{d}{dt}|_{t=0} \pi (\exp _G(tx))v$ exists for every $x \in \mathfrak{g }$ , then the map $\mathfrak{g }\rightarrow V,x \mapsto \overline{\mathtt{d}\pi }(x)v$ is linear. Using this result we conclude that, for a representation of a locally exponential Fréchet–Lie group G on a metrizable locally convex space, the space of $\mathcal{C }^{k}$ -vectors coincides with the common domain of the k-fold products of the operators $\overline{\mathtt{d}\pi }(x)$ . For unitary representations on Hilbert spaces, the assumption of local exponentiality can be weakened to the Trotter property. As an application, we show that for smooth (resp., analytic) unitary representations of Fréchet–Lie supergroups $(G,\mathfrak{g })$ where G has the Trotter property, the common domain of the operators of $\mathfrak{g }=\mathfrak{g }_{\overline{0}}\oplus \mathfrak{g }_{\overline{1}}$ can always be extended to the space of smooth (resp., analytic) vectors for G.