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.     

Families of multiresolution and wavelet spaces with optimal properties

Under suitable conditions, if the scaling functions ?₁ and ?₂ generate the multiresolutions V _(j)(?₁) and V _(j)(?₂), then their convolution ?₁*?₂also generates a multiresolution V _(j)(?₁*?₂) More over, if p is an appropriate convolution operator from l ₂ into itself and if ? is a scaling function generating the multiresolution V _(j)(?),then p*?is a scaling function generating the same multiresolution V _(j)(?)=V _(j)(p*?). Using these two properties, we group the scaling and wavelet functions into equivalent classes and consider various equivalent basis functions of the associated function spaces We use the n-fold convolution product to construct sequences of multiresolution and wavelet spaces V _(j)(?ⁿ) and W _(j)(?ⁿ) with increasing regularity. We discuss the link between multiresolution analysis and Shannon's sampling theory. We then show that the interpolating and orthogonal pre- and post-filters associated with the multiresolution sequence V ₍₀₎(?ⁿ)asymptotically converge to the ideal lowpass filter of Shannon. We also prove that the filters associated with the sequence of wavelet spaces W ₍₀₎(?ⁿ)convergeto the ideal bandpass filter. Finally, we construct the basic wavelet sequences ψ ^b _nand show that they tend to Gabor functions. Thisprovides wavelets that are nearly time-frequency optimal. The theory is illustrated with the example of polynomial splines.     

Interpolation of operators of weak type (ϕ, ϕ)

Considering the measurable and nonnegative functions ? on the half-axis [0, ∞) such that ?(0) = 0 and ?(t) → ∞ as t → ∞, we study the operators of weak type (?, ?) that map the classes of ?-Lebesgue integrable functions to the space of Lebesgue measurable real functions on ?ⁿ. We prove interpolation theorems for the subadditive operators of weak type (?₀, ?₀) bounded in L _∞(?ⁿ) and subadditive operators of weak types (?₀, ?₀) and (?₁, ?₁) in L _?(? ⁿ ) under some assumptions on the nonnegative and increasing functions ?(x) on [0, ∞). We also obtain some interpolation theorems for the linear operators of weak type (?₀, ?₀) bounded from L _∞(?ⁿ) to BMO(? ⁿ). For the restrictions of these operators to the set of characteristic functions of Lebesgue measurable sets, we establish some estimates for rearrangements of moduli of their values; deriving a consequence, we obtain a theorem on the boundedness of operators in rearrangement-invariant spaces.     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

Равносходимость разложений в кратный ряд и интеграл фурье, «прямоугольные частичные суммы» которых рассматриваются по некоторой подпоследовательности

In this paper we investigate the problem of the equiconvergence on T ^N = [-π, π) ^N of the expansions in multiple trigonometric series and Fourier integral of functions f ∈ L _p (T ^N ) and g ∈ L _p (? ^N ), where p > 1, N ≥ 3, g(x) = f(x) on T ^N , in the case when the “rectangular partial sums” of the indicated expansions, i.e.,– _n (x; f) and J _α(x; g), respectively, have indices n ∈ ? ^N and α ∈ ? ^N (n _j = [α _j ], j = 1,...,N, [t] is the integer part of t ∈ ?¹), in those certain components are the elements of “lacunary sequences”.     

Almost everywhere divergent subsequences of Fourier sums of functions from φ(L) ∩ H 1 ω

For a gap sequence of natural numbers {n _k } _k=1 ^∞ , for a nondecreasing function φ: [0,+∞) → [0,+∞) such that φ(u) = o(u ln ln u) as u → ∞, and a modulus of continuity satisfying the condition (ln k)^?1 = O(ω(n _k ^?1 )), we present an example of a function F ∈ φ(L) ∩ H ₁ ^ω with an almost everywhere divergent subsequence {S _{n k} (F, x)} of the sequence of partial sums of the trigonometric Fourier series of the function F.     

Harmonic analysis and asymptotic behavior of solutions to the abstract cauchy problem

LetC _ub ( $\mathbb{J}$ , X) denote the Banach space of all uniformly continuous bounded functions defined on $\mathbb{J}$ 2 ε {?⁺, ?} with values in a Banach spaceX. Let ? be a class fromC _ub( $\mathbb{J}$ ,X). We introduce a spectrumsp?(φ) of a functionφ εC _ub (?,X) with respect to ?. This notion of spectrum enables us to investigate all twice differentiable bounded uniformly continuous solutions on ? to the abstract Cauchy problem (*)ω′(t) =Aω(t) +φ(t),φ(0) =x,φ ε ?, whereA is the generator of aC ₀-semigroupT(t) of bounded operators. Ifφ = 0 andσ(A) ∩i? is countable, all bounded uniformly continuous mild solutions on ?⁺ to (*) are studied. We prove the bound-edness and uniform continuity of all mild solutions on ?⁺ in the cases (i)T(t) is a uniformly exponentially stableC ₀-semigroup andφ εC _ub(?,X); (ii)T(t) is a uniformly bounded analyticC ₀-semigroup,φ εC _ub (?,X) andσ(A) ∩i sp(φ) = Ø. Under the condition (i) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), then the solutions belong to ?. In case (ii) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), andT(t) is almost periodic, then the solutions belong to ?. The existence of mild solutions on ? to (*) is also discussed.     

Musielak–Orlicz–Hardy Spaces Associated with Operators and Their Applications

Let $\mathcal{X}$ be a metric space with doubling measure and L a nonnegative self-adjoint operator in $L^{2}(\mathcal{X})$ satisfying the Davies–Gaffney estimates. Let $\varphi:\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that φ(x,?) is an Orlicz function, $\varphi(\cdot,t)\in\mathbb{A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights), its uniformly critical upper type index I(φ)∈(0,1], and it satisfies the uniformly reverse Hölder inequality of order 2/[2?I(φ)]. In this paper, the authors introduce a Musielak–Orlicz–Hardy space $H_{\varphi,L}(\mathcal{X})$ , by the Lusin area function associated with the heat semigroup generated by L, and a Musielak–Orlicz BMO-type space $\mathrm{BMO}_{\varphi,L}(\mathcal{X})$ , which is further proved to be the dual space of $H_{\varphi,L}(\mathcal{X})$ and hence whose φ-Carleson measure characterization is deduced. Characterizations of $H_{\varphi,L}(\mathcal{X})$ , including the atom, the molecule, and the Lusin area function associated with the Poisson semigroup of L, are presented. Using the atomic characterization, the authors characterize $H_{\varphi,L}(\mathcal{X})$ in terms of the Littlewood–Paley $g^{\ast}_{\lambda}$ -function $g^{\ast}_{\lambda,L}$ and establish a Hörmander-type spectral multiplier theorem for L on $H_{\varphi,L}(\mathcal{X})$ . Moreover, for the Musielak–Orlicz–Hardy space H _φ,L (? ⁿ ) associated with the Schrödinger operator L:=?Δ+V, where $0\le V\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})$ , the authors obtain its several equivalent characterizations in terms of the non-tangential maximal function, the radial maximal function, the atom, and the molecule; finally, the authors show that the Riesz transform ?L ^?1/2 is bounded from H _φ,L (? ⁿ ) to the Musielak–Orlicz space L ^φ (? ⁿ ) when i(φ)∈(0,1], and from H _φ,L (? ⁿ ) to the Musielak–Orlicz–Hardy space H _φ (? ⁿ ) when $i(\varphi)\in(\frac{n}{n+1},1]$ , where i(φ) denotes the uniformly critical lower type index of φ.     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

Laguerre polynomial expansions in indefinite inner product spaces

When ?j ? 1 < α < ?j, where j is a positive integer, the Laguerre polynomials {L_n^(α)}_{n = 0}^∞ form a complete orthogonal set in a nondegenerate inner product space H which is defined by employing an appropriate regularized linear functional on H^(j)[[0, ∞); x^{α + j}e^?x]. Expansions in terms of these Laguerre polynomials are exhibited. The Laguerre differential operator is shown to be self-adjoint with real, discrete, integer eigenvalues. Its spectral resolution and resolvent are exhibited and discussed.     

On linear systems with quasiperiodic coefficients and bounded solutions

For a discrete dynamical system ω _n =ω₀+αn, where a is a constant vector with rationally independent coordinates, on thes-dimensional torus Ω we consider the setL of its linear unitary extensionsx _n+1=A(ω₀+αn)x _n , whereA (Ω) is a continuous function on the torus Ω with values in the space ofm-dimensional unitary matrices. It is proved that linear extensions whose solutions are not almost periodic form a set of the second category inL (representable as an intersection of countably many everywhere dense open subsets). A similar assertion is true for systems of linear differential equations with quasiperiodic skew-symmetric matrices.     

On the Fourier transforms of retarded Lorentz-invariant functions

In this article we evaluate the Fourier transforms of retarded Lorentz-invariant functions (and distributions) as limits of Laplace transforms. Our method works generally for any retarded Lorentz-invariant functions φ(t) (t?Rⁿ) which is, besides, a continuous function of slow growth. We give, among others, the Fourier transform of G_R(t, α, m², n) and G_A(t, α, m², n), which, in the particular case α = 1, are the characteristic functions of the volume bounded by the forward and the backward sheets of the hyperboloid u = m² and by putting α = ?k are the derivatives of k-order of the retarded and the advanced-delta on the hyperboloid u = m². We also obtain the Fourier transform of the function W(t, α, m², n) introduced by M. Riesz (Comm. Sem. Mat. Univ. Lund4 (1939)). We finish by evaluating the Fourier transforms of the distributional functions G_R(t, α, m², n), G_A(t, α, m², n) and W(t, α, m², n) in their singular points.     

Uniform approximation by positive operators on infinite intervals

В работе устанавливае тся оценка (*) |L _n (???| ≦Kω _? (?;α _n) для положительных оп ераторов, определенн ых на конечном или бесконе чном интервале (a,b), гдеL _n(1,χ)≡1,L _n((t?χ)²;χ)≦K? ²(χ)α _n ² (x∈(a,b)) ;и \(\omega _\varphi (f;\delta ) = \mathop {\sup }\limits_{0 \leqq h \leqq \delta ,x \pm h\varphi (x) \in (a,b)} \left| {f(x - h\varphi (x)) - 2f(x) + f(x + h\varphi (x))} \right|\) модуль гладкости?, св язанный с ? (функция? удовлетворяет некот орым условиям регуля рности). С помощью (*) для некотор ых {L _n } получена характеристика тех ф ункций?, для которыхL _n (?)??=o(1) равном ерно на (a, b). Наконец, рассматриваются слу чай насыщения и случай так называем ой неоптимальной апп роксимации. Результаты применяю тся к операторам Саса —Миракяна, Баскакова, Мейер-Кëни га и Целлера, гамма и бета операторам, а также к н екоторым операторам типа свер тки.     

Fourier transforms of smooth functions on certain nilpotent Lie groups

The authors consider irreducible representations $\text{π ?}\text{N}\text{?}$ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels K_φ(x, y) of the trace class operations π_φ = ∝_Nφ(n)π_ndn, regarding the π as modeled in L²(R^k) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels K_φ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rⁿ, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rⁿ → Rⁿ with the following properties. The Fourier transforms F₁φ = K_φ(x, y, λ) all factor through A to give “rationalized” Fourier transforms Fφ(u) such that Fφ ° A = F₁φ. On the rationalized parameter space a function f(u) is of the form F_φ = f ? f is Schwartz class on Rⁿ. If polynomial operators T?P(N) are transferred to operators $\text{T}\text{?}$ on Rⁿ such that $\text{F(Tφ) =}\text{T}\text{?}\text{(Fφ), P(N)}$ is transformed isomorphically to P(Rⁿ).     

On quasinormal,subnormal, and hyponormal Toeplitz operators

Let ? be a non-constant function inL ^∞(D) such thatφ=φ ₁+φ ₂, whereφ ₁ is an element in the Bergman spaceL _a ² (D), and \(\phi _2 \in \overline {L_a^2 (D)} \) , the space of all complex conjugates of functions inL _a ² (D). In this paper, it is shown that if 1 is an element in the closure of the range of the self-commutator ofT _?, \(T_{\bar \phi } T_\phi - T_\phi T\phi \) , then the Toeplitz operatorT _? defined ofL _a ² (D) is not quasinormal. Moreover, if \(\phi = \psi + \lambda \bar \psi \) , whereψ∈ H ^∞(D), and λεC, it is proved that ifT _? is quasinormal, thenT _? is normal. Also, the spectrum of a class of pure hyponormal Toeplitz operators is determined.     

Graphical properties related to minimal imperfection

Say that graph G is partitionable if there exist integers α?2, ω? 2, such that |V(G)| ≡ αω + 1 and for every υ?V(G) there exist partitions of V(G)\ υ into stable sets of size α and into eliques of size ω. An immediate consequence of Lovász' characterization of perfect graphs is that every minimal imperfect graph G is partitionable with α ≡ α (G) andω ≡ ω(G).Padberg has shown that in every minimal imperfect graph G the cliques and stable sets of maximum size satisfy a series of conditions that reflect extraordinary symmetry G. Among these conditions are: the number of cliques of size ω(G) is exactly |V(G)|; the number of stable sets of size α(G) is exactly |V(G)|: every vertex of G is contained in exactly ω(G) cliques of size ω(G) and α(G) stable sets of size α(G): for every clique Q (respectively, stable set S) of maximum size there is a unique stable set S (clique O) of maximum size such that Q∩S ≡ Ø.Let C_n^k denote the graph whose vertices can be enumerated as υ₁,…,υ_n in such a way that υ₁ and υ₁ are adjacent in G if and only if i and j differ by at most k, modulo n. Chvátal has shown that Berge's Strong Perfect graph Conjecture is equivalent to the conjecture that if G is minimal imperfect with α(G) ≡ αandω(G) ≡ ω, then G has a spanning subgraph isomorphic to C_αω+1^ω. Padberg's conditions are sufficiently restrictive to suggest the possibility of establishing the Strong Perfect Graph Conjecture by proving that any graph G satisfying these conditions must contain a spanning subgraph isomorphic to C_αω+1^ω, whereα(G) ≡ αandω(G) ≡ ω. It is shown here, using only elementary linear algebra, that all partitionable graphs satisfy Padberg's conditions, as well as additional properties of the same spirit. Then examples are provided of partitionable graphs which contain no spanning subgraph isomorphic to C_αω+1^ω, whereα(G) ≡ α and ω(G) ≡ ω.     

Weak type inequalities for the ℓ 1-summability of higher dimensional Fourier transforms

Under some weak conditions on θ, it was verified in [21, 17] that the maximal operator of the ? ₁-θ-means of a tempered distribution is bounded from H _p (? ^d ) to L _p (? ^d ) for all d/(d + α) < p ≤ ∞, where 0 < α ≤ 1 depends only on θ. In this paper, we prove that the maximal operator is bounded from H _d/(d+α)(? ^d ) to the weak L _d/(d+α)(? ^d ) space. The analogous result is given for Fourier series, as well. Some special cases of the ? ₁-θ-summation are considered, such as the Weierstrass, Picard, Bessel, Fejér, de La Vallée-Poussin, Rogosinski and Riesz summations.     

Centerpole sets for colorings of abelian groups

A subset C?G of a group G is called k-centerpole if for each k-coloring of G there is an infinite monochromatic subset G, which is symmetric with respect to a point c??C in the sense that S=cS ^?1 c. By c _k (G) we denote the smallest cardinality c _k (G) of a k-centerpole subset in G. We prove that c _k (G)=c _k (? ^m ) if G is an abelian group of free rank m??k. Also we prove that c ₁(? ⁿ⁺¹)=1, c ₂(? ⁿ⁺²)=3, c ₃(? ⁿ⁺³)=6, 8??c ₄(? ⁿ⁺⁴)??c ₄(?⁴)=12 for all n????, and ${\frac{1}{2}(k^{2}+3k-4)\le c_{k}(\mathbb{Z}^{n})\le2^{k}-1-\max_{s\le k-2}\binom {k-1}{s-1}}$ for all n??k??4.     

Orlicz-Hardy spaces and their duals

We establish the theory of Orlicz-Hardy spaces generated by a wide class of functions.The class will be wider than the class of all the N-functions.In particular,we consider the non-smooth atomic decomposition.The relation between Orlicz-Hardy spaces and their duals is also studied.As an application,duality of Hardy spaces with variable exponents is revisited.This work is different from earlier works about Orlicz-Hardy spaces H(Rn)in that the class of admissible functions is largely widened.We can deal with,for example,(r)≡(rp1(log(e+1/r))q1,0r 6 1,rp2(log(e+r))q2,r1,with p1,p2∈(0,∞)and q1,q2∈(.∞,∞),where we shall establish the boundedness of the Riesz transforms on H(Rn).In particular,is neither convex nor concave when 0p11p2∞,0p21p1∞or p1=p2=1 and q1,q20.If(r)≡r(log(e+r))q,then H(Rn)=H(logH)q(Rn).We shall also establish the boundedness of the fractional integral operators I of order∈(0,∞).For example,I is shown to be bounded from H(logH)1./n(Rn)to Ln/(n.)(log L)(Rn)for 0n.