Noncommutative $L_p$-differentiability and trace formulae
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910024911028224 |
|---|---|
| author | Chattopadhyay, Arup Coine, Clément Giri, Saikat Pradhan, Chandan |
| author_facet | Chattopadhyay, Arup Coine, Clément Giri, Saikat Pradhan, Chandan |
| contents | Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $τ$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$ be $τ$-measurable self-adjoint operators such that $b\in L_p(\mathcal{M})\cap L_{np}(\mathcal{M})$. For a function $f\in C^n(\mathbb{R})$ whose derivatives $f^{(k)}$ are bounded for $1\le k\le n$, we prove that the map $ϕ:t\in\mathbb{R}\mapsto f(a+tb)-f(a)$ is $n$-times differentiable in the $\|\cdot\|_{L_p}$-norm. This strengthens the corresponding result of de Pagter and Sukochev for $p\neq 2$ and extends it to higher-order derivatives. In addition, if $f^{(n)}\in C_0(\mathbb{R})$ or $b\in \mathcal{M}$, then $ϕ^{(n)}$ is continuous on $\mathbb{R}$. Consequently, we extend the Potapov--Skripka--Sukochev higher-order trace formula from bounded $L_n$-perturbations to not necessarily bounded perturbations in $L_n(\mathcal{M})\cap L_{n^{2}}(\mathcal{M})$. Moreover, we show that this trace formula holds for a broader class of admissible functions than the classes previously considered in the literature. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_10694 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Noncommutative $L_p$-differentiability and trace formulae Chattopadhyay, Arup Coine, Clément Giri, Saikat Pradhan, Chandan Operator Algebras Mathematical Physics Functional Analysis Spectral Theory 47A55, 46L52, 47A56 Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $τ$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$ be $τ$-measurable self-adjoint operators such that $b\in L_p(\mathcal{M})\cap L_{np}(\mathcal{M})$. For a function $f\in C^n(\mathbb{R})$ whose derivatives $f^{(k)}$ are bounded for $1\le k\le n$, we prove that the map $ϕ:t\in\mathbb{R}\mapsto f(a+tb)-f(a)$ is $n$-times differentiable in the $\|\cdot\|_{L_p}$-norm. This strengthens the corresponding result of de Pagter and Sukochev for $p\neq 2$ and extends it to higher-order derivatives. In addition, if $f^{(n)}\in C_0(\mathbb{R})$ or $b\in \mathcal{M}$, then $ϕ^{(n)}$ is continuous on $\mathbb{R}$. Consequently, we extend the Potapov--Skripka--Sukochev higher-order trace formula from bounded $L_n$-perturbations to not necessarily bounded perturbations in $L_n(\mathcal{M})\cap L_{n^{2}}(\mathcal{M})$. Moreover, we show that this trace formula holds for a broader class of admissible functions than the classes previously considered in the literature. |
| title | Noncommutative $L_p$-differentiability and trace formulae |
| topic | Operator Algebras Mathematical Physics Functional Analysis Spectral Theory 47A55, 46L52, 47A56 |
| url | https://arxiv.org/abs/2602.10694 |