On fair parametric rational cubic curves

First we derive conditions that a parametric rational cubic curve segment, with a parameter, interpolating to plane Hermite data {(x _i ^(k) ,y _i ^(k) ),i = 0, 1;k = 0, 1} contains neither inflection points nor singularities on its segment. Next we numerically determine the distribution of inflection points and singularities on a segment which gives conditions that aC ² parametric rational cubic curve interpolating to dataS = {(x _i ^(k) ,y _i ^(k) ), 0 i n} is free of inflection points and singularities. When the parametric rational cubic curve reduces to the well-known parametric cubic one, we obtain a theorem on the distribution of the inflection points and singularities on the cubic curve segment which has been widely used for finding aC ¹ fair parametric cubic curve interpolating toS.     

Convex interpolating splines of arbitrary degree II

For given data {(x _i ,y _i )} _i=0 ⁿ , (x ₀<x ₁<...<x _n ) we consider the possibility of finding a spline functions of arbitrary degreek+1 (k 1) with preassigned smoothnessl, where 1 l [(k+1)/2]. The splines should be such thats(x _i )=y _i ,i=0, 1,...,n ands is increasing and convex on [x ₀,x _n ]. Sufficient conditions which guarantee the existence ofs and an explicit formula for this function are derived.     

Global integration of differential equations through Lobatto quadrature

For the numerical solution of the initial value problemy=f(x,y), –1x1;y(–1)=y ₀ a global integration method is derived and studied. The method goes as follows.At first the system of nonlinear equations is solved. The matrix (A _i,k ⁽ⁿ⁾ ) of quadrature coefficients is nearly lower left triangular and the pointsx _k,n ,k=1,2,...,n are the zeros ofP _n –P _n–2, whereP _n is the Legendre polynomial of degreen. It is showed that the errors From the valuesf(x _i,n ,y _i,n ),i=1,2,...,n an approximation polynomial is constructed. The approximation is Chebyshevlike and the error at the end of the interval of integration is particularly small.     

On the Boundedness of a Recurrence Sequence in a Banach Space

We investigate the problem of the boundedness of the following recurrence sequence in a Banach space B: where |y _n} and | _n } are sequences bounded in B, and A _k, k 1, are linear bounded operators. We prove that if, for any > 0, the condition is satisfied, then the sequence |x _n} is bounded for arbitrary bounded sequences |y _n} and | _n } if and only if the operator has the continuous inverse for every z C, |z| 1.     

Lower-semicontinuity result for the two-scale convergence

Let (m, n) ∈ ℕ², Ω an open bounded domain in ℝ^m , Y = [0, 1]^m ; u^ε in (L²(Ω))ⁿ which is two-scale converges to some u in (L²(Ω × Y))ⁿ . Let φ: Ω × ℝ^m × ℝⁿ → ℝ such that: φ(x, ·, ·) is continuous a.e. x ∈ Ω φ(·, y, z) is measurable for all (y, z) in ℝ^m × ℝⁿ , φ(x, ·, z) is 1-periodic in y, φ(x, y, ·) is convex in z. Assume that there exist a constant C₁ > 0 and a function C₂ ∈ L²(Ω) such that

     

An estimate for the region of regularity of solutions of certain nonlinear differential inequalities

In the diskx ²+y ²R ² of thex, y-plane we consider the differential inequalityz _xxz_yy–z _xy ² –(1+z _x ^/2 +z _y ^/2 )^k, where the constants >0 andk>1. In the case =1 andk=2 this inequality means that the surfacez(x, y) has Gaussian curvatureK1. Efimov has shown that in this case the radius of the disk has an upper bound. In the present article we establish an analogous upper bound for the radiusR of the disk in which the functionz(x, y) satisfies the differential inequality above.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 19–21.     

Edge-isoperimetric inequalities in the grid

The grid graph is the graph on [k] ⁿ ={0,...,k–1} ⁿ in whichx=(x _i ) ₁ ⁿ is joined toy=(y _i ) ₁ ⁿ if for somei we have |x _i –y _i |=1 andx _j =y _j for allji. In this paper we give a lower bound for the number of edges between a subset of [k] ⁿ of given cardinality and its complement. The bound we obtain is essentially best possible. In particular, we show that ifA[k] ⁿ satisfiesk ⁿ /4|A|3k ⁿ /4 then there are at leastk ^n–1 edges betweenA and its complement.Our result is apparently the first example of an isoperimetric inequality for which the extremal sets do not form a nested family.We also give a best possible upper bound for the number of edges spanned by a subset of [k] ⁿ of given cardinality. In particular, forr=1,...,k we show that ifA[k] ⁿ satisfies |A|r ⁿ then the subgraph of [k] ⁿ induced byA has average degree at most 2n(1–1/r).Research partially supported by NSF Grant DMS-8806097     

On the continuation of solutions for elliptic equations in two variables

We consider nonlinear elliptic differential equations of second order in two variables

Full-size image

. Supposing analyticity of F, we prove analyticity of the real solution z=z(x,y) in the open set Ω. Furthermore, we show that z may be continued as a real analytic solution for F=0 across the real analytic boundary arc Γ∂Ω, if z satisfies one of the boundary conditions z= or z_n=ψ(x,y,z,z_t) on Γ with real analytic functions and ψ, respectively (z_n denotes the derivative of z w.r.t. the outer normal n on Γ and z_t its derivative w.r.t. the tangent). The proof is based on ideas of H. Lewy combined with a uniformization method. Studying quasilinear equations, we get somewhat better results concerning the initial regularity of the given solution and a little more insight.     

k-Weakly almost convex groups and π 1 ∞ \tilde M^3

We extend Cannon's notion ofk-almost convex groups which requires that for two pointsx, y on then-sphere in the Cayley graph which can be joined by a pathl ₁ of length k, there is a second pathl ₂ in then-ball, joiningx andy, of bounded length N(k). Ourk-weakly almost convexity relaxes this condition by requiring only thatl ₁ l ₂ bounds a disk of area C ₁(k)n ^{1 - (k)} +C ₂(k). IfM ³ is a closed 3-manifold with 3-weakly almost convex fundamental group, then ₁ .     

Hodge decompositions of Loday symbols inK-theory and cyclic homology

In this paper, we study the Hodge decompositions ofK-theory and cyclic homology induced by the operations ^k and ^k , and in particular the decomposition of the Loday symbols x,y, ...z. Except in special cases, these Loday symbols do not have pure Hodge index. InK _n (A) they can project into every componentK _n ⁽ⁱ⁾ for 2in, and the projection of the Loday symbol x,y, ...,z intoK _n ⁽ⁿ⁾ is a multiple of the generalized Dennis-Stein symbol x,y, ...,z. Our calculations disprove conjectures of Beilinson and Soulé inK-theory, and of Gerstenhaber and Schack in Hochschild homology.Partially supported by National Security Agency grant MDA904-90-H-4019.Partially supported by National Science Foundation grant DMS-8803497.     

Iterative hyperidentities for theA n,m varieties of semigroups

Iterative hyperidentities are hyperidentities of the special formF ^a (x ₁,...,x _k =F ^a+b (x ₁,...,x _k ). This type of hyperidentity has been considered by Denecke and Pöschel, and by Schweigert. Here we consider iterative hyperidentities for the variety A_n,m of commutative semigroups satisfyingx ⁿ =x ^n+m ,n,m 1. We introduce two parameters(m, n) and(m) associated withn andm, and show thatA _nn,m satisfies the iterative hyperidentitiesF (x ₁,...,x _k =F ^+b (x ₁,...,x _k ) for every arityk. Moreover, the numbers and are minimal, making these hyperidentities irreducible in the sense of Schweigert. We also show how these hyperidentities for A_n,m may be used to prove that no non-trivial proper variety of commutative semigroups can have a finite hyperidentity basis.Presented by W. Taylor.Research supported by NSERC of Canada     

Sesquitransitive and Localizing Operator Algebras

An algebra of operators on a Banach space X is said to be transitive if X has no nontrivial closed subspaces invariant under every member of the algebra. In this paper we investigate a number of conditions which guarantee that a transitive algebra of operators is “large” in various senses. Among these are the conditions of algebras being localizing or sesquitransitive. An algebra is localizing if there exists a closed ball B ∌ 0 such that for every sequence (x _n ) in B there exists a subsequence and a bounded sequence (A _k ) in the algebra such that converges to a non-zero vector. An algebra is sesquitransitive if for every non-zero z ∈ X there exists C > 0 such that for every x linearly independent of z, for every non-zero y ∈ X, and every there exists A in the algebra such that and ||Az|| ≤ C||z||. We give an algebraic version of this definition as well, and extend Jacobson’s density theorem to algebraically sesquitransitive rings. The second and the third authors were supported by NSERC.     

Varieties of lattice ordered groups that contain no non-abelian o-groups are solvable

It is shown that the variety _n of lattice ordered groups defined by the identity x ⁿ y ⁿ =y ⁿ x ⁿ , where n is the product of k (not necessarily distinct primes) is contained in the (k+1)st power A ^k+1 of the variety A of all Abelian lattice ordered groups. This implies, in particular, that _n is solvable class k + 1. It is further established that any variety V of lattice ordered groups which contains no non-Abelian totally ordered groups is necessarily contained in _n , for some positive integer n.This work was supported in part, by NSERC Grant A4044.     

Eigenfunctions and associated functions of an n-th-order linear differential operator

For n2 we consider a differential operatorL [y] z ⁿ y ⁽ⁿ⁾ +P ₁(z)z ^n–1 y ^(n–1) +P ₂ (z)z ^n–2 y ^n–2 + ...+P _n (z)y = y, p ₁ (z), ..., P _n (z) A _R : here a_r is the space of functions which are analytic in the disk ¦z¦ < R, equipped with the topology of compact convergence. We prove the existence of sequences {f_k(z)} _k =o, consisting of a finite number of associated functions of the operator L and an infinite number of its eigenfunctions; we show that the sequence forms a basis in A_r for an arbitrary r, 0 < r <- R; and we establish some additional properties of the sequence ₀ (z), ₁ (z),..., _d–1 (z), f _d (z), f _d+1 (z),... Translated from Matematicheskie Zametki, Vol. 20, No. 6, pp. 869–878, December, 1976.     

Inequalities for ordered sums

Summary Letx _i =y _i +z _i ,i=1, ...n, and writex ₍₁₎≦...≦x _(n) , with corresponding notation for the orderedy _i andz _i . It is shown, for example, that ,r=1, ...n. Inequalities are also obtained for convex (or concave) functions of thex _(i) . The results lead immediately to bounds for the expected values of order statistics in nonstandard situations in terms of simpler expectations. A small numerical example illustrates the method. Research supported by U.S. Army Research Office.     

On the instability of hydromagnetic planetary-gravity waves in zonal wind-magnetic shears

Hydromagnetic planetary-gravity waves propagating on a-plane through steady vertically sheared zonal flow and zonal magnetic field are investigated for instability. It is shown that for a zonal flow strength,U ₀, a latitudinal wavenumberk _y and a vertical wave numberk _z instability can onset for a fixed basic state Alfvén wave speedV ₀, provided thatk _y k _z U ₀ is positive and that=k _y k_z U₀/>1+. where and are positive parameters which depend on the properties of the medium.IfU ₀ is kept uniform andV ₀ is allowed to vary instability can onset provided thatV ₀ exceeds a certain value and the only a limited range of zonal wavenumbers can exhibit instability.

---

Résumé On a étudié l'instabilité d'ondes hydromagnétiques planétaires de gravité se propageant sur un plan à travers un flux zonal constant cisaillé verticalement et dans un champ magnétique zonal.On a montré que pour un flux zonal d'intensitéU ₀, un nombre d'onde latitudinalk _y et un nombre d'onde verticalk _z, l'instabilité peut se manifester, pour une vitesse d'onde d'AlfvénV ₀ fixe, à condition que le produitk _y k _z U ₀ soit positif et que=k _y k _z U ₀/>1+ ( et sont des paramètres positifs qui dépendent des propriétés du milieu de propagation.Si on gardeU ₀ constant en laissant varierV ₀, l'instabilité peut s'installer quandV ₀ est supérieur à une certaine valeur; alors, seule une portion des nombres d'onde zonaux peut manifester des phénomènes d'instabilité.

     

On uniqueness of Neumann-Tricomi problem in R2

We consider the equation of mixed type (k(y) ? 0 whenever y ? 0) in a region G which is bounded by the curves: A piecewise smooth curve Γ lying in the half-plane y > 0 which intersects the line y = 0 at the points A(-1, 0) and B(0, 0). For y < 0 by a piecewise smooth curve Γ through A which meets the characteristic of (1) issued from B at the point P and the curve Γ which consists of the portion PB of the characteristic through B. We obtain sufficient conditions for the uniqueness of the solution of the problem L[u] = f, d_nu: = k(y)u_xdy – u_ydx|γ0 = = Ψ(s) for a “general” function k(y), when r(x, y) is not necessarily zero and Γ₁ is of a more general form then in the papers of V. P. Egorov [6], [7].     

A parallel selection algorithm

The problem of selecting thekth largest or smallest element of {x _i +y _j |x _i X andy _j Y i,j} whereX=(x ₁,x ₂, ..,x _n ) andY=(y ₁,y ₂, ...,y _n ) are two arrays ofn elements each, is considered. Certain improvements to an existing algorithm are proposed. An algorithm requiringO(logk·logn) units of time on a Shared Memory Model of a parallel computer havingO(n ^1+1/) processors is presented where is a pre-assigned constant lying between 1 and 2.