Number the interior grid vertices in any order. The diagonal of is , and off-diagonal weights are for axial neighbors and for diagonal neighbors. Each link weight is symmetric, so is symmetric. Extend the interior grid values by zero to the boundary. Since the eight stencil weights sum to , grouping links gives
where or and each interior link is counted once. Every term is nonnegative. If the quadratic form vanishes, neighboring interior values agree, and every vertex linked to the boundary has value zero. The axial-link grid is connected and reaches the boundary, so all values are zero. Thus . Reordering vertices replaces by for a permutation matrix , preserving both properties.

Articles by others on the same topic (0)

There are currently no matching articles.