All Questions
88 questions
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
1
vote
1
answer
153
views
How to show that $ u $ is vanishing in $ \mathbb{R}^3\setminus B_1 $?
I come across an interesting question.
Let $ B_r=\{x\in\mathbb{R}^3:|x|\leq r\} $ be the ball in $ \mathbb{R}^3 $ with radius $ r $. Assume that $ u \in C(\mathbb{R}^3\setminus B_1) $ satisfies
$$
\...
1
vote
1
answer
196
views
Solving an equation with fractional laplacian [closed]
Let $s\in (0,1)$, how i can solve the equation:
$$ (-\Delta)^su=1,\quad\text{in}\quad(-1,1)?$$
I have no idea, any help would be appreciated.
1
vote
1
answer
672
views
The first eigenfunction of fractional laplacian
Let $\Omega$ be bounded and smooth domain in $\mathbb{R}^n$, $s\in(0,1)$, $e_1\in \mathbb{H}^s(\Omega)$ the first eigenfunction of fractional laplacian $(-\Delta)^s$ with eigenvalue $\lambda_1>0$, ...
1
vote
1
answer
123
views
Uniform Hopf Inequality
There is a Uniform Hopf Inequality as follow:
Let $\Omega \subset \mathbb{R}^n$, $n \geq 1$ denote a smoothly bounded domain. Also let $\rho(x)=\mathrm{dist}(x,\partial \Omega)$, the distance ...
1
vote
1
answer
296
views
Boundary behavior of Greens functions on smooth bounded (planar) domains
It is well known that for any smooth bounded (connected) domain $\Omega\subset\mathbb R^d$ with $d\ge2$, we can define a Green's function $G:\Omega\times\Omega\to\mathbb R$ in $\Omega$ which is smooth ...
1
vote
1
answer
351
views
A Liouville theorem for a uniformly elliptic equation in divergence form
I would like to know if there exists a Liouville theorem for solutions $u : \mathbb{R}^n \to \mathbb{R}$ of uniformly elliptic equations of the kind
$$
D_i \left( a_{ij} D_j u \right) + b_i D_i u = 0.
...
1
vote
1
answer
153
views
Mild solution of 2D surface quasi-geostrophic (SQG) equation
I was reading one of Kato's papers on Navier-stokes equations. A mild solution can be denoted as $u= e^{t\Delta}u_0 + \int_{0}^{t} e^{(t-s)\Delta} \mathbb P\nabla \cdot(u \otimes u)ds$, where $\mathbb ...
1
vote
1
answer
161
views
About the continuity of the integral on the boundary of a ball
I’m considering a $H^1$ function u on a open domain D. Is the integral:
$$ \int_{\partial B_r(x)} u \hspace{2pt}dH^{n-1}$$
continuous with respect to x?
I tried to prove that it’s differential by ...
1
vote
1
answer
239
views
Reference request for weak solutions of an Elliptic PDE
Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one.
I want to find weak, non trivial, continuous, solutions of $$\...
1
vote
1
answer
165
views
Morrey condition (integral condition) and (local) Holder condition
Let $x \in \mathbb{R}^n$ and $f:\mathbb{R^n} \to \mathbb{R}$ be a non-negative function such that $f(x)=0$. Is it true that (assuming $\alpha,\beta>0$)
$$\limsup_{r \to 0} r^{-\alpha \beta}\frac{...
1
vote
0
answers
71
views
Control of solutions to nonlinear elliptic equations away from boundary
Let $\Omega$ be a bounded domain in $\mathbb R^3$ with a smooth boundary. Consider a smooth real valued function $F:\overline\Omega \times \mathbb R \to \mathbb R$ with the property that $\partial_s F(...
1
vote
0
answers
72
views
Elliptic systems with two dimensions
Let $ \Omega\subset\mathbb{R}^2 $ is a $ C^{1,\eta} $ domian with $ 0<\eta<1 $. Assume that $ A(y)=(a_{ij}^{\alpha\beta}(y)) $ is a matrix valued function, where $ 1\leq i,j\leq 2 $ and $ 1\leq\...
1
vote
0
answers
85
views
Boundary estimates for elliptic systems
Let $ \Omega\subset\mathbb{R}^d $ is a $ C^{1,\eta} $ domian with $ 0<\eta<1 $. Assume that $ A(y)=(a_{ij}^{\alpha\beta}(y)) $ is a matrix valued function, where $ 1\leq i,j\leq d $ and $ 1\leq\...
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 |\...
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 \...
1
vote
0
answers
52
views
Functions that vanish weakly to $\infty$ and a uniqueness problem
I am reading the article "User’s guide to the fractional Laplacian and the method of semigroups" by P.R. Stinga, there is a link. At page 17, in theorem 7, the author state that, for a given ...
1
vote
0
answers
60
views
About an estimate of an oblique derivative problem of Laplace's equation
Suppose $n\geq 2$, set $B=B_r(0)\subset \mathbb{R}^n$, $B^+=\{x\in B|x_n>0\}$, $H=\{x\in B|x_n=0\}$, Let $u\in C^\infty(B^+)\cap C^1(B^+\cup H)$ be a solution of the following oblique derivative ...
1
vote
0
answers
142
views
Intuition from Hopf lemma (boundary point lemma )
Consider the classical boundary point lemma:
Let $L$ be an elliptic operator.
Boundary Point Lemma Suppose $\Omega$ has the interior sphere property and that $u\in C^2(\Omega)\cap C^1(\bar\Omega)$ ...
1
vote
0
answers
74
views
Is the vanishing on boundary condition for the eigenvalue problem of the $p$-Laplacian important?
Consider the eigenvalue problem of the $p$-Laplacian, $$-\Delta _p u=\lambda |u|^{p-2}u,\ u\in W_0^{1,p}(\Omega)$$
In most of the literature I saw, an extra condition is mentioned that $u$ vanish on ...
1
vote
0
answers
100
views
singular integral operators
Let $(\Omega,g)$ be a compact domain with smooth boundary and suppose that $g$ is smooth. Let $g_D$ and $g_N$ denote the Dirichlet and Neumann green functions for the Laplace-Beltrami operator.
My ...
1
vote
0
answers
180
views
Implicit function theorem for operators
Let $P: (-a,a) \rightarrow \Psi_h^0(\mathbb{R}),$ be a pseudodifferential operator in Weyl quantization with $(-a,a) \ni z \mapsto P(z)$ depending smoothly on this parameter $z$. Note that this ...
1
vote
0
answers
117
views
The eigenfunction of modified $1$-laplace equation?
Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
1
vote
0
answers
205
views
A Question about compactness of an embedding into $L^p$ spaces
Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \frac{u^...
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{...
0
votes
1
answer
185
views
"Arc" length parametrization for surfaces
If we have a function $\phi:\Omega\subseteq\mathbb{R}^2\to\mathbb{R}$, $\phi\in C^2(\Omega)$ is there a way to find a function $d:\Omega\to\mathbb{R}, d\in C^2(\Omega)$ so that:
$|\nabla d(x,y)|=1,\ \...
0
votes
1
answer
160
views
Global Poincaré type estimate
For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
0
votes
1
answer
109
views
Does a weakly convergent sequence in $W^{1,p}(B_1)$ which also converges in $C^{0,\alpha}(B_1)$ converges strongly in $W^{1,p}(B_1)$?
Given a sequence $u_k\in W^{1,p}(B_1)\cap C^{\alpha}(B_1)$ such that $\|u_k\|_{C^{\alpha}(B_1)}\le 1$ for all $k\in \mathbb N$. Suppose we have
$$
u_k \rightharpoonup u\;\;\mbox{weakly in $W^{1,p}(B_1)...
0
votes
2
answers
132
views
Dirichlet problem for capillary equation over convex domain
Let $\Omega \subseteq \mathbb{R}^2$ be a bounded convex domain with piecewise smooth boundary.
Let $\phi :\partial \Omega \to \mathbb R$ be a continuous function.
Let $L$ be a quasilinear elliptic ...
0
votes
1
answer
217
views
About the polynomial characterization of $C^{1,\alpha}(\bar{\Omega})$ Hölder space in Lipschitz domain
I have trouble proving the following statement regarding a characterization of $C^{1,\alpha}$:
Let $\Omega$ be a Lipschitz domain. $u$ is pointwise $C^{1,\alpha}$ at all points with the same constant $...
0
votes
2
answers
238
views
Fractional Laplacian of $(a-x)_+^\alpha$ in $(0,1)$
How can I compute the spectral fractional Laplacian of $(a-x)_+^\alpha$ on $\Omega = (0,1)$?
Here the operator is defined as $$(-\Delta)^s u = c_{N,s} \int_0^\infty (e^{t\Delta_N}u(x) - u(x)) t^{-1 - ...
0
votes
1
answer
1k
views
Euler-Lagrange equation for a functional
What does it mean that the equation:
$$ \text{div}_{x,y}(y^a\nabla_{x,y}u)=0,\quad \text{in }\mathbb{R}^n\times(0,\infty),$$
is the Euler-Lagrange equation for the functional:
$$ J(u)=\int_{\mathbb{R}^...
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
0
votes
0
answers
53
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
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), \|...
0
votes
0
answers
54
views
Existence of a solution for the Laplace equation with sub-linear non-linearity
At first, I do apologize if my question is silly. I know that by variational methods it is possible to prove the existence of a solution for
$$
\begin{cases}
-\Delta u = u^p & \Omega \subset \...
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
-2
votes
1
answer
193
views
Analysis of Sobolev spaces [closed]
I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...