DEFORMING CONVEX HYPERSURFACES BY THE LINEAR COMBINATION OF THE MEAN CURVATURE AND THE N-TH ROOT OF THE GAUSS-KRONECKER CURVATURE

1IntroductionTherehavebeensomeinterestingresultsinstudyingtheflowofconvexhypersurfacesintheEuclideanspacebyfunctionsOftheirprincipalcurvatures.BeingviewedasanextensionOfthetheoremOfGageandHedton[3],Huiskellprovedin16]thatdeformingconvexhypersurforesbytheirmeancurysturefunctiollsconvergetoaroundsphereinasense.FollowingthemethodsOfHuiskell[6]andTso[IOI,Chowshowedin[1]thatthesame.statementasin.[6]reconstrueifthemeancurvatureisreplacedbythen-throotoftheGauss-Kroneckercurvature.FOrgenerality…     

凸度量空间中单值和集值映象的公共不动点定理

§ 1.　Introduction　　Anecessaryandsufficientconditionandasufficientconditiontoensurethataset valuedmappingandasingle valuedmappinginacompletemetricspaceandacompleteconvexmetricspacehavingacommonfixedpointarerespectivelygivenin [1 ] .Meanwhilethemainresultsin[2 ]— [5]areimprovedandextendedin [1 ] .Inthispaper ,theexistenceatcommonfixedpointsoftwoset valuedmappingandasing valuedmappingwerestudied ,andthecorrespond ingresultsin [1 ]— [5]wereextendedandimproved .Let(X ,d)beanon emptymetricspa…     

MIXED FINITE ELEMENT METHODS FOR A STRONGLY NONLINEAR PARABOLIC PROBLEM

1.IntroductionFOrsecondorderellipticproblems,themixedmethodwasdescribedandanalyzedbymanyauthors[1--3]inthecaseoflinearequationsindivergenceform,aswellasin[4,5]forquasilinearornonlinearproblemsindivergenceform.JohnsonandThorn6e[6]consideredalternativeproofSofthepreviouslyknownerrorestimatesforsuchmethodsintheellipticcase.Theyalsoanalyzedthemixedfiniteelementmethodforthepaxabolicequationgivenbypt--ho~f.Garcia[7]studiedtheconvergenceofmixedfiniteelementapproximationstoquasilinearparabolicequati…     

HIGH ACCURACY ANALYSIS OF THE WILSON ELEMENT

1.IntroductionItiswellknownthatsuperconvergenceestimatesanderrorexpansionsfortheconformingfiniteelementsarewellstudiedinmanypapers.Wereferto[16]forasurveyonvariousresultsofsuperconvergenceandto[10]forafundamentalworkonasymptoticerrorexpansionsandto[1]--[3]forsometechniquesonhighaccuracyanalysis.However,forthenonconformingelements,duetothereducedcontinuityoftrialandtestfunctions,itbecomesmoredifficulttodiscusssuperconvergencepropertiesandrelatedasymptoticerrorexpansions.Naturally,peoplewanttoas…     

MASLOV-TYPE INDEX THEORY FOR SYMPLECTIC PATHS AND SPECTRAL FLOW （II）

1.IntroductionandMainResultsStartingfromthepioneeringworks[5,61ofH.AmannandE.Zehnderin1980,C.ConleyandE.Zehnderestablishedanindextheoryin1984intheircelebratedwork[if]fornondegeneratepathsinSp(Zn)startedfromtheidentitymatrixwithn22.Thisindextheorywasextendedtothenondegeneratecaseofn~1byE.Zehnderandthefirstauthorin[28]of1990.ThisindextheoryforthedegenerateHamiltoniansystemswasestablishedbythefirstauthorin[21]of1990andC.Viterboin[34]of1990viadifferentmethods,andthenextendedtoalldegenerates…     

Fixed Points of Nonexpansive Type Mappings in Topological Spaces

Recently. Penot[1] and Kirk[2]obtained the abstract versions of Kirk's fixed point theorem of [3] for nonexpansive mappings, respectively. Gille spie and Williams [4, 5] replaced the reflexive and normal structure used in Kirk [3] and Kannan [6], by uniformly normal structure to obtain the fixed point theorems for nonexpansive and Kannan mappings. Kaukich [7] also extended the result of [3] to the generalized nonexpansive mappings.     

COHOMOLOGY VANISHING IN HILBERT SPACES

§1. Introduction Oka [40] proved that any additive Cousin problem is solvable in a domain of holomorphyin Cn. Oka [41]-Cartan [2, 3]-Serre [46] generalized this as the theorem B for analyticcoherent sheaves over Stein spaces. J. P. Serre [47] proved…     

Mathe matica软件快速上手指南(4)——三角函数运算与解方程

1　三角函数的代数运算三角函数是数学中十分重要的一种函数 ,在以前的初等数学的分类中 ,经常把它分成代数、几何和三角三部分 .在Ｍａｔｈｅｍａｔｉｃａ中提供了全部的三角函数 .下面主要介绍有关三角函数表达式的代数运算 .(对 4 .0版本适用 )1.1　ＴｒｉｇＥｘｐａｎｄ[表达式 ]:把三角函数的乘积形式化为和差形式 .Ｉｎ[1]:=ＴｒｉｇＥｘｐａｎｄ[Ｓｉｎ[2ｘ] Ｃｏｓ[2 ｙ]]Ｏｕｔ[1]=2Ｃｏｓ[ｘ]Ｃｏｓ[ｙ]2 Ｓｉｎ[ｘ]- 2Ｃｏｓ[ｘ]Ｓｉｎ[ｘ]Ｓｉｎ[ｙ]21.2　ＴｒｉｇＦａｃｔｏｒ[表达式 ]:三角函数的因式分解 .Ｉｎ[2 ]:=Ｔｒｉ…     

STABILIZATION OF VIBRATING BEAM BY VELOCITY FEEDBACK CONTROL

1IntroductionInrecentyearstherehasbeenmuchinterestintopicofcontrolandstabilizationofflexiblevibratingsystemdescribedbyaEuler-Bernoullibeamequationasfollowing(See[1]-[8]).Thequestionofstabilizationofsystem(1.O)hasbeenstudiedbymanyauthors.Forexample,seeLagnese[1],Chen.et.al[2],R.b.,b.,l3]forstabilization,Lagllese[5]forconcentratedS/A'sstabilization.Letusmentionthatthesepapersstudyasymptoticoruniformdecayforthecollsideredsystem,butnotprovetheoptimalityofthedecayrate.C..,.d[8]studytheoptimali…     

On the Decomposition of Hopf Module Coalgebra

In1969,Sweedler[1]giventhedecompositiontheoreyofcoalgebraswhicharecocommu-tative.In1975,Kaplansky[2]showedthatanycoalgebracanbeuniquelydecomposedintoadirectsumofitsindecomposablesubcoalgebras.From1978to1992,Shudo[3]andXu[4]consructuredtheindecomposabledirectsumcomponentsofacoalggebra,viadefineequivalenceralationforthesetofsimplesubcoalgebras.Asweknow,themodolecoalgebraisthennaturalgeneralizationofcoalgebra.AndittakesplayanimportentroleintheDrinfelddouble.Inthispaper,wediscussthedecompositio…     

A class of norms of iterative methods for solving systems of linear equations

A new class of norms which generalize norms previously investigated by Young [9, 14], Sheldon [4, 5], Golub [1], Golub and Varga [2], Varga [6], Wachspress [7], Young and Kincaid [12], Young [14], and Kincaid [3] is introduced. Expressions for these norms applied to the matrices associated with various iterative methods are developed.Work on this paper was sponsored by NSF Grant GP-8442 and Army Grant DA-ARO(D)-31-124-G1050 at The University of Texas at Austin.     

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].     

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.     

Semilattice decompositions of semigroups

The purpose of this paper is to develop a general theory of semilattice decompositions of semigroups from the point of view of obtaining theorems of the type: A semigroup S has propertyD if and only if S is a semilattice of semigroups having property β. As such we are able to extend the theories of Clifford [3], Andersen [1], Croisot [5], Tamura and Kimura [14], Petrich [9], Chrislock [2], Tamura and Shafer [15], Iyengar [7] and Weissglass and the author [10]. The root of our whole theory is Tamura's semilattice decomposition theorem [12, 13]. Of this, we give a new proof. The results of this paper were obtained by the author between January and July of 1971, while an undergraduate at the University of California, Santa Barbara.     

Hardy-Hilbert重级数不等式的推广与改进

本文将著名的 Hardy-Hilbert重级数不等式∑∞m=1 ∑∞n=1ambnm + n≤ πsin(π/p) ∑∞n=1apn1p ∑∞n=1bqn1q∑∞m=1 ∑∞n=1anm + np ≤ πsin(π/p)p∑∞n=1apn进行了带参数形式的推广 ,同时改进了这些不等式     

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].     

亚纯函数微分多项式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]中的结论是本文结论的特殊情况.     

The integration of certain products of the multivariableH-function with a general class of polynomials

The authors present six general integral formulas (four definite integrals and two contour inegrals) for theH-function of several complex variables, which was introduced and studied in a series of earlier papers by H. M. Srivastava and R. Panda (cf., e.g., [25] through [29]; see also [14] through [18], [20], [24], [32], [34], [35], [37], and [38]). Each of these integral formulas involves a product of the multivariableH-function and a general class of polynomials with essentially arbitrary coefficients which were considered elsewhere by H. M. Srivastava [21]. By assigning suiatble special values to these coefficients, the main results (contained in Theorems 1, 2 and 3 below) can be reduced to integrals involving the classical orthogonal polynomials including, for example, Hermite, Jacobi [and, of course, Gegenbauer (or ultraspherical), Legendre, and Tchebycheff], and Laguerre polynomials, the Bessel polynomials considered by H. L. Krall and O. Frink [9], and such other classes of generalized hypergeometric polynomials as those studied earlier by F. Brafman [3] and by H. W. Gould and A. T. Hopper [8]. On the other hand, the multivariableH-functions occurring in each of our main results can be reduced, under various special cases, to such simpler functions as the generalized Lauricella hypergeometric functions of several complex variables [due to H. M. Srivastava and M. C. Daoust (cf. [22] and [23])] which indeed include a great many of the useful functions (or the products of several such functions) of hypergeometric type (in one and more variables) as their particular cases (see,e. g., [1], [10] and [39]). Many of the aforementioned applications of our integral formulas (contained in Theorems 1, 2 and 3 below) are considered briefly. Further usefulness of some of these consequences of Theorems 1 and 2 in terms of the classical orthogonal polynomials is illustrated by considering a simple problem involving the orthogonal expansion of the multivariableH-function in series of Jacobi polynomials. It is also shown how these general integrals are related to a number of results scattered in the literature. 0261 0262 V     

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].     

Graphs with two isomorphism classes of spanning unicyclic subgraphs

The graphs whose spanning unicyclic subgraphs partition into exactly two isomorphism classes are characterized.This work is a continuation of [6] where graphs with one isomorphism class of spanning unicyclic graphs are characterized. The analogous question for spanning trees was posed in [10] and graphs with one isomorphism class of spanning trees were characterized in [2], [3], [4], [7], [11] while graphs with two isomorphism classes of spanning trees were characterized in [4], [5]. Related topics are treated in [1], [8], [9].