arxiv:quant-ph/ v1 6 Feb 2006
|
|
- Melvyn Goodman
- 6 years ago
- Views:
Transcription
1 On the Proof by Reuctio a Absurum of the Hohenberg-Kohn Theorem for Ensembles of Fractionally Occupie States of Coulomb Systems arxiv:quant-ph/ v1 6 Feb 2006 Eugene S. KRYACHKO 1 Bogoliubov Institute for Theoretical Physics, Kiev, Ukraine an Department of Chemistry, Bat. B6c, University of Liege Sart-Tilman, B-4000 Liege 1, Belgium Abstract It is emonstrate that the original reuctio a absurum proof of the generalization of the Hohenberg-Kohn theorem for ensembles of fractionally occupie states for isolate many-electron Coulomb systems with Coulomb-type external potentials by Gross et al. [Phys. Rev. A 37, 2809 (1988)] is selfcontraictory since the to-be-refute assumption (negation) regaring the ensemble one-electron ensities an the assumption about the external potentials are logically incompatible to each other ue to the Kato electron-nuclear cusp theorem. It is however prove that the Kato theorem itself provies a satisfactory proof of this theorem. Keywors: Hohenberg-Kohn theorem, ensity functional theory, reuctio a absurum metho, Coulomb systems, one-electron ensity, Kato theorem, generalizations of Hohenberg-Kohn theorem 1 Aress for corresponence: FAX: +32 (4) ; aress: eugene.kryachko@ulg.ac.be 1
2 The Hohenberg-Kohn theorem [1] that unerlies the founation of the ensity functional theory (see Ref. [2] an references therein) has been generalize in a number of ways, particularly for ensembles of fractionally occupie states by Gross et al. [3] (EGHK theorem) an for the egenerate groun states by van Leeuwen [4] (DGHK theorem). Both these theorems have been prove invoking the reuctio a absurum metho that was use in the original proof of the Hohenberg-Kohn theorem [1,5]. By analogy with the recent work [5], the present Note re-examines the proof by reuctio a absurum of the EGHK theorem an emonstrates that, although its statement is generally correct, its original proof cannot be maintaine if the external potential is of Coulomb type because otherwise it implies that the suppose ensemble one-electron ensities shoul violate the Kato electron-nuclear cusp conitions provie by the Kato theorem. It is however prove that the Kato theorem itself completely guaranties a valiity of the EGHK theorem. The original proof of the DGHK theorem can be treate in a similar fashion. In orer to procee with the EGHK theorem, let us consier an N-electron system efine by the Hamiltonian H N v = T N e + V N ee + V N where T N e operator of N electrons, V N ee is the kinetic energy is the corresponing interelectronic Coulomb operator, an V N = Σ N i=1v(r i ) is the total external potential. Let 1 an 2 be the groun an the first excite states of H N v, both nonegenerate, corresponingly escribe by the normalize wavefunctions Ψ 1 (r 1,r 2,...,r N ) H 1 (R 3N ) an Ψ 2 (r 1,r 2,...,r N ) H 1 (R 3N ) (spins are omitte for simplicity; all notations use throughout this Note are efine in Ref. [5]). The k-state one-electron ensity ρ k (r) (k = 1, 2) is a functional of v(r) [1,2] since H N v is explicitly etermine by v(r) provie by the given N, T N e, an V N ee Ṗroposal 1 (EGHK theorem [3]): If there exist two ensemble one-electron ensities, ρ(r) = (1 w)ρ 1 (r) + wρ 2 (r), (1) 2
3 corresponing to the Hamiltonian H N v, an ρ (r) = (1 w)ρ 1(r) + wρ 2(r), (2) compose of the weighte one-electron ensities ρ 1 (r) an ρ 2 (r) of the groun state 1 an the first excite state 2 of the Hamiltonian H N v = T N e + V N ee + V N where V N = Σ N i=1 v (r i ) an w [0, 1/2], then ρ(r) ρ (r) provie that v(r) v (r) + constant. Proof: The original proof of the EGHK theorem [3] is base on the metho of Reuctio a Absurum (or of inirect proof or proof by contraiction; shortly R. A. A.). Let us first assume the existence of two external potentials v(r) an v (r) which etermine the Hamiltonians H N v an H N v that associate with two ifferent N-electron systems, such v(r) v (r) + constant (3) (premise or proposition P 1 ). It is further assume (premise P 2 ) that H N v an H N v possess the groun- an first-excite states, 1 an 2, an 1 an 2, respectively. Define the corresponing N-electron ensity matrices with a given w [0, 1/2], D = (1 w) w 2 2 (4) an (3) implies that [3] D = (1 w) w 2 2. (5) 1 1. (6) To procee with the R. A. A. proof of this theorem, the to-be-refute assumption, i. e., the negation of the esire statement, is chosen as the following premise [3] ρ(r) = ρ (r) ρ(r). (7) 3
4 Applying the Rayleigh-Ritz variational principle (see, e. g., Eq. (4) of Ref. [6]) to Eqs. (4) an (5), one erives a pair of the following inequalities Tr(DH N v ) < Tr(D H N v ) + Tr(D H N v ) < Tr(DHN v ) + 3 r[v(r) v (r)]ρ(r) 3 r[v (r) v(r)]ρ(r) (8) (Eqs. (7) an (8) of Ref. [3]). Aing them to each other leas to the contraiction, Tr(DH N v ) + Tr(D H N v ) < Tr(DH N v ) + Tr(D H N v ), (9) as erive from the premises P 1 an P 2, an the negation (7). Equation (9) is absur. Its absurity can be resolve, as Gross et al. conclue [3], by asserting that the to-berefute assumption (7) is false. Hence, for a given w [0, 1/2], the external potential v(r) is, to within a constant, a unique functional of ρ(r), an since, in turn, v(r) etermines H N v, the ensemble expectation value of T N e ensemble one-electron ensity ρ(r). Q. E. D. + V N ee is a functional of the Accoring to the R. A. A. metho [7], the conjunction (hereafter enote by &, following Suppes [7a]; usually by ) of the premises P 1 (see note [8]) an P 2 comprises the set I of the initial premises given as true. To ecie if these premises are consistent [7], euce from them some formal consequences or implications which are also true: 1. P 1 & P 2 Q 1 (6). 2. If v(r) an v (r) are both of Coulomb form (premise P 3 I, by efinition), that is, Z α v(r) = Σ M α=1 r R α, v (r) = Σ M α=1 Z α r R α (10) (the αth nucleus with the nuclear charge Z α is place at R α R 3, an similarly for the prime quantities) then, accoring to the Kato electron-nuclear cusp theorem [9], from the conjunction P 1 & P 2 & P 3 one euces the conitional proposition Q 2 : r i k(r 1,r 2,...,r i 1, r i,r i+1,...,r N ) av i ri =R α = Z α k(r 1,r 2,...,r i 1,R α,r i+1,...,r N ), 4
5 r i k (r 1,r 2,...,r i 1, r i,r i+1,...,r N ) av i ri =R α = Z α k (r 1,r 2,...,r i 1,R α,r i+1,...,r N ), (11) where the superscript av i inicates the average of k or k over an infinitesimally small ball centere at r i (i = 1, 2,..., N) an k, k = 1, 2. Corollary 1: Q 2 Q P 1 & P 2 & P 3 Q 3 : ρ(r) ρ (r) (12) where the ensemble one-electron ensities ρ(r) an ρ (r) are efine by Eqs. (1) an (2). Proof: P 3 implies that the Kato theorem hols for the corresponing one-electron ensities: r ρav k (r) r=r α = 2Z α ρ k (R α ), r ρ av k (r) r=r = 2Z α α ρ k (R α ), (13) where the superscript av inicates the average of ρ k or ρ k over an infinitesimally small ball centere at r. If, in aition, the premise P 1 is an authentic truth, the ensemble one-electron ensities ρ(r) an ρ (r) obey ifferent Kato cusps: r ρav (r) r=rα r ρ av (r) r=r α = (1 w) r ρav 1 (r) r=r α + w r ρav 2 (r) r=r α = 2Z α [(1 w)ρ 1 (R α ) + wρ 2 (R α )] = 2Z α ρ(r α ), = (1 w) r ρ av 1 (r) r=r α + w r ρ av 2 (r) r=r α = 2Z α [(1 w)ρ 1 (R α ) + wρ 2 (R α )] = 2Z α ρ (R α ). (14) Therefore, they istinguish from each other that implies Q 3. Q. E. D. Accoring to the R. A. A. metho, the next step of the proof by contraiction, after asserting of the set I of the initial premises an verifying their authentical truths, is to 5
6 introuce the negation of the esire conclusion as a new premise (see, e. g., Ref. [7a], p. 39) an to prove then that this new premise leas to a logical contraiction with the set I. The total set J of the consiere premises is the following: (i) P 1 & P 2 & P 3 ; (ii) the to-be-refute premise S given by Eq. (7). Within the R. A. A. metho, the proposition S (i. e., not S negation of S) is equivalent to the proposition that S is false [7,10]. The proposition S is false, that is actually ρ(r) ρ (r), is therefore explicitly equivalent to the conitional proposition Q 3 (ρ(r) ρ (r), Eq. (12)) which is euce in 3. an which is true if the premise P 3 is true. Hence, S cannot be false. This straightforwarly implies the intrinsic falsity of the negation S that exists within the set J an hence oes not require any other proof beyon J to show it [7] (see also note [11]), by analogy with the Rayleigh-Ritz variational principle applie in Ref. [3]. Equivalently, the set I of the initial premises given as true is incompatible ( inconsistent, see p. 36f of Ref. [7a] an notes [12,13]) with the negation S, an thus, the R. A. A. proof cannot be rigorously mantaine in the way suggeste in Ref. [3]. This proves the following Proposal 2: The original proof of the EGHK theorem [3] via the R. A. A. metho is self-contraictory for the class of many-electron systems with Coulomb-type external potentials. In some sense, Proposal 2 means that the original proof of the EGHK theorem for Coulomb-type external potentials is superfluous since it starts with an obvious contraiction. It is however shown above that P 1 & P 2 & P 3 Q 3, an therefore, one logically erives Corollary 2: If the Kato theorem hols, for the class of many-electron systems with Coulomb-type external potentials the EGHK statement is correct. In conclusion, the present Note emonstrates that the Kato theorem itself provies 6
7 the irect proof of the EGHK theorem for N-electron systems with the Coulomb class of external potentials. A similar reasoning can be trivially applie to the original proof of the DGHK theorem given in Ref. [4] to show that its original proof is self-contraictory too, as though the statement of the DGHK theorem is correct, ue to the Kato theorem. With regar of the EGHK theorem, it is also worth mentioning the super-hamiltonian approach to the ensemble-ensity functional theory that was originally introuce by Theophilou [14] an further evelope by Katriel [15], an also in Ref. [16] within the local-scaling-transformation metho of the ensity functional theory [2c, 17]. Acknowlegment I gratefully thank all colleagues for the helpful an inspire iscussions of my early work [5]. I also thank Francoise Remacle for kin hospitality an F.R.F.C F (Belgium) for fellowship. References [1] P. Hohenberg an W. Kohn, Phys. Rev. 136, B864 (1964). [2] (a) R. G. Parr an W. Yang, Density-Functional Theory of Atoms an Molecules (Oxfor University Press, New York, 1989). (b) R. M. Dreizler an E. K. U. Gross, Density Functional Theory (Springer-Verlag, Berlin, 1990). (c) E. S. Kryachko an E. V. Lueña, Energy Density Functional Theory of Many-Electron Systems (Kluwer, Dorrecht, 1990). () N. H. March, Electron Density Theory of Atoms an Molecules (Acaemic, Lonon, 1992). [3] E. K. U. Gross, L. N. Oliviera, an W. Kohn, Phys. Rev. A 37, 2809 (1988). [4] R. van Leeuwen, Av. Quantum Chem. 43, 24 (2003). 7
8 [5] E. S. Kryachko, Int. J. Quantum Chem. 103, 818 (2005), quant-ph/ [6] E. K. U. Gross, L. N. Oliviera, an W. Kohn, Phys. Rev. A 37, 2805 (1988). [7] (a) P. Suppes, Introuction to Logic (Van Nostran, Princeton, 1967). (b) A. N. Whitehea an B. Russell, Principia Mathematica (Cambrige University Press, Cambrige, 1962). (c) I. M. Copi Symbolic Logic (Macmillan, New York, 1965). () A. N. Prior, Formal Logic (Clarenon, Oxfor, 1962). (e) D. Scherer, Min LXXX, 247 (1971). (f) J. M. Lee, Notre Dame J. Formal Logic XIV, 381 (1973). (g) L. C. D. Kulathungam, Notre Dame J. Formal Logic XVI, 245 (1975). [8] Rigorously speaking, a constant term on the rhs of (3) shoul be eliminate as contraicting to the vanishing asymptotic behavior of the external potential of an arbitrary (unconfine) many-electron system at infinity. [9] T. Kato, Commun. Pure Appl. Math. 10, 151 (1957). [10] By efinition, not S is the proposition that is true when S is false an false when S is true. See, e. g., G. E. M. Anscombe, An Introuction to Wittgenstein s Tractatus (Hutchinson University Library, Lonon, 1959). [11] Two propositions are sai to be contraictory if one is the negation of the other. (p. 37 of Ref. [7a]). [12] Göel [K. Göel, Obras Completas (Alianza Eitorial, Mari, 1981)] efines that a set of propositions is consistent if it cannot simultaneously euce a proposition an its negation. [13] About contraictions in physics see Y. Aharonov an D. Rohrlich, Quantum Paraoxes. Quantum Theory for the Perplexe (Wiley-VCH, Weinheim, 2005). 8
9 [14] (a) A. K. Theophilou, J. Phys. C: Soli State 12, 5419 (1979). (b) V. N. Glushkov an A. K. Theophilou, Phys. Rev. A 64, (2001). [15] (a) J. Katriel, J. Phys. C: Soli State 13, L375 (1980). (b) J. Katriel an F. Zahariev, Phys. Rev. A 65, (2002). [16] (a) E. S. Kryachko, E. V. Lueña, an T. Koga, J. Math. Chem. 11, 325 (1992). (b) T. Koga, J. Chem. Phys. 95, 4306 (1991). (c) E. S. Kryachko an E. V. Lueña, J. Mol. Struct. (Theochem) 287, 1 (1993). () T. Koga, J. Math. Chem. 14, 207 (1993). [17] (a) E. V. Lueña, R. Lopez-Boaa, J. Malonao, E. Valerrama, E. S. Kryachko, T. Koga, an J. Hinze, Int. J. Quantum Chem. 56, 285 (1995). (b) E. S. Kryachko, in New Methos in Quantum Theory, eite by C. A. Tsipis, V. S. Popov, D. R. Herschbach, an J. S. Avery (NATO ASI Series, Kluwer, Dorrecht, 1995), p
Chapter 6: Energy-Momentum Tensors
49 Chapter 6: Energy-Momentum Tensors This chapter outlines the general theory of energy an momentum conservation in terms of energy-momentum tensors, then applies these ieas to the case of Bohm's moel.
More informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More informationLogarithmic spurious regressions
Logarithmic spurious regressions Robert M. e Jong Michigan State University February 5, 22 Abstract Spurious regressions, i.e. regressions in which an integrate process is regresse on another integrate
More informationQuantum Stochastic Walks: A Generalization of Classical Random Walks and Quantum Walks
Quantum Stochastic Walks: A Generalization of Classical Ranom Walks an Quantum Walks The Harvar community has mae this article openly available. Please share how this access benefits you. Your story matters
More informationQubit channels that achieve capacity with two states
Qubit channels that achieve capacity with two states Dominic W. Berry Department of Physics, The University of Queenslan, Brisbane, Queenslan 4072, Australia Receive 22 December 2004; publishe 22 March
More informationTime-of-Arrival Estimation in Non-Line-Of-Sight Environments
2 Conference on Information Sciences an Systems, The Johns Hopkins University, March 2, 2 Time-of-Arrival Estimation in Non-Line-Of-Sight Environments Sinan Gezici, Hisashi Kobayashi an H. Vincent Poor
More informationA Note on Exact Solutions to Linear Differential Equations by the Matrix Exponential
Avances in Applie Mathematics an Mechanics Av. Appl. Math. Mech. Vol. 1 No. 4 pp. 573-580 DOI: 10.4208/aamm.09-m0946 August 2009 A Note on Exact Solutions to Linear Differential Equations by the Matrix
More informationarxiv: v1 [physics.flu-dyn] 8 May 2014
Energetics of a flui uner the Boussinesq approximation arxiv:1405.1921v1 [physics.flu-yn] 8 May 2014 Kiyoshi Maruyama Department of Earth an Ocean Sciences, National Defense Acaemy, Yokosuka, Kanagawa
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationDiscrete Operators in Canonical Domains
Discrete Operators in Canonical Domains VLADIMIR VASILYEV Belgoro National Research University Chair of Differential Equations Stuencheskaya 14/1, 308007 Belgoro RUSSIA vlaimir.b.vasilyev@gmail.com Abstract:
More informationII. First variation of functionals
II. First variation of functionals The erivative of a function being zero is a necessary conition for the etremum of that function in orinary calculus. Let us now tackle the question of the equivalent
More information. ISSN (print), (online) International Journal of Nonlinear Science Vol.6(2008) No.3,pp
. ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.6(8) No.3,pp.195-1 A Bouneness Criterion for Fourth Orer Nonlinear Orinary Differential Equations with Delay
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More informationSurvey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013
Survey Sampling Kosuke Imai Department of Politics, Princeton University February 19, 2013 Survey sampling is one of the most commonly use ata collection methos for social scientists. We begin by escribing
More informationensembles When working with density operators, we can use this connection to define a generalized Bloch vector: v x Tr x, v y Tr y
Ph195a lecture notes, 1/3/01 Density operators for spin- 1 ensembles So far in our iscussion of spin- 1 systems, we have restricte our attention to the case of pure states an Hamiltonian evolution. Toay
More informationarxiv: v1 [physics.class-ph] 20 Dec 2017
arxiv:1712.07328v1 [physics.class-ph] 20 Dec 2017 Demystifying the constancy of the Ermakov-Lewis invariant for a time epenent oscillator T. Pamanabhan IUCAA, Post Bag 4, Ganeshkhin, Pune - 411 007, Inia.
More informationAverage value of position for the anharmonic oscillator: Classical versus quantum results
verage value of position for the anharmonic oscillator: Classical versus quantum results R. W. Robinett Department of Physics, The Pennsylvania State University, University Park, Pennsylvania 682 Receive
More informationEntanglement is not very useful for estimating multiple phases
PHYSICAL REVIEW A 70, 032310 (2004) Entanglement is not very useful for estimating multiple phases Manuel A. Ballester* Department of Mathematics, University of Utrecht, Box 80010, 3508 TA Utrecht, The
More informationLie symmetry and Mei conservation law of continuum system
Chin. Phys. B Vol. 20, No. 2 20 020 Lie symmetry an Mei conservation law of continuum system Shi Shen-Yang an Fu Jing-Li Department of Physics, Zhejiang Sci-Tech University, Hangzhou 3008, China Receive
More informationTOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH
English NUMERICAL MATHEMATICS Vol14, No1 Series A Journal of Chinese Universities Feb 2005 TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH He Ming( Λ) Michael K Ng(Ξ ) Abstract We
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationExistence of equilibria in articulated bearings in presence of cavity
J. Math. Anal. Appl. 335 2007) 841 859 www.elsevier.com/locate/jmaa Existence of equilibria in articulate bearings in presence of cavity G. Buscaglia a, I. Ciuperca b, I. Hafii c,m.jai c, a Centro Atómico
More informationImplicit Lyapunov control of closed quantum systems
Joint 48th IEEE Conference on Decision an Control an 28th Chinese Control Conference Shanghai, P.R. China, December 16-18, 29 ThAIn1.4 Implicit Lyapunov control of close quantum systems Shouwei Zhao, Hai
More informationNonlinear Dielectric Response of Periodic Composite Materials
onlinear Dielectric Response of Perioic Composite aterials A.G. KOLPAKOV 3, Bl.95, 9 th ovember str., ovosibirsk, 639 Russia the corresponing author e-mail: agk@neic.nsk.su, algk@ngs.ru A. K.TAGATSEV Ceramics
More informationOn the enumeration of partitions with summands in arithmetic progression
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics
More informationarxiv: v4 [math.pr] 27 Jul 2016
The Asymptotic Distribution of the Determinant of a Ranom Correlation Matrix arxiv:309768v4 mathpr] 7 Jul 06 AM Hanea a, & GF Nane b a Centre of xcellence for Biosecurity Risk Analysis, University of Melbourne,
More informationLEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS
Ann. Sci. Math. Québec 33 (2009), no 2, 115 123 LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS TAKASHI AGOH Deicate to Paulo Ribenboim on the occasion of his 80th birthay. RÉSUMÉ.
More information05 The Continuum Limit and the Wave Equation
Utah State University DigitalCommons@USU Founations of Wave Phenomena Physics, Department of 1-1-2004 05 The Continuum Limit an the Wave Equation Charles G. Torre Department of Physics, Utah State University,
More informationProof by Mathematical Induction.
Proof by Mathematical Inuction. Mathematicians have very peculiar characteristics. They like proving things or mathematical statements. Two of the most important techniques of mathematical proof are proof
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationA nonlinear inverse problem of the Korteweg-de Vries equation
Bull. Math. Sci. https://oi.org/0.007/s3373-08-025- A nonlinear inverse problem of the Korteweg-e Vries equation Shengqi Lu Miaochao Chen 2 Qilin Liu 3 Receive: 0 March 207 / Revise: 30 April 208 / Accepte:
More informationChapter 2 Lagrangian Modeling
Chapter 2 Lagrangian Moeling The basic laws of physics are use to moel every system whether it is electrical, mechanical, hyraulic, or any other energy omain. In mechanics, Newton s laws of motion provie
More informationA LIMIT THEOREM FOR RANDOM FIELDS WITH A SINGULARITY IN THE SPECTRUM
Teor Imov r. ta Matem. Statist. Theor. Probability an Math. Statist. Vip. 81, 1 No. 81, 1, Pages 147 158 S 94-911)816- Article electronically publishe on January, 11 UDC 519.1 A LIMIT THEOREM FOR RANDOM
More informationThe effect of dissipation on solutions of the complex KdV equation
Mathematics an Computers in Simulation 69 (25) 589 599 The effect of issipation on solutions of the complex KV equation Jiahong Wu a,, Juan-Ming Yuan a,b a Department of Mathematics, Oklahoma State University,
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More information1 dx. where is a large constant, i.e., 1, (7.6) and Px is of the order of unity. Indeed, if px is given by (7.5), the inequality (7.
Lectures Nine an Ten The WKB Approximation The WKB metho is a powerful tool to obtain solutions for many physical problems It is generally applicable to problems of wave propagation in which the frequency
More informationSeparation of Variables
Physics 342 Lecture 1 Separation of Variables Lecture 1 Physics 342 Quantum Mechanics I Monay, January 25th, 2010 There are three basic mathematical tools we nee, an then we can begin working on the physical
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationThermal conductivity of graded composites: Numerical simulations and an effective medium approximation
JOURNAL OF MATERIALS SCIENCE 34 (999)5497 5503 Thermal conuctivity of grae composites: Numerical simulations an an effective meium approximation P. M. HUI Department of Physics, The Chinese University
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk - Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking three-imensional potentials in the next chapter, we shall in chapter 4 of this
More informationRemarks on time-energy uncertainty relations
Remarks on time-energy uncertainty relations arxiv:quant-ph/0207048v1 9 Jul 2002 Romeo Brunetti an Klaus Freenhagen II Inst. f. Theoretische Physik, Universität Hamburg, 149 Luruper Chaussee, D-22761 Hamburg,
More informationHow the potentials in different gauges yield the same retarded electric and magnetic fields
How the potentials in ifferent gauges yiel the same retare electric an magnetic fiels José A. Heras a Departamento e Física, E. S. F. M., Instituto Politécnico Nacional, México D. F. México an Department
More informationConservation Laws. Chapter Conservation of Energy
20 Chapter 3 Conservation Laws In orer to check the physical consistency of the above set of equations governing Maxwell-Lorentz electroynamics [(2.10) an (2.12) or (1.65) an (1.68)], we examine the action
More informationDissipative numerical methods for the Hunter-Saxton equation
Dissipative numerical methos for the Hunter-Saton equation Yan Xu an Chi-Wang Shu Abstract In this paper, we present further evelopment of the local iscontinuous Galerkin (LDG) metho esigne in [] an a
More informationPolynomial Inclusion Functions
Polynomial Inclusion Functions E. e Weert, E. van Kampen, Q. P. Chu, an J. A. Muler Delft University of Technology, Faculty of Aerospace Engineering, Control an Simulation Division E.eWeert@TUDelft.nl
More informationarxiv: v1 [cond-mat.stat-mech] 9 Jan 2012
arxiv:1201.1836v1 [con-mat.stat-mech] 9 Jan 2012 Externally riven one-imensional Ising moel Amir Aghamohammai a 1, Cina Aghamohammai b 2, & Mohamma Khorrami a 3 a Department of Physics, Alzahra University,
More informationHyperbolic Moment Equations Using Quadrature-Based Projection Methods
Hyperbolic Moment Equations Using Quarature-Base Projection Methos J. Koellermeier an M. Torrilhon Department of Mathematics, RWTH Aachen University, Aachen, Germany Abstract. Kinetic equations like the
More informationNOTES ON EULER-BOOLE SUMMATION (1) f (l 1) (n) f (l 1) (m) + ( 1)k 1 k! B k (y) f (k) (y) dy,
NOTES ON EULER-BOOLE SUMMATION JONATHAN M BORWEIN, NEIL J CALKIN, AND DANTE MANNA Abstract We stuy a connection between Euler-MacLaurin Summation an Boole Summation suggeste in an AMM note from 196, which
More informationSpectral Flow, the Magnus Force, and the. Josephson-Anderson Relation
Spectral Flow, the Magnus Force, an the arxiv:con-mat/9602094v1 16 Feb 1996 Josephson-Anerson Relation P. Ao Department of Theoretical Physics Umeå University, S-901 87, Umeå, SWEDEN October 18, 2018 Abstract
More informationVariational principle for limit cycles of the Rayleigh van der Pol equation
PHYICAL REVIEW E VOLUME 59, NUMBER 5 MAY 999 Variational principle for limit cycles of the Rayleigh van er Pol equation R. D. Benguria an M. C. Depassier Faculta e Física, Pontificia Universia Católica
More informationRelatively Prime Uniform Partitions
Gen. Math. Notes, Vol. 13, No., December, 01, pp.1-1 ISSN 19-7184; Copyright c ICSRS Publication, 01 www.i-csrs.org Available free online at http://www.geman.in Relatively Prime Uniform Partitions A. Davi
More informationCombinatorica 9(1)(1989) A New Lower Bound for Snake-in-the-Box Codes. Jerzy Wojciechowski. AMS subject classification 1980: 05 C 35, 94 B 25
Combinatorica 9(1)(1989)91 99 A New Lower Boun for Snake-in-the-Box Coes Jerzy Wojciechowski Department of Pure Mathematics an Mathematical Statistics, University of Cambrige, 16 Mill Lane, Cambrige, CB2
More informationQuantum mechanical approaches to the virial
Quantum mechanical approaches to the virial S.LeBohec Department of Physics an Astronomy, University of Utah, Salt Lae City, UT 84112, USA Date: June 30 th 2015 In this note, we approach the virial from
More informationCentrum voor Wiskunde en Informatica
Centrum voor Wiskune en Informatica Moelling, Analysis an Simulation Moelling, Analysis an Simulation Conservation properties of smoothe particle hyroynamics applie to the shallow water equations J.E.
More informationKinetics of radiationless energy transfer from upper excited states
1 August 1997 Ž Chemical Physics Letters 74 1997 171 176 Kinetics of raiationless energy transfer from upper excite states EN Bounov 1, MN Berberan-Santos, JMG Martinho Centro e Quımica-Fısica Molecular,
More informationApplication of the homotopy perturbation method to a magneto-elastico-viscous fluid along a semi-infinite plate
Freun Publishing House Lt., International Journal of Nonlinear Sciences & Numerical Simulation, (9), -, 9 Application of the homotopy perturbation metho to a magneto-elastico-viscous flui along a semi-infinite
More informationAcute sets in Euclidean spaces
Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of
More informationGeneralized Nonhomogeneous Abstract Degenerate Cauchy Problem
Applie Mathematical Sciences, Vol. 7, 213, no. 49, 2441-2453 HIKARI Lt, www.m-hikari.com Generalize Nonhomogeneous Abstract Degenerate Cauchy Problem Susilo Hariyanto Department of Mathematics Gajah Maa
More informationarxiv:quant-ph/ v2 23 Sep 2004
arxiv:quant-ph/0409096v 3 Sep 004 MUBs: From Finite Projective Geometry to Quantum Phase Enciphering H. C. ROSU, M. PLANAT, M. SANIGA Applie Math-IPICyT, Institut FEMTO-ST, Slovak Astronomical Institute
More informationQUANTUMMECHANICAL BEHAVIOUR IN A DETERMINISTIC MODEL. G. t Hooft
QUANTUMMECHANICAL BEHAVIOUR IN A DETERMINISTIC MODEL G. t Hooft Institute for Theoretical Physics University of Utrecht, P.O.Box 80 006 3508 TA Utrecht, the Netherlans e-mail: g.thooft@fys.ruu.nl THU-96/39
More informationArmenian Transformation Equations For Relativity
Armenian Transformation Equations For Relativity Robert Nazaryan an Haik Nazaryan 00th Anniversary of the Special Relativity Theory This Research one in Armenia 968-988, Translate from the Armenian Manuscript
More informationAn explicit version of Birch s Theorem
ACTA ARITHMETICA LXXXV.1 (1998) An explicit version of Birch s Theorem by Trevor D. Wooley (Ann Arbor, Mich.) 1. Introuction. Birch [1] has shown that a system of homogeneous polynomials with rational
More informationA Weak First Digit Law for a Class of Sequences
International Mathematical Forum, Vol. 11, 2016, no. 15, 67-702 HIKARI Lt, www.m-hikari.com http://x.oi.org/10.1288/imf.2016.6562 A Weak First Digit Law for a Class of Sequences M. A. Nyblom School of
More informationFunctional derivative of the kinetic energy functional for. spherically symmetric systems. Abstract
Functional derivative of the kinetic energy functional for spherically symmetric systems Á. Nagy Department of Theoretical Physics, University of Debrecen, H 401 0 Debrecen (April 26, 2011) Abstract Ensemble
More informationNew bounds on Simonyi s conjecture
New bouns on Simonyi s conjecture Daniel Soltész soltesz@math.bme.hu Department of Computer Science an Information Theory, Buapest University of Technology an Economics arxiv:1510.07597v1 [math.co] 6 Oct
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationA simple model for the small-strain behaviour of soils
A simple moel for the small-strain behaviour of soils José Jorge Naer Department of Structural an Geotechnical ngineering, Polytechnic School, University of São Paulo 05508-900, São Paulo, Brazil, e-mail:
More informationA check digit system over a group of arbitrary order
2013 8th International Conference on Communications an Networking in China (CHINACOM) A check igit system over a group of arbitrary orer Yanling Chen Chair of Communication Systems Ruhr University Bochum
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationThe Wiener Index of Trees with Prescribed Diameter
011 1 15 4 ± Dec., 011 Operations Research Transactions Vol.15 No.4 The Wiener Inex of Trees with Prescribe Diameter XING Baohua 1 CAI Gaixiang 1 Abstract The Wiener inex W(G) of a graph G is efine as
More informationA new proof of the sharpness of the phase transition for Bernoulli percolation on Z d
A new proof of the sharpness of the phase transition for Bernoulli percolation on Z Hugo Duminil-Copin an Vincent Tassion October 8, 205 Abstract We provie a new proof of the sharpness of the phase transition
More informationθ x = f ( x,t) could be written as
9. Higher orer PDEs as systems of first-orer PDEs. Hyperbolic systems. For PDEs, as for ODEs, we may reuce the orer by efining new epenent variables. For example, in the case of the wave equation, (1)
More informationA Model of Electron-Positron Pair Formation
Volume PROGRESS IN PHYSICS January, 8 A Moel of Electron-Positron Pair Formation Bo Lehnert Alfvén Laboratory, Royal Institute of Technology, S-44 Stockholm, Sween E-mail: Bo.Lehnert@ee.kth.se The elementary
More information1 Introuction In the past few years there has been renewe interest in the nerson impurity moel. This moel was originally propose by nerson [2], for a
Theory of the nerson impurity moel: The Schrieer{Wol transformation re{examine Stefan K. Kehrein 1 an nreas Mielke 2 Institut fur Theoretische Physik, uprecht{karls{universitat, D{69120 Heielberg, F..
More informationPhysics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1
Physics 5153 Classical Mechanics The Virial Theorem an The Poisson Bracket 1 Introuction In this lecture we will consier two applications of the Hamiltonian. The first, the Virial Theorem, applies to systems
More informationNonlinear Schrödinger equation with a white-noise potential: Phase-space approach to spread and singularity
Physica D 212 (2005) 195 204 www.elsevier.com/locate/phys Nonlinear Schröinger equation with a white-noise potential: Phase-space approach to sprea an singularity Albert C. Fannjiang Department of Mathematics,
More informationEXPONENTIAL STABILITY OF SOLUTIONS TO NONLINEAR TIME-DELAY SYSTEMS OF NEUTRAL TYPE GENNADII V. DEMIDENKO, INESSA I. MATVEEVA
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 19, pp. 1 20. ISSN: 1072-6691. URL: http://eje.math.txstate.eu or http://eje.math.unt.eu ftp eje.math.txstate.eu EXPONENTIAL STABILITY
More informationThe effect of nonvertical shear on turbulence in a stably stratified medium
The effect of nonvertical shear on turbulence in a stably stratifie meium Frank G. Jacobitz an Sutanu Sarkar Citation: Physics of Fluis (1994-present) 10, 1158 (1998); oi: 10.1063/1.869640 View online:
More informationUNDERSTANDING INTEGRATION
UNDERSTANDING INTEGRATION Dear Reaer The concept of Integration, mathematically speaking, is the "Inverse" of the concept of result, the integration of, woul give us back the function f(). This, in a way,
More informationLecture XII. where Φ is called the potential function. Let us introduce spherical coordinates defined through the relations
Lecture XII Abstract We introuce the Laplace equation in spherical coorinates an apply the metho of separation of variables to solve it. This will generate three linear orinary secon orer ifferential equations:
More informationExamining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing
Examining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing Course Project for CDS 05 - Geometric Mechanics John M. Carson III California Institute of Technology June
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationarxiv:physics/ v4 [physics.class-ph] 9 Jul 1999
AIAA-99-2144 PROPULSION THROUGH ELECTROMAGNETIC SELF-SUSTAINED ACCELERATION arxiv:physics/9906059v4 [physics.class-ph] 9 Jul 1999 Abstract As is known the repulsion of the volume elements of an uniformly
More informationConstruction of the Electronic Radial Wave Functions and Probability Distributions of Hydrogen-like Systems
Construction of the Electronic Raial Wave Functions an Probability Distributions of Hyrogen-like Systems Thomas S. Kuntzleman, Department of Chemistry Spring Arbor University, Spring Arbor MI 498 tkuntzle@arbor.eu
More informationSINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
Communications on Stochastic Analysis Vol. 2, No. 2 (28) 289-36 Serials Publications www.serialspublications.com SINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
More informationConservation laws a simple application to the telegraph equation
J Comput Electron 2008 7: 47 51 DOI 10.1007/s10825-008-0250-2 Conservation laws a simple application to the telegraph equation Uwe Norbrock Reinhol Kienzler Publishe online: 1 May 2008 Springer Scienceusiness
More informationON THE OPTIMALITY SYSTEM FOR A 1 D EULER FLOW PROBLEM
ON THE OPTIMALITY SYSTEM FOR A D EULER FLOW PROBLEM Eugene M. Cliff Matthias Heinkenschloss y Ajit R. Shenoy z Interisciplinary Center for Applie Mathematics Virginia Tech Blacksburg, Virginia 46 Abstract
More informationChapter 4. Electrostatics of Macroscopic Media
Chapter 4. Electrostatics of Macroscopic Meia 4.1 Multipole Expansion Approximate potentials at large istances 3 x' x' (x') x x' x x Fig 4.1 We consier the potential in the far-fiel region (see Fig. 4.1
More informationStable and compact finite difference schemes
Center for Turbulence Research Annual Research Briefs 2006 2 Stable an compact finite ifference schemes By K. Mattsson, M. Svär AND M. Shoeybi. Motivation an objectives Compact secon erivatives have long
More informationDarboux Transformations and Isospectral Potentials in Quantum Mechanics
Apeiron, Vol. 9, No. 3, July 00 0 Darboux Transformations an Isospectral Potentials in Quantum Mechanics J. López-Bonilla, J. Morales an G. Ovano. Sección e estuios e Posgrao e Investigación Escuela Superior
More informationON THE MEANING OF LORENTZ COVARIANCE
Founations of Physics Letters 17 (2004) pp. 479 496. ON THE MEANING OF LORENTZ COVARIANCE László E. Szabó Theoretical Physics Research Group of the Hungarian Acaemy of Sciences Department of History an
More informationEstimation of the Maximum Domination Value in Multi-Dimensional Data Sets
Proceeings of the 4th East-European Conference on Avances in Databases an Information Systems ADBIS) 200 Estimation of the Maximum Domination Value in Multi-Dimensional Data Sets Eleftherios Tiakas, Apostolos.
More informationSystems & Control Letters
Systems & ontrol Letters ( ) ontents lists available at ScienceDirect Systems & ontrol Letters journal homepage: www.elsevier.com/locate/sysconle A converse to the eterministic separation principle Jochen
More informationExponential asymptotic property of a parallel repairable system with warm standby under common-cause failure
J. Math. Anal. Appl. 341 (28) 457 466 www.elsevier.com/locate/jmaa Exponential asymptotic property of a parallel repairable system with warm stanby uner common-cause failure Zifei Shen, Xiaoxiao Hu, Weifeng
More information'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21
Large amping in a structural material may be either esirable or unesirable, epening on the engineering application at han. For example, amping is a esirable property to the esigner concerne with limiting
More informationIPA Derivatives for Make-to-Stock Production-Inventory Systems With Backorders Under the (R,r) Policy
IPA Derivatives for Make-to-Stock Prouction-Inventory Systems With Backorers Uner the (Rr) Policy Yihong Fan a Benamin Melame b Yao Zhao c Yorai Wari Abstract This paper aresses Infinitesimal Perturbation
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More information