Kansa方法

✍ dations ◷ 2025-08-06 16:01:24 #数值微分方程

20世纪90年代,E. J. Kansa将用于散乱数据处理和函数近似的径向基函数用于处理偏微分方程,并提出一种强格式的配点方法。Kansa所提出的径向基函数配点方法是真正的无网格方法,具有易于编程、数学形式简单、方便掌握等优点。该方法提出后不久,被学术界称之为Kansa方法(Kansa method)。

由于径向基函数是采用无需考虑维数的一维欧几里德距离作为变量,Kansa方法适用于高维的和形状复杂的问题。Kansa方法是一种区域型方法,不仅在边界离散使其满足边界条件,同时内部配点需要满足控制方程。

此外,还有一类以径向基函数为核函数的边界型径向基函数配点方法(Boundary-type RBF collocation method),如基本解法(英语:Method of fundamental solution)、边界节点法、奇异边界法、边界粒子法、和正则化无网格法(Regularized meshless method)等。这类方法选取的基函数(也被称为核函数),通常选取控制方程的基本解或通解,因而满足控制方程。因此只需要在边界离散满足边界条件即可。

Kansa方法选取的径向基函数不需要满足控制方程,因此选取基函数有更大的自由空间。多元二次曲面(Multiquadric, MQ)函数是Kansa方法最常用的径向基函数,如果选择了恰当的形参数可以获得谱收敛的精度。

Kansa方法,也称为改进MQ方法或MQ配点法,源于著名的MQ插值。该方法的有效性和高效性已经得到了许多问题的验证。此外,由于部分问题的基本解和通解不存在,如变系数问题和非线性问题,Kansa方法比边界型径向基函数配点方法拥有更加广阔的应用范畴。

在d维物理区域 内考虑以下边值问题,

其中代表微分算子,为问题的维数, Ω D {\displaystyle \partial \Omega _{D}} , Ω N {\displaystyle \partial \Omega _{N}} 分别代表狄利克雷边界和诺伊曼边界且 Ω D Ω N = Ω {\displaystyle \partial \Omega _{D}\cup \partial \Omega _{N}=\partial \Omega } 。Kansa方法通过径向基函数的线性组合来逼近待求的函数,即:

其中 α i {\displaystyle {{\alpha }_{i}}} 为待求参数, ϕ ( r i ) {\displaystyle \phi \left(r_{i}\right)} 代表径向基函数,如MQ函数。为确保所求函数的唯一性,在上式右端添加一组多项式:

其中 γ k ( X ) {\displaystyle {{\gamma }_{k}}(X)} 为多项式。径向基插值形式(4)和(5)都经常应用在计算中。(4)式的形式简单易于掌握且在大多数情况下都能获取较好的计算结果,因此在工程领域使用广泛;(5)式的形式严谨且理论基础坚实,所以数学工作者偏于采用后者。 将(4)式或(5)式代入方程组(1)-(3)可得以下线性方程组:

其中,

通过求解以上线性方程组,可求解待定参数 α i {\displaystyle {{\alpha }_{i}}} ,根据(4)式或(5)式即可得到待求函数。

偏微分方程的数值求解通常采用有限差分法,有限单元法或边界单元法。有限差分法通常需要规则的网格系统,难以处理不规则区域问题。比之有限差分法,有限单元法能适于处理更复杂的形状,但网格的划分及其再划分在计算时依旧不可避免。边界单元法在处理一些工程问题效果显著,比如反问题、无限域问题和薄壁结构问题。然而,边界单元法受限于控制方程的基本解难以确定,使其应用范畴受到约束。

近来几十年,由于标准有限单元法和边界单元法在处理高维、移动边界和复杂边界等问题需要耗费庞大的计算成本,无网格或无单元方法受到极多关注。Kansa方法是一种真正的无网格方法,不需要划分网格和单元而是通过径向基函数(如MQ函数)在配置的节点处满足相关条件即可。

虽然经过诸多学者的研究,但依旧缺乏对Kansa方法严谨的数学证明。另外,混合边界会破坏插值矩阵的对称性。文献提及的对称埃尔米特径向基函数插值方案(Hermite RBF collocation scheme)其可解性具有可靠的数值分析。其中,Kansa方法和对称埃尔米特方法都存在一个共同的问题,即相邻边界节点的数值解精度比内部节点低1-2个数量级。边界偏微分方程配点(The PDE collocation on the boundary, PDECB))方案可以消除这一缺陷。然而,这一方案缺乏数学上的理论支持且需要在边界附近的区域内或区域外设置一系列节点,因此在处理复杂区域或多连通问题时非常复杂。随后提出的一种相似处理方式,在相同的边界节点同时满足控制方程和边界条件,而其缺陷在于产生的插值矩阵是不对称的且方法本身同样缺乏明确的理论基础。通过使用第二格林公式,改进的Kansa方法可以弥补以上缺陷。

对于MQ函数,其插值误差取决于自身的形状参数,如何选取恰当的形状参数和关于MQ径向基函数的一些数学理论可以参见以下文献 。

Kansa方法广泛应用于计算科学。中Kansa方法用于求解椭圆型、双曲型和抛物型三类偏微分方程。Kansa近来也应用于求解各类常微分和偏微分方程,包括两相和三相混合模型的组织工程问题,冲击波下的一维非线性Burger方程,潮汐和海流模拟中的浅水方程 ,热传导方程,自由边界问题,分数阶扩散方程。

相关

  • 重商主义重商主义(英语:mercantilism)是在16世纪到18世纪之间盛行的经济理论、经济政策。重商主义是民族主义在经济上的一种形式。它的目标是最大限度的使国家富足与强盛,借由获取并留下
  • 马里博尔马里博尔(斯洛文尼亚语:Maribor;德语:Marburg an der Drau,意为“德劳河畔马尔堡”)位于斯洛文尼亚德拉瓦河畔,是该国第二大城市。该市属于南施泰尔马克,原是奥地利哈布斯堡王室领地
  • 元数学元数学(英语:Metamathematics),又译为超数学,使用数学技术来研究数学本身的一门学科。一般来说,元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说,元数学
  • 泽米泽米(Zettametre,符号Zm)是一个长度单位。1 Zm=1021米,或110,000光年。米(m) · 尧米(Ym) · 泽米(Zm) · 艾米(Em) · 拍米(Pm) · 太米(Tm) · 吉米(Gm) · 兆米(Mm) · 千米(km) · 百米(hm) ·
  • 贝宁2019冠状病毒病贝宁疫情,介绍在2019新型冠状病毒疫情中,在贝宁发生的情况。当地时间3月16日,贝宁卫生部宣布该国确诊首例新冠肺炎病例。患者是一名布基纳法索男性,49岁,2月21日离
  • 有机食物有机食品指的是由符合有机农场标准的机构生产的食品。在世界范围内,有机农场标准不一,但一般来说,有机农场致力于对资源的循环再利用,追求生态平衡,以及对生物多样性的保护。在有
  • 护法军政府护法军政府于1917年9月1日在广州建立,正式名称为中华民国军政府。1917年7月17日,中华革命党总理孙中山南下广州,举起护法的旗帜,组建南方军政府,与北洋政府对抗。护法运动期间,191
  • 得克萨斯革命得克萨斯胜利得克萨斯革命(Texas Revolution)亦称得克萨斯独立战争(Texas War of Independence),是1835年10月2日至1836年4月21日间在墨西哥和当时其属地得克萨斯之间爆发的一场
  • 喀克其奎语喀克其奎语是中部危地马拉的喀克其奎人所使用的语言,属于一种马雅语系的语言,与基切语和苏都伊语有很近的关系。
  • 布鲁斯·斯普林斯汀布鲁斯·斯普林斯汀(英语:Bruce Frederick Joseph Springsteen,1949年9月23日-),昵称 "The Boss",美国摇滚歌手、歌曲创作者与吉他手。斯普林斯汀经常与E街乐团共同创作与巡回演出,