Real Analysis

Dawood, Hend, and Yasser Dawood. "Universal Intervals: Towards a Dependency-Aware Interval Algebra." In Mathematical Methods in Interdisciplinary Sciences. Hoboken, New Jersey: John Wiley and Sons, 2020. Abstractuniversal_intervals_abstract_dawood_wiley_2020.pdf

Interval computations are most fundamental in addressing uncertainty and imprecision. The intended status of this chapter is to be both an introduction and a treatise on some theoretical and practical aspects of interval mathematics. In the body of the work, there is room for novelties which may not be devoid of interest to researchers and specialists. The theories of classical intervals and parametric intervals are formally constructed and their mathematical structures are uncovered. By means of the logical concepts of Skolemization and quantification dependence, the notion of interval dependency is formalized by putting on a systematic basis its meaning, and thus gaining the advantage of indicating formally the criteria by which it is to be characterized and, accordingly, deducing its fundamental properties in a merely logical manner. Moreover, with a view to treating some problems of the present interval theories, a new alternate theory of intervals, namely the "theory of universal intervals", is presented and proved to have a nice S-field algebra, which extends the ordinary field of the reals. Our approach is formal by the pursuit of formulating the mathematical concepts in a strictly accurate manner, our perspective is systematic by taking the passage from the informal treatments to the formal technicalities of mathematical logic, and our concern is to take one small step towards paving the way for developing dependency-aware interval methods.

Keywords: Interval mathematics, Classical interval arithmetic, Parametric interval arithmetic, Universal interval arithmetic, Interval dependency, Functional dependence, Guaranteed enclosures, S-Semiring, S-Field, Skolemization.

Dawood, Hend, and Nefertiti Megahed. "A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives." Punjab University Journal of Mathematics 51, no. 11 (2019): 77-100. Abstractpujm_51-11_p77-100_dawood.pdfWebsite

Differentiation arithmetic is a principal and accurate technique for the computational evaluation of derivatives of first and higher order. This article aims at recasting real differentiation arithmetic in a formalized theory of dyadic real differentiation numbers that provides a foundation for first and higher order automatic derivatives. After we set the stage by putting on a systematic basis certain fundamental notions of the algebra of differentiation numbers, we begin by setting up an axiomatic theory of real differentiation arithmetic, as a many-sorted extension of the theory of a continuously ordered field, and then establish the proofs for its consistency and categoricity. Next, we carefully construct the algebraic system of real differentiation arithmetic, deduce its fundamental properties, and prove that it constitutes a commutative unital ring. Furthermore, we describe briefly the extensionality of the system to an interval differentiation arithmetic and to an algebraically closed commutative ring of complex differentiation arithmetic. Finally, a word is said on machine realization of real differentiation arithmetic and its correctness, with an addendum on how to compute automatic derivatives of first and higher order.

Keywords: Automatic differentiation; Categorical differentiation arithmetic; Consistent differentiation arithmetic; Commutative unital ring; Interval differentiation arithmetic; Algebraically closed commutative rings.

Dawood, Hend, and Yasser Dawood. "Parametric Intervals: More Reliable or Foundationally Problematic?" Online Mathematics Journal 1, no. 3 (2019): 37-54. Abstractomj_01-03_p37-54_dawood.pdfWebsite

Interval arithmetic has been proved to be very subtle, reliable, and most fundamental in addressing uncertainty and imprecision. However, the theory of classical interval arithmetic and all its alternates suffer from algebraic anomalies, and all have difficulties with interval dependency. A theory of interval arithmetic that seems promising is the theory of parametric intervals. The theory of parametric intervals is presented in the literature with the zealous claim that it provides a radical solution to the long-standing dependency problem in the classical interval theory, along with the claim that parametric interval arithmetic, unlike Moore's classical interval arithmetic, has additive and multiplicative inverse elements, and satisfies the distributive law. So, does the theory of parametric intervals accomplish these very desirable objectives? Here it is argued that it does not.

Keywords: Interval mathematics, Classical interval arithmetic, Parametric interval arithmetic, Constrained interval arithmetic, Overestimation-free interval arithmetic, Interval dependency, Functional dependence, Dependency predicate, Interval enclosures, S-semiring, Uncertainty, Reliability.

Dawood, Hend, and Yasser Dawood. "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties." Online Mathematics Journal 1, no. 3 (2019): 15-36. Abstractomj_01-03_p15-36_dawood.pdfWebsite

Progress in scientific knowledge discloses an increasingly paramount use of quantifiable properties in the description of states and processes of the real-world physical systems. Through our encounters with the physical world, it reveals itself to us as systems of uncertain quantifiable properties. One approach proved to be most fundamental and reliable in coping with quantifiable uncertainties is interval mathematics. A main drawback of interval mathematics, though, is the persisting problem known as the "interval dependency problem". This, naturally, confronts us with the question: Formally, what is interval dependency? Is it a meta-concept or an object-ingredient of interval and fuzzy computations? In other words, what is the fundamental defining properties that characterize the notion of interval dependency as a formal mathematical object? Since the early works on interval mathematics by John Charles Burkill and Rosalind Cecily Young in the dawning of the twentieth century, this question has never been touched upon and remained a question still today unanswered. Although the notion of interval dependency is widely used in the interval and fuzzy literature, it is only illustrated by example, without explicit formalization, and no attempt has been made to put on a systematic basis its meaning, that is, to indicate formally the criteria by which it is to be characterized. Here, we attempt to answer this long-standing question. This article, therefore, is devoted to presenting a complete systematic formalization of the notion of interval dependency, by means of the notions of Skolemization and quantification dependence. A novelty of this formalization is the expression of interval dependency as a logical predicate (or relation) and thereby gaining the advantage of deducing its fundamental properties in a merely logical manner. Moreover, on the strength of the generality of the logical apparatus we adopt, the results of this article are not only about classical intervals, but they are meant to apply also to any possible theory of interval arithmetic. That being so, our concern is to shed new light on some fundamental problems of interval mathematics and to take one small step towards paving the way for developing alternate dependency-aware interval theories and computational methods.

Keywords: Interval mathematics; Interval dependency; Functional dependence; Skolemization; Guaranteed bounds; Interval enclosures; Interval functions; Quantifiable uncertainty; Scientific knowledge; Reliability; Fuzzy mathematics; InCLosure.

Dawood, Hend, and Yasser Dawood. On the Metamathematics of the Theory of Interval Numbers. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2010. Abstract

The aim of this paper is to provide a metamathematical investigation of the theory of intervals with the requisite predicate calculi and axiomatic set theory.

Dawood, Hend, and Yasser Dawood. Logical Aspects of Interval Dependency. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2013. Abstract

By means of the most fundamental logical concepts of quantification theory, the notion of interval dependency is axiomatized and its fundamental properties are deduced.

Dawood, Hend, and Yasser Dawood. Interval Algerbras: A Formalized Treatment. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2016. Abstract

The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.

Dawood, Hend, and Yasser Dawood. Investigations into a Formalized Theory of Interval Differentiation. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2017. Abstract

In this report, we define an algebra of dyadic intervals. Thereupon, we present a formalization of a generalized theory of interval differentiation and investigate into some of the analytic and algebraic properties thereof.

Dawood, Hend. Theories of Interval Arithmetic: Mathematical Foundations and Applications. Saarbrücken: LAP Lambert Academic Publishing, 2011. Abstractexcerptoftheoriesofintervalarithmeticlap2011-henddawood.pdfWebsite

Reviews

"This new book by Hend Dawood is a fresh introduction to some of the basics of interval computation. It stops short of discussing the more complicated subdivision methods for converging to ranges of values, however it provides a bit of perspective about complex interval arithmetic, constraint intervals, and modal intervals, and it does go into the design of hardware operations for interval arithmetic, which is something still to be done by computer manufacturers."
   - Ramon E. Moore, (The Founder of Interval Computations)
   Professor Emeritus of Computer and Information Science, Department of Mathematics, The Ohio State University, Columbus, U.S.A.

"A popular math-oriented introduction to interval computations and its applications. This short book contains an explanation of the need for interval computations, a brief history of interval computations, and main interval computation techniques. It also provides an impressive list of main practical applications of interval techniques."
   - Vladik Kreinovich, (International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems)
   Professor of Computer Science, University of Texas at El Paso, El Paso, Texas, U.S.A.

"I am delighted to see one more Egyptian citizen re-entering the field of interval mathematics invented in this very country thousands years ago."
   - Marek W. Gutowski,
   Institute of Physics, Polish Academy of Sciences, Warszawa, Poland

Book Description

Scientists are, all the time, in a struggle with uncertainty which is always a threat to a trustworthy scientific knowledge. A very simple and natural idea, to defeat uncertainty, is that of enclosing uncertain measured values in real closed intervals. On the basis of this idea, interval arithmetic is constructed. The idea of calculating with intervals is not completely new in mathematics: the concept has been known since Archimedes, who used guaranteed lower and upper bounds to compute his constant Pi. Interval arithmetic is now a broad field in which rigorous mathematics is associated with scientific computing. This connection makes it possible to solve uncertainty problems that cannot be efficiently solved by floating-point arithmetic. Today, application areas of interval methods include electrical engineering, control theory, remote sensing, experimental and computational physics, chaotic systems, celestial mechanics, signal processing, computer graphics, robotics, and computer-assisted proofs. The purpose of this book is to be a concise but informative introduction to the theories of interval arithmetic as well as to some of their computational and scientific applications.