Convex analysis is the study of properties of convex sets and convex functions. For questions about optimization of convex functions over convex sets, please use the (convex-optimization) tag.

learn more… | top users | synonyms (3)

0
votes
0answers
6 views

Convex optimization of a fractional objective function involving matrix determinants

I am interested in convex representation of the following fractional optimization problem. I have also described my approach in the following. However, as I am new to convex optimization, I am not ...
0
votes
2answers
12 views

SVD with Sparisty Penalties

I am trying to solve a problem like $$\min_{u,v} \Vert X-uv^T \Vert_F^2 + \beta \Vert v \Vert_1 \mbox{ s.t. } \Vert u \Vert_2 \le 1$$ where $X \in \mathbb{R}^{N\times N}$, $u, v \in ...
0
votes
0answers
31 views

Prove that the following function is convex?

I am trying to prove that the function $$g(\alpha)=\ln\Big(\sum_{i=1}^{n}t_i^\alpha+A(\alpha)\Big) ~~t_i, \alpha>0,$$ where $A(\alpha)=\int_{a}^{b}x^{\alpha+\beta-1}e^{-\lambda x^\beta}\,dx$,is ...
0
votes
4answers
52 views

for $I = [0,1]$, is $I\times I$ convex in $\mathbb{R} \times \mathbb{R}$?

for $I = [0,1]$, is $I \times I$ convex in $\mathbb{R} \times \mathbb{R}$? The definition of convex seems to be that $Y \subset X$ is convex in $X$ if $\forall a < b $ in $Y$ whole of $(a,b)$ ...
0
votes
0answers
14 views

Negative eigenvalue of a hessian matrix entails a local decrease in function value?

I was reading up on non-convex optimization, and I can across this sentence: "Since Hessian(f(w)) has a negative eigenvalue, there is always a point that is near w which has smaller function value" ...
0
votes
1answer
19 views

Convexity of an exponential function.

A random variable $Y_i$ is given such that, $\mid$Y$_i\mid$$\leq$ $c_i$ where i ranges from 1,.....,t and t is some constant. Now, $Y_i$ is expressed as : $Y_i = ((Y_i - c_i) + (Y_i + c_i))/2$ $= ...
1
vote
1answer
28 views

Inequality with three unknowns

Consider: \begin{equation} \Big(e^x-1\Big)\mathbb{1}_{(x\geq0)} \leq \lambda_1+\lambda_2e^x + \lambda_3x^2 \end{equation} where $\lambda_1$, $\lambda_2$, $\lambda_3$ are three unknown constants. By ...
0
votes
1answer
18 views

Prove that there exists some $y \in \mathbb{R}^n$ in the boundary of $C$ satisfying $\{z \in \mathbb{R}^n : (x-y)^T(z-y) = 0\}$.

Let $C \subset R^n$ with $C \neq \emptyset$ be a closed convex set. Consider some $x \in \mathbb{R}^n$ satisfying $x \notin C$. Prove that there exists some $y \in \mathbb{R}^n$ in the boundary of $C$ ...
0
votes
1answer
20 views
1
vote
1answer
31 views

Prove Jensen Inequality holds for a function

Given function $$f:\mathbb{R}^n_{+} \rightarrow \mathbb{R}, \ f(x) = \sum_{k=1}^K c_k x_1^{a_{1k}} x_2^{a_{2k}} \cdots x_n^{a_{nk}}$$ Show that for any $x, y \in \text{dom} \ f, \theta \in [0,1]$, ...
2
votes
1answer
23 views

Is there a name for dividing a set into pieces, some of which may be empty?

Suppose that $X$ is a set and $V_{0}$, $J$, and $V_{1}$ are pairwise disjoint subsets of $X$ whose union is $X$. If the three subsets were nonempty it would be a partition of $X$. However, I wish to ...
2
votes
1answer
42 views

Are posynomial functions convex?

I know that you can transform a posynomial function into an exponential function, which is convex. Does this imply that all posynomial functions are convex?
3
votes
3answers
53 views

The join of two convex sets is convex?

Let A and B be convex subsets of $\Bbb R^n$. The join of A and B is the set of all $\vec x$ such that $\vec x$ lies on a line segment with one endpoint in A and the other in B. I am wondering how to ...
5
votes
0answers
61 views

Concavity of the $n$th root of the volume of $r$-neighborhoods of a set

Let $A$ be a closed subset of $\mathbb{R}^n$. For $r>0$, let $A_r$ be the $r$-neighborhood of $A$, namely the set $\{x:\operatorname{dist}(x,A)\le r\}$. Is the function $f(r) = \mu(A_r)^{1/n}$ ...
0
votes
0answers
17 views

Verifying a startegy to prove convexity on partial domain

Assume you have the multivariate function $$f(x_1,x_2,..,x_n)$$ where: $x_i>0 \forall i$, and $\sum_i x_i = 1$. I need to show that $f$ is a convex function. My plan is to show that it is ...
4
votes
1answer
54 views

Number of ways to separate $n$ points in the plane

Say you are given $n$ points such that no three are colinear. Show the number of ways to separate them into two subsets by drawing a straight line depends on $n$ but not the position of the points.
0
votes
1answer
29 views

Partitioning a convex object without cutting existing convex subsets

$C$ is a convex object in the plane. $D_1,\dots,D_n$ are pairwise-disjoint convex subsets of $C$ such that $D_1\cup\dots\cup D_n \subsetneq C$, like this: Is it always possible to partition $C$ to ...
0
votes
1answer
26 views

When a set is convex, how does the polar set of its polar set equal the original?

I have read the following proposition, and haven't been able to connect the convexity of $X$ to the statement's main equality. Any guidance would be much appreciated. Define $X^\text{o}$, the polar ...
1
vote
0answers
32 views

Is the Covariance of Two Random Variables Convex or Concave or Neither?

Are there any standard results established regarding the behavior of the Covariance of two random variables? For example, whether it is a convex or concave functions and so on and under what ...
1
vote
0answers
24 views

How to prove that unnormalized neg entropy is strongly convex with respect to 1-norm?

the unnormalized negative entropy of $\mathbf{x} \in \mathbb{R}^n_+$ is $$ g(\mathbf{x}) = \sum_i (x_i \log(x_i) - x_i) $$ it is stated that $g(\mathbf{x})$ is strongly convex with respect to 1-norm, ...
0
votes
1answer
48 views

$f$ convex strictly decreasing function , is $f'(x+\delta)-f'(x)$ convex

Assume you have a strictly decreasing convex differentiable function $f(x)$, $x \in \Bbb R^+$, I am wondering if the increment of the first derivative is also convex; i.e., $$g(x) = f'(x+\delta) - ...
1
vote
1answer
23 views

True or false? “sum of an m-strongly convex and a convex function is m-strongly convex”

I would like to know if the following conjecture is true or false? If $f(x) = g(x) + h(x)$ where $g$ is m-strongly convex and $h$ is convex, then $f$ is m-strongly convex. NOTE: For a ...
1
vote
1answer
61 views
+50

A connectivity-preserving function from a connected set onto an interval

Let $C$ be a connected set in the plane and $I$ the unit interval interval. Call a function $f$ from $C$ onto $I$ Connectivity-preserving if the following is true for every subset $I'\subseteq I$: ...
1
vote
1answer
25 views

Prove that $A - B$ is closed if $A$ or $B$ is bounded (or both)

Suppose that $A$ and $B$ are two nonempty convex closed sets in $\mathbb{R}^n$, with $A \cap B = \emptyset$. Further, define $A - B = \{a - b \space | \space a\in A, b \in B\}$. Prove that $A - B$ is ...
0
votes
0answers
12 views

When is $f(x,y,z)= \frac{x \cdot y}{z}$ convex?

I would like to know under what conditions $f(x,y,z)= \frac{x \cdot y}{z}$ is convex, pseudo-convex, or quasi-convex. I know that $g(x,y)= \frac{x^2}{y}$ $ \text{when } y >0 $ is convex and ...
1
vote
1answer
22 views

Determining whether or not these spaces are convex

Consider $\{(x,y) \in \mathbb{R}^2: |x| +y^2\leq 5\}$ and $\{ (x,y) \in \mathbb{R}^2: y\geq x^2,y\leq e^{-x^2}\}$. Determine whether or not these two are convex sets. I have used the visual ...
0
votes
1answer
11 views

Infimal convolution $g^\star = f_1^\star + f_2^\star$

Let $f_1$ and $f_2$ be convex functions on $R^n$. Their infimal convolution $g = f_1 \diamond f_2$ is defined as $$ g(x) = \inf \{f_1(x_1) + f_2(x_2) \mid x_1 + x_2 = x\}. $$ Prove that $g^\star = ...
1
vote
0answers
22 views

Proof that $\nabla f(x) = \nabla f(y)$ if and only if $x = y$

Trying to tackling a convexity problem. Let $f(x)$ be a real-valued differentiable function on $R^n$. If $f(x)$ is strictly convex, prove that $\nabla f(x) = \nabla f(y)$ if and only if $x = y$.
0
votes
0answers
20 views

Minimize $\|\mathbf{x-y}\|^2 $ subject to $x \in $ set $S=\{\mathbf{x} \in \mathbb{R}^n \;\;\;\mid \;\;\; \|\mathbf{x-x_c}\|^2\leq r^2 \}$

We are given the set $S=\{\mathbf{x} \in \mathbb{R}^n \;\;\;\mid \;\;\; \|\mathbf{x-x_c}\|^2\leq r^2 \}$ and a point $\mathbf{y} \in \mathbb{R}^n$. Our goal is to find point $\mathbf{\hat{x}}$ ...
0
votes
0answers
12 views

sub gradient of Moreau envelope

Is there an equality formula for the subgradients of the Moreau envelope, $$e_f(x) = \inf_z \frac{1}{2}||x-z||_2^2 + f(z),$$ of a lsc (lower semicontinuous) and proper function $f:\mathbb{R}^p \to ...
0
votes
0answers
16 views

Does every collection of edge vectors of a cone span a face of the cone?

Definition 1 : A polyhedral cone is a subset of a real vector space which is the intersection of finitely many closed half spaces. (The defining planes of these half spaces must pass through $0$.) A ...
2
votes
1answer
44 views

About a definition of “rank” of a matrix.

I am familiar with the definition of rank of a matrix as either (1) the maximal number of linearly independent rows or columns or (2) as the dimension of the image of the matrix. Another ...
0
votes
0answers
20 views

Convex Analysis - How To Find Non Convex Set

I have a problem regarding the following exercise (I considered to put this question on mathematica.stackexchange, but I changed my mind and though this was the right place for this particular ...
1
vote
0answers
33 views

Convex closure of the support of a Levy Process

Given a Levy Process $X_{t}$ on a filtered Probability Space $(\Omega,\mathcal{F},\mathcal{F}_{t},P)$ with distribution-function $F_{t}$ for $X_{t}$. We look now for the cumulant transform $\phi_{1}$ ...
0
votes
1answer
21 views

Unit ball with p norm in $\mathbb{R}^3$ space

I know unit ball for $p$-norm with $p = 2$ is a square, my confusion is how does it look like in $\mathbb{R}^3$ space. In $\mathbb{R}^3$ space it looks like a cuboid, is this correct ?
0
votes
1answer
22 views

How would you show that this fraction function is convex and decreasing?

Show that $$ f(\vec{x}) = \frac{1}{x_1 - \frac{1}{x_2 - \frac{1}{x_3 - \frac{1}{x_4}}}} $$ is convex when all denominators are greater than $0$.
0
votes
1answer
21 views

Is the following fractional function convex?

Is $\displaystyle f(x_1,x_2) = x_1 - \frac{1}{x_2}$ a convex function? What if we restrict the values of this function to the positive reals?
2
votes
3answers
82 views

Show that $f(x) = -\ln(x)$ is convex (WITHOUT using second derivative!)

In the lecture notes for a course I'm taking, the definition of a convex function is given as follows: "a function $f$ is convex if, for any $x_1$ and $x_2$, and for any $\alpha$ $\in$ [0,1], $\alpha ...
0
votes
1answer
39 views

A Combination of decreasing functions

I have a strictly decreasing convex function $f$ (at least over $\Bbb R^+$ ), and the non negative numbers $a_1 , a_2$ and $b_1 , b_2$. Is the following a decreasing function ( at least on $t \in \Bbb ...
-1
votes
0answers
40 views

Prove that $f(x,y) = x/(y^2+1)$ is convex

Suppose $f(x,y) = x/(y^2+1)$. I was trying to prove that this function is convex. So I took partial double-derivative and constructed the Hessian for this function. Here the Hessian is a 2 by 2 matrix ...
0
votes
0answers
17 views

For a convex function, why does lower semicontinuity imply weak lower semicontinuity?

I have come across the statement that, for a convex function, all notions of lower semicontinuity are equivalent. That is: weak lower, sequential lower, and weak sequential lower semicontinuity are ...
0
votes
1answer
19 views

Sequentially weakly lower semicontinuity on reflexive Banach spaces

Let $J$ be a functional over a reflexive Banach space $X$. Is it true that the sequentially weakly lower semicontinuity is equivalent to convexity and continuity for the functional $J$? I think the ...
0
votes
0answers
7 views

Submodularity definition

I am currently looking at a paper whose submodularity definition is different from whatever I thought I knew. In this paper, the authors consider a function $\Pi_2(q;a^r)$, where $q$ is composed of ...
1
vote
0answers
19 views

Projection of hyper-cubes via multiple variable elimination

I am not a mathematician but I do use some tools from geometry in robotics. So, I apologize if what I am writing here is not mathematically consistent but I really do need your help. I have a linear ...
0
votes
1answer
20 views

How to show the Hessian matrix of such functions are positive semi-definite?

Let $f:R\to R$, $g:R^n\to R$. Thus $f\circ g:R^n\to R$. Now suppose $f$ is non-decreasing and convex while $g$ is convex. In additon, $f,g$ are of $C^2$. I want to show that their composition is ...
0
votes
0answers
23 views

On the proof of corner points maximising or minimising a linear function over a bounded convex region

This proof says if $Z_P \ne Z_Q$, then $Z$ is maximised (or minimised, I guess) at one of the endpoints -- of what exactly? $\overline{PQ}$? So the maximum value of $Z$ occurs at either $P$ or $Q$? ...
0
votes
0answers
20 views

Can we relax the assumption of nonnegativity in this proof on convexity of a feasible region in a linear programming problem?

Is the $\color{red}{\text{non-negativity constraint (see red box)}}$ used at all in the proof? If so, where? If not, does the proof then hold for a standard LP problem without the non-negativity ...
1
vote
0answers
20 views

Moreau Decomposition with Bregman Distance

I am working with a non-Euclidean proximity operator defined by a Bregman distance function $D(\cdot, \cdot)$: $$ \operatorname{prox}_f(x) = \operatorname*{argmin}_u \{ f(u) + D(u, x) \} $$ Is ...
0
votes
2answers
31 views

How to describe $\lbrace \mathbf{x}\in \mathbb{R^n}: |x_j|\le1 $ for$ 1\le j\le n \rbrace $ in terms of $x_j=x_j^+-x_j^-$

How to describe the set $A$=$\lbrace \mathbf{x}\in \mathbb{R^n}: |x_j|\le1 $ for$ 1\le j\le n \rbrace $ in terms of $x_j=x_j^+-x_j^-$ where $x_j^+\ge0$ and $x_j^-\ge0$ The answer says: $B$=$\lbrace ...
2
votes
2answers
32 views

How to show $f(x)=(e^x-1)/x, x>0$ is convex?

How does one show that $f(x)=(e^x-1)/x$ is convex on $(0,\infty)$? I plotted the curve and it looks clearly convex. However, when I tried differentiating it, I cannot show the second derivative, $$ ...