1 Introduction 2 Integral Transforms

Total Page:16

File Type:pdf, Size:1020Kb

1 Introduction 2 Integral Transforms Physics 129b Integral Equations 051012 F. Porter Revision 150928 F. Porter 1 Introduction The integral equation problem is to find the solution to: Z b h(x)f(x) = g(x) + λ k(x; y)f(y)dy: (1) a We are given functions h(x), g(x), k(x; y), and wish to determine f(x). The quantity λ is a parameter, which may be complex in general. The bivariate function k(x; y) is called the kernel of the integral equation. We shall assume that h(x) and g(x) are defined and continuous on the interval a ≤ x ≤ b, and that the kernel is defined and continuous on a ≤ x ≤ b and a ≤ y ≤ b. Here we will concentrate on the problem for real variables x and y. The functions may be complex-valued, although we will sometimes simplify the discussion by considering real functions. However, many of the results can be generalized in fairly obvious ways, such as relaxation to piece- wise continuous functions, and generalization to multiple dimensions. There are many resources for further reading on this subject. Some of the popular ones among physicists include the \classic" texts by Mathews and Walker, Courant and Hilbert, Whittaker and Watson, and Margenau and Murphy, as well as the newer texts by Arfken, and Riley, Hobson, and Bence. 2 Integral Transforms If h(x) = 0, we can take λ = −1 without loss of generality and obtain the integral equation: Z b g(x) = k(x; y)f(y)dy: (2) a This is called a Fredholm equation of the first kind or an integral transform. Particularly important examples of integral transforms include the Fourier transform and the Laplace transform, which we now discuss. 1 2.1 Fourier Transforms A special case of a Fredholm equation of the first kind is a = −∞ (3) b = +1 (4) 1 k(x; y) = p e−ixy: (5) 2π This is known as the Fourier transform: 1 Z 1 g(x) = p e−ixyf(y)dy (6) 2π −∞ Note that the kernel is complex in this case. The solution to this equation is given by: 1 Z 1 f(y) = p eixyg(x)dx: (7) 2π −∞ We'll forego rigor here and give the \physicist's" demonstration of this: 1 1 1 Z Z 0 g(x) = e−ixydy eix yg(x0)dx0 (8) 2π −∞ −∞ 1 1 1 Z Z 0 = g(x0)dx0 ei(x −x)ydy (9) 2π −∞ −∞ Z 1 = g(x0)δ(x − x0)dx0 (10) −∞ = g(x): (11) Here, we have used the fact that the Dirac \delta-function" may be written 1 Z 1 δ(x) = eixydy: (12) 2π −∞ The reader is encouraged to demonstrate this, if s/he has not done so before. It is instructive to notice that the Fourier transform may be regarded as a limit of the Fourier series. Let f(x) be expanded in a Fourier series in a box of size [−L=2; L=2]: 1 X 2πinx=L f(x) = ane : (13) n=−∞ We have chosen periodic boundary conditions here: f(L=2) = f(−L=2). The an expansion coefficients may be determined for any given f(x) using the orthogonality relations: Z L=2 1 2πinx=L −2πimx=L e e dx = δmn: (14) L −L=2 2 Hence, Z L=2 1 −2πinx=L an = f(x)e dx: (15) L −L=2 Now consider taking the limit as L ! 1. In this limit, the summationp goes over to a continuous integral. Let y = 2πn=L and g(y) = Lan= 2π. Then, using dn = (L=2π)dy, 1 X 2πinx=L f(x) = lim ane (16) L!1 n=−∞ p 1 2π = lim X g(y)eixy (17) L!1 n=−∞ L 1 Z 1 = p eixyg(y)dy: (18) 2π −∞ Furthermore: La 1 Z 1 g(y) = p n = p f(x)e−ixydx: (19) 2π 2π −∞ We thus verify our earlier statements, including the δ-function equivalence, assuming our limit procedure is acceptable. Suppose now that f(y) is an even function, f(−y) = f(y). Then, 1 Z 0 Z 1 g(x) = p e−ixyf(y)dy + e−ixyf(y)dy (20) 2π −∞ 0 1 Z 1 h i = p eixy + e−ixy f(y) dy (21) 2π 0 s 2 Z 1 = f(y) cos xy dy: (22) π 0 This is known as the Fourier cosine transform. It may be observed that the transform g(x) will also be an even function, and the solution for f(y) is: s 2 Z 1 f(y) = g(x) cos xy dx: (23) π 0 Similarly, if f(y) is an odd function, we have the Fourier sine trans- form: s 2 Z 1 g(x) = f(y) sin xy dy; (24) π 0 where a factor of −i has been absorbed. The solution for f(y) is s 2 Z 1 f(y) = g(x) sin xy dx: (25) π 0 Let us briefly make some observations concerning an approach to a more rigorous discussion. Later we shall see that if the kernel k(x; y) satisfies 3 conditions such as square-integrability on [a; b] then convenient behavior is achieved for the solutions of the integral equation. However, in the present case, we not only have jaj; jbj ! 1, but the kernel eixy nowhere approaches zero. Thus, great care is required to ensure valid results. We may deal with this difficult situation by starting with a set of functions which are themselves sufficiently well-behaved (e.g., approach zero rapidly as jxj ! 1) that the behavior of the kernel is mitigated. For example, in quantum mechanics we may construct our Hilbert space of acceptable wave functions on R3 by starting with a set S of functions f(x) where: 1. f(x) 2 C1, that is f(x) is an infinitely differentiable complex-valued function on R3. n 2. limjxj!1 jxj d(x) = 0; 8n, where d(x) is any partial derivative of f. That is, f and its derivatives fall off faster than any power of jxj. We could approach the proof of the Fourier inverse theorem with more rigor than our limit of a series as follows: First, consider that subset of S consisting of Gaussian functions. Argue that any function in S may be ap- proximated aribtrarily closely by a series of Gaussians. Then note that the S functions form a pre-Hilbert space (also known as an Euclidean space). Add the completion to get a Hilbert space, and show that the theorem remains valid. The Fourier transform appears in many physical situations via its con- nection with waves, for example: <eixy = cos xy: (26) In electronics we use the Fourier transform to translate \time domain" prob- lems in terms of \frequency domain" problems, with xy ! !t. An LCR circuit is just a complex impedance for a given frequency, hence the integral- differential time-domain problem is translated into an algebraic problem in the frequency domain. In quantum mechanics the position-space wave func- tions are related to momenutm-space wave functions via the Fourier trans- form. 2.1.1 Example: RC circuit Suppose we wish to determine the \output" voltage Vo(t) in the simple circuit of Fig. 1. The time domain problem requires solving the equation: Z t Z t 1 0 0 1 1 1 0 0 Vo(t) = Vi(t ) dt − + Vo(t ) dt : (27) R1C −∞ C R1 R2 −∞ This is an integral equation, which we will encounter in Section 5.2 as a \Volterra's equation of the second kind". 4 R1 V (t) V (t) i C R2 o Figure 1: A simple RC circuit problem. If Vi(t) is a sinusoid waveform of a fixed frequency (!), the circuit elements may be replaced by complex impedances: R1 ! Z1 = R1 (28) R2 ! Z2 = R2 (29) 1 C ! Z = : (30) C i!C Then it is a simple matter to solve for Vo(t): 1 V (t) = V (t) ; (31) o i R1 1 + (1 + i!R2C) R2 if Vi(t) = sin(!t + φ), and where it is understood that the real part is to be taken. Students usually learn how to obtain the result in Eqn. 31 long before they know about the Fourier transform. However, it is really the result in the frequency domain according to the Fourier transform. That is: Z 1 1 −i!t Vbo(!) = p Vo(t)e dt (32) 2π −∞ 1 = Vb (!) : (33) i R1 1 + (1 + i!R2C) R2 We are here using the \hat" ( b ) notation to indicate the integral transform of the unhatted function. The answer to the problem for general (not necessarily sinusoidal) input Vi(t) is then: Z 1 1 i!t Vo(t) = p Vbo(!)e d! (34) 2π −∞ 1 Z 1 ei!t = p Vb (!) d!: (35) i R1 2π −∞ 1 + (1 + i!R2C) R2 5 2.2 Laplace Transforms The Laplace transform is an integral transform of the form: Z 1 F (s) = f(x)e−sxdx: (36) 0 The \solution" for f(x) is: 1 Z c+i1 f(x) = F (s)esxds; (37) 2πi c−i1 where x > 0. This transform can be useful for some functions where the Fourier trans- form does not exist. Problems at x ! +1 are removed by multiplying by e−cx, where c is a positive real number. Then the problem at −∞ is repaired by multiplying by the unit step function θ(x): 8 1 if x > 0, < θ(x) ≡ 1=2 if x = 0, and (38) : 0 if x < 0. Thus, we have Z 1 g(y) = f(x)θ(x)e−cxe−ixydx (39) −∞ Z 1 = f(x)e−cxe−ixydx; (40) 0 p where we have by convention also absorbed the 1= 2π.
Recommended publications
  • Global Institute Lahore
    Global Institute Lahore HADAMARD k-FRACTIONAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS February, 2015 GLOBAL INSTITUTE LAHORE i HADAMARD k-FRACTINAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID A dissertation submitted to Faculty of Management Sciences In Partial Fullfilment of the Requirements for the Degree of DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS FEBRUARY, 2015 ii IN THE NAME OF ALLAH, THE MOST BENIFICIAL, THE MOST MERCIFUL iii GLOBAL INSTITUTE LAHORE HADAMARD k-FRACTIONAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID A dissertation submitted to Faculty of Management Sciences, in partial fullfilment of the requirements for the degree of DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS Dissertation Committee iv DECLARATION This is to certify that this research work has not been submitted for obtaining similar degree from any other university/college. v DEDICATED TO My Beloved Son Muhammad Yahya Khan vi ACKNOWLEDGEMENT Gratitude to almighty Allah for His unending blessings that has reinforced me to complete this humble piece of dissertation. I am also obliged to all the teachers and fellows at Global Institute, Lahore. I am grateful to my supervisor Dr. Ghulam Mustafa Habibullah for his motivation, support and guidance to the right direction. I am highly obliged to Muhammad Kashif Khan, the Chairman Global Institute Lahore and all of the college officials including the Rector, Pro-Rector and all the faculty members of the institute for their guidance, support and favours. The financial support of Higher Education Commission, Pakistan in facilitating me to take up this research work, is most gratefully acknowledged. I am also thankful to my brother Professor Muhammad Zulqarnain Khan and my wife for their continuous support and encouragement.
    [Show full text]
  • Some Schemata for Applications of the Integral Transforms of Mathematical Physics
    mathematics Review Some Schemata for Applications of the Integral Transforms of Mathematical Physics Yuri Luchko Department of Mathematics, Physics, and Chemistry, Beuth University of Applied Sciences Berlin, Luxemburger Str. 10, 13353 Berlin, Germany; [email protected] Received: 18 January 2019; Accepted: 5 March 2019; Published: 12 March 2019 Abstract: In this survey article, some schemata for applications of the integral transforms of mathematical physics are presented. First, integral transforms of mathematical physics are defined by using the notions of the inverse transforms and generating operators. The convolutions and generating operators of the integral transforms of mathematical physics are closely connected with the integral, differential, and integro-differential equations that can be solved by means of the corresponding integral transforms. Another important technique for applications of the integral transforms is the Mikusinski-type operational calculi that are also discussed in the article. The general schemata for applications of the integral transforms of mathematical physics are illustrated on an example of the Laplace integral transform. Finally, the Mellin integral transform and its basic properties and applications are briefly discussed. Keywords: integral transforms; Laplace integral transform; transmutation operator; generating operator; integral equations; differential equations; operational calculus of Mikusinski type; Mellin integral transform MSC: 45-02; 33C60; 44A10; 44A15; 44A20; 44A45; 45A05; 45E10; 45J05 1. Introduction In this survey article, we discuss some schemata for applications of the integral transforms of mathematical physics to differential, integral, and integro-differential equations, and in the theory of special functions. The literature devoted to this subject is huge and includes many books and reams of papers.
    [Show full text]
  • Integral Equation for the Number of Integer Points in a Circle
    ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS { N. 41{2019 (522{525) 522 INTEGRAL EQUATION FOR THE NUMBER OF INTEGER POINTS IN A CIRCLE Magomed A. Chakhkiev Gagik S. Sulyan Manya A. Ziroyan Department of Applied Mathematics Social State University of Russia Wilhelm Pieck St. 4, Moscow Russian Federation Nikolay P. Tretyakov Department of Applied Mathematics Social State University of Russia Wilhelm Pieck St. 4, Moscow Russian Federation and School of Public Policy The Russian Presidential Academy of National Economy and Public Administration Prospect Vernadskogo, 84, Moscow 119571 Russian Federation Saif A. Mouhammad∗ Department of Physics Faculty of Science Taif University Taif, AL-Haweiah Kingdom of Saudi Arabia [email protected] Abstract. The problem is to obtain the most accurate upper estimate for the absolute value of the difference between the number of integer points in a circle and its area (when the radius tends to infinity). In this paper we obtain an integral equation for the function expressing the dependence of the number of integer points in a circle on its radius. The kernel of the equation contains the Bessel functions of the first kind, and the equation itself is a kind of the Hankel transform. Keywords: Gauss circle problem, integral equation, Hankel transform. 1. The problem and calculations The Gauss circle problem is the problem of determining how many integer lattice points there are in a circle centered at the origin andp with given radius. Let us consider the circle K(R): x2 + y2 ≤ R and let A( R) be the number of ∗. Corresponding author INTEGRAL EQUATION FOR THE NUMBER OF INTEGER POINTS IN A CIRCLE 523 p points with integer coordinates within this circle.
    [Show full text]
  • Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders
    Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 11, Number 2, pp. 93–104 (2016) http://campus.mst.edu/adsa Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders Mohamed Abdalla Darwish King Abdulaziz University Sciences Faculty for Girls Department of Mathematics Jeddah, Saudi Arabia [email protected] Johnny Henderson Baylor University Department of Mathematics Waco, Texas 76798-7328, USA Johnny [email protected] Kishin Sadarangani Universidad de Las Palmas de Gran Canaria Departamento de Matematicas´ Campus de Tafira Baja, 35017 Las Palmas de Gran Canaria, Spain [email protected] Abstract We investigate a new quadratic integral equation of arbitrary orders with maxi- mum and prove an existence result for it. We will use a fixed point theorem due to Darbo as well as the monotonicity measure of noncompactness due to Banas´ and Olszowy to prove that our equation has at least one solution in C[0; 1] which is monotonic on [0; 1]. AMS Subject Classifications: 45G10, 47H09, 45M99. Keywords: Fractional, monotonic solutions, monotonicity measure of noncompact- ness, quadratic integral equation, Darbo theorem. Received August 24, 2016; Accepted November 27, 2016 Communicated by Martin Bohner 94 M. A. Darwish, J. Henderson and K. Sadarangani 1 Introduction In several papers, among them [1,11], the authors studied differential and integral equa- tions with maximum. In [6–9] Darwish et al. studied fractional integral equations with supremum. Also, in [4, 5], Caballero et al. studied the Volterra quadratic integral equa- tions with supremum. They showed that these equations have monotonic solutions in the space C[0; 1].
    [Show full text]
  • Laplace Transforms: Theory, Problems, and Solutions
    Laplace Transforms: Theory, Problems, and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved 1 Contents 43 The Laplace Transform: Basic Definitions and Results 3 44 Further Studies of Laplace Transform 15 45 The Laplace Transform and the Method of Partial Fractions 28 46 Laplace Transforms of Periodic Functions 35 47 Convolution Integrals 45 48 The Dirac Delta Function and Impulse Response 53 49 Solving Systems of Differential Equations Using Laplace Trans- form 61 50 Solutions to Problems 68 2 43 The Laplace Transform: Basic Definitions and Results Laplace transform is yet another operational tool for solving constant coeffi- cients linear differential equations. The process of solution consists of three main steps: • The given \hard" problem is transformed into a \simple" equation. • This simple equation is solved by purely algebraic manipulations. • The solution of the simple equation is transformed back to obtain the so- lution of the given problem. In this way the Laplace transformation reduces the problem of solving a dif- ferential equation to an algebraic problem. The third step is made easier by tables, whose role is similar to that of integral tables in integration. The above procedure can be summarized by Figure 43.1 Figure 43.1 In this section we introduce the concept of Laplace transform and discuss some of its properties. The Laplace transform is defined in the following way. Let f(t) be defined for t ≥ 0: Then the Laplace transform of f; which is denoted by L[f(t)] or by F (s), is defined by the following equation Z T Z 1 L[f(t)] = F (s) = lim f(t)e−stdt = f(t)e−stdt T !1 0 0 The integral which defined a Laplace transform is an improper integral.
    [Show full text]
  • The Geometry of Paths*
    THEGEOMETRY OF PATHS* BY OSWALDVEBLEN AND TRACYYERKES THOMAS 1. Introduction. The first part of this paper is intended as a systematic general account of the geometry of paths and is largely based on the series of notes by Eisenhart and Veblen in volume 8 of the Proceedings of the National Academy of Sciences. The general theory is carried far enough to include an account of a series of tensors defined by means of normal coordinates, and also a series of generalizations of the operation of covariant differentiation. We then turn to a special problem, the investigation of the conditions which must be satisfied by the functions r in order that the differential equations of the paths shall possess homogeneous first integrals.! We first solve a still more special problem for first integrals of the nt\\ degree (§ 15). This includes as a special case the problem solved by Eisenhart and Veblen in the Proceedings of the National Academy of Sciences, vol. 8 (1922), p. 19, of finding the conditions which must be satisfied by the Ps in order that the equations (2.1) shall be the differential equations of the geodesies of a Riemann space. Finally we solve the general problem for the linear and quadratic cases; that is to say, we find algebraic necessary and sufficient conditions on the functions r in order that (2.1) shall possess homogeneous linear and quadratic first integrals. The method used will generalize to homogeneous first integrals of the nth degree. We leave unsolved all the projective problems which corre- spond to the affine problems which we have solved.
    [Show full text]
  • Solution to Volterra Singular Integral Equations and Non Homogenous Time Fractional Pdes
    Gen. Math. Notes, Vol. 14, No. 1, January 2013, pp. 6-20 ISSN 2219-7184; Copyright © ICSRS Publication, 2013 www.i-csrs.org Available free online at http://www.geman.in Solution to Volterra Singular Integral Equations and Non Homogenous Time Fractional PDEs A. Aghili 1 and H. Zeinali 2 1,2 Department of Applied Mathematics Faculty of Mathematical Sciences, University of Guilan, P.O. Box- 1841, Rasht – Iran 1E-mail: [email protected] 2E-mail: [email protected] (Received: 8-10-12 / Accepted: 19-11-12) Abstract In this work, the authors implemented Laplace transform method for solving certain partial fractional differential equations and Volterra singular integral equations. Constructive examples are also provided to illustrate the ideas. The result reveals that the transform method is very convenient and effective. Keywords : Non-homogeneous time fractional heat equations; Laplace transform; Volterra singular integral equations. 1 Introduction In this work, the authors used Laplace transform for solving Volterra singular integral equations and PFDEs. Solution to Volterra Singular Integral… 7 The Laplace transform is an alternative method for solving different types of PDEs. Also it is commonly used to solve electrical circuit and systems problems. In this work, the authors implemented transform method for solving the partial fractional heat equation which arise in applications. Several methods have been introduced to solve fractional differential equations, the popular Laplace transform method, [ 1 ] , [ 2 ] , [ 3 ], [ 4 ] , and operational method [ 10]. However, most of these methods are suitable for special types of fractional differential equations, mainly the linear with constant coefficients. More detailed information about some of these results can be found in a survey paper by Kilbas and Trujillo [10].
    [Show full text]
  • On Solutions of Quadratic Integral Equations
    On solutions of quadratic integral equations Ph.D Thesis Written at The Faculty of Mathematics and Computer Science, Adam Mickiewicz University Pozna´n, Poland, 2013 By MOHAMED METWALI ATIA METWALI Under the guidance of Dr. hab. Mieczys law Cicho´n Department of Differential Equations, Faculty of Mathematics and Computer Science, Adam Mickiewicz University In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics Acknowledgments First of all, I am thankful to Allah for all the gifts has given me. I would like to express my gratitude and thanks to my advisor and my professor, Dr. hab. Mieczys law Cicho´n, Department of Differential Equations, Faculty of Mathematics and Computer Science, Adam Mickiewicz University for his help and valuable advice in the preparation of this dissertation. I am thankful to my family (my wife and my lovely sons ”Basem and Eyad”) for their support, encouragement and standing beside me during my stay in Poland. ii Contents 1 Preliminaries 4 1.1 Introduction................................ 4 1.2 Notationandauxiliaryfacts . 4 1.2.1 LebesgueSpaces ......................... 5 1.2.2 Young and N-functions...................... 5 1.2.3 Orliczspaces ........................... 6 1.3 Linearandnonlinearoperators. 7 1.3.1 Thesuperpositionoperators.. 7 1.3.2 Fredholmintegraloperator. 9 1.3.3 Volterraintegraloperator. 10 1.3.4 Urysohnintegraloperator. 11 1.3.5 Themultiplicationoperator. 12 1.4 Monotonefunctions. .. .. .. 14 1.5 Measuresofnoncompactness. 17 1.6 Fixedpointtheorems. .. .. .. 19 2 Monotonic integrable solutions for quadratic integral equations on a half line. 23 2.1 Motivations and historical background. .... 23 2.2 Introduction. ............................... 25 2.3 Mainresult ................................ 26 2.4 Examples ................................
    [Show full text]
  • Methods of Integral Transforms - V
    COMPUTATIONAL METHODS AND ALGORITHMS – Vol. I - Methods of Integral Transforms - V. I. Agoshkov, P. B. Dubovski METHODS OF INTEGRAL TRANSFORMS V. I. Agoshkov and P. B. Dubovski Institute of Numerical Mathematics, Russian Academy of Sciences, Moscow, Russia Keywords: Integral transform, Fourier transform, Laplace transform, Mellin transform, Hankel transform, Meyer transform, Kontorovich-Lebedev transform, Mehler-Foque transform, Hilbert transform, Laguerre transform, Legendre transform, convolution transform, Bochner transform, chain transform, wavelet, wavelet transform, problems of the oscillation theory, heat conductivity problems, problems of the theory of neutron slowing-down, problems of hydrodynamics, problems of the elasticity theory, Boussinesq problem, coagulation equation, physical kinetics. Contents 1. Introduction 2. Basic integral transforms 2.1. The Fourier Transform 2.1.1. Basic Properties of the Fourier Transform 2.1.2. The Multiple Fourier Transforms 2.2. The Laplace Transform 2.2.1. The Laplace Integral 2.2.2. The Inversion Formula for the Laplace Transform 2.2.3. Limit Theorems 2.3. The Mellin Transform 2.4. The Hankel Transform 2.5. The Meyer Transform 2.6. The Kontorovich-Lebedev Transform 2.7. The Mehler-Foque Transform 2.8. The Hilbert Transform 2.9. The Laguerre and Legendre Transforms 2.10. The Bochner Transform, the Convolution Transform, the Wavelet and Chain Transforms 3. The application of integral transforms to problems of the oscillation theory 3.1. Electric Oscillations 3.2. TransverseUNESCO Oscillations of a String – EOLSS 3.3. Transverse Oscillations of an Infinite Round Membrane 4. The application of integral transforms to heat conductivity problems 4.1. The SolutionSAMPLE of the Heat Conductivity CHAPTERS Problem by the use of the Laplace Transform 4.2.
    [Show full text]
  • Math 551 Lecture Notes Fredholm Integral Equations (A Brief Introduction)
    MATH 551 LECTURE NOTES FREDHOLM INTEGRAL EQUATIONS (A BRIEF INTRODUCTION) Topics covered • Fredholm integral operators ◦ Integral equations (Volterra vs. Fredholm) ◦ Eigenfunctions for separable kernels ◦ Adjoint operator, symmetric kernels • Solution procedure (separable) ◦ Solution via eigenfunctions (first and second kind) ◦ Shortcuts: undetermined coefficients ◦ An example (separable kernel, n = 2) • Non-separable kernels (briefly) ◦ Hilbert-Schmidt theory Preface Read the Fredholm alternative notes before proceeding. This is covered in the book (Section 9.4), but the material on integral equations is not. For references on integral equa- tions (and other topics covered in the book too!), see: • Riley and Hobson, Mathematical methods for physics and engineering (this is an extensive reference, also for other topics in the course) • Guenther and Lee, Partial differential equations of mathematical physics and integral equations (more technical; not the best first reference) • J.D. Logan, Applied mathematics (more generally about applied mathematics tech- niques, with a good section on integral equations) 1. Fredholm integral equations: introduction Differential equations Lu = f are a subset of more general equations involving linear op- erators L. Here, we give a brief treatment of a generalization to integral equations. To motivate this, every ODE IVP can be written as an `integral equation' by integrating. For instance, consider the first order IVP du = f(x; u(x)); u(a) = u : (1.1) dx 0 Integrate both sides from a to x to get the integral equation Z x u(x) = u0 + f(s; u(s)) ds: (1.2) a If u solves (1.2) then it also solves (1.1); they are `equivalent' in this sense.
    [Show full text]
  • Partial Derivative Approach to the Integral Transform for the Function Space in the Banach Algebra
    entropy Article Partial Derivative Approach to the Integral Transform for the Function Space in the Banach Algebra Kim Young Sik Department of Mathematics, Hanyang University, Seoul 04763, Korea; [email protected] Received: 27 July 2020; Accepted: 8 September 2020; Published: 18 September 2020 Abstract: We investigate some relationships among the integral transform, the function space integral and the first variation of the partial derivative approach in the Banach algebra defined on the function space. We prove that the function space integral and the integral transform of the partial derivative in some Banach algebra can be expanded as the limit of a sequence of function space integrals. Keywords: function space; integral transform MSC: 28 C 20 1. Introduction The first variation defined by the partial derivative approach was defined in [1]. Relationships among the Function space integral and transformations and translations were developed in [2–4]. Integral transforms for the function space were expanded upon in [5–9]. A change of scale formula and a scale factor for the Wiener integral were expanded in [10–12] and in [13] and in [14]. Relationships among the function space integral and the integral transform and the first variation were expanded in [13,15,16] and in [17,18] In this paper, we expand those relationships among the function space integral, the integral transform and the first variation into the Banach algebra [19]. 2. Preliminaries Let C0[0, T] be the class of real-valued continuous functions x on [0, T] with x(0) = 0, which is a function space. Let M denote the class of all Wiener measurable subsets of C0[0, T] and let m denote the Wiener measure.
    [Show full text]
  • Characterisation of the Algebraic Properties of First Integrals of Scalar Ordinary Differential Equations of Maximal Symmetry
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 212, 349]374Ž. 1997 ARTICLE NO. AY975506 Characterisation of the Algebraic Properties of First Integrals of Scalar Ordinary Differential Equations of Maximal Symmetry G. P. Flessas,* K. S. Govinder,² and P. G. L. Leach³ View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Department of Mathematics, Uni¨ersity of the Aegean, Karlo¨assi, 83 200, Samos, Greece Submitted by Thanasis Fokas Received March 10, 1995 We undertake a study of the first integrals of linear nth order scalar ordinary differential equations with maximal symmetry. We establish patterns for the first integrals associated with these equations. It is shown that second and third order equations are the pathological cases in the study of higher order differential equations. The equivalence of contact symmetries for third order equations to non-Cartan symmetries of second order equations is highlighted. Q 1997 Academic Press 1. INTRODUCTION A scalar ordinary differential equation Žn. ExŽ.,y,y9,..., y s0,Ž. 1 *E-mail address: [email protected]. ² Permanent address: Department of Mathematics and Applied Mathematics, University of Natal, Durban, 4041, Republic of South Africa. E-mail address: [email protected]. ³ Permanent address: Department of Mathematics and Applied Mathematics, University of Natal, Durban, 4041, Republic of South Africa. Member of the Centre for Theoretical and Computational Chemistry, University of Natal and associate member of the Centre for Nonlinear Studies, University of the Witwatersrand, Johannesburg, Republic of South Africa. E-mail address: [email protected].
    [Show full text]