Intereting Posts

Move the last two digits in front to multiply by $6$
A double inequality with binomials
When are two semidirect products isomorphic?
Writing a fixed field as a simple extension of $\mathbb{Q}$
$\int \frac{x^2}{x^4+x^2+1}\ dx$
Nonzero $f \in C()$ for which $\int_0^1 f(x)x^n dx = 0$ for all $n$
Proof of the relation $\int^1_0 \frac{\log^n x}{1-x}dx=(-1)^n~ n!~ \zeta(n+1)$
Relation between Fibonacci number and the golden section
What could the ratio of two sides of a triangle possibly have to do with exponential functions?
Finding the fraction $\frac{a^5+b^5+c^5+d^5}{a^6+b^6+c^6+d^6}$ when knowing the sums $a+b+c+d$ to $a^4+b^4+c^4+d^4$
Expressing $2002^{2002}$ as a sum of cubes
Maximizing the trinomial coefficient
The classification theorem for modules over $\mathbb{Z}/(5)$
Connections between SDE and PDE
Good introductory book on geometric algebra

Is it true that a positive harmonic function on $\mathbb{R}^n$ must be a constant? How might we show this? The mean value property seems not to be the way…for that we would need boundedness.

- Proof Strategy - Without Stokes's Theorem - Calculate $\iint_S \operatorname{curl} \mathbf{F} \cdot\; d\mathbf{S}$ for $\mathbf{F} = yz^2\mathbf{i}$
- Differentiability of $x^2\log(x^4+y^2)$ at $(0,0)$
- Manipulating Partial Derivatives of Inverse Function
- How do I differentiate this integral?
- Why are harmonic functions called harmonic functions?
- What is the difference between $d$ and $\partial$?
- Integrating $ \int_0^2 \int_0^ \sqrt{1-(x-1)^2} \frac{x+y}{x^2+y^2} dy\,dx$ in polar coordinates
- Double integral $ \iint\ln(\sin(u-7v)) \,du\,dv$
- Change of variable (translation) in complex integral
- Why isn't the directional derivative generally scaled down to the unit vector?

Since it is not clear whether the Wikipedia proof uses boundedness or not, please allow me to give a detailed proof that only uses nonnegativity.

Let $u$ be a nonnegative harmonic function in $\mathbb{R}^n$, and let $x,y\in\mathbb{R}^n$. Denote by $B_R(y)$ the ball of radius $R>0$ centred at $y$, and similarly by $B_r(x)$ the ball of radius $r>0$ centred at $x$. We consider such balls with $R>0$ large and $r=R-|x-y|$, that is, $B_r(x)\subset B_R(y)$ and the boundary of $B_r(x)$ is tangent to the boundary of $B_R(y)$.

Then we have

$$

u(x) = \frac1{|B_r|}\int_{B_r(x)}u \leq \frac1{|B_r|}\int_{B_R(y)}u = \frac{|B_R|}{|B_r|}u(y),

$$

where we have used the mean value property in the first and last equalities, and the nonnegativity of $u$ in the second inequality. Now we send $R\to\infty$ and get

$$

u(x) \leq u(y).

$$

As $x$ and $y$ were arbitrary, we conclude that $u$ is constant.

Note that the Harnack inequality is lurking behind this proof. Also, it was crucial to consider balls with different radii in order to make use of nonnegativity. The Wikipedia proof uses balls of equal radii.

I believe you can find a proof in here http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Livres/Harmonic%20Function%20theory.pdf

in chapter 3.

- Convergence of $a_{n+1}=\frac{1}{1+a_n}$
- Showing an indentity with a cyclic sum
- Existence of isomorphism between tensor products.
- Characterization of positive definite matrix with principal minors
- Finding an explicit isomorphism from $\mathbb{Z}^{4}/H$ to $\mathbb{Z} \oplus \mathbb{Z}/18\mathbb{Z}$
- Conversion of Riemann Sum to Integral
- Shortest paths from $s$ by weight which contain even number of edges
- Example of different topologies with same convergent sequences
- Maximize volume of box in ellipsoid
- Some exact sequence of ideals and quotients
- Transformation T is… “onto”?
- Limit to infinity and infinite logarithms?
- Two problems about rings.
- On the product of $\mathfrak c$-many separable spaces
- Binomial Sum Related to Fibonacci: $\sum\binom{n-i}j\binom{n-j}i=F_{2n+1}$