Questions tagged [differential-operators]
Elliptic, parabolic and hyperbolic operators. Laplace, Laplace-Beltrami, Schrödinger, Dirac. Exterior derivative and Lie derivative operators.
542 questions
0
votes
2
answers
465
views
Spectrum equals eigenvalues for unbounded operator
Let $D$ be an unbounded densely defined operator on a separable Hilbert space $H$. If $D$ is diagonalisable with all eigenvalues having finite multiplicity and growing towards infinity, does it follow ...
0
votes
1
answer
590
views
Yang-Mills equations are not elliptic [closed]
How does one prove that the Yang-Mills equations (from classical Yang-Mills theory) are not elliptic?
Alternatively, how does one calculate the principal symbol of the Yang-Mills equations?
Can ...
0
votes
1
answer
5k
views
3x3x3 Laplace Kernel? [closed]
Does anyone know what a 3x3x3 Laplacian kernel looks like? I realize that might be an open-ended question, but I need to apply a Laplacian convolution using a 3x3x3 Laplacian kernel, and frankly I don'...
0
votes
1
answer
131
views
$f_n$ is bounded in $C(0,T;H^2(0,L))$ so is $f_n^p$?
Let $1<p<\infty$, and $f_n$ be a bounded sequence in $C(0,T;H^2(0,L))$. It looks obvious to me that $f_n^p$ is also bounded in $C(0,T;H^2(0,L))$. When we take the derivative of $f^p(t)$ twice we ...
0
votes
1
answer
169
views
Explicit solution of the Lamé equation for n=1
The Jacobi form of Lamé equation is given by
\begin{equation}
\left(\frac{d^2 }{du^2} - n(n+1)k^2 \operatorname{sn}^{2}(u)-E\right)\Psi (u) = 0,
\end{equation}
where $k\in(0, 1)$ is parameter ...
0
votes
1
answer
297
views
Application of the Frechet derivative [closed]
$f\colon U\subset \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$ is differentiable at $x_{0}$ if there exist a linear transformation $T\colon \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$, such that:
\...
0
votes
1
answer
144
views
Propagation of Klein-Gordon solutions in extra dimensions
In his paper "Von Neumann Algebras of Local Observables for Free Scalar Field" Araki used the solutions of the equation
$$\frac{\partial ^{2}h}{\partial x^2}-\frac{\partial ^{2}h}{\partial t^...
0
votes
2
answers
289
views
Derivations of $\chi^{\infty}(M)$ which are elliptic operator
What is an example of a manifold $M$ with $\dim(M)>1$ whose Lie algebra $\chi^{\infty}(M)$ of smooth vector fields admit an elliptic operator $D:\chi^{\infty}(M)\to \chi^{\infty}(M)$ such ...
0
votes
1
answer
112
views
Explicit solution for one-dimensional Gelfand problem
I wonder if the ODE
$y''+e^{y}=a$
can be solved explicitly. For $a=0$, it is well-known that there is a two-parameter family of explicit solutions
$y=\ln(2)-2\ln(\cosh(cx+d))+2\ln(c)$, $c,d \in R$...
0
votes
1
answer
795
views
Can we construct a Hilbert space where the operator following differencial operator is symmetric?
I'd like to know if one can define a pertinent Hilbert space where the operator
$$A_p v := -\frac{1}{2} v" + (vF + v\int_\mathbb{R} Sp + p\int_\mathbb{R} Sv )'$$ is symmetric. Here, $p$ satisfies ...
0
votes
1
answer
95
views
Rotation of the coordinate system for multi-index differentiations
Let $\mathbf{f} = (f_1,\dotsc, f_n)$ be a $C^l$-map from an open subset $U$ of $\mathbb R^d$ to $\mathbb R^n$, and let $x_0 \in U$ be such that $\mathbb R^n$ is spanned by partial derivatives of $f$ ...
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.
0
votes
1
answer
567
views
How to solve this differential equation with an infinite sum?
I would like to find solutions of the following differential equation:
$ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$
For example in space of function from $\mathbb R^*$ to $\mathbb ...
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
0
votes
0
answers
99
views
Generalized Laplacian
I was wondering if any of you had ever encountered operators on
$L^2(\mathbb{R}^2)$ of the form
$$
\nabla \cdot (A(x)\nabla)
$$
where $A(x)$ is some symmetric matrix field (viewed as $L^2(\mathbb{R}^{...
0
votes
0
answers
40
views
In what sense is a change of boundary conditions a finite rank perturbation?
Also asked on MSE (https://math.stackexchange.com/questions/4987654/in-what-sense-is-a-change-of-boundary-conditions-a-finite-rank-perturbation and https://math.stackexchange.com/questions/4875398/how-...
0
votes
0
answers
141
views
The tensor product of two Fredholm operators
What can be said about the tensor product $T\otimes S$ of two Fredholm operators $T:X_1\to Y_1$ and $S:X_2 \to Y_2$ where $X_1,X_2,Y_1, Y_2$ are Banach spaces and tensor product of ...
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
0
votes
0
answers
99
views
Question on notation for definition of symbol of differential operator
I was looking at this definition of the symbol of a differential operator, and am unsure what "$T^*X\otimes_XE$" means. I couldn’t find an explanation anywhere on nlab either. My main ...
0
votes
0
answers
86
views
A naive looking question about Gelfand-Kirillov dimension
Let $A$ and $B$ two affine algebras, $A$ a subalgebra of $B$. If we have a left $A$-module $M$ we can extend the scalars: $B \otimes_A M$. I will denote the resulting $B$-module by $N$
How are $\...
0
votes
0
answers
63
views
Computing the eta invariant of a rather contrived operator on the circle
For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
0
votes
0
answers
69
views
A differential operator of differential operators
Consider a differential operator of the form $x^2-2\frac{\partial}{\partial x}$, where $x$ itself is the laplacian.
Does such an operator make sense? The motivation for this is that such an object is ...
0
votes
0
answers
137
views
Elliptic partial differential equations with Robin boundary condition and domain of fractional power of Robin Laplacian operator
This question has been posted on Mathematics Stack Exchange but got no response, and so I put it here.
When I read the paper "On the attractor for a semilinear wave equation with critical ...
0
votes
0
answers
246
views
A question about second fundamental form of Riemannian isometric embedding
I have got a question unsolved for some time. I do not know whether it is trivial or not:
**I omit a very important fact: The metric at point p is second-order flat, i.e. $d_p \phi(-,v) = 0$ and $d_p^...
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
0
votes
0
answers
82
views
Discontinuity of the Fourier transform of $ x \mapsto (1+ x^2)^{- \gamma/2}$ for $\gamma \leq 1$
Fix $\gamma > 0$. Let $\mathcal{F}$ be the Fourier transform and consider the function
$f(x) = (1+ x^2)^{- \gamma/2}$ for $x \in \mathbb{R}$. This function is in $\mathcal{S}'(\mathbb{R})$ and its ...
0
votes
0
answers
92
views
Positive definite matrix and Hörmander theory
Let $\varphi \in C_{0}^{\infty}, \varphi\neq 0$. We'll consider the inner product in $L^{2}.$
Let $\alpha,\beta$ multi-index, $m\in \mathbb{N}$ such that $|\alpha|,|\beta|\leq m$ and set
$$
\varphi_{\...
0
votes
0
answers
126
views
On the convergence of operators and their spectra
We consider a sequence of operators $\{L_n\}_{n=1}^\infty$. Each operator $L_n$ is a densely defined (possibly unbounded) closed linear operator on a real Hilbert space $H_n.$ The domain of $L_n$ is ...
0
votes
0
answers
40
views
Time regularity of traces
I have a question about the time regularity of the traces in one dimension.
Suppose I have a function space $$X = C^1([0,T];L^2(0,1))\cap C([0,T],H^1(0,1))$$ and I define an operator $E$ on $X$ by $(...
0
votes
0
answers
129
views
Characterization of convolution operators via the Fourier transform
Let $\mathcal{L}$ be a linear and continuous operator from the space of tempered distributions $\mathcal{S}'(\mathbb{R})$ to itself. The Fourier transform of a tempered distribution $f$ is denoted by $...
0
votes
0
answers
113
views
References for a proof or interpretation of deficiency indices theorem (von Neumann)
I am looking for a proof or some interpretation around why the domain of the new extension $D(A_U)$ in the Theorem below is given by its specific formula.
I have already searched in papers and here ...
0
votes
0
answers
62
views
A uniform upper bound for Fredholm index of Laplace quasi-operators on a compact parallelizable manifold
Assume that $M$ is a compact parallelizable manifold. Is there an upper bound for the absolute value of Fredholm index of all operators in the form $D=\sum_{i=1}^n \partial^2/\partial{X_i^2}$...
0
votes
0
answers
77
views
A kind of heat equation on a foliated 3D manifold whose leaves are invariant under the flow of a vector field
Assume that $\mathcal{F}$ is a foliation of a $3$ dimensional compact Riemannian manifold $M$ which is invariant under flow of a transversal non vanishing vector field $X$. Let $\Delta_{\...
0
votes
0
answers
71
views
Addition property of Laplace-Beltrami eigenfunctions in symmetric spaces
[Originally posted on math stackexchage but have not received feedback in over a month, I'm hoping someone here could point me in the right direction].
Consider the eigenvalue equation for the ...
0
votes
0
answers
286
views
Gradient of the trace of the logarithm of a product
Suppose $G$ and $A$ are full rank matrices. Is there a closed-form solution for
$$\nabla_G \mbox{Tr} (A \log GG^\top)$$
when $A$ is a PSD matrix?
0
votes
0
answers
241
views
Does regularity of a D-module for an unusual filtration imply regularity for the usual one?
One definition of regular D-modules on affine space is that a D-module is regular if it has a filtration compatible with the order filtration on differential operators whose associated graded is ...
0
votes
0
answers
136
views
Elliptic complexes for bundles with infinite dimensional fibers
I am looking for differential geometric treatment of bundles over finite dimensional manifolds which have infinite dimensional fibers. It would be nice to have theory for general locally convex ...
-1
votes
1
answer
211
views
Stone Cech compactification for exponential map
Recently I met with a problem related to Stone-Cech Compactification theorem
in Furstenberg's famous paper "non-commuting product."
I try my best to understand Stone-Cech compactification theorem by ...
-2
votes
1
answer
712
views
The spherical harmonics are the EIGENVECTORS of Beltrami operator [closed]
In the well-known book "THE PRINCETON COMPANION TO MATHEMATICS" page 296, it is indicated that the spherical harmonics are the EIGENVECTORS of the Beltrami operator. In the document Spectral Geometry ...
-3
votes
0
answers
43
views
Do the domains of the two square roots of a positive (unbounded) operator coincide? [closed]
Let $H$ be a Hilbert space and $D:\mathrm{Dom}(D) \to H$ a densely defined operator on $H$. We further assume that $D$ is closed and self-adjoint. If we further assume that $D$ is positive, then we ...
-4
votes
1
answer
571
views
Derivatives of infinite order [closed]
Is there any sense of taking an infinite number of derivatives? Is it discussed in the literature?
For example, can one make sense of
$$\frac{\partial^{\infty}f(x_1,x_2,\cdots)}{\partial x_1 \...
-4
votes
1
answer
144
views
Coordinate free computation of the second derivative of a functional [closed]
Let $F(g(f))$
be a functional that sends functions of a vector variable (from $n$-dimensional vector space) to $\mathbb R$.
$g$
is some function of scalar valued functions $f$.
I'm interested in a ...