Math 2.0

Convex and discrete geometry Definition

Quermassintegral

Builds on Mixed volumeConvex bodyClosed ball

Definition

Let n≥1n \ge 1, let KK be a nonempty compact convex subset of ℝn\R^n (a convex body), and let BB be the closed unit ball of ℝn\R^n. For j=0,1,…,nj = 0, 1, \dots, n, the jj-th quermassintegral of KK is Wj(K)=V(K,…,K⏟n−j,B,…,B⏟j),W_j(K) = V(\underbrace{K, \dots, K}_{n - j}, \underbrace{B, \dots, B}_{j}), where VV is the mixed volume.

Remarks

By the Steiner formula, vol⁡(K+tB)=∑j=0n(nj)Wj(K) tj\operatorname{vol}(K + tB) = \sum_{j=0}^n \binom{n}{j} W_j(K)\, t^j for t≥0t \ge 0. Special values: W0(K)=vol⁡(K)W_0(K) = \operatorname{vol}(K), nW1(K)n W_1(K) is the surface area of KK, and Wn(K)=κnW_n(K) = \kappa_n, the volume of BB. Also Wn−1(K)=κn2w(K)W_{n-1}(K) = \frac{\kappa_n}{2} w(K), where w(K)w(K) is the mean width of KK. For 1≤k≤n1 \le k \le n, Wn−k(K)W_{n-k}(K) equals κn/κk\kappa_n / \kappa_k times the average, over all kk-dimensional linear subspaces EE, of the kk-dimensional volume of the orthogonal projection of KK onto EE; this is Kubota's formula.

Example: K=rBK = rB, a ball of radius r≥0r \ge 0. By multilinearity, Wj(rB)=rn−jV(B,…,B)=κnrn−jW_j(rB) = r^{n-j} V(B, \dots, B) = \kappa_n r^{n-j}. For n=2n = 2 and r=1r = 1 this gives W1=πW_1 = \pi, half the perimeter 2π2\pi, as expected.

Non-example: the set K={0,1}⊆ℝK = \set{0, 1} \subseteq \R is not convex, so its mixed volumes are not defined. Indeed the length of K+tBK + tB is 4t4t for t≤12t \le \frac12 and 1+2t1 + 2t for t≥12t \ge \frac12, not one polynomial in tt.

Reading path

To understand this page from the ground up, read these 4 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. Closed ball concept
  2. Convex body concept
  3. Mixed volume concept
  4. Quermassintegral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Mixed_volume
About this page
Tag33JWVAX32K
URIm2://33JWVAX32K
Kinddefinition
WritingW0 stub
MSC52A39, 52A38
DefinesQuermassintegral
UsesMixed volume, Convex body, Closed ball

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.