{"title":"一类稳定且保结构的Fisher-Kolmogorov-Petrovsky-Piscounov方程有限差分方法的分析","authors":"Dingwen Deng, Yuxin Liang","doi":"10.1016/j.camwa.2025.02.009","DOIUrl":null,"url":null,"abstract":"<div><div>In this study, using implicit Euler method and second-order centered difference methods to approximate the first-order temporal and second-order spatial derivatives, respectively, introducing a stabilized term and applying <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo><mo>−</mo><msup><mrow><mo>[</mo><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo><mo>]</mo></mrow><mrow><mi>p</mi></mrow></msup><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> to approximate the nonlinear term <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>−</mo><msup><mrow><mo>[</mo><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>]</mo></mrow><mrow><mi>p</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> at <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>, a class of stabilized, non-negativity- and boundedness-preserving finite difference methods (FDMs) are derived for Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP) equation. Here, <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span> denotes the exact solution of the original problem at <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>. In comparison with the existent maximum-principle-satisfying FDMs, our methods can further preserve the energy-dissipation property of the continuous problem with <span><math><mi>p</mi><mo>=</mo><mn>1</mn></math></span> or <span><math><mi>p</mi><mo>=</mo><mn>2</mn></math></span>, and homogeneous Dirichlet boundary conditions. What's more, our methods can unconditionally inherit these properties as the coefficient of the stabilized term satisfies certain requirement. Secondly, as the proposed methods are applied to solve Allen-Cahn equation, the obtained solutions can unconditionally inherit the maximum value principle and energy-dissipation property of the Allen-Cahn equations as long as the coefficient of the stabilized term satisfies certain condition. Thirdly, error estimations in maximum norm are derived by using the energy method combined with the boundedness of the exact and numerical solutions. Finally, numerical results confirm the correctness of theoretical findings.</div></div>","PeriodicalId":55218,"journal":{"name":"Computers & Mathematics with Applications","volume":"184 ","pages":"Pages 86-106"},"PeriodicalIF":2.5000,"publicationDate":"2025-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Analysis of a class of stabilized and structure-preserving finite difference methods for Fisher-Kolmogorov-Petrovsky-Piscounov equation\",\"authors\":\"Dingwen Deng, Yuxin Liang\",\"doi\":\"10.1016/j.camwa.2025.02.009\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In this study, using implicit Euler method and second-order centered difference methods to approximate the first-order temporal and second-order spatial derivatives, respectively, introducing a stabilized term and applying <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo><mo>−</mo><msup><mrow><mo>[</mo><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo><mo>]</mo></mrow><mrow><mi>p</mi></mrow></msup><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> to approximate the nonlinear term <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>−</mo><msup><mrow><mo>[</mo><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>]</mo></mrow><mrow><mi>p</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> at <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>, a class of stabilized, non-negativity- and boundedness-preserving finite difference methods (FDMs) are derived for Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP) equation. Here, <span><math><mi>u</mi><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span> denotes the exact solution of the original problem at <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>. In comparison with the existent maximum-principle-satisfying FDMs, our methods can further preserve the energy-dissipation property of the continuous problem with <span><math><mi>p</mi><mo>=</mo><mn>1</mn></math></span> or <span><math><mi>p</mi><mo>=</mo><mn>2</mn></math></span>, and homogeneous Dirichlet boundary conditions. What's more, our methods can unconditionally inherit these properties as the coefficient of the stabilized term satisfies certain requirement. Secondly, as the proposed methods are applied to solve Allen-Cahn equation, the obtained solutions can unconditionally inherit the maximum value principle and energy-dissipation property of the Allen-Cahn equations as long as the coefficient of the stabilized term satisfies certain condition. Thirdly, error estimations in maximum norm are derived by using the energy method combined with the boundedness of the exact and numerical solutions. Finally, numerical results confirm the correctness of theoretical findings.</div></div>\",\"PeriodicalId\":55218,\"journal\":{\"name\":\"Computers & Mathematics with Applications\",\"volume\":\"184 \",\"pages\":\"Pages 86-106\"},\"PeriodicalIF\":2.5000,\"publicationDate\":\"2025-04-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computers & Mathematics with Applications\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0898122125000628\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/2/21 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computers & Mathematics with Applications","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0898122125000628","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/2/21 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
摘要
本文分别利用隐式欧拉法和二阶中心差分法近似一阶时间导数和二阶空间导数,引入稳定项,并应用u(xi,yj,tk) - [u(xi,yj,tk)]pu(xi,yj,tk+1)近似非线性项u(xi,yj,tk+1) - [u(xi,yj,tk+1)]p+1 at (xi,yj,tk+1),一类稳定的,导出了Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP)方程的非负性保持和有界保持有限差分方法。这里,u(xi,yj,tk)表示原问题在(xi,yj,tk)处的精确解。与已有的满足最大原理的fdm相比,我们的方法进一步保持了p=1或p=2连续问题和齐次Dirichlet边界条件下的能量耗散特性。而且,只要稳定项的系数满足一定的要求,我们的方法就可以无条件地继承这些性质。其次,将所提出的方法应用于求解Allen-Cahn方程时,只要稳定项的系数满足一定条件,所得到的解就能无条件地继承Allen-Cahn方程的最大值原理和能量耗散特性。第三,利用能量法结合精确解和数值解的有界性,导出了最大范数的误差估计。最后,数值结果证实了理论结果的正确性。
Analysis of a class of stabilized and structure-preserving finite difference methods for Fisher-Kolmogorov-Petrovsky-Piscounov equation
In this study, using implicit Euler method and second-order centered difference methods to approximate the first-order temporal and second-order spatial derivatives, respectively, introducing a stabilized term and applying to approximate the nonlinear term at , a class of stabilized, non-negativity- and boundedness-preserving finite difference methods (FDMs) are derived for Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP) equation. Here, denotes the exact solution of the original problem at . In comparison with the existent maximum-principle-satisfying FDMs, our methods can further preserve the energy-dissipation property of the continuous problem with or , and homogeneous Dirichlet boundary conditions. What's more, our methods can unconditionally inherit these properties as the coefficient of the stabilized term satisfies certain requirement. Secondly, as the proposed methods are applied to solve Allen-Cahn equation, the obtained solutions can unconditionally inherit the maximum value principle and energy-dissipation property of the Allen-Cahn equations as long as the coefficient of the stabilized term satisfies certain condition. Thirdly, error estimations in maximum norm are derived by using the energy method combined with the boundedness of the exact and numerical solutions. Finally, numerical results confirm the correctness of theoretical findings.
期刊介绍:
Computers & Mathematics with Applications provides a medium of exchange for those engaged in fields contributing to building successful simulations for science and engineering using Partial Differential Equations (PDEs).