4
$\begingroup$

A matrix valued function is of the form $\psi:\mathbb{R}_+\to\mathbb{R}^{n\times n}$ and it is known that $\psi(\lambda)$ is always a positive definite matrix. The asymptotic exapnsion of $\psi(\lambda)$ is given as $$\psi(\lambda) = A + \frac{B_1}{\lambda}+ \frac{B_2}{\lambda^2}+ \frac{B_3}{\lambda^3}+...$$ where $A$ is an $n\times n$ all ones matrix and $B_1,B_2,B_3...$ are nonsingular $n\times n$ matrices.

I want to get an asymptotic expansion for $\psi(\lambda)^{-1}$. I don't want to compute the exact coefficient matrices but want to show that it is of the form $$\psi(\lambda)^{-1} = \lambda D_{-1} + D_0 + \frac{D_1}{\lambda} + \frac{D_2}{\lambda^2} + \frac{D_3}{\lambda^3} +...$$ where $D_{-1},D_0,D_1,D_2,..$ are $n\times n$ matrices and $D_{-1}$ is a non zero matrix.

What I know

Neumann's series and this post.

PS : if this isn't a research level problem, please let me know.

$\endgroup$

1 Answer 1

1
$\begingroup$

If we disregard the positivity constraint, this is not true in general, the leading order term can be of order $n-1$ rather than of order 1.

The problem is treated in Laurent expansion of the inverse of perturbed, singular matrices. The leading order term is of the order of the singularity in $A$, which for $A$ an $n\times n$ all-1 matrix is of order $n-1$.

Here is an example for $n=3$: $$\psi=\left( \begin{array}{ccc} 1 & 1+\frac{1}{\lambda} & 1+\frac{4}{\lambda} \\ 1+\frac{1}{\lambda} & 1 & 1+\frac{1}{\lambda} \\ 1+\frac{4}{\lambda} & 1+\frac{1}{\lambda}& 1 \\ \end{array} \right)$$ has inverse of order $\lambda^2$: $$\psi^{-1}=\left( \begin{array}{ccc} -\frac{1}{8} {\lambda} (2 {\lambda}+1) & \frac{1}{2} {\lambda} ({\lambda}+1) & -\frac{1}{8} {\lambda} (2 {\lambda}-1) \\ \frac{1}{2} {\lambda} ({\lambda}+1) & -{\lambda} ({\lambda}+2) & \frac{1}{2} {\lambda} ({\lambda}+1) \\ -\frac{1}{8} {\lambda} (2 {\lambda}-1) & \frac{1}{2} {\lambda} ({\lambda}+1) & -\frac{1}{8} {\lambda} (2 {\lambda}+1) \\ \end{array} \right).$$

I do not know how/if the positivity constraint modifies the order.

$\endgroup$
7
  • $\begingroup$ I notice I did not use your additional condition that $\psi$ is positive definite for all $\lambda$. $\endgroup$ Commented Aug 7, 2020 at 13:44
  • $\begingroup$ Yes, that's something need to be resolved. To see if it can make the leading $n-2$ matrices zero. $\endgroup$
    – Rajesh D
    Commented Aug 7, 2020 at 13:45
  • $\begingroup$ Oh the paper clearly says $H_{-s}$ is not zero. So thats about it? $\endgroup$
    – Rajesh D
    Commented Aug 7, 2020 at 13:48
  • $\begingroup$ I am confused by that statement; it does not hold, for example, for the matrix $A+I/\lambda$ for $n=3$, then the leading order term is of order $\lambda$, not $\lambda^2$. $\endgroup$ Commented Aug 7, 2020 at 13:53
  • $\begingroup$ In some of my computations too I observed the same. I get $\lambda$ increase and not any higher powers. $\endgroup$
    – Rajesh D
    Commented Aug 7, 2020 at 13:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.