0
votes
1answer
19 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
63 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: $$ ...
4
votes
2answers
73 views

limit of harmonic functions Gilbarg and Trudinger page 27

Here is a passage from Gilbarg and Trudinger page 27 Let $\Sigma$ be a bounded domain in $\mathbb{R}^n$ ($n\geq 3$) with smooth boundary $\partial\Omega$, and let $u$ be the harmonic function (often ...
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: $$ ...
5
votes
2answers
64 views

Natural question about harmonic functions

Let $U$ an open, bounded and convex set in $R^n$. Let $(u_k)_{k \in N}$ a sequence of functions defined in $\overline{U}$. Suposse that each $u_k \in C(\overline{U}) \cap C^{2}(U)$ and harmonic in ...
0
votes
1answer
31 views

Inequality for a harmonic function with gradient bounded from below

Consider $K \subset \mathbb R^n$ a compact set . Let $R > 0 $ such that $B(0,R) \supset K$ and $\partial B(0,R) \cap \partial K = \emptyset .$ Let $u : \overline{B(0,R)} \rightarrow \mathbb R$ a ...
2
votes
1answer
40 views

Estimates for harmonic functions

Assume $u$ is harmonic in $U$. Then $$ |D^{\alpha}u(x_{0})|\leq \frac{C_{k}}{r^{n+k}}\|u\|_{L^{1}(B(x_{0},r))} $$ for each ball $B(x_{0},r)\subset U$ and each multi-index $\alpha$ of order $|\alpha| ...
1
vote
1answer
21 views

Is $w =\text{ max}(v_1, v_2)$ subarmonic if $v_1$ and $v_2$ are?

I am studying Perron method to prove the existence of solution to \begin{equation} \Delta u = 0 \quad \text{in } \Omega \\ \ u = g \quad \text{in } \partial \Omega \end{equation} In the proof they ...
0
votes
1answer
48 views

Question about the proof of Harnack's inequality in Evans and Gilbarg's PDE book

I have some trouble in understanding the proof of Harnack's inequality. Since I have consulted two books, I explained my three questions one by one. In Evans' book Partial Differential Equations, 2nd ...
1
vote
1answer
34 views

Electromagnetic fields and Laplace equations along a square

I'd like to solve Laplace equation satisfying the following BCs: $$\phi(x,y=0)=0$$ $$\phi(x=0,y)=0$$ $$\phi(x,y=1)=9\sin(2\pi x)+3x$$ $$\phi(x=1,y)=10\sin(\pi y)+3x$$ where $0\leq x,y\leq 1$. I have ...
0
votes
0answers
22 views

Prove that a function is harmonic by the use of the mean property

Given $y\in\mathbb{R}^N$, define $v_y:\mathbb{R}^N\setminus\{y\}\to\mathbb{R}$ by $$v_y(x) = \frac{|y|^2 - |x|^2}{|x-y|^N}.$$ By denoting $u(x) = |y|^2 - |x|^2$ and $w(x) = |y-x|^{-N}$, one can ...
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 ...
0
votes
1answer
32 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
41 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$ ...
0
votes
1answer
37 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
59 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
192 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
107 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
45 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
177 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
44 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
74 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
90 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) ...
0
votes
1answer
115 views

Laplace equation on unbounded set

I have gotten stuck with a problem for PDEs class for a few days. I did not figure out how to start a solution for it. Problem: Let $g \in C(\partial B(0, R))$, $n > 2$. Find a formula for a ...
1
vote
1answer
168 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
115 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
57 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
54 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
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 ...
1
vote
2answers
353 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 ...
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, ...
1
vote
1answer
142 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
119 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 ...
2
votes
1answer
114 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
57 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
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 ...
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
143 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
83 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
115 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
97 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
98 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
302 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
144 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
185 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
114 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
144 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
269 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
120 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 ...