Improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set

We will establish the following improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set: For each k and d, 0 k d, define f(d,k) = d+1 if k = 0 and f(d,k) = max{d+1,2d–2k+2} if 1 k d.Theorem 1. Let S be a compact, connected, locally starshaped set in R^d, S not convex. Then for a k with 0 k d, dim ker S k if and only if every f(d, k) lnc points of S are clearly visible from a common k-dimensional subset of S.Theorem 2. Let S be a nonempty compact set in R^d. Then for a k with 0 k d, dim ker S k if and only if every f (d, k) boundary points of S are clearly visible from a common k-dimensional subset of S. In each case, the number f(d, k) is best possible for every d and k.     

Solution of two sequencing problems

The solution of the following problems is offered. Suppose a multiset J (¦J¦=p) is given. For each pair of elements and J, a number 1 P is given. Moreover, if 1 < x<p then x is undefined. If x=1, then x=p. Problem 1. Find the permutation ₁..._F of elements of the multiset J satisfying the following conditions. Let _i, _i=. If i,j < x, thenj <i. If i,j > x, then i<j. Such a permutation is called a PC-schedule. Problem 2. Find a PC-schedule in which the following property holds: if i < x < j, _i=, _j=, then. Such a PC-schedule is called an SC-schedule. The conditions under which these problems have solutions are studied. For their solution an algorithm of shifts is used with the complexity O(¦B(J)¦²¦J¦).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 124, pp. 44–72, 1983.     

Asymptotic expansion of the spectral function of elliptic operators inR n

Let {E} be the spectral family of the operator corresponding to a self-adjoint second-adjoint second-order elliptic differential equation or to a first-order elliptic system inR ⁿ . The coefficients of the equations are assumed to be constant in a neighborhood of infinity and trapping rays are absent. We obtain the full asymptotic expansion as of the kernel e ¹ (x, y) of the operator dE/d in terms of rays going from the point y into the point x.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 12, pp. 75–87, 1987.     

Brownian motion in a Poissonian potential

We study here ad-dimensional Brownian motion in a random potentialV(·, ) obtained as the sum of translations of a given fixed non negative shape function at the points of a Poisson cloud of constant intensityv. We are interested in the larget behavior for typical cloud configurations, of the Brownian path in timet under the influence of the natural Feynman-Kac weight associated toV(·, ). In particular, we show that the location at timet of the process tends to be concentrated near points of suitably low local eigenvalue of –1/2+V(·,), which lie almost at distancet from the origin. Near these points one can find in the cloud a big hole or clearing of size const(logt)^1/d with volume like a ball of radiusR ₀(d, v)(logt)^1/d .     

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.     

Bounce problem with weak hypotheses of regularity

Summary In this paper the elastic bounce problem is formulated in very general hypotheses. More precisely we consider the motion of a material point constrained to move in a domain R ⁿ, bouncing against its boundary, and we suppose that is neither regular nor convex. Assuming that is in the class of p-convex sets introduced in [4] and C^0,1, an existence theorem is stated.     

Necessary convergence conditions for series ΣαnSn in the case of identically distributed independent random quantities

Necessary (in some cases also sufficient) conditions are obtained for convergence of the series a _n S _n whereS _n = ₁ ⁿ _k k are independent random quantities. The cases in which k are symmetrical or identically distributed quantities are investigated in more detail.Translated from Matematicheskie Zametki, Vol. 20, No. 4, pp. 529–536, October, 1976.     

Testing for Unit Roots in a Nearly Nonstationary Spatial Autoregressive Process

The limiting distribution of the normalized periodogram ordinate is used to test for unit roots in the first-order autoregressive model _st= _s-1,t+_s,t-1- _s-1,t-1+_st. Moreover, for the sequence _n = e ^c/n , _n = e ^d/n of local Pitman-type alternatives, the limiting distribution of the normalized periodogram ordinate is shown to be a linear combination of two independent chi-square random variables whose coefficients depend on c and d. This result is used to tabulate the asymptotic power of a test for various values of c and d. A comparison is made between the periodogram test and a spatial domain test.     

Random polytopes in thed-dimensional cube

LetC ^d be the set of vertices of ad-dimensional cube,C ^d ={(x ₁, ...,x _d ):x _i =±1}. Let us choose a randomn-element subsetA(n) ofC ^d . Here we prove that Prob (the origin belongs to the convA(2d+x2d))=(x)+o(1) ifx is fixed andd . That is, for an arbitrary>0 the convex hull of more than (2+)d vertices almost always contains 0 while the convex hull of less than (2-)d points almost always avoids it.     

Construction of ɛ-nets

LetS be a set ofn points in the plane and let be a real number, 0<<1. We give a deterministic algorithm, which in timeO(n ^–2 log(1/)+ ^–8) (resp.O(n ^–2 log(1/)+ ^–10) constructs an-netNS of sizeO((1/) (log(1/))²) for intersections ofS with double wedges (resp. triangles); this means that any double wedge (resp. triangle) containing more thatn points ofS contains a point ofN. This givesO(n logn) deterministic preprocessing for the simplex range-counting algorithm of Haussler and Welzl [HW] (in the plane).We also prove that given a setL ofn lines in the plane, we can cut the plane intoO( ^–2) triangles in such a way that no triangle is intersected by more thann lines ofL. We give a deterministic algorithm for this with running timeO(n ^–2 log(1/)). This has numerous applications in various computational geometry problems.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

Polynomially convex orbits of compact lie groups

LetV be a finite dimensional complex linear space and letG be a compact subgroup of GL(V). We prove that an orbitG, V, is polynomially convex if and only ifG is closed andG is the real form ofG . For every orbitG which is not polynomially convex we construct an analytic annulus or strip inG with the boundary inG. It is also proved that the group of holomorphic automorphisms ofG which commute withG acts transitively on the set of polynomially convexG-orbits. Further, an analog of the Kempf-Ness criterion is obtained and homogeneous spaces of compact Lie groups which admit only polynomially convex equivariant embeddings are characterized.Supported by Federal program Integratsiya, no. 586.Supported by INTAS grant 97/10170.     

Strong solution for an elastic-plastic plate

Given a regular bounded open set R ²,, >0 andg L ^q () withq>2, we prove, under compatibility and safe load conditions ong, the existence of a minimizing pair for the functional, over closed setsK ² and functionsu C⁰( ) C²(/K); here ¦[Du]¦ denotes the jump ofDu acrossK and ¹ is the 1-dimensional Hausdorff measure.Dedicated to Enrico Magenes for his 70th birthday     

Optimal pairs of incomparable clouds in multisets

We consider the partially ordered set ([k] ⁿ, ), which is defined asn-th product of the chain [k] = {0, 1, 2,...,k – 1}, and study pairs (A, B) of incomparable setsA, B [k] ⁿ, that is,a b, a b for alla A, b B or (in short notation) A BWe are concerned with the growth of the functionsf _n: {0, 1,...,k ⁿ} {0, 1,...,k ⁿ},n , defined byf _n() = max {|B|: A, B [k] ⁿ with|A| = and A B} and a characterisation of pairs (A, B), which assume this bound.In the previously studied casek = 2 our results are considerably sharper than earlier results by Seymour, Hilton, Ahlswede and Zhang.     

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.     

On the Convergence of a Trust-Region Method for Solving Constrained Nonlinear Equations with Degenerate Solutions

This paper presents a trust-region method for solving the constrained nonlinear equation F(x) = 0, x , where R ⁿ is a nonempty and closed convex set, F is defined on the open set containing and is continuously differentiable. The iterates generated by the method are feasible. The method is globally and quadratically convergent under local error bounded assumption on F. The results obtained are extensions of the work of Yamashita Fukushima (Ref. 1) and Fan Yuan (Ref. 2) for unconstrained nonlinear equations. Numerical results show that the new algorithm works quite well.     

Polarizations on Abelian Varieties and Self-dual ℓ-adic Representations of Inertia Groups

It is well known that every finite subgroup of GL _d (Q ) is conjugate to a subgroup of GL _d (Z ). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia type of G is a finite group which has a normal Sylow-p-subgroup with cyclic quotient. We show that if >d+1, and G is a subgroup of Sp _2d (Q ) of inertia type, then G is conjugate in GL _2d (Q ) to a subgroup of Sp _2d (Z ). We give examples which show that the bound is sharp. We apply these results to construct, for every odd prime , isogeny classes of Abelian varieties all of whose polarizations have degree divisible by ². We prove similar results for Euler characteristic of invertible sheaves on Abelian varieties over fields of positive characteristic.     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

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.     

Imbedding of pseudo-Riemannian manifolds in a pseudo-euclidean space

It is proved that every pseudo-Riemannian manifold M _{(p, q)} ⁿ with the C^k metric (3k) has an isometric C^k imbedding in the large in E _{(p, q)} ^{n(n+1)(3n+11)/2} , p(n+1)², q(n+1)².Translated from Matematicheskie Zametki, Vol. 9, No. 2, pp. 193–198, February, 1971.