[Paper Review] General Dirac Operators as Generators of Operator Groups

А. Г. Баскаков, Ilya Krishtal+1 more|arXiv (Cornell University)|Jun 28, 2018

Spectral Theory in Mathematical Physics20 references4 citations

TL;DR

This paper establishes that a general one-dimensional Dirac operator $L$ on $[0,\omega]$ is similar to a direct sum of finite-rank operators, enabling the spectral analysis of $iL$ as a generator of a $C_0$-group. The key contribution is a complete description of the operator group generated by $iL$, including explicit asymptotic spectral estimates and equiconvergence results via the method of similar operators.

ABSTRACT

We use the method of similar operators to study a general Dirac operator $L$ and its spectral properties. We find a similar operator to the Dirac operator that is an orthogonal direct sum of simpler operators. The result is used to describe an operator group generated by the operator $iL$ and study its properties such as the asymptotics of the spectrum.

Motivation & Objective

• To analyze the spectral properties of a general one-dimensional Dirac operator $L$ with $L^2$-matrix potentials and various boundary conditions.
• To establish similarity between $L$ and a direct sum of finite-rank operators, simplifying spectral analysis.
• To describe the $C_0$-group generated by $iL$ and derive its structural and asymptotic properties.
• To obtain asymptotic estimates for the eigenvalues of $L$ and prove equiconvergence of spectral decompositions in the Hilbert-Schmidt topology.
• To provide explicit representations of the group $T(t)$ generated by $iL$ using spectral decomposition and perturbation techniques.

Proposed method

• Use the method of similar operators to transform $L$ into a direct sum of finite-rank operators, simplifying spectral analysis.
• Construct a similarity transformation $T = W_{bc}(I+U)$ that diagonalizes $L$ into a block-diagonal form involving $\mathaccent 869{L}^{P}_{bc} - V$.
• Apply spectral asymptotic analysis to derive eigenvalue estimates for $L$, particularly for $\lambda_n(L)$ as $|n| \to \infty$.
• Use the exponential map to represent the group $T(t) = e^{itL}$ via the transformed operator $\mathaccent 869{T}(t)$, which is a direct sum of exponentials of finite-rank matrices.
• Employ Parseval’s identity and operator norm estimates to bound the difference between $T(t)$ and its finite-rank approximation $Z\mathaccent 869{T}(t)P_{(n)}Z^{-1}$.
• Derive explicit group representations using matrix exponential formulas for $2 \times 2$ blocks, especially for $\mathrm{per}$, $\mathrm{ap}$, and $\mathrm{dir}$ boundary conditions.

Experimental results

Research questions

• RQ1 How can the spectral properties of a general Dirac operator $L$ with $L^2$-matrix potential be analyzed using similarity transformations?
• RQ2 What is the structure of the $C_0$-group generated by $iL$, and how can it be explicitly represented?
• RQ3 What are the asymptotic behaviors of the eigenvalues of $L$ as $|n| \to \infty$?
• RQ4 Under what conditions does the spectral decomposition of $L$ converge equiconvergently in the Hilbert-Schmidt operator topology?
• RQ5 How do the growth and spectral bounds of the group $T(t)$ relate to those of the transformed group $\mathaccent 869{T}(t)$?

Key findings

• The Dirac operator $L_{bc}$ is similar to a direct sum of finite-rank operators, with all but one block having rank at most two, as established in Theorem 6.6.
• The eigenvalues of $L$ satisfy the asymptotic estimate $\lambda_n(L) = \frac{\pi n}{\omega} - \nu + b_n$, where $\{b_n\} \in \ell^2$, as shown in Theorem 7.1.
• The group $T(t)$ generated by $iL$ is unitarily equivalent to $W_{bc}(I+U)\mathaccent 869{T}(t)(I+U)^{-1}W_{bc}^{-1}$, with $\mathaccent 869{T}(t)$ given explicitly in Theorem 9.1.
• For the Dirichlet case, the group $\mathaccent 869{T}(t)$ is a direct sum of scalar exponentials $e^{it(\frac{\pi n}{\omega} - \nu + b_n)}$ on $|n| > m$, as in Theorem 9.4.
• For periodic and anti-periodic cases, the group $\mathaccent 869{T}(t)$ involves matrix exponentials of the form $\cos(\rho t)I + \frac{i\sin(\rho t)}{\rho}M_n$, as derived in Theorem 9.5.
• The growth and spectral bounds of $T(t)$ and $\mathaccent 869{T}(t)$ coincide, as shown in Corollary 9.3.