Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

An isolation theorem for decomposable forms of purely real algebraic fields of degree n⩾3

Let M be a complete module of a purely algebraic field of degree n3, let be the lattice of this module and let F(X) be its form. By we denote any lattice for which we have = , where is a nondiagonal matrix satisfying the condition ¦-I¦ , I being the identity matrix. The complete collection of such lattices will be denoted by {}. To each lattice we associate in a natural manner the decomposable form F(X). The complete collection of forms, corresponding to the set {}, will be denoted by {F} It is shown that for any given arbitrarily small interval (N–, N+), one can select an such that for each F(X) from {F} there exists an integral vector X₀ such that N– < F(X₀) < N+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 167–171, 1981.     

Effect of submicroscopic crack formation and relaxation phenomena in polymers

The development of submicrocracks and the changes taking place in their concentration during loading and unloading cycles were studied by the low-angle x-ray scattering method in oriented amorphous-crystalline polymers (capron and polypropylene). The deformation () of the polymers was compared with the changes in submicrocrack concentration (N_cr).A. F. Ioffe Physicotechnical Institute, Academy of Sciences of the USSR, Leningrad. Translated from Mekhanika Polimerov, No. 3, pp. 387–392, May–June, 1970.     

S-Continued Fraction Method for the Investigation of a Complex Dielectric Constant of Two-Components Composite

The aim of this contribution is to examine the S-continued fraction method of obtaining bounds on the effective dielectric constant _e of a two-phase composite for the case where the dielectric coefficients ₁and ₂ of both components are either complex or real. The starting point for our study is a power expansion of _e (z) at(z)=0 (z)=₂/₁-1. The obtained S-continued fraction bounds have an interesting mathematical structure convenient for theoretical and numerical investigations of _e. They also agree with the earlier estimations reported by Bergman and Milton. Specific examples of calculation of bounds on _e by theS-continued fraction method are also provided.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Stability of Regularized Bilevel Programming Problems

A bilevel programming problem S is considered. First, sufficient conditions of minimal character are given on the data of the problem in order to guarantee the lower semicontinuity of the marginal function of the upper level problem. Then, for >0, a regularized problem S() is considered for which continuity of the regularized marginal function and convergence of the approximate value, as goes to zero, are obtained. Moreover, under perturbations on the data, convergence results for the perturbed marginal functions and the solutions to the problem S _n() are given for any >0.     

Sharp Large Deviation Estimates for the Stochastic Heat Equation

We consider the family {X , 0} of solution to the heat equation on [0,T]×[0,1] perturbed by a small space-time white noise, that is _t X = X +b({X })+({X }) . Then, for a large class of Borelian subsets of the continuous functions on [0,T]×[0,1], we get an asymptotic expansion of P({X }A) as 0. This kind of expansion has been handled for several stochastic systems, ranging from Wiener integrals to diffusion processes.     

On the distribution of comparisons in sorting algorithms

We considered the following natural conjecture: For every sorting algorithm every key will be involved in(logn) comparisons for some input. We show that this is true for most of the keys and prove matching upper and lower bounds. Every sorting algorithm for some input will involven–n /2+1 keys in at leastlog₂ n comparisons,>0. Further, there exists a sorting algorithm that will for every input involve at mostn–n ^/c keys in greater thanlog₂ n comparisons, wherec is a constant and>0. The conjecture is shown to hold for natural algorithms from the literature.     

The discrete maximum principle and the ɛ-technique

A complete proof of the -maximum principle for discrete-time system is given. In proving the -maximum principle, the general linearization of the system equations about the optimum trajectory is avoided. Therefore, the requirements for the system equations are different from those of earlier works. It is shown that the -maximum principle under some mild conditions does approach the general discrete maximum principle and that the -maximum principle is always in a strong form. Thus, if is sufficiently small, the -problem can approximate the solution of the original problem and the difficulties inherent in abnormal problems can be avoided. It is also pointed out that the indeterminancy in the singular control problem can be avoided by using the -technique.This research was supported in part by AFOSR Grant No. AF-AFOSR-F44620-68-C-0023 and NSF Grant No. GK-5608.     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

Lower semicontinuity of attractors of gradient systems and applications

Summary For 0₀, let T(t), t0, be a family of semigroups on a Banach space X with local attractors A. Under the assumptions that T₀(t) is a gradient system with hyperbolic equilibria and T(t) converges to T₀(t) in an appropriate sense, it is shown that the attractors {A, 0₀} are lower-semicontinuous at zero. Applications are given to ordinary and functional differential equations, parabolic partial differential equations and their space and time discretizations. We also give an estimate of the Hausdorff distance between A and A₀, in some examples.Research supported by U.S. Army Research Office DAAL-03-86-K-0074 and the National Science Foundation DMS-8507056.     

On the Rate of Clustering to the Strassen Set for Increments of the Uniform Empirical Process

We obtain outer rates of clustering in the functional laws of the iterated logarithm of Deheuvels and Mason⁽¹¹⁾ and Deheuvels,⁽⁷⁾ which describe local oscillations of empirical processes. Considering increment sizes a _n 0 such that na _n and na _n(log n)^–7/3 we show that the sets of properly rescaled increment functions cluster with probability one to the _n-enlarged Strassen ball in B(0, 1) endowed with the uniform topology, where _n 0 may be chosen so small as (log (1/a _n) + log log n)^–2/3 for any sufficiently large . This speed of coverage is reduced for smaller a _n.     

Famiglie di dischi analitici con bordo su sottovarietàCR non generiche

Summary In this work the authors prove that all sufficiently small analytic discs in the tangent space of a non generic embedded CR manifold MC^N (M at least of class C⁴) can be lifted uniquely to analytic discs in C^N with boundaries on M Moreover if M is real analytic or C then real analytic or C discs lift without loss of derivatives. If M is of class C^K then there is a 1+ loss of derivatives in the lifting. A stability result is also proven.     

Lifting-Probleme für Vektorfunktionen und ⊗-Sequenzen

In this article the topologically exact sequences of locally convex spaces are characterized for which for every locally convex space F the map id : FE F Q is a homomorphism, or equivalently, the map id L : FK F E is a topological injection. This is motivated by the problem of lifting Q-valued functions with certain given properties to E-valued functions with the same or slightly weaker properties, which may also be considered as the investigation of parameter dependences of solutions of linear (differential) equations. Applications to partial differential equations and to Fredholm functions are given.     

Sharp regularity theory for second order hyperbolic equations of Neumann type

Summary We consider the mixed problem for a general, time independent, second order hyperbolic equation in the unknown u, with datum g L₂() in the Neumann B.C., with datum f L₂(Q) in the right hand side of the equation and, say, initial conditions u₀=u₁=0. We obtain sharp regularity results for u in Q and ù| in , by a pseudo-differential approach on the half-space.Research partially supported by the National Science Foundation under Grants DMS-83-016668 and DMS-87-96320.     

Integration par parties dans l'espace de Wiener et approximation du temps local

Summary Let be a real-valued stochastic process having a continuous local timeL(u,t),u —, 0tT andX (t) = ( *X)(t),t 0, the regularization ofX by means of the convolution with the approximation of unity . The main theorem in this paper (Theorem 3.5) is a generalization of various results about the approximation (for fixedu) of the local timeL(u, ) by means of a convenient normalization of the numberN ^X (u;) of crossings of the processX with the levelu. Especially, this Theorem extends to a class of not necessarily Markovian continuous martingales, a result of this type for one-dimensional diffusions due to Azais [A2]). The methods of proof combine some estimations of the moments of the number of crossings with a level of a regular stochastic processes with stochastic analysis techniques based upon integration by parts in the Wiener space.

---

---

Support partill du CICYT, N^o PB86-0238     

Almost flat locally finite coverings of the sphere

For any subset A of the unit sphere of a Banach space X and for [0,2) the notion of -flatness is introduced as a measure of non-flatness of A. For any positive , construction of locally finite tilings of the unit sphere by -flat sets is carried out under suitable -renormings of X in a quite general context; moreover, a characterization of spaces having separable dual is provided in terms of the existence of such tilings. Finally, relationships between the possibility of getting such tilings of the unit sphere in the given norm and smoothness properties of the norm are discussed.     

On Logarithmic Smoothing of the Maximum Function

We consider the maximum function f resulting from a finite number of smooth functions. The logarithmic barrier function of the epigraph of f gives rise to a smooth approximation g of f itself, where >0 denotes the approximation parameter. The one-parametric family g converges – relative to a compact subset – uniformly to the function f as tends to zero. Under nondegeneracy assumptions we show that the stationary points of g and f correspond to each other, and that their respective Morse indices coincide. The latter correspondence is obtained by establishing smooth curves x() of stationary points for g , where each x() converges to the corresponding stationary point of f as tends to zero. In case of a strongly unique local minimizer, we show that the nondegeneracy assumption may be relaxed in order to obtain a smooth curve x().     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.