Ask Your Question

Integrate after Pullback

asked 2018-02-23 20:29:37 +0200

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 21:53:54 +0200

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 09:38:08 +0200 )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 20:29:37 +0200

Seen: 376 times

Last updated: Feb 23 '18