Potential theory concerns solutions of elliptic partial differential equations (especially Laplace's equation) that are represented by integration against a measure or a more general distribution.

learn more… | top users | synonyms

0
votes
1answer
14 views

Can a complete pluripolar set be a single point?

Let $f:\mathbb{C}^n\rightarrow\mathbb{R}\cup\{-\infty\}$ be a plurisubharmonic function which is not identically $-\infty$.The set $\mathcal{P}:=\{z\in\mathbb{C}^n:f(z)=-\infty\}$ is called a complete ...
1
vote
1answer
23 views

Fourier transform on fractional Sobolev spaces

We say that a tempered distribution $f$ satisfies $f \in H^s(\mathbb R)$ for some $s \in \mathbb R$ if $(1+|\xi|^2)^{s/2} \hat f \in L^2(\mathbb R)$. Here, $\hat f$ denotes the Fourier transform of ...
3
votes
0answers
37 views

Estimating/approximating a very high dimensional unbounded poisson's equation

Consider the poisson equation on an unbounded domain. Suppose that the solution is known to exist. $$ \Delta u=f $$ I would like to estimate the solution of the this equation at a given point $x_0$. ...
3
votes
0answers
35 views

Potential theory for LCA groups

I was wondering if there is a potential theory for locally compact abelian groups.
4
votes
2answers
58 views

Laplace Equation on the Corners and Boundary of a Rectangle?

Consider for some rectangle $[a,b] \times [c,d] \in \mathbb{R}^2$, we have a generic boundary value problem: \begin{equation*} \begin{cases} \frac{\partial ^2 u}{\partial x ^2}+\frac{\partial ^2 ...
1
vote
0answers
26 views

proof of Wiener’s criterion

I'm in my first course of PDE and I need to investigate the proof of Wiener's Criterion for Laplace Equation which says, if $\Omega \subset \mathbb{R}^n$$(n>2)$ is a bounded domain and $\partial ...
0
votes
0answers
21 views

the polar set $V^o$ is identified isometrically with $(V^\perp)^*$

Let $X$ and $M$ be two Hilbert spaces and let $B:X\mapsto M^*$ denotes a continuous linear operator. We consider the set $$V=\ker B=\{ v\in X :Bv=0\}$$ we define the polar set of $V$ as: ...
0
votes
1answer
42 views

What does it mean to “admit” something in vector calculus?

Trying to understand the Helmholtz decomposition has lead me to the concept of a vector potential. From Wikipedia [1]: If a vector field v admits a vector potential A, then [...] I've searched ...
0
votes
0answers
22 views

How did Poisson discover his integral formula?

I am quite curious about the history behind it. His derivation should be different from those on today's textbooks.
0
votes
1answer
45 views

Normal derivative of the autonomous single layer potential

Let $G$ be the fundamental solution of the Laplace equation. Let $\Omega$ be an open and bounded subset of $\mathbb{R}^n$ regular enough. It is known that: \begin{equation} \int_{\partial ...
0
votes
0answers
52 views

Reducing the Laplace equation with inhomogeneous BC's to the Poisson equation with homogeneous BC's

Given a domain $\Omega \subset \mathbb{R}^2$, one can reduce the Laplace equation $$\Delta u = 0, \qquad u = f \text{ on } \partial \Omega$$ to a Poisson equation $$\Delta v = g, \qquad v = 0 \text{ ...
0
votes
1answer
29 views

Newtonian capacity: do we have $\operatorname{cap}(A\cup B)+\operatorname{cap}(A\cup C)-\operatorname{cap}(A)-\operatorname{cap}(A\cup B\cup C)>0$

$\newcommand{\Cap}{\operatorname{cap}}$ For compact disjoint sets A,B,D each with positive Newtonian capacity do we have $$\Cap(A\cup B)+\Cap(A\cup C)-\Cap(A)-\Cap(A\cup B\cup C)>0\text{ ?}$$ ...
1
vote
1answer
42 views

$L^2$ regularity of a convolution with Newtonian potential

I am reading Vorticity and incompressible flow (Bertozzi, Majda) and on page 71-72, we are concerned with recovering the velocity field of a flow from its vorticity. At some point we need to have the ...
4
votes
0answers
226 views

Hölder regularity of the simple layer heat potential (question on the proof)

Let $G(t,x)$ be the fundamental solution of the heat equation, with $t\in\mathbb{R},x\in\mathbb{R}^n$. In the book "Linear and Quasilinear Equations of Parabolic Type" by O.Ladyzhenskaya, ...
1
vote
0answers
17 views

Potentials and Markov Processes

Given a resistive electrical circuit $G$, i.e. a graph with nonzero weights attached to each edge whose reciprocal we call the "resistance," we can define a reversible markov chain on the graph, ...
1
vote
1answer
34 views

A polynomial can be written as the difference of sub-harmonic functions

Let $\Omega\subset \mathbb R^N$ open bounded be given, I am trying to prove that first any Polynomial can be written as difference of two sub-harmonic functions, and then for any continuous function ...
3
votes
1answer
168 views

You can't solve Laplace's equation with boundary conditions on isolated points. But why?

Consider a bounded region $\Omega\subset\mathbb R^n$ with a finite number of "holes" $X=\{x_1,\ldots,x_k\}$ that are isolated points in its interior. I'm pretty sure that in more than one dimension, ...
2
votes
1answer
55 views

How to finish the computation of $u(x)=\int_{B_R(0)}\frac{1}{|y-x|}dy$?

Let $B_R(0)$ be a ball in $\mathbb R^3 $ and define $$u(x)=\int_{B_R(0)}\frac{1}{|y-x|}dy$$ Prove that $$ u(x) = \begin{cases} \frac{2}{3}\pi(3R^2-|x|^2) & \quad \text{for $0 \le|x|\le R$ ...
1
vote
1answer
36 views

maps that preserve harmonic functions

Is there a theory of the type of maps between domains that preserve harmonic functions? For instance, in the 2-dimensional case, we know that conformal maps (or even just holomorphic ones) are such ...
2
votes
0answers
108 views

Harmonic functions in the upper half plane

It is a cautionary remark that is often made that solutions to the Dirichlet problem (with continuous boundary conditions) are not unique when the domain in question is the upper half plane. Yes, you ...
1
vote
1answer
62 views

The existence of a measure of finite energy implies a lower bound on Hausdorff dimension

What is the significance of $\mu(x)=0$ and the use of continuity this proof? I am not quite sure about the general direction in the second paragraph.
1
vote
1answer
26 views

Is the potential of a periodic conservative field periodic?

Let $Y = [0,1]^3$ and consider a conservative vector field $F$. Denote its scalar potential by $\varphi$, i.e. $$ \nabla \varphi = F. $$ If $\varphi$ is $Y$-periodic it is clear that $F$ is periodic, ...
2
votes
0answers
39 views

Newtonian potential for ellipsoid

Is there an explicit expression of the Newtonian potential for ellipsoid? As the expression for ball is clear by its symmetry. Definition of Newtonian potential of ellipsoid $\Omega$ at x is defined ...
1
vote
0answers
28 views

Newtonian potential of torus

Is there an explicit expression of the Newtonian potential for torus? As the expression for ball is clear by calculation. Definition of Newtonian potential of domain $\Omega$ at x is defined to be ...
0
votes
1answer
67 views

Complex potential between axes & hyperbola

okay so i have searched through the entire net and i only get what is complex potential theory. But no body explain how to solve the question maybe because that's at the basic level. My question is ...
0
votes
0answers
11 views

Energy functional of a uniform distribution of mass on a circle

Define $\nu$ as the measure in the Borel sets of $\mathbb{R}^{2}$obtained by uniformly distributing a unit mass on the circumference $\vert x \vert = 1$. Define its energy as $$I_{2}[\nu] = ...
-1
votes
1answer
56 views

Show that requiring Electrostatic potential to be a stationary point of Electrostatic potential energy is equivalent to Laplace's equation.

Suppose we want to find the electrostatic potential $\phi$(r) inside of some volume $V$ with known boundary conditions. The physical field configuration should minimize the electrostatic potential ...
3
votes
0answers
97 views

Holder regularity for the heat potentials

First I apologize for my bad English and for any error: this is my first question. I need some regularity results for the simple and double layer heat potentials. If $\Gamma(t,x)$ is the fundamental ...
0
votes
1answer
132 views

Finding the transfinite diameter of the level sets of complex logarithm

Given a simply-connected domain $|g(z)|\ge C$ how can I find the analytic conformal mapping guaranteed by the Riemann mapping theorem? In particular I'm interested in finding the transfinite diameter ...
6
votes
2answers
149 views

Why is the integral of $\|\nabla f\|^2$ called the energy of $f$?

Let $\Omega$ be a region in $\mathbb{R}^2$ with $f:\Omega \to \mathbb{R}$ a smooth function. Why is the quantity, $$ \tfrac{1}{2} \iint_{\Omega} \|\nabla f\|^2 $$ Called the "energy" of $f$? I am ...
1
vote
1answer
67 views

Riesz measure associated with a subharmonic function

In page 101, corollary 4.3.3., from Armitage and Gardiner's book on potential theory, the authors prove that any subharmonic function, can be identified with a positive measure (Riesz measure). In ...
0
votes
1answer
35 views

What is $s$ in s-energy (eg. Riesz s-energy)

I'm trying to understand fekete problems. There is a variable $s$ and a related concept of 's-energy' [1] [2] [3] [4] that comes up repeatedly when borrowing the concept of potential energy to find ...
2
votes
1answer
34 views

Taylor expansion of the electrostatic potential $1/\|\cdot \|$

I have stumbled over this problem several times in electrodynamics, and I just don't get the hang of it. The task is to do a Taylor expansion of $\,f(\vec{x},\,\vec{a}) = ...
2
votes
1answer
50 views

References on estimating capacities (Newton, Martin etc) for sets & alternative formulations.

By G-capacity for capacitable set K I mean: $Cap(K)=[inf\{\int\int G(x,y)d\mu(y)d\mu(x):\mu$ probability measure on K$\}]^{-1}$. where G(x,y) is any kernel eg. the Green kernel. Q1:We've calculated ...
0
votes
1answer
61 views

Dirichlet boundary value problem in convex domains with discontinuous boundary values

Consider $\Omega$ an open, bounded, and convex domain in $\mathbb{R}^n$. Let $g \in L^{2}(\partial \Omega)$ such that the problem $$ \left\{ \begin{array}{ccccccc} \Delta u = 0, \ \text{in} \ ...
8
votes
1answer
106 views

Green's identity contradicts Helmholtz theorem

Let F be a vector field on a bounded domain $V \subset \mathbb{R}^3$, which is twice differentiable, let $S := \partial V$. According to the Helmholtz Theorem, F can be decomposed, such that: $$ ...
1
vote
0answers
33 views

Reference: Computing Martin Capacity

For Borel set $A$ the Martin Capacity is defined as: $\mathrm{Cap}_{M}(A)=[\inf\{\int \int \frac{G(x,y)}{G(0,y)}d\mu(x)d\mu(y):\mu \mbox{ probability measure on }A \}]^{-1}$ and Green's function ...
1
vote
4answers
70 views

Evaluation of the integral $\int_{0}^{R}\int_{-1}^{1} r^2/\sqrt{r^2+L^2+2L\alpha}\,d\alpha dr$

I am trying to solve this integral $$ \int_{0}^{R}\int_{-1}^{1}\frac{r^{2}\,{\rm d}\alpha\,{\rm d}r}{\, \sqrt{\vphantom{\Large A}\,r^{2} + L^{2} + 2L\alpha\,}\,} $$ where $L$ is some positive ...
0
votes
1answer
79 views

The limit function of decreasing sequence of subharmonic is also subharmonic

Let $u(z)$ be a continuous function on a domain $D \subset \mathbb{C}$ to $[−\infty, \infty)$. Suppose $u_n(z)$ is a decreasing sequence of subharmonic functions on $D$ such that $u_n(z) \to u(z)$ for ...
2
votes
1answer
85 views

Computing Newtonian capacity of sets like intervals, discs?

For a metric space $(E,\rho)$ the $a$-capacity is defined as $$\mathrm{Cap}_{a}(E)=\left[\inf\left\{\int \int \frac{d\mu(x) \, d\mu(y)}{\rho(x,y)^{a}}:\mu\text{ probability measures on ...
0
votes
1answer
79 views

If $f$ and $g$ are holomorphic, then $\log(|f|+|g|)$ is subharmonic

Let $f$ and $g$ be two holomorphic functions on a plane domain, and let $u(z)=\log(|f(z)|+|g(z)|)$. Is it true in general that $u$ is subharmonic? I know it is true if $g=0$, but here I have some ...
0
votes
1answer
55 views

Question about $\int_{-1}^{1} \log |z-x| dx, z \in \mathbb{C}$.

I am wondering if this integral can be evaluated using the "usual" integration techniques. I have written $| z - x | = \sqrt{(\operatorname{Re}({z}) - x)^2 + \operatorname{Im}(z)^2}$ but it doesn't ...
1
vote
1answer
21 views

Showing there's no potential for a vector field on some region of the space?

Imagining we have a vector field $f$ for which $\operatorname{curl} f = (0,0,0)$, why can there be a potential to it on some region and not on some other. e.g. what kind of reasoning can prove that ...
1
vote
2answers
75 views

Laplace equation on semidisk

I am interested in the solution of the following boundary value problem on the semidisk $D=\{(r,\theta): 0<r<1, 0<\theta<\pi\}$: $$u_{xx}+u_{yy}=0 \mbox{ in } D, $$ $$u(1,\theta)=0 \mbox{ ...
0
votes
1answer
57 views

Existence of solutions to Laplace's equation for almost everywhere smooth boundary conditions

Let $\Omega$ be a compact region in the plane. Are there any existence results for the Dirichlet boundary value problem $$\begin{cases}\Delta f(q) = 0, & q\in \Omega\\ \lim_{p\to q} f(p) = g(q), ...
0
votes
1answer
33 views

Analyticity of Logarithmic Integrals

Assume $f\in L^2[0,1]$ and let $g(x)=\int_0^1f(y)\ln|x-y|dy$. Is it true that $g\in C^\infty(0,1)$? Is it true that $g$ is analytic in $(0,1)$? Can you refer me to a right reference to look up such ...
0
votes
1answer
51 views

Some properties of capacity

Let $\Omega\subset\mathbb{R}^N$. For $K\subset \Omega$ we can define the $p$-capacity, $p\in (1,\infty)$ as the number $$\operatorname{cap}_p(K)=\inf \int_\Omega |\nabla u|^p$$ where the infimum is ...
1
vote
1answer
32 views

Harmonic inside with zero average

Assume $\Omega\in\mathbb{C}$ is a domain with nice enough boundary,say smooth boundary. What can be said about $f\in C(\bar\Omega)$, harmonic in $\Omega$ and $\int_{\partial\Omega}f(z)|dz|=0$, where ...
1
vote
0answers
576 views

Proof of strong maximum principle for harmonic functions

Let $u\in\mathscr C^2(U)\cap\mathscr C(\bar U)$ be harmonic in the non-empty open and connected set $U\subset\mathbb R^n$. If there exists a Point $x_0\in U$, so that $u$ has a local Maximum at $x_0$, ...
4
votes
1answer
95 views

Definition of logarithmic capacity

In the definition of logarithmic capacity of a compact set $E$ in the plane, the Robin constant is defined to be $V(E)=\inf\int_E\int_E \log\frac{1}{|z-w|} d\mu(z)d\mu(w)$ where $\inf$ is taken over ...