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)

14
votes
2answers
716 views

Why are harmonic functions called harmonic functions?

Are they related to harmonic series in any way? Or something else? Wikipedia didn't help.
10
votes
0answers
232 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$ ...
8
votes
2answers
264 views

Show harmonic function is constant on $\mathbb{R}^n$

I'm trying to solve the following question (this is just for practice): If $u$ is harmonic within $\mathbb{R}^n$ with $\int_{\mathbb{R}^n}|Du|^2 dx \leq C$ for some $C > 0$, then show that u is ...
8
votes
2answers
270 views

Mean Value Property of Harmonic Function on a Square

A friend of mine presented me the following problem a couple days ago: Let $S$ in $\mathbb{R}^2$ be a square and $u$ a continuous harmonic function on the closure of $S$. Show that the average of ...
8
votes
2answers
342 views

How to argue this consequence?

Suppose that $\Omega=\mathbf{R}^n_+$ and consider a function $0<u<\sup\limits_\Omega u=M<\infty$ such that: $$\Delta u+u-1=0 \ \ \text{in} \ \ \Omega,$$ $$u=0 \ \ \text{on} \ \ ...
8
votes
1answer
164 views

Error on Wikipedia: Nelson's proof of Liouville's theorem works only for bounded modulus?

On Wikipedia, it is stated: If $f$ is a harmonic function defined on all of $\mathbb{R}^n$ which is bounded above or bounded below, then $f$ is constant...Edward Nelson gave a particularly ...
7
votes
1answer
252 views

Harmonic functions with zeros on two lines

For which pairs of lines $L_1$, $L_2$ do there exist real functions, harmonic in the whole plane, that are $0$ at all points of $L_1 \cup L_2$ without vanishing identically? Note: This is ...
7
votes
3answers
246 views

Bounded, non-constant harmonic functions: how far are they from existing?

Let $f$ be a function that maps $\mathbb{Z}^2$ to $\mathbb{R}$ and consider the operator $T$ which replaces the value of $f$ at $(i,j)$ by the average of the values of $f$ at its four neighbors: $$ ...
6
votes
2answers
558 views

How do you prove that $\ln|f(z)|$ is harmonic?

Suppose that $f(z)$ is analytic and nonzero in a domain $D$. Prove that $\ln|f(z)|$ is harmonic in $D$. I know the laplacian equation but I'm not sure how to use it.
6
votes
1answer
157 views

Harmonic function.

The function $f : \mathbb{R}^n \rightarrow \mathbb{R}$ given by $f(x) = \|x\|^{2-n}$, where $\|~\|$ denotes the Euclidean norm, is harmonic. This is just a simple computation. My question is: why ...
5
votes
4answers
153 views

Compute $\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right )^2+\left (\frac{1}{n} \right )^2$

Compute the value of the following expression $$\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\left ( \frac{1}{2}+\cdots + \frac{1}{n}\right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right ...
5
votes
3answers
1k views

Composition of a harmonic function.

I noticed this question while reading several pdfs of lecture notes, and I'm having trouble figuring it out. Can anyone help? If $f$ is a harmonic function in a domain $D \subset \mathbb{C}$, and $g$ ...
5
votes
1answer
138 views

Why is it important to study the eigenvalues of the Laplacian?

Why is it important to study the eigenvalues of the Laplacian acting on regions in $\mathbb R^n$? What information does this give us? What problems does this information help us solve? In particular, ...
5
votes
2answers
76 views

Is this Harmonic Polynomial Identically Zero?

Let $h$ be a harmonic polynomial that is zero on the lines $Im(z) = 1$ and $Im(z) = -1$. I know that by the Schwarz Reflection Principle, $h$ must be zero on any line $Im(z) = k$ for $k$ odd, but ...
5
votes
1answer
195 views

Approximation of a harmonic function on the unit disc by harmonic polynomials.

Let $u$ be a real valued harmonic function on the open unit disc $D_1(0) \subseteq \mathbb{C}$. Show that there exists a sequence of real valued harmonic polynomials that converges uniformly on ...
5
votes
1answer
240 views

What is the counter example?

The Liouville's theorem states that if $u$ is a non negative, subharmonic function, $L^\infty(\mathbf{R}^n)$, then $u$ is constant ($n\leq2$). Someone knows a counter example if $n>2$, or where can ...
4
votes
4answers
301 views

A question in Complex Analysis $\int_0^{2\pi}\log(1-2r\cos x +r^2)\,dx$

My problem is to integrate this expression: $$\int_0^{2\pi}\log(1-2r\cos x +r^2)dx.$$ where $r$ is any constant in $[0,1]$. I know the answer is zero. Can you explain you idea to me or just prove ...
4
votes
2answers
208 views

harmonic function question

Let $u$ and $v$ be real-valued harmonic functions on $U=\{z:|z|<1\}$. Let $A=\{z\in U:u(z)=v(z)\}$. Suppose $A$ contains a nonempty open set. Prove $A=U$. Here is what I have so far: Let ...
4
votes
1answer
308 views

Laplace equation Dirichlet problem on punctured unit ball.

Let $\Omega = \{ x \in \mathbb{R}^n: 0<|x|<1 \}$ and consider the Dirichlet problem \begin{align} \Delta u &= 0 \\ u(0) &= 1 \\ u &= 0 ~~~\text{if} ~~|x|=1 \end{align} By considering ...
4
votes
3answers
341 views

Is it a harmonic function or not?

I am trying to resolve a question whether a certain function is harmonic or not. If yes, I should find its harmonic conjugate. The function is $u = \frac{x}{x^2+y^2}$. I found that it is a harmonic ...
4
votes
1answer
41 views

Boundary data of the modulus of a holomorphic function

Let $f$ be a non-vanishing holomorphic on the unit disk $D$. Suppose $|f|$ converges to a measure $\mu$ on $\partial D$ as $|z|\rightarrow 1$, in the sense that $$ \int_{\partial D} |f(r z)| \phi(z) ...
4
votes
1answer
93 views

Harmonic function in a unit disk with jump boundary data

I am reading Conway's book about complex analysis. One question in it bothered me a lot recently. If given a piecewise continuous function with jump on the boundary of unit disk and it is bounded, we ...
4
votes
1answer
38 views

Showing that a given PDE is a solution to harmonic motion via transform

OK, here's an problem that should, by all accounts, be pretty simple, but I want to make sure I am approaching this correctly. Given: $$\frac{\partial ^2u}{\partial t^2}=c^2\frac{\partial ...
4
votes
2answers
162 views

Fourier transform of $|x|^{-t}$

In $\mathbb{R}^d$, let $f(x)=|x|^{-t}$, its Fourier tranform $F(f)(ξ):=(2\pi)^{-\frac{d}{2}}∫_{\mathbb{R}^d} e^{ix\cdot ξ}f(x)dx$, is there any fast way to see that this integral converge at $ξ \neq0$ ...
4
votes
1answer
163 views

Dirichlet Problem: Uniqueness of solution

Let $u$ be the solution to a Dirichlet Problem on a bounded open domain $D \subset \Bbb R^n$. Is the uniqueness of $u$ guaranteed by the maximum principle or by the smoothness of the boundary of $D$? ...
4
votes
2answers
110 views

Problem of Harmonic function.

If H is a harmonic function on an unit disk; And $H=0$ on $R_1\cup R_2$, here $R_1, R_2$ are radius of $D(0,1)$. The angle between $R_1$ and $ R_2$ is $r\pi$; here $r\in (0,1]$. If $r$ is an ...
4
votes
1answer
88 views

Diffeomorphisms preserving harmonic functions

I'm looking for smooth maps $ \Bbb R^n \to \Bbb R^n $ with the property that, whenever $ h $ is a harmonic function ($\Delta h=0$), $ h\circ f $ is also harmonic. Is there a nice characterization of ...
4
votes
1answer
147 views

Proof of weak maximum principle.

I read a proof in my book on pde which I find a bit strange. Let $\Omega$ be some bounded domain. For $f\in\mathscr C^2(\Omega)\cap\mathscr C^0(\Omega)$ satisfying $\Delta f\geq0$ it holds that ...
4
votes
1answer
133 views

Harmonic functions in $\mathbb{R}^d$

I want to establish the equivalence of the 3 standard definitions, and that harmonic functions are $C^\infty$. The 3 definitions are: Mean value property and continuous. $C^2$ and $0$ Laplacian. ...
4
votes
1answer
304 views

Characterization of positive harmonic functions on unit disc with $0$ radial limits

Suppose $u$ is a positive harmonic function in $U$, and $u(re^{i\theta}) \to 0$ as $r \to 1$, for every $e^{i\theta} \ne 1$. Prove that there is a constant $c$ such that $$u(re^{i\theta}) = ...
4
votes
1answer
185 views

Simply connected domain and harmonic function

Let $\Omega$ be a simply connected domain that is properly contained in $\mathbb C$, and $u(x,y)$ is harmonic on the unit disk $\mathbb D $, then there is a funtion $f(z)$, that is one-one and ...
4
votes
1answer
53 views

Taylor expansions of harmonic functions.

Let $D \subset \mathbb{R}^2$ be the unit open disc. Note that any harmonic function on $D$ is real analytic. How can one prove that there exits a constant $C>0$ such that the Taylor expansion of ...
3
votes
2answers
278 views

A positive harmonic function on the punctured plane is constant

Let $f(z)$ be a positive harmonic function on $\mathbb{C}\backslash \{0\}$. Prove that $f(z)$ is constant. I have no idea to prove this statement.
3
votes
1answer
155 views

Finite order function in the complex analysis.

Assume that an entire function $f$ be finite order with finitely many zeros. Please show that either $f(z)$ is a polynomial or $f(z) + z$ has infinitely many zeros. Thank you. And I know the ...
3
votes
1answer
234 views

Questions about harmonic functions and distribution.

If harmonic functions converges in the distribution sense to a distribution. Then can we prove that the functions are actually converges uniformly to a function on every compact set. And the limit ...
3
votes
1answer
242 views

If $u$ is harmonic and bounded in $0 < |z| < \rho$, show that the origin is a removable singularity

This is a reworking of a previous question here which was marked as a duplicate. Some nice folks have referred me to solutions to similar problems. I still have a couple of questions, since one of the ...
3
votes
1answer
97 views

Why is this function constant?

I'm trying to prove that an entire harmonic function $u$ that satisfies $|u| \leq\sqrt{\sum_i |x_i|}$ is constant. I think that I have to use Liouville theorem for harmonic functions, however I don't ...
3
votes
1answer
110 views

Bound for analytic function from unit disk into punctured unit disk

Suppose $f$ is analytic in the unit disk $D$ and satisfies $0<|f(z)|<1$. Show that $|f(z)|\leq|f(0)|^{\frac{1-|z|}{1+|z|}}$ for all $z\in D$. I tried to work with $\log|f|$. It seems that ...
3
votes
2answers
149 views

Boundary values of harmonic $u$ are $ u(e^{it}) = 5- 4 \cos t $; find $u(1/2)$ and $v(1/2)$.

My problem is the following: Let $u$ be a continuous real-valued function in the closure of the unit disk $\mathbb{D}$ that is harmonic in $\mathbb{D}$. Assume that the boundary values of $u$ are ...
3
votes
1answer
99 views

The derivative of harmonic function at origin is a bounded linear functional

The following problem is the 5th problem in the qualifying exam of UCLA (spring 2013). Let $\mathbb{D}=\{(x,y):x^2+y^2<1\}$ and let us define a Hilbert space $$H:=\{u:\mathbb{D} \rightarrow ...
3
votes
1answer
40 views

Show $\Omega$ is simply connected if every harmonic function has a conjugate

Prove: If every harmonic function on $\Omega$ has a harmonic conjugate on $\Omega$, then $\Omega$ is simply connected. Same question is asked here but no proof is presented: is the converse true: in ...
3
votes
2answers
52 views

If a Laplacian eigenfunction is zero in an open set, is it identically zero?

This seems like it should be easy but I can't seem to figure it out. Suppose $f$ satisfies $\Delta f + \lambda f = 0$ in $\mathbb{R}^n$ (where $\lambda > 0$ is a constant), and in some open set ...
3
votes
1answer
72 views

Construct harmonic function on noncompact manifold

$M$ is a non-compact Riemannian manifold, $p \in M$. Consider Dirichlet problems: $\Delta u = 0$ in ${B_p}\left( i \right)$ ($i = 1,2, \dots $), $u{|_{\partial {B_p}\left( i \right)}} = {f_i}$, ${f_i} ...
3
votes
1answer
62 views

Constructing a specific harmonic function.

Is it possible to construct a $\bf{harmonic}$ function $u:\mathbb{R}^N\to \mathbb{R}$ satisfying: I - There exist a sequence $x_n\in \mathbb{R}^N$ such that $|x_n|\to\infty$ and $u(x_n)\to\infty$, ...
3
votes
1answer
199 views

Harmonic function with condition on part of its boundary

Suppose $u$ is harmonic in the interior of the unit square $0 \leq x \leq 1$, $0\leq y\leq1$. Suppose furthermore that $u$ and its first derivatives continuously extend to the bottom side $0\leq x ...
3
votes
1answer
87 views

property of harmonic functions

If a real-valued function $u$ is harmonic on a ball $B_{2r}(x)$ in $\mathbb{R}^n$, how would one show that $\sup_{B_r(x)}u^2\leq\frac{2^n}{|B_{2r}(x)|}\int_{B_{2r}(x)}u^2(y) dy$?
3
votes
2answers
65 views

$uv$ is harmonic if and only if $u+icv$ is analytic for some real c

Let $u$ and $v$ be non constant harmonic functions on a complex domain. Prove that $uv$ is harmonic if and only if $u+icv$ is analytic for some real $c$. I can prove the "if" part. I am having some ...
3
votes
1answer
91 views

Mean value property implies harmonicity

It is fairly easy to show that harmonic functions satisfy the mean value property, but it seems harder to show the converse. I've seen the following theorem without proof: If $u \in C(\Omega)$ ...
3
votes
2answers
61 views

The ratio $\frac{u(z_2)}{u(z_1)}$ for positive harmonic functions is uniformly bounded on compact sets

I want to prove the following: If $E$ is a compact set in a region $\Omega \subset \mathbb C$, prove that there exists a constant $M$, depending only on $E$ and $\Omega$, such that every positive ...
3
votes
1answer
83 views

Properties of plurisubharmonic functions

In book: (Oxford science publications._ London Mathematical Society monographs, new ser., no. 6) Maciej Klimek -Pluripotential theory -OUP (1992) Theorem 2.9.14 (ii): Let $\Omega$ be an open ...