Introduction
The notion of a complete symbol arises in the analysis of linear differential and pseudodifferential operators. While the principal symbol captures the highest–order behaviour of an operator, the complete symbol incorporates all lower–order terms and, in the case of pseudodifferential operators, an asymptotic expansion in decreasing powers of the cotangent variable. Complete symbols provide a refined algebraic description that is essential for microlocal analysis, the study of partial differential equations (PDEs), and various applications in mathematical physics.
Historical Development
Early Work on Differential Operators
In the early twentieth century, mathematicians such as Lagrange and Cauchy investigated differential equations using local coefficients. The formalism of symbols entered the literature in the 1930s through the work of Duistermaat and Hörmander, who established a systematic framework for linear differential operators in their monograph on linear partial differential operators.
Symbol Calculus and Microlocal Analysis
The concept of a symbol as an algebraic proxy for a differential operator was refined in the 1950s by Hörmander, who introduced the notion of the principal symbol to classify ellipticity. In the 1960s, the development of microlocal analysis and the theory of Fourier integral operators expanded the role of symbols, leading to the distinction between the principal symbol and the full symbol. The term complete symbol became standard in the literature of pseudodifferential operators, particularly in the works of Kohn and Nirenberg and in the comprehensive text by Shubin.
Modern Perspectives
Since the 1970s, complete symbols have been indispensable in spectral theory, index theory, and the analysis of propagation of singularities. The modern theory integrates techniques from symplectic geometry, functional analysis, and algebraic topology. Recent advances involve the use of complete symbols in deformation quantization and noncommutative geometry, where they serve as building blocks for star products and quantization maps.
Mathematical Definition
Linear Differential Operators
Let \( M \) be a smooth manifold and \( P \) a linear differential operator of order \( m \) acting on smooth functions \( f \in C^{\infty}(M) \). In local coordinates \( (x^1,\dots,x^n) \), \( P \) can be written as
P = \sum_{|\alpha|\le m} a_{\alpha}(x)\, \partial^{\alpha},
where \( \alpha=(\alpha_1,\dots,\alpha_n) \) is a multi‑index, \( \partial^{\alpha} = \partial_{x^1}^{\alpha_1}\cdots\partial_{x^n}^{\alpha_n} \), and \( a_{\alpha}(x) \) are smooth coefficient functions. The principal symbol of \( P \) is the homogeneous polynomial of degree \( m \) in the cotangent variables \( \xi = (\xi_1,\dots,\xi_n) \):
\sigma_P^{(m)}(x,\xi) = \sum_{|\alpha|=m} a_{\alpha}(x)\, \xi^{\alpha}.\
By contrast, the complete symbol of \( P \) is the full polynomial obtained by retaining all terms up to order \( m \):
\sigma_P(x,\xi) = \sum_{|\alpha|\le m} a_{\alpha}(x)\, \xi^{\alpha}.\
This expression is defined pointwise on the cotangent bundle \( T^*M \) and is invariant under coordinate changes when \( P \) is considered as an element of the universal enveloping algebra of vector fields.
Pseudodifferential Operators
For pseudodifferential operators (ΨDOs), the complete symbol is an asymptotic expansion rather than a finite polynomial. A ΨDO \( A \) of order \( m \) on \( \mathbb{R}^n \) is represented by a distribution kernel whose Fourier transform is given by
A(x,y) = (2\pi)^{-n}\int_{\mathbb{R}^n} e^{i(x-y)\cdot\xi}\, a(x,\xi)\, d\xi,\
where the function \( a(x,\xi) \) is the symbol of \( A \). The complete symbol admits an asymptotic series in decreasing powers of \( |\xi| \):
a(x,\xi) \sim \sum_{j=0}^{\infty} a_{m-j}(x,\xi),\
with each term \( a_{m-j} \) homogeneous of degree \( m-j \) in \( \xi \) for \( |\xi| \ge 1 \). The series satisfies the estimate
|\partial_x^{\alpha}\partial_{\xi}^{\beta} (a - \sum_{j=0}^{N} a_{m-j})| \le C_{N,\alpha,\beta} (1+|\xi|)^{m-N-1-|\beta|}\,.\
When the series terminates after a finite number of terms, the ΨDO is called a classical ΨDO. The complete symbol encodes all lower‑order contributions and is essential for composing ΨDOs and for establishing mapping properties between Sobolev spaces.
Coordinate Invariance
The complete symbol of a differential operator is not invariant under arbitrary coordinate changes; however, the combination of symbol and transformation law yields an invariant object. For pseudodifferential operators, the complete symbol transforms via the Egorov theorem, ensuring that the equivalence class of symbols under the symbol calculus is well defined modulo smoothing operators.
Principal Symbol vs Complete Symbol
Definitions and Differences
The principal symbol captures only the highest‑order behaviour of an operator and is sufficient for determining ellipticity and characteristic varieties. The complete symbol contains all lower‑order terms, thereby providing finer analytic information, such as subprincipal terms that influence propagation of singularities and the regularity of solutions.
Ellipticity and Parametrices
An operator \( P \) is elliptic if its principal symbol \( \sigma_P^{(m)}(x,\xi) \) is invertible for all \( (x,\xi)\neq 0 \). The construction of a parametrix - an approximate inverse - requires knowledge of the complete symbol to obtain a full asymptotic inverse series. The parametrix \( Q \) satisfies \( PQ = I + R \) with \( R \) smoothing, and the symbol of \( Q \) is determined recursively from the symbol of \( P \).
Subprincipal Symbol
The first lower‑order term beyond the principal symbol is called the subprincipal symbol. For a differential operator of order \( m \), the subprincipal symbol is defined as
\sigma_{P,\text{sub}}(x,\xi) = a_{m-1}(x,\xi) - \frac{1}{2i}\sum_{j=1}^n \frac{\partial^2 a_{m}(x,\xi)}{\partial x_j \partial \xi_j}.\
This quantity plays a crucial role in spectral asymptotics and in the study of propagation of singularities for hyperbolic equations.
Symbol Calculus
Composition of Operators
Given two ΨDOs \( A \) and \( B \) with complete symbols \( a(x,\xi) \) and \( b(x,\xi) \), the composition \( AB \) has a symbol \( c(x,\xi) \) given by the asymptotic expansion
c(x,\xi) \sim \sum_{\alpha} \frac{1}{\alpha!}\, \partial_{\xi}^{\alpha} a(x,\xi)\, D_{x}^{\alpha} b(x,\xi),\
where \( D_{x}^{\alpha} = (-i)^{|\alpha|}\partial_{x}^{\alpha} \). This Moyal product reflects the noncommutative nature of the operator algebra and is central to microlocal analysis.
Adjoints and Self‑Adjointness
The adjoint \( A^* \) of a ΨDO \( A \) has a symbol given by complex conjugation and a transpose in the cotangent variable. Explicitly, if \( a(x,\xi) \) is the symbol of \( A \), then the symbol of \( A^* \) is
a^*(x,\xi) \sim \sum_{\alpha} \frac{1}{\alpha!}\, \partial_{\xi}^{\alpha}\overline{a(x,\xi)}\, D_{x}^{\alpha}.\
Self‑adjointness criteria involve the vanishing of the imaginary part of the principal symbol and the cancellation of subprincipal terms.
Fourier Integral Operators
Complete symbols extend naturally to Fourier integral operators (FIOs), where the symbol is accompanied by a canonical relation on \( T^*M \). The amplitude of an FIO is a complete symbol that controls its action on wavefront sets. The stationary phase method applied to the complete symbol yields asymptotic expansions for oscillatory integrals.
Applications in Microlocal Analysis
Propagation of Singularities
The complete symbol governs how singularities of solutions to PDEs propagate along bicharacteristics of the principal symbol. Subprincipal terms affect the amplitude of propagated singularities and influence regularity properties.
Spectral Theory
In the study of elliptic operators on compact manifolds, the heat kernel asymptotics are derived from the complete symbol. The Weyl law and its refinements involve coefficients that depend on integrals of the complete symbol over the cotangent bundle.
Index Theory
The Atiyah–Singer index theorem relates the analytical index of an elliptic differential operator to topological invariants. The proof relies on symbol calculus, particularly the construction of a parametrix whose complete symbol provides a symbolic representative of the elliptic symbol class.
Boundary Value Problems
Complete symbols are employed in the Boutet de Monvel calculus, which handles elliptic boundary value problems. The boundary symbol, part of the complete symbol, captures normal derivatives and traces, allowing for the formulation of well‑posed boundary conditions.
Examples
Laplace Operator
The Laplacian \( \Delta = -\sum_{j=1}^n \partial_{x_j}^2 \) has principal symbol \( |\xi|^2 \). Its complete symbol is simply \( |\xi|^2 \) because there are no lower‑order terms. The operator is elliptic, and its parametrix is given by \( |\xi|^{-2} \) modulo smoothing operators.
Helmholtz Operator
The Helmholtz operator \( H = -\Delta - k^2 \) introduces a constant lower‑order term. The complete symbol is \( |\xi|^2 - k^2 \), and the subprincipal symbol vanishes. The symbol plays a role in scattering theory and wave propagation.
Dirac Operator
On a spin manifold, the Dirac operator \( D \) is first‑order. Its complete symbol is linear in \( \xi \) and includes matrix-valued coefficients from the Clifford algebra. The subprincipal symbol involves the spin connection and affects the index of \( D \).
Relation to Other Symbols
Complete Symbol vs. Principal Symbol
While the principal symbol captures leading‑order behaviour, the complete symbol contains all lower‑order corrections. This distinction is analogous to the difference between a leading coefficient in a polynomial and the full polynomial itself.
Complete Symbol vs. Full Symbol in Physics
In quantum mechanics, the Weyl symbol is a complete symbol of a quantum observable. It allows for phase‑space formulations of quantum mechanics and connects to the Moyal product.
Complete Symbol in Deformation Quantization
Deformation quantization associates to a Poisson manifold a noncommutative algebra via a star product. The complete symbol of the star product encapsulates all orders in the deformation parameter, providing an explicit link to the symplectic structure.
Computational Aspects
Symbolic Computation
Computer algebra systems such as Mathematica, Maple, and SageMath can manipulate symbols of differential operators, compute principal symbols, and perform symbolic composition. Packages like the SymPy differential operators module or the diffeq module in SageMath provide tools for deriving complete symbols.
Numerical Implementation
In finite‑difference and finite‑element discretizations, the symbol of a differential operator approximates the Fourier multiplier of the discretized operator. Accurate numerical schemes incorporate lower‑order corrections derived from the complete symbol to reduce truncation errors.
Contemporary Research
Microlocal Sheaf Theory
Recent advances by Kashiwara and Schapira employ complete symbols in the study of sheaves with microsupport conditions. The theory unifies sheaf theory, symplectic geometry, and PDE analysis.
Noncommutative Geometry
In Alain Connes' framework, the Dirac operator’s complete symbol defines a spectral triple that captures the geometry of a noncommutative space. The complete symbol’s role is to provide analytic invariants such as the spectral action.
Analysis on Singular Spaces
Researchers extend symbol calculus to stratified manifolds and manifolds with corners. The complete symbol must be adapted to handle singularities in the underlying space, leading to generalized pseudodifferential calculi.
Conclusion
The complete symbol is a foundational concept in the analysis of differential and pseudodifferential operators. It extends beyond the leading‑order principal symbol, providing a comprehensive description of an operator’s behaviour, enabling precise parametrix construction, and informing various areas such as spectral theory, microlocal analysis, and index theory. Continued research leverages complete symbols to deepen the connections between analysis, geometry, and mathematical physics.
No comments yet. Be the first to comment!