Some improvements in Neuberger's iteration procedure for solving partial differential equations

If m and n are positive integers then let S(m, n) denote the linear space over R whose elements are the real-valued symmetric n-linear functions on E_m with operations defined in the usual way. If $\text{U}$ is a function from some sphere S in E_m to R then let $\text{U}$⁽ⁱ⁾(x) denote the ith Frechet derivative of $\text{U}$ at x. In general $\text{U}$⁽ⁱ⁾(x)∈S(m,i). In the paper “An Iterative Method for Solving Nonlinear Partial Differential Equations” Advances in Math. 19 (1976), 245–265] Neuberger presents an iterative procedure for solving a partial differential equation of the form

$\text{AU}{}^{\mathrm{n}}\text{(x)=F(x, U(x), U′(x),…,U}{}^{\mathrm{k}}\text{(x))}$

, where k > n, $\text{U}$ is the unknown from some sphere in E_m to R, A is a linear functional on S(m, n), and F is analytic. The defect in the theory presented there was that in order to prove that the iterates converged to a solution $\text{U}$ the condition $\text{k ?}\text{n}\text{2}$ was needed. In this paper an iteration procedure that is a slight variation on Neuberger's procedure is considered. Although the condition $\text{k ?}\text{n}\text{2}$ cannot as yet be eliminated, it is shown that in a broad class of cases depending upon the nature of the functional A the restriction $\text{k ?}\text{n}\text{2}$ may be replaced by the restriction $\text{k ?}\text{3n}\text{4}$.