1005.0075V1.Pdf

Total Page:16

File Type:pdf, Size:1020Kb

1005.0075V1.Pdf THE THEORY OF DISTRIBUTIONS APPLIED TO c DIVERGENT INTEGRALS OF THE FORM dx()x u a (x b) Jose Javier Garcia Moreta Graduate student of Physics at the UPV/EHU (University of Basque country) In Solid State Physics Address: Address: Practicantes Adan y Grijalba 2 5 G P.O 644 48920 Portugalete Vizcaya (Spain) Phone: (00) 34 685 77 16 53 E-mail: [email protected] MSC: 60E05, 62E99, 35Q40 ABSTRACT: In this paper we review some results on the regularization of divergent integrals of c ()x dx dx the form and in the context of distribution theory a x b a x a Keywords: Regularization, distribution theory, fractional calculus Regularization of divergent integrals: In QFT (Quantum field theroy) there are mainly two kinds of divergent integral , the UV (ultraviolet) divergence, that happens whenever an integral is divergent when x and the IR (infrared) one that occurs if the integral is divergent as x 0 ,a few examples of these integrals are dxx3 dxx2 dx dx a R or a Z (1) 2 2 3 0 x a 0 (x a) 0 x( x a) 0 x The first two integrals have an UV divergence, whereas the last ones have an IR divergence,the names IR and UV divergences come from the fact that if we use the h Wave-particle Duality in QM setting x=p we find that UV divergence is | p | 1 equivalent to have small wavelengths (ulra violet) and the IR divergence happens for big wavelengths (infrared) so the name is not casual, for more details [5] and [9] To deal with UV divergences on an integral of the form dkd F() k on Rd we simply Rd make a change of variable to d- dimensional polar coordinates , to rewrite the integral c k a () a dkd F() k d drr d 1F(,) r d dr a () ri 1 d n () i n1 Rd 0 c i0 r n2 c (1 n) (2) 1 dzF(,) z With the constants a () , here means that we must integrate n 2i z 1 over the angular variables , in case F is invariant under rotations on the d-dimensional 2 d / 2 plane the angular part of the integral can be calculated exactly as d , the (d / 2) idea of expanding our function into a Laurent series , is to isolate the UV divergencies of the form drr k so they can be ‘cured’ using the zeta regularization algorithm. 0 Choosing any c >1 , since the integral has a UV divergence , after expanding the integrand F(,) r r d 1 into a convergent Laurent series for |r| >1 there will be only a finite number of divergent integrals of the form drr k plus a logarithmic divergent 0 dr integral (this is another example of UV divergence) , now to get finite results 0 r c from the divergent integrals we will apply the recurrence deduced in our previous paper [4 ] when discussing the zeta regularization applied to integrals m B m!( m 2r 1) xm dx xm1dx (m) 2r xm2r dx (3) 0 2 0 r1 (2r )!(m 2r 1)! 0 Equation (3) is a ‘regularization’ in the sense that if we had the upper limit N-1 instead N N k1 of the expression (3) would give the well-known result dxxk k >0 or k=0 , 0 k 1 for the case dxxk , the series nk is no longer convergent and must be given a finite 0 n0 k value in the spirit of Zeta function regularization [ 4] so n R (k) , this is why n0 the term R (m) (m) apperas inside (3) , note that (3) is a recurrence formula with initial term dx 1 1 1 1 1 1 (0) 1/ 2 and allows to calculate or assign a 0 2 finite value to every divergent integral of the form drr k for ‘k’ a positive integer , (the 0 main problem for the logarithmic divergence is the pole of the Zeta funciton at s=1) the first terms are I(0, ) (0) 1/ 2 dx 0 I(0, ) I(1, ) ( 1) xdx 2 0 (4) 1 B I(2, ) I(0, ) ( 1) 2 a I(0, ) x2 dx 21 2 2 0 3 1 B I(3, ) I(0, ) ( 1) 2 a I(0, ) ( 3) B a I(0, ) x3 dx 21 2 31 2 2 2 0 k Notation I(,) m stands for lim dxx , being ‘Lambda’ a cut-off with certain 0 physical meaning. This example is valid for UV divergences but what would happen to the case of c dx dr ‘singular integrals’ a <b<c or to the logarithmic divergence ? a x b 0 r c o Regularization of divergent integrals using Distribution theory: As a first example, let us suppose we want to calculate the integral dxf() x Dn (x a) , for n=0 we know that in spite of the ‘pole’ of the delta function at x=a we have that dxf()( x x a) f() a for any test function f(x) , then we can use two method We perform integration by parts avoiding the singular point at x=a so dx( D)n f()( x x a) dxf() x Dn (x a)( D)n f() a (5) We integrate n-times (no matter if n is non-integer) with respect to ‘a’ I() a dxf() x Dn (x a) Dn I() a dxf( x )( 1)n (x a) ( 1)n f() a (6) a 3 n n Both methods are equivalent since if we recall the identity Da Da I() a I() a we yield to the same result, no matter if we integrate/differentiate with respect to the parameter ‘a’ or if we integrate by parts. c dx dx A similar idea can be applied to integrals of the form and first we define a x b a x a (x b)s for a<x<c the distribution T(,) b x , for a regular enough function ()x we 0 otherwise can consider (in the sense of distribution) our divergent integral to be the linear c dx operatorT[] ()x for any real ‘s’ , the idea is to perform a differ-integration s a (x b) -times so s 1/ 2 . First we must introduce the concept of differ-integral or fractional derivative of any order, there are mainly [6] 3 definitions 1 x 1 q Dn f() x dt( x t)n1 f() t dt Dq f( x ) lim ( 1)m f( x (q m)) h (7) h0 q ()n 0 h m0 m The first definition inside (7) is the expression for fractional integral (not valid for negative ‘n’ ) , the second one is the ‘Grunwald-Letnikov’ differintegral valid for positive ‘q’ , the third alternative for the derivative comes from the definition of (q 1) dz Cauchy’s integral formula Dq f() x f() z for any rectificable curve q1 2i (z x) on the complex plane that includes the point z=x c dx Example: Let be the singular integral I() b ()x , in order to give it a finite s a (x b) value first we differentiate -times with respect to ‘b’ so s 1/ 2 hence (1 s) c dx D I() b ()x , we make then the change of variable x b u 2 so b (1 s ) a x b 2 (1 s) c b our integral becomes D I() b du( b u2 ) , then we define the b (1 s ) a b dF function F so (b u2 ) this implies du 2 (1 s) D I() b F( c b) F( a b) finally taking the inverse operator we b (1 s ) 2 (1 s) can set I() b DF ( c b) DF ( a b) (,)b (8) (1 s ) b b d f Here ‘mu’ is a real number and D f exists in the sense of a fractional b dx derivative/integral and Db (b , ) 0 . We set the condition s 1/ 2 because with a change of variable we can avoid the pole x b1/ 2 at x=b. 4 The same strategy can be applied to singular integral equation, for example if we wished to solve the following equation dt (1 n) dt f() x g() x f() t so D f() x D g() x f() t (9) n x x a t x (1 n ) a t x Where n 1/ 2 , making the change of variable t x u 2 so (9) becomes 2 (1 n) D f() x D g() x du f( x u2 ) Gamma function (10) x x (1 n ) a x Now, equation (10) has NO poles at t=x , to solve this integral equation without singularity we could use an iterative process 2 (1 n) f() x g() x D f() x D g() x du f (x u2 ) (11) 0 x n x n n1 (1 n ) a x Where we have supposed that Dx (x , ) 0 (,)x in order to simplify the calculations of the solution of the integral. Then one could ask, what happens in the limit b , in this case the quantity x b1 becomes zero for every x , so the I(b) must tend to 0 for ‘b’ big hence we should choose the function (,)b with the conditions Db (b , ) 0 and 2 (1 s) lim DFb ( c b) DFb ( a b) (,)b 0 (12) b (1 s ) o Logarithmic divergences The case of the logarithmic integral is a bit different, since formula (4) can not handle it ,due to the pole of zeta function at s=1, one of the ideas to apply [4] is just to replace the dx 1 divergent integral by a divergent series with ‘h’ being an step (we 0 x a n0 n a/ h use Rectangle method ) ,this series is still divergent but can be assigned a finite value via ‘Ramanujan resummation’ equal to the logarithmic derivative of Gamma function ' a ,however this kind of method depends on the value of the step ‘h’ given.
Recommended publications
  • List of Reviews by Gianni Pagnini in Mathematical Reviews MR2145045
    List of reviews by Gianni Pagnini in Mathematical Reviews MR2145045 Saxena R.K., Ram J., Suthar D.L., On two-dimensional Saigo–Maeda frac- tional calculus involving two-dimensional H-transforms. Acta Cienc. Indica Math., 30(4), pp. 813–822 (2004) MR2220224 Nishimoto K., N-fractional calculus of a logarithmic function and generali- zed hypergeometric functions. J. Fract. Calc., 29(1), pp. 1–8 (2006) MR2224671 Saxena R.K., Ram J., Chandak S., On two-dimensional generalized Saigo fractional calculus associated with two-dimensional generalized H-transfroms. J. Indian Acad. Math., 27(1), pp. 167–180 (2005) MR2266353 Lin S.-D., Tu S.-T., Srivastava H.M., Some families of multiple infinite sums and associated fractional differintegral formulas for power and composite functions. J. Fract. Calc., 30, pp. 45–58 (2006) MR2286840 Biacino L., Derivatives of fractional orders of continuos functions. Ricerche di Matematica, LIII(2), pp. 231–254 (2004) MR2330471 Chaurasia V.B.L., Srivastava A., A unified approach to fractional calculus pertaining to H-functions. Soochow J. of Math., 33(2), pp. 211–221 (2007) MR2332241 Chaurasia V.B.L., Patni R., Shekhawat A.S., Applications of fractional deri- vatives of certain special functions. Soochow J. of Math., 33(2), pp. 325–334 (2007) MR2355703 Agrawal R., Bansal S.K., A study of unified integral operators involving a general multivariable polynomial and a product of two H¯ −functions. J. Rajasthan Acad. Phy. Sci., 6(3), pp. 289–300 (2007) MR2390179 Benchohra M., Hamani S., Ntouyas S.K., Boundary value problems for dif- ferential equations with fractional order. Surv.
    [Show full text]
  • A Novel Approach to Fractional Calculus -.:: Natural Sciences
    Progr. Fract. Differ. Appl. 4, No. 4, 463-478 (2018) 463 Progress in Fractional Differentiation and Applications An International Journal http://dx.doi.org/10.18576/pfda/040402 A Novel Approach to Fractional Calculus: Utilizing Fractional Integrals and Derivatives of the Dirac Delta Function Evan Camrud1,2 1 Department of Mathematics, Concordia College, Moorhead, MN, USA 2 Department of Mathematics, Iowa State University, Ames, IA, USA Received: 8 Jan. 2018, Revised: 28 Feb. 2018, Accepted: 2 Mar. 2018 Published online: 1 Oct. 2018 Abstract: While the definition of a fractional integral may be codified by Riemann and Liouville, an agreed-upon fractional derivative has eluded discovery for many years. This is likely a result of integral definitions including numerous constants of integration in their results. An elimination of constants of integration opens the door to an operator that reconciles all known fractional derivatives and shows surprising results in areas unobserved before, including the appearance of the Riemann Zeta function and fractional Laplace and Fourier transforms. A new class of functions, known as Zero Functions and closely related to the Dirac delta function, are necessary for one to perform elementary operations of functions without using constants. The operator also allows for a generalization of the Volterra integral equation, and provides a method of solving for Riemann’s complimentary function introduced during his research on fractional derivatives. Keywords: Fractional calculus, fractional differential equations, integral transforms, operations with distributions, special functions. 1 Introduction The concept of derivatives of non-integer order, commonly known as fractional derivatives, first appeared in a letter between L’Hopital and Leibniz in which the question of a half-order derivative was posed [1].
    [Show full text]
  • Which Moments of a Logarithmic Derivative Imply Quasiinvariance?
    Doc Math J DMV Which Moments of a Logarithmic Derivative Imply Quasi invariance Michael Scheutzow Heinrich v Weizsacker Received June Communicated by Friedrich Gotze Abstract In many sp ecial contexts quasiinvariance of a measure under a oneparameter group of transformations has b een established A remarkable classical general result of AV Skorokhod states that a measure on a Hilb ert space is quasiinvariant in a given direction if it has a logarithmic aj j derivative in this direction such that e is integrable for some a In this note we use the techniques of to extend this result to general oneparameter families of measures and moreover we give a complete char acterization of all functions for which the integrability of j j implies quasiinvariance of If is convex then a necessary and sucient condition is that log xx is not integrable at Mathematics Sub ject Classication A C G Overview The pap er is divided into two parts The rst part do es not mention quasiinvariance at all It treats only onedimensional functions and implicitly onedimensional measures The reason is as follows A measure on R has a logarithmic derivative if and only if has an absolutely continuous Leb esgue density f and is given by 0 f x ae Then the integrability of jj is equivalent to the Leb esgue x f 0 f jf The quasiinvariance of is equivalent to the statement integrability of j f that f x Leb esgueae Therefore in the case of onedimensional measures a function allows a quasiinvariance criterion as indicated in the abstract
    [Show full text]
  • A Logarithmic Derivative Lemma in Several Complex Variables and Its Applications
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 12, December 2011, Pages 6257–6267 S 0002-9947(2011)05226-8 Article electronically published on June 27, 2011 A LOGARITHMIC DERIVATIVE LEMMA IN SEVERAL COMPLEX VARIABLES AND ITS APPLICATIONS BAO QIN LI Abstract. We give a logarithmic derivative lemma in several complex vari- ables and its applications to meromorphic solutions of partial differential equa- tions. 1. Introduction The logarithmic derivative lemma of Nevanlinna is an important tool in the value distribution theory of meromorphic functions and its applications. It has two main forms (see [13, 1.3.3 and 4.2.1], [9, p. 115], [4, p. 36], etc.): Estimate (1) and its consequence, Estimate (2) below. Theorem A. Let f be a non-zero meromorphic function in |z| <R≤ +∞ in the complex plane with f(0) =0 , ∞. Then for 0 <r<ρ<R, 1 2π f (k)(reiθ) log+ | |dθ 2π f(reiθ) (1) 0 1 1 1 ≤ c{log+ T (ρ, f) + log+ log+ +log+ ρ +log+ +log+ +1}, |f(0)| ρ − r r where k is a positive integer and c is a positive constant depending only on k. Estimate (1) with k = 1 was originally due to Nevanlinna, which easily implies the following version of the lemma with exceptional intervals of r for meromorphic functions in the plane: 1 2π f (reiθ) (2) + | | { } log iθ dθ = O log(rT(r, f )) , 2π 0 f(re ) for all r outside a countable union of intervals of finite Lebesgue measure, by using the Borel lemma in a standard way (see e.g.
    [Show full text]
  • Fractional-Order Derivatives and Integrals: Introductory Overview and Recent Developments
    KYUNGPOOK Math. J. 60(2020), 73-116 https://doi.org/10.5666/KMJ.2020.60.1.73 pISSN 1225-6951 eISSN 0454-8124 ⃝c Kyungpook Mathematical Journal Fractional-Order Derivatives and Integrals: Introductory Overview and Recent Developments Hari Mohan Srivastava Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia V8W3R4, Canada and Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan, Republic of China and Department of Mathematics and Informatics, Azerbaijan University, 71 Jeyhun Ha- jibeyli Street, AZ1007 Baku, Azerbaijan e-mail : [email protected] Abstract. The subject of fractional calculus (that is, the calculus of integrals and deriva- tives of any arbitrary real or complex order) has gained considerable popularity and im- portance during the past over four decades, due mainly to its demonstrated applications in numerous seemingly diverse and widespread fields of mathematical, physical, engineer- ing and statistical sciences. Various operators of fractional-order derivatives as well as fractional-order integrals do indeed provide several potentially useful tools for solving dif- ferential and integral equations, and various other problems involving special functions of mathematical physics as well as their extensions and generalizations in one and more variables. The main object of this survey-cum-expository article is to present a brief ele- mentary and introductory overview of the theory of the integral and derivative operators of fractional calculus and their applications especially in developing solutions of certain interesting families of ordinary and partial fractional “differintegral" equations. This gen- eral talk will be presented as simply as possible keeping the likelihood of non-specialist audience in mind.
    [Show full text]
  • What Is... Fractional Calculus?
    What is... Fractional Calculus? Clark Butler August 6, 2009 Abstract Differentiation and integration of non-integer order have been of interest since Leibniz. We will approach the fractional calculus through the differintegral operator and derive the differintegrals of familiar functions from the standard calculus. We will also solve Abel's integral equation using fractional methods. The Gr¨unwald-Letnikov Definition A plethora of approaches exist for derivatives and integrals of arbitrary order. We will consider only a few. The first, and most intuitive definition given here was first proposed by Gr¨unwald in 1867, and later Letnikov in 1868. We begin with the definition of a derivative as a difference quotient, namely, d1f f(x) − f(x − h) = lim dx1 h!0 h It is an exercise in induction to demonstrate that, more generally, n dnf 1 X n = lim (−1)j f(x − jh) dxn h!0 hn j j=0 We will assume that all functions described here are sufficiently differen- tiable. Differentiation and integration are often regarded as inverse operations, so d−1 we wish now to attach a meaning to the symbol dx−1 , what might commonly be referred to as anti-differentiation. However, integration of a function is depen- dent on the lower limit of integration, which is why the two operations cannot be regarded as truly inverse. We will select a definitive lower limit of 0 for convenience, so that, d−nf Z x Z xn−1 Z x2 Z x1 −n ≡ dxn−1 dxn−2 ··· dx1 f(x0)dx0 dx 0 0 0 0 1 By instead evaluating this multiple intgral as the limit of a sum, we find n N−1 d−nf x X j + n − 1 x = lim f(x − j ) dx−n N!1 N j N j=0 in which the interval [0; x] has been partitioned into N equal subintervals.
    [Show full text]
  • Fractional Calculus
    faculty of mathematics and natural sciences Fractional Calculus Bachelor Project Mathematics October 2015 Student: D.E. Koning First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. H.L. Trentelman Abstract This thesis introduces fractional derivatives and fractional integrals, shortly differintegrals. After a short introduction and some preliminaries the Gr¨unwald-Letnikov and Riemann-Liouville approaches for defining a differintegral will be explored. Then some basic properties of differintegrals, such as linearity, the Leibniz rule and composition, will be proved. Thereafter the definitions of the differintegrals will be applied to a few examples. Also fractional differential equations and one method for solving them will be discussed. The thesis ends with some examples of fractional differential equations and applications of differintegrals. CONTENTS Contents 1 Introduction4 2 Preliminaries5 2.1 The Gamma Function........................5 2.2 The Beta Function..........................5 2.3 Change the Order of Integration..................6 2.4 The Mittag-Leffler Function.....................6 3 Fractional Derivatives and Integrals7 3.1 The Gr¨unwald-Letnikov construction................7 3.2 The Riemann-Liouville construction................8 3.2.1 The Riemann-Liouville Fractional Integral.........9 3.2.2 The Riemann-Liouville Fractional Derivative.......9 4 Basic Properties of Fractional Derivatives 11 4.1 Linearity................................ 11 4.2 Zero Rule............................... 11 4.3 Product Rule & Leibniz's Rule................... 12 4.4 Composition............................. 12 4.4.1 Fractional integration of a fractional integral....... 12 4.4.2 Fractional differentiation of a fractional integral...... 13 4.4.3 Fractional integration and differentiation of a fractional derivative........................... 14 5 Examples 15 5.1 The Power Function......................... 15 5.2 The Exponential Function.....................
    [Show full text]
  • Amit Chouhan
    INVESTIGATION INTO FRACTIONAL DIFFERINTEGRAL OPERATORS, AND THEIR APPLICATION INTO VARIOUS DISCIPLINES A THESIS Submitted for the Award of Ph.D. degree of University of Kota, Kota (Mathematics-Faculty of Science) by AMIT CHOUHAN Under the supervision of Dr. Satish Saraswat (M.Sc., Ph.D. ) Lecturer Department of Mathematics Government College Kota, Kota – 324001(India) UNIVERSITY OF KOTA, KOTA (2013) Dr. Satish Saraswat Lecturer, (M.Sc., Ph.D.) Department of Mathematics Govt. College Kota, Kota -324001. CERTIFICATE I feel great pleasure in certifying that the thesis entitled “INVESTIGATION INTO FRACTIONAL DIFFERINTEGRAL OPERATORS, AND THEIR APPLICATION INTO VARIOUS DISCIPLINES”, embodies a record of the results of investigations carried out by Mr. Amit Chouhan under my guidance. I am satisfied with the analysis of data, interpretation of results and conclusions drawn. He has completed the residential requirement as per rules. I recommend the submission of thesis. Date : (Dr. Satish Saraswat) Research Supervisor DECLARATION I hereby declare that the (i) The thesis entitled “ INVESTIGATION INTO FRACTIONAL DIFFERINTEGRAL OPERATORS, AND THEIR APPLICATION INTO VARIOUS DISCIPLINES ” submitted by me is an original piece of research work, carried out under the supervision of Dr. Satish Saraswat. (ii) The above thesis has not been submitted to this university or any other university for any degree. Date: Signature of Candidate (Amit Chouhan) ACKNOWLEDGEMENTS I express my heartful gratitude to the “ ALMIGHTY GOD ” for his blessing to complete this piece of work. I wish to express my unfeigned indebtedness to my research supervisor Dr. Satish Saraswat , Department of Mathematics, Government College, Kota for his constant inspiration, supervision and able guidance in making this endeavor a success.
    [Show full text]
  • Understanding Diagnostic Plots for Well-Test Interpretation
    Published in Hydrogeology Journal 17, issue 3, 589-600, 2009 1 which should be used for any reference to this work Understanding diagnostic plots for well-test interpretation Philippe Renard & Damian Glenz & Miguel Mejias Keywords Hydraulic testing . Conceptual models . Hydraulic properties . Analytical solutions Abstract In well-test analysis, a diagnostic plot is a models in order to infer the hydraulic properties of the aquifer. scatter plot of both drawdown and its logarithmic In that framework, a diagnostic plot (Bourdet et al. derivative versus time. It is usually plotted in log–log 1983) is a simultaneous plot of the drawdown and the scale. The main advantages and limitations of the method logarithmic derivative ðÞ@s=@ ln t ¼ t@s=@t of the draw- are reviewed with the help of three hydrogeological field down as a function of time in log–log scale. This plot is examples. Guidelines are provided for the selection of an used to facilitate the identification of an appropriate appropriate conceptual model from a qualitative analysis conceptual model best suited to interpret the data. of the log-derivative. It is shown how the noise on the The idea of using the logarithmic derivative in well-test drawdown measurements is amplified by the calculation interpretation is attributed to Chow (1952). He demon- of the derivative and it is proposed to sample the signal in strated that the transmissivity of an ideal confined aquifer order to minimize this effect. When the discharge rates are is proportional to the ratio of the pumping rate by the varying, or when recovery data have to be interpreted, the logarithmic derivative of the drawdown at late time.
    [Show full text]
  • 1 FRACTIONAL DERIVATIVE ANALYSIS of HELMHOLTZ and PARAXIAL-WAVE EQUATIONS A. J. T U R S K I , B. a T a M a N I U K and E. T
    View metadata, citation and similar papers at core.ac.uk 1 brought to you by CORE provided by CERN Document Server FRACTIONAL DERIVATIVE ANALYSIS OF HELMHOLTZ AND PARAXIAL-WAVE EQUATIONS A.J.TURSKI,B.ATAMANIUKandE.TURSKA Depatment of Theory of Continuous Mechanics Institute of Fundamental Technological Research, PAS Fundamental rules and definitions of Fractional Differintegrals are outlined. Factorizing 1-D and 2-D Helmholtz equations four semi-differential eigenfunctions are determined. The functions exhibit incident and reflected plane waves as well as diffracted incident and reflected waves on the half-plane edge. They allow to construct the Sommerfeld half-plane diffraction solutions. Parabolic-Wave Equation (PWE, Leontovich-Fock) for paraxial propagation is fac- torized and differential fractional solutions of Fresnel-integral type are determined. We arrived at two solutions, which are the mothers of known and new solutions. 1 Introduction The mathematical theory of the fractional calculus and the theory of ordinary frac- tional differential equations is well developed and there is a vast literature on the subject [1], [2], [3], [4], [5] and [6]. The theory of partial fractional differential equations is a recently investigated problem and the theory mainly concerns fractional diffusion-wave equations [7], [8], [9], [10] and [11]. The main objectives of this paper is a factorization of the Helmholtz equation to ob- tain four semidifferential eigenfunctions allowing to construct the well known half-plain diffraction problem. Factorizing the Leontovich-Fock equation, we determine semidiffer- ential Green functions, which allow to find paraxial solutions for a given beam boundary conditions. The article is organized as follows.
    [Show full text]
  • Symmetric Logarithmic Derivative of Fermionic Gaussian States
    entropy Article Symmetric Logarithmic Derivative of Fermionic Gaussian States Angelo Carollo 1,2,* ID , Bernardo Spagnolo 1,2,3 ID and Davide Valenti 1,4 ID 1 Department of Physics and Chemistry, Group of Interdisciplinary Theoretical Physics, Palermo University and CNISM, Viale delle Scienze, Ed. 18, I-90128 Palermo, Italy; [email protected] (B.S.); [email protected] (D.V.) 2 Department of Radiophysics, Lobachevsky State University of Nizhni Novgorod, 23 Gagarin Avenue, Nizhni Novgorod 603950, Russia 3 Istituto Nazionale di Fisica Nucleare, Sezione di Catania, Via S. Sofia 64, I-90123 Catania, Italy 4 Istituto di Biomedicina ed Immunologia Molecolare (IBIM) “Alberto Monroy”, CNR, Via Ugo La Malfa 153, I-90146 Palermo, Italy * Correspondence: [email protected] Received: 21 May 2018; Accepted: 16 June 2018; Published: 22 June 2018 Abstract: In this article, we derive a closed form expression for the symmetric logarithmic derivative of Fermionic Gaussian states. This provides a direct way of computing the quantum Fisher Information for Fermionic Gaussian states. Applications range from quantum Metrology with thermal states to non-equilibrium steady states with Fermionic many-body systems. Keywords: quantum metrology; Fermionic Gaussian state; quantum geometric information 1. Introduction Quantum metrology or quantum parameter estimation is the theory that studies the accuracy by which a physical parameter of a quantum system can be estimated through measurements and statistical inference. In many physical scenarios, quantities which are to be estimated may not be directly observable, either due to experimental limitations or on account of fundamental principles. When this is the case, one needs to infer the value of the variable after measurements on a given probe.
    [Show full text]
  • Differential Algebraic Equations from Definability
    Differential algebraic equations from definability Thomas Scanlon 24 October 2014 Thomas Scanlon ADEs from definability Is the logarithm a function? × The exponential function exp : C ! C has a many-valued analytic × inverse log : C ! C where log is well-defined only up to the adding an element of 2πiZ. Thomas Scanlon ADEs from definability The logarithmic derivative Treating exp and log as functions on functions does not help: If U × is some connected Riemann surface and f : U ! C is analytic, then we deduce a “function” log(f ): U ! C. However, because log(f ) is well-defined up to an additive constant, d @ log(f ) := dz (log(f )) is a well defined function. That is, for M = M (U) the differential field of meromorphic functions on U we have a well-defined differential-analytic function @ log : M× ! M. f 0 Of course, one computes that @ log(f ) = f is, in fact, differential algebraic. Thomas Scanlon ADEs from definability Explanation? Why is the logarithmic differential algebraic? What a silly question! The logarithm is the very first transcendental function whose derivative is computed in a standard calculus course. The differential algebraicity of d dz (log(f )) is merely a consequence of an elementary calculation. The usual logarithmic derivative is an instance of Kolchin’s general theory of algebraic logarithmic derivatives on algebraic groups in which the differential algebraicity is explained by the triviality of the tangent bundle of an algebraic group. It can also be seen as an instance of the main theorem to be discussed today: certain kinds of differential analytic functions constructed from covering maps are automatically differential algebraic due to two key ideas from logic: elimination of imaginaries and the Peterzil-Starchenko theory of o-minimal complex analysis.
    [Show full text]