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.     

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.     

Mengenwertige Masse und Fortsetzungen

Let (, _i) be a probability space for i=1,2 with and : ^m a correspondence, i.e. () is a non-void subset of ^m for all . We give necessary and sufficient conditions under which it holds, that ₂ extends ₁. iff _A d₂ is equal to _A d₁ for all A, where _A d_i is the set of all integrals _A f d_i of functions f: ^m with f()() _i.-a.e.     

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 immersion of metrics close to immersible metrics

For a C^r,-immersion z:X E, r 2, 0 < < 1, of an n-dimensional (n 1) simply-connected C^r+2,-manifold X into Euclidean space E, the metric I(z) induced by z has a neighborhood in C^r,-topology in which every metric from a given subbundle of metrics is C^r,-immersible into E. In particular, it is proved that metric ds ₀ ² of the Riemannian product of p spheres of dimensions ₁, , _p 2 has a neighborhood in C^2,-topology from which any conformally equivalent metric to ds ₀ ² , is immersible into E with dimE = ₁ + + _p + p. The proofs are based on the investigation of a varied system of Gauss—Codazzi—Ricci equations for an infinitely small deformation of surface z(X) in E with a prescribed variation of the metric.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 49–67, 1992.     

Sobolev inequalities on homogeneous spaces

We consider a homogeneous spaceX=(X, d, m) of dimension 1 and a local regular Dirichlet forma inL ² (X, m). We prove that if a Poincaré inequality of exponent 1p< holds on every pseudo-ballB(x, R) ofX, then Sobolev and Nash inequalities of any exponentq[p, ), as well as Poincaré inequalities of any exponentq[p, +), also hold onB(x, R).Lavoro eseguito nell'ambito del Contratto CNR Strutture variazionali irregolari.     

Über das Spektrum des Laplace-Operators in einigen unbeschränkten Gebieten

In this paper we study the eigenvalues of the Laplace operator u on some classes of unbounded regions G. The starting-point of our study is the paper [5] of Vogelsang. Among other things he has proved that the Laplace operator with zero boundary condition has no negative eigenvalues in unbounded regions the boundary of which satisfies (x) · x 0, where (x) is the exterior normal. We prove in this paper similar results of the spectrum, when the condition above is suitably disturbed. Because our main interest lies in replacing the geometric condition (x) · x 0 with another condition, we have studied neither equations with higher orders nor equations with variable coefficients.     

Measures not charging semipolars and equations of schrödinger type

SupposeX is a Borel right process andm is a -finite excessive measure forX. Given a positive measure not chargingm-semipolars we associate an exact multiplicative functionalM(). No finiteness assumptions are made on . Given two such measures and ,M()=M() if and only if and agree on all finely open measurable sets. The equation (q–L)u+u=f whereL is the generator of (a subprocess of)X may be solved for appropriatef by means of the Feynman-Kac formula based onM(). Both uniqueness and existence are considered.Supported in part by NSF Grant DMS 92-24990.     

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.     

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 the E- and MV-optimality of block designs having k≥v

In this paper we consider the problem of determining and constructing E- and MV-optimal block designs to use in experimental settings where treatments are applied to experimental units occurring in b blocks of size k, k. It is shown that some of the well-known methods for constructing E- and MV-optimal unequally replicated designs having k fail to yield optimal designs in the case where . Some sufficient conditions are derived for the E- and MV-optimality of block designs having and methods for constructing designs satisfying these sufficient conditions are given.     

Branching processes,random trees,and a generalized scheme of arrangements of particles

It is shown that the conditional distributions of a number of characteristics of a branching process (t), (0)=m, under the condition that the number of total progeny _m in this process is equal to n, coincide with the distributions of the corresponding characteristics of a generalized scheme of arrangement of particles in cells. In the case where the number of offsprings of a particle has the Poisson distribution, the characteristics of the branching process (t), (0)=1, under the condition that ₁=n+1, coincide with the characteristics of a random tree. By using these connections we obtain in this article a series of limit theorems as n for characteristics of random trees and branching processes under the conditions that _m=n.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 691–705, May, 1977.     

Semilattices of proper inverse semigroups

Given a semilattice Y of inverse semigroups S, there corresponds a semilattice Y of groups G in a natural way. This correspondence is used to study semilattices of proper inverse semigroups. In paticular, it is shown that if S is a semilattice of proper inverse semigroups, then there exists a minimum semilattice congruence such that each -class is proper and there exists a maximum semilattice congruence such that each -class is proper.     

Analytic structures for subnormal operators

For a compactly supported measure on , we construct a mutually absolutely continuous measure so thatP ²() has analytic bounded point evaluations, and the operator of multiplication byz onP ²() has every invariant subspace hyperinvariant. We also construct an equivalent measure so thatR ²(K, ) has as analytic bounded point evaluations precisely the interior of the set of weak-star continuous point evaluations ofR (K, ). In the course of the proof, we classify weak-star closed super-algebras ofR (K, ) whenR(K) is hypo-Dirichlet.     

Formulating Measure Differential Inclusions in Infinite Dimensions

Measure differential inclusions were introduced by J. J. Moreau to study sweeping processes, and have since been used to study rigid body dynamics and impulsive control problems. The basic formulation of an MDI is d / d (t) K(t) where is a vector measure, an unsigned measure, and K() is a set-valued map with closed, convex values and is hemicontinuous. Note that need not be absolutely continuous with respect to . Stewart extended Moreau's original concept (which applied only to cone-valued K()) to general convex sets, and gave strong and weak formulations of d / d (t) K(t) where K(t) R ⁿ . Here the strong and weak formulations of Stewart are extended to infinite-dimensional problems where K(t) X where X is a separable reflexive Banach space; they are shown to be equivalent under mild assumptions on K().     

Dual-orthogonal polynomials

Let (x, ) and (x,) be two functions,x[a, b] and { _j } _j=1 and { _j } _j=1 be two sequences where _{i j} and _{i j} whenij. We define the vector spacesU _k =span{(x, _j )} _j=1 ^k andV _k =span{(x, _j )} _j=1 ^k where we assume thatdim(U _k )=dim(V _k )=k,k1. We then look for the generalized polynomialsp _m xU _m+1\U _m so that _a ^b p _m (x)(x, _j )d(x)=0,j=1,2,...,m. If such generalized polynomials exist for allm1 we say that {p _m } _m=1 is a dual-orthogonal polynomial sequence from {(x, _j )} _j=1 to {(x, _j )} _j=1 with respect to the distribution (x),x[a, b]. In this article we present existence theorems for dual-orthogonal polynomials, explicit formulae forp _m(x), theorems about the zeros ofp _m(x), and, in the end, a Gauss-type quadrature formula for dual-orthogonal polynomials.     

The Eta Invariant and the Connective K-Theory of the Classifying Space for Cyclic 2 Groups

We use the eta invariant to study the connective K-theory groups ko _m (B ) of the classifying space for the cyclic group where - 2 2.     

Random walks in quenched i.i.d. space-time random environment are always a.s. diffusive

We consider a general model of discrete-time random walk X_t on the lattice , = 1,..., in a random environment ={(t,x):(t,x)⁺¹} with i.i.d. components (t,x). Previous results on the a.s. validity of the Central Limit Theorem for the quenched model required a small stochasticity condition. In this paper we show that the result holds provided only that an obvious non-degeneracy condition is met. The proof is based on the analysis of a suitable generating function, which allows to estimate L₂ norms by contour integrals.Partially supported by C.N.R. (G.N.F.M.) and M.U.R.S.T. research funds.Partially supported by C.N.R. (G.N.F.M.) and M.U.R.S.T. research funds, by R.F.F.I. grants n. 99-01-00284, 97-01-00714, and CRDF research funds N RM1-2085.Partially supported by C.N.R. (G.N.F.M.) and M.U.R.S.T. research funds.Mathematics Subject Classification (2000): 60J15, 60F05, 60G60, 82B41     

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