Integrate after Pullback

How to integrate a differential for obtained by pullback?

Let say I have calculated the pullback of some differential form, the result is (in latex):

$\rho^2\sin(\theta)\,\mathrm{d}\rho\wedge\mathrm{d}\theta\wedge\mathrm{d}\phi$


The triple integral is:

sage: integral(integral(integral(rho^2*sin(theta),rho,0,1),theta,0,pi/7),phi,0,pi/5)


But I want this process to be automatic, i.e. not manually write the integrand in the triple integral by myself. I want to be able to extract the integrand from the pullback and put it in the triple integral. I that possible?

Daniel

edit retag close merge delete

Sort by » oldest newest most voted

Suppose your 3-form is tau; to extract the integrand, simply use tau[1,2,3].expr(), or tau[frame,1,2,3,chart].expr() if the vector frame and the chart are not the default ones on the manifold. Note that expr() returns a symbolic expression, which can be passed directly to integrate. For instance, for the example of question 41228, this would be

sage: tau.display(spherical.frame(), spherical)
tau = rho^2*sin(theta) drho/\dtheta/\dphi
sage: tau[spherical.frame(),1,2,3,spherical].expr()
rho^2*sin(theta)

more

thanks Eric.

( 2018-02-24 02:38:08 -0600 )edit