亚纯函数微分多项式f~kQ[f]+P[f]的零点分布

文[4]对简单形式的微分多项式fkf’+a的零点分布进行了讨论,文[1]对一般形式的微分多项式fkQ[f]+P[f]的零点分布进行了讨论.但由于极点给证明带来的困难,这些工作主要是对整函数来做的.本文证明了任一满足δ(∞,f)>k+2ΓQ+3ΓP+2/2k+2ΓQ+1的超越亚纯函数f,微分多项式fkQ[f]+P[f]在不含f,Q[f]极点和P[f]零、极点的可数个圆盘并集之外有无穷多个零点,其中k≥3Γp+2,而ΓQ,ΓP分别是f的微分多项式Q[f],P[f]的权.文[1]和[2,4,6]中的结论是本文结论的特殊情况.     

Weak convergence conditions for Inexact Newton-type methods

We establish a new semilocal convergence results for Inexact Newton-type methods for approximating a locally unique solution of a nonlinear equation in a Banach spaces setting. We show that our sufficient convergence conditions are weaker and the estimates of error bounds are tighter in some cases than in earlier works [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30] and [31]. Special cases and numerical examples are also provided in this study.     

A Priori Estimate for the Discontinuous Oblique Derivative Problem for Elliptic Systems

Recently [6] an existence as well as a uniqueness theorem for the discontinuous oblique derivative problem for nonlinear elliptic system of first order in the plane, see [12, 19, 23] was proved, based on some a priori estimate from [20]. This estimate, however, is deduced by reductio ad absurdum. Therefore the constants in this estimate are unknown so that the estimate cannot be used for numerical procedures, e.g. for approximating the solution of a nonlinear problem by solutions of related linear problems, see [24, 3, 4]. In this paper a direct proof of an a priori estimate is given using some variations of results from [14], see also [11], where the constants can explicitely be estimated. For related a priori estimates see [1 – 5, 8, 16, 17, 20, 21, 24 – 26]. A basic reference for the oblique derivative problem is [9].     

The Algebraic Perturbation Method for Generalized Inverses

Algebraic perturbation methods were first proposed for the solution of nonsingular linear systems by R. E. Lynch and T. J. Aird [2]. Since then, the algebraic perturbation methods for generalized inverses have been discussed by many scholars [3]-[6]. In [4], a singular square matrix was perturbed algebraically to obtain a nonsingular matrix, resulting in the algebraic perturbation method for the Moore-Penrose generalized inverse. In [5], some results on the relations between nonsingular perturbations and generalized inverses of $m\times n$ matrices were obtained, which generalized the results in [4]. For the Drazin generalized inverse, the author has derived an algebraic perturbation method in [6]. In this paper, we will discuss the algebraic perturbation method for generalized inverses with prescribed range and null space, which generalizes the results in [5] and [6]. We remark that the algebraic perturbation methods for generalized inverses are quite useful. The applications can be found in [5] and [8]. In this paper, we use the same terms and notations as in [1].     

Asymptotic expansion of stochastic flows

Summary We study the asymptotic expansion in small time of the solution of a stochastic differential equation. We obtain a universal and explicit formula in terms of Lie brackets and iterated stochastic Stratonovich integrals. This formula contains the results of Doss [6], Sussmann [15], Fliess and Normand-Cyrot [7], Krener and Lobry [10], Yamato [17] and Kunita [11] in the nilpotent case, and extends to general diffusions the representation given by Ben Arous [3] for invariant diffusions on a Lie group. The main tool is an asymptotic expansion for deterministic ordinary differential equations, given by Strichartz [14].     

Global exponential stability of a class of retarded impulsive differential equations with applications

This paper studies the dynamics of a class of retarded impulsive differential equations (IDE), which generalizes the delayed cellular neural networks (DCNN), delayed bidirectional associative memory (BAM) neural networks and some population growth models. Some sufficient criteria are obtained for the existence and global exponential stability of a unique equilibrium. When the impulsive jumps are absent, our results reduce to its corresponding results for the non-impulsive systems. The approaches are based on Banach’s fixed point theorem, matrix theory and its spectral theory. Due to this method, our results generalize and improve many previous known results such as [3], [5], [6], [9], [17], [18], [23], [32], [38], [43], [51], [52]. Some examples are also included to illustrate the feasibility and effectiveness of the results obtained.     

Some convergence theorems of non-implicit iteration process with errors for a finite families of I-asymptotically nonexpansive mappings

The purpose of this paper is to study the weak and strong convergence of non-implicit iteration process with errors to a common fixed point for a finite family of I-asymptotically quasi-nonexpansive mappings in Banach spaces. The results presented in this paper extend and improve the corresponding results of several authors [1], [2], [7], [8], [9], [10], [11], [12], [13], [14], [17], [19], [22], [23], [24], [25], [26], [27], [28] and [29].     

Nonfocusing Instabilities in Coupled, Integrable Nonlinear Schrödinger pdes

nonfocusing instabilities that exist independently of the well-known modulational instability of the focusing NLS equation. The focusing versus defocusing behavior of scalar NLS fields is a well-known model for the corresponding behavior of pulse transmission in optical fibers in the anomalous (focusing) versus normal (defocusing) dispersion regime [19], [20]. For fibers with birefringence (induced by an asymmetry in the cross section), the scalar NLS fields for two orthogonal polarization modes couple nonlinearly [26]. Experiments by Rothenberg [32], [33] have demonstrated a new type of modulational instability in a birefringent normal dispersion fiber, and he proposes this cross-phase coupling instability as a mechanism for the generation of ultrafast, terahertz optical oscillations. In this paper the nonfocusing plane wave instability in an integrable coupled nonlinear Schr?dinger (CNLS) partial differential equation system is contrasted with the focusing instability from two perspectives: traditional linearized stability analysis and integrable methods based on periodic inverse spectral theory. The latter approach is a crucial first step toward a nonlinear , nonlocal understanding of this new optical instability analogous to that developed for the focusing modulational instability of the sine-Gordon equations by Ercolani, Forest, and McLaughlin [13], [14], [15], [17] and the scalar NLS equation by Tracy, Chen, and Lee [36], [37], Forest and Lee [18], and McLaughlin, Li, and Overman [23], [24]. Received February 9, 1999; accepted June 28, 1999     

A generalization of results of P. Erdös,G. Katona,and D. J. Kleitman concerning Sperner's theorem

A result of Sperner [1] determining the maximal number of subsets of a given set, such that no one is included in the other, has been generalized and strengthened modifying the restrictive condition by Erdös [2], by Katona [3], and Kleitman [7], and by others [4, 5]. A different kind of generalization has been obtained by de Bruijn, Tenbergen, and Kruywijk [6] using the same restrictive condition but for more general entities than sets, namely, for systems in which the elements may occur more than once. That approach is fundamental for number-theoretical considerations since the totality of prime divisors of a given number (each considered with its multiplicity) is of that nature. In this paper we will generalize the results of [2] and [3, 7] in the sense of [6].     

Ingham-Beurling type theorems with weakened gap conditions

Completing a series of works begun by Wiener [34], Paley and Wiener [28] and Ingham [9], a far-reaching generalization of Parseval"s identity was obtained by Beurling [4] for nonharmonic Fourier series whose exponents satisfy a uniform gap condition. Later this gap condition was weakened by Ullrich [33], Castro and Zuazua [5], Jaffard, Tucsnak and Zuazua [11] and then in [2] in some particular cases. In this paper we prove a general theorem which contains all previous results. Furthermore, applying a different method, we prove a variant of this theorem for nonharmonic Fourier series with vector coefficients. This result, partly motivated by control-theoretical applications, extends several earlier results obtained in [15] and [2]. Finally, applying these results we obtain an optimal simultaneous observability theorem concerning a system of vibrating strings. This revised version was published online in June 2006 with corrections to the Cover Date.     

A NEW ITERATIVE METHOD FOR FINDING COMMON SOLUTIONS OF GENERALIZED EQUILIBRIUM PROBLEM, FIXED POINT PROBLEM OF INFINITE k-STRICT PSEUDO-CONTRACTIVE MAPPINGS, AND QUASI-VARIATIONAL INCLUSION PROBLEM

In this article,we introduce a hybrid iterative scheme for finding a common element of the set of solutions for a generalized equilibrium problems,the set of common fixed point for a family of infinite...     

Schensted Algorithms for Dual Graded Graphs

This paper is a sequel to [3]. We keep the notation and terminology and extend the numbering of sections, propositions, and formulae of [3].The main result of this paper is a generalization of the Robinson-Schensted correspondence to the class of dual graded graphs introduced in [3], This class extends the class of Y-graphs, or differential posets [22], for which a generalized Schensted correspondence was constructed earlier in [2].The main construction leads to unified bijective proofs of various identities related to path counting, including those obtained in [3]. It is also applied to permutation enumeration, including rook placements on Ferrers boards and enumeration of involutions.As particular cases of the general construction, we re-derive the classical algorithm of Robinson, Schensted, and Knuth [19, 12], the Sagan-Stanley [18], Sagan-Worley [16, 29] and Haiman's [11] algorithms and the author's algorithm for the Young-Fibonacci graph [2]. Some new applications are suggested.The rim hook correspondence of Stanton and White [23] and Viennot's bijection [28] are also special cases of the general construction of this paper.In [5], the results of this paper and the previous paper [3] were presented in a form of extended abstract.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Comparison of gas-dynamic models for hypersonic flow past bodies

Various gas-dynamic models for describing chemically non-equilibrium flows are compared using the example of the steady flow past the blunt nose of the “Buran” [1] and “Space Shuttle” vehicles during their descent from orbit. Models of locally self-similar approximations of the Navier-Stokes equations [2], of a chemically equilibrium and non-equilibrium complete viscous shock layer (CVSL) [3] and a model of a thin viscous shock layer (TVSL) [4] are considered. In all the models the occurrence of physicochemical processes was taken into account in the same way using fixed values of the constants for the gas-phase chemical reactions (their effect has been considered in [5]). Good agreement between the results of calculations of the heat flux at the critical point is found.

Chemically non-equilibrium flows have been considered earlier using the approximate Navier-Stokes equations [6], within the framework of a TVSL [7] and a CVSL [8, 9](for more detail, see the review [10]). The TVSL and CVSL models were compared in [11] in the case of flows of a uniform gas.     

A new method for solving singular fourth-order boundary value problems with mixed boundary conditions

In [1], [2], [3], [4], [5], [6], [7] and [8], it is very difficult to get reproducing kernel space of problem (1). This paper is concerned with a new algorithm for giving the analytical and approximate solutions of a class of fourth-order in the new reproducing kernel space. The numerical results are compared with both the exact solution and its n-order derived functions in the example. It is demonstrated that the new method is quite accurate and efficient for fourth-order problems.     

最小度和[a,b]-对等图

既是[a,b]-覆盖又是[a,b]-消去的图称为[a,b]-对等图.本文研究了最小度和[a,b]-对等图之间的关系,给出了一个图是[a,b]-对等图的关于最小度的充分条件.     

A unifying theorem for Newton’s method on spaces with a convergence structure

We present a semilocal convergence theorem for Newton’s method (NM) on spaces with a convergence structure. Using our new idea of recurrent functions, we provide a tighter analysis, with weaker hypotheses than before and with the same computational cost as for Argyros (1996, 1997, 1997, 2007) [1], [2], [3] and [5], Meyer (1984, 1987, 1992) [13], [14] and [15]. Numerical examples are provided for solving equations in cases not covered before.     

Degenerated nonlinear hyperbolic equation with discontinuous coefficients

The partial differential equations with discontinuous coefficients have been extended in various directions by a number of authors [2], [3], [11], [13], [14], [16]. This paper deals with a mixed problem for a degenerated nonlinear hyperbolic equation with discontinuous coefficients.     

A method for finding sharp error bounds for Newton's method under the Kantorovich assumptions

Summary This paper gives a method for finding sharpa posteriori error bounds for Newton's method under the assumptions of Kantorovich's theorem. On the basis of this method, new error bounds are derived, and comparison is made among the known bounds of Dennis [2], Döring [4], Gragg-Tapia [5], Kantorovich [6, 7], Kornstaedt [9], Lancaster [10], Miel [11–13], Moret [14], Ostrowski [17, 18], Potra [19], and Potra-Pták [20].This paper was written while the author was visiting the Mathematics Research Center, University of Wisconsin-Madison, U.S.A. from March 29, 1985 to October 21, 1985Sponsored by the Ministry of Education in Japan and the United States Army under Contract No. DAAG 29-80-C-0041     

Niveau hermitien de Certaines algèbres de quaternions

Let D [d] =(a,b/F) a quaternion divisior algebra over a field F of characteristic ? 2. Denote 1, i, j , k the basis of D, such that i²[d] n, j²[d] b, ij [d] -ji [d] k and A :D → D the involution given by i [d] -i, j [d] j (and k [d] k). In [LE] D. LEWIS asks the following question :Does there exist a quadratic Pfister form [S p. 721 [d] such that the hermitian form [d] [d] D is isotropic over (D, [d]) but not hyperbolic &; In this note, we show that the answer of this question is negative, so that the hermitien level [§I], when it is finite, of (D, A) is a power of two. This result holds for quaternion algebras with standard involution [LE].