Log_sum_exp выпуклой функции не соответствует dcp?
У меня есть выпуклая функция f (b):
f(b) = log(pi) - lambda * log( t(r) %*% b)
dim (pi) = (n, 1), лямбда - скалярная постоянная, dim (r) = (n, n)
b - параметр, dim(b) = (n,1)
Призыв к
is_convex(f)
is_dcp(f)
оба возвращают ИСТИНА.
Однако я не понимаю, почему следующее возвращает FALSE:
is_dcp(log_sum_exp(f))
Насколько я понимаю, log_sum_exp выпуклой функции является выпуклой?
Я заметил, что оба
is_convex(f)
а также
is_concave(f)
вернуть ЛОЖЬ.
Таким образом, кажется, что CVRX не может вывести выпуклость log_sum_exp(f)?
Любая помощь будет оценена
(Я использую CVRX ver 0.99 в R3.5)