Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

On solvability of derivative dependent doubly singular boundary value problems

In this paper we establish existence of solutions of singular boundary value problem ?(p(x)y ^′(x))^′=q(x)f(x,y,py′) for 0<x≤b and $\lim_{x\rightarrow0^{+}}p(x)y^{\prime}(x)=0$ , α ₁ y(b)+β ₁ p(b)y ^′(b)=γ ₁ with p(0)=0 and q(x) is allowed to have integrable discontinuity at x=0. So the problem may be doubly singular. Here we consider $\lim_{x\rightarrow0^{+}}\frac{q(x)}{p'(x)}\neq0$ therefore $\lim_{x\rightarrow0^{+}}p(x)y'(x)=0$ does not imply y′(0)=0 unless $\lim_{x\rightarrow0^{+}}f(x,y(x),p(x)y'(x))=0$ .     

On positive linear interpolation operators

В этой работе мы даем о бобщение понятия нор мальной системы точек, введен ного Фейером [3]. Наше определ ение включает и случа й бесконечного интерв ала (0, ∞). Доказано, в частности, что систе ма точек 0<x ₁ ⁽ⁿ⁾ /(n)<... _n ⁽ⁿ⁾ <∞ является нормальной в смысле нашего определения тогда и т олько тогда, когда вып олняются оценки — фиксированное чис ло, 0≦?<1. Мы доказываем, что есл и точкиx _k ⁽ⁿ⁾ /(n) являются ну лями многочлена ЛагерраL _n ^(α) (x), то они образуют норма льную систему в том и т олько том случае, когда ?1<α≦0. Мы получаем, таким обр азом, положительный интерполяционный пр оцесс для каждой нормальной системы т очек и устанавливаем теорему сходимости для того с лучая, когда эти точки являются ну лямиL _n ^(α) (x) при — 1相似文献   

Bounds for the spectral abscissa of an element in a Banach algebra

For an arbitrary element x with spectrum sp(x) in a Banach algebra with identity e ≠ 0 we define the upper (lower) spectral abscissa \(\mathop {\sigma + (x)}\limits_{( - )} = \mathop {\max }\limits_{(\min )} \operatorname{Re} \lambda ,\lambda \in sp(x)\) . With the aid of the spectral radius \(\rho (x) = \mathop {\max }\limits_{\lambda \in sp(x)} \left| \lambda \right| = \mathop {\lim }\limits_{n \to + \infty } \parallel x^n {{1 - } \mathord{\left/ {\vphantom {{1 - } n}} \right. \kern-0em} n}\) we prove the following bounds: γ_?(x)?σ_?(x)?Γ_?(x)?₊(x)?σ₊(x)?γ₊(x), Γ_(±)(x)=(2δ_(±))^?1 (ρ _δ ² )_(±)?δ _(±) ² ?ρ ₀ ² )(δ_(±)≠0), γ_(±)(x)= (±)ρ_δ(±)?δ_(±), δ₊?0, δ_??0 ρ _(±) ^δ = ρ(x+eδ_(±)). We mention a case where equality is achieved, some corollaries,and discuss the sharpness of the bounds: for every ? > 0 there is a δ: ¦δ¦ ≥ρ ₀ ² /2?, such that Δ: = ¦γ_(±) x?Γ_(±) x¦?ε and conversely, if the bounds are computed for some δ ≠ 0, then △ ≤ρ ₀ ² /2 ¦δ¦. An example is considered.     

Solution of the Szili type conjugate problem on the roots of the laguerre polynomials

Let ?1<α≤0 and let $$L_n^{(\alpha )} (x) = \frac{1}{{n!}}x^{ - \alpha } e^x \frac{{d^n }}{{dx^n }}(x^{\alpha + n} e^{ - x} )$$ be the generalizednth Laguerre polynomial,n=1,2,… Letx ₁,x ₂,…,x _n andx*₁,x*₂,…,x* _n?1 denote the roots ofL _n ^(α) (x) andL _n ^(α)′ (x) respectively and putx*₀=0. In this paper we prove the following theorem: Ify ₀,y ₁,…,y _n ?1 andy ₁ ^′ ,…,y _n ^′ are two systems of arbitrary real numbers, then there exists a unique polynomialP(x) of degree 2n?1 satisfying the conditions $$\begin{gathered} P\left( {x_k^* } \right) = y_k (k = 0,...,n - 1) \hfill \\ P'\left( {x_k } \right) = y_k^\prime (k = 1,...,n). \hfill \\ \end{gathered} $$ .     

On a certain class of commuting systems of linear operators

In this paper we describe the class of commuting pairs of bounded linear operators {A ₁,A ₂} acting on a Hilbert space H which are unitarily equivalent to the system of integrations over independent variables $$ (\tilde A_1 f)(x,y) = i\int_x^a {f(t,y)} dt, (\tilde A_2 f)(x,y) = i\int_y^b {f(x,s)} ds $$ in $ L_{\Omega _L }^2 $ , where ?? _L is the compact set in ? ₊ ² bounded by the lines x = a and y = b and by a decreasing smooth curve L = {((x, p(x)): p(x) ?? C _[0,a] ¹ , p(0) = b, p(a) = 0}.     

Convergence of the Vallée-Poussin means for Fourier-Jacobi sums

Letf εC[?1, 1], ?1<α,β≤0, let $f \in C[ - 1, 1], - 1< \alpha , \beta \leqslant 0$ , letS _n ^{α, β} (f, x) be a partial Fourier-Jacobi sum of ordern, and let $$\nu _{m, n}^{\alpha , \beta } = \nu _{m, n}^{\alpha , \beta } (f) = \nu _{m, n}^{\alpha , \beta } (f,x) = \frac{1}{{n + 1}}[S_m^{\alpha ,\beta } (f,x) + ... + S_{m + n}^{\alpha ,\beta } (f,x)]$$ be the Vallée-Poussin means for Fourier-Jacobi sums. It was proved that if 0<a≤m/n≤b, then there exists a constantc=c(α, β, a, b) such that ‖ν _{m, n} ^{α, β} ‖ ≤c, where ‖ν _{m, n} ^{α, β} ‖ is the norm of the operator ν _{m, n} ^{α, β} inC[?1,1].     

On Hardy-Bessel potential spaces over the ring of integers in a local field

Штрихарц [3] дал характе ристику пространствL ^p (R ⁿ ) бесселевых потенциа лов порядка α функций из п ространстваL ^p (R ⁿ ) с пом ощьюL ^p -норм функционалов $$D_\alpha f(x) = \left( {\smallint _0^\infty \left( {\smallint _{\rm B} |f(x + rt) - f(x)|dt} \right)^2 r^{ - 2\alpha - 1} dr} \right)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}}$$ для 0<α<1, гдеB обозначает ед иничный шар. Целью нас тоящей статьи является изучение пр остранств потенциал а Харди-БесселяF _α ^p (P ⁰) (0<p<1, α>1/р?1) в терминах функц ионаловS _r ^α f(x) (1τ≤2), которые в случаеR ⁿ } соответствуютD _α f (x), гдеР ⁰ - кольцо целых в локальном поле. Получ ено приложение, относяще еся к регулярности бе сселевых потенциалов.     

On the primes withp n+1 -p n = 8 and the Sum of their Reciprocals

We introduce the counting function π _2,8 ^* (x) of the primes with difference 8 between consecutive primes ( ****p _n,p_n+1 =p _n + 8) can be approximated by logarithm integralLi _2,8 ^* . We calculate the values of π _2,8 ^* (x) and the sumC _2,8(x) of reciprocals of primes with difference 8 between consecutive primes (p _n,p_n+1 =p _n +8)) wherex is counted up to 7 x 10¹⁰. From the results of these calculations, we obtain π _2,8 ^* (7 x 10¹⁰) = 133295081 andC _2,8(7 x 10¹⁰) = 0.3374 ±2.6 x 10^-4.     

О приближении функци й средними Чезаро вто рого

Let σ _n ² (f, x) be the Cesàro means of second order of the Fourier expansion of the function f. Upper bounds of the deviationf(x)-σ _n ² (f, x) are studied in the metricC, while f runs over the class \(\bar W^1 C\) , i. e., of the deviation $$F_n^2 (\bar W^1 ,C) = \mathop {\sup }\limits_{f \in \bar W^1 C} \left\| {f(x) - \sigma _n^2 (f,x)} \right\|_c$$ . It is proved that the function $$g^* (x) = \frac{4}{\pi }\mathop \sum \limits_{v = 0}^\infty ( - 1)^v \frac{{\cos (2v + 1)x}}{{(2v + 1)^2 }}$$ , for whichg ^*′(x)=sign cosx, satisfies the following asymptotic relation: $$F_n^2 (\bar W^1 ,C) = g^* (0) - \sigma _n^2 (g^* ,0) + O\left( {\frac{1}{{n^4 }}} \right)$$ , i.e.g ^* is close to the extremal function. This makes it possible to find some of the first terms in the asymptotic formula for \(F_n^2 (\bar W^1 ,C)\) asn → ∞. The corresponding problem for approximation in the metricL is also considered.     

Existence and asymptotic behaviour of solutions of the very fast diffusion equation

Let n ≥ 3, 0 < m ≤ (n ? 2)/n, p > max(1, (1 ? m)n/2), and ${0 \le u_0 \in L_{loc}^p(\mathbb{R}^n)}$ satisfy ${{\rm lim \, inf}_{R\to\infty}R^{-n+\frac{2}{1-m}} \int_{|x|\le R}u_0\,dx = \infty}$ . We prove the existence of unique global classical solution of u _t = Δu ^m , u > 0, in ${\mathbb{R}^n \times (0, \infty), u(x, 0) = u_0(x)}$ in ${\mathbb{R}^n}$ . If in addition 0 < m < (n ? 2)/n and u ₀(x) ≈ A|x|^?q as |x| → ∞ for some constants A > 0, q < n/p, we prove that there exist constants α, β, such that the function v(x, t) = t ^α u(t ^β x, t) converges uniformly on every compact subset of ${\mathbb{R}^n}$ to the self-similar solution ψ(x, 1) of the equation with ψ(x, 0) = A|x|^?q as t → ∞. Note that when m = (n ? 2)/(n + 2), n ≥ 3, if ${g_{ij} = u^{\frac{4}{n+2}}\delta_{ij}}$ is a metric on ${\mathbb{R}^n}$ that evolves by the Yamabe flow ?g _ij /?t = ?Rg _ij with u(x, 0) = u ₀(x) in ${\mathbb{R}^n}$ where R is the scalar curvature, then u(x, t) is a global solution of the above fast diffusion equation.     

Uniform and mean approximation by certain weighted polynomials,with applications

LetW(x):= exp(-{tiQ(x})), where, for example, Q(x) is even and convex onR, and Q(x)/logx → ∞ asx → ∞. A result of Mhaskar and Saff asserts that ifa _n =a _n (W) is the positive root of the equation $$n = ({2 \mathord{\left/ {\vphantom {2 \pi }} \right. \kern-\nulldelimiterspace} \pi })\int_0^1 {{{a_n xQ'(a_n x)} \mathord{\left/ {\vphantom {{a_n xQ'(a_n x)} {\sqrt {1 - x^2 } }}} \right. \kern-\nulldelimiterspace} {\sqrt {1 - x^2 } }}dx,}$$ then, given any polynomialP _n(x) of degree at mostn, the sup norm ofP _n(x)W(a _n x) overR is attained on [-1, 1]. In addition, any sequence of weighted polynomials {p _n (x)W(a _n x)} ₁ ^∞ that is uniformly bounded onR will converge to 0, for ¦x¦>1. In this paper we show that under certain conditions onW, a function g(x) continuous inR can be approximated in the uniform norm by such a sequence {p _n (x)W(a _n x)} ₁ ^∞ if and only if g(x)=0 for ¦x¦? 1. We also prove anL _p analogue for 0W(x)=exp(?|x| ^α ), when α >1. Further applications of our results are upper bounds for Christoffel functions, and asymptotic behavior of the largest zeros of orthogonal polynomials. A final application is an approximation theorem that will be used in a forthcoming proof of Freud's conjecture for |x| ^p exp(?|x| ^α ),α > 0,p > ?1.     

On the SIG-Dimension of Trees Under the L ∞-Metric

Let ${{\mathcal P},}$ where ${|{\mathcal P}| \geq 2,}$ be a set of points in d-dimensional space with a given metric ρ. For a point ${p \in {\mathcal P},}$ let r _p be the distance of p with respect to ρ from its nearest neighbor in ${{\mathcal P}.}$ Let B(p,r _p ) be the open ball with respect to ρ centered at p and having the radius r _p . We define the sphere-of-influence graph (SIG) of ${{\mathcal P}}$ as the intersection graph of the family of sets ${\{B(p,r_p)\ | \ p\in {\mathcal P}\}.}$ Given a graph G, a set of points ${{\mathcal P}_G}$ in d-dimensional space with the metric ρ is called a d-dimensional SIG-representation of G, if G is isomorphic to the SIG of ${{\mathcal P}_G.}$ It is known that the absence of isolated vertices is a necessary and sufficient condition for a graph to have a SIG-representation under the L _∞-metric in some space of finite dimension. The SIG-dimension under the L _∞-metric of a graph G without isolated vertices is defined to be the minimum positive integer d such that G has a d-dimensional SIG-representation under the L _∞-metric. It is denoted by SIG _∞(G). We study the SIG-dimension of trees under the L _∞-metric and almost completely answer an open problem posed by Michael and Quint (Discrete Appl Math 127:447–460, 2003). Let T be a tree with at least two vertices. For each ${v\in V(T),}$ let leaf-degree(v) denote the number of neighbors of v that are leaves. We define the maximum leaf-degree as ${\alpha(T) = \max_{x \in V(T)}}$ leaf-degree(x). Let ${ S = \{v\in V(T)\|\}}$ leaf-degree{(v) = α}. If |S| = 1, we define β(T) = α(T) ? 1. Otherwise define β(T) = α(T). We show that for a tree ${T, SIG_\infty(T) = \lceil \log_2(\beta + 2)\rceil}$ where β = β (T), provided β is not of the form 2 ^k ? 1, for some positive integer k ≥ 1. If β = 2 ^k ? 1, then ${SIG_\infty (T) \in \{k, k+1\}.}$ We show that both values are possible.     

Comparison Inequalities for One Sided Normal Probabilities

Several sharp upper and lower bounds for the ratio of two normal probabilities $\mathbb{P}\Biggl(\,\bigcap_{i=1}^{n}\bigl\{\xi^{(1)}_i\leq \mu_i\bigr\}\Biggr)\Big/\mathbb{P}\Biggl(\,\bigcap_{i=1}^{n}\bigl\{\xi^{(0)}_i\leq \mu_i\bigr\}\Biggr)$ are given in this paper for various cases, where (ξ ₁ ⁽⁰⁾ ,ξ ₂ ⁽⁰⁾ ,…,ξ _n ⁽⁰⁾ ) and (ξ ₁ ⁽¹⁾ ,ξ ₂ ⁽¹⁾ , …,ξ _n ⁽¹⁾ ) are standard normal random variables with covariance matrices R ⁰=(r _ij ⁰ ) and R ¹=(r _ij ¹ ), respectively.     

On multiple ergodicity of affine cocycles over irrational rotations

Let \({T_\alpha }\) denote the rotation \({T_\alpha }x = x + \alpha \) (mod 1) by an irrational number α on the additive circle T = [0, 1). Let β ₁, …, β _d be d ≥ 1 parameters in [0, 1). One of the goals of this paper is to describe the ergodic properties of the cocycle (taking values in ? ^d+1) generated over \({T_\alpha }\) by the vectorial function Ψ _d+1(x):= (φ(x), φ(x+β ₁), …, φ(x+β _d )), with φ(x) = {x}?½. It was already proved in [LeMeNa03] that Ψ₂ is regular for α with bounded partial quotients. In the present paper we show that Ψ₂ is regular for any irrational α. For higher dimensions, we give sufficient conditions for regularity. While the case d = 2 remains unsolved, for d = 3 we provide examples of non-regular cocycles Ψ₄ for certain values of the parameters β ₁, β ₂, β ₃. We also show that the problem of regularity for the cocycle Ψ _d+1 reduces to the regularity of the cocycles of the form \({\Phi _d} = {({1_{[0,{\beta _j}]}} - {\beta _j})_{j = 1, \ldots ,d}}\) (taking values in ? ^d ). Therefore, a large part of the paper is devoted to the classification problems of step functions with values in ? ^d .     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Approximation of classes of convolutions by linear operators of special form

A parametric family of operators G _ρ is constructed for the class of convolutions W _p,m (K) whose kernel K was generated by the moment sequence. We obtain a formula for evaluating $E(W_{p,m} (K);G_\rho )_p : = \mathop {\sup }\limits_{f \in W_{p,m} (K)} \left\| {f - G_\rho (f)} \right\|_p .$ . For the case in which W _p,m (K)=W _r,β ^p,m , we obtain an expansion in powers of the parameter ?=?ln ρ for E(W _p,m ^r,β ; G _ρ,r ) _p , where β ∈ ?, γ > 0, and m ∈ ?, while p = 1 or p = ∞.     

Freud's conjecture and approximation of reciprocals of weights by polynomials

LetW(x) be a function that is nonnegative inR, positive on a set of positive measure, and such that all power moments ofW ² (x) are finite. Let {p _n (W ²;x)} ₀ ^∞ denote the sequence of orthonormal polynomials with respect to the weightW ², and let {α _n } ₁ ^∞ and {β _n } ₁ ^∞ denote the coefficients in the recurrence relation $$xp_n (W^2 ,x) = \alpha _{n + 1} p_{n + 1} (W^2 ,x) + \beta _n p_n (W^2 ,x) + \alpha _n p_{n - 1} (W^2 ,x).$$ We obtain a sufficient condition, involving mean approximation ofW ^?1 by reciprocals of polynomials, for $$\mathop {\lim }\limits_{n \to \infty } {{\alpha _n } \mathord{\left/ {\vphantom {{\alpha _n } {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }} = \tfrac{1}{2}and\mathop {\lim }\limits_{n \to \infty } {{\beta _n } \mathord{\left/ {\vphantom {{\beta _n } {c_{n + 1} }}} \right. \kern-\nulldelimiterspace} {c_{n + 1} }} = 0,$$ wherec _{n 1} ^∞ is a certain increasing sequence of positive numbers. In particular, we obtain a sufficient condition for Freud's conjecture associated with weights onR.     

Multipliers for the Weyl transform and Laguerre expansions

Let P_k denote the projection of L²(R ^R ) onto the kth eigenspace of the operator (-δ+?x?² andS _N ^α =(1/A _N ^α )Σ _k ^N =0A _N?k ^α P _k . We study the multiplier transformT _N ^α for the Weyl transform W defined byW(T _N ^αf )=S _n ^αW(f) . Applications to Laguerre expansions are given.     

Bounds for singular integrals associated with a class of hypersurfaces

For the hypersurface Γ=(y,γ(y)), the singular integral operator along Γ is defined by. $$Tf(x,x_n ) = P.V.\int_{\mathbb{R}^n } {, f(x - y,x_n ) - } \gamma (y))_{\left| y \right|^{n - 1} }^{\Omega (v)} dy$$ where Σ is homogeneous of order 0, $ \int_{\Sigma _{n \lambda } } {\Omega (y')dy'} = 0 $ . For a certain class of hypersurfaces, T is shown to be bounded on L^p(Rⁿ) provided Ω∈L _α ¹ (Σ _n?2),P>1.