Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
2 answers
871 views

Decay of eigenfunctions for Laplacian

Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$. Its eigendecomposition is fully known: see wikipedia It seems like the largest eigenvalue $\lambda_1$ is ...
0 votes
0 answers
53 views

Spectral theory of compact operator for quasi-Banach spaces

Let $X$ be a Banach space and let $Y\subset X$ be a quasi-Banach space (with compact inclusion). Suppose $T:X\to X$ is a compact operator such that $1$ is not its eigenvalue and $T|_{Y}:Y\to Y$ is ...
2 votes
1 answer
112 views

On compactly supported functions with prescribed sparse coordinates

Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
3 votes
2 answers
392 views

Monotonicity of matrix conjugation

Let $A$ and $B$ be positive-definite matrices such that $A \le B.$ By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$ I am now curious under ...
3 votes
2 answers
294 views

Domain of spectral fractional Laplacian

Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
1 vote
1 answer
120 views

Sobolev-type estimate for irrational winding on a torus

Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
3 votes
0 answers
124 views

Leibniz rule bound for the inverse of the Laplacian?

Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
0 votes
1 answer
267 views

Determine if an integral expression is in $L^2(\mathbb{R})$

Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
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 ...
4 votes
1 answer
201 views

Spectrum Cauchy-Euler operator

A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations We consider the operator $$(Lf)(x) = \...
1 vote
1 answer
195 views

Eigenvalues of operator

In the question here the author asks for the eigenvalues of an operator $$A = \begin{pmatrix} x & -\partial_x \\ \partial_x & -x \end{pmatrix}.$$ Here I would like to ask if one can extend ...
4 votes
1 answer
390 views

Existence of periodic solution to ODE

We shall consider the matrix-valued differential operator $$(L u)(x) :=u'(x) - \begin{pmatrix} 0 & \sin(2\pi x-\frac{\pi}{6})\\ - 2\sin(2\pi x+\frac{\pi}{6}) & 0 \end{pmatrix} u(x).$$ This is ...
5 votes
1 answer
564 views

Convergence of discrete Laplacian to continuous one

I make the following observation: Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.) This one has eigenvalues ...
6 votes
0 answers
107 views

Eigenvalues of splitting scheme

In numerical analysis it is common to approximate a solution to a PDE $$u'(t) = (A+B) u(t), \quad u(0)=u_0$$ which is just given by $e^{t(A+B)}u_0$ by the splitting $e^{tB/2} e^{tA} e^{tB/2}u_0.$ Here,...
0 votes
0 answers
67 views

Multiplication of a Riesz basis

Let ${(\phi_n(.),\psi_n(.))}_{n\geq 1}$ be a Riesz basis in $H^1_0(0,1) \times L^2(0,1)$. My question is the following: If we multiply the basis by the matrix $e^{Mx}$, $x \in (0,1)$ where $M$ is a ...
6 votes
1 answer
256 views

Perron-Frobenius and Markov chains on countable state space

The following question naturally arises in the theory of Markov chains with countable state space to which I would be curious to know the answer: Let $A:\ell^1 \rightarrow \ell^1$ be a contraction, i....
3 votes
0 answers
322 views

Heat equation damps backward heat equation?

In a previous question on mathoverflow, I was wondering about the following: Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
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 ...
2 votes
1 answer
220 views

Diagonalise self-adjoint operator explicitly?

Consider the linear constant coefficient differential operator $P$ on the Hilbert space $L^2([0,1]^2;\mathbb C^2)$ $$P= \begin{pmatrix} D_{z}+c & a \\ b & D_{z}+c \end{pmatrix}$$ where $D_z=-...
3 votes
1 answer
115 views

Approximation of vectors using self-adjoint operators

Let $T$ be an unbounded self-adjoint operator. Does there exist, for any $\varphi$ normalized in the Hilbert space, a constant $k(\varphi)>0$ and a sequence of normalized $(\varphi_n)$ such that $$...
4 votes
1 answer
161 views

Elliptic estimates for self-adjoint operators

Let $A$ be a symmetric matrix in $\mathbb R^n$ such that $A$ is positive definite and hence satisfies $0< \lambda \le A \le \Lambda < \infty.$ Let $T$ be a densely defined and closed operator ...
2 votes
0 answers
92 views

First Dirichlet eigenvalue below second Neumann eigenvalue?

Let $\Omega$ be a bounded domain in $\mathbb R^n $ with smooth boundary. I was wondering if there exist any known conditions on $\Omega$ such that the 1st Dirichlet eigenvalue of the (positive) ...
2 votes
3 answers
216 views

Equivalence of operators

let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space. I am wondering whether we have equivalence of operators $$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$ for some ...
5 votes
1 answer
151 views

Existence of operator with certain properties

I am curious to know the answer to the following question: Does there exist a continuous linear operator on some Banach space $X$ such that $\Vert T \Vert=1$, and $\sigma(T)\supset \{1\}$ is isolated ...
2 votes
2 answers
539 views

Graph with complex eigenvalues

The question I am wondering about is: Can the discrete Laplacian have complex eigenvalues on a graph? Clearly, there are two cases where it is obvious that this is impossible. 1.) The graph is ...
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)$...
11 votes
2 answers
551 views

Smoothness of finite-dimensional functional calculus

Assume that $f:\mathbb R\to\mathbb R$ is continuous. Given a real symmetric matrix $A\in\text{Sym}(n)$, we can define $f(A)$ by applying $f$ to its spectrum. More explicitly, $$ f(A):=\sum f(\lambda)...
3 votes
0 answers
163 views

Perturbation theory compact operator

Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$ $\Vert Kx-\lambda x \Vert \le \varepsilon.$ It is well-known ...
3 votes
1 answer
212 views

Eigenvalue estimates for operator perturbations

I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading. What was behind ...
8 votes
2 answers
323 views

Matrix rescaling increases lowest eigenvalue?

Consider the set $\mathbf{N}:=\left\{1,2,....,N \right\}$ and let $$\mathbf M:=\left\{ M_i; M_i \subset \mathbf N \text{ such that } \left\lvert M_i \right\rvert=2 \text{ or }\left\lvert M_i \right\...
2 votes
0 answers
190 views

Absence of fixed points

Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function $$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \frac{xy}{(x^2+y^2+1)} \ dx$$ where $x_0$ is an arbitrary but fixed ...
5 votes
1 answer
2k views

Commuting with self-adjoint operator

Let $T$ be an (unbounded) self-adjoint operator. Assume that there is a bounded operator $S$ such that $TS=ST.$ For which kind of $f$ do we have that $f(T)S=Sf(T)?$ My thought was that using a ...
12 votes
1 answer
191 views

Spectra on different spaces

This is a method request: I am looking for techniques that allow me to investigate problems like this: Let $T_1: \ell^1 \rightarrow \ell^1$ be a bounded operator with $\Re(\sigma(T_1)) \subset (-\...
1 vote
1 answer
192 views

Neumann-Poincare operator is in the Schatten class

Let $\Omega$ be a bounded domain in $\mathbb{R}^d$, $d\ge 3$. We define the Neumann-Poincare operator(or double layer potential) $K: L^2(\partial\Omega)\to L^2(\partial\Omega)$ by $$(Kf)(x)=\int_{\...
2 votes
1 answer
497 views

Spectrum of magnetic Laplacian

Consider the discrete magnetic Laplacian on $\mathbb Z^2.$ $$(\Delta_{\alpha,\lambda}\psi)(n_1,n_2) = e^{-i \pi \alpha n_2} \psi(n_1+1,n_2) + e^{i\pi \alpha n_2} \psi(n_1-1,n_2) + \lambda \left(e^{i ...
2 votes
0 answers
58 views

Absolute continuity of DOS measure for Schrödinger operators

Kotani theory gives roughly that for ergodic operators there is a certain equivalence between absolutely continuous spectrum and an absolutely continuous density of states measure. I would like to ...
2 votes
0 answers
78 views

Generalization of supersymmetry to dimension 3

in two dimensions there is a simple trick to study the spectrum of operators of the form $$\textbf{A}:=\left( \begin{matrix}0 && A^* \\ A && 0 \end{matrix}\right)$$ The trick is to ...
5 votes
1 answer
1k views

The spectrum of the discrete Laplacian

Consider a connected (we define connected components by defining the set of vertices where every vertex has one neighbour) sublattice $V$ of the square lattice $V \subset\mathbb{Z}^2.$ On this we ...
0 votes
1 answer
185 views

Meromorphic solutions to Legendre's equation

I just saw the following question that was asked yesterday on math overflow on meromorphic solutions to ODEs Although, I understand the answers and comments to the questions, I did not understand how ...
4 votes
1 answer
366 views

Dissipative operator on Banach spaces

An operator $A$ is called dissipative if for all $x \in D(A)$ and $\lambda >0$ $$ \left\lVert (A-\lambda)x \right\rVert \ge \lambda \left\lVert x \right\rVert.$$ On a Hilbert space this is ...
2 votes
0 answers
142 views

Self-adjointness on Banach spaces

Let $A \in L(X,Y)$ be a bounded operator between Banach spaces. Then its dual operator $A' \in L(Y',X')$ has the same spectrum as $A$ by the closed range theorem. Now, if we have an unbounded ...
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 ...
5 votes
0 answers
122 views

How to solve this operator equation numerically?

I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form $$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$ So even if there ...
4 votes
1 answer
725 views

Eigenfunction of Laplacian

On $L^2(\mathbb{R}^n)$ it is true that $\Delta$ has $\sigma(\Delta)=(-\infty,0].$ Also, there are no eigenfunction. Yet, even if one would not know this, negativity $\langle \Delta u,u \rangle \le 0$ ...
10 votes
1 answer
3k views

Trace of integral trace-class operator

I have seen many answers to the converse question (which seems to be difficult in general), but I would like to ask the following: Let $T: L^2 \rightarrow L^2$ be a trace-class operator that is also ...
1 vote
0 answers
76 views

Which sets support which spectra?

I know (and this is of course rather elementary) that an isolated point in the spectrum of a self-adjoint operator $T$ always belongs to the point-spectrum. I would like to ask: Are there similar ...
3 votes
1 answer
529 views

Spectrum of self-adjoint operator

As a non functional analyst, I stumbled over the following question: Given a self-adjoint Operator $T:D(T) \subset H \rightarrow H.$ Assume we know that $T$ has some eigenvalue $\lambda$ which is ...
1 vote
1 answer
210 views

Eigenvalues of the double layer potential

Consider the double layer potential $K: L^2(S^2)\to L^2(S^2)$ $$(Kf)(x)=\int_{S^2}f(y)\frac{\partial}{\partial v_y}E(x,y)dS_y,$$ where $E(x,y)=||x-y||^{-1}$ and $\frac{\partial}{\partial v_y}$ means ...
0 votes
1 answer
348 views

Request for references about computing or estimating Rademacher complexity

Is Rademacher complexity defined for any space of functions? Or are there restrictions on the function space over which this can be defined? For example is the Rademacher complexity defined or has ...
3 votes
1 answer
133 views

Restrictions on spectral measure

Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$ Here $\...