The continuous solution of a functional equation of Abel

Summary The functional equation(x) + (y) = (xf(y) + yf(x)) (1) for the unknown functionsf, and mapping reals into reals appears in the title of N. H. Abel's paper [1] from 1827 and its differentiable solutions are given there. In 1900 D. Hilbert pointed to (1), and to other functional equations considered by Abel, in the second part of his fifth problem. He asked if these equations could be solved without, for instance, assumption of differentiability of given and unknown functions. Hilbert's question was recalled by J. Aczél in 1987, during the 25th International Symposium on Functional Equations in Hamburg-Rissen. In particular Aczél asked for all continuous solutions of (1). An answer to his question is contained in our paper. We determine all continuous functionsf: I ,: A _f (I × I) and: I that satisfy (1). HereI denotes a real interval containing 0 andA _f (x,y) := xf(y) + yf(x), x, y I. The list contains not only the differentiable solutions, implicitly described by Abel, but also some nondifferentiable ones.Applying some results of C. T. Ng and A. Járai we are able to obtain even a more general result. For instance, the assertion (i.e. the list of solutions) remains unchanged if we replace continuity of and by local boundedness of orf(0)I from above or below. Strengthening a bit the assumptions onf we can preserve a large part of the assertion requiring only the measurability of either orf(0)I.     

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.     

Best approximations of continuous functions by spline functions

An investigation of the approximation on [0, 1] of functionsf (x) by spline functions s(f,; x) of degree 2r-1 and of deficiency r (r>1) depending on the vector function = ₁ (x),..., _r-1(x) and interpolatingf (x) at fixed points. For the optimal choice of the vector ₀, exact estimates are obtained of the norms f(x)-s (f, ₀; x)_C[0,1] and f (x)-s (f, ₀; x)_{L[0, 1]} on the function classes H Translated from Matematicheskie Zametki, Vol. 8, No. 1, pp. 41–46, July, 1970.In conclusion we would like to thank N. P. Korneichuk for suggesting this problem and for his valuable advice.     

The arithmetic of the characteristic Pólya functions

In the framework of the theory of D. Kendall's delphic semigroups are considered problems of divisibility in the semigroup of convex characteristic functions on the semiaxis (0,). Letn ()={:₁¦₁1 or ₁=}, and I_o()={: ₁¦ ₁ N()}. The following results are proved: 1) The semigroup is almost delphic in the sense of R. Davidson. 2) N() is a set of the type G which is dense in (in the topology of uniform convergence on compacta). 3) The class I_o() contains only the function identically equal to one.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 717–725, May, 1977.The author thanks I. V. Ostrovskii for the formulation of the problem and valuable remarks.     

Sur les équations fonctionnelles auxq-différences

Summary In this paper, we study the convergence of formal power series solutions of functional equations of the formP _k(x)(^[k](x))=(x), where ^[k] (x) denotes thek-th iterate of the function.We obtain results similar to the results of Malgrange and Ramis for formal solutions of differential equations: if(0) = 0, and(0) =q is a nonzero complex number with absolute value less than one then, if(x)=a(n)x ⁿ is a divergent solution, there exists a positive real numbers such that the power seriesa(n)q ^sn(n+1)2 x ⁿ has a finite and nonzero radius of convergence.

     

Eigenfunctions of the hyperbolic composition operator

Letu inH ² be zero at one of the fixed points of a hyperbolic Möbius transform of the unit diskD. We will show, under some additional conditions onu, that the doubly cyclic subspaceS _u =V _n=– C ⁿ u contains nonconstant eigenfunctions of the composition operatorC . This implies that the cyclic subspace generated byu is not minimal. If there is an infinite dimensional minimal invariant subspace ofC (which is equivalent to the existance of an operator with only trivial invariant subspaces), then it is generated by a function with singularities at the fixed points of .     

The question of A*-summability of double trigonometric Fourier series

It is proved that for anyf(x, y) L(R), where R=[-,,-, ], a function (x, y), exists such that ¦(x, y) ¦=¦f(x, y) ¦ for almost all (x, y) R. The Fourier series of the function (x, y) and all conjugate trigonometric series are A^*-summable almost everywhere.Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 145–150, February, 1972.     

Kleine Nullstellen homogener quadratischer Gleichungen

Let 0 be a real quadratic form inn variables, which takes on integral values on ⁿ . Denote by the largest coefficient of in absolute value. Suppose vanishes on ad-dimensional rational subspace. It is shown that has a zero (x ₁,...,x _n ⁿ \{(0,...,0)} with max |x _i ^(n-d/2d).     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

Wave operators and similarity of certain non-normal one-parameter groups

This paper starts from a self-adjoint Schrödinger operator H(0) for three particles. If the interaction is dilation-analytic, H(0) has an analytic continuation H() (>0). G(t,) (–(±,a,) defined as strong limits, when t±, of t-dependent operators. The wave operators establish transformations under which the subgroups are similar to unitary groups. The scattering matrix determined by G(t,) is diagonal with respect to a.This work was supported in part by the National Science Foundation under grant DMS-8301096.     

Asymptote of the eigenvalues of a completely continuous operator

It is proved that if(x) is the majorant of the s-numbers of a completely continuous operator A (i.e.,'(x)- 0, S_n(A) (n)) and if there are found numbers [0, 1] and r₀ > 0 such that r⁰ (r)/(r) will be monotonic in (r₀,), then for some > 0,((x) will be a majorant of the eigenvalues of A.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 487–492, October, 1973.     

Invariant measures ofC 2-diffeomorphisms of Markov type inR d

A class of uniformly expanding, piecewiseC ²-diffeomorphisms from domainsIR ^d (bounded or not) into themselves is considered. It is shown that the number of the extreme points of Fix (P )={gG:Pg=g} whereP is the Frobenius-Perron operator associated with andG={gL ¹: g0 g=1}, can be determined in an effective way. Moreover, it is shown that the sequence {P ^j g} is convergent inL ¹ for anygG, and in the topology of uniform convergence for anygG(1). The limit is a linear projectionR inL ¹ (defined by (3.1)) which mapsG onto Fix (P ) (see Th. 3.1).Dedicated to professor A. Lasota on the occasion of his 60th birthday     

The addition formula for theta functions

Summary In this paper we solve the functional equationx(u + v)(u – v) = f ₁(u)g₁(v) + f₂(u)g₂(v) under the assumption thatx, , f ₁, f₂, g₁, g₂ are complex-valued functions onR ⁿ ,n N arbitrary, and 0 and 0 are continuous. Our main result shows that, apart from degeneracy and some obvious modifications, theta functions of one complex variable are the only continuous solutions of this functional equation.     

On an isomorphism problem on the closed-set lattice of a graph

Let (G) and V(G) be, respectively, the closed-set lattice and the vertex set of a graph G. Any lattice isomorphism : V(G)(G) induces a bijection : V(G)V(G) such that for each x in V(G), (x)=x' in V(G') iff ({x})={x'}. A graph G is strongly sensitive if for any graph G' and any lattice isomorphism : (G)(G), the bijection induced by is a graph isomorphism of G onto G'. In this paper we present some sufficient conditions for graphs to be strongly sensitive and prove in particular that all C ₄-free graphs and all covering graphs of finite lattices are strongly sensitive.     

Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

Sûto's method applied to a problem of Färe and Mitchell

Summary A real solution of the functional equation(x + (y – x)) = f(x) + g(y) + h(x)k(y) on a set ² is a 6-tuple (f, g, h, k, , ) of real valued functions such that the equation is identically fulfilled on. Except for cases known before—e.g. when is linear—we present all real solutions in an arbitrary region where the functions have derivatives of second order.     

Quasidiagonal reduction of a class of polynomial matrices

We solve the problem of semiscalar equivalence of polynomial matrices to the Smith canonical form diag(1, (x), ..., (x)) from the condition that the polynomial (x) has simple roots.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 3, 1997, pp. 7–12.     

Conditions under which higher derivatives belong to the classesϕ (L)

In this work we will establish a sufficient condition under which the higher derivatives of 2-periodic absolutely continuous functions belong to the Orlicz classes (L); if(2t)=O((t)) (t ), the condition is also necessary.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 479–486, October, 1973.The author wishes to thank P. L. Ul'yanov for posing the problems in this paper and for helping to prepare the paper for publication.     

Lévy homeomorphic parametrization and exponential families

Summary Let P={P : } be an exponential family of probability distributions with the canonical parameter and consider the one to one mapping : P . It is shown that, under mild regularity assumptions, and ^–1 are continuous with respect to the Lévy metric in P and Euclidean metric in .