{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 2$, let $\\Omega \\subseteq \\R^n$ be a bounded domain, and for $x \\in \\Omega$ let $\\omega^x$ be the [[harmonic measure|CFD7BPM51W]] of $\\Omega$ at $x$.\nLet $x, y \\in \\Omega$.\nThen there is a constant $C \\ge 1$, depending only on $x$, $y$ and $\\Omega$, such that\n$$C^{-1}\\, \\omega^y(E) \\le \\omega^x(E) \\le C\\, \\omega^y(E) \\qquad \\text{for every Borel set } E \\subseteq \\partial\\Omega.$$\nIn particular $\\omega^x$ and $\\omega^y$ are mutually [[absolutely continuous|P0P21KDV6E]].\n\n## Remarks\n\nHere $\\omega^x(E)$ is the value at $x$ of the [[Perron–Wiener–Brelot solution|R12KQGVGN6]] of the Dirichlet problem with boundary data the indicator function of $E$.\nIdea of the proof: for a fixed Borel set $E$, the function $z \\mapsto \\omega^z(E)$ is harmonic on $\\Omega$ with values in $[0, 1]$.\nJoin $x$ to $y$ by a path in $\\Omega$ and cover it by finitely many balls whose doubles lie in $\\Omega$.\n[[Harnack's inequality|YNH832D50W]] on each ball compares the values of a nonnegative harmonic function at nearby points.\nThe chain of balls then gives a constant $C$ that does not depend on $E$.\nExample: for the unit disc, $d\\omega^z = \\frac{1 - \\abs{z}^2}{\\abs{e^{i\\theta} - z}^2} \\frac{d\\theta}{2\\pi}$.\nWith $y = 0$ and $\\abs{x} = r$, the density lies between $\\frac{1 - r}{1 + r}$ and $\\frac{1 + r}{1 - r}$, so one can take $C = \\frac{1 + r}{1 - r}$.\nConnectedness is needed: on a disjoint union of two discs, the harmonic measures at points of different discs are carried by disjoint circles.\n\n## Explanations\n\n### L1 human\n\nHarmonic measure at $x$ records where a random path from $x$ leaves the domain.\nStarting from a different point changes the probabilities, but only by a bounded factor.\nSo the sets that are never hit are the same for every starting point.\n\n### L2 human\n\nBecause of this result one speaks of sets of harmonic measure zero without naming the starting point.\nThis is how the class of null sets of harmonic measure enters statements such as Fatou-type theorems, Dahlberg's theorem and Makarov's theorem.\nThe constant $C$ blows up as $x$ or $y$ approaches the boundary, which is why boundary estimates need finer tools such as the boundary Harnack principle.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "CFD7BPM51W"
    ],
    "kind": "statement",
    "msc": [
      "31B15",
      "31A15"
    ],
    "name": "Mutual absolute continuity of harmonic measures",
    "role": "proposition",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Harmonic_measure"
      }
    ],
    "tag": "89CHZ3ZMCH",
    "uses": [
      "CFD7BPM51W",
      "YNH832D50W",
      "P0P21KDV6E",
      "R12KQGVGN6"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/89CHZ3ZMCH/",
  "links": [
    {
      "field": "about",
      "target": "CFD7BPM51W"
    },
    {
      "field": "uses",
      "target": "CFD7BPM51W"
    },
    {
      "field": "uses",
      "target": "YNH832D50W"
    },
    {
      "field": "uses",
      "target": "P0P21KDV6E"
    },
    {
      "field": "uses",
      "target": "R12KQGVGN6"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/89CHZ3ZMCH.md",
  "msc": [
    "31B15",
    "31A15"
  ],
  "name": "Mutual absolute continuity of harmonic measures",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/89C/89CHZ3ZMCH.md",
  "status": null,
  "tag": "89CHZ3ZMCH",
  "uri": "m2://89CHZ3ZMCH",
  "url": "https://tamnd.github.io/math2/wiki/mutual-absolute-continuity-of-harmonic-measures/",
  "writing": {
    "tag": "89CHZ3ZMCH",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}