All Questions
Tagged with differential-operators ap.analysis-of-pdes
101 questions
26
votes
5
answers
5k
views
Book Recommendation - PDE's for geometricians / topologists
I am looking for recommendations for a book on partial differential equations, which is not written for applied mathematicians but rather focused on geometry and applications in topology, as well as ...
16
votes
1
answer
784
views
The determinant as a differential operator
According to Gårding, the determinant is a hyperbolic polynomial over the space $\mathbf{Sym}_n$ of real symmetric $n\times n$ matrices. More precisely, it is hyperbolic in the direction of the ...
14
votes
1
answer
1k
views
Computing spectra without solving eigenvalue problems
There is a rather remarkable conjecture formulated in this paper, "Computing spectra without solving eigenvalue problems," https://arxiv.org/pdf/1711.04888.pdf and in this talk by Svitlana Mayboroda ...
11
votes
2
answers
1k
views
Elliptic operators corresponds to non vanishing vector fields
Added, June 19, 2019: The main motivation of this post is to associate an index to differential operator associated to a dynamical system such that the index has an interesting ...
10
votes
1
answer
849
views
Hodge decomposition in elliptic complexes
EDIT: In the book "Principles of Algebraic Geometry" by Griffiths and Harris the authors prove the Hodge decomposition for the Dolbeault operator $\bar\partial$ on differential forms on a ...
8
votes
3
answers
858
views
What does the flow of the principal symbol of the differential operator tell us about the PDE?
Disclaimer: Let me apologize in advance for asking this slightly vague question
Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there'...
8
votes
0
answers
483
views
Measuring the non-commutativity of the codifferential and pullbacks
$\newcommand{\id}{\operatorname{Id}}$
$\newcommand{\TM}{\operatorname{TM}}$
$\newcommand{\Hom}{\operatorname{Hom}}$
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\R}{\mathbb{R}}$
$\newcommand{\N}{\...
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
7
votes
2
answers
905
views
Fredholm alternative result for general elliptic system?
Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
7
votes
2
answers
935
views
What are dissipative PDEs?
I often come across the term dissipative (partial) differential equation in mathematical articles, especially in the context of hypocoercivity and entropy methods. I now have an intuitive idea of ...
7
votes
1
answer
667
views
A very basic question about projections in formal PDE theory
I am learning formal PDE theory for my research and I am currently struggling to have a basic understanding of the operations involved in completing a (say, linear) PDE system to an involutive one (...
6
votes
1
answer
241
views
Self-adjointness and choosing appropriate function spaces
Consider the following operator on some (yet undecided) space $S$ of functions over $[0\:\:1]$
$$L(u)=\sin(x)u-x\dfrac{\partial u}{\partial x}$$
Now, its formal adjoint is
$L^*(v)=\sin(x)v+\dfrac{\...
6
votes
2
answers
448
views
About the index theorems
I am looking for some introductory book/paper/notes about the several index theorems and their applications. By several I mean the "classical" Atiyah-Singer theorem, the local index theorem (...
6
votes
1
answer
351
views
Fredholm theory of non elliptic operators
In this question we search for a big list of non elliptic operators whose Fredholm index is finite or whose Fredholm theory is extensively discussed. The main motovation is the conference linked in ...
6
votes
2
answers
2k
views
The spectrum of the Hodge Laplacian on a Riemannian manifold
The Hodge Laplacian operator on differential forms on a (compact?) Riemannian manifold carries useful information about the topology of the manifold. In particular, the multiplicity of the zero ...
6
votes
2
answers
1k
views
The adjoint operators as elliptic operators
Edit:
It seems that the link "https://cms.math.ca/Events/Toulouse2004/abs/ss7.html#lt" which contains a talk by Loic Teyssier about homological equations and vanishing cycles is temporally ...
6
votes
1
answer
436
views
Definition of the nonlinear part of the drift in a (stochastic) Navier-Stokes equation
Let
$T>0$
$d\in\mathbb N$
$\Lambda\subseteq\mathbb R^d$ be bounded and open
$\mathcal V:=\left\{v\in C_c^\infty(\Lambda)^d:\nabla\cdot v=0\right\}$, $$V:=\overline{\mathcal V}^{\left\|\;\cdot\;\...
6
votes
0
answers
113
views
Schwartz kernel of spectral projection of Laplacian and integrated density of states
I'm reposting here a question I asked on MSE which did not receive an answer.
I am considering the Dirichlet Laplacian $\Delta$ on some smooth domain $U$. For now assume that $U$ is bounded, and later ...
5
votes
1
answer
543
views
The principal symbol as an element in the K-theory
This line
The symbol may naturally be thought of as an element in the K-theory
of X
appears in the nLab page on principal symbols for differential operators. What does this mean? Are they talking ...
5
votes
2
answers
977
views
Symbol of the Laplace-Beltrami on $\mathbb{S}^2$
This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e.
A differential operator $P=\sum_{|\...
5
votes
1
answer
932
views
Mellin transform between heat kernel and zeta-function
For some notion of a "positive operator" $D$ of "Laplacian type" one seems to be able to define a notion of a zeta-function as $\xi(s,f,D) = Tr_{L^2}(f D^{-s})$ where $f \in L^2$ (the space of square-...
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
5
votes
1
answer
222
views
Domains with discrete Laplace spectrum
Let $\Omega \subset \mathbb{R}^n$ be a domain. Assume that the Laplacian $-\Delta=-(\partial^2/\partial x_1^2+\cdots+\partial^2/\partial x_n^2)$ has a discrete spectrum on $L^2(\Omega)$ (i.e., we are ...
5
votes
1
answer
471
views
Please recommend some literature on the systematical theory of the elliptic systems!
Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...
5
votes
1
answer
457
views
An alternative representation of the principal symbol of the Laplace operator
Assume that $(M,g)$ is a $n$ dimensional Riemannian manifold. We denote by $\Delta$, the Laplacian associated to this Riemannian structure.
Are the following two conditions equivalent?
First condition ...
5
votes
1
answer
414
views
Fredholm index vs. Limit cycle theory
Let $A$ be the algebra of all smooth functions $f: \mathbb{R}^2 \to \mathbb{R}$ such that $f$ is flat at the origin and is real analytic on $\mathbb{R}^2 \setminus \{0\}$.
Let $B $ be ...
5
votes
1
answer
270
views
Positivity of semiclassical pseudodifferential operators
Let me first give some background. (My reference is Martinez's book An introduction to semiclassical and microlocal analysis)
Let $m\in\mathbb{R}$, and $p(x,\xi):\mathbb{R}^n_x\times\mathbb{R}^n_\xi\...
5
votes
0
answers
878
views
A fourth-order linear PDE
I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$):
$$x^3 f_{xxxt}+ f =0$$
Does anyone know if this type of PDE already appeared in the literature? ...
5
votes
0
answers
218
views
A differential operator analogy of certain fact in real analysis of smooth functions
Let $E\to M$ be a smooth vector bundle over a smooth manifold $M$.
Let $D$ be a differential operator defined on the space $\Gamma(E)$ of smooth sections of $E$. We fix a section $s\in \Gamma(E)$.
...
5
votes
0
answers
279
views
The Spectrum of certain differential operators
We fix a Hilbert space isomorphism $\phi:H^{1}\to H^{2}$. Here by $H^{s},\;s=1,2,\;$ we mean the sobolev space on $\mathbb{R}^{2}$ or $S^{2}$.
We consider the following polynomial vector field on ...
4
votes
3
answers
2k
views
book on PDE on manifolds
let $M$ be a Riemannian manifold and $\alpha$ be any some unknown form on $M$. I am interested in solutions or some references of the equation of type $(d + \delta) \alpha = 0$ where $\delta$ is the ...
4
votes
3
answers
473
views
Generalized Fuchsian-type PDE
Consider
$$
\big(1+ t\partial_t\big) \left(\partial^3_x+ {6\over x}\partial^2_x + {6\over x^2}\partial_x\right)A(x,t)+ {t\over (1-x)^3} A(x,t)=0
$$
with the initial condition $A(x,0)=1$. In a small $t$...
4
votes
1
answer
331
views
Existence of solution for the PDE $p \frac{\partial f(p, q)}{\partial p}-q \frac{\partial f(p, q)}{\partial q}=g(p, q)$
Consider the following PDE:
\begin{equation}
p \frac{\partial f(p, q)}{\partial p}-q \frac{\partial f(p, q)}{\partial q}=g(p, q),\tag{$\star$}
\end{equation}
where $g$ is a flat function at the point (...
4
votes
1
answer
812
views
A name for PDE systems which are neither under- nor overdetermined?
The concepts of overdetermined and underdetermined PDE systems are well known. However, all sources I have so far looked into appear to avoid giving any name to PDE systems which are neither ...
4
votes
2
answers
302
views
Quaternion holomorphic maps via certain elliptic operator instead of immediate generalization of complex differentiability
We identify $\mathbb{R}^4$ with the quaternions $\mathbb{H}=\{t=x+yi+zj+wk\mid x,y,z,w\in \mathbb{R}\}$. We define the differential operator $D$ on $C^{\infty}(\mathbb{R}^4)$, the space of smooth ...
4
votes
1
answer
377
views
Differential inequalities under which a flat function must be identically zero
Let $f:\mathbb{R}\to \mathbb{R}$ be a smooth function which is flat at $0\in \mathbb{R}$. That is $f^{(k)}(0)=0,\; k=0,1,2,\ldots $.
Assume that $|f''(x)|\leq M|f(x)|\quad \forall x\in \mathbb{R}$ ...
4
votes
1
answer
254
views
Strongly continuous semigroups and symbols of pseudo differential operators
I am considering the Cauchy IVP for the evolution equation
$$u_t + \Psi u =0$$
where $\Psi$ is a linear pseudo differential operator with symbol $\widehat{\Psi}\left(\underline{\xi}\right)$.
The ...
4
votes
1
answer
569
views
Does the operator $\mathrm{id}-t\Delta$ or its Green's function have a name?
Consider a Riemannian manifold and let
$\mathrm{id}$ be the identity operator, let
$\Delta$ be the scalar, negative-semidefinite Laplace-Beltrami operator, and let
$t > 0$ be a parameter.
Does ...
4
votes
2
answers
242
views
Sharp Dirichlet heat kernel estimates in exterior domains?
I am right now working on some linear parabolic problems studying the behaviour of its solutions for large initial data. To do this, I have needed to use some estimates of the Dirichlet and Neumann ...
4
votes
2
answers
481
views
Hörmander's hypoellipticity theorem for complex coefficients
Hörmander's theorem says that if $L = \sum _{i=1} ^r X_i ^2+ X_0 + f$ on some open subset $U \subseteq \Bbb R$ has the property that the Lie algebra generated by $\{X_0, \dots, X_r\}$ at every point ...
4
votes
1
answer
525
views
Alternative definitions of infinite-order differential operators
Given (not-necessarily linear) fibre bundles $E \to M$ and $F \to M$ over a smooth manifold $M$ with structure sheaf denoted $\mathcal{O}_M$, a (not-necessarily-linear) differential operator taking ...
4
votes
0
answers
169
views
Inverse Laplacian and convolution in Albeverio's “Solvable Models in quantum mechanics”
I asked this question on math.stackexchange.com two weeks ago but got no answers so far and I got no clues from literature, so maybe someone here knows a reference. I hope it is ok to ask this ...
4
votes
0
answers
75
views
The sum of linear partial differential operators of equal strength
If $P$ and $P'$ are linear partial differential operators with constant complex coefficients on $U = \mathring U \subseteq \Bbb R^m$, we say that $P \sim P'$ if and only if $\dfrac {\tilde P} {\tilde {...
4
votes
0
answers
110
views
Regularity of the solution to a differential system with variable coefficients
Let $\Omega\subset \mathbb R^n$ be a convex subset. All the objects below will be defined on this set.
Let us assume $P(x,D)$ to be a differentiable operator order $m$ and of square size, that is ...
3
votes
1
answer
407
views
Existence of solution to linear inhomogeneous first order PDEs systems
Maybe I am asking a triviality. If that is the case, please let me know and I will close the question. I have searched a lot but I didn't find an adequate and forceful response.
For $i=1,\ldots, r$, ...
3
votes
3
answers
383
views
Density of a functional space
Let $D$ be a bounded domain of $\mathbb{R}^n$ with smooth boundary $\partial D$. Is the following subspace dense in space $L^2(D)\times L^2(\partial D)$:
$$\{(f,f\rvert_{\partial D}) : f\in C^\infty(\...
3
votes
1
answer
247
views
Are there fundamental solutions of the laplacian that decay rapidly?
The question
I consider the Laplacian $\Delta = \partial_1^2 + \partial_2^2 + \partial_3^2$ in $\mathbb{R}^3$. By the "standard" fundamental solution of the Laplacian, I mean the function
$$ \...
3
votes
1
answer
384
views
A possible error in Villani's monograph "Hypocoercivity"
I think there is an (possible) error in Villani's monograph titled "Hypocoercivity". To be specific, in page 48, he wrote "For the second term in (6.9), we use the identity $$\nabla\...
3
votes
1
answer
373
views
Asymptotic expansion of heat operator $e^{-\Delta{t}}$ and $e^{-\mathcal{D}t}$ of Dirac operator
For a closed Riemannian manifold $M$ of $n$-dimension, we consider the Laplace-Beltrami operator $\Delta$.
It is known that we have an asymptotic expansion for the trace of heat operator $e^{-\Delta{...
3
votes
1
answer
154
views
Deriving differential equation from difference of PDE solutions
This is an edited cross-post from Math SE because after several days it's received no good answer. I think it's less appropriate for a general QA Math site and is likely better for Overflow with ...