The lyapunov equation and the problem of stability for linear bounded discrete-time systems in Hilbert space

This paper is devoted to a study of the properties of the equationA ^*FA–F=–G, where FL() is unknown, AL(), GL() is positive and is a Hilbert space. It is shown that necessary and sufficient (in some sense) conditions for the existence of positive definite solutions of this equation are directly connected with the stability of infinite dimensional linear systemx _k+1=Ax _k . The relationships between stability of such a system and stability of a continuous-time system generated by a strongly continuous semigroup are given also. As an example the case of the delayed system in Rⁿ is considered.This work was supported in part by the Polish Academy of Sciences under the contract Problem Miedzyresortowy I.1, Grupa Tematyczna 3 This paper was written while the author was with the Instytut Automatyki, the same university.     

Primitive holomorphic maps of curves

Let t: XY be a proper morphism of non-singular irreducible affine curves over . This paper shows that there is seldom a holomorphic function f such that (t,f): X Y × is a holomorphic embedding.     

Minimal Hereditary ω-Local Non-ℌ-Formations

We describe minimal hereditary -local non--formations, where is a formation of the classical type.     

Reguläre Graphen beliebigen Grades mit vorgegebenen Eigenschaften

Zusammenfassung der Sätze 2, 3, 11 und 16 das Hauptresultat dieser Arbeit formulieren:Satz 17. Wenn eine endliche Gruppe und zwei natürliche Zahlen n und so vorgegeben sind, daß 3n< und 2n ist, dann gibt es stets eine unendliche Menge endlicher und eine nicht abzählbare Menge unendlicher regulärer Graphen X vom Grade n(X)=n mit der Farbenzahl (X)= und einer AutomorphismengruppeG(X). Da die Graphen, von denen wir bei der Konstruktion ausgegangen sind, für frei von Fixpunkten und Fixkanten waren, ist im Lichte der verwendeten Substitutionstechnik leicht einzusehen, daß auch die neu erhaltenen Graphen diese Eigenschaften haben müssen. Denn zu jeder Kante eines neuen Graphen, die aus einer Kante des alten Graphen hervorgegangen ist, gibt es wegen der Fixkantenfreiheit des alten ein Element der Gruppe, das diese Kante verändert. Jene Knotenpunkte und Kanten aber, die aus den Knotenpunkten des alten Graphen hervorgehen, können nicht invariant sein, weil der alte Graph keine Fixpunkte hatte. Zum Schluß sei noch vermerkt, daß die konstruierten Graphen zusammenhängend sind und weder Einecke noch Zweiecke enthalten.     

Covering the hypercube with a bounded number of disjoint snakes

We present a construction of an induced cycle in then-dimensional hypercubeI[n] (n2), and a subgroup _n ofI[n] considered as the group ₂ ⁿ , such that | _n |16 and the induced cycle uses exactly one element of every coset of _n . This proves that for anyn2 the vertices ofI[n] can be covered using at most 16 vertex-disjoint induced cycles.     

Puiseux expansion for space curves

For any ideal I in a convergent power series ring {X₁,..,X_n} (n2) with one dimensional zero set X (ⁿ, 0) we give a method of computing a parametrization of each irreducible component of the reduction of X. This generalizes the well-known method of the Newton polygon or the so called Puiseux expansion for plane curves (see [N], [P], and [B]). The slope of a side of the Newton polygon is generalized to what we calltropism of the ideal. It may be visualized as the direction of a hyperplane touching the Newton polyhedron of every element of the ideal at least along an edge.The author is grateful to the SFB 40 Theoretische Mathematik, Bonn, where this work was prepared.     

Stochastic processes with Gaussian interaction of components

Summary LetU(x), x ^d-|0}, be a nonnegative even function such that _x 0U(x)1. In this paper, we consider an infinite system of stochastic process _t (x); x ^d with the following mechanism: at each sitex, after mean 1 exponential waiting time, _t(x) is replaced by a Gaussian random variable with mean _{yx t} (y) U(y-x) and variance 1. It is understood here that all the interactions are independent of one another. The behavior of this system will be investigated and some ergodic theorems will be derived. The results strongly depend whether _{x 0} U(x)<1 or =1.     

Complete problems withL-samplable distributions

The average case complexity classes P, L-samplable and NL, L-samplable are defined. We show that Deterministic Bounded Halting is complete for P, L-samplable and that Graph Reachability is complete for NL-samplable, both problems with a universal logspace samplable distribution.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

Exact error bound of approximation by interpolating splines inL-metric on the classesW p r (1≦p

Корнейчук  Н. П. 《Analysis Mathematica》1977,3(2):109-117

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

Zur Beziehung zwischen Basen und Vektoren kürzester Länge in Gittern

LetR be an order of an algebraic number field of degreen over ,V ann-dimensional real vector space and the class of lattices inV which are free rank 1 modules overR. For certain ordersR and distance functionsd onV a method of computingd-minimal vectors of is described; further it is shown how to constructs anR-basis for by comparing thed-length of vectors of . An application to the computation of fundamental units and class numbers of real abelian number fields is mentioned.     

On the sums of a family of Kapteyn series

The series ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) arise in studying the emission and absorption of radiation by a charged particle on a Kepler orbit. For the first few even,r, the sums are obtained in closed form, and for oddr they are given in terms of a certain definite integral. The integral is expressed as a power series in for ||<1, and, near =1, an asymptotic expansion in powers of (1–²)^1/2 may be obtained.

---

Résumé La série ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) se trouve par l'émission et l'absorption du rayonnement d'une particule chargée sur l'orbite Keplerien. Pour les plus petites valuers paires der, les sommes s'obtienment en forme compacte, et pour les valuers impaires, elles se déterminent d'après une intégrale definie. Pour ||<1, cette intégrale se développe dans une série de puissances de , et dans le voisinage de =1, on obtient une série asymptotique et puissances de (1–²)^1/2.

     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

On a projective representation of chain geometries

We define a distance d on the set of r-spaces of an n-space. By the transfer of d to the GraßmannianG=G(n, r) we obtain a distinguished class of normal rational curves of order 1, the 1-distance lines, 1=1,..., r, which are in 1–1-correspondence to the so-called generalized reguli of type (r, 1).To every chain geometry there are subspaces T and Z of the surrounding space ofG, such that forV=GT andW = VZ we have a projective representation of on V\W as pointset, where the chains of are exactly the r-distance lines on V\W.Dedicated to Prof.A. Barlotti on occasion of his 60 birthday     

A dissipative transformation with a trivial tail-algebra

Summary In [1], an example was given of a measure-preserving dissipative transformation T in a -finite measure space (X, , ), such that T is conservative in the measure space (X, , ) where . Here we shall show that for this transformation we actually have R ={ØX}[].     

On the Cesàro summability of orthogonal sequences

(C, ). , . 0<<1. 1) - ( _k ), _k =a _k , (C, ), . 2) , , (C, ) ; _k = =¦a _k ¦.     

Some homological properties of commutative semitrivial ring extensions

LetR be a commutative ring with 1 andM anR-module. If:M _R MR is anR-module homomorphism satisfying(mm)=(mm) and(mm)m=m(mm), the additive abelian groupRM becomes a commutative ring, if multiplication is defined by (r,m)(r,m)=(rr+(mm),rm+rm). This ring is called the semitrivial extension ofR byM and and it is denoted byR M. This generalizes the notion of a trivial extension and leads to a more interesting variety of examples. The purpose of this paper is to studyR M; in particular, we are interested in some homological properties ofR M as that of being Cohen-Macaulay, Gorenstein or regular. A sample result: Let (R,m) be a local Noetherian ring,M a finitely generatedR-module and Im() m. ThenR M is Gorenstein if and only if eitherRM is Gorenstein orR is Gorenstein,M is a maximal Cohen-Macaulay module andMM ^*, where the isomorphism is given by the adjoint of.     

Isoperimetric inequalities in a boundary value problem on a Riemannian manifold

In this paper the problem u+1=0 in ,u=0 on is considered. Here is a finite domain on a Riemannian manifold and the associated Laplace-Beltrami operator. By means of maximum principles isoperimetric bounds for the maximum ofu and the maximum of the absolute value of the gradient ofu, as well as some related bounds are derived.

---

Zusammenfassung Diese Arbeit behandelt das Problem u+1=0 in ,u=0 auf , wobei ein Gebiet auf einer zweidimensionalen Riemann'schen Mannigfaltigkeit ist, und der zugehörige Laplace-Beltrami Operator. Es werden isoperimetrische Schranken für das Maximum vonu und |u| aus gewissen Maximumsprinzipien hergeleitet, sowie einige verwandte Resultate.