POLES OF ZETA FUNCTIONS OF COMPLETE INTERSECTIONS

51.IntroductionLetF.beafinitefieldofqele~swithcharederisticp.LetXbeanThdilnensionalalgebraicsetdeadedoverF..ThezetafunctionofX/F.isdennedbywhereXOdenotesthesetofclosedpointsOfX/F.and#X(F.d)denotesthenUInberof.F.d-rationalpointsonX.ItiseasytoseethatZ(X,T)isapowerserieswithintegercoefficients.Dwork'srationalltytheoremIg]showsthatthezetafunctionZ(X,T)isrationalinT.ThuS,therearealgebraicintegerspll'.3Pr,pl,'3basuchthatThereisagoodreasonthatwemoantheabovezetafunctionbythepower(--1)"-…     

Algorithm of Barrier Objective Penalty Function

In this paper, an algorithm of barrier objective penalty function for inequality constrained optimization is studied and a conception–the stability of barrier objective penalty function is presented. It is proved that an approximate optimal solution may be obtained by solving a barrier objective penalty function for inequality constrained optimization problem when the barrier objective penalty function is stable. Under some conditions, the stability of barrier objective penalty function is proved for convex programming. Specially, the logarithmic barrier function of convex programming is stable. Based on the barrier objective penalty function, an algorithm is developed for finding an approximate optimal solution to an inequality constrained optimization problem and its convergence is also proved under some conditions. Finally, numerical experiments show that the barrier objective penalty function algorithm has better convergence than the classical barrier function algorithm.     

Determination/estimation of an optimal replacement interval under minimal repair

In this paper the problem of estimation of an optimal replacement interval for a system which is minimally repaired at failures is studied. The problem is investigated both under a parametric and a nonparametric form of the failure intensity of the system. It is assumed that observational data from n systems are available. Some asymptotic results are shown. A graphical procedure for determining/estimating an optimal replacement interval is presented. The procedure is particularly valuable for sensitivity analyses, for example with respect to the costs involved.     

Effective bounds for very ample line bundles

Let be an ample line bundle on a non singular projective -fold . It is first shown that is very ample for . The proof develops an original idea of Y.T. Siu and is based on a combination of the Riemann-Roch theorem together with an improved Noetherian induction technique for the Nadel multiplier ideal sheaves. In the second part, an effective version of the big Matsusaka theorem is obtained, refining an earlier version of Y.T. Siu: there is an explicit polynomial bound of degree in the arguments, such that is very ample for . The refinement is obtained through a new sharp upper bound for the dualizing sheaves of algebraic varieties embedded in projective space. Oblatum 30-I-1995 & 18-V-1995     

Eigenvector method,consistency test and inconsistency repairing for an incomplete fuzzy preference relation

In this paper, we extend the eigenvector method (EM) to priority for an incomplete fuzzy preference relation. We give a reasonable definition of multiplicative consistency for an incomplete fuzzy preference relation. We also give an approach to judge whether an incomplete fuzzy relation is acceptable or not. We develop the acceptable consistency ratio for an incomplete multiplicative fuzzy preference relation, which is simple and similar to Saaty’s consistency ratio (CR) for the multiplicative preference relation. If the incomplete fuzzy preference relation is not of acceptable consistency, we define a criterion to find the unusual and false element (UFE) in the preference relation, and present an algorithm to repair an inconsistent fuzzy preference relation until its consistency is satisfied with the consistency ratio. As a result, our improvement method cannot only satisfy the consistency requirement, but also preserve the initial preference information as much as possible. Finally, an example is illustrated to show that our method is simple, efficiency, and can be performed on computer easily.     

Optimality of Balanced Proper Orthogonal Decomposition for Data Reconstruction

Proper orthogonal decomposition (POD) finds an orthonormal basis yielding an optimal reconstruction of a given dataset. We consider an optimal data reconstruction problem for two general datasets related to balanced POD, which is an algorithm for balanced truncation model reduction for linear systems. We consider balanced POD outside of the linear systems framework, and prove that it solves the optimal data reconstruction problem. The theoretical result is illustrated with an example.     

On the boundary-value problem for a mixed-type equation: Asymptotic analysis and an effective numerical algorithm

A singularly perturbed boundary-value problem for an equation of mixed ellipticparabolic type is considered. The first part of this work is devoted to an asymptotic study of the solution to the problem. Modification of the boundary function method for mixed-type equations with small parameters at the highest derivatives is used. The second part is devoted to creating a numerical method that considers the structure of the solution for small parameter values. The idea of an approximate factorization of an elliptic operator into the product of two parabolic operators is employed. An effective numerical algorithm based on an asymptotic representation of the solution is developed.     

Integrating factors, adjoint equations and Lagrangians

Integrating factors and adjoint equations are determined for linear and non-linear differential equations of an arbitrary order. The new concept of an adjoint equation is used for construction of a Lagrangian for an arbitrary differential equation and for any system of differential equations where the number of equations is equal to the number of dependent variables. The method is illustrated by considering several equations traditionally regarded as equations without Lagrangians. Noether's theorem is applied to the Maxwell equations.     

Partial order generalized Marcum Q-function contour integral representation

A new contour integral representation of generalized Marcum Q-function is presented. The obtained expression is valid for an arbitrary positive order of the function and for a specific case of integer order yields a well known result. As an example of practical application the problem of energy base signal detection in presence of fading is considered. A novel closed form analytic expression for an average probability of detection for various channel models is obtained.     

A method for solving a boundary problem for a nonlinear controlled system

An algorithm is proposed for constructing a control function that transfers a wide class of nonlinear systems of ordinary differential equations from an initial state to an arbitrarily small neighborhood of a given terminal state. The algorithm is convenient for numerical implementation. Taking into account the restrictions on the control and phase coordinates, a constructive criterion is obtained for choosing terminal states for which this transfer is possible. The problem of an interorbital flight is considered and modeled numerically.     

On a Generalized Dirichlet Problem for Analytic Family

In this paper, we give the Silov boundary for an analytic family on a bounded strictly pseudoconvex domain or an analytic polyhedron in Cn, and get a necessary and sufficient condition for a generalized Dirichlet problem to be solvable for an analytic family on a bounded holomorphic domain. Especially, we derive that this condition is just that the continuous real boundary value is prescribed on and only on the Silov boundary for an analytic family on a bounded strictly pseudoconvex domain or an analytic polyhedron.     

Auto-balancing of a rotor with an orthotropic elastic shaft

The self-balancing of a statically unbalanced orthotropic elastic rotor equipped with a ball auto-balancing device is investigated. Equations of motion in fixed and rotating systems of coordinates, as well as equations describing steady motions of the regular precession type, are derived using a simple model of a Jeffcott rotor. Formulae for calculating the amplitude-frequency and phase-frequency characteristics of the precessional motion of the rotor are obtained. It is established that the conditions for a steady balanced mode of motion for an orthotropic rotor to exist have the same form as for an isotropic rotor, but the stability region of such a mode for an orthotropic rotor is narrower than the stability region for an isotropic rotor. The unsteady modes of motion of the rotor in the case of rotation with constant angular velocity and in the case of passage through critical velocities with constant angular acceleration is investigated numerically. It is established that the mode of slow passage through the critical region for an orthotropic rotor is far more dangerous than the similar mode for an isotropic rotor.     

Optimalitätsbedingungen fü ein parabolisehes randsteuerproblem mit steuer- und zustaridsbeschränkungen

In this paper an optimal control problem for the heat equation with constrains on control and state is investigated. The state constraint is an upper bound for the temparature gradient within the heated solid. A minimum principle and bang-bang-type properties for an optimal control are proved.     

相对于幺半群的McCoy环的扩张

对于幺半群~$M$, 本文引入了~$M$-McCoy~环.~证明了~$R$~是~$M$-McCoy~环当且仅当~$R$~上的~$n$~阶上三角矩阵环~$aUT_n(R)$~是~$M$-McCoy~环;得到了若~$R$~是~McCoy~环,~$R[x]$~是~$M$-McCoy~环,则~$R[M]$~是~McCoy~环;对于包含无限循环子半群的交换可消幺半群~$M$,证明了若~$R$~是~$M$-McCoy~环,则半群环~$R[M]$~是~McCoy~环及~$R$~上的多项式环~$R[x]$~是~$M$-McCoy~环.     

Convergence in competition models with small diffusion coefficients

It is well known that for reaction-diffusion 2-species Lotka-Volterra competition models with spatially independent reaction terms, global stability of an equilibrium for the reaction system implies global stability for the reaction-diffusion system. This is not in general true for spatially inhomogeneous models. We show here that for an important range of such models, for small enough diffusion coefficients, global convergence to an equilibrium holds for the reaction-diffusion system, if for each point in space the reaction system has a globally attracting hyperbolic equilibrium. This work is planned as an initial step towards understanding the connection between the asymptotics of reaction-diffusion systems with small diffusion coefficients and that of the corresponding reaction systems.     

一类多值算子方程的迭代算法

本讨论Hilbert空间上具有强单调、上半Lipschitz连续性质的多值算子方程的求解方法,构造了迭代格式并证明迭代过程是收敛的;同时给出它在求解多值微分方程边值问题中的应用。     

Adaptive Wavelet Solution to the Stokes Problem

This paper deals with the design and analysis of adaptive wavelet method for the Stokes problem. First, the limitation of Richardson iteration is explained and the multiplied matrix M0 in the paper of Bramble and Pasciak is proved to be the simplest possible in an appropiate sense. Similar to the divergence operator, an exact application of its dual is shown; Second, based on these above observations, an adaptive wavelet algorithm for the Stokes problem is designed. Error analysis and computational complexity are given; Finally, since our algorithm is mainly to deal with an elliptic and positive definite operator equation, the last section is devoted to the Galerkin solution of an elliptic and positive definite equation. It turns out that the upper bound for error estimation may be improved.     

Remarks on the Uniqueness of a Solution of the Dirichlet Problem for Second-Order Elliptic Equations with Lower-Order Terms

We give an example of an incompressible diffusion equation whose solution is nonunique. It is shown that this equation has an approximation solution as well as another solution that cannot be obtained by approximation. We give sufficient conditions for the uniqueness of a solution as well as for the uniqueness of an approximation solution.     

交换L*-环

我们证明一个交换整环或交换局部环是一个L*-环当且仅当它是一个O*-环.文中还证明了一些一般性的条件使之一个交换环不是L*.     

有限ATI-群的类保持Coleman自同构

设G是一个有限群,对G的任意阿贝尔子群A及任意g∈G,若A∩A~g=1或A,则称G为一个ATI-群.本文证明了,对任意p∈τ(G),如果ATI-群G的一个p-方幂阶类保持自同构在G的任意Sylow子群上的限制等于G的某个内自同构的限制,则它必定是一个内自同构.作为该结果的一个直接推论,我们也证明了有限ATI-群G有正规化性质.