Smoothness and duality in Lp(E, μ)

Let (T, Σ, μ) be a measure space, E a Banach space, and L_p(E, μ) the Lebesque-Bochner function spaces for 1 < p < ∞. It is shown that L_p(E, μ) is smooth if and only if E is smooth. From this result a Radon-Nikodym theorem for conjugates of smooth Banach spaces is established, and thus a general geometric condition on E sufficient to ensure that $\text{L}{}_{\mathrm{p}}\text{(E, μ)}{}^1\text{? L}{}_{\mathrm{q}}\text{(E}{}^1\text{, μ)}$ for all p, 1 < p < ∞. Alternate proofs of certain known results concerning the duals of L_p(E, μ) spaces are provided.     

Banach spaces whose duals contain complemented subspaces isomorphic to C[0, 1]

We give several characterizations of those Banach spaces X such that the dual $\text{X}{}^1$ contains a complemented subspace isomorphic to $\text{C[0, 1]}{}^1$. We investigate operators on separable $\text{L}$_∞ spaces whose adjoints have nonseparable ranges and apply our results to obtain a structure theorem for $\text{L}$_∞ spaces whose duals are not isomorphic to l₁(Γ).     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

Conditional expectations and weak and strong compactness in spaces of Bochner integrable functions

In [6, theorem IV.8.18], relatively norm compact sets K in L^p(μ) are characterized by means of strong convergence of conditional expectations, E_πf → f in L^p(μ), uniformly for f ∈ K, where (E_π) is the family of conditional expectations corresponding to the net of all finite measurable partitions.In this paper we extend the above result in several ways: we consider nets of not necessarily finite partitions; we consider spaces $\text{L}{}_{\mathrm{E}}{}^{\mathrm{p}}\text{(μ)}$ of vector valued pth power Bochner integrable functions (and spaces M(Σ, E) of vector valued measures with finite variation); we characterize relatively strong compact sets K in $\text{L}{}_{\mathrm{E}}{}^{\mathrm{p}}\text{(μ)}$ by means of uniform strong convergence E_πf → f, as well as relatively weak compact sets K by means of uniform weak convergence E_πf → f. Previously, in [4], uniform strong convergence (together with some other conditions) was proved to be sufficient (but not necessary) for relative weak compactness.     

A characterization of first order nonlinear partial differential operators on Sobolev spaces

Nonlinear partial differential operators $\text{G: W}{}^{\mathrm{1,p}}\text{(Ω) → L}{}^{\mathrm{q}}\text{(Ω) (1 ? p, q ∞)}$ having the form G(u) = g(u, D₁u,…, D_Nu), with g?C(R × R_N), are here shown to be precisely those operators which are local, (locally) uniformly continuous on, $\text{W}{}^{\mathrm{1,\infty }}\text{(Ω)}$, and (roughly speaking) translation invariant. It is also shown that all such partial differential operators are necessarily bounded and continuous with respect to the norm topologies of $\text{W}{}^{\mathrm{1,p}}\text{(Ω)}\text{and}\text{L}{}^{\mathrm{q}}\text{(Ω)}$.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

Duality between some linear preserver problems. II. Isometries with respect to c-special norms and matrices with fixed singular values

Let $\text{F}{}_{\mathrm{m\times n}}$ (m?n) denote the linear space of all m × n complex or real matrices according as $\text{F}$=$\text{C}$ or $\text{R}$. Let c=(c₁,…,c_m)≠0 be such that c₁???c_m?0. The c-spectral norm of a matrix A?$\text{F}$_m×n is the quantity

$\text{6A6}{}_{\mathrm{c}}\text{∑}\text{i=I}\text{m}\text{c}{}_{\mathrm{i}}\text{σ}{}_{\mathrm{i}}\text{(A)}$

. where σ₁(A)???σ_m(A) are the singular values of A. Let d=(d₁,…,d_m)≠0, where d₁???d_m?0. We consider the linear isometries between the normed spaces $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{<mtext>c</mtext>}}\text{)}$ and $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{d}}\text{)}$, and prove that they are dual transformations of the linear operators which map $\text{L}$(d) onto $\text{L}$(c), where

$\text{L}\text{(c)= {X?}\text{F}{}_{\mathrm{m\times n}}\text{:X}\text{has singular values}\text{c}{}_1\text{,…,c}{}_{\mathrm{m}}\text{}}$

.     

Exposants de Lyapounov pour opérateurs de Schrödinger discrètes quasi-périodiquesLyapounov exponents for discrete,quasi-periodic Schrödinger operators

We consider quasi-periodic Schrödinger operators H on $\text{Z}$ of the form H=H_λ,x,ω=λv(x+nω)δ_n,n′+Δ where v is a non-constant real analytic function on the d-torus $\text{T}{}^{\mathrm{d}}\text{(d?1)}$ and Δ denotes the discrete lattice Laplacian on $\text{Z}$. Denote by L_ω(E) the Lyapounov exponent, considered as function of the energy E and the rotation vector $\text{ω∈}\text{T}{}^{\mathrm{d}}$. It is shown that for |λ|>λ₀(v), there is the uniform minoration $\text{L}{}_{\mathrm{\omega }}\text{(E)>}\text{1}\text{2}\text{log}\text{|λ|}$ for all E and ω. For all λ and ω, L_ω(E) is a continuous function of E. Moreover, L_ω(E) is jointly continuous in (ω,E), at any point $\text{(ω}{}_0\text{,E}{}_0\text{)∈}\text{T}{}^{\mathrm{d}}\text{×}\text{R}$ such that k·ω₀≠0 for all $\text{k∈}\text{Z}{}^{\mathrm{d}}\text{?{0}}$. To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 529–531.     

Loeb-measurable solutions to 1finite games

Let ¹M be a denumerately comprehensive enlargement of a set-theoretic structure sufficient to model R. If F is an internal ¹finite subset of ¹N such that $\text{F = {1,…,γ}, γ?}{}^1\text{N?N}$, we define a class of ¹finite cooperative games having the form $\text{Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν) = 〈F,A(F),}{}^1\text{ν〉}$, where A(F) is the internal algebra of the internal subsets of F, and ${}^1\text{ν}$ is a set-function with $\text{Dom}{}^1\text{ν=A(F)}$, $\text{Rng}{}^1\text{ν =}{}^1\text{R}{}_{\mathrm{+}}$, and ${}^1\text{ν(Ø) = 0}$. If $\text{SI(}{}^1\text{ν)}$ is the space of S-imputations of a game Γ_F(¹ν) such that ${}^1\text{ν(F)<η}$, for some $\text{η?}{}^1\text{N}$, then we prove that $\text{SI(}{}^1\text{ν)}$ contains two nonempty subsets: $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$, termed the quasi-kernel and S-bargaining set, respectively. Both $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ are external solution concepts for games of the form Γ_F (¹ν) and are defined in terms of predicates that are approximate in infinitesimal terms. Furthermore, if L(Θ) is the Loeb space generated by the ¹finitely additive measure space 〈F, A(F), U_F〉, and if a game Γ_F(¹ν) has a nonatomic representation $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ on L(Θ) with respect to S-bounded transformations, then the standard part of any element in $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ is Loeb-measurable and belongs to the quasi-kernel of $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ defined in standard terms.     

Spectral representations for abelian automorphism groups of von Neumann algebras

Let $\text{A}$ be a von Neumann algebra, let σ be a strongly continuous representation of the locally compact abelian group G as ¹-automorphisms of $\text{A}$. Let M(σ) be the Banach algebra of bounded linear operators on $\text{A}$ generated by ∝ σ_tdμ(t) (μ?M(G)). Then it is shown that M(σ) is semisimple whenever either (i) $\text{A}$ has a σ-invariant faithful, normal, semifinite, weight (ii) σ is an inner representation or (iii) G is discrete and each σ_t is inner. It is shown that the Banach algebra L(σ) generated by $\text{∝ ?(t)σ}{}_{\mathrm{t}}\text{dt (? ? L}{}^1\text{(G))}$ is semisimple if a is an integrable representation. Furthermore, if σ is an inner representation with compact spectrum, it is shown that L(σ) is embedded in a commutative, semisimple, regular Banach algebra with isometric involution that is generated by projections. This algebra is contained in the ultraweakly continuous linear operators on $\text{A}$. Also the spectral subspaces of σ are given in terms of projections.     

Qualitative behavior of special functions on compact symmetric spaces

For a symmetric space $\text{G}\text{K}$ of compact type, the highest-weight vectors for representations of G occurring in $\text{L}{}^2\text{(G}\text{K)}$ become heavily concentrated near certain submanifolds of $\text{G}\text{K}$ as the highest weight goes to infinity. This fact is applied to obtain estimates for the spectral measures of the operators qλ = P_λqP_λ, where $\text{P}{}_{\mathrm{\lambda }}\text{: L}{}^2\text{(}\text{G}\text{K}\text{) → V}{}_{\mathrm{\lambda }}$ is an orthogonal projection onto a G-irreducible summand, and q: G/K → $\text{R}$ is a continuous function acting on $\text{L}{}^2\text{(G}\text{K)}$ by multiplication.     

Corresponding residue systems in nonnormal extensions of prime degree

Let K₁ and K₂ be number fields and $\text{F = K}{}_1\text{? K}{}_2$. Suppose $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$ are of prime degree p but are not necessarily normal. Let N₁ and N₂ be the normal closures of K₁ and K₂ over F, respectively, L = K₁K₂, N = N₁N₂, and $\text{B}$ be a prime divisor of N which divides p and is totally ramified in $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$. Let ${}_{\mathrm{<mtext>N</mtext><mtext>L</mtext>}}$ be the ramification index of $\text{B}$ in $\text{N}\text{L}$, $\text{t}{}_{\mathrm{<mtext>L</mtext><mtext>F</mtext>}}$ be the total ramification number of $\text{B}$ in $\text{L}\text{F}$, and . Then $\text{M}$(K₁, K₂) is exactly divisible by $\text{B}$^M, where .     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

Integral transforms of analytic functions on abstract Wiener spaces

Let (H, B) be an abstract Wiener pair and p_t the Wiener measure with variance t. Let $\text{E}$_a be the class of exponential type analytic functions defined on the complexification [B] of B. For each pair of nonzero complex numbers α, β and f ? $\text{E}$_a, we define

$\text{F}{}_{\mathrm{\alpha ,\beta }}\text{f(y)=}\text{∫}\text{B}\text{f(αx+βy)p}{}_1\text{(dx) (y ?[B]).}$

We show that the inverse $\text{F}$_α,β^?1 exists and there exist two nonzero complex numbers α′,β′ such that

. Clearly, the Fourier-Wiener transform, the Fourier-Feynman transform, and the Gauss transform are special cases of $\text{F}$_α,β. Finally, we apply the transform to investigate the existence of solutions for the differential equations associated with the operator $\text{N}$_c, where c is a nonzero complex number and $\text{N}$_c is defined by

$\text{N}{}_{\mathrm{c}}\text{u(x)=?Δu(x)+c(x,Du(x))}$

where Δ is the Laplacian and (·, ·) is the $\text{B-B}{}^1$ pairing. We show that the solutions can be represented as integrals with respect to the Wiener measure.     

The approximation of flows

Let U, V be two strongly continuous one-parameter groups of bounded operators on a Banach space $\text{X}$ with corresponding infinitesimal generators S, T. We prove the following: ∥U_t, ? V_t ∥ = O(t), t → 0, if and only if U = V; ∥U_t ? V_t∥ = O(t^α), t → 0; with 0 ? α ? 1, if and only if $\text{S = Ω(T + P)Ω}{}^{\mathrm{?1}}$, where Ω, P, are bounded operators on $\text{X}$ such that $\text{∥U}{}_{\mathrm{t}}\text{Ω ? ΩU}{}_{\mathrm{t}}\text{∥ = O(t}{}^{\mathrm{\alpha }}\text{), ∥U}{}_{\mathrm{t}}\text{P ? PU}{}_{\mathrm{t}}\text{∥ = ?O(t}{}^{\mathrm{\alpha }}\text{), t → 0; ∥U}{}_{\mathrm{t}}\text{? V}{}_{\mathrm{t}}\text{∥ = O(t)}$ if and only if $\text{S}{}^1\text{? T}{}^1$ has a bounded extension to $\text{X}$¹. Further results of this nature are inferred for semigroups, reflexive spaces, Hilbert spaces, and von Neumann algebras.     

Subextension of plurisubharmonic functions with bounded Monge–Ampère mass

Let $\text{Ω?}\text{C}{}^{\mathrm{n}}$ be a hyperconvex domain. Denote by $\text{E}{}_0\text{(Ω)}$ the class of negative plurisubharmonic functions ? on $\text{Ω}$ with boundary values 0 and finite Monge–Ampère mass on $\text{Ω.}$ Then denote by $\text{F}\text{(Ω)}$ the class of negative plurisubharmonic functions ? on $\text{Ω}$ for which there exists a decreasing sequence (?)_j of plurisubharmonic functions in $\text{E}{}_0\text{(Ω)}$ converging to ? such that $\text{sup}{}_{\mathrm{j}}\text{∫}{}_{\mathrm{\Omega }}\text{(dd}{}^{\mathrm{c}}\text{?}{}_{\mathrm{j}}\text{)}{}^{\mathrm{n}}\text{+∞.}$It is known that the complex Monge–Ampère operator is well defined on the class $\text{F}\text{(Ω)}$ and that for a function $\text{?∈}\text{F}\text{(Ω)}$ the associated positive Borel measure is of bounded mass on $\text{Ω.}$ A function from the class $\text{F}\text{(Ω)}$ is called a plurisubharmonic function with bounded Monge–Ampère mass on $\text{Ω.}$We prove that if $\text{Ω}$ and $\text{Ω}$ are hyperconvex domains with $\text{Ω?}\text{Ω}\text{?}\text{C}{}^{\mathrm{n}}$ and $\text{?∈}\text{F}\text{(Ω),}$ there exists a plurisubharmonic function $\text{?}\text{?}\text{∈}\text{F}\text{(}\text{Ω}\text{)}$ such that $\text{?}\text{?}\text{??}$ on $\text{Ω}$ and $\text{∫}{}_{\mathrm{<mtext>\Omega </mtext>}}\text{(dd}{}^{\mathrm{c}}\text{?}\text{?}\text{)}{}^{\mathrm{n}}\text{?∫}{}_{\mathrm{\Omega }}\text{(dd}{}^{\mathrm{c}}\text{?)}{}^{\mathrm{n}}\text{.}$ Such a function is called a subextension of ? to $\text{Ω}\text{.}$From this result we deduce a global uniform integrability theorem for the classes of plurisubharmonic functions with uniformly bounded Monge–Ampère masses on $\text{Ω.}$To cite this article: U. Cegrell, A. Zeriahi, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Asymptotic behavior of nonoscillatory solutions of nonlinear differential equations with retarded arguments

For nonlinear retarded differential equations $\text{y}{}^{\mathrm{2n}}\text{(t)?}\text{∑}\text{i=1}\text{m}\text{f}{}_{\mathrm{i}}\text{(t,y(t),y(g}{}_{\mathrm{i}}\text{(t)))=0}$ and $\text{y}{}^{\mathrm{n}}\text{(t)?}\text{∑}\text{i=1}\text{m}\text{P}{}_{\mathrm{i}}\text{(t)F}{}_{\mathrm{i}}\text{(y(g}{}_{\mathrm{i}}\text{(t)))=h(t),}$ the sufficient conditions are given on f_i, p_i, F_i, and h under which every bounded nonoscillatory solution of (${}^1$) or (${}^7$) tends to zero as t → ∞.     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.