A class of norms of iterative methods for solving systems of linear equations

A new class of norms which generalize norms previously investigated by Young [9, 14], Sheldon [4, 5], Golub [1], Golub and Varga [2], Varga [6], Wachspress [7], Young and Kincaid [12], Young [14], and Kincaid [3] is introduced. Expressions for these norms applied to the matrices associated with various iterative methods are developed.Work on this paper was sponsored by NSF Grant GP-8442 and Army Grant DA-ARO(D)-31-124-G1050 at The University of Texas at Austin.     

Some algebraic properties of the hyperbolic systems

Abstract The technique of quasi-symmetrizer has been applied to the well-posedness of the Cauchy problem for scalar operators [10], [13] and linear systems [5], [15], [4], and to the propagation of analitycity for solutions to semi-linear systems [6]. In all these works, it is assumed that the principal symbol depends only on the time variable. In this note we illustrate, in some special cases, a new property of the quasisymmetrizer which allows us to generalize the result in [6] to semi-linear systems with coefficients depending also on the space variables [21]. Such a property is closely connected with some interesting inequalities on the eigenvalues of a hyperbolic matrix. We expect that this technique applies also to other problems. Keywords: First order hyperbolic systems, Quasi-symmetrizer, Glaeser inequality     

The Denjoy extension of the Riemann and Mcshane integrals

In this paper we study the Denjoy-Riemann and Denjoy-McShane integrals of functions mapping an interval [a, b] into a Banach space X. It is shown that a Denjoy-Bochner integrable function on [a, b] is Denjoy-Riemann integrable on [a, b], that a Denjoy-Riemann integrable function on [a, b] is Denjoy-McShane integrable on [a, b] and that a Denjoy-McShane integrable function on [a, b] is Denjoy-Pettis integrable on [a, b]. In addition, it is shown that for spaces that do not contain a copy of c ₀, a measurable Denjoy-McShane integrable function on [a, b] is McShane integrable on some subinterval of [a, b]. Some examples of functions that are integrable in one sense but not another are included.     

Applications of the Bernstein-Durrmeyer operators in estimating the norm of Mercer kernel matrices

The paper is related to the norm estimate of Mercer kernel matrices.The lower and upper bound estimates of Rayleigh entropy numbers for some Mercer kernel matrices on[0,1]×[0,1]based on the Bernstein-Durrmeyer operator kernel ale obtained,with which and the approximation property of the Bernstein-Durrmeyer operator the lower and upper bounds of the Rayleigh entropy number and the l2-norm for general Mercer kernel matrices on[0,1]×[0,1]are provided.     

Singular integral operators on Triebel-Lizorkin spaces of para-accretive type

In this article, we study the boundedness of singular integral operators acting on Triebel-Lizorkin spaces of para-accretive type and show a Tb theorem on these spaces, which extends previous results in David, Journé and Semmes (1985) [3], Han (1994) [9], Han, Lee and Lin (2004) [10], Han and Sawyer (1990) [12], Lin and Wang (2009) [15], Wang (1999) [22].     

Existence of solution of the logarithmic diffusion equation with bounded above Gauss curvature

We give a simple proof of an extension of the existence results of Ricci flow of Giesen and Topping (2010, 2011) [15], [20], on incomplete surfaces with bounded above Gauss curvature without using the difficult Shi’s existence theorem of Ricci flow on complete non-compact surfaces and the pseudolocality theorem of Perelman [7] on Ricci flow. We will also give a simple proof of a special case of the existence theorem of Topping (2010) [16] without using the existence theorem of Shi (1989) [9].     

A class of congruences on a posemigroup

V-completions of partially ordered algebraic systems have been studied by many authors, see Jaffard [7]. In particular, Burgess and McFadden [3] considered V-completions of posemigroups by means of ideal systems. In seemingly unrelated work, McFadden [10] characterized certain what we shall call ‘strongly isotone’ m-homomorphisms on posemi-groups; while Bigard [1], Dubreil-Jacotin [6] and McFadden [11] studied group homomorphisms on posemigroups. By determining certain coreflections [8], we prove that any surjective isotone homomorphism on a posemigroup can be factored into an injective strongly isotone homomorphism followed by a surjective strongly isotone m-homorphism. This result is used to bring the previous theories together and to generalise them.     

Orderings of higher level on noetherian rings

The noncommutative algebraic geometry has found fruitful applications in quantum geometry. Similar applications are expected to be found for its younger sister the noncommutative real algebraic geometry

One of the basic results in real algebraic geometry is the Positivestellensatz. The original results of Dubois and Risler (see section 3.3 of [13]) have been extended in many directions. We refer to [14], [1], [2], [3] for commutative rings and [9], [4] for associative rings. The aim of this paper is to prove the higher level Posit ivstellensatz for noncommutative Noetherian rings. Our proof depends on the intersection theorem for orderings of higher level on skew fields ([11], Theorem 3.13). The general case of orderings of higher level on associative rings remains open.     

Two Theorems on Volume and Dihedral Angles of a n—dimensional Simplex

In this paper,we obtain thorem 1 on volum of a n-dimensional simplex and theorem 2 on dihedral angles of a simplex.Besides.We obtain Vasic inequality in E^n and its extension.The results in this paper contain and improve the results in paper[1]、[2]、[3]、[4].     

Automorphisms of Mn,partially ordered by the star order

Let Mn be the space of all n × n matrices with coefficients in [image omitted] or [image omitted], where n ≥ 3. The star order on Mn is defined by [image omitted] iff [image omitted], where A* is the Hermitian adjoint (i.e., the conjugate transpose) of A. We characterize surjective mappings Φ on Mn such that [image omitted] iff [image omitted]. The tools we use are the Fundamental theorem of projective geometry, Wigner's theorem, and the Penrose decomposition, which we need to describe the main result as well.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Asymptotic expansion of stochastic flows

Summary We study the asymptotic expansion in small time of the solution of a stochastic differential equation. We obtain a universal and explicit formula in terms of Lie brackets and iterated stochastic Stratonovich integrals. This formula contains the results of Doss [6], Sussmann [15], Fliess and Normand-Cyrot [7], Krener and Lobry [10], Yamato [17] and Kunita [11] in the nilpotent case, and extends to general diffusions the representation given by Ben Arous [3] for invariant diffusions on a Lie group. The main tool is an asymptotic expansion for deterministic ordinary differential equations, given by Strichartz [14].     

Comparison of Hopf algebras on trees

Several Hopf algebra structures on vector spaces of trees can be found in the literature (cf. [10], [8], [2]). In this paper, we compare the corresponding notions of trees, the multiplications and comultiplications. The Hopf algebras are connected graded or, equivalently, complete Hopf algebras. The Hopf algebra structure on planar binary trees introduced by Loday and Ronco [10] is noncommutative and not cocommutative. We show that this Hopf algebra is isomorphic to the noncommutative version of the Hopf algebra of Connes and Kreimer [3]. We compute its first Lie algebra structure constants in the sense of [7], and show that there is no cogroup structure compatible with the Hopf algebra on planar binary trees.     

Solution of a problem of Ulam

In this paper we solve the following Ulam problem: “Give conditions in order for a linear mapping near an approximately linear mapping to exist” and establish results involving a product of powers of norms [[5.]; [5.]; [5.]]. There has been much activity on a similar “ -isometry” problem of Ulam [ [1.], 633–636; [2.], 263–277; [4.]]. This work represents an improvement and generalization of the work of [3.], 222–224].     

Asymptotics of degenerations of mixed Hodge structures

We construct a hermitian metric on the classifying spaces of graded-polarized mixed Hodge structures and prove analogs of the strong distance estimate [6] between an admissible period map and the approximating nilpotent orbit. We also consider the asymptotic behavior of the biextension metric introduced by Hain [12], analogs of the norm estimates of [19] and the asymptotics of the naive limit Hodge filtration considered in [21].     

Multiplicity results for a class of quasilinear eigenvalue problems on unbounded domains

Using a recent result of Ricceri [10] we prove a multiplicity result for a class of quasilinear eigenvalue problems with nonlinear boundary conditions on an unbounded domain. Our paper completes previous results obtained by Carstea and Rădulescu [4], Chabrowski [1], [2], Kandilakis and Lyberopoulos [6] and Pflüger [7]. Received: 17 April 2007     

Zero or compact products of several Hankel operators

In this paper we give a necessary and sufficient condition for the product of several Hankel operators on the Hardy space of the unit disk to be zero or compact. This extends results of Brown and Halmos [2], Axler, Chang and Sarason [1], Volberg [8] and Xia and Zheng [9] on zero or compact products of two or three Hankel operators.     

To the theory of optimal splines

On June 18, 2008 at the Plenary Meeting of the International Conference “Differential Equations and Topology” dedicated to the 100th anniversary of Pontryagin, the report [1] was submitted by Isaev and Leitmann. This report in a summary form included a section dedicated to the research of scientists of TsAGI in the field of automation of full life-cycle (i.e. engineering-design-manufacturing, or CAE/CAD/CAM, or CALS-technologies) of wind tunnel models [2]. Within this framework, methods of geometric modeling [3] and [4] were intensively developed, new classes of optimal splines have been built, including the Pontryagin splines and the Chebyshev splines [5], [6], [7] and [8]. This paper reviews some results on the Pontryagin splines. We also give some results on the Lurie splines, that arise in the problem of interpolation of a cylindrical type surface given by the family of table coplanar planes.     

关于挠自由群分次环的注记

本文推广ＣＮａｓｔａｓｅｃｕ，Ｆ．ＶａｎＯｙｓｔａｅｙｅｎ的有关结果，并在一定条件下回答了Ｋ．Ｒ．Ｆｕｌｌｅｒ等人的公开问题．     

连续函数空间上有界线性算子逼近的一个充要条件

Korovkin [1] gave a necessary and sufficient condition on linear positive approximation in C[a,b]. In this note, we give such a condition on general bounded approximation in C[a, b]