title: Función policonvexa
text: # Función policonvexa
  
  En matemáticas, la policonvexidad es una generalización de la noción de convexidad para funciones definidas en espacios de matrices. El concepto tiene aplicación principalmente en mecánica de sólidos deformables, en particular un requerimiento físico para la energía de deformación de un sólido suele ser que sea una función policonvexa (pero no convexa). Toda función policonvexa es cuasiconvexa y por tanto también convexa. El recíproco no se da, no toda función convexa (o cuasiconvexa) es policonvexa.
  
  # Función policonvexa
  ## Definición
  
  Siendo $M_{n\times n}\approx \mathbb {R} ^{n\times n}$ el conjunto de matrices de coeficienes reales, se dice que una función $W:M_{n\times n}\to \mathbb {R}$ es policonvexa si existe una función convexa:
     ${\hat {W}}:{\mathcal {B}}\subset M_{n\times n}\times M_{n\times n}\times \mathbb {R} \to \mathbb {R}$
  tal que:
     $W(\mathbf {A} )={\hat {W}}(\mathbf {A} ,\mathrm {Cof} \ \mathbf {A} ,\det \ \mathbf {A} )$
  con:
     ${\mathcal {B}}=\{(\mathbf {A} ,\mathbf {B} ,\alpha )\in M_{n\times n}\times M_{n\times n}\times \mathbb {R} |\mathbf {B} =\mathrm {Cof} \ \mathbf {A} ,\ \alpha =\det \ \mathbf {A} >0\}$
  John Ball (1977) descubrió que la convexidad del potencial elástico o energía de deformación elástica lleva a situaciones físicas inconsistentes, por lo que postuló que el potencial elástico no puede ser una función convexa. Ball propuso que la noción de convexidad es demasiado restrictiva y debe ser substituida por una noción más débil. El propio Ball encontró que un requisito razonable y menos restrictivo que permitía formular algunos resultados de existencia de soluciones era el de policonvexidad.
  
  # Función policonvexa
  ## Otras definiciones
  
  Algunos autores usan definiciones de función policonvexa un poco más generales que la propuesta inicialmente por Ball. En particular, algunos autores definen una función policonvexa $W:\mathbb {R} ^{N\times n}\to \mathbb {R} \cup \{+\infty \}$, si existe una función ${\hat {W}}:\mathbb {R} ^{\tau (N,n)}\to \mathbb {R} \cup \{+\infty \}$ tal como:
     $W(\xi )={\hat {W}}(T(\xi ))$
  donde:
     $T(\xi )=(\xi ,\mathrm {adj} _{2}\xi ,\dots ,\mathrm {adj} _{n\land N}\xi )$
  En esta definición $\mathrm {adj} _{s}\xi$ representa la matriz de todos los menores de $s\times s$ de la matriz $\xi \in \mathbb {R} ^{N\times n},\ 2\leq s\leq n\land N=\min\{n,N\}$ y:
     $\tau (n,N):=\sum _{s=1}^{n\land N}\sigma (s),\qquad \sigma (s):={\begin{pmatrix}N\\s\end{pmatrix}}{\begin{pmatrix}n\\s\end{pmatrix}}={\frac {N!n!}{(s!)^{2}(N-s)!(n-s)!}}$