Sufficient conditions for bang-bang control in Hilbert space

Sufficient conditions for bang-bang and singular optimal control are established in the case of linear operator equations with cost functionals which are the sum of linear and quadratic terms, that is,Ax=u,J(u)=(r,x)+(x,x), >0. For example, ifA is a bounded operator with a bounded inverse from a Hilbert spaceH into itself and the control setU is the unit ball inH, then an optimal control is bang-bang (has norm l) if 0<1/2;A ^–1*r·A ^–1–2, but is singular (an interior point ofU) if >1/2A ^–1*r·A².This work was supported by NRC Grant No. A-4047 and NSF Grant No. GP-7445.     

Joint norm of operators and an investigation of nonlinear problems

Nonlinear operator equations of the form x=Fx in a real-valued Hilbert space H are studied. If the operator F is completely continuous and admits the bound Fx< Bx+b, where B is a continuous linear operator then for B<1 the Schauder principle is applicable to the equation x=Fx and this equation possesses at least one solution x H. If the bound Fx<,B₁x+B₂x+b is valid where B₁ and B₂ are bounded linear operators then the simplest conditions for solvability of the equation x=Fx is of the form B₁+B₂<1. This condition could be relaxed. The proposed method is applied to the investigation of a two-point boundary problem (cf., e.g., [1–3]). New conditions for the existence of solutions are obtained.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 12, pp. 1605–1616, December, 1990.     

Symmetrization of functions in Sobolev spaces and the isoperimetric inequality

A positive measurable function f on R^d can be symmetrized to a function f^* depending only on the distance r, and with the same distribution function as f. If the distribution derivatives of f are Radon measures then we have the inequality f^*f, where f is the total mass of the gradient. This inequality is a generalisation of the classical isoperimetric inequality for sets. Furthermore, and this is important for applications, if f belongs to the Sobolev space H¹,P then f^* belongs to H¹,P and f^*_pf_p.     

Quasi-additive functions

Summary Let 0 < 1 and letX, Y be real normed spaces. In this paper we consider the following functional inequality:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: X Y. Mainly continuous solutions are investigated. In the case whereY = R some necessary and some sufficient conditions for this inequality are given.Let 0 <1. The following functional inequality has been considered in [5]:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: R R. It appeared that the solutions of this inequality have properties very similar to those of additive functions (cf. [1], [2], [3]). The inequality under consideration seems to be interesting also because of its physical interpretation (cf. [5]). In this paper we shall consider this inequality in a more general case, wheref is defined on a real normed space and takes its values in another real normed space.The first part of the paper concerns the general case; in the second part we assume that the range off is inR.     

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.     

Нормаляный поридок аддитявных арифметичыских функций на множестве дсдвинутых” пностых чясел

.      

Ergodic properties of semi-Markovian operators on the Z1-part

Summary In this note we consider a semi-Markovian operator, that is a positive linear mapping T: L ¹ L ¹ such that sup T ⁿ <. We study the behavior of T ⁿ on the Z ¹-part of the space (the disappearing part in Sucheston's terminology). We show in particular, that if the operator T has a non-trivial conservative part in Z ¹, then the ratio theorem must fail.Research supported by the U.S.Army Research Office (Durham) under contract DA-31-124-ARO(D)-288.     

The Cantor-Lebesgue and Denjoy-Luzin properties for double systems of functions

{ _mn ():, =1, 2, ...}, (X, , ). , ( ) , . { _mn }. . — — ( ) .     

Eine Kennzeichnung der nicht fanoschen Rechtseitebenen durch Inzidenz,Parallelität und Kongruenz

Rectangular planes of characteristic 2 in the sense of H. KARZEL [7] will be characterized as incidence spaces with parallelism and congruence .     

Über die Existenz gemeinsamer Elemente bester Approximation bezüglich zweier Normen II

The present paper deals with the possibility of existence of best approximation elements, simultaneously with respect to two norms ·_i,i=1,2, for all the elements of a class of subspaces. In case this class in any of the following: (a) All n-dimensional subspaces, (b) All ·₁-or ·||₂-closed, n-codimensional subspaces, (c) All ·₁-or ·₂-closed subspaces with infinite dimension and codimension, we prove that the two norms differ at most by a constant factor.     

Spectral synthesis on a system of unbounded domains starlike in a common direction

, . . - ₁, ..., ₄, — ; =(₁,)×...×H(₄), — H(₁, ..., H(₄), r H(₁) — , ₁ ; D: HH- . , D. , ₁..., ₄ , (.. z₁ z+te^ia ₁ t>0), W H .     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Perturbation of a self-adjoint operator by a subordinate symmetric operator

The following variant of Rellich's theorem is proved. Let A,B be operators in a Hilbert space, A=A^*, BB^* and D(B)D(A). We assume that (Bu,u)(Au,u), uD(A) for some> –1. Then the operator A + B with domain of definition D(A) is self-adjoint.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 147, pp. 196–198, 1985.     

Some inequalities about the covering radius of Reed-Muller codes

Let R(r, m) be the rth order Reed-Muller code of length 2 ^m , and let (r, m) be its covering radius. We prove that if 2 k m - r - 1, then (r + k, m + k) (r, m + 2(k - 1). We also prove that if m - r 4, 2 k m - r - 1, and R(r, m) has a coset with minimal weight (r, m) which does not contain any vector of weight (r, m) + 2, then (r + k, m + k) (r, m) + 2k(. These inequalities improve repeated use of the known result (r + 1, m + 1) (r, m).This work was supported by a grant from the Research Council of Wright State University.     

Jordan axioms for C*-algebras

A complex Banach spaceA which is also an associative algebra provided with a conjugate linear vector space involution * satisfying (a ²)^*=(a ^*)², aa ^* a=a³ and ab+ba2ab for alla, b inA is shown to be a C^*-algebra. The assumptions onA can be expressed in terms of the Jordan algebra obtained by symmetrization of the product ofA and are satisfied by any C^*-algebra. Thus we obtain a purely Jordan characterization of C^*-algebras.     

Epsilon efficiency

This paper considers the extension of -optimality for scalar problems to vector maximization problems, or efficiency problems, which havem objective functions defined on a set .It is shown that the natural extension of the scalar -optimality concepts [viz, given >0, given a solution setS, ifxS there exists an efficient solutiony with f(x)–f(y), and given an efficient solutiony, there exists anxS with f(x)–f(y)] do not hold for some methods used. Six concepts of -efficient sets are introduced and examined, to a very limited extent, in the context of five methods used for generating efficient points or near efficient points.In doing so, a distinction is drawn between methods in which the surrogate optimizations are carried out exactly, and those where terminal -optimal solutions are obtained.The author would like to thank the referees whose thoroughness was extremely helpful for the revised paper.     

Bases in the spaces C and Lp

In this paper it is proved that for any numbers A and B, 0k(x), k=1, 2, ..., whose graphs lie in the strip 0x1, AyB. It is shown that for the space L_p, p>1, there is no analogous basis in a strip theorem.Translated from Matematicheskie Zametki, Vol. 10, No. 6, pp. 635–640, December, 1971.     

On the uniform (C, 1)-summability of Fourier series and integrability of series with respect to multiplicative orthonormal systems

H (G), f(g)H (G) , (, 1)- OHMC G. , OHMC, A. H. . , . , OHMC, lim supp _n=, , ,n .. . , 117 234 . . -      

On a problem of Tandori

(r _k ) - , +1 –1 1/2. =( _i ) , 0< _{1 p} ... _n ... . (a _i )M. (a _i ) . , [2], .     

Sur les Mesures Simultanement Invariantes Pour les Transformations x » {λx} ET x » {βx}

We show that for reasonable couples of Pisot number and , there is no measure simultaneously invariant by the two transformations of [0, 1], x {x} and x {x}, and Bernoulli (or weak Bernoulli) for one of the transformations.