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.     

On the value function in constrained control of Markov chains

It is known that the value function in an unconstrained Markov decision process with finitely many states and actions is a piecewise rational function in the discount factor a, and that the value function can be expressed as a Laurent series expansion about = 1 for close enough to 1. We show in this paper that this property also holds for the value function of Markov decision processes with additional constraints. More precisely, we show by a constructive proof that there are numbers O = _o <₁ <... < _m–1 < _m = 1 such that for everyj = 1, 2, ...,m – 1 either the problem is not feasible for all discount factors in the open interval (_j–1, _j) or the value function is a rational function in a in the closed interval [_j–1, _j]. As a consequence, if the constrained problem is feasible in the neighborhood of = 1, then the value function has a Laurent series expansion about = 1. Our proof technique for the constrained case provides also a new proof for the unconstrained case.     

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.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

Maximum of the fourth diameter in the family of continua with prescribed capacity

We obtain a complete solution of the problem of the maximum of the fourth diameter in the family of continua with capacity 1. Let E(o, eⁱ, e^–i). 0<i, e^–i; H(=cap E(o, eⁱ, e^–i). Let C() be the common point of three analytic arcs which form E(o, eⁱ, e^–i). One shows that the indicated maximum is realized by the continuum ={z:H(₀)z ²E(o, eⁱ, e^–i)} where ₀, o<₀z eⁱ z+C ( is a real and C is a complex constant). One finds the value of the required maximum. The paper contains a brief exposition of the proof of this result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 59, pp. 60–79, 1976.     

Parabolic subgroups of twisted Chevalley groups over a semilocal ring

It is shown that, under minor additional assumptions, the standard parabolic subgroups of a Chevalley group G (, R) of twisted type =A_l,l odd, D_l, E₆ over a commutative semilocal ring R with involution are in one-to-one correspondence with the -invariant parabolic nets of ideals of R of type , i.e., with the sets, of ideals of R such that: (l) whenever; (2) = for all ; (3) =R for > 0. For Chevalley groups of normal types, analogous results were obtained in Ref. Zh. Mat. 1976, 10A151; 1977, 10A 301; 1978, 6A476.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 21–36, 1979.     

Stationary Solutions of the Fractional Kinetic Equation with a Symmetric Power-Law Potential

The properties of stationary solutions of the one-dimensional fractional Einstein--Smoluchowski equation with a potential of the form x ^2m+2, m=1,2,..., and of the Riesz spatial fractional derivative of order , 12, are studied analytically and numerically. We show that for 1<2, the stationary distribution functions have power-law asymptotic approximations decreasing as x ^–(+2m+1) for large values of the argument. We also show that these distributions are bimodal.     

Sur la convergence presque sure,au sens de Cesaro d'ordre α, 0<α<1, de variables aléatoires indepéndantes et identiquement distribuées

Summary We prove the following theorem: «Given 0<1, the (C, )-means of a sequence of i.i.d. random variables X _n converge a.s. iff E|X _n|^1/<.» For 1/2<1 and 0<<1/2 this result is essentially known. We give here a proof of the case =1/2; an important tool is a theorem of Hsu and Robbins [5].     

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.     

A remark on fixed points of functors in topological categories

For a topological category over Set we prove that if a functor T: has a fixed cardinal (i.e. for each object K with card (UK)= we have card (UTK)), then T has a least fixed point, and if T has a successive pair of fixed cardinals and ⁺, then T has a greatest fixed point. This extends results of Adámek and Koubek.Partial financial support of the Grant Agency of the Czech Republic under Grant No. 201/93/0950 is gratefully acknowledged.     

Isoperimetric monotonicity and isoperimetric inequalities of Payne-Rayner type for the first eigenfunction of the Helmholtz problem

Summary We use the auxiliary boundary value problemV+V+1=0 to get isoperimetric integral inequalities for the first eigenfunction of the Helmholtz problem.

---

Résumé A l'aide du problème aux limitesV+V+1=0, on établit des inégalités isopérimétriques intégrales pour la première fonction propre du problème de Helmholtz.

     

On computing the number of subgroups of a finite Abelian group

We consider the numberN _A (r) of subgroups of orderp ^r ofA, whereA is a finite Abelianp-group of type =₁,₂,..., _l ()), i.e. the direct sum of cyclic groups of order ⁱⁱ. Formulas for computingN _A (r) are well known. Here we derive a recurrence relation forN _A (r), which enables us to prove a conjecture of P. E. Dyubyuk about congruences betweenN _A (r) and the Gaussian binomial coefficient .     

A method to obtain some similarity solutions to the generalized Newtonian fluid

It is shown that a similarity solution to the Rayieigh flow problem for a generalized Newtonian fluid exists if the fluid boundary (y=0) is given a velocityU(t) t ^1/2. Furthermore, if the fluid is of the power-law type then similarity solutions exist ifU(t) t (orU(t) e ^t), where is any real number.

---

Zusammenfassung Eine Methode wird aufgezeigt, wonach eine Ähnlichkeitslösung für das Rayleigh Strömungsproblem für eine allgemeine Newtonische Flüssigkeit besteht, falls der Flüssigkeitsgrenze (y=0) eine GeschwindigkeitU (t) t ^1/2 zugeordnet wird. Für Flüssigkeiten von Potenz-Gesetz-Charakter gibt es außerdem Ähnlichkeitslösungen, fallsU(t) t (orU(t) e ^t) gilt, wobei eine beliebige reelle Zahl darstellt.

     

Classes caractéristiques d''une π-algèbre et suite spectrale en K-théorie bivariante

Résumé Pour tout groupe discret et pour toute -algèbre D, la C ^*-algèbre D(E) (dont la définition exacte est donnée dans la section 4) est la version équivariante de la C ^*-algèbre C(B, D) des fonctions continues sur B, le classifiant du groupe, à valeurs dans D et qui s'annulent à l'infini. Si D désigne une autre -algèbre, nous définissons une suite spectrale en K-théorie bivariante dont les premiers termes sont donnés par les groupes H ^p (B, KK(D, D)) et qui converge (lorsque B est de dimension finie) vers KK(B; D(E), D(E)). Cette suite spectrale généralise celle de Kasparov mais est obtenue de manière différente: en étendant la définition des quasihomomorphismes aux C(X)-algèbres (X est une espace topologique localement compact), on a recours à des méthodes homotopiques telles les décompositions de Postnikov et le calcul des groupes d'homotopie des espaces d'équivalences d'homotopie. Sous certaines hypothèses, ces mÊmes constructions nous permettent de définir, pour toute -algèbre D, une obstruction, appelée classe secondaire de la -algèbre D, qui détermine la différentielle d ₂ de la suite spectrale de Kasparov.

---

For all discrete group and all -algebra D, the C ⁺-algebra D(E) (whose exact definition is given in Section 4) is the equivariant version of the C ^*-algebra C(B, D) of continuous functions from B (the classifiant of the group) to D, vanishing at infinity. If D is another -algebra, we define a spectral sequence in bivariant K-theory whose first terms are given by the groups H ^p (B, KK(D, D)) and which converges (if B of finite dimension) to KK(B; D(E), D(E)). This spectral sequence generalises the spectral sequence given by Kasparov but it is obtained in a quite different way: by extending the definition of quasihomomorphisms to the C(X)-algebras (where X is a locally compact topological space), we use homotopical methods, like Postnikov decompositions and the calculus of homotopy groups of spaces of homotopy equivalences. Furthermore, under certain hypotheses, with these constructions, we define an obstruction, called the secondary class of the -algebra D, which determines the differential d ₂ of the Kasparov spectral sequence.

     

K1 of Twisted Rings of Polynomials

We prove that for an arbitrary endomorphism of a ring R the group K1(R[t]) splits into the direct sum of K1(R) and Ñil (r;). Moreover, for any such R and Ñil (R; ) is isomorphic to Ñil (R ; ) for some ring R with : R R – an isomorphism.     

Bemerkung zu Einem Satz von Baer

Let be an involutorial antiautomorphism of the division ring K with char K 2 and E := {r K | rr = 1}. Refining a result of R. Baer we prove: (card E–1)² < card K =id. This is done by computing card E and the cardinal numbers of the sets consisting of the -symmetric respectively the -skew-symmetric elements.     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

Latteninterpolation bei einer Funktion von zwei Veränderlichen

Summary In each lattice point , of a rectangular net a numerical valueu is given. A bicubical and twice continuously differentiable function is constructed interpolating the valuesu . The method is known as «spline interpolation».