Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
semigroups of operators
|
| gptkbp:describes |
approximation of exponentials of operator sums
|
| gptkbp:field |
gptkb:mathematics
functional analysis operator theory |
| gptkbp:generalizes |
Lie–Trotter–Kato formula
|
| https://www.w3.org/2000/01/rdf-schema#label |
Trotter product formula
|
| gptkbp:namedAfter |
gptkb:Hale_F._Trotter
|
| gptkbp:publicationYear |
1959
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_American_Mathematical_Society
|
| gptkbp:relatedTo |
Lie product formula
Suzuki–Trotter decomposition |
| gptkbp:sentence |
For (possibly unbounded) operators A and B, exp(t(A+B)) = lim_{n→∞} (exp(tA/n) exp(tB/n))^n under suitable conditions.
|
| gptkbp:usedIn |
numerical analysis
quantum mechanics |
| gptkbp:bfsParent |
gptkb:Helen_Gertrude_Trotter
gptkb:H._F._Trotter gptkb:Trotterization |
| gptkbp:bfsLayer |
8
|