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.     

Translation Invariant Positive Definite Hermitian Bilinear Ultradistributions

Every translation invariant positive definite Hermitian bilinear functional on the Gel'fand-Shilov space sMpMp(n×nK) of general type S is of the form B(,) = (x)(x)d(x), , sMpMp (n), where is a positive {M}-tempered measure, i.e., for every > 0 exp[-M(|x|)] d(x) < . To prove this we prove Schwartz kernel theorem for {M}-tempered ultradistributions and need Bochner-Schwartz theorem for {M}-tempered ultradistributions. Our result includes most of the quasianalytic cases. Also, we obtain parallel results for the case of Beurling type (Mp.     

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.     

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.     

When do Toeplitz and Hankel operators commute?

We completely classify all Toeplitz and Hankel operators which commute; namely, we prove that that a non-trivial Hankel operator and a non-trivial Toeplitz operator commute if and only if the Hankel operator has symbolz, where is the symbol of the Toeplitz operator, and is an affine function of the characteristic function of certain anti-symmetric sets of the unit circle.     

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.     

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.     

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.     

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.     

Regularity of solutions and interfaces of a generalized porous medium equation inR N

Summary We consider the Cauchy problem for the generalized porous medium equation u_t=(u) where u=u(x, t), xRⁿ and t>0, and the initial datum u(x, 0) is assumed to be nonnegative, integrable mid to nave compact support. The nonlinearity (u) is a C¹ function defined for uO which grows like a power of u. Our assumptions generalize the porous medium case, (u)=u^m, m>1, and also include the equation of the Marshak waves. This problem has finite speed of propagation. We estimate the rate of growth of the support of the solution with precise estimates for t 0 and t. Our main result deals with the regularity of the solutions. We show that after a certain time t₀ the pressure, defined by v=(u), with (u)=(u)/u and (0)=0, is a Lipschitz-continuous function of x and t and the interface is a Lipschitz-continuous surface in R^N+1; the solution u is Hölder continuous for all times t> 0.Both authors partially supported by CAICYT, Project 2805-83. The second author also supported by USA-Spain Joint Research Grant CCB-8402023.     

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.     

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 .     

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.     

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.     

Diameters of a class of smooth functions in the space L2

The class V, consisting of the smooth functions f(t), ot1, satisfying the condition ₀ ¹ [f ^(r) (t)]dt1, where the function (t) is nonnegative and r is a natural number, is studied. Under certain restrictions on the function (t) ensuring the compactness of the class V, the order of decrease of the Kolmogorov diameters d_n(V) is computed. The analogous problem for the case r=1 is solved also for functions of several variables.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 671–678, November, 1977.     

The absolute convergence of orthogonal series

We obtain sufficient conditions for the absolute convergence of Fourier series for functions of L _d ² depending on the properties of the function being expanded and the rate of growth of the sums of the system of functions {_k(t)} orthonormalized in [a, b] with respect to d(t). We show that if at some point x [a, b] the function (t) has a discontinuity, at that point the Fourier series of any functionf(t) L _d ² , converges absolutely.Translated from Matematicheskie Zametki, Vol. 12, No. 5, pp. 511–516, November, 1972.     

Büschel linearer Abbildungen

If , , are linear mappings out of a projective space (P,G) into a projective space (P', G') and , then is said to belong to the pencil <,<> of linear mappings spanned by and if in the main (x), (x), (x) are collinear for all x P. We give some sufficient conditions for x P and , , such that (x) is uniquely determined by giving, and (z), z P.

---

---

Herrn Prof. Dr.Helmut Karzel zum 60. Geburtstag gewidmet     

Feller Processes Generated by Pseudo-Differential Operators: On the Hausdorff Dimension of Their Sample Paths

Let {X _t} _t0 be a Feller process generated by a pseudo-differential operator whose symbol satisfiesÇⁿ|q(Ç,)|c(1=)()) for some fixed continuous negative definite function (). The Hausdorff dimension of the set {X _t:tE}, E [0, 1] is any analytic set, is a.s. bounded above by dim E. is the Blumenthal–Getoor upper index of the Levy Process associated with ().