# Tagged Questions

51 views

### Evaluate line integral without parameterizarion

It's been brought to my attention that line/surface integrals and integrals of differential forms in general can be evaluated without introducing a parameterization, however I haven't been able to ...
24 views

### Integrating differential forms over a box

I've only ever seen examples of integrating a differential form over a curve C involving defining a parameterization. I have seen people integrate 1 forms over a box without defining a ...
44 views

46 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} ...
129 views

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 ...
90 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 ...
109 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 ...
429 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 ...
363 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}$. ...
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 ...
110 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 ...
212 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 ...
78 views

282 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 ...
95 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 ...
411 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 ...
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$. ...
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)$$ ...