Integrating on a Manifold











up vote
4
down vote

favorite
1












I'm new to working with differential forms and integrating over manifolds. I think that I have the following problem solved, but I'm not all that confident in my work.




Let $D={(x,y,z)inmathbb{R}^{3}~:~y=x^{2}+z^{2},yleq 4}$, and let the region be oriented by the $2$-form $sigma=dzwedge dx$. Evaluate $int_{D}omega$, where $omega=z~dxwedge dy$.




Here's my work:



We parametrize the region with the map $psi:(0,2]times(-pi,pi)tomathbb{R}^{3}$ given by $$psi(r,theta)=(rcostheta,r^2,rsintheta)$$ (I think that the open intervals are okay, because we only need to cover the manifold modulo sets of measure zero). We now check orientations by computing the pullbacks $psi^{*}sigma$ and $psi^{*}omega$. We have



begin{align}
psi^{*}sigma&=psi^{*}(dzwedge dx)\
&=d(rsintheta)wedge d(rcostheta)\
&=(sintheta~dr+rcostheta~dtheta)wedge(costheta~dr-rsintheta~dtheta)\
&=-rsin^{2}theta~drwedge dtheta+rcos^{2}theta~dthetawedge dr\
&=-rsin^{2}theta~drwedge dtheta-rcos^{2}theta~drwedge dtheta\
&=-r~drwedge dtheta
end{align}



and we have



begin{align}
psi^{*}omega&=psi^{*}(z~dxwedge dy)\
&=rsintheta~left[d(rcostheta)wedge d(r^{2})right]\
&=rsintheta~left[(costheta~dr-rsintheta~dtheta)wedge(2r~dr)right]\
&=rsintheta~(-2r^{2}sintheta~dthetawedge dr)\
&=(2r^{3}sin^{2}theta)~drwedge dtheta.
end{align}



Since $psi^{*}sigma$ is everywhere negative and $psi^{*}omega$ is everywhere positive, we have $int_{D}omega=-int_{(0,2]times(-pi,pi)}psi^{*}omega$. Hence,



begin{align}
int_{D}omega&=-int_{-pi}^{pi}int_{0}^{2}(2r^{3}sin^{2}theta)dr~dtheta\
&=-8int_{-pi}^{pi}sin^{2}theta~dtheta\
&=-4int_{-pi}^{pi}(1-cos(2theta))~dtheta\
&=-4(theta-frac{1}{2}sin(2theta))bigg|_{-pi}^{pi}\
&=-4pi-(-4)(-pi)\
&=-8pi.
end{align}



Does my work look correct? I've tried this several times and I've gotten a couple of different answers, but I think this one is correct (I went through the steps methodically and tried not to make any stupid mistakes). Any help is appreciated.










share|cite|improve this question


















  • 2




    Everything looks fine.
    – s.harp
    Nov 13 at 1:02










  • @s.harp Thank you very much.
    – user-608571
    Nov 13 at 1:31















up vote
4
down vote

favorite
1












I'm new to working with differential forms and integrating over manifolds. I think that I have the following problem solved, but I'm not all that confident in my work.




Let $D={(x,y,z)inmathbb{R}^{3}~:~y=x^{2}+z^{2},yleq 4}$, and let the region be oriented by the $2$-form $sigma=dzwedge dx$. Evaluate $int_{D}omega$, where $omega=z~dxwedge dy$.




Here's my work:



We parametrize the region with the map $psi:(0,2]times(-pi,pi)tomathbb{R}^{3}$ given by $$psi(r,theta)=(rcostheta,r^2,rsintheta)$$ (I think that the open intervals are okay, because we only need to cover the manifold modulo sets of measure zero). We now check orientations by computing the pullbacks $psi^{*}sigma$ and $psi^{*}omega$. We have



begin{align}
psi^{*}sigma&=psi^{*}(dzwedge dx)\
&=d(rsintheta)wedge d(rcostheta)\
&=(sintheta~dr+rcostheta~dtheta)wedge(costheta~dr-rsintheta~dtheta)\
&=-rsin^{2}theta~drwedge dtheta+rcos^{2}theta~dthetawedge dr\
&=-rsin^{2}theta~drwedge dtheta-rcos^{2}theta~drwedge dtheta\
&=-r~drwedge dtheta
end{align}



and we have



begin{align}
psi^{*}omega&=psi^{*}(z~dxwedge dy)\
&=rsintheta~left[d(rcostheta)wedge d(r^{2})right]\
&=rsintheta~left[(costheta~dr-rsintheta~dtheta)wedge(2r~dr)right]\
&=rsintheta~(-2r^{2}sintheta~dthetawedge dr)\
&=(2r^{3}sin^{2}theta)~drwedge dtheta.
end{align}



Since $psi^{*}sigma$ is everywhere negative and $psi^{*}omega$ is everywhere positive, we have $int_{D}omega=-int_{(0,2]times(-pi,pi)}psi^{*}omega$. Hence,



begin{align}
int_{D}omega&=-int_{-pi}^{pi}int_{0}^{2}(2r^{3}sin^{2}theta)dr~dtheta\
&=-8int_{-pi}^{pi}sin^{2}theta~dtheta\
&=-4int_{-pi}^{pi}(1-cos(2theta))~dtheta\
&=-4(theta-frac{1}{2}sin(2theta))bigg|_{-pi}^{pi}\
&=-4pi-(-4)(-pi)\
&=-8pi.
end{align}



Does my work look correct? I've tried this several times and I've gotten a couple of different answers, but I think this one is correct (I went through the steps methodically and tried not to make any stupid mistakes). Any help is appreciated.










share|cite|improve this question


















  • 2




    Everything looks fine.
    – s.harp
    Nov 13 at 1:02










  • @s.harp Thank you very much.
    – user-608571
    Nov 13 at 1:31













up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





I'm new to working with differential forms and integrating over manifolds. I think that I have the following problem solved, but I'm not all that confident in my work.




Let $D={(x,y,z)inmathbb{R}^{3}~:~y=x^{2}+z^{2},yleq 4}$, and let the region be oriented by the $2$-form $sigma=dzwedge dx$. Evaluate $int_{D}omega$, where $omega=z~dxwedge dy$.




Here's my work:



We parametrize the region with the map $psi:(0,2]times(-pi,pi)tomathbb{R}^{3}$ given by $$psi(r,theta)=(rcostheta,r^2,rsintheta)$$ (I think that the open intervals are okay, because we only need to cover the manifold modulo sets of measure zero). We now check orientations by computing the pullbacks $psi^{*}sigma$ and $psi^{*}omega$. We have



begin{align}
psi^{*}sigma&=psi^{*}(dzwedge dx)\
&=d(rsintheta)wedge d(rcostheta)\
&=(sintheta~dr+rcostheta~dtheta)wedge(costheta~dr-rsintheta~dtheta)\
&=-rsin^{2}theta~drwedge dtheta+rcos^{2}theta~dthetawedge dr\
&=-rsin^{2}theta~drwedge dtheta-rcos^{2}theta~drwedge dtheta\
&=-r~drwedge dtheta
end{align}



and we have



begin{align}
psi^{*}omega&=psi^{*}(z~dxwedge dy)\
&=rsintheta~left[d(rcostheta)wedge d(r^{2})right]\
&=rsintheta~left[(costheta~dr-rsintheta~dtheta)wedge(2r~dr)right]\
&=rsintheta~(-2r^{2}sintheta~dthetawedge dr)\
&=(2r^{3}sin^{2}theta)~drwedge dtheta.
end{align}



Since $psi^{*}sigma$ is everywhere negative and $psi^{*}omega$ is everywhere positive, we have $int_{D}omega=-int_{(0,2]times(-pi,pi)}psi^{*}omega$. Hence,



begin{align}
int_{D}omega&=-int_{-pi}^{pi}int_{0}^{2}(2r^{3}sin^{2}theta)dr~dtheta\
&=-8int_{-pi}^{pi}sin^{2}theta~dtheta\
&=-4int_{-pi}^{pi}(1-cos(2theta))~dtheta\
&=-4(theta-frac{1}{2}sin(2theta))bigg|_{-pi}^{pi}\
&=-4pi-(-4)(-pi)\
&=-8pi.
end{align}



Does my work look correct? I've tried this several times and I've gotten a couple of different answers, but I think this one is correct (I went through the steps methodically and tried not to make any stupid mistakes). Any help is appreciated.










share|cite|improve this question













I'm new to working with differential forms and integrating over manifolds. I think that I have the following problem solved, but I'm not all that confident in my work.




Let $D={(x,y,z)inmathbb{R}^{3}~:~y=x^{2}+z^{2},yleq 4}$, and let the region be oriented by the $2$-form $sigma=dzwedge dx$. Evaluate $int_{D}omega$, where $omega=z~dxwedge dy$.




Here's my work:



We parametrize the region with the map $psi:(0,2]times(-pi,pi)tomathbb{R}^{3}$ given by $$psi(r,theta)=(rcostheta,r^2,rsintheta)$$ (I think that the open intervals are okay, because we only need to cover the manifold modulo sets of measure zero). We now check orientations by computing the pullbacks $psi^{*}sigma$ and $psi^{*}omega$. We have



begin{align}
psi^{*}sigma&=psi^{*}(dzwedge dx)\
&=d(rsintheta)wedge d(rcostheta)\
&=(sintheta~dr+rcostheta~dtheta)wedge(costheta~dr-rsintheta~dtheta)\
&=-rsin^{2}theta~drwedge dtheta+rcos^{2}theta~dthetawedge dr\
&=-rsin^{2}theta~drwedge dtheta-rcos^{2}theta~drwedge dtheta\
&=-r~drwedge dtheta
end{align}



and we have



begin{align}
psi^{*}omega&=psi^{*}(z~dxwedge dy)\
&=rsintheta~left[d(rcostheta)wedge d(r^{2})right]\
&=rsintheta~left[(costheta~dr-rsintheta~dtheta)wedge(2r~dr)right]\
&=rsintheta~(-2r^{2}sintheta~dthetawedge dr)\
&=(2r^{3}sin^{2}theta)~drwedge dtheta.
end{align}



Since $psi^{*}sigma$ is everywhere negative and $psi^{*}omega$ is everywhere positive, we have $int_{D}omega=-int_{(0,2]times(-pi,pi)}psi^{*}omega$. Hence,



begin{align}
int_{D}omega&=-int_{-pi}^{pi}int_{0}^{2}(2r^{3}sin^{2}theta)dr~dtheta\
&=-8int_{-pi}^{pi}sin^{2}theta~dtheta\
&=-4int_{-pi}^{pi}(1-cos(2theta))~dtheta\
&=-4(theta-frac{1}{2}sin(2theta))bigg|_{-pi}^{pi}\
&=-4pi-(-4)(-pi)\
&=-8pi.
end{align}



Does my work look correct? I've tried this several times and I've gotten a couple of different answers, but I think this one is correct (I went through the steps methodically and tried not to make any stupid mistakes). Any help is appreciated.







integration proof-verification differential-geometry smooth-manifolds differential-forms






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 0:42









user-608571

1829




1829








  • 2




    Everything looks fine.
    – s.harp
    Nov 13 at 1:02










  • @s.harp Thank you very much.
    – user-608571
    Nov 13 at 1:31














  • 2




    Everything looks fine.
    – s.harp
    Nov 13 at 1:02










  • @s.harp Thank you very much.
    – user-608571
    Nov 13 at 1:31








2




2




Everything looks fine.
– s.harp
Nov 13 at 1:02




Everything looks fine.
– s.harp
Nov 13 at 1:02












@s.harp Thank you very much.
– user-608571
Nov 13 at 1:31




@s.harp Thank you very much.
– user-608571
Nov 13 at 1:31















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996122%2fintegrating-on-a-manifold%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996122%2fintegrating-on-a-manifold%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?