Baker–Campbell–Hausdorff formülü

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Matematikte, Baker–Campbell–Hausdorff formulü değişmeli olmayan X ve Y için.

Z = log(eX eY) ya çözümdür

Bu formül Lie cebirine bağlantılı Lie grupları geleneksel koordinatlar içinde bir Lie cebiri ögeleri olarak iki Lie grup ögelerinin çarpımının logaritma ifadesi ile ,bir takdir anlamlı rehberlik bağlantısıdır(Hausdorff 1906)[1] teorinin tam gelişmesi öncesidir .

Bu Henry Frederick Baker John Edward Campbell, ve Felix Hausdorff adınadır. Campbell ile ilk notlarının içinde yazılı idi Henri Poincaré tarafından ayrıntılandırılmıştır (1899) ve Baker (1902)tarafından geometriksel olarak sistematize edildi ve Hausdorff (1906) ile Jacobi özdeşliğine bağlandı.[1]

Baker–Campbell–Hausdorff formulü[değiştir | kaynağı değiştir]

Baker–Campbell–Hausdorff formulü ifadesi eğer X ve Y bazı \mathfrak g Lie cebiri içinde karakteristik 0'ın herhangi bir alanı üzerinde tanımlanır, ise

log(exp(X) exp(Y)),

\mathfrak g 'nin resmi bir sonsuz toplamı olarak yazılabilir. Bir çok uygulamalar, birinin bu sonsuz toplamı için açık bir ifade gerekiyor, ama sadece onun varlığından güvencesi, ve aşağıdaki gibi görülebilir değildir.halka

S = R[[X,Y]]

tüm değişmeli-olmayan resmi kuvvet serisinin X ve Y değişmeli-olmayan değişkenleri içinde bir halka homomorfizmi Δ S den

SS'in tamamlanmasına ,

eşçarpım denir, böylece

Δ(X) = X⊗1 + 1⊗X

ve Y için aynıdır . (Eşçarpımı tanımı kural Δ(XY) = Δ(X)Δ(Y) )tarafından yinelemeli uzatıldı).Bu, aşağıdaki özelliklere sahiptir:

Bir açık Baker–Campbell–Hausdorff formulü[değiştir | kaynağı değiştir]

özel olarak, diyelimki G bir basit-bağlantılı Lie grubu ile Lie cebri \mathfrak g'dir. Diyelimki

\exp : \mathfrak g\rightarrow  G

üstel gönderme olsun.Aşağıda genel kombinatorik formülü Eugene Dynkin (1947)tarafından tanıtıldı:[2]

\log(\exp X\exp Y) =
\sum_{n>0}\frac {(-1)^{n-1}}{n}
\sum_{ \begin{smallmatrix} {r_i + s_i > 0} \\ {1\le i \le n} \end{smallmatrix}}
\frac{(\sum_{i=1}^n (r_i+s_i))^{-1}}{r_1!s_1!\cdots r_n!s_n!}
[ X^{r_1} Y^{s_1} X^{r_2} Y^{s_2} \ldots X^{r_n} Y^{s_n} ],

Burada s_n ve r_n negatif-olmayan tamsayı, ve aşağıdaki gösterim kulanılıyor:

 [ X^{r_1} Y^{s_1} \ldots X^{r_n} Y^{s_n} ] = [ \underbrace{X,[X,\ldots[X}_{r_1} ,[ \underbrace{Y,[Y,\ldots[Y}_{s_1} ,\,\ldots\, [ \underbrace{X,[X,\ldots[X}_{r_n} ,[ \underbrace{Y,[Y,\ldots Y}_{s_n} ]]\ldots]].

Bu terim sıfır ise s_n > 1 veya eğer s_n = 0 ve r_n > 1.[3]

ilk birkaç terimler iyi-biliniyor, tüm yüksek-dereceli terimler [X,Y] içerir ve komutatör yerleştirmelerin (böylece Lie cebri içinde):

\begin{align}
Z(X,Y)&{}=\log(\exp X\exp Y) \\
&{}= X + Y + \frac{1}{2}[X,Y] +
\frac{1}{12}[X,[X,Y]] - \frac{1}{12}[Y,[X,Y]] \\
&{}\quad
- \frac {1}{24}[Y,[X,[X,Y]]]  \\
&{}\quad
- \frac{1}{720}([[[[X,Y],Y],Y],Y] +[[[[Y,X],X],X],X])
\\
&{}\quad +\frac{1}{360}([[[[X,Y],Y],Y],X]+[[[[Y,X],X],X],Y])\\
&{}\quad
+ \frac{1}{120}([[[[Y,X],Y],X],Y] +[[[[X,Y],X],Y],X])
+ \cdots
\end{align}

Unutmadan XY (anti-)/açılımın alterne dereceleri içinde simetriden, dolayı Z(YX) = −Z(−X,−Y).

Seçilmiş izlenebilir durumlar[değiştir | kaynağı değiştir]

Burada kapalı form içinde keyfi bir Lie cebiri, istisnai durumlar izlenebilir olmasına rağmen, bu gibi uygulamalarda genişleme dışarı çalışmak için verimli algoritmalardır.

Örneğin, Eğer [X,Y] yokolursa, yukardaki formul X+Y'ye indirgenir. Eğer komutatör [X,Y] bir skaler (merkez,bkz nilpotent Heisenberg grup), ise neredeyse ilk üç terimler sağ taraf üzerinde yukarda kaybolur. Bu bozunmuş durum kuantum mekanikte rutin kullanılıyor, aşağıda gösterilmiştir.

Campbell–Baker–Hausdorff formulünün diğer formları, Y ögelerinin terimleri içinde açılım vurgulanıyor (ve doğrusal eş endomorfizma gösterimi kullanılıyor, adX Y ≡ [X,Y]), iyi bir sunum:

\log(\exp X\exp Y) = X + \frac{\text{ad} _X ~ e^{\operatorname{ad} _X}}{e^{\operatorname{ad} _X}-1} ~ Y + O(Y^2),

Aşağıdaki integral formülde anlaşılacağı gibi. (İç içe komütatörlerinin katsayıları Y doğrusal normalize Bernoulli sayılarıdır, aşağıda ana hatları var.)

Böylece, bazı sıfır-hariç s için eğer komutatör [X,Y]=sY olursa ,bu formul sadece Z = X + sY / (1 − exp(−s)) ye indirgenir, bu o zaman özdeş örgü özdeşlikliğine yolaçar,şöyleki

e^{X} e^{Y} = e^{\exp (s) ~Y} e^{X}~,

veya eş genişlik,

e^{X} e^{Y} e^{-X} = e^{\exp (s) ~Y} ~.

Burada fizik rutin uygulamalarında iyi bilinen sayıların bu bağlantılarıdır.[4]yaygın bir integral formülü[5] dür

\log(\exp X\exp Y) =   X + \left ( \int^1_0 \psi \left ( e^{\operatorname{ad} _X} ~ e^{t \,\text{ad} _ Y}\right ) \, dt \right) \, Y,

Bernoulli sayıları için üreteç fonksiyonunu içerir,

 \psi(x) \equiv \frac{x \log x}{x-1}= 1- \sum^\infty_{n=1}
{(1-x)^n \over n (n+1)}  ~,

Poincaré ve Hausdorff tarafından kullanılan. hatırlatma

\psi(e^y)=\sum_{n=0}^\infty B_n ~ y^n/n! ,

Bernoulli sayıları için, B0 = 1, B1 = 1/2, B2 = 1/6, B4 = −1/30, ...

Lie grup matris gösterimleri[değiştir | kaynağı değiştir]

bir matris Lie grup G \sub \mbox{GL}(n,\mathbb{R}) için Lie cebiri I'nın özdeş tanjant uzayıdır, ve komutatör basitçe [XY] = XY − YX; üstel gönderme matrislerin standart üstel haritasıdır,

\exp X = e^X = \sum_{n=0}^\infty {\frac{X^n}{n!}}.

Z için bir çözümü

e^Z = e^X e^Y,\,\!

Bir basit bir formul elde eder:

 Z =
\sum_{n>0}
\frac{(-1)^{n-1}}{n}
\sum_{\begin{smallmatrix} r_i+s_i>0\,
                     \\ 1\le i\le n\end{smallmatrix}}
\frac{X^{r_1}Y^{s_1}\cdots X^{r_n}Y^{s_n}}{r_1!s_1!\cdots r_n!s_n!}.

Birinci, ikinci, üçüncü, ve dördünci sıralı terimlerdir:

  • z_1 = X + Y\,\!
  • z_2 = \frac{1}{2} (XY - YX)
  • z_3 = \frac{1}{12} (X^2Y + XY^2 - 2XYX + Y^2X + YX^2 - 2YXY)
  • z_4 = \frac{1}{24} (X^2Y^2 - 2XYXY - Y^2X^2 + 2YXYX).

Ayrıca bakınız[değiştir | kaynağı değiştir]


Kaynakça[değiştir | kaynağı değiştir]

  1. ^ a b F. Hausdorff, "Die symbolische Exponentialformel in der Gruppentheorie", Ber Verh Saechs Akad Wiss Leipzig 58 (1906) 19–48.
  2. ^ Dynkin, Eugene Borisovich (1947). "Вычисление коэффициентов в формуле Campbell–Hausdorff [Calculation of the coefficients in the Campbell–Hausdorff formula]" (Russian). Doklady Akademii Nauk SSSR 57: 323–326. 
  3. ^ A.A. Sagle & R.E. Walde, "Introduction to Lie Groups and Lie Algebras", Academic Press, New York, 1973. ISBN 0-12-614550-4.
  4. ^ Magnus, W. (1954). "On the exponential solution of differential equations for a linear operator". Communications on Pure and Applied Mathematics 7 (4): 649–673. doi:10.1002/cpa.3160070404. 
  5. ^ W. Miller, Symmetry Groups and their Applications, Academic Press, New York, 1972, pp 159–161. ISBN 0-12-497460-0

Dış bağlantılar[değiştir | kaynağı değiştir]