TY - JOUR
T1 - A strong law of large numbers for nonexpansive vector-valued stochastic processes
AU - Kohlberg, Elon
AU - Neyman, Abraham
PY - 1999
Y1 - 1999
N2 - A map T: X → X on a normed linear space is called nonexpansive if ∥Tx - Ty∥ ≤ ∥x - y∥ ∀x,y ∈ X. Let (Ω, Σ, P) be a probability space, ℱ0 ⊂ ℱ1 ⊂ ⋯ ⊂ ℱn an increasing chain of σ-fields spanning Σ, X a Banach space, and T: X → X. A sequence (xn) of strongly ℱn-measurable and strongly P-integrable functions on Ω taking on values in X is called a T-martingale if Ε(xn+1 | ℱn) = T(xn). Let T: H → H be a nonexpansive mapping on a Hubert space H, and let (xn) be a T-martingale taking on values in H. If Σ ∞ n=1 n-2 E∥xn+1 - Txn∥2 < ∞ then xn/n converges a.e. Let T: X → X be a nonexpansive mapping on a p-uniformly smooth Banach space X, 1 < p ≤ 2, and let (xn) be a T-martingale (taking on values in X). If Σ n-p E (∥xn - Txn-1 ∥p) < ∞ then there exists a continuous linear functional f ∈ X* of norm 1 such that lim n→∞ f(xn)/n= lim n→∞ ∥xn∥/n = inf {∥ Tx - x ∥ : x ∈X} a.e. If, in addition, the space X is strictly convex, xn/n converges weakly; and if the norm of X* is Fréchet differentiable (away from zero), xn/n converges strongly.
AB - A map T: X → X on a normed linear space is called nonexpansive if ∥Tx - Ty∥ ≤ ∥x - y∥ ∀x,y ∈ X. Let (Ω, Σ, P) be a probability space, ℱ0 ⊂ ℱ1 ⊂ ⋯ ⊂ ℱn an increasing chain of σ-fields spanning Σ, X a Banach space, and T: X → X. A sequence (xn) of strongly ℱn-measurable and strongly P-integrable functions on Ω taking on values in X is called a T-martingale if Ε(xn+1 | ℱn) = T(xn). Let T: H → H be a nonexpansive mapping on a Hubert space H, and let (xn) be a T-martingale taking on values in H. If Σ ∞ n=1 n-2 E∥xn+1 - Txn∥2 < ∞ then xn/n converges a.e. Let T: X → X be a nonexpansive mapping on a p-uniformly smooth Banach space X, 1 < p ≤ 2, and let (xn) be a T-martingale (taking on values in X). If Σ n-p E (∥xn - Txn-1 ∥p) < ∞ then there exists a continuous linear functional f ∈ X* of norm 1 such that lim n→∞ f(xn)/n= lim n→∞ ∥xn∥/n = inf {∥ Tx - x ∥ : x ∈X} a.e. If, in addition, the space X is strictly convex, xn/n converges weakly; and if the norm of X* is Fréchet differentiable (away from zero), xn/n converges strongly.
UR - http://www.scopus.com/inward/record.url?scp=0039700192&partnerID=8YFLogxK
U2 - 10.1007/BF02810679
DO - 10.1007/BF02810679
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0039700192
SN - 0021-2172
VL - 111
SP - 93
EP - 108
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
ER -