Eulerian numbers with fractional order parameters

Summary The aim of this paper is to generalize the well-known Eulerian numbers, defined by the recursion relationE(n, k) = (k + 1)E(n – 1, k) + (n – k)E(n – 1, k – 1), to the case thatn is replaced by . It is shown that these Eulerian functionsE(, k), which can also be defined in terms of a generating function, can be represented as a certain sum, as a determinant, or as a fractional Weyl integral. TheE(, k) satisfy recursion formulae, they are monotone ink and, as functions of , are arbitrarily often differentiable. Further, connections with the fractional Stirling numbers of second kind, theS(, k), > 0, introduced by the authors (1989), are discussed. Finally, a certain counterpart of the famous Worpitzky formula is given; it is essentially an approximation ofx in terms of a sum involving theE(, k) and a hypergeometric function.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Uniqueness of kernel functions of the heat equation

We consider the heat equation on ={(x,t) R ²;t<0, ¦x¦<(–t)} and give the uniqueness of kernel functions at the infinity (see Theorem 5). For the proof, we examine the continuity of the density of the parabolic measure onD ={(x,t);t>x}, closely related to . By this theorem, we can decide the Martin boundary of (<1) with respect to the heat equation.     

Extensions of Laguerre operators in indefinite inner product spaces

The Laguerre-Sonin polynomialsL _n ⁽⁾ are orthogonal in linear spaces with indefinite inner product if<–1. We construct the completion () of this space and describe self-adjoint extensions of the Laguerre operatorl(y)=xy+(1+–x)y,<–1, in the space (). In particular, we write out the self-adjoint extension of the Laguerre operator whose eigenfunctions coincide with the Laguerre-Sonin polynomials and form an orthogonal basis in ().Translated fromMatematicheskie Zametki, Vol. 63, No. 4, pp. 509–521, April, 1998.This research was partially supported by the INTAS foundation under grant No. 93-02449.     

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.     

Quasiclassical asymptotic behavior of the scattering cross section for asymptotically homogeneous potentials

One considers the total scattering cross section on the potential gV(x), x^m, m3, for large values of the coupling constant g and of the wave number k. One assumes that V(x)(x/|1x|)|x|^–, 2>m+1, as ¦x¦. It is shown that for gk^–1 , g^3–ak^2(a–2) the scattering cross section is equal asymptotically to _a(gk^–1), x=(m–1)(–1)^–1. Here the coefficient _a is determined only by the function and the number . Under the additional conditions >0, V>0, the indicated asymptotic behavior holds in the large domain gk^–1 , gk^a–z c(gk^–1), >0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 152, pp. 105–136, 1986.     

Acceleration of convergence for finite element solutions of the Poisson equation

Summary Letu _h be the finite element solution to–u=f with zero boundary conditions in a convex polyhedral domain . Fromu _h we calculate for eachz and ||1 an approximationu _h ^– (z) toD u(z) with |D u(z)–u _h ^– (z)|=O(h ^2k–2) wherek is the order of the finite elements. The same superconvergence order estimates are obtained also for the boundary flux. We need not work on a regular mesh but we have to compute averages ofu _h where the diameter of the domain of integration must not depend onh.     

A result from diophantine approximation which has applications in economics

We say that a real number allows poor approximations if we can find 0<=()<1 and a sequence of integers n₁2<... such that for all rationals p/q with qn. we have |–.p/q| > Kn _j ^–l– where K is a constant depending only on .In this note we prove that the set of numbers which allow poor approximations are precisely the very well-approximable numbers.The existence of numbers with poor approximations has been used by Cheng [1] to show the existence of a dense set of economies whose cone converges to the Walras equilibrium as slowly as 0(n^–1/2–) after n replications.     

Poisson structures on the plane and other powers of volume forms

The hierarchy of formsf(dx ₁...dx _n ) ( fixed) starts with the series A, D, and E. Their singular hypersurfaces admit quasihomogéneous polynomials g as representatives. The dimension of the space of moduli of forms with fixed g is calculated; it is equal to the number of monomials h, for which g(hx) has weight zero. For Poisson structures on the plane (=–1, n=2) this dimension is one less than the number of irreducible components of the curve g=0, i.e., is equal to the number h^1,0 of mixed Hodge structures.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 12, pp. 37–46, 1987.     

Choosing the maximum from a sequence with a discount function

Choosing the maximum value from a sequence ofN independent values is a well known problem often called the candidate problem or secretary problem. This paper treats the above problem with a discount penalty (0<<1) for each additional observation taken. It is shown that asN increases indefinitely, the optimal stopping policy is bounded although the maximum expected payoff goes to zero, and that there exists a sequence 0= ₀<₁<₂<<1, such that the asymptotic optimal stopping rule is the same for all _i–1<_i.     

On Mittag-Leffler functions and related distributions

The distribution F () = 1 – E (–), 0 < 1; 0 , where E (x) is the Mittag-Leffler function is studied here with respect to its Laplace transform. Its infinite divisibility and geometric infinite divisibility are proved, along with many other properties. Its relation with stable distribution is established. The Mittag-Leffler process is defined and some of its properties are deduced.     

Lp-convergence for expansions in terms of the eigenfunctions of a Sturm — Liouville problem

For the operator L_v=–(x^2ay). x [0, 1], y(0)=y(1)=0 with 0 < 1/2, or ¦y¦ < , y(1)=0 with 1/2 <1, we investigate the effect which the singularity of the Sturm-Liouville operator derived from this self-adjoint expression has on L_p-convergence of expansions in terms of the eigenfunctions of this operator. We will prove that the orthonormalized system of eigenfunctions forms a basis in L_p [0, 1] for 2/(2–) < p < 2/.Translated from Matematicheskii Zametki, Vol. 3, No. 6, pp. 683–692, June, 1968.The author is grateful to V. M. Tikhomirov for his many valuable remarks and his constant attention to this work.     

On the improvement per iteration in Karmarkar's algorithm for linear programming

We investigate the decrease in potential at an iteration of Karmarkar's projective method for linear programming. For a fixed step length parameter (so that we must have 0 < 1) the best possible guarantee _n () inn dimensional space is essentially ln 2 0.69; and to achieve this we must take about 1. Indeed we show the precise result that _n () equals ln(1 +)-ln(1 –/(n – 1)) forn sufficiently large. If we choose an optimal step length at each iteration then this guarantee increases only to about ^* 0.72. We also shed some light on the remarkable empirical observation that the number of iterations required seems scarcely to grow with the size of the problem.     

Peak sets for Hölder classes (a counterexample to E. M. Dyn'kin's conjecture)

One constructs a peak set ET of the analytic Hölder class A [where is any number from the interval (0, 1)], for which the functiontdist(t, E)^– is not summable.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 45–54, 1987.     

Conjugate functions of several variables in the class Lip α

It is known that if a function f of a single variable belongs to the class Lip (, C(T)) (0<<1), then its conjugate function also belongs to the same class; in other words, the class Lip (, C(T)) (0<<1) is invariant with respect to the operator of conjugation acting in it. In the two-dimensional case the class Lip (, C(T²)) (0<<1) is no longer invariant with respect to conjugate functions of two variables. Here a final result elucidating the full character of violation of invariance of the class Lip (, C(T^N)) (0<<1) with respect to the multidimensional conjugation operator acting in it is established.Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 361–372, March, 1978.     

Littlewood-paley operators on the generalized Lipschitz spaces

Littlewood-Paley operators defined on a new kind of generalized Lipschitz spaces ₀ ^,p are studied. It is proved that the image of a function under the action of these operators is either equal to infinity almost everywhere or is in ₀ ^,p , where –n<<1 and 1<p<.     

On Negative Orbits of Finite Coxeter Groups

For a Coxeter group W, X a subset of W and a positive root, we define the negative orbit of under X to be {w · | w X} ^–, where ^– is the set of negative roots. Here we investigate the sizes of such sets as varies in the case when W is a finite Coxeter group and X is a conjugacy class of W.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Fundamental equation of information revisited

Summary This paper presents a new, shorter and more direct proof of the following result of J. Aczél and C. T. Ng: IfM: J R (J =]0, 1[ ^k ) is both multiplicative and additive, then the general solution: J R of(x) + M(1 – x)(y/1 – x) = (y) + M(1 – y)(x/1 – y) (x, y, x + y J) is given by(x) = ifM = 0,(x) = M(x)[L(x) + ] + M(1 – x)L(1 – x) ifM 0,where is an arbitrary constant andL: J R is an arbitrary solution of the logarithmic functional equationL(xy) = L(x) + L(y) (x, y J). Also, some extensions of this result to fields more general than the reals are given.     

Lattice points in high-dimensional spheres

LetN(x, n, ) denote the number of integer lattice points inside then-dimensional sphere of radius (an)^1/2 with center at x. This numberN(x,n, ) is studied for fixed,n , andx varying. The average value (asx varies) ofN(x,n, ) is just the volume of the sphere, which is roughly of the form (2 e, ) ^n/2. it is shown that the maximal and minimal values ofN (x,n, ) differ from the everage by factors exponential inn, which is in contrast to the usual lattice point problems in bounded dimensions. This lattice point problem arose separately in universal quantization and in low density subset sum problems.     

A class of non-Moufang Bol loops isomorphic to all their loop isotopes

For any two primes, , such that< and divides–1, it is shown that there exists a non-Moufang Bol loop of order ² which is isomorphic to each of its loop isotopes.