discrete differential geometry - michigan state university › ~ytong › ddg › intro.pdf ·...

12
Discrete Differential Geometry Discrete Differential Geometry Yiying Tong CSE 891 Sect 004 CSE891 - Discrete Differential Geometry 2 Differential Geometry Why do we care? theory: special surfaces minimal, CMC, integrable, etc. computation: Grinspun et al. Desbrun Grape (u. of Bonn) Grinspun et al.

Upload: others

Post on 07-Jun-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

Discrete Differential Geometry

Discrete Differential GeometryYiying Tong

CSE 891 Sect 004

CSE891 - Discrete Differential Geometry

2

Differential Geometry

Why do we care? theory: special surfaces

minimal, CMC, integrable, etc.

computation: simulation/processing

Grinspun et al.Desbrun

Grape (u. of Bonn)

Grinspun et al.

Page 2: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

3

A Bit of History

Geometry is the key! studied for centuries

Cartan, Poincaré, Lie, Hodge, de Rham, Gauss, Noether,…

mostly differential geometry differential and integral calculus

Study of invariants and symmetries

Hermann Schwarz, 1890 DiMarco, Physics, Montana

Bobenko and Suris

CSE891 - Discrete Differential Geometry

4

Getting Started

How to apply DiffGeo ideas? surfaces as collections of samples

and topology (connectivity)

apply continuous ideas

BUT: setting is discrete

what is the right way?

discrete vs. discretized

Page 3: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

5

Discretized

Build smooth manifold structure collection of charts

mutually compatible on their overlaps

form an atlas

realize as smooth functions

differentiate away…

CSE891 - Discrete Differential Geometry

6

Discretization of Eqs

Observation be careful

structure may not be preserved

?

West & Marsden

Page 4: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

7

Discrete Geometry

Basic tool differential geometry

metric, curvature, etc.

Discrete realizations“meshes”

computational geom.

graph theory

Hermann Schwarz, 1890

Boy’s Surface, OberwolfachUli Heller, 2002

DiMarco, Physics, Montana

Black Rock City, 2003Frei Otto, Munich 1968

CSE891 - Discrete Differential Geometry

8

Discrete Diff.Geometry

Building from the ground up discrete geometry is the given

meshes: triangles, tets

more general: cell complex

how to do calculus?

preserve crucial properties

Page 5: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

9

Is It Much Better?

Magic happens much more robust

Is there a recipe? yes, but several ones…

discrete var. prcple.

Discrete from the start

CSE891 - Discrete Differential Geometry

10

Looking Forward…

Setup topology & geometry

simplicial complex: “triangle mesh”

2-manifold

Euler characteristic

“pointers” “floats”

Page 6: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

11

Mean Curvature Flow

Laplace and Laplace-Beltrami Dirichlet energy

on surface

CSE891 - Discrete Differential Geometry

12

Parameterization

Harmonic function from surface to region in R2

linear system

boundaries

Dirichlet/NeumannSheffer 2003

Page 7: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

13

Geometry-based Approach

Benefits everything is geometric

often more straightforward

tons of indices: forbidden!

The story is not finished… still many open questions

in particular: numerical analysis

CSE891 - Discrete Differential Geometry

14

What Matters?

Structure preservation! symmetry groups

rigid bodies: Euclidean group

fluids: diffeomorphism group

conformal geometry: Möbius group

many more: symplectic, invariants, Stokes’ theorem, de Rham complex, etc. (pick your favorite…)

Accuracy

Speed

Size

Page 8: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

15

Themes for This Class

What characterizes structure(s)? what is shape?

Euclidean invariance

what is physics?

conservation/balance laws

what can we measure?

mass, area, curvature, flux, circulation

CSE891 - Discrete Differential Geometry

16

The Program

Things we will cover warmup: curves

discrete analogues of cont. theorems

surfaces: some basic operators

the discrete setting

putting them to work denoising/smoothing, parameterization

Page 9: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

17

The Program

Things we will cover what can we measure

invariant measures of “things” curvature integrals without

derivatives

a first physics model

deformation of a shape

simulating discrete shells

CSE891 - Discrete Differential Geometry

18

The Program

Things we will cover interpolation on simplicial complexes, i.e., meshes

discrete exterior calculus

putting it to work: discrete fluids

structure preservation: vorticity ensured by design!

Page 10: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

19

The Program

Things we will cover conformal geometry

conformal parameterizations

curvature energies

how to make all those meshes

sampling a surface/volume

variational tet meshing

CSE891 - Discrete Differential Geometry

20

The Plan

Learn Discrete Differential Geometry What’s involved

lectures (YT)

slides and lecture notes online

Homework assignments (few)

a research project something that makes sense for you

will be decided within the next 4 weeks

Maybe some external lecturers too (visitors)

Page 11: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

21

Subject MatterPL differential geometry

area, gradients, vector and scalar versions, curvature tensor (Steiner polynomials, Hadwiger, Polthier), geodesics

applications: geometric evolution, minimal surfaces, discrete shells, harmonic/conformal parameterization

Discrete Exterior Calculus chain, co-chain, , d, Æ, ∗, #, b, (X, LX) applications: Laplacian, Hodge decomposition

Whitney complex deRham complex, Whitney forms, links with DEC, Hodge decomposition

revisited,

applications: discrete conservation laws in EM, discrete fluids

Additional lectures topology, numerical analysis, conformal geometry, meshing, etc…

CSE891 - Discrete Differential Geometry

22

Possible ProjectsTheory as well as application

error analysis, smoothness, existence of solutions, convergence to continuous operators

simulation: thin-shells, bio-membranes, simplicial fluids (with Whitney forms), elasticity (with discrete forms), electro-magnetism

PL Morse theory, filtration, persistence, segmentation

discrete Riemannian structures for surfaces based on DEC, homology, co-homology, bases, period matrices, algorithms to do this efficiently

minimal, iso-thermic, and other special surfaces in the discrete setting

variational subdivision based on discrete intrinsic energies

geometric evolution equations, area, mean curvature, prescribed curvature, surface diffusion, Willmore

higher order Whitney forms based on subdivision and splines

discrete mechanical systems, integrable systems

discrete forms for numerical relativity

Page 12: Discrete Differential Geometry - Michigan State University › ~ytong › DDG › intro.pdf · 2012-09-09 · CSE891 - Discrete Differential Geometry 3 A Bit of History Geometry is

CSE891 - Discrete Differential Geometry

23

The Bigger PictureMaintain fundamental structures! symmetries

invariants

Lots of stuff coming together Computational topology, algebraic topology, DEC, computational science, etc…

Spri

ngbo

rn

Grinspun et al.