Math 2.0

Several complex variables and analytic spaces Definition

Logarithmically convex domain

Builds on Reinhardt domainConvex set

Definition

Let D⊆ℂnD \subseteq \C^n be a Reinhardt domain with centre 00. Let D∗={z∈D:zj≠0 for j=1,…,n}D^* = \set{z \in D : z_j \ne 0 \text{ for } j = 1, \dots, n}, and let λ ⁣:D∗→ℝn\lambda \colon D^* \to \R^n be the map λ(z)=(log⁡∣z1∣,…,log⁡∣zn∣)\lambda(z) = (\log\abs{z_1}, \dots, \log\abs{z_n}). The domain DD is logarithmically convex if λ(D∗)\lambda(D^*) is a convex set in ℝn\R^n.

Remarks

Example: for the unit ball 𝔹2\mathbb{B}^2, λ(𝔹2∗)={x∈ℝ2:e2x1+e2x2<1}\lambda(\mathbb{B}^{2*}) = \set{x \in \R^2 : e^{2x_1} + e^{2x_2} < 1}, a sublevel set of the convex function e2x1+e2x2e^{2x_1} + e^{2x_2}, hence convex. Every polydisc with centre 00 is logarithmically convex, since its image is a product of half-lines (−∞,log⁡rj)(-\infty, \log r_j). Non-example: let D={∣z1∣<1,∣z2∣<e−2}∪{∣z1∣<e−2,∣z2∣<1}D = \set{\abs{z_1} < 1, \abs{z_2} < e^{-2}} \cup \set{\abs{z_1} < e^{-2}, \abs{z_2} < 1}, a Reinhardt domain. The points (e−1,e−3)(e^{-1}, e^{-3}) and (e−3,e−1)(e^{-3}, e^{-1}) lie in DD, with images (−1,−3)(-1, -3) and (−3,−1)(-3, -1). The midpoint (−2,−2)(-2, -2) of these images is the image of (e−2,e−2)(e^{-2}, e^{-2}), which is not in DD, so λ(D∗)\lambda(D^*) is not convex. For a complete Reinhardt domain, logarithmic convexity is equivalent to being a domain of holomorphy.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex set concept
  2. Reinhardt domain concept
  3. Logarithmically convex domain definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Function_of_several_complex_variables
About this page
TagNEAE07CSM4
URIm2://NEAE07CSM4
Kinddefinition
WritingW0 stub
MSC32Q02, 32A05
DefinesLogarithmically convex domain
UsesReinhardt domain, Convex set

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.