Riccati方法与微分方程的渐近积分

考虑二阶常微分方程x″ f(t)x=0,t≥a,(1)假设应用Riccati方法得到方程(1)的主解(principal solution)的一个渐近积分并研究其副解(nonprincipal solutions)的三种不同的渐近性质.主要结果如下:定理1 若(Ⅰ)成立,则方程(1)有解x_1满足及另一解x_2满足x_2(t)=t[1 o(1)]. 反之,若方程(1)有解x(t)→1,t→∞,则(Ⅰ)成立. 定理2 设(Ⅰ)成立.(i)若(Ⅱ)成立,则方程(1)有解x_2使x_2’(t)=1 [tF(t) G(t)][1 o(1)] o(1). (ii) 反之,若方程(1)有解x使x’→1,t→∞,则(Ⅱ)成立. 定理3 若(Ⅲ)和(Ⅳ)成立,则方程(1)有解x_1满足(2)及解x_2满足     

两类非线性微分系统的比较定理

研究了如下两类非线性微分系统(dx/dt)=h(y)-(x),(dy/dt)=-f_1(x)h(y)-g_1(x)；(Ⅰ) (dx/dt)=h(y)-(x),(dy/dt)=-g(x)；(Ⅱ)解的有界性与周期解的存在性．证明了几个比较定理,使(Ⅱ)解的有界性和周期解的存在性定理可用于判定(Ⅰ)解的有界性与周期解的存在性．所获结果可以用来判定Liénard方程(d~2x/dt~2) f(x)(dx/dt) g(x)=0(Ⅲ)解的有界件与周期解的存在性．扩展和推广了已有文献中的相应结果．     

全局渐近稳定性质与概周期解的存在唯一性

众所周知,周期系统解的有界性蕴含着周期解的存在性。然而对于概周期系统(1)来说,即使在n=1的情况下其解的有界性也未必蕴含着概周期解的存在性。因此,在讨论(1)的概周期解的存在性时,必需同时考虑有界解的某种稳定性质。 本文首先证明当研究概周期系统(1)的概周期解φ(t)的稳定性时,可假设φ(t)是明显解。其次,我们利用李雅普诺夫函数和比较原理得到了(1)的零解为全局等度(均匀)渐近稳定的一些结果。最后,我们亦得到了(1)存在唯一概周期解的充分条件。所得结果推广了[1,11,13]中有关结论。     

Liénard方程的比较原理

证明了几个比较原理 ,使方程 x″+f (x) x′+g(x) =0的周期解的存在性与解的有界性定理可以分别用来判定方程 x″+h(x,x′) x′+g(x) =0的周期解的存在性与解的有界性 .     

一类反应扩散方程的行波解

1　引　　言由于反应扩散方程涉及的大量问题来自物理学、化学、生物学和人口动力学中众多的数学模型,因而有广阔的实际背景.其行波解引起了人们的兴趣,行波解是某个常微分方程的解,对某些传播速度,利用几何方法可以建立其解的存在性(见[1][2][3]).在文[4]中J.Canosa讨论了Fisher方程ut=2u2x+u(1-u)(1)行波解的存在性、逼近解和误差估计.所谓方程(1)的行波解是指形为u(x,t)=u(x-ct)=u(z)的解.众所周知,行波解u(x,t)=u(x-ct)=u(z)是方程(1)的行波解的充要条件是d2udz2+cdudz+u(1-u)=0(2)若u(z)是单调有界且不恒为常数,则u(z)叫做(1)的波前…     

关于一个右端带δ函数的半线性椭圆型方程的有限元方法

文证明了问题(1)的非负广义解的存在唯一性。本文将讨论(1)的有限元解法,证明了有限元解的收敛性,同时给出了(1)的非负广义解存在性的一个构造性证明。 证明的基本步骤是,将(1)的广义解化为三个问题的广义解。对含δ函数的线性问题(2),证明了它的有限元解的收敛性;问题(3)的有限元方法有熟知的结果;本文着重对半线性问题(4)的有限元方法进行讨论。主要采用不动点原理和离散极值原理在定理3中证明了(4)的有限元解的存在性,并证明了收敛性。为了提高(1)的有限元     

二元一次方程组目标检测(二)

一、选择题(每题4分,共20分) 1.下列说法正确的是( ) (A)任何一对数都是方程3x-y=2的一个解 (B)二元一次方程组只有一个解 (C)正确求出的方程组的解,一定是组内每个方程的解     

不等式f(x)·(g(x))~(1/2)≥0的解法

解不等式 f(x)·g(x) ≥ 0极易出现漏解或增解 ,最常见的错误解法是 ,将 f(x)·g(x) ≥ 0转化为不等式组 f(x)≥ 0 ,g(x)≥ 0 .须知 f(x)·g(x) >0与 f(x) >0 ,g(x) >0同解 ,但是 f(x)· g(x) ≥ 0与f(x)≥ 0 ,g(x)≥ 0并不同解 .那么 ,怎么解此类不等式呢 ?下提供三种基本的解法供参考 .方法 1　将关系符号分解符号“≥”是由“ >”与“ =”复合而成 ,这样解不等式 f(x)·g(x) ≥ 0可以转化为解不等式 f(x)· g(x) >0与解方程 f(x)·g(x) =0 .例 1　解不等式 (x - 4 ) x2 - 3x - 4 ≥ 0 .解　原不等式可以转化为 (x - 4 )x2 - 3x - 4>0或 (…     

平面二阶偏微分方程组的边值问题

本文讨论偏微分方程组(1)的边值问题的提法,证明条件(D)是保证在任何有限域上边值问题(1),(2)的古典解唯一的充要条件.当条件(D)成立时,证明了广义解的存在唯一性,并举出古典解存在的一些例子.     

具有球对称结构的相对论欧拉方程组稳态解的存在性

对于等温气体,作者将考虑具有球对称结构的相对论欧拉方程组经典稳态解(定理1.1)和弱稳态解(定理1.2)的存在性.通过求解两个常微分方程以及比较马赫数M和1的关系,定理1.1证明了相对论欧拉方程组经典稳态解的存在性.在一个C~(2,α),α∈(0,1)稳态背景解的扰动下,定理1.2将证明高维球对称跨音速(双曲-椭圆)解的存在性.     

Extreme values of the sum of squares of degrees of bipartite graphs

In this paper we determine the minimum and maximum values of the sum of squares of degrees of bipartite graphs with a given number of vertices and edges.     

Estimation of the number of components of finite mixtures of multivariate distributions

An estimator of the number of components of a finite mixture ofk-dimensional distributions is given on the basis of a one-dimensional independent random sample obtained by a transformation of ak-dimensional independent random sample. A consistency of the estimator is shown. Some simulation results are given in a case of finite mixtures of two-dimensional normal distributions.     

Eigenvector p-Bases of Rings of Constants of Derivations

Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing A^p.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

有资格限制的指派问题的求解方法

在实际的指派工作中，常会遇到某个人有没有资格去承担某项工作的问题，因此，本建立了有资格限制的指派问题的数学模型。在此数学模型中，将效益矩阵转化为判定矩阵，由此给出了判定此种指派问题是否有解的方法；在有解的情况下，进一步将效益矩阵转化为求解矩阵，从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。     

Number of connected components of groups of real points of adjoint groups

We present a unified approach to compute the number of connected components in the group of real points of adjoint almost simple real algebraic groups.     

Radius of convexity of certain classes of analytic functions

We consider the classes of analytic functions introduced recently by K.I. Noor which are defined by conditions joining ideas of close-to-convex and of bounded boundary rotation functions. We investigate coefficients estimates and radii of convexity.     

On Sums of Coefficients of Products of Polynomials

We study the nilpotency of the sums of all coefficients of some sorts of products of polynomials over reversible, IFP, and NI rings, and introduce an SCN ring as a generalization. We characterize SCN rings in relation with related ring properties, and also provide several useful properties and ring extensions of SCN rings.     

Convergence of sequences of sets of associated primes

It is a well-known result of M. Brodmann that if is an ideal of a commutative Noetherian ring , then the set of associated primes of the -th power of is constant for all large . This paper is concerned with the following question: given a prime ideal of which is known to be in for all large integers , can one identify a term of the sequence beyond which will subsequently be an ever-present? This paper presents some results about convergence of sequences of sets of associated primes of graded components of finitely generated graded modules over a standard positively graded commutative Noetherian ring; those results are then applied to the above question.