Skip to main content
added 591 characters in body; edited title
Source Link
N. Virgo
  • 1.3k
  • 11
  • 24

Are the off-diagonal elements of exp(At) log-concave in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question isNumerically, it seems that given a single off-diagonal element of $\exp(At)$, is it is always a log-concave (i.e. log-convex downward) function of $t$, for $t\ge 0$?, and that the diagonal elements are always log-convex upward functions.

That is, isit looks like the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ ais a concave function of $t$ for $t\ge 0$? if $i\ne j$, and a convex function of $t$ if $i=j$. My question is whether this indeed is the case. Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

By "concave" I mean convex downward, iHere is a typical result.e The plot shows each element of $\exp(At)$ as a function of $t$, where $A$ is a matrix whose off-diagonal elements are independently uniformly sampled from $[0,1]$ and whose diagonal elements are independently uniformly sampled from $[-1,0]$. with decreasing slopeThe diagonal elements of $\exp(At)$ are shown in red.

Thisenter image description here

Showing this should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

Are the elements of exp(At) log-concave in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question is, given a single element of $\exp(At)$, is it always a log-concave function of $t$, for $t\ge 0$? That is, is the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ a concave function of $t$ for $t\ge 0$? Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

By "concave" I mean convex downward, i.e. with decreasing slope.

This should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

Are the off-diagonal elements of exp(At) log-concave in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

Numerically, it seems that given a single off-diagonal element of $\exp(At)$, it is always a log-concave (i.e. log-convex downward) function of $t$, for $t\ge 0$, and that the diagonal elements are always log-convex upward functions.

That is, it looks like the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ is a concave function of $t$ for $t\ge 0$ if $i\ne j$, and a convex function of $t$ if $i=j$. My question is whether this indeed is the case. Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

Here is a typical result. The plot shows each element of $\exp(At)$ as a function of $t$, where $A$ is a matrix whose off-diagonal elements are independently uniformly sampled from $[0,1]$ and whose diagonal elements are independently uniformly sampled from $[-1,0]$. The diagonal elements of $\exp(At)$ are shown in red.

enter image description here

Showing this should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

added 70 characters in body; edited title
Source Link
N. Virgo
  • 1.3k
  • 11
  • 24

Are the elements of exp(At) log-convexconcave in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question is, given a single element of $\exp(At)$, is it always a log-convexconcave function of $t$, for $t\ge 0$? That is, is the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ a convexconcave function of $t$ for $t\ge 0$? Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

By "concave" I mean convex downward, i.e. with decreasing slope.

This should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

Are the elements of exp(At) log-convex in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question is, given a single element of $\exp(At)$, is it always a log-convex function of $t$, for $t\ge 0$? That is, is the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ a convex function of $t$ for $t\ge 0$? Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

This should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

Are the elements of exp(At) log-concave in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question is, given a single element of $\exp(At)$, is it always a log-concave function of $t$, for $t\ge 0$? That is, is the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ a concave function of $t$ for $t\ge 0$? Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

By "concave" I mean convex downward, i.e. with decreasing slope.

This should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.

Source Link
N. Virgo
  • 1.3k
  • 11
  • 24

Are the elements of exp(At) log-convex in t, for nonnegative matrices?

Let $A$ be a Metzler matrix, i.e. a real matrix (not necessarily symmetric) whose off-diagonal elements are all non-negative. Then, for $t\ge 0$, the matrix exponential $\exp(At)$ will have all non-negative elements.

My question is, given a single element of $\exp(At)$, is it always a log-convex function of $t$, for $t\ge 0$? That is, is the function $$ f(t) = \log\Big(\big(\exp(At)\big)_{ij}\Big) $$ a convex function of $t$ for $t\ge 0$? Note that in this expression $\exp$ is a matrix exponential, but $\log$ is just an ordinary logarithm of a positive number.

This should be a simple case of finding the second derivative and showing that it can't be positive, but I haven't seen a way to do that. I haven't been able to find a counterexample either.