Trotter-Kato product formula and symmetrically normed ideals (Q1305543): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jfan.1999.3435 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1977195150 / rank
 
Normal rank

Revision as of 20:27, 19 March 2024

scientific article
Language Label Description Also known as
English
Trotter-Kato product formula and symmetrically normed ideals
scientific article

    Statements

    Trotter-Kato product formula and symmetrically normed ideals (English)
    0 references
    4 October 1999
    0 references
    Given selfadjoint nonnegative operators \(A\) and \(B\) on a Hilbert space \({\mathcal H}\), \(H:= A+B\) is well-defined on \({\mathcal H}_0= \overline{{\mathcal D}(A^{1/2})\cap{\mathcal D}(B^{1/2})}\). On \({\mathcal H}_0\), the semigroup generated by \(H\) is approximated by the ones for \(A\) and \(B\) in the sense that \[ s\text{-} \lim_n(e^{-tA/n} e^{-tB/n})^n= e^{-tH} P_0,\quad t\geq 0, \] where \(P_0:{\mathcal H}\to{\mathcal H}_0\) is the orthogonal projection. The authors strengthen and extend this ``Trotter-Kato product formula'' to convergence results for symmetrically normed ideals (like the trace class ideal of operators) and replace the exponential function \(e^{-x}\) to more general functions \(f\) and \(g\). Taking \(0\leq f\), \(g\leq 1\), \(f(0)= g(0)= 1\), \(f'(0)= g'(0)= -1\) and letting \(F(t)= g(tB)^{1/2} f(tA) g(tB)^{1/2}\) or \(\widetilde F(t):= f(tA) g(tB)\), they give conditions when \[ \lim_{r\to\infty} \sup_{t\in [\tau_0,\tau]}\|F(t/r)^r- e^{-tH} P_0\|_\phi= 0 \] converges uniformly in the ideal norm \(\|\cdot\|_\phi\) away from \(0\) in the sense that \([\tau_0, \tau]\) is a compact interval in \((0,\infty)\). Convergence for \(F\) is equivalent to one for \(\widetilde F\) or similar constructs.
    0 references
    Trotter-Kato product formula
    0 references
    symmetrically normed ideals
    0 references
    trace class ideal
    0 references
    exponential function
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references