Questions tagged [potential-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
55 views

Extension of the Kelvin transform

Suppose $B=B(y,r)$ is ball in $\mathbb{R}^m$ ($m\geq2$), and $u$ a superharmonic function on a neighborhood of the closure $\overline{B}$ of $B$. We know that the Kelvin transform of $u$ with respect ...
3
votes
0answers
131 views

Regularity of harmonic functions for a degenerate elliptic operator

This is a question on a degenerate elliptic operator. Let $E$ be a closed unit ball in $\mathbb{R}^d$ centered at the origin. For a positive number $c>0$ and $f \in C^2(E)(:=C^2(\mathbb{R}^d)|_E)$, ...
2
votes
0answers
88 views

Divergence-free constraint for a boundary integral equation

Consider the system $$ \begin{cases} \operatorname{curl} \operatorname{curl} \mathbf{u} = 0 \qquad B \cup (\mathbb{R}^3 \setminus \overline{B}) \\ c_1 (\operatorname{curl} \mathbf{u} \times \mathbf{n})...
1
vote
0answers
40 views

Superharmonicity of the distance function

Suppose $V$ is a convex open proper subset of $\mathbb{R}^m$ ($m\geq2$). It is known that the function $u(x)=$dist$(x,\partial V)$ is superharmonic on $V$. Is there a similar result without $V$ being ...
0
votes
2answers
115 views

A question on minimum principle

Suppose $D$ be an unbounded domain of $\mathbb{R}^m$ for $m\geq3$, and $u$ is superharmonic on $D$. We know that if $\liminf_{x\to y}u(x)\geq0$ for all $y$ in $\partial^\infty D$ (the boundary of $D$ ...
1
vote
0answers
46 views

An open set whose complement is non-thin at infinity

Let $x^*$ designate the inverse of a point $x\in\mathbb{R}^m$ under the Kelvin transformation with respect to the circle of center 0 and radius 1. Recall that $$x^*=|x|^{-2}x.$$ For a set $E$, we set $...
6
votes
1answer
153 views

Core for a Sobolev space

Let $D$ be a domain of $\mathbb{R}^d$. That is, $D$ is a connceted open subset of $\mathbb{R}^d$. The first-order Sobolev space $W^{1,2}(D)$ on $D$ is defined by \begin{align*} W^{1,2}(D)=\{f \in L^2(...
1
vote
1answer
44 views

Modifying a superharmonic function on a neighborhood of infinity

Let $u(x)=\alpha+\beta U(x)$, where $U(x)=|x|^{2-m}$ ($N\geq3$) is the fondamental harmonic function, $\alpha<0$ and $\beta>0$. We know that $u$ is superharmonic on $\mathbb{R}^m$ and harmonic ...
0
votes
0answers
69 views

Diffusion process, hitting times, and harmonic functions

Let $E$ be a locally compact metric space. We consider a diffusion process $X=(\{X_t\}_{t \ge0 },\{P_x\}_{x \in E})$ on $E$ whose lifetime $\zeta$ may be finite: $P_x(\zeta<\infty)>0$ for some $...
5
votes
1answer
120 views

Superharmonicity at infinity

Some authors define superharmonicity at infinity in the following way. A function $u$ is superharmonic on an open set $V\subset\mathbb{R}^m\cup\{\infty\}$ (one point compactification), containing ...
0
votes
0answers
32 views

Superharmonic extension 3

This question is related to the MO post Superharmonic extension 2. Let $u$ be a superharmonic function on $\mathbb{R}^m$ ($m>2$) such that for some $\alpha\in\mathbb{R}$ and $\beta$, $R>0$, $$u(...
1
vote
1answer
149 views

Superharmonic extension 2

This question is a simplified version of the one in the MO post Superharmonic extension. Suppose $K$ is a compact of $\mathbb{R}^m$ ($m\geq2$), and $U(x)=\log\frac{1}{|x|}$ if $m=2$, and $=|x|^{2-m}$ ...
5
votes
0answers
121 views

Okada-Schur functions and the Martin boundary of the Young-Fibonacci lattice

This question is related to three earlier posts addressing properties of the Young-Fibonacci lattice $\Bbb{YF}$, namely: Differential posets, the Plancherel state $\varphi_\mathrm{P}$, and minimality ...
0
votes
0answers
42 views

Inverse of the Riesz potential of a measure

Let $0<\alpha<d$ and let $I_{\alpha}(f)$ be the Riesz potential of a function $f$ on $\mathbb{R}^{d}$, $$ I_{\alpha}(f)(x)=\int_{\mathbb{R}^{d}}\frac{f(y)}{|x-y|^{d-\alpha}}dy. $$ Assuming $f$ ...
0
votes
0answers
134 views

Superharmonic extension

We know the following classic result. If $K\subset\mathbb{R}^m$ ($m>1$) is a compact set and $u$ is superharmonic on a neighborhood of $K$, then we can extend $u$ to a superharmonic function $\...
4
votes
0answers
65 views

Restricted Perron-Bremermann envelopes

Consider an upper semicontinuous function $\phi: \Omega \to (-\infty, \infty]$, in the sense that $\phi = \phi^*$, where $\phi^*$ denotes the upper semicontinuous regularization $$ \phi^*(z) = \...
4
votes
1answer
51 views

Singularities on null capacity sets are removable — Wiener or Bouligand?

A classical theorem on harmonic functions states that singularities of bounded harmonic functions are removable if the singular set is of null capacity. This theorem is sometimes attributed to ...
10
votes
0answers
250 views

Differential posets, the Plancherel state $\varphi_\mathrm{P}$, and minimality

$\newcommand\rank[1]{\lvert#1\rvert}$Let $\Bbb{P}$ be a 1-differential poset with a unique bottom element $\emptyset \in \Bbb{P}$. With some minor abuse in terminology, The Plancherel measure state $...
3
votes
0answers
133 views

Does the maximum principle hold in this pluriharmonic setting?

Let $U \subseteq \mathbb{C}^m$ be open, and let $F: U \to \mathbb{C}$ be a holomorphic function, with real part $u$. We are given a subset $S \subseteq U$ given by finitely many real equalities and ...
3
votes
1answer
94 views

A function $V : \mathbb{R}^2 \to \mathbb{R}$ is a (logarithmic) potential

I'm looking for references given some sort of inverse problem in logarithmic potential theory. That is, given a function $V : \mathbb{R}^2 \to \mathbb{R}$, what is a sufficient (and perhaps necessary) ...
0
votes
1answer
84 views

Does convergence of a sequence of subharmonic functions imply the vague convergence of their Riesz measures?

Suppose $D$ is a bounded domain of $\mathbb{R}^m$ for $m>1$ and $\{u_n\}_{n\geq1}$ is a sequence of subharmonic functions on $D$. Assume $u_n\to u_0$ pointwise on $D$ and $u_0$ is subharmonic on $D$...
0
votes
1answer
89 views

A simple clarification on Riesz decomposition theorem

Let $D$ be a domain of $\mathbb{R}^{m}$ and let $K(x)= \log|x|$ if $m=2$, and $K(x)=|x|^{2-m}$ if $m>2$. According to Riesz decomposition theorem (Hayman and Kennedy, "subharmonic functions&...
4
votes
1answer
91 views

Boundedness of Riesz potential on Hardy space

I encounter the following claim in one paper: If $(-\Delta)^{\frac14}u\in L^{2,\infty}(\mathbb{R})$, then $u\in BMO(\mathbb{R})$. Equivalently in its dual version, if $u\in \mathcal{H}^1(\mathbb{R})$,...
1
vote
1answer
96 views

Subharmonic function in unbounded regions

The harmonic majorization for a subharmonic function $h$ is well-known for bounded regions $\Omega \subset \mathbb{C}$: $$h \le 0 \text{ in }\partial \Omega \Longrightarrow h \le 0 \text{ in }\Omega.$$...
1
vote
0answers
30 views

When is inverse geodesic distance positive definite (in a compact manifold)?

We work on a closed smooth Riemannian manifold $(M,g)$ and let $K:M\times M\to \mathbb R\cup\{+\infty\}$ be a kernel, which we assume to be integrable and lower semicontinuous. We say it is positive ...
4
votes
1answer
228 views

Elliptic, parabolic and hyperbolic Riemann surfaces: classification?

In the book of Kra and Farkas on Riemann surfaces the following (slightly unusual) definition is given: Definition IV.3.2 (Section IV.3). Let $M$ be a Riemann surface. We will call $M$ elliptic if and ...
2
votes
0answers
67 views

Hitting measure/overshoot for random walk in $\mathbb{Z}$ with heavy-tail

Let $\alpha \in (0,2)$, (or for simplicity just $\alpha \in (1,2)$) and let $X_1,X_2,\dots$ be an i.i.d collection of random variables with common distribution $$ p(x,y)= \frac{c_\alpha}{|x-y|^{1+\...
1
vote
1answer
82 views

Coupling times of subordinate Brownian motions

This is a question about coupling times of subordinate Brownian motions. We fix $y \in \mathbb{R}^d$ with $y \neq x$ and define a map $R_{x,y} \colon \mathbb{R}^d \to \mathbb{R}^d$ by \begin{align*} ...
0
votes
1answer
48 views

Harmonic functions for subordinate Brownian motions and the Hölder continuity

This question is about harmonic functions of subordinate Brownian motions. We write $B=(\{B_t\}_{t \ge 0}, \{P_x\}_{x \in \mathbb{R}^d})$ for the $d$-dimensional Brownian motion. Let $\{S_t\}_{t \ge 0}...
2
votes
0answers
48 views

Subharmonic functions with reasonably non absolute continuous laplacian

Does it exist a compact supported measure $\mu$ in the plane $\Bbb R^2$ with the following two properties? 1) Points have $\mu$-measure zero, 2) If $\Delta u=\mu$, then the polar set of $u$ has ...
1
vote
1answer
56 views

Limit of an integral / Boundary behaviour of a Gaussian convolution / single layer potential

Let $k(t,x)$ be the transition density of Brownian motion $$ k(t,x) := \frac{1}{\sqrt{2 \pi t}} \exp \left\{ \frac{-x^2}{2t} \right\} , \quad t \geq 0, x \in {\mathbb R.}$$ Question Let $0 < x &...
5
votes
0answers
70 views

Stability and capacity, error in the book of Adams-Hedberg?

I am struggling to understand the proof from the book of Adams and Hedberg, "Function spaces and potential theory". It seems to me that there is a serious flaw, and moreover, the statement is ...
2
votes
1answer
146 views

Subharmonic in any holomorphic coordinates = Plurisubharmonic?

An upper semi-continuous function $u : \Omega \to \mathbb{R}$, $\Omega \subseteq \mathbb{C}^n$ is said to be subharmonic if it satisfies the submean inequality $u(a) \leq \mu_S(u;a,r)$, where $\mu_S(...
2
votes
1answer
87 views

Conformal isomorphism uniquely determined by boundary identification?

Let $\Gamma$ be a smooth Jordan arc, and let $\Phi \colon \hat{\mathbb C} \backslash \overline{\mathbb D} \to \hat{\mathbb C} \backslash \Gamma$ be a conformal isomorphism that fixes the point at $\...
1
vote
0answers
64 views

Weak maximum principle for a perturbation of the Laplacian

This question is motivated by similar considerations for the Kohn-Laplacian in the Heisenberg group, but it seems that I cannot even give an answer in the Euclidean case, so here we go. Suppose that ...
1
vote
0answers
167 views

Extension of subharmonic function: can someone explain the details?

In this paper we have the following situation on page 60. $E$ is a compact subset of $\mathbb{R}^\tau\cup\{\infty\}$ (one point compactification) for $\tau\geq2$, $M_0$ is a point in the boundary of $...
2
votes
1answer
47 views

The converse of a Poincaré's result on regular boundary points

Let $V$ be a bounded open set in $\mathbb{R}^n$ with $n>1$. According to a well known result due to Poincaré, if $x$ is a point in the boundary $\partial V$ and there exists a ball $B$ such that $x\...
0
votes
1answer
109 views

Dirichlet problem for a subharmonic function

Suppose $K$ is a compact subset of $\mathbb R^n$ , $V_0$ and $V_1$ the complements of $K$ in $\mathbb R^n$ a and $\mathbb R^n_\infty$ (one point compactification), respectively. Let $u$ be ...
2
votes
0answers
127 views

Maximizing $\iiint|(x-z)\times(y-z)|d\mu d\mu d\mu$ over probability measures on the unit sphere

This is a follow-up question to the one asked here (the unit circle case). What probability measure(s) maximize the quantity $\iiint_{\mathbb{S}^2}|(x-z)\times(y-z)|d\mu(x)d\mu(y)d\mu(z)$? The ...
5
votes
1answer
343 views

Maximizing $\iiint|(x-z)\times(y-z)|d\mu d\mu d\mu$ over probability measures on the unit circle

What probability measure(s) maximize the quantity $\iiint_{\mathbb{S}^1}|(x-z)\times(y-z)|d\mu(x)d\mu(y)d\mu(z)$? The answer appears to be uniform measure, since informally it appears better to have ...
0
votes
1answer
102 views

Extension of subharmonic functions at infinity

Let $W$ be the complement of a compact set $K$ in $\mathbb{R}^{n}$, and $u$ a subharmonic function on $W$. Can we find, under some conditions, a function $\tilde{u}$ that is subharmonic on $W\cup\{\...
0
votes
1answer
49 views

A question on the problem of Dirichlet 2

Let $U$ be an open set in $\mathbb{R}^{n}$ with $n\geq2$ and $V$ an open set containing the boundary $\partial U$ of $U$. Suppose $u$ is subharmonic on $V$. We know that the generalized solution of ...
1
vote
1answer
141 views

A question on the problem of Dirichlet

Suppose $U$ is an open set in $\mathbb{R}^{n}$ ($n\geq2$) whose complementary is not polar, and $f$ is a real-valued function defined at least on the boundary of $U$. We know that the generalized ...
4
votes
1answer
95 views

Limit for series of Bessel functions evaluated at zeros

The following series arises in an electrostatics problem for a conducting cylinder: $$ V=\sum_{n=1}^\infty\frac{J_0(k_n\rho)e^{-k_nz}}{k_nJ_1(k_n)^2} $$ where $J_i$ is the Bessel function of $i^{th}$ ...
0
votes
1answer
77 views

Sphere inversion in Riesz potential

I am reading the paper: ``ON THE DISTRIBUTION OF FIRST HITS FOR THE SYMMETRIC STABLE PROCESSES" by Blumenthal, Getoor and Ray, (Trans. Amer. Math. Soc. 99 (1961), 540-554). On page 546, the authors ...
0
votes
1answer
78 views

Extension of superharmonic functions

Let $V$ be a bounded open set in $\mathbb{R}^{n}$ with $n\geq2$ and $W$ be an open neighborhood of the boundary $\partial V$ of $V$. If $u$ is superharmonic on $W$, is there a way to extend $u$ to a ...
0
votes
0answers
38 views

A set of zero harmonic measure 2

Let 𝑉 be a bounded open set in $\mathbb{R}^{m}$, $m\geq 2$, and 𝑊 the interior of the closure of 𝑉. Let 𝐸 be a subset of ∂𝑉∩𝑊 (∂ means boundary) such that: 1) $E$ has positive ($m-$dimensional) ...
1
vote
0answers
110 views

Convergence in unbounded domains

Lemma. Let $\mu$ be a measure in $\mathcal{M}(\Omega)$ and let $(v_{n})$ be a sequence of functions in $W^{1,p}_{0}(\Omega)\cap L^{\infty}(\Omega)$ converging to a function $v$ in the weak topology of ...
2
votes
1answer
103 views

A set of zero harmonic measure

We know that a set may be of zero harmonic measure without its Lebesgue measure being zero (see Armitage and Gardiner, classical potential theory, pg 178). Now, consider the following problem. Let $...
7
votes
0answers
172 views

Minimizing energy on $\mathbb{S}^2$ for absolutely monotonic type potentials

For potential functions $f:[-1,1]\rightarrow \mathbb{R}$, satisfying that $f^{(k)}(t)\geq 0$, for $t\in(-1,1)$ and all $0\leq k \leq m$, and $f^{(m+1)}(t)<0$ for $t\in(-1,1)$, is it true that a ...