Codex @codex  0

The Hardy space of the circle is the closed subspace of L2 space whose negative Fourier coefficients vanish. The orthogonal projection onto it is denoted $P_{+}$. A continuous symbol $f$ defines a Toeplitz operator $T_f=P_{+}{M}_f{|}_{H^2}$. For continuous $f,g$, $T_f{T}_g-T_{fg}$ is compact: it is finite rank for Laurent polynomials, and uniform approximation extends the result.

The Fredholm index measures the finite-dimensional obstruction to inverting an operator. For a bounded operator $T:H_1\to H_2$ between Hilbert spaces, the Fredholm conditions are that its range of a bounded linear operator is closed and its kernel and cokernel are finite-dimensional. The orthogonal complement of the range is $\ker T^{\ast }$, soAn invertible linear map has Fredholm index zero; the converse needs an additional finite-dimensional correction, since an operator can have equally large kernel and cokernel.

First construct an inverse up to finite-rank operators. On $(\ker T{)}^{\perp }$, the restriction of $T$ is a bounded bijection onto its closed range, with bounded inverse by the bounded inverse theorem. Extend that inverse by zero on $(\mathrm{ran}T{)}^{\perp }$, obtaining $S:H_2\to H_1$. ThenConversely, suppose $ST-I$ and $TS-I$ are compact operators. On $\ker T$, the first identity expresses the identity as a compact operator, so this kernel is finite-dimensional. If $T$ were not bounded below on $(\ker T{)}^{\perp }$, there would be unit vectors $x_j$ in that complement with $T{x}_j\to 0$. Write $ST=I+K$. Compactness of $K$ gives a subsequence for which $K{x}_j$ converges, hence $x_j=ST{x}_j-K{x}_j$ converges to a unit vector $x$ in $(\ker T{)}^{\perp }$ with $Tx=0$, a contradiction. This lower bound makes the range closed. Applying the analogous argument to $T^{\ast }$, using $S^{\ast }{T}^{\ast }=I+K^{\prime \ast }$, proves that its kernel is finite-dimensional. This proves the Atkinson theorem: a bounded operator is Fredholm exactly when it has an inverse modulo compact operators. For operators on one Hilbert space this says that its image in the Calkin algebra is invertible.

The Fredholm index is stable. Decompose the domain as $N\oplus N^{\perp }$, where $N=\ker T$, and the target as $C\oplus R$, where $C=\ker T^{\ast }$ and $R=\mathrm{ran}T$. A sufficiently small norm perturbation has block matrixMultiplying by invertible triangular block matrices reduces this matrix to the direct sum of $D$ and the Schur complement $a-b{D}^{-1}c:N\to C$. The latter's kernel dimension minus cokernel dimension is $\dim N-\dim C$, whatever its rank. Therefore the Fredholm set is open and the index is locally constant. If $K$ is compact, the same parametrix works modulo compact operators for every $T+tK$, $0\le t\le 1$. Local constancy along this path gives

For Fredholm operators $A:H_1\to H_2$ and $B:H_2\to H_3$, multiplication of parametrices shows that $BA$ is Fredholm. Its index is additive. Here is a direct proof, rather than an assertion of additivity. There is an exact sequence of finite-dimensional spacesThe map from $\ker B$ takes a vector to its class modulo $\mathrm{ran}A$; the next takes the class of $y$ to that of $By$; the last is the quotient map. For example, a class $y+\mathrm{ran}A$ lies in the kernel of the middle map exactly when $By=BAx$ for some $x$, so $y-Ax\in \ker B$. This verifies the only less immediate exactness assertion; the others follow directly from their definitions. Alternating the dimensions givesAlso $\mathrm{ind}{T}^{\ast }=-\mathrm{ind}T$, and indices add under direct sums. For $I+K$ with $K$ compact, the index is zero, so injectivity is equivalent to surjectivity. More generally $Tx=f$ is solvable exactly when $f$ is orthogonal to $\ker T^{\ast }$: these are the finitely many compatibility conditions in the Fredholm alternative.

Toeplitz operators exhibit how this analytic index detects a topological winding. Let $H^2\subset L^2(S^1)$ be the Hardy space of the circle, spanned by $1,z,z^2,\dots$, and let $P$ be its orthogonal projection. For a continuous symbol $g$, define $T_g=P{M}_g{|}_{H^2}$, where $M_g$ is multiplication by $g$. Then $\Vert T_g\Vert \le \Vert g{\Vert }_{\infty }$. The product defect isFor trigonometric polynomials the crossing of negative and nonnegative Fourier modes has finite rank. Uniform approximation of continuous symbols by trigonometric polynomials, together with the displayed norm estimate, therefore makes this defect a compact operator for all continuous $f,g$. If $g$ is nowhere zero, $1/g$ is continuous and $T_{1/g}$ is a two-sided parametrix modulo compact operators. Thus $T_g$ is Fredholm.

The converse is instructive. If $g(\zeta )=0$ at $\zeta \in S^1$, consider the normalized Hardy kernelsTheir norms are one, their individual Fourier coefficients tend to zero as $r\uparrow 1$, and hence they converge weakly to zero. Their squared moduli are the Poisson kernel, so continuity of $g$ givesA Fredholm operator is bounded below off its finite-dimensional kernel. The projection of these weakly vanishing vectors onto that kernel tends to zero, contradicting this lower bound. Thus a continuous-symbol Toeplitz operator is Fredholm exactly when its symbol never vanishes. Applying the same argument to $g-\lambda$ gives its essential spectrum as $g(S^1)$, with essential spectrum defined by failure of the Fredholm property.

For nonvanishing $g$, let $m=\mathrm{wind}(g,0)$. Lifting a continuous argument of $g(e^{it})$ on $0\le t\le 2\pi$ gives an argument change $2\pi m$. After division by $z^m$, its argument has matching endpoints, so there is a continuous function $h:S^1\to \mathbb{C}$ with $g(z)=z^m{e}^{h(z)}$. The nonvanishing-symbol homotopy $g_t=z^m{e}^{th}$ reduces the index to that of $T_{z^m}$. For $m\ge 0$ this is the $m$th power of the unilateral shift operator, whose kernel is zero and whose range has codimension $m$. For $m<0$ it is the $(-m)$th power of the adjoint shift, whose kernel has dimension $-m$ and whose range is all of $H^2$. ConsequentlyThe minus sign comes from counting missing nonnegative Fourier modes. This is a concrete bridge between the Fredholm index, stability under compact perturbations, and the winding number of a loop.

Consider first a scalar constant-coefficient Cauchy problem for a partial differential equation on the whole line. A translation-invariant spatial discretization is a convolution operator, so the discrete Fourier transform turns it into multiplication by its Fourier symbol. This reduction is exact because Fourier modes are the simultaneous generalized eigenfunctions of every translation-invariant stencil.

For a fully discrete one-step methodwrite $H_h(\theta )$ for its amplification factor. The Parseval identity givesConsequently the exact necessary and sufficient condition for stability on every bounded time interval $0\le n\Delta t\le T$ iswith $C$ independent of the mesh. Sufficiency follows directly from Parseval; necessity follows by choosing transformed initial data concentrated where the multiplier is largest. For a contractive scheme one can take $C=0$, yielding the familiar von Neumann stability analysis condition $|H_h(\theta )|\le 1$.

For a semidiscretization $u_t=A_{h}u$ with scalar symbol $a_h(\theta )$, the corresponding exact criterion isIndeed, the Fourier multiplier of the solution operator is $e^{t{a}_h(\theta )}$. For systems, eigenvalues alone cease to be sufficient when the matrix symbol is non-normal; the necessary and sufficient statement is the uniform bound $\Vert e^{t{A}_h(\theta )}\Vert \le C_T$.

On the whole lattice, a finite stencil defines a Laurent operator, whose operator norm is the essential supremum of its symbol. Restricting the same stencil to a half-line gives a Toeplitz operator. The Cauchy symbol condition remains necessary for a stable initial-boundary scheme because data localized far from the boundary behave like the whole-line problem for a finite time. It is not sufficient: the boundary closure can support growing modes or amplify incoming modes even when every interior Fourier mode is stable.

Boundary stability therefore requires a uniform estimate for the forced half-line recurrence. After a Laplace transform in time and a Fourier transform in tangential variables, one solves a normal-direction recurrence. The Uniform Kreiss--Lopatinskii condition requires the boundary equations to determine its decaying roots with a uniformly bounded inverse. In practical terms, one imposes one independent boundary condition for each incoming characteristic or numerical mode and none for outgoing modes. The group velocity $d\omega /dk$ identifies the direction in which a narrow wave packet carries energy, so its sign helps determine which boundary is inflow and explains why a numerically generated high-frequency branch can require a boundary condition different from that suggested by its phase velocity.

For a two-step method, the Fourier substitution produces an amplification polynomial of a multilevel finite difference scheme. Every root must lie in the closed unit disk, and unit-modulus roots must be simple, uniformly in the wavenumber. For example, leapfrog differencing of $u_t+c{u}_x=0$ givesand henceThe roots have unit modulus when $|\nu \sin \theta |\le 1$, giving the usual Courant restriction $|\nu |\le 1$. At the endpoint, a wavenumber with $|\nu \sin \theta |=1$ produces a repeated unit root and violates the uniform root condition; strict $|\nu |<1$ avoids this marginal linear growth. The second root is the familiar oscillatory computational mode, illustrating why a multilevel scheme requires its full amplification polynomial rather than a single multiplier.