In potential theory and optimization, polarization constants (also known as Chebyshev constants) are solutions to a max-min problem for potentials. Originally, these problems were introduced by a Japanese mathematician Makoto Ohtsuka. Recently these problems got some attention as they can help to generate random points on smooth manifolds (in particular, unit sphere) with prescribed probability density function. The problem of finding the polarization constant is connected to the problem of energy minimization and, in particular to the Thomson problem.
Practical motivation From the practical point of view, these problems can be used to answer the following question: if K ( x , x j ) {\displaystyle K(x,x_{j})} denotes the amount of a substance received at x {\displaystyle x} due to an injector of the substance located at x j {\displaystyle x_{j}} , what is the smallest number of like injectors and their optimal locations on A {\displaystyle A} so that a prescribed minimal amount of the substance reaches every point of A {\displaystyle A} ? For example, one can relate this question to treating tumors with radioactive seeds.
Formal Definition More precisely, for a compact set A {\displaystyle A} and kernel K : A × A → R ∪ { + ∞ } {\displaystyle K:A\times A\to \mathbb {R} \cup \{+\infty \}} , the discrete polarization problem is the following: determine N {\displaystyle N} -point configurations { x j } j = 1 N {\displaystyle \{x_{j}\}_{j=1}^{N}} on A {\displaystyle A} so that the minimum of ∑ j = 1 N K ( x , x j ) {\displaystyle \sum _{j=1}^{N}K(x,x_{j})} for x ∈ A {\displaystyle x\in A} is as large as possible.
Classical kernels The Chebyshev nomenclature for this max-min problem emanates from the case when K {\displaystyle K} is the logarithmic kernel, K ( x , y ) = log | x − y | − 1 , {\displaystyle K(x,y)=\log |x-y|^{-1},} for when A {\displaystyle A} is a subset of the complex plane, the problem is equivalent to finding the constrained N {\displaystyle N} -th degree Chebyshev polynomial for A {\displaystyle A} ; that is, the monic polynomial in the complex variable z {\displaystyle z} with all its zeros on A {\displaystyle A} having minimal uniform norm on A {\displaystyle A} . If A {\displaystyle A} is the unit circle in the plane and K ( x , y ) = | x − y | − s {\displaystyle K(x,y)=|x-y|^{-s}} , s > 0 {\displaystyle s>0} (i.e., kernel of a Riesz potential), then N {\displaystyle N} equally spaced points on the circle solve the N {\displaystyle N} point polarization problem.
References
