Interpolation of generalized analytical functions of complex variable

A general approach is proposed to the interpolation of x -analytical functions of a complex variable with an arbitrary –,+[Basis x -analytical functions whose imaginary pan is a polynomial in x, and y are obtained in explicit form.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 58, pp. 3–9, 1986.     

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.     

Zeros in tables of characters for the groups Sn and An

In the representation theory of symmetric groups, for each partition of a natural number n, the partition h() of n is defined so as to obtain a certain set of zeros in the table of characters for S_n. Namely, h() is the greatest (under the lexicographic ordering ) partition among P(n) such that (g) 0. Here, is an irreducible character of S_n, indexed by a partition , and g is a conjugacy class of elements in S_n, indexed by a partition . We point out an extra set of zeros in the table that we are dealing with. For every non self-associated partition P(n), the partition f() of n is defined so that f() is greatest among the partitions of n which are opposite in sign to h() and are such that (g) 0 (Thm. 1). Also, for any self-associated partition of n > 1, we construct a partition () P(n) such that () is greatest among the partitions of n which are distinct from h() and are such that (g) 0 (Thm. 2).Supported by RFBR grant No. 04-01-00463 and by RFBR-BRFBR grant No. 04-01-81001.Translated from Algebra i Logika, Vol. 44, No. 1, pp. 24–43, January–February, 2005.     

The regularity of Lagrangiansf(x, ξ)=254-01254-01254-01with Hölder exponents α(x)

In this paper the regularity of the Lagrangiansf(x, )=||^(x)(1< ₁(x)₂< +) is studied. Our main result: If(x) is Holder continuous, then the Lagrangianf(x, )=f(x, )=||^(x) is regular. This result gives a negative answer to a conjecture of V. Zhikov.Supported by the National Natural Science Foundation of China.     

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.     

A Periodicity Theorem in K-Theory for Finite Covariant Systems

Let A be a complex Banach algebra. In this paper, we prove a periodicity theorem that K(S ² A, G, )K(A, G,), where (A,G,) is a finite covariant system and K(A,G,) is an Abelian group associated with (A,G,).     

K1 of Twisted Rings of Polynomials

We prove that for an arbitrary endomorphism of a ring R the group K1(R[t]) splits into the direct sum of K1(R) and Ñil (r;). Moreover, for any such R and Ñil (R; ) is isomorphic to Ñil (R ; ) for some ring R with : R R – an isomorphism.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

On the Borel-Cantelli lemma

Necessary and sufficient conditions for P(A_n infinitely often) = , [0, 1], are obtained, where {A_n} is a sequence of events such that P(A _n ) = .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 200–207, 1990.     

The embedding of linearly ordered sets

It is shown that if a linearly ordered set B does not contain as subsets sets of order type and ^* then B can be embedded in 2 . We construct an example of a set satisfying the above conditions which cannot be embedded in any 2 if < . Simultaneously we show that for any ordinal, 2 ⁺¹ cannot be embedded in 2 and that there exists at least ₊₁ distinct dense order types of cardinality 2 .Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 83–88, January, 1972.In conclusion, I wish to take the opportunity to thank Yu. L. Ershov for kindness and assistance in this work.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

Phragmén-Lindelöf theorems for second-order quasilinear elliptic equations

Analogues are formulated of the well-known, in the theory of analytic functions, Phragmen-Lindelöf theorem for the gradients of solutions of a broad class of quasilinear equations of elliptic type. Examples are given illustrating the accuracy of the results obtained for the gradients of solutions of the equations of the form div(|U|^–2u)=f(x, u, u), where f(x, u, u) is a function locally bounded in ²ⁿ⁺¹. f(x, 0, u)=0, uf(x, u, u) c¦u¦1+q(1+ ¦u|), > 1, c > 0, q > 0, is an arbitrary real number, and n >- 2. The basic role in the technique employed in the paper is played by the apparatus of capacitary characteristics.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 10, pp. 1376–1381, October, 1992.The author sincerely appreciates E. M. Landis's permanent attention and numerous useful discussions.     

On a new class of multiplicative pseudo-random number generators

In the computing literature, there are few detailed analytical studies of the global statistical characteristics of a class of multiplicative pseudo-random number generators.We comment briefly on normal numbers and study analytically the approximately uniform discrete distribution or (j,)-normality in the sense of Besicovitch for complete periods of fractional parts {x _{0 1} ⁱ /p} on [0, 1] fori=0, 1,..., (p–1)p^–1–1, i.e. in current terminology, generators given byx _{n+1 1} x _n mod p wheren=0, 1,..., (p–1)p ^–1–1,p is any odd prime, (x ₀,p)=1, ₁ is a primitive root modp ², and 1 is any positive integer.We derive the expectationsE(X, ),E(X ², ),E(X _nX_n+k); the varianceV(X, ), and the serial correlation coefficient k. By means of Dedekind sums and some results of H. Rademacher, we investigate the asymptotic properties of k for various lagsk and integers 1 and give numerical illustrations. For the frequently used case =1, we find comparable results to estimates of Coveyou and Jansson as well as a mathematical demonstration of a so-called rule of thumb related to the choice of ₁ for small k.Due to the number of parameters in this class of generators, it may be possible to obtain increased control over the statistical behavior of these pseudo-random sequences both analytically as well as computationally.     

Subclasses of regular and schlicht functions with fixed coefficient

In the open unit disk E={z, ¦z¦<1} we consider the class of regular functions q(z) = 1 + 2(1 = )e¹zⁿ + 2p_n+kz^n+k + ..., Re q(z)>, , [0, 1), [0, 2] and fixed, n, kN; fixing zE, we construct the range of the functional I₀=q(z). We find an analog of V. A. Zmorovich's variational formula for the expression zp'(z) and point out some applications.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 6, pp. 813–820, June, 1991.     

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.     

Eine Verallgemeinerung des Satzes vom abgeschlossenen Wertebereich in lokalkonvexen Räumen

This paper extends Kato's proof [5] of Banach's closed range theorem to locally convex spaces. Thus we consider a locally convex space (E,) and pairs (M,N) of closed subspaces. We call such a pair -open, if and only if there exists a directed, total system of seminorms generating the topology induced by a on M+N, such that the minimal gap _p(M,N)>O for each p. Our main result is a generalisation of the closed range theorem and it consists of statements on relationships between the following properties: (a) M+N -closed, (b) M+N (E,E)-closed, (c) M+N (E,E)-closed, (d) (M,N) -open, (e) (M,N) (E,E)-open, (f) (M,N) (E,E)-open, (g) (M,N) (E,E)-open, (h) M+N=(MN), (i) M+N=(MN).By specialising the space (E,) and the subspaces M,N, our generalisation includes the closed range theorems of Dieudonné and Schwartz [4], Browder [1] and Mochizuki [12]. It is shown that these theorems not only hold for closed linear operators but even for closed linear relations. We are therefore able to obtain closed domain theorems which extend Brown's examinations in Banach-spaces [2] to locally convex spaces.

---

---

Herrn Gottfried Köthe zum 70. Geburtstag am 25.12.1975 gewidmet     

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.     

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.     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

G8 estimator of solutions of systems of linear algebraic equations

For linear forms of regularized solutions (x, c)=Re c' · Re[I + i)+A'A_n ^–1]^–1 A'_nb of systems of equations Ax=b, where A is an n×m matrix, x, c, b are vectors, and _n is a sequence of constants, we propose the estimator , where is any measurable solution of the equation ()Re[1+₁a(())]²+ (₁–₂)(1+₁(gq()))=, a(y)=n^–1 Sp[Iy+^–1Z_s'Z^s+ iI]^–1, , _i=n_n ²_n ^–1s_n ^–1, ⁿ=mI_n ²_n ^–1s_n ^–1, X_i are independent observations on the matrix A. Under certain conditions, it is proved that G₈ is a consistent estimator for n and 0.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 66, pp. 111–119, 1988.