Verified computation for the matrix Lambert \(W\) function

DOI10.1016/j.amc.2019.06.069zbMath1433.65088OpenAlexW2956304787WikidataQ127469673 ScholiaQ127469673MaRDI QIDQ2286071

Shinya Miyajima

Publication date: 9 January 2020

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2019.06.069

zbMATH Keywords

Lambert \(W\) functionprimary matrix functionverified numerical computation

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Matrix exponential and similar functions of matrices (15A16) Numerical computation of matrix exponential and similar matrix functions (65F60)

Related Items

Computing enclosures for the matrix Mittag-Leffler function, Verified computation of matrix gamma function, Guaranteed- and high-precision evaluation of the Lambert \(\mathrm{W}\) function, Verified computation of real powers of matrices, Fast verified computation for real powers of large matrices with Kronecker structure

Uses Software

• INTLAB
• VERSOFT
• NACLab
• mftoolbox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On interval systems \([x = [A][x] + [b]\) and the powers of interval matrices in complex interval arithmetics]
• Fast verified computation for the matrix principal \(p\)th root
• On the Lambert \(w\) function
• Some special cases in the stability analysis of multi-dimensional time-delay systems using the matrix Lambert \(W\) function
• Delay differential equations via the matrix Lambert \(W\) function and bifurcation analysis: application to machine tool chatter
• The Lambert \(W\) function and the spectrum of some multidimensional time-delay systems
• Verified computation of the matrix exponential
• Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems
• Controllability and Observability of Systems of Linear Delay Differential Equations Via the Matrix Lambert W Function
• An Algorithm for the Matrix Lambert $W$ Function
• Functions of Matrices
• Exponential of a matrix, a nonlinear problem, and quantum gates
• Computational error bounds for multiple or nearly multiple eigenvalues