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.

**[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)**

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