Generalized function

﻿
Generalized function

In mathematics, generalized functions are objects generalizing the notion of functions. There is more than one recognised theory. Generalized functions are especially useful in making discontinuous functions more like smooth functions, and (going to extremes) describing physical phenomena such as point charges. They are applied extensively, especially in physics and engineering.

A common feature of some of the approaches is that they build on operator aspects of everyday, numerical functions. The early history is connected with some ideas on operational calculus, and more contemporary developments in certain directions are closely related to ideas of Mikio Sato, on what he calls "algebraic analysis". Important influences on the subject have been the technical requirements of theories of partial differential equations, and group representation theory.

ome early history

In the mathematics of the nineteenth century, aspects of generalized function theory appeared, for example in the definition of the Green's function, in the Laplace transform, and in Riemann's theory of trigonometric series, which were not necessarily the Fourier series of an integrable function. These were disconnected aspects of mathematical analysis, at the time.

The intensive use of the Laplace transform in engineering led to the heuristic use of symbolic methods, called operational calculus. Since justifications were given that used divergent series, these methods had a bad reputation from the point of view of pure mathematics. They are typical of later application of generalized function methods. An influential book on operational calculus was Oliver Heaviside's "Electromagnetic Theory" of 1899.

When the Lebesgue integral was introduced, there was for the first time a notion of generalized function central to mathematics. An integrable function, in Lebesgue's theory, is equivalent to any other which is the same almost everywhere. That means its value at a given point is (in a sense) not its most important feature. In functional analysis a clear formulation is given of the "essential" feature of an integrable function, namely the way it defines a linear functional on other functions. This allows a definition of weak derivative.

During the late 1920s and 1930s further steps were taken, basic to future work. The Dirac delta function was boldly defined by Paul Dirac (an aspect of his scientific formalism); this was to treat measures, thought of as densities (such as charge density) like honest functions. Sobolev, working in partial differential equation theory, defined the first adequate theory of generalized functions, from the mathematical point of view, in order to work with weak solutions of PDEs. Others proposing related theories at the time were Salomon Bochner and Kurt Friedrichs. Sobolev's work was further developed in an extended form by L. Schwartz.

Schwartz distributions

The realization of such a concept that was to become accepted as definitive, for many purposes, was the theory of distributions, developed by Laurent Schwartz. It can be called a principled theory, based on duality theory for topological vector spaces. Its main rival, in applied mathematics, is to use sequences of smooth approximations (the 'James Lighthill' explanation), which is more "ad hoc". This now enters the theory as mollifier theory.

This theory was very successful and is still widely used, but suffers from the main drawback that it allows only linear operations. In other words, distributions cannot be multiplied (except for very special cases): unlike most classical function spaces, they are not an algebra. For example it is not meaningful to square the Dirac delta function. Work of Schwartz from around 1954 showed that this was an intrinsic difficulty.

A simple solution of the multiplication problem is dictated by the path integral formulation of quantum mechanics.Since this is required to be equivalent to the Schrödinger theory of quantum mechanics which is invariant under coordinate transformations, this property must be shared by path integrals. This fixes all products of generalized functionsas shown by H. Kleinert and A. Chervyakov. [cite journal
title = Rules for integrals over products of distributions from coordinate independence of path integrals
author = H. Kleinert and A. Chervyakov
journal = Europ. Phys. J.
volume = C 19
issue =
pages = 743--747
year = 2001
doi = 10.1007/s100520100600
url = http://www.physik.fu-berlin.de/~kleinert/kleiner_re303/wardepl.pdf
] The result is equivalent to what can be derived from
dimensional regularization. [cite journal
title = Coordinate Independence of Quantum-Mechanical Path Integrals
author = H. Kleinert and A. Chervyakov
journal = Phys. Lett.
volume = A 269
issue =
pages = 63
year = 2000
doi = 10.1016/S0375-9601(00)00475-8
url = http://www.physik.fu-berlin.de/~kleinert/305/klch2.pdf
]

Algebras of generalized functions

Several constructions of algebras of generalized functions have been proposed, among others those by Yu.M.ShirokovYu.M.Shirokov. Algebra of one-dimensional generalized functions.Theoretical and Mathematical Physics, 39, 291-301 (1978)http://en.wikisource.org/wiki/Algebra_of_generalized_functions_%28Shirokov%29] and those by E. Rosinger, Y. Egorov, and R. Robinsoncite wanted] . In the first case, the multiplication is determined with some regularization of generalized function. In the second case, the algebra is constructed as "multiplication of distributions". Both cases are discussed below.

Non-commutative algebra of generalized functions

The algebra of generalized functions can be built-up with an appropriate procedure of projection of a function $~F=F\left(x\right)~$ to its smooth $F_\left\{ m smooth\right\}$ and its singular $F_\left\{ m singular\right\}$ parts. The product of generalized functions $~F~$ and $~G~$ appears as $\left(1\right)~~~~~FG~=~F_\left\{ m smooth\right\}~G_\left\{ m smooth\right\}~+~F_\left\{ m smooth\right\}~G_\left\{ m singular\right\}~+F_\left\{ m singular\right\}~G_\left\{ m smooth\right\}~~~$.Such a rule applies to both, the space of main functions and the space of operators which act on the space of the main functions.The associativity of multiplication is achieved; and the function signum is defined in such a way, that its square is unity everywhere (including the origin of coordinates). Note that the product of singular parts does not appear in the right-hand side of (1); in particular, $~delta\left(x\right)^2=0~$. Such a formalism includes the conventional theory of generalized functions (without their product) as a special case. However, the resulting algebra is non-commutative: generalized functions signum and delta anticommuteYu.M.Shirokov. Algebra of one-dimensional generalized functions.Theoretical and Mathematical Physics, {f 39}, 291-301 (1978)http://en.wikisource.org/wiki/Algebra_of_generalized_functions_%28Shirokov%29] . Few applications of the algebra were suggestedcite journal
author=O. G. Goryaga
coauthors=Yu. M. Shirokov
title=Energy levels of an oscillator with singular concentrated potential
journal=Theoretical and Mathematical Physics
year=1981
volume=46
number=3
pages=321–324
doi=10.1007/BF01032729
] cite journal
author=G. K. Tolokonnikov
title=Differential rings used in Shirokov algebras
journal=Theoretical and Mathematical Physics
volume=53
issue= 1
year=1982
doi=10.1007/BF01014789
pages=952–954
] .

Multiplication of distributions

The problem of "multiplication of distributions", a limitation of the Schwartz distribution theory becomes serious for non-linear problems.Today the most widely used approach to construct such associative differential algebras is based on J.-F. Colombeau's construction: see Colombeau algebra. These are factor spaces

:$G = M / N$

of "moderate" modulo "negligible" nets of functions, where "moderateness" and "negligibility" refers to growth with respect to the index of the family.

Example: Colombeau algebra

A simple example is obtained by using the polynomial scale on N,$s = \left\{ a_m:mathbb N omathbb R, nmapsto n^m ;~ minmathbb Z \right\}$.Then for any semi normed algebra (E,P), the factor space will be

:$G_s\left(E,P\right)= frac\left\{\left\{ fin E^\left\{mathbb N\right\}midforall pin P,exists minmathbb Z:p\left(f_n\right)=o\left(n^m\right)\left\{\left\{ fin E^\left\{mathbb N\right\}midforall pin P,forall minmathbb Z:p\left(f_n\right)=o\left(n^m\right).$

In particular, for ("E", "P")=(C,|.|) one gets (Colombeau's) generalized complex numbers (which can be "infinitely large" and "infinitesimally small" and still allow for rigorous arithmetics,very similar to nonstandard numbers).For ("E", "P") = ("C"(R),{"pk"})(where "pk" is the supremum of all derivatives of order less than or equal to "k" on the ball of radius "k")one gets Colombeau's simplified algebra.

Injection of Schwartz distributions

This algebra "contains" all distributions "T" of " D' " via the injection

:"j"("T") = (φ"n" ∗ "T")"n" + "N",

where ∗ is the convolution operation, and

"n"("x") = "n" φ("nx").

This injection is "non-canonical "in the sense that it depends on the choice of the mollifier φ, which should be "C", of integral one and have all its derivatives at 0 vanishing. To obtain a canonical injection, the indexing set can be modified to be N × "D"(R),with a convenient filter base on "D"(R) (functions of vanishing moments up to order "q").

Sheaf structure

If ("E","P") is a (pre-)sheaf of semi normed algebras on some topological space "X", then "Gs"("E","P") will also have this property.This means that the notion of restriction will be defined, which allows to define the support of a generalized function w.r.t. a subsheaf, in particular:
* For the subsheaf {0}, one gets the usual support (complement of the largest open subset where the function is zero).
* For the subsheaf "E" (embedded using the canonical (constant) injection), one gets what is called the singular support, i.e., roughly speaking, the closure of the set where the generalized function is not a smooth function (for "E=C").

Microlocal analysis

The Fourier transformation being (well-)defined for compactly supported generalized functions (component-wise), one can apply the same construction as for distributions, and define Lars Hörmander's "wave front set" also for generalized functions.

This has an especially important application in the analysis of
propagation of singularities.

Other theories

These include: the "convolution quotient" theory of Jan Mikusinski , based on the field of fractions of convolution algebras that are integral domains; and the theories of hyperfunctions, based (in their initial conception) on boundary values of analytic functions, and now making use of sheaf theory.

Topological groups

Bruhat introduced a class of test functions, the Schwartz-Bruhat functions as they are now known, on a class of locally compact groups that goes beyond the manifolds that are the typical function domains. The applications are mostly in number theory, particularly to adelic algebraic groups. André Weil rewrote Tate's thesis in this language, characterising the zeta distribution on the idele group; and has also applied it to the explicit formula of an L-function.

Generalized section

A further way in which the theory has been extended is as generalized sections of a smooth vector bundle. This is on the Schwartz pattern, constructing objects dual to the test objects, smooth sections of a bundle that have compact support. The most developed theory is that of De Rham currents, dual to differential forms. These are homological in nature, in the way that differential forms give rise to De Rham cohomology. They can be used to formulate a very general Stokes' theorem.

ee also

* rigged Hilbert space
* generalized eigenfunction
* weak solution

References

Books

* L. Schwartz: Théorie des distributions
* L. Schwartz: Sur l'impossibilité de la multiplication des distributions. Comptes Rendus de L'Academie des Sciences, Paris, 239 (1954) 847-848.
* I.M. Gel'fand et al.: Generalized Functions, vols I–VI, Academic Press, 1964–. (Translated from Russian.)
* L. Hörmander: The Analysis of Linear Partial Differential Operators, Springer Verlag, 1983.
* J.-F. Colombeau: New Generalized Functions and Multiplication of the Distributions, North Holland, 1983.
* M. Grosser et al.: Geometric theory of generalized functions with applications to general relativity, Kluwer Academic Publishers, 2001.
* H. Kleinert, "Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets", 4th edition, [http://www.worldscibooks.com/physics/6223.html World Scientific (Singapore, 2006)] (also available online [http://www.physik.fu-berlin.de/~kleinert/b5 here] ). See Chapter 11 for products of generalized functions.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• generalized function — apibendrintoji funkcija statusas T sritis fizika atitikmenys: angl. generalized function vok. verallgemeinerte Funktion, f rus. обобщённая функция, f pranc. fonction généralisée, f …   Fizikos terminų žodynas

• Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

• Function object — A function object, also called a functor or functional, is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax.Function objects are unrelated to functors in… …   Wikipedia

• Generalized epilepsy with febrile seizures plus — (GEFS+) is a syndromic autosomal dominant disorder where afflicted individuals can exhibit numerous epilepsy phenotypes.[1] GEFS+ can persist beyond early childhood (i.e., 6 years of age). GEFS+ is also now believed to encompass three other… …   Wikipedia

• Generalized Gaussian distribution — (GGD)= A random variable X has generalized Gaussian distribution if its probability density function (pdf) is given byf(x;m,sigma,alpha)=a exp( |(x m)/b|^alpha) ,x in R, where m is the mean of the distribution, sigma is the standard deviation,… …   Wikipedia

• Generalized linear model — In statistics, the generalized linear model (GLM) is a flexible generalization of ordinary least squares regression. It relates the random distribution of the measured variable of the experiment (the distribution function ) to the systematic (non …   Wikipedia

• Generalized mean — In mathematics, a generalized mean, also known as power mean or Hölder mean (named after Otto Hölder), is an abstraction of the Pythagorean means including arithmetic, geometric, and harmonic means. Contents 1 Definition 2 Properties 2.1 …   Wikipedia

• Generalized Riemann hypothesis — The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so called global L functions, which… …   Wikipedia

• Generalized continued fraction — In analysis, a generalized continued fraction is a generalization of regular continued fractions in canonical form in which the partial numerators and the partial denominators can assume arbitrary real or complex values.A generalized continued… …   Wikipedia

• Generalized quantifier — In linguistic semantics, a generalized quantifier is an expression that denotes a property of a property, also called a higher order property. This is the standard semantics assigned to quantified noun phrases, also called determiner phrases, in… …   Wikipedia