In mathematics, mollifiers (also known as approximations to the identity) are smooth functions with special properties, used in distribution theory to create sequences of smooth functions approximating nonsmooth (generalized) functions, via convolution. Intuitively, given a function which is rather irregular, by convolving it with a mollifier the function gets "mollified", that is, its sharp features are smoothed, while still remaining close to the original nonsmooth (generalized) function. They are also known as Friedrichs mollifiers after Kurt Otto Friedrichs, who introduced them.
- 1 History
- 2 Definition
- 3 Concrete example
- 4 Properties
- 5 Applications
- 6 See also
- 7 Notes
- 8 References
Mollifiers were introduced by Kurt Otto Friedrichs in his paper (Friedrichs 1944, pp. 136–139), which is a watershed in the modern theory of partial differential equations. The name of the concept had a curious genesis: at that time Friedrichs was a colleague of the mathematician Donald Alexander Flanders, and since he liked to consult colleagues about English usage, he asked Flanders how to name the smoothing operator he was about to introduce. Flanders was a puritan so his friends nicknamed him Moll after Moll Flanders in recognition of his moral qualities, and he suggested to call the new mathematical concept a "mollifier" as a pun incorporating both Flanders' nickname and the verb 'to mollify', meaning 'to smooth over' in a figurative sense.
There is a little misunderstanding in the concept of mollifier: Friedrichs defined as "mollifier" the integral operator whose kernel is one of the functions nowadays called mollifiers. However, since the properties of an integral operator are completely determined by its kernel, the name mollfier was inherited by the kernel itself as a result of common usage.
Modern (distribution based) definition
Definition 1. If is a smooth function on ℝn, n ≥ 1, satisfying the following three requirements
where is the Dirac delta function and the limit must be understood in the space of Schwartz distributions, then is a mollifier. The function could also satisfy further conditions: for example, if it satisfies
- (4) ≥ 0 for all x ∈ ℝn, then it is called a positive mollifier
- (5) = for some infinitely differentiable function : ℝ+ → ℝ, then it is called a symmetric mollifier
Notes on Friedrichs' definition
Note 1. When the theory of distributions was still not widely known nor used, property (3) above was formulated by saying that the convolution of the function with a given function belonging to a proper Hilbert or Banach space converges as ε → 0 to this last one: this is exactly what Friedrichs did. This also clarifies why mollifiers are related to approximate identities.
where and is a smooth function satisfying the first three conditions stated above and one or more supplementary conditions as positivity and symmetry.
It is easily seen that this function is infinitely differentiable, non analytic with vanishing derivative for |x| = 1. Divide this function by its integral over the whole space to get a function of integral one, which can be used as mollifier as described above: it is also easy to see that defines a positive and symmetric mollifier.
For any distribution , the following sequence of convolutions indexed by the real number
Approximation of identity
For any distribution , the following sequence of convolutions indexed by the real number converges to
Support of convolution
For any distribution ,
The basic applications of mollifiers is to prove properties valid for smooth functions also in nonsmooth situations:
Product of distributions
In some theories of generalized functions, mollifiers are used to define the multiplication of distributions: precisely, given two distributions and , the limit of the product of a smooth function and a distribution
defines (if it exists) their product in various theories of generalized functions.
Very informally, mollifiers are used to prove the identity of two different kind of extension of differential operators: the strong extension and the weak extension. The paper (Friedrichs 1944) illustrates this concept quite well: however the high number of technical details needed to show what this really means prevent them from being formally detailed in this short description.
Smooth cutoff functions
which is a smooth function equal to on , with support contained in . This can be seen easily by observing that if ≤ and ≤ then ≤ . Hence for ≤ ,
It is easy to see how this construction can be generalized to obtain a smooth function identical to one on a neighbourhood of a given compact set, and equal to zero in every point whose distance from this set is greater than a given . Such a function is called a (smooth) cutoff function: those functions are used to eliminate singularities of a given (generalized) function by multiplication. They leave unchanged the value of the (generalized) function they multiply only on a given set, thus modifying its support: also cutoff functions are the basic parts of smooth partitions of unity.
- Approximate identity
- Bump function
- Weierstrass transform
- Distribution (mathematics)
- Kurt Otto Friedrichs
- Generalized function
- Sergei Sobolev
- Respect to the topology of the given space of generalized functions.
- See (Friedrichs 1944, pp. 136–139).
- According to Peter Lax, reviewing the paper in (Friedrichs 1986, p. 117), volume 1,
- He introduced the term "Mollifier" in the paper (Friedrichs 1944), as previously pointed out.
- See (Sobolev 1938).
- Precisely, he acknowledged this fact in the paper (Friedrichs 1953, p. 196).
- Such as a bump function
- See (Giusti 1984, p. 11).
- As when the paper (Friedrichs 1944) was published, few years before Laurent Schwartz widespread his work.
- Obviously the topology with respect to convergence occurs is the one of the Hilbert or Banach space considered.
- See (Friedrichs 1944, pp. 136–138), properties PI, PII, PIII and their consequence PIII0.
- Also, in this respect, Friedrichs (1944, pp. 132) says:-"The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers".
- See (Friedrichs 1944, p. 137), paragraph 2, "Integral operators".
- See (Hörmander 1990, p. 14), lemma 1.2.3.: the example is stated in implicit form by first defining f(t) = exp(-1/t) for t ∈ ℝ+, and then considering f(x) = f (1-|x|2) for x ∈ ℝn.
- See for example (Hörmander 1990).
- A proof of this fact can be found in (Hörmander 1990, p. 25), Theorem 1.4.1.
- Friedrichs, Kurt Otto (January 1944), "The identity of weak and strong extensions of differential operators", Transactions of the American Mathematical Society 55 (1): 132–151, doi:10.1090/S0002-9947-1944-0009701-0, MR 0009701, Zbl 0061.26201. The first paper where mollifiers were introduced.
- Friedrichs, Kurt Otto (1953), "On the differentiability of the solutions of linear elliptic differential equations", Communications on Pure and Applied Mathematics VI (3): 299–326, doi:10.1002/cpa.3160060301, MR 0058828, Zbl 0051.32703. A paper where the differentiability of solutions of elliptic partial differential equations is investigated by using mollifiers.
- Friedrichs, Kurt Otto (1986), Morawetz, Cathleen S., ed., Selecta, Contemporary Mathematicians, Boston-Basel-Stuttgart: Birkhäuser Verlag, pp. 427 (Vol. 1); pp. 608 (Vol. 2), ISBN 0-8176-3270-0, Zbl 0613.01020. A selection from Friedrichs' works with a biography and commentaries of David Isaacson, Fritz John, Tosio Kato, Peter Lax, Louis Nirenberg, Wolfgag Wasow, Harold Weitzner.
- Giusti, Enrico (1984), Minimal surfaces and functions of bounded variations, Monographs in Mathematics 80, Basel-Boston-Stuttgart: Birkhäuser Verlag, pp. xii+240, ISBN 0-8176-3153-4, MR 0775682, Zbl 0545.49018, ISBN 3-7643-3153-4.
- Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft 256 (2nd ed.), Berlin-Heidelberg-New York: Springer-Verlag, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001, ISBN 3-540-52343-X.
- Sobolev, Sergei L. (1938), "Sur un théorème d'analyse fonctionnelle", Recueil Mathématique (Matematicheskii Sbornik) (in Russian, with French abstract), 4(46) (3): 471–497, Zbl 0022.14803. The paper where Sergei Sobolev proved his embedding theorem, introducing and using integral operators very similar to mollifiers, without naming them.