Please guide me how to write ths term in fenics, as this is the product
I would typically do that by introducing a lagrange multipler that lives on Gamma_i. There are examples about lagrange multipliers in multiphenicsx (which is developed by myself), and the next dolfinx 0.9.0 will have builtin support for such capabilities.