Misplaced Pages

In numerical analysis, given a square grid in two dimensions, the nine-point stencil of a point in the grid is a stencil made up of the point itself together with its eight "neighbors". It is used to write finite difference approximations to derivatives at grid points. It is an example for numerical differentiation. This stencil is often used to approximate the Laplacian of a function of two variables.

Motivation

If we discretize the 2D Laplacian by using central-difference methods, we obtain the commonly used five-point stencil, represented by the following convolution kernel:

${\displaystyle D_{CD}={\begin{bmatrix}0&1&0\\1&-4&1\\0&1&0\end{bmatrix}}}$

Even though it is simple to obtain and computationally lighter, the central difference kernel possess an undesired intrinsic anisotropic property, since it doesn't take into account the diagonal neighbours. This intrinsic anisotropy poses a problem when applied on certain numerical simulations or when more accuracy is required, by propagating the Laplacian effect faster in the coordinate axes directions and slower in the other directions, thus distorting the final result.

This drawback calls for finding better methods for discretizing the Laplacian, reducing or eliminating the anisotropy.

Implementation

The two most commonly used isotropic nine-point stencils are displayed below, in their convolution kernel forms. They can be obtained by the following formula:

${\displaystyle D=(1-\gamma ){\begin{bmatrix}0&1&0\\1&-4&1\\0&1&0\end{bmatrix}}+\gamma {\begin{bmatrix}1/2&0&1/2\\0&-2&0\\1/2&0&1/2\end{bmatrix}}}$

The first one is known by Oono-Puri, and it is obtained when γ=1/2.

${\displaystyle D_{OP}={\begin{bmatrix}1/4&2/4&1/4\\2/4&-12/4&2/4\\1/4&2/4&1/4\end{bmatrix}}={\begin{bmatrix}0.25&0.5&0.25\\0.5&-3&0.5\\0.25&0.5&0.25\end{bmatrix}}}$

The second one is known by Patra-Karttunen or Mehrstellen, and it is obtained when γ=1/3.

${\displaystyle D_{PK}={\begin{bmatrix}1/6&4/6&1/6\\4/6&-20/6&4/6\\1/6&4/6&1/6\end{bmatrix}}={\begin{bmatrix}0.16&0.66&0.16\\0.66&-3.33&0.66\\0.16&0.66&0.16\end{bmatrix}}}$

Both are isotropic forms of discrete Laplacian, and in the limit of small Δx, they all become equivalent, as Oono-Puri being described as the optimally isotropic form of discretization, displaying reduced overall error, and Patra-Karttunen having been systematically derived by imposing conditions of rotational invariance, displaying smallest error around the origin.

Desired anisotropy

On the other hand, if controlled anisotropic effects are a desired feature, when solving anisotropic diffusion problems for example, it is also possible to use the 9-point stencil combined with tensors to generate them.

Consider the laplacian in the following form:

${\displaystyle c\nabla ^{2}A=cD_{OP}*A}$

Where c is just a constant coefficient. Now if we replace c by the 2nd rank tensor C:

${\displaystyle C={\begin{bmatrix}c_{1}&0\\0&c_{2}\end{bmatrix}}}$

Where c1 is the constant coefficient for the principal direction in x axis, and c2 is the constant coefficient for the secondary direction in y axis. In order to generate anisotropic effects, c1 and c2 must be different.

By multiplying it by the rotation matrix Q, we obtain C', allowing anisotropic propagations in arbitrary directions other than the coordinate axes.

${\displaystyle Q={\begin{bmatrix}\cos \theta &\sin \theta \\-\sin \theta &\cos \theta \end{bmatrix}}}$

${\displaystyle C'=QCQ^{\operatorname {T} }}$

${\displaystyle C'={\begin{bmatrix}c_{xx}&c_{xy}\\c_{xy}&c_{yy}\end{bmatrix}}={\begin{bmatrix}c_{1}\cos ^{2}\theta +c_{2}\sin ^{2}\theta &(c_{2}-c_{1})\cos \theta \sin \theta \\(c_{2}-c_{1})\cos \theta \sin \theta &c_{2}\cos ^{2}\theta +c_{1}\sin ^{2}\theta \end{bmatrix}}}$

Which is very similar to the Cauchy stress tensor in 2 dimensions. The angle ${\displaystyle \theta }$ can be obtained by generating a vector field ${\displaystyle \mathbf {V} =V_{x}{\mathbf {i} }+V_{y}{\mathbf {j} }}$ in order to orientate the pattern as desired. Then:

${\displaystyle \theta =\arctan(V_{y}/V_{x})}$

Or, for different anisotropic effects using the same vector field

${\displaystyle \theta =\arctan(V_{y}/-V_{x})}$

It is important to note that, regardless of the values of ${\displaystyle \theta }$, the anisotropic propagation will occur parallel to the secondary direction c2 and perpendicular to the principal direction c1:. The resulting convolution kernel is as follows

${\displaystyle D_{Aniso}={\begin{bmatrix}{\frac {-c_{xy}}{2}}&c_{yy}&{\frac {c_{xy}}{2}}\\c_{xx}&-2(c_{xx}+c_{yy})&c_{xx}\\{\frac {c_{xy}}{2}}&c_{yy}&{\frac {-c_{xy}}{2}}\end{bmatrix}}}$

If, for example, c1=c2=1, the cxy component will vanish, resulting in the simple five-point stencil, rendering no controlled anisotropy.

If c2>c1 and ${\displaystyle \theta }$=0, the anisotropic effects will be more pronounced in the vertical axis.

if c2>c1 and ${\displaystyle \theta }$=45 degrees, the anisotropic effects will be more pronounced in the upper-right / lower-left diagonal.

References

1. ^ Patra, Michael; Karttunen, Mikko (2006). "Stencils with isotropic discretization error for differential operators". Numerical Methods for Partial Differential Equations. 22 (4): 3–7. doi:10.1002/num.20129. S2CID 123145969.
2. ^ Fomel, Sergey; Claerbout, Jon F. (9 October 1997). "Constructing an isotropic Laplacian operator". Exploring three-dimensional implicit wavefield extrapolation with the helix transform. Stanford Exploration Project.
3. Lindeberg, Tony. "Scale-Space for Discrete Signals" (PDF). Stockholm: Royal Institute of Technology. pp. 22–23.
4. Oono, Y.; Puri, S. (1987). "Computationally efficient modeling of ordering of quenched phases" (PDF). Physical Review Letters. 58 (8): 837. Bibcode:1987PhRvL..58..836O. doi:10.1103/PhysRevLett.58.836. PMID 10035049. 
5. Oono, Y.; Puri, S. (1988). "Study of phase-separation dynamics by use of cell dynamical systems. I. Modeling" (PDF). Physical Review A. 38 (1): 436. Bibcode:1988PhRvA..38..434O. doi:10.1103/PhysRevA.38.434. PMID 9900182. 
6. Sevink, G. J. A. (2015). "Rigorous embedding of cell dynamics simulations in the Cahn-Hilliard-Cook framework: Imposing stability and isotropy". Physical Review E. 91 (5): 4. Bibcode:2015PhRvE..91e3309S. doi:10.1103/PhysRevE.91.053309. hdl:1887/3194035. PMID 26066281. 
7. ^ "Rotation-invariant Laplacian for 2D grids". 21 March 2021.
8. ^ "Investigation of Isotropic Laplacian Operators by Computer Simulation for A-B Diblock Copolymers" (PDF). IJCSNS International Journal of Computer Science and Network Security. 18 (5): 102–103. May 2018.
9. ^ Thampi, Sumesh P.; Ansumali, Santosh; Adhikari, R.; Succi, Sauro (2013), "Isotropic discrete Laplacian operators from lattice hydrodynamics", Journal of Computational Physics, 234: 3–7, arXiv:1202.3299, Bibcode:2013JCoPh.234....1T, doi:10.1016/j.jcp.2012.07.037, S2CID 14633171
10. Lynch, Robert (7 January 1992), "Fundamental Solutions of 9-point Discrete Laplacians; Derivation and Tables", Department of Computer Science Technical Reports: 2 
11. Provatas, Nikolas; Elder, Ken (2010), Phase-Field Methods in Materials Science and Engineering (PDF), p. 219, doi:10.1002/9783527631520, ISBN 9783527631520 
12. McGinty, Bob (2012). "Coordinate Transforms". continuummechanics.org.
13. ^ Witkin, Andrew; Kass, Michael (1991), "Reaction-diffusion textures" (PDF), ACM SIGGRAPH Computer Graphics, 25 (4): 3–4, doi:10.1145/127719.122750
14. Sanderson, Allen R.; Kirby, Robert M.; Johnson, Chris R.; Yang, Lingfa (2006), "Advanced Reaction-Diffusion Models for Texture Synthesis" (PDF), Journal of Graphics Tools, 11 (3): 4, doi:10.1080/2151237X.2006.10129222, S2CID 13132043
15. Garnier, David-Henri; Schmidt, Martin-Pierre; Rohmer, Damien (2022), "Growth of oriented orthotropic structures with reaction/Diffusion", Structural and Multidisciplinary Optimization, 65 (11): 7–8, doi:10.1007/s00158-022-03395-7, S2CID 253304840

• Numerical analysis
• Mathematical physics
• Computational science
• Finite differences
• Numerical differential equations
• Mathematical analysis
• Linear operators in calculus
• Non-Newtonian calculus