On the square root of a positive B(X,X1)-valued function

Let (Ω, $\text{B}$, μ) be a measure space, $\text{X}$ a separable Banach space, and $\text{X}$¹ the space of all bounded conjugate linear functionals on $\text{X}$. Let f be a weak¹ summable positive B($\text{X, X}$¹)-valued function defined on Ω. The existence of a separable Hilbert space $\text{K}$, a weakly measurable B($\text{X, K}$)-valued function Q satisfying the relation $\text{Q}{}^1\text{(ω)Q(ω) = f(ω)}$ is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺($\text{X, X}$¹)-valued measures, the concepts of weak¹, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

Analytic functions whose range is dense in a ball

Denote by Δ(resp. $\text{Δ}$) the open (resp. closed) unit disc in C. Let E be a closed subset of the unit circle T and let F be a relatively closed subset of T ? E of Lesbesgue measure zero. The following result is proved. Given a complex Banach space X and a bounded continuous function f:F → X, there exists an extension f? of f, bounded and continuous on $\text{}\text{?}\text{gD ? E}$, analytic on Δ and satisfying sup$\text{{6}\text{f}\text{?}\text{(z)6:zε}\text{δ}\text{?E}$. This is applied to show that for any separable complex Banach space X there exists an analytic function from Δ to X whose range is contained and dense in the unit ball of X.     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Unbounded operators generated by a given spectral measure

Let T be a closed densely-defined operator on a Banach space X and let E(·) be a spectral measure whose range $\text{E}$ is a complete Boolean algebra of projections in X. Then T is of the form ∝f(λ) dE(λ) if and only if T commutes with $\text{E}$ and leaves invariant every invariant subspace of $\text{E}$.     

Spectral properties of zeroth-order pseudodifferential operators

Let Q be a self-adjoint, classical, zeroth order pseudodifferential operator on a compact manifold X with a fixed smooth measure dx. We use microlocal techniques to study the spectrum and spectral family, {E_S}_{S∈$\text{R}$} as a bounded operator on L²(X, dx).Using theorems of Weyl (Rend. Circ. Mat. Palermo, 27 (1909), 373–392) and Kato (“Perturbation Theory for Linear Operators,” Springer-Verlag, 1976) on spectra of perturbed operators we observe that the essential spectrum and the absolutely continuous spectrum of Q are determined by a finite number of terms in the symbol expansion. In particular Spec_ESSQ = range(q(x, ξ)) where q is the principal symbol of Q. Turning the attention to the spectral family {E_S}_{S∈$\text{R}$}, it is shown that if $\text{dE}\text{ds}$ is considered as a distribution on $\text{R}$×X×X it is in fact a Lagrangian distribution near the set $\text{{σ=0}?}\text{T}{}^1\text{(}\text{R}\text{×X×X)}\text{0}$ where (s, x, y, σ, ξ,η) are coordinates on T¹($\text{R}$×X×X) induced by the coordinates (s, x, y) on $\text{R}$×X×X. This leads to an easy proof that$\text{?(Q)}$ is a pseudodifferential operator if ?∈C^∞($\text{R}$) and to some results on the microlocal character of E_s. Finally, a look at the wavefront set of $\text{dE}\text{ds}$ leads to a conjecture about the existence of absolutely continuous spectrum in terms of a condition on q(x, ξ).     

Probabilistic interpretation for system of conservation law arising in adhesion particle dynamics

This Note presents a construction of a solution for the nonlinear stochastic differential equation X_t = X₀ + ∫₀^t $\text{E}$[u₀(X₀)|X_s]ds, t ≥ 0. The random variable X₀ with values in $\text{R}$ and the function u₀ are given. We denote by P_t the probability distribution of X_t and u(x, t) = $\text{E}$[u₀(X₀)|X_t = x]. We prove that (P_t, u(·, t), t ≥ 0) is a weak solution for system of conservation law arising in adhesion particle dynamics.     

Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

The construction of stationary two-dimensional Markoff fields with an application to quantum field theory

It is shown that if φ(f)  ∝_R^dφ(y) f(y) dy is a Markoff random field and X_α are multiplicative functionals of φ (with E(X_α) = 1) which converge locally in L₁, then there exists a locally Markoff random field $\text{φ}{}_1$ such that $\text{E(exp(iφ}{}_1\text{(f))) =}\text{lim}{}_{\mathrm{\alpha }}\text{E(X}{}_{\mathrm{<mtext>\alpha </mtext>}}\text{exp}\text{(iφ(φ)))}$. We choose φ to be the two-dimensional generalization of the Ornstein-Uhlenbeck velocity process and take X_α proportional to exp(?λ∝_R² : P(φ(y)) : g_α(y) dy), where: P(φ(y)) : is a regularized even degree polynomial in φ(y). It is then proved that for an appropriate choice of g_α → 1 and small λ, {X_α} does converge locally in L₁ and that the corresponding $\text{φ}{}_1$ is stationary.     

Minimax estimators that shift towards a hypersphere for location vectors of spherically symmetric distributions

Let X be a p-dimensional random vector with density f(6X?θ6) where θ is an unknown location vector. For p ≥ 3, conditions on f are given for which there exist minimax estimators θ?(X) satisfying 6Xt6 · 6θ?(X) ? X6 ≤ C, where C is a known constant depending on f. (The positive part estimator is among them.) The loss function is a nondecreasing concave function of 6θ?? θ6². If θ is assumed likely to lie in a ball in $\text{R}$^p, then minimax estimators are given which shrink from the observation X outside the ball in the direction of P(X) the closest point on the surface of the ball. The amount of shrinkage depends on the distance of X from the ball.     

Polynomial sums over automorphs of a positive definite binary quadratic form

Let P(X) be a homogeneous polynomial in X = (x, y), Q(X) a positive definite integral binary quadratic form, and G the group of integral automorphs of Q(X). Let A(m) = {N ∈ $\text{Z}$ × $\text{Z}$ : Q(N) = m}. It is shown that if Σ_N∈A(m)P(N) = 0 for each m = 1, 2, 3,… then Σ_U∈GP(UX) ≡ 0.     

Almost all reductions modulo p of an elliptic curve have a large exponent

Let E be an elliptic curve defined over $\text{Q}\text{.}$ Suppose that f(x) is any positive function tending to infinity with x. It is shown (under GRH) that for almost all p, the group of $\text{F}{}_{\mathrm{p}}$-points of the reduction of E mod p contains a cyclic group of order at least p/f(p). To cite this article: W. Duke, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

An analogue for elliptic curves of the Grunwald–Wang example

We give examples of elliptic curves $\text{E}\text{/}\text{Q}$ and rational points $\text{P∈}\text{E}\text{(}\text{Q}\text{)}$ such that P is divisible by 4 in $\text{E}\text{(}\text{Q}{}_{\mathrm{v}}\text{)}$ for each rational place v but P is not divisible by 4 in $\text{E}\text{(}\text{Q}\text{)}$. This is an analogue of a well-known example, with $\text{G}{}_{\mathrm{m}}$ in place of $\text{E}$: namely, P=16 is a rational 8-th power locally almost everywhere, but not globally in $\text{Q}{}^1\text{=}\text{G}{}_{\mathrm{m}}\text{(}\text{Q}\text{)}$. To cite this article: R. Dvornicich, U. Zannier, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Modes of convergence of Markov chain transition probabilities

Suppose {Pⁿ(x, A)} denotes the transition law of a general state space Markov chain {X_n}. We find conditions under which weak convergence of {X_n} to a random variable X with law L (essentially defined by ∝ Pⁿ(x, dy) g(y) → ∝ L(dy) g(y) for bounded continuous g) implies that {X_n} tends to X in total variation (in the sense that $\text{∥ P}{}^{\mathrm{n}}\text{(x,}{}^{\mathrm{.}}\text{) ? L ∥ → 0)}$, which then shows that L is an invariant measure for {X_n}. The conditions we find involve some irreducibility assumptions on {X_n} and some continuity conditions on the one-step transition law {P(x, A)}.     

A new fuzzy compactness defined by fuzzy nets

Let (Ω, $\text{A}$, μ) be a probability space and let $\text{B}$ be a subsigma algebra of $\text{A}$. Let A= L_∞Ω, $\text{A}$, μ , let A= L_∞Ω, $\text{B}$, μ, and let f?A. It is shown that best L_∞-approximations of f by elements of B comprise an interval in B; that is, there exists $\text{f}\text{,}\text{f}\text{?B}$ such that a function g?B is a best L_∞-approximation to f if and only if $\text{f}\text{? g ?}\text{f}$ a.e. on Ω. The difference, $\text{f}\text{? f}$, of $\text{f}$ and f is completely characterized in terms of special sets that have been developed in [2]. Then it is established that the best best L_∞-approximation, f_{$\text{B}$,∞}, to f by elements of B is the average of $\text{f}$ and $\text{f}$, where the function f_{$\text{B}$,∞} is defined by f_{$\text{B}$,∞}(ω) lim_{p → ∞}f_$\text{B}$,P(ξ) and f_$\text{B}$,P denotes the best L_p-approximation to f elements of L_p(Ω, $\text{B}$, μ).     

On a pair of simultaneous functional equations

For each p in the simplex P of $\text{R}$^k we introduce convex subsets of P, Π_I(p) and Π_II(p). For f a real function on P we define Cav₁f to be the smallest function greater than f on P and concave on Π₁(p) for each p in P (and similarly Vex_IIf). Given u a continuous real function on P we prove that the following problems:

$\text{Minimize}\text{f;f:→R, f?}\text{Cav}{}_{\mathrm{I}}\text{Vex}{}_{\mathrm{II}}\text{max}\text{{u,f}}$

$\text{Minimize}\text{f;f:→R, f?}\text{Vex}{}_{\mathrm{II}}\text{Cav}{}_{\mathrm{I}}\text{min}\text{{u,f}}$

have the same solution which is also the only solution of f = Vex₁₁ max{u,f} = Cav₁ min{u,f}. This is an extension of a former proof by Mertens and Zamir for the case where P is a. product of convex R and S with Π_I(p) = r × S and Π_II(p) = R × s.     

Un lemme de Mañé bilatéralA bilateral version of Mañé's lemma

We prove that, assuming some hyperbolicity on the dynamical system T:X→X and some regularity on $\text{f:X→}\text{R}$, there exists $\text{θ:X→}\text{R}$ in the same regularity class and such that α(f)?f?θ+θ°T?β(f), where α(f), β(f) are the infimum and the supremum of the averages of f along periodic orbits. To cite this article: T. Bousch, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 533–536.     

Modular forms arising from spherical polynomials and positive definite quadratic forms

The dimension over the complex numbers of the vector space of θ-series

$\text{Φ(τ;P,Q)=∑n?Z}{}^{\mathrm{r}}\text{P(n)e}{}^{\mathrm{2\pi iQ(n)\tau }}\text{,}$

where P(X) is a “spherical polynomial” with respect to the positive definite quadratic form Q(X) is computed for binary forms. A sufficient condition that θ(τ; P, Q) be identically zero is proved, and its necessity is also proved for binary forms.     

Tabloïdes

A tabloïde is composed of two finite sets, E (the set of the rows) and F (the set of the columns), and of a function f: $\text{P}$(E) × $\text{P}$(F) → $\text{N}$, which is a Whitney's rank in its two variables. There are tabloids associated to matrices, to bipartite graphs and to ordinary graphs respectively in relation to linear rank, matchings and gammoids. Some of the properties of matrices can be generalized to tabloids (transposition, direct sum, inverse, product…). The properties of bipartite graphs which consists in “transmission” of matroids by matchings is used to define a class of tabloids (which strictly contains those which are associated to matrices). Finally, the problem of the representation of a tabloid on a field is studied.