Ask Your Question

Integrate after Pullback

asked 2018-02-23 13:29:37 -0500

danielvolinski gravatar image

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):


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?


edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2018-02-23 14:53:54 -0500

eric_g gravatar image

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()
edit flag offensive delete link more


thanks Eric.

danielvolinski gravatar imagedanielvolinski ( 2018-02-24 02:38:08 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2018-02-23 13:29:37 -0500

Seen: 35 times

Last updated: Feb 23