The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

On the Order Reduction Approach for Singularly Perturbed Optimal Control Systems

The order reduction method for singularly perturbed optimal control systems consists of employing the system obtained while setting the small parameter to be zero. In many situations the differential-algebraic system thus obtained indeed provides an appropriate approximation to the singularly perturbed problem with a small parameter. In this paper we establish that if relaxed controls are allowed then the answer to the question whether or not this method is valid depends essentially on one simple parameter: the dimension of the fast variable, denoted n. More specifically, if n=1 then the order reduction method is indeed applicable, while if n>1 then the set of singularly perturbed optimal control systems for which it is not applicable is dense (in the L norm).     

函数的逼近及其在下半连续函数可微性中的应用

通过函数的下卷积函数列的逼近方法,在变分原理中从扰动最小值点集的“大小”入手,研究了下半连续函数的可微性。     

Strong conjugation actions induced by flags of exact Borel subalgebras

Let A be a quasi-hereditary algebra with a strong exact Borel subalgebra. It is proved that for any standard semisimple subalgebra T there exists an exact Borel subalgebra B of A such that T is a maximal semisimple subalgebra of B. It is shown that the maximal length of flags of exact Borel subalgebras of A is the difference of the radium and the rank of Grothendic group of A plus 2. The number of conjugation-classes of exact Borel subalgebras is 1 if and only if A is basic; the number is 2 if and only if A is semisimple. For all other cases, this number is 0 or no less than 3. Furthermore, it is shown that all the exact Borel subalgebras are idempotent-conjugate to each other, that is, for any exact Borel subalgebras B and C of A, there exists an idempotent e of A, and an invertible element u of A, such that eBe = u^-1eCeu.     

Equality of two spectra arising in harmonic analysis and semigroup theory

We show that a new notion of a spectrum of a function ( is a Banach space), defined by B. Basit and the first author, coincides with the Arveson spectrum of some shift group, provided is uniformly continuous. We apply this result to prove a new version of a tauberian theorem.     

A note on idempotents in finite AW*-factors

We prove that the value of the quasi-trace on an idempotent element in an AW*-factor of type is the same as the dimension of its left (or right) support.

     

Explicit bounds and heuristics on class numbers in hyperelliptic function fields

In this paper, we provide tight estimates for the divisor class number of hyperelliptic function fields. We extend the existing methods to any hyperelliptic function field and improve the previous bounds by a factor proportional to with the help of new results. We thus obtain a faster method of computing regulators and class numbers. Furthermore, we provide experimental data and heuristics on the distribution of the class number within the bounds on the class number. These heuristics are based on recent results by Katz and Sarnak. Our numerical results and the heuristics imply that our approximation is in general far better than the bounds suggest.

     

Solvable groups with polynomial Dehn functions

Given a finitely presented group , finitely generated subgroup of , and a monomorphism , we obtain an upper bound of the Dehn function of the corresponding HNN-extension in terms of the Dehn function of and the distortion of in . Using such a bound, we construct first examples of non-polycyclic solvable groups with polynomial Dehn functions. The constructed groups are metabelian and contain the solvable Baumslag-Solitar groups. In particular, this answers a question posed by Birget, Ol'shanskii, Rips, and Sapir.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.