Clemens G. Raab
Abstract:A brief overview of some computer algebra methods for computations with nested integrals is given. The focus is on nested integrals over integrands involving square roots. Rewrite rules for conversion to and from associated nested sums are discussed. We also include a short discussion comparing the holonomic systems approach and the differential field approach. For simplification to rational integrands, we give a comprehensive list of univariate rationalizing transformations, including transformations tuned to map the interval $[0,1]$ bijectively to itself.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on nested integrals and their calculation methods. Specifically, the paper focuses on how to handle nested integrals containing square roots by computer - algebraic methods and explores the transformation rules from these integrals to related nested sums. In addition, the paper also discusses how to simplify non - rational integrals into rational integrals and the comparison between different methods, such as the holomorphic system method and the differential field method.
### Summary of the main problems in the paper:
1. **Definition and properties of nested integrals**:
- A nested integral refers to multiple integrals, where the integrand of each integral depends only on one integral variable, and each integral variable appears as the upper limit of integration of the next inner integral.
- The formula is as follows:
\[
\int_0^x f_1(t_1) \left( \int_0^{t_1} f_2(t_2) \left( \cdots \int_0^{t_{n - 1}} f_n(t_n) dt_n \cdots \right) dt_2 \right) dt_1
\]
2. **Nested integrals containing square roots**:
- Research on how to handle nested integrals containing square roots, which often appear in fields such as quantum field theory (QFT).
- Propose a minimal set of integrands so that these integrals can be expressed as the square roots of rational functions.
3. **Transformation from nested sums to nested integrals**:
- Explore how to transform from nested sums to nested integrals, using tools such as generating functions and Mellin transforms.
- Provide some specific transformation rules, for example:
\[
\sum_{k = 1}^{\infty} \frac{x^k}{k^2}\binom{2k}{k}\sum_{m = 1}^k \frac{1}{m}=\int_0^x \frac{1}{\sqrt{1 - 4t}}\left( \int_0^t \frac{1}{\sqrt{1 - 4s}}\frac{1}{s}ds\right) dt
\]
4. **Rationalization transformation**:
- Discuss how to simplify the integrand containing square roots into a rational function through appropriate variable transformations.
- Provide a series of specific rationalization transformation formulas, for example:
\[
x=\frac{2t^2}{t^4 + 1}
\]
- Such a transformation can transform complex nested integrals into a simpler form for further analysis and calculation.
### Main contributions:
- Provide a comprehensive set of rationalization transformation formulas, which are suitable for simplifying nested integrals containing square roots into rational integrals.
- Explore the relationship between nested integrals and nested sums and provide transformation rules from nested sums to nested integrals.
- Compare different calculation methods, such as the holomorphic system method and the differential field method, and point out their advantages and disadvantages.
Through these studies, the paper provides a systematic method for handling nested integrals containing square roots, which is of great significance for the development and application of computer - algebraic systems.