1
vote
0answers
40 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 ...
0
votes
1answer
20 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
27 views

Local regularity for harmonic functions (Laplace's equation)

I need a local Sobolev regularity result for a smooth solution $u$ of $$ -\Delta u=0 $$ with the equation satisfied in an open set $U$ (I have no boundary conditions). I know that such a smooth $u$ ...
-4
votes
0answers
28 views

Prove u=0 for a harmonic function u.

Let $\Omega$ be an open connected set in $\mathbb{R}^n$ with the boundary $\partial\Omega$ of class $C^2$. Let $u\in C^2(\Omega)\cap C^1(\overline{\Omega})$ be a harmonic function in $\Omega$, such ...
0
votes
1answer
31 views

Why do level curves of a function and its harmonic conjugate intersect each other orthogonally?

So I've had this assignment in which I had to proof that two level curves of a function and one of its harmonic conjugates intersect each other orthogonally. The proof itself wasn't that difficult, ...
1
vote
1answer
49 views

Uniqueness for second order PDE $-\Delta u = c(u)$

I'm trying to solve the following problem: Let $\Omega$ be an open set in $\mathbb R^n$ and consider the equation \begin{cases} -\Delta u = c(u) & \text{ on } \Omega \\ u = 0 & \text{ on } ...
1
vote
0answers
64 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$, ...
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 ...
1
vote
0answers
26 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 ...
5
votes
1answer
137 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, ...
1
vote
1answer
40 views

One problem about harmonic functions

Problem. Given open, bounded set $\Omega\subset\mathbb R^d$ with smooth boundary $\partial\Omega$ and given smooth function $\varphi$ on $\partial\Omega$. As known, problem $$ \begin{cases} ...
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 ...
1
vote
1answer
43 views

Derive Poisson integral formula in a ball

Trying to derive by myself the Poisson integral formula in a unit ball. I should get $$\Delta u=0 \,\text{ in } B(0,1), \,\,\, u(x)=\varphi(x)\,\,\text{at } \partial B(0,1) \Longrightarrow \\$$$$u(x) ...
1
vote
1answer
106 views

Reflection principle for harmonic functions

$U^+ \colon= \left\{x\in \mathbb{R}^n\mid |x| < 1, x_n>0\right\}$ is an open half-ball. Assume $u \in C^2 (\overline{U^+}$) is harmonic in $U^+$ with $u=0$ on $\partial U^+ \cap \{x_n=0\}$. ...
2
votes
1answer
79 views

poisson's equation with robin's boundary, boundary value problem

Consider the Poisson’s equation with Robin’s boundary conditions as follows \begin{array}{ll} −\Delta u = f, &\text{in $U$,}\\ \frac{\partial u}{\partial \nu}+u=g, &\text{on $\partial U$,} ...
0
votes
0answers
34 views

Stationary heat equation problem

We are given the following BVP: $u_{xx}+u_{yy}=0,\ x\in\mathbb{R},\ y>0\\ u(x,0)=f(x),\ x\in\mathbb{R}\\ u(x,y)\rightarrow 0\ \text{as}\ x^2+y^2\rightarrow\infty$ where ...
2
votes
1answer
48 views

$\nabla_y \left( \frac{1}{|x-y|} \right)= \frac{x-y}{|x-y|^3},$ right? Fundamental solution to Laplace in $\mathbb{R}^3$

OK, I can't figure out why I can't get this right: $$\nabla_y \left( \frac{1}{|x-y|} \right)= \frac{x-y}{|x-y|^3},$$ right? I've checked the calculation several times, although this student-written ...
2
votes
0answers
90 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 ...
1
vote
2answers
263 views

Show that the Poisson kernel is harmonic as a function in x over $B_1(0)\setminus\left\{0\right\}$

Show that the Poisson-kernel $$ P(x,\xi):=\frac{1-\lVert x\rVert^2}{\lVert x-\xi\rVert^n}\text{ for }x\in B_1(0)\subset\mathbb{R}^n, \xi\in S_1(0) $$ is harmonic as a function in $x$ on ...
1
vote
0answers
80 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, ...
1
vote
1answer
120 views

Determining if the product of two particular harmonic functions is a harmonic function

Let $u$ be a $C^{2}$ harmonic function in $\mathbb{R}^{n}$ and let $g(x) = \left| x \right|^{2-n}$. I would like to show that: $v(x) = g(x)u\left(\frac{x}{\left| x \right|^{2}}\right)$ is also ...
3
votes
1answer
90 views

Harmonic function vanishes with its normal derivative on a part of boundary; can Green's formula be applied to broken boundary? [duplicate]

Let $\Omega$ be an open domain, and let $\Sigma$ be a smooth and nonempty portion of the boundary. Let $u$ be a harmonic function in $\Omega$ and $u=D_\nu u=0$ on $\Sigma$. ($D_\nu$ is the derivative ...
1
vote
1answer
94 views

Harmonic function (PDE) - Orthogonal matrix

Let $u\in C^2(\mathbb{R}^n)$ be harmonic in $\mathbb{R}^n$, i.e. $$ \Delta u:=\sum\limits_{k=1}^{n}\frac{\partial^2 u}{\partial x_k^2}=0\mbox{ in }\mathbb{R}^n. $$ Let ...
1
vote
0answers
53 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 ...
2
votes
0answers
25 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 ...
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 ...
2
votes
0answers
113 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 ...
3
votes
0answers
70 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 ...
1
vote
1answer
95 views

About Mean Value Property of Harmonic Function

I know the question may seem foolish to you but I am not quite sure how to show it in a decent way. My problem is to show that for bounded Borel measurable $f:\mathbb{D}^2\to\mathbb{R}$, (D1) is ...
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} ...
2
votes
1answer
90 views

Laplacian Boundary Value Problem

Given a domain $ M \subset \mathbb{R}^2 $ and a function $ f : \partial M \rightarrow \mathbb{R} $, let $ \omega $ solve the boundary value problem: $$ \Delta \omega = 0 \text{ in } M \\ \omega = f ...
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 ...
8
votes
2answers
262 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 ...
2
votes
1answer
122 views

Harnack's inequality Evans' PDE book

This is on page 33 of my edition, under the proof of Harnack's inequality. Let $V\subset \overline{V} \subset U$ with $\overline{V}$ compact. Let $r=\frac{1}{4}\text{dist}\left(V,\partial U\right)$. ...
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 ...
1
vote
1answer
89 views

Mean Value Property of Harmonic Functions

I can't prove this theorem: "Let $\Omega$ is a bounded domain, $u\in C^2(\Omega)$ satisfy $\Delta u=0(\geq0,\leq0)$, then for any ball $B=B_R(y)\subset \subset \Omega$, we have ...
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. ...
2
votes
1answer
240 views

Characterize solutions to Laplace's and Poisson's equation in the unit square with periodic boundary conditions

So I am studying for a qualifying examination and there was this problem from an old exam. (a) Does the problem $\Delta u = 0$ in the unit square in the plane with u and and all of its partial ...
1
vote
1answer
106 views

Corollary to mean value property for harmonic functions?

For $\Omega \subset\mathbb{R}^n$ open, and $u_i:\Omega \to \mathbb{R}$ a sequence of harmonic functions which are uniformly bounded. Prove that for any multi-index $\alpha$ and for any $K \subset ...
1
vote
1answer
146 views

How to determine if the sums and products of harmonic functions is also harmonic?

Suppose I know that $u + iv$ is non-constant and analytic on a domain $D$, then I know that $u$ and $v$ are harmonic on $D$ and not both constant; but how do I then determine whether $3u^2v - v^3 + ...
2
votes
1answer
71 views

Mean Value Property

I'm currently studying the theory of PDEs and, in particular, harmonic functions. I've been given this question: Show that if $u:(a,b) \rightarrow \mathbb{R}$ is continuous, and satisfies the ...
2
votes
1answer
39 views

The extension of smooth function under the restriction of its Laplacian

$u$ is a smooth bounded function on $\Omega-\{0\}$ where $\Omega$ is an open neighborhood of $0$ in $\mathbb R^n$. If $\Delta u$ is a bounded function on $\Omega-\{0\}$, then can we extend $u$ to be a ...
8
votes
2answers
269 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 ...
1
vote
0answers
413 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 ...
2
votes
0answers
138 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 ...
0
votes
1answer
83 views

if $\Delta u \geq c$ for some $c>0$ then $u$ has a max on the boundary

Let $D=\{(x,y): \vert(x,y)\vert \leq 1\}$ and let $u:D\rightarrow \mathbb R$ be continuous function with three continous derivatives in the interior of $D$. Show that if there is a number $c>0$ ...
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 ...
1
vote
1answer
172 views

Discontinuity of double-layer potentials

I'm currently reading about solutions to boundary-value problems for Laplace's equation, and I'm a bit confused with regards to the discontinuity properties of double-layer potentials. So the text ...
1
vote
1answer
111 views

Harmonic function product, Knowing that one is Harmonic implies something about the other?

Hello I have been fighting with this problems for a couples of days and cant get anything better, I will thanks a lot for your help, for little hint, some clue or idea : Let $A$ be an Harmonic ...
1
vote
1answer
130 views

How do harmonic function approach boundaries?

Suppose that $D$ is a domain in $\mathbb{R}^n$ (that is, an open, bounded and connected subset), and that $u$ is an harmonic function on $D$. Let $x_0$ be a point at the boundary of $D$. Question ...