[Paper Review] A note on causality in Banach spaces

Marcus Waurick|arXiv (Cornell University)|Jun 17, 2013

Holomorphic and Operator Theory7 references4 citations

TL;DR

This paper addresses a critical gap in the theory of causality for linear operators on Banach spaces by showing that standard causality definitions fail to preserve causality under operator closure. It introduces a new notion of 'norm-strong causality' based on continuity of a specific mapping, which is equivalent to standard causality for closed operators and stable under closure, ensuring consistency in evolutionary equation models.

ABSTRACT

In this note we provide examples that show that a common notion of causality for linear operators on Banach spaces does not carry over to the closure of the respective operators. We provide an alternative definition for causality, which is equivalent to the usual definition for closed linear operators but does carry over to the closure.

Motivation & Objective

• To resolve the issue that standard causality for linear operators on Banach spaces does not preserve causality under operator closure.
• To define a causality concept that is stable under the closure operation, particularly for unbounded, closable operators.
• To establish a new definition of causality—'norm-strong causality'—that is equivalent to the classical definition for closed operators but extends consistently to their closures.
• To generalize the causality concept to non-reflexive Banach spaces under restricted conditions (densely defined, continuous operators).

Proposed method

• Introduces a resolution space structure using a family of projections $(P_t)_{t \in \mathbb{R}}$ to model time-directed causality.
• Defines standard causality via the condition: $P_a(f - g) = 0 \Rightarrow P_a(Mf - Mg) = 0$ for all $a \in \mathbb{R}$, $f,g \in D(M)$.
• Proposes 'norm-strong causality' based on the continuity of the mapping $x \mapsto P_t M x$ in the operator norm, ensuring stability under closure.
• Uses duality and weak* topology arguments via the second dual space $X^{\prime\prime}$ to analyze the closure of operators.
• Applies the bipolar theorem and weak* closedness of ranges of projections to prove that $N(P^{\prime\prime}) \subseteq N((QM)^{\prime\prime})$ under $N(P) \subseteq N(QM)$.
• Establishes equivalence between three causality notions: closure-causality, norm-strong causality, and weak* strong causality in reflexive spaces.

Experimental results

Research questions

• RQ1 Why does standard causality fail to be preserved under operator closure in Banach spaces?
• RQ2 Can a causality definition be constructed that remains invariant under the closure of linear operators?
• RQ3 Is there a stronger causality concept that coincides with the classical one for closed operators but extends to their closures?
• RQ4 How can causality be generalized to non-reflexive Banach spaces while preserving stability under closure?
• RQ5 What role does the second dual space and weak* topology play in characterizing causality for closed operators?

Key findings

• Standard causality does not carry over to the closure of an operator: a closable operator can be causal while its closure is not.
• The proposed 'norm-strong causality' is equivalent to classical causality for closed operators and is preserved under closure.
• In reflexive Banach spaces, the three notions—closure-causality, norm-strong causality, and weak* strong causality—are equivalent.
• For densely defined, continuous linear operators on non-reflexive Banach spaces, a generalized causality concept can be defined via the second dual, though the characterization is technically involved.
• The closure of a $P$-$Q$-compatible operator remains $P^{\prime\prime}$-$Q^{\prime\prime}$-compatible in the second dual, ensuring stability.
• The topology induced by $P^{\prime\prime}$ on $X^{\prime\prime}$ restricts to the original topology on $X$, preserving consistency across levels.