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

learn more… | top users | synonyms

3
votes
1answer
51 views

Area form a differential form?

I just read that $\omega_x( \eta, \zeta) := \langle x, \eta \times \zeta \rangle $ is the area form on the sphere, where $x \in \mathbb{S}^2$ and $\eta,\zeta \in T_xM.$ All I see is that this is ...
1
vote
1answer
41 views

Derivative for numerical models.

I am working in Mechanical engineering and Computer vision, in which I use a matlab code (or codes) to represent a specific system or process. Of course such model has an input , an implimented ...
1
vote
1answer
35 views

rank of the symplectic form

This is a general question about ranks of differential forms. I read in a book the phrase "symplectic form has constant rank..." I understand that the symplectic form is a nondegenerate differential ...
2
votes
1answer
40 views

An Application of Stokes's Theorem

Let $D^2=\{(x,y)\in \mathbf R^2: x^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^2$, and $D^3=\{(x,y,z)\in \mathbf R^3: x^2+y^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^3$. Let $i_{\pm}:D^2\to ...
0
votes
1answer
36 views

how to find points where a k-form is nonvanishing.

for example, if we are given 2-form $\omega=2xdx\wedge dy+2ydy\wedge dz$, what are the points where the form vanishes? I can only think of points $(0,0,z)$, is it all? Additionally, if we have a form ...
0
votes
0answers
67 views

Integration over a manifold with boundary (Check).

Assume that $ f: \Bbb{R}^{3} \to \Bbb{R} $ is a smooth function such that $ M \stackrel{\text{df}}{=} \left\{ \mathbf{x} \in \Bbb{R}^{3} ~ \middle| ~ f(\mathbf{x}) \ge 0 \right\} $ is a non-empty ...
1
vote
1answer
44 views

Is the form closed?

$S$ is an n dimensional unit sphere such that $S^n=(x\in \Bbb R^{n+1}: |x|=1)$ with some fixed orientation and $\omega$ is a volume form on $S$. Prove that $\omega$ is closed. Prove that $\omega$ ...
0
votes
1answer
31 views

Compute the wedge product n times

Let $\omega$ be a 2-differential form in $\mathbb{R}^{2n}$ given by $$\displaystyle \omega=dx^1\wedge dx^2+dx^3\wedge dx^4 + \cdots + dx^{2n-1}\wedge dx^{2n}$$ Compute: $$\displaystyle ...
0
votes
0answers
13 views

Prove a certain property of the Hodge double star operator

I want to solve the following problem Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ where $ \displaystyle \ast\omega =\sum_I \text{sgn}(I,J)\omega_I dx^J$ and $\omega$ is a k-form in ...
0
votes
0answers
17 views

Use a Lie series in order to find the solution to initial value problem

We were presented with a fairly difficult bonus question on my multivariable calculus exam today. I was hoping you all could hope me crack it. The question is as follows: Use a Lie series to find, ...
1
vote
0answers
45 views

Compute the double Hodge star operator

I am taking a course in Multivariable Analysis and I am asked to do the following problem: Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ So I start as follows: We know that $\displaystyle ...
2
votes
0answers
66 views

How to define the boundary operator using the exterior derivative?

I am looking for a way to define the boundary operator $\partial : M^n \to N^{n-1}$ from an $n$-dimensional manifold $M$ to its boundary $N$ using the the expression \begin{equation*} \int_M d \alpha ...
1
vote
1answer
26 views

Direct differentaition

In a STEP problem I found this: the vector "$\vec r$" is given as below ($a$ and $L$ are constants) and then it said to perform direct differentation to get the second equation. $$\vec r = a (\sin ...
0
votes
1answer
22 views

Basic question that has to do with exterior derivative.

Basic question: If we have $$Y=d\left(\frac{1}{\alpha} +\frac{1}{\bar{\alpha}}\right)$$ where $d$ is exterior derivative, i.e, $Y$ is a $1$-form. Now we could write that as ...
0
votes
0answers
49 views

Relationship between Cartan and Fréchet derivative

Let $f: X \rightarrow \mathbb{R}$ be smooth, then the Fréchet derivative is a map $Df: X \rightarrow L(X, \mathbb{R}).$ But if $f: M \rightarrow \mathbb{R}$ is smooth and $M$ a manifold, then the ...
1
vote
0answers
19 views

An expression of covectors acting on vectors on the tangent space of a manifold

Let $M$ be a smooth manifold. Take $p\in M$ and $(U,\varphi)$, $\varphi:U\rightarrow \mathbb{R^n}$, a chart around $p$. Let $\mathbb{R}^n\left[\frac{\partial}{\partial x_i}\right]$ and ...
3
votes
2answers
248 views

Differentiation Tricks

Since most derivatives are trivial to take, it's understandable why integrals get most of the mathematical tricksters' attention. However, not all derivatives are trivial to take and I think it's good ...
1
vote
0answers
68 views

Integrability problem in Cauchy Integral Formula

This is problem on the integrability of a 2-form in the nhbd of its singularity. I was looking at the general Cauchy formula (general because it works for $\mathcal C^1$ function, and makes the case ...
0
votes
0answers
18 views

How to obtain the line element in cylindrical coordinates, using definition of differential forms

In general, a volume element is a k-form on an K-dimensional manifold. a k-form w on $\mathbb{R}^{n}$ is defined as $w(x) = \sum_{i_{1}<i_{2}<...<i_{k}} w_{i_{1}i_{2}...i_{k}}(x) ...
1
vote
0answers
31 views

Cohomology of two pieces of torus

In an exercise from an old exam, I found myself confronted with $M=\{(\sqrt{x^2+y^2}-2)^2+z^2=1\}$, $U=M\cap\{x\neq0\vee y>0\}$, $V=M\cap\{x\neq0\vee y<0\}$ and $U\cap V$, all subsets of ...
0
votes
0answers
33 views

Green's theorem via Stokes's theorem

I am considering the following form of Stokes's theorem: Let $\omega$ be an $n-1$ differential form with compact support on an oriented manifold of dimension $n$. Let us consider the boundary ...
1
vote
0answers
36 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
5
votes
1answer
189 views

Different definitions of differential forms?

I am a physicist and was reading about differential forms in Classical Mechanics. Now, I thought that a two-form is a smooth map $\omega : M \rightarrow \Lambda(T^*M)$ so that a point $p$ on the ...
1
vote
0answers
28 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature ...
0
votes
1answer
109 views

Differential forms - looking for 3 definitions!

I am sorry for this type of question, but I currently have to deal with differential forms although I have not heard so far what they actually are, so I have just a few very particular questions about ...
1
vote
0answers
51 views

How can I prove $dz=dx+idy$?

Let's see $\Bbb C$ as an $\Bbb R$-vector space. Hence it is isomorphic to $\Bbb R^2$ and it has dimension $2$. If $v_1,v_2$ is a basis for $\Bbb R^2$, every its element can be written as $xv_1+yv_2$; ...
3
votes
0answers
52 views

Differential Form Pullback Definition

I'm having some difficulty following how Spivak (Calculus on Manifolds) has induced the pullback on page 89. From reading elsewhere online it seems convention is to define the induced map of the ...
0
votes
0answers
26 views

existence of integrating factor

Is there always an integrating factor to turn an incomplete differential $M(x,y)dx+N(x,y)dy$ in to a complete differential. Does the answer depend on dimensionality? for example what is the answer for ...
2
votes
0answers
52 views

Product of Two Orientable Manifolds is Orientable

I am trying to show that following: Let $M$ be an oriented smooth manifold of dimension $m$, and $N$ be an oriented smooth manifold of dimension $n$. Then $M\times N$ is orientable. Let ...
0
votes
0answers
27 views

Integration of a 1-form over a “split curve”.

Bit of a strange question I can't really get my head around so apologies if it is ill-posed. Suppose we take a closed curve $\gamma: S^1 \to C \subset M$ in a Riemannian manifold $M$ and integrate ...
35
votes
3answers
604 views

Is Stokes' Theorem natural in the sense of category theory?

Stokes' Theorem asserts that for a compactly-supported differential form $\omega$ of degree $n-1$ on a smooth oriented $n$-dimensional manifold $M$ we have the marvellous equation $$\int_M d\omega = ...
1
vote
1answer
40 views

Winding number of differential curve

Consider the one-form $\omega$ on $\textbf{R}^2$\ {(0,0)} defined by $\omega$ = $\frac{xdy-ydx}{x^2+y^2}$ Let K $\subset$$\textbf{R}^2$\ {(0,0)} denote the positive x-axis. Let $\gamma$ : $[a,b]$ ...
0
votes
0answers
31 views

One form and Vector fields on a manifold in terms of local coordinates.

Prove : $d$$\omega$$(V,W)$=$V \omega (W) - W \omega(V) -\omega([V,W])$ in local coordinates where $\omega$ is a one-form and V,W are vector fields on a smooth manifold M. I do not know how to ...
-4
votes
2answers
131 views

Differential Forms Notation is Wrong? Confirm or deny? [closed]

Being an engineering student that just happens to have a large interest in math, I have always felt that appealing to definitions instead of intuitively understanding a concept is a mistake. A while ...
0
votes
1answer
40 views

Three-Dimensional Metrics as Deformations of a Constant Curvature Metric?

I read the following paper Three-Dimensional Metrics as Deformations of a Constant Curvature Metric and discovered the following result: I have three questions: (1) Is $h$ also a conformally flat ...
1
vote
0answers
58 views

Connection on Tangent Bundle of Group Manifolds

The thing puzzling me is about a transformation rule of connection on tangent bundle of group manifolds: Assume one has a compact and simply connected Lie group $K$. One can give a metric $g$ on $K$ ...
0
votes
1answer
124 views

Integration over manifolds

S is subset of $\Bbb R^3 $ consisting of the union of 1) $z$ axis 2) the unit circle $x^2+y^2=1,z=0$ 3) the points $(0,y,0)$ with $y \ge1 $ Let $A$ be the open set $\Bbb R^3-S$. Let $C_1, C_2, ...
1
vote
1answer
112 views

Integration of forms on non-simply connected manifolds

What I know is that closed forms are not exact on non-simply connected manifolds, so for instance, if $E$ is a closed form, then $dE = 0$ but $\int_\gamma E \neq 0$, where $\gamma$ is a ...
1
vote
0answers
46 views

Integrating factor for non-exact differential

Given $\frac{xdy+ydx}{x^2+y^2}$ I took partials of either coefficient wrt to other variable I get $\partial P/\partial y$ as $\frac{x^2-y^2}{(x^2+y^2)^2}$ and $\partial Q/\partial x$ as ...
2
votes
1answer
31 views

Does the dual basis to some basis of $T^*_pM$ looks localy like a coordinate chart?

Let $M$ be a manifold and let $\{\alpha_k\}$ be a set of $1$- forms s.t. $\{\alpha_k(p)\}$ forms a basis for $T^*_pM$. Let $(x,U)$ be a chart based in $p$ and denote $\partial_i := ...
8
votes
1answer
123 views

Explain densities to me please!

When it comes to integration on manifolds, I speak two languages. The first is of course the language of differential forms, which is something I am relatively well acquinted with. The second ...
0
votes
0answers
30 views

Topology of “line integral convergence” on the space of curves

Let $C^1(I,\mathbb{R}^n)$ be the space of $C^1$ curves. Give it the topology that satisfies that convergence of a sequence of curves $\gamma_n \to \gamma$ occurs iff these conditions hold: a. ...
5
votes
1answer
80 views

How should we think about equations like $dy = 2x \cdot dx$ from the viewpoint of modern geometry?

We've just started learning about (smooth) manifolds at uni, and I'm kind of hoping this will finally help me get a handle on the dreaded Leibniz notation. Now I've read that expressions $dy$ like can ...
5
votes
0answers
76 views

Can a differential k-form be integrated on a manifold that is not k-dimensional?

For example, can you integrate a 2-form on some curve, a 1-dimensional manifold, or some 3-dimensional manifold? I know that Stokes's Theorem states that if you integrate $\omega \in \mathcal ...
7
votes
3answers
226 views

What is the intuition behind the definition of the differential of a function?

What is the intuition behind the definition of a differential of a function in differential geometry? i.e. $$df(p)(v_{p}) =v_{p} (f)(p) $$ where $v_{p} \in T_{p} M$ is a vector in the tangent space to ...
1
vote
2answers
68 views

The Operator '$d$' Apparently Having two Different Meanings in Differential Geometry.

Given a smooth map $f:M\to N$ between smooth manifolds $M$ and $N$, we denote the global differential of $f$ by $df$. Also, the letter '$d$' is used for denoting exterior derivative of a differential ...
3
votes
1answer
49 views

Can We Write the Differential in Terms of Covectors?

Let $f:\mathbf R^n\to \mathbf R$ be a smooth map. We can write $df:T\mathbf R^n\to \mathbf R$ neatly as $$ df = \sum_{i=1}^n(\partial f/\partial x_i) dx_i $$ For a function $f:M\to \mathbf R$ defined ...
4
votes
1answer
80 views

Is there an intuitve motivation for the wedge product in differential geometry?

I've recently started studying differential forms and have been looking at differential forms. I'm struggling to understand the motivation for introducing the notion of the wedge product. Does it ...
8
votes
2answers
140 views

What is the relation between dx in elementary calculus and dx in differential geometry?

I've recently started studying differential geometry and was really hoping that in doing so I'd finally have an answer to something that's been bugging me since I first learnt calculus - what is ...
-1
votes
2answers
45 views

Differential forms and simplification

Let us suppose we have $$(\partial_x \alpha - \partial_x \bar{\alpha} )(df+\lambda)\wedge dx+$$$$(\partial_y \alpha - \partial_y \bar{\alpha} )(df+\lambda) \wedge dy +$$$$(\partial_z \alpha - ...