𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Index sets for computable differential equations

✍ Scribed by Douglas Cenzer; Jeffrey B. Remmel

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
259 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Index sets are used to measure the complexity of properties associated with the differentiability of real functions and the existence of solutions to certain classic differential equations. The new notion of a locally computable real function is introduced and provides several examples of Ξ£^0^~4~ complete sets. (Β© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

Index sets for Ο‰-languages
Index sets for Ο‰-languages
✍ Douglas Czenzer; Jeffrey B. Remmel πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 223 KB

## Abstract An ω‐language is a set of infinite sequences (words) on a countable language, and corresponds to a set of real numbers in a natural way. Languages may be described by logical formulas in the arithmetical hierarchy and also may be described as the set of words accepted by some type of au

Removable Sets in the Oscillation Theory
Removable Sets in the Oscillation Theory of Complex Differential Equations
✍ Ilpo Laine; Shengjian Wu πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 270 KB

Let f , f be two linearly independent solutions of the linear differential 1 2 ## Ε½ . Ε½ . equation f Π‰ q A z f s 0, where A z is transcendental entire, and assume that the exponents of convergence for the zero-sequences of f , f satisfy 1 2 Ε½ Ε½ . Ε½ .. max f , f s Ο±. Our main result proves that th

Symbolic Computation and Differential Eq
Symbolic Computation and Differential Equations: Lie Symmetries
✍ John Carminati; Khai Vu πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 296 KB

In this paper we discuss the package DESOLV written for the algebraic computing system MAPLE. DESOLV has routines which will systematically obtain with considerably flexibility, all resulting integrability conditions for any system of linear, coupled, partial differential equations. It also contains

Computational Scheme of a Center Manifol
Computational Scheme of a Center Manifold for Neutral Functional Differential Equations
✍ M. Ait Babram; O. Arino; M.L. Hbid πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 134 KB

This work addresses a computational algorithm of terms of a center manifold for neutral functional differential equations. The Bogdanov᎐Takens and the Hopf singularities are considered. Finally, as an illustration of our scheme, we give an example where the second term of a center manifold is explic