[Paper Review] Schwartz Linear operators in distribution spaces

David Carfì|arXiv (Cornell University)|Apr 18, 2011

Advanced Topics in Algebra6 references3 citations

TL;DR

This paper introduces S linear operators (Schwartz linear operators) on spaces of tempered distributions, generalizing finite-dimensional linear operators to infinite-dimensional distribution spaces with continuous index sets. It proves that such operators are precisely the transposes of continuous linear maps between Schwartz test function spaces, providing a rigorous mathematical framework for quantum mechanical observables and unifying key properties of linear algebra in distribution theory.

ABSTRACT

In this paper we define the Schwartz linear operators among spaces of tempered distributions. These operators are the analogous of linear continuous operators among separable Hilbert spaces, but in the case of spaces endowed with Schwartz bases having a continuous index set. The Schwartz linear operators enjoy properties very similar to those enjoyed by linear operators in the finite dimensional case. The Schwartz operators are one possible rigorous mathematical model for the operators and observables used in Quantum Mechanics.

Motivation & Objective

• To define a rigorous class of linear operators—S linear operators—on spaces of tempered distributions that generalize finite-dimensional linear operators.
• To establish a framework for operators in infinite-dimensional distribution spaces with continuous index sets, analogous to Hilbert space operators.
• To provide a mathematical model for quantum mechanical observables using distributional operators.
• To characterize S linear operators via duality and transposition, linking them to weakly continuous and continuous linear maps.

Proposed method

• Define S families of tempered distributions as families indexed by R^k whose evaluation on test functions yields Schwartz functions.
• Introduce the integral of a distribution-valued family weighted by a tempered distribution coefficient, using the transpose of the evaluation map.
• Define S operators as those mapping S families to S families, ensuring compatibility with distributional integration.
• Use the transpose of continuous linear operators between Schwartz test function spaces to generate S linear operators on distribution spaces.
• Establish that S linearity is equivalent to being the transpose of a continuous linear operator between test function spaces.
• Apply the framework to differential operators, showing that distributional derivatives arise naturally as S linear operators via integration against the derivative of the Dirac family.

Experimental results

Research questions

• RQ1 What is the appropriate generalization of linear operators from finite-dimensional spaces to infinite-dimensional distribution spaces with continuous index sets?
• RQ2 How can linear operators on tempered distributions be defined so that they preserve the structure of distributional integration and linear combinations?
• RQ3 What is the precise characterization of linear operators on tempered distributions that behave like finite-dimensional linear operators in terms of their action on S families?
• RQ4 Can quantum mechanical observables be rigorously modeled as operators on distribution spaces using this framework?
• RQ5 What is the relationship between S linear operators and weakly continuous or continuous linear maps between test function spaces?

Key findings

• S linear operators are exactly the transposes of continuous linear operators between Schwartz test function spaces, providing a complete characterization.
• Every weakly continuous linear operator between tempered distribution spaces is an S linear operator.
• The transpose of a continuous linear operator between Schwartz test function spaces induces an S linear operator on the dual distribution spaces.
• Distributional derivatives are shown to be S linear operators via the identity $ u' = \int_{\mathbb{R}} u \delta' $, where $ \delta' $ is the derivative of the Dirac family.
• The action of an S linear operator on a distributional integral is preserved: $ L\left(\int_{\mathbb{R}^k} \lambda v\right) = \int_{\mathbb{R}^k} \lambda L(v) $ for any tempered distribution coefficient $ \lambda $ and S family $ v $.
• The framework unifies key concepts from linear algebra and functional analysis, showing that S linearity is equivalent to weak continuity, strong continuity, and topological transposability.