Lecture #4 Quantum Mechanics

Total Page:16

File Type:pdf, Size:1020Kb

Lecture #4 Quantum Mechanics Lecture #4! Quantum Mechanics: Mathematics “If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is.” -- John von Neumann • Topics – Linear vector spaces – Dirac Notation – Hilbert Space – Liouville Space • Handouts and Reading assignments – van de Ven: Appendix A. – Miller, Chapter 4. (optional) – Ernst, Chapter 2, sections 2.1.3-2.1.4, pp 17-25 (optional). – Biographies: Hamilton, Dirac, Hilbert, Liouville. 1 Review: Linear Algebra • Solving sets of linear equations Analysis involves terms ⎛ ⎞⎛ ⎞ ⎛ ⎞ x + x + x = 5 1 1 1 x1 5 1 2 3 ⎜ ⎟⎜ ⎟ ⎜ ⎟ such as inverse, transpose, 3 1 7 ⎜ x ⎟ 3 3x1 + x2 + 7x3 = 3 ⎜ ⎟ 2 = ⎜ ⎟ Ax = y determinant, row and ⎜ ⎟⎜ ⎟ ⎜ ⎟ 1 2 2 ⎜ ⎟ 2 vectors column spaces, eigen- x + 2x + 2x = 2 ⎝ ⎠ x3 ⎝ ⎠ 1 2 3 ⎝ ⎠ Matrix notation for this course vectors and values, etc. • Instead, consider an n x n matrix A as transforming a n- dimensional vector x into a new vector Ax. • Linear transformations satisfy: A(ax + by) = a(Ax) + b(Ay) a, b scalars • Matrices Linear transformations xˆ3 xˆ3 ⎛ 0 0 0 ⎞ c ⎛0⎞ ⎜ ⎟ x ⎜ ⎟ ˆ A = ⎜ 0 1 0 ⎟ Ax = ⎜b⎟ = bx2 ⎜ ⎟ ⎜ ⎟ Ax 0 0 0 0 b ⎝ ⎠ a b ⎝ ⎠ xˆ2 xˆ2 xˆ1 xˆ1 xˆ , xˆ , and xˆ are unit vectors along the three axes ˆ 1 2 3 Projection of x along x2. 2 Review: Wave Functions • For the classical concept of a trajectory, we substitute the concept of the quantum state of a particle characterized by a wave function. ! • Wavefunction ψ(r ,t) generalized variable (position, angular momentum, spin, …) - contains all info possible to obtain about the particle ∂ ! i ! - time€ evolution given by ψ(r ,t) = − Hψ(r ,t) ∂ t " - interpreted! as a probability amplitude of the particle having state r with the probability density given by: ! ! 2 ! dΡ(r ,t) = Cψ(r ,t) dr , C constant. € ! 1 ! 2 ! € ∫ dΡ(r ,t) =1 = ∫ ψ(r ,t) d 3r << ∞ C • Naturally leads us to the study of square-integrable functions. € 3 € € Functions • Important to be familiar with the concept of treating functions, e.g. ψ1(x,y,z) and ψ2(x,y,z), as elements in a vector space. • Example: consider f(n) for 1 ≤ n ≤ N, n integer. " f % f 1 3 ! $ ' f2 fN f2 f1 f f = f(n) 4 $ ' ... $ " ' n f ! # N & • We can also write f as a linear combination of vectors. 1 " 1% " 0% " 0% " 1% " % " 1% ! ! $ " ' $ 0' $ 0' $ 1' $ 0' $ 1' 1 f = f + f +#f f = f˜ + f˜ +#f˜ " 1$ "' 2$ " ' N$ "' or € 1$ "' 2$ 0' N$ ' $ ' $ ' $ ' $ ' 1 €0 0 1 1 $ " ' $ ' # & # & # & # & 0 # 0& # & What about f(n,m) or f(x) (x continuous)? € € 4 Linear Vector Spaces • The set of square-integrable functions belong to L2 ! • Each wave function ψ ( r ) is associated with an element of a linear vector space F and is denoted as ψ . ! ψ (r ) ⇔ ψ ∈ F € • Some properties: € 2 (wave functions need to F ⊂ L be sufficiently regular) € Linearity if ψ1 , ψ2 ∈ F, then € ψ = λ1 ψ1 + λ2 ψ2 ∈ F arbitrary complex numbers € Plus, other standard mathematical niceties € 5 Dirac Notation • An element of F, denoted by ψ , is called a “ket”. • A linear functional, χ , is an linear operation that associates a complex number with every ket ψ . € χ(ψ ) = number • The set of all such linear€ functionals constitute a vector space F* called the dual space of F, and an element of F* is denoted as χ and called€ a “bra”. scalar or inner product χ(ψ ) = χ ψ € “bra”+ “ket” = “bracket” € 6 Hilbert Space • The scalar product satisfies: ∗ χ ψ = ψ χ χ (ψ + ξ ) = χ ψ + χ ξ ∗ χ λψ = λ χ ψ and λχ ψ = λ χ ψ (λ scalar) € ψ ψ ≥ 0 (= 0 iff ψ = 0 ) norm: ψ = ψ ψ € • A linear vector space with a defined metric (in this case the € scalar product) is€ called a Hilbert Space. € € χ ψ Answer: Question: What is ! equivalent! r r ! ∗ ! ! to in terms of ψ ( ) and χ ( ) ? χ ψ = ψ(r )χ (r )dr ∫! r N or ∗ € = ∑ψ(n)χ (n) (discrete case) € € n=1 € 7 € Basis N • If it follows that: ∑ci f i = 0 implies ci = 0 for all i i=1 then the kets f i are called linearly independent. • If n is the maximum number of linearly independent kets in a vector€ space F, then F is call n-dimensional. € • In an n-dimensional vector space, n linearly independent kets constitute a basis, and every element ψ in F can be written as n ψ = ψ f f ∑ i i where ψi is the€ coefficient of the ket i . i=1 8 € € Orthonormal Basis • If the basis kets f i are normalized (i.e. f i f i = 1 ) and #1 if i = j f f j = δij = $ i %0 if i ≠ j € Kronecker€ delta function then they constitute an orthonormal basis. € • The following€ identity (known as closure) also holds: n n ψ = ∑ f i ψ f i = ∑ fi f i ψ i=1 i=1 Simply states that a vector is equal to the sum of its projections. € € 9 Operators • An operator, O ˆ , generates one ket from another: Oˆ ψ = ξ linear operators: Oˆ ( λ ψ + µ ξ ) = λOˆ ψ + µOˆ ξ € € scalars • A vector space F is closed under O ˆ if ψ €∈ F and Oˆ ψ = ξ implies ξ ∈ F € • The adjoint of O ˆ is denoted O ˆ † as defined as € † ∗ (Oˆ ψ ) = ψ Oˆ † note : ψ Oˆ ξ = ξ Oˆ † ψ € € • O ˆ is Hermitian if Oˆ = Oˆ † € € € 10 Projection Operators ˆ • Example linear operator: Projection onto ket ψ : Pψ = ψ ψ ˆ Pψ ξ = ψ ψ ξ =λ ψ scalar € € • For the orthonormal basis kets fk € € ˆ € Pk = fk f k ˆ Eˆ ∑Pk = ∑€ fk f k = (closure) k k € identity operator • Another common operator is the transition operator. € ˆ € What’s€ that Tkl = f k fl good for? 11 € More About Operators ˆ ˆ ˆ ˆ • The product O 1 O 2 means first O 2 is applied to a ket and then O 1 is applied to the result. Oˆ Oˆ Oˆ Oˆ 1 2 ψ = 1( 2 ψ ) € ˆ ˆ ˆ ˆ • In general, O 1 O 2 ≠ O 2 O 1 , and a quantity used frequently in QM is the commutator defined as: € Oˆ ,Oˆ Oˆ Oˆ Oˆ Oˆ [ 1 2] = 1 2 − 2 1 • A function of an operator is defined via the corresponding polynomial expansion. € ˆ 1 1 e.g. eO = Eˆ + Oˆ + Oˆ O ˆ + Oˆ Oˆ O ˆ +… 2! 3! identity operator 12 € Vector and Matrix Representations ψ • When a ket, , is expressed as a linear combination! of basis kets, fi ψ , then a corresponding column vector, , can be constructed. # ψ1 & % ( N ! ψ ! € % 2 ( † ∗, ∗, , ∗ ψ = ∑ψi f i ψ = ψ ψ = ψ1 ψ2 … ψn ( ) € i 1 % " ( € = % ( $ψ n ' • Similarly, operators have matrix representations. ! ! € € € x = Oˆ y x Oy ˆ = where O is a n x n matrix with elements:Oij = f i O f j € z # x0 & # 0 & z ! % ( ! % 2 2 ( Remember: vector and 0 y x y ψ ψ = % 0 ( ψ = % 0 + 0 ( € matrix€ representations % ( % ( depends on the basis€ set! € $ z0 ' $ z0 ' € y x 0 x " 0 y basis:{ x , y , z } { x " , y " , z } 13 x y "€ € € € € € € € Change of Basis • If the kets f k constitute one orthonormal basis and the kets gk constitute another, then a change of basis (also called basis transformation) is accomplished by: € € ˆ ˆ Okl = fk O f l = ∑∑ f k gi gi O g j g j f l i j • Defining the unitary transformation matrix U as U ij = f i g j , € € † Of=U OgU € ˆ where Of and Og represent the operator matrices of O with respect to the basis f k and g k . € 14 € € Eigenkets and Eigenvalues • If Oˆ ψ = λ ψ scalar then ψ is called an eigenket of O ˆ with eigenvalue λ. € • The trace of a matrix is defined at the sum of the diagonal elements: € € Tr(O) = ∑Oii i • Since the trace of a matrix is invariant under a change of basis (see Problem Set 2), we can talk about the trace of the corresponding€ operator. Tr Oˆ = λ ˆ ( ) ∑ i where λi are the eigenvalues of O i 15 € € Liouville Space • Operators defined on an n-dimensional Hilbert space, are themselves elements of an n2-dimensional vector space known as Liouville space (sometimes called operator space or, more generally, an algebra). † • The metric in Liouville space is defined as: (Aˆ | Bˆ ) = Tr(Aˆ Bˆ ) • In contrast to Hilbert space, the product of two Liouville Space elements is defined. Aˆ , Bˆ ∈ L Aˆ B ˆ = Cˆ ∈ L a Liouville space Product is associative, but not necessarily commutative. € In general,€ Aˆ Bˆ ≠ Bˆ A ˆ For experts only. What are the remaining digits in this famous number 0.11000100000000000000000100…? 16 € Superoperators • Operators that work on elements of a Liouville space are called superoperators. ˆ ˆ ˆ AO 1 = O2 superoperator denoted by double hat • We will primarily deal with just one superoperator, namely the commutator: € ˆ Aˆ B ˆ ≡ [Aˆ , Bˆ ] = Aˆ B ˆ − Bˆ Aˆ • de Graaf text, unlike van de Ven, doesn’t use superoperators, but I think the notation and concept makes things easier. Another good reference€ for superoperators and Liouville space: R. Ernst, G. Bodenhausen, and A. Wokaun, Principles of Nuclear Magnetic Resonance in One and Two Dimensions, Clarendon Press, 1987. 17 Fun with Superoperators • Cyclic Commutators: Let [Aˆ , Bˆ ] = Cˆ . Aˆ and B ˆ are said to commute cyclically if [ Aˆ, Cˆ ] = Bˆ .
Recommended publications
  • The Cambridge Mathematical Journal and Its Descendants: the Linchpin of a Research Community in the Early and Mid-Victorian Age ✩
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Historia Mathematica 31 (2004) 455–497 www.elsevier.com/locate/hm The Cambridge Mathematical Journal and its descendants: the linchpin of a research community in the early and mid-Victorian Age ✩ Tony Crilly ∗ Middlesex University Business School, Hendon, London NW4 4BT, UK Received 29 October 2002; revised 12 November 2003; accepted 8 March 2004 Abstract The Cambridge Mathematical Journal and its successors, the Cambridge and Dublin Mathematical Journal,and the Quarterly Journal of Pure and Applied Mathematics, were a vital link in the establishment of a research ethos in British mathematics in the period 1837–1870. From the beginning, the tension between academic objectives and economic viability shaped the often precarious existence of this line of communication between practitioners. Utilizing archival material, this paper presents episodes in the setting up and maintenance of these journals during their formative years. 2004 Elsevier Inc. All rights reserved. Résumé Dans la période 1837–1870, le Cambridge Mathematical Journal et les revues qui lui ont succédé, le Cambridge and Dublin Mathematical Journal et le Quarterly Journal of Pure and Applied Mathematics, ont joué un rôle essentiel pour promouvoir une culture de recherche dans les mathématiques britanniques. Dès le début, la tension entre les objectifs intellectuels et la rentabilité économique marqua l’existence, souvent précaire, de ce moyen de communication entre professionnels. Sur la base de documents d’archives, cet article présente les épisodes importants dans la création et l’existence de ces revues. 2004 Elsevier Inc.
    [Show full text]
  • The Liouville Equation in Atmospheric Predictability
    The Liouville Equation in Atmospheric Predictability Martin Ehrendorfer Institut fur¨ Meteorologie und Geophysik, Universitat¨ Innsbruck Innrain 52, A–6020 Innsbruck, Austria [email protected] 1 Introduction and Motivation It is widely recognized that weather forecasts made with dynamical models of the atmosphere are in- herently uncertain. Such uncertainty of forecasts produced with numerical weather prediction (NWP) models arises primarily from two sources: namely, from imperfect knowledge of the initial model condi- tions and from imperfections in the model formulation itself. The recognition of the potential importance of accurate initial model conditions and an accurate model formulation dates back to times even prior to operational NWP (Bjerknes 1904; Thompson 1957). In the context of NWP, the importance of these error sources in degrading the quality of forecasts was demonstrated to arise because errors introduced in atmospheric models, are, in general, growing (Lorenz 1982; Lorenz 1963; Lorenz 1993), which at the same time implies that the predictability of the atmosphere is subject to limitations (see, Errico et al. 2002). An example of the amplification of small errors in the initial conditions, or, equivalently, the di- vergence of initially nearby trajectories is given in Fig. 1, for the system discussed by Lorenz (1984). The uncertainty introduced into forecasts through uncertain initial model conditions, and uncertainties in model formulations, has been the subject of numerous studies carried out in parallel to the continuous development of NWP models (e.g., Leith 1974; Epstein 1969; Palmer 2000). In addition to studying the intrinsic predictability of the atmosphere (e.g., Lorenz 1969a; Lorenz 1969b; Thompson 1985a; Thompson 1985b), efforts have been directed at the quantification or predic- tion of forecast uncertainty that arises due to the sources of uncertainty mentioned above (see the review papers by Ehrendorfer 1997 and Palmer 2000, and Ehrendorfer 1999).
    [Show full text]
  • The Tangled Tale of Phase Space David D Nolte, Purdue University
    Purdue University From the SelectedWorks of David D Nolte Spring 2010 The Tangled Tale of Phase Space David D Nolte, Purdue University Available at: https://works.bepress.com/ddnolte/2/ Preview of Chapter 6: DD Nolte, Galileo Unbound (Oxford, 2018) The tangled tale of phase space David D. Nolte feature Phase space has been called one of the most powerful inventions of modern science. But its historical origins are clouded in a tangle of independent discovery and misattributions that persist today. David Nolte is a professor of physics at Purdue University in West Lafayette, Indiana. Figure 1. Phase space , a ubiquitous concept in physics, is espe- cially relevant in chaos and nonlinear dynamics. Trajectories in phase space are often plotted not in time but in space—as rst- return maps that show how trajectories intersect a region of phase space. Here, such a rst-return map is simulated by a so- called iterative Lozi mapping, (x, y) (1 + y − x/2, −x). Each color represents the multiple intersections of a single trajectory starting from dierent initial conditions. Hamiltonian Mechanics is geometry in phase space. ern physics (gure 1). The historical origins have been further —Vladimir I. Arnold (1978) obscured by overly generous attribution. In virtually every textbook on dynamics, classical or statistical, the rst refer- Listen to a gathering of scientists in a hallway or a ence to phase space is placed rmly in the hands of the French coee house, and you are certain to hear someone mention mathematician Joseph Liouville, usually with a citation of the phase space.
    [Show full text]
  • Siméon-Denis Poisson Mathematics in the Service of Science
    S IMÉ ON-D E N I S P OISSON M ATHEMATICS I N T H E S ERVICE O F S CIENCE E XHIBITION AT THE MATHEMATICS LIBRARY U NIVE RSIT Y O F I L L I N O I S A T U RBANA - C HAMPAIGN A U G U S T 2014 Exhibition on display in the Mathematics Library of the University of Illinois at Urbana-Champaign 4 August to 14 August 2014 in association with the Poisson 2014 Conference and based on SIMEON-DENIS POISSON, LES MATHEMATIQUES AU SERVICE DE LA SCIENCE an exhibition at the Mathematics and Computer Science Research Library at the Université Pierre et Marie Curie in Paris (MIR at UPMC) 19 March to 19 June 2014 Cover Illustration: Portrait of Siméon-Denis Poisson by E. Marcellot, 1804 © Collections École Polytechnique Revised edition, February 2015 Siméon-Denis Poisson. Mathematics in the Service of Science—Exhibition at the Mathematics Library UIUC (2014) SIMÉON-DENIS POISSON (1781-1840) It is not too difficult to remember the important dates in Siméon-Denis Poisson’s life. He was seventeen in 1798 when he placed first on the entrance examination for the École Polytechnique, which the Revolution had created four years earlier. His subsequent career as a “teacher-scholar” spanned the years 1800-1840. His first publications appeared in the Journal de l’École Polytechnique in 1801, and he died in 1840. Assistant Professor at the École Polytechnique in 1802, he was named Professor in 1806, and then, in 1809, became a professor at the newly created Faculty of Sciences of the Université de Paris.
    [Show full text]
  • Transcendental Numbers
    INTRODUCTION TO TRANSCENDENTAL NUMBERS VO THANH HUAN Abstract. The study of transcendental numbers has developed into an enriching theory and constitutes an important part of mathematics. This report aims to give a quick overview about the theory of transcen- dental numbers and some of its recent developments. The main focus is on the proof that e is transcendental. The Hilbert's seventh problem will also be introduced. 1. Introduction Transcendental number theory is a branch of number theory that concerns about the transcendence and algebraicity of numbers. Dated back to the time of Euler or even earlier, it has developed into an enriching theory with many applications in mathematics, especially in the area of Diophantine equations. Whether there is any transcendental number is not an easy question to answer. The discovery of the first transcendental number by Liouville in 1851 sparked up an interest in the field and began a new era in the theory of transcendental number. In 1873, Charles Hermite succeeded in proving that e is transcendental. And within a decade, Lindemann established the tran- scendence of π in 1882, which led to the impossibility of the ancient Greek problem of squaring the circle. The theory has progressed significantly in recent years, with answer to the Hilbert's seventh problem and the discov- ery of a nontrivial lower bound for linear forms of logarithms of algebraic numbers. Although in 1874, the work of Georg Cantor demonstrated the ubiquity of transcendental numbers (which is quite surprising), finding one or proving existing numbers are transcendental may be extremely hard. In this report, we will focus on the proof that e is transcendental.
    [Show full text]
  • 6A. Mathematics
    19-th Century ROMANTIC AGE Mathematics Collected and edited by Prof. Zvi Kam, Weizmann Institute, Israel The 19th century is called “Romantic” because of the romantic trend in literature, music and arts opposing the rationalism of the 18th century. The romanticism adored individualism, folklore and nationalism and distanced itself from the universality of humanism and human spirit. Coming back to nature replaced the superiority of logics and reasoning human brain. In Literature: England-Lord byron, Percy Bysshe Shelly Germany –Johann Wolfgang von Goethe, Johann Christoph Friedrich von Schiller, Immanuel Kant. France – Jean-Jacques Rousseau, Alexandre Dumas (The Hunchback from Notre Dam), Victor Hugo (Les Miserable). Russia – Alexander Pushkin. Poland – Adam Mickiewicz (Pan Thaddeus) America – Fennimore Cooper (The last Mohican), Herman Melville (Moby Dick) In Music: Germany – Schumann, Mendelsohn, Brahms, Wagner. France – Berlioz, Offenbach, Meyerbeer, Massenet, Lalo, Ravel. Italy – Bellini, Donizetti, Rossini, Puccini, Verdi, Paganini. Hungary – List. Czech – Dvorak, Smetana. Poland – Chopin, Wieniawski. Russia – Mussorgsky. Finland – Sibelius. America – Gershwin. Painters: England – Turner, Constable. France – Delacroix. Spain – Goya. Economics: 1846 - The American Elias Howe Jr. builds the general purpose sawing machine, launching the clothing industry. 1848 – The communist manifest by Karl Marks & Friedrich Engels is published. Describes struggle between classes and replacement of Capitalism by Communism. But in the sciences, the Romantic era was very “practical”, and established in all fields the infrastructure for the modern sciences. In Mathematics – Differential and Integral Calculus, Logarithms. Theory of functions, defined over Euclidian spaces, developed the field of differential equations, the quantitative basis of physics. Matrix Algebra developed formalism for transformations in space and time, both orthonormal and distortive, preparing the way to Einstein’s relativity.
    [Show full text]
  • Transcendental Numbers
    Bachelor Thesis DEGREE IN MATHEMATICS Faculty of Mathematics University of Barcelona TRANSCENDENTAL NUMBERS Author: Adina Nedelea Director: Dr. Ricardo Garc´ıaL´opez Department: Algebra and Geometry Barcelona, June 27, 2016 Summary Transcendental numbers are a relatively recent finding in mathematics and they provide, togheter with the algebraic numbers, a classification of complex numbers. In the present work the aim is to characterize these numbers in order to see the way from they differ the algebraic ones. Going back to ancient times we will observe how, since the earliest history mathematicians worked with transcendental numbers even if they were not aware of it at that time. Finally we will describe some of the consequences and new horizons of mathematics since the apparition of the transcendental numbers. Agradecimientos El trabajo final de grado es un punto final de una etapa y me gustar´aagradecer a todas las personas que me han dado apoyo durante estos a~nosde estudios y hicieron posible que llegue hasta aqu´ı. Empezar´epor agradecer a quien hizo posible este trabajo, a mi tutor Ricardo Garc´ıa ya que sin su paciencia, acompa~namiento y ayuda me hubiera sido mucho mas dif´ıcil llevar a cabo esta tarea. Sigo con los agradecimientos hacia mi familia, sobretodo hacia mi madre quien me ofreci´ola libertad y el sustento aunque no le fuera f´acily a mi "familia adoptiva" Carles, Marilena y Ernest, quienes me ayudaron a sostener y pasar por todo el pro- ceso de maduraci´onque conlleva la carrera y no rendirme en los momentos dif´ıciles. Gracias por la paciencia y el amor de todos ellos.
    [Show full text]
  • Siméon-Denis Poisson
    Siméon-Denis Poisson Les mathématiques au service de la science Illustration de couverture : En 1804, Poisson était professeur suppléant à l’École polytechnique Il fut nommé professeur deux ans plus tard © Collections École polytechnique-Palaiseau Illustration ci-contre : Portrait d’après nature de Siméon-Denis Poisson par Antoine Maurin Lithographie de François-Séraphin Delpech, vers 1820 © Collections École polytechnique-Palaiseau Histoire des Mathématiques et des Sciences physiques Siméon-Denis Poisson Les mathématiques au service de la science Yvette Kosmann-Schwarzbach éditrice Ce logo a pour objet d’alerter le lecteur sur la menace que représente pour l’avenir de l’écrit, tout particulièrement dans le domaine univer- sitaire, le développement massif du « photocopillage ». Cette pratique qui s’est généralisée, notamment dans les établissements d’enseignement, provoque une baisse brutale des achats de livres, au point que la possibilité même pour les auteurs de créer des œuvres nouvelles et de les faire éditer correctement est aujourd’hui menacée. Nous rappelons donc que la production et la vente sans autorisation, ainsi que le recel, sont passibles de poursuites. Les demandes d’autorisation de photocopier doivent être adressées à l’éditeur ou au Centre français d’exploitation du droit de copie : 20, rue des Grands-Augustins , 75006 Paris. Tél. : 01 44 07 47 70. © Éditions de l’École polytechnique - Juin 2013 91128 Palaiseau Cedex Préface Ce livre est un hybride. Treize des dix-neuf chapitres répartis en sept parties reproduisent les articles de Siméon-Denis Poisson en son temps, livre édité par Michel Métivier, Pierre Costabel, et Pierre Dugac, publié en 1981 par l’École polytechnique, Palaiseau (France), à l’occasion du bicentenaire de la naissance de Poisson, qui y fut élève avant d’y enseigner.
    [Show full text]
  • Factorial, Gamma and Beta Functions Outline
    Factorial, Gamma and Beta Functions Reading Problems Outline Background ................................................................... 2 Definitions .....................................................................3 Theory .........................................................................5 Factorial function .......................................................5 Gamma function ........................................................7 Digamma function .....................................................18 Incomplete Gamma function ..........................................21 Beta function ...........................................................25 Incomplete Beta function .............................................27 Assigned Problems ..........................................................29 References ....................................................................32 1 Background Louis Franois Antoine Arbogast (1759 - 1803) a French mathematician, is generally credited with being the first to introduce the concept of the factorial as a product of a fixed number of terms in arithmetic progression. In an effort to generalize the factorial function to non- integer values, the Gamma function was later presented in its traditional integral form by Swiss mathematician Leonhard Euler (1707-1783). In fact, the integral form of the Gamma function is referred to as the second Eulerian integral. Later, because of its great importance, it was studied by other eminent mathematicians like Adrien-Marie Legendre (1752-1833),
    [Show full text]
  • Joseph Liouville's Contribution to the Theoryof Integral Equations
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Historia Mathematics 9 (1982) 373-391 JOSEPH LIOUVILLE'S CONTRIBUTION TO THE THEORYOF INTEGRAL EQUATIONS BY JESPER LijTZEN DEPARTMENT OF MATHEMATICS, ODENSE UNIVERSITY, DK 5230 ODENSE M, DENMARK SUMMARIES It is well known that Liouville did pioneering work on the application of specific integral equations in different parts of mathematics and mathematical physics. However, his short paper on spectral theory of Hilbert-Schmidt like operators has been neglected. With that paper Liouville initiated the general theory of integral equations. I1 est bien connu que Joseph Liouville etait parmi les premiers 2 appliquer des equations intdqrales a la solution de plusieurs problemes de mathematique et de mechanique. D'autre part, sa note sur la theorie spectrale des op&-ateurs du type Hilbert-Schmidt est rest&e inconnue. Dans cette note, Liouville 5 entame la theorie g&&-ale des equations inteqrales. XOPOLLIO kl3BeCTH0, YTO flklYBE?JlJlb OAHMM I13 FlepBblX UCIIOJIb30BaJI HHTel?paJlbHble YPaBHeHkiR AJIR pelUeHMR pa3HOO6pa3HblX 3aAazI B 06nacTH MaTeMaTWKH II MeXa- HkiKM. qT0 Te KaCaeTCR er0 CTaTbU 0 CneKTpaJlbHO~ TeOpMM AJIFi OIlepaTOpOB TMna IhJIbbepTa UMHATa, TO OHa A0 CMX IlOp OCTaBaJlaCb HeM3BeCTHOn. A MemAy TeM 3Ta CTaTbR nI.iyBMJlJlR IlOJIOmMJla HaYaJlO o6ueFi TeOpMM MHTerpaJlbHblX YpaBHeHPiR. 1. INTRODUCTION In [1823] N. H. Abel published his solution of the isochrone problem. His approach led to the first explicit and conscious solution of an integral equation. In a series of papers pub- lished between 1833 and 1855 the isochrone problem and many other physical and mathematical problems were solved with the aid of integral equations by Joseph Liouville (1809-1882).
    [Show full text]
  • The Great L's of French Mathematics
    Journal of Mathematical Sciences: Advances and Applications Volume 12, Number 1, 2011, Pages 1-39 THE GREAT L’S OF FRENCH MATHEMATICS THOMAS P. DENCE Department of Mathematics Ashland University Ashland, OH 44805 USA e-mail: [email protected] Abstract During and surrounding the 18th century, France was the dominant player in the world of mathematics. This article highlights the lives and accomplishments, of 11 of the great French mathematicians at this time, who all had an interesting characteristic in common. 1. Introduction The history of mathematics dates back a long time, and surely enjoys some periods of remarkable achievements. The early Greek era involving Archimedes, Euclid, Diophantus, and Pythagoras really got the mathematical ball rolling. Periods of lackluster to minimal growth soon followed, but then mathematics received a major boost when it landed in Italy in the 15th-16th century for its developments in algebra. Within the next 200 years, mathematics took off like it was shot out of a cannon. Outside of the English genius Isaac Newton and the Swiss Leonhard Euler, a large majority of the growth was centered in mainland Europe, specifically Germany and France. The Germans included such greats as Carl Gauss, 2010 Mathematics Subject Classification: 01A45, 01A50, 01A70. Keywords and phrases: Lagrange, Laplace, Legendre, école polytechnique, calculus. Received September 13, 2011 2011 Scientific Advances Publishers 2 THOMAS P. DENCE Karl Weierstrass, Friedrich Wilhelm Bessel, Carl Gustav Jacobi, Peter Gustav Dirichlet, Christoph Gudermann, and Ernst Kummer, while the French were comprised of a number of individuals, who all shared a common and unique characteristic, namely, their last names began with the same letter, L.
    [Show full text]
  • Joseph Liouville
    Joseph Liouville Born: 24 March 1809 in Saint-Omer, France Died: 8 Sept 1882 in Paris, France Joseph Liouville's father was an army captain in Napoleon's army so Joseph had to spend the first few years of his life with his uncle. His father was certainly fortunate to survive the wars and after Napoleon was defeated he retired to live with his family. The family then settled in Toul where Joseph attended school. From Toul he went to the Collège St Louis in Paris where he studied mathematics at the highest levels. After reading articles in Gergonne's Journal he proved some geometrical results which he wrote up as papers although they were never published. Liouville entered the École Polytechnique in 1825 and attended Ampère's Cours d'analyse et de mécanique in session 1825-26. He also attended courses by Arago at the École Polytechnique as well as a second course by Ampère at the Collège de France. Although Liouville does not seem to have attended any of Cauchy's courses, it is clear that Cauchy must have had a strong influence on him. Liouville graduated in 1827 with de Prony and Poisson among his examiners. After graduating from the École Polytechnique Liouville entered the École des Ponts et Chaussées. However his health suffered when he had to undertake engineering projects and he spent some time at his home in Toul recovering. By now Liouville was set on an academic career and he found it impossible to study away from Paris. After a number of periods of leave, one of which allowed him to marry and have a few days honeymoon, it became clear to him that he must resign from the École des Ponts et Chaussées.
    [Show full text]