Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

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.     

High order approximation of implicitly defined maps

Summary Approximations for the function implicitly defined by (u)=(u, (u)) are obtained via the iterative scheme _n(u)=(u, _n–1(u)). In this paper the uniform convergence of high order derivatives of _n to the corresponding derivatives of is proved. This result yields a high order approximation theorem for the input-output map generated by a nonlinear control system, using linear combinations of iterated integrals of the control.Lavoro eseguito nell'ambito del G.N.A.F.A. del C.N.R.     

Geometry and the Jones projection of a state

LetA be a von Neumann algebra and a faithful normal state. ThenO = { ºAd(g ¹) :g G _A }andU = { ºAd(u ^*) :u U _A are homogeneous reductive spaces. IfA is aC ^* algebra,e the Jones projection of the faithful state viewed as a conditional expectation, then we prove that the similarity orbit ofe by invertible elements ofA can be imbedded inAA in such a way thate is carried to 1 1 and the orbit ofe to a homogeneous reductive space and an analytic submanifold ofAA.     

Spectral properties of certain operators on Hardy spaces of planar regions

If G is any region in the complex plane and H^P (G), 1p, denotes the Hardy space of analytic functions on G, then the principal aim of this paper is to present the spectral properties of the multiplication operators M defined on H^P(G) by Mf=f, where is any bounded analytic function on G. In order to do this, the speccial case in which G is bounded and (z)=z is studied in detail. In addition an operator called the truncation operator that is not a multilication operator and acts on the Hardy spaces of regions of the form /K for a compact set K is studied.Dedicated to the memory of my brotherThis research was partially supported by National Science Foundation grant MCS 83-204-26.     

Wave operators and similarity of certain non-normal one-parameter groups

This paper starts from a self-adjoint Schrödinger operator H(0) for three particles. If the interaction is dilation-analytic, H(0) has an analytic continuation H() (>0). G(t,) (–(±,a,) defined as strong limits, when t±, of t-dependent operators. The wave operators establish transformations under which the subgroups are similar to unitary groups. The scattering matrix determined by G(t,) is diagonal with respect to a.This work was supported in part by the National Science Foundation under grant DMS-8301096.     

Jensen inequalities for functions with higher monotonicities

Summary We investigate generalizations of the classical Jensen and Chebyshev inequalities. On one hand, we restrict the class of functions and on the other we enlarge the class of measures which are allowed. As an example, consider the inequality (J)(f(x) d) A (f(x) d, d d = 1. Iff is an arbitrary nonnegativeL _x function, this holds if 0, is convex andA = 1. Iff is monotone the measure need not be positive for (J) to hold for all convex withA = 1. If has higher monotonicity, e.g., is also convex, then we get a version of (J) withA < 1 and measures that need not be positive.     

On the stability of the transport equation

We consider boundary value problems associated with the equation T=–A in a Hilbert Space, where T and A are bounded, self adjoint, injective, and A has a bounded inverse. We discuss the stability of the solution when A is perturbed by a self adjoint operator.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

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.     

A characterization of multivariate quasi-interpolation formulas and its applications

Summary Let be a compactly supported function on ^s andS () the linear space withgenerator ; that is,S () is the linear span of the multiinteger translates of . It is well known that corresponding to a generator there are infinitely many quasi-interpolation formulas. A characterization of these formulas is presented which allows for their direct calculation in a variety of forms suitable to particular applications, and in addition, provides a clear formulation of the difficult problem of minimally supported quasi-interpolants. We introduce a generalization of interpolation called -interpolation and a notion of higher order quasi-interpolation called -approximation. A characterization of -approximants similar to that of quasi-interpolants is obtained with similar applications. Among these applications are estimating least-squares approximants without matrix inversion, surface fitting to incomplete or semi-scattered discrete data, and constructing generators with one-point quasi-interpolation formulas. It will be seen that the exact values of the generator at the multi-integers ^s facilitates the above study. An algorithm to yield this information for box splines is discussed.Supported by the National Science Foundation and the U.S. Army Research Office     

Invariant measures ofC 2-diffeomorphisms of Markov type inR d

A class of uniformly expanding, piecewiseC ²-diffeomorphisms from domainsIR ^d (bounded or not) into themselves is considered. It is shown that the number of the extreme points of Fix (P )={gG:Pg=g} whereP is the Frobenius-Perron operator associated with andG={gL ¹: g0 g=1}, can be determined in an effective way. Moreover, it is shown that the sequence {P ^j g} is convergent inL ¹ for anygG, and in the topology of uniform convergence for anygG(1). The limit is a linear projectionR inL ¹ (defined by (3.1)) which mapsG onto Fix (P ) (see Th. 3.1).Dedicated to professor A. Lasota on the occasion of his 60th birthday     

Bounded projections and duality on spaces of holomorphic functions in the unit ball ofℂ n

In this paper three Banach spacesA ₀(),A andA ¹() of functions holomorphic in the unit ballB of ⁿ are defined. We exhibit bounded projections fromC ₀(B) ontoA ₀(), fromL ¹(B) ontoA ¹(), and fromL(B) ontoA(). Using these projections, we show thatA ₀()* A ¹() andA ¹()* A().Supported in part by the National Natural Science Foundation of China.     

One functional equation with displacement in the space of continuous functions

In the space of continuous functions defined on a simple continuous contour, we examine the functional equationa(t)(t)+b(t)[(t)]=g(t) A criterion for Eq. (1) being Noetherian is established under the condition that there exist a finite number of fixed points on the first multiplicity in the homeomorphism (t) of the contour onto itself.Translated from Matematicheskie Zametki, Vol. 22, No. 2, pp. 303–311, August, 1977.In conclusion, the author thanks G. S. Litvinchuk for guidance on the work.     

Fubini theorem for anticipating stochastic integrals in Hilbert space

Let (X,l,) be a measure space, letW be a cylindrical Hilbert-Wiener process, and let be an anticipating integrable process-valued function onX. We prove, under natural assumptions on, that there exists a measurable version Y_x,x X, of the anticipating integral of(x) such that the integral _x Y_x(dx) is a version of the anticipating integral of _X (x)(dx). We apply this anticipating Fubini theorem to study solutions of a class of stochastic evolution equations in Hilbert space.     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

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.     

The integrability of conjugate functions

For any functionf of L(0, 2), we prove that there is a function L(0, 2) such that ¦(x)¦ = ¦f(x)¦ almost everywhere and L(0, 2), where is the conjugate of.Translated from Matematicheskie Zametki, Vol. 4, No. 4, pp. 461–465, October, 1968.     

ZurL 2-Bestapproximation eines konvexen Körpers durch einen bewegten konvexen Körper

LetK andL be convex bodies of then-dimensional Euclidean spaceE ⁿ . The -distance ofK andL is defined by , whereh _k andh _L denote the support functions ofK andL restricted to the unit sphereS ^n–1 E ⁿ . We consider the problem of best approximation ofL by the images k ofK under proper rigid motions :E ⁿ E ⁿ . A motion that minimizes ²(K L) is called optimal for (K, L) in the sense of the metric ². The results in the general case (n2 arbitrary) base on the fact that the Steiner points of K andL coincide if is optimal for (K, L). Forn=2 we obtain a relationship between convex convolution bodies and the underlying approximation problem.     

Dense graphs and edge reconstruction

By a well-known result of Nash-Williams if a graphG is not edge reconstructible, then for all ,|A||E(G)| mod 2 we have a permutation ofV(G) such thatE(G)E(G)=A. Here we construct infinitely many graphsG having this curious property and more than edges.Research (partially) supported by Hungarian National Foundation for Scientific Research Grant No.T016389.