Toeplitz operators on the Fock space: Radial component effects

The paper is devoted to the study of specific properties of Toeplitz operators with (unbounded, in general) radial symbolsa=a(r). Boundedness and compactness conditions, as well as examples, are given. It turns out that there exist non-zero symbols which generate zero Toeplitz operators. We characterize such symbols, as well as the class of symbols for whichT _a =0 impliesa(r)=0 a.e. For each compact setM there exists a Toeplitz operatorT _a such that spT _a =ess-spT _a =M. We show that the set of symbols which generate bounded Toeplitz operators no longer forms an algebra under pointwise multiplication.Besides the algebra of Toeplitz operators we consider the algebra of Weyl pseudodifferential operators obtained from Toeplitz ones by means of the Bargmann transform. Rewriting our Toeplitz and Weyl pseudodifferential operators in terms of the Wick symbols we come to their spectral decompositions.This work was partially supported by CONACYT Project 27934-E, México.The first author acknowledges the RFFI Grant 98-01-01023, Russia.     

Spherical derivatives and normal families

We show that a family of functions meromorphic in a plane domain D whose spherical derivatives are uniformly bounded away from zero is normal. Furthermore, we show that for each f meromorphic in the unit disk D, inf _z∈D f ^#(z) ≤ 1/2, where f ^# denotes the spherical derivative of f.     

New Findings on the Bank–Sauer Approach in Oscillation Theory

In 1988, S. Bank showed that if {z _n } is a sparse sequence in the complex plane, with convergence exponent zero, then there exists a transcendental entire A(z) of order zero such that f″+A(z)f=0 possesses a solution having {z _n } as its zeros. Further, Bank constructed an example of a zero sequence {z _n } violating the sparseness condition, in which case the corresponding coefficient A(z) is of infinite order. In 1997, A. Sauer introduced a condition for the density of the points in the zero sequence {z _n } of finite convergence exponent such that the corresponding coefficient A(z) is of finite order.     

Initial-boundary value problems for incomplete singular perturbations of hyperbolic systems

The general problem studied has as a prototype the full non-linear Navier-Stokes equations for a slightly viscous compressible fluid including the heat transfer. The boundaries are of inflow-outflow type, i.e. non-characteristic, and the boundary conditions are the most general ones with any order of derivatives. It is assumed that the uniform Lopatinsky condition is satisfied. The goal is to prove uniform existence and boundedness of solution as the viscosity tends to zero and to justify the boundary layer asymptotics. The paper consists of two parts. In Part I the linear problem is studied. Here, uniform lower and higher order tangential estimates are derived and the existence of a solution is proved. The higher order estimates depend on the smoothness of coefficients; however this smoothness does not exceed the smoothness of the solution. In Part II the quasilinear problem is studied. It is assumed that for zero viscosity the overall initial-boundary value problem has a smooth solutionu ₀ in a time interval 0≦t≦T ₀. As a result the boundary laye, is weak and is uniformlyC ¹ bounded. This makes the linear theory applicable. an iteration scheme is set and proved to converge to the viscous solution. The convergence takes place for small viscosity and over the original time interval 0≦t≦T ₀.     

Hyperbolically Convex Functions,Dimension and Capacity

We study a conformal map ? of the unit disk D onto a hyperbolically convex set in D, in particular the behaviour of ? on the preimage T _? = {z ? ?D:|?(z)| = 1} of ?D. The main problem is how much the Hausdorff dimension can increase for sets on T _?. The case that ?(D) is bounded by full circles is treated in more detail. In this case ? can be written as a composition sequence of mappings onto halfplanes.     

Convex Optimal Designs for Compound Polynomial Extrapolation

The extrapolation design problem for polynomial regression model on the design space [–1,1] is considered when the degree of the underlying polynomial model is with uncertainty. We investigate compound optimal extrapolation designs with two specific polynomial models, that is those with degrees |m, 2m}. We prove that to extrapolate at a point z, |z| > 1, the optimal convex combination of the two optimal extrapolation designs | _m ^* (z), _2m ^* (z)} for each model separately is a compound optimal extrapolation design to extrapolate at z. The results are applied to find the compound optimal discriminating designs for the two polynomial models with degree |m, 2m}, i.e., discriminating models by estimating the highest coefficient in each model. Finally, the relations between the compound optimal extrapolation design problem and certain nonlinear extremal problems for polynomials are worked out. It is shown that the solution of the compound optimal extrapolation design problem can be obtained by maximizing a (weighted) sum of two squared polynomials with degree m and 2m evaluated at the point z, |z| > 1, subject to the restriction that the sup-norm of the sum of squared polynomials is bounded.     

A Universality Property of Gaussian Analytic Functions

We consider random analytic functions defined on the unit disk of the complex plane f(z) = ?_n=0^￥ a_n X_n zⁿf(z) = \sum_{n=0}^{\infty} a_{n} X_{n} z^{n}, where the X _n ’s are i.i.d., complex-valued random variables with mean zero and unit variance. The coefficients a _n are chosen so that f(z) is defined on a domain of ℂ carrying a planar or hyperbolic geometry, and Ef(z)[`(f(w))]\mathbf{E}f(z)\overline{f(w)} is covariant with respect to the isometry group. The corresponding Gaussian analytic functions have been much studied, and their zero sets have been considered in detail in a monograph by Hough, Krishnapur, Peres, and Virág. We show that for non-Gaussian coefficients, the zero set converges in distribution to that of the Gaussian analytic functions as one transports isometrically to the boundary of the domain. The proof is elementary and general.     

Toeplitz Operators on Generalized Bergman Spaces

We consider the weighted Bergman spaces HL²(\mathbb B^d, m_l){\mathcal {H}L^{2}(\mathbb {B}^{d}, \mu_{\lambda})}, where we set dm_l(z) = c_l(1-|z|²)^l dt(z){d\mu_{\lambda}(z) = c_{\lambda}(1-|z|^2)^{\lambda} d\tau(z)}, with τ being the hyperbolic volume measure. These spaces are nonzero if and only if λ > d. For 0 < λ ≤ d, spaces with the same formula for the reproducing kernel can be defined using a Sobolev-type norm. We define Toeplitz operators on these generalized Bergman spaces and investigate their properties. Specifically, we describe classes of symbols for which the corresponding Toeplitz operators can be defined as bounded operators or as a Hilbert–Schmidt operators on the generalized Bergman spaces.     

The eigenvalue distribution of products of Toeplitz matrices - Clustering and attraction

We use a recent result concerning the eigenvalues of a generic (non-Hermitian) complex perturbation of a bounded Hermitian sequence of matrices to prove that the asymptotic spectrum of the product of Toeplitz sequences, whose symbols have a real-valued essentially bounded product h, is described by the function h in the “Szegö way”. Then, using Mergelyan’s theorem, we extend the result to the more general case where h belongs to the Tilli class. The same technique gives us the analogous result for sequences belonging to the algebra generated by Toeplitz sequences, if the symbols associated with the sequences are bounded and the global symbol h belongs to the Tilli class. A generalization to the case of multilevel matrix-valued symbols and a study of the case of Laurent polynomials not necessarily belonging to the Tilli class are also given.     

A domain decomposition method for conformal mapping onto a rectangle

Letg be the function which maps conformally a rectangleR onto a simply connected domainG so that the four vertices ofR are mapped respectively onto four specified pointsz ₁,z ₂,z ₃,z ₄ onG. This paper is concerned with the study of a domain decomposition method for computing approximations tog and to an associated domain functional in cases where: (i)G is bounded by two parallel straight lines and two Jordan arcs. (ii) The four pointsz ₁,z ₂,z ₃,Z ₄, are the corners where the two straight lines meet the two arcs.Communicated by Dieter Gaier.     

Compactly supported tight and sibling frames with maximum vanishing moments

The notion of vanishing-moment recovery (VMR) functions is introduced in this paper for the construction of compactly supported tight frames with two generators having the maximum order of vanishing moments as determined by the given refinable function, such as the mth order cardinal B-spline N_m. Tight frames are also extended to “sibling frames” to allow additional properties, such as symmetry (or antisymmetry), minimum support, “shift-invariance,” and inter-orthogonality. For N_m, it turns out that symmetry can be achieved for even m and antisymmetry for odd m, that minimum support and shift-invariance can be attained by considering the frame generators with two-scale symbols 2^−m(1−z)^m and 2^−mz(1−z)^m, and that inter-orthogonality is always achievable, but sometimes at the sacrifice of symmetry. The results in this paper are valid for all compactly supported refinable functions that are reasonably smooth, such as piecewise Lipα for some α>0, as long as the corresponding two-scale Laurent polynomial symbols vanish at z=−1. Furthermore, the methods developed here can be extended to the more general setting, such as arbitrary integer scaling factors, multi-wavelets, and certainly biframes (i.e., allowing the dual frames to be associated with a different refinable function).     

Best approximation over the whole complex plane

Best rational approximation over the whole complex plane is investigated. While existence is elementary, there is not always uniqueness—every constant may be the best constant approximation to f(z) = z. However, under certain circumstances, the set of best approximations is, in a sense, bounded. When f has singularities of planar Lebesgue measure zero, the error corresponding to best approximation converges to zero, and the best approximations converge in measure.     

Identification of a source factor in a control problem for the heat equation with a boundary memory term

We consider a material with thermal memory occupying a bounded region Ω with boundary Γ. The evolution of the temperature u(t,x) is described by an integrodifferential parabolic equation containing a heat source of the form f(t)z₀(x). We formulate an initial and boundary value control problem based on a feedback device located on Γ and prescribed by means of a quite general memory operator. Assuming both u and the source factor f are unknown, we study the corresponding inverse and control problem on account of an additional information. We prove a result of existence and uniqueness of the solution (u,f). Copyright © 2015 John Wiley & Sons, Ltd.     

Quadratic forms on symmetry classes of tensors

Let V:₁,…,V_m be inner product spaces, and let L be a linear transformation on V₁ ?…?V_m which satisfies (Lz,z)=0 for every decomposable tensor z. It is known that if the field is the complex numbers, then (Lz,z)=0 for every z. This paper contains a short proof of this result, an extension of it to arbitrary symmetry classes of tensors, and an analysis of its failure when the field is the real numbers.     

Bergman-Toeplitz operators: Radial component influence

We analyze the influence of the radial component of a symbol to spectral, compactness, and Fredholm properties of Toeplitz operators, acting on the Bergman space. We show that there existcompact Toeplitz operators whose (radial) symbols areunbounded near the unit circle . Studying this question we give several sufficient, and necessary conditions, as well as the corresponding examples. The essential spectra of Toeplitz operators with pure radial symbols have sufficiently rich structure, and even can be massive.TheC ^*-algebras generated by Toeplitz operators with radial symbols are commutative, but the semicommutators[T _a, T_b)=T_a·T_b–T_a·b are not compact in general. Moreover for bounded operatorsT _a andT _b the operatorT _a·b may not be bounded at all.This work was partially supported by CONACYT Project 27934-E, México.The first author acknowledges the RFFI Grant 98-01-01023, Russia.     

Some remarks on critical point theory for nondifferentiable functionals

In this paper we study the existence of critical points of nondifferentiable functionals J of the kind with A (x,z) a Carathéodory function bounded between positive constant and with bounded derivative respect to the variable z, and F (x,z) is the primitive of a (Carathéodory) nonlinearity f (x,z) satisfying suitable hipotheses. Since J is just differentible along bounded directions, a suitable compactness condition is introduced. Its connection with coercivity is discussed. In addition, the case of concave-convex nonlinearities f (x,z), unbounded coefficients A (x,z) and related problems are also studied. Received December 19, 1997     

Explicit Series Formulae for the Evaluation of Integrals by the Method of Steepest Descents

Explicit series formulae are given for use in the method of steepest descents, where it is required to find the contribution to an integral of the form ∫e^vw(z)φ(z)dz from a well-isolated saddle point z₀. Here v is a large positive parameter, and w^(N)(z0) ≠ 0 while lower-order derivatives at z₀ are equal to zero. Examples where the formulae are helpful are presented.     

Numerical Solutions to the Darboux Problem with Functional Dependence

The paper deals with the Darboux problem for the equation D _{xy z} (x,y) = f(x,y,z( _x,y ) where z( _x,y ) is a function defined by . We construct a general class of difference methods for this problem. We prove the existence and uniqueness of solutions to implicit functional difference equations by means of a comparison method; moreover we give an error estimate. The convergence of explicit difference schemes is proved under a general assumption that given functions satisfy nonlinear estimates of the Perron type. Our results are illustrated by a numerical example.     

Generalized Hankel operators on the Fock space

In this paper we study generalized Hankel operators ofthe form : ?²(|z |²) → L²(|z |²). Here, (f):= (Id–P_l )( ^kf) and Pl is the projection onto A_l ²(?, |z |²):= cl(span{ ^m zⁿ | m, n ∈ N, m ≤ l }). The investigations in this article extend the ones in [11] and [6], where the special cases l = 0 and l = 1 are considered, respectively. The main result is that the operators are not bounded for l < k – 1. The proof relies on a combinatoric argument and a generalization to general conjugate holomorphic L² symbols, generalizing arguments from [6], seems possible and is planned for future work (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Compact Operators on Bergman Spaces

We prove that a bounded operator S on L _a ^p for p > 1 is compact if and only if the Berezin transform of S vanishes on the boundary of the unit disk if S satisfies some integrable conditions. Some estimates about the norm and essential norm of Toeplitz operators with symbols in BT are obtained.