Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Multi-Faithful Spanning Trees of Infinite Graphs

For an end and a tree T of a graph G we denote respectively by m() and m _T () the maximum numbers of pairwise disjoint rays of G and T belonging to , and we define tm() := min{m _T(): T is a spanning tree of G}. In this paper we give partial answers — affirmative and negative ones — to the general problem of determining if, for a function f mapping every end of G to a cardinal f() such that tm() f() m(), there exists a spanning tree T of G such that m _T () = f() for every end of G.     

Logarithms and imaginary powers of closed linear operators

The imaginary powersA ^it of a closed linear operatorA, with inverse, in a Banach spaceX are considered as aC ₀-group {exp(itlogA);t R} of bounded linear operators onX, with generatori logA. Here logA is defined as the closure of log(1+A) – log(1+A ^–1). LetA be a linearm-sectorial operator of typeS(tan ), 0(/2), in a Hilbert spaceX. That is, |Im(Au, u)| (tan )Re(Au, u) foru D(A). Then ±ilog(1+A) ism-accretive inX andilog(1+A) is the generator of aC ₀-group {(1+A) ^it ;t R} of bounded imaginary powers, satisfying the estimate (1+A) ^it exp(|t|),t R. In particular, ifA is invertible, then ±ilogA ism-accretive inX, where logA is exactly given by logA=log(1+A)–log(1+A ^–1), and {A ^it;t R} forms aC ₀-group onX, with the estimate A ^it exp(|t|),t R. This yields a slight improvement of the Heinz-Kato inequality.     

Imbedding of pseudo-Riemannian manifolds in a pseudo-euclidean space

It is proved that every pseudo-Riemannian manifold M _{(p, q)} ⁿ with the C^k metric (3k) has an isometric C^k imbedding in the large in E _{(p, q)} ^{n(n+1)(3n+11)/2} , p(n+1)², q(n+1)².Translated from Matematicheskie Zametki, Vol. 9, No. 2, pp. 193–198, February, 1971.     

On convergence subsystems of orthonormal systems

It is proved that for any sequence {R _k} _k=1 of real numbers satisfyingR _kk (k1) andR _k=o(k log₂ k),k, there exists an orthonormal system {n _k(x)} _n=1 ,x (0;1), such that none of its subsystems {n _k(x)} _k=1 withn _kR_k (k1) is a convergence subsystem.     

Description of Hyperinvariant Subspaces of a Contraction in Terms of Its Characteristic Function

If T is a completely nonunitary contraction on a Hilbert space and L is its invariant subspace corresponding to a regular factorization of its characteristic function = , then L is hyperinvariant if and only if the following two conditions are fulfilled: (1) supp _* supp is of Lebesgue measure zero; (2) for every pair A H (E E) and A _* H (E _* E _*) intertwining by , i.e., such that A =A _*, there exists a function A _F H (F F) intertwining with A by and with A _* by , i.e., such that A = A _F and A _F = A _*. Bibliography: 4 titles.     

Dual-orthogonal polynomials

Let (x, ) and (x,) be two functions,x[a, b] and { _j } _j=1 and { _j } _j=1 be two sequences where _{i j} and _{i j} whenij. We define the vector spacesU _k =span{(x, _j )} _j=1 ^k andV _k =span{(x, _j )} _j=1 ^k where we assume thatdim(U _k )=dim(V _k )=k,k1. We then look for the generalized polynomialsp _m xU _m+1\U _m so that _a ^b p _m (x)(x, _j )d(x)=0,j=1,2,...,m. If such generalized polynomials exist for allm1 we say that {p _m } _m=1 is a dual-orthogonal polynomial sequence from {(x, _j )} _j=1 to {(x, _j )} _j=1 with respect to the distribution (x),x[a, b]. In this article we present existence theorems for dual-orthogonal polynomials, explicit formulae forp _m(x), theorems about the zeros ofp _m(x), and, in the end, a Gauss-type quadrature formula for dual-orthogonal polynomials.     

Quasiclassical asymptotic behavior of the scattering cross section for asymptotically homogeneous potentials

One considers the total scattering cross section on the potential gV(x), x^m, m3, for large values of the coupling constant g and of the wave number k. One assumes that V(x)(x/|1x|)|x|^–, 2>m+1, as ¦x¦. It is shown that for gk^–1 , g^3–ak^2(a–2) the scattering cross section is equal asymptotically to _a(gk^–1), x=(m–1)(–1)^–1. Here the coefficient _a is determined only by the function and the number . Under the additional conditions >0, V>0, the indicated asymptotic behavior holds in the large domain gk^–1 , gk^a–z c(gk^–1), >0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 152, pp. 105–136, 1986.     

C r -finite elements of Powell-Sabin type on the three direction mesh

Let be the triangulation generated by a uniform three direction mesh of the plane. Let ₆ be the Powell-Sabin subtriangulation obtained by subdividing each triangleT by connecting each vertex to the midpoint of the opposite side.Given a smooth functionu, we construct a piecewise polynomial function C ^r (²) of degreen=2r (resp. 2r+1) forr odd (resp. even) in each triangle of ₆, interpolating derivatives ofu up to orderr at the vertices of.     

Extension of Subgradient Techniques for Nonsmooth Optimization in Banach Spaces

In this paper we continue the study of the subgradient method for nonsmooth convex constrained minimization problems in a uniformly convex and uniformly smooth Banach space. We consider the case when the stepsizes satisfy _{k=1 k} =, lim _{k k} =0.     

A lower closure theorem for abstract control problems withL p-bounded controls

A lower closure theorem for an abstract control problem is proved. The functional isJ(,u)= _G f ⁰(t, (M)(t),u(t))dt and the state equations areN(t)=f(t, (M)(t),u(t)). It is shown that, if {( _k ,u _k)} is a sequence of admissible controlsu _k and corre-sponding trajectories _k such that lim infJ( _k ,u _k)<+ and such that _k weakly,M _k M strongly,N _k N weakly, and {u _k} is bounded in someL _p norm, then there is a controlu such that (,u) is admissible and lim infJ( _k ,u _k)J(,u).Dedicated to Professor M. R. HestenesThis research was supported by the National Science Foundation, Grant No. GP-33551X.     

Subalgebras that are cyclic as submodules

Let R be an associative, commutative, unital ring. By a R-algebra we mean a unital R-module A together with a R-module homomorphism : _R ⁿ AA (n2). We raise the question whether such an algebra possesses either an idempotent or a nilpotent element. In section 1 an affirmative answer is obtained in case R=k is an algebraically closed field and dim_kA<, as well as in case R=, dimS<, and n0(2). Section 2 deals with the case of reduced rings R and R-algebras which are finitely generated and projective as R-modules. In section 3 we show that the generic algebra over an integral domain D fails to have nilpotent elements in any integral domain extending its base ring D_n,m, and thus acquires an idempotent element in some integral domain extending D_n,m.Partially supported by National Science Foundation Grant GP-38229.     

A structure theorem for sum form functional equations

Summary It is proved that, iff _ij:]0, 1[ C (i = 1, ,k;j = 1, ,l) are measurable, satisfy the equation (1) (with some functionsg _it, h_jt:]0, 1[ C), then eachf _ij is in a linear space (called Euler space) spanned by the functionsx x ^j(logx) ^k (x ]0, 1[;j = 1, ,M;k = 0, ,m _j – 1), where ₁, , _M are distinct complex numbers andm ₁, , m_M natural numbers. The dimension of this linear space is bounded by a linear function ofN.     

A Distortion Theorem for Univalent Gap Series

We prove a distortion theorem for conformal mappings of the unit disk for which log f is representable as the Hadamard gap series. This theorem implies in particular that such conformal mapping is almost bounded, i.e., for every >0, there is a positive constant C such that |f,(z)|C (1–|z|) ^–.     

Topological classification of linear endomorphisms

Letf=f ₊f _–f f ₀ be a linear direct sum decomposition of a real endomorphismf End ⁿ , where the components correspond respectively to absolute values of eigenvalues ||: 0<||<1(f ₊); ||>1(f _–); ||=0(f ); and ||=1(f ₀). We conjecture that a complete set of invariants with respect to topological equivalence consists of the dimensions and orientations off ₊ and off _–, together with the linear isomorphy classes off andf ₀. We prove that this is true in case ⁿ contains nof-periodic points of periods 5 or 7. The conjecture is also true in case it is true for all periodic rotations. In §9 we make some comments on this unsolved case. The main interest of the paper is in §6 and 7.Research supported by the National Science Foundation (Contract number 144-B 695), the Wisconsin Alumni Research Foundation (project number 120432), and l'Institut des Hautes Etudes Scientifiques.     

Stability of unconditional convergence almost everywhere

We will investigate the properties of series of functions which are unconditionally convergent almost everywhere on [0, 1]. We will establish the following theorem: If the series _k=1 f _k(x) converges unconditionally almost everywhere, then there exists a sequence {_k} ₁ ,_k , such that if _{k k} , k=1, 2,..., the series _{k=1 k}/k(x) converges unconditionally almost every-where.Translated from Mate matte heskie Zametki, Vol. 14, No. 5, pp. 645–654, November, 1973.The author wishes to thank Professor P. L. Ul'yanov for his help.     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.     

An infinite dimensional analogue of the Albeverio-Röckner's theorem on Fukushima's conjecture

LetX be the solution of the SDE:dX _t = (X _t)dB _t +b(X _t)dt, with andb C _b (R) such that >0 for some constant , andB a real Brownian motion. Let be the law ofX onE=C([0, 1],R) andk E* – {0}, whereE* is the topological dual space ofE. Consider the classical form: _k (u, v)=u / kv / kd, whereu andv are smooth functions onE. We prove that, if _k is closable for anyk in a dense subset ofE* and if the smooth functions are contained in the domain of the generator of the closure of _k , must be a constant function.     

Characterization of the projections of geodesics of the Sasakian metric ofTCP n andT 1 CP n

Curves that are projections of geodesics of the Sasakian metric of the tangent and tangent sphere bundles of a complex projective space are considered. The main result is: THEOREM. If is a geodesic of TCPⁿ (T₁ CPⁿ) then ₀is a curve inCP ⁿ for which curvatures k₁, , k₅ are constant and k₆ = = k_2n = 0.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 121–126, 1991.