Difference schemes with intrinsic parallelism for quasi-linear parabolic systems

The boundary value problem for quasi-linear parabolic system is solved by the finite difference method with intrinsic parallelism. The existence and uniqueness and convergence theorems of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. The limiting vector function is just the unique generalized solution of the original problem for the parabolic system. Project supported by the National Natural Science Foundation of China and the Foundation of Chinese Academy of Engineering Physics.     

UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR SEMILINEAR PARABOLIC SYSTEMS OF DIVERGENCE TYPE

The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2~(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.     

The unconditional stable and convergent difference methods with intrinsic parallelism for quasilinear parabolic systems

A kind of the general finite difference schemes with intrinsic parallelism forthe boundary value problem of the quasilinear parabolic system is studied without assum-ing heuristically that the original boundary value problem has the unique smooth vectorsolution. By the method of a priori estimation of the discrete solutions of the nonlineardifference systems, and the interpolation formulas of the various norms of the discretefunctions and the fixed-point technique in finite dimensional Euclidean space, the exis-tence and uniqueness of the discrete vector solutions of the nonlinear difference systemwith intrinsic parallelism are proved. Moreover the unconditional stability of the generalfinite difference schemes with intrinsic parallelism is justified in the sense of the continu-ous dependence of the discrete vector solution of the difference schemes on the discretedata of the original problems in the discrete w_2~(2,1) norms. Finally the convergence of thediscrete vector solutions of the certain differe     

THE UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR TWO DIMENSIONAL SEMILINEAR PARABOLIC SYSTEMS

In this paper we are going to discuss the difference schemes with intrinsic parallelism for the boundary value problem of the two dimesional semilinear parabolic systems.The unconditional stability of the general finite difference schemes with intrinsic parallelism is justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete data of the original problems in the discrete W2^(2,1) norms.Then the uniqueness of the discrete vector solution of this difference scheme follows as the consequence of the stability.     

Co-volume methods for degenerate parabolic problems

Summary A complementary volume (co-volume) technique is used to develop a physically appealing algorithm for the solution of degenerate parabolic problems, such as the Stefan problem. It is shown that, these algorithms give rise to a discrete semigroup theory that parallels the continuous problem. In particular, the discrete Stefan problem gives rise to nonlinear semigroups in both the discreteL ¹ andH ^–1 spaces.The first author was supported by a grant from the Hughes foundation, and the second author was supported by the National Science Foundation Grant No. DMS-9002768 while this work was undertaken. This work was supported by the Army Research Office and the National Science Foundation through the Center for Nonlinear Analysis.     

Unconditional stability of parallel alternating difference schemes for semilinear parabolic systems

The general alternating schemes with intrinsic parallelism for semilinear parabolic systems are studied. First we prove the a priori estimates in the discrete H¹ space of the difference solution for these schemes. Then the existence of the difference solution for these schemes follows from the fixed point principle. Finally the unconditional stability of the general alternating schemes is proved. The alternating group explicit scheme, the alternating segment explicit–implicit scheme and the alternating segment Crank–Nicolson scheme are the special cases of the general alternating schemes.     

General difference schemes with intrinsic parallelism for nonlinear parabolic systems

The boundary value problem for nonlinear parabolic system is solved by the finite difference method with intrinsic parallelism. The existence of the discrete vector solution for the general finite difference schemes with intrinsic parallelism is proved by the fixed-point technique in finite-dimensional Euclidean space. The convergence and stability theorems of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. The limitation vector function is just the unique generalized solution of the original problem for the parabolic system.     

A three-time-level explicit difference scheme of the second order of accuracy for parabolic equations

The difference schemes of Richardson [1] and of Crank-Nicolson [2] are schemes providing second-order approximation. Richardson's three-time-level difference scheme is explicit but unstable and the Crank-Nicolson two-time-level difference scheme is stable but implicit. Explicit numerical methods are preferable for parallel computations. In this paper, an explicit three-time-level difference scheme of the second order of accuracy is constructed for parabolic equations by combining Richardson's scheme with that of Crank-Nicolson. Restrictions on the time step required for the stability of the proposed difference scheme are similar to those that are necessary for the stability of the two-time-level explicit difference scheme, but the former are slightly less onerous.Translated fromMatematicheskie Zametki, Vol. 60, No. 5, pp. 751–759, November, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 95-01-00489 and by the International Science Foundation under grants No. N8Q300 and No. JBR100.     

Finite difference schemes for the fourth-order parabolic equations with different boundary value conditions

In this paper, the fourth-order parabolic equations with different boundary value conditions are studied. Six kinds of boundary value conditions are proposed. Several numerical differential formulae for the fourth-order derivative are established by the quartic interpolation polynomials and their truncation errors are given with the aid of the Taylor expansion with the integral remainders. Effective difference schemes are presented for the third Dirichlet boundary value problem, the first Neumann boundary value problem and the third Neumann boundary value problem, respectively. Some new embedding inequalities on the discrete function spaces are presented and proved. With the method of energy analysis, the unique solvability, unconditional stability and unconditional convergence of the difference schemes are proved. The convergence orders of derived difference schemes are all O(τ² + h²) in appropriate norms. Finally, some numerical examples are provided to confirm the theoretical results.     

STABILITY OF DIFFERENCE SCHEMES FOR NONLINEAR PARABOLIC SYSTEMS WITH THREE DIMENSIONS

1.Introduction1).Inthepresentworkwearegoingtostudythedeferenceschemesfortheboundaryvalueproblemofthenonlinearparabolicsystemsofpartialdifferentialequationswithtwoandthreespacedimensions.Inthecaseofthreespacedimension,thenonlinearparabolicsystemisoftheformat~A(x,y,z,t,u,aamactu.)(u.. aam u..) f(x,y,z,t,aliojac,u.),(1)whereu=(altuZI',urn)istheunknownm-dimensionalvectorfunction(m3l),A(x,yiitt,u,PI,pz,ps)isagivenmXmmatrixfunction,f(x,y,itt,utpl,p2,p3)isthegivenmdimensionalvectorfunctionandalso…     

A nonconforming finite element method for a two-dimensional curl–curl and grad-div problem

A numerical method for a two-dimensional curl–curl and grad-div problem is studied in this paper. It is based on a discretization using weakly continuous P ₁ vector fields and includes two consistency terms involving the jumps of the vector fields across element boundaries. Optimal convergence rates (up to an arbitrary positive ) in both the energy norm and the L ₂ norm are established on graded meshes. The theoretical results are confirmed by numerical experiments. The work of the first author was supported in part by the National Science Foundation under Grant No. DMS-03-11790 and by the Humboldt Foundation through her Humboldt Research Award. The work of the third author was supported in part by the National Science Foundation under Grant No. DMS-06-52481.     

Superconvergence of tricubic block finite elements

In this paper, we first introduce interpolation operator of projection type in three dimen- sions, from which we derive weak estimates for tricubic block finite elements. Then using the estimate for the W 2, 1-seminorm of the discrete derivative Green’s function and the weak estimates, we show that the tricubic block finite element solution uh and the tricubic interpolant of projection type Πh3u have superclose gradient in the pointwise sense of the L∞-norm. Finally, this supercloseness is applied to superc...     

A pathwise solution for nonlinear parabolic equations with stochastic perturbations

We analyse here a semilinear stochastic partial differential equation of parabolic type where the diffusion vector fields are depending on both the unknown function and its gradient ∂ _xu with respect to the state variable, ∈ ℝⁿ. A local solution is constructed by reducing the original equation to a nonlinear parabolic one without stochastic perturbations and it is based on a finite dimensional Lie algebra generated by the given diffusion vector fields.     

THE UNCONDITIONAL CONVERGENT DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR QUASILINEAR PARABOLIC SYSTEMS WITH TWO DIMENSIONS

In the present work we are going to solve the boundary value problem for the quasilinear parabolic systems of partial differential equations with two space dimensions by the finite difference method with intrinsic parallelism.Some fundamental behaviors of general finite difference schemes with intrinsic parallelism for the mentioned problems are studied.By the method of a priori estimation of the discrete solutions of the nonlinear difference systems,and the interpolation formulas of the various norms of the discrete functions and the fixed-point technique in finite dimensional Euclidean space,the existennce of the discrete vector solutions of the nonliear difference system with intrinsic parallelism are proved .Moreover the convergence of the discrete vector solutions of these difference schemes to the unique generalizd solution of the original quasilinear parabolic problem is proved.     

Difference Schemes with Nonuniform Meshes for Nonlinear Parabolic System

1.Introduction1.Fromtheverybeginningofsixtiestothelateeighties,therearemanywerkscontributedtothestudiesoftheboundaryproblemsandinitialvalueproblemsfortheordinarydifferentialequationsbythemethodofdifferenceschemeswithnonuniform.eshesl1-4l.Butitisextremelyrareontheworksconcerningtotheanalysisoffinitedifferenceschemeswithnonuniformmeshesfortheproblemsofpartialdifferentialequations.Byusingofthedifferenceschemeswithnonuniformmeshesapprotimationfortheproblemsofpartialdifferentialequationsthereareman…     

Gabor systems on discrete periodic sets

Due to its good potential for digital signal processing, discrete Gabor analysis has interested some mathematicians. This paper addresses Gabor systems on discrete periodic sets, which can model signals to appear periodically but intermittently. Complete Gabor systems and Gabor frames on discrete periodic sets are characterized; a sufficient and necessary condition on what periodic sets admit complete Gabor systems is obtained; this condition is also proved to be sufficient and necessary for the existence of sets E such that the Gabor systems generated by χ _E are tight frames on these periodic sets; our proof is constructive, and all tight frames of the above form with a special frame bound can be obtained by our method; periodic sets admitting Gabor Riesz bases are characterized; some examples are also provided to illustrate the general theory. This work was supported by National Natural Science Foundation of China (Grant No. 10671008), Beijing Natural Science Foundation (Grant No. 1092001), PHR (IHLB) and the project sponsored by SRF for ROCS, SEM of China     

The unconditional stability and mass‐preserving S‐DDM scheme for solving parabolic equations in three dimensions

In this paper, the unconditional stability and mass‐preserving splitting domain decomposition method (S‐DDM) for solving three‐dimensional parabolic equations is analyzed. At each time step level, three steps (x‐direction, y‐direction, and z‐direction) are proposed to compute the solutions on each sub‐domains. The interface fluxes are first predicted by the semi‐implicit flux schemes. Second, the interior solutions and fluxes are computed by the splitting implicit solution and flux coupled schemes. Last, we recompute the interface fluxes by the explicit schemes. Due to the introduced z‐directional splitting and domain decomposition, the analysis of stability and convergence is scarcely evident and quite difficult. By some mathematical technique and auxiliary lemmas, we prove strictly our scheme meet unconditional stability and give the error estimates in L²‐norm. Numerical experiments are presented to illustrate the theoretical analysis.     

Finite difference method of first boundary problem for quasilinear parabolic systems (V)

Iterative difference schemes for the first boundary problem of the quasilinear parabolic system are established and the convergence of the difference solution for the iterative difference schemes to the unique solution of the problem is proved. Project supported by the National Natural Science Foundation of China and the Foundation of CAEP.     

Richardson extrapolation and defect correction of mixed finite element methods for integro-differential equations in porous media

Asymptotic error expansions in the sense of L ^∞-norm for the Raviart-Thomas mixed finite element approximation by the lowest-order rectangular element associated with a class of parabolic integro-differential equations on a rectangular domain are derived, such that the Richardson extrapolation of two different schemes and an interpolation defect correction can be applied to increase the accuracy of the approximations for both the vector field and the scalar field by the aid of an interpolation postprocessing technique, and the key point in deriving them is the establishment of the error estimates for the mixed regularized Green’s functions with memory terms presented in R. Ewing at al., Int. J. Numer. Anal. Model 2 (2005), 301–328. As a result of all these higher order numerical approximations, they can be used to generate a posteriori error estimators for this mixed finite element approximation. This project was supported in part by the Special Funds for Major State Basic Research Project (2007CB8149), the National Natural Science Foundation of China (10471103 and 10771158), the Social Science Foundation of the Ministry of Education of China (Numerical methods for convertible bonds, 06JA630047), the NSERC, Tianjin Natural Science Foundation (07JCYBJC14300), and Tianjin University of Finance and Economics.     

A Symmetric Characteristic Finite Volume Element Scheme for Nonlinear Convection-Diffusion Problems

In this paper, we implement alternating direction strategy and construct a symmetric FVE scheme for nonlinear convection-diffusion problems. Comparing to general FVE methods, our method has two advantages. First, the coefficient matrices of the discrete schemes will be symmetric even for nonlinear problems. Second, since the solution of the algebraic equations at each time step can be inverted into the solution of several one-dimensional problems, the amount of computation work is smaller. We prove the optimal H1-norm error estimates of order O（△t2 ＋ h） and present some numerical examples at the end of the paper.