Über Untergruppen Endlicher Algebraischer Gruppen

Let k be a commutative ring, GG finite affine algebraic k-groups, and HH the dual Hopfalgebras of the affine algebras of G resp. G. The main results of this paper are: (I) If k is semilocal (e.g. k a field) there is an H-linear, HH-colinear, unitary, augmented isomorphism HHH H, where HH is the coalgebra belonging to G/G. (II) If the k-submodule of the fixelements of (HH)^* is isomorphic to k (e.g. k principal or semilocal), then HH is a Frobeniusextension of the second kind.     

Uniform Continuity of a Family of Weakly Regular Set Functions on Topological Spaces

Conditions for the uniform continuity of a family of weakly regular set functions defined on an algebra of subsets of a -topological space (T,) and taking values in an arbitrary topological space are found.     

Sur la répartition des valeurs de la fonction d'Euler

Let (x) denote the number of those integers n with (n) x, where denotes the Euler function. Improving on a well-known estimate of Bateman (1972), we show that (x)-Ax R(x), where A=(2)(3)/(6) and R(x) is essentially of the size of the best available estimate for the remainder term in the prime number theorem.     

On the eigenvalues of the matrix pencilA+μB

Summary The number of independent invariants ofn×n matricesA, B and their products on which the eigenvalues () of the matrix pencilA+B depend is determined by means of the theory of algebraic invariants and combinatorial analysis. Formulas are displayed for coefficients for the calculation of () forn5.

---

Zusammenfassung Wir bestimmen die Anzahl der unabhängigen Invarianten dern×n MatrizenA, B und ihrer Produkte, von denen die Eigenwerte () der MatrixbüschelA+B abhängen, mittels der Theorie der algebraischen Invarianten und mittels kombinatorischer Analyse. Formeln für Koeffizienten zur Berechnung von () werden angegeben fürn5.

     

On the admissibility of function spaces of typeB p,q s andF p,q s,and boundary value problems for non-linear partial differential equations

u=f(x)+S(u), S — , u-G(u), G — . B _p,q ^s () -F _p,q ^s (). R _n — . — . _p,q ^s F _p,q ^s .     

The intuitionistic propositional calculus with quantifiers

Let L be the language of the intuitionistic propositional calculus J completed by the quantifiers and , and let calculus 2J in language L contain, besides the axioms of J, the axioms xB (x) B(y) and B(y) xB (x). A Kripke semantics is constructed for 2J and a completeness theorem is proven. A result of D. Gabbay is generalized concerning the undecidability of C2J⁺-extension of 2J by schemes x (x B) and x(A B(x))A xB (x) specificially: the undecidability is proven of each T theory in language L such that [2J]T [C2J+] ([2J] ([2J] denotes the set of all theorems of calculus 2J).Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 69–76, July, 1977.     

Intrinsic definition of the Colombeau algebra of generalized functions

— G (), . . . , : , , D()G(), , , G(), , , , — .     

OnU ϕ-sets of trigonometric integrals

, (t) >0 E(–, +),E<, , ¦f(t)¦ (t) xE, f(t)=0 (–, +).     

Growth of length of sequential derivation transformed into natural one

We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())2^2·length( ). There is constructed a sequence of Gentzen derivations of length _i, for which the length of (( _i))2^{1/3·length(i}), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.     

О лагранжевом интерполировании с узлами в корнях многочленов сонина-маркова

.      

Inequalities for upper bounds of functionals

. . . , , .     

Fourier series criteria for operator decomposability

Let U be an invertible operator on a Banach space Y. U is said to betrigonometrically well-bounded provided the sequence {Uⁿ} _n =– is the Fourier-Stieltjes transform of a suitable projection-valued function E(·): [0, 2](Y). This class of operators is known to apply naturally to a variety of classical phenomena which exclude the presence of spectral measures. In the case Y reflexive we use the Cesáro means _n(U, t) of the trigonometric series _k0 k^–e^iktU^k, whichformally transfers the discrete Hilbert transform to Y, in order to give three separate necessary and sufficient conditions for U to be trigonometrically well-bounded. One of these conditions is sup {_n(U,t): n 1, t [0,2]} <      

Mapping properties of non-linear operators in spaces of Triebel-Lizorkin and Besov type

— . - G , G: f G(f) _p,q ^s (R_n) F _p,q ^s (R_n).     

Localization of the spectrum of certain non-self-adjoint operators

Let the self-adjoint operator A and the bounded operator B be specified in Hilbert space We let denote the spectral family of the operator A. If (E – E _N ) B ₂+E–_NB ² 0 npnN , then in the complex plane z=+ there will exist the curve ¦ ¦ =f (), limf () = 0 for ± such that the entire spectrum of the operator A+B lies within the region ¦ ¦ f(). In particular, the condition of the theorem will be satisfied when B is a completely continuous operator.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 415–420, April, 1968.The author expresses his appreciation to R. S. Ismagilov for his discussion of the results.     

Generalized Variation of Mappings with Applications to Composition Operators and Multifunctions

We study (set-valued) mappings of bounded -variation defined on the compact interval I and taking values in metric or normed linear spaces X. We prove a new structural theorem for these mappings and extend Medvedev's criterion from real valued functions onto mappings with values in a reflexive Banach space, which permits us to establish an explicit integral formula for the -variation of a metric space valued mapping. We show that the linear span GV (I;X) of the set of all mappings of bounded -variation is automatically a Banach algebra provided X is a Banach algebra. If h:I× X Y is a given mapping and the composition operator is defined by (f)(t)=h(t,f(t)), where tI and f:I X, we show that :GV (I;X) GV (I;Y) is Lipschitzian if and only if h(t,x)=h₀(t)+h₁(t)x, tI, xX. This result is further extended to multivalued composition operators with values compact convex sets. We prove that any (not necessarily convex valued) multifunction of bounded -variation with respect to the Hausdorff metric, whose graph is compact, admits regular selections of bounded -variation.     

Algorithm for a sum of reciprocals

An algorithm is described for the approximate calculation of a collection of sums of the form _k= _j–1 ⁿ c_j/(_j+_k), 1kn, where 0<_j. The working time of the algorithm is 0(n(t+ log n)(t+log n)) if _k calculated to within 2^–t; here the function (l) denotes the time of multiplication of twoZ-bit numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 137, pp. 3–6, 1984.In conclusion, the author expresses thanks to A. O. Slisenko and Yu. A. Kuznetsov, who drew the attention of the author to the problem considered.     

Algorithmes de calcul du maximum des formes quadratiques sur la boule unité de la norme du maximum

Résumé Certaines méthodes directes et indirectes pour le calcul de Max {x ^t Ax, (x)1} sont étudiées.Les méthodes directes sont basées sur les propriétés particulières des normes ₁, ₂ et . Ces méthodes sont très simples mais ne s'appliquent qu'à certaines familles de matrices.La méthode indirecte est la méthode autoduale introduite dans [25, 26] avec = ₁. Dans ce cas, le choix du vecteur initial pour qu'il y ait convergence vers une solution optimale est largement discuté.

---

Some methods for computing the maximum of quadratic from on the unit ball of the maximum norm

Summary Some direct and indirect methods are studied for computing Max {x ^t Ax, (x)1} whereA is symmetric definite positive.Direct methods are constructed using particular properties of ₁, ₂, norms. These methods are very simple, but uniquely suitable to certains families of matrices.The indirect method is the autodual method, introduced in [25, 26, 29] with = ₁. In this case the problem of choosing an initial vector so that convergence of the iterative sequence occurs to an optimal solution is largely discussed.

     

On the γ-Interior and γ-Closure of a Set

For a set X, let : exp X exp X satisfy A B whenever A B X. In [4], -open subsets of X, -interior iA and -closure cA of A X have been defined. The purpose of the present paper is to show that, under suitable conditions on , explicit formulas furnish iA and cA.     

Eine Bemerkung über a-priori-fixpunkte nicht-expansiver Abbildungen

For a certain class of convex sets K in normed spaces a generalized center isdefined such that every non-expansive mapping :KK with co (K)K has this center as a fixed point.     

A coherence theorem for canonical morphisms in cartesian closed categories

In this paper there is proved a coherence theorem in proof-theoretic formulation: all derivations of a balanced sequent are equivalent. (A sequent is called balanced if each variable appears in it no more than twice.) Canonical morphisms in a Cartesian closed category are morphisms which can be obtained from those explicitly mentioned in the definition of a Cartesian closed category (i.e., the left and right projectionsl: A x B A and r:A x B B, :A x hom (A, B) B, etc.) with the help of composition of functors x, hom and the operation +. Let the objects A and B be constructed from the objects C₁,..., C_n with the help of the functors x and hom. Then, generally speaking, not all canonical morphisms from A to B will be equal. For example, if A is C₁ x C₁, and B is C₁, then the left and right projections are different morphisms. The coherence theorem asserts that if one does not make superfluous identifications of objects, then all canonical morphisms from A to B will be equal, i.e., all diagrams of canonical morphisms beginning in A and ending in B will commute. There is a familiar translation of certain concepts of the theory of categories into the language of proof theory, under which to objects correspond formulas, and the functors x and hom are interpreted as the connectives & and . Under this translation, to canonical morphisms from A to B correspond derivations in the (&, )-fragment of the intuitionistic prepositional calculus of the sequent A B. Morphisms are equal if and only if the derivations corresponding to them are equivalent, i.e., certain of their normal forms coincide, or, what is the same thing, their deductive terms are equivalent. The theorem proved in this paper is equivalent with the coherence theorem in the algebraic formulation. There are given two proofs of this theorem, obtained independently by the authors, in one of which there are considered natural derivations and the apparatus of deductive terms is used, and the other is based on reduction of the depth of formulas preserving equivalence of derivations, specialization of forms of inference in Gentzen L-systems, and analysis of links in sequences.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 3–29, 1979.