A Result on the Neutrix Composition of the Delta Function

Similar documents
RESULTS ON THE BETA FUNCTION. B(x, y) = for x, y > 0, see for example Sneddon [4]. It then follows that

Defining Incomplete Gamma Type Function with Negative Arguments and Polygamma functions ψ (n) ( m)

ON THE SINE INTEGRAL AND THE CONVOLUTION

Convolutions Involving the Exponential Function and the Exponential Integral

APPLICATIONS OF THE THICK DISTRIBUTIONAL CALCULUS

A RELATED FIXED POINT THEOREM FOR THREE METRIC SPACES

ON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS

COMMON FIXED POINT THEOREMS FOR FOUR MAPPINGS WITH SOME WEAK CONDITIONS OF COMMUTATIVITY

Math 113 (Calculus 2) Exam 4

SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS

Research Article On the Neutrix Composition of the Delta and Inverse Hyperbolic Sine Functions

Section Taylor and Maclaurin Series

AP Calculus Testbank (Chapter 9) (Mr. Surowski)

Section 11.1 Sequences

FURTHER RESULTS ON CONVOLUTIONS INVOLVING GAUSSIAN ERROR FUNCTION erf( x 1/2 )

Uniform convergence of N-dimensional Walsh Fourier series

Deficiency And Relative Deficiency Of E-Valued Meromorphic Functions

Lacunary statistical cluster points of sequences

Review of Power Series

Journal of Inequalities in Pure and Applied Mathematics

FUNCTIONAL SEQUENTIAL AND TRIGONOMETRIC SUMMABILITY OF REAL AND COMPLEX FUNCTIONS

Results on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li(

MATH 6B Spring 2017 Vector Calculus II Study Guide Final Exam Chapters 8, 9, and Sections 11.1, 11.2, 11.7, 12.2, 12.3.

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

STRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM

Lecture 32: Taylor Series and McLaurin series We saw last day that some functions are equal to a power series on part of their domain.

Some Fixed Point Theorems for Certain Contractive Mappings in G-Metric Spaces

C.K. Li a a Department of Mathematics and

JASSON VINDAS AND RICARDO ESTRADA

Fixed point of multivalued mapping in uniform spaces

STABILITY OF n-th ORDER FLETT S POINTS AND LAGRANGE S POINTS

Common fixed point theorems for pairs of single and multivalued D-maps satisfying an integral type

International Journal of Pure and Applied Mathematics Volume 60 No ,

July 21 Math 2254 sec 001 Summer 2015

Math Numerical Analysis

A Note on the 2 F 1 Hypergeometric Function

Differential equations, comprehensive exam topics and sample questions

Study of some equivalence classes of primes

Czechoslovak Mathematical Journal

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Completion Date: Monday February 11, 2008

ASYMPTOTICALLY I 2 -LACUNARY STATISTICAL EQUIVALENCE OF DOUBLE SEQUENCES OF SETS

A RELATED FIXED POINT THEOREM FOR TWO PAIRS OF MAPPINGS ON TWO COMPLETE METRIC SPACES

MATH 411 NOTES (UNDER CONSTRUCTION)

Math 106 Fall 2014 Exam 2.1 October 31, ln(x) x 3 dx = 1. 2 x 2 ln(x) + = 1 2 x 2 ln(x) + 1. = 1 2 x 2 ln(x) 1 4 x 2 + C

Partition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

(Infinite) Series Series a n = a 1 + a 2 + a a n +...

On distribution functions of ξ(3/2) n mod 1

1 Continuity Classes C m (Ω)

Problem Set 5: Solutions Math 201A: Fall 2016

A DISTRIBUTIONAL APPROACH TO FRAGMENTATION EQUATIONS. To Professor Jeff Webb on his retirement, with best wishes for the future. 1.

MATH. 4548, Autumn 15, MWF 12:40 p.m. QUIZ 1 September 4, 2015 PRINT NAME A. Derdzinski Show all work. No calculators. The problem is worth 10 points.

JUST THE MATHS UNIT NUMBER DIFFERENTIATION APPLICATIONS 5 (Maclaurin s and Taylor s series) A.J.Hobson

CALCULUS JIA-MING (FRANK) LIOU

1 Review of di erential calculus

Here we used the multiindex notation:

A Note on the Differential Equations with Distributional Coefficients

Distribution Solutions of Some PDEs Related to the Wave Equation and the Diamond Operator

On the mean values of an analytic function

REPRESENTATION OF THE NORMING CONSTANTS BY TWO SPECTRA

On Power Series Analytic in the Open Unit Disk with Finite Doble-Logarithmic Order

10.1 Sequences. Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = 1.

Convergence Tests. Academic Resource Center

arxiv: v1 [math.cv] 18 Aug 2015

MATH 1231 MATHEMATICS 1B CALCULUS. Section 4: - Convergence of Series.

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

Review Sheet on Convergence of Series MATH 141H

Banach Algebras of Matrix Transformations Between Spaces of Strongly Bounded and Summable Sequences

f (x) = k=0 f (0) = k=0 k=0 a k k(0) k 1 = a 1 a 1 = f (0). a k k(k 1)x k 2, k=2 a k k(k 1)(0) k 2 = 2a 2 a 2 = f (0) 2 a k k(k 1)(k 2)x k 3, k=3

Math 104 Calculus 8.8 Improper Integrals. Math Yu

Let s Get Series(ous)

Orthonormal series expansion and finite spherical Hankel transform of generalized functions

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Relationships between upper exhausters and the basic subdifferential in variational analysis

On an inverse problem for Sturm-Liouville Equation

NEUTRIX CALCULUS I NEUTRICES AND DISTRIBUTIONS 1) J. G. VAN DER CORPUT. (Communicated at the meeting of January 30, 1960)

Groups of polynomial growth

The solutions of time and space conformable fractional heat equations with conformable Fourier transform

Math 1b Sequences and series summary

B553 Lecture 1: Calculus Review

TAYLOR AND MACLAURIN SERIES

Oscillatory Behavior of Third-order Difference Equations with Asynchronous Nonlinearities

A RECONSTRUCTION FORMULA FOR BAND LIMITED FUNCTIONS IN L 2 (R d )

A CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE

We denote the space of distributions on Ω by D ( Ω) 2.

5.3 Definite Integrals and Antiderivatives

ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang

Before you begin read these instructions carefully.

TAYLOR-TYPE EXPANSION OF THE k-th DERIVATIVE OF THE DIRAC DELTA IN u(x 1,...x n ) t.

Math 112 Rahman. Week Taylor Series Suppose the function f has the following power series:

Chapter 8. Infinite Series

INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES

8.1 Sequences. Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = 1.

THEOREMS, ETC., FOR MATH 515

Non-Archimedean Stability of the Monomial Functional Equations

Phenomena in high dimensions in geometric analysis, random matrices, and computational geometry Roscoff, France, June 25-29, 2012

Fuzzy Statistical Limits

CHARACTERIZATION OF THE FOURIER SERIES OF A DISTRIBUTION HAVING A VALUE AT A POINT

arxiv:math/ v1 [math.nt] 6 May 2003

Transcription:

Advances in Dynamical Systems and Applications ISSN 973-5321, Volume 6, Number 1, pp. 49 56 (211) http://campus.mst.edu/adsa A Result on the Neutrix Composition of the Delta Function Brian Fisher Department of Mathematics University of Leicester Leicester LE1 7RH, England fbr@le.ac.uk Emin Özçağ Department of Mathematics Hacettepe University Beytepe, Ankara, Turkey ozcag1@hacettepe.edu.tr Abstract The neutrix composition F (f(x))) of a distribution F (x) and a locally summable function f(x) is said to exist and be equal to the distribution h(x) if the neutrix limit of the sequence {F n (f(x))} is equal to h(x), where F n (x) F (x) δ n (x) and {δ n (x)} is a certain sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). It is proved that the neutrix composition δ (rsm pm) (x 1/rm + /(1 + x 1/m + )) exists for r, s, m 1, 2, 3... and p, 1, 2,..., rs 1. AMS Subject Classifications: 46F1. Keywords: Distribution, Dirac-delta function, composition of distributions, neutrix, neutrix limit. 1 Introduction In distribution theory, no meaning can be generally given to expressions of the form F (f(x)), where F and f are distributions. However, the compositions δ(f) and δ (f), where f is a surface in three-dimensional space, appear in wave propagation problems, see [2, 3]. Furthermore, in physics, one finds the need to evaluate δ 2 when calculating the transition rates of certain particle interaction (see [8]). The technique of neglecting appropriately defined infinite quantities was devised by Hadamard, and the resulting finite value extracted from a divergent integral is referred to as the Hadamard finite part. In fact, his method can be regarded as a particular application of the neutrix calculus developed by van der Corput (see [1]). Received October 31, 21; Accepted November 11, 21 Communicated by Dragan Djurčić

5 Brian Fisher and Emin Özçağ Using the concepts of a neutrix and neutrix limit, the first author gave a general principle for the discarding of unwanted infinite quantities from asymptotic expansions, and this has been exploited particularly in connection with multiplication, convolution and composition of distributions, see [4, 5]. Using Fisher s definition, Koh and Li gave meaning to δ r and (δ ) r for r 2, 3,..., see [1], and the more general form (δ (s) (x)) r was considered by Kou and Fisher in [11]. Recently the rth powers of the Dirac distribution and the Heaviside function for negative integers have been defined in [13] and [14], respectively. In the following, we let D be the space of infinitely differentiable functions ϕ with compact support and let D[a, b] be the space of infinitely differentiable functions with support contained in the interval [a, b]. We let D be the space of distributions defined on D and let D [a, b] be the space of distributions defined on D[a, b]. Now let ρ(x) be a function in D having the following properties: (i) ρ(x) for x 1, (ii) ρ(x), (iii) ρ(x) ρ( x), (iv) ρ(x) dx 1. Putting δ n (x) nρ(nx) for n 1, 2,..., it follows that {δ n (x)} is a regular sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). Further, if F is a distribution in D and F n (x) F (x t), δ n (x), then {F n (x)} is a regular sequence of infinitely differentiable functions converging to F (x). Now let f(x) be an infinitely differentiable function having a single simple root at the point x x. Gel fand and Shilov defined the distribution δ (r) (f(x)) by the equation [ ] r δ (r) 1 1 (f(x)) δ(x x f (x ) f (x) d ), dx for r, 1, 2,..., see [9]. In order to give a more general definition for the composition of distributions, the following definition for the neutrix composition of distributions was given in [4] and was originally called the composition of distributions. Definition 1.1. Let F be a distribution in D and let f be a locally summable function. We say that the neutrix composition F (f(x)) exists and is equal to h on the open interval (a, b) if N lim F n (f(x))ϕ(x)dx h(x), ϕ(x)

A Result on the Neutrix Composition of the Delta Function 51 for all ϕ in D[a, b], where F n (x) F (x) δ n (x) for n 1, 2,... and N is the neutrix, see [1], having domain N the positive integers and range N the real numbers, with negligible functions which are finite linear sums of the functions n λ ln r n, ln r n : λ >, r 1, 2,... and all functions which converge to zero in the usual sense as n tends to infinity. In particular, we say that the composition F (f(x)) exists and is equal to h on the open interval (a, b) if lim F n (f(x))ϕ(x)dx h(x), ϕ(x) for all ϕ in D[a, b]. Note that taking the neutrix limit of a function f(n) is equivalent to taking the usual limit of Hadamard s finite part of f(n). The following theorems were proved in [6, 7, 12] respectively. Theorem 1.2. The neutrix composition δ (s) (sgn x x λ ) exists and δ (s) (sgn x x λ ) for s, 1, 2,... and (s + 1)λ 1, 3,... and δ (s) (sgn x x λ ) ()(s+1)(λ+1) s! λ[(s + 1)λ 1]! δ((s+1)λ) (x) for s, 1, 2,... and (s + 1)λ 2, 4,.... Theorem 1.3. The neutrix composition δ (rs m) [x 1/r + )] exists and δ (rs m) [x 1/r + )] s () rs m+k (rs m)! for r, s 1, 2,... and m 1, 2,..., rs, where ( ) rs m + 1 if rs m + 1 <. In particular, we have for r 2, 3,... and δ[x 1/r + )] δ[x + /(1 + x + )] 1 2 δ(x). ( rs m + 1 ) δ (k) (x),

52 Brian Fisher and Emin Özçağ Theorem 1.4. The neutrix composition δ (s) [ln r (1 + x 1/r + )] exists and δ (s) [ln r (1 + x 1/r + )] s kr+r i for s, 1, 2,... and r 1, 2,.... 2 Main Results ( ) kr + r 1 () (r+1)k+r+s+i s!(i + 1) sr+r δ (k) (x) i 2(sr + r 1)!k! We now need the following lemma, which can be easily proved by induction. Lemma 2.1. We have and for s, 1, 2,.... { t i ρ (s) (t) dt We now prove the following theorem., i < s, () s s!, i s t s ρ (s) (t) dt 1 2 ()s s! Theorem 2.2. The neutrix composition δ (rsm pm) [x 1/rm + ) 1/m ] exists and δ (rsm pm) [x 1/rm + ) 1/m ] s () rsm pm+k rm(rsm pm 1)! for r, s, m 1, 2,... and p, 1,..., rs 1. δ (k) (x), (2.1) Proof. We will first of all prove equation (2.1) on the interval [, 1]. To do this, we need to evaluate (rsm pm) [x 1/rm + ) 1/m ] dx (rsm pm) [(x 1/r /(1 + x 1/r )) 1/m ] dx + n rsm pm x k ρ (rsm pm) [nx 1/rm /(1 + x 1/r ) 1/m ] dx +n rsm pm x k ρ (rsm pm) () dx I 1 + I 2. (rsm pm) () dx

A Result on the Neutrix Composition of the Delta Function 53 It is seen immediately that N lim I 2 (2.2) for r, s, m 1, 2,... and k, 1, 2,.... Substituting nx 1/rm /(1 + x 1/r ) 1/m t, i.e., we have Then for n > 1, we have Hence x dx t rm n rm (1 t m /n m ) r, rmt rm dt n rm (1 t m /n m ) r+1. I 1 rmn rm(s k) pm t rm(k+1) (1 t m /n m ) r(k+1)+1 ρ(rsm pm) (t) dt ( ) + 1 t rm(k+1)+mi rm i n rm(s k)+m(i+p) ρ(rsm pm) (t) dt. N lim i I 1 N lim x k δ (rsm pm) n ()rsm pm rm(rsm pm 1)! 2 [x 1/mr /(1 + x 1/r ) 1/m ] dx, (2.3) on using Lemma 2.1, for k, 1, 2,..., s 1 and r, s, m 1, 2,... and p, 1, 2,..., rs 1. Next, we have x s δ n (rsm pm) [x 1/rm /(1 + x 1/r ) 1/m ] dx rmn rm pm t rm(s+1) (1 t m /n n ) r(s+1)+1 ρ(rsm pm) (t) dt, O(n rm pm ) and so if ψ(x) is an arbitrary continuous function, then lim for r, s, m 1, 2,.... Further, N lim x s δ (rsm pm) n [x 1/rm /(1 + x 1/r ) 1/m ]ψ(x) dx, (2.4) x s δ n (rsm pm) ()ψ(x) dx N lim n rsm pm x s ρ (rsm pm) ()ψ(x) dx, (2.5)

54 Brian Fisher and Emin Özçağ for r, s, m 1, 2,.... Now let ϕ be an arbitrary function in D[, 1]. By Taylor s theorem, we have where < ξ < 1. Then N lim N lim ϕ(x) δ n (rsm pm) s ϕ (k) () k! + N lim N lim s s s + N lim + N lim + N lim s x k ϕ (k) () k! [x 1/rm x s s! δ(rsm pm) n ϕ (k) () k! s ϕ (k) () k! + xs ϕ (s) (ξx), s! + ) 1/m ], ϕ(x) (rsm pm) [x 1/rm + ) 1/m ] dx [x 1/rm + ) 1/m ]ϕ (s) (ξx) dx (rsm pm) [x 1/r /(1 + x 1/r )] dx x s s! δ(rsm pm) n x s s! δ(rsm pm) n (rsm pm) () dx [x 1/r /(1 + x 1/r )]ϕ (s) (ξx) dx ()ϕ (s) (ξx) dx () rsm pm rm(rsm pm 1)! () rsm pm+k rm(rsm pm 1)! ϕ (k) () δ (k) (x), ϕ(x), on using equations (2.2), (2.3), (2.4) and (2.5). This proves that the neutrix composition δ (rsm pm) [x 1/r + )] exists and δ (rsm pm) [x 1/r + )] s () rsm pm+k rm(rsm pm 1)! on the interval [, 1] for r, s, m 1, 2, 3,... and p, 1, 2,..., rs 1. Replacing x by x in Theorem 1.4, we get the following corollary. δ (k) (x),

A Result on the Neutrix Composition of the Delta Function 55 Corollary 2.3. The neutrix composition δ (rsm pm) [x 1/rm /(1 + x 1/r ) 1/m ] exists and δ (rsm pm) [x 1/rm /(1 + x 1/r ) 1/m ] s for r, s, m 1, 2,... and p, 1,..., rs 1. () rsm pm rm(rsm pm 1)! δ (k) (x), Corollary 2.4. The neutrix composition δ (rsm pm) [ x 1/rm /(1 + x 1/r ) 1/m ] exists and δ (rsm pm) [ x 1/rm /(1 + x 1/r ) 1/m ] s () rsm pm [1 + () k ]rm(rsm pm 1)! for r, s, m 1, 2,... and p, 1,..., rs 1. Proof. Noting that δ (k) (x), (2.6) x k δ (rsm pm) [ x 1/rm /(1 + x 1/r ) 1/m ] dx [1 + () k ] we see that equation (2.6) follows. x k δ (rsm pm) [ x 1/rm /(1 + x 1/r ) 1/m ] dx, Acknowledgment The first author is supported by Tübitak. The second author acknowledges support under Research Project Number 1 G 721, awarded by the Hacettepe University Scientific Research Unit. References [1] J. G. van der Corput, Introduction to the neutrix calculus, J. Analyse Math., 7 (1959), 291 398. [2] F. Farassat, Introduction to generalized functions with applications in aerodynamics and aeroacoustics, NASA Technical Paper 3428, (1996), 1 45. [3] F. Farassat, The integration of δ (f) in a multidimensional space, J. Sound Vibration, 23(2)(2), 46 462.

56 Brian Fisher and Emin Özçağ [4] B. Fisher, On defining the change of variable in distributions, Rostock. Math. Kolloq., 28(1985), 75 86. [5] B. Fisher, On defining the distribution δ (r) (f(x)), Rostock. Math. Kolloq., 23 (1993), 73 8. [6] B. Fisher, The delta function and the composition of distributions, Dem. Math. 35(1)(22), 117 123. [7] B. Fisher and T. Kraiweeradechachai, A neutrix composition involving the delta function, submitted. [8] S. Gasiorowicz, Elemetary particle physics, J. Wiley and Sons Inc. New York, 1966. [9] I. M. Gel fand and G. E. Shilov, Generalized Functions, Vol. I, Academic Press, 1964. [1] E. L. Koh and C. K. Li, On Distributions δ k and (δ ) k, Math. Nachr., 157 (1992), 243 248. [11] H. Kou and B. Fisher, On Composition of Distributions, Publ. Math. Debrecen, 4(3-4) (1992), 279 29. [12] T. Kraiweeradechachai, S. Orankitjaroen, B. Fisher and E. Özçaḡ, Further results on the neutrix composition of the delta function, East-West J. Math., 11(2)(29), 151 164. [13] E. Özçaḡ, Defining the kth Powers of the Dirac Delta Distribution for Negative Integers, Appl. Math. Letters, 14 (21), 419 423. [14] E. Özçaḡ, I. Ege and H. Gürçay, On Powers of the Heaviside Function for negative integers, J. Math. Anal. Appl., 326 (27), 11 17.

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback