How to cage an egg

Summary This paper proves that given a convex polyhedronP ³ and a smooth strictly convex bodyK ³, there is some convex polyhedronQ combinatorically equivalent toP whichmidscribes K; that is, all the edges ofQ are tangent toK. Furthermore, with some stronger smoothness conditions on K, the space of all suchQ is a six dimensional differentiable manifold.Oblatum 18-V-1991     

Variations on the theme of repeated distances

We give an asymptotically sharp estimate for the error term of the maximum number of unit distances determined byn points in ^{d, d}4. We also give asymptotically tight upper bounds on the total number of occurrences of the favourite distances fromn points in ^{d, d}4. Related results are proved for distances determined byn disjoint compact convex sets in ².At the time this paper was written, both authors were visiting the Technion — Israel Institute of Technology.     

On solvability of linear difference equations in smooth and real analytic vector functions of several variables

We investigate the multidimensional equations _j=1 ^q A_j(x)y(x+e _j )=f(x),e _j ⁿ wherex ⁿ andA _j : ⁿ Hom( ^p , ^m ),f : ^{n m} are given maps. Sufficient conditions for smooth and analytic solvability for anyf C ^k ,k are found.Research partially supported by the Israel Ministry of ScienceAMS classification 39B Functional equations     

Gewichtete Volumsmittelwerte von Simplices,welche zufällig in einem konvexen Körper des ℝ gewählt werden

For any set ofn+1 pointsx ₁, ...,x _n+1F we denote byv(C(x ₁,...,x _n+1)) then-dimensional oriented volume of the convex hullC(x ₁,...,x _n+1) of these points. With a fixed symmetric functionf: >> strictly monotone increasing on the nonnegative real line, we consider the real functional RODEL on the set of all convex bodiesK of ⁿ with absolute volume |v(K)|=1 and assert, that it takes its minimal value on the ellipsoids with absolute volume 1.     

Constraint decomposition algorithms in global optimization

Many global optimization problems can be formulated in the form min{c(x, y): x X, y Y, (x, y) Z, y G} where X, Y are polytopes in ^p , ⁿ , respectively, Z is a closed convex set in ^p+n, while G is the complement of an open convex set in ⁿ . The function c: ^p+n is assumed to be linear. Using the fact that the nonconvex constraints depend only upon they-variables, we modify and combine basic global optimization techniques such that some new decomposition methods result which involve global optimization procedures only in ⁿ . Computational experiments show that the resulting algorithms work well for problems with smalln.     

Asymptotic behaviour of Gaussian random fields

Summary Let X={X(t), t ^N} be a centred Gaussian random field with covariance X(t)X(s)=r(t–s) continuous on ^N×^N and r(0)=1. Let (t,s)=((X(t)–X(s)) ²)^1/2; (t,s) is a pseudometric on ^N. Assume X is -separable. Let D ₁ be the unit cube in ^N and for 0<k, D _k= {x^N: k ^–1 xD₁}, Z(k)=sup{X(t),tD _k}. If X is sample continuous and ¦r(t)¦ =o(1/log¦t¦) as ¦t¦8 then Z(k)-(2Nlogk) ^1/20 as k a.s.     

Computation of exponential integrals

Let P ^d be a convex polyhedron and f: ^d a linear function. One studies the computational complexity of the integral _pexp f(xdx. It is shown that these integrals satisfy nontrivial algebraic relations, which makes possible the construction of polynomial algorithms for certain polyhedra. Examples are given of the application of exponential integrals to the calculation of volume and nonlinear programming.Translated from Zapiski Nauchnykh Seminarov Leningradksogo Otdeleniya Matematicheskogo Instituta im. V. A. Skeklova AN SSSR, Vol. 192, pp. 149–162, 1991.     

Approximate first-order and second-order directional derivatives of a marginal function in convex optimization

Given a convex functionf: ^p × ^q (–, +], the marginal function is defined on ^p by (x)=inf{f(x, y)|y ^q }. Our purpose in this paper is to express the approximate first-order and second-order directional derivatives of atx ₀ in terms of those off at (x ₀,y ₀), wherey ₀ is any element for which (x ₀)=f(x ₀,y ₀).The author is indebted to one referee for pointing out an inaccuracy in an earlier version of Theorem 4.1.     

Embedded minimal annuli solving an exterior problem

Given a compact, strictly convex body in ³ and a closed Jordan curve ³ satisfying several additional assumptions, the existence of a parametric, annulus type minimal surface is proved, which parametrizes along one boundary component, has a free boundary onX along the other boundary component, and which stays in ³. As a consequence of this and a reasoning developed by W. H. Meeks and S. -T. Yau we find an embedded minimal surface with these properties. Another application is the existence of an embedded minimal surface with a flat end, free boundary onX and controlled topology.This article was processed by the author using the LATEX style filepljourlm from Springer-Verlag.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Analogues of hadwiger's theorem in space ℝ n —Sufficient conditions for a convex domain to enclose another

We estimate the kinematic measure of one convex domain moving to another under the groupG of rigid motions in ⁿ . We first estimate the kinematic formula for the total scalar curvature D ₀gD ₁ Rdv of then–2 dimensional intersection submanifold D ₀gD ₁. Then we use Chern and Yen's kinematic fundamental formula and our integral inequality to obtain a sufficient condition for one convex domain to contain another in ⁿ (4). Forn=4, we directly obtain another sufficient condition in ⁴.     

Lototsky-Schnabl operators on compact convex sets and their associated limit semigroups

Given a metrizable compact convex setX of a locally convex Hausdorff space, a positive projectionT:C(X, )C(X, ) and a continuous function :X[0, 1], it is shown that under suitable assumptions there exists a positive contraction semigroup onC(X, ) that can be represented in terms of the Lototsky-Schnabl operators associated withT and . Several properties of this semigroup are investigated. In particular, its infinitesimal generator is determined in a core of its domain. WhenX ^p for somep1, then the generator is shown to be a degenerate elliptic second order differential operator.Dedicated to Professor George Maltese on the occasion of his 60^th birthday     

Complete controllability

A linear autonomous control system in ⁿ is said to be completely controllable iff there existsT>0 such that eachx ⁿ can be steered to anyy ⁿ in timeT. This paper presents a geometric characterization of this property in the case in which there are constraints on the values which the control maps can assume. A necessary and sufficient condition to get instant controllability (i.e., complete controllability for anyT>0) is also derived. This condition generalizes the well-known Kalman condition to the constrained case.     

Perturbation of the Laplacian by the Coulomb potential and a point interaction in L p (ℝ)3

Perturbations of -+/|x| (with >0) by a point interaction centered at zero are defined in L ^p(³). This is done for 3/20 (³{0}), such that the extension is the negative generator of an analytic semigroup on L ^p(³).     

Idempotents of Fourier multiplier algebra

We prove that if the indicator-function1 _E of a measurable setE is a Fourier multiplier in the spaceE ^p () for somep2 thenE is an open set (up to a set of measure zero).     

On local oscillatory integrals with variable Calderón-Zygmund kernels

Letp(1, ). In this paper, the authors investigate the uniformL ^p ( ⁿ ) in of the oscillatory singular integral operatorT defined by

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

On a Class of Convex Sets and Functions

Given a convex subset C of ⁿ, the set-valued mapping C (where 0C is, by convention, the recession cone of C) is increasing on ₊ if and only if C contains the origin, and decreasing on ₊ if and only if C is contained in its recession cone. This simple fact enables us to define a binary operation which combines a concave or convex function on ^m with a convex subset of ⁿ to produce a convex subset of ^n+m. This binary operation is the set theoretic counterpart of a functional operation introduced by the author. In this paper, we present a detailed study of the class of convex subsets which are contained in their recession cones, and we establish some remarkable properties of our binary operation.Mathematics Subject Classifications (2000) 26A51, 26B25, 26E25.     

Fibred links and a construction of real singularities via complex geometry

This note gives a method for constructing real analytic maps from ²ⁿ into ², with an isolated critical point at 0 ²ⁿ , for alln>1. This provides infinite families of real singularities which fiber a la Milnor.Research partially supported by CONACYT, Mexico, grant 1206-E92103.     

Convergence of an upstream finite volume scheme for a nonlinear hyperbolic equation on a triangular mesh

Summary We study here the discretisation of the nonlinear hyperbolic equationu _t +div(vf(u))=0 in ³ × ₊, with given initial conditionu(.,0)=u ₀(.) in ², wherev is a function from ² × ₊ to ² such that divv=0 andf is a given nondecreasing function from to . An explicit Euler scheme is used for the time discretisation of the equation, and a triangular mesh for the spatial discretisation. Under a usual stability condition, we prove the convergence of the solution given by an upstream finite volume scheme towards the unique entropy weak solution to the equation.