- #1

- 10

- 0

I am interested as to how one shows the relation holds when computing s = 1. Any thoughts?

- Thread starter Karliski
- Start date

- #1

- 10

- 0

I am interested as to how one shows the relation holds when computing s = 1. Any thoughts?

- #2

Ben Niehoff

Science Advisor

Gold Member

- 1,879

- 162

[tex]f(s) = e^{sA} B e^{-sA}[/tex]

Then differentiate it a few times with respect to s:

[tex]f'(s) = e^{sA} A B e^{-sA} - e^{sA} B A e^{-sA} = e^{sA} [A,B] e^{-sA}[/tex]

[tex]f''(s) = e^{sA} A [A,B] e^{-sA} - e^{sA} [A,B] A e^{-sA} = e^{sA} [A, [A,B]] e^{-sA}[/tex]

[tex]f'''(s) = e^{sA} [A, [A, [A,B]]] e^{-sA}[/tex]

etc.

Now construct the Taylor series for f(s):

[tex]f(s) = f(0) + s f'(0) + \frac12 s^2 f''(0) + \frac1{3!} s^3 f'''(0) + ...[/tex]

[tex]e^{sA} B e^{-sA} = B + [A,B] s + \frac12 [A, [A, B]] s^2 + \frac1{3!} [A, [A, [A, B]]] s^3 + ...[/tex]

Finally, evaluate the above at s=1 to get the result.

- #3

- 10

- 0

Hi,

Thanks, yes that is what I also did. The "parametric induction" term threw me off.

Thanks, yes that is what I also did. The "parametric induction" term threw me off.

- Replies
- 2

- Views
- 2K

- Replies
- 7

- Views
- 4K

- Last Post

- Replies
- 5

- Views
- 8K

- Last Post

- Replies
- 1

- Views
- 5K

- Last Post

- Replies
- 6

- Views
- 9K

- Last Post

- Replies
- 2

- Views
- 4K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 9

- Views
- 2K

- Replies
- 3

- Views
- 7K