Wikipedia y otras fuentes definen las restricciones holonómicas como una función
y dice que el número de grados de libertad en un sistema se reduce por el número de restricciones holonómicas independientes.
Podría tomar múltiples restricciones de este tipo y formularlos como uno solo que se cumple si y sólo si todos se cumplen:
esto combinado obviamente reduciría el número de grados de libertad por en lugar de .
Alternativamente, para evitar el valor absoluto, podría usar una suma de cuadrados
en cambio. ¿Dónde está mi error de razonamiento?
Bueno, en la definición de restricciones holonómicas , también hay dos condiciones de regularidad técnica (que los contraejemplos de OP no cumplen):
Las funciones debe ser continuamente diferenciable con .
El matriz jacobiana rectangular
Las condiciones de regularidad 1 y 2 se imponen para asegurar la existencia local de coordenadas generalizadas , en algún barrio abierto, donde , a través del teorema de la función inversa .
Consulte también esta publicación Phys.SE relacionada.
Referencias: