Dixmier traces as singular symmetric functionals and applications to measurable operators

We unify various constructions and contribute to the theory of singular symmetric functionals on Marcinkiewicz function/operator spaces. This affords a new approach to the non-normal Dixmier and Connes-Dixmier traces (introduced by Dixmier and adapted to non-commutative geometry by Connes) living on a general Marcinkiewicz space associated with an arbitrary semifinite von Neumann algebra. The corollaries to our approach, stated in terms of the operator ideal L^(1,∞) (which is a special example of an operator Marcinkiewicz space), are: (i) a new characterization of the set of all positive measurable operators from L^(1,∞), i.e. those on which an arbitrary Connes-Dixmier trace yields the same value. In the special case, when the operator ideal L^(1,∞) is considered on a type I infinite factor, a bounded operator x belongs to L^(1,∞) if and only if the sequence of singular numbers {s_n(x)}_n?1 (in the descending order and counting the multiplicities) satisfies . In this case, our characterization amounts to saying that a positive element x∈L^(1,∞) is measurable if and only if exists; (ii) the set of Dixmier traces and the set of Connes-Dixmier traces are norming sets (up to equivalence) for the space , where the space is the closure of all finite rank operators in L^(1,∞) in the norm ∥.∥_(1,∞).     

Vector valued bilinear maximal operator and method of rotations

In this paper we obtain a bilinear analogue of Fefferman-Stein?s vector valued inequality for classical Hardy-Littlewood maximal function. Also, we prove the boundedness of bilinear Hardy-Littlewood maximal operator from Lp₁(Rn)×Lp₂(Rn)→L¹(Rn), where , by applying the method of rotations.     

On fractional maximal function and fractional integrals associated with the Dunkl operator on the real line

In this paper we obtain necessary and sufficient conditions on the parameters for the boundedness of the Dunkl-type fractional maximal operator Mβ, and the Dunkl-type fractional integral operator Iβ from the spaces Lp,α(R) to the spaces Lq,α(R), 1<p<q<∞, and from the spaces L1,α(R) to the weak spaces WLq,α(R), 1<q<∞. In the case , we prove that the operator Mβ is bounded from the space Lp,α(R) to the space L∞,α(R), and the Dunkl-type modified fractional integral operator is bounded from the space Lp,α(R) to the Dunkl-type BMO space BMOα(R). By this results we get boundedness of the operators Mβ and Iβ from the Dunkl-type Besov spaces to the spaces , 1<p<q<∞, 1/p−1/q=β/(2α+2), 1?θ?∞ and 0<s<1.     

The principle of general localization on unit sphere

In this paper we study the general localization principle for Fourier-Laplace series on unit sphere SN⊂RN+1. Weak type (1,1) property of maximal functions is used to establish the estimates of the maximal operators of Riesz means at critical index . The properties Jacobi polynomials are used in estimating the maximal operators of spectral expansions in L₂(SN). For extending positive results on critical line , 1?p?2, we apply interpolation theorem for the family of the linear operators of weak types. The generalized localization principle is established by the analysis of spectral expansions in L₂. We have proved the sufficient conditions for the almost everywhere convergence of Fourier-Laplace series by Riesz means on the critical line.     

The reduced effect of a single scattering with a low-mass particle via a point interaction

In this article, we study a second-order expansion for the effect induced on a large quantum particle which undergoes a single scattering with a low-mass particle via a repulsive point interaction. We give an approximation with third-order error in λ to the map , where G∈B(L²(Rn)) is a heavy-particle observable, ρ∈B₁(Rn) is the density matrix corresponding to the state of the light particle, is the mass ratio of the light particle to the heavy particle, Sλ∈B(L²(Rn)⊗L²(Rn)) is the scattering matrix between the two particles due to a repulsive point interaction, and the trace is over the light-particle Hilbert space. The third-order error is bounded in operator norm for dimensions one and three using a weighted operator norm on G.     

Heisenberg operators of a Dirac particle interacting with the quantum radiation field

We consider a quantum system of a Dirac particle interacting with the quantum radiation field, where the Dirac particle is in a 4×4-Hermitian matrix-valued potential V. Under the assumption that the total Hamiltonian HV is essentially self-adjoint (we denote its closure by ), we investigate properties of the Heisenberg operator (j=1,2,3) of the j-th position operator of the Dirac particle at time t∈R and its strong derivative dxj(t)/dt (the j-th velocity operator), where xj is the multiplication operator by the j-th coordinate variable xj (the j-th position operator at time t=0). We prove that D(xj), the domain of the position operator xj, is invariant under the action of the unitary operator for all t∈R and establish a mathematically rigorous formula for xj(t). Moreover, we derive asymptotic expansions of Heisenberg operators in the coupling constant q∈R (the electric charge of the Dirac particle).     

Parabolic mean values and maximal estimates for gradients of temperatures

We aim to prove inequalities of the form for solutions of on a domain Ω=D×R⁺, where δ(x,t) is the parabolic distance of (x,t) to parabolic boundary of Ω, is the one-sided Hardy-Littlewood maximal operator in the time variable on R⁺, is a Calderón-Scott type d-dimensional elliptic maximal operator in the space variable on the domain D in Rd, and 0<λ<k<λ+d. As a consequence, when D is a bounded Lipschitz domain, we obtain estimates for the Lp(Ω) norm of δ2n−λn(∇2,1)u in terms of some mixed norm for the space with denotes the Besov norm in the space variable x and where .     

Herz spaces and restricted summability of Fourier transforms and Fourier series

A general summability method, the so-called θ-summability is considered for multi-dimensional Fourier transforms and Fourier series. A new inequality for the Hardy-Littlewood maximal function is verified. It is proved that if the Fourier transform of θ is in a Herz space, then the restricted maximal operator of the θ-means of a distribution is of weak type (1,1), provided that the supremum in the maximal operator is taken over a cone-like set. From this it follows that over a cone-like set a.e. for all f∈L₁(Rd). Moreover, converges to f(x) over a cone-like set at each Lebesgue point of f∈L₁(Rd) if and only if the Fourier transform of θ is in a suitable Herz space. These theorems are extended to Wiener amalgam spaces as well. The Riesz and Weierstrass summations are investigated as special cases of the θ-summation.     

Functions of normal operators under perturbations

In Peller (1980) [27], Peller (1985) [28], Aleksandrov and Peller (2009) [2], Aleksandrov and Peller (2010) [3], and Aleksandrov and Peller (2010) [4] sharp estimates for f(A)−f(B) were obtained for self-adjoint operators A and B and for various classes of functions f on the real line R. In this paper we extend those results to the case of functions of normal operators. We show that if a function f belongs to the Hölder class Λα(R²), 0<α<1, of functions of two variables, and N₁ and N₂ are normal operators, then ‖f(N₁)−f(N₂)‖?const‖fΛα_‖‖N₁−N₂α^‖. We obtain a more general result for functions in the space for an arbitrary modulus of continuity ω. We prove that if f belongs to the Besov class , then it is operator Lipschitz, i.e., . We also study properties of f(N₁)−f(N₂) in the case when f∈Λα(R²) and N₁−N₂ belongs to the Schatten–von Neumann class Sp.     

Asymptotic properties of generalized Laguerre orthogonal polynomials

In the present paper we deal with the polynomials L_n^(α,M,N) (x) orthogonal with respect to the Sobolev inner product

     

A local smoothing estimate for the Schrödinger equation

We show that the Schrödinger operator eitΔ is bounded from Wα,q(Rn) to Lq(Rn×[0,1]) for all α>2n(1/2−1/q)−2/q and q?2+4/(n+1). This is almost sharp with respect to the Sobolev index. We also show that the Schrödinger maximal operator sup0<t<1|eitΔf| is bounded from Hs(Rn) to when s>s₀ if and only if it is bounded from Hs(Rn) to L²(Rn) when s>2s₀. A corollary is that sup0<t<1|eitΔf| is bounded from Hs(R²) to L²(R²) when s>3/4.     

Non-selfadjoint matrix Sturm-Liouville operators with spectral singularities

In this paper we investigate discrete spectrum of the non-selfadjoint matrix Sturm-Liouville operator L generated in L²(R₊,S) by the differential expression

     

Convergence to strong nonlinear diffusion waves for solutions to p-system with damping on quadrant

In this paper, we consider the so-called p-system with linear damping on quadrant. We show that for a certain class of given large initial data (v₀(x),u₀(x)), the corresponding initial-boundary value problem admits a unique global smooth solution (v(x,t),u(x,t)) and such a solution tends time-asymptotically, at the Lp (2?p?∞) optimal decay rates, to the corresponding nonlinear diffusion wave which satisfies (1.9) provided the corresponding prescribed initial error function (V₀(x),U₀(x)) lies in (H³(R⁺)∩L¹(R⁺))×(H²(R⁺)∩L¹(R⁺)).     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

Weakly open sets in the unit ball of some Banach spaces and the centralizer

We show that every Banach space X whose centralizer is infinite-dimensional satisfies that every non-empty weakly open set in BY has diameter 2, where (N-fold symmetric projective tensor product of X, endowed with the symmetric projective norm), for every natural number N. We provide examples where the above conclusion holds that includes some spaces of operators and infinite-dimensional C^∗-algebras. We also prove that every non-empty weak^∗ open set in the unit ball of the space of N-homogeneous and integral polynomials on X has diameter two, for every natural number N, whenever the Cunningham algebra of X is infinite-dimensional. Here we consider the space of N-homogeneous integral polynomials as the dual of the space (N-fold symmetric injective tensor product of X, endowed with the symmetric injective norm). For instance, every infinite-dimensional L₁(μ) satisfies that its Cunningham algebra is infinite-dimensional. We obtain the same result for every non-reflexive L-embedded space, and so for every predual of an infinite-dimensional von Neumann algebra.     

Entropy solutions for a doubly nonlinear elliptic problem with variable exponent

We study the boundary value problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN (N?3) and is a p(x)-Laplace type operator with p(.):Ω→[1,+∞) a measurable function and b a continuous and nondecreasing function from R→R. We prove the existence and uniqueness of an entropy solution for L¹-data f.     

On commutators of vector BMO functions and multilinear singular integrals with non-smooth kernels

Let T be a bounded multilinear operator on some product of Lq(Rn) spaces. Assume that T has a non-smooth associated kernel which satisfies certain weak regularity conditions but not regular enough to fall under the scope of the standard multilinear Calderón-Zygmund theory. The main aim of this paper is to establish a sufficient condition on the kernel of T so that the commutator of a vector BMO function and T is bounded on certain product Lp(Rn) spaces. We obtain boundedness of the commutator of and T by first proving certain pointwise estimates on the Fefferman-Stein sharp maximal operator. An important example of multilinear operators which satisfy our kernel conditions is the maximal mth order Calderón commutator.     

Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.