All Questions
Tagged with fa.functional-analysis elliptic-pde
230 questions
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-...
- 778
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 \...
- 131
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*}
...
- 17.2k
-1
votes
1
answer
102
views
Is it true that $\nabla_x \int_0^\infty f(t,0) dt = 0 \implies \nabla_x f(t,0) = 0 \ \forall t>0$? [closed]
Let $f:\mathbb R_+ \times \mathbb R^N \to \mathbb R$ and $$F(x) = \int_0^\infty f(t,x) dt.$$ If $\nabla_x F(0) = 0$ do we have that $\nabla_x f(t,0) = 0$ for all $t \in \mathbb R_+$? If not, which ...
- 188k
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 ...
- 52.3k
1
vote
0
answers
245
views
Why does this PDE have a solution?
Let $\Sigma$ be a compact surface and denote by $\nu$ the unit conormal for $\partial \Sigma$. Let
$$E = \left\{ \phi \in C^{2,\alpha}(\Sigma) : \int_{\Sigma} \phi \, \mathrm{d}A = 0 \right\} $$
and
$$...
- 2,095
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(...
- 61.9k
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{...
- 969
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 ...
- 161
2
votes
0
answers
86
views
Eigenvalues of the operator $A = -v'' + B(x) v$
How can I prove that for the eigenvalues of the operator $$A := -v'' + B(x) v$$ on $(0,L)$ with zero Dirichlet boundary condition it holds that
$$
\left| \lambda_n - \frac{\pi^2n^2}{L^2}\right| \le ||...
- 217
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 ...
- 6,035
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
$$
...
- 676
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 ...
- 469
3
votes
0
answers
186
views
How to prove the following linearized operator is positive?
In $L^2(\mathbb{R}^d)$, let $Q$ be the solution to
\begin{equation}
-\Delta Q+\alpha^2 Q = |Q|^{2\sigma} Q,
\end{equation}
and $Q$ satisfies that it is positive, radial, and exponentially decaying (...
- 101
0
votes
0
answers
161
views
When linear strongly elliptic operators are invertible?
I am studying Pazy's book "Semigroups of Linear Operators and Applications to Partial Differential Equations" and when considering an operator like:
A linear differential operator, $$A : W^{...
- 5,380
1
vote
0
answers
235
views
Fredholmness of elliptic operator on Hölder spaces
Let $(M,g)$ be a smooth oriented closed Riemannian manifold, $E\to M$ a smooth vector bundle, and $C^{k,\alpha}(E)$ the Banach space of sections of $E$ that are $k$-times differentiable (with respect ...
- 63.9k
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 ...
- 28k
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]} \{...
- 5,380
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) & \...
- 5,380
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$ ...
- 5,380
2
votes
0
answers
33
views
Extension Sobolev functions across of lower dimensional subset
This question may be well-known to experts, but I am trying to get myself a rigorous proof. Consider open set $\Omega=B^n_1(0)\setminus B_1^k(0)$ in $\mathbb{R}^n$. If function $u$ is in $H^1(\Omega)$,...
- 237
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} \...
- 309
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,247
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(...
CommunityBot
- 1
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|_{\...
- 434
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(\...
- 5,405
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 ...
- 657
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 ...
- 269
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$,...
- 356
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}\...
- 839
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 ...
CommunityBot
- 1
1
vote
0
answers
52
views
Asymptotically periodic potentials
Who came up with the idea of solving elliptic equations with periodic potentials and from there solving elliptic equations with asymptotically periodic potentials?
- 993
0
votes
1
answer
272
views
A condition for Laplacian
Let $u\in L^{2}(\mathbb{R}^{2}) $ with $-\Delta(u) -c (x^{2}+y^{2})u \in L^{2}(\mathbb{R}^{2})$ where $c>0$.
Is true $-\Delta u \in L^{2}(\mathbb{R}^{2})$?
Thank you in advance.
- 81
2
votes
0
answers
58
views
Small energy implies a lifting $\rho e^{i\theta}$
Set $T^N$ the $N$-dimensional torus and $u\in H^1(T^N,\mathbb{C})$. Can I say that if the energy$$\int_{T^N}|\nabla u|^2 +\frac12\int_{T^N}[1-|u|^2]^2$$ is small enough (let say lower than some $\...
- 383
4
votes
0
answers
102
views
$W^{k,p}$ and Holder regularity for linear elliptic systems with Neumann boundary data
I'm looking for a text or paper that discusses regularity in the Sobolev and Holder sense for general linear elliptic systems of PDEs on bounded domains with Neumann boundary data.
The book by ...
2
votes
1
answer
473
views
Question on definition of Dirichlet to Neumann operator
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with a
$C^2-$ boundary $\partial \Omega= \Gamma$. For $f \in
H^{1/2}(\Gamma)$, let $F \in H^1(\Omega)$ denote the weak solution of
the ...
CommunityBot
- 1
3
votes
2
answers
618
views
Interior smooth regularity
I recently read the PDE book of L. Evans, and in its chapter 6 some kinds of regularities of second-order elliptic equations were discussed. My question is about its proof of interior smooth ...
- 3,486
1
vote
1
answer
219
views
Harmonic functions vanishing on the boundary and distance function asymptotics
Let $\Omega \subset \mathbb R^N$ be a $C^2$ domain. Let $u$ be a function such that $u \in W^{2,2}(\Omega)$ and $u = \Delta u = 0$ on $\partial \Omega$. Is it true that $$ c \le \frac{u}{[\mathrm{dist}...
- 34.7k
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
CommunityBot
- 1
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 ...
- 91.8k
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
10
votes
1
answer
973
views
$\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$
I posted this question first in Math.StackExchange one week ago here, but I didn't get an answer or a helpful comment so I repost it here:
Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded ...
- 261
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 ...
- 163
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
CommunityBot
- 1
4
votes
0
answers
410
views
Spectral Gap of Elliptic Operator
Under what conditions on $a(x)$ and domain $D$, the spectral gap of the elliptic operator $ \nabla \cdot(a(x)\cdot \nabla)$ defined on $D$, can be controlled?
The boundary condition is that the ...
- 10.4k
5
votes
0
answers
143
views
Extension of elliptic complex to an exact sequence
This questions concerns elliptic complexes and is closely related to Green's operator of elliptic differential operator.
Let $T_f:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial ...
- 5,824
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{...
CommunityBot
- 1
3
votes
1
answer
142
views
PDE satisfied by projection of a function onto a subspace
Given an open bounded set $D\subset \mathbb R^N$, let $f\in W^{-1,q}(D)$ and let $u$ be a Sobolev function $u\in W_0^{1,p}(D)$ such that $u$ solves the PDE
$$
\begin{cases}
-\Delta_p u=f\;\text{in $D$}...
- 1,724
1
vote
0
answers
80
views
Unclear inequality of L2 norms (Poisson equation for modeling flow)
I encountered a problem working through a paper about modeling flow with the use of the Poisson equation (source given below). There appears an inequality of L2 norms I don't understand so far. Your ...
- 11
11
votes
3
answers
678
views
Which matrices can be realized as the Dirichlet-to-Neumann map for a given domain?
Consider Poisson equation $\nabla \cdot (\sigma(x)\nabla u)=0$ in a domain $D$, where $\sigma(x)$ is the spatially dependent conductivity. On the boundary we have $n$ electrodes (Dirichlet BC $u=\text{...
- 52.3k