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.     

Some contributions to the theory of cyclic quartic extensions of the rationals

K is a cyclic quartic extension of Q iff $\text{K = Q((rd + p d}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext><mtext>)</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{)}$, where d > 1, p and r are rational integers, d squarefree, for which p² + q² = r²d for some integer q. Following a paper of A. A. Albert we show that the absolute discriminant, $\text{d(}\text{K}\text{Q}\text{)}$, of the general cyclic quartic extension is given by $\text{d(}\text{K}\text{Q}\text{) = (W}{}^2\text{d}{}^2\text{)}$ for an explicitly computable rational integer W. We next find that the relative discriminant, $\text{d(}\text{K}\text{F}\text{)}$, is given by $\text{d(}\text{K}\text{F}\text{) = (W d}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$, where $\text{F = Q (d}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ is K′s uniquely determined quadratic subfield. We use this last result in conjunction with Corollary 3, page 359, of Narkiewicz's “Elementary and Analytic Theory of Algebraic Numbers” (PWN-Polish Scientific Publishers, 1974) to establish the following Theorem 1: If the (wide) class number of$\text{F = Q(d}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$is odd then every cyclic quartic extensionKofQcontainingFhas a relative integral basis overF. We give a second, more organic, proof of Theorem 1 which also allows us to prove the following converse result, namely Theorem 2: Suppose the quadratic fieldFis contained in some cyclic quartic extension ofQand suppose thatFhas even (wide) class number. There then is a cyclic quartic extensionKofQcontainingFsuch thatKhas no relative integral basis overF.     

Uncertainty principle and Lp–Lq-sufficient pairs on noncompact real symmetric spaces

We consider a real semi-simple Lie group G with finite center and a maximal compact sub-group K of G. Let $\text{G=K}\text{exp}\text{(}\text{a}{}_{\mathrm{+}}\text{)K}$ be a Cartan decomposition of G. For x∈G denote ∥x∥ the norm of the $\text{a}{}_{\mathrm{+}}$-component of x in the Cartan decomposition of G. Let $\text{a>0,}\text{b>0}$ and 1?p,q?∞. In this Note we give necessary and sufficient conditions on $\text{a,}\text{b}$ such that for all K-bi-invariant measurable function f on G, if e^a∥x∥2f∈L^p(G) and then f=0 almost everywhere. To cite this article: S. Ben Farah, K. Mokni, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

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.     

Lp estimates for the wave equation

Let u(x, t) be the solution of u_tt ? Δ_xu = 0 with initial conditions $\text{u(x, 0) = g(x)}\text{and}\text{u}{}_{\mathrm{t}}\text{(x, 0) = ?;(x)}$. Consider the linear operator $\text{T: ?; → u(x, t)}$. (Here g = 0.) We prove for t fixed the following result. Theorem 1: T is bounded in L^p if and only if . Theorem 2: If the coefficients are variables in C and constant outside of some compact set we get: (a) If n = 2k the result holds for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ < (n ? 1)}{}^{\mathrm{?1}}$. (b) If n = 2k ? 1, the result is valid for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ ? (n ? 1)}$. This result are sharp in the sense that for p such that $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ > (n ? 1)}{}^{\mathrm{?1}}$ we prove the existence of $\text{?; ? L}{}^{\mathrm{P}}$ in such a way that $\text{T?; ? L}{}^{\mathrm{P}}$. Several applications are given, one of them is to the study of the Klein-Gordon equation, the other to the completion of the study of the family of multipliers $\text{m(ξ) = ψ(ξ) e}{}^{\mathrm{i¦\xi ¦}}\text{¦ ξ ¦}{}^{\mathrm{?b}}$ and finally we get that the convolution against the kernel $\text{K(x) = ?(x)(1 ? ¦ x ¦)}{}^{\mathrm{?1}}$ is bounded in H¹.     

Wr,p(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension $\text{F}{}_1$ of a function $\text{?:E → R}$ (i.e., the H^r,p-spline with knots in E) and studies the cone $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ of all such splines. We study the problem of determining when $\text{F}{}_1$ is in W^r,p ≡ H^r,p ∩ L^p. If $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$, then $\text{F}{}_1$ is called a W^r,p-spline, and we denote by $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ the cone of all such splines. If E is quasiuniform, then $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$ if and only if . The cone $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ with E quasiuniform is shown to be homeomorphic to l^p. Similarly, $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size $\text{¦ E ¦}$ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of $\text{¦ E ¦}$ are derived.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Factorization of fredholm operators on analytic functions

Let Ω be a simply connected domain in the complex plane, and $\text{A(Ω}{}^{\mathrm{n}}\text{)}$, the space of functions which are defined and analytic on $\text{Ω}{}^{\mathrm{n}}$, if K is the operator on elements $\text{u(t, a}{}_1\text{, …, a}{}_{\mathrm{n}}\text{)}\text{of}\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ defined in terms of the kernels k_i(t, s, a₁, …, a_n) in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$ by is the identity operator on $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$, then the operator I ? K may be factored in the form (I ? K)(M ? W) = (I ? ΠK)(M ? ΠW). Here, W is an operator on $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ defined in terms of a kernel w(t, s, a₁, …, a_n) in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$ by Wu = ∝_an^tw(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. ΠW is the operator; ΠWu = ∝_{an ? 1}w(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. ΠK is the operator; ΠKu = ∑_{i = 1}^{n ? 1} ∝_ai^tk_i(t, s, a₁, …, a_n) ds + ∝_{an ? 1}^tk_n(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. The operator M is of the form m(t, a₁, …, a_n)I, where $\text{m ? A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ and maps elements of $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ into itself by multiplication. The function m is uniquely derived from K in the following manner. The operator K defines an operator $\text{K}{}^1$ on functions u in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$, by . A determinant $\text{δ(I ? K}{}^1\text{)}$ of the operator $\text{I ? K}{}^1$ is defined as an element $\text{m}{}^1\text{(t, a}{}_1\text{, …, a}{}_{\mathrm{n\; +\; 1}}\text{)}$ of $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$. This is mapped into $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ by setting a_{n + 1} = t to give m(t, a₁, …, a_n). The operator I ? ΠK may be factored in similar fashion, giving rise to a chain factorization of I ? K. In some cases all the matrix kernels k_i defining K are separable in the sense that k_i(t, s, a₁, …, a_n) = P_i(t, a₁, …, a_n) Q_i(s, a₁, …, a_n), where P_i is a 1 × p_i matrix and Q_i is a p_i × 1 matrix, each with elements in $\text{A(Ω}{}_{\mathrm{n\; +\; 1}}\text{)}$, explicit formulas are given for the kernels of the factors W. The various results are stated in a form allowing immediate extension to the vector-matrix case.     

Minimax estimators for a multinormal precision matrix

Let S_p×p ～ Wishart (Σ, k), Σ unknown, k > p + 1. Minimax estimators of Σ^?1 are given for L₁, an Empirical Bayes loss function; and L₂, a standard loss function (R_i ≡ E(L_i ∣ Σ), i = 1, 2). The estimators are $\text{Σ}\text{?}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+}\text{br}\text{(S)I}{}_{\mathrm{p\times p}}$, a, b ≥ 0, r(·) a functional on $\text{R}{}^{\mathrm{<mtext>p(p+2)</mtext><mtext>2</mtext>}}$. Stein, Efron, and Morris studied the special cases $\text{Σ}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{(E}\text{Σ}\text{?}{}_{\mathrm{<mtext>k?p?1</mtext>}}{}^{\mathrm{?1}}\text{= Σ}{}^{\mathrm{?1}}\text{)}$ and $\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+ (b/tr S)I}$, for certain, a, b. From their work $\text{R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤ R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, a = k ? p ? 1, b = p² + p ? 2; whereas, we prove $\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) (?Σ)}$. The reversal is surprising because $\text{L}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) →}\text{L}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S)}$ a.e. (for a particular L₂). Assume $\text{R}$ (compact) ? $\text{S}$, $\text{S}$ the set of p × p p.s.d. matrices. A “divergence theorem” on functions F_p×p : $\text{R}$ → $\text{S}$ implies identities for R_i, i = 1, 2. Then, conditions are given for $\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, i = 1, 2. Most of our results concern estimators with r(S) = t(U)/tr(S), U = p ∣S∣^1/p/tr(S).     

Sufficiency and invariance

Suppose that a statistical decision problem is invariant under a group of transformations g?G. T (X) is equivariant if there exists $\text{g}{}^1\text{? G}{}^1$ such that $\text{T(g(X)) = g}{}^1\text{(T((X))}$. We show that the minimal sufficient statistic is equivalent and that if T(X) is an equivariant sufficient statistics and d(X) is invariant under G, then $\text{d}{}^1\text{(T) = Ed(X)∥T}$ is invariant under $\text{G}{}^1$.     

Estimates on the first eigenvalue of an integral equation

We show how inequalities of the type $\text{∥F∥}{}_{\mathrm{p}}\text{? C(p, q) a}{}^{\mathrm{<mtext>1\; +\; (</mtext><mtext>1</mtext><mtext>p</mtext><mtext>)?\; (</mtext><mtext>1</mtext><mtext>q</mtext><mtext>)</mtext>}}\text{∥ F ′ ∥}{}_{\mathrm{q\prime }}$ when F(0) = 0 can be used to find lower bounds of the first eigenvalue of the integral equation F(z) = λ ∝₀^ak(s, z)F(s) ds.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

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.     

Scaling limits of Gaussian vector fields

For Gaussian vector fields {X(t) ∈ Rⁿ:t ∈ R^d} we describe the covariance functions of all scaling limits Y(t) = $\text{L}$lim_α↓0 B^?1(α) X(αt) which can occur when B(α) is a d × d matrix function with B(α) → 0. These matrix covariance functions $\text{r(t, s) = EY(t) Y}{}^1\text{(s)}$ are found to be homogeneous in the sense that for some matrix L and each α > 0, $\text{(}{}^1\text{) r(αt, αs) = α}{}^{\mathrm{L1}}\text{r(t, s) α}{}^{\mathrm{L}}$. Processes with stationary increments satisfying (¹) are further analysed and are found to be natural generalizations of Lévy's multiparameter Brownian motion.     

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}$,λ)).     

The one-dimensional diffusion process and unitary representations of R1

Given a cocycle a(t) of a unitary group {U¹}, ?∞ < t < ∞, on a Hilbert space $\text{H}$, such that a(t) is of bounded variation on [O, T] for every T > O, a(t) is decomposed as a(t) = f;^t₀U^sxds + β(t) for a unique x ? $\text{H}$, β(t) yielding a vector measure singular with respect to Lebesgue measure. The variance is defined as $\text{σ}{}^2\text{({rmU}{}^{\mathrm{t}}\text{}, a(t)) =}\text{lim}{}_{\mathrm{T\to \infty }}\text{(}\text{1}\text{T}\text{)∥∝}{}^{\mathrm{t}}{}_0\text{U}{}^{\mathrm{s}}\text{x ds∥}{}^2$ if existing. For a stationary diffusion process on $\text{R}$¹, with Ω₁, the space of paths which are natural extensions backwards in time, of paths confined to one nonsingular interval J of positive recurrent type, an information function I(ω) is defined on $\text{Ω}{}_1$, based on the paths restricted to the time interval [0, 1]. It is shown that $\text{I(Ω)}$ is continuous and bounded on $\text{Ω}{}_1$. The shift τ_t, defines a unitary representation {U^t}. Assuming , dm being the stationary measure defined by the transition probabilities and the invariant measure on J, $\text{I(Ω)}$ has a C^∞ spectral density function f;. It is then shown that σ²({U^t}, I) = f;(O).     

On tensor products of certain group C1-algebras

If A and B are C¹-algebras there is, in general, a multiplicity of C¹-norms on their algebraic tensor product A ⊙ B, including maximal and minimal norms ν and α, respectively. A is said to be nuclear if α and ν coincide, for arbitrary B. The earliest example, due to Takesaki [11], of a nonnuclear C¹-algebra was $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, the C¹-algebra generated by the left regular representation of the free group on two generators F₂. It is shown here that W¹-algebras, with the exception of certain finite type I's, are nonnuclear.If $\text{C}{}^1\text{(F}{}_2\text{)}$ is the group C¹-algebra of F₂, there is a canonical homomorphism λ_l of $\text{C}{}^1\text{(F}{}_2\text{)}$ onto $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$. The principal result of this paper is that there is a norm ζ on $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, distinct from α, relative to which the homomorphism $\text{λ ⊙ λ}{}_{\mathrm{l}}\text{: C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{) → C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$ is bounded ($\text{C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{)}$ being endowed with the norm α). Thus quotients do not, in general, respect the norm α; a consequence of this is that the set of ideals of the α-tensor product of C¹-algebras A and B may properly contain the set of product ideals {$\text{I ? B + A ? J: I ? A, J ? B}$}.Let A and B be C¹-algebras. If A or B is a W¹-algebra there are on A ⊙ B certain C¹-norms, defined recently by Effros and Lance [3], the definitions of which take account of normality. In the final section of the paper it is shown by example that these norms, with α and ν, can be mutually distinct.     

Product formulas for semigroups with elliptic generators

Real constant coefficient nth order elliptic operators, Q, which generate strongly continuous semigroups on L²($\text{R}$^k) are analyzed in terms of the elementary generator,

$\text{A = (?n)}{}^{\mathrm{<mtext>(</mtext><mtext>n</mtext><mtext>2</mtext><mtext>\; ?\; 1</mtext>}}\text{)(n!)}{}^{\mathrm{?1}}\text{∑}\text{k}\text{j = 1}\text{?}{}^{\mathrm{n}}\text{?x}{}_{\mathrm{j}}{}^{\mathrm{n}}$

, for n even. Integral operators are defined using the fundamental solutions p_n(x, t) to u_t = Au and using real polynomials q_l,…, q_k on $\text{R}$^m by the formula, for q = (q_l,…, q_k),

$\text{(F(t)?)(x) = ∫}$

_$\text{R}$m

$\text{?(x + q(z)) P}{}_{\mathrm{n}}\text{(z, t)dz}$

. It is determined when, strongly on L²($\text{R}$^k),

$\text{e}{}^{\mathrm{tQ}}\text{=}\text{lim}\text{j → ∞}\text{F}\text{t}\text{j}{}^{\mathrm{j}}$

. If n = 2 or k = 1, this can always be done. Otherwise the symbol of Q must have a special form.     

On the absolute continuity of Schrödinger operators with spherically symmetric,long-range potentials,II

Let H = ?Δ + V, where the potential V is spherically symmetric and can be decomposed as a sum of a short-range and a long-range term, V(r) = V_S(r) + V_L. Let λ = lim sup_r→∞V_L(r) < ∞ (we allow λ = ? ∞) and set λ⁺ = max(λ, 0). Assume that for some r₀, V_L(r) ?C^2k(r₀, ∞) and that there exists δ > 0 such that $\text{(}\text{d}\text{dr}\text{)}{}^{\mathrm{j}}\text{V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) · (λ}{}^{\mathrm{+}}\text{? V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) + 1)}{}^{\mathrm{?1}}\text{= O(r}{}^{\mathrm{?j\delta }}\text{), j = 1,…, 2k,}\text{as}\text{r → ∞}$. Assume further that $\text{∝}{}_1{}^{\mathrm{\infty }}\text{(}\text{dr}\text{¦ V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r)¦}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{) = ∞}$ and that 2kδ > 1. It is shown that: (a) The restriction of H to C^∞(Rⁿ) is essentially self-adjoint, (b) The essential spectrum of H contains the closure of (λ, ∞). (c) The part of H over (λ, ∞) is absolutely continuous.