0 Daumen
242 Aufrufe

Kann mir jemand bei folgender Aufgabe helfen? Danke!

Es sei A \mathcal{A} eine Banach-Algebra mit Einselement I I , nicht notwendig kommutativ. Für aA a \in \mathcal{A} mit a<1 \|a\|<1 definiert man
log(I+a) : =n=1(1)n+1nan.\log (I+a):=\sum \limits_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} a^{n} .
(Wegen a<1 \|a\|<1 konvergiert diese Reihe in der Operatornorm.) Zeigen Sie:
(a) exp(log(I+a))=I+a \exp (\log (I+a))=I+a ,
(b) für ar<1 \|a\| \leq r<1 ist log(I+a)ara2 \|\log (I+a)-a\| \lesssim r\|a\|^{2} ,
(c) für a,bA a, b \in \mathcal{A} und m>max(a,b) m>\max (\|a\|,\|b\|) ist
log(eamebm)ambma,b1m2.\left\|\log \left(e^{\frac{a}{m}} e^{\frac{b}{m}}\right)-\frac{a}{m}-\frac{b}{m}\right\| \lesssim a, b \frac{1}{m^{2}} .
Folgern Sie die "Lie-product-formula"
ea+b=limm(eamebm)m.e^{a+b}=\lim \limits_{m \rightarrow \infty}\left(e^{\frac{a}{m}} e^{\frac{b}{m}}\right)^{m} .
(Bemerkung: Das Symbol xa,b,y x \lesssim_{a, b, \ldots} y bedeutet: Es gibt eine Konstante C=C(a,b,. C=C(a, b, . .),so ) , so dass xCy x \leq C y .)

Avatar von

Ein anderes Problem?

Stell deine Frage