Smoothness and differentials in positive characteristic

Let u: A → B be a morphism of noetherian local rings. It is known that if u is formally smooth, then Ω _B|A is formally projective. We give several cases in which the converse is true, in the case of rings containing a field of positive characteristic. Work supported by the CEEX program of the Romanian Ministry of Education and Research, Contract 2-CEx06-11-20/2006.     

Convergence behaviour of inexact Newton methods

In this paper we investigate local convergence properties of inexact Newton and Newton-like methods for systems of nonlinear equations. Processes with modified relative residual control are considered, and new sufficient conditions for linear convergence in an arbitrary vector norm are provided. For a special case the results are affine invariant.

     

The inexact, inexact perturbed, and quasi-Newton methods are equivalent models

A classical model of Newton iterations which takes into account some error terms is given by the quasi-Newton method, which assumes perturbed Jacobians at each step. Its high convergence orders were characterized by Dennis and Moré [Math. Comp. 28 (1974), 549-560]. The inexact Newton method constitutes another such model, since it assumes that at each step the linear systems are only approximately solved; the high convergence orders of these iterations were characterized by Dembo, Eisenstat and Steihaug [SIAM J. Numer. Anal. 19 (1982), 400-408]. We have recently considered the inexact perturbed Newton method [J. Optim. Theory Appl. 108 (2001), 543-570] which assumes that at each step the linear systems are perturbed and then they are only approximately solved; we have characterized the high convergence orders of these iterates in terms of the perturbations and residuals.

In the present paper we show that these three models are in fact equivalent, in the sense that each one may be used to characterize the high convergence orders of the other two. We also study the relationship in the case of linear convergence and we deduce a new convergence result.

     

ON THE CONVERGENCE OF MULTIPLICATIVE ITERATIVE ALGORITHMS WITH INEXACT LINE SEARCH

1.IntroductionIntillspaperweanalyzetheconvergenceonmultiplicativeiterativealgorithmsfortheIninimizationofadiffcrentiablefunctiondefinedonthepositiveorthantofR".ThealgorithmissllggestedbyEggermolltl'],andisrelatedtotheEM[2](Expextation--Maximization)algoritllnlforPositronemissiontonlography[']andimagereconstructi..14].Wecollsidertheproblenl"linf(x)s.t.x20.Themultiplicativeiterativealgorithmshavethel'orlniforj=l,2,',n,withAhdeterminedthroughalinesearch.Whilelusem[5]establishedanelegantconv…     

Huxley方程的定性分析及精确解

运用常微分方程定性理论的相平面分析方法讨论了Hux ley方程,得到了有关其行波解的一些结果.     

On the exact values of coefficients of coiflets

In 1989, R. Coifman suggested the design of orthonormal wavelet systems with vanishing moments for both scaling and wavelet functions. They were first constructed by I. Daubechies [15, 16], and she named them coiflets. In this paper, we propose a system of necessary conditions which is redundant free and simpler than the known system due to the elimination of some quadratic conditions, thus the construction of coiflets is simplified and enables us to find the exact values of the scaling coefficients of coiflets up to length 8 and two further with length 12. Furthermore for scaling coefficients of coiflets up to length 14 we obtain two quadratic equations, which can be transformed into a polynomial of degree 4 for which there is an algebraic formula to solve them.      

Constructions of some exact vortex superposition solutions

In theoretical ways to solve the N-S equation, we will confront many difficulties. For example, the complex mathematical calculation, the 3D velocity components and the nonlinear terms, etc. We find that from the basis of Stokes-Helmholtz decomposition and after some processing, we can get a method of constructing the vortex superposition solutions. We get a set of exact solutions in different coordinates and we hope these solutions will be helpful to a clearer understanding of the vortex in Fluid Mechanics.     

On inexact alternating direction implicit iteration for continuous Sylvester equations

In this paper, we study the alternating direction implicit (ADI) iteration for solving the continuous Sylvester equation AX + XB = C , where the coefficient matrices A and B are assumed to be positive semi‐definite matrices (not necessarily Hermitian), and at least one of them to be positive definite. We first analyze the convergence of the ADI iteration for solving such a class of Sylvester equations, then derive an upper bound for the contraction factor of this ADI iteration. To reduce its computational complexity, we further propose an inexact variant of the ADI iteration, which employs some Krylov subspace methods as its inner iteration processes at each step of the outer ADI iteration. The convergence is also analyzed in detail. The numerical experiments are given to illustrate the effectiveness of both ADI and inexact ADI iterations.     

On standard quadratic programs with exact and inexact doubly nonnegative relaxations

Mathematical Programming - The problem of minimizing a (nonconvex) quadratic form over the unit simplex, referred to as a standard quadratic program, admits an exact convex conic formulation over...     

Global exact boundary controllability for 1‐D quasilinear wave equations

Based on the local exact boundary controllability for 1‐D quasilinear wave equations, the global exact boundary controllability for 1‐D quasilinear wave equations in a neighborbood of any connected set of constant equilibria is obtained by an extension method. Similar results are also given for a kind of general 1‐D quasilinear hyperbolic equations. Copyright © 2010 John Wiley & Sons, Ltd.     

非线性偏微分方程的约化和精确解

§ 1　IntroductionSeeking the exact solutions of the nonlinear partial differential equation is one of thevery importantsubjectin PDE research.Up to now,many methods offinding the exact so-lutions for NLPDE are constructed,such as inverse scattering transformation(IST) [1 ] ,Liepoint symmetry and similar reductions[2 ,3] ,B cklund[4— 6] and Cole-Hofe transformations,Hirota s bilinear method[7] ,the homogeneous balance method[8,9] ,tanh function method[1 0 ]and so on.In this paper,we giv…     

非线性反应扩散方程的广义条件对称及其精确解

利用广义条件对称,考虑非线性反应扩散方程的精确解,对应于不同的参数讨论,得到相应的方程及其允许的广义条件对称,进而得到方程的精确解.     

On inexact Newton methods based on doubling iteration scheme for non‐symmetric algebraic Riccati equations

Newton iteration method can be used to find the minimal non‐negative solution of a certain class of non‐symmetric algebraic Riccati equations. However, a serious bottleneck exists in efficiency and storage for the implementation of the Newton iteration method, which comes from the use of some direct methods in exactly solving the involved Sylvester equations. In this paper, instead of direct methods, we apply a fast doubling iteration scheme to inexactly solve the Sylvester equations. Hence, a class of inexact Newton iteration methods that uses the Newton iteration method as the outer iteration and the doubling iteration scheme as the inner iteration is obtained. The corresponding procedure is precisely described and two practical methods of monotone convergence are algorithmically presented. In addition, the convergence property of these new methods is studied and numerical results are given to show their feasibility and effectiveness for solving the non‐symmetric algebraic Riccati equations. Copyright © 2010 John Wiley & Sons, Ltd.     

On the generalized exact boundary synchronization for a coupled system of wave equations

In this paper, we deliver a normalized synchronization transformation to study the generalized exact boundary synchronization for a coupled system of wave equations with Dirichlet boundary controls. The clear relationship among the generalized exact boundary synchronization, the exact boundary null controllability, and the generalized exactly synchronizable states is precisely obtained. This approach gives further a forthright decomposition for the generalized exact boundary synchronization problem, whereby, we gain directly the determination of generalized exactly synchronizable states.     

On the Teichmüller theorem and the heights theorem for quadratic differentials

By using the Marden-Strebel heights theorem for quadratic differentials, we provide a concrete method for finding the Teichmüller differential associated with the Teichmüller mapping between compact or finitely punctured Riemann surfaces.

     

On differentiable exact penalty functions

In this work, we study a differentiable exact penalty function for solving twice continuously differentiable inequality constrained optimization problems. Under certain assumptions on the parameters of the penalty function, we show the equivalence of the stationary points of this function and the Kuhn-Tucker points of the restricted problem as well as their extreme points. Numerical experiments are presented that corroborate the theory, and a rule is given for choosing the parameters of the penalty function.     

New exact solutions to the nonautonomous Liouville equation

We obtain new formulas for the exact analytic solutions to the nonautonomous elliptic Liouville equation in the two-dimensional coordinate space with the free function dependent specially on an arbitrary harmonic function. We present new exact solutions to the wave Liouville equation with two arbitrary functions, providing original formulas for the general solution for the classical (autonomous) and wave Liouville equations. Some equivalence transformations are presented for the elliptic Liouville equation depending on conjugate harmonic functions. In particular, we indicate a transformation that reduces the equation under study to an autonomous form.     

On stable equivalences induced by exact functors

Let and be two Artin algebras with no semisimple summands. Suppose that there is a stable equivalence between and such that is induced by exact functors. We present a nice correspondence between indecomposable modules over and . As a consequence, we have the following: (1) If is a self-injective algebra, then so is ; (2) If and are finite dimensional algebras over an algebraically closed field , and if is of finite representation type such that the Auslander-Reiten quiver of has no oriented cycles, then and are Morita equivalent.

     

（3＋1）维带有源项的反应扩散方程的不变集和精确解

讨论了（3＋1）维带有源项的反应扩散方程ut=A1（u）uxx＋A2（u）uyy＋A3（u）uzz＋B1（u）ux^2;＋B2（u）uy^2＋B3（u）uz^2＋Q（u）．通过构建函数不变集的思想方法．得到了上述方程的几个新精确解．该方法也可以用来解N＋1维反应扩散方程．     

Approximation of exact controllability problem involving parabolic differential equations

In this paper we examine computation of optimal control u^* ofthe exact controllability problem (referred to as the constraintproblem) governed by the following type of linear parabolicdifferential equations: (y/t) + Ay = u in Q y = 0 on y(0) = y₀ on where A is the second-order elliptic differential operator, is a bounded domain in ^k with smooth boundary , Q = (0, T)x , = (0, T) x and T > 0. This is achieved by approximatingu^* through a sequence {u_n} of controls corresponding to unconstrainedproblems involving a penalty function arising from the controllabilityconstraint.