2
$\begingroup$

The convex hull of a finite set of points, $(x_i,y_i) \in \mathbb{R_+}^2$ ($i=1,...,n$), is defined as:

$$\left\{(\sum_{i=1}^{n} \alpha_i x_i,\sum_{i=1}^{n} \alpha_i y_i) \mathrel{\Bigg|} (\forall i: \alpha_i\ge 0)\wedge \sum_{i=1}^{n} \alpha_i=1 \right\}.$$

Define the following set:

$$\left\{(\prod_{i=1}^{n} x_i^{\alpha_i},\prod_{i=1}^{n} y_i^{\alpha_i}) \mathrel{\Bigg|} (\forall i: \alpha_i\ge 0)\wedge \sum_{i=1}^{n} \alpha_i=1 \right\}.$$

Does this set have a name? (maybe "multiplicative hull"?) Has it been studied or used anywhere?

$\endgroup$
  • $\begingroup$ this seems like the convex hull of the $\{ \log (x_i)\}$ which is well defined since the set you wrote only makes sense for $x_i >0$ $\endgroup$ – WSL Aug 28 '15 at 9:52
  • $\begingroup$ So then the question is what does the exponential transform a convex hull into... I assume this is only over $\mathbb R$, in which case convex hulls aren't that complicated... do you also what to consider this over $\mathbb C$? $\endgroup$ – WSL Aug 28 '15 at 9:54
  • $\begingroup$ I am interested in the case in which all points are in $\mathbb{R}^2$. Edited the question to make it clear. One interesting feature of this "multiplicative hull" is that, while the convex hull of two points is the straight segment connecting them, the multiplicative hull of two points is not a straight segment. This raises questions such as: how does the multiplicative hull of a segment looks like? etc. $\endgroup$ – Erel Segal-Halevi Aug 28 '15 at 10:57
  • 2
    $\begingroup$ I hereby pronounce this the log-convex hull. $\endgroup$ – Michael Grant Aug 28 '15 at 13:52
2
$\begingroup$

The term "logarithmic convex hull" is in use for this object, because it can be obtained by convexifying the image of a domain under the logarithm map, and then coming back.

It comes up in complex analysis in several variables, due to the following fact: a domain $D\subset\mathbb{C}^n$ is a region of convergence of some power series (centered at $0$) if and only if $D$ is a logarithmically convex Reinhardt domain.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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