H. Pu,L. O. Baksmaty,W. Zhang,N. P. Bigelow,P. Meystre
Abstract:We investigate the time evolution of a Bose-Einstein condensate in a periodic optical potential. Using an effective mass formalism, we study the equation of motion for the envelope function modulating the Bloch states of the lattice potential. In particular, we show how the negative effective mass affects the dynamics of the condensate.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to derive a closed - analytic formula for calculating the two - loop mass bubble diagram (tadpole diagram) of any tensor numerator containing two heavy propagators and one light propagator. Specifically, the paper focuses on calculating the two - loop integrals of two heavy propagators and one light propagator with arbitrary powers in the framework of dimensional regularization, and these integrals contain arbitrary tensor numerators.
### Specific description of the problem
1. **Complexity of Feynman integrals**:
Feynman integrals, especially those with complex tensor numerators, are very difficult in practical calculations. Even if they can be analytically calculated in theory, in actual operation, the problem often needs to be simplified to the calculation of a series of scalar integrals, which is not only cumbersome, time - consuming, but also error - prone. As the complexity of the tensor structure increases, the number of required scalar integrals will also increase rapidly.
2. **Limitations of existing methods**:
At present, these problems can be completely analytically solved only in a few cases. For example, the so - called p - integrals (i.e., completely massless Feynman integrals, depending only on one external momentum) have explicit results in the one - loop case, but for the three - loop tensor p - integrals, complex harmonic projection methods still need to be used.
3. **Importance of m - integrals**:
The paper discusses another useful type of Feynman integrals - m - integrals, that is, integrals without external momentum but containing heavy and light lines. Such integrals naturally occur in dealing with problems of "heavy" masses (much larger than other involved mass scales), such as certain high - order correction calculations in quantum field theory.
### Goals of the paper
The main goal of the paper is to use the integration by parts method to derive a closed - analytic expression for calculating the two - loop m - integrals of any tensor numerator, which contains two heavy propagators and one light propagator. This result is of great significance for simplifying the complex Feynman integral calculations and can be automated in the algebraic operation language FORM.
### Application of the formula
By deriving this closed - analytic formula, researchers can more efficiently handle Feynman integrals containing complex tensor numerators, thereby accelerating high - precision calculations and verification work in theoretical physics.
### Key formula
The paper gives a key formula for representing the linear combination of the initial integrals:
\[
\int P_{n_1, n_2}(p_1, p_2) I(\alpha, \beta, \gamma) = \frac{\Gamma(D/2 - \gamma)}{\Gamma(\alpha) \Gamma(\beta) \Gamma(D/2)} \sum_{\sigma_3 = 0}^{[(n_1 + n_2)/2]} \sum_{\sigma_2 = 0}^{[n_2/2]} \sum_{\sigma_1 = 0}^{[n_1/2]} \frac{(\gamma)_{\sigma_3}}{\sigma_3!(2 - \epsilon)^{\sigma_3}} M(\alpha + \sigma_1 - n_1, \beta + \sigma_2 - n_2, \gamma + \sigma_3)
\]
\[
\times (- 1)^{(n_1 + n_2+\sigma_3)} \frac{1}{4^{\sigma_1+\sigma_2+\sigma_3} \sigma_1! \sigma_2!} \left. \left\{ \Box^{\sigma_3}_{p_3} \left\{ \Box^{\sigma_2}_{p_2} \Box^{\sigma_1}_{p_1} P_{n_1, n_2}(p_1, p_2) \right\} \right|_{p_1 = p_2 = p_3} \right|_{p_3 = 0}
\]
where $\Box$ represents the d'Alembert operator, and $(\gamma)_n$ is Pochhammer.