Infinitesimal bendings of homogeneous surfaces with nonnegative curvature (Q2386776)

In this paper, the author first proves that the graph of a homogeneous function with positive curvature almost everywhere has nontrivial infinitesimal bendings. More precisely, he proves: Theorem 1. Let \(z(x,y)\) be a homogeneous function of order \(m\) and of class \(C^1\) with \(3\leq l\leq\infty\). Let \(S\) be the graph of \(z\). Suppose that \(z(x,y)> 0\) for \((x,y)\neq 0\) and that the Gaussian curvature \(K(x,y)\) is positive almost everywhere. Then for \(l<\infty\), there exist \(U\in C^{l-2}(\mathbb{R}^2;\mathbb{R}^3)\) such that \(R_t(x,y)= (x,y,z(x,y))+ tU(x,y)\) is a nontrivial infinitesimal bending of \(S\). When \(l=\infty\), then for every \(N\in \mathbb{Z}^+\), the surface \(S\) admits a nontrivial bending field \(U\in C^N(\mathbb{R}^2;\mathbb{R}^3)\). Then the author proves: Theorem 2. Let \(S\) be a surface given as the graph of a function \(z\) satisfying \[ z(r,\theta)= r^m P(\theta),\;m^2P(\theta)^2 mP(\theta)P''(\theta)- (m-1)P'(\theta)^2> 0 \] and \(P(\theta)> 0\). Given the fields of infinitesimal bendings \(U^1_j\) and \(U^2_j\), for \(j\in \mathbb{Z}\), then for every field of infinitesimal bending \(U\) of class \(C^k\) \((k\leq l-2)\) of the surface \(S\) there exist sequences of real numbers \(A_j\) and \(B_j\) satisfying \(\lim_{j\to\infty} A_j j^k= 0\), \(\lim_{j\to\infty} B_j j^k= 0\) such that \[ U(x,y)= \sum_j A_j U^k_j(x, y)+ B_j U^2_j(x,y). \]