{"title":"Stability and uniqueness of coupled nonlinear finite element solution for anisotropic diffusion equation with nonlinear capacity term","authors":"Jun Fang, Zhijun Shen, Xia Cui","doi":"10.1016/j.cam.2025.116664","DOIUrl":null,"url":null,"abstract":"<div><div>This paper presents the stability of a two-layer coupled discretization fully implicit finite element scheme as well as the uniqueness of its solution. The scheme has been proposed for solving multi-dimensional anisotropic diffusion equations with nonlinear capacity term, and the existence and convergence of its solution have been proved in [Fang et al., J. Comput. Appl. Math. 438 (2024) 115512]. However, the basic theoretical analysis is incomplete, for example, the stability and uniqueness have not been solved yet, which are very important for the application of numerical methods in engineering. In this paper, we further develop the discrete functional analysis techniques to establish a framework with relatively comprehensive theoretical results. Wherein by introducing Ritz projection, rewriting the error equations into equivalent forms, and choosing appropriate test functions, we propose a new inductive argument to overcome the difficulties arising from the coupled nonlinear discretization of the diffusion operator and capacity term. Consequently, on the basis of the existence and convergence properties, we prove for the first time that the nonlinear finite element method is stable, thereby its solution is unique. Numerical examples show that the scheme is stable and has no numerical oscillations compared with the classical Crank–Nicolson scheme.</div></div>","PeriodicalId":50226,"journal":{"name":"Journal of Computational and Applied Mathematics","volume":"469 ","pages":"Article 116664"},"PeriodicalIF":2.6000,"publicationDate":"2025-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0377042725001785","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
This paper presents the stability of a two-layer coupled discretization fully implicit finite element scheme as well as the uniqueness of its solution. The scheme has been proposed for solving multi-dimensional anisotropic diffusion equations with nonlinear capacity term, and the existence and convergence of its solution have been proved in [Fang et al., J. Comput. Appl. Math. 438 (2024) 115512]. However, the basic theoretical analysis is incomplete, for example, the stability and uniqueness have not been solved yet, which are very important for the application of numerical methods in engineering. In this paper, we further develop the discrete functional analysis techniques to establish a framework with relatively comprehensive theoretical results. Wherein by introducing Ritz projection, rewriting the error equations into equivalent forms, and choosing appropriate test functions, we propose a new inductive argument to overcome the difficulties arising from the coupled nonlinear discretization of the diffusion operator and capacity term. Consequently, on the basis of the existence and convergence properties, we prove for the first time that the nonlinear finite element method is stable, thereby its solution is unique. Numerical examples show that the scheme is stable and has no numerical oscillations compared with the classical Crank–Nicolson scheme.
本文给出了一类两层耦合离散化全隐式有限元格式的稳定性及其解的唯一性。提出了求解具有非线性容量项的多维各向异性扩散方程的格式,并在[Fang et al., J. Comput]中证明了其解的存在性和收敛性。达成。数学学报。438(2024)115512。但是基础理论分析还不完善,如稳定性和唯一性问题还没有得到解决,这对数值方法在工程中的应用是非常重要的。在本文中,我们进一步发展离散泛函分析技术,以建立一个具有相对全面的理论结果的框架。其中通过引入Ritz投影,将误差方程改写为等价形式,并选择合适的测试函数,提出了一种新的归纳论证,克服了扩散算子和容量项非线性耦合离散化的困难。因此,在非线性有限元方法的存在性和收敛性的基础上,首次证明了非线性有限元方法是稳定的,因而其解是唯一的。数值算例表明,与经典的Crank-Nicolson格式相比,该格式是稳定的,没有数值振荡。
期刊介绍:
The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest.
The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineers.