Extremal signatures for bivariate Chebyshev approximation problems

The problem of finding a Chebyshev solution of the real matrix equationAX+YB=C, whereC is anm×n matrix, is considered. This equation is equivalent to a linear system [I _n A,B ^T I _m ]z=d. The characterization and the computation of best linear Chebyshev approximations are connected with the notion of extremal signature. The purpose of this paper is to analyze the extremal signatures of this problem.     

Quadrature methods of arbitrary order for solving linear ordinary differential equations

The writer shows that given any positive integern3 there is a one step method for numerical integration of the linear ordinary differential equationY=tAY+B of ordern+1, which employsn evaluations ofA andB. Numerical computations of the method whenn=3 and 4 compare quite favorably with the method of Runge-Kutta in those cases which are considered.     

Laurent-Padé approximants to four kinds of Chebyshev polynomial expansions. Part I. Maehly type approximants

Laurent Padé-Chebyshev rational approximants,A _m (z,z ⁻¹)/B _n (z, z ⁻¹), whose Laurent series expansions match that of a given functionf(z,z ⁻¹) up to as high a degree inz, z ⁻¹ as possible, were introduced for first kind Chebyshev polynomials by Clenshaw and Lord [2] and, using Laurent series, by Gragg and Johnson [4]. Further real and complex extensions, based mainly on trigonometric expansions, were discussed by Chisholm and Common [1]. All of these methods require knowledge of Chebyshev coefficients off up to degreem+n. Earlier, Maehly [5] introduced Padé approximants of the same form, which matched expansions betweenf(z,z ⁻¹)B _n (z, z ⁻¹)). The derivation was relatively simple but required knowledge of Chebyshev coefficients off up to degreem+2n. In the present paper, Padé-Chebyshev approximants are developed not only to first, but also to second, third and fourth kind Chebyshev polynomial series, based throughout on Laurent series representations of the Maehly type. The procedures for developing the Padé-Chebyshev coefficients are similar to that for a traditional Padé approximant based on power series [8] but with essential modifications. By equating series coefficients and combining equations appropriately, a linear system of equations is successfully developed into two sub-systems, one for determining the denominator coefficients only and one for explicitly defining the numerator coefficients in terms of the denominator coefficients. In all cases, a type (m, n) Padé-Chebyshev approximant, of degreem in the numerator andn in the denominator, is matched to the Chebyshev series up to terms of degreem+n, based on knowledge of the Chebyshev coefficients up to degreem+2n. Numerical tests are carried out on all four Padé-Chebyshev approximants, and results are outstanding, with some formidable improvements being achieved over partial sums of Laurent-Chebyshev series on a variety of functions. In part II of this paper [7] Padé-Chebyshev approximants of Clenshaw-Lord type will be developed for the four kinds of Chebyshev series and compared with those of the Maehly type.     

Preconditioning strategies for asymptotically ill-conditioned block Toeplitz systems

A particular class of preconditioners for the conjugate gradient method and other iterative methods is proposed for the solution of linear systemsA _n,mx=b, whereA _n,m is ann×n positive definite block Toeplitz matrix withm×m Toeplitz blocks. In particular we propose a sparse preconditionerP _n,m such that the condition number of the preconditioned matrix turns out to be less than a suitable constant independent of bothn andm, even if the condition number ofA _n,m tends to . This leads to iterative methods which require a number of steps independent ofm andn in order to reduce the error by a given factor.     

The second goldbach conjecture revisited

This paper gives further numerical results on the conjecture that every odd numbern can be written as 2p +q wherep andq are primes. Strange fluctuations in the least possible value ofq needed are noted, studied, and partially predicted using the Hardy-Littlewood conjecture. Finally values of the Hardy-Littlewood constantsC ₂,C ₃ ...C ₄₉ are tabulated as they are of use in other numerical verifications but difficult to compute.     

On the isomorphisms and automorphism groups of circulants

Denote byC _n(S) the circulant graph (or digraph). LetM be a minimal generating element subset ofZ _n, the cyclic group of integers modulon, and In this paper, we discuss the problems about the automorphism group and isomorphisms ofC _n(S). When M S , we determine the automorphism group ofC _n(S) and prove that for any T if and only ifT = S, where is an integer relatively prime ton. The automorphism groups and isomorphisms of some other types of circulant graphs (or digraphs) are also considered. In the last section of this paper, we give a relation between the isomorphisms and the automorphism groups of circulants.     

Cyclotomic units in z p -extensions

LetK ₀ be the maximal real subfield of the field generated by thep-th root of 1 over ℚ, andK∞ be the basic Z_p-extension ofK ₀ for a fixed odd primep. LetK _n be itsn-th layer of this tower. For eachn, we denote the Sylowp-subgroup of the ideal class group ofK _n byA _n , and that ofE _n C _n byB _n , whereE _n (resp.C _n ) is the group of units (resp. cyclotomic units ofK _n . In section 2 of this paper, we describe structures of the direct and inverse limits ofB _n . The direct limit, in particular, is shown to be a direct sum of λ copies ofp-divisible groups and a finite group M, where λ is the Iwasawa λ-invariant for K∞ overK ₀. In section 3, we prove that the capitulation ofA _n inA _m is isomorphic to M form ≫n ≫ 0 by using cohomological arguments. Hence if we assume Greenberg’s conjecture (λ = 0), thenA _n is isomorphic toB _n forn ≫ 0. This paper was supported in part by a research fund for junior scholars, Korea Research Foundation The present studies were supported in part by the Basic Science Research Institute program, Ministry of Education, 1989.     

Some Remarks on Relative Chebyshev Centers

In this work we study a relative Chebyshev center ofKwith respect toY, whereKis a closed bounded convex subset of a Hilbert spaceX, andYis a closed convex subset ofX. Some results of Amir and Mach [J. Approx. Theory40, (1984), 364–374] are extended.     

Ratio limit theorems for Markov processes

Convergence of andμP ⁿ(B)/μP ⁿ(a) is established for a certain class of Markov operators,P, whereμ is a measure andB is a subset ofA. The results are proved under certain conditions onP and the setA.     

Parallel QR decomposition of a rectangular matrix

Summary We show that the greedy algorithm introduced in [1] and [5] to perform the parallel QR decomposition of a dense rectangular matrix of sizem×n is optimal. Then we assume thatm/n ² tends to zero asm andn go to infinity, and prove that the complexity of such a decomposition is asymptotically2n, when an unlimited number of processors is available.     

The ham sandwich theorem revisited

This paper continues the search, started in [10], for relatives of the ham sandwich theorem. We prove among other results, the following implications {fx21-1} whereK(n, k) is an important instance of the Knaster’s conjecture so thatK(n, n − 1) reduces to the Borsuk-Ulam theorem,B(n, k) is a R. Rado type statement about (k + 1) measures inR ⁿ whereB(n, n − 1) turns out to be the ham sandwich theorem andC(n, k) is a topological statement, established in this paper in the caseC(n, n − 2),n = 3 orn ≥ 5.     

Comportement moyen du cardinal de certains ensembles de facteurs premiers

Letn be a positive integer andS _n a particular set of prime divisors ofn. We establish the average order off(n) wheref(n) stands for the cardinality ofS _n . Thek-ary,k-free, semi-k-ary prime factors ofn are some of the classes of prime divisors studied in this paper.

     

Construction of representation-finite selfinjective artin algebras of classB n andC n

In this paper, we discuss the representation-finite selfinjective artin algebras of classB _n andC _n and obtain the following main results: For any fieldk, let Λ be a representation-finite selfinjective artin algebras of classB _n orC _n overk.

An extrapolation method for the quadrature of functions with singularities in the vicinity of the interval of integration

Summary A method is proposed for the calculation of integrals and for positive small values ofb withg(x) analytic in a disk centered at the origin andr positive rational. The integrals are splitted into a singular part and a regular function ofb ^r which can be extrapolated to smallb's. A principal value integral and special cases whereg(x) is not analytic at the origin are also considered.     

Linear spaces withn + n + 2lines

It is shown that every non-degenerate linear space withn² + n + 2lines,n ≥ 6, hasv n² + 1 − epoints, whereeis the unique positive real number withn =½e(e + 1). For values ofnfor whicheis an integer, it is shown that the linear spaces withn² + 1 − epoints andn² + n + 2lines are related to symmetric divisible designs.     

On intertwining operators

LetB(H) denote the algebra of operators on the Hilbert spaceH into itself. GivenA,BB(H), defineC (A, B) andR (A, B):B(H)B(H) byC (A, B) X=AX–XB andR(A, B) X=AXB–X. Our purpose in this note is a twofold one. we show firstly that ifA andB ^*B (H) are dominant operators such that the pure part ofB has non-trivial kernel, thenC ⁿ (A, B) X=0, n some natural number, implies thatC (A, B)X=C(A ^*,B ^*)X=0. Secondly, it is shown that ifA andB ^* are contractions withC ₀ completely non-unitary parts, thenR ⁿ (A, B) X=0 for some natural numbern implies thatR (A, B) X=R (A ^*,B ^*)X=C (A, B ^*)X=C (A ^*,B) X=0. In the particular case in whichX is of the Hilbert—Schmidt class, it is shown that his result extends to all contractionsA andB.     

Diameter of sets and measure of sumsets

For bounded sets A, B of reals we show that wherea=(A),b=(B) andD is the diameter ofB. For large values ofa this yields (A+B)a+D.Supported by Hungarian National Foundation for Scientific Research, Grant No. 1901.     

TC semigroups and inflations

An algebraA satisfiesTC (the term condition) if for any and anyn + 1-ary termp.TC algebras have been extensively studied. We previously determined the structure of allTC semigroups. We use this result to show that ifS is aTC semigroup thenS _E = {a ε S | ax is an idempotent for somex ε S} is an inflation ofS _Reg (the set of regular elements ofS) andS _Reg ≅H × A × B whereH is an abelian group,A is a left zero semigroup, andB is a right zero semigroup. As a corollary of this result, we show thatS is a semisimpleTC semigroup iffS ≅H × A × B whereH is an abelian group,A is a left zero semigroup, andB is a right zero semigroup.     

Lower bounds for coverings of pairs by large blocks

Letnkt be positive integers, andX—a set ofn elements. LetC(n, k, t) be the smallest integerm such that there existm k-tuples ofX B ₁ B ₂,...,B _m with the property that everyt-tuple ofX is contained in at least oneB _i . It is shown that in many cases the standard lower bound forC(n, k, 2) can be improved (k sufficiently large,n/k being fixed). Some exact values ofC(n, k, 2) are also obtained.     

Oscillation and Nonoscillation for Second Order Linear Differential Equations

New oscillation and nonoscillation theorems are obtained for the second order linear differential equationu″ + p(t)u = 0, wherep(t) ∈ C[0, ∞) andp(t) ≥ 0. Conditions only about the integrals ofp(t) on every interval [2ⁿt₀, 2^{n + 1}t₀] (n = 1, 2,…) for some fixedt₀ > 0 are used in the results.