PyDEC: Software and algorithms for discretization of exterior calculus

ACM Transactions on Mathematical Software

Volumn 39, Issue 1, 2012, Pages

  Bell, Nathan ^a   Hirani, Anil N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Boundary operator; Chain; Coboundary operator; Cochain; Computational topology; Cubical complex; Discrete exterior calculus; Finite element exterior calculus; Simplicial complex; Vietoris Rips complex; Whitney form

Indexed keywords

BOUNDARY OPERATORS; COBOUNDARY OPERATOR; COCHAIN; COMPUTATIONAL TOPOLOGY; CUBICAL COMPLEX; DISCRETE EXTERIOR CALCULUS; FINITE ELEMENT; SIMPLICIAL COMPLEX; VIETORIS-RIPS COMPLEX; WHITNEY;

ABSTRACTING; ALGORITHMS; CHAINS; HIGH LEVEL LANGUAGES; SOFTWARE PROTOTYPING; TOPOLOGY;

CALCULATIONS;

EID: 84868205472     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/2382585.2382588     Document Type: Article

References (56)

1. ABRAHAM, R.,MARSDEN, J. E., AND RATIU, T. 1988. Manifolds, Tensor Analysis, and Applications 2nd Ed. Springer..
2. ARNOLD, D. N., FALK, R. S., AND WINTHER, R. 2006. Finite element exterior calculus, homological techniques, and applications. In Acta Numerica, A. Iserles Ed., vol. 15. Cambridge University Press, 1-155..
3. ARNOLD, D. N., FALK, R. S., AND WINTHER, R. 2009. Geometric decompositions and local bases for spaces of finite element differential forms. In Comput. Meth. Appl. Mech. Engrg. 198, 21-26, 1660-1672..
4. ARNOLD, D. N., FALK, R. S., AND WINTHER, R. 2010. Finite element exterior calculus: From Hodge theory to numerical stability. Bull. Amer. Math. Soc. 47, 2, 281-354..
5. BANGERTH, W.,HARTMANN, R., AND KANSCHAT, G. 2007. deal.II - a general purpose object oriented finite element library. ACM Trans. Math. Softw. 33, 4, 24/1-24/27..
6. BANK, R. AND DOUGLAS, C. 1993. Sparse matrix multiplication package (SMMP). Adv. in Comput. Math. 1, 1, 127-137..
7. BELL, N. AND HIRANI, A. N. 2008. PyDEC: A python library for discrete exterior calculus. Google Code..
8. BELL, W. N. 2008. Algebraic multigrid for discrete differential forms. Ph.D. thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois..
9. BOCHEV, P. AND LEHOUCQ, R. B. 2005. On the finite element solution of the pure Neumann problem. SIAM Rev. 47, 1, 50-66..
10. BOCHEV, P. B. AND HYMAN, J. M. 2006. Principles of mimetic discretizations of differential operators. In Compatible Spatial Discretizations, D. N. Arnold, P. B. Bochev, R. B. Lehoucq, R. A. Nicolaides, and M. Shashkov Eds., The IMA Volumes in Mathematics and Its Applications Series, vol. 142. Springer, 89-119..
11. BOCHEV, P. B. AND ROBINSON, A. C. 2002. Matching algorithms with physics: Exact sequences of finite element spaces. In Collected Lectures on Preservation of Stability Under Discretization, D. Estep and S. Tavener Eds., SIAM, 145-166..
12. BOFFI, D., FERNANDES, P.,GASTALDI, L., AND PERUGIA, I. 1999. Computationalmodels of electromagnetic resonators: Analysis of edge element approximation. SIAM J. Numer. Anal. 36, 4, 1264-1290..
13. BOSSAVIT, A. 1988. Whitney forms: A class of finite elements for three-dimensional computations in electromagnetism. IEE Proc. 135, Part A, 8, 493-500..
14. BOTT, R. AND TU, L. W. 1982. Differential Forms in Algebraic Topology. Springer..
15. CASTILLO, P., RIEBEN, R., AND WHITE, D. 2005. FEMSTER: An object oriented class library of high-order discrete differential forms. ACM Trans. Math. Softw. 31, 4, 425-457..
16. DE RHAM, G., 1955. Varíet́es Diff́erentiables. Formes, Courants, Formes Harmoniques. Actualit́es Sci. Ind., no. 1222 = Publ. Inst. Math. Univ. Nancago III. Hermann et Cie, Paris, Paris..
17. DE SILVA, V. AND GHRIST, R. 2007. Homological sensor networks. Not. Amer. Math. Soc. 54, 1, 10-17..
18. DEMLOW, A. AND DZIUK, G. 2007. An adaptive finite element method for the Laplace-Beltrami operator on implicitly defined surfaces. SIAM J. Numer. Anal. 45, 1, 421-442..
19. DESBRUN, M., HIRANI, A. N., LEOK, M., AND MARSDEN, J. E. 2005. Discrete exterior calculus. E-print arXiv:math/0508341[math.DG]..
20. DEY, T. K., HIRANI, A. N., AND KRISHNAMOORTHY, B. 2010. Optimal homologous cycles, total unimodularity, and linear programming. In Proceedings of the 42nd ACM Symposium on Theory of Computing. ACM, New York, 221-230..
21. DODZIUK, J. 1976. Finite-Difference approach to the Hodge theory of harmonic forms. Amer. J. Math. 98, 1, 79-104..
22. DUNFIELD, N. M. AND HIRANI, A. N. 2011. The least spanning area of a knot and the optimal bounding chain problem. In Proceedings of the 27th Annual ACM Symposium on Computational Geometry (SoCG'11). ACM, New York, 135-144..
23. ECKMANN, B. 1945. Harmonische functionen and randwertaufgaben in ainem komplex. Comment. Math. Helv. 17, 240-255..
24. EDELSBRUNNER, H., LETSCHER, D., AND ZOMORODIAN, A. 2002. Topological persistence and simplification. Discr. Comput. Geom. 28, 4, 511-533..
25. FRANKEL, T. 2004. The Geometry of Physics 2nd Ed. Cambridge University Press..
26. GILLETTE, A. AND BAJAJ, C. 2010. A generalization for stable mixed finite elements. In Proceedings of the 14th ACM Symposium on Solid and Physical Modeling. ACM, New York, 41-50..
27. GILLETTE, A. AND BAJAJ, C. 2011. Dual formulations of mixed finite elements methods with applications. In Comput.-Aided Des. 43 10, 1213-1221..
28. GRADINARU, V. AND HIPTMAIR, R. 1999. Whitney elements on pyramids. Electron. Trans. Numer. Anal. 8, 154-168..
29. HILDEBRANDT, K., POLTHIER, K., AND WARDETZKY, M. 2006. On the convergence of metric and geometric properties of polyhedral surfaces. Geom. Dedicata 123, 89-112..
30. HIPTMAIR, R. 2002. Finite elements in computational electromagnetism. In Acta Numerica, A. Iserles Ed., vol. 11. Cambridge University Press, 237-339..
31. HIRANI, A. N. 2003. Discrete exterior calculus. Ph.D. thesis, California Institute of Technology, Pasadena, CA..
32. HIRANI, A. N., KALYANARAMAN, K.,WANG, H., AND WATTS, S. 2011a. Cohomologous harmonic cochains. arXiv:1012.2835..
33. HIRANI, A. N., KALYANARAMAN, K., AND WATTS, S. 2011b. Least squares ranking on graphs. E-print arXiv:1011.1716[cs.NA]..
34. HIRANI, A. N., NAKSHATRALA, K. B., AND CHAUDHRY, J. H. 2011c. Numerical method for darcy flow derived using discrete exterior calculus. arXiv:0810.3434[math.NA]..
35. HIRANI, A. N., KALYANARAMAN, K., AND VANDERZEE, E. B. 2012. Delaunay Hodge star. Comput.-Aided Des. 45, 2, 540-544..
36. HOLST, M. AND STERN, A. 2012. Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces. Found. Comput. Math. 12, 3, 263-293..
37. HYMAN, J. M. AND SHASHKOV, M. 1997. Natural discretizations for the divergence, gradient, and curl on logically rectangular grids. Comput. Math. Appl. 33, 4, 81-104..
38. JIANG, X., LIM, L., YAO, Y., AND YE, Y. 2011. Statistical ranking and combinatorial hodge theory. Math. Program. 127, 203-244..
39. JOST, J. 2005. Riemannian Geometry and Geometric Analysis 4th Ed. Universitext. Springer..
40. KACZYNSKI, T.,MISCHAIKOW, K., AND MROZEK, M. 2004. Computational Homology. Applied Mathematical Sciences Series, vol. 157. Springer..
41. LEAKE, R. J. 1976. A method of ranking teams: With an application to college football. In Management Science in Sports, R. E. Machol and S. P. Ladany Eds., TIMS Studies in the Management Sciences Series, vol. 4. North-Holland, 27-46..
42. LOGG, A. AND MARDAL, K.-A. 2008. A symbolic engine for finite element exterior calculus. European Finite Element Fair..
43. LOGG, A. AND WELLS, G. N. 2010. DOLFIN: Automated finite element computing. ACMTrans.Math. Softw. 37, 20:1-20:28..
44. LOGG, A.,MARDAL, K.-A.,WELLS, G. N., ET AL. 2012. Automated Solution of Differential Equations by the Finite Element Method. Springer..
45. MORITA, S. 2001. Geometry of Differential Forms. Translations of Mathematical Monographs Series, vol. 201. Amsterdam Mathematical Society, Providence, RI..
46. MUNKRES, J. R. 1984. Elements of Algebraic Topology. Addison-Wesley..
47. NICOLAIDES, R. A. AND TRAPP, K. A. 2006. Covolume discretization of differential forms. In Compatible Spatial Discretizations, D. N. Arnold, P. B. Bochev, R. B. Lehoucq, R. A. Nicolaides, and M. Shashkov Eds., The IMA Volumes in Mathematics and its Applications Series, vol. 142. Springer, 161-171..
48. OLIPHANT, T. E. 2007. Python for scientific computing. Comput. Sci. & Engin. 9, 3, 10-20..
49. SAAD, Y. 2003. Iterative Methods for Sparse Linear Systems 2nd Ed. Society for Industrial and Applied Mathematics, Philadelphia, PA..
50. SEN, S. 2003. A cubic Whitney and further developments in geometric discretisation. arXiv:hep-th/0307166..
51. SHASHKOV, M. 1996. Conservative Finite-Difference Methods on General Grids. CRC Press, Boca Raton, FL.
52. VAN DER WALT, S., COLBERT, S., AND VAROQUAUX, G. 2011. The NumPy array: A structure for efficient numerical computation. Comput. Sci. Engin. 13, 2, 22-30..
53. WHITNEY, H. 1957. Geometric Integration Theory. Princeton University Press, Princeton, NJ..
54. WILSON, S. 2007. Cochain algebra on manifolds and convergence under refinement Topol. Appl. 154, 9, 1898-1920..
55. WILSON, S. 2008. Conformal cochains. Trans. Amer. Math. Soc. 360, 5247-5264..
56. ZOMORODIAN, A. AND CARLSSON, G. 2005. Computing persistent homology. Discr. Comput. Geom. 33, 2, 249-274..