Some mathematical limitations of the general-purpose analog computer
type: Item
instance of: scholarly article
title: Some mathematical limitations of the general-purpose analog computer
zbMATH Open document ID: 0678.68115
DOI: 10.1016/0196-8858(88)90004-8
author: Lee A. Rubel
published in: Advances in Applied Mathematics
publication date: 1988-01-01T00:00:00Z
review text: The general-purpose analog computer (GPAC) is the mathematical abstraction of several actual computing machines, of which the Bush differential analyzer is the prototype. A principal result about GPAC's (the Shannon-Pour-El-Lipshitz-Rubel theorem) essentially says that their outputs are exactly the differentially algebraic (DA) functions, i.e. those functions y of a real variable that satisfy some algebraic differential equation \(P(x,\quad y(x),\quad y'(x),...,y^{(n)}(x))=0,\) where P is a non-trivial polynomial in its \(n+2\) variables. Thus, to show that a given function is transcendentally transcendental (TT), which means that it is not DA, is to show that it cannot be computed by a GPAC. This paper exhibits several TT functions that arise from DA data. For example, a DA cosine series \(\sum a_ n \cos nx\) is exhibited for which the associated sine series \(\sum a_ n \sin nx\) is TT. A DA function \(u_ 0(e^{i\theta})\) is explicitly produced such that if u(z) is the solution of the Dirichlet problem for Laplace's equation on the unit disc, with boundary values \(u_ 0\), then u(z) is TT on some line segment inside the disc. This is to be interpreted as saying that this Dirichlet problem cannot be solved on GPAC. The main approach is to produce a DA two-sided Fourier series \(\sum^{\infty}_{n=-\infty}A_ ne^{in\theta}\) for which the corresponding one-sided series \(\sum^{\infty}_{n=0}A_ ne^{in\theta}\) is TT. In this paper, this is done by transferring the problem to a problem about the Riesz-Herglotz factorization of a bounded analytic function in the unit disc. Such a DA function is written down whose inner factor is TT. This is proved by invoking a theorem of S. Bank that \(\Gamma\) (z)\(\Gamma\) (az)\(\Gamma\) (bz) is TT if ab\(\neq 0\), where \(\Gamma\) is Euler's gamma function. In a subsequent paper [``An unsolvable cousin problem'', Proc. Am. Math. Soc. 104, 410-412 (1988)], the author used a simpler construction of \(\sum A_ ne^{in\theta}\) with the desir…
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 4112087
MaRDI profile type: Publication
full work available at URL: 0196-8858(88)90004-8
OpenAlex ID: W2033417496
Wikidata QID: Q56812647
cites work: Q3919976
cites work: COHERENT FAMILIES OF POLYNOMIALS
cites work: A triple universal entire function
cites work: Q5527882
cites work: Q5618011
cites work: Linear hyperbolic partial differential equation with constant coefficients
cites work: A universal Blaschke product
cites work: Q5815875
cites work: D-finite power series
cites work: A Differentially Algebraic Replacement Theorem, and Analog Computability
cites work: Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
cites work: A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations
cites work: Mathematical Theory of the Differential Analyzer
cites work: Differentiably finite power series
cites work: Q3259806
cites work: The complexity of analog computation
Recommended article: Iteration, inequalities, and differentiability in analog computers
Recommended article: On the functions generated by the general purpose analog computer
Recommended article: The complexity of analog computation
Recommended article: Analog computation beyond the Turing limit
Recommended article: The promise of analog computation
Recommended article: Q5493754
Recommended article: Q3028298
Recommended article: Some recent developments on Shannon's General Purpose Analog Computer
Recommended article: The Arithmetic of the Digital Computer: A New Approach
Recommended article: The nature of the extended analog computer
description: scientific article; zbMATH DE number 4112087