Skip to main content

All Questions

112 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Quarto Bendir's user avatar
7 votes
0 answers
80 views

Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator

Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
MyShepherd's user avatar
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 ...
Zac's user avatar
  • 161
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 ...
G. Blaickner's user avatar
  • 1,429
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 ...
Tobias Diez's user avatar
  • 5,824
4 votes
0 answers
90 views

Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\...
Akira's user avatar
  • 835
4 votes
0 answers
80 views

Interpolation-extrapolation scales of H. Amann

I am currently reading H. Amann's notes titled "Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems", and I have a question regarding the abstract ...
Michelangelo's user avatar
4 votes
0 answers
129 views

Trace-class heat semigroups

Let $(M,g)$ be a compact Riemannian manifold and $\Delta_g$ its Laplace operator. Let $\varphi$ be a test function on $\mathbf{R}_{>0}$. We define the operator on, say, $L^2(M)$ $$T_{\varphi}(u) :=...
user avatar
4 votes
0 answers
103 views

Characteristic of Sobolev space generated by Hörmander vector fields

Let $\Omega$ be an open bounded domain in $\mathbb{R}^{n}$ with smooth boundary $\partial\Omega$. Suppose that $X=(X_{1},X_{2},\ldots,X_{m})$ are smooth vector fields defined on $\mathbb{R}^{n}$ and ...
pxchg1200's user avatar
  • 287
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,...
Student's user avatar
  • 537
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}$ ...
Curious student's user avatar
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 ...
StopUsingFacebook's user avatar
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 ...
Elliott's user avatar
  • 325
4 votes
0 answers
136 views

Davies' definition of elliptic operators in "Heat Kernels and Spectral Theory"

I am trying to find my way through Davies' book, and one of the difficult points is his choice of what "elliptic operator" means in his text. This is the first time that I encounter some of the ...
Alex M.'s user avatar
  • 5,407
4 votes
0 answers
198 views

Relationships between fractional Sobolev space, Bessel spacse and Hajłasz–Sobolev space

It is known that for $\alpha\in(0,1)$ and $p>1$, the fractional Sobolev space $W^{\alpha,p}(R^n)$ is defined by $$ W^{\alpha,p}(R^n):=\{f\in L^p(R^n):\int_{R^n}\int_{R^n}\frac{|f(x)-f(y)|^p}{|x-y|^...
Wenguang Zhao's user avatar
4 votes
0 answers
113 views

Index of glued operator

Suppose $X_1$ is a manifold which has a tubular end $\mathbb R^+\times Y$, and $X_2$ is a manifold which has a tubular end $\mathbb R^-\times Y$. Here, $X_1,X_2$ are orientable manifolds and $Y$ is a ...
Mohan Swaminathan's user avatar
4 votes
0 answers
89 views

How can I can derive an explicit bound for the solution of the poisson's PDE?

i need some help on this question Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with $\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
user106481's user avatar
3 votes
0 answers
141 views

Existence of very weak solution to the elliptic equation $\partial_i(a^{ij}\partial_j u)=\partial_k\partial_l f$

Let $a^{ij}\in W^{1,n}\cap L^\infty (B^1)$ be uniformly elliptic, i.e. $\lambda|\xi|^2\le a_{ij}(x)\xi_i\xi_j\le \Lambda |\xi|^2$ for a.e. $x\in B^1$, $\xi\in\mathbb R^n$, where $B_1\subset \mathbb R^...
Tian LAN's user avatar
  • 435
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 ...
Pitbull's user avatar
  • 131
3 votes
1 answer
198 views

Can gradient zero implies that a function is constant with Hörmander vector fields

Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by $$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
Houa's user avatar
  • 561
3 votes
0 answers
41 views

Functional of fully nonlinear equations

Let $\left(\mathcal{M}, g_0\right)$ be a compact Riemannian manifold of dimension $n>2$ and denote by 'Ric' and $R$ respectively the Ricci tensor and the scalar curvature. The $k$-Yamabe problem is ...
Davidi Cone's user avatar
3 votes
0 answers
110 views

On the relation between ellipticity and Fredholmness as properties of linear PDE's on Fréchet spaces of smooth sections

Let $M$ be a compact manifold equipped with finite rank vector bundles $E$ and $F$ with spaces of $C^{\infty}$ sections denoted $\Gamma(E)$ and $\Gamma(F)$ respectively. It is standard that a ...
Pelle Steffens's user avatar
3 votes
0 answers
130 views

Is the range of the exterior covariant derivative closed in $L^{2}$?

Let $(M,g)$ be a compact Riemannian manifold. Given a tensor bundle $\mathbb{E}$, let $\nabla:\Gamma(\mathbb{E}) \rightarrow \Gamma(T^{*}M\otimes \mathbb{E})$ be the canonical connection induced by ...
MyShepherd's user avatar
3 votes
0 answers
190 views

$C^1$-regularity of solution of a Dirichlet problem

I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
Othman El Hammouchi's user avatar
3 votes
0 answers
324 views

Would you help me to find this expression?

I'm studying a paper, which I'll include a small piece here. And I'm struggling to calculate $$C_n\|u_{m,n}\|^{\left(\frac{2*}{2}\right)^k\frac{2*-q}{(r_k)^k}}_{L^{2*}(\Omega)}$$ Where $\Omega$ is an ...
Silvinha's user avatar
3 votes
0 answers
170 views

A version of the Nash-Moser inverse function for unbounded domains?

Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...
S.Z.'s user avatar
  • 505
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 ...
Laithy's user avatar
  • 969
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 (...
Tao's user avatar
  • 429
3 votes
0 answers
125 views

Partial regularity for transmission problem in corner domains

Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
PeteAgor's user avatar
  • 143
3 votes
0 answers
187 views

Families of unbounded operators

Let $H$ be a Hilbert space, $X$ a topological space, and $\{A_t\}_{t\in X}$ a continuous family of bounded, invertible operators on $H$. Continuous here in the sense that the corresponding map $X\...
Joey's user avatar
  • 331
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]} \{...
kenneth's user avatar
  • 1,399
3 votes
0 answers
73 views

On the principal eigenvector of an elliptic operator

Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$: \...
5th decile's user avatar
  • 1,461
2 votes
0 answers
102 views

Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential

Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
Lwins's user avatar
  • 1,551
2 votes
1 answer
179 views

Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$

Let us consider the heat equation $$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$ where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
Falcon's user avatar
  • 452
2 votes
0 answers
56 views

Convergence of conformal metrics with prescribed curvature

We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
AMHG's user avatar
  • 63
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 $\...
Laithy's user avatar
  • 969
2 votes
0 answers
77 views

Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem

Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
Elio Li's user avatar
  • 809
2 votes
1 answer
196 views

Estimate for the operator $A A_D^{-1}$

Let $O\subset\mathbb{R}^d$ be a bounded domain of the class $C^{1,1}$ (or $C^2$ for simplicity). Let the operator $A_D$ be formally given by the differential expression $A=-\operatorname{div}g(x)\...
Yulia Meshkova's user avatar
2 votes
0 answers
94 views

Existence of Green function for some perturbation of Laplace operator

Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^N$ $(N\geq2)$ and $\lambda>0$ is a small parameter. I wonder if there exists a Green function such that $$(\Delta+\lambda) G(x,y)=\delta_x\...
Davidi Cone's user avatar
2 votes
0 answers
155 views

Regularity of a weak solution to an elliptic PDE with mixed boundary condition

I have a question on the regularity of a weak solution to an elliptic PDE with mixed boundary condition. Let $\alpha \in (0,1]$ and let $D$ be a bounded $C^{1,\alpha}$-domain. Let $x \in \partial D$ ...
sharpe's user avatar
  • 721
2 votes
0 answers
114 views

A maximum principle in $\mathbb{R}^N$

Let $\delta > 0$ and define $$ H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N. $$ By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
Lucas Linhares's user avatar
2 votes
0 answers
116 views

Generalizations of elliptic chain complexes

I would like to know if it is possible to generalize the notion of elliptic chain complex of differential operators to different contexts, whether geometric or non geometric. I have in mind D-geometry....
Arturo's user avatar
  • 167
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 ...
Ali's user avatar
  • 4,135
2 votes
0 answers
94 views

Existing work on $\Delta u=c-h e^{u}$ on compact manifold with dimension n, I have read J.Kazdan's work, the condition $c > 0, n \ge 3$ is not solved

I'm reading Prof. Kazdan's lectures At page 69, Prof. Kazdan describes the research on the $\Delta u=c-h e^{u}$ PDE on a compact $n$-dimensional manifold before 1983. (Here $c$ is a constant while $h$ ...
Elio Li's user avatar
  • 809
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 ...
Curious student's user avatar
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 ...
cork_twist's user avatar
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 ...
BigbearZzz's user avatar
  • 1,245
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-...
user69642's user avatar
  • 778
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 ||...
Lao's user avatar
  • 217
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)$,...
H-H's user avatar
  • 237