Pfaffisk begränsning
I dynamik är en Pfaffian-begränsning ett sätt att beskriva ett dynamiskt system i formen:
där är antalet ekvationer i ett system av begränsningar.
Holonomiska system kan alltid skrivas i Pfaffisk begränsningsform.
Härledning
Givet ett holonomiskt system som beskrivs av en uppsättning holonomiska begränsningsekvationer
där är de n generaliserade koordinater som beskriver systemet, och där är antalet ekvationer i ett system av begränsningar, kan vi skilja på kedjeregeln för varje ekvation:
Genom en enkel substitution av nomenklatur kommer vi fram till:
Exempel
Pendel
Tänk på en pendel. På grund av hur viktens rörelse begränsas av armen måste viktens hastighetsvektor för vikten alltid vara vinkelrät mot positionsvektorn . Eftersom dessa vektorer alltid är ortogonala måste deras punktprodukt vara noll. Både position och hastighet för massan kan definieras i termer av ett - koordinatsystem:
Förenkling av punktprodukten ger:
Vi multiplicerar båda sidor med . Detta resulterar i den pfaffiska formen av begränsningsekvationen:
Denna Pfaffiska form är användbar, eftersom vi kan integrera den för att lösa systemets holonomiska begränsningsekvation, om en sådan finns. I det här fallet är integrationen ganska trivial:
Där C är integrationskonstanten.
Och konventionellt kan vi skriva:
Termen kvadreras helt enkelt för att den måste vara ett positivt tal; Eftersom det är ett fysiskt system måste alla dimensioner vara reella tal . faktiskt längden på pendelarmen.
Robotik
I robotrörelseplanering är en Pfaffian-begränsning en uppsättning av k linjärt oberoende begränsningar som är linjära i hastighet , dvs.
En källa till Pfaffian begränsningar är att rulla utan att glida i hjulförsedda robotar.