发表机构
City University of Hong Kong（香港城市大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究解释了凯洛格网格呈径向的原因，通过证明奇异解满足的恒等式结合误差分布原理，得出目标单元密度为径向，非径向网格意味着计算未遵循系数加权局部难度。
AI 中文摘要
凯洛格棋盘界面问题是鲁棒自适应有限元方法的经典基准测试。其成功的自适应网格是径向的：尽管存在大的对比度和不对称的解，它们仍会朝向界面交叉处进行强细化，但没有角向结构。我们通过证明奇异解 $u(r,\theta)=r^\gamma\mu(\theta)$ 满足精确恒等式 $\kappa|\nabla u|^2=\Lambda r^{2\gamma-2}$ 和 $\kappa|\nabla^2 u|_F^2=2(1-\gamma)^2\Lambda r^{2\gamma-4}$ 来解释这一现象，其中 $|\cdot|_F$ 是弗罗贝尼乌斯范数， Hessian（海森矩阵）在每个象限单独计算，且 $\Lambda=\gamma^2\cos^2(\pi\gamma/4)$。关键在于消失的部分：尽管 $\kappa$ 和 $u$ 都与角度相关，但恒等式的右侧仅依赖于 $r$。这两个恒等式可延伸至整个界面，且交叉点处的单元以相同方式平衡。结合等离散误差分布原理，这些恒等式表明目标单元密度是径向的，因此正确的网格应仅显示朝向中心的细化。因此，熟悉的图像是鲁棒误差分析所基于的系数加权要求的空间结果，而非独立的经验事实。这也使得该基准测试易于直观判断：非径向的凯洛格网格是计算未遵循系数加权局部难度的明显证据。这种解读仅适用于该基准测试；对于加权难度非径向的双材料问题，同一鲁棒估计器会产生强烈的材料偏置网格。
英文摘要
Kellogg's checkerboard interface problem is a classical benchmark for robust adaptive finite element methods. Its successful adaptive meshes are radial: they refine strongly toward the interface crossing but show no angular structure, despite the large contrast and the asymmetric solution. We explain this by proving that the singular solution $u(r,θ)=r^γμ(θ)$ satisfies the exact identities $κ|\nabla u|^2=Λr^{2γ-2}$ and $κ|\nabla^2 u|_F^2=2(1-γ)^2Λr^{2γ-4}$, with $Λ=γ^2\cos^2(πγ/4)$ and the Hessian taken separately in each quadrant. The point is what has disappeared: the right-hand sides depend on $r$ alone, although $κ$ and $u$ each depend on the angle as well. Combined with equal discretization-error distribution, this shows that the target element density is radial, so a correct mesh should display nothing but refinement toward the center, and a Kellogg mesh that is not radial is visible evidence that the computation is not following the coefficient-weighted local difficulty. The reading is specific to this benchmark: on a second interface problem the same estimator correctly produces a strongly material-biased mesh, with a computed element-count ratio of $3.934$ against the predicted $4$. A byproduct gives the benchmark constants in closed form, so the problem data can be generated from $γ$ alone at any precision.
