pith:YFE33M6C
Solving the Sylvester equation in Banach modules
The Sylvester equation ax - xb = c is solvable in a Banach module precisely when c satisfies verifiable spectral compatibility conditions.
arxiv:2605.13419 v1 · 2026-05-13 · math.FA · math.OA
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{YFE33M6CJEPHKVQS43JB5356N4}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
We completely characterize the consistency of the Sylvester equation ax-xb=c. Precisely, we establish verifiable sufficient and necessary solvability conditions, and we provide some formulas for particular solutions x∈M when the equation is solvable. Moreover, we characterize the uniqueness of the solutions.
The setup assumes unital complex Banach algebras and a Banach module with continuous actions; if the module is not complete or the algebras lack units the spectral intersection condition and the derived solvability criteria may fail to apply or require substantial reformulation.
The Sylvester equation ax - xb = c is solvable in the Banach module precisely when verifiable spectral conditions hold, with explicit formulas for solutions and a characterization of uniqueness
References
Receipt and verification
| First computed | 2026-05-18T02:44:47.350276Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
c149bdb3c2491e755612e6d21eefbe6f1aa31fc1fa510944341de02399278d96
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/YFE33M6CJEPHKVQS43JB5356N4 \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: c149bdb3c2491e755612e6d21eefbe6f1aa31fc1fa510944341de02399278d96
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "c3006fbd42c4c609a3c6c714c55007f53ab76fd1e23c3404f1ed96ab36dcd781",
"cross_cats_sorted": [
"math.OA"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"primary_cat": "math.FA",
"submitted_at": "2026-05-13T12:14:17Z",
"title_canon_sha256": "be58ae6d582c93919243789d2e1e6fabcada1b75a41d7edcd970f9930e0c7ac6"
},
"schema_version": "1.0",
"source": {
"id": "2605.13419",
"kind": "arxiv",
"version": 1
}
}