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相似文献   

L p-approximation by Kantorovič operators

Оператор Канторович а дляf∈L _p(I), I=[0,1], определяе тся соотношением $$P_n (f,x) = (n + 1)\sum\limits_{k = 0}^n {\left( {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right)} x^k (1 - x)^{n - 1} \int\limits_{I_k } {f(t)dt,} $$ гдеI _k=[k/(n}+1),(k+1)/(n+ 1)],n∈N. Доказывается, что есл ир>1 иf∈W _p ² (I), т.е.f абсол ютно непрерывна наI иf″∈L _p(I), то $$\left\| {P_n f - f} \right\|_p = O(n^{ - 1} ).$$ Далее, установлено, чт о еслиf∈L _p(I),p>1 и ∥P _n f-f∥_р=О(n ^?1), тоf∈S, гдеS={f∶f аб-солютно непрерывна наI, x(1?x)f′(x)=∝ ₀ ^x h(t)dt, гдеh∈L _p(I) и ∝ ₀ ¹ h(t)dt=0}. Если жеf∈L_p(I),p>1, то из условия ∥P _n(f)?f∥_pL=o(n^?1) вытекает, чтоf постоянна почти всюду.     

A constructive description of Hölder classes on closed Jordan curves

Let Γ be a closed, Jordan, rectifiable curve, whose are length is commensurable with its subtending chord, leta ε int Γ, and let R_n(a) be the set of rational functions of degree ≤n, having a pole perhaps only at the pointa. Let Λ^α(Γ), 0 < α < 1, be the Hölder class on Γ. One constructs a system of weights γ_n(z) > 0 on Γ such that f∈Λ^α(Γ) if and only if for any nonnegative integer n there exists a function R_n, R_n ε R_n(a) such that ¦f(z) ? R_n(z)¦ ≤ c_f·γ_n(z), z ε Γ. It is proved that the weights γ_n cannot be expressed simply in terms of ρ ₁ ⁺ /n^(z) and ρ ₁ ^- /n^(z), the distances to the level lines of the moduli of the conformal mappings of ext Γ and int Γ on \(\mathbb{C}\backslash \mathbb{D}\) .     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .

     

Modified Dyadic Integral and Fractional Derivative on ℝ+

For functions from the Lebesgue space L(?₊), we introduce the modified strong dyadic integral J _α and the fractional derivative D ^(α) of order α > 0. We establish criteria for their existence for a given function f ∈ L(?₊). We find a countable set of eigenfunctions of the operators D ^(α) and J _α, α > 0. We also prove the relations D ^(α)(J _α(f)) = f and J _α(D ^(α)(f)) = f under the condition that $\smallint _{\mathbb{R}_ + } f(x)dx = 0$ . We show the unboundedness of the linear operator $J_\alpha :L_{J_{_\alpha } } \to L(\mathbb{R}_ + )$ , where L _{J α} is its natural domain of definition. A similar assertion is proved for the operator $D^{(\alpha )} :L_{D^{(\alpha )} } \to L(\mathbb{R}_ + )$ . Moreover, for a function f ∈ L(?₊) and a given point x ∈ ?₊, we introduce the modified dyadic derivative d ^(α)(f)(x) and the modified dyadic integral j _α(f)(x). We prove the relations d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) at each dyadic Lebesgue point of the function f.     

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.     

On Laplace derivative

If f: ? → ? is integrable in a right neighbourhood of x ∈ ? and if there are real numbers α ₀, α ₁, ..., α _n?1 such that the limit lim $$ \mathop {\lim }\limits_{s \to \infty } s^{n + 1} \int_0^\delta {e^{ - st} } \left[ {f(x + t) - \sum\limits_{i = 0}^{n - 1} {\frac{{t^i }} {{i!}}\alpha _i } } \right]dt $$ exists, then this limit is called the right-hand Laplace derivative of f at x of order n and is denoted by LD _n ⁺ f(x). There is a corresponding definition for the left-hand derivative and if they are equal the common value is the Laplace derivative LD _n f(x). In this paper, it is shown that the basic properties of the Peano derivatives are also possessed by this derivative (cf. [5]).     

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$ .     

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} $$ .     

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.     

Solutions of second order degenerate integro-differential equations in vector-valued function spaces

We study the well-posedness of the second order degenerate integro-differential equations(P2):(Mu)(t)+α(Mu)(t) = Au(t)+ft-∞ a(ts)Au(s)ds + f(t),0t2π,with periodic boundary conditions M u(0)=Mu(2π),(Mu)(0) =(M u)(2π),in periodic Lebesgue-Bochner spaces Lp(T,X),periodic Besov spaces B s p,q(T,X) and periodic Triebel-Lizorkin spaces F s p,q(T,X),where A and M are closed linear operators on a Banach space X satisfying D(A) D(M),a∈L1(R+) and α is a scalar number.Using known operatorvalued Fourier multiplier theorems,we completely characterize the well-posedness of(P2) in the above three function spaces.     

On the order of magnitude of Fourier coefficients with respect to uniformly bounded orthonormal systems

пУсть {Φ _k (x) ∶k>0} — РАВНО МЕРНО ОгРАНИЧЕННАь ОРтОНОРМИРОВАННАь с ИстЕМА НА пРОстРАНстВЕX с кО НЕЧНОИ пОлОжИтЕльНО И МЕРОИ. Дль ФУНкцИИf ?L ^p (X) Дль НЕкОтОРОгО 1≤p≤2 ВВОДИМ ЕЕ кОЁФФИцИЕН ты ФУРьЕc _k (f) пО сИстЕМЕΦ _k (x). Дль жАДАННОгОα>0 М ы РАссМАтРИВАЕМ пОслЕДОВАтЕльНОсть {λ _k ^α :k ≥ 0} пОлОжИтЕльНых ЧИсЕл тАкИх, ЧтО т.Е. тАкИх, ЧтО гДЕA _n ^α — тАк НАжыВАЕМыЕ ЧИслА ЧЕжАРО. Мы ИжУЧАЕМ ЁтУ жАДАЧУ Дль ДВОИНых ОРтОгОНА льНых сИстЕМ, А тАкжЕ Дль НЕпРЕРыВНых ФУНкцИИ. пРИ ДОкАжАтЕльстВЕ М ы кОМБИНИРУЕМ МЕтОДы т ЕОРИИ сУММИРОВАНИь И ФУНкцИОНАльНОгО АН АлИжА.     

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), гдеР ⁰ - кольцо целых в локальном поле. Получ ено приложение, относяще еся к регулярности бе сселевых потенциалов.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Dirichlet polyhedra for dihedral groups acting on complex hyperbolic space

We consider groups Γ generated by inversions in a pair of asymptotic complex hyperplanes in complex hyperbolic spaceH _? ⁿ . We show that there exists a Γ-invariant real hypersurfaceF ?H _? ⁿ such that the Dirichlet fundamental polyhedron for Γ centered at z₀ has two sides (resp. infinitely many sides) if and only ifz ₀ ∈F (resp.z ₀ ?F). The Dirichlet regions are determined explicitly in terms of coordinates on Γ-invariant horospheres and the geometry ofH _? ⁿ is developed in terms of these horospherical coordinates.     

Weak generalized localization for multiple Fourier series whose rectangular partial sums are considered with respect to some subsequence

In this paper, we obtain the structural and geometric characteristics of some subsets of $ \mathbb{T} $ ^N = [?π, π] ^N (of positive measure), on which, for the classes L _p ( $ \mathbb{T} $ ^N ), p > 1, where N ≥ 3, weak generalized localization for multiple trigonometric Fourier series is valid almost everywhere, provided that the rectangular partial sums S _n (x; f) (x ∈ $ \mathbb{T} $ ^N , f ∈ L _p ) of these series have a “number” n = (n ₁,…, n _N ) ∈; ? ₊ ^N such that some components n _j are elements of lacunary sequences. For N = 3, similar studies are carried out for generalized localization almost everywhere.     

Fractional integrals and weakly singular integral equations of the first kind in then-dimensional ball

The purpose of the paper is to introduce and to investigate a new class of fractional integrals connected with balls in ?ⁿ. A Riesz potentialI _Ω ^α ρ over a ball Ω is represented by a composition of such integrals. Using this representation we obtain necessary and sufficient solvability conditions for the equationI _Ω ^α ρ =f in the space L_p(Ωw) with a power weight w(x) and solve the equation in a closed form. The investigation is based on a special Fourier analysis adopted for operators commuting with rotations and dilations in ?ⁿ.     

Factorial functions and stirling numbers of fractional orders

The aim of this paper is to study the binomial coefficients ( _n ^x ), the factorial polynomials [x]_n and [x]ⁿ, the Stirling numbers of first and second kind, namely s(n,k) and S(n,k), in the case that n ∈ ? is replaced by real α ∈ ?. In the course of the paper, the Vandermonde convolution formula is presented in an infinite series frame, the binomial coefficient function ( _a ^x ), α ∈ ?, is sampled in terms of the binomial coefficients ( _k ^x ) for k ∈ ?_o, Bell numbers of fractional orders are introduced. Emphasis is placed on the fractional order Stirling numbers s(α,k) and S(α,k), first studied here. Some applications of the S(α,k) are given.     

Weighted tight frames of exponentials on a finite interval

Given a finite intervalI?R, a characterization is given for those discrete sets of real numbers Λ and associated sequences {c _λ}_λ∈Λ, withc _λ>0, having the properties that every functionf∈L ²(I) can be expanded inL ²(I) as the unconditionally convergent series $$f = \sum\limits_{\lambda \in \Lambda } {\hat f} (\lambda )c_\lambda e^{2\pi i\lambda x} $$ and that the range of the mappingL ²(I)→L _μ ² :f→f has finite codimension inL _μ ² , iff denotes the Fourier transform off and μ is the measure μ = ∑_λ∈Λ c _λ δ_λ.