Convolution quotient

Last updated November 17, 2024

In mathematics, a space of convolution quotients is a field of fractions of a convolution ring of functions: a convolution quotient is to the operation of convolution as a quotient of integers is to multiplication. The construction of convolution quotients allows easy algebraic representation of the Dirac delta function, integral operator, and differential operator without having to deal directly with integral transforms, which are often subject to technical difficulties with respect to whether they converge.

Convolution quotients were introduced by Mikusiński ( 1949 ), and their theory is sometimes called Mikusiński's operational calculus .

The kind of convolution ${\textstyle (f,g)\mapsto f*g}$ with which this theory is concerned is defined by

(f*g)(x)=\int _{0}^{x}f(u)g(x-u)\,du.

It follows from the Titchmarsh convolution theorem that if the convolution ${\textstyle f*g}$ of two functions ${\textstyle f,g}$ that are continuous on ${\textstyle [0,+\infty )}$ is equal to 0 everywhere on that interval, then at least one of ${\textstyle f,g}$ is 0 everywhere on that interval. A consequence is that if ${\textstyle f,g,h}$ are continuous on ${\textstyle [0,+\infty )}$ then ${\textstyle h*f=h*g}$ only if ${\textstyle f=g.}$ This fact makes it possible to define convolution quotients by saying that for two functions ƒ, g, the pair (ƒ, g) has the same convolution quotient as the pair (h * ƒ,h * g).

As with the construction of the rational numbers from the integers, the field of convolution quotients is a direct extension of the convolution ring from which it was built. Every "ordinary" function $f$ in the original space embeds canonically into the space of convolution quotients as the (equivalence class of the) pair $(f*g,g)$ , in the same way that ordinary integers embed canonically into the rational numbers. Non-function elements of our new space can be thought of as "operators", or generalized functions, whose algebraic action on functions is always well-defined even if they have no representation in "ordinary" function space.

If we start with convolution ring of positive half-line functions, the above construction is identical in behavior to the Laplace transform, and ordinary Laplace-space conversion charts can be used to map expressions involving non-function operators to ordinary functions (if they exist). Yet, as mentioned above, the algebraic approach to the construction of the space bypasses the need to explicitly define the transform or its inverse, sidestepping a number of technically challenging convergence problems with the "traditional" integral transform construction.

Related Research Articles

In mathematics, convolution is a mathematical operation on two functions that produces a third function. The term convolution refers to both the result function and to the process of computing it. It is defined as the integral of the product of the two functions after one is reflected about the y-axis and shifted. The integral is evaluated for all values of shift, producing the convolution function. The choice of which function is reflected and shifted before the integral does not change the integral result. Graphically, it expresses how the 'shape' of one function is modified by the other.

In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

In mathematics, the Laplace transform, named after Pierre-Simon Laplace, is an integral transform that converts a function of a real variable to a function of a complex variable $.$

In mathematics, an operator is generally a mapping or function that acts on elements of a space to produce elements of another space. There is no general definition of an operator, but the term is often used in place of function when the domain is a set of functions or other structured objects. Also, the domain of an operator is often difficult to characterize explicitly, and may be extended so as to act on related objects.

In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements.

In mathematical analysis, the Dirac delta function, also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one. Thus it can be represented heuristically as

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, hyperreal numbers are an extension of the real numbers to include certain classes of infinite and infinitesimal numbers. A hyperreal number $is said to be finite if, and only if, for some integer . is said to be infinitesimal if, and only if, for all positive integers . The term "hyper-real" was introduced by Edwin Hewitt in 1948.$

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

<span class="mw-page-title-main">Fourier transform</span> Mathematical transform that expresses a function of time as a function of frequency

In physics, engineering and mathematics, the Fourier transform (FT) is an integral transform that takes a function as input and outputs another function that describes the extent to which various frequencies are present in the original function. The output of the transform is a complex-valued function of frequency. The term Fourier transform refers to both this complex-valued function and the mathematical operation. When a distinction needs to be made, the output of the operation is sometimes called the frequency domain representation of the original function. The Fourier transform is analogous to decomposing the sound of a musical chord into the intensities of its constituent pitches.

In mathematics, an integral transform is a type of transform that maps a function from its original function space into another function space via integration, where some of the properties of the original function might be more easily characterized and manipulated than in the original function space. The transformed function can generally be mapped back to the original function space using the inverse transform.

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s² to T yields the operator T². Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator $-Δ$ or the exponential

In system analysis, among other fields of study, a linear time-invariant (LTI) system is a system that produces an output signal from any input signal subject to the constraints of linearity and time-invariance; these terms are briefly defined in the overview below. These properties apply (exactly or approximately) to many important physical systems, in which case the response $y (t)$ of the system to an arbitrary input $x (t)$ can be found directly using convolution: $y (t) = (x * h)(t)$ where $h (t)$ is called the system's impulse response and ∗ represents convolution (not to be confused with multiplication). What's more, there are systematic methods for solving any such system (determining $h (t)$ ), whereas systems not meeting both properties are generally more difficult (or impossible) to solve analytically. A good example of an LTI system is any electrical circuit consisting of resistors, capacitors, inductors and linear amplifiers.

In mathematics, the two-sided Laplace transform or bilateral Laplace transform is an integral transform equivalent to probability's moment-generating function. Two-sided Laplace transforms are closely related to the Fourier transform, the Mellin transform, the Z-transform and the ordinary or one-sided Laplace transform. If f(t) is a real- or complex-valued function of the real variable t defined for all real numbers, then the two-sided Laplace transform is defined by the integral

In mathematics, generalized functions are objects extending the notion of functions on real or complex numbers. There is more than one recognized theory, for example the theory of distributions. Generalized functions are especially useful for treating discontinuous functions more like smooth functions, and describing discrete physical phenomena such as point charges. They are applied extensively, especially in physics and engineering. Important motivations have been the technical requirements of theories of partial differential equations and group representations.

In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, geometry, etc.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In mathematics, the convolution power is the n-fold iteration of the convolution with itself. Thus if $is a function on Euclidean space R d and is a natural number, then the convolution power is defined by$

In mathematics, the Weierstrass transform of a function $, named after Karl Weierstrass, is a "smoothed" version of obtained by averaging the values of, weighted with a Gaussian centered at .$

In mathematics, Boehmians are objects obtained by an abstract algebraic construction of "quotients of sequences." The original construction was motivated by regular operators introduced by T. K. Boehme. Regular operators are a subclass of Mikusiński operators, that are defined as equivalence classes of convolution quotients of functions on $. The original construction of Boehmians gives us a space of generalized functions that includes all regular operators and has the algebraic character of convolution quotients. On the other hand, it includes all distributions eliminating the restriction of regular operators to .$

References

Mikusiński, Jan G. (1949), "Sur les fondements du calcul opératoire", Studia Math., 11: 41–70, doi:10.4064/sm-11-1-41-70, MR 0036949
Mikusiński, Jan (1959) [1953], Operational calculus, International Series of Monographs on Pure and Applied Mathematics, vol. 8, New York-London-Paris-Los Angeles: Pergamon Press, MR 0105594

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.