关于代数微分方程(f'''')~n=R(z,f)的亚纯解

在本文中,我们首先考虑了具有理系数的代数微分方程（ｆ＇）ｎ＝Ｒ（ｚ,ｆ）亚 纯解的个数估计问题,并举例说明所得结果是精确的．其次,我们运用 Ｎｅｖａｎｌｉｎｎａ值 分布论,讨论了具亚纯系数的典型代数微分方程（ｆ＇）３＝ａ０（ｆ－ τ１）２（ｆ－ τ２）２（ｆ－ τ３）２ 的可分解亚纯解．文中的结果推广或改进了高仕安［１］,Ｇｕｎｄｅｒｓｅｎ Ｇ．和ＬａｉｎｅＩ［２］以 及何育赞, ＬａｉｎｅＩ．［３－５］等人的工作．     

关于代数微分方程(f')~n=R(z,f)的亚纯解

在本文中,我们首先考虑了具有理系数的代数微分方程（ｆ＇）ｎ＝Ｒ（ｚ,ｆ）亚 纯解的个数估计问题,并举例说明所得结果是精确的．其次,我们运用 Ｎｅｖａｎｌｉｎｎａ值 分布论,讨论了具亚纯系数的典型代数微分方程（ｆ＇）３＝ａ０（ｆ－ τ１）２（ｆ－ τ２）２（ｆ－ τ３）２ 的可分解亚纯解．文中的结果推广或改进了高仕安［１］,Ｇｕｎｄｅｒｓｅｎ Ｇ．和ＬａｉｎｅＩ［２］以 及何育赞, ＬａｉｎｅＩ．［３－５］等人的工作．     

W2^2（D）空间第一类算子方程近似解

０引言本文在具有再生核的Ｓｏｂｏｌｅｖ空间Ｗ＿２~２（Ｄ）中研究第一类算子方程的近似求解问题,本文利用再生核空间技巧得到的方程（１）的近似解ｕｎ（Ｍ）有如下特点：１近似解ｕｎ（Ｍ）的构成只需用到ｆ在有限个节点｛Ｗｉ｝１ｎ　Ｄ上的值;２当｛Ｍｉ｝１在Ｄ中稠密时,可以得到方程解析解ｕ（Ｍ）的表达式,并且而且误差随节点个数ｎ的增加接空间范数单调下降．数值算例表明,该方法是有效的．1Ｗ22（Ｄ）空间及其再生核记Ｄ=［ａ,ｂ］×［ｃ,ｄ］为有限区域,设是Ｄ上一组互异节点系．在［１］中,设Ｗ２２［ａ,ｂ］＝｛ｕ…     

方程u_(tt)=u_(xxt) f(u_x)_x初边值问题的差分法

１．引言方程是在国内外引起广泛关注的一类重要的非线性发展方程．文［１］在函数ｆ（ｓ）满足局部 Ｌｉｐ－ｓｃｈｉｔｚ条件及单调性条件（ｆ（ｓ２）－ｆ（ｓ１））（ｓ２－ｓ１）＞ ０的假设下得到了（１．１）初边值问题整体弱解的存在与唯一性;文［２］用 Ｇａｌｅｒｋｉｎ方法,研究了（１．１）的初边值问题,周期边值问题和初值问题,并在函数ｆ’（ｓ）下方有界的假设下得到了整体强解的存在与唯一性． 本文在有限区域 ＱＴ＝［０,１］×［０,Ｔ］（Ｔ＞ ０）上讨论方程（１．１）带有初值条件和边值条件（ｕ（ｘ,ｔ）为未知…     

对流-扩散问题的特征──块中心差分法

１．引言１９８２年,Ｄｏｕｇｌａｓ和Ｒｕｓｓｅｌｌ［１］提出解对流一扩散问题的特征一差分方法,网格节点为均匀分布,求解区域为直线Ｒ．文中讨论了基于二次插值的特征一差分格式,但其近似解按离散Ｌ２模未达到最优阶误差估计．１９８８年Ｗｅｉｓｅｒ和Ｗｈｅｅｌｅｒ［２］提出解线性椭圆型和线性抛物型方程的块中心差分法,１９９１年王申林［３］讨论了解拟线性双曲型积分微分方程的块中心差分方法,其共同特点为近似解按离散的Ｌ２模达到最优阶误差估计,解的一阶导数的近似解达到超收敛误差估计．１９９３年由同顺［４］讨论了…     

Banach空间中微分方程的渐近平衡性

该文考虑微分方程组的渐近平衡性，这里ｆ１（ｔ，ｘ，ｙ）满足非紧性条件，ｆ２满足耗散型条件．其中的推论１．１去掉了文［１］中的一致连续性条件，改进和推广了文［１］的结果．     

一类非线性多重调和方程△~mu=f(|x|,u,|u|)的正整解

本文建立了一类Ｒｎ（ｎ≥３）中非线性多重调和方程△~ｍｕ＝ｆ（|ｘ|，ｕ，|(ｕ|）（ｍ≥２）正 的径向对称整体解的存在性定理，并给出了解的有关性质，推广了文［１］－［４］的有关结果．     

二维抛物型积分微分方程动边界问题的有限元方法

１引言抛物型积微分方程,可广泛用于描述具有记忆的材料的热传导、气体扩散、松散介质中的压力等实际问题中的现象,具有重要研究意义．关于固定空间区域上该类方程的研究,可见文献［１］,［２］;关于动边界抛物型方程,梁国平等已有重要工作［３］,［４］;作者在文［５］中,研究了一维动边界抛物型积微分方程的数值方法．本文研究二维空间区域变动情形下此类方程初边值问题的全离散、半离散有限元逼近格式及有关数值分析．主要特点在于对动边界和时间积分项（Ｖｏｌｔｅｒｒａ项）的处理．对于前者,通过空间变量代换,将问题化为定…     

非线性抛物型积分微分方程有限元方法的插值后处理技术

本文以两类非线性抛物型积分微分方程为例，首次尝试将插值后处理思想［１］应用到非线性发展型方程上，获得了半离散和全离散有限元解，经插值后处理之后在Ｌ∞（Ｈ１）；Ｌ∞（Ｌ２）模意义下，整体超收敛１阶的高精度，并且计算量没有因此而增加．本文引进并证明较文［２］更广泛的一类椭圆Ｈ１－Ｖｏｌｔｅｒｒａ投影的Ｈ１；Ｌ２，Ｈ－１模最优估计．本文的分析方法可在各类发展型微分及积分微分方程上面通用．     

1999年全国高中联赛第三题的简解

题目　已知当ｘ∈［０,１］时,不等式ｘ２ｃｏｓθ－ｘ（１－ｘ）＋（１－ｘ）２ｓｉｎθ＞０恒成立,试求θ的取值范围．这是１９９９年全国高中数学联合竞赛试题第三题,下面给出一种有别于“标准答案”的简单解法．解　若对一切ｘ∈［０,１］,恒有ｆ（ｘ）＝ｘ２ｃｏｓθ－ｘ（１－ｘ）＋（１－ｘ）２ｓｉｎθ＞０,则　ｓｉｎθ＝ｆ（０）＞０,ｃｏｓθ＝ｆ（１）＞０,∴　２ｋπ＜θ＜２ｋπ＋π２,ｋ∈Ｚ．（１）又　ｆ（ｘ）＝（１＋ｓｉｎθ＋ｃｏｓθ）ｘ２－（１＋２ｓｉｎθ）ｘ＋ｓｉｎθ＝（１＋ｓｉｎθ＋ｃｏｓθ）［…     

Approximation by Discrete GB-Splines

This paper addresses the definition and the study of discrete generalized splines. Discrete generalized splines are continuous piecewise defined functions which meet some smoothness conditions for the first and second divided differences at the knots. They provide a generalization both of smooth generalized splines and of the classical discrete cubic splines. Completely general configurations for steps in divided differences are considered. Direct algorithms are proposed for constructing discrete generalized splines and discrete generalized B-splines (discrete GB-splines for short). Explicit formulae and recurrence relations are obtained for discrete GB-splines. Properties of discrete GB-splines and their series are studied. It is shown that discrete GB-splines form weak Chebyshev systems and that series of discrete GB-splines have a variation diminishing property.     

离散三角子模

为了构造离散三角模,引入了离散三角子模的概念,给出了生成离散三角(子)模的方法;然后讨论了光滑离散三角子模的结构.     

Extensions of discrete triangular distributions and boundary bias in kernel estimation for discrete functions

Asymmetric discrete triangular distributions are introduced in order to extend the symmetric ones serving for discrete associated kernels in the nonparametric estimation for discrete functions. The extension from one to two orders around the mode provides a large family of discrete distributions having a finite support. Establishing a bridge between Dirac and discrete uniform distributions, some different shapes are also obtained and their properties are investigated. In particular, the mean and variance are pointed out. Applications to discrete kernel estimators are given with a solution to a boundary bias problem.     

Fourier spectral approximation to long-time behavior of three dimensional Ginzburg-Landau type equation*

In this paper, we consider a three dimensional Ginzburg–Landau type equation with a periodic initial value condition. A fully discrete Galerkin–Fourier spectral approximation scheme is constructed, and then the dynamical properties of the discrete system are analyzed. First, the existence and convergence of global attractors of the discrete system are proved by a priori estimates and error estimates of the discrete solution, and the numerical stability and convergence of the discrete scheme are proved. Furthermore, the long-time convergence and stability of the discrete scheme are proved. *This work was supported by the National Natural Science Foundation of China (No.: 10432010 and 10571010)     

Discontinuous Galerkin method for the coupled Stokes‐Biot model

In this paper, a semi‐discrete scheme and a fully discrete scheme of the Stokes‐Biot model are proposed, and we analyze the semi‐discrete scheme in detail. First of all, we prove the existence and uniqueness of the semi‐discrete scheme, and a‐priori error estimates are derived. Then, we present the same conclusions for the fully discrete scheme. Finally, under both matching and non‐matching meshes some numerical tests are given to validate the analysis of convergence, which well support the theoretical results.     

Discrete-Euclidean operations

In this paper, we study the relationship between Euclidean and discrete space. We study discrete operations based on Euclidean functions: discrete smooth scaling and discrete-continuous rotation. Conversely, we study Euclidean operations based on discrete functions: the discrete based simplification, the Euclidean-discrete union and the Euclidean-discrete co-refinement. These operations operate partly in discrete, and partly in continuous space. Especially for the discrete smooth scaling operation, we provide error bounds when such different operations are chained.     

Discrete soliton solutions for a generalized discrete nonlinear Schrödinger equation with variable coefficients via discrete N-fold Darboux transformation

Under investigations in this paper is a discrete generalized nonlinear Schrödinger equation with variable coefficients. Through symbolic computation the discrete spectral problems are analyzed, the discrete N-fold Darboux transformation (DT) is constructed, discrete one and two-soliton solutions in the form of Vandermonde-like determinants are derived and some dynamic behaviors of those solitons are discussed graphically.     

A critical review of discrete filled function methods in solving nonlinear discrete optimization problems

Many real life problems can be modeled as nonlinear discrete optimization problems. Such problems often have multiple local minima and thus require global optimization methods. Due to high complexity of these problems, heuristic based global optimization techniques are usually required when solving large scale discrete optimization or mixed discrete optimization problems. One of the more recent global optimization tools is known as the discrete filled function method. Nine variations of the discrete filled function method in literature are identified and a review on theoretical properties of each method is given. Some of the most promising filled functions are tested on various benchmark problems. Numerical results are given for comparison.     

Conformal hexagonal meshes

We explore discrete conformal and discrete minimal surfaces whose faces are planar hexagons throughout. Discrete conformal meshes are built of conformal hexagons for which we establish a dual construction. We apply this dual construction to conformal hexagonal meshes covering the sphere and get discrete hexagonal minimal surfaces via a discrete analogue to the Christoffel dual construction. We compare the smooth and the discrete settings by means of limit considerations and also by a discussion of Möbius invariants.     

Solvability Criterion for the Constrained Discrete Lyapunov and Riccati Equations

Conditions for the solvability of the discrete Lyapunov and the discrete Riccati equations subject to linear equality constraints are derived. These problems arise naturally in the context of output min-max robust control. It is shown that the following problems are equivalent to one another: (a) the solvability of the constrained discrete Riccati equation; and (b) the existence of a feedback gain that guarantees the solvability of the constrained discrete Lyapunov equation of the resulting closed loop. A simple criterion for the existence of a solution to both problems is presented. These problems are shown to be related to the discrete positive real property.