Math 2.0

Potential theory Definition

Mutual energy

Builds on Borel measureSupport of a measureNewtonian kernelLogarithmic kernelPotential of a measureEnergy of a measure

Definition

Let n≥2n \ge 2 and let μ\mu and ν\nu be finite positive Borel measures on ℝn\R^n with compact supports. Let kk be the Newtonian kernel k(x)=∣x∣2−nk(x) = \abs{x}^{2-n} when n≥3n \ge 3, and the logarithmic kernel k(x)=log⁡(1/∣x∣)k(x) = \log(1/\abs{x}) when n=2n = 2, with k(0)=+∞k(0) = +\infty. The mutual energy of μ\mu and ν\nu is I(μ,ν)=∬k(x−y) dμ(x) dν(y)∈(−∞,+∞].I(\mu, \nu) = \iint k(x - y)\, d\mu(x)\, d\nu(y) \in (-\infty, +\infty].

Remarks

The mutual energy is symmetric, I(μ,ν)=I(ν,μ)I(\mu, \nu) = I(\nu, \mu), and I(μ,μ)I(\mu, \mu) is the energy I(μ)I(\mu). It equals ∫Uμ dν\int U^\mu \, d\nu, where UμU^\mu is the potential of μ\mu. For a signed measure λ=μ−ν\lambda = \mu - \nu with I(μ)I(\mu), I(ν)I(\nu) and I(μ,ν)I(\mu, \nu) finite, one puts I(λ)=I(μ)−2I(μ,ν)+I(ν)I(\lambda) = I(\mu) - 2 I(\mu, \nu) + I(\nu).

Example: for Dirac measures δa\delta_a and δb\delta_b with a≠ba \ne b in ℝ3\R^3, I(δa,δb)=1/∣a−b∣I(\delta_a, \delta_b) = 1/\abs{a - b}. For the uniform probability measure σ\sigma on the unit sphere in ℝ3\R^3 and δ0\delta_0, I(σ,δ0)=Uσ(0)=1I(\sigma, \delta_0) = U^\sigma(0) = 1.

Non-example: for μ=ν=δ0\mu = \nu = \delta_0, the integrand is k(0)=+∞k(0) = +\infty on the only point of the support, so I(μ,ν)=+∞I(\mu, \nu) = +\infty is not a finite mutual energy.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Borel measure concept
  2. Energy of a measure concept
  3. Logarithmic kernel concept
  4. Newtonian kernel concept
  5. Potential of a measure concept
  6. Support of a measure concept
  7. Mutual energy definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Capacity_of_a_set
About this page
Tag6R92RBM72R
URIm2://6R92RBM72R
Kinddefinition
WritingW0 stub
MSC31B15, 31A15
DefinesMutual energy
UsesBorel measure, Support of a measure, Newtonian kernel, Logarithmic kernel, Potential of a measure, Energy of a measure

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.