The sharp quantitative Sobolev inequality for functions of bounded variation

The classical Sobolev embedding theorem of the space of functions of bounded variation BV(Rn) into Ln^′(Rn) is proved in a sharp quantitative form.     

Multidimensional multi-knots piecewise linear spectral sequences

Motivated by representingmultidimensional periodic nonlinear and non-stationary signals (functions), we study a class of orthonormal exponential basis for L ²(I ^d ) with I:= [0,1), whose exponential parts are piecewise linear spectral sequences with p-knots. It is widely applied in time-frequency analysis.     

Toeplitz operators on Herglotz wave functions

The space of Herglotz wave functions in R² consists of all the solutions of the Helmholtz equation that can be represented as the Fourier transform in R² of a measure supported in the circle and with density in L²(S¹). This space has a structure of a Hilbert space with reproducing kernel. The purpose of this article is to study Toeplitz operators with nonnegative radial symbols, defined on this space. We study the symbols defining bounded and compact Toeplitz operators as well as the Toeplitz operators belonging to the Schatten classes sp.     

Characterizing the Hilbert transform by the Bedrosian theorem

It is proved that a bounded linear translation invariant operator on L²(Rd) satisfies the Bedrosian theorem if and only if it is a linear combination of the compositions of the partial Hilbert transforms and the identity operator. This observation justifies a definition of multidimensional analytic signals in the papers [T. Bulow, G. Sommer, Hypercomplex signals—a novel extension of the analytic signal to the multidimensional case, IEEE Trans. Signal Process. 49 (2001) 2844-2852] and [S.L. Hahn, Multidimensional complex signals with single-orthant spectra, Proc. IEEE 80 (1992) 1287-1300].     

Zero divisors and prime elements of bounded semirings

A semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. A bounded semiring is a semiring equipped with a compatible bounded partial order. In this paper, properties of zero divisors and prime elements of a bounded semiring are studied. In particular, it is proved that under some mild assumption, the set Z（A） of nonzero zero divisors of A is A ／ {0, 1}, and each prime element of A is a maximal element. For a bounded semiring A with Z（A） = A ／ {0, 1}, it is proved that A has finitely many maximal elements if ACC holds either for elements of A or for principal annihilating ideals of A. As an application of prime elements, we show that the structure of a bounded semiring A is completely determined by the structure of integral bounded semirings if either ｜Z（A）｜ = 1 or ｜Z（A）｜ -- 2 and Z（A）2 ≠ 0. Applications to the ideal structure of commutative rings are also considered. In particular, when R has a finite number of ideals, it is shown that the chain complex of the poset I（R） is pure and shellable, where I（R） consists of all ideals of R.     

On Fourier frame of absolutely continuous measures

Let μ be a compactly supported absolutely continuous probability measure on Rn, we show that L²(K,dμ) admits a Fourier frame if and only if its Radon-Nikodym derivative is bounded above and below almost everywhere on the support K. As a consequence, we prove that if μ is an equal weight absolutely continuous self-similar measure on R¹ and L²(K,dμ) admits a Fourier frame, then the density of μ must be a characteristic function of self-similar tile. In particular, this shows for almost everywhere 1/2<λ<1, the L² space of the λ-Bernoulli convolutions cannot admit a Fourier frame.     

Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

A characterization of multidimensional multi-knot piecewise linear spectral sequence and its applications

We characterize a class of piecewise linear spectral sequences. Associated with the spectral sequence, we construct an orthonormal exponential bases for L2（[0,1）d）, which are called generalized Fourier bases. Moreover, we investigate the convergence of Bochner-Riesz means of the generalized Fourier series.     

Lévy processes and Fourier multipliers

We study Fourier multipliers which result from modulating jumps of Lévy processes. Using the theory of martingale transforms we prove that these operators are bounded in Lp(Rd) for 1<p<∞ and we obtain the same explicit bound for their norm as the one known for the second order Riesz transforms.     

A Characterization for Windowed Fourier Orthonormal Basis with Compact Support

Let g(x) ∈L ²(R) and ğ(ω) be the Fourier transform of g(x). Define g _mn (x) = e ^imx g(x−2πn). In this paper we shall give a sufficient and necessary condition under which {g _mn (x)} constitutes an orthonormal basis of L ²(R) for compactly supported g(ω) or ˘(ω). Received March 25, 1999, Revised November 5, 1999, Accepted September 6, 2000     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

Orthonormal Sequences in L 2(R d ) and Time Frequency Localization

We prove that there does not exist an orthonormal basis {b _n } for L ²(R) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded. A higher dimensional version of this result that involves generalized dispersions is also obtained. The main tool is a time-frequency localization inequality for orthonormal sequences in L ²(R ^d ). On the other hand, for d>1 we construct a basis {b _n } for L ²(R ^d ) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded.     

A borderline Gaussian random Fourier series for the sample convergence in variation

We give an example of a Gaussian random Fourier series, of which the normalized remainders have their sojourn times converging in variation, namely the convergence in the space L¹(R) of the related density distributions, to the Gaussian density. The convergence in the space L^∞(R) is also proved. In our approach, we use local times of Gaussian random Fourier series.     

An example of an almost greedy uniformly bounded orthonormal basis for

We construct a uniformly bounded orthonormal almost greedy basis for L_p(0,1), 1<p<∞. The example shows that it is not possible to extend Orlicz's theorem, stating that there are no uniformly bounded orthonormal unconditional bases for L_p(0,1), p≠2, to the class of almost greedy bases.     

A Note on a Maximal Function Over Arbitrary Sets of Directions

Let M_S be the universal maximal operator over unit vectors ofarbitrary directions. This operator is not bounded in L²(R²).We consider a sequence of operators over sets of finite equidistributeddirections converging to M_S. We provide a new proof of N. Katz'sbound for such operators. As a corollary, we deduce that M_Sis bounded from some subsets of L² to L². These subsets arecomposed of positive functions whose Fourier transforms havea logarithmic decay or which are supported on a disc. 1991 MathematicsSubject Classification 42B25.     

Asymmetric multi-channel sampling in shift invariant spaces

We develop an asymmetric multi-channel sampling on a shift invariant space V(?) with a Riesz generator ?(t) in L²(R), where each channeled signal is assigned a uniform but distinct sampling rate. We use Fourier duality between V(?) and L²[0,2π] to find conditions under which there is a stable asymmetric multi-channel sampling formula on V(?).     

On a problem of littlewood

The theorem on the tending to zero of coefficients of a trigonometric series is proved when theL ¹-norms of partial sums of this series are bounded. It is shown that the analog of Helson's theorem does not hold for orthogonal series with respect to the bounded orthonormal system. Two facts are given that are similar to Weis' theorem on the existence of a trigonometric series which is not a Fourier series and whoseL ¹-norms of partial sums are bounded.     

Necessary and sufficient conditions for quadratic stabilizability of an uncertain system

Consider an uncertain system (Σ) described by the equationx(t)=A(r(t))x(t)+B(s(t))u(t), wherex(t) ∈R ⁿ is the state,u(t) ∈R ^m is the control,r(t) ∈ ? ?R ^p represents the model parameter uncertainty, ands(t) ∈L ?R ^l represents the input connection parameter uncertainty. The matrix functionsA(·),B(·) are assumed to be continuous and the restraint sets ?,L are assumed to be compact. Within this framework, a notion of quadratic stabilizability is defined. It is important to note that this type of stabilization is robust in the following sense: The Lyapunov function and the control are constructed using only the bounds ?,L. Much of the previous literature has concentrated on a fundamental question: Under what conditions onA(·),B(·), ?,L can quadratic stabilizability be assured? In dealing with this question, previous authors have shown that, if (Σ) satisfies certain matching conditions, then quadratic stabilizability is indeed assured (e.g., Refs. 1–2). Given the fact that matching is only a sufficient condition for quadratic stabilizability, the objective here is to characterize the class of systems for which quadratic stabilizability can be guaranteed.     

On an Inequality of A. Grothendieck Concerning Operators on 1

In 1955, A. Grothendieck proved a basic inequality which shows that any bounded linear operator between L¹(µ)-spaces maps (Lebesgue-) dominated sequences to dominated sequences. An elementary proof of this inequality is obtained via a new decomposition principle for the lattice of measurable functions.