Numerical application of Euler's series transformation and its generalizations

Summary A nonlinear generalizationÊ _z of Euler's series transformation is compared with the (linear) Euler-Knopp transformationE _z and a twoparametric methodE . It is shown how to applyE orE _, to compute the valuef(z_o) of a functionf from the power series at 0 iff is holomorphic in a half plane or in the cut plane. BothE andE _, are superior toÊ _z . A compact recursive algorithm is given for computingE andE _,.     

Application of Hermite-Mahler polynomials to the approximation of the values ofp-adic exponential function

We shall give a further application of Hermite-Mahler polynomials to the consideration ofp-adic exponential function. An effective lower bound is obtained for max {| – | _p ,P(e )| _p }, where is an algebraic number satisfying || _p <p ^–/(p–1), and 0 is ap-adic number with | | _p depending on the degree of the polynomialPZ[y]. The bound obtained implies the transcendence ofe if ap-adic number satisfying 0 < || _p <p ^–/(p–1) is algebraic or can be well approximated by algebraic numbers.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Convolution semigroups and central limit theorem associated with a dual convolution structure

We consider hypergroups associated with Jacobi functions ⁽⁾ (x), (–1/2). We prove the existence of a dual convolution structure on [0,+[i(]0,s ₀]{{) =++1,s ₀=min(,–+1). Next we establish a Lévy-Khintchine type formula which permits to characterize the semigroup and the infinitely divisible probabilities associated with this dual convolution, finally we prove a central limit theorem.     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

The self-similar solutions to a fast diffusion equation

A quasilinear equation u -x·u/2+f(u)=0 is studied, wheref(u)=–u+u , > 0, 0<. <1, >1 andx R ⁿ. The equation arises from the study of blow-up self-similar solutions of the heat equation _t =+. We prove the existence and non-existence of ground state for various combination of , and . In particular, we prove that when / < forn=1,2 or / < (n + 2) /(n – 2) forn 3 there exists no non-constant positive radial self-similar solution of the parabolic equation, but for many cases where / > (n + 2)/(n – 2) there exists an infinite number of non-constant positive radial self-similar solutions.     

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.     

Untere und obere Schranken für den tiefsten Eigenwert der elastisch gestützten Membran

Zusammenfassung Es werden untere und obere Schranken für den tiefsten Eigenwert ₁() der elastisch gestützten schwingenden Membran hergeleitet. Die elastische Bindung der Membran am Rande wird durch charakterisiert, und wird als Parameter betrachtet.Die Verwendung des klassischen Rayleigh-Prinzipes liefert obere Schranken, mit Hilfe eines konvexen FunktionalsJ() erhält man obere und untere Schranken. Eine Zerlegungsmethode endlich gibt eine untere Schranke für ₁().

---

Summary This article is concerned with the determination of upper and lower bounds for the lowest eigenvalue ₁() of the elastically supported vibrating membrane. The elastic support on the boundary is characterized by which is regarded as a parameter.The classical Rayleigh-Principle gives upper bounds. The use of a convex functionalJ() yields upper and lower bounds for ₁(). A method of decomposition leads to a lower bound for ₁().

---

---

Neu-Technikum, Buchs SG     

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.     

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     

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.     

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.     

Parabolic subgroups of Chevalley groups over a semilocal ring

Let G be the Chevalley group over a commutative semilocal ring R which is associated with a root system . The parabolic subgroups of G are described in the work. A system =() of ideals in R ( runs through all roots of the system ) is called a net of ideals in the commutative ring R if ₊ for all those roots and for which + is also a root. A net is called parabolic if =R for >0. The main theorem: under minor additional assumptions all parabolic subgroups of G are in bijective correspondence with all parabolic nets . The paper is related to two works of K. Suzuki in which the parabolic subgroups of G are described under more stringent conditions.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 43–58, 1978.     

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.     

On the Density of Elliptic Curves

We show that 17.9% of all elliptic curves over Q, ordered by their exponential height, are semistable, and that there is a positive density subset of elliptic curves for which the root numbers are uniformly distributed. Moreover, for any > 1/6 (resp. > 1/12) the set of Frey curves (resp. all elliptic curves) for which the generalized Szpiro Conjecture |(E)| N _E ¹² is false has density zero. This implies that the ABC Conjecture holds for almost all Frey triples. These results remain true if we use the logarithmic or the Faltings height. The proofs make use of the fibering argument in the square-free sieve of Gouvêa and Mazur. We also obtain conditional as well as unconditional lower bounds for the number of curves with Mordell–Weil rank 0 and 2, respectively.     

Leaves in Representation Diagrams of Bipartite Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Let ₀ > ₁ ··· > _D denote the eigenvalues of and let q ^h _ij (0 h, i, j D) denote the Krein parameters of . Pick an integer h (1 h D – 1). The representation diagram = _h is an undirected graph with vertices 0,1,...,D. For 0 i, j D, vertices i, j are adjacent in whenever i j and q ^h _ij 0. It turns out that in , the vertex 0 is adjacent to h and no other vertices. Similarly, the vertex D is adjacent to D – h and no other vertices. We call 0, D the trivial vertices of . Let l denote a vertex of . It turns out that l is adjacent to at least one vertex of . We say l is a leaf whenever l is adjacent to exactly one vertex of . We show has a nontrivial leaf if and only if is the disjoint union of two paths.     

Remarks on ergodicity of stationary irreducible transient Markov chains

Summary Consider a stationary process {X _n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X _n(), - < n < and of each of the subprocesses {X _n(), 0 n < , {X _n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X _n(), - < n <} with {itX_n(), 0 n < < ergodic but {X _n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X _n(), 0 n < and {itX _n(),-< < n 0} ergodic but {X _n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X _n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.     

On the Heyde Theorem for Finite Abelian Groups

It is well-known Heyde's characterization theorem for the Gaussian distribution on the real line: if _j are independent random variables, _j , _j are nonzero constants such that _i ± _j ^–1 _j 0 for all i j and the conditional distribution of L ₂=_{1 1} + ··· + _{n n} given L ₁=_{1 1} + ··· + _{n n} is symmetric, then all random variables _j are Gaussian. We prove some analogs of this theorem, assuming that independent random variables take on values in a finite Abelian group X and the coefficients _j , _j are automorphisms of X.     

Extremal problems in classes of univalent functions,omitting prescribed values

Section 1 of the paper is devoted to extremal problems in the classes of conformal homeomorphisms of the circle and the annulus, connected directly with the problem on the maximum of the conformal modulus in the family of doubly connected domains. In Secs. 2 and 3 one considers the class R of functions f()=c₁+c₂²+... regular and univalent in the circleU={||<1} and such that f(₁)f(₂)=1 for ₁₂U (the class of Bieberbach-Eilenberg functions). Here one solves the problem of the maximum of |f(₀)| in the class of functions f()R with a fixed value f(₀, where ₀ is an arbitrary point U, and of the maximum of |f(₀)| in the entire class R. For the proof one makes use of the method of the moduli of families of curves.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 94–114, 1985.     

The Product of Independent Random Variables with Regularly Varying Tails

A distribution is said to have regularly varying tail with index – (0) if lim _x(kx,)/(x,)=k ^– for each k>0. Let X and Y be independent positive random variables with distributions and , respecitvely. The distribution of product XY is called Mellin–Stieltjes convolution (MS convolution) of and . It is known that D() (the class of distributions on (0,) that have regularly varying tails with index –) is closed under MS convolution. This paper deals with decomposition problem of distributions in D() related to MS convolution. A representation of a regularly varying function F of the following form is investigated: F(x)= _k=0 ^n–1 b _k f(a ^k x), where f is a measurable function and a and b _k (k=1,...,n–1) are real constants. A criterion is given for these constants in order that f be regularly varying. This criterion is applicable to show that there exist two distributions and such that neither nor belongs to D() (>0) and their MS convolution belongs to D().     

Properties of certain integral operators

Two integral operatorsP andQ for analytic functions in the open unit disk are introduced. The object of the present paper is to derive some properties of integral operatorsP andQ .