Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

A differentially algebraic elimination theorem with application to analog computability in the calculus of variations


Authors: Lee A. Rubel and Michael F. Singer
Journal: Proc. Amer. Math. Soc. 94 (1985), 653-658
MSC: Primary 12H05
DOI: https://doi.org/10.1090/S0002-9939-1985-0792278-1
MathSciNet review: 792278
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: An elimination theorem is proved in differential algebra, from which it follows that an analytic solution of virtually any ordinary differential equation that you can "write down" must actually solve an algebraic differential equation. As a corollary, it follows that the solutions of a large class of variational problems can be produced by an analog computer.


References [Enhancements On Off] (What's this?)

  • [ASK] Richard Askey, Orthogonal polynomials and special functions, SIAM, Philadelphia, Pa., 1975. MR 0481145 (58:1288)
  • [BAB] Ararat Babakhanian, Exponentials in differentially algebraic extension fields, Duke Math. J. 40 (1973), 455-460. MR 0314807 (47:3357)
  • [COH] Richard Courant and David Hilbert, Methods of mathematical physics, Interscience, New York, 1966.
  • [HOL] O. Hölder, Ueber die Eigenschaft der Gamma Funktion keineralgebraischen Differentialgleichung zu genügen, Math. Ann. 28 (1887), 1-13.
  • [LIR] Leonard Lipshitz and Lee A. Rubel, A differentially algebraic replacement theorem, and analog computability, Preprint, Fall 1984.
  • [OST] Alexander Ostrowski, Uber Dirichletsche Reihen und algebraische Differentialgleichungen, Math. Z. 8 (1920), 241-298. MR 1544442
  • [POE] Marian Boykan Pour-El, Abstract computability and its relation to the general-purpose analog computer, etc., Trans. Amer. Math. Soc. 199 (1974), 1-29. MR 0347575 (50:78)
  • [RUB] Lee A. Rubel, Some research problems about algebraic differential equations, Trans. Amer. Math. Soc. 280 (1983), 43-52. MR 712248 (84j:34005)
  • [SHA] Claude Shannon, Mathematical theory of the differential analyzer, J. Math. Phys. 20 (1941), 337-354. MR 0006251 (3:279a)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 12H05

Retrieve articles in all journals with MSC: 12H05


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1985-0792278-1
Article copyright: © Copyright 1985 American Mathematical Society

American Mathematical Society