Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Some inequalities of the V. A. Markov type

Let B be a domain in the complex plane, let p_n(z) and P_n(z) be polynomials of degree n where the zeros of P_n(z) lie in , let(z) be a finite function,(z) 0, z . We consider the problem of estimating from above the functions L[p_n(z)]=(z)p_n(z) – wp_n(z), z , if ¦p_n(z)¦ ¦P_n(z)¦ for zB. Under some very general conditions on B, z, (z), and w we prove the inequality ¦L[p_n(z)]¦ ¦L[P_n(z)]¦.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 431–440, April, 1968.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

On Interpolation Sequences of One Class of Functions, Analytic in the Half-Plane

A new criterion of solvability of the interpolation problem f( _n )=b_n in the class of functions f, analytic in the right half-plane and such that there exists c ₁(0;+) such that |f(z)|c ₁exp((c₁|z|)) for all z , where is a positive increasing continuous differentiable function on [0;+), for which (t)+ as t+ and there exists c ₂(0;+) such that

An intersection property of the simple random walks inZ d

Let {S _d (n)} _n0 be the simple random walk inZ ^d , and ^(d)(a,b)={S _d (n)Z ^d :anb}. Supposef(n) is an integer-valued function and increases to infinity asn tends to infinity, andE _n ^(d) ={^(d)(0,n)^(d)(n+f(n),)}. In this paper, a necessary and sufficient condition to ensureP(E _n ^d) ,i.o.)=0, or 1 is derived ford=3, 4. This problem was first studied by P. Erdös and S.J. Taylor.This work is partly supported by the National Natural Sciences Foundation of China.     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Approximation by Reciprocals of Polynomials with Positive Coefficients in L p Spaces

We prove that, if f(x) L ^p _[0,1], 1 < p < , f(x) 0, x [0,1], f 0, then there is a polynomial p(x) ⁺ _n such that f - 1/p _LP C(p)(f,n ^-1/2) _LP where ⁺ _n indicates the set of all polynomials of degree n with positive coeficients (see the definition (1) in the text).     

Integrals of Borcherds Forms

In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms (f) with product expansions on bounded domains D associated to rational quadratic spaces V of signature (n2), starting from vector valued modular forms f of weight 1–n2 for SL₂(Z) which are allowed to have poles at the cusp and whose nonpositive Fourier coefficients are integers c (–m), m0. In this paper, we use the Siegel–Weil formula to give an explicit formula for the integral ((f)) of –log||(f)||² over X=\D, where || ||² is the Petersson norm. This integral is given by a sum for m0 of quantities c (–m)(m), where (m) is the limit as Im() of the mth Fourier coefficient of the second term in the Laurent expansion at s=n2 of a certain Eisenstein series E(s) of weight (n2)+1 attached to V. The possible role played by the quantity ((f)) in the Arakelov theory of the divisors Z (m) on X is explained in the last section.     

Representations of integers as sums of powers with increasing exponents

Let(n) be the least integer such thatn may be represented in the formn=x ₁ ² +x ₂ ³ +...+x _(n) ⁽ⁿ⁾⁺¹ wherex ₁,x ₂, ...,x _(n) are natural numbers. We computed(n) forn 250 000 and found that(n) 5 for all thesen exceptn=56, 160 for which(n)=6. Also(n) 4 for 41542<n<=250 000.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

The imaginary zeros of a mixed Bessel function

In the present work we study the existence and monotonicity properties of the imaginary zeros of the mixed Bessel functionM _v(z)=(z²+)J_v(z)+zJ_v(z). Such a function includes as particular cases the functionsJ _v(z)(==0), J_v(z)(=–v²,=1)x andH _v(z)=J_v(z)+zJ_v(z), whereJ _v(z) is the Bessel function of the first kind and of orderv>–1 andJ _v(z), J_v(z) are the first two derivatives ofJ _v(z). Upper and lower bounds found for the imaginary zeros of the functionsJ _v(z), J_v(z) andH _v(z) improve previously known bounds.

---

Zusammenfassung Dieser Artikel betrifft die Existenz und Monotonie von Eigenschaften imaginärer Nullen der gemischten BesselfunktionM _v(z)=(z²+)J_v(z)+zJ_v(z). Eine solche Funktion enthält als Spezialfall die FunktionenJ _v(z)(==0), J_v(z)(=–v²,=1) undH _v(z)=J_v(z)+zJ_v(z), woJ _v(z)die Besselfunktion von erster Art und Ordnungv>–1 andJ _v(z), J_v(z) sind die erste und zweite Ableitung vonJ _v(z). Untere und obere Schranken, die für die imaginären Nullen der FunktionenJ _v(z), J_v(z) undH _v(z) gefunden wurden, verbessern früher bekannte Resultate.

     

On meromorphic solutions of algebraic differential equations in angular domains

We obtain asymptotic estimates of meromorphic solutions to the differential equationP _n (z, , )=P _n–1 (z, , ,..., ^(m) ) in the angular domain P={z: arg z · }. Here P_n(z, w, w) is a polynomial in all variables, and of degree n with respect to w and w; P_n–1(z, w, w, ..., w^(m)) is a polynomial in all variables, and of degree n –1 with respect to w, w, ..., w^(m) In the particular case, when the solutions are entire functions, these estimates are more precise than the known estimates that are obtained by using the method of Wiman-Valiron, which cannot be applied to meromorphic solutions in the domain P.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 4, pp. 514–523, April, 1992.     

On the lower Markov spectrum

C. Hightower found two infinite sequences of gaps in the Markov spectrum, ( _n , _n ) and ( _n , _n ) with _n and _n both Markov elements, converging to . This paper exhibits Markov elements _n ^* and _n ^* such that, for alln 1, ( _n ^* , _n ) and ( _{n n} ^* ) are gaps in the Markov spectrum. Other results include showing that, for alln 1, _n is completely isolated, while the other endpoints of the gaps are limit points in the Markov spectrum.     

Number of no nisomorphic subgraphs in an n-point graph

LetG(n) be the set of all nonoriented graphs with n enumerated points without loops or multiple lines, and let v_k(G) be the number of mutually nonisomorphic k-point subgraphs of G G(n). It is proved that at least |G(n)| (1–1/n) graphs G G(n) possess the following properties: a) for any k [6log₂n], where c=–c log₂c–(1–c)×log₂(1–c) and c>1/2, we havev _k(G) > C _n ^k (1–1/n²); b) for any k [cn + 5 log₂n] we havev _k(G) = C _n ^k . Hence almost all graphs G G(n) containv(G) 2ⁿ pairwise nonisomorphic subgraphs.Translated from Matematicheskie Zametki, Vol. 9, No. 3, pp. 263–273, March, 1971.     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

A sharp partitioning-inequality for non-atomic probability measures based on the mass of the infimum of the measures

Summary If ₁, ... , are non-atomic probability measures on the same measurable space (S, ), then there is an -measurable partition {A _i } _{i = 1} ⁿ of S so that _i (A _i )(n – 1 + m)^–1 for all i=1, ..., n, where is the total mass of the largest measure dominated by each of the _i S; moreover, this bound is attained for all n1 and all m in [0, 1]. This result is an analog of the bound (n+1-M) ^-1of Elton et al. [5] based on the mass M of the supremum of the measures; each gives a quantative generalization of a well-known cake-cutting inequality of Urbanik [10] and of Dubins and Spanier [2].Research partly supported by NSF Grants DMS-84-01604 and DMS-86-01608     

On the convergence of orthogonal series to +∞

For any sequence of numbers _n0, _n=1 a _n ² =, a uniformly bounded orthonormal system of continuous functions _n(x) which is complete in L₂ (0, 1), and a sequence of numbers b_n(0< b_na_n) are constructed such that _n=1 ^Emphasis> b_nn(x)= everywhere on (0, 1).Translated from Matematicheskie Zametki, Vol. 11, No. 5, pp. 499–508, May, 1972.