Analytic monotone extension in two and three dimensions (Q4344643)

Let \(f\) be an analytic monotone function on the \(p\)-skeleton of the simplicial complex \(\Omega= [0,1]^d\), \(p\leq d\), \(2\leq d\). The problem of constructing an analytic monotone extension (AME) on \(\Omega\) is considered in this paper. The article has an introduction and two sections containing theoretical results. The following theorem, proved in section 2, seems to be relevant in finding analytic extensions. Theorem. Let \(\Omega= [0,1]^2\) and let \(f\) be defined on \(\Omega^{(1)}\) with \(f(0,0)=0\), \(f(1,1)=1\), \(f(1,0)=a>0\), and \(f(0,1) =b>0\). If \(P\) is a quadratic polynomial in four variables, then \(F(x,y)= P(f(x,0)\), \(f(x,1)\), \(f(0, y)\), \(f(1,y))\) extends \(f\) to the unit square if and only if \(P(s,t,u,v) =C_0+ C_1s+ C_2t+ C_3u+ C_4v +C_5tu +C_6tv+ C_7su +C_8sv\), where the coefficients satisfy \(C_1=(1-b) (ab)^{-1} C_0 \), \(C_2= -b^{-1} C_0\), \(C_3= (1-a) (ab)^{-1} C_0\), \(C_4= -a^{-1}C_0\), \(C_5= (a-1)ab^{-2} C_0 +b^{-1}\), \(C_6= (ab)^{-1} C_0\), \(C_7= (1-a) (1-b) a^{-2} b^{-2} C_0- (ab)^{-1}\), \(C_8= (b-1) a^{-2} b^{-1} C_0+ a^{-1}\). Five ways of obtaining extensions of \(f\) to \(\Omega\) are derived from the above theorem as corollaries. Sufficient conditions to find an AME are also given in section 2. Section 3 is devoted to the case \(p=1\), \(d=3\). The main result is the following theorem. Let \(\Omega= [0,1]^3\) and \(f\) be defined on \(\Omega^{(1)}\). Suppose that \(f\) is monotone on \(\Omega^{ (1)}\), and for \(i,j \in\{0,1\}\), \(\chi_{ij}\), \(\lambda_{ij}\) and \(\xi_{ij}\) are differentiable. If there exist \(\delta>0\) and \(M< \infty\) satisfying (i) \(\delta <\tau_{ij}'<M\) whenever \(i,j\in \{0,1\}\) and \(\tau \in \{\chi, \lambda, \xi\}\) and (ii) \(\tau_{ij} -\tau_{lm} >\delta\) whenever \(i+j>l +m\) and \(\tau \in \{\chi,\lambda, \xi\}\), then there exists an AME of \(f\) to \(\Omega\).