For domains composed by balls in C^n, this paper studies the boundary behaviour of Cauchy type integrals with discrete holomorphic kernels and the corresponding linear singular integral equation on each piece of smoot...For domains composed by balls in C^n, this paper studies the boundary behaviour of Cauchy type integrals with discrete holomorphic kernels and the corresponding linear singular integral equation on each piece of smooth lower dimensional edges on the boundary of the domain.展开更多
This is one of our series works on discrete energy analysis of the variable-step BDF schemes.In this part,we present stability and convergence analysis of the third-order BDF(BDF3)schemes with variable steps for linea...This is one of our series works on discrete energy analysis of the variable-step BDF schemes.In this part,we present stability and convergence analysis of the third-order BDF(BDF3)schemes with variable steps for linear diffusion equations,see,e.g.,[SIAM J.Numer.Anal.,58:2294-2314]and[Math.Comp.,90:1207-1226]for our previous works on the BDF2 scheme.To this aim,we first build up a discrete gradient structure of the variable-step BDF3 formula under the condition that the adjacent step ratios are less than 1.4877,by which we can establish a discrete energy dissipation law.Mesh-robust stability and convergence analysis in the L^(2) norm are then obtained.Here the mesh robustness means that the solution errors are well controlled by the maximum time-step size but independent of the adjacent time-step ratios.We also present numerical tests to support our theoretical results.展开更多
The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistoo...The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.展开更多
In this work,we are concerned with the stability and convergence analysis of the second-order backward difference formula(BDF2)with variable steps for the molecular beam epitaxial model without slope selection.We firs...In this work,we are concerned with the stability and convergence analysis of the second-order backward difference formula(BDF2)with variable steps for the molecular beam epitaxial model without slope selection.We first show that the variable-step BDF2 scheme is convex and uniquely solvable under a weak time-step constraint.Then we show that it preserves an energy dissipation law if the adjacent time-step ratios satisfy r_(k):=τ_(k)/τ_(k-1)<3.561.Moreover,with a novel discrete orthogonal convolution kernels argument and some new estimates on the corresponding positive definite quadratic forms,the L^(2)norm stability and rigorous error estimates are established,under the same step-ratio constraint that ensures the energy stability,i.e.,0<r_(k)<3.561.This is known to be the best result in the literature.We finally adopt an adaptive time-stepping strategy to accelerate the computations of the steady state solution and confirm our theoretical findings by numerical examples.展开更多
基金Project supported by the National Science Foundation of China (10271097)
文摘For domains composed by balls in C^n, this paper studies the boundary behaviour of Cauchy type integrals with discrete holomorphic kernels and the corresponding linear singular integral equation on each piece of smooth lower dimensional edges on the boundary of the domain.
基金supported by NSF of China under grant number 12071216supported by NNW2018-ZT4A06 project+1 种基金supported by NSF of China under grant numbers 12288201youth innovation promotion association(CAS).
文摘This is one of our series works on discrete energy analysis of the variable-step BDF schemes.In this part,we present stability and convergence analysis of the third-order BDF(BDF3)schemes with variable steps for linear diffusion equations,see,e.g.,[SIAM J.Numer.Anal.,58:2294-2314]and[Math.Comp.,90:1207-1226]for our previous works on the BDF2 scheme.To this aim,we first build up a discrete gradient structure of the variable-step BDF3 formula under the condition that the adjacent step ratios are less than 1.4877,by which we can establish a discrete energy dissipation law.Mesh-robust stability and convergence analysis in the L^(2) norm are then obtained.Here the mesh robustness means that the solution errors are well controlled by the maximum time-step size but independent of the adjacent time-step ratios.We also present numerical tests to support our theoretical results.
基金Hong-Lin Liao was supported by National Natural Science Foundation of China(Grant No.12071216)Tao Tang was supported by Science Challenge Project(Grant No.TZ2018001)+3 种基金National Natural Science Foundation of China(Grants Nos.11731006 and K20911001)Tao Zhou was supported by National Natural Science Foundation of China(Grant No.12288201)Youth Innovation Promotion Association(CAS)Henan Academy of Sciences.
文摘The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.
基金supported by National Natural Science Foundation of China(Grant No.12071216)supported by National Natural Science Foundation of China(Grant No.11731006)+2 种基金the NNW2018-ZT4A06 projectsupported by National Natural Science Foundation of China(Grant Nos.11822111,11688101 and 11731006)the Science Challenge Project(Grant No.TZ2018001)。
文摘In this work,we are concerned with the stability and convergence analysis of the second-order backward difference formula(BDF2)with variable steps for the molecular beam epitaxial model without slope selection.We first show that the variable-step BDF2 scheme is convex and uniquely solvable under a weak time-step constraint.Then we show that it preserves an energy dissipation law if the adjacent time-step ratios satisfy r_(k):=τ_(k)/τ_(k-1)<3.561.Moreover,with a novel discrete orthogonal convolution kernels argument and some new estimates on the corresponding positive definite quadratic forms,the L^(2)norm stability and rigorous error estimates are established,under the same step-ratio constraint that ensures the energy stability,i.e.,0<r_(k)<3.561.This is known to be the best result in the literature.We finally adopt an adaptive time-stepping strategy to accelerate the computations of the steady state solution and confirm our theoretical findings by numerical examples.