En las condiciones anteriores puede probarse que la solución del sistema formado por y sobre un cierto dominio plano, simplemente conexo, puede expresarse en función de una función biarmónica sobre dicho domino, siendo las tensiones expresables en función de esta única función biarmónica: