Zusammenfassung
Es geht in dieser Arbeit in der Hauptsache darum, ein vorgelegtes Differentialgleichungssystem so zu skalieren, daß in der zugehörigen Analogrechnerschaltung die Spannungen an den Ausgängen der Integratoren die durch die Referenzspannung einerseits und durch das Auflösevermögen andererseits gesetzten Schranken nicht über- bzw. unterschreiten. Es werden Abschätzungssätze hergeleitet, die diese Frage im Apriori-Sinn, also ohne die Lösung des Differentialgleichungssystems zu kennen, zu lösen gestatten. Zur Abschätzung werden zunächst Normen, dannKamke-Normen verwendet. Der im Titel erwähnte Satz vonPerron ergibt sich durch spezielle Normengebung und Verzicht auf Abschätzung “nach unten”. Erschwert werden die Betrachtungen durch die relative Schwäche der Forderung, daß die rechte Seite des Systemsdx/dt=f(x,t) der Bedingung “aus ‖x‖≤a folgt ‖f(x,t)‖≤v(t)‖x‖” genüge (‖...‖:=Norm,a positiv reell). Dadurch scheint es bei Abschätzungen mitKamke-Normen nicht mehr möglich, von den in der Literatur über Existenzbeweise und Abschätzungssätze üblichen Methoden Gebrauch zu machen. Zur Lösung dieser Frage wird eine “bedingte Form” des bekannten Satzes vonGronwall (auch Satz vonBellman genannt) entwickelt.
Summary
The main subject of this paper is the scaling of a given set of differential equations in such a way that the output voltages of the integrators of the associated analogue computer set-up do not exceed certain upper and lower bounds imposed by the reference voltage and the limited power of resolution of the elements of the analogue computer. The paper gives a priori bounds on the solution of the differential set. Some of these bounds work with norms, others withKamke-norms.Perron's stability theorem mentioned in the title of this paper results by inserting special norms and neglecting lower bounds. A difficulty arises by the relative weakness of the condition “‖x‖≤a implies ‖f(x,t)‖≤v(t)‖x‖” on the right hand side of the setdx/dt=f(x,t), where ‖...‖ is any norm anda is a positive real constant. As a consequence of this, it seems no longer possible to use the usual techniques known from the literature on existence theorems and bounds for the solution of differential equations. To cope with this situation, a conditional version of the well-known theorem ofGronwall (also known by the name of “Lemma ofBellman”) will be derived.
Abbreviations
- A⊂B :
-
Inklusion, dieA=B nicht ausschließt
- A/B :
-
Differenzmenge
- {a}:
-
einpunktige Menge
- {i 1,...,i n }:
-
endliche Indexmenge
- A∩B :
-
Durchschnitt
- A∪B :
-
Vereinigung
- Ā :
-
abgeschlossene Hülle
- A :
-
offener Kern
- a∈A :
-
a Element vonA
- ‖x‖:
-
Norm, in Satz 4Kamke-Norm
- [a, b]:
-
abgeschlossenes Intervall
- (a, b):
-
offenes Intervall
- a≔b :
-
a wird durchb definiert
- |x|:
-
Absolutbetrag vonx
- Λ:
-
logische Konjunktion
Literatur
Aumann, G.: Reelle Funktionen. Springer-Verlag. 1954.
Behringer, F. A.: Topologische Verallgemeinerung eines Induktionsprinzips vonKhintchine undGronwall-artige Abschätzungssätze fürDarbouxsche und halbseitig-halbstetige Funktionen. Erscheit demnächst in den Mathematischen Annalen.
Bellman, R.: The Stability of Solutions of Linear Differential Equations. Duke Math. J.10, 643–647 (1943).
Bihari, I.: A Generalization of a Lemma ofBellman and Its Application to Uniqueness Problems of Differential Equations. Acta Math. Acad. Scient. Hung.1956, 81–94.
Cesari, L.: Asymptotic Behavior and Stability Problems in Ordinary Differential Equations. Springer-Verlag. 1963.
Gronwall, T. H.: Note on the Derivatives with Respect to a Parameter of the Solutions of a System of Differential Equations. Ann. Math.20, 292–296 (1919).
Halanay, A.: Differential Equations. Academic Press. 1966.
Kamke, E.: DasLebesgue-Stieltjes-Integral. Leipzig. 1960.
Kamke, E.: Differentialgleichungen, Band I. Leipzig. 1962.
Khintchine, A.: Das Stetigkeitsaxiom des Linearcontinuums als Inductionsprinzip betrachtet. Fundamenta Mathematicae4, 164–166 (1923).
Kitamura, T.: Some Inequalities on a System of Solutions of Linear Simultaneous Differential Equations. Tohoku Math. J.49, 308–311 (1943).
Langenhop, C. E.: Bounds on the Norm of a Solution of a General Differential Equation. Proc. Amer. Math. Soc.1960, 795–799.
Perron, O.: Ein neuer Existenzbeweis für die Integrale eines Systems gewöhnlicher Differentialgleichungen. Math. Ann.78, 378–384 (1918).
Perron, O.: Über Stabilität und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen. Math. Z.29, 129–160 (1928).
Sansone, G., andR. Conti: Nonlinear Differential Equations. Pergamon Press, 1964.
Toyama, H.: Some Inequalities in the Theory of Linear Differential Equations. Tohoku Math. J.47, 210–216 (1940).
Walter, W.: Differential- und Integral-Ungleichungen. Springer-Verlag, 1964.
Blumberg, H.: Methods in Point Sets and the Theory of Real Functions. Bull. Amer. Math. Soc.36, 809–830 (1930).
Sierpiński, W.: Cardinal and Ordinal Numbers. Warschau. 1958.
Author information
Authors and Affiliations
Additional information
Diese Arbeit ist Teil einer am Institut für Angewandte Mathematik der Technischen Hochschule München unter Anleitung von Herrn o. Prof. Dr. rer. nat. habil.J. Heinhold angefertigten Dissertation.
Rights and permissions
About this article
Cite this article
Behringer, F.A. Eine bedingte Form der Integral-Ungleichung von Gronwall, leichte Verallgemeinerung eines Stabilitätssatzes von Perron und überlauffreie Skalierung von Analogrechenschaltungen. Computing 5, 333–348 (1970). https://doi.org/10.1007/BF02252328
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02252328