Multifunctions of faces for conditional expectations of selectors and Jensen's inequality

Let (T, , P) be a probability space, a P-complete sub-δ-algebra of and X a Banach space. Let multifunction t → Γ(t), t T, have a (X)-measurable graph and closed convex subsets of X for values. If x(t) ε Γ(t) P-a.e. and y(·) ε E_p x(·), then y(t) ε Γ(t) P-a.e. Conversely, x(t) ε F(Γ(t), y(t)) P-a.e., where F(Γ(t), y(t)) is the face of point y(t) in Γ(t). If X = , then the same holds true if Γ(t) is Borel and convex, only. These results imply, in particular, extensions of Jensen's inequality for conditional expectations of random convex functions and provide a complete characterization of the cases when the equality holds in the extended Jensen inequality.     

On improved estimators of the generalized variance

Treated in this paper is the problem of estimating with squared error loss the generalized variance | Σ | from a Wishart random matrix S: p × p W_p(n, Σ) and an independent normal random matrix X: p × k N(ξ, Σ I_k) with ξ(p × k) unknown. Denote the columns of X by X₍₁₎ ,…, X_(k) and set ψ⁽⁰⁾(S, X) = {(n − p + 2)!/(n + 2)!} | S |, ψ⁽ⁱ⁾(X, X) = min[ψ⁽ⁱ⁻¹⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!} | S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |] and Ψ⁽ⁱ⁾(S, X) = min[ψ⁽⁰⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!}| S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |], i = 1,…,k. Our result is that the minimax, best affine equivariant estimator ψ⁽⁰⁾(S, X) is dominated by each of Ψ⁽ⁱ⁾(S, X), i = 1,…,k and for every i, ψ⁽ⁱ⁾(S, X) is better than ψ⁽ⁱ⁻¹⁾(S, X). In particular, ψ^(k)(S, X) = min[{(n − p + 2)!/(n + 2)!} | S |, {(n − p + 2)!/(n + 2)!} | S + X₍₁₎X′₍₁₎|,…,| {(n − p + k + 2)!/(n + k + 2)!} | S + X₍₁₎X′₍₁₎ + + X_(k)X′_(k)|] dominates all other ψ's. It is obtained by considering a multivariate extension of Stein's result (Ann. Inst. Statist. Math. 16, 155–160 (1964)) on the estimation of the normal variance.     

Canonical forms of Borel-measurable mappings Δ: [ω] →

We show that for every Borel-measurable mapping Δ: [ω]^ω → there exists A [ω]^ω and there exists a continuous mapping Γ: [A]^ω → [A]^ω with Γ(X) X such that for all X, Y [A]^ω it follows that Δ(X) = Δ(Y) if Γ(X) = Γ(Y). In a sense, this is generalization of the Erdös-Rado canonization theorem     

Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).     

Special Uniform Approximations of Continuous Vector-Valued Functions. Part I: Special Approximations in CX(T)

In this paper, we give special uniform approximations of functions u from the spaces C_X(T) and C_∞(T,X), with elements of the tensor products C_Γ(T)X, respectively C₀(T,Γ)X, for a topological space T and a Γ-locally convex space X. We call an approximation special, if satisfies additional constraints, namely supp vu⁻¹(X\{0}) and (T) co(u(T)) (resp. co(u(T){0})). In Section 3, we give three distinct applications, which are due exactly to these constraints: a density result with respect to the inductive limit topology, a Tietze–Dugundji's type extension new theorem and a proof of Schauder–Tihonov's fixed point theorem.     

Rank One Perturbations with Infinitesimal Coupling

We consider a positive self-adjoint operator A and formal rank one perturbations B = A + α(φ, ·)φ, where φ ₋₂(A) but φ ₋₁ (A), with _s(A) the usual scale of spaces. We show that B can be defined for such φ and what are essentially negative infinitesimal values of α. In a sense we will make precise, every rank one perturbation is one of three forms: (i) φ ₋₁(A), α ; (ii) φ ₋₁, α = ∞; or (iii) the new type we consider here.     

Best polynomial and durrmeyer approximation in Lp(S)

On a simplex SR^d, the best polynomial approximation is E_n()_Lp(S)=Inf{P_n−_Lp(S): P_n of total degree n}. The Durrmeyer modification, M_n, of the Bernstein operator is a bounded operator on L_p(S) and has many “nice” properties, most notably commutativity and self-adjointness. In this paper, relations between M_n−z.dfnc;_Lp(S) and E_[√n]()_Lp(S) will be given by weak inequalities will imply, for 0<α<1 and 1≤p≤∞, E_n()_Lp(S)=O(n^-2α)M_n−z.dfnc;_Lp(S)=O(n^-α). We also see how the fact that P(D)εL_p(S) for the appropriate P(D) affects directional smoothness.     

Rates of convergence for classes of functions: The non-i.i.d. case

Let X_i, i ≥ 1, be a sequence of φ-mixing random variables with values in a sample space (X, A). Let L(X_i) = P_(i) for all i ≥ 1 and let _n, n ≥ 1, be classes of real-valued measurable functions on (X, A). Given any function g on (X, A), let S_n(g) = Σ_{i = 1}ⁿ {g(X_i) − Eg(X_i)}. Under weak metric entropy conditions on _n and under growth conditions on both the mixing coefficients and the maximal variance V V(n) max_{i ≤ n} sup_{g n} ∫ g² dP_(i), we show that there is a numerical constant U < ∞ such that

Full-size image

a.s. ^*, where _{i = 1}^xP_(i) and H H(n) is the square root of the entropy of the class _n. Additionally, the rate of convergence H⁻¹(n/V)^1/2 cannot, in general, be improved upon. Applications of this result are considered.     

Stability and other limit laws for exit times of random walks from a strip or a halfplane

We show that the passage time, T^*(r), of a random walk S_n above a horizontal boundary at r (r≥0) is stable (in probability) in the sense that as r→∞ for a deterministic function C(r)>0, if and only if the random walk is relatively stable in the sense that as n→∞ for a deterministic sequence B_n>0. The stability of a passage time is an important ingredient in some proofs in sequential analysis, where it arises during applications of Anscombe's Theorem. We also prove a counterpart for the almost sure stability of T^*(r), which we show is equivalent to E|X|<∞, EX>0. Similarly, counterparts for the exit of the random walk from the strip {|y|≤r} are proved. The conditions arefurther related to the relative stability of the maximal sum and the maximum modulus of the sums. Another result shows that the exit position of the random walk outside the boundaries at ±r drifts to ∞ as r→∞ if and only if the random walk drifts to ∞.     

On Lp-Generalization of a Theorem of Adamyan, Arov, and Kreın

The paper deals with problems relating to the theory of Hankel operators. Let G be a bounded simple connected domain with the boundary Γ consisting of a closed analytic Jordan curve. Denote by _n,p(G), 1p<∞, the class of all meromorphic functions on G that can be represented in the form h=β/α, where β belongs to the Smirnov class E_p(G), α is a polynomial degree at most n, α0. We obtain estimates of s-numbers of the Hankel operator A_f constructed from fL_p(Γ), 1p<∞, in terms of the best approximation Δ_n,p of f in the space L_p(Γ) by functions belonging to the class _n,p(G).     

On relations between non-Archimedean power series spaces

The power series spaces of finite type, A₁(α), and infinite type, A_∞(α), are the most known and important examples of non-Archimedean nuclear Fréchet spaces. We study when Aπ (α) has a subspace (or quotient) isomorphic to A_q(b).     

Some Infinite Families of Locally Partial Geometries Generalizing the Classical Laguerre Planes

Starting with a subgeometry Ω embedded in a β-dimensional projective space PG(β, q), β 1, we construct inductively a series of rank n residually connected geometries Γ^{(n, β, Ω)}, n β, by putting Γ^{(β, β, Ω)} = Ω and extending Γ^{(n - 1, β, Ω)} with a partial geometry.     

C-Cosine Functions and the Abstract Cauchy Problem, II

For a bounded linear injectionCon a Banach spaceXand a closed linear operatorA : D(A) X → Xwhich commutes withCwe prove that (1) the abstract Cauchy problem,u″(t) = Au(t),t R,u(0) = Cx,u′(0) = Cy, has a unique strong solution for everyx,y D(A) if and only if (2)A₁ = AD(A²) generates aC₁-cosine function onX₁(D(A) with the graph norm), if (and only if, in caseAhas nonempty resolvent set) (3)Agenerates aC-cosine function onX. HereC₁ = CX₁. Under the assumption thatAis densely defined andC⁻¹AC = A, statement (3) is also equivalent to each of the following statements: (4) the problemv″(t) = Av(t) + C(x + ty) + ∫^t₀ Cg(r) dr,t R,v(0) = v′(0) = 0, has a unique strong solution for everyg L¹_locandx, y X; (5) the problemw″(t) = Aw(t) + Cg(t),t R,w(0) = Cx,w′(0) = Cy, has a unique weak solution for everyg L¹_locandx, y X. Finally, as an application, it is shown that for any bounded operatorBwhich commutes withCand has range contained in the range ofC,A + Bis also a generator.     

A note on asymptotic expansions for Markov chains using operator theory

We consider asymptotic expansions for sums S_n on the form S_n = ƒ₀(X₀) + ƒ(X₁, X₀) + … + ƒ(X_n, X_n−1), where X_i is a Markov chain. Under different ergodicity conditions on the Markov chain and certain conditional moment conditions on ƒ(X_i, X_i−1), a simple representation of the characteristic function of S_n is obtained. The representation is in term of the maximal eigenvalue of the linear operator sending a function g(x) into the function x → E(g(X_i)exp[itƒ(X_i, x)]|X_i−1 = x).     

Minimal Extensions in Tensor Product Spaces

LetX,Ybe two separable Banach spaces and letVXandWYbe finite dimensional subspaces. Suppose thatVSX,WZYand letM (S, V),N (Z, W). We will prove that ifαis a reasonable, uniform crossnorm onXYthenλ_MN(V_αW,X_αY)=λ_M(V, X) λ_N(W, Y).Here for any Banach spaceX,VSXandM (S, V)

Full-size image

Also some applications of the above mentioned result will be presented.     

On stochastic integral representation of stable processes with sample paths in Banach spaces

Certain path properties of a symmetric α-stable process X(t) = ∫_Sh(t, s) dM(s), t T, are studied in terms of the kernel h. The existence of an appropriate modification of the kernel h enables one to use results from stable measures on Banach spaces in studying X. Bounds for the moments of the norm of sample paths of X are obtained. This yields definite bounds for the moments of a double α-stable integral. Also, necessary and sufficient conditions for the absolute continuity of sample paths of X are given. Along with the above stochastic integral representation of stable processes, the representation of stable random vectors due to[13], Ann. Probab.9, 624–632) is extensively used and the relationship between these two representations is discussed.     

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

Équations du type Monge-Ampère sur les variétés Riemanniennes compactes, I

Let (V_n, g) be a C^∞ compact Riemannian manifold. For a suitable function on V_n, let us consider the change of metric: g′ = g + Hess(), and the function, as a ratio of two determinants, M() = ¦g′¦ ¦g¦⁻¹. Using the method of continuity, we first solve in C^∞ the problem: Log M() = λ + ƒ, λ > 0, ƒ ε C^∞. Then, under weak hypothesis on F, we solve the general equation: Log M() = F(P, ), F in C^∞(V_n × ¦α, β¦), using a method of iteration. Our study gives rise to an interesting a priori estimate on ¦¦, which does not occur in the complex case. This estimate should enable us to solve the equation above when λ 0, providing we can overcome difficulties related to the invertibility of the linearised operator. This open question will be treated in our next article.     

On the asymptotic behaviour of a semigroup of linear operators

Let T = {T(t)}_{t ≥ 0} be a C₀-semigroup on a Banach space X. In this paper, we study the relations between the abscissa ω_Lp(T) of weak p-integrability of T (1 ≤ p < ∞), the abscissa ω^p_R(A) of p-boundedness of the resolvent of the generator A of T (1 ≤ p ≤ ∞), and the growth bounds ω_β(T), β ≥ 0, of T. Our main results are as follows.

1. (i) Let T be a C₀-semigroup on a B-convex Banach space such that the resolvent of its generator is uniformly bounded in the right half plane. Then ω_{1 − ε}(T) < 0 for some ε > 0.

2. (ii) Let T be a C₀-semigroup on L^p such that the resolvent of the generator is uniformly bounded in the right half plane. Then ω_β(T) < 0 for all β>¦1/p − 1/p′¦, 1/p + 1/p′ = 1.

3. (iii) Let 1 ≤ p ≤ 2 and let T be a weakly L^p-stable C₀-semigroup on a Banach space X. Then for all β>1/p we have ω_β(T) ≤ 0.

Further, we give sufficient conditions in terms of ω^q_R(A) for the existence of L^p-solutions and W^1,p-solutions (1 ≤ p ≤ ∞) of the abstract Cauchy problem for a general class of operators A on X.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.