Math 2.0

Calculus of variations and optimal control; optimization Definition

Polyconvexity

Builds on Convex function on R^nMinorMorrey quasiconvexityRank-one convexity

Definition

Let m,n≥1m, n \ge 1 and let T(ξ)∈ℝτT(\xi) \in \R^{\tau} denote the vector of all minors of all orders 1,…,min⁡(m,n)1, \dots, \min(m, n) of a matrix ξ∈ℝm×n\xi \in \R^{m \times n}. A function f ⁣:ℝm×n→(−∞,+∞]f \colon \R^{m \times n} \to (-\infty, +\infty] is polyconvex if there is a convex function g ⁣:ℝτ→(−∞,+∞]g \colon \R^{\tau} \to (-\infty, +\infty] with f(ξ)=g(T(ξ))for all ξ∈ℝm×n.f(\xi) = g\big(T(\xi)\big) \quad \text{for all } \xi \in \R^{m \times n}.

Remarks

For m=n=2m = n = 2, T(ξ)=(ξ,det⁡ξ)∈ℝ5T(\xi) = (\xi, \det \xi) \in \R^5. For m=n=3m = n = 3, T(ξ)=(ξ,cof⁡ξ,det⁡ξ)∈ℝ19T(\xi) = (\xi, \operatorname{cof} \xi, \det \xi) \in \R^{19}, with cof⁡ξ\operatorname{cof} \xi the cofactor matrix.

Example: for m=n=2m = n = 2, f(ξ)=det⁡ξf(\xi) = \det \xi is polyconvex, with gg linear, although ff is not convex.

Example: f(ξ)=∣ξ∣2+h(det⁡ξ)f(\xi) = \abs{\xi}^2 + h(\det \xi) for 3×33 \times 3 matrices, with h(d)=d−1h(d) = d^{-1} for d>0d > 0 and h(d)=+∞h(d) = +\infty for d≤0d \le 0. It is polyconvex, since hh is convex on ℝ\R with values in (−∞,+∞](-\infty, +\infty].

Non-example: for m=n=2m = n = 2, f(ξ)=−(det⁡ξ)2f(\xi) = -(\det \xi)^2 is not polyconvex. Along ξ(t)=I+t e1⊗e1\xi(t) = I + t \, e_1 \otimes e_1 it equals −(1+t)2-(1 + t)^2, which is not convex. So ff is not rank-one convex, while every finite polyconvex function is.

For real-valued ff, polyconvexity implies quasiconvexity, and the converse fails when m,n≥2m, n \ge 2.

Reading path

To understand this page from the ground up, read these 8 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. Euclidean space object
  2. Function concept
  3. Minor concept
  4. Morrey quasiconvexity concept
  5. Rank-one convexity concept
  6. Function of several variables concept
  7. Convex function on R^n concept
  8. Polyconvexity definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Polyconvex_function
About this page
TagS34G7679AK
URIm2://S34G7679AK
Kinddefinition
WritingW0 stub
MSC49J45, 26B25, 74B20
DefinesPolyconvexity
UsesConvex function on R^n, Minor, Morrey quasiconvexity, Rank-one convexity

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.