Recent progress in polyhedral harmonics
type: Item
instance of: scholarly article
title: Recent progress in polyhedral harmonics
zbMATH Open document ID: 0956.31003
DOI: 10.1023/A:1006468606519
author: Katsunori Iwasaki
published in: Acta Applicandae Mathematicae
publication date: 2001-03-12T00:00:00Z
review text: Let \(\Omega\subset\mathbb{R}^n\) be a domain and \(\mu\) a probability measure with compact support \(K\subset\mathbb{R}^n\). A continuous function \(f:\Omega \to\mathbb{R}\) is said to have the \(\mu\)-mean value property if \(f\) satisfies, \[ f(x) :=\int_K f(x+ry)d \mu(y),\quad \forall x\in\Omega \text{ and }0<r<r_x, \tag{1} \] where \(r_x\) is a sufficiently small constant such that \((x+rK)\subset \Omega\) for each \(r\). Flatto and Friedman-Littman raised the problem of characterising the class of such functions \(f\), which will be denoted in the sequel by \(H_\mu(\Omega)\). The paper under review begins with some historical remarks, in which results given by Friedman-Littman are stated in Section 2. In the remaining Sections 3 to 7 the author provides a survey of works concerning the case where \(K\) is a polytope in \(\mathbb{R}^n\), focusing on the recent contributions to the subject given by himself. A closed convex polytope is a finite intersection of closed half-planes in \(\mathbb{R}^n\) which is bounded and has non-empty interior. By definition an \(n\)-dimensional polytope \(P\) is a finite union of closed convex polytopes. Note that such a set may be neither convex nor connected. For \(d=0,1,\dots,n\) let \(P(d)\) be the \(d\)-skeleton of \(P\), i.e., the union of all its faces of dimension \(<d\) and let, \[ m_d:= {1\over\bigl|P(d)\bigr|} \mu_d, \tag{2} \] where \(\mu_d\) is the Euclidean measure on \(P(d)\) with total mass denoted by \(|P(d)|\). Let \(H_{P(d)} (\Omega)\) be the class of all continuous functions in \(\Omega\) which satisfies the \(m_d\)-mean value property \((=P(d)\)-mean value property). The author discusses in Section 3 the following fundamental results due to himself: (i) The restriction map \(H_{P(d)} (\mathbb{R}^n)\to H_{P(d)} (\Omega)\) is an isomorphism and hence \(H_{P(d)}(\Omega)\) is independent of the domain of definition \(\Omega\). (ii) \(H_{P(d)} (\Omega)\) is a finite-dimensional linear space of polynomials. (iii) A…
reviewed by: Xuan Loc Nguyen
Mathematics Subject Classification ID: 31B05
Mathematics Subject Classification ID: 52B11
Mathematics Subject Classification ID: 20F55
Mathematics Subject Classification ID: 31-02
zbMATH DE Number: 1506491
zbMATH Keywords: polyhedral harmonics
zbMATH Keywords: mean value property
zbMATH Keywords: \(n\)-dimensional polytope
zbMATH Keywords: closed convex polytope
zbMATH Keywords: polynomials
zbMATH Keywords: polytopes with symmetry
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1506491