Some homological properties of commutative semitrivial ring extensions

LetR be a commutative ring with 1 andM anR-module. If:M _R MR is anR-module homomorphism satisfying(mm)=(mm) and(mm)m=m(mm), the additive abelian groupRM becomes a commutative ring, if multiplication is defined by (r,m)(r,m)=(rr+(mm),rm+rm). This ring is called the semitrivial extension ofR byM and and it is denoted byR M. This generalizes the notion of a trivial extension and leads to a more interesting variety of examples. The purpose of this paper is to studyR M; in particular, we are interested in some homological properties ofR M as that of being Cohen-Macaulay, Gorenstein or regular. A sample result: Let (R,m) be a local Noetherian ring,M a finitely generatedR-module and Im() m. ThenR M is Gorenstein if and only if eitherRM is Gorenstein orR is Gorenstein,M is a maximal Cohen-Macaulay module andMM ^*, where the isomorphism is given by the adjoint of.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

Stability radius of polynomials occurring in the numerical solution of initial value problems

This paper deals with polynomial approximations(x) to the exponential function exp(x) related to numerical procedures for solving initial value problems. Motivated by stability requirements, we present a numerical study of the largest diskD()={z C: |z+|} that is contained in the stability regionS()={z C: |(z)|1}. The radius of this largest disk is denoted byr(), the stability radius. On the basis of our numerical study, several conjectures are made concerningr _m,p=sup {r(): _m,p}. Here _{m, p} (1pm; p, m integers) is the class of all polynomials(x) with real coefficients and degree m for which(x)=exp(x)+O(x ^p+1) (forx 0).     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

A Method of Solution for the One-Dimensional Heat Equation Subject to Nonlocal Conditions

The problem of solving the one-dimensional heat equation /t - ²/x² = f(x, t) subject to given initial and nonlocal conditions is considered. It is solved in the Laplace transform domain by taking the Laplace transform of the unknown function with respect to time t. The physical solution is recovered with the help of a numerical technique for inverting the Laplace transform.AMS Subject Classification (1991): 35K20.     

Fast Summation of Power Series with Coefficients Analytic at Infinity

We propose a fast summation algorithm for slowly convergent power series of the form _{j=j 0} z ^j _j j _i=1 ^s (j+ _i )^– _i , where R, _i 0 and _i C, 1is, are known parameters, and _j =(j), being a given real or complex function, analytic at infinity. Such series embody many cases treated by specific methods in the recent literature on acceleration. Our approach rests on explicit asymptotic summation, started from the efficient numerical computation of the Laurent coefficients of . The effectiveness of the resulting method, termed ASM (Asymptotic Summation Method), is shown by several numerical tests.     

Résolution numérique des grands systèmes différentiels linéaires

Sommaire La solution stricte d'un système différentiel linéaire à coefficients constants [d /d t] = [A] [] + [f (t) ] est donnée par: [ (t)]= [e^At] [ (0) ] + f [e^A(t–)] [f (T) ] d .Cette relation, utilisée dans une méthode de pas à pas, permet le calcul de [(t+u)] en fonction de [(t)]. La mise en oeuvre numérique de cette formule nécessite le calcul de [e^A] et de l'intégrale de matrice du second membre.Le sujet de cette étude est la mise au point de techniques d'approximation permettant le calcul effectif de [e ^Aµ] et de l'intégrale de matrice par des méthodes qui peuvent s'adapter en particulier aux systèmes différentiels à très grand nombre d'inconnues, qui apparaissent par exemple dans l'approximation par discrétisation enx ety, de l'équation aux dérivées partielles, dite de la chaleur.     

Weighted Composition Operators on Bergman and Dirichlet Spaces

Let H() denote a functional Hilbert space of analytic functions on a domain . Let w : C and : be such that w f is in H() for every f in H(). The operator wC given by f w f is called a weighted composition operator on H(). In this paper we characterize such operators and those for which (wC )* is a composition operator. Compact weighted composition operators on some functional Hilbert spaces are also characterized. We give sufficient conditions for the compactness of such operators on weighted Dirichlet spaces.     

Algorithmes de calcul du maximum des formes quadratiques sur la boule unité de la norme du maximum

Résumé Certaines méthodes directes et indirectes pour le calcul de Max {x ^t Ax, (x)1} sont étudiées.Les méthodes directes sont basées sur les propriétés particulières des normes ₁, ₂ et . Ces méthodes sont très simples mais ne s'appliquent qu'à certaines familles de matrices.La méthode indirecte est la méthode autoduale introduite dans [25, 26] avec = ₁. Dans ce cas, le choix du vecteur initial pour qu'il y ait convergence vers une solution optimale est largement discuté.

---

Some methods for computing the maximum of quadratic from on the unit ball of the maximum norm

Summary Some direct and indirect methods are studied for computing Max {x ^t Ax, (x)1} whereA is symmetric definite positive.Direct methods are constructed using particular properties of ₁, ₂, norms. These methods are very simple, but uniquely suitable to certains families of matrices.The indirect method is the autodual method, introduced in [25, 26, 29] with = ₁. In this case the problem of choosing an initial vector so that convergence of the iterative sequence occurs to an optimal solution is largely discussed.

     

Adjoints of slant Toeplitz operators

In this paper, we will use the Birkhoff's ergodic theorem to do some finer analysis on the spectral properties of slant Toeplitz operators. For example, we will show that if is an invertibleL function on the unit circle, then almost every point in (A ^* ) is not an eigenvalue ofA ^* . More specifically, we will show that the point spectrum ofA ^* is contained in a circle with positive radius.     

The Inversion of Multiscale Convolution Approximation and Average of Distributions

We develop two kinds of inversion formulas of the multiscale convolution approximation which is defined by a convolution kernel . The inversion formulas are constructed by a convolution kernel which is defined in terms of and has a vanishing moment of order one. A large class of generalized moving average approximations with B-splines, Box-splines and exponential Box-splines (EB-splines) as convolution kernels is included in the theory formulated in this paper. The average of distributions is considered, and correspondingly, the formulas related to the EB-splines are obtained from the -average.     

Morphisms of the Heat Equation

In this article we consider a certain class of mappings between Riemannian manifolds of the type M × R^{+ *}, which preserve two objects associated to the heat equation. First we show that maps which pull back local solutions of the heat equation to local solutions of the heat equation, called heat equation morphisms have to be the product of a homothetic submersion and an affine map of R^{+ *}. Then using the above characterisation, we study maps which pull back the heat kernel to the heat kernel. We call such maps heat kernel morphisms. We show in Theorem 3 that, in the case of compact manifolds, a map : M × M × R^{+ *} N × N × R^{+ *} of the form (x,y,t) = ( (x), (y),h(t)), with surjective, is a heat kernel morphism if and only if is a homothetic covering of N()-sheets and constant dilation such that N() = ^m (m = dim M) and h(t) = ²t. In particular, if is bijective then it must be an isometry and h(t) = t. A similar problem was considered from a different point of view in [6].     

A note on operator norm inequalities

If P is a positive operator on a Hilbert space H whose range is dense, then a theorem of Foias, Ong, and Rosenthal says that: [(P)]^–1T[(P)]<-12 max {T, P^–1TP} for any bounded operator T on H, where is a continuous, concave, nonnegative, nondecreasing function on [0, P]. This inequality is extended to the class of normal operators with dense range to obtain the inequality [(N)]^–1T[(N)]<-12c² max {tT, N^–1TN} where is a complex valued function in a class of functions called vase-like, and c is a constant which is associated with by the definition of vase-like. As a corollary, it is shown that the reflexive lattice of operator ranges generated by the range NH of a normal operator N consists of the ranges of all operators of the form (N), where is vase-like. Similar results are obtained for scalar-type spectral operators on a Hilbert space.This author gratefully acknowledges the support of Central Michigan University in the form of a Research Professorship.     

Affine geometry over free unitary modules

In this paper we consider systems (P,L,,), where P is an arbitrary non-empty set, L a set of subsets of p and resp. a relation on PxP resp. LxL. In successive stages adding geometrical axioms, we characterize the class of those structures (P,L, ,), which coincides — up to isomorphisms — with the class of all Affine Barbilian-Spaces.     

A linear algorithm for integer programming in the plane

We show that a 2-variable integer program, defined by m constraints involving coefficients with at most bits, can be solved with O(m+) arithmetic operations on rational numbers of size O().     

A functional equation of Ih-Ching Hsu

Summary A recent note of Ih-Ching Hsu poses an unsolved problem, to wit, the general solution of the functional equation g(x₁, x₂) + g(₁(x₁), ₂(x₂)) = g(x₁, ₂(x₂)) + g(₁(x₁),x₂), where the _i are given functions. This short paper obtains the general solution. It gives conditions which imply that anycontinuous solution has form g₁(x₁) + g₂(x₂).     

Linear cyclic codes of wordlength v over GF(q s ) which are also linear cyclic codes of wordlength sv over GF(q)

Any nonsingular linear transformation : GF(q^s) GF(q^s) can be used to treat a linear cyclic code of wordlength v over GF(q^s) as a linear code () of Wordlength sv over GF(q). This paper determines those linear cyclic codes and transformations for which the resulting linear code () is also cyclic.     

Characterizations of BMOφ(w)

In this paper we give two characterizations of functions with weighted mean oscillation over cubes controlled by a nonnegative function , that is, functions in BMO(w). The first characterization is formulated in terms of rearrangements, while the second one by means of Riesz transforms and -Lipschitz functions. These results extend those contained in [S] and [J].     

A study on Markovian maximality,change of probability and regularity

LetE be a rigid separable Banach space andm a bounded Borel measure onE. Let Ext denote the family of all gradient type Dirichlet forms onL ²(E, m) such that the domain of their extended generators (cf. Definition 1.1) contain the smooth functions. We prove three results. First, we prove the existence of the maximum element in Ext whenever Ext is not empty. Secondly, let be the maximum element in Ext (when Ext Ø) and let be a positive function in D(). We define a new measure =²·m and we consider the family Ext associated with the measure . We prove that if is associated with a diffusion process, Ext is not empty and its maximum element is also associated with a diffusion process. Finally, whenm is a centered Gaussian measure onE, we can prove that Ext contains exactly one element.