Jacobi functions: The addition formula and the positivity of the dual convolution structure