MFEM中指定Dirichlet边界条件的正确方法

概述

在使用MFEM进行有限元计算时，正确设置边界条件是关键步骤之一。本文将详细介绍如何在MFEM中为混合有限元问题指定不同的Dirichlet边界条件，特别是当需要为不同变量(如速度和压力)设置不同边界条件时的处理方法。

边界标记数组的创建

在MFEM中，边界条件是通过边界标记数组(boundary marker arrays)来指定的。这些数组的每个元素对应一个边界属性(attribute)，其中1表示该边界属性将被应用边界条件，0表示不应用。

// 创建边界标记数组
Array<int> dbc_bdr_dir(pmesh->bdr_attributes.Max());
dbc_bdr_dir = 0;  // 初始化为0
dbc_bdr_dir[0] = 1; // 标记属性1的边界
dbc_bdr_dir[2] = 1; // 标记属性3的边界

需要注意的是，数组索引与边界属性的对应关系是：dbc_bdr_dir[i]对应边界属性i+1。

混合问题的边界条件设置

对于混合问题(如Stokes问题)，通常需要为不同变量设置不同的边界条件。这时需要创建多个边界标记数组：

// 为速度变量设置边界条件
Array<int> dbc_bdr_dir_primal(pmesh->bdr_attributes.Max());
dbc_bdr_dir_primal = 0;
dbc_bdr_dir_primal[0] = 1; // 属性1
dbc_bdr_dir_primal[1] = 1; // 属性2
dbc_bdr_dir_primal[3] = 1; // 属性4

// 为压力变量设置边界条件
Array<int> dbc_bdr_dir_dual(pmesh->bdr_attributes.Max());
dbc_bdr_dir_dual = 0;
dbc_bdr_dir_dual[1] = 1; // 属性2
dbc_bdr_dir_dual[2] = 1; // 属性3
dbc_bdr_dir_dual[3] = 1; // 属性4

获取本质自由度列表

设置好边界标记数组后，可以通过有限元空间对象获取本质自由度列表：

Array<int> u_ess_tdof_list;
Array<int> p_ess_tdof_list;

// 获取速度变量的本质自由度
ufespace->GetEssentialTrueDofs(dbc_bdr_dir_primal, u_ess_tdof_list);

// 获取压力变量的本质自由度
pfespace->GetEssentialTrueDofs(dbc_bdr_dir_dual, p_ess_tdof_list);

在混合形式中的应用

获取本质自由度列表后，可以在构建混合系统矩阵时使用它们：

// 构建系统矩阵
mVarf->FormSystemMatrix(u_ess_tdof_list, A);  // 速度块
bVarf->FormRectangularSystemMatrix(u_ess_tdof_list, p_ess_tdof_list, B);  // 耦合块
pVarf->FormSystemMatrix(p_ess_tdof_list, C);  // 压力块

网格文件中的边界属性

在MFEM的网格文件中，边界元素的第一个数字表示边界属性。例如：

boundary
12
3 2 0 3 7  // 属性3的边界
1 2 0 1 3  // 属性1的边界
2 2 4 5 7  // 属性2的边界

要标记属性2的边界，应该设置dbc_bdr_dir[1] = 1。

常见错误与注意事项

1. 数组索引与边界属性的对应关系容易混淆，记住dbc_bdr_dir[i]对应属性i+1
2. 在调用GetEssentialTrueDofs时，参数顺序很重要，第一个参数是边界标记数组，第二个是输出数组
3. 对于混合问题，确保为不同变量创建独立的边界标记数组
4. 在构建系统矩阵时，正确传递相应的本质自由度列表

通过正确设置这些边界条件，可以确保MFEM计算得到符合物理意义的数值解。