title: Teorema de Saint-Venant
text: # Teorema de Saint-Venant
  
  Se conoce como teorema de Saint-Venant a la afimación:
  * La sección simplemente conexa con resistencia a la torsión mecánica máxima es un círculo.
  El teorema honra la memoria del matemático y mecánico francés Adhémar Jean Claude Barré de Saint-Venant (1797 – 1886).
  
  # Teorema de Saint-Venant
  ## Conceptos previos
  
  En mecánica de sólidos deformables, es habitual utilizar el modelo de viga o barra, donde una dimensión es mucho mayor que las otras dos. Así, es posible calcular en función de la coordenada X, relacionando las cargas mecánicas con propiedades del material y la sección perpendicular a dicha dirección preferente.
  Cuanto mayor sea la sección, menores serán las deformaciones ante una carga dada. Sin embargo, no importa sólo el valor absoluto del área geométrica, sino también su distribución (momento de inercia). De esa forma se acuña el concepto ingenieril de rigidez. Así, un problema típico del cálculo de estructuras busca calcular la forma y posición de una sección que minimice el área (y por tanto el material empleado) al soportar unos determinados esfuerzos.
  El teorema de Saint-Venant enuncia la configuración óptima para una viga maciza (sin huecos), que soporta esfuerzos de torsión.
  
  # Teorema de Saint-Venant
  ## Descripción formal
  
  Dado un dominio simplemente conexo D en un plano con área A, radio $\rho$ y siendo $\sigma$ el área de su mayor círculo inscrito, podemos definir la rigidez torsional P de D mediante;
     $P=4\sup _{f}{\frac {\left(\int \int \limits _{D}f\,dx\,dy\right)^{2}}{\int \int \limits _{D}f_{x}^{2}+f_{y}^{2}\,dx\,dy}}$.
  Donde el supremo se toma mediante cálculo variacional sobre todas las posibles funciones diferenciables que tienen como contorno D. La existencia de dicho supremo se puede demostrar como consecuencia de la desigualdad de Poincaré.
  Saint-Venant conjeturó en 1856 que de todos los dominios posibles D de igual área A, el círculo era el que tenía una mayor rigidez torsional, es decir:
     $P\leq P_{\text{circle}}\leq {\frac {A^{2}}{2\pi }}$.
  Una prueba rigurosa de dicha desigualdad no se obtuvo hasta 1948 por parte de Pólya. Otra demostración de este teorema fue dada por Davenport. La prueba más general y la estimación
     $P<4\rho ^{2}A\$
  fue dada por Makai.