Math 2.0

Potential theory Definition

Barrier

Builds on Superharmonic functionOpen setBoundaryContinuous function

Definition

Let n≥2n \ge 2, let Ω⊆ℝn\Omega \subseteq \R^n be a bounded open set, and let ξ\xi be a point of its boundary ∂Ω\partial\Omega. A barrier at ξ\xi is a function w ⁣:Ω‾→ℝw \colon \overline{\Omega} \to \R such that:

  1. ww is continuous on Ω‾\overline{\Omega};
  2. ww is superharmonic on Ω\Omega;
  3. w(ξ)=0w(\xi) = 0 and w(x)>0w(x) > 0 for every x∈Ω‾∖{ξ}x \in \overline{\Omega} \setminus \set{\xi}.

Remarks

Example: suppose there is a closed ball B‾(y,R)\overline{B}(y, R) with B‾(y,R)∩Ω‾={ξ}\overline{B}(y, R) \cap \overline{\Omega} = \set{\xi}, and let n≥3n \ge 3. Then w(x)=R2−n−∣x−y∣2−nw(x) = R^{2-n} - \abs{x - y}^{2-n} is a barrier at ξ\xi. It is continuous on Ω‾\overline{\Omega} and harmonic on Ω\Omega, since y∉Ω‾y \notin \overline{\Omega}; it vanishes at ξ\xi because ∣ξ−y∣=R\abs{\xi - y} = R; and ∣x−y∣>R\abs{x - y} > R for the other points x∈Ω‾x \in \overline{\Omega}, which gives w(x)>0w(x) > 0. For n=2n = 2 the function w(x)=log⁡(∣x−y∣/R)w(x) = \log(\abs{x - y}/R) plays the same role. Non-example: w(x)=∣x−ξ∣2w(x) = \abs{x - \xi}^2 satisfies clauses 1 and 3, but Δw=2n>0\Delta w = 2n > 0, so it is strictly subharmonic and fails clause 2. A local barrier is a function with these properties on Ω‾∩N\overline{\Omega} \cap N for some neighbourhood NN of ξ\xi. A local barrier yields a barrier, so the two notions give the same regular points.

Reading path

To understand this page from the ground up, read these 5 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. Boundary concept
  2. Continuous function concept
  3. Open set concept
  4. Superharmonic function concept
  5. Barrier definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Perron_method
About this page
Tag7YEJ79ZMV5
URIm2://7YEJ79ZMV5
Kinddefinition
WritingW0 stub
MSC31B20, 31B25, 35J25
DefinesBarrier
UsesSuperharmonic function, Open set, Boundary, Continuous function

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.