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
86
questions
4
votes
5
answers
3k
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,883
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. ...
- 8,775
19
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,304
9
votes
2
answers
887
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 ...
- 491
43
votes
11
answers
22k
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?
- 459
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,787
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,304
3
votes
2
answers
911
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 ...
- 555
62
votes
5
answers
12k
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. ...
- 270
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
435
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,442
4
votes
1
answer
202
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 ...
- 506
3
votes
2
answers
497
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^...
- 610
1
vote
0
answers
452
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
45
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, ...
- 52.4k
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,890
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 ...
- 312
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.3k
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
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 ...
- 837
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 ...
- 973
18
votes
2
answers
4k
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
16
votes
2
answers
885
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 ...
- 527
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
990
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
9k
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.
- 813
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
1k
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,301
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,593
9
votes
0
answers
796
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
422
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 ...
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,591
8
votes
1
answer
2k
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,141
8
votes
1
answer
407
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,303
7
votes
0
answers
237
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) ...
- 181
7
votes
0
answers
361
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
2
answers
892
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
7
votes
1
answer
357
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 ...
- 506
7
votes
1
answer
599
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,521
6
votes
1
answer
293
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}}\,.$$
...
- 506
6
votes
1
answer
486
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,107
6
votes
2
answers
509
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
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,659
6
votes
3
answers
2k
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
407
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
1
answer
548
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
$...
- 506
5
votes
1
answer
302
views
The discrete Fourier transform's Gaussian-like eigenvector
I have the $N$x$N$ matrix below where $N$ is a power of 2 (usually 64 or 256) and $\omega = 2\pi/N$. What is its largest eigenvalue?
$\begin{bmatrix}
2 & 1 & 0 & 0 & \cdots & 0 &...
- 1,537