相关论文: On the convexity of the function C --> f(det C) on…

In the present article we provide a sufficient condition for a closed set F in R^d to have the following property which we call c-removability: Whenever a function f:R^d->R is locally convex on the complement of F, it is convex on the whole…

We provide a sufficient condition for an invertible (locally strongly) convex vector-valued function on $\mathbb{R}^N$ to have a (locally strongly) convex inverse. We show under suitable conditions that if the gradient of each component of…

We prove that if $u:\mathbb{R}^n\to\mathbb{R}$ is strongly convex, then for every $\varepsilon>0$ there is a strongly convex function $v\in C^2(\mathbb{R}^n)$ such that $|\{u\neq v\}|<\varepsilon$ and $\Vert u-v\Vert_\infty<\varepsilon$.

Let H be any complex inner product space with inner product <, >. We say that f : C -->C is Hermitian positive definite on H if the matrix $$(f(<z^r,z^s>))_{r,s=1}^n \eqno(*)$$ is Hermitian positive definite for all choice of z^1,...,z^n in…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

Let $D$ be a convex subset of a real vector space. It is shown that a radially lower semicontinuous function $f: D\to \mathbf{R}\cup \{+\infty\}$ is convex if and only if for all $x,y \in D$ there exists $\alpha=\alpha(x,y) \in (0,1)$ such…

We show that positively $1$--homogeneous rank one convex functions are convex at $0$ and at matrices of rank one. The result is a special case of an abstract convexity result that we establish for positively $1$--homogeneous directionally…

Given an nxn doubly stochastic matrix P satisfying an appropriate condition of linear algebraic-type, and a function f defined on a nonempty interval, we show that the validity of a convexity-type functional inequality for f in terms P…

We review several (and provide new) results on the theory of moments, sums of squares and basic semi-algebraic sets when convexity is present. In particular, we show that under convexity, the hierarchy of semidefinite relaxations for…

Under a mild technical assumption, we prove a necessary and sufficient condition for a totally real compacdt set in $\mathbb{C}^n$ to be rationally convex. This generalizes a classical result of Duval-Sibony

A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove…

We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function $\phi:\mathbf{H}^n_+\rightarrow \mathbb{R}$ that is monotone and concave. Concretely, we prove the joint concavity of the function $(A,B)…

In this paper we show the following result: if C is an n-dimensional 0-symmetric convex compact set, $f:C\rightarrow[0,1)$ is concave, and $g:[0,1)\rightarrow[0,1)$ is not identically zero, convex, with g(0)=0, then \[ \frac{1}{|C|}\int_C…

Let $n \in \N$ and $M_n$ be the algebra of $n \times n$ matrices. We call a function $f$ matrix monotone of order $n$ or $n$-monotone in short whenever the inequality $f(a) \leq f(b)$ holds for every pair of selfadjoint matrices $a, b \in…

Let $n$ and $k$ be nonnegative integers such that $1\le k\le n+1$. The convex cone $\mathcal{F}_+^{k:n}$ of all functions $f$ on an arbitrary interval $I\subseteq\mathbb{R}$ whose derivatives $f^{(j)}$ of orders $j=k-1,\dots,n$ are…

We study operator log-convex functions on $(0,\infty)$, and prove that a continuous nonnegative function on $(0,\infty)$ is operator log-convex if and only if it is operator monotone decreasing. Several equivalent conditions related to…

For functions $f(z)=z^p+a_{n+1}z^{p+1}+...$ defined on the open unit disk, the condition $\Re (f'(z)/z^{p-1})>0$ is sufficient for close-to-convexity of $f$. By making use of this result, several sufficient conditions for close-to-convexity…

For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2,…

Let $\mathcal S$ denote the class of all functions of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$ which are analytic and univalent in the open unit disk $\ID$ and, for $\lambda >0$, let $\Phi_\lambda (n,f)=\lambda a_n^2-a_{2n-1}$ denote the…

In this paper we investigate continuity properties of functions $f:\mathbb{R}_+\to\mathbb{R}_+$ that satisfy the $(p,q)$-Jensen convexity inequality $$ f\big(H_p(x,y)\big)\leq H_q(f(x),f(y)) \qquad(x,y>0), $$ where $H_p$ stands for the…