Krasnosel'skii numbers for bounded finitely starlike sets inR d

For eachk andd, 1kd, definef(d, d)=d+1 andf(d, k)=2d if 1kd–1. The following results are established:Let be a uniformly bounded collection of compact, convex sets inR ^d . For a fixedk, 1kd, dim {MM in }k if and only if for some > 0, everyf(d, k) members of contain a commonk-dimensional set of measure (volume) at least.LetS be a bounded subset ofR ^d . Assume that for some fixedk, 1kd, there exists a countable family of (k–l)-flats {H _i :i1} inR ^d such that clS S {H_i i 1 } and for eachi1, (clS S) H _i has (k–1) dimensional measure zero. Every finite subset ofS sees viaS a set of positivek-dimensional measure if and only if for some>0, everyf(d,k) points ofS see viaS a set ofk-dimensional measure at least .The numbers off(d,d) andf(d, 1) above are best possible.Supported in part by NSF grant DMS-8705336.     

On the equivalence of some rearrangements of the two-parameter Haar system

h ₁, L _p .

---

---

This research was supported in part by MTA-NSF grants INT-8400708 and 8620153.     

On a Modification of the Jacobi Linear Functional: Asymptotic Properties and Zeros of the Corresponding Orthogonal Polynomials

The paper deals with orthogonal polynomials in the case where the orthogonality condition is related to semiclassical functionals. The polynomials that we discuss are a generalization of Jacobi polynomials and Jacobi-type polynomials. More precisely, we study some algebraic properties as well as the asymptotic behaviour of polynomials orthogonal with respect to the linear functional U U=J _,+A ₁(x–1)+B ₁(x+1)–A ₂(x–1)–B ₂(x+1), where J _, is the Jacobi linear functional, i.e. J _,,p›=_–1 ¹ p(x)(1–x)(1+x)dx,,>–1, pP, and P is the linear space of polynomials with complex coefficients. The asymptotic properties are analyzed in (–1,1) (inner asymptotics) and C[–1,1] (outer asymptotics) with respect to the behaviour of Jacobi polynomials. In a second step, we use the above results in order to obtain the location of zeros of such orthogonal polynomials. Notice that the linear functional U is a generalization of one studied by T. H. Koornwinder when A ₂=B ₂=0. From the point of view of rational approximation, the corresponding Markov function is a perturbation of the Jacobi–Markov function by a rational function with two double poles at ±1. The denominators of the [n–1/n] Padé approximants are our orthogonal polynomials.     

On the quotient ring by diagonal invariants

For a finite Coxeter group, W, and its reflection representation , we find the character and Hilbert series for a quotient ring of [^*] by an ideal containing the W–invariant polynomials without constant term. This confirms conjectures of Haiman.     

On the existence of a cyclic vector for some families of operators

Under certain restrictions, it is proved that a family of self-adjoint commuting operatorsA=(A ) _where is a nuclear space, possesses a cyclic vector iff there exists a Hubert spaceH of full operator-valued measureE, where is the space dual to andE is the joint resolution of the identity of the familyA.Published in Ukrainskii Matematicheskii Zhurnal, Vol.45, No. 10, pp. 1362–1370, October, 1993.     

0-1-sequences of Toeplitz type

Summary 0-1-sequences are constructed by successive insertion of a periodic sequence of symbols 0, 1 and hole into the holes of the sequence already constructed. Assuming that finally all holes are filled with symbols 0, 1, an almost periodic point in shift space results. Under certain conditions, it is even strictly ergodic. It is proved that the attached invariant measure has pure point spectrum, and a rather explicit expression for eigenvectors is obtained.     

Generalized concentration dependence of the viscosity of concentrated polymer solutions

The construction of a generalized concentration dependence of the viscosity of concentrated solutions is analyzed. It is shown that there should be a single dependence for different polymers in different solvents of the form: (/_o)^1–2k=1+(1–2k)c[], where k is the Huggins-Martin constant, and [] is the intrinsic viscosity. Deviations from this relation may be observed in the presence of structure formation in the solution or when the experimental temperature is close to the glass-transition temperature of the system."Plastpolimer" Okhtinsk Research-Production Association, Leningrad. Translated from Mekhanika Polimerov, No. 1, pp. 172–175, January–February, 1976.     

Weyl's theorem for operator matrices

Weyl's theorem holds for an operator when the complement in the spectrum of the Weyl spectrum coincides with the isolated points of the spectrum which are eigenvalues of finite multiplicity. By comparison Browder's theorem holds for an operator when the complement in the spectrum of the Weyl spectrum coincides with Riesz points. Weyl's theorem and Browder's theorem are liable to fail for 2×2 operator matrices. In this paper we explore how Weyl's theorem and Browder's theorem survive for 2×2 operator matrices on the Hilbert space.Supported in part by BSRI-97-1420 and KOSEF 94-0701-02-01-3.     

A Tauberian Theorem for Ergodic Averages,Spectral Decomposability,and the Dominated Ergodic Estimate for Positive Invertible Operators

Suppose that (,) is a -finite measure space, and 1 < p < . Let T:L^p( L ^p() be a bounded invertible linear operator such that T and T ^–1 are positive. Denote by _n(T) the nth two-sided ergodic average of T, taken in the form of the nth (C,1) mean of the sequence {T^j+T^–j}_{j =1} . Martín-Reyes and de la Torre have shown that the existence of a maximal ergodic estimate for T is characterized by either of the following two conditions: (a) the strong convergence of E_n(T)_n=1 ; (b) a uniform A _p p estimate in terms of discrete weights generated by the pointwise action on of certain measurable functions canonically associated with T. We show that strong convergence of the (C,2) means of {T^j+T^–j}_j=1 already implies (b). For this purpose the (C,2) means are used to set up an `averaged' variant of the requisite uniform A _p weight estimates in (b). This result, which can be viewed as a Tauberian-Type replacement of (C,1) means by (C,2) means in (a), leads to a spectral-theoretic characterization of the maximal ergodic estimate by application of a recent result of the authors establishing the strong convergence of the (C,2)-weighted ergodic means for all trigonometrically well-bounded operators. This application also serves to equate uniform boundedness of the rotated Hilbert averages of T with the uniform boundedness of the ergodic averages E_n(T)_{n = 1} .     

Mean-field critical behaviour for correlation length for percolation in high dimensions

Summary Extending the method of [27], we prove that the corrlation length of independent bond percolation models exhibits mean-field type critical behaviour (i.e. (p(p _c –p)^–1/2 aspp _c ) in two situations: i) for nearest-neighbour independent bond percolation models on ad-dimensional hypercubic lattice ^d , withd sufficiently large, and ii) for a class of spread-out independent bond percolation models, which are believed to belong to the same universality class as the nearest-neighbour model, in more than six dimensions. The proof is based on, and extends, a method developed in [27], where it was used to prove the triangle condition and hence mean-field behaviour of the critical exponents , , , and ₂ for the above two cases.     

Semimodular lattices with isomorphic graphs

Two discrete modular lattice and have isomorphic graphs if and only if is of the form A × and is of the form A × for some lattices A and and . We prove that for discrete semimodular lattices and this latter condition holds if and only if and have isomorphic graphs and the isomorphism preserves the order on all cover-preserving sublattices of which are isomorphic to the seven-element, semimodular, nonmodular lattice (see Figure 1). This answers in the affirmative a question posed by J. Jakubik.     

Numerical stability of the Chebyshev method for the solution of large linear systems

Summary This paper contains the rounding error analysis for the Chebyshev method for the solution of large linear systemsAx+g=0 whereA=A ^* is positive definite. We prove that the Chebyshev method in floating point arithmetic is numerically stable, which means that the computed sequence {x _k} approximates the solution such that x _k – is of order AA ^–1 where is the relative computer precision.We also point out that in general the Chebyshev method is not well-behaved, which means that the computed residualsr _k=Ax _k+g are of order A²A ^–1.This work was supported in part by the Office of Naval Research under Contract N0014-67-0314-0010, NR 044-422 and by the National Science Foundation under Grant GJ32111     

A Uniqueness Result for an Overdetermined Problem in Non-Linear Parabolic Potential Theory

In this paper we study the question of uniqueness for an inverse problem, arising in the (thermal) linear and/or non-linear potential theory. The overdetermined problem we shall study is represented by(div(|u| ^p–2u)–D _t u–+)u=0where supp()R ⁿ ×(0,), 1<p<, L and {t=} is bounded for >0.The problem has applications in shape-recognition in underground water/oil recovery, subject to shape-change during time intervals. The particular case u0, D _t u0, and p=2, is an example of the well-known Stefan.     

Two characterization theorems for integral operators

Let (X,) be a separable -finite measure space. A bounded operator A on L²(X) is called an integral operator if it is induced by an equation: Af(x) = k(x,y)f(y)d(y), where k is a measurable function on X × X such that |k(x,y)f(y)|d(y) < a.e. for every f in L²(X).In this paper, some results on Carleman operators, due to von Neumann, Tarjonski and Weidmann, are extended to the case of the general integral operator.     

A certain class of functions that are univalent in an annulus

In the class F₁ of functions f(), regular and univalent in the annulus ={<||<1} and satisfying the conditions ¦f()¦ < 1 and f() 0 for , ¦f()¦=1 ¦¦=1, for f(l)=1, one finds the set of the values D(A)=f(A): f for an arbitrary fixed point A. One makes use of the method of variations and certain facts from the theory of the moduli of families of curves.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 82–92, 1985.     

On the Heyde Theorem for Finite Abelian Groups

It is well-known Heyde's characterization theorem for the Gaussian distribution on the real line: if _j are independent random variables, _j , _j are nonzero constants such that _i ± _j ^–1 _j 0 for all i j and the conditional distribution of L ₂=_{1 1} + ··· + _{n n} given L ₁=_{1 1} + ··· + _{n n} is symmetric, then all random variables _j are Gaussian. We prove some analogs of this theorem, assuming that independent random variables take on values in a finite Abelian group X and the coefficients _j , _j are automorphisms of X.     

Ein Kontinuitätssatz für k-holomorphe Mengen

Let k denote a non-trivial non-archimedean complete valuated field and X an irreducible k-affinoid space. We discuss the Hartog's domain H^*:=(X×Eⁿ) (U×Eⁿ) where øUX is an affinoid subdomain, Eⁿ is the n-dimensional unit-polydisc over k and Eⁿ is the ringdomain of all z==(z₁,...,z_n)Eⁿ with some coordinate |z_i|=1. The main result is the non-archimedean version of Rothstein's extensiontheorem for analytic subvarieties: Every k-holomorphic subvariety AH^* whose every branch has dimension (dim X + 1) can be extended to a k-holomorphic subvariety X×Eⁿ such that every branch of has dimension (dim X + l).     

Some extensions of the Hewitt-Savage zero-one law

Summary Let denote the class of infinite product probability measures = ₁× ₂× defined on an infinite product of replications of a given measurable space (X, A), and let denote the subset of for which (A) =0 or 1 for each permutation invariant event A. Previous works by Hewitt and Savage, Horn and Schach, Blum and Pathak, and Sendler (referenced in the paper) discuss very restrictive sufficient conditions under which a given member , of belongs to . In the present paper, the class is shown to possess several closure properties. E.g., if and _{0 n} for some n 1, then ₀× ₁× ₂×.... While the current results do not permit a complete characterization of they demonstrate conclusively that is a much larger subset of than previous results indicated. The interesting special case X={0,1} is discussed in detail.Research supported by the National Science Foundation under grant No. MCS75-07556     

Convergence proofs and error estimates for an iterative method for conformal mapping

Summary The iterative method as introduced in [8] and [9] for the determination of the conformal mapping of the unit disc onto a domainG is here described explicitly in terms of the operatorK, which assigns to a periodic functionu its periodic conjugate functionK u. It is shown that whenever the boundary curve ofG is parametrized by a function with Lipschitz continuous derivative then the method converges locally in the Sobolev spaceW of 2-periodic absolutely continuous functions with square integrable derivative. If is in a Hölder classC ²⁺, the order of convergence is at least 1+. If is inC ^l+1+ withl1, 0<<1, then the iteration converges inC ^l+. For analytic boundary curves the convergence takes place in a space of analytic functions.For the numerical implementation of the method the operatorK can be approximated by Wittich's method, which can be applied very effectively using fast Fourier transform. The Sobolev norm of the numerical error can be estimated in terms of the numberN of grid points. It isO(N ^1–l–) if is inC ^l+1+, andO (exp (–N/2)) if is an analytic curve. The number in the latter formula is bounded by logR, whereR is the radius of the largest circle into which can be extended analytically such that'(z)0 for |z|<R. The results of some test calculations are reported.     

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .