Questions tagged [differential-operators]
Elliptic, parabolic and hyperbolic operators. Laplace, Laplace-Beltrami, Schrödinger, Dirac. Exterior derivative and Lie derivative operators.
542 questions
5
votes
2
answers
149
views
Showing an operator is (or not) closed on $L^2(\mathbb{R})$
I am linearizing nonlinear waves and get operators of the form below. Everything is considered in $L^2(\mathbb{R})$.
Consider the operator $L_1=\frac{d}{dx}$. The domain is $H^1(\mathbb{R})$ and it is ...
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 ...
- 443
5
votes
1
answer
187
views
Getting out a system of linear ODEs by knowing the Magnus expansion
Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
$$Y(t_1)...
- 749
5
votes
1
answer
339
views
Euclidean algorithm for differential operators
While perusing through the article "Algorithms for solving linear ordinary differential equations" by Winfried Fakler (a pdf can be found through a google search), I noticed Faker mentioning on page 2 ...
- 347
5
votes
1
answer
807
views
Self-adjoint extension of locally defined differential operators
The following is well known. Given a symmetric differential operator, like $\partial_x^2$, defined on smooth functions of compact support on $\mathbb{R}$, $C_0^\infty(\mathbb{R})$, one can count the ...
- 21.5k
5
votes
1
answer
480
views
Regular holonomic D-modules as generalisation of regular singular points
I'm trying to understand why the definition of a regular holonomic D-module is a good generalisation of the usual definition of a regular singular point for a differential equation. More precisely, ...
- 1,017
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 ...
- 125
5
votes
1
answer
254
views
A question on moduli space of Hitchin's equations
I am reading Hitchin's Self-Duality paper. In section 5 (page 85), he is trying to prove that $Dim H^1=12(g-1)$. In doing so, he defines an operator $d^*_2+d_1$, where $d^*_2$ and $d_1$ are given by
$...
- 111
5
votes
1
answer
132
views
Gaussian bounds for the heat kernel of regular domains in Riemannian manifolds
In "Heat Kernels and Spectral Theory" Davies constructs upper and lower bounds for the kernels associated to Dirichlet elliptic operators on regular domains of $\mathbb R^n$. Has anybody done the same ...
- 5,407
5
votes
1
answer
186
views
Reference for Weyl's law for higher order operators on closed Riemannian manifolds
I am looking at page 32 (beginning of Chapter 5) here. We are given a formally self-adjoint, metrically defined differential operator $A$ on $(M^n,g)$ of order $2l$ with positive definite leading ...
- 153
5
votes
1
answer
633
views
The "Rolle theorem" for sections of a vector bundle
1) Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
- 356
5
votes
1
answer
541
views
Localizability of differential operators a la Grothendieck
Hello,
Maybe this question is trivial, so sorry
Let $A$ be a (comm. with 1) $k$-algebra, where $k$ is a ring (comm. with 1).
Then we can define the module of differential operators $D^{\leq n} (A)$,...
- 5,562
5
votes
1
answer
804
views
Is the second weak derivative a self-adjoint operator?
Let $W^{2,2}(\mathbb R)\newcommand{\R}{\mathbb R}\newcommand{\C}{\mathbb C}\newcommand{\N}{\mathbb N}$ denote the Sobolev space as defined in chapter 5 of Evans' PDE book and consider the linear ...
- 1,326
5
votes
1
answer
164
views
Spectrum of an elliptic operator in divergence form with a reflecting boundary condition
Let $\Omega$ be a bounded open domain and $v:\Omega\to\mathbb{R}^n$. Consider the following elliptic operator in divergence form, defined on smooth functions $u: \Omega \to \mathbb{R}$
\begin{align}
L ...
- 53
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 ...
- 356
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 ...
- 356
5
votes
1
answer
2k
views
Eigenvalues of the D'Alembertian operator
My question about the spectral theory of the D'Alembertian operator on a Lorentzian manifolds (say the spacetime $M^{3+1}$) given by $$\square = -\partial_{t}^2 + \Delta$$ for the metric $g=(-+++)$. ...
- 67
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\...
- 305
5
votes
0
answers
227
views
Relations between two Schwartz kernels in dimensions $n$ and $n+1$
Let $(M,g)$ be an $n$-dimensional pseudo-Riemannian manifold and $\Box_g$ be the Laplace-Beltrami operator on $M$. Consider $z \in \mathbb{C}$ such that $\mathrm{ Im}(z)>0$, and we define $P_0 := \...
- 319
5
votes
0
answers
203
views
Differential equation involving Casimir operator on $\operatorname{SL}(2,\mathbb{R})$
Throughout this post, we let $G$ denote the Lie group $\mathrm{SL}(2,\mathbb{R})$. For $t,\theta \in \mathbb{R}$ we define the following elements of $G$:
\begin{align*} A(t) &= \begin{bmatrix}e^t &...
- 1,769
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? ...
- 141
5
votes
0
answers
280
views
Was an index theorem for manifold with local boundary condition proven?
I would like to ask a question on the bibliography of the index theorems on manifold with boundary.
Before my bibliographical research my understanding of the field was that for manifold with boundary,...
- 51
5
votes
0
answers
201
views
Center of Grothendieck differential operators in positive characteristic
Let $k$ be a field of characteristic $p$. Consider the algebra $A:=\mathcal{D}(k[x])^{S_2}$ consisting of Grothendieck differential operators invariant under the $S_2$ action $x\mapsto -x$. The ...
5
votes
0
answers
191
views
Index of the Fredholm operator
I have two vector bundles $E_1$, $E_2$ over $M$ and an embedding of the smooth sections $\lambda : \Gamma(M, E_1) \rightarrow \Gamma(M, E_1 \oplus E_2)$. I consider a Fredholm differential operator $...
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)$.
...
- 356
5
votes
0
answers
273
views
Is there any geometrical/homological intuition behind symmetrized gradient?
The gradient/differential/exterior differential/divergence/curl are all strictly related first order differential operators. As far as I understood, they are the base of (co)homological theories in ...
- 980
5
votes
0
answers
140
views
Family of Hodge decomposition
It is known that a metric $g$ gives a Hodge decomposition:
$$
\Omega^*(M)=\mathcal H^*(M)\oplus d\Omega^*(M) \oplus \delta_g \Omega^*(M)
$$
Note that the usual differential restricts to an isomorphism ...
- 2,789
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
5
votes
0
answers
321
views
Weyl algebra acting on a polynomial ring
Let $\mathbb K$ be a characteristic-$0$ field, $R=\mathbb K[x_1,\ldots,
x_n]$ be a polynomial ring, and $W=\mathbb K[x_1,\ldots,x_n,\partial_1,\ldots \partial_n]$ be the Weyl
algebra. As usual $W$ ...
- 51
5
votes
0
answers
322
views
Differential operators acting on the Schwartz space
I asked a similar question on math stack exchange but didn't get an answer so I will try to ask it here. Any help/suggestion is most than welcome!
Let $D$ be a linear differential operator with ...
- 81
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 ...
- 356
5
votes
0
answers
270
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
- 156k
5
votes
0
answers
273
views
root system generalizations of Sekiguchi-Debiard (aka Laplace-Beltrami) operators
For the root system $A_n$, taking the limit $q = t^\alpha$ and $t \to 1$, and letting $Y = (t-1) X -1$ one obtains from the Macdonald operator the so-called Sekiguchi-Debiard operator:
$$D_\alpha(X) =...
- 4,466
5
votes
0
answers
501
views
Monodromy of differential equations
Let $D$ an ordinary differential equation (let's assume $D$ only has regular singularities). Suppose $D$ = $D_0$$\partial$, where $\partial$ is $q\frac{d}{dq}$ My question is: Does there exist any ...
- 51
5
votes
0
answers
547
views
Why should we consider D-module on flag variety of Lie algebra?
Why don't we stay at D-module on base affine space but go to study flag variety of Lie algebra?
I remembered there are nice papers of Bernstein-Gelfand-Gelfand and Gelfand-Kirillov discussing the ...
- 51
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 ...
- 89
4
votes
5
answers
891
views
Analytic hypoellipticity of linear ordinary differential operators
Let $P = a_n(x) D_x^n + a_{n-1}(x) D_x^{n-1} + \ldots + a_0(x)$ be a linear ordinary differential operator with polynomial (or real analytic) coefficients $a_j(x)$. Suppose that $a_n(x)$ doesn't ...
- 1,412
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$...
- 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 (...
- 307
4
votes
2
answers
410
views
Asymptotic behavior of the solution of the high degree differential equation $(x^{2n}y^{(n)})^{(n)}-x^2y=\lambda \; y$
The following differential equation has two independent solutions, one of the two is decreasing exponentially at infinity (k-Bessel function).
$$(x^2y')'-x^2y=\lambda \;y$$
Now for a higher-degree ...
- 1,199
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 ...
- 5,293
4
votes
1
answer
228
views
Diagonalizing selfadjoint operator on core domain
Let $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$...
- 143
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 ...
- 356
4
votes
2
answers
210
views
permutations rescuing chain/product rules?
Let $\mathfrak{S}_n$ be the permutation group on $[n]$. Denote the cardinality of $\{\pi\in\mathfrak{S}_n: \pi^2=id\}$, the set of involutions, by $I(n)$.
It is well-known that these numbers have the ...
- 43.2k
4
votes
1
answer
177
views
Analogue of vector for differential operators
A differential operators of order one is a vector field which is defined pointwise . Differential operators of order greater than one are not. The closest analogue to a vector is given by a germ of a ...
- 35
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}$ ...
- 356
4
votes
1
answer
1k
views
Infinitesimal generator of a Markov process
We define the infinitesimal generator of a Markov process as
$$Gf = \lim_{h\to 0} \frac{K_hf - f}{h}$$
where $f$ is a function on the state space, $K_h$ is a continuous time operator on the Markov ...
- 149
4
votes
1
answer
1k
views
Vector Laplace Beltrami operator of the Gauss map
Consider an abstract surface $(M,g)$ embedded into $\mathbb{R}^3$ via $f:M \to \mathbb{R}^3$. Denote by $N:M \to \mathbb{R}^3$ the Gauss map (normal field) of the surface. Write the Laplace Beltrami ...
- 337
4
votes
1
answer
156
views
approximation of a Feller semi-group with the infinitesimal generator
Let $T_t$ a Feller semigroup (see this) and let $(A,D(A))$ its infinitesimal generator.
If A is a bounded operator it is easy to show that the Feller semi-group is $e^{tA}$.
Is this formula always ...
- 293
4
votes
2
answers
514
views
Is the kernel of the coderivative infinite-dimensional?
$\newcommand{\al}{\alpha}$
$\newcommand{\euc}{\mathcal{e}}$
$\newcommand{\Cof}{\operatorname{Cof}}$
$\newcommand{\Det}{\operatorname{Det}}$
Let $M,N$ be smooth $n$-dimensional Riemannian manifolds (...
- 6,741