IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728,p-ISSN: 2319-765X, Volume 8, Issue 3 (Sep. - Oct. 2013), PP 70-74 www.iosrjournals.org On the Convolution of Functions of p – Bounded Variation and a Locally Compact Hausdorff Topological Group S. M. Nengem1, D. Samaila1 and M. Solomon1 1 Department of Mathematical Sciences, Adamawa State University, P. M. B. 25, Mubi, Nigeria Abstract: The smoothness-increasing operator “convolution” is well known for inheriting the best properties of each parent function. It is also well known that if f L1 and g is a Bounded Variation (BV) function, then f g inherits the properties from the parent’s spaces. This aspect of BV can be generalized in many ways and many generalizations are obtained. However, in this paper we introduce the notion of p – Bounded variation function. In relation to that we show that the convolution of two functions f g is the inverse Fourier transforms of the two functions. Moreover, we prove that if f, g BV(p)[0, 2], then f g BV(p)[0, 2], and that on any locally compact Abelian group, a version of the convolution theorem holds. Keywords: Convolution, p-Bounded variation, Fourier transform, Abelian group. I. Introduction In mathematics and, in particular, functional analysis, convolution is a mathematical operation on two functions f and g, producing a third function that is typically viewed as a modified version of one of the original functions, giving the area overlap between the two functions as a function of the amount that one of the original functions is translated. Convolution is similar to cross-correlation. It has applications that include probability, statistics, computer vision, image and signal processing [9], electrical engineering and differential equations. The convolution can be defined for functions on groups other than Euclidean space. For example, periodic functions, such as the discrete-time Fourier transform, can be defined on a circle and convolved by periodic convolution. And discrete convolution can be defined for functions on the set of integers. Generalizations of convolution have applications in the field of numerical analysis and numerical linear algebra, and in the design and implementation of finite impulse response filters in signal processing. Computing the inverse of the convolution operation is known as deconvolution. According to origin and history of convolution [10], "Probably one of the first occurrences of the real convolution integral took place in the year 1754 when the mathematician Jean-le-Rond D’Alembert derived Taylor's expansion theorem on page 50 of Volume 1 of his book “Recherches sur differents points importants du systeme du monde”. Also, an expression of the type: f (u) g(x u)du is used by Sylvestre Francois Lacroix on page 505 of his book entitled Treatise on differences and series, which is the last of 3 volumes of the encyclopedic series: “Traité du calcul différentiel et du calcul intégral”, Chez Courcier, Paris, 1797-1800 [14]. Soon thereafter, convolution operations appear in the works of Pierre Simon Laplace, Jean Baptiste Joseph Fourier, Simeon Denis Poisson, and others. The term itself did not come into wide use until the 1950s or 60s. Prior to that, it was sometimes known as faltung (which means folding in German), composition product, superposition integral, and Carson's integral. Yet it appears as early as 1903, though the definition is rather unfamiliar in older uses [1], [2]. The operation: t (s) (t s)ds, 0 t , 0 is a particular case of composition products considered by the Italian mathematician Vito Volterra in 1913 [3]. In the investigation of convergence of Fourier series, Waterman introduced the class of functions of ΛBV in the early seventies. In 1980 Shiba [8] generalized this class. He introduced the class Λ퐵푉(푝). In 2006, Vyas [12] show that the functions of generalized bounded variation inherit some properties of bounded variation under convolution. Our aim in this paper is to study and analyze the convolution algebra and then consider the functions of p – bounded variation under the same umbrella. This will guide us in our next article, to understand why the convolution produces the output of an LTI (Linear time-invariant) system, and why the behavior of a linear, continuous-time, time-invariant system with input signal x(t) and output signal y(t) is described by the www.iosrjournals.org 70 | Page On the Convolution of Functions of p – Bounded Variation and a Locally Compact Hausdorff convolution integral [6], leading to the study of Linear time-invariant theory, commonly known as LTI system theory. II. Preliminary Definition 1. Given an interval 퐼, a sequence of non-decreasing positive real numbers Λ = 휆푛 , (푛 = 1, 2, … ) 1 such that diverges and 1 ≤ 푝 < ∞. We say that 푓 ∈ Λ퐵푉(p)(퐼) n1 n (푡푕푎푡 푖푠 푓 푖푠 표푓 푝 − Λ − 푏표푢푛푑푒푑 푣푎푟푖푎푡푖표푛 표푛 퐼) if 푉Λ 푓, 푝, 퐼 = sup{퐼푛 } 푉Λ 퐼푛 ,푓, 푝, 퐼 < ∞, 푝 1/푝 Where 푉 퐼 ,푓, 푝, 퐼 = 푓 푎푛 −푓(푏푛 ) , and {퐼 } is a sequence of non-overlapping subintervals 퐼 = Λ 푛 푛 휆푛 푛 푛 푎푛 , 푏푛 ⊂ 퐼 = 0,2휋 . With this metric as a function of the set, we defines a functional 푉∧푝 (⋅), given by 푝 1/푝 푉 푓 1/푝 = sup ∞ 푓(퐼푛 ) < ∞, ∀ 푓 ∈ Λ퐵푉(p). [7]. ∧푝 푛=1 휆푛 (p) Note that if 푝 = 1 one get the class Λ퐵푉(퐼); if 휆푛 = 1 푓표푟 푎푙푙 푛, one gets the class 퐵푉 ; if 푝 = 1 푎푛푑 휆푛 = 푛, 푓표푟 푎푙푙 푛, one gets the class 퐻퐵푉(퐼); if 푝 = 1 푎푛푑 휆푛 = 1 푓표푟 푎푙푙 푛, one gets the class 퐵푉 퐼 . Definition 2. For 푝 ≥ 0, 0 < 훼 ≤ 1, we say that 푓 ∈ 퐿푖푝 훼, 푝 표푣푒푟 퐼 if 푇 푓 − 푓 = 0 푕 훼 푎푠 푕 → 0 푦 푝,퐼 푝 Where (∙) 푝,I denotes the 퐿 norm over 퐼 푎푛푑 푇푕 푓 푥 = 푓(푥 + 푕), [11]. It makes sense to consider the integral modulus of continuity 1/푝 1−푕 푝 휔푝 훿, 푓 : = sup0≤푕≤훿 0 푓 푡 + 푕 − 푓(푡) 푑푡 For 0 ≤ 훿 ≤ 1. However, if 푓 is define on 푅 instead of [0, 2π] and if 푓 is 2휋 − 푝푒푟푖표푑푖푐, it is convenient to modify the definition and put 1/푝 2휋 푝 휔푝 훿, 푓 : = sup0≤푕≤훿 0 푓 푡 + 푕 − 푓(푡) 푑푡 Definition 3. Let 푓 be a 2휋 − 푝푒푟푖표푑푖푐 푓푢푛푐푡푖표푛, 푓 is of Λ − bounded variation on [0, 2휋], then the Fourier transform of 푓 is given by 2휋 −푖푡푥 F[푓(푥)]= 0 푓(푡) 푒 푑푥 = 푓 푡 , 푡 ∈ 0, 2휋 . [4] In Fourier analysis, for any 2π – periodic function 푓 푎푛푑 푔, 푓 푐표푛푣표푙푢푡푖표푛 푔 is defined as follows: Definition 4. For any 푓, 푔 ∈ 퐿1 0, 2휋 , 푓 ∗ 푔 is define as 2휋 푓 ∗ 푔 푥 = 1 (푓 푥 − 푦 푔 푦 푑푦. [12] 2휋 0 In view of the above definition, we state the convolution theorem as in theorem 1 below. The approach adapted in the formulation and proof of the theorem is in accordance with Dass, (2006) [5] Laplace transformation. Definition 5. For a positive integer r, we say that 푓 ∈ 푟 − 퐵푉(퐼) ( that is, 푓 is of bounded 푟푡푕 - variation over 퐼) if for arbitrary (푛 + 1) - points 푥1 < 푥2 < ⋯ < 푥푛 in 퐼, in an arithmetic progression we have 푟 푟 푟 푛−푟 푟 푉 푓, 퐼 = sup푛 푉푛 푓, 퐼 < ∞, 푤푕푒푟푒 sup푛 푉푛 푓, 퐼 = 푖=0 ∆ 푓(푥푖 ) , [12] In which ∆푓 푥푖 = 푓 푥푖+1 − 푓 푥푖 and for some 푘 ≥ 2 푘 푘−1 푘−1 ∆ 푓 푥푖 = ∆ 푓 푥푖+1 − ∆ 푓 푥푖 , so that 푟 푟 푚 푟 ∆ 푓 푥푖 = 푚=0 −1 (푚 )푓(푥푖+푟−푚 ) III. Algebraic Properties The convolution defines a product on the linear space of integrable functions. This product satisfies the following algebraic properties, which formally mean that the space of integrable functions with the product given by convolution is a commutative algebra without identity [13]. Other linear spaces of functions, such as the space of continuous functions of compact support, are closed under the convolution, and so also form commutative algebras. Commutativity: f g = g f Associativity: f (g h) = (f g) h Distributive: f (g + h) = (f g) + (f h) Associativity with scalar multiplication: a(f g) = (af ) g for any real (or complex) number a. No algebra of functions possesses an identity for the convolution. The lack of identity is typically not a major inconvenience since most collections of functions on which the convolution is performed can be convolved with a delta distribution, or, at the very least (as is the case of L1) admit approximations to the identity. The linear space of compactly supported distributions does, however, admit an identity under the convolution. Specifically, f = f www.iosrjournals.org 71 | Page On the Convolution of Functions of p – Bounded Variation and a Locally Compact Hausdorff where δ is the delta distribution. Some distributions have an inverse element for the convolution, S(-1), which is defined by S(-1) S = The set of invertible distributions forms an Abelian group under the convolution. IV. Functions Of P – Bounded Variation Lemma 1. If 푓 ∈ 퐿1 0, 2휋 푎푛푑 푔 ∈ 퐿푝 0, 2휋 푝 ≥ 1 , 푡푕푒푛, 푇푕 푓 ∗ 푔 − 푓 ∗ 푔 푝,[0,2휋] ≤ 푓 1 푇푕 푔 − 푔 푝,[표,2휋]. [11] 푝 1 1 + Proof: For any 푕 ∈ 퐿 0, 2휋 , 푤푕푒푟푒 푞 푠푎푡푖푠푓푖푒푠 푝 푞 = 1, from the Fubini – Tonelli theorem we get 2휋 1 푇 푓 ∗ 푔 푥 − 푓 ∗ 푔 푥 푕 푥 푑푥 2휋 0 푕 2휋 2휋 ≤ 1 푕(푥) 1 푓(푦) (푇 푔 − 푔) 푥 − 푦 푑푦 푑푥 2휋 0 2휋 0 푕 2휋 2휋 = 1 푓(푦) 1 푕(푥) (푇 푔 − 푔) 푥 − 푦 푑푥 푑푦 2휋 0 2휋 0 푕 = 푓 1 푕 푞 푇푕 푔 − 푔 푝 , (by Holder’s inequality).