Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Denis Serre's user avatar
  • 52.3k
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 ...
Victor Galitski's user avatar
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 ...
Ali Taghavi's user avatar
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 ...
asv's user avatar
  • 21.8k
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'...
Saal Hardali's user avatar
  • 7,789
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}{\...
Asaf Shachar's user avatar
  • 6,741
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 ...
Puzzled's user avatar
  • 8,998
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 ...
A.Hoo's user avatar
  • 125
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 ​​...
kumquat's user avatar
  • 185
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 (...
Pedro Lauridsen Ribeiro's user avatar
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{\...
mystupid_acct's user avatar
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 (...
BinAcker's user avatar
  • 789
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 ...
Asvin's user avatar
  • 7,746
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 ...
Ali Taghavi's user avatar
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\;\...
0xbadf00d's user avatar
  • 167
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 ...
GSofer's user avatar
  • 251
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 ...
Jake Wetlock's user avatar
  • 1,144
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_{|\...
BaoLing's user avatar
  • 329
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-...
Student's user avatar
  • 617
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 ...
tobias's user avatar
  • 749
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 ...
mmen's user avatar
  • 443
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 ...
A.Hoo's user avatar
  • 125
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 ...
Ali Taghavi's user avatar
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 ...
Ali Taghavi's user avatar
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\...
Liren Lin's user avatar
  • 305
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? ...
Math2024's user avatar
  • 141
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)$. ...
Ali Taghavi's user avatar
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 ...
Ali Taghavi's user avatar
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 ...
pascal's user avatar
  • 89
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$...
Math2024's user avatar
  • 141
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 (...
Ilia's user avatar
  • 307
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 ...
mathphysicist's user avatar
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 ...
Ali Taghavi's user avatar
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}$ ...
Ali Taghavi's user avatar
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 ...
Frubiclé's user avatar
  • 155
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 ...
TerronaBell's user avatar
  • 3,059
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 ...
joaquindt's user avatar
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 ...
Alex M.'s user avatar
  • 5,407
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 ...
ಠ_ಠ's user avatar
  • 6,025
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 ...
MrMatzetoni's user avatar
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 {...
Alex M.'s user avatar
  • 5,407
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 ...
user avatar
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$, ...
A. J. Pan-Collantes's user avatar
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(\...
user avatar
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 $$ \...
ClemensB's user avatar
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\...
Fei Cao's user avatar
  • 730
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{...
Junhyeong Kim's user avatar
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 ...
Clayton's user avatar
  • 33