首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 296 毫秒
1.
本文发展了非定常对流扩散方程的非线性保正格式.该格式为单元中心型有限体积格式,保持局部通量的守恒性,适用于任意星形多边形网格,本文证明了该离散格式解的存在性,并给出数值结果,表明该格式具有二阶精度.  相似文献   

2.
金丽  张立卫  肖现涛 《计算数学》2007,29(2):163-176
本文构造的求解非线性优化问题的微分方程方法包括两个微分方程系统,第一个系统基于问题函数的一阶信息,第二个系统基于二阶信息.这两个系统具有性质:非线性优化问题的局部最优解是它们的渐近稳定的平衡点,并且初始点是可行点时,解轨迹都落于可行域中.我们证明了两个微分方程系统的离散迭代格式的收敛性定理和基于第二个系统的离散迭代格式的局部二次收敛性质.还给出了基于两个系统的离散迭代方法的数值算例,数值结果表明基于二阶信息的微分方程方法速度更快.  相似文献   

3.
本文对一维非线性 Schrödinger 方程给出两个紧致差分格式, 运用能量方法和两个新的分析技 巧证明格式关于离散质量和离散能量守恒, 而且在最大模意义下无条件收敛. 对非线性紧格式构造了 一个新的迭代算法, 证明了算法的收敛性, 并在此基础上给出一个新的线性化紧格式. 数值算例验证 了理论分析的正确性, 并通过外推进一步提高了数值解的精度.  相似文献   

4.
本文对一维非线性Schrdinger方程给出两个紧致差分格式,运用能量方法和两个新的分析技巧证明格式关于离散质量和离散能量守恒,而且在最大模意义下无条件收敛.对非线性紧格式构造了一个新的迭代算法,证明了算法的收敛性,并在此基础上给出一个新的线性化紧格式.数值算例验证了理论分析的正确性,并通过外推进一步提高了数值解的精度.  相似文献   

5.
 本文在星形多边形网格上, 构造了扩散方程新的单调有限体积格式.该格式与现有的基于非线性两点流的单调格式的主要区别是, 在网格边的法向流离散模板中包含当前边上的点, 在推导离散法向流的表达式时采用了定义于当前边上的辅助未知量, 这样既可适应网格几何大变形, 同时又兼顾了当前网格边上物理量的变化. 在光滑解情形证明了离散法向流的相容性.对于具有强各向异性、非均匀张量扩散系数的扩散方程, 证明了新格式是单调的, 即格式可以保持解析解的正性. 数值结果表明在扭曲网格上, 所构造的格式是局部守恒和保正的, 对光滑解有高于一阶的精度, 并且, 针对非平衡辐射限流扩散问题, 数值结果验证了新格式在计算效率和守恒精度上优于九点格式.  相似文献   

6.
构造了拟线性抛物型方程组初边值问题的一类具有界面外推的并行本性差分格式. 为给出子区域间界面上的值或者与界面相邻点处的值,给出了两类时间外推的方式, 得到了二阶精度无条件稳定的并行差分格式. 并且不作启示性假定,证明了所构造的并行差分格式的离散向量解的存在性和 唯一性. 而且在格式的离散向量解对原始问题的已知离散数据连续依赖的意义下, 证明了并行差分格式的解按离散W(2,1)2(QΔ)范数是无条件稳定的.最后证明了具有界面外推的并行本性差分格式的离散向量解收敛到原始拟线性抛物问题的唯一广义解. 给出了数值例子,数值结果表明所构造的格式是无条件稳定的, 具有二阶精度,且具有高度并行性.  相似文献   

7.
二维半线性反应扩散方程的交替方向隐格式   总被引:2,自引:0,他引:2  
吴宏伟 《计算数学》2008,30(4):349-360
本文研究一类二维半线性反应扩散方程的差分方法.构造了一个二层线性化交替方向隐格式.利用离散能量估计方法证明了差分格式解的存在唯一性、差分格式在离散H~1模下的二阶收敛性和稳定性.最后给出两个数值例子验证了理论分析结果.  相似文献   

8.
通过构造向量形式的振动微分方程组,利用均向量场(AVF)法得到振动响应的向量差分迭代格式.该离散格式能够保能量,同时具有二阶精度的特征,从而给出非线性振动问题的均向量场法.介绍了均向量场法的基本步骤.在建立AVF格式时,对于微分方程中若干常见的项,直接给出相应的映射项.应用均向量场法研究了非线性单摆问题和Kepler(开普勒)问题,数值结果说明了该方法保能量和具有长时间求解能力的特性.  相似文献   

9.
首先给出二维土壤溶质输运问题时间二阶精度的Crank-Nicolson(CN)时间半离散化格式,然后直接从CN时间半离散化格式出发,建立具有时间二阶精度的全离散化CN有限元格式,并给出CN有限元解的误差分析,最后用数值例子验证全离散化CN有限元格式的优越性.这种方法提高了时间离散的精度,并极大地减少时间方向的迭代步,从而减少实际计算中截断误差的积累,提高计算精度和计算效率.而且方法绕开对空间变量半离散化有限元格式的讨论,使得理论研究更简便.  相似文献   

10.
首先给出Sobolev方程关于时间二阶精度的Crank-Nicolson(CN)时间半离散格式,然后直接从时间二阶精度的CN时间半离散格式出发,构造CN全离散化的有限元格式,并给出这种时间二阶精度的CN全离散化有限元解的误差估计.本文研究方法使得理论证明变得更简便, 也是处理Sobolev方程的一种新的尝试.  相似文献   

11.
A nonlinear iteration method named the Picard-Newton iteration is studied for a two-dimensional nonlinear coupled parabolic-hyperbolic system. It serves as an efficient method to solve a nonlinear discrete scheme with second spatial and temporal accuracy. The nonlinear iteration scheme is constructed with a linearization-discretization approach through discretizing the linearized systems of the original nonlinear partial differential equations. It can be viewed as an improved Picard iteration, and can accelerate convergence over the standard Picard iteration. Moreover, the discretization with second-order accuracy in both spatial and temporal variants is introduced to get the Picard-Newton iteration scheme. By using the energy estimate and inductive hypothesis reasoning, the difficulties arising from the nonlinearity and the coupling of different equation types are overcome. It follows that the rigorous theoretical analysis on the approximation of the solution of the Picard-Newton iteration scheme to the solution of the original continuous problem is obtained, which is different from the traditional error estimate that usually estimates the error between the solution of the nonlinear discrete scheme and the solution of the original problem. Moreover, such approximation is independent of the iteration number. Numerical experiments verify the theoretical result, and show that the Picard-Newton iteration scheme with second-order spatial and temporal accuracy is more accurate and efficient than that of first-order temporal accuracy.  相似文献   

12.
A nonlinear iteration method named the Picard–Newton iteration is studied for a two-dimensional nonlinear coupled parabolic–hyperbolic system. It serves as an efficient method to solve a nonlinear discrete scheme with second spatial and temporal accuracy. The nonlinear iteration scheme is constructed with a linearization–discretization approach through discretizing the linearized systems of the original nonlinear partial differential equations. It can be viewed as an improved Picard iteration, and can accelerate convergence over the standard Picard iteration. Moreover, the discretization with second-order accuracy in both spatial and temporal variants is introduced to get the Picard–Newton iteration scheme. By using the energy estimate and inductive hypothesis reasoning, the difficulties arising from the nonlinearity and the coupling of different equation types are overcome. It follows that the rigorous theoretical analysis on the approximation of the solution of the Picard–Newton iteration scheme to the solution of the original continuous problem is obtained, which is different from the traditional error estimate that usually estimates the error between the solution of the nonlinear discrete scheme and the solution of the original problem. Moreover, such approximation is independent of the iteration number. Numerical experiments verify the theoretical result, and show that the Picard–Newton iteration scheme with second-order spatial and temporal accuracy is more accurate and efficient than that of first-order temporal accuracy.  相似文献   

13.
A nonlinear iteration method for solving a class of two-dimensional nonlinear coupled systems of parabolic and hyperbolic equations is studied. A simple iterative finite difference scheme is designed; the calculation complexity is reduced by decoupling the nonlinear system, and the precision is assured by timely evaluation updating. A strict theoretical analysis is carried out as regards the convergence and approximation properties of the iterative scheme, and the related stability and approximation properties of the nonlinear fully implicit finite difference (FIFD) scheme. The iterative algorithm has a linear constringent ratio; its solution gives a second-order spatial approximation and first-order temporal approximation to the real solution. The corresponding nonlinear FIFD scheme is stable and gives the same order of approximation. Numerical tests verify the results of the theoretical analysis. The discrete functional analysis and inductive hypothesis reasoning techniques used in this paper are helpful for overcoming difficulties arising from the nonlinearity and coupling and lead to a related theoretical analysis for nonlinear FI schemes.  相似文献   

14.
讨论了二维非定常不可压Navier-Stokes方程的两重网格方法.此方法包括在粗网格上求解一个非线性问题,在细网格上求解一个Stokes问题.采用一种新的全离散(时间离散用Crank-Nicolson格式,空间离散用混合有限元方法)格式数值求解N-S方程.证明了该全离散格式的稳定性.给出了L2误差估计.对比标准有限元方法,在保持同样精度的前提下,TGM能节省大量的计算量.  相似文献   

15.
We consider a conservative nonlinear multigrid method for the Cahn–Hilliard equation with a variable mobility of a model for phase separation in a binary mixture. The method uses the standard finite difference approximation in spatial discretization and the Crank–Nicholson semi-implicit scheme in temporal discretization. And the resulting discretized equations are solved by an efficient nonlinear multigrid method. The continuous problem has the conservation of mass and the decrease of the total energy. It is proved that these properties hold for the discrete problem. Also, we show the proposed scheme has a second-order convergence in space and time numerically. For numerical experiments, we investigate the effects of a variable mobility.  相似文献   

16.
A nonlinear fully implicit finite difference scheme with second-order time evolution for nonlinear diffusion problem is studied.The scheme is constructed with two-layer coupled discretization (TLCD) at each time step.It does not stir numerical oscillation,while per-mits large time step length,and produces more accurate numerical solutions than the other two well-known second-order time evolution nonlinear schemes,the Crank-Nicolson (CN)scheme and the backward difference formula second-order (BDF2) scheme.By developing a new reasoning technique,we overcome the difficulties caused by the coupled nonlinear discrete diffusion operators at different time layers,and prove rigorously the TLCD scheme is uniquely solvable,unconditionally stable,and has second-order convergence in both s-pace and time.Numerical tests verify the theoretical results,and illustrate its superiority over the CN and BDF2 schemes.  相似文献   

17.
A fully implicit finite difference (FIFD) scheme with second-order space–time accuracy is studied for a nonlinear diffusion equation with general capacity term. A new reasoning procedure is introduced to overcome difficulties caused by the nonlinearity of the capacity term and the diffusion operator in the theoretical analysis. The existence of the FIFD solution is investigated at first which plays an important role in the analysis. It is established by choosing a new test function to bound the solution and its temporal and spatial difference quotients in suitable norms in the fixed point arguments, which is different from the traditional way. Based on these bounds, other fundamental properties of the scheme are rigorously analyzed consequently. It shows that the scheme is uniquely solvable, unconditionally stable, and convergent with second-order space–time accuracy in L(L2) and L(H1) norms. The theoretical analysis adapts to both one- and multidimensional problems, and can be extended to schemes with first-order time accuracy. Numerical tests are provided to verify the theoretical results and highlight the high accuracy of the second-order space–time accurate scheme. The reasoning techniques can be extended to a broad family of discrete schemes for nonlinear problems with capacity terms.  相似文献   

18.
In this paper, a fully discrete finite element scheme with second-order temporal accuracy is proposed for a fluid-fluid interaction model, which consists of two Navier-Stokes equations coupled by a linear interface condition. The proposed fully discrete scheme is a combination of a mixed finite element approximation for spatial discretization, the second-order backward differentiation formula for temporal discretization, the second-order Gear's extrapolation approach for the interface terms and extrapolated treatments in linearization for the nonlinear terms. Moreover, the unconditional stability is established by rigorous analysis and error estimate for the fully discrete scheme is also derived. Finally, some numerical experiments are carried out to verify the theoretical results and illustrate the accuracy and efficiency of the proposed scheme.  相似文献   

19.
李丽  许传炬 《数学研究》2008,41(2):132-141
考察一类带幂次非线性项的Schrodinger方程的Dirichlet初边值问题,提出了一个有效的计算格式,其中时间方向上应用了一种守恒的二阶差分隐格式,空间方向上采用Legendre谱元法.对于时间半离散格式,证职了该格式具有能量守恒性质,并给出了L^2误差估计,对于全离散格式,应用不动点原理证明了数值解的存在唯一性,并给出了L^2误差估计.最后,通过数值试验验证了结果的可信性.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号