On solving certain differential equations with variable coefficients

We show how to solve certain types of linear ordinary differential equations with variable coefficients by using Appell polynomials.     

Characteristic expansions and multiplicative addition theorems

The notions of -polynomial expansion % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqefeKCPfgBaG% qbciaa-DgacaGGOaWexLMBb50ujbqeguuDJXwAKbacgiGae4hEaGNa% ey4kaSsefCuzVj3zPfgaiCGacaqF5bGaaiykaiabg2da9iaa-Dgaca% GGOaGae4hEaGNaaiykaiabgUcaRiaa-DgacaGGOaGaa0xEaiaacMca% cqGHRaWkdaaeqbqaaiaadchadaWgaaWcbaGaamOBaaqabaGccaGGOa% Gaeqy1dOMaaiikaiab+Hha4jaacMcacaGGPaWaaSaaaeaacaqF5bWa% aWbaaSqabeaacaqFUbaaaaGcbaGaamOBaiaacgcaaaGaey4kaSIaam% OCaiaacIcacqGF4baEcqGFSaalcaqF5bGaaiykaiaacYcaaSqaaiaa% d6gatuuDJXwAK1uy0HMmaeXbfv3ySLgzG0uy0HgiuD3BaGacciab8v% MifkaaigdaaeqaniabggHiLdaaaa!7116!\[g(x + y) = g(x) + g(y) + \sum\limits_{n \geqslant 1} {p_n (\varphi (x))\frac{{y^n }}{{n!}} + r(x,y),} \] and multiplicative addition theorems % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOeI0YaaS% aaaeaacaaIXaaabaGaamyAaaaadaWcaaqaaiabgkGi2cqaaiabgkGi% 2kaadshaaaqeduuDJXwAKbYu51MyVXgaiuaacqWFvpGAcaWG0bGaey% ypa0JaamisamaaBaaaleaacaGGOaaabeaakmaaBaaaleaacaGGPaaa% beaakiab-v9aQjaadshaaaa!4A8D!\[ - \frac{1}{i}\frac{\partial }{{\partial t}}\varphi t = H_( _) \varphi t\] are introduced and characterization of some -polynomial expansions and multiplicative addition theorems are obtained.Sponsored by the International Science Foundation (Soros) Grant M3Z00 and by Russian Foundation of Fundamental Research 94-01-0144.     

Einbettungen von log Γ durch Scharen spezieller Krull-Normallösungen

Ohne Zusammenfassung

---

Herrn Professor Dr János Aczél zum 60. Geburtstag gewidmet     

Iterations of linear maps over finite fields

We study the dynamics of the evolution of Ducci sequences and the Martin-Odlyzko-Wolfram cellular automaton by iterating their respective linear maps on . After a review of an algebraic characterization of cycle lengths, we deduce the relationship between the maximal cycle lengths of these two maps from a simple connection between them. For n odd, we establish a conjugacy relationship that provides a more direct identification of their dynamics. We give an alternate, geometric proof of the maximal cycle length relationship, based on this conjugacy and a symmetry property. We show that the cyclic dynamics of both maps in dimension 2n can be deduced from their periodic behavior in dimension n. This link is generalized to a larger class of maps. With restrictions shared by both maps, we obtain a formula for the number of vectors in dimension 2n belonging to a cycle of length q that expresses this number in terms of the analogous values in dimension n.     

Theq-gamma function forx<0

F. H. Jackson defined aq analogue of the gamma function which extends theq-factorial (n!) _q =1(1+q)(1+q+q ²)...(1+q+q ²+...+q ^n–1) to positivex. Askey studied this function and obtained analogues of most of the classical facts about the gamma function, for 0<q<1. He proved an analogue of the Bohr-Mollerup theorem, which states that a logarithmically convex function satisfyingf(1)=1 andf(x+1)=[(q ^x –1)/(q–1)]f(x) is in fact theq-gamma function He also studied the behavior of _q asq changes and showed that asq1^–, theq-gamma function becomes the ordinary gamma function forx>0.I proved many of these results forq>1. The current paper contains a study of the behavior of _q (x) forx<0 and allq>0. In addition to some basic properties of _q , we will study the behavior of the sequence {x _n (q)} of critical points asn orq changes.     

Meixner polynomials in several variables satisfying bispectral difference equations

We construct a set _Md${\mathfrak{M}}_d$ whose points parametrize families of Meixner polynomials in d   variables. There is a natural bispectral involution b$\mathfrak{b}$ on _Md${\mathfrak{M}}_d$ which corresponds to a symmetry between the variables and the degree indices of the polynomials. We define two sets of d   commuting partial difference operators diagonalized by the polynomials. One of the sets consists of difference operators acting on the variables of the polynomials and the other one on their degree indices, thus proving their bispectrality. The two sets of partial difference operators are naturally connected via the involution b$\mathfrak{b}$.     

Holomorphic solutions of an inhomogeneous Cauchy equation

Summary We consider the functional equation(x + y) – (x) – (y) = f(x)f(y)h(x + y) and we find all its homomorphic solutionsf, h, defined in a neighbourhood of the origin.     

Further results on supernumary polylogarithmic ladders

Summary With the help of the PARI computer program a number of matters left unresolved from previous work have now been settled. It will be recalled that a ladder is a rational sum of polylogarithms, with predetermined coefficients, of powers of a given algebraic base. The simplest bases considered are the roots in (0, 1) ofu ^p +u ^q = 1 for various integersp andq.. They possess a number of generic results, together with some additional equations, termed supernumary for certain specific values ofp andq. In particular, ladders of the base (see [1]) have been extended to the sixth order, and involve a new index, 60, found by the PARI program. The base from (p, q) = (11, 7) has an additional index 20, and this combines with earlier results to produce a valid ladder. The apparent barren feature of certain equations is now explained in terms of a need to work with a sufficient number of results. It is confirmed that the equation with (p, q) = (5, 3) indeed does not possess any supernumary results.A complete investigation of the smallest Salem number of degree four is given: it possesses results to the 8th order. An introduction is given to similar studies for the smallest known Salem number, which has now been shown to extend to the 16th order.Some ladder results for combined bases are found, with one such formula deducible from a three-variable dilogarithmic functional equation. Formulas of a new type are developed in which summation over conjugate roots enables ladders to be extended fromn = 2 to 3.     

Polylogarithmic functional equations: A new category of results developed with the help of computer algebra (MACSYMA)

The interrelation of polylogarithmic functional equations and certain numerical results, known as ladders, is discussed, and leads to a consideration of three new, single-variable functional equations at the second order. Two of these families each contain six leading terms whose interrelationship constitutes a constraint on the integration process, but the third has only a single leading term with no such constraints. It is shown how this functional equation can be integrated to the third order, and the process reduced to an algorithm — actually a sequence of instructions — for incorporation into a computer program for symbolic manipulation. The procedure utilizes results from Kummer's equations to cancel out, in sequence, terms which do not vanish, or do vanish, with the variablez. Arguments are all of the form ±z ^p (1–z) ^q (1+z) ^r , and the process is algebraicized by using a (p,q,r,s) notation (withs=±1) to represent such terms. Application of the procedure leads to an integration to the fourth and fifth orders, the latter exhibiting 55 transcendental terms. The first step for the transition to the sixth order can also be achieved but the subsequent steps are frustrated by the restricted forms that the Kummer equations take at the fifth order — it is not possible to create the needed equations in a form which vanishes withz; this corresponding to the elimination of the (5) constant in the extension of the numerically determined ladders to the sixth and higher orders. The existence of the higher-order ladders strongly suggests functional equations af these orders, but the present process has not yet been successful in finding them. The new equations have, however, produced ladders that were inaccessible from Kummer's equations, and had heretofore been only obtainable numerically, up to the fifth order. The method which was developed should be capable of generalization to other systems of equations characterized by the appearance of arguments with recurrent factors. Some new feature, however, will need to be determined before the barrier to the sixth order can be breached.     

Supernumary polylogarithmic ladders and related functional equations

Summary The nature of the polylogarithmic ladder is briefly reviewed, and its close relationship to the associated cyclotomic equation explained. Generic results for the base determined by the family of equationsu ^p +u ^q = 1 are developed, and many new supernumary ladders, existing for particular values ofp andq, are discussed in relation to theirad hoc cyclotomic equations. Results for ordersn from 6 through 9, for which no relevant functional equations are known, are reviewed; and new results for the base , where ³ + = 1, are developed through the sixth order.Special results for the exponentp from 4 through 6 are determined whenever a new cyclotomic equation can be constructed. Only the equationu ⁵+u ³ = 1 has so far resisted this process. The need for the constraint (p,q) = 1 is briefly considered if redundant formulas are to be avoided.The equationu ^6m+1 +u ^6r–1 = 1 is discussed and some valid results deduced. This equation is divisible byu ² –u + 1, and the quotient polynomial is useful for constructing cyclotomic equations. The casem = 1,r = 2 is the first example encountered for which no valid ladders have yet been found.New functional equations to give the supernumary -ladders of index 24 are developed, but their construction runs into difficulty at the third order, apparently requiring the introduction of an adjoint set of variables that blocks the extension to the fourth order.A demonstration, based on the indices of existing accessible and supernumary ladders, indicates that functional equations based on arguments ±z ^m (1–z) ^r (1 +z) ^s are not capable of extension to the sixth order.There are some miscellaneous supernumary ladders that seem incapable, at this time, of analytic proof, and these are briefly discussed. In conclusion, applications of ladders are considered, and attention drawn to the existence of ladders with the base on the unit circle giving rise to Clausenfunction formulas which may play an important role inK-theory.     

On a functional equation for Jacobi's elliptic function cn(z; k)

The purpose of this paper is to give a characterization of Jacobi's elliptic function cn(z; k) by use of a functional equation which is a generalization of the cosine functional equation.     

A new characterization of euler's gamma function by a functional equation

This paper gives a new characterization of Euler's gamma function from the aspect of complex analysis. To this end the Gauss multiplication formula is used.