Posts tagged with differential forms

a smooth field of 1-vectors in 3-D

a smooth field of 1-vectors in 3-D

(Source: thievess)


Discrete differential geometry

Check out page 40 of the source PDF (calcula ex geometrica) — they talk about geometrical computation. Instead of

  1. approximating analog with digital
  2. doing digital arithmetic
  3. smoothing the result to fake an analog again

why not OOP-define computer operations that deal directly with the curves via their defining properties?

Sort of like how MATLAB, Mathematica, Wolfram Alpha, YACAS, SAGE, Maxima, Axiom, Maude, PARI, lie, Singular, GAP — the symbolic calculators — do integrals and derivatives by the same rules that you would on paper rather than numerically approximating a function and then delivering only floating-point answers. The “computer as zillions of arithmetic operations” idea is totally incapable of giving a general answer like ∫cos=sin, or recognise some Green’s-Theorem-type reduction so that a few quintillion computational steps don’t even need to be performed.

The exterior calculus — invention of Élie Cartán — appears to be the right set of principles to object-orientedly program to do the analog-of-symbolic-computation for curves and surfaces.

It makes sense to me. If you have a plane curve with essentially two parameters, why does it need to be represented as an arbitrarily long array of points=pairs? You should be able to get arbitrary precision (just like a symbolic calculator does) with just the two parameters, if the reasoning system you programmed reasons the right way.

Overload dem operators with curve+curve= and surface×curve=, the wedge operator’s leading the way.

Calculus is topology.

The reason is that the matrix of the exterior derivative is equivalent to the transpose of the matrix of the boundary operator. That fact has been known for some time, but its practical consequences have only been understood recently.

[S]uppose you know the boundary of each k-cell in a cell complex in terms of (k−1)-cells, i.e., the boundary operator. Then you also know the exterior derivative of all discrete differential forms (i.e., cochains). So, you know calculus. Smooth or discrete.

Peter Saveliev

(Source: inperc.com)

A beautiful depiction of a 1-form by Robert Ghrist. You never thought understanding a 1→1-dimensional ODE (or a 1-D vector field) would be so easy!

What his drawing makes obvious, is that images of Phase Space wear a totally different meaning than “up”, “down”, “left”, “right”. In this case up = more; down = less; left = before and right = after. So it’s unhelpful to think about derivative = slope.

BTW, the reason that ƒ must have an odd number of fixed points, follows from the “dissipative” assumption (“infinity repels”). If ƒ (−∞)→+, then the red line enters from the top-left. And if ƒ (+∞)→−∞, then the red line exits toward the bottom-right. So no matter how many wiggles, it must cross an odd number of times. (Rolle’s Thm / intermediate value theorem from undergrad calculus / analysis)

Found this via John D Cook.

(Source: math.upenn.edu)