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.     

Joint torsion of Toeplitz operators with H∞ symbols

We give a new² index theorem for the basic example of Toeplitz operators on the circle. The joint torsion, a non zero complex valued analytic index, of a pair of Fredholm Toeplitz operatorsT andT withH symbols is computed by residues in the disk, and is determined by a monodromy integral which specifies the isomorphism class of a flat line bundle on the circle. When the symbols and are rational a product of joint torsions identifies the isomorphism class of the bundle inH ¹ (S ¹,C ^*), and the identification extends by rational approximation to the case of smooth symbols defined on the circle.Partially supported by National Science Foundation grants to both authors.     

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.     

On Interpolation of the Fourier Maximal Operator in Orlicz Spaces

Let and be positive increasing convex functions defined on [0, ). Suppose satisfies the 2-condition, that is, (t)2 (C1t) for sufficiently large t, and has some nice properties. If -1(u)log(u+1) C2-1(u) for sufficiently large uthen we have S*(f) L CfL for all f L ([-, ])where S*(f) is the majorant function of partial sums of trigonometric Fourier series and fL is the Orlicz norm of f. This result is sharp.     

Elliptic boundary-value problems with discontinuous nonlinearities

For a class of elliptic boundary value problems with discontinuous nonlinearities, the existence of strong solutions is established. Two applications are then developed. In particular, one of them is devoted to implicit elliptic equations of the form (–u)=(u), where is a continuous function and has a set of discontinuity points of Lebesgue measure zero. The abstract framework where these problems are studied is that of set-valued analysis.     

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .     

Inclusion statements for operator equations by a continuity principle

The paper is concerned with Range-Domain Implications MvCvK, where M is a given operator and C,K denote given sets. Sufficient conditions are derived by a very general continuity principle. Various special cases are considered such as inverse-positivity, MvMwvw, and a generalization H(,[,])MvH(,[,]) v, where Mu=H(u,u) and [,] denotes an order interval. These results are applied to differential operators related to boundary or initial value problems. The goal is to furnish a simple uniform approach, to explain its application, and to provide a kind of survey on what problems have been treated in this way.     

Free Algebras over Biregularizations of Varieties

Let : F N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of nonnegative integers. An identity of type is called biregular if the sets of variables in and are identical and the sets of fundamental operation symbols in and are identical. If K is a variety of type , we denote by K_b the variety of type defined by all biregular identities from Id(K). K_b will be called the biregularization of K. In this paper we give a representation of free algebras over K_b by means of free algebras over K.     

Asymptotic behaviour of minimum problems with bilateral obstacles

Summary In this paper we study the asymptotic behaviour (as h) of the solutions of minimum problems for the functional [¦Du¦²+g(x, u)]dx with bilateral obstacles of the type _hu_h, where _h and _h are sequences of arbitrary functions fromR ⁿ into ¯R.     

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.

     

Regular homomorphisms of generalized projective planes

A generalized projective plane is an incidence structure together with a relation distant on the set of points and also on the set of lines, such that any two distant points A,B (lines a,b) have a unique common line (A,B) (common point (a,b)) and three further axioms hold. Every commutative ring with 1 supplies a model. A homomorphism of into an incidence structure is called regular if the following condition and its dual are valid: A distant B and c IA,B implies c=(A,B). We shall prove the following two theorems. Let be a generalized projective plane satisfying a richness condition called (U). Let M I m. If and are regular homomorphisms of such that X = M X = M for each point X of the line m then A = B A = B for any two points A,B. If is a projective plane over a commutative ring such that (U) holds then the surjective regular homomorphisms of are induced by the ideals of the ring; in particular, the image of under a regular homomorphism is again a projective plane over a ring, and preserves distant.     

Theorem on a convergence condition in the spaces

For a given -function (u), a condition on a -function (u) is found such that it is necessary and sufficient for the following to hold: if f_n(x) f(x) and f _n (x)M (n=1, 2, ...) where M>0 is an absolute constant, then f _n (x)–f(x)0(n). An analogous condition for convergence in Orlicz spaces is obtained as a corollary.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 615–626, May, 1977.The author thanks V. A. Skvortsov for his constant attention and guidance on this paper.     

A Strong Law for Mixing Random Variables

A sharp almost sure bound is derived for limit points of average sum of weakly dependent random variables, which ensures strong laws of large numbers for and -mixing random variables, without assumptions on rate of tending to zero of and -mixing parameters _n and _n.     

Dilation-analytic wave operators for three particles

Let H(0) be a dilation-analytic three-particle Schrödinger operator with analytic continuation H() (>0). Let a be zero or the energy of a two-particle bound state. Let- (a) be the Laplace operator representing the kinetic energy of the relative motion of fragments scattered in channel a. By recent results, wave operators W (±, a, ) with conjugates W (±, a, ) exist such that W (±, a, ) W (±, a, ) is a projection P (a, ) commuting with H () while [H ()-a]W (±, a, ) equals-W(±, a, ) (a) e²ⁱ. This paper shows that the wave operators transform dilation-analytic functions of particle coordinates into dilation-analytic functions. Specifically, if the left shoulder of the spectrum of P (a,) H () does not sweep across eigenvalues of H() when , then W(-, a, ) and W (+, a, ) are dilation analytic in [, ]. If the right shoulder does not sweep across eigenvalues, W(+, a, ) and W(-, a, ) are dilation analytic in [,]. A semisimple eigenvalue of H () embedded in the spectrum of P (a, ) H () does not prevent the wave operators from being dilation analytic in an interval [, ] with as an interior point.This work was supported in part by the National Science Foundation under grant DMS-8301096.     

Estimation of a sum along an algebraic curve

Let be an algebraic curve determined over a finite field k = [q]; e,x are subsidiary additive and multiplicative characters of the field k;, are functions in determined over k and satisfying some natural conditions. If P passes through the points of curve , rational over k, then where constant C depends only on the powers of ,,.Translated from Matematicheskie Zametki, Vol. 5, No. 3, pp. 373–380, March, 1969.     

An algorithm for constructing an optimal structural schedule

The article is devoted to the problem of finding an optimal schedule for a class of functionals ƒ which allows for the existence of a structural set of activities. The functionalƒ(R), where, is defined in the following way: where {_i(t)} is a structural set of functions, and the function F is defined on any finite set of arguments and satisfies the following conditions: 1)F(x)=(x); 2) F(x₁,x₂)=(x₁,x₂), F(x₁,x₂,...x₃)= (x₁, F(x₂,...,x_s)), S2; 3) and do not decrease in each of their arguments, and moreover, 3a) strictly increases with the increase of both arguments, 3b) if (x₁,x₂)>(x₁, x₂ (x₂, x₃)> (x₂,x₃), then F(x₁,x₂,x₃)>F(x₁,x₂,x₃).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 124, pp. 5–20, 1983.     

Algorithm for a sum of reciprocals

An algorithm is described for the approximate calculation of a collection of sums of the form _k= _j–1 ⁿ c_j/(_j+_k), 1kn, where 0<_j. The working time of the algorithm is 0(n(t+ log n)(t+log n)) if _k calculated to within 2^–t; here the function (l) denotes the time of multiplication of twoZ-bit numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 137, pp. 3–6, 1984.In conclusion, the author expresses thanks to A. O. Slisenko and Yu. A. Kuznetsov, who drew the attention of the author to the problem considered.     

Group Classification of Nonlinear Schrödinger Equations

We propose an approach to problems of group classification. By using this approach, we perform a complete group classification of nonlinear Schrödinger equations of the form i _t + + F(, *) = 0.     

Estimates of groups of deviations of Faber sums and strong summability of faber series on classes of ψ-integrals

We establish upper bounds for a group of *-deviations of Faber sums on the classes of -integrals in a complex plane introduced by Stepanets.Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 4, pp. 451–461, April, 2004.