Reconstructing dimensions of intersections of convex sets

Denoting by dimA the dimension of the affine hull of the setA, we prove that if {K _i:i T} and {K _i ^j :i T} are two finite families of convex sets inR ⁿ and if dim {K _i :i S} = dim {K _i ^j :i S}for eachS T such that|S| n + 1 then dim {K _i :i T} = dim {K _i : {i T}}.     

Efficiency and the uniform linear minorization of convex functions

LetX be a Banach space, and let {f _i:iI} be a family of proper lower semicontinuous convex functions defined onX, each of whose epigraphs meets a fixed bound subset ofX×. We say that {f _i:iI} is uniformly linearly minorized if there exists a positive scalar such that for alliI andxX, we havef _i(x)–(1+x). We present two very different characterizations of uniform linear minorization for such a family. Using one of these, we show that either strong or weak epi-convergence of a sequence of convex functions at some point in the effective domain of the limit implies, uniform linear minorization for the entire sequence.With 1 Figure     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

On the Approximation of Functions on Locally Compact Abelian Groups

Questions of approximative nature are considered for a space of functions L ^p(G, ), 1 p , defined on a locally compact abelian Hausdorff group G with Haar measure . The approximating subspaces which are analogs of the space of exponential type entire functions are introduced.     

Lévy–Khintchine Formula and Dual Convolution Semigroups Associated with Laguerre and Bessel Functions

In this work we consider a system of partial differential operators D ₁,D ₂ on K=[0,+[×R, whose eigenfunctions are the functions (x,t), (x,t)K, =((R0)×N)(0×[0,+[), which are related to the Laguerre functions for ((R 0)×N)(0,0) and which are the Bessel functions for (0×[0,+[). We provide K and with a convolution structure. We prove a Lévy–Khintchine formula on K, which permits us to characterize dual convolution semigroups on .     

Geometric modules and algebraicK-homology theory

Letp: XZ be a continuous map into a (proper) metric space. Using a variation on the geometric modules of Quinn, we associate top (and any reasonable ringR) an additive category (p, R). Mapsp, as above, are the objects of a category on which (-,R) becomes functorial. By composing with an open cone construction, we get a functor which associates to any topological space over a compact Lipschitz space an additive category. Finally, by using the algebraicK-theory spectrum for an additive category, we arrive at a functor which is our main object of study. We show that it is a homology theory in a suitable sense and we derive an Atiyah-Hirzebruch type spectral sequence for its calculation in many cases, including all triangulated objects. On our way, we show that the boundedK-theory of Pedersen and Weibel is essentially a special case of the boundedly controlledK-theory defined earlier by the authors and we establish a close connection, at least philosophically, between the latter theory and the K-theory with -control developed by Chapman, Ferry and Quinn.Partially supported by the NSF under grants numbered DMS-8504320 and DMS-8803149.Partially supported by the SNF (Denmark) under grants numbered 11-7062 and 11-7792.     

On the Measure of a Nonreciprocal Algebraic Number

Let M() be the Mahler measure of an algebraic number and let G() be the modulus of the product of logarithms of absolute values of its conjugates. We prove that if is a nonreciprocal algebraic number of degree d 2 then M()² G()^1/d 1/2d. This estimate is sharp up to a constant. As a main tool for the proof we develop an idea of Cassels on an estimate for the resultant of and 1/. We give a number of immediate corollaries, e.g., some versions of Smyth's inequality for the Mahler measure of a nonreciprocal algebraic integer from below.     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Schrödinger equation. The theorem concerning the ansatz representation of a solution concentrated in a neighborhood of a minimum of the potential

The one-dimensional Schrödinger equation is considered on the segment [–l,l] It is assumed that the potential v(x) of this equation has one minimum v(0)=v(0)=0, v(0)>0 v(x)>0 for x0; v(x)h>0 outside some neighborhood of zero. It is proved that there exists a solution of the form where is a parabolic cylinder function, and is a smooth function which is bounded on [–l,l] together with derivatives through third order by a constant not depending on . The function and the real number E admit a known asymptotic expansion as 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 140, pp. 137–150, 1984.     

Moser-type inequalities in Lorentz spaces

Moser-type estimates for functions whose gradient is in the Lorentz space L(n, q), 1q, are given. Similar results are obtained for solutions uH _inf0 ^sup1 of Au=(f _i ) _{x i} , where A is a linear elliptic second order differential operator and |f|L(n, q), 2q.Work partially supported by MURST (40%).