3
votes
1answer
61 views

Integration on $\mathbb{R}^n$ in terms of differential forms

One defines integration on a smooth manifold as follows: First define $\int_M \omega$ when $\omega$ is supported on a single coordinate chart by pulling back to $\mathbb{R}^n$ an integrating there, ...
1
vote
0answers
51 views

A 1-form on a smooth manifold is exact if and only if it integrates to zero on every closed curve

I am stuck on the following problem, which comes from a old qualifying exam. Prove that a 1-form $\phi$ on $M$ is exact if and only if for every closed curve c, $\int_{c} \phi =0$. One way is an ...
2
votes
1answer
68 views

How to define integration over the boundary of a curve?

When learning about Stokes' theorem ($\int_{\partial \Omega} \omega=\int_{\Omega} \mathrm d \omega$), we are told that it is just a generalization of the 2nd Fundamental Theorem of Calculus $(\int_a^b ...
1
vote
2answers
40 views

Integrating a differential form inside a cylinder

Let S be cylinder given by $x^2+y^2=1$ between $z=1$ and $z=3.$ For $\varphi=e^xdx\wedge dy+ ydz\wedge dx+xdy\wedge dz$ find $\int_S\varphi$. I managed to finish the problem, but I'm getting ...
2
votes
1answer
45 views

Flux Integral - where did I go wrong?

S is the graph $z=25-(x^2+y^2)$ over the disk $x^2+y^2\leq 9$ and $\varphi = z^2dx\wedge dy$. Find $\int_S \varphi$. According to the book the answer is $3843\pi$, but the answer I got is ...
2
votes
0answers
26 views

Prove Green's theorem for circles

So the problem is in the title. The rules are that I can't split the circle into "rectangles" and I can't use pull-back. I tried to do something similar to the proof on unit squares. The problem is ...
1
vote
1answer
35 views

Integrate the differential form over a cardioid

$\omega=\dfrac{-ydx+(x-1)dy}{(x-1)^2+y^2}$ Calculate $\int_C\omega$ where $C...r=1+\cos\varphi$ (positively oriented) I'm still pretty lost when it comes to differential forms but as far as I ...
0
votes
0answers
20 views

Integrating a differential form over two oriented line segments

The problem is the following: Integrate the differential form $(\cos x \arctan e^x-y)dx+(2xy-y^2)dy$ over two oriented line segments $AB$ and $BC$ where $A=(0, -1), B=(1, 0)$ and $C=(0,1)$ I'm ...
0
votes
1answer
21 views

Real part of integral over holomorphic 1-form is zero implies the one-form is zero

Suppose we are working on a Riemann Surface $X$, assume of genus g $\geq$ 1. Let $\omega$ be a holomorphic 1-form on $X$, with $$ \textrm{Re} \int_\gamma \omega = 0$$ for every closed contour ...
3
votes
2answers
52 views

Using Stokes's theorem to calculate a value of integral

Use Stokes's theorem to calculate the integral $$I= \int_\Gamma (x^2+2y)dx+(y+z)dy+(z^2+x^2)dz$$ where $\Gamma$ is the boundary of $$\gamma=\left\{ (x,y,z):3x+y+3z=3,x\ge0,y\ge0,z\ge0\right\} $$ ...
0
votes
1answer
56 views

Defining the integral of differential $1$-forms

Assume $M$ is a smooth manifold, $g:[0,1]\to M$ is a smooth curve on $M$, and $w$ is $1$-form on $M$. Definition: $$\int_gw=\lim_{\Delta\to 0}\sum_{i=1}^nw(x_i)$$ The tangent vectors $x_i$ are ...
1
vote
0answers
82 views

Line integral - should I parametrize the square?

I have the following $1-\text{form}$ defined: $$\omega = \displaystyle\frac{2xy}{(1-x^2)^2+y^2}\mathrm{dx}+\displaystyle\frac{1-x^2}{(1-x^2)^2+y^2}\mathrm{dy}$$ I'd like to find ...
2
votes
2answers
113 views

Inverse Functions and $u$-Substitution

Back in my undergrad days I wrote a false proof of the following. Problem. Prove that $\displaystyle\int_0^{2\pi}\frac{dx}{1+e^{\sin{x}}}=\pi$ Proof. Integrating by parts gives $$ ...
1
vote
1answer
44 views

If differential 1-forms agree on chains with integer coefficients, are they equal?

Let $M$ be a real, smooth manifold. Let $\omega_1$ and $\omega_2$ be differential 1-forms on $M$, and let $C_1(\mathbb Z,M)$ denote the set of 1-chains with integer coefficients. If \begin{align} ...
3
votes
2answers
119 views

Explanation for the integral of differential forms

In our course of differential geometry we defined the integral $\int_{U} \omega$ of a differential form $\omega=f dx_1\wedge \ldots \wedge dx_n: T^nU \rightarrow \mathbb R$ with $U\subseteq \mathbb ...
2
votes
1answer
58 views

Product integration of differential forms

Let $\alpha, \beta$ two forms continuous with compact supports and maximum degree on surfaces oriented $M, N $ respectively. consider $\pi_M:M\times N \rightarrow M$ and $\pi_N:M\times N \rightarrow ...
1
vote
1answer
49 views

Is $\omega = dU = sin(x+y)dx+cos(x+y)dy$ an exact form?

In my thermodynamics homework I should prove that $dU = sin(x+y)dx+cos(x+y)dy$ is a function of state. Which means it's integration over any path be constant or in other word $dU$ should be an exact ...
4
votes
1answer
87 views

Integrating 2-form

In $\mathbb{R}^3$ I consider the compact 2-dimensional manifold $$ M=\left\{(x,y,z)\in\mathbb{R}^2: z=xy\right\} $$ which is orientated by the (global) map ...
1
vote
1answer
107 views

Relation between de Rham cohomology and integration

This question is a follow-up to When does a null integral implies that a form is exact? . As mentionned in the selected answer, given certain conditions it is possible to find an isomorphism between ...
2
votes
3answers
407 views

When does a null integral implies that a form is exact?

It is trivial to prove that the integration of a $(n-1)$ exact form on the boundary of a $n$-manifold is 0. What about the contraposative ? If the integration of a $(n-1)$-form on the boundary of a ...
10
votes
1answer
355 views

Writing Integrals using Differential Forms

Consider some smooth curve $C \subset \mathbb{R^n}$ and $\gamma:[a,b] \subset\mathbb{R}\rightarrow C$ a parametrisation of $C$ and a continuous vector field $K:\mathbb{R^n} \rightarrow \mathbb{R^n}$. ...
3
votes
1answer
89 views

Algorithm/Procedure for finding $\sigma$ such that $\omega=d\sigma$

I know that the Poincare's lemma asserts that under certain conditions a differential form $\omega$ is exact, i.e. it possesses an antiderivative $\sigma$, such that $\omega=d\sigma$. But as ...
6
votes
1answer
109 views

What is the relation of $\int f dx^1\wedge dx^2\wedge …\wedge dx^n=\int f dx^1…dx^n$

In a book "calculus on manifolds" it is defined that $\int f dx^1\wedge dx^2\wedge ...\wedge dx^n=\int f dx^1...dx^n$ but how it is possible the relate the integrand of a multilinear function ...
2
votes
1answer
200 views

Concept of integration to differential form

How to integrate differential form actually. As far as I know, a differential form is a multilinear function mapping from a vector space to a real number. Let's take $\int_c fdx+gdy$ as an example. It ...
3
votes
3answers
78 views

Integral depending on a path?

I need to check whether differential form $\omega$ has, in the domain $G$, such property that it's integral doesn't depend on path. In my exercise: $\omega = \frac{ydx -xdy}{x^2+xy+y^2}$ and $G= R^2 ...
2
votes
1answer
153 views

Formal finite sum for integration on k-chains

This question is related to the integration of differential forms on chains, as exposed in the document at: http://www.math.upenn.edu/~ryblair/Math%20600/papers/Lec17.pdf . The author gives the ...
2
votes
1answer
144 views

Finding the winding number of a curve

Let $\gamma(t)=(r \cos t,r \sin t)$, for some $r>0$, and let $\Gamma$ be a $C^2$-curve in $\mathbb R^2-\{\bf 0\} $, with parameter interval $[0,2 \pi]$, with $\Gamma(0)=\Gamma(2 \pi)$, such that ...
0
votes
1answer
52 views

Restricting the domain of an integral on a manifold

I would like to prove the following: Guess. Suppose M is an orientable smooth manifold without boundary and W is an open set in M. If $\omega$ is a smooth n-form on M such that $\operatorname{supp} ...
3
votes
1answer
272 views

baby rudin, chapter 10, (differential forms) theorem 10.27

I'm having difficulties with the reasoning in the proof of theorem 10.27 (regarding integration over oriented simplexes). say ...
1
vote
1answer
94 views

Why is this integral zero? (Inner product between two 1-forms on a Riemann surface)

I have a quick question regarding the proof of Proposition II.3.2 in Farkas & Kra (pg. 40). The proposition is that if $\alpha$ is a square-integrable, $C^1$ 1-form, then $\alpha$ lives in a ...
8
votes
1answer
392 views

Closed not exact form on $\mathbb{R}^n\setminus\{0\}$

I'd like to construct a closed but not exact $n-1$-form $\omega$ on $\mathbb{R}^n\setminus\{0\}$ in analogy to the winding form: $$\frac{x~dy-y~dx}{x^2+y^2}$$ I think something like ...
0
votes
1answer
57 views

Proof of the naturality of integration

I have a bit of a problem with the following identity: Suppose that $U, V \subset \mathbb{R}^n$, are two open sets. Let $x^1,...,x^n$ be a system of coordinates of $U$ and $y^1,...,y^n$ one on $V$. ...
2
votes
1answer
116 views

Integrals of Differential Forms

I am working out of Munkres Analysis on Manifolds and I see that he claims for $\eta = f dx_1 \wedge \ldots \wedge dx_k$. $$ \int_A\eta = \int_{x \in A} \eta(x)\big((x;a_1) ,\ldots, (x;a_k) \big)$$ ...
5
votes
1answer
310 views

Line integral and integration of differential forms

The definition of integral of a $k$-form $\omega$ over a parametrized manifold $ Y_\alpha $ is $ \int_{Y_\alpha}\omega = \int_A\alpha^*\omega$ where $ \alpha\colon A \to R^n $. Let $ \gamma:(a, b) ...
0
votes
1answer
341 views

How can I find the winding number of a curve?

I need to find the winding number of the closed curve $c(t)=(a \cos(t),b \sin(t))^T $, where $a,b > 0$ and $c:[0,2\pi) \to\mathbb{R}^2\setminus\{0\}$. I don't understand how to do this.
1
vote
1answer
467 views

Integration of a differential form along a curve

Given the differential form $\alpha = x dy - \frac{1}{2}(s^2+y^2) dt$, I'd like to evaluate $\int_\gamma \alpha$ where $\gamma(s)=(\cos s,\sin s, s)$ and $0\leq s\leq \frac{\pi}{4}$. When attempting ...
1
vote
0answers
74 views

Is there a similar equivalence like the divergence theorem for surface integrals non-linear in the normal vector?

The divergence theorem can be stated as $$\bigcirc \hspace{-1.3em} \int \hspace{-.8em} \int\limits_{\partial\Omega} dA\,n_i = \iiint\limits_\Omega dV\partial_i$$ applied to an arbitrary function ...
0
votes
1answer
148 views

Averaging differential forms

Let $M$ be a manifold with a circle action, i.e. with a 1-parameter group of diffeomorphisms $\phi_t:M\to M$ of period 1. I think of the average of a differential form $\omega \in \Omega^n(M)$ with ...
0
votes
1answer
36 views

index $ n(F;D)$ is odd integer

Let $ F: U \subset \mathbb R ^2 \to \mathbb R^2$ be a map with $ F(x,y) = (f(x,y) , g(x,y))$ ,satisfies $F(-q)=-F(q) \quad \forall q \in D \subset U$ where $D$ is a closed disk with center the origin ...
3
votes
1answer
209 views

Derivative of an integral of differential form

I have some smooth function $g(x) \colon \mathbb{R}^{n}_{+} \to \mathbb{R}_+$ such that $G_{t} = \{ x \in \mathbb{R}^n_+ \mid g(x) \leqslant t \}$ is compact. I consider a function $$ f(t) = ...
3
votes
1answer
290 views

Jacobian when representing integral of differential form by Riemann integral?

In Terence Tao's note: If $Ω$ is any open bounded domain in $R^n$ , we then have the identity $$\int_Ω f (x)dx_1 ∧ . . . ∧ dx_n = \int_Ω f (x) dx$$ where on the left we have an integral of ...