Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
196 views

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

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ (1) \quad \begin{cases} (-\Delta)^s u +\lambda u= 0 & x \in \Omega \\ u = 1 & x \in \mathbb R^n \...
7 votes
1 answer
339 views

Does the pointwise mean value property imply harmonicity?

Assume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property: for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that $$ u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(...
14 votes
2 answers
536 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
4 votes
0 answers
174 views

Techniques for showing non-degeneracy results (PDE)

Motivation: Consider the equation, $$-\Delta u = u^p$$ in $\mathbb{R}^n$ for $n\geq 3$ and $p=2^*-1.$ Then we know that this equation has unique positive solutions given by functions of the form $U_{a,...
1 vote
0 answers
130 views

Results on the eigenspace of weighted elliptic eigenvalue problems

I am considering the following eigenvalue problem in $\Omega=\mathbb{R}^n_+$ $$-\operatorname{div}(a(x)\nabla \varphi) = \lambda a(x)w(x)\varphi$$ where the weights $a>0$ and $w\in L^{\infty}$ (and ...
2 votes
1 answer
173 views

Semi-linear elliptic problem, energy functionals, Fréchet derivatives and the Newton method in Banach spaces

Suppose $\Omega\subset\mathbb{R}^n$ is a regular open set, $f\in L^2(\Omega)$ and consider the following elliptic problem. $$-\Delta u + u=f'(u) , \;\;u_{|\partial \Omega}=0,$$ where $f'$ is the ...
2 votes
2 answers
132 views

Density of traces of solutions to an elliptic equation

Let $D_1$ be a domain with smooth boundary and assume that $D_1$ is a proper subset of $D_2$ which is itself a bounded domain in $\mathbb R^n$ with a smooth boundary. Assume also that $D_2\setminus ...
1 vote
1 answer
182 views

Proving an estimate for the Neumann problem on $\mathbb{R}^3 \setminus B_1$ in Weighted Sobolev spaces

Let $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. It is known that for every $g \in H^{\frac{1}{2}} (\partial M)$, and for an appropriate $\delta$, there exists a unique solution $u$ ...
2 votes
0 answers
147 views

Dimension of critical set of p-harmonic function

Let $\Omega\subset \mathbb{R}^n$ be a smooth domain and $u\in W^{1,p}(\Omega)$ a non-constant $p$-harmonic function, for some $1<p<n$. Question: What is the Hausdorff dimension of the critical ...
1 vote
0 answers
299 views

Is there a generalization of the Agmon-Douglis-Nirenberg regularity theorem for elliptic equations to domains with corners?

The Agmon-Douglis-Nirenberg theorem(s) state(s) that whenever $f\in W^{m,p}(\Omega)$ where $\Omega$ is a bounded open set of class $C^{m+2}$, then there is a unique solution $u\in W^{m+2,p}(\Omega)$ ...
2 votes
0 answers
94 views

From some priori estimates can we estimate higher Sobolev norm?

Suppose $u$ is a smooth function on bounded set $\Omega$ with smooth boundary such that $$\|u\|_{W^{1,p}(\Omega)}\le C\|\phi\|_{W^{1-1/p,p}(\partial\Omega)}$$ where $u|_{\partial\Omega}=\phi$. Can we ...
1 vote
0 answers
103 views

Regularity results for non uniform elliptic equation

I have seen some regularity result for ellptic PDE but all of them consist of uniform elliptic one. For instance, $$\nabla \cdot (\gamma(x) \nabla u)=F \text{ in } \Omega\qquad u=\phi \text{ on }\...
3 votes
0 answers
96 views

A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$

Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball. Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves $$\begin{cases} -\Delta ...
2 votes
0 answers
125 views

Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$

Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system ...
4 votes
1 answer
698 views

Poincare Inequality for $H^2$ function satisfying homogeneous Robin boundary conditions

Let $\Omega\subset\mathbb{R}^3$ be a bounded smooth domain. In general, for a Poincare inequality of the type $$\|u\|_{L^2}\le C \|\nabla u\|_{L^2}$$ to hold for all $u\in X\subset H^1(\Omega)$ and $C$...
4 votes
0 answers
143 views

If theorem valid for compactly supported distribution then is it also valid for tempered distribution?

I have seen many theorem which Author wanted to prove for tempered distribution, but without saying anything proves for compactly supported distribution. For instance, Theorem: Any $A \in \Psi^{m}$ ...
0 votes
1 answer
98 views

Reference request: Is if possible to estimate the local behaviour of the solution of $\nabla \cdot a(x) \nabla f=g$ via constant coefficients?

Consider the divergence form uniformly elliptic operator $\nabla \cdot a(x) \nabla$ where the coefficient $a$ are smooth and bounded and $D$ is a bounded and smooth domain of $\mathbb R^d$ $$ \begin{...
2 votes
1 answer
287 views

Reference request for semilinear PDEs in dimension 2

I am interested in the study of the (semi-linear, I suppose) equation $$\begin{cases}-\Delta u(x,y)+q(x)u(x,y)+h(x)=f(u(x,y)-kx),\;\;(x,y)\in\Omega,\\ u=g,\;\;\;\text{on }\partial\Omega.\end{cases}$$ ...
1 vote
0 answers
105 views

Derivative and Green function of Fractional Laplacian in a bounded domain: $(-\Delta)^s\nabla_x G(\bar x,z) = 0 \text{ in } \Omega $?

Let $G$ be the Green function of the Fractional Laplacian $(-\Delta)^s$ in a domain $\Omega$ (which is known explicitly for the special case of the ball: link). Let $\bar x \in \Omega$ be fixed. Does ...
3 votes
1 answer
333 views

References for Green functions of $\nabla \cdot a \nabla$ on a domain with $a \in L^\infty$

I am looking for a reference for basic properties of the Green function for a symmetric, uniformly elliptic operator $\nabla \cdot a \nabla$ where the coefficients $a_{ij}= a_{ji}$ are only assumed to ...
1 vote
1 answer
274 views

Poisson equation in a periodic strip

Consider the periodic strip $\Omega=\mathbb{T}\times[0,1]$ where $\mathbb{T}$ is the 1D torus with period 1. We consider the mixed Dirichlet/Neumann problem $$-\Delta u=f$$ with boundary conditions $$...
1 vote
0 answers
144 views

Liouville theorem for elliptic equation with advection term

How can one prove that any $L^2$ solution of $$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$ is zero if $a(x)$ is a divergence-free vector field such that $\int |\...
0 votes
0 answers
150 views

Eigenvalues of the Laplacian and min-max formula in any space dimension

In which reference book can I find a proof that the eigenvalue of the Laplace operator in a domain $\Omega \subset \mathbb R^d$ with $d \ge 1$ are given by $$ \lambda_1 = \min_{u \in H^1_0(\Omega), \|...
1 vote
1 answer
195 views

Existence and regularity for fractional elliptic problem with gradient term: $ (-\Delta)^s u + v\cdot \nabla u = 0$ with $v \in \dot H^s$

Let us consider the problem $$ (-\Delta)^s u + v\cdot \nabla u = 0 \quad \text{ in } \mathbb R^n, $$ where $s \in (0,1)$, $(-\Delta)^s$ is the fractional Laplace operator and $v:\mathbb R^n \to \...
1 vote
0 answers
130 views

Fractional Sobolev embedding theorem

Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds $$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
1 vote
1 answer
187 views

Fractional Laplacian equation on a ball and explicit solutions

Let us consider \begin{align*} (-\Delta)^s u &= 0 && x \in B_r(0) \\ u&=0 && x \in \mathbb R^N \setminus B_r(0), \end{align*} where $$ (-\Delta)^s u(x) = \int_{\mathbb{R}^N} \...
2 votes
0 answers
52 views

Reference Request: Dirichlet operators with singular coefficients

Let $d\geq 2$, $\delta \in (0,1)$ and let $\mathcal{L}_{d,\delta}$ be the second order differential operator defined by \begin{align*} \mathcal{L}_{d,\delta}(f)(x) = \Delta(f)(x)-\delta \|x\|^{\delta-...
1 vote
0 answers
122 views

Series and solution of $-\Delta u + \lambda u = f(x)$

Consider a bounded smooth set $\Omega \subset \mathbb R^n$ (for example, we can take a ball). Can we write down the solution of \begin{align*} -\Delta u(x) + \lambda u(x) &= f(x), & x \in \...
3 votes
1 answer
362 views

Solution of the fractional Laplace equation on a ball

What is the expression of the (non $u \equiv 0$) solutions to \begin{align*} (-\Delta)^s u &= 0 && x \in B_r(0) \\ u&=0 && x \in \mathbb R^N \setminus B_r(0), \end{align*} ...
21 votes
1 answer
742 views

Non real eigenvalues for elliptic equations

I am looking for an example of a pure second order uniformly elliptic operator $L=\sum_{i,j=1}^da_{ij}(x)D_{ij}$ in a bounded domain $\Omega$ (with Dirichlet boundary conditions, for example) having a ...
5 votes
1 answer
297 views

A scaled fractional ''Sobolev inequality''

Does a fractional interpolation inequality similar to $$ \int_{B_R(0)} |u| dx \le C R^{2} \sqrt{\log(2R)} \Big( \int_{\mathbb R^2}\int_{\mathbb R^2} \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy + \int_{B_1(...
0 votes
1 answer
344 views

Is this PDE solvable?

Let $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is unit ball. I am trying to solve the following PDE for $f$: $$\Delta f -\frac{ f }{r^2}+ \frac{ \left. f \right|_{\partial M}}{r^2} = 0, \qquad \text{...
7 votes
0 answers
351 views

Fractional Laplacian and chain rule

For the classical Laplacian, we have $$\Delta (h(u)) = h'\Delta u + h''(u)|\nabla u|^2$$ for smooth functions $h$ and $u$. Does a similar chain rule hold (up to a reminder term) also for the ...
2 votes
1 answer
205 views

Estimates for an elliptic PDE

Let's say I have an equation of the form $\Delta A = J$ where $J=u\nabla u + A|u|^2$ (Clarification: We are on $\mathbb{R}^3$ and $u$ is assumed to be in $H^1(\mathbb{R}^3)$). Then I could simply ...
5 votes
1 answer
166 views

Strong maximum principle for a PDE with coefficient in $L^1$

Let $U$ be a bounded open subset of $\mathbb{R}^n$ with smooth boundary, $n \geq 3$. Set $N = \frac{2n}{n-2}$. I am interested in the following equation: $$ -\Delta \phi + R \phi + \phi^{N-1} = 0 $$ ...
1 vote
0 answers
88 views

Reference request: PDE of the form $(\Delta - |u|^2)f = F(u)$

I am interested in equations of the form $$(\Delta -|u|^2)f = F(u)$$ where $F$ depends on $u$ and preferably on its derivative, too. $u$ is supposed to be given and $f$ the unknown. More precisely I ...
2 votes
1 answer
652 views

Extension of outer unit normal vector to interior

Suppose we have a bounded smooth domain $\Omega$ in $\mathbb{R}^n$, so there exists an outer unit normal vector field $\eta$ everywhere on the boundary. Can we extend it to the interior satisfying ...
3 votes
0 answers
140 views

Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation

It shall be an old story in PDE. I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of $$\inf_{a \in [-1,1]} \{...
4 votes
1 answer
370 views

Equivalence of viscosity and weak solutions for the Poisson equation

Suppose $\Omega$ is a bounded smooth domain in $\mathbb{R}^d$. How does one prove that weak solutions are viscosity solutions and vice versa for the problem $$ \begin{cases} -\Delta u = f(x) & \...
1 vote
1 answer
713 views

Estimate on first derivatives given $L^2$-norm of Laplacian

Let $B$ be the unit ball in the Euclidean space $\mathbb{R}^n$. Consider the set of functions $$X=\{u\in C^2(\bar B) \mid u|_{\partial B}=0 \text{ and } \|\Delta u\|_{L^2(B)}\leq 1\},$$ where $\Delta$ ...
1 vote
0 answers
148 views

Spectrum of Laplacian-like operator

Let $\kappa_1, \kappa_2>0$ be fixed. Consider the unbounded operator $A: D(A) \rightarrow L^2(-1,1)\times\mathbb{R}$ defined by $$ A\begin{bmatrix} y \\ h \end{bmatrix} = \begin{bmatrix} \...
8 votes
0 answers
251 views

Smoothness of solution map for PDE

I am wondering what sort of results are available for the following sort of problem, or where to look in the literature for work dealing with such problems, especially in the degenerate elliptic ...
2 votes
0 answers
145 views

Integral estimate for the solution of the heat equation

Let $u$ be a solution of $\partial_t u - \Delta u =f$ with initial data $u(0,x) = 0$ on $\mathbb R^N$. How do one prove the following inequality? $$ \int_0^T \int_{\mathbb R^N} \phi(f)(- \Delta) u(...
2 votes
0 answers
169 views

A basic question about the Spectral Theorem

Let $\Omega$ be a bounded open region in $\mathbb{R}^n$ and $\phi_i $ be the eigenfunctions of $-\Delta$ with Dirichlet boundary condition, i.e. $$-\Delta \phi_i=\lambda_i \phi_i, \ \ \phi_i|_{\...
1 vote
0 answers
166 views

Solution to Heat Equation By Projection

Let $X\subseteq C(\mathbb{R}\times [0,\infty))$ be the collection of all solutions to the IV heat equation $$ \partial_t u(t,x) = \partial^2 u(t,x) \qquad u(0,x)=p(0,x), $$ for some fixed $p\in C^2(\...
2 votes
0 answers
234 views

Concentration compactness on a compact setting

Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\{\varphi_k\}_k \in C^\infty(M)$ such that $\{\varphi_k\}_k$ satisfy the basic concentration ...
1 vote
2 answers
535 views

Non-closed range space of Laplace operators?

Set $ -\Delta: H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3) $. Then $ \mathcal{R}(-\Delta) $ is non-closed? Sorry if this question is trivial. I am not familiar with theory of ...
4 votes
1 answer
267 views

Scaled Harnack inequality $\sup_{B_r} v \le c\,(1-r)^{-p}\, \inf_{B_r} v$

Where can I find a proof of the following scaled version of Harnack inequality? Let $v$ be a non-negative solution of ${L}u = 0$ in $B_1$, with $L$ a uniformly elliptic operator. Then, for $r<1$,...
1 vote
0 answers
177 views

A consequence of De Giorgi oscillation lemma

The following lemma is true (see DeGiorgi oscillation lemma) Let $u$ be a subsolution of $$\mathrm{div}(A(x)\nabla u) = 0,$$ where $A$ is bounded, measurable and uniformly elliptic ($C^{-1}\...
2 votes
0 answers
62 views

Existence and uniqueness for semilinear problem

Consider the following problem: $$-\Delta u + [(u)^+]^\alpha = 0,$$ where $(\cdot)^+$ is the positive part function and $\alpha >0$. How does the theory of monotone operators provide existence ...