Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

On a construction of Thomassen

Using a construction of Thomassen [Discrete Math. 9, 91–96 (1974)] we prove that for infinitely manyn there is a family _n of triangle-free maximally non-hamiltonian graphs of ordern with | _n | exponentially inn. In particular, for everym 48 we construct such a graph; an infinite number of these provide new almost extremal examples in the sense of minimal size.     

On the domain of attraction of an operator between supremum and sum

Summary Between the operations which produce partial maxima and partial sums of a sequenceY ₁,Y ₂, ..., lies the inductive operation:X _n =X _n-1(X _n-1+Y _n ),n1, for 0<<1. If theY _n are independent random variables with common distributionF, we show that the limiting behavior of normed sequences formed from {X _n ,n1}, is, for 0<<1, parallel to the extreme value case =0. ForFD() we give a full proof of the convergence, whereas forFD()D(), we only succeeded in proving tightness of the involved sequence. The processX _n is interesting for some applied probability models.     

Galerkin methods for parabolic equations with nonlinear boundary conditions

A variety of Galerkin methods are studied for the parabolic equationu _t =(a(x) u),x ⁿ ,t (O,T], subject to the nonlinear boundary conditionu _v =g(x,t,u),x,t (O,T] and the usual initial condition. Optimal order error estimates are derived both inL ² () andH ¹ () norms for all methods treated, including several that produce linear computational procedures.The authors were partially supported by The National Science Foundation during the preparation of this paper.     

Stability inL 1 of some integral operators

A class of Markov operators appearing in biomathematics is investigated. It is proved that these operators are asymptotic stable inL ¹, i.e. lim _n P ⁿ f=0 forfL ¹ and f(x) dx=0.     

Some functionals over a compact Minkovskii space

In this paper we obtain estimates which are order-exact for the projection and Macphail constants of an arbitrary n-dimensional Banach space: 1(X)n, 1/n₁(X)1/n.Translated from Matematicheskii Zametki, Vol. 10, No. 4, pp. 453–457, 1971.     

A Strong Maximum Principle for some quasilinear elliptic equations

In its simplest form the Strong Maximum Principle says that a nonnegative superharmonic continuous function in a domain ⁿ ,n 1, is in fact positive everywhere. Here we prove that the same conclusion is true for the weak solutions of – u + (u) = f with a nondecreasing function ,(0)=0, andf0 a.e. in if and only if the integral((s)s) ^–1/2 ds diverges ats=0+. We extend the result to more general equations, in particular to – _p u + (u) =f where _p (u) = div(|Du| ^p-2 Du), 1 <p < . Our main result characterizes the nonexistence of a dead core in some reaction-diffusion systems.This work was partly done while the author was visiting the University of Minnesota as a Fulbright Scholar.     

Estimates of Entire Functions of Exponential Type Less than π in Terms of Logarithmic Sums over Real Duffin and Schaeffer Sequences

We give uniform estimates of entire functions of exponential type less than having sufficiently small logarithmic sums over real sequences { _n } satisfying | _n –n|L and _n+1– _n for fixed positive constants L and . We thereby generalize results about logarithmic sums over the set of integers and so-called relatively h-dense sequences.     

Testing for Unit Roots in a Nearly Nonstationary Spatial Autoregressive Process

The limiting distribution of the normalized periodogram ordinate is used to test for unit roots in the first-order autoregressive model _st= _s-1,t+_s,t-1- _s-1,t-1+_st. Moreover, for the sequence _n = e ^c/n , _n = e ^d/n of local Pitman-type alternatives, the limiting distribution of the normalized periodogram ordinate is shown to be a linear combination of two independent chi-square random variables whose coefficients depend on c and d. This result is used to tabulate the asymptotic power of a test for various values of c and d. A comparison is made between the periodogram test and a spatial domain test.     

A note on unit and class number of real quadratic fields

Letp be an odd prime withp1 (mod 4) andQ(p) be the real quadratic field. Also let andh denote the fundamental unit and the class number of Q(p), respectively. The main purpose of this paper is to study the explicit expressions of ^h and ^2h , and to discuss the problems related to the conjecture of Ankeny-Artin-Chowla.     

Joint convergence of conditional expectations

Let P_n, nIN{0}, be probability measures on a-fieldA; f_n, nIN{0}, be a family of uniformly boundedA-measurable functions andA _n, nIN, be a sequence of sub--fields ofA, increasing or decreasing to the-fieldA _o. It is shown in this paper that the conditional expectations converge in P_o-measure to with k, n, m , if P_n|A, nIN, converges uniformly to P_n|A and f_n, nIN, converges in P_o-measure to f_o.     

On pathwise behavior of multiserver queues

In this paper, by exploiting recent results on the pathwise behavior of the workload process in single server, work conserving queues of theG/G/1/ type, we show that the workload of multiserver, work conserving queues ofG/G/m/ (m<) (andG/G/) queues satisfies an o(t) growth condition, provided that the time average of the work brought into the system is less thanm form < (and finite form=).     

On the equation of similar profiles

Summary Considerf+ ff+ (1–f²)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.

---

Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f²)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).

     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

New minimal geodesics in the group of symplectic diffeomorphisms

We compute the Hofer distance for a certain class of compactly supported symplectic diffeomorphisms of ²ⁿ. They are mainly characterized by the condition that they can be generated by a Hamiltonian flow _H ^t which possesses only constantT-periodic solutions for 0 <T 1. In addition, we show that on this class Hofer's and Viterbo's distances coincide.     

Principal part of resolvent and factorization of an increasing nonanalytic operator-function

Let a selfadjoint operator-valued functionL() be given on the interval [a,b] such thatL(a)0,L(b)0,L()0 (ab), andL() has a certain smoothness (for instance, it satisfies Hölder's condition). It turns out that the spectral theory of the operator-valued functionL() can be reduced to the spectral theory of one operatorZ, the spectrum of which lies on (a, b) and which is similar to a selfadjoint operator. In particular, the factorization takes place:L()=M()(I–Z), where the operator-valued functionM() is invertible on [a, b]. Earlier similar results were known only for analytic operator-valued functions. The authors had to use new methods for the proof of the described theorem. The key moment is the decomposition ofL ^–1() into the sume of its principal and regular parts.     

On the diameter of planar curves and Fourier coefficients

Summary LetF denote a complex valued function on , which is absolutely continuous and periodic with a period 2. Its complex Fourier coefficientsc _n satisfy the inequality 2|c _n |d,n0, whered denotes the diameter of the closed planar curve defined byF. In this paper those functionsF are considered, which give equality for a specificn.

---

Zusammenfassung Es seiF eine komplexwertige Funktion auf , die absolut stetig und periodisch ist mit einer Periode 2. Sie definiert eine geschlossene ebene Kurve. Zwischen ihrem Durchmesserd und den komplexen Fourierkoeffizientenc _n besteht die Ungleichung 2|c _n |d fürn0. Es werden jene FunktionenF betrachtet, für die in dieser Ungleichung, für ein gegebenesn, Gleichheit besteht.

---

---

Dedicated to my colleague for many years, Professor Eduard Stiefel

---

This research was supported in part by the National Research Council of Canada A-7339     

Generalized Bicyclic Semigroups and Jones Semigroups

In this paper, we consider the generalized bicyclic semigroups B_n = a, b | aⁿb = 1 and the Jones semigroups A_n = a, b | aⁿ⁺¹b = a. They are the generalizations of the bicyclic semigroup B = a, b | ab = 1 and its analogous semigroup A = a, b | a²b = a discovered by P.R., Jones in 1987. The word problem for these kinds of semigroups is solved. It is proved that, for n 2, B_n are bisimple right inverse but not inverse semigroups and that the semigroup C = a, b | a²b = a, ab² = b is the smallest idempotent-free homomorphic image of A_n. Moreover, we also prove that A_n and A_m are mutually embeddable but not isomorphic with each other if n m. As a consequence, different kind of -nontrivial [0-]simple semigroups without idempotents are discussed.AMS 1991 Subject Classification: primary 20M10 secondary 20M05.Supported by NNSF of China (19671063) and KSRF of Sichuan Education Committee ([1999]127).     

The quality of the Diophantine approximations found by the Jacobi-Perron algorithm and related algorithms

Given a vector of real numbers=(₁,... _d ) ^d , the Jacobi-Perron algorithm and related algorithms, such as Brun's algorithm and Selmer's algorithm, produce a sequence of (d+1)×(d+1) convergent matrices {C⁽ⁿ⁾():n1} whose rows provide Diophantine approximations to . Such algorithms are specified by two mapsT:[0, 1] ^d [0, 1] ^d and A:[0,1] ^d GL(d+1,), which compute convergent matrices C⁽ⁿ⁾())...A(T())A(). The quality of the Diophantine approximations these algorithms find can be measured in two ways. The best approximation exponent is the upper bound of those values of for which there is some row of the convergent matrices such that for infinitely many values ofn that row of C⁽ⁿ⁾() has . The uniform approximation exponent is the upper bound of those values of such that for all sufficiently large values ofn and all rows of C⁽ⁿ⁾⁽⁾ one has . The paper applies Oseledec's multiplicative ergodic theorem to show that for a large class of such algorithms and take constant values and on a set of Lebesgue measure one. It establishes the formula where are the two largest Lyapunov exponents attached by Oseledec's multiplicative ergodic theorem to the skew-product (T, A,d), whered is aT-invariant measure, absolutely continuous with respect to Lebesgue measure. We conjecture that holds for a large class of such algorithms. These results apply to thed-dimensional Jacobi-Perron algorithm and Selmer's algorithm. We show that; experimental evidence of Baldwin (1992) indicates (nonrigorously) that. We conjecture that holds for alld2.     

On the divergence of certain Hermite-Fejér interpolation

Summary In his paper [1]P. Turán discovers the interesting behaviour of Hermite-Fejér interpolation (based on the ebyev roots) not describing the derivative values at exceptional nodes {_n} _n=1 . Answering to his question we construct such exceptional node-sequence for which the mentioned process is bounded for bounded functions whenever –1<x<1 but does not converge for a suitable continuous function at any point of the whole interval [–1, 1].