Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

Asymptotic Behaviour of Iterates of Volterra Operators on L p (0, 1)

Given k ∈ L¹ (0,1) satisfying certain smoothness and growth conditions at 0, we consider the Volterra convolution operator V_k defined on L^p (0,1) by

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.     

Norms of Moore-Penrose Inverses of Fredholm Toeplitz Operators

In this paper we estimate the norm of the Moore-Penrose inverse T(a)⁺ of a Fredholm Toeplitz operator T(a) with a matrix-valued symbol a∈L_{N × N}^∞ defined on the complex unit circle. In particular, we show that in the ”generic case” the strict inequality ||T(a)⁺|| > ||a⁻¹||_∞ holds. Moreover, we discuss the asymptotic behavior of ||T(t^ra)⁺|| for . The results are illustrated by numerical experiments.     

On approximation of periodic functions by Fourier sums

Let L _p , 1 ≤ p< ∞, be the space of 2π-periodic functions f with the norm || f ||_p = ( ò _{- p}^p | f |^p )^{1 \mathord}

Riesz Transforms on Groups of Heisenberg Type

The aim of this article is to prove the following theorem. Theorem Let p be in (1,∞), ℍ _n,m a group of Heisenberg type, ℛ the vector of the Riesz transforms on ℍ _n,m . There exists a constant C _p independent of n and m such that for every f∈L ^p (ℍ _n,m )

Best simultaneous approximation in

Let X be a Banach space, (Ω,Σ,μ) a finite measure space, and L₁(μ,X) the Banach space of X-valued Bochner μ-integrable functions defined on Ω endowed with its usual norm. Let us suppose that Σ₀ is a sub-σ-algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in . It is shown that if X is reflexive then L₁(μ₀,X) is N-simultaneously proximinal in L₁(μ,X) in the sense of Fathi et al. [Best simultaneous approximation in L^p(I,E), J. Approx. Theory 116 (2002), 369–379]. Some examples and remarks related with N-simultaneous proximinality are also given.     

An exact Daugavet type inequality for small into isomorphisms in L 1

The well known Daugavet property for the space L ₁ means that || I  +  K || = 1+ || K || for any weakly compact operator K : L ₁ → L ₁, where I is the identity operator in L ₁. We generalize this theorem to the case when we consider an into isomorphism J : L ₁ → L ₁ instead of I and a narrow operator T. Our main result states that , where d  =  || J|| || J ⁻¹||. We also give an example which shows that this estimate is exact. Received: 21 August 2007     

Square functions and <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript> calculus on subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and on Hardy spaces

Let X be a (closed) subspace of L^p with 1≤p<∞, and let A be any sectorial operator on X. We consider associated square functions on X, of the form and we show that if A admits a bounded H^∞ functional calculus on X, then these square functions are equivalent to the original norm of X. Then we deduce a similar result when X=H¹(ℝ^N) is the usual Hardy space, for an appropriate choice of || ||_F. For example if N=1, the right choice is the sum for h ∈ H¹(ℝ), where H denotes the Hilbert transform.     

Cardinal Interpolation with Gaussian Kernels

In this paper, interpolation by scaled multi-integer translates of Gaussian kernels is studied. The main result establishes L _p Sobolev error estimates and shows that the error is controlled by the L _p multiplier norm of a Fourier multiplier closely related to the cardinal interpolant, and comparable to the Hilbert transform. Consequently, its multiplier norm is bounded independent of the grid spacing when 1<p<∞, and involves a logarithmic term when p=1 or ∞.     

Best approximation in L(μ, X), II

The object of this paper is to prove the following theorem: If Y is a closed subspace of the Banach space X, then L¹(μ, Y) is proximinal in L¹(μ, X) if and only if L^p(μ, Y) is proximinal in L^p(μ, Y) for every p, 1 < p < ∞. As an application of this result we prove that if Y is either reflexive or Y is a separable proximinal dual space, then L¹(μ, Y) is proximinal in L¹(μ, X).     

Dimension Free Estimates for Riesz Transforms Associated to the Harmonic Oscillator on \mathbb{R}^{n}

Let L=?Δ+|ξ|² be the harmonic oscillator on $\mathbb{R}^{n}Let L=−Δ+|ξ|² be the harmonic oscillator on \mathbbRⁿ\mathbb{R}^{n} , with the associated Riesz transforms R_2j−1=(∂/∂ξ_j)L^−1/2,R_2j=ξ_jL^−1/2. We give a shorter proof of a recent result of Harboure, de Rosa, Segovia, Torrea: For 1<p<∞ and a dimension free constant C_p,

||(?k=12n|Rk(f)|2)1/2||Lp(\mathbbRn,dx)\leqslant Cp||f||Lp(\mathbbRn,dx).\bigg\Vert \bigg(\sum_{k=1}^{2n}\vert R_{k}(f)\vert ^{2}\bigg)^{{1}/{2}}\bigg\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}\leqslant C_{p}\Vert f\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}.      13. Norm Inequalities for Sums of Positive Operators. II      Fuad Kittaneh 《Positivity》2006,10(2):251-260 It is shown that if A and B are positive operators on a separable complex Hilbert space, then for every unitarily invariant norm. When specialized to the usual operator norm ||·|| and the Schatten p-norms ||·||p, this inequality asserts that and These inequalities improve upon some earlier related inequalities. Other norm inequalities for sums of positive operators are also obtained.      14. Bounding partial sums of Fourier series in weighted L2-norms,with applications to matrix analysis      《Journal of Computational and Applied Mathematics》2002,147(2):349-368 For integrable functions f defined on the interval [−π,π], we denote the partial sums of the corresponding Fourier series by Sn(f) (n=0,1,2,…). In this paper, we deal with the problem of bounding supn||Sn||, where ||·|| denotes an operator norm induced by a weighted L2-norm for functions f on [−π,π]. For weight functions w belonging to a class introduced by Helson and Szegö (Ann. Mat. Pura Appl. 51 (1960) 107), we present explicit upper bounds for supn||Sn|| in terms of w.The authors were led to the problem of deriving explicit upper bounds for supn||Sn||, by the need for such bounds in an analysis related to the Kreiss matrix theorem—a famous result in the fields of linear algebra and numerical analysis. Accordingly, the present paper highlights the relevance of bounds on supn||Sn|| to these fields.      15. 具最小二乘谱约束的结构矩阵逼近问题及其扰动分析          下载免费PDF全文 谢冬秀  张忠志 《数学物理学报(A辑)》2013,33(1):37-45 从两个方面讨论具有最小二乘谱约束的对称斜哈密尔顿矩阵的逼近问题:(Ⅰ)研究使AX-XA的Frobenius范数最小的n阶实对称斜哈密尔顿矩阵A的集合C,其中X,A分别是特征向量和特征值矩阵, (Ⅱ)求(A)∈c使得‖C-(A)‖=min ‖C-A‖,这里‖·‖是Frobenius范数.给出了C的元素的一般表达式和(A)的显示表达式,分析了该最佳逼近矩阵A的扰动理论,并给出了数值实验.      16. On Approximate Spectral Factorization of Matrix Functions      Lasha Ephremidze  Gigla Janashia  Edem Lagvilava 《Journal of Fourier Analysis and Applications》2011,17(5):976-990 It is proved that if positive definite matrix functions (i.e. matrix spectral densities) S n , n=1,2,… , are convergent in the L 1-norm, ||Sn-S||L1? 0\|S_{n}-S\|_{L_{1}}\to 0, and ò02plogdetSn(eiq) dq?ò02plogdetS(eiq) dq\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S_{n}(e^{i\theta})\,d\theta\to\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S(e^{i\theta})\,d\theta, then the corresponding (canonical) spectral factors are convergent in L 2, ||S+n-S+||L2? 0\|S^{+}_{n}-S^{+}\|_{L_{2}}\to 0. The formulated logarithmic condition is easily seen to be necessary for the latter convergence to take place.      17. Compensated Compactness, Paracommutators, and Hardy Spaces      C. Li  A. McIntosh  K. Zhang  Z. Wu 《Journal of Functional Analysis》1997,150(2):289-306 LetB1: n× N1→ m1,B2: n× N2→ m2andQ: m2→ m1be bilinear forms which are related as follows: ifμandνsatisfyB1(ξ, μ)=0 andB2(ξ, ν)=0 for someξ≠0, thenμτQν=0. Supposep−1+q−1=1. Coifman, Lions, Meyer and Semmes proved that, ifuLp( n) andvLq( n), and the first order systemsB1(D, u)=0,B2(D, v)=0 hold, thenuτQvbelongs to the Hardy spaceH1( n), provided that both (i)p=q=2, and (ii) the ranks of the linear mapsBj(ξ, ·) : Nj→ m1are constant. We apply the theory of paracommutators to show that this result remains valid when only one of the hypotheses (i), (ii) is postulated. The removal of the constant-rank condition whenp=q=2 involves the use of a deep result of Lojasiewicz from singularity theory.      18. Existence of maximal solutions      G. T. McAllister  S. M. Rohde 《Journal of Approximation Theory》1975,14(4):251-280 Let Ω be a plane bounded region. Let U = {Uμ(P):μ(P)εL∞(Ω), uμ ε H22, 0(Ω) and a(P, μ(P))uμ,xx + 2b(P, μ(P))uμ,xy + c(P, μ(P))uμ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L∞(Ω × E1), ƒ(P) ε Lp(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ0 ε L∞(Ω) such that uμ0 (P) uμ(P) for all P ε Ω and for each μ ε L∞(Ω). Similar results are obtained for a difference equation and convergence is proved.      19. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces      Jan Maas  Jan van Neerven   《Journal of Functional Analysis》2009,257(8):2410-2475 Let (E,H,μ) be an abstract Wiener space and let DV:=VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space . Given a bounded operator B on , coercive on the range , we consider the operators A:=V*BV in H and in , as well as the realisations of the operators and in Lp(E,μ) and respectively, where 1<p<∞. Our main result asserts that the following four assertions are equivalent: (1) with for ; (2) admits a bounded H∞-functional calculus on ; (3) with for ; (4) admits a bounded H∞-functional calculus on . Moreover, if these conditions are satisfied, then . The equivalence (1)–(4) is a non-symmetric generalisation of the classical Meyer inequalities of Malliavin calculus (where , V=I, ). A one-sided version of (1)–(4), giving Lp-boundedness of the Riesz transform in terms of a square function estimate, is also obtained. As an application let −A generate an analytic C0-contraction semigroup on a Hilbert space H and let −L be the Lp-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. The boundedness of the Riesz transform is used to obtain an Lp-domain characterisation for the operator L. Keywords: Divergence form elliptic operators; Abstract Wiener spaces; Riesz transforms; Domain characterisation in Lp; Kato square root problem; Ornstein–Uhlenbeck operator; Meyer inequalities; Second quantised operators; Square function estimates; H∞-functional calculus; R-boundedness; Hodge–Dirac operators; Hodge decomposition      20. Frames and their associated $\emph{H}_{{\kern-2pt}\emph{F}}^{\emph{p}}$-subspaces      Deguang Han  Pengtong Li  Wai-Shing Tang 《Advances in Computational Mathematics》2011,34(2):185-200 Given a frame F = {f j } for a separable Hilbert space H, we introduce the linear subspace HpFH^{p}_{F} of H consisting of elements whose frame coefficient sequences belong to the ℓ p -space, where 1 ≤ p < 2. Our focus is on the general theory of these spaces, and we investigate different aspects of these spaces in relation to reconstructions, p-frames, realizations and dilations. In particular we show that for closed linear subspaces of H, only finite dimensional ones can be realized as HpFH^{p}_{F}-spaces for some frame F. We also prove that with a mild decay condition on the frame F the frame expansion of any element in HFpH_{F}^{p} converges in both the Hilbert space norm and the ||·|| F, p -norm which is induced by the ℓ p -norm.

Norm Inequalities for Sums of Positive Operators. II

It is shown that if A and B are positive operators on a separable complex Hilbert space, then for every unitarily invariant norm. When specialized to the usual operator norm ||·|| and the Schatten p-norms ||·||_p, this inequality asserts that and These inequalities improve upon some earlier related inequalities. Other norm inequalities for sums of positive operators are also obtained.     

Bounding partial sums of Fourier series in weighted L2-norms,with applications to matrix analysis

For integrable functions f defined on the interval [−π,π], we denote the partial sums of the corresponding Fourier series by S_n(f) (n=0,1,2,…). In this paper, we deal with the problem of bounding sup_n||S_n||, where ||·|| denotes an operator norm induced by a weighted L²-norm for functions f on [−π,π]. For weight functions w belonging to a class introduced by Helson and Szegö (Ann. Mat. Pura Appl. 51 (1960) 107), we present explicit upper bounds for sup_n||S_n|| in terms of w.The authors were led to the problem of deriving explicit upper bounds for sup_n||S_n||, by the need for such bounds in an analysis related to the Kreiss matrix theorem—a famous result in the fields of linear algebra and numerical analysis. Accordingly, the present paper highlights the relevance of bounds on sup_n||S_n|| to these fields.     

具最小二乘谱约束的结构矩阵逼近问题及其扰动分析

从两个方面讨论具有最小二乘谱约束的对称斜哈密尔顿矩阵的逼近问题:(Ⅰ)研究使AX-XA的Frobenius范数最小的n阶实对称斜哈密尔顿矩阵A的集合C,其中X,A分别是特征向量和特征值矩阵, (Ⅱ)求(A)∈c使得‖C-(A)‖=min ‖C-A‖,这里‖·‖是Frobenius范数.给出了C的元素的一般表达式和(A)的显示表达式,分析了该最佳逼近矩阵A的扰动理论,并给出了数值实验.     

On Approximate Spectral Factorization of Matrix Functions

It is proved that if positive definite matrix functions (i.e. matrix spectral densities) S _n , n=1,2,… , are convergent in the L ₁-norm, ||S_n-S||_L1? 0\|S_{n}-S\|_{L_{1}}\to 0, and ò₀^2plogdetS_n(e^iq) dq?ò₀^2plogdetS(e^iq) dq\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S_{n}(e^{i\theta})\,d\theta\to\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S(e^{i\theta})\,d\theta, then the corresponding (canonical) spectral factors are convergent in L ₂, ||S⁺_n-S⁺||_L2? 0\|S^{+}_{n}-S^{+}\|_{L_{2}}\to 0. The formulated logarithmic condition is easily seen to be necessary for the latter convergence to take place.     

Compensated Compactness, Paracommutators, and Hardy Spaces

LetB₁: ⁿ× ^N₁→ ^m₁,B₂: ⁿ× ^N₂→ ^m₂andQ: ^m₂→ ^m₁be bilinear forms which are related as follows: ifμandνsatisfyB₁(ξ, μ)=0 andB₂(ξ, ν)=0 for someξ≠0, thenμ^τQν=0. Supposep⁻¹+q⁻¹=1. Coifman, Lions, Meyer and Semmes proved that, ifuL^p( ⁿ) andvL^q( ⁿ), and the first order systemsB₁(D, u)=0,B₂(D, v)=0 hold, thenu^τQvbelongs to the Hardy spaceH¹( ⁿ), provided that both (i)p=q=2, and (ii) the ranks of the linear mapsB_j(ξ, ·) : ^N_j→ ^m₁are constant. We apply the theory of paracommutators to show that this result remains valid when only one of the hypotheses (i), (ii) is postulated. The removal of the constant-rank condition whenp=q=2 involves the use of a deep result of Lojasiewicz from singularity theory.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.     

Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces

Let (E,H,μ) be an abstract Wiener space and let D_V:=VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space . Given a bounded operator B on , coercive on the range , we consider the operators A:=V^*BV in H and in , as well as the realisations of the operators and in L^p(E,μ) and respectively, where 1<p<∞. Our main result asserts that the following four assertions are equivalent:

(1) with for ;

(2) admits a bounded H^∞-functional calculus on ;

(3) with for ;

(4) admits a bounded H^∞-functional calculus on .

Moreover, if these conditions are satisfied, then . The equivalence (1)–(4) is a non-symmetric generalisation of the classical Meyer inequalities of Malliavin calculus (where , V=I, ). A one-sided version of (1)–(4), giving L^p-boundedness of the Riesz transform in terms of a square function estimate, is also obtained. As an application let −A generate an analytic C₀-contraction semigroup on a Hilbert space H and let −L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. The boundedness of the Riesz transform is used to obtain an L^p-domain characterisation for the operator L.

Frames and their associated $\emph{H}_{{\kern-2pt}\emph{F}}^{\emph{p}}$-subspaces

Given a frame F = {f _j } for a separable Hilbert space H, we introduce the linear subspace H^p_FH^{p}_{F} of H consisting of elements whose frame coefficient sequences belong to the ℓ ^p -space, where 1 ≤ p < 2. Our focus is on the general theory of these spaces, and we investigate different aspects of these spaces in relation to reconstructions, p-frames, realizations and dilations. In particular we show that for closed linear subspaces of H, only finite dimensional ones can be realized as H^p_FH^{p}_{F}-spaces for some frame F. We also prove that with a mild decay condition on the frame F the frame expansion of any element in H_F^pH_{F}^{p} converges in both the Hilbert space norm and the ||·|| _{F, p} -norm which is induced by the ℓ ^p -norm.