{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T18:06:20Z","timestamp":1781633180188,"version":"3.54.5"},"reference-count":47,"publisher":"American Mathematical Society (AMS)","issue":"280","license":[{"start":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T00:00:00Z","timestamp":1361491200000},"content-version":"am","delay-in-days":366,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    In this paper, we consider Langevin processes with mechanical constraints. The latter are a fundamental tool in molecular dynamics simulation for sampling purposes and for the computation of free energy differences. The results of this paper can be divided into three parts. (i) We propose a simple discretization of the constrained Langevin process based on a splitting strategy. We show how to correct the scheme so that it samples\n                    <italic>exactly<\/italic>\n                    the canonical measure restricted on a submanifold, using a Metropolis-Hastings correction in the spirit of the Generalized Hybrid Monte Carlo (GHMC) algorithm. Moreover, we obtain, in some limiting regime, a consistent discretization of the overdamped Langevin (Brownian) dynamics on a submanifold, also sampling exactly the correct canonical measure with constraints. (ii) For free energy computation using thermodynamic integration, we rigorously prove that the longtime average of the Lagrange multipliers of the constrained Langevin dynamics yields the gradient of a rigid version of the free energy associated with the constraints. A second order time discretization using the Lagrange multipliers is proposed. (iii) The Jarzynski-Crooks fluctuation relation is proved for Langevin processes with mechanical constraints evolving in time. An original numerical discretization without time discretization error is proposed, and its overdamped limit is studied. Numerical illustrations are provided for (ii) and (iii).\n                  <\/p>","DOI":"10.1090\/s0025-5718-2012-02594-4","type":"journal-article","created":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T10:52:43Z","timestamp":1329907963000},"page":"2071-2125","source":"Crossref","is-referenced-by-count":57,"title":["Langevin dynamics with constraints and computation of free energy differences"],"prefix":"10.1090","volume":"81","author":[{"given":"Tony","family":"Leli\u00e8vre","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriel","family":"Stoltz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"14","published-online":{"date-parts":[[2012,2,22]]},"reference":[{"issue":"10","key":"1","doi-asserted-by":"publisher","first-page":"4934","DOI":"10.1016\/j.jcp.2008.01.023","article-title":"GSHMC: an efficient method for molecular simulation","volume":"227","author":"Akhmatskaya, Elena","year":"2008","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"key":"2","series-title":"Oxford Mathematical Monographs","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198502456.001.0001","volume-title":"Functions of bounded variation and free discontinuity problems","author":"Ambrosio, Luigi","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/0198502451"},{"key":"3","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2063-1","volume-title":"Mathematical methods of classical mechanics","volume":"60","author":"Arnol\u2032d, V. I.","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/0387968903","edition":"2"},{"issue":"1","key":"4","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1137\/090758842","article-title":"Long-run accuracy of variational integrators in the stochastic context","volume":"48","author":"Bou-Rabee, Nawaf","year":"2010","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"issue":"2","key":"5","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s00220-008-0502-9","article-title":"Fluctuation relations for diffusion processes","volume":"282","author":"Chetrite, Rapha\u00ebl","year":"2008","journal-title":"Comm. Math. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-3616","issn-type":"print"},{"key":"6","doi-asserted-by":"crossref","unstructured":"C. Chipot and A. Pohorille (eds.), Free energy calculations, Springer Series in Chemical Physics, vol. 86, Springer, 2007.","DOI":"10.1007\/978-3-540-38448-9"},{"key":"7","doi-asserted-by":"crossref","unstructured":"N. Chopin, T. Leli\u00e8vre, and G. Stoltz, Free energy methods for bayesian inference: Efficient exploration of univariate gaussian mixture posteriors, Stat. Comput., arXiv:1003.0428v4, (2011).","DOI":"10.1007\/s11222-011-9257-9"},{"key":"8","doi-asserted-by":"crossref","unstructured":"G. Ciccotti, R. Kapral, and E. Vanden-Eijnden, Blue Moon sampling, vectorial reaction coordinates, and unbiased constrained dynamics, Chem. Phys. Chem 6 (2005), no. 9, 1809\u20131814.","DOI":"10.1002\/cphc.200400669"},{"issue":"3","key":"9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1002\/cpa.20210","article-title":"Projection of diffusions on submanifolds: application to mean force computation","volume":"61","author":"Ciccotti, Giovanni","year":"2008","journal-title":"Comm. Pure Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-3640","issn-type":"print"},{"issue":"5-6","key":"10","doi-asserted-by":"publisher","first-page":"1481","DOI":"10.1023\/A:1023208217925","article-title":"Nonequilibrium measurements of free energy differences for microscopically reversible Markovian systems","volume":"90","author":"Crooks, Gavin E.","year":"1998","journal-title":"J. Statist. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4715","issn-type":"print"},{"key":"11","doi-asserted-by":"crossref","unstructured":"\\bysame, Entropy production fluctuation theorem and the nonequilibrium work relation for free-energy differences, Phys. Rev. E 60 (1999), no. 3, 2721\u20132726.","DOI":"10.1103\/PhysRevE.60.2721"},{"key":"12","doi-asserted-by":"crossref","unstructured":"E. Darve, Thermodynamic integration using constrained and unconstrained dynamics, Free Energy Calculations (C. Chipot and A. Pohorille, eds.), Springer, 2007, pp. 119\u2013170.","DOI":"10.1007\/978-3-540-38448-9_4"},{"key":"13","doi-asserted-by":"crossref","unstructured":"C. Dellago, P. G. Bolhuis, and D. Chandler, On the calculation of reaction rate constants in the transition path ensemble, J. Chem. Phys. 110 (1999), no. 14, 6617\u20136625.","DOI":"10.1063\/1.478569"},{"key":"14","doi-asserted-by":"crossref","unstructured":"W. K. den Otter, Thermodynamic integration of the free energy along a reaction coordinate in Cartesian coordinates, J. Chem. Phys. 112 (2000), no. 17, 7283\u20137292.","DOI":"10.1063\/1.481329"},{"key":"15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.4153\/cjm-1950-012-1","article-title":"Generalized Hamiltonian dynamics","volume":"2","author":"Dirac, P. A. M.","year":"1950","journal-title":"Canad. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0008-414X","issn-type":"print"},{"key":"16","doi-asserted-by":"crossref","unstructured":"S. Duane, A. D. Kennedy, B. J. Pendleton, and D. Roweth, Hybrid Monte-Carlo, Phys. Lett. B 195 (1987), no. 2, 216\u2013222.","DOI":"10.1016\/0370-2693(87)91197-X"},{"key":"17","series-title":"Applications of Mathematics (New York)","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12880-0","volume-title":"Random iterative models","volume":"34","author":"Duflo, Marie","year":"1997","ISBN":"https:\/\/id.crossref.org\/isbn\/3540571000"},{"key":"18","isbn-type":"print","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-18756-8_3","article-title":"Metastability, conformation dynamics, and transition pathways in complex systems","author":"E, Weinan","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540211802"},{"key":"19","series-title":"Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316658","volume-title":"Markov processes","author":"Ethier, Stewart N.","year":"1986","ISBN":"https:\/\/id.crossref.org\/isbn\/0471081868"},{"key":"20","series-title":"Studies in Advanced Mathematics","isbn-type":"print","volume-title":"Measure theory and fine properties of functions","author":"Evans, Lawrence C.","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/0849371570"},{"key":"21","doi-asserted-by":"crossref","unstructured":"M. Fixman, Simulation of polymer dynamics. I. General theory, J. Chem. Phys. 69 (1978), 1527\u20131537.","DOI":"10.1063\/1.436725"},{"key":"22","series-title":"Springer Series in Computational Mathematics","isbn-type":"print","volume-title":"Geometric numerical integration","volume":"31","author":"Hairer, Ernst","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/3540306633","edition":"2"},{"issue":"4","key":"23","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s10955-007-9470-2","article-title":"An ergodic sampling scheme for constrained Hamiltonian systems with applications to molecular dynamics","volume":"130","author":"Hartmann, Carsten","year":"2008","journal-title":"J. Stat. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4715","issn-type":"print"},{"issue":"10","key":"24","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1002\/zamm.200410218","article-title":"A constrained hybrid Monte-Carlo algorithm and the problem of calculating the free energy in several variables","volume":"85","author":"Hartmann, Carsten","year":"2005","journal-title":"ZAMM Z. Angew. Math. Mech.","ISSN":"https:\/\/id.crossref.org\/issn\/0044-2267","issn-type":"print"},{"issue":"1","key":"25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4310\/cms.2005.v3.n1.a1","article-title":"A geometric approach to constrained molecular dynamics and free energy","volume":"3","author":"Hartmann, Carsten","year":"2005","journal-title":"Commun. Math. Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/1539-6746","issn-type":"print"},{"issue":"1","key":"26","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.physd.2007.02.006","article-title":"Comment on two distinct notions of free energy","volume":"228","author":"Hartmann, Carsten","year":"2007","journal-title":"Phys. D","ISSN":"https:\/\/id.crossref.org\/issn\/0167-2789","issn-type":"print"},{"key":"27","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF02392081","article-title":"Hypoelliptic second order differential equations","volume":"119","author":"H\u00f6rmander, Lars","year":"1967","journal-title":"Acta Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-5962","issn-type":"print"},{"key":"28","doi-asserted-by":"crossref","unstructured":"A. M. Horowitz, A generalized guided Monte Carlo algorithm, Phys. Lett. B 268 (1991), 247\u2013252.","DOI":"10.1016\/0370-2693(91)90812-5"},{"key":"29","doi-asserted-by":"crossref","unstructured":"C. Jarzynski, Nonequilibrium equality for free energy differences, Phys. Rev. Lett. 78 (1997), no. 14, 2690\u20132693.","DOI":"10.1103\/PhysRevLett.78.2690"},{"issue":"2","key":"30","first-page":"690","article-title":"Recurrence and invariant measures for degenerate diffusions","volume":"15","author":"Kliemann, Wolfgang","year":"1987","journal-title":"Ann. Probab.","ISSN":"https:\/\/id.crossref.org\/issn\/0091-1798","issn-type":"print"},{"key":"31","doi-asserted-by":"crossref","unstructured":"J. Latorre, C. Hartmann, and Ch. Sch\u00fctte, Free energy computation by controlled Langevin processes, Procedia Computer Science 1 (2010), 1591\u20131600.","DOI":"10.1016\/j.procs.2010.04.179"},{"key":"32","doi-asserted-by":"crossref","unstructured":"B. J. Leimkuhler and S. Reich, Simulating Hamiltonian dynamics, Cambridge Monographs on Applied and Computational Mathematics, vol. 14, Cambridge University Press, 2005.","DOI":"10.1017\/CBO9780511614118"},{"issue":"1","key":"33","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1006\/jcph.1994.1085","article-title":"Symplectic numerical integrators in constrained Hamiltonian systems","volume":"112","author":"Leimkuhler, Benedict J.","year":"1994","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"issue":"2","key":"34","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1016\/j.jcp.2006.08.003","article-title":"Computation of free energy differences through nonequilibrium stochastic dynamics: the reaction coordinate case","volume":"222","author":"Leli\u00e8vre, Tony","year":"2007","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"key":"35","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1142\/9781848162488","volume-title":"Free energy computations","author":"Leli\u00e8vre, Tony","year":"2010","ISBN":"https:\/\/id.crossref.org\/isbn\/9781848162471"},{"key":"36","unstructured":"T. Leli\u00e8vre, M. Rousset, and G. Stoltz, Langevin dynamics with constraints and computation of free energy differences, arXiv preprint 1006.4914 (2010)."},{"key":"37","doi-asserted-by":"crossref","unstructured":"P. B. Mackenzie, An improved hybrid Monte Carlo method, Phys. Lett. B 226 (1989), no. 3-4, 369\u2013371.","DOI":"10.1016\/0370-2693(89)91212-4"},{"key":"38","series-title":"Texts in Applied Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21792-5","volume-title":"Introduction to mechanics and symmetry","volume":"17","author":"Marsden, Jerrold E.","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/038798643X","edition":"2"},{"issue":"4","key":"39","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1093\/imanum\/23.4.593","article-title":"Quasi-symplectic methods for Langevin-type equations","volume":"23","author":"Milstein, G. N.","year":"2003","journal-title":"IMA J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0272-4979","issn-type":"print"},{"key":"40","series-title":"Scientific Computation","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10063-9","volume-title":"Stochastic numerics for mathematical physics","author":"Milstein, G. N.","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540211101"},{"key":"41","doi-asserted-by":"crossref","unstructured":"D. D. L. Minh and A. B. Adib, Optimized free energies from bidirectional single-molecule force spectroscopy, Phys. Rev. Lett. 100 (2008), 180602.","DOI":"10.1103\/PhysRevLett.100.180602"},{"key":"42","doi-asserted-by":"crossref","unstructured":"S. Park, F. Khalili-Araghi, E. Tajkhorshid, and K. Schulten, Free energy calculation from steered molecular dynamics simulations using Jarzynski\u2019s equality, J. Chem. Phys. 119 (2003), no. 6, 3559\u20133566.","DOI":"10.1063\/1.1590311"},{"key":"43","unstructured":"D. C. Rapaport, The art of molecular dynamics simulations, Cambridge University Press, 1995."},{"issue":"3-4","key":"44","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/S0167-2789(99)00200-6","article-title":"Smoothed Langevin dynamics of highly oscillatory systems","volume":"138","author":"Reich, Sebastian","year":"2000","journal-title":"Phys. D","ISSN":"https:\/\/id.crossref.org\/issn\/0167-2789","issn-type":"print"},{"key":"45","doi-asserted-by":"crossref","unstructured":"J. Schlitter and M. Kl\u00e4hn, A new concise expression for the free energy of a reaction coordinate, J. Chem. Phys. 118 (2003), no. 5, 2057\u20132060.","DOI":"10.1063\/1.1534578"},{"key":"46","doi-asserted-by":"crossref","unstructured":"J. E. Straub, M. Borkovec, and B. J. Berne, Molecular-dynamics study of an isomerizing diatomic in a Lennard-Jones fluid, J. Chem. Phys. 89 (1988), no. 8, 4833\u20134847.","DOI":"10.1063\/1.455678"},{"key":"47","doi-asserted-by":"crossref","unstructured":"E. Vanden-Eijnden and G. Ciccotti, Second-order integrators for Langevin equations with holonomic constraints, Chem. Phys. Lett. 429 (2006), no. 1-3, 310\u2013316.","DOI":"10.1016\/j.cplett.2006.07.086"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2012-81-280\/S0025-5718-2012-02594-4\/S0025-5718-2012-02594-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2012-81-280\/S0025-5718-2012-02594-4\/S0025-5718-2012-02594-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T17:20:15Z","timestamp":1776792015000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2012-81-280\/S0025-5718-2012-02594-4\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,22]]},"references-count":47,"journal-issue":{"issue":"280","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["S0025-5718-2012-02594-4"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-2012-02594-4","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2012,2,22]]}}}