The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .
The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.
Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.
The class of quantum languages Q() over an alphabet is the class of languages accepted by quantum automata. We study properties of Q() and compare Q() with the class of regular languages R(). It is shown that Q() is closed under union, intersection, and reversal but is not closed under complementation, concatenation, or Kleene star. It is also shown that Q() and R() are incomparable. Finally, we prove that LQ() if and only if L admits a transition amplitude function satisfying a certain property and a similar characterization is given for R(). 相似文献
Necessary and sufficient conditions for an orthogonal series to be the Fourier series of a function in the space
,
, are obtained. In the special case of regular summation methods we recover the classical results of Orlicz and Lomnicki. 相似文献
The radial wave functions of inner electron shell and outer electron shell of a Ne atom were obtained by the approximate analytical
method and tested by calculating the ground state energy of the Ne atom. The equivalent volume of electron cloud and the refractive
index of Ne were calculated. The calculated refractive index agrees well with the experimental result. Relationship between
the refractive index and the wave function of Ne was discovered.
Supported by the New Star Program of Beijing Science and Technology, China (Grant No. 952870400), the Beijing Municipal Commission
of Education, and the Excellent Young Teachers Program of Ministry of Education, China 相似文献
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt's construction or from the approach of P. Pudlák, M. Tischendorf, and J. Tuma. In a previous paper, we constructed a distributive algebraic lattice with compact elements that cannot be obtained by Schmidt's construction. In this paper, we show that the same lattice cannot be obtained using the Pudlák, Tischendorf, Tuma approach.
The basic idea is that every congruence lattice arising from either method satisfies the Uniform Refinement Property, that is not satisfied by our example. This yields, in turn, corresponding negative results about congruence lattices of sectionally complemented lattices and two-sided ideals of von Neumann regular rings.
For a fixed positive integer k, consider the collection of all affine hyperplanes in n-space given by xi – xj = m, where i, j [n], i j, and m {0, 1,..., k}. Let Ln,k be the set of all nonempty affine subspaces (including the empty space) which can be obtained by intersecting some subset of these affine hyperplanes. Now give Ln,k a lattice structure by ordering its elements by reverse inclusion. The symmetric group Gn acts naturally on Ln,k by permuting the coordinates of the space, and this action extends to an action on the top homology of Ln,k. It is easy to show by computing the character of this action that the top homology is isomorphic as an Gn-module to a direct sum of copies of the regular representation, CGn. In this paper, we construct an explicit basis for the top homology of Ln,k, where the basis elements are indexed by all labelled, rooted, (k + 1)-ary trees on n-vertices in which the root has no 0-child. This construction gives an explicit Gn-equivariant isomorphism between the top homology of Ln,k and a direct sum of copies of CGn. 相似文献
We prove the pointwise convergence of the Fourier series for radial functions in several variables, which in the case is the Dirichlet-Jordan theorem itself. In our proof the method for the case of the indicator function of the ball is very useful.
Neighboring extremals of dynamic optimization problems with path equality constraints and with an unknown parameter vector
are considered in this paper. With some simplifications, the problem is reduced to solving a linear, time-varying two-point
boundary-value problem with integral path equality constraints. A modified backward sweep method is used to solve this problem.
Two example problems are solved to illustrate the validity and usefulness of the solution technique.
This research was supported in part by the National Aeronautics and Space Administration under NASA Grant No. NCC-2-106.
The author is indebted to Professor A. E. Bryson, Jr., Department of Aeronautics and Astronautics, Stanford University, for
many stimulating discussions. 相似文献
The method of first principle pseudopotential is used to simulate the volume variation of nuclear Grüneisen parameter. The
elements Al and Be, for which Neal’s experimental data exist are investigated. The nuclear Grüneisen obtained from the details
of phonon frequencies are in better agreement with the experimental data as compared to those obtained from approximate Slater
and Dugdale-MacDonald methods, often used in shock wave studies. 相似文献
When a plate falls on the ground, it breaks. We study this phenomenon at the macroscopic level. We restrict ourselves to 1-D problems and illustrate the theory with a chandelier to which a falling stone is tied. The collisions are assumed instantaneous. Percussions are introduced at the unknown fracture points. Equations of motion and constitutive laws give a set of differential equations, whose corresponding variational problem may be solved in SBV (special functions of bounded variation). The example shows how the theory applies and gives realistic results. 相似文献