Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

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.     

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.     

On the probability that k positive integers are relatively prime II

Given a set S of positive integers let $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t)}$ denote the number of k-tuples 〈m₁, …, m_k〉 for which $\text{m}{}_{\mathrm{i}}\text{∈ S ? [1, t]}$ and (m₁, …, m_k) = 1. Also let $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n)}$ denote the probability that k integers, chosen at random from $\text{S ? [1, n]}$, are relatively prime. It is shown that if P = {p₁, …, p_r} is a finite set of primes and S = {m : (m, p₁ … p_r) = 1}, then $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t) = (td(S))}{}^{\mathrm{k}}\text{Π}{}_{\mathrm{\nu ?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) + O(t}{}^{\mathrm{k?1}}\text{)}$ if k ≥ 3 and $\text{Z}{}_2{}^{\mathrm{S}}\text{(t) = (td(S))}{}^2\text{Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^2\text{) + O(t}\text{log}\text{t)}$ where d(S) denotes the natural density of S. From this result it follows immediately that $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) = (ζ(k))}{}^{\mathrm{?1}}\text{Π}{}_{\mathrm{p\in P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{)}{}^{\mathrm{?1}}$ as n → ∞. This result generalizes an earlier result of the author's where $\text{P = ?}$ and S is then the whole set of positive integers. It is also shown that if S = {p₁^x₁ … p_r^x_r : x_i = 0, 1, 2,…}, then $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → 0}$ as n → ∞.     

Positive operators on the n-dimensional ice cream cone

Let $\text{K}{}_{\mathrm{n}}\text{= {x ? R}{}^{\mathrm{n}}\text{: (x}{}_1{}^2\text{+ · +x}{}^2{}_{\mathrm{n?1}}\text{)}\text{1}\text{2}\text{? x}{}_{\mathrm{n}}\text{}}$ be the n-dimensional ice cream cone, and let Γ(K_n) be the cone of all matrices in $\text{R}$ⁿⁿ mapping K_n into itself. We determine the structure of Γ(K_n), and in particular characterize the extreme matrices in Γ(K_n).     

Numerical approximation of product integrals

A technique for the numerical approximation of matrix-valued Riemann product integrals is developed. For a ? x < y ? b, I_m(x, y) denotes

$\text{∫}\text{χ}\text{y}\text{∫}\text{χ}\text{v}{}_2\text{?}\text{∫}\text{χ}\text{v}{}_2\text{∏}\text{i=1}\text{m}\text{F(ν}{}_{\mathrm{i}}\text{)dν}{}_1\text{dν}{}_2\text{?dν}{}_{\mathrm{m}}$

, and A_m(x, y) denotes an approximation of I_m(x, y) of the form

$\text{(y?x)}{}^{\mathrm{m}}\text{∑}\text{k=1}\text{n}\text{a}{}_{\mathrm{k}}\text{∏}\text{i=1}\text{m}\text{F(χ}{}_{\mathrm{ik}}\text{)}$

, where a_k and y_ik are fixed numbers for i = 1, 2,…, m and k = 1, 2,…, N and x_ik = x + (y ? x)y_ik. The following result is established. If p is a positive integer, F is a function from the real numbers to the set of w × w matrices with real elements and F⁽¹⁾ exists and is continuous on [a, b], then there exists a bounded interval function H such that, if n, r, and s are positive integers, $\text{(b ? a)}\text{n}\text{= h < 1, x}{}_{\mathrm{i}}\text{= a + hi}\text{for}\text{i = 0, 1,…, n}\text{and}\text{0 < r ? s ? n}$, then

$\text{∏}\text{χ}{}_{\mathrm{r?}}\text{χ}{}_{\mathrm{s}}\text{(I+F dχ)?}\text{∏}\text{i=r}\text{s}\text{I+}\text{∑}\text{j=1}\text{p}\text{I}{}_{\mathrm{j}}\text{(χ}{}_{\mathrm{i?1}}\text{,χ}{}_{\mathrm{i}}\text{)}$

$\text{=h}{}^{\mathrm{p}}\text{H(χ}{}_{\mathrm{r?1}}\text{,χ}{}_{\mathrm{s}}\text{)+O(h}{}^{\mathrm{p+1}}\text{)}$

Further, if F^(j) exists and is continuous on [a, b] for j = 1, 2,…, p + 1 and A is exact for polynomials of degree less than p + 1 ? j for j = 1, 2,…, p, then the preceding result remains valid when A_j is substituted for I_j.     

Hyperfinite Von Neumann games

Let ${}^1\text{[V(}\text{R}\text{)]}$ be an ω₁-saturated enlargement in the sense of Keisler (1977) and let $\text{F}$ be a hyperfinite finite set in ¹$\text{N}$. Following the suggestion of Wesley (1971) we define a class of hyperfinite games of the form: $\text{Γ}{}_{\mathrm{<mtext>F</mtext>}}\text{(}{}^1\text{υ)=〈Φ,}\text{A}\text{(}\text{F}\text{),}{}^1\text{υ〉}$, and show that measure-theoretic analogues of the kernel and bargaining set exist in this nonstandard setting such that their standard parts Loeb-measurable measurable on the Loeb space generated by the internal ¹finitely additive measure $\text{u}{}_{\mathrm{<mtext>F</mtext>}}\text{:}\text{A}\text{(}\text{F}\text{)→}{}^1\text{R}{}_{\mathrm{+}}$.     

On the matrix ring over a finite field

Let F_n be the ring of n × n matrices over the finite field F; let o(F_n) be the number of elements in F_n, and s(F_n) be the number of singular matrices in F_n. We prove that $\text{o(F}{}_{\mathrm{n}}\text{)<s(F}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1+1</mtext><mtext>n(n-1)</mtext>}}$ if n ? 2, and if n = 2 and o(F) ? 3, then .     

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 → ∞.     

Unitary interpolants,factorization indices and infinite Hankel block matrices

The existence, uniqueness, and construction of unitary n × n matrix valued functions $\text{?(ζ) = ∑}{}_{\mathrm{j\; =\; ?\infty }}{}^{\mathrm{\infty }}\text{?}{}_{\mathrm{j}}\text{ζ}{}^{\mathrm{j}}$ in Wiener-like algebras on the circle with prescribed matrix Fourier coefficients $\text{?}{}_{\mathrm{j}}\text{= γ}{}_{\mathrm{j}}$ for j ? 0 are studied. In particular, if $\text{Σ ¦γ}{}_{\mathrm{j}}\text{¦ < ∞}$, then such an ? exists with $\text{Σ ¦?}{}_{\mathrm{j}}\text{¦ < ∞}$ if and only if ∥Γ₀∥ ? 1, where Γ_v, denotes the infinite block Hankel matrix (γ_{j + k + v}), j, k = 0, 1,…, acting in the sequence space l_n². One of the main results is that the nonnegative factorization indices of every such ? are uniquely determined by the given data in terms of the dimensions of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$, whereas the negative factorization indices are arbitrary. It is also shown that there is a unique such ? if and only if the data forces all the factorization indices to be nonnegative and simple conditions for that and a formula for ? in terms of certain Schmidt pairs of Γ₀ are given. The results depend upon a fine analysis of the structure of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$ and of the one step extension problem of Adamjan, Arov, and Krein (Funct. Anal. Appl.2 (1968), 1–18). Isometric interpolants for the nonsquare case are also considered.     

Zeta matrices of elliptic curves

Let $\text{O =}\text{lim}{}_{\mathrm{n}}\text{Z/p}{}^{\mathrm{n}}\text{Z}$, let $\text{A}\text{= O[g}{}_2\text{, g}{}_3\text{]}{}_{\mathrm{\Delta }}$, where g₂ and g₃ are coefficients of the elliptic curve: Y² = 4X³ ? g₂X ? g₃ over a finite field and Δ = g₂³ ? 27g₃² and let $\text{B}\text{=}\text{A}\text{[X, Y]}\text{(Y}{}^2\text{? 4X}{}^3\text{+ g}{}_2\text{X + g}{}_3\text{)}$. Then the p-adic cohomology theory will be applied to compute explicitly the zeta matrices of the elliptic curves, induced by the pth power map on the free $\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q}$-module $\text{H}{}^1\text{(X,}\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$. Main results are; Theorem 1.1: X²dY and YdX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{, Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$; Theorem 1.2: YdX, X²dY, Y^?1dX, Y^?2dX and XY^?2dX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{? (Y = 0), Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$, where $\text{X}$ is a lifting of X, and all the necessary recursive formulas for this explicit computation are given.     

K-theory for the leaf space of foliations by Reeb components

The K-theory of the C¹-algebra $\text{C}{}^1\text{(V, F)}$ associated to C^∞-foliations (V, F) of a manifold V in the simplest non-trivial case, i.e., dim V = 2, is studied. Since the case of the Kronecker foliation was settled by Pimsner and Voiculescu (J. Operator Theory4 (1980), 93–118), the remaining problem deals with foliations by Reeb components. The K-theory of $\text{C}{}^1\text{(V, F)}$ for the Reeb foliation of S³ is also computed. In these cases the C¹-algebra $\text{C}{}^1\text{(V, F)}$ is obtained from simpler C¹-algebras by means of pullback diagrams and short exact sequences. The K-groups $\text{K}{}_1\text{(C}{}^1\text{(V, F))}$ are computed using the associated Mayer-Vietoris and six-term exact sequences. The results characterize the C¹-algebra of the Reeb foliation of $\text{T}$² uniquely as an extension of C(S¹) by C(S¹). For the foliations of $\text{T}$² it is found that the K-groups count the number of Reeb components separated by stable compact leaves. A C^∞-foliation of $\text{T}$² such that K₁(C¹($\text{T}$², F)) has infinite rank is also constructed. Finally it is proved, by explicit calculation using (M. Penington, “K-Theory and C¹-Algebras of Lie Groups and Foliations,” D. Phil. thesis, Oxford, 1983), that the natural map $\text{μ: K}{}_1\text{,}{}_{\mathrm{\tau }}\text{(BG) → K}{}_1\text{(C}{}^1\text{(V, F))}$ is an isomorphism for foliations by Reeb components of $\text{T}$² and S³. In particular this proves the Baum-Connes conjecture (P. Baum and A. Connes, Geometric K-theory for Lie groups, preprint, 1982; A. Connes, Proc. Symp. Pure Math.38 (1982), 521–628) when V = $\text{T}$².     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

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.     

A regularity result for singular nonlinear elliptic systems in inverse-power weighted Sobolev spaces

The compactness method to weighted spaces is extended to prove the following theorem:Let H_2,s¹(B₁) be the weighted Sobolev space on the unit ball in Rⁿ with norm

$\text{6ν6}{}^1{}_{\mathrm{2,s}}\text{=}\text{∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|ν|}{}^2\text{dx + ∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|Dν|}{}^2\text{dx.}$

Let n ? 2 ? s < n. Let u? [H_2,s¹(B₁) ∩ L^∞(B₁)]^N be a solution of the nonlinear elliptic system

$\text{∫}{}_{\mathrm{B1}}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{i,j=1}\text{n}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{(x,u) D}{}^{\mathrm{i}}\text{u}{}_{\mathrm{h}}\text{D}{}^{\mathrm{j\psi }}{}_{\mathrm{K}}\text{dx=0}$

, $\text{∨}\text{ψ}\text{?}\text{¦C}{}_0{}^1\text{(B}{}_1\text{)¦}{}^{\mathrm{N}}\text{,}\text{where}\text{¦A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}\text{¦ ? L, A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}$ are uniformly continuous functions of their arguments and satisfy:

$\text{|η|}{}^2\text{=}\text{∑}\text{i=1}\text{n}\text{,}\text{∑}\text{j=1}\text{N}\text{|η}{}^{\mathrm{i}}{}_{\mathrm{j}}\text{|}{}^2\text{?}\text{∑}\text{i,j=1}\text{n}\text{,}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{h}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{k}}\text{,}\text{?η?R}{}^{\mathrm{Nn}}$

. Then there exists an R₁, 0 < R₁ < 1, and an α, 0 < α < 1, along with a set $\text{Ω ? B}{}_1$ such that (1) $\text{H}{}_{\mathrm{n\; ?\; 2}}\text{(Ω) = 0}$, (2) Ω does not contain the origin; Ω does not contain B_R1, (3) $\text{B}{}_1\text{? Ω}$ is open, (4) u is $\text{Lip}{}_{\mathrm{\alpha }}\text{(B}{}_1\text{? Ω)}$; u is Lip_αB_R1.     

On Berry-Esséen rates,a law of the iterated logarithm and an invariance principle for the proportion of the sample below the sample mean

Let F_n(x) be the empirical distribution function based on n independent random variables X₁,…,X_n from a common distribution function F(x), and let $\text{X}\text{= Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{X}{}_{\mathrm{i}}\text{n}$ be the sample mean. We derive the rate of convergence of $\text{F}{}_{\mathrm{n}}\text{(}\text{X}\text{)}$ to normality (for the regular as well as nonregular cases), a law of iterated logarithm, and an invariance principle for $\text{F}{}_{\mathrm{n}}\text{(}\text{X}\text{)}$.     

Two-parameter Turan inequalities for ultraspherical and Laguerre polynomials

It is known that the classical orthogonal polynomials satisfy inequalities of the form U_n²(x) ? U_{n + 1}(x) U_{n ? 1}(x) > 0 when x lies in the spectral interval. These are called Turan inequalities. In this paper we will prove a generalized Turan inequality for ultraspherical and Laguerre polynomials. Specifically if P_n^λ(x) and L_n^α(x) are the ultraspherical and Laguerre polynomials and $\text{F}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x) =}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x)}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(1)}\text{, G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) =}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(0)}\text{,}\text{then}\text{F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? F}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, ? 1 < x < 1, ?}\text{1}\text{2}\text{< α ? β ? α + 1}\text{and}\text{G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? G}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, x > 0, 0 < α ? β ? α + 1}$. We also prove the inequality $\text{(n + 1) F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? nF}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > A}{}_{\mathrm{n}}\text{[F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)]}{}^2\text{, ?1 < x < 1, ?}\text{1}\text{2}\text{< α ? β < α + 1,}\text{where}\text{A}{}_{\mathrm{n}}$ is a positive constant depending on α and β.