Semi-Classical Analysis of a Dirac Equation Without Adiabatic Decoupling

We study adiabatic decoupling for Dirac equation with some scaling which yields that the mass appears with a coefficient where is the semi-classical parameter and > 0. Therefore, the system presents an avoided crossing. The scale = 1/2 is critical: adiabatic decoupling holds for (0,1/2) while for 1/2, there is energy transfer at leading order between the two modes. We describe this transfer in terms of two-scale Wigner measures by means of Landau-Zener formula which takes into account the change of polarization of the measures after the crossing.     

Semilattices of left reversible semigroups

Let S be a cancellative semigroup which is a semilattice of left reversible semigroups S, . This article studies the relationship between the group of quotients G of S and the groups of quotients G of S, . It is shown that G is the maximum group homomorphic image of an inverse semigroup which is a semilattice of groups G (up to isomorphism).The technique used here which involves the use of Ore's quotients also applies to the study of the maximum group homomorphic image of a semigroup which is a semilattice of inverse semigroups.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Fourier series of functions whose Hankel transform is supported on [0, 1]

LetJ denote the Bessel function of order . For >–1, the system x^–/2–1/2J_+2n+1(x^1/2, n=0, 1, 2,..., is orthogonal onL ²((0, ),x dx). In this paper we study the mean convergence of Fourier series with respect to this system for functions whose Hankel transform is supported on [0, 1].Communicated by Mourad Ismail.     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

Sturmian Words and the Permutation that Orders Fractional Parts

A Sturmian word is a map W : {0,1} for which the set of {0, 1}-vectors F _n(W) {(W(i), W(i + 1),...,W(i + n – 1)) ^T : i } has cardinality exactly n + 1 for each positive integer n. Our main result is that the volume of the simplex whose n + 1 vertices are the n + 1 points in F _n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation _,n (where is any irrational and n is any positive integer) that orders the fractional parts {}, {2},...,{n}, i.e., 0 < {_,n (1)} < {_,n (2)} < ··· < {_,n (n)} < 1. We give a formula for the sign of _,n , and prove that for every irrational there are infinitely many n such that the order of _,n (as an element of the symmetric group S _n) is less than n.     

Lifting Automorphisms

Let A be a unital nuclear separable C*-algebra which satisfies the Universal Coefficient Theorem and E be a unital essential extension of the form:

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.     

Higher Degrees of Distributivity in MV-Algebras

In this paper we deal with the (, )-distributivity of an MV-algebra , where and are nonzero cardinals. It is proved that if is singular and (, 2)-distributive, then it is (, )-distributive. We show that if is complete then it can be represented as a direct product of MV-algebras which are homogeneous with respect to higher degrees of distributivity.     

On the dispersion spectrum

A measure for the denseness of sequences (an) mod 1, irrational, is the dispersion constantD() introduced byH. Niederreiter. In this paper the smallest accumulation point ₁ of the set of theD() is determined and all those are explicitely given for whichD () < ₁ holds.     

Calculi with monotone deductions and their economic interpretation

Let the possible ways of development of some system from the initial state X₀ be given by the deductive system <;X₀> (X₀ is an axiom, the algorithm defines the relation of deducibility in one step). Let Y₁,..., Y_e be all states directly derivable from X [i.e., (X)={y₁,..., Y_e]. Let be an algorithm assigning for each X transition probabilities p₁,..., p _l , where is the transition probability to the special state STOP. defines a probability measure on the set of all deductions. We define the information in the pair < ;X₀> by the forla: where px is the probability of being in X directly before STOP. We consider , assigning a fixed p for each X and satisfying the condition p₁= ...=p _l . Then the information in < ; X₀> becomes a function <;X₀> of one p. The essential characteristic of the system <;X > is given by the asymptotic behavior of <;X₀> as p 0. This characteristic corresponds well with the intuitive notion of the relative power of calculi. Now we consider <,X>(p) as a function of X. For many types of systems there is a useful strategy for maximizing this function (the strategy of increasing freedom of choice); we consider in this connection the simplest systems of economic character. Let X, Y, Z be n-dimensional vectors with nonnegative components (the components are interpreted as resources and products of a certain economic system, gives the technological possibility of transformations of the resources). Let Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 90–104, 1979.     

Iteration processes related to nonexpanding mappings

The following theorem is proved: if V is a nonexpanding mapping of a convex compactum X in a Banach space into itself, then the iteration sequence x_n+1 – x_n + (1 – )Vx_n (n = 0, 1, 2,...; 0 < < 1) converges for each initial condition x₀ to a fixed point of the mapping V and, moreover, we have the estimate

Intertwining operators and polynomials associated with the symmetric group

There is an algebra of commutative differential-difference operators which is very useful in studying analytic structures invariant under permutation of coordinates. This algebra is generated by the Dunkl operators , (i=1, ...,N, where (ij) denotes the transposition of the variablesx _i x _j andk is a fixed parameter). We introduce a family of functions {p }, indexed bym-tuples of non-negative integers = (₁, ..., _m ) formN, which allow a workable treatment of important constructions such as the intertwining operatorV. This is a linear map on polynomials, preserving the degree of homogeneity, for which ,i = 1, ...,N, normalized byV1=1 (seeDunkl, Canadian J. Math.43 (1991), 1213–1227). We show thatT _i p =0 fori>m, and

On some properties of multiple conjugate trigonometric series

We have obtained an estimate, in terms of partial and mixed moduli, of the continuity of deviation of the Cesáro (C, ) means ( = (₁,...,_n),_i , ₁ > –1, ) of the sequence of rectangular partial sums ofn-multiple (n>1) conjugate trigonometric series from then-multiple truncated conjugate function. This estimate implies the result on them -convergence (1) of (C, ) means (₁ > 0, ) provided that the essential conditions are imposed on the partial moduli of continuity. Finally, it is shown that them -convergence cannot be replaced by ordinary convergence.     

Embedded continued fractals and their Hausdorff dimension

A continued fractal is a curve which is associated to a real number[0, 1]. Properties of the continued fraction expansion of appear as geometrical properties ofQ . It is shown how number theoretic properties of affect topological and geometric properties ofQ such as existence, continuity, Hausdorff dimension, and embeddedness.Communicated by Michael F. Barnsley.     

Die Nuklearität der Ultradistributionsräume und der Satz vom Kern II

Continuing the research of part I conditions equivalent to ()- or ()-nuclearity of spaces of ultradifferential functions and their duals as well as some applications are given. To get these results it is shown that tensor products of smooth sequence spaces, power series spaces, and spaces S(M_q) introduced in part I are isomorphic to suitable sequence spaces of the same class, which are stable provided the factors are stable power series spaces. Hence it is possible to establish isomorphisms between different functions spaces, to calculate the nuclearity types of tensor products by the nuclearity types of the factors, and to prove that the class of ()- or ()-nuclear spaces is closed under forming tensor products iff is multiplicatively stable.     

The order of approximation to functions of the Zα. Class by means of positive linear operators

Let C_n (, ) be the upper bound for deviations of periodic functions which form the Zygmund class Z,0 0<<2 from a class of positive linear operators. A study is made of the conditions under which there exists a limit nC_n(, )=C(, ). An explicit expression is given for the functions C(,).Translated from Matematicheskie Zametki, Vol. 4, No. 2, pp. 201–210, August, 1968.