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     

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.     

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.     

Local Stochastic Channeling Theory: Kinetic Functions in the Case of Interaction Between Fast Particles and Lattice Atoms

We investigate the motion of high-energy particles in a crystal with regard to their interaction with the thermal vibrations of the lattice atoms using analytic methods in the theory of Markov processes including the local Fokker–Planck equation. We construct a local matrix of random actions, which is used to introduce the main kinetic functions in the traverse-energy space, namely, the function a() of energy losses due to the dynamic friction and the diffusion function b(). We show that the singularities of the functions a() and b() are related to the distinction between the contributions to the kinetics from particles moving in three different regimes, namely, in the channeling, quasichanneling, and chaotic motion modes.     

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).     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

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.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.     

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.     

Isolation theorem for forms corresponding to purely real algebraic fields

Let M be the complete module of a purely real algebraic field of degree n 3, let be a lattice in this module, and let F(X) be its form. We use to denote any lattice for which we have = , where is a nondiagonal matrix for which – I . With each lattice we can associate a factorizable formF (X) in a natural manner. We denote the complete set of forms corresponding to the set {} by {F (X)}. It is proved that for any > 0 there exists an > 0 such that for eachF (X) {F } we have |F (X₀₎| for some integer vector X₀ 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 5–12, 1990.In conclusion, the author would like to express his deep gratitude to B. F. Skubenko for stating the problem and for his constant attention.     

Asymptotic behavior of the solution of an elliptic boundary value problem in a thin domain

The asymptotic behavior as h0 of the solution of a mixed boundary value problem is investigated for an elliptic (in the sense of Petrovskii) system of second-order differential equations in the n-dimensional cylinder Q _h =×(–h/2, h/2) of small altitude h; is a domain in R ⁿ –1. The limit problem in contains a small parameter =h , (0, 1), for higher-order derivatives and degenerates regularly, as 0, into an elliptic problem of a lower order. It is shown that the limit problem and its corresponding degenerate problem (=0) are uniquely solvable. An estimate for the difference of solutions of the original and the limit problem in the energy norm is established. As an example, a problem on the deformation of a thin plate in the framework of the Cosserat continuum is considered.Translated from Problemy Matematicheskogo Analiza, No. 11, pp. 191–208, 1990.     

How to approximate the solutions of certain free boundary problems for the Laplace equation by using the contraction principle

We show how the free boundary of an ideal fluid, subject to a generalized Bernoulli condition, can (under appropriate circumstances) be approximated. Our method is based on a class of free-boundary perturbation operatorsT , 0<<1, which are all contracting relative to a suitable norm and class of boundaries, and whose fixed points converge to the desired free boundary solution as 0+.

---

Zusammenfassung Wir zeigen, wie der freie Rand einer idealen Flüssigkeit, welcher einer verallgemeinerten Bernoulli-Bedingung genügt, unter geeigneten Umständen approximiert werden kann. Unsere Methode stützt sich auf eine Klasse freier RandperturbationsoperatorenT , 0<<1, welche relativ zu einer geeigneten Norm und Ränderklasse kontrahierend sind und deren Fixpunkte gegen die gewünschte Lösung der freien Randaufgabe mit 0+ konvergieren.

     

Sur l'adjonction d'une masse de Dirac á une forme régulière et semi-classique

Résumé On montre que si L est une forme linéaire régulière et semi-classique, alors la forme u=L + _c où c C est quelconque, est encore régulière et semi-classique pour tout C en dehors d'un ensemble dénombrable de valeurs singulières. On donne l'équation différentielle linéaire du second ordre vérifiée par chaque polynôme de la suite orthogonale associée à u.

---

We show that, if L is a regular, semi-classical functional, then u=L + _c where c C, is also regular and semi-classical for every complex , except for a discret set. We give the second order linear differential equation satisfied by each polynomial of the orthogonal sequence associated with u.

     

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     

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.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

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.     

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().     

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.     

On the sums of a family of Kapteyn series

The series ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) arise in studying the emission and absorption of radiation by a charged particle on a Kepler orbit. For the first few even,r, the sums are obtained in closed form, and for oddr they are given in terms of a certain definite integral. The integral is expressed as a power series in for ||<1, and, near =1, an asymptotic expansion in powers of (1–²)^1/2 may be obtained.

---

Résumé La série ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) se trouve par l'émission et l'absorption du rayonnement d'une particule chargée sur l'orbite Keplerien. Pour les plus petites valuers paires der, les sommes s'obtienment en forme compacte, et pour les valuers impaires, elles se déterminent d'après une intégrale definie. Pour ||<1, cette intégrale se développe dans une série de puissances de , et dans le voisinage de =1, on obtient une série asymptotique et puissances de (1–²)^1/2.