Back

The confluence of two different disciplines, 'Theory des distributions' and the Lambda Calculus.'

Introduce the basic techniques and result in both the field.
An account of classification of distributions as Schwartz distributions and the rest as the Classical distributions (generalized functions).

The first applicability of "Theories des distribution" is what we name as Soboleff-Schwartz approach in differential and partial differential equations. The second applicability may be named as "the removal of the deficiencies of functions "observed in physics, technology etc. The present text carries the aspect of this later type of applications to describe a comprehensive account of new results concerning the value and limit as an operation on Schwartz distribution in one and several variables. This operation has been discussed only in new books i.e. Misra and Lavoine [1986], where a brief account of this operation has been discussed in only few books i.e. Misra and Lavoine [1986], where a brief account of this operation has been shown valid only in one variable cases. Herein, this operation permits a great flexibility in applications, particularly, it provide: as independent theory of lambda calculus (computer science) carries an account about the value of operator, operator problems posed by Logicians; and a brief account of the solution of problems posed in applied physics by physicists concerning the errors in experimental data. Moreover, text presents for the first time an account of classifications of distributions as Schwartz distributions and the rest as classical distributions (generalized functions) which is the objective of Oberwolfach meeting on Generalized functions held in 1989 from the point of views of applications, particularly, among those who are physicists, technocrats, logicians etc. Accordingly, it is excepted that the book will be useful for those who are interested in applications, particularly, physicists, technocrates, logicians, computer scientists, applied analysts etc.

• CHAPTER 3 DEFINITION OF DISTRIBUTIONS

  Introduction* Distributions* Classification of Distributions* Support* Examples of distributions* Irregular distributions* Inclusions* Kinds of Distributions* Distributions with lower bounded support* Distributions with bounded support* Properties* Boundedness* Convergence* Completeness and limit* Particular case of convergence in ID* Convergence in $* Approximation of Distributions by Regular Functions* Distributions in Several Variables* Support of a distribution in ID (IR)* Operations of Distributions* Transpose of an operation* Translation* Multiplier and distributions in ID or E* Distributions of finite order* Tempered distribution* Differentiation* General outline* Distributions of finite order having bounded Support* Derivatives of the Dirac Distribution* Derivatives of a regular distribution* Differentiation of product* Differentiation of limit and series* Derivatives in the case o several variable* Generalization of d (x)* Convolution* General definition* Convolution equation* Fundamental equation* Transformation of the variable

• CHAPTER 4 SCHWARTZ AND CLASSICAL DISTRIBUTIONS

Introduction Topology in Linear Space* Seminorms* Semi-balls* Comparision of semi-norms* Comparision of sequence of semi-norms* Liner space havingsystem of semi-norms* Convergence* Precompact set* Schwartz spaces* Inductive limit* Dual of linear space* Dual of E* Bounded liner functionals* System of dual semi-norms* Linear operators* Bilinear functionals* Bounded bilinear functional* Functions defined in a euclidean space* Functions* Continuous functions* Measure and Intergration* Measure* Integration* Composition* Distributions* The spaces* The space IDO (IR)* The distributions* Examples of distributions* Open neighbourhood and support* Distribution in A-C (O)* Distributions of finite order* Distributions with compact support* Tempered distributions* Product of Xcomposition*Classical Distributions* Misra [1972]* I and its dual I * Generalized functions* Gelfand and Shilov [1964]* Conclusions

• CHAPTER 5 VALUE AND LIMIT OF DISTRIBUTIONS AT A POINT

Introduction* Primitive and Antiderivative* Antidifferentiation* Antiderivative in ID* Value and Limit* a Point X IR* Limit of a Distribution* Propertoes of values and limit* Value and limit in other Schwartz spaces* The Notion of Lojasiewicz* Necessary and sufficient conditions* Distributions Having a value Everywhere* Remarks* Limit at Infinity* The limit of T (X) ID* The limit of T (X) ID* Value and Limit at a Point of Classical Distributions* The space I* Relation between L and I of Misra [1972]* Conclusions

• CHAPT3R 6 FIXATION OF VARIABLES AND PHYSICAL DEFINITION OF DISTRIBUTORS

  Introduction* Notations and Terminology* Distributions having functions of X* Value and Limit* A Point XE IR* Section of distributions* Limit of a distribution T (x,y)* Particular cases* Value and Limit of Other Disributions* Limit at Infinity* Physical Definition of Distributions* The Precision of measurement* Interpretation of distributions* Temperature measurement* Concluding Observations

• CHAPTER 7 COMPUTER SCIENCE

  Introduction* Distributions* Distribution as an operator* Definition of distribution* The elements of ID and ID* Value and limit at a Point* Section of a distribution* Distributions of a several variables* Multiplication of distributions* Some operators* Historical Comments* Computer science* Distributional Setting with Lambda Calculus* Concept of distributions* Extension and Intension* The d?- terms* Special model* Conversion and Reduction* Notations* Definitions of bond variables* Variable convention* Moral and naïve* Cinvertibility* Extensionality* Limiting value in terms of computer programme* Reduction* Church -Rosser theorem* Combinatory Logic* Deficiencies of functions* Properties of distributions* Distributional combinators* Models of Operators* The operator K* The operator S* The operator W* Final Remarks* Distributional Setting with Typed Lambda Calculus* Types lambda calculus* Models* Distributional Setting* Conclusions

• BIBLIOGRAPHY