All Questions
88 questions
3
votes
0
answers
14
views
On compact embeddings in weighted Riesz potential spaces
I wonder if there is any references for the study of the following type of spaces
$$ X_{\delta,\alpha}=\{ u\in L^2_\delta(\mathbb{R}^n):\, u= (-\Delta)^\alpha f \quad\text{for some}\quad f\in L^2_{\...
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, $...
6
votes
1
answer
197
views
On elliptic operators on non-compact manifolds
Let $(M,g)$ be a (connected, oriented) Riemannian manifold and $E$ some finite-rank $\mathbb{R}$- or $\mathbb{C}$-vector bundle equipped with some (positive-definite) inner product on the level of (...
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
4
votes
1
answer
446
views
Is the uniform limit of "almost eikonal" maps eikonal?
Let $f_n: \mathbb R^d \to \mathbb R$ be continuously differentiable functions with $f_n \to f$ uniformly for some $f$.
Suppose that $|\nabla f_n| \to 1$ uniformly. Is it true that $f$ is $C^1$ with $\...
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 $.
...
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
4
votes
2
answers
364
views
Nontrivial invariant transformations for heat equations
It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by
$$ v(r,\theta) = u(\frac{1}{r},\theta)$$
is also harmonic for $r>0$. Note that the Kelvin ...
3
votes
0
answers
84
views
About the naturality of Krasnoselskii genus on Variational Methods
I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
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 $...
7
votes
2
answers
626
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
7
votes
2
answers
567
views
Intuition for Agmon-Douglis-Nirenberg ellipticity
First of all, I am sorry if this is a too basic question, but I stumbled over this notion of ellipticity only very recently.
I am trying to understand the definition of ellipticity of systems due to ...
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) =...
5
votes
0
answers
213
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
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
$$
\...
8
votes
3
answers
701
views
Regularity of Newtonian potential along smooth boundary
Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ with $C^\infty$ boundary, $n\ge 3$. Define
$$V(z)=\int_\Omega \frac{1}{|z-y|^{n-2}}dy$$
Is it true that $V(z) \in C^{\infty}(\partial \Omega)$?
...
3
votes
1
answer
114
views
Boundedness of solutions to a semilinear PDE
Let $D$ be the unit disk in $\mathbb R^2$ centered at the origin. Given any $\lambda \in \mathbb R$, let $u_\lambda$ be the unique solution to the semilinear elliptic equation
$$ -\Delta u + u^3=0 \...
8
votes
1
answer
461
views
On critical points of harmonic functions
Let $u \in C^{\infty}(\mathbb R^3)$ be harmonic. Suppose that $u$ has no critical points outside the unit ball but that it has at least one critical point inside the unit ball.
Does it follow that $u$ ...
2
votes
0
answers
72
views
Semilinear elliptic equations in complex plane
Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
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(...
3
votes
0
answers
146
views
A uniqueness result for the Neumann problem for the Laplace equation
Let $\Omega \subset \mathbb{R}^{3}$ be a $C^{1}$-domain, not necessarily bounded. Consider solutions $\phi : \overline{\Omega} \to \mathbb{R}$, $\phi \in C^{\infty}(\Omega) \cap C^{1}(\overline{\Omega}...
8
votes
1
answer
551
views
Dirichlet-to-Neumann map on Lipschitz domains
Let $\Omega$ be a bounded domain with a Lipschitz boundary. Consider the Dirichlet-to-Neumann map $\Lambda:H^{\frac{1}{2}}(\partial \Omega)\to H^{-\frac{1}{2}}(\partial \Omega)$ defined via
$$ \langle ...
1
vote
1
answer
219
views
Does Newton-Leibnitz apply to Sobolev space
For a function $u\in W^{1,p}$, we always use a sequence of $C^1$ function to approach it and derive the consequences. However, can we just claim for a.e. x, y:
$$u(x)-u(y)= \int_0^1 Du(y+t(x-y))\cdot (...
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 ...
2
votes
0
answers
138
views
Problems arising from a paper on the radial symmetry of the global solution of semilinear PDE $\Delta u+f(u)=0$ in $\Bbb{R}^{n}$
I am reading the paper [1] by Congming Li.
I want to talk about the typical case that the author gives as follows ([1], §1, pp. 590-):
In this section, we study positive solutions of the following ...
2
votes
0
answers
85
views
Proving an eigenvalue bound without resorting to Weyl's law
Suppose $(M,g)$ is a smooth compact Riemannian manifold of dimension $n\geq 2$ with smooth boundary and denote by $\{\phi_k,\lambda_k\}_{k\in \mathbb N}$ its Dirihclet spectral decomposition for the ...
2
votes
0
answers
77
views
Weyl's law and eigenfunction bounds for weighted Laplace-Beltrami operator
I would appreciate any answers or even references for the following problem.
Let $(M,g)$ be a complete smooth Riemannian manifold with an asymptotically Euclidean metric (let's even say that the ...
9
votes
2
answers
1k
views
Density of restrictions of harmonic functions inside a ball
Let $B$ be the closed unit ball in $\mathbb R^3$ centered at the origin and let $U= \{x\in \mathbb R^3\,:\, \frac{1}{2}\leq |x| \leq 1\}.$ Let
$$ S_U= \{u \in C^{\infty}(U)\,:\, \Delta u =0 \quad\text{...
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\...
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
150
views
Is the Poisson formula valid when the boundary condition is $ L^2 $?
Dirichlet problem for Laplace equation as follows
\begin{eqnarray}
\Delta{u}&=&0\text{ in }B_r(0)\\
u&=&g\text{ on }\partial B_{r}(0),
\end{eqnarray}
where $ g $ is continuous.
It is ...
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
58
views
Uniqueness for a certain semilinear equation
Suppose that $(M,g)$ is a smooth compact Riemannian manifold with smooth boundary $\partial M$. Let $a \in C^{\infty}(M)$, let $k \in \mathbb Z$ and consider the equation
$$
\begin{aligned}
\begin{...
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)...
2
votes
0
answers
297
views
Examples of harmonic functions
I am looking for non-trivial examples (in the sense to be described below) of harmonic functions, which can be represented as cubes of smooth functions ($C^1$ would be also OK if this is important).
...
4
votes
0
answers
318
views
Integral representation of solution of an elliptic PDE in divergence form
Suppose we have a second order elliptic differential operator
$$
L(v) = -\text{div}(A(x) \nabla v)
$$
$A(x)$ is a bounded and strictly positive definite matrix with Hölder continuous entries. And ...
2
votes
0
answers
153
views
unique continuation in a disk
Let $D$ be the unit disc in $\mathbb R^2$ centered at the origin. Let $w \in C^{\infty}_c(D)$ satisfy
$$ (1-r^2)^2\Delta w +w =0.$$
Prove that $w \equiv 0$.
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
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 \...
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
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{...
5
votes
1
answer
206
views
Mean value principle reversed
Suppose that $\Omega \subset \mathbb R^3$ is a domain with smooth boundary $\partial \Omega$ and suppose that $0\in \Omega$. Given any $f \in C^{\infty}(\partial \Omega)$ let $u^f$ denote the unique ...
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
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}^...
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
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$, ...