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.     

Bijectivity of -endomorphisms of ℬ(H) and the unilateral shift

LetH be a separable infinite-dimensional complex Hilbert space. We prove that if : (H)(H) is a^*-preserving ring homomorphism whose range contains a rank-one operator and an operator with dense range, then is an isometric linear or conjugate-linear algebra automorphism of (H). In particular, if the unilateral shift is contained in the range of a^*-endomorphism of (H), then is bijective.Research partially supported by the Hungarian National Research Science Foundation, Operating Grant Number OTKA 1652 and K&H Bank Ltd., Universitas Foundation.     

Fibers in Ore Extensions

Let R be a finitely generated commutative algebra over an algebraically closed field k and let A=R[t;,] be the Ore extension with respect to an automorphism and a -derivation . We view A as the coordinate ring of an affine noncommutative space X. The inclusion RA gives an affine map : XSpecR, and X is a noncommutative analogue of A ¹×SpecR. We define the fiber X _p of over a closed point pSpecR as a certain full subcategory ModX _p of ModA. The category ModX _p has the following structure. If p has infinite -orbit, then ModX _p is equivalent to the category of graded modules over the polynomial ring k[x] with degx=1. If p is not fixed by , but has finite -orbit, say of size n, then ModX _p is equivalent to the representations of the quiver à _n–1 with the arrows all going in the same direction. If p is fixed by , then ModX _p is equivalent to either Modk or Modk[x]. It is also shown that X is the disjoint union of the fibers X _p in a certain sense.     

Polynomial Filtrations and Lannes'' T Functor

This paper defines and studies the polynomial filtration [p_k ] of the shift functor : F , where F is the category of functors between F-vector spaces over a finite field F. The functors [p_k ] correspond to a system of functors (p_k T):U U, related to Lannes'T-functor on the category U of unstable modules over the Steenrod algebra. The main results concern the behaviour of the quotients ~ _s:=~/[p_s-1~ filtrations by ~_s-nilpotent functors are introduced and it is shown that the full subcategory of _s-nilpotent functors is thick.     

On the uniform convergence of Gaussian quadrature rules for Cauchy principal value integrals

Summary In a previous paper the authors proposed a modified Gaussian rule _* ^m (wf;t)to compute the integral (wf;t) in the Cauchy principal value sense associated with the weightw, and they proved the convergence in closed sets contained in the integration interval. The main purpose of the present work is to prove uniform convergence of the sequence { _* ^m (wf;t)} on the whole integration interval and to give estimates for the remainder term. The same results are shown for particular subsequences of the Gaussian rules _m (wf;t) for the evaluation of Cauchy principal value integrals. A result on the uniform convergence of the product rules is also discussed and an application to the numerical solution of singular integral equations is made.     

Existence theorems for regular,closed, convex surfaces

With the help of C. Miranda's method, developed in RZh. Mat. 1972, IA 1121 and 2A 917, existence problems are studied for closed convex surfaces whose principal radii of curvatureR ₁(n) andR ₂(n) satisfy an equation of the form R₁R₂ + (R₁ + R₂, R₁, R₂, n) + cn = (n), where c is a constant vector connected to the desired surface and the closure condition holds for(n). Here, in contrast to C. Miranda's papers, it is not assumed that ₁0. Instead, it is required that the first partial derivatives of with respect toR ₁ andR ₂ be nonnegative. A special case of the proved general theorem is the theorem about the existence of an equation in which is equal to the reciprocal of the mean curvature of the surface. The question of carrying over certain of Miranda's results to the case where increases as (R₁R₂)^µ, where µ>1, is also considered.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 69–80, 1991.     

The integral modulus of continuity of the Dirichlet kernel and the conjugate Dirichlet kernel

Asymptotic estimates for the integral modulus of continuity of order s of the Dirichlet kernel and the conjugate Dirichlet kernel are obtained. For example, if k/2, then _s (D _k ,)=2 ^s +1/²sin ^s k/2 log(1+k/s)+O(2 ^s sin ^s k/2)holds uniformly with respect to all the parameters.Translated from Matematicheskie Zametki, Vol. 54, No. 3, pp. 98–105, September, 1993.     

Liftungen von Tripeln

For triplesS andT in a categoryOl, J. Beck [1] has shown the equiva-lence of a distributive law 1:TSST with a lifting ofT into the category ofS-algebras. Now in this paper it is proved that such a di-ributive law is also equivalent with a lifting of S into the T-Kleisli-category. Distributive laws of mixed type are also considered. Each of the distributive laws GTTG and TGGT (with T a triple and G a cotriple inOl) produces a pair of dual liftings.     

Multiple wiener integrals and nonlinear functionals of a nuclear space valued Wiener process

In this work we develop techniques for the study of nonlinear functionals of a -valued Wiener processW _t, where is the dual of a countably Hilbert nuclear space. We construct stochastic integrals and multiple Wiener integrals of operator-valued processes with respect toW _t. The Wiener decomposition of the space of -valued nonlinear functionals ofW _t is established. We also obtain multiple stochastic integral expansions and representations of -valued nonlinear functionals ofW _t as operator-valued stochastic integrals of Itô type.This research was partially supported by CONACYT grants 22537 and PCEXCNA-040651, and Air Force Office of Scientific Research No. F49620 85 C 0144.Presently at CIMAT, A.P. 402 Guanajuato 36000, GTO, México.     

Generalization of a problem of Evelyn-Linfoot and Page in additive number theory

Summary Let k and l be integers such that 2k l. Let S_k and S _{l l}be two subsets of positive integers with S_kQ_k and S_l Q_l, where Q_k denotes the set of k-free integers. Further suppose that the characteristic functions of S_k and S _{l l} are multiplicative. Let T(n) denote the number of representations of n in the form n=a+b, where a S_k and b S _{l l}. In this paper we establish an asymptotic formula for T(n), when n is sufficiently large; and deduce several known asymptotic formulae as particular cases.     

Integral representation of linear operators

In this paper we obtain necessary and sufficient conditions in order that a linear operator, acting in spaces of measurable functions, should admit an integral representation. We give here the fundamental results. Let (T_i, _i) (i=1,2) be spaces of finite measure, and let (T,) be the product of these spaces. Let E be an ideal in the space S(T₁, ₁) of measurable functions (i.e., from |e₁||e₂|, e₁ S (T₁, ₁), e₂E it follows that e₁E). THEOREM 2. Let U be a linear operator from E into S(T₂, ₂). The following statements are equivalent: 1) there exists a-measurable kernel K(t,S) such that (Ue)(S)=K(t,S) e(t)d(t) (eE); 2) if 0e_nE (n=1,2,...) and e_n0 in measure, then (Ue_n)(S) 0 ₂ a.e. THEOREM 3. Assume that the function (t,S) is such that for any eE and for s a.e., the ₂-measurable function Y(S)=(t,S)e(t)d ₁(t) is defined. Then there exists a-measurable function K(t,S) such that for any eE we have (t,S)e(t)d ₁(t)=K(t,S)e(t)d ₁(t) ₁a.e.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 47, pp. 5–14, 1974.     

Symmetric balanced ternary designs with ϱ1 = 1 or 2

Summary We prove the following two non-existence theorems for symmetric balanced ternary designs. If ₁ = 1 and 0 (mod 4) then eitherV = + 1 or 4₂ – + 1 is a square and (4₂ – + 1) divides ² – 1. If ₁ = 2 thenV = ((m + 1)/2) ² + 2,K = (m ² + 7)/4 and = ((m – 1)/2)² + 1 wherem 3 (mod 4). An example belonging to the latter series withV = 18 is constructed.     

Optimal pairs of incomparable clouds in multisets

We consider the partially ordered set ([k] ⁿ, ), which is defined asn-th product of the chain [k] = {0, 1, 2,...,k – 1}, and study pairs (A, B) of incomparable setsA, B [k] ⁿ, that is,a b, a b for alla A, b B or (in short notation) A BWe are concerned with the growth of the functionsf _n: {0, 1,...,k ⁿ} {0, 1,...,k ⁿ},n , defined byf _n() = max {|B|: A, B [k] ⁿ with|A| = and A B} and a characterisation of pairs (A, B), which assume this bound.In the previously studied casek = 2 our results are considerably sharper than earlier results by Seymour, Hilton, Ahlswede and Zhang.     

A family of noetherian rings with their finite length modules under control

We investigate the category mod of finite length modules over the ring =A _k , where is a V-ring, i.e. a ring for which every simple module is injective, k a subfield of its centre and A an elementary k-algebra. Each simple module E _j gives rise to a quasiprogenerator P _j = A E _j . By a result of K. Fuller, P _j induces a category equivalence from which we deduce that mod _j mod EndP _j . As a consequence we can(1) construct for each elementary k-algebra A over a finite field k a nonartinian noetherian ring such that modA mod(2) find twisted versions of algebras of wild representation type such that itself is of finite or tame representation type (in mod)(3) describe for certain rings the minimal almost split morphisms in mod and observe that almost all of these maps are not almost split in Mod.     

Some remarks on factoriality of certain hypersurfaces in \mathbb{P}^4

Let V be a reduced and irreducible hypersurface of degree k 3. In this paper we prove that if the singular locus of V consists of ₂ ordinary double points, ₃ ordinary triple points and if ₂ + 4₃ < (k – 1)², then any smooth surface contained in V is a complete intersection on V.Received: 7 January 2004     

Equivalent Characterization of Entire Functions of Exponential Type

In this paper, we show that a necessary and sufficient condition for the fulfillment of the relation s _m ^(k) (f) – f^(k) _p 0 as m , 1 < p < , k 0,1,2,..., is that f B _,p , where B _,p = B L _p (R), and B denotes the subset of all entire functions of exponential type which are bounded on R, B _,p is usually called Paley-Wiener class, and s _m (f) is the unique cardinal spline of degree m – 1 interpolating f at the integers. Moreover, we obtain three equivalent forms for the characterization of the class B _,p .     

Approximation by linear methods of summation of orthogonal series

We give an estimate of the rapidity of convergence of certain linear means of the orthogonal series _k =0 c_{k k} (x) to the functionf (x) L₂ (a, b) defined by this series according to the Riesz-Fisher theorem for almost all x (a, b). The results obtained are, in a certain sense, final.Translated from Matematicheskie Zametki, Vol. 3, No. 3, pp. 345–356, March, 1968.     

The second and the third smallest distances on the sphere

Let s₁ (n) denote the largest possible minimal distance amongn distinct points on the unit sphere . In general, let s_k(n) denote the supremum of thek-th minimal distance. In this paper we prove and disprove the following conjecture of A. Bezdek and K. Bezdek: s₂(n) = s₁([n/3]). This equality holds forn > n₀ however s₂(12) > s₁(4).We set up a conjecture for s_k(n), that one can always reduce the problem of thek-th minimum distance to the function s₁. We prove this conjecture in the casek=3 as well, obtaining that s₃(n) = s₁([n/5]) for sufficiently largen.The optimal construction for the largest second distance is obtained from a point set of size [n/3] with the largest possible minimal distance by replacing each point by three vertices of an equilateral triangle of the same size . If 0, then s₂ tends to s₁([n/3]). In the case of the third minimal distance, we start with a point set of size [n/5] and replace each point by a regular pentagon.     

On a Particular Class of Minihypers and Its Applications. I. The Result for General q

This article is the first in a series of three articles that discuss a particular class of minihypers and its applications. Proving that for small and < N, a {v _{+ 1}, v ; N, q}-minihyper consists of a sum of -spaces, we show that the excess points of an s-cover with excess of PG(N, q), (s + 1)|(N + 1), form a sum of s-spaces, and that no maximal partial s-spreads with deficiency of PG(N, q), (s + 1)|(N + 1), exist. The case q square will be studied in greater detail in [7] and further applications of these classification results on this class of minihypers will be published in [8].     

On a family of topologies on the spaceL p

We study a family of topologies {_s}_{0 on the space lp, 0s} is the protective topology on l_p generated by the family of multipliers m_y:l_pl_s, m_y(x)=x · y, where y ranges over the space l_p and 1/p + 1/q=1/s. Here l_s is taken with its standard topology generated by the norm for s 1 or a pseudonorm if 0s}_{0sp is strictly increasing and that all the topologies s}, 0s are not locally convex when 0Matematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 35, 1992, pp. 194–198.