Questions tagged [sp.spectral-theory]
Schrodinger operators, operators on manifolds, general differential operators, numerical studies, integral operators, discrete models, resonances, non-self-adjoint operators, random operators/matrices
87 questions
4
votes
5
answers
4k
views
About adding a negative definite rank-1 matrix to a symmetric matrix
If $B$ is a symmetric matrix then how do its eigenvalues compare to the eigenvalues of $B - vv^T$? ( where $v$ is a vector of the same dimension as $B$)
I guess that the eigenvalues of $B - vv^T$ ...
- 1,893
45
votes
11
answers
23k
views
real symmetric matrix has real eigenvalues - elementary proof
Every real symmetric matrix has at least one real eigenvalue. Does anyone know how to prove this elementary, that is without the notion of complex numbers?
- 579
23
votes
3
answers
3k
views
Trapped rays bouncing between two convex bodies
At some point during my research I was confronted with this problem, but I did not dedicate serious time to it. Anyway it stayed in the back of my mind and I'm still interested in hints for it. ...
- 9,007
20
votes
2
answers
8k
views
Conditions for smooth dependence of the eigenvalues and eigenvectors of a matrix on a set of parameters
Let $A\in\mathcal M_n$ be an $n\times n$ real [symmetric] matrix which depends smoothly on a [finite] set of parameters, $A=A(\xi_1,\ldots,\xi_k)$. We can view it as a smooth function $A:\mathbb R^k\...
- 4,312
10
votes
2
answers
1k
views
Harmonic oscillator discrete spectrum
Let us act intentionally stupid and assume we do not know that we can solve for the spectrum of the harmonic oscillator
$$-\frac{d^2}{dx^2}+x^2$$
explicitly.
Is there an abstract argument why the ...
- 501
25
votes
3
answers
1k
views
Algebraic graph invariant $\mu(G)$ which links Four-Color-Theorem with Schrödinger operators: further topological characterizations of graphs?
30 years ago, Yves Colin de Verdière introduced the algebraic graph invariant $\mu(G)$ for any undirected graph $G$, see [1]. It was motivated by the study of the second eigenvalue of certain ...
- 6,917
17
votes
5
answers
2k
views
Can always a family of symmetric real matrices depending smoothly on a real parameter be diagonalized by smooth similarity transformations?
This question is related to another question, but it is definitely not the same.
Is it always possible to diagonalize (at least locally around each point) a family of symmetric real matrices $A(t)$ ...
- 4,312
3
votes
2
answers
968
views
Can one estimate the distribution of eigenvalues of a matrix by its Cauchy/Stieltje transform?
Given a real symmetric $n$ dimensional matrix $A$, with eigenvalues $\lambda_i$ I am defining its Cauchy transform as the function, $f_A(z) = \sum_i \frac{1}{z-\lambda_i}\,$
Is there any information ...
- 617
64
votes
5
answers
15k
views
Intuitively, what does a graph Laplacian represent?
Recently I saw an MO post Algebraic graph invariant $\mu(G)$ which links Four-Color-Theorem with Schrödinger operators: further topological characterizations of graphs? that got me interested. ...
- 290
10
votes
3
answers
11k
views
Eigenvalues of sum of a non-symmetric matrix and its transpose $(A+A^T)$
Suppose we have a matrix $M$ such that $M$ is non-symmetric real and has positive eigenvalues. Do we have a relation between eigenvalues/eigenvectors of $(M+M^T)$ and those of $M$?
What if $M$ and $(M+...
- 373
5
votes
1
answer
451
views
What is $e^{- \zeta_{\Delta} '(0)}$ for a $\Delta$ the Laplacian of a manifold?
For a connected, finite graph $G$, let $\lambda_1, \ldots, \lambda_n$ denote the nonzero eigenvalues of the graph Laplacian. We define $\zeta_G = \Sigma_{i = 1}^n \lambda_i^s$.
Then Kirkoffs Matrix-...
- 1,462
4
votes
1
answer
213
views
Mapping properties of backward and forward heat equation
In a previous question on mathoverflow, I asked about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions.
The ...
- 536
3
votes
2
answers
546
views
Interpolation spaces
In this paper, the authors claim that for $s\in [0,1]$, $\left [ H_0^1(\Omega), L^2(\Omega)\right ]_\theta=\text{dom}(-\Delta)^{\frac s 2}$, where $\Omega$ is a smooth and bounded domain in $\mathbb R^...
- 630
1
vote
0
answers
455
views
Possibility of Disconnected Subgraphs of a $k$ Connected $r$ regular Graph under a given condition
Context: Given a adjacency matrix A of a $r$-regular graph $G$ (not complete graph $K_{r+1}$) . $G$ is $k$ connected.
The matrix A can be divided into 4 sub-matrices based on adjacency of vertex $x ...
- 267
47
votes
7
answers
8k
views
Good references for Rigged Hilbert spaces?
Every now and then I attempt to understand better quantum mechanics and quantum field theory, but for a variety of possible reasons, I find it very difficult to read any kind of physicist account, ...
- 53.3k
28
votes
6
answers
3k
views
Why is there no symplectic version of spectral geometry?
First, recall that on a Riemannian manifold $(M,g)$ the Laplace-Beltrami operator $\Delta_g:C^\infty(M)\to C^\infty(M)$ is defined as
$$
\Delta_g=\mathrm{div}_g\circ\mathrm{grad}_g,
$$
where the ...
- 1,942
27
votes
0
answers
1k
views
Unital $C^{*}$ algebras whose all elements have path connected spectrum
A unital $C^{*}$ algebra is called a "Path connected algebra" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$.
What is an example of a non commutative ...
- 356
22
votes
5
answers
1k
views
Rigorous justification for this formal solution to $f(x+1)+f(x)=g(x)$
Let $g\in C(\Bbb R)$ be given, we want to find a solution $f\in C(\Bbb R)$ of the equation
$$
f(x+1) + f(x) = g(x).
$$
We may rewrite the equation using the right-shift operator $(Tf)(x) = f(x+1)$...
- 1,245
19
votes
4
answers
2k
views
High multiplicity eigenvalue implies symmetry?
It is well known that on any compact Riemannian symmetric space $X$, the eigenvalues of the Laplacian have very high multiplicity (comparable with the Weyl bound), and the resulting actions $\...
- 18.7k
18
votes
4
answers
1k
views
Who first used the multiplication operator version of spectral theory
This is another history question.
Hilbert phrased the spectral theorem in terms of resolutions of the identity.
While this remained the form of Stone and von Neumann, they did also have the ...
- 827
18
votes
2
answers
5k
views
Minimum off-diagonal elements of a matrix with fixed eigenvalues
I am an engineer working in radar research. I came accross a problem on which I cannot seem to find literature. I can ask it in two different ways. Perhaps depending on the reader, the alternative ...
- 345
18
votes
2
answers
2k
views
Eigenvalues of the Laplace-Beltrami operator on a compact Riemannnian manifold
Let $(M,g)$ be a compact Riemannian manifold, and let $\Delta_g$ be its Laplace-Beltrami operator. A "well-known fact" is that the eigenvalues of $\Delta_g$ have finite multiplicity and tend to ...
- 993
18
votes
3
answers
1k
views
Spectral properties of the Laplace operator and topological properties
Suppose that $M$ is a closed Riemannian manifold: one can construct the so called Laplace-Beltrami operator on $M$. Its spectrum contains some information of the underlying manifold: for example its ...
- 181
16
votes
2
answers
905
views
Eigenvalues of an "oblique diagonal" matrix
I am looking for guidance about the behavior of powers of a particular matrix (call it $A_n$ for $n\ge2$), which has come up in a counting problem about quantum knot mosaics (a good reference for ...
- 537
15
votes
3
answers
3k
views
The first eigenvalue of the laplacian for complex projective space
What is the exact value of the first eigenvalue of the laplacian for complex projective space viewed as $SU(n+1)/S(U(1)\times U(n))$?
- 173
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 ...
- 649
13
votes
7
answers
10k
views
What is the best reference for Spectral theory?
I'm studying Bernard Aupetit: A Primer on Spectral Theory
but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things?
Thank you.
- 823
11
votes
2
answers
2k
views
Spectrum of $L^\infty(X,\mu)$
Suppose that $(X,\Sigma,\mu)$ is a measured set with respect to $\sigma$-algebra $\Sigma$.
Suppose that $L^\infty(X,\mu)$ is the set of all $\mu$-equal bounded $\Sigma$-measurable functions on $X$. ...
11
votes
1
answer
2k
views
Bounded operator on a normed space with empty spectrum
A bounded operator acting on a complex Banach space has non-empty spectrum, and the proof of this fact uses the completeness of the space.
Is there any example of bounded operator acting on a ...
- 4,461
10
votes
2
answers
1k
views
What are first eigenfunctions of Laplacian for $CP^n$ with Fubini-Study metric?
I know the round $n$-sphere has $f_i=\cos(dist(e_i, x))$ as the set of first eigenfunctions for $e_i=(0, \cdots, 1, \cdots, 0)\in \mathbb R^{n+1}$. i.e. $\Delta f_i=\lambda_1 f$, where $\lambda_1$ is ...
- 2,623
9
votes
0
answers
802
views
Positive definiteness of matrix
This question is about the positive definiteness of a (non-random) matrix that is defined using random variables as follows:
We fix the vector $v=(1,1)$ (yet, it seems the final result does not ...
- 192
9
votes
1
answer
1k
views
0 eigenvalue for a symmetric tridiagonal matrix
Let $T\in \mathbb{R}^{n\times n}$ be a symmetric tridiagonal matrix having the off--diagonal entries equal to -1. The diagonal entries are all positive, $a_i>0$, $i=\overline{1,n}$, and there ...
- 143
9
votes
3
answers
1k
views
Functions of pseudodifferential operators
Suppose I have a self-adjoint pseudo-differential operator $A$ on $\mathbb{R}^n$ and a continuous function $f$ (possibly bounded, or Schwartz, or compactly supported) on its spectrum. Then I can ...
- 9,853
9
votes
1
answer
423
views
A $n$-gon is isospectral to a regular $n$-gon (Isospectral $\implies$ isometry ?)
If an $n$-gon $P$ is isospectral to a regular $n$-gon $Q$, what could we say about the shape of the $P$. Otherwise, what could we say about $Q$? In fact, some hints or simply some ideas would be ...
8
votes
0
answers
256
views
For which type of potentials a Schrödinger operator will have discrete spectrum?
Let $-\frac{\mathrm{d}^2}{\mathrm{d} x^2} + V(x)$ be an one-dimensional Schrödinger operator for a given potential $V(x)$. Is it possible to know if such operator has a discrete spectrum (or not) ...
- 191
8
votes
1
answer
3k
views
The Guinand-Weil explicit formula without entire function theory
I'll admit from the outset that this question is slightly vague. The actual question appears at the end of the post.
The explicit formula of Guinand and Weil can be written in the following way:
For ...
- 2,151
8
votes
1
answer
421
views
$C^k$ one-parameter family of metrics
Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
- 1,407
7
votes
0
answers
424
views
Standard definition of a resolvent: A-zI must be onto, not merely have a dense range?
STANDING ASSUMPTIONS: Let $T:D_T\rightarrow X$ be a linear operator, where $X$ is a normed space and $D_T\subset X$.
DEFINITION 1 ("onto"): A complex number $\lambda$ belongs to the resolvent set $\...
- 259
7
votes
1
answer
639
views
History of spectral methods to the study of real analytic $GL_2$-Eisenstein series
I'm trying to sort out the history of spectral methods in the study of real analytic $GL_2$-Eisenstein series. From what I read so far, I would say that the subject was really kicked off by the ...
- 7,609
7
votes
1
answer
414
views
Criteria for operators to have infinitely many eigenvalues
Normal compact linear operators on Hilbert spaces have infinitely many (counting multiplicities) eigenvalues by the spectral theorem.
For non-normal operators this no longer has to be true.
There ...
- 536
7
votes
2
answers
920
views
Exotic spectrum of Laplace operator
Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
- 101
7
votes
3
answers
6k
views
Integral kernel for the resolvent of the laplace operator
Consider the Laplace operator defined in the biggest possible subset of $L^2(\mathbb{R}^2)$ and let $z \in \mathbb{C}\backslash\mathbb{R}$. Therefore $z \notin \sigma (\Delta)$ the spectrum of $\Delta$...
- 225
6
votes
3
answers
2k
views
Some explanation about Dynin's formalism
I have seen this claim on the Wikipedia page for the Yang-Mills Millenium problem by Alexander Dynin. He is a mathematician working at the Department of Mathematics of Ohio State University and so, I ...
- 1,687
6
votes
1
answer
503
views
Recovering Spherical Harmonics from Discrete Samples
Consider a collection of $N$ points on the 2-sphere chosen uniformly at random. Let's say that there's an edge between two such vertices if their geodesic distance is less than $r_N$. The resulting ...
- 7,237
6
votes
2
answers
529
views
Schrödinger eigenfunctions are bounded
Let $V:\mathbb{R}\rightarrow \mathbb{R}^{+ *}$ a real positive function such that $\displaystyle \lim_{ x \to \pm\infty} V(x)= +\infty $.
Then the Schrödinger operator $H=-\frac{d^2}{dx^2}+V(x)$ has ...
- 129
6
votes
2
answers
438
views
Can a perturbation of a matrix product always be represented as product of perturbations of its factor matrices?
Given $A=BC$ where $A\in\mathbb{R}^{m\times n}$ and for some $B\in\mathbb{R}^{m\times k}, C\in\mathbb{R}^{k\times n}$. We assume that $k>=\min(m,n)$ so that this decomposition always exists for any ...
- 135
6
votes
3
answers
3k
views
Non-empty resolvent set, then operator closed?
On Hilbert spaces, the following is true:
Let $T$ be a densely-defined linear operator with non-empty resolvent set, then $T$ is closed.
The obvious proof I see to show this uses explicitly the ...
- 115
6
votes
2
answers
539
views
Is there a reasonable notion of spectral theorem on a pre-Hilbert space?
I'm trying to understand how bad things could possibly get without Cauchy completeness as a criterion for Hilbert spaces in quantum mechanics. Obviously, doing calculus on a pre-Hilbert space would be ...
- 269
6
votes
1
answer
601
views
Monotonicity of eigenvalues
We consider block matrices
$$\mathcal A = \begin{pmatrix} 0 & A\\A^* & 0 \end{pmatrix}$$ and
$$\mathcal B = \begin{pmatrix} 0 & B\\C & 0 \end{pmatrix}.$$
Then we define the new matrix
$...
- 536
6
votes
1
answer
299
views
Phase transition in matrix
Playing around with Matlab I noticed something very peculiar:
Take the symmetric matrix $A \in \mathbb R^{n \times n}$ defined by
$$A_{ij}= i \delta_{ij} - \frac{\varepsilon}{\sqrt{i}\sqrt{j}}\,.$$
...
- 536