Inner Riesz pseudo-balayage and its applications to minimum energy problems with external fields

TL;DR

This paper introduces the inner pseudo-balayage for Riesz kernels, a novel measure-theoretic tool, and demonstrates its effectiveness in solving minimum energy problems with external fields, extending classical balayage concepts.

Contribution

The paper defines the inner pseudo-balayage for general measures and sets, proving its existence and properties, and applies it to improve and extend solutions to minimum energy problems.

Findings

Inner pseudo-balayage exists for general measures and sets.

It can increase the total mass of measures, unlike classical balayage.

It provides a new approach to solve minimum energy problems with external fields.

Abstract

For the Riesz kernel $\kappa_\alpha(x,y):=|x-y|^{\alpha-n}$, $0<\alpha<n$, on $\mathbb R^n$, $n\geqslant2$, we introduce the inner pseudo-balayage $\hat{\omega}^A$ of a (Radon) measure $\omega$ on $\mathbb R^n$ to a set $A\subset\mathbb R^n$ as the (unique) measure minimizing the Gauss functional \[\int\kappa_\alpha(x,y)\,d(\mu\otimes\mu)(x,y)-2\int\kappa_\alpha(x,y)\,d(\omega\otimes\mu)(x,y)\] over the class $\mathcal E^+(A)$ of all positive measures $\mu$ of finite energy, concentrated on $A$. For quite general signed $\omega$ (not necessarily of finite energy) and $A$ (not necessarily closed), such $\hat{\omega}^A$ does exist, and it maintains the basic features of inner balayage for positive measures (defined when $\alpha\leqslant2$), except for those implied by the domination principle. (To illustrate the latter, we point out that, in contrast to what occurs for the balayage, the inner pseudo-balayage of a positive measure may increase its total mass.) The inner pseudo-balayage $\hat{\omega}^A$ is further shown to be a powerful tool in the problem of minimizing the Gauss functional over all $\mu\in\mathcal E^+(A)$ with $\mu(\mathbb R^n)=1$, which enables us to improve substantially many recent results on this topic, by strengthening their formulations and/or by extending the areas of their applications. For instance, if $A$ is a quasiclosed set of nonzero inner capacity $c_*(A)$, and if $\omega$ is a signed measure, compactly supported in $\mathbb R^n\setminus{\rm Cl}_{\mathbb R^n}A$, then the problem in question is solvable if and only if either $c_*(A)<\infty$, or $\hat{\omega}^A(\mathbb R^n)\geqslant1$.