Verlet Entegrasyonu
Verlet algoritması ve hız formu, moleküler dinamiklerin standart entegratörleri olup, zamanla tersine çevrilebilir, simplektik olmaları ve bir simülasyonun gerektirdiği milyonlarca adım boyunca enerjiyi iyi korumaları nedeniyle tercih edilmektedir.
Tanım
Verlet entegrasyonu, Newton'un hareket denklemlerini entegre etmek için kullanılan, zamanla tersine çevrilebilir ve simplektik bir yöntemdir. Bu yöntem, parçacık konumlarını mevcut ve önceki konumlar ile ivmeyi kullanarak güncellemekte ve moleküler dinamikler için kararlı yörüngeler sağlamaktadır.
Kapsam
Bu konu, Verlet entegratör ailesini; orijinal konum Verlet şeması, eşdeğer leapfrog ve hız Verlet formülasyonları, bunların zamanla tersine çevrilebilirliği ve simplektik yapısı ile ortaya çıkan uzun vadeli enerji korunumu yönleriyle ele almaktadır. Bu yöntemler, Hamilton sistemlerinin simplektik entegrasyonuna dair daha geniş teori içinde konumlandırılmaktadır.
Temel sorular
- Verlet şeması, kuvvetlerden konumları ve hızları nasıl ilerletmektedir?
- Verlet algoritması neden zamanla tersine çevrilebilir ve simplektiktir?
- Verlet entegrasyonu, çok uzun simülasyonlarda enerjiyi neden iyi korumaktadır?
- Konum, leapfrog ve hız Verlet formülasyonları birbirleriyle nasıl ilişkilidir?
Temel kuramlar
- Simplektik ve Zamanla Tersine Çevrilebilir Yapı
- Verlet entegrasyonu, faz uzayının simplektik geometrisini korumakta ve zaman tersine çevrilmesi altında değişmez kalmaktadır. Bu özellikler, korunumlu sistemlerin simplektik olmayan entegratörlerini etkileyen sistematik enerji kaymasını birlikte önlemektedir.
- Gölge Hamiltoniyen Korumu
- Ayrık Verlet yörüngesi gerçek enerjiyi tam olarak korumasa da, yakından ilişkili bir gölge Hamiltoniyeni neredeyse korumakta, enerji hatasını sınırlı ve salınımlı tutarak büyümesini engellemektedir.
- Eşdeğer Formülasyonlar
- Konum Verlet, leapfrog ve hız Verlet şemaları aynı yörüngeyi üretmekle birlikte, hızların nasıl ve ne zaman mevcut olduğu konusunda farklılık göstermektedirler. Senkronize konum ve hızlar gerektiğinde hız Verlet tercih edilmektedir.
Klinik önem
Verlet entegrasyonu, basit Lennard-Jones akışkanlarından büyük biyomoleküler simülasyonlara kadar hemen hemen tüm moleküler dinamik kodlarında varsayılan zaman adımlama motoru olarak işlev görmektedir. Aynı simplektik prensip, astronomide uzun vadeli yörünge entegrasyonunda da kullanılmaktadır.
Tarihçe
Bu şema, yirminci yüzyılın başlarında astronom Carl Stormer tarafından kullanılmış ve Loup Verlet tarafından 1967'deki Lennard-Jones akışkanları üzerine yaptığı çalışmada moleküler simülasyon için popüler hale getirilmiştir. Daha sonraki analizler, bu şemanın simplektik bir entegratör olduğunu göstermiş ve mükemmel uzun vadeli kararlılığını açıklamıştır.
Öne çıkan isimler
- Loup Verlet
- Carl Stormer
- Ernst Hairer
İlgili konular
Temel eserler
- verlet1967
- hairer1993
Sıkça sorulan sorular
- Moleküler dinamiklerde neden daha yüksek dereceli bir Runge-Kutta yöntemi yerine Verlet tercih edilmektedir?
- Runge-Kutta adım başına daha doğru olabilse de, simplektik değildir ve uzun süreli çalışmalarda enerjide yavaşça kayma göstermektedir. Verlet'in simplektik, zamanla tersine çevrilebilir yapısı, enerjiyi milyonlarca adım boyunca sınırlı tutmaktadır ki bu durum, denge simülasyonları için adım başına doğruluktan çok daha önemlidir.
- Verlet enerjiyi tam olarak korur mu?
- Hayır. Tam enerjiyi değil, yakındaki bir gölge Hamiltoniyeni korumaktadır. Bu nedenle, ölçülen enerji uzaklaşmak yerine sınırlı bir bant içinde salınım yapmaktadır ki bu durum, kararlı termodinamik ortalamaları hesaplamak için yeterlidir.