No Arabic abstract
G. Fejes Toth posed the following problem: Determine the infimum of the densities of the lattices of closed balls in $bR^n$ such that each affine $k$-subspace $(0 le k le n-1)$ of $bR^n$ intersects some ball of the lattice. We give a lower estimate for any $n,k$ like above. If, in the problem posed by G. Fejes Toth, we replace the ball $B^n$ by a (centrally symmetric) convex body $Ksubset bR^n$, we may ask for the infimum of all above infima of densities of lattices of translates of $K$ with the above property, when $K$ ranges over all (centrally symmetric) convex bodies in $bR^n$. For these quantities we give lower estimates as well, which are sharp, or almost sharp, for certain classes of convex bodies $K$. For $k=n-1$ we give an upper estimate for the supremum of all above infima of densities, $K$ also ranging as above (i.e., a minimax problem). For $n=2$ our estimate is rather close to the conjecturable maximum. We point out the connection of the above questions to the following problem: Find the largest radius of a cylinder, with base an $(n-1)$-ball, that can be fitted into any lattice packing of balls (actually, here balls can be replaced by some convex bodies $K subset bR^n$, the axis of the cylinder may be $k$-dimensional and its basis has to be chosen suitably). Among others we complete the proof of a theorem of I. Hortobagyi from 1971. Our proofs for the lower estimates of densities for balls, and for the cylinder problem, follow quite closely a paper of J. Horvath from 1970. This paper is also an addendum to a paper of the first named author from 1978 in the sense that to some arguments given there not in a detailed manner, we give here for all of these complete proofs.
For a compact convex set F in R^n, with the origin in its interior, we present a formula to compute the curvature at a fixed point on its boundary, in the direction of any tangent vector. This formula is equivalent to the existing ones, but it is easier to apply.
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical and hyperbolic planes. If in any of these planes, or in ${Bbb R}^2$, there is a pair of closed convex sets with interior points, and the intersections of any congruent copies of these sets are centrally symmetric, then, under some mild hypotheses, our sets are congruent circles, or, for ${Bbb R}^2$, two parallel strips. We prove the analogue of this statement, for $S^d$, ${Bbb R}^d$, $H^d$, if we suppose $C^2_+$: again, our sets are congruent balls. In $S^2$, ${Bbb R}^2$ and $H^2$ we investigate a variant of this question: supposing that the numbers of connected components of the boundaries of both sets are finite, we exactly describe all pairs of such closed convex sets, with interior points, whose any congruent copies have an intersection with axial symmetry (there are 1, 5 or 9 cases, respectively).
We present an alternative approach to some results of Koldobsky on measures of sections of symmetric convex bodies, which allows us to extend them to the not necessarily symmetric setting. We prove that if $K$ is a convex body in ${mathbb R}^n$ with $0in {rm int}(K)$ and if $mu $ is a measure on ${mathbb R}^n$ with a locally integrable non-negative density $g$ on ${mathbb R}^n$, then begin{equation*}mu (K)leq left (csqrt{n-k}right )^kmax_{Fin G_{n,n-k}}mu (Kcap F)cdot |K|^{frac{k}{n}}end{equation*} for every $1leq kleq n-1$. Also, if $mu $ is even and log-concave, and if $K$ is a symmetric convex body in ${mathbb R}^n$ and $D$ is a compact subset of ${mathbb R}^n$ such that $mu (Kcap F)leq mu (Dcap F)$ for all $Fin G_{n,n-k}$, then begin{equation*}mu (K)leq left (ckL_{n-k}right )^{k}mu (D),end{equation*} where $L_s$ is the maximal isotropic constant of a convex body in ${mathbb R}^s$. Our method employs a generalized Blaschke-Petkantschin formula and estimates for the dual affine quermassintegrals.
We define a set inner product to be a function on pairs of convex bodies which is symmetric, Minkowski linear in each dimension, positive definite, and satisfies the natural analogue of the Cauchy-Schwartz inequality (which is not implied by the other conditions). We show that any set inner product can be embedded into an inner product space on the associated support functions, thereby extending fundamental results of Hormander and Radstrom. The set inner product provides a geometry on the space of convex bodies. We explore some of the properties of that geometry, and discuss an application of these ideas to the reconstruction of ancestral ecological niches in evolutionary biology.
We study a long standing open problem by Ulam, which is whether the Euclidean ball is the unique body of uniform density which will float in equilibrium in any direction. We answer this problem in the class of origin symmetric n-dimensional convex bodies whose relative density to water is 1/2. For n=3, this result is due to Falconer.