\(C^\infty \)-convergence of conformal mappings for conformally equivalent triangular lattices (Q722511)

One of the different concepts in discrete conformal maps theory admits that a complex domain is replaced by a triangulation of a connected subset of \(\mathbb C\). The present article deals with the triangulation that is a triangular lattice. Let \(T\) be a lattice triangulation of the complex plane \(\mathbb C\) with congruent triangles. The sets of vertices and edges of \(T\) are denoted by \(V\) and \(E\), respectively. Edges are written as \(e=[v_i,v_j]\in E\), where \(v_i,v_j\in V\) are its incident vertices. For triangles, the notation \(\Delta[v_j,v_j,v_k]\) is used when incident vertices are enumerated with respect to the orientation in \(\mathbb C\) and all the triangle angles are acute. A discrete conformal map \(g\) is the restriction to the vertices \(V_S\) of a continuous and orientation preserving map \(g_{PL}\) of a subcomplex \(T_S\) of a triangular lattice \(T\) to \(\mathbb C\). It is demanded that \(g_{PL}\) is locally a homeomorphism in a neighborhood of each interior point and that its restriction to every triangle is a linear map. It is assumed also that the cross-ratio \[ \text{cr}(a,b,c,d)=\frac{(a-b)(c-d)}{(b-c)(d-a)} \] with distinct \(a,b,c,d\in\mathbb C\) is preserved for all pairs of adjacent triangles: \[ |\text{cr}(v_1,v_2,v_3,v_4)|=|\text{cr}(g(v_1),g(v_2),g(v_3),g(v_4))|, \] where \(\Delta[v_1,v_2,v_3]\) and \(\Delta[v_1,v_3,v_4]\) are two adjacent triangles of the lattice with common edge \([v_1,v_3]\). Earlier, the author showed that, given a smooth conformal map \(f\), there exists a sequence of discrete conformal maps \(f^{\epsilon}\) which approximates \(f\) on a compact set. In the present article, the author improves this result and shows that the approximation in fact is \(C^{\infty}\). Moreover, as a by-product, it is described how the cross-ratios of the four vertices for pairs of incident triangles are related to the Schwarzian derivative of \(f\).