Intereting Posts

About closure under +
Prove: $\cot x=\sin x\,\sin\left(\frac{\pi}{2}-x\right)+\cos^2x\,\cot x$
How to use stars and bars?
Numerical Analysis References
Existence of additive transformation of random variables
Confusion between operation and relation: Clarification needed
Hypergeometric formulas for the Rogers-Ramanujan identities?
How to obtain a closed form for summation over polynomial ($\sum_{x=1}^n x^m$)?
Consecutive coupon collection
Understanding the Gamma Function
Interesting puzzle about a sphere and some circles
Distributions on manifolds
Let p be a prime. Consider the equation $\frac1x+\frac1y=\frac1p$. What are the solutions?
Perfect square then it is odd
Can a finitely generated group have infinitely many torsion elements?

I’m trying to calculate the following series of nested integrals with $\varepsilon(t)$ being a real function.

$$\sigma = 1 + \int\nolimits_{t_0}^t\mathrm dt_1 \, \varepsilon(t_1) + \int_{t_0}^t\mathrm dt_1 \int_{t_0}^{t_1}\mathrm dt_2 \,\varepsilon(t_1)\, \varepsilon(t_2) + \int_{t_0}^t\mathrm dt_1 \int_{t_0}^{t_1}\mathrm dt_2 \int_{t_0}^{t_2}\mathrm dt_3\, \varepsilon(t_1)\, \varepsilon(t_2)\, \varepsilon(t_3) + \cdots \;.$$

The result should be

- Connection between Fourier transform and Taylor series
- Integrate $\int\sqrt{x+\sqrt{x^{2}+2}} dx$ .
- Why do engineers use the Z-transform and mathematicians use generating functions?
- Evaluating improper integrals using laplace transform
- What exactly is the Probability Integral Transform?
- Bessel function integral and Mellin transform

$$\sigma = \exp\left(\int_{t_0}^t\mathrm dt_1\, \varepsilon(t_1)\right) = \sum_{i=0}^\infty \frac1{i!} \left(\int_{t_0}^t\mathrm dt_1 \,\varepsilon(t_1)\right)^i \;.$$

However, comparing the series term by term I already fail to prove the equivalence for the third term. Can someone clear this up for me? Can the series be rewritten to an exponential after all? I recall from my quantum mechanics course that if $\varepsilon(t)$ was an operator, non-commuting with itself for different times, then the formal result would be

$$\sigma = T_c \exp\left(\int_{t_0}^t\mathrm dt_1\, \varepsilon(t_1)\right) \;,$$

with $T_c$ being the usual time-ordering operator. However, as I said in my case $\varepsilon(t)$ is a plain function in the real domain.

- What are the differences and relations of Haar integrals, Lebesgue integrals, Riemann integrals?
- When can the order of limit and integral be exchanged?
- how could we compute this infinite real integral using complex methods?
- Prove that $\int_0^\infty \frac{\ln x}{x^n-1}\,dx = \Bigl(\frac{\pi}{n\sin(\frac{\pi}{n})}\Bigr)^2$
- What are BesselJ functions?
- Computing $ \int_a^b \frac{x^p}{\sqrt{(x-a)(b-x)}} \mathrm dx$
- Infinite series representation. Limited or not?
- Putnam Exam Integral
- How to integrate a vector function in spherical coordinates?
- $\int \ln (\cos x)\,dx$

Expanding on my comment:

The function $$\sigma_1(t)= \exp\left[\int_{t_0}^t dt' \varepsilon(t')\right]$$ fulfills the following differential equation

$$\sigma_1'(t)= \varepsilon(t) \sigma_1(t)$$ with the boundary condition $\sigma_1(t_0) = 1.$ We will show in a next step that $$\sigma_2 (t) = 1 + \int_{t_0}^t dt_1 \varepsilon(t_1) + \int_{t_0}^t dt_1 \int_{t_0}^{t_1} dt_2 \varepsilon(t_1) \varepsilon(t_2) + \dots \;

$$

obeys the same differential equation. Because the solution to this linear differential equation is unique, it follows that $\sigma_1(t) = \sigma_2(t)$.

Taking derivative of $\sigma_2 (t)$, we recover (term by term)

$$\sigma_2' (t) = \varepsilon(t) + \varepsilon(t) \int_{t_0}^t dt_1 \varepsilon(t_1) + \varepsilon(t)\int_{t_0}^t dt_1 \int_{t_0}^{t_1} dt_2 \varepsilon(t_1) \varepsilon(t_2) + \dots = \varepsilon(t)\sigma_2(t).$$

The boundary condition $\sigma_2(t_0) = 1$ also follows easily…

In conclusion, you prove with this that

$$\frac1{n!} \left(\int_{t_0}^t\mathrm dt \,\varepsilon(t)\right)^n = \int_{t_0}^t\mathrm dt_1 \int_{t_0}^{t_1}\mathrm dt_2 \cdots \int_{t_0}^{t_{n-1}}\mathrm dt_n\, \varepsilon(t_1)\, \varepsilon(t_2) \cdots \varepsilon(t_n). $$

Rewriting your definition as $\sigma=1+I_1+I_2+I_3+\ldots$, the explanation you are after is that $(I_1)^n=(n!)I_n$ for every $n\ge1$, since then

$$

\sigma=1+I_1+(I_1)^2/2!+(I_1)^3/3!+\ldots=\exp(I_1).

$$

But the fact that $(I_1)^n=(n!)I_n$ is obvious: $(I_1)^n$ is the integral of the symmetric function

$$

e_n:(t_1,\ldots,t_n)\mapsto\varepsilon(t_1)\cdots\varepsilon(t_n)

$$

over the cube $K_n=[t_0,t]^n$. Likewise, $I_n$ is the integral of $e_n$ over the simplex $\Delta_n\subset K_n$ made of the points $(t_1,\ldots,t_n)$ such that $t_0\le t_1\le t_2\le\cdots\le t_n\le t$.

Recall that the symmetric group $\mathfrak{S}_n$ acts on $K_n$ as follows: for every $s$ in $\mathfrak{S}_n$ and $(t_1,\ldots,t_n)$ in $K_n$,

$s\cdot(t_1,\ldots,t_n)=(t_{s(1)},\ldots,t_{s(n)}).$

Now, $K_n$ is the union of the $n!$ simplexes $s\cdot\Delta_n$ for $s$ in $\mathfrak{S}_n$. The function $e_n$ is symmetric hence its integral on $s\cdot\Delta_n$ is independent on $s$. The simplexes $s\cdot\Delta_n$ intersect on zero measure sets hence $(I_1)^n$ is the sum over $s$ in $\mathfrak{S}_n$ of the integrals of $e_n$ on $s\cdot\Delta_n$. Each of these integrals is equal to $I_n$ and there are $n!$ of them hence you are done.

- Splitting in Short exact sequence
- How to divide currency?
- How many prime numbers are known?
- compute integral $\int_0^{2\pi} \frac{1}{z-\cos(\phi)} d\phi$
- Over a PID, $\text{rank}(F/N)=0 \Longleftrightarrow\text{rank}(F)=\text{rank}(N)$?
- Determining the major/minor axes of an ellipse from general form
- Useful reformulation of Goldbach's conjecture?
- Continuity of the roots of a polynomial in terms of its coefficients
- Modular arithmetic division
- Does every continuous map between compact metrizable spaces lift to the Cantor set?
- How many positive numbers need to be added together to ensure that the sum is infinite?
- Distinguishing properties of $\mathbb{Q}$ and $\mathbb{R} \setminus \mathbb{Q}$ that lead to differing cardinalities?
- Calculate the expectation of a random variable given its cdf
- Find $\int \frac{5x^4+4x^5}{(x^5+x+1)^2}$
- Existence in ZF of a set with countable power set