Lipschitz functions,Schatten ideals,and unbounded derivations

It is proved that, for any Lipschitz function f(t ₁, ..., t _n ) of n variables, the corresponding map f _op: (A ₁, ...,A _n ) → f(A ₁, ..., A _n ) on the set of all commutative n-tuples of Hermitian operators on a Hilbert space is Lipschitz with respect to the norm of each Schatten ideal S ^p , p ∈ (1,∞). This result is applied to the functional calculus of normal operators and contractions. It is shown that Lipschitz functions of one variable preserve domains of closed derivations with values in S ^p . It is also proved that the map f _op is Fréchet differentiable in the norm of S ^p if f is continuously differentiable.     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

The Ξ operator and its relation to Krein's spectral shift function

We explore connections between Krein's spectral shift function ζ(λ,H ₀, H) associated with the pair of self-adjoint operators (H ₀, H),H=H ₀+V, in a Hilbert spaceH and the recently introduced concept of a spectral shift operator Ξ(J+K ^*(H ₀−λ−i0)⁻¹ K) associated with the operator-valued Herglotz functionJ+K ^*(H ₀−z)⁻¹ K, Im(z)>0 inH, whereV=KJK ^* andJ=sgn(V). Our principal results include a new representation for ζ(λ,H ₀,H) in terms of an averaged index for the Fredholm pair of self-adjoint spectral projections (E J+A(λ)+tB(λ)(−∞, 0)),E _J((−∞, 0))), ℝ, whereA(λ)=Re(K ^*(H ₀−λ−i0⁻¹ K),B(λ)=Im(K ^*(H ₀−λ-i0)⁻¹ K) a.e. Moreover, introducing the new concept of a trindex for a pair of operators (A, P) inH, whereA is bounded andP is an orthogonal projection, we prove that ζ(λ,H ₀, H) coincides with the trindex associated with the pair (Ξ(J+K ^*(H ₀−λ−i0)K), Ξ(J)). In addition, we discuss a variant of the Birman-Krein formula relating the trindex of a pair of Ξ operators and the Fredholm determinant of the abstract scattering matrix. We also provide a generalization of the classical Birman—Schwinger principle, replacing the traditional eigenvalue counting functions by appropriate spectral shift functions.     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

On the order of growth of solutions of algebraic differential equations

Assume thatf is an integer transcendental solution of the differential equationP _n (z, f, f′)=P _n−1(z, f, f′, ... f ^(p)), whereP _n andP _n−1 are polynomials in all variables, the degree ofP _n with respect tof andf′ is equal ton, and the degree ofP _n−1 with respect tof, f′, ... f ^(p) is at mostn−1. We prove that the order ρ of growth off satisfies the relation 1/2≤ρ<∞. We also prove that if ρ=1/2, then, for a certain real ν, in the domain {z: ν<argz<ν+2π}/E _*, whereE _* is a certain set of disks with finite sum of radii, the estimate lnf(z)=z ^1/2 (β+o(1)), β∈C, holds forz=re ^iϕ,r≥r(ϕ)≥0. Furthermore, on the ray {z: argz=ν}, the following relation is true: ln‖f(re ^iν)‖=o(r ^1/2),r→+∞,r>0, , where Δ is a certain set on the semiaxisr>0 with mes Δ<∞. “L'vivs'ka Politekhnika” University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 1, pp. 69–77, January, 1999.     

<Emphasis Type="Italic">Φ</Emphasis>-Variation of a bifractional Brownian motion

Let B _H,K = {B _H,K (t)} _t⩾0 be a bifractional Brownian motion with parameters H ∈ (0, 1) and K ∈ (0, 1]. For a function Φ: [0, ∞) → [0, ∞) and for a partition κ = {t _i }_n ⁱ⁼⁰ of an interval [0, T] with T > 0, let {ie418-01}. We prove that, for a suitable Φ depending on H and K, {ie418-02} almost surely. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-16/08     

Spherical means and CR functions on the Heisenberg group

The injectivity of the spherical mean value operator on the Heisenberg group is studied. Whenf ∈L ^P (Hⁿ), 1 ≤p < ∞ it is proved that the spherical mean value operator is injective. When 1 ≤p ≤ 2,f(z, ·) ∈L ^P (ℝ) the same is proved under much weaker conditions in the z-variable. Some extensions of recent results of Agranovskyet al. regardingCR functions on the Heisenberg group are also obtained.     

Saturation classes for a sequence of convolution operators with limited oscillation

Saturation classes for the sequenceK _n (f, x) = ∫f(x −t)dμ _n (t) of linear operators whereK _n(f, x) is of the limited oscillation type, that is,μ _n (t) is monotonic fort ≠ [−Aσ _n ,Aσ _n ],σ _n =o(1),n → ∞ and ∫t ^2m dμ _n (t), are obtained. Examples of applications to some sequences of non-positive operators are given.     

On a nontraditional method of approximation

We study the approximation of functions f(z) that are analytic in a neighborhood of zero by finite sums of the form H _n (z) = H _n (h, f, {λ _k }; z) = Σ _k=1 ⁿ λ _k h(λ _k z), where h is a fixed function that is analytic in the unit disk |z| < 1 and the numbers λ _k (which depend on h, f, and n) are calculated by a certain algorithm. An exact value of the radius of the convergence H _n (z) → f(z), n → ∞, and an order-sharp estimate for the rate of this convergence are obtained; an application to numerical analysis is given.     

On extremal quasiconformal extensions of conformal mappings

Letf(t, z)=z+tω(1/z) be schlicht for ⋎z⋎>1, ω(z) = Σ _n ^{= 0/∞} a _n z ⁿ ,t>0. The paper considers first-order estimates for the dilatation of extremal quasiconformal extensions off ast→0. This work was initiated during the Special Year in Complex Analysis at the Technion, and was supported in parts by the Samuel Neaman Fund, the Forschungsinstitut für Mathematik, ETH, Zürich, and the National Science Foundation.     

Direct and converse results for operators of Baskakov-Durrmeyer type

We consder the n-th so-called operators of Baskakov-Durrmeyer type, which result from the classical Baskakov-type operators with weights p_nk, if the discrete values f(k/n) are replaced by the integral terms (n-c∫ ₀ ^∞ p _n k(t)f(t)dt. The main differences between these operators and their classical and Kantorovicvariants respectively is that they commute. We prove direct and converse theorems also for linear combinations of the operators and results of Zamansky-Sunouchi type. As an important tool for measuring the smootheness of a function we use the Ditzian-Totik modulus of smoothness and its equivalence to appropriate K-functionals. This paper is part of the author's dissertation.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

Multi-parameter singular radon transforms I: The <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> theory

The purpose of this paper is to study the L ² boundedness of operators of the form f ↦ ψ(x) ∫ f (γ _t (x))K(t)dt, where γ _t (x) is a C ^∞ function defined on a neighborhood of the origin in (t, x) ∈ ℝ ^N × ℝ ⁿ , satisfying γ ₀(x) ≡ x, ψ is a C ^∞ cut-off function supported on a small neighborhood of 0 ∈ ℝ ⁿ , and K is a “multi-parameter singular kernel” supported on a small neighborhood of 0 ∈ ℝ ^N . The goal is, given an appropriate class of kernels K, to give conditions on γ such that every operator of the above form is bounded on L ². The case when K is a Calderón-Zygmund kernel was studied by Christ, Nagel, Stein, and Wainger; we generalize their conditions to the case when K has a “multi-parameter” structure. For example, when K is given by a “product kernel.” Even when K is a Calderón- Zygmund kernel, our methods yield some new results. This is the first paper in a three part series, the later two of which are joint with E. M. Stein. The second paper deals with the related question of L ^p boundedness, while the third paper deals with the special case when γ is real analytic.     

A question of Gol’dberg concerning entire functions with prescribed zeros

Let (z_j) be a sequence of complex numbers satisfying |z_j|→ ∞ asj → ∞ and denote by n(r) the number of z_j satisfying |z_j|≤ r. Suppose that lim inf_{r → ⇈} log n(r)/ logr > 0. Let ϕ be a positive, non-decreasing function satisfying ∫^∞ (ϕ(t)t logt)⁻¹ dt < ∞. It is proved that there exists an entire functionf whose zeros are the z_j such that log log M(r,f) = o((log n(r))²ϕ(log n(r))) asr → ∞ outside some exceptional set of finite logarithmic measure, and that the integral condition on ϕ is best possible here. These results answer a question by A. A. Gol’dberg.     

Positivity and conditional positivity of Loewner matrices

We give elementary proofs of the fact that the Loewner matrices [\fracf(p_i) - f (p_j)p_i-p_j]{[\frac{f(p_i) - f (p_j)}{p_i-p_j}]} corresponding to the function f(t) = t ^r on (0, ∞) are positive semidefinite, conditionally negative definite, and conditionally positive definite, for r in [0, 1], [1, 2], and [2, 3], respectively. We show that in contrast to the interval (0, ∞) the Loewner matrices corresponding to an operator convex function on (−1, 1) need not be conditionally negative definite.     

Extensions of Meyers-Ziemer results

Letp∈(1, +∞) ands ∈ (0, +∞) be two real numbers, and letH _p ^s (ℝ ⁿ ) denote the Sobolev space defined with Bessel potentials. We give a classA of operators, such thatB _s,p -almost all points ℝ ⁿ are Lebesgue points ofT(f), for allf ∈H _p ^s (ℝ ⁿ ) and allT ∈A (B _s,p denotes the Bessel capacity); this extends the result of Bagby and Ziemer (cf. [2], [15]) and Bojarski-Hajlasz [4], valid wheneverT is the identity operator. Furthermore, we describe an interesting special subclassC ofA (C contains the Hardy-Littlewood maximal operator, Littlewood-Paley square functions and the absolute value operatorT: f→|f|) such that, for everyf ∈H _p ^s (ℝ ⁿ ) and everyT ∈C, T(f) is quasiuniformly continuous in ℝ ⁿ ; this yields an improvement of the Meyers result [10] which asserts that everyf ∈H _p ^s (ℝ ⁿ ) is quasicontinuous. However,T (f) does not belong, in general, toH _p ^s (ℝ ⁿ ) wheneverT ∈C ands≥1+1/p (cf. Bourdaud-Kateb [5] or Korry [7]).     

Lp-decay rates to nonlinear diffusion waves for p-system with nonlinear damping

In this paper, we study the L ^p (2 ⩽ p ⩽ +∞) convergence rates of the solutions to the Cauchy problem of the so-called p-system with nonlinear damping. Precisely, we show that the corresponding Cauchy problem admits a unique global solution (v(x,t), u(x,t)) and such a solution tends time-asymptotically to the corresponding nonlinear diffusion wave (ῡ(x,t), ū(x,t)) governed by the classical Darcys’s law provided that the corresponding prescribed initial error function (w ₀(x), z ₀(x)) lies in (H ³ × H ²) (ℝ) and |v ₊ − v ₋| + ∥w ₀∥₃ + ∥z ₀∥₂ is sufficiently small. Furthermore, the L ^p (2 ⩽ p ⩽ +∞) convergence rates of the solutions are also obtained.     

The riesz turndown collar theorem giving an asymptotic estimate of the powers of an operator under the ritt condition

For Banach space operatorsT satisfying the Tadmor-Ritt condition ‖(zI−T)⁻¹‖≤C|z−1|⁻¹, |z|>1, we show how to use the Riesz turndown collar theorem to estimate sup _n≥0‖T ⁿ‖. A similar estimate is shown for lim sup _n ‖T ⁿ‖ in terms of the Ritt constantM=lim sup _z→1‖(1−z)(zI−T)⁻¹‖. We also obtain an estimate of the functional calculus for these operators proving, in particular, that ‖f(T)‖≤C _q‖f‖ _Mult , where ‖·‖ _Mult stands for the multiplier norm of the Cauchy-Stieltjes integrals over a Lusin type cone domain depending onC and a parameterq, 0<q<1. Notation.D denotes the open unit disc of the complex plane,D={z∈ℂ:|z|<1}, andT={z∈ℂ:|z|=1} is the unit circle.H ^∞ is the Banach algebra of bounded analytic functions onD equipped with the supremum norm ‖.‖_∞.     

On antipodal Euclidean tight (2e + 1)-designs

Neumaier and Seidel (1988) generalized the concept of spherical designs and defined Euclidean designs in ℝ ⁿ . For an integer t, a finite subset X of ℝ ⁿ given together with a weight function w is a Euclidean t-design if holds for any polynomial f(x) of deg(f)≤ t, where {S _i , 1≤ i ≤ p} is the set of all the concentric spheres centered at the origin that intersect with X, X _i = X∩ S _i , and w:X→ ℝ_{> 0}. (The case of X⊂ S ⁿ⁻¹ with w≡ 1 on X corresponds to a spherical t-design.) In this paper we study antipodal Euclidean (2e+1)-designs. We give some new examples of antipodal Euclidean tight 5-designs. We also give the classification of all antipodal Euclidean tight 3-designs, the classification of antipodal Euclidean tight 5-designs supported by 2 concentric spheres.     

Near-interpolation

Summary.  A parametric curve fL ₂ ^(m) ([a,b]ℝ ^d ) is a ``near-interpolant' to prescribed data z <sub>ij</sub> ℝ <sup>d</sup> at data sites t <sub>i</sub> [a,b] within tolerances 0<ɛ <sub>ij</sub> ≤∞ if |f <sup>(j−1)</sup> (t <sub>i</sub> )−z <sub>ij</sub> |≤ɛ <sub>ij</sub> for i=1:n and j=1:m, and a ``best near-interpolant' if it also minimizes ∫ _a ^b |f ^(m) |². In this paper optimality conditions are derived for these best near-interpolants. Based on these conditions it is shown that the near-interpolants are actually smoothing splines with weights that appear as Lagrange multipliers corresponding to the constraints. The optimality conditions are applied to the computation of near-interpolants in the last sections of the paper. Received September 4, 2001 / Revised version received July 22, 2002 / Published online October 29, 2002 Mathematics Subject Classification (1991): 41A05, 41A15, 41A29