Formal Flows on the Non-Archimedean Open Unit Disk

This paper deals with group actions of one-dimensional formal groups defined over the ring of integers in a finite extension of the p-adic field, where the space acted upon is the maximal ideal in the ring of integers of an algebraic closure of the p-adic field. Given a formal group F as above, a formal flow is a series (t,x) satisfying the conditions (0,x)=x and (F(s,t),x)=(s,(t,x)). With this definition, any formal group will act on the disk by left translation, but this paper constructs flows with any specified divisor of fixed points, where a point of the open unit disk is a fixed point of order n if (x–) ⁿ |((t,x)–x). Furthermore, if is an analytic automorphism of the open unit disk with only finitely many periodic points, then there is a flow , an element of the maximal ideal of the ring of constants, and an integer m such that the m-fold iteration of (x) is equal to (,x). All the formal flows constructed here are actions of the additive formal group on the unit disk. Indeed, if the divisor of fixed points of a formal flow is of degree at least two, then the formal group involved must become isomorphic to the additive group when the base is extended to the residue field of the constant ring.     

Über die Minimalflächen des isotropen Raumes,welche zugleich Affinminimalflächen sind

One determines all the minimal surfaces of the isotropic space, which simultaneously are affinminimal surfaces. A characteristic property of those surfaces is that the isotropic spherical imagines of the asymptotic lines of form two orthogonal pencils of circles. There are three types of such surfaces : first the well known right helicoid _I , second an interesting transcendental surface _II , and third the isotropic analogy _III of the minimal surface ofEnneper. The surfaces permit cinematic generations. Especially _II and _III can be generated byClifford screws in a certain indefinite quasielliptic space.In the isotropic space conjugate to the surfaces are isotropic minimal surfaces ^* with plane lines of curvature. There are also three types of such surfaces: _I ^* is a logarithmic surface of revolution, _II ^* is an interesting transcendental surface, and _III ^* is again the isotropic minimal surface ofEnnerper.     

A characterization of semimartingales on nuclear spaces

Summary This work is devoted to prove the following fact: Suppose that is a nuclear space whose dual is nuclear under the strong topology. IfX is a weakly adapted mapping with values in such that for any,X'() has a modification which is a semimartingale then there exists a unique projective system of Hubert space-valued semimartingales indexed by the Hilbert-Schmidt neighbourhood base of the dual space whose projective limit isX.In the last part we study in detail a semimartingale defined as the convolution of a distribution by a random Dirac measure whose support is determined by the trajectories of a real-valued semimartingale.     

On Some Special Surfaces Connected with Convex Surfaces of the Lobachevskii Space

With a closed convex surface in a Lobachevskii space we associate four special surfaces: the inscribed and circumscribed spheres, a sphere rolling freely over the inner side of , and an equidistant surface over whose inner side rolls freely. We find an exact dependence between these four special surfaces.     

Convergence des solutions formelles de certaines équations fonctionnelles

Résumé Soitq un nombre algébrique de module 1, qui ne soit pas une racine de l'unité, etP [X, Y ₀,Y ₁] un polynôme non nul. Dans cet article, nous montrons que toute solution de l'équation fonctionnelleP(z, (z), (qz))=0, qui est une série formelle (z) dansQ[[z]], a un rayon de convergence non nul.

---

Summary Letq Q be an algebraic number of modulus one that is not a root of unity. LetP Q[X, Y ₀,Y ₁] be a non zero polynomial. In this paper, we show that every formal power series,(z) Q[[z]], solution of the functional equationP(z), (z), (qz)) = 0 has a non zero radius of convergence.

     

Inequalities Between the Radii of Some Spheres That Are Connected with a Convex Surface in Space of Constant Curvature

With a convex surface in space of constant curvature, we associate four numbers (,M,), where is the radius of a largerst sphere freely rolling over the interior side of , is the inradius of , M is the outradius of , and is the radius of a sphere over whose interior may roll freely. Exact inequalities connecting these four numbers are found.     

Über geschlossene Regelflächen im elliptischen Raum

On a ruled closed surface in the elliptic 3-space two integral invariants are considered: the aperture distance of a curve orthogonal to the generating lines of , and the aperture angle of an orthogonally circumscribed tangent surfaces. By means of these integral invariants and by considering certain ruled surfaces associated to one finds the geometric meaning of further integral invariants. If is generated by the binormals of a curve one obtains some properties of closed curves in the elliptic 3-space.     

Über die mittelfläche einer isotropen geradenkongruenz

Let be the middle surface of an isotropic rectilinear congruence of class C³ in the real Euclidean space E³. When the spherical image of is parametrized by special isothermal coordinates (u,v) G ², can be described by a generating harmonic function A(u,v). Using such a C-representation of , the basic properties of regularity and curvature of are discussed. Moreover, the cases that be a minimal (regular) surface ₁, or a plane surface ₂ are solved explicitly. In connection with the latter results (which are already well-known from Ribaucour) several new characterizations for being a regular surface ₁ resp. ₂ are given: they are based on special properties (like: being asymptotic lines resp. lines of curvature of ) of those curves c (-Spurlinien) in the tangents of which form in each point Xc a minimal angle with the straight line of passing through X.

---

---

Herrn Prof. Dr. Karl Strubecker zum 80. Geburtstag gewidmet     

Generalized ornstein-uhlenbeck process having a characteristic operator with polynomial coefficients

Summary Let be a weighted Schwartz's space of rapidly decreasing functions, the dual space and (t) a perturbed diffusion operator with polynomial coefficients from into itself. It is proven that (t) generates the Kolmogorov evolution operator from into itself via stochastic method. As applications, we construct a unique solution of a Langevin's equation on : whereW(t) is a Brownian motion and ^*(t) is the adjoint of (t) and show a central limit theorem for interacting multiplicative diffusions.     

Circularity of Finite Groups without Fixed Points

Let be a fixed point free group given by the presentation where and are relative prime numbers, t = /s and s = gcd( – 1,), and is the order of modulo . We prove that if (1) = 2, and (2) is embeddable into the multiplicative group of some skew field, then is circular. This means that there is some additive group N on which acts fixed point freely, and |((a)+b)((c)+d)| 2 whenever a,b,c,d N, a0c, are such that (a)+b(c)+d.     

On Right Symmetric and Novikov Nil-Algebras of Bounded Index

Let be a field of characteristic zero. It is proved that a right symmetric nil-algebra of index n over is right nilpotent, and a Novikov nil-algebra of index n over is nilpotent.     

On Vector Valued Measure Spaces of Bounded Φ-variation containing copies of ℓ∞

Given a Young function , we study the existence of copies of c ₀ and in cabv (,X) and in cabsv (,X), the countably additive, -continuous, and X-valued measure spaces of bounded -variation and bounded -semivariation, respectively.     

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.     

Anticommutative Algebras Satisfying Standard Identities of Degree Four

We define an anticommutative -algebra A(D,a) whose multiplication generalizes the concept of a Jacobi bracket in the form (4). It is proved that A(D,a) is a J-algebra and that it satisfies a standard identity of degree four. A subclass of algebras A(D,a) over which is connected with some class of 3-Lie algebras is distinguished. We establish a criterion of being simple for factor algebras of non-Lie algebras in , given a 1-dimensional annihilator, and then use it to construct examples of simple infinite-dimensional (of dimension p³-1) non-Lie J-algebras over a field satisfying standard identities of degree 4, if the characteristic p of is zero (for p > 2). Also, the criterion of algebras belonging to is given.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

On the Representation of Approximate Subdifferentials for a Class of Generalized Convex Functions

Given a family of real-valued functions defined in a normed vector space X, we study a class of -convex functions having a simpler representation for the --subdifferential. The case =X^* with X being a Banach space (the Fenchel case) is particularly analysed, and we find that the sublinear lower semicontinuous functions satisfy the simpler representation with respect to X^*. As a side result, we provide various new subdifferential-type charaterizations of positively homogeneous functions among those which are lower semicontinuous and convex. In addition, we also discuss that family related to the the so-called prox-bounded functions. In this more general framework our simpler representation may give rise to a new notion of enlargement of the subdifferential.Mathematics Subject Classifications (2000) 47H05, 46B99, 47H17.This work is based on research material supported in part by CONICYT-Chile through FONDECYT 101-0116 and FONDAP-Matemáticas Aplicadas II.     

Combinatorics of first order structures and propositional proof systems

We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence iff holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all for which the associated sequence of propositional formulas _n, encoding that holds in L-structures of size n, have polynomial size P-proofs. That is, Comb(M) contains all feasibly verifiable in P. Finding M that covers P but does not combinatorially satisfy thus gives a super polynomial lower bound for the size of P-proofs of _n. We show that any proof system admits a class of structures covering it; these structures are expansions of models of bounded arithmetic. We also give, using structures covering proof systems R^*(log) and PC, new lower bounds for these systems that are not apparently amenable to other known methods. We define new type of propositional proof systems based on a combinatorics of (a class of) structures.Partially supported by grant # A 101 99 01 of the Academy of Sciences of the Czech Republic and by project LN00A056 of The Ministry of Education of the Czech Republic.Also member of the Institute for Theoretical Computer Science of the Charles University. A part of this work was done while visiting the Mathematical Institute, Oxford.     

Kennzeichnungen von Minimalschraubflächen Mittels Vertikalisophoten und Horizontalschattengrenzen

In Euclidean space E³, let be a (regular C-) minimal surface without planar points having locally (without loss of generality) the spherical representation n(u,v)=(cos v/cosh u, sin v/cosh u, tanh u), (u,v)G². The corresponding (isothermal) parametrization : x(u,v), (u,v)G can be expressed using agenerating Function (u,v) which satisfies _{uu + vv} – 2_utanh u + =0; the v-curves (coordinate curves u=u₀) in , along each of which the angle between the normal n(u,v) of and the x₃-axis is constant, are thevertical- isophotes of , the u-curves (v=v₀) being their orthogonal trajectories (theorems 1, 2). Considering u-curves and/or v-curves of having additional geometric properties (curves of constant/steepest slope, curves of constant Gaussian curvature, asymptotic curves, lines of curvature or geodesies of ) we prove many newgeometric characterizations of theright helicoid, thecatenoid andScherk's second surface (theorems 3–7). All of these surfaces areminimal hélicoidal surfaces.     

Self-similar random measures are locally scale invariant

Summary In an earlier paper Patzschke and U. Zähle [11] have proved the existence of a fractional tangent measure at the typical point of a self-similar random measure under rather special technical assumptions. In the present paper we remove the most restrictive one. Here we suppose the open set condition for the similarities, a constant positive lower bound for the random contraction ratios, and vanishing on the boundary of the open set with probability 1. The tangent measure isD-scale-invariant, whereD is the similarity dimension of . Moreover, we approximate the tangential distribution by means of and use this in order to prove that the Hausdorff dimension of the tangent measure equalsD. Since the former coincides with the Hausdorff dimension of we obtain an earlier result of Mauldin and Williams [9] as a corollary.     

Compact groups on compact projective planes

LetP=(P, L) be a compact projective plane with 0P< and let be a compact connected subgroup of Aut(P). If dim dimE – dimP, whereE is the elliptic motion group of the corresponding classical plane, then E or is isomorphic to a point stabilizerE ₀ inE, cf. [31]. Here we consider the case E ₀. It is shown that the action of on the point spaceP is equivalent to the classical action ofE ₀. For dimP {8, 16} the planeP is uniquely determined by a 2-dimensional subplane with SO₂ Aut().Für H. Reiner Salzmann zum 65. Geburtstag