The solutions of the Laplace equation $\Delta f =0$ on a domain $D\subset \mathbb{R}^n$ are known as *harmonic functions*.

learn more… | top users | synonyms (1)

10
votes
0answers
262 views

Kato inequality

For any real-valued smooth function $u$, we have the Kato inequality $|\nabla|\nabla u||^2\leq(\operatorname{trace}(\operatorname{Hess}(u)))^2$, which holds when $|\nabla u|\neq0$. If moreover $u$ ...
4
votes
0answers
83 views

is Poisson's kernel always integrable?

Let $E$ be a smooth domain. The Green function $G(x,y)=F(x,y)-\Phi(x,y)$ where $F$ is the fundamental solution to the Laplace equation and for fixed $x\in E$, $\Phi(x,\cdot)$ is a harmonic function in ...
3
votes
0answers
79 views

Subharmonic function and holomorphically parametrized integrals

Let $f_\lambda$ be a family of $L^1$ functions (say on $\mathbb{C}$) such that for all $z$ the map $\lambda \mapsto f_\lambda(z)$ is holomorphic. Consider the map $N(\lambda)=\log \int |f_\lambda(z)| ...
3
votes
0answers
40 views

The Schwarz reflection principle and harmonic function (Big Rudin chapter 11)

In his book page 250 Exer 11: Suppose that $I=[a,b]$,$\Omega$ is a region ,$I\subset\Omega$,$f$ is continuous in $\Omega$,and $f\in H(\Omega-I)$,prove that actually $f\in H(\Omega)$. If I follow the ...
3
votes
0answers
84 views

The second derivative of simple layer potential

A simple-layer potential is defined as $$\Psi(M)=\iint_{S}\dfrac{\sigma(N)}{R(M,N)}dS(N)$$ where $S$ denotes a flat region in the plane $z=0$; the coordinates of $M$ and $N$ are $(\rho,\phi,z)$ and ...
3
votes
0answers
536 views

Fourier Transform of spherical harmonics

I am trying seeking for definition (or some source) of the Fourier Transform of Spherical Harmonics (see https://en.wikipedia.org/wiki/Spherical_harmonics). Any help will be really appreciated. ...
3
votes
0answers
74 views

Maps in $\mathbb{R}^n$ preserving harmonic functions

A map $\varphi:\mathbb{R}^n\to\mathbb{R}^n$ preserves harmonic functions if $f\circ\varphi$ is harmonic for every harmonic function $f:\mathbb{R}^n\to\mathbb{R}$. It is known that these maps are, in ...
3
votes
0answers
902 views

Finding the harmonic conjugate

I have shown that the following function is harmonic and am attempting to find it's harmonic conjugate: $u=e^{-2xy}\sin(x^2-y^2)$ I know that to find the harmonic conjugate I need to use the ...
3
votes
0answers
253 views

Superharmonic function and supermartingale

If $f$ is a nonnegative superharmonic function in dimension 2, how to prove that $f$ is constant? There is an exercise in R.Durrett's probability book, which gives out a method to prove it by ...
2
votes
0answers
116 views

Poisson Equation in a Rectangle

The problem is to solve $$\Delta\phi=\frac \lambda {\varepsilon_0}\delta(x-x',y-y')\quad;\quad \phi(0,y)=\phi(a,y)=\phi(x,0)=\phi(x,b)=0.$$ My idea was to try and represent the RHS as a series of ...
2
votes
0answers
103 views

Solutions of Laplace's Equation/Landau & Lifschitz Fluid Mechanics

in Fluid Mechanics by Landau and Lifschitz (a fairly well-known book - I'm just mentioning it for those who might have it) they are discussing "As we know, Laplace's equation has a solution l/r, ...
2
votes
0answers
25 views

For which real constants $k$ is the function $u$ harmonic?

For which real constants is the function $$ v(x):=x_1^3+kx_1x_2^2 $$ harmonic on $\mathbb{R}^n$? To my calculation, the equation $$ \Delta v=\sum_{k=1}^n\frac{\partial^2 ...
2
votes
0answers
27 views

subharmonic function and support functions

$M$ is a Riemannian manifold and $f$ is a continuous function on $M$. $f$ has the property that for any $p \in M,\epsilon>0$, we can find a smooth function $f_{\epsilon}$ such that ${f_\varepsilon ...
2
votes
0answers
144 views

Gradient of an harmonic function

Let $ M $ be a Riemannian manifold and let $ f $ be an harmonic function on $ M $. By Unique continuation theorem we can assert that if $ \nabla f = 0 $ on an open subset $ \Omega \subset M $ then ...
2
votes
0answers
81 views

expansion of function on spherical harmonics

Let $f :S^{n-1}\longrightarrow R_+$ be a square integrable function. Let $\{Y_{j,k}\}$ be an orthonormal basis of spherical harmonics on $S^{n-1}$, $j\in Z_+$ and $k=1, \ldots, d_n(j)$, where $d_n(j)$ ...
2
votes
0answers
81 views

Composition of a subharmonic function and a conformal mapping

this is q.4 of p.248 of Ahlfors book: Prove that a subharmonic function remains subharmonic after a composition with a conformal mapping. What I'v tried: Let $u:\Gamma \rightarrow \mathbb{R}$ and ...
2
votes
0answers
42 views

For compact $K \subset \mathbb C$, show that $u(z) = -\log(\mathrm{dist}(z,K))$ is subharmonic

Let $K \subset \mathbb C$ be compact, and let $u(z) = -\log(\mathrm{dist}(z,K))$ be defined on $\mathbb C \setminus K$. May I get a hint for proving that $u(z)$ is subharmonic? Subharmonic, here, is ...
2
votes
0answers
153 views

Biharmonic operator

Consider the problem: $$ \Delta^2 u = f$$ on the square domain $U=(0,1)\times(0,1)$ with boundary conditions: $$ u(x,y)=\Delta u(x,y) = 0$$ for $(x,y) \in \partial U.$ I try to solve it with the ...
2
votes
0answers
68 views

A function in the $L^2$ closure of the set of smooth, harmonic functions on the closed unit disk is smooth and has a harmonic representative.

This is is a homework problem I'm having trouble understanding. I am given the set $$Y=\{u\in \mathbb{C}^{\infty}(\bar{D_1})| \triangle u=0\}$$ and its closure with respect to the $L^2$ norm, ...
2
votes
0answers
50 views

Tight bounds for harmonic measure

I recently came across a question concerning harmonic measure here, and was wondering if there is a good reference summarizing different methods of estimating harmonic measure? Specifically, I would ...
2
votes
0answers
41 views

hyperbolic group ; showing the existence of a ration function with a certain condition

I'm currently working out of a book called differentialgeometry and minimal surfaces written by Jost-Hinrich Eschenburg und Jürgen Jost. Right now I'm looking at an exercise (12.5) under the ...
2
votes
0answers
268 views

Subharmonic/Superharmonic Inequality in Gilbarg/Trudinger [Section 2.8]

This is in Section 2.8 of Gilbarg and Trudinger. I believe there are some inaccuracies in the proof supplied, and in any case I think there is a more straightforward proof. Definition: A ...
1
vote
0answers
28 views

Difference of two subharmonic functions and signed measures

One of the reasons subharmonic functions are interesting is that if you take their laplacian, you get a measure (and conversely any finite Radon measure with compact support can be obtained in this ...
1
vote
0answers
22 views

Complex Variables Conformal Mapping in Complex Plane of harmonic Functions

Consider the harmonic function $u(x,y) = 1 - y + x/(x^2+y^2)$ on the upper half plane $y > 0$. What is the corresponding harmonic function on the first quadrant $x>0$, $y>0$, under the ...
1
vote
0answers
40 views

Evaluating a Limit with Generalized Harmonic Numbers.

Using WolframAlpha, I could informally come up with the following result: $$ \lim_{n \rightarrow \infty} \frac{H_n^{(-\frac{1}{2})}}{n\sqrt{n}} = \frac{2}{3} $$ Allowing me to infer that ...
1
vote
0answers
80 views

Show Green's function solves Poisson's equation

I am reading Walter Strauss's book Introduction to PDE. The definition of Green's function is as follows: The Green's function $G(x)$ for the operator $-\Delta$ and the domain $D \subset ...
1
vote
0answers
23 views

Derivatives of the Green's Function

Consider the function $ g(x,y): \mathbb{R}^2 \rightarrow \mathbb{R}^2 $ defined as $$ g(x,y) = \log( x^2 + y^2) $$ We know that $ (\partial_x^2 + \partial_y^2) g(x,y) = -2 \pi \delta(x)\delta(y) $. ...
1
vote
0answers
44 views

Does a complex polynomial can be approximated by a Euler-type exponential function?

Can one uniformly approximate a complex polynomial with a Euler-type exponential function? I mean: let $E\subset\Bbb C$ be a compact set with the connected complement $\Omega:= \bar {\Bbb C}\setminus ...
1
vote
0answers
41 views

Harmonic Function With Step Function Boundary Data

Consider the Unit Disk. can we solve for a harmonic function in the unit disk such that: $\triangle u = 0 $ in D and $ u = f $ on $\partial D$ where $ f = 1$ for $|\theta| \leq \epsilon$ and $ |\theta ...
1
vote
0answers
195 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$, ...
1
vote
0answers
40 views

How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)?

We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and ...
1
vote
0answers
46 views

Biharmonic boundary condition

I try to solve $$\Delta^2u=f$$ on unit square. with $f=4sin(\pi x)sin(\pi y)$ Using $v=-\Delta u,$ leads to $$v+\Delta u=0,$$ $$-\Delta v=f.$$ By Dirichlet boundary condition on $u$. What is ...
1
vote
0answers
44 views

What is the difference between these two kernel definitions?

I am reading my graft and the document of David Haussler about Convolution Kernels on Discrete Structures, UCSC-CRL-99-10. My graft and the other document The terminology seems to differ. The ...
1
vote
0answers
40 views

Find a function $f$ such that $f$ is harmonic on $D$ and $f|_{\partial D}$.

I understand its solutions in general. But my question is how to decide whether I sould take $Im z^4$ or $Re z^4$? I have two similar examples. And in one example, the real part is taken, but in ...
1
vote
0answers
369 views

Poisson Integral Formula

I'm looking at the following problem. Prove that if $h$ is harmonic on an open neighborhood of the disc $B(w,\rho)$, then for $0 \leq r < \rho, 0 \leq t < 2\pi$, $$h ...
1
vote
0answers
59 views

a version of the comparison lemma (harmonic functions)

I am trying to solve this exercise : Consider $U$ open , bounded set in $R^n$ with smooth boundary. Let $u \in C^2(U)$ a harmonic function. Suppose that for each $x \in \partial U $ there exists a ...
1
vote
0answers
41 views

How to prove a harmonic function to be smooth?

With the Green formula, we can divide a function into several potentials. Being harmonic, there should be two, double and single layer. With this, how to prove a harmonic to be smooth?
1
vote
0answers
49 views

Geometric Condition for Harmonic Function

Under what geometric condition on real harmonic functions u and v on a region G is the function uv also harmonic?
1
vote
0answers
480 views

Green's function for the Laplace operator $\Delta$ in a rectangle (or square)?

What I'm looking for is an explicit form of the Green's function $G$ for the Laplace operator $\Delta$ in a rectangular (or square) domain $D\subset\mathbb R^2$, e.g. $D=[0,1]\times[0,1]$. Namely, I'm ...
1
vote
0answers
70 views

Harmonic Function in $\Omega$ that is continuous in $\overline{\Omega}$ except at a point on the boundary

My problem is the following. Let $x_{0}\in\partial\Omega$ and $\Omega\subseteq\mathbb{R}^{2}$ open and connected domain. Suppose there exists $R\in\mathbb{R}$ such that $\Omega\subseteq B_{x_{0},R}$. ...
1
vote
0answers
89 views

Suggestion for a project on Harmonic measure and Fourier analysis

I have a course project on harmonic measure and Fourier analysis. The goal is to give a presentation on a part of harmonic measure theory which relates to Fourier analysis. Harmonic measure is a vast ...
1
vote
0answers
90 views

$|Du|^2$ is subharmonic if $u$ is harmonic.

In Evan's textbook "Partial Differential Equation", question 5 in section 2.5 says "$|Du|^2$ is subharmonic if $u$ is harmonic.". This can be easily proven, but do we really need the derivative $D$? I ...
1
vote
0answers
128 views

Notation in Gilbarg/Trudinger? [Section 2.8]

Note: as discussed below, there is no mistake here. The notation and conventions have been cleared up for me. However what I have written is not incorrect, either. At least to me, it is just a ...
1
vote
0answers
225 views

Poisson equation on half-space

Let $H$ be the open half-space of $\Bbb R^n$ defined by $x_n > 0$. Let $f : \overline H \to \Bbb R$ continuous and harmonic on $H$. Define the function $F : \Bbb R^n \to \Bbb R$ by $$ ...
0
votes
0answers
36 views

Newtonian potential is harmonic

I got this problem in page 321 from Advaced Calculus, written by Friedman: "Let $\sigma(x,y,z)$ be a continuous function, and let $S$ be a continuously differentiable surface. The Newtonian potential ...
0
votes
0answers
15 views

Function $u(x,y) \in C^2$ that admits harmonic conjugate

Problem 1) Prove that if the real and imaginary part of a holomorphic function are of class $C^2$, then they are harmonic. 2)Deduce from 1) that if $u(x,y) \in C^2$ is a function that admits a ...
0
votes
0answers
21 views

A functional equation for harmonic functions

Does there exist a non zero function $u\in C(\mathbb{C})$, harmonic in $\mathbb{C}\setminus\mathbb{T}$ that satisfies the following equation: $$u(z)+u(-z-2)=0\:\:\forall z\in\overline{\mathbb{D}}$$ ...
0
votes
0answers
22 views

Harmonic function in circle - exercise from Partial Differential Equations book by Y. Pinchover

Could I please ask about help with the following exercise: Let $u(x, y)$ be the harmonic function in $D = \{ (x, y) : x^2 + y^2 < 36\}$ which satisfes on $D$ the Dirichlet boundary condition: $$ ...
0
votes
0answers
34 views

Vanishing Partial Derivatives of a Harmonic Function

If $u$ is a harmonic function such that all of its partial derivatives vanish at some point $z$, show that $u$ is constant.
0
votes
0answers
26 views

Determining the Asymptotic Order of Growth of the Generalized Harmonic Function?

How should I proceed to determine the order of growth of the generalized harmonic numbers? $$ H_{n}^{(r)} \in \mathcal{O}(?) $$