For questions about differential forms which commonly arise in differential geometry, and sometimes in multivariable calculus.

learn more… | top users | synonyms

1
vote
1answer
82 views

diffeomorphism preserve a volume form

Let $\omega_1$, $\omega_2$ two volume form on a compact manifold $M$, we know that there exists a never-vanishing function $f$, s.t. $\omega_1=f\omega_2$. If $h$ is a diffeomorphism $M \to M$ ...
1
vote
1answer
183 views

Computing a Differential Form

Apologies in advance, I don't know TeX, so this might look a bit gross... I'm given a 1-form $A=f_1dx_1+...+f_ndx_n$, infinitely differentiable and closed on $R^n$. I want to show that $dg=A$ for ...
1
vote
1answer
84 views

1-form is exact

Let $\omega = f_1 dx_1 +f_2dx_2 + \cdots + f_ndx_n$ be a closed $ C^{\infty}$ $1-$form on $ \mathbb R ^n$. Define a function $g$ by $\displaystyle{ g(x_1, x_2,\cdots, x_n) = \int_{0}^{x_1} f_1(t,x_2 ...
1
vote
2answers
173 views

Closed forms and a simple relation with Cauchy-Riemann

I have a very basic question, sorry for that )=. Let's fix some notation first. Let $ dz = dx + i \; dy $ . Given $f \in C^1$, $f : D \subset \mathbb C \to \mathbb C$, we define $df = f_x \; dx + ...
1
vote
1answer
65 views

Proving $[L_X,i_Y]=[i_X,L_Y]=i_{[X,Y]}$

Let $X,Y$ be vector fields. $L_X$ is the Lie derivative and $i_X$ is the contraction of a $k$-form. I am really stuck on how you could prove the identity $[L_X,i_Y]=[i_X,L_Y]=i_{[X,Y]}$. Update: I ...
1
vote
1answer
41 views

$d(\beta \wedge d\beta)=0$ if $k$ is even.

Let $\beta$ be a $k$-form. Show that $d(\beta \wedge d\beta)=0$ if $k$ is even. I get that $d(\beta \wedge d\beta)=d\beta \wedge d \beta + (-1)^k\beta \wedge d^2\beta=d\beta \wedge d \beta$. Why ...
1
vote
1answer
34 views

Is there a Poincare lemma for codifferential?

Is every co-closed form also locally co-exact? That is for each $k$-form $\omega$ such that $\delta \omega = 0$ there exists $(k-1)$-form $\eta$ for which locally $\omega = \delta \eta$. My current ...
1
vote
2answers
136 views

Question about integrating differential forms

Maybe it's stupid question, by why: $$\int_S Fdx\wedge dy=\int_S Fdxdy$$ And is calculating a surface integral $$\int_S Fdx\wedge dy+Gdy \wedge dz+H dz\wedge dx=\int_S Fdxdy+\int_SGdydz + ...
1
vote
2answers
86 views

Flat Surfaces in $\mathbb{R}^3$ Can Be Bent Only Along Straight Lines

This is a problem out of Elementary Differential Geometry by Barrett O'Neill (Chapter 6 Section 3 Number 2). Let $M$ be a flat surface in $\mathbb{R}^3$ with principal curvatures $k_1$ and $k_2$, ...
1
vote
1answer
48 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} ...
1
vote
3answers
125 views

Prove $d(f\alpha)=d(f \wedge \alpha)$

I am reading the article http://en.wikipedia.org/wiki/Exterior_derivative and a definition of an exterior derivative from Axioms for the exterior derivative. How could I show that if $f$ is a function ...
1
vote
2answers
72 views

Equality involving exterior product..

suppose you have a differential form $\omega$ writting in local coordinates as $$\omega=\sum_{i=1}^ndx_i\wedge dy_i.$$ Can anyone help me showing the following equality: $$\omega^n=n!(dx_1\wedge ...
1
vote
1answer
51 views

understanding simple multivariable integrals in terms of differential forms

I am learning a bit about differential forms: defining differential forms in terms of elementary forms, integrating forms over parametrized domains, etc. I would like to relate this to my previous ...
1
vote
3answers
532 views

Differential Forms, Exterior Derivative

I have a question regarding differential forms. Let $\omega = dx_1\wedge dx_2$. What would $d\omega$ equal? Would it be 0?
1
vote
1answer
100 views

Use the Fundamental Theorem to deduce the formula for the area of an ellipse.

Use the Fundamental Theorem (Green's Theorem) to deduce the formula for the area of an ellipse. Hint: find a 1-form whose exterior derivative is $ dxdy $.
1
vote
1answer
156 views

Confused about Wikipedia page on differential forms

I know next to nothing about differential forms, but I saw them being mentioned repeatedly on this site, so I went to Wikipedia to try to understand what a differential form is. Most of it is going ...
1
vote
1answer
25 views

Green's operator, differential forms

In "Foundations of Differential Manifolds and Lie Groups" by Frank Warner on page 225 there is defined Green's operator: $G: E^p(M) \rightarrow (H^p)^{\perp}$ by setting $G(\alpha)$ to equal the ...
1
vote
4answers
68 views

For a differentiable map $f: \mathbb{R^n}\to \mathbb{R^n}$, Show that $f^*({dy_1 \wedge\cdots \wedge dy_n})=\det(df)dx_1\wedge \cdots\wedge dx_n$

Let $f: \mathbb{R^n}\to \mathbb{R^n}$ be a differentiable map given by $f(x_1,\cdots, x_n) = (y_1,\cdots,y_n)$. Show that $f^*({dy_1 \wedge\cdots \wedge dy_n})=\det(df)dx_1\wedge \cdots\wedge dx_n$ ...
1
vote
2answers
43 views

n-form associated with a vector field with general metric

With the euclidean metric I use the musical isomorphisms to obtain $1$-form associated with a vector field, so for a vector field $\vec{F}=(f_1,f_2,f_3)$ we have $ \vec{F}^{\flat}=f_1dx+f_2dy+f_3dz$ ...
1
vote
1answer
125 views

Covariant differential on p forms

On Peter Li's book Geometric Analysis on page 19 (http://www.im.ufrj.br/andrew/GR14-2/Lecture%20Notes%20on%20Geometric%20Analysis.pdf) I can't understand the following line $\begin{array}{l} ...
1
vote
1answer
23 views

contraction identity on $k$-forms

$i_\mathbb{X} \omega $ is the contraction of $\omega$ with respect to $\mathbb{X}$. In my notes it is stated that $i_\hat{\mathbb{X}} dx = dx(\hat{\mathbb{X_t}})$. I cannot see how this fits the ...
1
vote
2answers
43 views

Given an $(n-1)$-form $\varphi$ on a smooth orientable $n$-manifold, there is a vector field $v$ such that $i_v\varphi = 0$.

I am working on the following problem. Let $M$ be a smooth orientable $n$-manifold, $n \geq 2$, and let $\varphi$ be a smooth $(n-1)$-form on $M$. Show that there is a vector field $v$ on $M$ such ...
1
vote
1answer
67 views

If $M$ is a compact manifold what does $\partial M$ mean?

In the generalized form of stokes theorem it states that the integral of the $k+1$ differential form of an operator over a compact manifold $M$ is equivalent to the integral of the $k$ differential ...
1
vote
1answer
59 views

Differential forms and minor expansion, question about notation.

There are lectures by Theodore Shifrin on differential forms, and sadly one video ends suddendly where he explains some notation. I try to formulate it in my own words: When k=n, we have ...
1
vote
1answer
36 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 ...
1
vote
1answer
47 views

Is it true that $0$ is the only exact $0$-form

I am totally new to the concepts of forms so sorry if my question is trivial. I came across a statement that ''there are no exact $0$-forms as there is no $-1$ form. So I revisited the definition ...
1
vote
1answer
63 views

If $\omega\wedge\beta$ is exact for every closed form $\beta$, then $\omega$ is exact.

Let $\omega$ be a closed $k$-form. Then: If $\omega$ is exact, for every closed form $\beta$, the form $\omega\wedge\beta$ is exact. Proof: Let $\omega=d\alpha$. Now $d(\alpha\wedge\beta) = ...
1
vote
1answer
29 views

How to show $\nu=dx_1\wedge\ldots \wedge dx_n$?

Let $\nu$ be the $n$-form in $\mathbb R^n$ satisfying $\nu(e_1, \ldots, e_n)=1$ where $\{e_1, \ldots, e_n\}$ is the canonical base of $\mathbb R^n$. Let $\displaystyle v_i=\sum_{j=1}^n a_{ij}e_i$. How ...
1
vote
1answer
88 views

The kernel of a differential one-form

I'm thinking about the kernel of a differential one-form $\theta\in\Lambda^{1}(M)$: $$ Ker(\theta):=\left\{X\in\mathfrak{X}(M) \;|\; \theta(X)=0\right\} $$ Now suppose $X\in Ker(\theta)$, then is ...
1
vote
1answer
69 views

Cartan formalism calculation

Just to test out the Cartan formalism, I decided to apply it to the sphere. So, it admits a metric, $$\mathrm{d}s^2 = \mathrm{d}r^2 + r^2 \sin^2 \phi \mathrm{d}\theta^2 + r^2 \mathrm{d}\phi^2$$ from ...
1
vote
2answers
119 views

Question about differential form

$\omega = y dx + dz$ is a differential form in $\mathbb{R}^3$, then what is ${\rm ker}(\omega)$? Is ${\rm ker}(\omega)$ integrable? Can you teach me about this question in details? Many thanks!
1
vote
1answer
91 views

$df$ vanish in a compact manifold in at least 2 points

I need to prove that if $M$ is a compact manifold and $f$ is a smooth function in $M$, then $df$ vanish in at least 2 different points of $M$. I don't know where to start. Any suggestion will be ...
1
vote
1answer
216 views

Locally exact differential in a disk is exact

I'm reading through Ahlfors' Complex Analysis text for self study, and I found difficulty with a proof. In chapter 4 he defines a locally exact differential as a differential who is exact in some ...
1
vote
1answer
110 views

A differential form to compute the k-volume of a k-parallelogram in n dimensions

Computing the k-volume of a k-parallelogram (i.e. a parallelogram spanned by k n-dimensional vectors) in n dimensions is straightforward: Let $P=[\overrightarrow{v_1},...,\overrightarrow{v_k}]$, then ...
1
vote
1answer
83 views

On simply connected domains

During lecture we defined simply connected set in $\mathbb{R}^n$: $\Omega \subset \mathbb{R}^n$ is simply connected, iff it is connected and for any $C^1$ closed curve $c:[0,1]\rightarrow \Omega$ ...
1
vote
1answer
216 views

How general formulation of Stoke's theorem relate to Kelvin-Stokes theorem

I asked a similar question, but I realized the question is too vague and it's better to start a new one: We know that there are two usually used formulations of Stoke's theorem. One is vector ...
1
vote
1answer
46 views

Expressing a differential form in terms of a scalar function

We can express every k-form in the form $ \omega(x) = \sum_Id_Idx_I $ where $ I$ is k-tuple and $ d_I$ is just some scalar function of x. That's entirely understandable for me. But while reading ...
1
vote
1answer
95 views

Show that $\omega = d(I\omega)$ if $d\omega = 0$

Let $\omega = P\ dx + Q\ dy$ be a 1-form on $\mathbb{R}^2$. Also, define a 0-form $I\omega({\bf x}) = I\omega(x, y)$ by $$ I\omega({\bf x}) = \int_0^1 P(t {\bf x}) x + Q(t {\bf x}) y\ dt.$$ I would ...
1
vote
1answer
136 views

Tangent Vectors and Differential 1-forms.

I have this 1-form on $\mathbb R^3$ given by $\omega=dz+\frac{x}{2}dy-\frac{y}{2}dx$. If $p_0=(x_0,y_0,z_0)$ and $\vec v=(u_0,v_0,w_0)$, then find the set of tangent vectors $\vec v_{p_0}$ such that ...
1
vote
1answer
111 views

Is the differential form $\omega(x,y)=\frac{2x}{x^2+y^2-4}dx+\frac{2y}{x^2+y^2-4}dy$ exact on his natural domain?

The natural domain $D$ of the differential form $\omega$ is $D=D_1 \cup D_2$ where $D_1=B\bigl((0,0),2\bigr)$ is the open ball of center in the origin and radius $r=2$ and ...
1
vote
1answer
256 views

Recover the differential form by its pullback

I have a smooth manifold $M$ in $\mathbb{R}^n$ given by $M = \{ x \in \mathbb{R}^n \mid g(x) = 0 \}$. Its atlas consists of a single chart $(M,\varphi)$, where $$ \begin{array}{rcl} ...
1
vote
2answers
141 views

Closed differential form.

In the paper, page 5, Line 5, why the form $\eta_j$ is closed? We have to show that $d \eta_j=0$. Here $\eta_j = f(t)dt$ for some function $f$. Is it always true that $d\eta_j$ for any $f$? Thank you ...
1
vote
1answer
49 views

Representation of $n$ form and $n-1$ form in local coordinates

Let $M$ denote a smooth $n$-dimensional manifold. (a) Let $\phi$ denote a smooth $n$ form which is nowhere zero. Show that every $x_{0} \in M$ has a neighborhood on which we can find smooth local ...
1
vote
1answer
29 views

Finding the Lie derivative of a 2-form exercise

Let $\beta=-x dx \wedge dy + ydy \wedge dz$. The vector field is $X=(y,0,z)$.Find the Lie derivative. I try that $\begin{align}L_X \beta &=L_X (-x dx \wedge dy + ydy \wedge dz) = -x L_X(dx ...
1
vote
1answer
43 views

A question on self-dual differential 2-forms

This question is from Lemma 2 in Derdzinski's paper. Let $$\omega=e_1\wedge e_2+e_3\wedge e_4, \eta=e_1\wedge e_3+e_4\wedge e_2, \theta=e_1\wedge e_4+e_2\wedge e_3$$ be a basis for self-dual ...
1
vote
1answer
21 views

wedge product with and without a second pair of vectors

I am starting to study wedge products, and am stuck on notation. The Bachman book on differential forms says $$ \omega \wedge \nu ( v_1, v_2 ) $$ "gives the area of the parallelogram spanned by ...
1
vote
1answer
37 views

How to make an ideal generated by differential forms into a differential ideal?

Let $M=\mathbb{R}^4$ with standard coordinates $x_1,x_2,x_3,x_4$. Let $\alpha=x_2dx_1+x_3dx_3+dx_4$ and $\beta=2dx_2+x_1^2dx_3+x_1dx_4$ How to find a 1-form $\gamma$ such that the ideal generated ...
1
vote
2answers
51 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 ...
1
vote
2answers
67 views

The property of an integral manifold of differential form

Let's define the $1$-form $\eta$ on $\mathbb{R}^3$ by formula: $$\eta = A(x,y,z)\;\mathrm{d}x + B(x,y,z)\;\mathrm{d}y + \mathrm{d}z \text{.}$$ And let's assume that $$\mathrm{d}\eta \wedge \eta = ...
1
vote
2answers
67 views

Wedge product and determinants

I am attempting to self-study differential forms this summer, but I ran into this definition for the wedge product in my book, and it doesn't make any sense to me. Note that $\Bbb R^3_p$ is the ...