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.     

Decktransformationen transnormaler Mannigfaltigkeiten

For every transnormal m-manifold V (see [3] or [7]) in ⁿ :VW, mapping pV into its normal plane (p) is a covering map onto a submanifold W of the open Grassmannian H_n,n–m of all (n–m)-dimensional planes in ⁿ. The transnormal frame T:=^–1((p)) admits a transitive operation by a group J of isometries. The group action of the covering transformations of (V,,W) on T commutes with the action of J. The elements of J, which are restrictions of covering transformations to T, are exactly the elements of the centre of J. This property is applied to show the existence of nontrivial covering transformations of (V,,W) for n–m3.

---

---

Diese Arbeit faßt die Kapitel 5, 6 und 7 der von der Fakultät für Allgemeine Ingenieurwissenschaften der TU Berlin genehmigten Dissertation [6] zusammen.     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

Multidimensional Hardy inequalities and the absence of positive eigenvalues for the Schrödinger operator with a complex potential

The operator –(d/dx)²+ where is a complex function, |J(x)(1+|x|¹⁺|>, has no positive eigenvalues. This follows from the existence of a triangular Green function for the operator –(d/dx)^z–,gl>0, and from Hardy type inequalities. We give the multidimensional analogues of these inequalities and we prove the absence of positive eigenvalues for the operator –+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 138, pp. 33–34, 1984.     

Aperture-Angle Optimization Problems in Three Dimensions

Let [a,b] be a line segment with end points a, b and a point at which a viewer is located, all in R ³. The aperture angle of [a,b] from point , denoted by (), is the interior angle at of the triangle (a,b,). Given a convex polyhedron P not intersecting a given segment [a,b] we consider the problem of computing _max() and _min(), the maximum and minimum values of () as varies over all points in P. We obtain two characterizations of _max(). Along the way we solve several interesting special cases of the above problems and establish linear upper and lower bounds on their complexity under several models of computation.     

Geometric methods in the study of irregularities of distribution

Let be a signed measure on E ^d with E ^d =0 and ¦¦E^d<. DefineD _s() as sup ¦H¦ whereH is an open halfspace. Using integral and metric geometric techniques results are proved which imply theorems such as the following.Theorem A. Let be supported by a finite pointsetp _i. ThenD _s()>c _d(₁/ ₂)^1/2{ _{i(p i})²}^1/2 where ₁ is the minimum distance between two distinctp _i, and ₂ is the maximum distance. The numberc _d is an absolute dimensional constant. (The number .05 can be chosen forc ₂ in Theorem A.)Theorem B. LetD be a disk of unit area in the planeE ², andp ₁,p ₂,...,p _n be a set of points lying inD. If m if the usual area measure restricted toD, while nP _i=1/n defines an atomic measure _n, then independently of _n,nD _s(m – _n) .0335n ^1/4. Theorem B gives an improved solution to the Roth disk segment problem as described by Beck and Chen. Recent work by Beck shows thatnD _s(m – _n)cn ^1/4(logn)^–7/2.     

Weak Sequential Completeness of β-duals of Double Sequence Spaces

We consider dual pairs E,E ⁽⁾ of double sequence spaces E and E ⁽⁾, where E ⁽⁾ is the -dual space of E with respect to the -convergence of double sequences for = p (Pringsheim convergence), bp (bounded p-convergence) and r (regular convergence). Motivated by Boos, Fleming and Leiger [3], we introduce two oscillating properties (signed P_OSCP(k), k {1,2}) for a double sequence space E such that the signed P_OSCP(1) guarantees the (E ^(p), E)-sequential completeness of E ^(p), whereas the signed P_OSCP(2) implies the equalities E ^(r) = E ^(bp) = E ^(p) and the (E ⁽⁾, E)-sequentialcompleteness of E ⁽⁾ for = bp and r.     

Generalization of some classical inequalities in the theory of orthogonal series

Let {X_i} _– be a sequence of random variables, E(X_i) 0. If 1, estimates for the -th moments can be derived from known estimates of the -th moment. Here we generalized the Men'shov-Rademacher inequality for =2 for orthonormal X_i, to the case 1 and dependent random variables. The Men'shov-Payley inequality >2 for orthonormal X_i) is generalized for >2 to general random variables. A theorem is also proved that contains both the Erdös -Stechkin theorem and Serfling's theorem withv > 2 for dependent random variables.Translated from Matematicheskie Zametki, Vol. 17, No. 2, pp. 219–230, February, 1975.This article was written while the author was working in the V. A. Steklov Mathematics Institute, Academy of Sciences of the USSR.     

A Stability Estimate for a Solution to the Problem of Determination of Two Coefficients of a Hyperbolic Equation

We consider the problem of determination of two coefficients (x) and q(x) in a hyperbolic equation. Here (x) is the coefficient of the first derivative with respect to t and q(x) is the coefficient of the solution itself. We suppose that these coefficients are small in some norm and supported in a disk D. Oscillations are excited by the impulse function (t)(x·) supported on the straight line t=0, x·=0. Here is a unit vector playing the role of a parameter of the problem. The acoustic field generated by this source lying outside D is measured at the points of the boundary of D together with the normal derivative on some time interval of a fixed length T for two different values of the parameter . We prove that, for a sufficiently large T, the given information determines the sought coefficients uniquely. We obtain a stability estimate for a solution to the problem.     

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.     

Compact Toeplitz operators via the Berezin transform on bounded symmetric domains

Let be an irreducible bounded symmetric domain of genusp, h(x, y) its Jordan triple determinant, andA ² () the standard weighted Bergman space of holomorphic functions on square-integrable with respect to the measureh(z, z) ^–p dz. Extending the recent result of Axler and Zheng for =D, =p=2 (the unweighted Bergman space on the unit disc), we show that ifS is a finite sum of finite products of Toeplitz operators onA ² () and is sufficiently large, thenS is compact if and only if the Berezin transform ofS tends to zero asz approaches . An analogous assertion for the Fock space is also obtained.The author's research was supported by GA AV R grant A1019701 and GA R grant 201/96/0411.     

Effilement minimal en une singularité isolée de l'équation de Schrödinger et application au principe de Picard

In this paper, the generalized Schrödinger equation (–)u=0 on the punctured unit disk of ² is investigated. If is rotation free and satisfies the Picard principle at the origin, it is shown that if a setE is minimal thin relatively to an extremal harmonic functionh with zero boundary values at {|x|=1}, there exists a sequence (r _n ) converging to zero such that B(O,r _n ) C E. Lete be the -unit. It is proved that if a measure satisfies _\E e h d<, for a minimal thin, relatively toh , setE then the Picard principle is valid for the measure + .

     

The Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes

The Kronecker product of two Schur functions s and s , denoted by s * s , is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group corresponding to the partitions and . The coefficient of s in this product is denoted by , and corresponds to the multiplicity of the irreducible character in .We use Sergeev's Formula for a Schur function of a difference of two alphabets and the comultiplication expansion for s [XY] to find closed formulas for the Kronecker coefficients when is an arbitrary shape and and are hook shapes or two-row shapes.Remmel (J.B. Remmel, J. Algebra 120 (1989), 100–118; Discrete Math. 99 (1992), 265–287) and Remmel and Whitehead (J.B. Remmel and T. Whitehead, Bull. Belg. Math. Soc. Simon Stiven 1 (1994), 649–683) derived some closed formulas for the Kronecker product of Schur functions indexed by two-row shapes or hook shapes using a different approach. We believe that the approach of this paper is more natural. The formulas obtained are simpler and reflect the symmetry of the Kronecker product.     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Ausstrahlungsproblem des Laplace-Operators für eine Klasse der Gebiete mit unbeschränktem Rand

In this paper we prove the existence and uniqueness of a solution u satisfying the equation- u – k² y = f (k , k 0), homogeneous Dirichlet data on the boundary and a radiation condition at infinity. We consider this problem in some unbounded region with an infinite boundary for which the assumption (x) · (x) 0 holds; here denotes the exterior normal and a given field.     

On a construction related to the non-abelian tensor square of a group

LetG andG be isomorphic groups. We introduce and study a quotient (G) of the free productG *G which is a group extention of the non-abelian tensor squareG G. This seems to bring computational advantages to calculate this last group. Looking over as an operator in the class of groups we prove that it preserves properties of the argumentG such as finiteness, set of prime divisors, nilpotency and solvability. For a finitep-groupG we find a good polynomial bound for the order of (G).     

Integral points on strictly convex closed curves

A negative answer is given to Swinnerton-Dyer's question: Is it true that for any > 0 there exists a positive integer n such that for any planar closed strictly convex n-times differentiable curve , when it is blown up a sufficiently large number of times, the number of integral points on the resultant curve will be less than . An example has been constructed when this number for an infinite number is not less than ^1/2, while is infinitely differentiable.Translated from Matematicheskie Zametki, Vol. 21, No. 6, pp. 799–805, June, 1977.The author thanks S. B. Stechkin for attention to the work.     

Formule d'Itô pour des Diffusions Uniformément Elliptiques,et Processus de Dirichlet

Soit X une diffusion uniformément elliptique sur R ^d ,F une fonction dans H _loc ¹(R ^d ) et la loi initiale de la diffusion. On montre que si l'intégrale |F|²(x)U(x)dx est finie, oùU désigne le potentiel de la mesure , alors F(X) est un processus de Dirichlet. Si de plus, F appartient àH ² _loc(R ^d ) et si les intégrales |F|²(x)U(x)dx et |f _k |²(x)U(x)dx sont finies, pour les dérivées faibles f _k de F, alors on peut écrire une formule d'Itô. En particulier, on définit l'intégrale progressive F(X)dX et on prouve l'existence des covariations quadratiques [f _k (X),X ^k ].     

On the Riemann–Hilbert Problem in the Domain with a Nonsmooth Boundary

The following Riemann–Hilbert problem is solved: find an analytical function <> from the Smirnov class E ^p(D), whose angular boundary values satisfy the condition The boundary of the domain D is assumed to be a piecewise smooth curve whose nonintersecting Lyapunov arcs form, with respect to D, the inner angles with values , 0 < 2.     

An automatic integration procedure for infinite range integrals involving oscillatory kernels

Let the real functionsK(x) andL(x) be such thatM(x)=K(x)+iL(x)=e^ix g(x), whereg(x) is infinitely differentiable for all largex and is non-oscillatory at infinity. We develop an efficient automatic quadrature procedure for numerically computing the integrals _a K(t)f(t) and _a L(t)f(t)dt, where the functionf(t) is smooth and nonoscillatory at infinity. One such example for which we also provide numerical results is that for whichK(x)=J (x) andL(x)=Y (x), whereJ (x) andY (x) are the Bessel functions of order . The procedure involves the use of an automatic scheme for Fourier integrals and the modified W-transformation which is used for computing oscillatory infinite integrals.