Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 108637

Questions about partial differential equations of elliptic type. Often used in combination with the top-level tag ap.analysis-of-pdes.

7 votes
Accepted

Is there a harmonic function with just one singular point?

Yes, this is possible. An explicit example is $$u(x, y, z) = 1 - I_0\left(\sqrt{x^2 + y^2}\right) \, \cos z$$ when $L = \pi$, and $u\big(\frac{\pi x}{L}, \frac{\pi x}{L}, \frac{\pi x}{L}\big)$ for a g …
Mateusz Kwaśnicki's user avatar
6 votes
Accepted

Heating a long cylinder: steady states

$\newcommand{\R}{\mathbb R}$Sorry for being too sketchy in the following answer, time permitting, I'll try to expand. Step 0. Some more-or-less classical potential theory. Let $D$ be an open set in $ …
Mateusz Kwaśnicki's user avatar
0 votes
Accepted

Iterated integrations by parts using the fractional Laplacian

No, we cannot. Formally, $\varphi$ is the eigenfunction of the unbounded operator $L_s$ on $L^2(\Omega)$, defined initially by $$ L_s u(x) = (-\Delta)^s u(x) \qquad \text{for } x \in \Omega , $$ where …
Mateusz Kwaśnicki's user avatar
2 votes

Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in...

I you are not really interested about viscosity solutions, but just the "philosophical reason" why the solution of the problem with inhomogeneous exterior condition can be written in terms of the heat …
Mateusz Kwaśnicki's user avatar
2 votes

Curvature of the boundary vs. normal derivative of the first eigenfunction

I do not there is a strong relation between the two notions in the general case. Curvature is obviously a local object. On the other hand, the behaviour of the first Dirichlet eigenfunction near a bou …
Mateusz Kwaśnicki's user avatar
5 votes
Accepted

Fractional Laplacian on closed manifolds

Yes, they are equivalent. Up to a constant missing and a sign error in the displayed formula, it should read: $$ (-\Delta_g)^s f(x) = \frac{1}{\Gamma(-s)} \int_0^\infty (e^{t \Delta_g} f(x) - f(x)) t^ …
Mateusz Kwaśnicki's user avatar
4 votes
Accepted

About the proof of higher regularity boundary Harnack inequality

Edit: The result is fine: Hopf's lemma was proved in G. Giraud, Problèmes de valeurs à la frontière relatifs à certaines donn ás discontinues, Bull. de la Soc. Math. de France, 61 (1933), 1–54 Below …
Mateusz Kwaśnicki's user avatar
1 vote

Fractional Laplacian equation on a ball and explicit solutions

Here are some additional details to what I wrote under the previous question. Our key tool is the following result. Bochner's relation: Let $V(x)$ be a solid harmonic polynomial of degree $\ell$: a ho …
Mateusz Kwaśnicki's user avatar
6 votes
Accepted

Solution of the fractional Laplace equation on a ball

Martin kernel and Martin representation is what you are after. Positive solutions are: $$ u(x) = \int_{\partial B_r} \frac{(1 - |x|^2)^s}{|x - y|^N} \, \mu(dy) $$ for any positive measure $\mu$. Signe …
Mateusz Kwaśnicki's user avatar
3 votes

Gradient estimates for a boundary value problem

OK, here are some additional details to what I wrote in my comments. Due to scaling, we can choose $r = 1$. Let $D = B_1 \setminus B_k$, and let $P_D(x, y)$ be the Poisson kernel of $D$. Thus, $$ w(x) …
Mateusz Kwaśnicki's user avatar
6 votes
Accepted

Mean value principle reversed

Edit: I misread the question. New answer: The question asks whether the Poisson kernel $P_\Omega(0, \cdot)$ is constant only when the domain $\Omega$ is a ball centred at $0$. This is indeed true: let …
Mateusz Kwaśnicki's user avatar
2 votes

The first eigenfunction of fractional laplacian

Just an extended comment. Theorem 4.1 in The Cauchy process and the Steklov problem by Rodrigo Bañuelos and Tadeusz Kulczycki (JFA 2004, DOI:10.1016/j.jfa.2004.02.005) shows that the eigenfunctions $ …
Mateusz Kwaśnicki's user avatar
5 votes
Accepted

Maximum principle for an elliptic like operator

(For an actual answer, see the edit below.) Let $\phi$ be smooth near zero and non-negative. Suppose that the Taylor expansion of $\phi$ at zero is non-trivial, and let $P(x)$ be the leading term. The …
Mateusz Kwaśnicki's user avatar
11 votes
Accepted

Minimal assumptions such that the solution of Poisson equation is $C^2$

Dini continuity may be what you are looking for: if $f = \Delta u$ is Dini continuous, that is, $$\int_0^1 \frac{\omega_f(t)}{t} \, dt < \infty,$$ then $u$ is $C^2$. This is a rather old result, but I …
Mateusz Kwaśnicki's user avatar
3 votes

"Overdetermined" Poisson equation

We claim the following: a solution $u$ exists if and only if $f$ is orthogonal to the Poisson kernel with pole at every $x \in \partial \Omega$. Suppose that $u$ is a solution. Since $u = 0$ on the …
Mateusz Kwaśnicki's user avatar

15 30 50 per page