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.     

Ü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.     

An error analysis for absolute and relative approximation

We consider the vectorial algorithm for finding best polynomial approximationsp P _n to a given functionf C[a, b], with respect to the norm · _s , defined byp – f _s =w ₁ (p – f)+w ₂ (p – f) A bound for the modulus of continuity of the best vectorial approximation operator is given, and using the floating point calculus of J. H. Wilkinson, a bound for the rounding error in the algorithm is derived. For givenf, these estimates provide an indication of the conditioning of the problem, an estimate of the obtainable accuracy, and a practical method for terminating the iteration.This paper was supported in part by the Canadian NCR A-8108, FCAC 74-09 and G.E.T.M.A.Part of this research was done during the first-named author's visit to theB! Chair of Applied Mathematics, University of Athens, Spring term, 1975.     

On discrete and continuous norms in Paley-Wiener spaces and consequences for exponential frames

It is well known that for certain sequences {t_n}_n the usual L^p norm ·_p in the Paley-Wiener space PW ^p is equivalent to the discrete norm f_p,{tn}:=( _n=– |f(t_n)|^p)^1/p for 1 p = < and f_,{tn}:=sup _n|f(t_n| for p=). We estimate f_p from above by Cf_p, _n and give an explicit value for C depending only on p, , and characteristic parameters of the sequence {t_n}_n. This includes an explicit lower frame bound in a famous theorem of Duffin and Schaeffer.     

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     

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.     

Об отделимости множе ств гиперплоскостью вL p

LetA and be two arbitrary sets in the real spaceL _p, 1p<. Sufficient conditions are obtained for their strict separability by a hyperplane, in terms of the distance between the setsd(A,B) _p=inf{x-y_p,xA,yB} and their diametersd(A) _p, d(B)_p, whered(A) _p=sup{x-y_p; x,yA}. In particular, it is proved that if in an infinite-demensional spaceL _p we haved ^r(A,B)_p>2^–r+1(d^r(A)_p+d^r(B)_p), r=min{p, p(p–1)^–1}, then there is a hyperplane which separatesA andB. On the other hand, the conditiond ^r(A,B)_p=2^–r+1(d^r(A)_p+d^r(B)_p) does not guarantee strict separability. Earlier these results where obtained by V. L. Dol'nikov for the case of Euclidean spaces.     

Stationary Gaussian processes with a finite correlation function

If the correlation function vanishes outside the segment [–R, R], then an upper estimate (uniform with respect to all such processes) is possible for the probability of the fact that on an other segment [–r, r] the process remains between – and . Such an estimate is obtained, decreasing for 0 asexp(–f(r/R ln ²+ ) and, moreover,r/R may be either 0 or +. The proof is based on an estimate of the form P_mQ_n c_mn P_m Q_n for norms of polynomials on a circle in the complex plane.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 279–288, 1990.     

Multidimensional Ostrowski inequalities, revisited

New very general multidimensional Ostrowski type inequalities are established, some of them prove to be sharp. They involve the · and ·_p norms of the engaged mixed partial of nth order n1. In establishing them, other important multivariate results of Montgomery type identity are developed and presented for the first time.     

D'Alembert's functional equation on restricted domains

Summary In the class of functionalsf:X , whereX is an inner product space with dimX 3, we study the D'Alembert functional equationf(x + y) + f(x – y) = 2f(x)f(y) (1) on the restricted domainsX ₁ = {(x, y) X ²/x, y = 0} andX ₂ = {(x, y) X ²/x = y}. In this paper we prove that the equation (1) restricted toX ₁ is not equivalent to (1) on the whole spaceX. We also succeed in characterizing all common solutions if we add the conditionf(2x) = 2f²(x) – 1. Using this result, we prove the equivalence between (1) restricted toX ₂ and (1) on the whole spaceX. This research follows similar previous studies concerning the additive, exponential and quadratic functional equations.     

Lipschitz and darbo conditions for the superposition operator in ideal spaces

Summary In this paper we give necessary and sufficient conditions for the superposition operator Fx(s)=f(s, x(s)) to satisfy a Lipschitz condition Fx₁ - Fx₂kx₁ - x₂ or a Darbo condition (FN)k(N) in ideal spaces of measurable functions, where is the Hausdorff measure of noncompactness. Moreover, we characterize a large class of spaces in which the above mentioned two conditions are equivalent.

---

Sunto In questo lavoro diamo delle condizioni necessarie e sufficienti perchè l'operatore di sovrapposizione Fx(s)=f (s, x(s)) soddisfi alla condizione di Lipschitz Fx₁–Fx₂ kx₁–x₂ o quella di Darbo (FN)k(N) in spazi ideali di funzioni misurabili, ove è la misura di non compattezza di Hausdorff. Inoltre, caratterizziamo un'ampia classe di spazi in cui le suddette due condizioni sono equivalenti.

     

Recurrence and transience for random walks with stationary increments

Summary Let S _n = ₁+...+ _n , n1, be the partial sums of stationary, dependent random variables in ^m . The probability space can be partitioned into I _t I _r , where I _t = {S _n} and I _r ={each S _n is limit point of (S _n)_n1}. This result follows from the inclusion{S _n > for n>0}I _t a.s., which is obtained by using Kac's inequality.     

An asymptotic variant of the Fuglede-Putnam theorem on commutators for elements of Banach algebras

The Fuglede-Putnam theorem (in Moore's asymptotic form) on the commutators of normal operators of a Hilbert space is generalized, in particular, in the following form. Leta ₁,a ₁, b₁ and b₂ be the elements of a complex Banach algebra such that [a ₁ b₁]=[a ₂, b₂]=0 and as . Then the inequality b ₁ x–xb ₂(a ₁ x–xa ₂), where () as 0, holds uniformly in every ball xR<.Translated from Matematicheskie Zametki, Vol. 22, No. 2, pp. 179–188, August, 1977.     

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.     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Some Landau's type inequalities for infinitesimal generators

Summary Lett T(t) be a strongly continuous contraction semigroup on a complex Banach space and letA be its infinitesimal generator. We prove that, forx D(A ³), the following inequalities hold true: Ax³ 243/8 x²A ³ x, A ² x 24 xA ³ x². Ift T(t) is a contraction group (resp. cosine function) we get the analogous but better inequalities with constants 9/8 and 3 (resp. 81/40 and 72/25) instead of 243/8 and 24. We consider also uniformly bounded semigroups, groups and cosine functions.     

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.     

Numerical computation of least constants for the Sobolev inequality

Summary Least constantsc for the well-known Sobolev inequality fcf _{m, G} ,fH ^m (G) are obtained in closed form by a reproducing kernel technique, where the Sobolev spaceH ^m (G) for a domainG in ⁿ is defined as the completion ofC ^m (G) with respect to the Sobolev norm given by , where is the norm ofL ₂ (G) and is the supremum norm onG. Numerical values for the case whereG is the ⁿ are given.     

Quadratic spline interpolation on uniform meshes

The interpolation problem at uniform mesh points of a quadratic splines(x _i)=f _i,i=0, 1,...,N ands(x ₀)=f₀ is considered. It is known that s–f=O(h ³) and s–f=O(h ²), whereh is the step size, and that these orders cannot be improved. Contrary to recently published results we prove that superconvergence cannot occur for any particular point independent off other than mesh points wheres=f by assumption. Best error bounds for some compound formulae approximatingf _i andf _i ⁽³⁾ are also derived.     

Exact bounds for norms of differentiable periodic functions in L metric

Exact values are obtained for the upper bounds on the norms,fL, on the classes W ^(r) H(r =0, 1, 2,...) of r-fold differentiable functions f(x), of periodicity2, for which (f^(r);t)(t),where (t) is a given convex modulus of continuity.Translated from Matematicheskie Zametki, Vol. 2, No. 6, pp. 569–576, December, 1967.