Wilson's functional equation on C

Summary We find the complete set of continuous solutionsf, g of Wilson's functional equation _{n = 0} ^{N – 1} f(x + wⁿy) = Nf(x)g(y), x, y C, given a primitiveN ^th rootw of unity.Disregarding the trivial solutionf = 0 andg any complex function, it is known thatg satisfies a version of d'Alembert's functional equation and so has the formg(z) = g (z) = N^–1 _{n = 0} ^{N – 1} E(wⁿz) for some C². HereE ₍₁, ₂)(x + iy) = exp( ₁x + ₂).For fixedg = g the space of solutionsf of Wilson's functional equation can be decomposed into theN isotypic subspaces for the action of Z _N on the continuous functions on C. We prove that ther ^th component, wherer {0, 1, ,N – 1}, of any solution satisfies the signed functional equation _{n = 0} ^{N – 1} f(x + wⁿy)w^nr = Ng(x)f(y), x, y C. We compute the solution spaces of each of these signed equations: They are 1-dimensional and spanned byz _{n = 0} ^{N – 1} w^nr E(wⁿz), except forg = 1 andr 0 where they are spanned by andz ^{N – r}. Adding the components we get the solution of Wilson's equation. Analogous results are obtained with the action ofZ _N on C replaced by that ofSO(2).The case ofg = 0 in the signed equations is special and solved separately both for Z _N andSO(2).     

Présentations des groupes de Fischer (II)

In this paper we give Coxeter presentation (X, ) for the three Fischer groupsG=Fi₂₂, Fi₂₃, Fi₂₄; we apply methods exposed in the first part. Each of these groups is generated by a class of 3-transpositions (named here a Fischer class) in which elements ofX are chosen. A subset of is the set of all the relations (xy) ^m(x,y)=1, wherex andy are inX and wherem(x,y) means the order ofxy inG. We obtainG as a specified quotient of the Coxeter group (X, ) with the appropriate diagram .     

Kite-freeP- andQ-polynomial schemes

LetY = (X, {R _i } _oid) denote aP-polynomial association scheme. By a kite of lengthi (2 i d) inY, we mean a 4-tuplexyzu (x, y, z, u X) such that(x, y) R ₁,(x, z) R ₁,(y, z) R ₁,(u, y) R _i–1,(u, z) R _i–1,(u, x) R _i. Our main result in this paper is the following.     

On asymptotics of the uniform norm of polynomials with zeros at the roots of unity

The work is related to the problem by P. Erds about the estimation of the numbers

The interpolation ofℓ r sequences by hp functions

The sequence spaceH ^P (z)={{f (z_h)}:f H ^p} is defined for a fixed sequence Z={z_k} of different points of the open unit disk and the Hardy class HP of analytic functions in the disk. For an arbitrary p[1, ) is constructed a point sequence Z= {z_k} such that ¹h ^p(z), but ^r h^p (Z) for r > 1. It follows from a well-known result of L. Carleson that the inclusions ^r h (Z) for all r[1,] are equivalent.Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 503–508, April, 1977.     

On the set of positive deflections of functions meromorphic in the unit disk

For an arbitrary (0, 1/2) we construct a functionf(z) of lower order [f]=. that is meromorphic in the disk D = {z ¦z¦< 1} and such that the set (f) of positive deflections of the functionf (in the sense of V. P. Petrenko) has positive logarithmic capacity.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 4, 1997, pp. 48–53.     

Singularities of the Green function of a random walk on a discrete group

LetX be a countable discrete group and let be an irreducible probability onX. The radius of convergence of the Green function is finite, and independent ofx. Let 0} \right\}$$ " align="middle" border="0"> be the period of . We show that for eachxX the singularities of the analytic functionzG(x; z) on the circle {z:|z|=} are precisely the points e ^2ik/d k=0, ...,d–1. In particular, is the only singularity on the circle in the aperiodic cased=1 (which occurs, for example, when (e)>0). This affirms a conjecture ofLalley [5]. When is symmetric, i.e., (x ^–1)=(x) for allxX, d is either 1 or 2. As another particular case of our result, we see that- is then a singularity ofzG (x; z) if and only ifd=2, in which caseX is bicolored. This answers a question ofde la Harpe, Robertson andValette [2].     

Closed-Loop Control of the Motion of a Disk–Rod System

This work deals with the guidance and control of a system which is composed of a rolling disk and a controlled slender rod that is pivoted, through its center of mass, about the disk center. There are given N points P _i, i=1, ..., N, in the horizontal plane, a set of angles _2i , i=1, ..., N, a finite-time interval [0, t _f], and a sequence of times ₁=0<₂<...< _N =t _f. Using the concept of path controllability, a closed-loop control law is derived to steer the system in such a manner that the disk center and the rod angle of rotation ₂ will pass through (P _i, _2i ) at the times _i , i=1,...,N, respectively. This system serves as a model for the motion of a simple mobile robot.     

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.     

On Interpolation Sequences of One Class of Functions Analytic in the Unit Disk

We establish a criterion for the existence of a solution of the interpolation problem f( _n ) = b _n in the class of functions f analytic in the unit disk and satisfying the relation

Hitting probability of a Gaussian vector with values in a Hilbert space in a sphere of small radius

Let be a Gaussian random vector with values in a Hilbert space H. We denote by(a, z) the ball in H with center ata and of radius z. Some asymptotic formulas for I (a, z)=P (a, z), z 0, are presented in the paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 85, pp. 75–93, 1979.     

Sur les séries de Taylor et les transformations de Möbius

Given a non-empty closed subsetF of the unit circle |z|=1, and a Möbius transformationM(z) of the unit disc |z|1, such thatM(0)0, there exists a functionf(z) holomorphic in the unit disc,F being the singular set at the boundary, whose Taylor coefficients tend to zero while the Taylor coefficients off(M(z)), do not tend to zero.     

Events correlated with respect to every subposet of a fixed poset

Posets are said to be (positively) correlated with respect to a third posetR onX (we writeA _R B) ifP(AR) P(AR B). HereP(CR) is the probability that a randomly chosen linear extension ofR is also a linear extension ofC. We classify posetsR onX such that(x, y) _s (u, v) holds for all posetsS onX which are subposets ofR, wherex, y, u, v are distinct elements ofX. On the way to proving this result, we show when a correlation inequality due to Shepp holds strictly.     

Die Verteilung der schlichten Funktionen in einem Funktionenraum

We consider the set of regular functions . We construct a Borel measure and a class of outer measures _h onH. With these and _h we show that: (HS)=0 and _h (HS)=0, (S is the set of normed univalent functions). From _h (HS)=0 follows—forh=t —that the Hausdorff—Billingsley-dimension ofHS is zero.     

Un théorème de Choquet-Deny pour les groupes moyennables

Résumé SoitG un groupe moyennable connexe, locallement compact, à base dénombrable. Soit une mesure positive sur les boréliens deG. Nous étudions les fonctions boréliennes positivesh vérifiant: g G, . Sous de bonnes hypothèses sur , nous obtenons, pour ces fonctions, une représentation intégrale à l'aide d'exponentielles.

---

Summary LetG be a connected locally compact separable amenable group. Let be a positive measure on the Borel -field ofG. We study the positive Borel functionsh onG which satisfy: g G, . Under smooth assumptions on , we establish an integral representation of these functions in term of exponentials.

     

Packing directed circuits fractionally

LetG be a digraph, and letk1, such that no fractional packing of directed circuits ofG has value >k, when every vertex is given capacity 1. We prove there is a set ofO (k logk logk) vertices meeting all directed circuits ofG.     

Removable singularities of plurisubharmonic functions of restricted growth

LetG be a domain in ⁿ ,n2, letA be a connected complex (n–1)-dimensional submanifold ofG, and let be a plurisubharmonic function inGA. We obtain conditions on the growth of that guarantee the local boundedness of at a point a A G and the existence of a plurisubharmonic extension of toG.Translated fromMatematicheskie Zametki, Vol. 64, No. 1, pp. 64–72, July, 1998.The author wishes to express her gratitude to Professor E. M. Chirka for numerous useful discussions and for his assistance in writing the present text.     

Growth of analytic functions

For a function f analytic in a disk {z ¦ z ¦ <R }, 0 <R + , a criterion is obtained, in terms of the Taylor coefficients of the function, for the validity of the relation (r) ln⁺ M (r)dr < + , whereM (r)= max {¦ (f (z) ¦ ¦z ¦=r < R}, and is a function positive on [0, R) and satisfying certain conditions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 5, pp. 668–673, May, 1990.     

Asymptotics of Solutions of the Sturm–Liouville Equation with Respect to a Parameter

On a finite segment [0, l], we consider the differential equation

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.