ABSTRACT
The calculus of moving surfaces (CMS) is an analytic framework that extends the tensor calculus to deforming manifolds. We have applied the CMS to a number of boundary variation problems using a Term Rewrite System (TRS). The TRS is used to convert the initial CMS expression into a form that can be evaluated. The CMS produces expressions that are true for all coordinate spaces. This makes it very powerful but applications remain limited by a rapid growth in the size of expressions. We have extended results on existing problems to orders that had been previously intractable. In this paper, we describe our TRS and our method for evaluating CMS expressions on a specific coordinate system. Our work has already provided new insight into problems of current interest to researchers in the CMS.
- L. B. Buchberger and K. R. Loos. Algebraic simplification. Computing, Suppl., 4:11--43, 1982.Google ScholarCross Ref
- L. Bachmair and D. A. Plaisted. Termination orderings for associative-commutative rewrite systems. J. Symbolic Computation, 1:329--349, 1985. Google ScholarDigital Library
- M. Boady, P. Grinfeld, and J. Johnson. Laplace eigenvalues on the ellipse and the symbolic calculus of moving surfaces. In preparation.Google Scholar
- M. Boady, P. Grinfeld, and J. Johnson. Boundary variation of poisson's equation: a model problem for symbolic calculus of moving surfaces. Int. J. Math. Comp. Sci., 6(2), 2011.Google Scholar
- A. J. Christopherson, K. A. Malik, D. R. Matravers, and K. Nakamura. Comparing two different formulations of metric cosmological perturbation theory. Classical and Quantum Gravity, 28(22):225024, 2011.Google ScholarCross Ref
- M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. The maude 2.0 system. Proc. Rewriting Techniques and Applications, pages 76--87, June 2003. Google ScholarDigital Library
- P. Grinfeld. Hadamard's formula inside and out. J. Opt. Theory and Appl., 146(3):654--690, 2009.Google ScholarDigital Library
- P. Grinfeld. Hamiltonian dynamic equations for fluid films. Stud. Appl. Math., 125:223--264, 2010.Google Scholar
- P. Grinfeld. A variable thickness model for fluid films under large displacements. Phys. Rev. Lett., 105:137802, 2010.Google ScholarCross Ref
- P. Grinfeld and G. Strang. Laplace eigenvalues on polygons. Computers and Mathematics with Applications, 48:1121--1133, 2004. Google ScholarDigital Library
- P. Grinfeld and G. Strang. Laplace eigenvalues on regular polygons: A series in 1/N. Journal of Mathematical Analysis and Applications, 385(1):135--149, 2012.Google ScholarCross Ref
- P. Grinfeld and J. Wisdom. A way to compute the gravitational potential for near-spherical geometries. Quart. Appl. Math., 64(2):229--252, 2006.Google ScholarCross Ref
- Y. V. Gusev. Heat kernel expansion in the covariant perturbation theory. Nuclear Physics B, 807(3):566--590, 2009.Google ScholarCross Ref
- H. Howards, M. Hutchings, and F. Morgan. The isoperimetric problem on surfaces. The American Mathematical Monthly, 106(5):pp. 430--439, 1999.Google ScholarCross Ref
- G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. J. Assoc. Comp. Mach., 27:797--821, 1980. Google ScholarDigital Library
- G. Huet and D. C. Oppen. Equations and rewrite rules -- a survey. Technical report, Stanford University, Jan 1980. Google ScholarDigital Library
- D. Joseph. Parameter and domain dependence of eigenvalues of elliptic partial differential equations. 24(5):325--361, 1967.Google Scholar
- J.-P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. In Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL '84, pages 83--92, New York, NY, USA, 1984. ACM. Google ScholarDigital Library
- J. Katz and G. I. Livshits. Superpotentials from variational derivatives rather than lagrangians in relativistic theories of gravity. Classical and Quantum Gravity, 25(17):175024, 2008.Google ScholarCross Ref
- D. Knuth and P. Bendix. Simple word problems in universal algebras. Computational Problems in Abstract Algebra, pages 263--297, 1970.Google Scholar
- T. Levi-Civita. The Absolute Differential Calculus (Calculus of Tensors). Dover Publications, 1977.Google Scholar
- C.-H. L. Lin, M.-H. Lo, and Y.-C. Tsai. Shape Energy of Fluid Membranes --Analytic Expressions for the Fourth-Order Variation of the Bending Energy--. Progress of Theoretical Physics, 109:591--618, Apr. 2003.Google ScholarCross Ref
- T. Málek and V. Pravda. Kerra-schild spacetimes with an (a)ds background. Classical and Quantum Gravity, 28(12):125011, 2011.Google ScholarCross Ref
- Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario, Canada. Maple User Manual, 2012.Google Scholar
- J. M. Maran-Garca. xperm: fast index canonicalization for tensor computer algebra. Computer Physics Communications, 179(8):597--603, 2008.Google ScholarCross Ref
- MathTensor Inc. Mathtensor -- tensor analysis for mathematica. http://smc.vnet.net/MathTensor.html.Google Scholar
- A. McConnell. Applications of Tensor Analysis. Dover Publications, New York, 1957.Google Scholar
- K. Peeters. Cadabra: reference guide and tutorial. http://cadabra.phi-sci.com/cadabra.pdf, June 2008.Google Scholar
- C. F. Steinwachs and A. Y. Kamenshchik. One-loop divergences for gravity nonminimally coupled to a multiplet of scalar fields: Calculation in the jordan frame. i. the main results. Physical Review D, 84(2):024026, July 2011.Google ScholarCross Ref
- J. Synge and A. Schild. Tensor Calculus. Dover Publications, Inc., 1949.Google Scholar
- T. Thomas. Concepts from Tensor Analysis And Differential Geometry. Academic Press, New York, 1965.Google Scholar
- Wolfram Research, Champaign, IL. Wolfram Mathematica 9 Documentation Center, 2012.Google Scholar
Index Terms
- A term rewriting system for the calculus of moving surfaces
Recommendations
Confluent term rewriting systems
RTA'05: Proceedings of the 16th international conference on Term Rewriting and ApplicationsThe confluence property is one of the most important properties of term rewriting systems, and various sufficient criteria for proving this property have been widely investigated. A necessary and sufficient criterion for confluence of terminating term ...
A rewriting calculus for cyclic higher-order term graphs
The Rewriting Calculus (ρ-calculus, for short) was introduced at the end of the 1990s and fully integrates term-rewriting and λ-calculus. The rewrite rules, acting as elaborated abstractions, their application and the structured results obtained are ...
Conditions for confluence of innermost terminating term rewriting systems
This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems. We then show that innermost joinability of all normalized instances of ...
Comments