Interior points of convex hulls

If a setX ⊂E ⁿ has non-emptyk-dimensional interior, or if some point isk-dimensional surrounded, then the classic theorem of E. Steinitz may be extended. For example ifX ⊂E ⁿ has int _k X ≠ 0, (0 ≦k≦n) and ifp ɛ int conX, thenp ɛ int conY for someY ⊂X with cardY≦2n−k+1.     

Asymptotic expansions in limit theorems for stochastic processes. II

. For a certain class of families of stochastic processes η^ε(t), 0≤t≤T, constructed starting from sums of independent random variables, limit theorems for expectations of functionals F(η^ε[0,T]) are proved of the form

Two comments on Dvoretzky’s sphericity theorem

For any two positive integersk, l and anyɛ>0 there exists anN(k, l, ɛ) so that given anyl convex bodiesC ₁, …,C _l symmetric about the origin inE ⁿ withn≧N there exists a subspaceE ^k so that eachC _i intersectsE ^k, or has a projection intoE ^k, in a set which is nearly spherical (asphericity <ɛ). The measure of the totality ofE ^k which intersect a given body inE ⁿ in a nearly ellipsoidal set is considered and an affine invariant measure is introduced for that purpose.     

l p n Superspaces of spans of independent random variables

We show that for 1 ≦p < ∞,p ≠ 2, ifɛ > 0 is small enough andX ≦L _p is the span ofn independent Rademacher functions orn independent Gaussian random variables, then any superspaceY ofX satisfyingd(Y,L _p ^m ) ≦ 1 +ɛ has dimension larger thanr ⁿ, wherer =r(ɛ, p) > 1. This forms part of the author’s doctoral dissertation prepared at Texas A&M University under the direction of Professor W. B. Johnson. Supported in part by NSF DMS-85 00764.     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

On semigroups generated by restrictions of elliptic operators to invariant subspaces

Let A be the closed unbounded operator inL _p(G) that is associated with an elliptic boundary value problem for a bounded domainG. We prove the existence of a spectral projectionE determined by the set Γ = {λ;θ ₁≦argλ≦θ ₂} and show thatAE is the infinitesimal generator of an analytic semigroup provided that the following conditions hold: 1<p<∞; the boundary ϖΓ of Γ is contained in the resolvent setp(A) ofA;π/2≦θ<θ ₂≦3π/2 ; and there exists a constantc such that (I)││(λ-A)^-1││≦c/│λ│ for λ∈ϖΓ. The following consequence is obtained: Suppose that there exist constantsM andc such that λ∈p(A) and estimate (I) holds provided that |λ|≧M and Re λ=0. Then there exist bounded projectionE ⁻ andE ⁺ such thatA is completely reduced by the direct sum decompositionL _p(G)=E⁻L_p (G) ⊕E⁺L_p (G) and each of the operatorsAE ⁻ and—AE ⁺ is the infinitestimal generator of an analytic semigroup.     

Subspaces ofL p (G) spanned by characters: 0<p<1

LetG be an infinite compact abelian group,μ a Borel measure onG with spectrumE, and 0<p<1. We show that ifμ is not absolutely continuous with respect to Haar measure, thenL _E ^P (G), the closure inL ^p (G) of theE-trigonometric polynomials, does not have enough continuous linear functionals to separate points. Ifμ is actually singular, thenL _E ^p (G) does not have any nontrivial continuous linear functionals at all. Our methods recover the classical F. and M. Riesz theorem, and a related several variable result of Bochner; they reveal the existence of small sets of characters that spanL ^P (T), where T is the unit circle; and they show that theH ^p spaces of the “big disc algebra” have one-dimensional dual.     

An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

Sur le problème de Plateau pour un quadrilatère variable qui peut acquérir un point double

Résumé Soit Γ un quadrilatère variable, dont deux c?tés opposés A₂A₃, A₁A₄ sont dans les plans x₃=c, x₃=−c. Quand c tend vers0, Γ tend vers un quadrilatèreΓ ⁰ présentant un point double, A⁰. Le travail étudie la représentation conforme sur le demi-plan R(ix)<0 (ou sur le cercle - unité) de la surface minimale ∑ passant par Γ. Il montre (§ I) que si les affixes x de A₁, A₂, A₄ sont 0, 1, ∞, l'affixe de A₃ sera ɛ⁻², où ɛ tend vers 0 avec c. Il étudie (§ II) l'allure pour ɛ tendant vers 0 des intégrales canoniques de l'équation linéaire du problème. La forme de la relation entre ɛ et c est indiquée au n^o 19; on montre que dans la région de striction ɛ |x| reste borné et que la surface ∑ y est assimilable à une surface minimale simple: la surface de vis à filet carré. La représentation conforme de l'une des deux régions de ∑ qui tendent à se séparer l'une de l'autre tend à envahir tout le demi-plan (ou tout le cercle-unité). Les représentations conformes de ∑ pour c>0 et c<0 ne sont pas analytiquement distinctes (n⁰ 20). A titre d'exemple, on étudie (n⁰ 21) le cas où ∑ possède un axe de symétrie. A M. Enrico Bompiani pour son Jubilé scientifique     

Construction of Optimal Cubature Formulas Related to?Computer Tomography

We study the problem of the optimization of approximate integration on the class of functions defined on the parallelepiped Π _d =[0,a ₁]×⋅⋅⋅×[0,a _d ], a ₁,…,a _d >0, having a given majorant for the modulus of continuity (relative to the l ₁-metric in ℝ ^d ). An optimal cubature formula, which uses as information integrals of f along intersections of Π _d with n arbitrary (d−1)-dimensional hyperplanes in ℝ ^d (d>1) is obtained. We also find an asymptotically optimal sequence of cubature formulas, whose information functionals are integrals of f along intersections of Π _d with shifts of (d−2)-dimensional coordinate subspaces of ℝ ^d (d>2).     

Approximation of the effective conductivity of ergodic media by periodization

 This paper is concerned with the approximation of the effective conductivity σ(A, μ) associated to an elliptic operator ∇ _xA (x,η)∇ _x where for xℝ ^d , d≥1, A(x,η) is a bounded elliptic random symmetric d×d matrix and η takes value in an ergodic probability space (X, μ). Writing A ^N (x, η) the periodization of A(x, η) on the torus T ^d _N of dimension d and side N we prove that for μ-almost all η

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

Asymptotic expansions in limit theorems for stochastic processes. – III

For families of processes with independent increments (t), 0tT, with frequent small jumps, limit theorems for expectations of the functionals F([0, T]) are proved of the form where _diD, are positive numbers, A _di are linear integro-differential or differential operators acting on functionals, and some differentiability conditions are imposed on the functional F. The case of power tails of the jump distribution is considered.Mathematics Subject Classification (2000):60F17     

Existence Results for Set-Valued Vector Quasiequilibrium Problems

This paper deals with the set-valued vector quasiequilibrium problem of finding a point (z ₀,x ₀) of a set E×K such that (z ₀,x ₀)∈B(z ₀,x ₀)×A(z ₀,x ₀), and, for all η∈A(z ₀,x ₀),

The number of nearest and farthest points to a compactum in Euclidean space

A typical (in the sense of Baire category) compactA inE, whereE is either the Euclidean spaceE ⁸,s≧2, or the separable Hilbert space ℍ, generates a dense subsetC ^n,m(A) of the underlying space, such that everyx∈C ^n,m(A) has exactlyn nearest andm farthest points fromA, whenevern andm are positive integers satisfyingn+m≦ dimE+2. Research of this author is in part supported by Consiglio Nazionale delle Ricerche, G.N.A.F.A., Italy.     

A singular perturbation free boundary problem for elliptic equations in divergence form

In this paper we study the free boundary problem arising as a limit as ɛ → 0 of the singular perturbation problem , where A = A(x) is Holder continuous, β _ɛ converges to the Dirac delta δ₀. By studying some suitable level sets of u _ɛ, uniform geometric properties are obtained and show to hold for the free boundary of the limit function. A detailed analysis of the free boundary condition is also done. At last, using very recent results of Salsa and Ferrari, we prove that if A and Γ are Lipschitz continuous, the free boundary is a C ^1,γ surface around a.e. point on the free boundary.     

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

SPDEs driven by Poisson random measure with non Lipschitz coefficients: existence results

The article deals with SPDEs driven by Poisson random measure with non Lipschitz coefficients. Let A:E→E be a generator of an analytic semigroup on E, E being a certain Banach space. Let be a stochastic basis carrying an E-valued Poisson random measure η with characteristic measure ν and compensator γ. Let 1≤p≤2. Our point of interest is the existence of solutions to SPDE's of e.g.the following type where g:E→L(E,E ₀) is some mapping satisfying ∫ _E |g(x,z)−g(y,z)| ^p ν(dz)≤C|x−y| ^rp , x,y ∈ E, where 0<r<1 satisfy certain condition specified later and is again a certain Banach space. This work was supported by the Austrian Academy of Science, APART 700 and FWF-Project P17273-N12     

The linear arboricity of graphs

Alinear forest is a forest in which each connected component is a path. Thelinear arboricity la(G) of a graphG is the minimum number of linear forests whose union is the set of all edges ofG. Thelinear arboricity conjecture asserts that for every simple graphG with maximum degree Δ=Δ(G), . Although this conjecture received a considerable amount of attention, it has been proved only for Δ≦6, Δ=8 and Δ=10, and the best known general upper bound for la(G) is la(G)≦⌈3Δ/5⌉ for even Δ and la(G)≦⌈(3Δ+2)/5⌉ for odd Δ. Here we prove that for everyɛ>0 there is a Δ₀=Δ₀(ɛ) so that la(G)≦(1/2+ɛ)Δ for everyG with maximum degree Δ≧Δ₀. To do this, we first prove the conjecture for everyG with an even maximum degree Δ and withgirth g≧50Δ. Research supported in part by Allon Fellowship, by a Bat Sheva de Rothschild grant, by the Fund for Basic Research administered by the Israel Academy of Sciences and by a B.S.F. Bergmann Memorial grant.     

The minimal number of circuits in a finite set inR 2k−1

The minimal number of circuits (i.e., minimal affinely dependent subsets) in a set ofs points inR ^2k−1 isr( ₃ ⁴ )+(k−r)( ₃ ^4⋅1 ) as conjectured by J.-P. Doignon, wheres=qk+r, 0≦r<q.