Companion orthogonal polynomials

We give some properties relating the recurrence relations of orthogonal polynomials associated with any two symmetric distributions dφ₁(x) and d₂(x) such that dφ₂(x) = (1 + kx²)d₁(x). As applications of properties, recurrence relations for many interesting systems of orthogonal polynomials are obtained.     

Special isomorphisms of F[x 1,..., x n ] preserving GCD and their use

On the ring R = F[x ₁,..., x _n ] of polynomials in n variables over a field F special isomorphisms A’s of R into R are defined which preserve the greatest common divisor of two polynomials. The ring R is extended to the ring S: = F[[x ₁,..., x _n ]]⁺ and the ring T: = F[[x ₁,..., x _n ]] of generalized polynomials in such a way that the exponents of the variables are non-negative rational numbers and rational numbers, respectively. The isomorphisms A’s are extended to automorphisms B’s of the ring S. Using the property that the isomorphisms A’s preserve GCD it is shown that any pair of generalized polynomials from S has the greatest common divisor and the automorphisms B’s preserve GCD. On the basis of this Theorem it is proved that any pair of generalized polynomials from the ring T = F[[x ₁,..., x _n ]] has a greatest common divisor.     

A weak-type inequality for uniformly bounded trigonometric polynomials

This paper is devoted to refining the Bernstein inequality. Let D be the differentiation operator. The action of the operator Λ = D/n on the set of trigonometric polynomials T _n is studied: the best constant is sought in the inequality between the measures of the sets {x ∈ T: |Λt(x)| > 1} and {x ∈ T: |t(x)| > 1}. We obtain an upper estimate that is order sharp on the set of uniformly bounded trigonometric polynomials T _n ^C = {t ∈ T _n : ‖t‖ ≤ C}.     

Fourier transforms of smooth functions on certain nilpotent Lie groups

The authors consider irreducible representations $\text{π ?}\text{N}\text{?}$ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels K_φ(x, y) of the trace class operations π_φ = ∝_Nφ(n)π_ndn, regarding the π as modeled in L²(R^k) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels K_φ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rⁿ, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rⁿ → Rⁿ with the following properties. The Fourier transforms F₁φ = K_φ(x, y, λ) all factor through A to give “rationalized” Fourier transforms Fφ(u) such that Fφ ° A = F₁φ. On the rationalized parameter space a function f(u) is of the form F_φ = f ? f is Schwartz class on Rⁿ. If polynomial operators T?P(N) are transferred to operators $\text{T}\text{?}$ on Rⁿ such that $\text{F(Tφ) =}\text{T}\text{?}\text{(Fφ), P(N)}$ is transformed isomorphically to P(Rⁿ).     

The (φ)2 quantum field theory: Lorentz covariance

It is shown that the (φ²ⁿ)₂ quantum field theory model is Lorentz covariant in the sense that the Poincaré transformation φ(x, t) → φ({a, Λ}(x, t)) is locally unitarily implementable in Fock space. It follows that the corresponding theory of local observables satisfies all of the Haag-Kastler axioms. The method of proof generalizes that of Cannon and Jaffe for the (φ⁴)₂ model and relies on higher order estimates for the generator of Lorentz rotations.     

A method of multipliers for mathematical programming problems with equality and inequality constraints

This paper deals with the numerical solution of the general mathematical programming problem of minimizing a scalar functionf(x) subject to the vector constraints φ(x)=0 and ψ(x)≥0. The approach used is an extension of the Hestenes method of multipliers, which deals with the equality constraints only. The above problem is replaced by a sequence of problems of minimizing the augmented penalty function Ω(x, λ, μ,k)=f(x)+λ ^T φ(x)+kφ ^T (x)φ(x) ?μ ^T \(\tilde \psi \) (x)+k \(\tilde \psi \) ^T (x) \(\tilde \psi \) (x). The vectors λ and μ, μ ≥ 0, are respectively the Lagrange multipliers for φ(x) and \(\tilde \psi \) (x), and the elements of \(\tilde \psi \) (x) are defined by \(\tilde \psi \) _(j)(x)=min[ψ_(j)(x), (1/2k) μ_(j)]. The scalark>0 is the penalty constant, held fixed throughout the algorithm. Rules are given for updating the multipliers for each minimization cycle. Justification is given for trusting that the sequence of minimizing points will converge to the solution point of the original problem.     

Connection relations and bilinear formulas for the classical orthogonal polynomials

Suppose we have an operator T that maps a set of orthogonal polynomials {P_n(x)}_{n = o}^∞ to another set of orthogonal polynomials. We show how such a mapping can be used to derive connection relations as well as bilinear formulas for the pre-images {P_n(x)}_{n = o}^∞. This method is carried out in detail for the Jacobi, Laguerre, and Hahn polynomials.     

A decomposition property for prolongational limit sets of Markov processes

Let K be a compact subset of R^d and let m define a semi-dynamical system on M₁(K),, the space of probability measures on K, induced by a homogeneous Markov process. Let J(φ) be the prolongational limit set for φ?M₁(K). The main result of the paper is the decomposition: support of J(φ) = ∪ {support of J(δ_x): x? support φ}, where δ_x is the Dirac measure at the point x.     

The polynomial-normaloid property for Banach-space operators

An earlier paper (Mh. Math.51, 278–297 (1949)) exploited the property ‖∣Tx‖∣²≤‖∣x‖∣ ‖∣T ² x‖∣, and the same property for polynomials in the operatorT, as an aid in establishing spectral resolutions associated withT. The present paper uses the weaker property ‖∣T‖∣=‖∣T ²‖∣^1/2=..., and its extension to polynomials, for the same purpose. Also considered are the possibility of equivalence between the two types of conditions, and the use of arithmethical hypotheses concerning the eigenvalues.     

Product integration of logarithmic singular integrands based on cubic splines

This paper is concerned with the practical evaluation of the product integral ∫¹_{? 1}f(x)k(x)dx for the case when k(x) = In|x - λ|, λ? (?1, +1) and f is bounded in [?1, +1]. The approximation is a quadrature rule

where the weights {w_n,n,i} are chosen to be exact when f is given by a linear combination of a chosen set of functions {φ_n,j}. In this paper the functions {φ_n,j} are chosen to be cubic B-splines. An error bound for product quadrature rules based on cubic splines is provided. Examples that test the performance of the product quadrature rules for different choices of the function are given. A comparison is made with product quadrature rules based on first kind Chebyshev polynomials.     

Chebychev polynomials in a speech recognition model

Advanced speech information processing systems require further research on speaker-dependent information. Recently, a specific system of discrete orthogonal polynomials {φ^L_r(l); l = 1, 2, …, L} ^R_r=0 has been encountered to play a dominant role in a segmental probability model recently proposed in the speaker-dependent feature extraction from speech waves and applied to text-independent speaker verification. Here, these speech polynomials are shown to be the shifted Chebyshev polynomials on a discrete variable t_r(l − 1, L), whose structural and spectral properties are discussed and reviewed in light of the recent discoveries in the field of discrete orthogonal polynomials.     

Chain sequences and symmetric generalized orthogonal polynomials

In this paper, we derive an explicit expression for the parameter sequences of a chain sequence in terms of the corresponding orthogonal polynomials and their associated polynomials. We use this to study the orthogonal polynomials K_n^(λ,M,k) associated with the probability measure dφ(λ,M,k;x), which is the Gegenbauer measure of parameter λ+1 with two additional mass points at ±k. When k=1 we obtain information on the polynomials K_n^(λ,M) which are the symmetric Koornwinder polynomials. Monotonicity properties of the zeros of K_n^(λ,M,k) in relation to M and k are also given.     

On a class of C*-algebras generated by a countable family of partial isometries

The paper investigates the properties of an operator T _φ on the Hilbert space l ²(?), which are induced by the mapping φ of the set ? into itself. It is shown if the mapping φ is such that every preimage has finite, but not equipotentionally bounded cardinality, then the operator T _φ allows a closure and can be represented as a countable sum of partial isometries. The C*-algebras U _φ , P _φ and U _φ associated with given mappings and generated by the mentioned partial isometries are considered. Some properties of these algebras and some relations between them are given.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

A parametric family of quintic polynomials with Galois group D5

We give a parametric family of quintic polynomials of the form x⁵ + ax + b (a, b ∈ $\text{Q}$) with dihedral Galois group D₅. Some properties of the fields defined by these polynomials are also described.     

Holomorphic maps preserving parts of the local spectrum

Let x ₀ be a nonzero vector in \({\mathbb{C}^{n}}\) , and let \({U\subseteq \mathcal{M}_{n}}\) be a domain containing the zero matrix. We prove that if φ is a holomorphic map from U into \({\mathcal{M}_{n}}\) such that the local spectrum of T ∈ U at x ₀ and the local spectrum of φ(T) at x ₀ have always a common value, then T and φ(T) have always the same spectrum, and they have the same local spectrum at x ₀ a.e. with respect to the Lebesgue measure on U. If \({\varphi \colon U\rightarrow \mathcal{M}_{n}}\) is holomorphic with φ(0) = 0 such that the local spectral radius of T at x ₀ equals the local spectral radius of φ(T) at x ₀ for all T ∈ U, there exists \({\xi \in \mathbb{C}}\) of modulus one such that ξT and φ(T) have the same spectrum for all T in U. We also prove that if for all T ∈ U the local spectral radius of φ(T) coincides with the local spectral radius of T at each vector x, there exists \({\xi \in \mathbb{C}}\) of modulus one such that φ(T) = ξT on U.     

Harmonic analysis and asymptotic behavior of solutions to the abstract cauchy problem

LetC _ub ( $\mathbb{J}$ , X) denote the Banach space of all uniformly continuous bounded functions defined on $\mathbb{J}$ 2 ε {?⁺, ?} with values in a Banach spaceX. Let ? be a class fromC _ub( $\mathbb{J}$ ,X). We introduce a spectrumsp?(φ) of a functionφ εC _ub (?,X) with respect to ?. This notion of spectrum enables us to investigate all twice differentiable bounded uniformly continuous solutions on ? to the abstract Cauchy problem (*)ω′(t) =Aω(t) +φ(t),φ(0) =x,φ ε ?, whereA is the generator of aC ₀-semigroupT(t) of bounded operators. Ifφ = 0 andσ(A) ∩i? is countable, all bounded uniformly continuous mild solutions on ?⁺ to (*) are studied. We prove the bound-edness and uniform continuity of all mild solutions on ?⁺ in the cases (i)T(t) is a uniformly exponentially stableC ₀-semigroup andφ εC _ub(?,X); (ii)T(t) is a uniformly bounded analyticC ₀-semigroup,φ εC _ub (?,X) andσ(A) ∩i sp(φ) = Ø. Under the condition (i) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), then the solutions belong to ?. In case (ii) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), andT(t) is almost periodic, then the solutions belong to ?. The existence of mild solutions on ? to (*) is also discussed.     

Two linear equations in formal power series

The equations [gradφ(x)]^TF(x)=h(x) and F(ψ(x))–ψ(x) are considered. They arise in the stability theory of differential and difference equations. The scalar function h(x) is a given, and the function ψ(x) an unknown, formal power series in the n indeterminates x=(x₁,…,x_n)^T, and h(0)=ψ=0; the elements of the n×n matrix F(x) are also formal power series in x, F(0)=0. It is shown that the solvability of both equations depends on the eigenvalues of the Jacobian F_x(0).