矩阵方程X＋A^TX^—1A=Q存在可稳定化解的充分必要条件

１引言一般的时离散代数Ｒｉｃｃａｔｉ方程具有下面的形式：这里如果方程（１）中的系数矩阵满足：（ｎ＝ｍ）则方程（１）变为当Ｑ＝ＱＴ＞０时,Ｅｎｇｗｅｒｄａ,詹兴致等人研究了方程（２）存在正定解的充分必要条件［１］［２］［３］．本章利用方程（２）与（１）的关系,从另一角度讨论了Ｑ为对称矩阵时,方程（２）存在可稳定化解的充分必要条件．２基本概念与记号首先我们简单回顾一下以前的概念与记号．矩阵束Ｍ—Ｎ,Ｍ,Ｎ为正则的,也就是说ｄｅｔ（λＭ－Ｎ）＝０;如果λ０为ｄｅｔ（λＭ－Ｎ）的ｋ重根,则称λ０为它的ｋ…     

复Schr(o)dinger场和实Klein-Gordon场相互作用下一类方程组守恒差分格式的收敛性和稳定性

１引言关于Ｚａｋｈａｒｏｖ方程各种定解问题的讨论,近年来已发表了许多的文献［１－５］,很明显,这是复非线性Schrod-inger（NLS）方程和实非线性波动方程耦合的一类方程组．文献［６］考察了复ＮＬＳ方程和实非线性Ｋｌｅｉｎ－Ｇｏｒｄｏｎ（Ｇ－Ｋ）方程耦合的一类方程组的各种定解问题,其中φ（ｘ,ｔ）是复值函数,ｕ（ｘ,ｔ）是实值函数,ｆ（ｓ）∈（－∞,∞）,μ,ｇ,ｍ均为正常数,ｉ２＝－１．文中证明了整体解的存在性、唯一性和存在如下两个守恒律其中Ｆ（ｓ）＝ｆ（ｚ）ｄｚ,Ｅ００,Ｅ０１均为仅与初始条件有关…     

RLW-KdV方程的对称约化、精确解和守恒律北大核心CSCD

运用经典李群方法研究了正则长波-KdV方程,得到所有的向量场.然后,将正则长波-KdV方程约化成常微分方程,进一步利用e-φ（ε））展开法和Lambert W函数法求精确解.最后,利用李点对称求正则长波-KdV方程的伴随方程和守恒律.     

（２＋１）维非线性色散长波方程的相似约化和解析解

首先借助于Ｍａｔｈｅｍａｔｉｃａ软件,将Ｃｌａｒｋｓｏｎ和Ｋｒｕｓｋａｌ引入的直接约化法推广并应用于（２＋１） 维偏微分方程组情形 （２＋１） 维非线性色散长波方程,获得了该方程的六种类型的相似约化和若干解析解,其中包括ＰａｉｎｌｅｖｅⅡ型方程和孤子解．然后基于文［５］的结论,通过引入新的级数变换,获得了该方程的有理分式解析解．这种方法也适合于其它的微分方程．     

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

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

一类弯曲梁方程正解的存在唯一性

１引言 本文利用 Ｂｉｒｋｈｏｆｆ－Ｈｏｐｆ定理和 Ｈｉｌｂｅｒｔ投影距离讨论了一类具有α齐次（α＞ １）非线性项的弯曲梁方程正解的存在唯一性．关于弯曲梁方程的研究已有不少结果［１,２］,但对于带超线性非线性项的梁方程的结果,特别是对解的唯一性的结果却并不多．本文讨论如下弯曲梁方程的定解问题我们得到,当为α齐次连续函数且时,问题（１）必有唯一正解． 容易验证,问题（１）等价于下列积分方程其中Ｇ（ｘ,ｙ）为相应的Ｇｒｅｅｎ函数,设Ｅ＝如果令分别为再令,则方程（２）等价于算子Ａ的不动点方程２引理 设 Ｅ是…     

Travelling Wave Solutions for Generalized Fisher Equation

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎ［１，２］，ＡｒｏｎｓｏｎａｎｄＷｅｉｎｂｅｒｇｅｒｈａｖｅｓｔｕｄｉｅｄｓｙｓｔｅｍａｔｉｃｌｙｔｈｅｓｃａｌａｒｎｏｎｌｉｎｅａｒｄｉｆｆｕ－ｓｉｏｎｅｑｕａｔｉｏｎｉｎｏｎｅｓｐａｃｅｖａｒｉａｂｌｅｕｔ＝ｕｘｘ＋φ（ｕ），（１．１）ｗｈｅｒｅｕ＝ｕ（ｘ，ｔ）ａｎｄφ（ｕ）ｉｓａｎｏｎｌｉｎｅａｒｆｕｎｃｔｉｏｎ．Ｅｑｕａｔｉｏｎ（１．１）ａｒｉｓｅｓｉｎｓｅｖｅｒａｌａｐｐｌｉｃａ－ｔｉｏｎｓ；Ｓｅｅ［１，２］ａｎｄ［３］ｆｏｒｉｎｆｏｒｍａｔｉｏｎａ…     

代数Riccati方程可稳解的条件数

１．引言 关于代数Ｒｉｃｃａｔｉ方程（ＡＲＥ）的研究是大量的．从数值角度看,有关数值方法,扰动理论的研究已比较深入．而关于条件数理论的研究则还不多［３］,［６］． Ｒｙｅｒｓ［１］研究了时连续代数 Ｒｉｃｃａｔｉ方程可稳解的条件数; Ｋｅｎｎｅｙ和 Ｈｅｗｅｒ［３］讨论了时连续代数 Ｒｉｃｃａｔｉ方程（以下简称 ＣＴＡＲＥ）可稳解的敏度分析,给出了一阶扰动界,引进了条件数; Ｓｕｎ［６］从最佳向后扰动理论角度研究了时离散代数Ｒｉｃｃａｔｉ方程（以下简称ＤＴＡＲＥ）可稳解的条件数;徐树方［８］针对 ＣＴＡ…     

色散长波方程族的换位表示

本文据文［１］的思路，得到了色散长波方程族的换位表示，并讨论了驻定色散长波系统．     

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

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

一个模拟趋化现象的广义双曲-抛物系统的光滑解的全局分析

考虑一个模拟趋化现象的广义双曲-抛物系统的Cauchy问题,当动能函数为非线性函数且初始值具有小的L~2能量但其H~2能量可能任意大时,得到了全局光滑解的存在性和渐近行为.这些结果推广了以前的关于动能函数为线性函数或初始值具有小的H~2能量情形下的相关结果,首次获得了关于全局光滑大解方面的结果.这些结果的证明基于构造一个新的非负凸熵和做精细的能量估计.     

ERROR ESTIMATES FOR SPARSE OPTIMAL CONTROL PROBLEMS BY PIECEWISE LINEAR FINITE ELEMENT APPROXIMATION

Optimization problems with L¹-control cost functional subject to an elliptic partial differential equation(PDE)are considered.However,different from the finite dimensiona l¹-regularization optimization,the resulting discretized L¹norm does not have a decoupled form when the standard piecewise linear finite element is employed to discretize the continuous problem.A common approach to overcome this difficulty is employing a nodal quadrature formula to approximately discretize the L¹-norm.In this paper,a new discretized scheme for the L¹-norm is presented.Compared to the new discretized scheme for L¹-norm with the nodal quadrature formula,the advantages of our new discretized scheme can be demonstrated in terms of the order of approximation.Moreover,finite element error estimates results for the primal problem with the new discretized scheme for the L¹-norm are provided,which confirms that this approximation scheme will not change the order of error estimates.To solve the new discretized problem,a symmetric Gauss-Seidel based majorized accelerated block coordinate descent(sGS-mABCD)method is introduced to solve it via its dual.The proposed sGS-mABCD algorithm is illustrated at two numerical examples.Numerical results not only confirm the finite element error estimates,but also show that our proposed algorithm is efficient.     

二维双曲型方程动边界问题有限元逼近格式和数值分析

1 引言 物理实际中,许多振动的传播过程,如弦振动、弹性杆纵向振动过程中的位移,理想高频传输线上的电压和电流,声波传播中的声压速度势以及电磁波等,都满足双曲型方程。关于     

A symmetric finite volume scheme for selfadjoint elliptic problems

Based on a linear finite element space, a symmetric finite volume scheme for a self-adjoint elliptic boundary-value problem is proposed. Error estimates in L²-norm, H¹-norm, and L^∞-norm are derived. Some post-processing techniques are also provided.     

Convergence rates to nonlinear diffusion waves for weak entropy solutions to p-system with damping

This paper studies the asymptotic behavior of weak entropy solutions to the Cauchy problem of the so-called p-system with damping. The convergence rates to nonlinear diffusion waves for weak entropy solutions are obtained in L∞-norm or L2-norm. These convergence rates are the same to the decay rates of smooth solution obtained by Nishihara. They are proved by using the vanishing viscosity method and the elementary L2-energy method.     

POINTWISE ESTIMATES OF SOLUTION FOR NON-ISENTROPIC NAVIER-STOKES-POISSON EQUATIONS IN MULTI-DIMENSIONS

The Cauchy problem of the non-isentropic Navier-Stokes-Poisson equations in multi-dimensions is considered.The global existence and pointwise estimates of the classical solution are given,which extend the optimal decay rate in L 2-norm in [27] to the L p(R n)(p > n/n-1)-norm.     

An investigation of feasible descent algorithms for?estimating the condition number of a matrix

Techniques for estimating the condition number of a nonsingular matrix are developed. It is shown that Hager??s 1-norm condition number estimator is equivalent to the conditional gradient algorithm applied to the problem of maximizing the 1-norm of a matrix-vector product over the unit sphere in the 1-norm. By changing the constraint in this optimization problem from the unit sphere to the unit simplex, a new formulation is obtained which is the basis for both conditional gradient and projected gradient algorithms. In the test problems, the spectral projected gradient algorithm yields condition number estimates at least as good as those obtained by the previous approach. Moreover, in some cases, the spectral gradient projection algorithm, with a careful choice of the parameters, yields improved condition number estimates.     

Compression and denoising using <Emphasis Type="Italic">l</Emphasis><Subscript>0</Subscript>-norm

In this paper, we deal with l ₀-norm data fitting and total variation regularization for image compression and denoising. The l ₀-norm data fitting is used for measuring the number of non-zero wavelet coefficients to be employed to represent an image. The regularization term given by the total variation is to recover image edges. Due to intensive numerical computation of using l ₀-norm, it is usually approximated by other functions such as the l ₁-norm in many image processing applications. The main goal of this paper is to develop a fast and effective algorithm to solve the l ₀-norm data fitting and total variation minimization problem. Our idea is to apply an alternating minimization technique to solve this problem, and employ a graph-cuts algorithm to solve the subproblem related to the total variation minimization. Numerical examples in image compression and denoising are given to demonstrate the effectiveness of the proposed algorithm.     

三维非线性抛物型积分-微分方程的A.D.I.Galerkin方法及其分析

研究三维非线性抛物型积分-微分方程的A.D.I.Galerkin方法.通过交替方向,化三维为一维,简化计算;通过Galerkin法,保持高精度.成功处理了Volterra项的影响;对所提Galerkin及A.D.I.Galerkin格式给出稳定性和收敛性分析,得到最佳H1和L2模估计.     

EXISTENCE OF GLOBAL SMOOTH SOLUTION TO INITIAL BOUNDARY VALUE PROBLEM FOR A VISCOELASTIC MODEL WITH RELAXATION

This paper is concerned with the initial boundary value problem for a vis-coelastic model with relaxation. Under the only assumption that the C^0-norm of theinitial data is small, without smallness hypothesis for the C^1-norm, the existence of theglobal smooth solution to the corresponding initial boundary value problem is proved.The analysis is based on some a priori estimates obtained by the “maximum principle” offirst-order quasilinear hyperbolic system.