This site is devoted to mathematics and its applications. Created and run by Peter Saveliev.


From Mathematics Is A Science

Jump to: navigation, search

  1. The topology of a binary image
  2. The topology a gray scale image
  3. The geometry a gray scale image
  • Integration of differential forms
  1. Orientation
  2. Integration of differential forms of degree 0 and 1
  3. Orientation of manifolds
  4. Integral theorems of vector calculus
  5. Integration of differential forms of degree 2
  6. Properties of integrals of differential forms
  7. General Stokes Theorem
  8. Continuous vs discrete differential forms
  • Cohomology
  1. Calculus and algebra vs topology
  2. Closed and exact forms
  3. Closedness and exactness of 1-forms
  4. de Rham cohomology
  5. Tunnels
  6. Change of variables for differential forms
  7. Cochain complexes and cohomology
  8. Cohomology of figure 8
  • From vector calculus to exterior calculus
  1. Fundamental correspondence
  2. Identities of vector calculus
  3. Cross and dot products of vector fields under fundamental correspondence
  • Manifolds and differential forms
  1. More about manifolds
  2. Tangent bundle
  3. Tangent bundles and differential forms
  4. Cubical tangent bundle
  • Homology and computations
  1. How to compute Betti numbers
  2. How to compute homology
  • More on maps
  1. Simple connectedness
  2. Fundamental group
  • Properties of homology groups
  1. Exact sequences
  2. Homology vs homology of the complement: Alexander duality
  3. Homology vs cohomology in manifolds: Poincare duality
  4. Cup product and cap product
  • Differential geometry
  1. Codifferential
  2. Hodge decomposition
  3. Gauss-Bonnet theorem
  4. Voting and the Arrow's Impossibility Theorem
  • Physics modelling with discrete PDEs
  1. Wave equation
  2. Navier–Stokes equations for fluid flow
  3. Maxwell equations of electromagnetism
  4. Wave equation from Maxwell equations
  5. Cellular automata
  • Parametrized complexes and robustness of topology
  1. Computing persistent homology of filtrations
  2. The topology of a color image
  3. Multiparameter filtrations
  • Equilibria and reachability
  1. Equilibria of dynamical systems
  2. Fiber bundles
  3. Lefschetz theory for coincidences
  4. Lefschetz numbers in control theory
  • PageRank
  1. PageRank's dependence on the damping factor
  2. PageRank as a probability distribution
  3. PageRank as a solution of a matrix equation
  4. PageRank: testing
  5. PageRank as a flow: how to do things
  • Examples of spaces
  1. Circle
  2. Cylinder
  3. Mobius band
  4. Projective plane
  5. Torus
  6. Klein bottle
  7. Rotation group SO(3)
  • Exercise sets
  1. Differential forms: exams
  2. Differential forms: review questions
  3. Introductory algebraic topology: review exercises
  4. Topology II -- final exam
  5. Topology II -- midterm

1 The dual equation with inflow

In the general cell complex case the material is still contained in $n$-dimensional cells (we assume that they form an $n$-dimensional combinatorial manifold) and each cell exchanges the material with its neighbors through its boundary that consists of its $(n-1)$-dimensional faces. The amount of material in a cell $U$ is a $(n,0)$-form, an $n$-form with respect to location (in the $n$-dimensional space) and a $0$-form with respect to time.

An alternative (dual) approach is to think of the nodes, i.e., $0$-cells, as the containers instead of the $n$-cells. The fluid is then exchanges via the pipes, i.e., edges or $1$-cells, that connect the nodes.

Let's derive the equation in this dual setting.

The amount of material $M$ is a dual $(1,0)$-form, a $1$-form with respect to location (on the grid) and a $0$-form with respect to time.

The outflow $F$ is a dual $(1,1)$-form: the amount of flow across an $(n-1)$-face (from the $n$-cell to its neighbor) per unit of time.

We will also include this time the inflow $S$ of the material to a given cell from the outside of the system which is given by a dual $(1,1)$-form. It can be written simply as $S=Pdt$, where $P$ is an $1$-form with respect to space.

Then the preservation of the material in cell $\sigma=A^\star$, where $A$ is the dual vertex, is given by $$d_t M(A,t) = −\int_{\partial A^\star} \star F(·,t) + S(A,t).$$

By the Stokes Theorem, we rewrite: $$d_t M(A,t) = −(d_x \star F)(A^\star,t) + S(A,t).$$ And, based on $\phi (\sigma ^\star)=\phi ^\star(\sigma)$, we re-write: $$d_t M = − \star d_x \star F + S.$$

Now, the flow $F$ through pipe $b$ is proportional to the difference of amounts of material at the end-points of $b$. So, $$F(b,t) = - k(b,t)d_x M(b,t).$$ Here $k$ is a $1$-form that may represent the thickness of the pipe. Substitute: $$d_t M= \star d_x \star kd_x M + S.$$

Exercise. Derive the primary equation with inflow.

2 Diffusion

It is insufficient to have the two metric tensors, for a $K$ and $K^\star$: $$\begin{array}{ccc} \langle\cdot,\cdot\rangle(\cdot): T_2(K) \to R,\\ \langle\cdot,\cdot\rangle(\cdot): T_2(K^\star) \to R, \end{array}$$ as they only give the angles between cells of the same complex. Instead of dealing with the angle itself, we assume that the inner product of any $(n-1)$-cell and its dual is given to us: $$\langle a^\star, a \rangle .$$

It is also insufficient to have the Hodge star operators, as defined previously, provided for the primary and dual complexes: $$\begin{array}{ccc} \star^k : C^k(K)\to C^{n-k}(K^\star),\\ \star^k : C^k(K^\star)\to C^{n-k}(K), \end{array}$$ as they only keep record of the volumes of the cells.

We realize now that the formula for the Hodge star operator (the ratio of the dual and primal volume) that we have used is only applicable to rectangular grids. The star operator is still just a diagonal matrix; however, it will have a new interpretation.

The necessary generalization is below.

Definition. The Hodge star operator is a linear operator $$\star^k : C^k(K)\to C^{n-k}(K^\star),\ k=0,1,...,n,$$ the matrix of which is diagonal whose $i$th entry is the ratio of the dual volume and the projection of the primal volume of the $i$th cell. In other words, it is $$\star ^k_{ii}:=\frac{\langle a_i^\star, a_i \rangle }{|a_i|^2},$$ where $\dim a_i =k$.

Exercise. Find the Hodge star operator for the regular triangular grid.

Exercise. What is the geometry of a complex the Hodge star of which is the identity?