On the strongly spherical Sasakian metric of a spherical tangent bundle

Let Mⁿ denote an n-dimensional Riemannian manifold. Its metric is called -strongly spherical if at every point Q Mⁿ there exists a -dimensional subspace _Q T_QMⁿ such that the curvature operator of the metric of Mⁿ satisfies R(X, Y) Z = k(< Y, Z > X < X, Z > Y), where k = const > 0, Y _Q , X, Z #x2208; T_QMⁿ. The number is called the index of sphericity and k the exponent of sphericity. The following theorems are proved in the paper.THEOREM 1. Let the Sasakian metric of T₁Mⁿ be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if M² has constant Gaussian curvature K 1 and k = K²/4; b) = 3 if and only if M² has constant curvature K = 1 and k = 1/4; c) = 0, otherwise.THEOREM 2. Let the Sasakian metric of T₁Mⁿ (n Mⁿ) be -strongly spherical with exponent of sphericity k. If k > 1/3 and k 1, then = 0. Let us denote by (Mⁿ, K) a space of constant curvatureK. THEOREM 3. Let the Sasakian metric of T₁(Mⁿ, K) (n 3) be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if K = 1/4; b) = 0, otherwise. In dimension n = 3 Theorem 2 is true for k {1/4, 1}.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 150–159, 1992.     

Weak solutions of the Stokes problem in weighted Sobolev spaces

For n2 we consider the Stokes problem in ⁿ, -u + p=f, -divu=g, in weighted Soboiev spaces H ₆ ^m,r , where the weights are proportional to (1+|x|). We prove the existence of weak solutions for any K, whereK is a discrete set of critical values. Furthermore, we characterize the solutions of the homogeneous problem.This research was supported by the DFG research group Equations of Hydrodynamics, Universities of Bayreuth and Paderborn.     

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.     

A symmetry problem in the calculus of variations

Let be a ball in ^N, centered at zero, and letu be a minimizer of the nonconvex functional over one of the classesC _M := {w W _loc ^1, () 0 w(x) M in,w concave} orE _M := {w W _loc ^1,2 () 0 w(x) M in,w 0 inL()}of admissible functions. Thenu is not radial and not unique. Therefore one can further reduce the resistance of Newton's rotational body of minimal resistance through symmetry breaking.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).     

On the Borel-Cantelli lemma

Necessary and sufficient conditions for P(A_n infinitely often) = , [0, 1], are obtained, where {A_n} is a sequence of events such that P(A _n ) = .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 200–207, 1990.     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

On optimality of spline interpolation for recovery of differentiable functions

W _p ^r (1p<) , . - r -1. =1 r-2.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

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.     

Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

A note on sub-multiplicative norms

Summary IfX is a finite-dimensional linear space andL(X) the linear space of linear operators onX thenL(X) may be represented asXX ^*. IfE={e ₁, ...,e _n } is a basis forX and e _j y _j ^* is a typical element ofXX ^*, then norms can be introduced onL(X) in the form y _j ^* e _j . Given that the norm onX isE-absolute we derive a necessary and sufficient condition for the norm onL(X) to be submultiplicative.     

The functional equation of multiplicative derivation is superstable on standard operator algebras

LetX be a real or complex infinite dimensional Banach space andA a standard operator algebra onX. Denote byB(X) the algebra of all bounded linear operators onX. Let : _{+ +} be a function with the property lim _t (t)t ^–1=0. Assume that a mappingD:A B(X) satisfies D(AB)–AD(B)–D(A)B<(A B) for all operatorsA, B D (no linearity or continuity ofD is assumed). ThenD is of the formD(A)=AT–TA for someTB(X).This work was supported by the Research Council of Slovenia     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

On improved regularity of weak solutions of some degenerate,Anisotropic elliptic systems

Summary We consider a (possibly) vector-valued function u: R^N, Rⁿ, minimizing the integral , 2-2/(n*1)<p<2, whereD _i u=u/x _i or some more general functional retaining the same behaviour, we prove higher integrability for Du: D₁ u,..., D_n–1 u L^p/(p-1) and D_nu L²; this result allows us to get existence of second weak derivatives: D(D₁ u),...,D(D_n–1u)L² and D(D_n u) L _p.This work has been supported by MURST and GNAFA-CNR.     

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.     

Existence of compatible families of proper regular conditional probabilities

Summary Let (, , ) be a perfect probability space with countably generated, and let IB be a family of sub--fields of . Under a countability condition on the family IB, I show that there exists a family {}_IB of regular conditional probabilities which are everywhere compatible. Under a more stringent condition on IB, I show that the can furthermore be chosen to be everywhere proper. It follows that in the Dobrushin-Lanford-Ruelle formulation of the statistical mechanics of classical lattice systems, every (perfect) probability measure is a Gibbs measure for some specification.Research supported in part by NSF PHY-78-23952NSF Predoctoral Fellow (1976–79) and Danforth Fellow (1979–81).     

A preconditioner for constrained and weighted least squares problems with Toeplitz structure

We study methods for solving the constrained and weighted least squares problem min _x by the preconditioned conjugate gradient (PCG) method. HereW = diag (₁, , _m ) with _{1 m} 0, andA ^T = [T ₁ ^T , ,T _k ^T ] with Toeplitz blocksT _l R ^{n × n} ,l = 1, ,k. It is well-known that this problem can be solved by solving anaugmented linear 2 × 2 block linear systemM +Ax =b, A ^T = 0, whereM =W ^–1. We will use the PCG method with circulant-like preconditioner for solving the system. We show that the spectrum of the preconditioned matrix is clustered around one. When the PCG method is applied to solve the system, we can expect a fast convergence rate.Research supported by HKRGC grants no. CUHK 178/93E and CUHK 316/94E.     

Interpolation of generalized analytical functions of complex variable

A general approach is proposed to the interpolation of x -analytical functions of a complex variable with an arbitrary –,+[Basis x -analytical functions whose imaginary pan is a polynomial in x, and y are obtained in explicit form.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 58, pp. 3–9, 1986.     

Quasi-coherence of Hardy spaces in several complex variables

In this paper, we prove that the Hardy spaceH ^p (), 1p<, over a strictly pseudoconvex domain in ⁿ with smooth boundary is quasi-coherent. More precisely, we show that Toeplitz tuplesT with suitable symbols onH ^p () have property (). This proof is based on a well known exactness result for the tangential Cauchy-Riemann complex.