Kiedy zależność redukuje wymiar, a kiedy tylko zakrzywia przestrzeń?

Artykuł jest kolejną częścią serii zapoczątkowanej tekstem o przestrzeni konfiguracyjnej na przykładzie fabryki chemicznej w książce Profesora Jerzego Kijowskiego. Pierwszy artykuł postawił pytanie: skąd wiemy że przestrzeń parametrów to rozmaitość? Ten artykuł odpowiada na pytanie głębsze: kiedy zależność między parametrami zmniejsza wymiar przestrzeni, a kiedy tylko zmienia jej geometrię?

Intuicja wyjściowa #

Wyobraź sobie że opisujesz układ za pomocą $n$ parametrów. Nagle zauważasz że dwa z nich “nie są niezależne”. Pierwsza myśl inżyniera: “to znaczy że jeden jest zbędny, mam tak naprawdę $n-1$ wymiarów.”

Czasem ta myśl jest słuszna. Ale nie zawsze. Istnieją trzy fundamentalnie różne powody dla których parametry mogą “zależeć od siebie” — i tylko jeden z nich redukuje wymiar.

Przypadek 1: Więz holonomiczny — redukcja wymiaru #

Co to jest #

Więz holonomiczny to równanie:

$$g(q^1, q^2, \ldots, q^n) = 0$$

które musi być spełnione zawsze, niezależnie od dynamiki układu i sposobu sterowania. Wiąże bezpośrednio wartości parametrów — nie ich prędkości ani pochodne.

Przykład: mechanizm korbowy #

Rozważmy tłok w cylindrze napędzany korbowodami. Stan układu można opisać dwoma parametrami:

$\theta$ — kąt obrotu korby [rad]
$x$ — pozycja tłoka w cylindrze [m]

Ale geometria mechanizmu wymusza jednoznaczną zależność między nimi:

$$x = r\cos\theta + \sqrt{l^2 - r^2\sin^2\theta}$$

gdzie $r$ to promień korby, $l$ długość korbowodu. To równanie musi być spełnione w każdej chwili — nie możesz ustawić dowolnego $\theta$ i dowolnego $x$ niezależnie. Jeśli wiesz gdzie jest korba, wiesz gdzie jest tłok.

Przestrzeń stanu wydawała się 2-wymiarowa (dwa parametry), ale jest w istocie 1-wymiarowa. Jeden parametr jest pozornie niezależny — tak naprawdę jest funkcją drugiego.

Test rozpoznawczy #

Czy mogę napisać równanie $g(q^1, \ldots, q^n) = 0$ które jest zawsze spełnione, niezależnie od sterowania? Czy z twierdzenia o funkcji uwikłanej mogę wyrazić jeden parametr przez pozostałe?

Jeśli tak → więz holonomiczny → redukuj wymiar o 1 (dla każdego niezależnego więzu).

Konsekwencja dla sterowania #

Nie wszystkie kombinacje parametrów są osiągalne. Układ “żyje” na podrozmaitości wymiaru $n - m$, gdzie $m$ to liczba niezależnych więzów holonomicznych.

Przypadek 2: Topologia — krzywizna bez redukcji wymiaru #

Co to jest #

Parametr jest w pełni wolny — żadne równanie nie ogranicza jego wartości. Ale przestrzeń wartości tego parametru nie jest prostą ℝ — ma inną topologię. Najczęstszy przykład: kąt, który “zawija się” w pętlę.

Przykład: nawijarka przemysłowa #

Rozważmy nawijarkę — maszynę która nawija materiał (folię, taśmę, kabel) na szpulę. Pełny stan układu opisują dwie niezależne informacje:

Pierwsza: kąt fazowy wału $\theta$ — gdzie aktualnie “jesteśmy” w bieżącym obrocie. Może przyjmować wartości od $0°$ do $360°$. Ale $0°$ i $360°$ to fizycznie ten sam stan — wał wrócił do pozycji startowej. Kąt nie żyje na prostej ℝ, lecz na okręgu $S^1$.

Druga: całkowita ilość nawiniętego materiału $s$ — długość lub masa materiału już na szpuli. To liczba, która tylko rośnie (lub maleje przy odwijaniu). Ma dwie granice:

$s = 0$: pusta szpula — dolny brzeg
$s = L$: pełna szpula, maszyna musi się zatrzymać — górny brzeg

$s$ żyje na domkniętym przedziale $[0, L]$, nie na całej prostej ℝ.

Przestrzeń stanu to:

$$\mathcal{M} = S^1 \times [0, L]$$

Geometrycznie to skończony walec — okrąg jako podstawa, odcinek jako wysokość. Wymiar nadal 2 (tyle ile parametrów), ale przestrzeń jest zakrzywiona przez topologię okręgu i ograniczona przez fizyczne granice materiału.

Kluczowa różnica wobec przypadku 1: $\theta$ i $s$ są naprawdę niezależne. Przy danej ilości materiału $s$ wał może być w dowolnej pozycji fazowej $\theta$. Żadne równanie ich nie wiąże. Wymiar nie redukuje się — przestrzeń tylko zyskuje nietrywialną geometrię.

Dlaczego to ma znaczenie w sterowaniu #

Wyobraź sobie regulator który śledzi kąt $\theta$ zapisany jako liczba rzeczywista. Wał obraca się i kąt rośnie: $350°, 355°, 360°$… a potem nagle skacze do $0°$. Regulator oblicza błąd śledzenia: $360° - 0° = 360°$ — i reaguje gwałtownym impulsem sterującym, choć fizycznie nic się nie stało.

Właśnie dlatego w praktyce kąt rotora reprezentuje się jako parę $(\sin\theta, \cos\theta)$ zamiast samego $\theta$. To naturalna, ciągła parametryzacja okręgu $S^1$ — regulator “wie” że przestrzeń jest okrągła.

Test rozpoznawczy #

Czy parametr jest w pełni wolny (brak równania wiążącego), ale jego wartości “zawijają się” lub mają topologiczne utożsamienie?

Jeśli tak → topologia → pełny wymiar, ale zakrzywiona przestrzeń ($S^1$, $T^2$, itp.).

Przypadek 3: Więz nieholonomiczny — pełny wymiar, ograniczone kierunki #

Co to jest #

To najtrudniejszy i najciekawszy przypadek. Ograniczenie dotyczy nie wartości parametrów, lecz prędkości — dozwolonych kierunków ruchu w przestrzeni stanu. Wszystkie punkty przestrzeni są osiągalne, ale nie można poruszać się w dowolnym kierunku.

Przykład: samochód na parkingu #

Stan samochodu opisują trzy parametry:

$x$ — pozycja wzdłuż osi wschód-zachód [m]
$y$ — pozycja wzdłuż osi północ-południe [m]
$\theta$ — kąt obrotu, kierunek w którym zwrócony jest przód samochodu [rad]

Trzy parametry, przestrzeń 3-wymiarowa. I rzeczywiście — samochód może dotrzeć do każdego punktu $(x, y, \theta)$ na parkingu. Do dowolnej pozycji, ustawiony pod dowolnym kątem. Żaden punkt tej przestrzeni nie jest wykluczony.

Ale koła toczą się bez poślizgu bocznego. Oznacza to że prędkość boczna samochodu musi być zero:

$$\dot{x}\sin\theta - \dot{y}\cos\theta = 0$$

To równanie wiąże prędkości $\dot{x}$, $\dot{y}$ i kąt $\theta$ — nie same pozycje. Nie da się go scałkować do postaci $g(x, y, \theta) = 0$. Matematycznie mówimy że ten więz jest nieholonomiczny.

Konsekwencja: w każdym punkcie przestrzeni samochód może poruszać się tylko w 2 kierunkach (do przodu/tyłu i skręt), choć przestrzeń ma 3 wymiary. Przestrzeń jest pełna — ale lokalnie dostępne są tylko wybrane kierunki.

Stąd trudność parkowania równoległego: chcesz przesunąć się bezpośrednio w bok, a nie możesz. Musisz manewrować — wykonać sekwencję ruchów które łącznie dają pozornie “zakazany” kierunek. Geometrycznie: kombinując dwa dostępne kierunki w odpowiedniej kolejności, można osiągnąć każdy punkt przestrzeni — w tym przesunięcie boczne.

Test rozpoznawczy #

Czy ograniczenie dotyczy prędkości (pochodnych), a nie samych wartości parametrów? Czy wszystkie punkty przestrzeni są osiągalne, ale nie można poruszać się dowolnie?

Jeśli tak → więz nieholonomiczny → pełny wymiar, ale ograniczona dystrybucja dostępnych kierunków.

Schemat rozpoznawania #

Mam n parametrów i czuję że nie są w pełni niezależne.
Skąd pochodzi zależność?

┌─────────────────────────────────────────────────────────┐
│ Czy istnieje równanie g(q¹,...,qⁿ) = 0                 │
│ zawsze spełnione niezależnie od sterowania?             │
└────────────────────┬────────────────────────────────────┘
                     │
          TAK ───────┴──────── NIE
          │                    │
          ▼                    ▼
   Więz holonomiczny    Czy parametr "zawija się"
   → redukuj wymiar     (kąt, faza, pozycja na okręgu)?
   przestrzeni o 1          │
                    TAK ─────┴───── NIE
                    │               │
                    ▼               ▼
             Topologia        Czy ograniczenie
             S¹, T², itp.     dotyczy prędkości?
             → pełny wymiar,       │
               zakrzywiona   TAK ──┘
               przestrzeń    │
                             ▼
                      Więz nieholonomiczny
                      → pełny wymiar,
                        ograniczone kierunki

Zestawienie #

Typ zależności	Przykład	Wymiar	Przestrzeń
Więz holonomiczny	Mechanizm korbowy	Redukuje się o 1	Podrozmaitość
Topologia	Nawijarka, kąt rotora	Bez zmian	Zakrzywiona ($S^1$, $T^2$)
Więz nieholonomiczny	Samochód na parkingu	Bez zmian	Pełna, ograniczone kierunki

Związek z FOC #

W silnikowym układzie Field-Oriented Control napotykamy kombinację wszystkich trzech przypadków:

Transformacja Clarke eliminuje jeden z trzech prądów fazowych (bo suma prądów = 0 — to więz holonomiczny). Transformacja Park wprowadza kąt rotora jako parametr — kąt żyje na $S^1$ (topologia). Sprzężenie między osiami $d$ i $q$ przez prędkość $\omega$ ogranicza dostępne kierunki sterowania w zależności od punktu pracy — to już bliskie więzowi nieholonomicznemu.

Odsprzęganie w FOC to geometryczna operacja: lokalnie “prostujemy” przestrzeń wokół punktu pracy, żeby osie $d$ i $q$ zachowywały się jak niezależne. Działa dobrze — ale tylko lokalnie, bo globalnie geometria rozmaitości zawsze wraca.

Notatka jest częścią serii o zastosowaniach geometrii różniczkowej w inżynierii. Inspiracja: J. Kijowski, „Geometria różniczkowa jako narzędzie nauk przyrodniczych".