Reverse triangle inequalities for potentials (Q2389530)

The authors study reverse triangle inequalities for the supremum of logarithmic potentials on compact sets of the plane. This research is motivated by the inequalities for products of supremum norms of polynomials. Sharp additive constants in the inequalities for potentials are found. Let \(E\subset\mathbb C\) be a compact set, cap\((E) > 0\). Suppose that \(\nu_j\), \(j= 1,\dots,m\), are positive, compactly supported Borel measures with potentials \(p_j\) such that the total mass of \(\sum_{j=1}^m\nu_j\) is equal to \(1\). Then \[ \sum_{j=1}^m\sup_{E} p_j\leq C_E + \sup_E\sum_{j=1}^m p_j,\tag{1} \] where \[ C_E := \int \log\, d_E(z)\,d\mu_E(z) - \log\text{cap}(E) \] cannot be replaced by a smaller constant; \[ \sum_{j=1}^m\sup_{E} p_j\leq C_E(m) + \sup_E\sum_{j=1}^m p_j,\tag{2} \] where \[ C_E(m) := \max_{c_k\in\partial E}\int \log\max_{1\leq k\leq m}|z-c_k|\, d\mu_E(z)-\log\text{cap}(E) \] cannot be replaced by a smaller constant for each fixed \(m\geq 2\). If \(m < \text{card}({\mathcal D}_E)\), then \(C_E(m) < C_E\), while \(C_E(m) = C_E\) for \(m\geq \text{card}({\mathcal D}_E)\). When \(\mathcal D_E\) is infinite, then \(C_E(m) < C_E\) holds for all \(m\in\mathbb N\), \(m\geq2\). Applications of these results to generalized polynomials are given. An important part of the work in the weighted case is a Riesz decomposition for the weighted farthest point distance function.