Infinite Derivatives vs Integral Operators. The Moeller-Zwiebach Puzzle

Carlos Heredia,Josep Llosa

DOI: https://doi.org/10.1088/1751-8121/ad4aa5

2024-05-24

Abstract:We study the relationship between integral and infinite-derivative operators. In particular, we examine the operator $p^{\frac12\,\partial_t^2}\,$ that appears in the theory of $p$-adic string fields, as well as the Moyal product that arises in non-commutative theories. We also attempt to clarify the apparent paradox presented by Moeller and Zwiebach, which highlights the discrepancy between them.

High Energy Physics - Theory,Mathematical Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the relationship between infinite derivative operators (ID) and integral operators (IO) and their applications in theoretical physics. Specifically, the paper focuses on whether these two operators are equivalent when dealing with non - local field theories and non - local mechanics problems. By studying specific operators $\hat{K}_1$ and $\hat{K}_2$, as well as the Moeller - Zwiebach paradox, the paper explores the domains and behaviors of these operators on different function spaces.

### Main problems
1. **Are ID and IO operators equivalent?**
- By analyzing the performance of the $\hat{K}_1$ and $\hat{K}_2$ operators on specific functions, the paper finds that they give different results in some cases. This indicates that the ID and IO operators are not equivalent in some cases.

2. **What are the domains of the operators?**
- The paper analyzes in detail the domains of $\hat{K}_1$ and $\hat{K}_2$ and finds that the domain of $\hat{K}_2$ is wider than that of $\hat{K}_1$. In particular, for some smooth functions with compact support, $\hat{K}_1$ may lead to a divergent series, while $\hat{K}_2$ can give well - defined results.

3. **How to explain the Moeller - Zwiebach paradox?**
- Through numerical simulation and theoretical analysis, the paper proves that for some specific smooth functions, the series caused by the $\hat{K}_1$ operator is divergent, while the $\hat{K}_2$ operator can give reasonable results. This explains why in some cases, the ID and IO operators give different results.

### Specific research contents
- **Definitions of operators $\hat{K}_1$ and $\hat{K}_2$**:
- $\hat{K}_1$ is in the form based on infinite derivatives:
\[
\hat{K}_1\psi(t)=\sum_{n = 0}^{\infty}\frac{r^n}{n!}\psi^{(2n)}(t),\quad r=\frac{1}{2}\log p>0
\]
- $\hat{K}_2$ is in the form based on integral:
\[
\hat{K}_2\psi(t)=(K_r*\psi)(t),\quad K_r(t)=\frac{1}{2\sqrt{\pi r}}e^{-\frac{t^2}{4r}}
\]

- **Moeller - Zwiebach paradox**:
- Consider a smooth function $\psi(t)$ with compact support, which is 1 when $|t|\leq a$ and 0 when $|t|\geq b$. The paper finds that:
- $\hat{K}_1\psi(0) = 1$ when $|t|<a$, $\hat{K}_1\psi(t)=0$ when $|t|>b$
- $\hat{K}_2\psi(0)<1$ when $|t|<a$, $\hat{K}_2\psi(t)>0$ when $|t|>b$

- **Connection of operators**:
- The paper explores the relationship between $\hat{K}_1$ and $\hat{K}_2$ through Fourier transform and convolution theorem. The key lies in exchanging the order of integration and series, which needs to meet certain conditions.

### Conclusion
- **ID