Representation and uniqueness theorems for polyharmonic functions
type: Item
instance of: scholarly article
title: Representation and uniqueness theorems for polyharmonic functions
zbMATH Open document ID: 0793.31002
DOI: 10.1007/BF03341969
published in: Journal d'Analyse Mathématique
publication date: 1994-04-18T00:00:00Z
review text: The main results are a representation formula for functions of class \(C^{2m}\) on the open ball \(B(r)\) of centre 0 and radius \(r\) in \(\mathbb{R}^ n\) and a uniqueness theorem for polyharmonic functions vanishing on certain sets. The representation formula, which we now describe, generalizes the Poisson-Jensen formula for functions of class \(C^ 2(B(r))\). Suppose that \(v\in C^{2m} (B(r))\) and that \(v\) is continuous on \(\overline{B(r)}\). Under an integrability hypothesis on the iterated Laplacians \(\Delta^ j v\) \((1\leq j\leq m)\), it is shown that \(v\) has the form \[ v(x)= \sum_{j=0}^{m-1} U_ j(x) (r^ 2- \| x\|^ 2)^ j+ R_ m(x). \] The functions \(U_ j\) are harmonic on \(B(r)\); in fact \(U_ 0\) is the Poisson integral of \(v\) and \[ U_ j(x)= \int_{B(r)} K_{j,n} (x,\xi; r)\Delta^ j v(\xi) d\xi \quad \text{for} \quad 1\leq j\leq m-1, \] where the kernels \(K_{j,n}\) are given explicitly. The function \(R_ m\) is given by \[ R_ m(x)= \int_{B(r)} G_{m,n} (x,\xi;r) \Delta^ m v(\xi) d\xi, \] where \(G_ m\) is expressed explicitly and is shown to be the Green's function for \(\Delta^ m\) in \(B(r)\) for the boundary conditions \((\partial/ \partial\nu)^ j v=0\) \((0\leq j\leq m-1)\). If \(\Delta^ m v\equiv 0\) on \(B(r)\), then \(R_ m\equiv 0\), so that the above representation formula has Almansi's classical representation of polyharmonic functions in terms of harmonic functions as a corollary. The uniqueness result is as follows. Suppose that \(D\) is a domain, that \(B_ j\) \((1\leq j\leq m-1)\) are distinct balls and that \(B_ m\) is a bounded open set such that \(\overline{B}_ j \subset D\) \((1\leq j\leq m)\). Let \(S_ j= \partial B_ j\) and assume that \(S_ m\setminus (\bigcup_{j=1}^{m-1} S_ j)\) is dense in \(S_ m\). If \(u\) is \(m\)- harmonic on \(D\) and \(u=0\) on \(\bigcup_{j=1}^ m S_ j\), then \(u\equiv 0\). It is shown, at least in the plane, that the conclusion fails if \(m\geq 2\) and only \(m-2\) of the \(B_ j\) are balls. It remains an …
Mathematics Subject Classification ID: 31B30
zbMATH DE Number: 528690
zbMATH Keywords: representation formula for functions of class \(C^{2m}\)
zbMATH Keywords: uniqueness theorem for polyharmonic functions
author: Walter K. Hayman
author: Boris Korenblum
reviewed by: D. H. Armitage
MaRDI profile type: Publication
cites work: Q3818552
cites work: Integraldarstellung einerm-polyharmonischen Funktion, deren Funktionswerte und erstem-1 Normalableitungen auf einer Hypersphäre gegeben sind
cites work: A partial differential equation arising in conformal mapping
cites work: Q3852455
cites work: Q3677979
cites work: Q5510566
cites work: An Access Theorem for Analytic Functions
cites work: The measure of the critical values of differentiable maps
cites work: Q3681115
description: scientific article; zbMATH DE number 528690