A lower closure theorem for abstract control problems withL p-bounded controls

A lower closure theorem for an abstract control problem is proved. The functional isJ(,u)= _G f ⁰(t, (M)(t),u(t))dt and the state equations areN(t)=f(t, (M)(t),u(t)). It is shown that, if {( _k ,u _k)} is a sequence of admissible controlsu _k and corre-sponding trajectories _k such that lim infJ( _k ,u _k)<+ and such that _k weakly,M _k M strongly,N _k N weakly, and {u _k} is bounded in someL _p norm, then there is a controlu such that (,u) is admissible and lim infJ( _k ,u _k)J(,u).Dedicated to Professor M. R. HestenesThis research was supported by the National Science Foundation, Grant No. GP-33551X.     

Constructive methods of approximation by ridge functions and radial functions

Let be a univariant function, and letg(x) be the average of (x,u) asu runs over the unit sphere in ⁿ . We give a necessary and sufficient condition forg to be a kernel function, i.e., thatg be inL ¹ ( ⁿ ) and have integral 1. The result is used to give a constructive proof of the density of the ridge functions based upon the function .     

Isometries of symmetric operator spaces associated with AFD factors of typeII and symmetric vector-valued spaces

If is a surjective isometry of the separable symmetric operator spaceE(M, ) associated with the approximately finite-dimensional semifinite factorM and if · _E(M,) is not proportional to · _{L 2}, then there exist a unitary operatorUM and a Jordan automorphismJ ofM such that(x)=UJ(x) for allxME(M, ). We characterize also surjective isometries of vector-valued symmetric spacesF((0, 1), E(M, )).Research supported by the Australian Research Council     

A constructive approach to the quantum (cosh ϕ)2 model. I. The method of the Gel'fand-Levitan-Marchenko equations

In a Hubert , with the aid of the postulated Gel'fand-Levitan-Marchenko quantum equations, one introduces the fields ₁(x) and ₂(x), which are the quantum analogues of the classical fields cosh (x) and sinh (x) in the sinh-Gordon model. It is shown that the fields _j(x) satisfy the Wightman axioms, including the invariance relative to reflections of space-time and mutual local commutativity. In addition, one proves the asymptotic completeness of the theory and one computes explicitly the scattering operator. In the developed approach, no cut-offs are used and, therefore, there are no renormalization effects.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 146, pp. 147–190, 1985.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

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.     

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.     

Commutative Jacobi fields in Fock space

A jacobi field is understood to be a family (Ã()) of commuting selfadjoint operatorsÃ() acting in a Fock space, having a Jacobi structure, and depending linearly on the test functions . In this article, we give a spectral representation of such a family and outline its applications to the theory of distributions on an infinite dimensional space.This article is dedicated to the memory of my dear teacher Mark G. KreinThe work is partially supported by Fundamental Research Foundation of Ukraine, grant 1.4/62.     

L 2-approximation by the translates of a function and related attenuation factors

Summary Let be thek-dimensional subspace spanned by the translates (·–2j/k),j=0, 1, ...,k–1, of a continuous, piecewise smooth, complexvalued, 2-periodic function . For a given functionfL ²(–, ), its least squares approximantS _kf from can be expressed in terms of an orthonormal basis. Iff is continuous,S _kf can be computed via its discrete analogue by fast Fourier transform. The discrete least squares approximant is used to approximate Fourier coefficients, and this complements the works of Gautschi on attenuation factors. Examples of include the space of trigonometric polynomials where is the de la Valleé Poussin kernel, algebraic polynomial splines where is the periodic B-spline, and trigonometric polynomial splines where is the trigonometric B-spline.     

Errors in approximate solutions of Cauchy's problem for a first-order quasilinear equation

The proximity is investigated of the solution of Cauchy's problem for the equation u _t +((u))_x= u _xx ((u) > 0) to the solution of Cauchy's problem for the equation u_t+ ((u))_x= 0, when the solution of the latter problem has a finite number of lines of discontinuity in the strip 0 t T. It is proved that, everywhere outside a fixed neighborhood of the lines of discontinuity, we have |u–u| C, where the constant C is independent of. Similar inequalities are derived for the first derivatives of u–u.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 309–320, September, 1970.In conclusion we express our gratitude to L. A. Chudov for his valuable advice concerning this work.     

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 .     

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.     

Adjoints of slant Toeplitz operators II

Let be the unit circle {z|z|=1} and _n c _n e ⁱⁿ be a bounded measurable function on . Theslant Toeplitz operator A onL ² ( ) is defined by A e _n ,e _m =c _2m–n for allm, n wheree _n (z)=z ⁿ , . In this paper, we continue the study initiated in [6] onA ^* , the adjoint ofA . Specifically, we will show that for a certain dense set of continuous functions on ,A ^* is similar to some constant multiple of either a shift, or a shift plus a rank one operator.     

Magnetohydrodynamic Couette flow as affected by wall electrical conductances

Zusammenfassung Die Effekte der Veränderung der elektrischen Leitfähigkeit der Wände auf eine magnetohydrodynamische Couetteströmung werden untersucht. Die Untersuchung wird durchgeführt unter der allgemeinen Voraussetzung verschiedener Dicken und Leitfähigkeiten der beiden Wände. Man findet, dass der Einfluss irgendwelcher Wandungsbedingungen durch die sog. elektrischen Leitfähigkeitsverhältnisse _u und _l wiedergegeben werden kann. Für _u = _l werden die Resultate vonLehnert (1952) wiedergefunden, während für _{u l} stark abweichende Geschwindigkeitsprofile erhalten werden.     

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.     

Weakly isomorphic transformations that are not isomorphic

Summary A new method for construction of transformations T _i: (X _i, B _i, _i) , i=1,2, that are factors of each other but that are not measuretheoretically isomorphic is provided. This method uses ergodic product cocycles of the form S ⁱ ₁xS ⁱ ₂x...,, where : XZ ₂ is a cocycle, S belongs to the centralizer of T and T is an ergodic translation on a compact, monothetic group X.     

Line method approximations to the Cauchy problem for nonlinear parabolic differential equations

Summary The Cauchy problemu _t =f(x, t, u, u _x , u _xx ),u(x, o)=(x),xR, is treated with the longitudinal method of lines. Existence, uniqueness, monotonicity and convergence properties of the line method approximations are investigated under the classical assumption that satisfies an inequality |(x)|<=conste ^{Bx 2} . We obtain generalizations of the works of Kamynin [4], who got similar results in the case of the one dimensional heat equation when is allowed to grow likee ^{Bx 2–}, >0, and of Walter [11], who proved convergence in the case of nonlinear parabolic differential equations under the growth condition |(x)|<=conste ^B |x|     

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.     

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.     

Algebraic systems of quadratic forms of number fields and function fields

In this paper we examine for which Witt classes ,..., _n over a number field or a function fieldF there exist a finite extensionL/F and ₂,..., _n L^* such thatT _L/F ()=1 andTr _L/F (_i)=_i fori=2,...n.