Golonomik cheklovlar

Klassik mexanikada **golonomik cheklovlar** pozitsiya oʻzgaruvchilari (va ehtimol vaqt) oʻrtasidagi munosabatlar boʻlib, ular quyidagi shaklda ifodalanishi mumkin:

: f(u_1, u_2, u_3,\ldots, u_n, t) = 0

bu yerda \{ u_1, u_2, u_3, \ldots, u_n \} tizimni tavsiflovchi *n* ta umumlashtirilgan koordinatalar (cheklanmagan konfiguratsiya maydonida). Masalan, shar yuzasida yotish bilan chegaralangan zarrachaning harakati golonomik cheklanishga boʻysunadi, lekin agar zarracha tortishish kuchi taʼsirida sferadan tushishi mumkin boʻlsa, cheklov golonomik boʻlmagan boʻladi. Birinchi holda, golonomik cheklov tenglama bilan berilishi mumkin

: r^2-a^2=0

bu yerda r radiusli sharning markazidan masofa a, holbuki, ikkinchi holonomik boʻlmagan holat tomonidan berilishi mumkin

: r^2 - a^2 \geq 0

Tezlikka bogʻliq cheklovlar (yarim golonomik cheklovlar deb ham ataladi) masalan,

: f(u_1,u_2,\ldots,u_n,\dot{u}_1,\dot{u}_2,\ldots,\dot{u}_n,t)=0

odatda golonomik emas.

## Golonomik tizim
Klassik mexanikada tizimning barcha cheklovlari **golonomik** boʻlsa, tizim golonomik deb taʼriflanishi mumkin. Cheklov golonomik boʻlishi uchun u funksiya sifatida ifodalanishi kerak:

:  f(u_1,\ u_2,\ u_3,\ \ldots,\ u_n,\ t)=0, \, 

yaʼni **golonomik cheklov** faqat koordinatalarga bogʻliq x_j va ehtimol vaqt t . Bu tezliklarga yoki *t* ga nisbatan yuqori tartibli hosilaga bogʻliq emas. Yuqorida koʻrsatilgan shaklda ifodalab boʻlmaydigan cheklov golonomik boʻlmagan cheklovdir .

### Kirish
Yuqorida taʼriflanganidek, golonomik tizim (oddiy qilib aytganda) tizimning holatini faqat vaqt oʻtishi bilan tizim tarkibiy qismlarining *oʻzgarishini* bilish orqali chiqarish mumkin boʻlgan tizimdir, lekin tezlikni yoki nimada ekanligini bilish shart *emas* . komponentlarni bir-biriga nisbatan koʻchirishni buyurtma qiling. Bundan farqli oʻlaroq, golonomik boʻlmagan tizim koʻpincha tizim holatining oʻzgarishini aniqlash uchun vaqt oʻtishi bilan tarkibiy qismlarning tezligi maʼlum boʻlishi kerak boʻlgan tizim yoki harakatlanuvchi qism cheklovga bogʻlana olmaydigan tizimdir. yuza, haqiqiy yoki xayoliy. Golonomik tizimlarga misollar portal kranlar, mayatniklar va robot qoʻllardir. Golonomik boʻlmagan tizimlarga misollar Segways, velosipedlar va avtomobillardir.

## Terminologiya

**Konfiguratsiya maydoni** \overrightarrow{u} Har bir erkinlik darajasi uchun bittadan tizim tarkibiy qismlarining siljishini sanab oʻtadi. Konfiguratsiya maydoni yordamida tavsiflanishi mumkin boʻlgan tizim skleronomik deb ataladi.

:  \overrightarrow{u}=\begin{bmatrix}u_1 & u_2 &\ldots& u_n \end{bmatrix}^\mathrm{T} 

**Voqealar maydoni** konfiguratsiya maydoni bilan bir xil, oʻzgaruvchini qoʻshishdan tashqari t vaqt oʻtishi bilan tizimdagi oʻzgarishlarni ifodalash (agar tizimni tavsiflash uchun kerak boʻlsa). Faqat konfiguratsiya maydoni oʻrniga hodisa maydoni yordamida tasvirlanishi kerak boʻlgan tizim reonomik deb ataladi. Koʻpgina tizimlarni skleronomik yoki reonomik jihatdan tavsiflash mumkin. Masalan, mayatnikning umumiy ruxsat etilgan harakatini skleronomik cheklash bilan tasvirlash mumkin, lekin mayatnikning vaqt ichida harakatini reonomik cheklash bilan tasvirlash kerak.

:  \overrightarrow{u}=\begin{bmatrix}u_1 & u_2 &\ldots& u_n & t\end{bmatrix}^\mathrm{T} 

**Holat maydoni** \overrightarrow{q} konfiguratsiya maydoni, shuningdek, konfiguratsiya maydonidagi har bir atama tezligini tavsiflovchi shartlar.

:  \overrightarrow{q}=\begin{bmatrix}\overrightarrow{u} \\\overrightarrow{\dot{u}} \end{bmatrix}=\begin{bmatrix}u_1 &\ldots& u_n & \dot{u}_1&\ldots& \dot{u}_n\end{bmatrix}^\mathrm{T} 

**Holat-vaqt fazosi** vaqtni qoʻshadi t .

:  \overrightarrow{q}=\begin{bmatrix}\overrightarrow{u} \\\overrightarrow{\dot{u}} \end{bmatrix}=\begin{bmatrix}u_1 &\ldots& u_n & t&\dot{u}_1&\ldots& \dot{u}_n\end{bmatrix}^\mathrm{T} 

### Misollar

#### Portalli kran

Oʻng tomonda koʻrsatilganidek, portalli kran — bu oʻqlar bilan koʻrsatilgandek, oʻz holatini 3 oʻqda harakatlantirishga qodir boʻlgan yuqori imkoniyatlarga ega kran. Intuitiv ravishda biz kran golonomik tizim boʻlishi kerak degan xulosaga kelishimiz mumkin, chunki uning tarkibiy qismlarining maʼlum bir harakati uchun komponentlar qanday tartib yoki tezlikda harakatlanishi muhim emas: har bir komponentning maʼlum bir boshlangʻich holatidan toʻliq siljishi sharti bilan. bir xil boʻlsa, barcha qismlar va butun tizim bir xil holatda tugaydi. Matematik jihatdan biz buni quyidagicha isbotlashimiz mumkin:

Tizimning konfiguratsiya maydonini quyidagicha belgilashimiz mumkin:

: \overrightarrow{u}=\begin{bmatrix}x\\y\\z\end{bmatrix}

Aytishimiz mumkinki, kranning har bir komponentining „nol“ holatidan egilishi B, G, va O, mos ravishda koʻk, yashil va toʻq sariq komponentlar uchun. Koordinatalar tizimining yoʻnalishi va joylashishi tizimning golonomik ekanligida muhim emas, lekin bu misolda komponentlar uning oʻqlariga parallel ravishda harakatlanadi. Agar koordinata tizimining kelib chiqishi kranning orqa-pastki-chap qismida boʻlsa, u holda biz pozitsiyani cheklash tenglamasini quyidagicha yozishimiz mumkin:

: (x-B) + (y-G) + (z-(h-O)) = 0

bu yerda h kranning balandligi. Biz standart shaklga soddalashtirishimiz mumkin, bu yerda barcha konstantalar oʻzgaruvchilardan keyin joylashtiriladi:

: x+y+z-(B+G+h-O) = 0

Chunki biz cheklovchi tenglamani golonomik shaklda oldik (aniqrogʻi, cheklash tenglamamiz shunday koʻrinishga ega. f(x, y, z) = 0, bu yerda \{x, y, z\} \in \overrightarrow{u}), bu tizim golonomik boʻlishi kerakligini koʻrishimiz mumkin.

#### Mayatnik

Oʻng tomonda koʻrsatilganidek, oddiy mayatnik ogʻirlik va ipdan tashkil topgan tizimdir. Ip yuqori uchida burilishga, pastki uchida esa ogʻirlikga biriktiriladi. Uzayib boʻlmaydigan boʻlib, ipning uzunligi doimiydir. Bu tizim golonomikdir, chunki u golonomik cheklovga boʻysunadi:

:  {x^2+y^2} - L^2=0, 

bu yerda (x,\ y) ogʻirlikning holati va L satr uzunligi.

#### Qattiq jism
Qattiq jismning zarralari golonomik cheklovga boʻysunadi

: (\mathbf{r}_i - \mathbf{r}_j)^2 - L_{ij}^2=0, \, 

bu yerda \mathbf{r}_i, \mathbf{r}_j mos ravishda zarrachalarning joylashuvi P_i va P_j, va L_{ij} ular orasidagi masofa hisoblanadi. Agar berilgan tizim golonomik boʻlsa, koʻrib chiqilayotgan tizimning tarkibiy qismlariga qoʻshimcha qismlarni qattiq bogʻlash uni golonomik boʻlmasligi mumkin, chunki erkinlik darajalari kamaymaydi (boshqacha qilib aytganda, konfiguratsiya maydoni oʻzgarmagan deb hisoblasak).

### Pfaff shakli
Cheklovning quyidagi differensial shaklini koʻrib chiqamiz:

: \sum_j\ A_{ij} \, du_j+A_i \, dt=0

bu yerda A_{ij},A_i differensiallarning koeffitsientlaridir du_j,dt *i* cheklov tenglamasi uchun. Bu shakl **Pfaff shakli** yoki **differensial shakl** deb ataladi.

Agar differensial shakl integrallansa, yaʼni funksiya mavjud boʻlsa f_i(u_1,\ u_2,\ u_3,\ \ldots,\ u_n,\ t)=0 tenglikni qondiramiz

: df_i=\sum_j\ A_{ij} \, du_j+A_i \, dt=0

u holda bu cheklov golonomik cheklashdir; aks holda, bu golonomik emas. Shuning uchun barcha golonomik va baʼzi nogolonomik cheklovlarni differensial shakl yordamida ifodalash mumkin. Bu tarzda ifodalab boʻlmaydigan golonomik cheklovlarga misollar umumlashtirilgan tezliklarga bogʻliq boʻlganlardir.  Pfaff koʻrinishidagi cheklash tenglamasi bilan cheklov golonomik yoki nogolonomik boʻladimi, Pfaff shakli integrallanishiga bogʻliq. Pfaffian shakli cheklovining integratsiyalashuvini (yoki yoʻqligini) tekshirish uchun test tavsifi uchun quyidagi golonomik cheklovlar uchun universal testga qarang.

### Golonomik cheklovlar uchun universal test
Agar tizimning cheklash tenglamasi Pfaff cheklash shaklida yozilgan boʻlsa, tizim golonomik yoki yoʻqligini aniqlash uchun matematik test mavjud.

Cheklov tenglamasi uchun yoki i cheklash tenglamalari toʻplami (yuqoridagi kabi vaqtni ifodalovchi oʻzgaruvchi(lar)ni kiritish mumkinligiga eʼtibor bering. A_i\in A_{ij} va \, dt \in du_j quyidagi shaklda):

: \sum_j^n\ A_{ij} \, du_j=0; \, 

test tenglamasidan foydalanishimiz mumkin:

: A_\gamma\left(\frac{\partial A_\beta}{\partial u_\alpha}-\frac{\partial A_\alpha}{\partial u_\beta}\right) + A_\beta \left(\frac{\partial A_\alpha}{\partial u_\gamma} - \frac{\partial A_\gamma}{\partial u_\alpha}\right) + A_\alpha \left(\frac{\partial A_\gamma}{\partial u_\beta} - \frac{\partial A_\beta}{\partial u_\gamma}\right) = 0

bu yerda\alpha,\beta,\gamma=1,2,3\ldots nichida \binom n 3 = \frac{n(n-1)(n-2)}{6} har bir cheklov tenglamasi uchun sinov tenglamalarining kombinatsiyasi  i  cheklash tenglamalari toʻplami.

Boshqacha qilib aytadigan boʻlsak, uchta oʻzgaruvchidan iborat tizimni shartlar bilan bitta test tenglamasi bilan bir marta sinab koʻrish kerak boʻladi. \alpha, \beta, \gamma shartlar boʻlish 1, 2, 3 cheklash tenglamasida (har qanday tartibda), lekin toʻrtta oʻzgaruvchidan iborat tizimni sinab koʻrish uchun test *toʻrt* martagacha toʻrt xil sinov tenglamalari bilan, atamalar bilan bajarilishi kerak boʻladi. \alpha, \beta, \gamma shartlar boʻlish 1, 2, 3, 1, 2, 4, 1, 3, 4, va 2, 3, 4 cheklash tenglamasida (har biri har qanday tartibda) toʻrt xil testda. Beshta oʻzgaruvchidan iborat tizim uchun bu haqiqatni tekshirish uchun golonomik tizimda *oʻnta* test va uchta cheklash tenglamalari toʻplamiga ega besh oʻzgaruvchidan iborat tizim uchun *oʻttizta* test (oʻzgaruvchining oʻzgarishi kabi soddalashtirilgan holda) oʻtkazilishi kerak. bu raqamni kamaytirish uchun bajarilmaydi). Shu sababli, ushbu usulni uchdan ortiq oʻzgaruvchiga ega tizimlarda qoʻllashda, koʻrib chiqilayotgan tizim golonomik yoki yoʻqligi haqida umumiy fikrni qoʻllash tavsiya etiladi va agar tizim boʻlmasa, sinovdan oʻtish kerak. Bundan tashqari, matematik sezgidan foydalanib, qaysi test birinchi boʻlib muvaffaqiyatsiz boʻlishini bashorat qilishga urinib koʻrish va shu bilan boshlash, avvaliga muvaffaqiyatli boʻlishi mumkin boʻlgan testlarni oʻtkazib yuborish yaxshiroqdir.

Agar har bir sinov tenglamasi barcha cheklash tenglamalari uchun kombinatsiyalar toʻplami uchun toʻgʻri boʻlsa, tizim golonomik hisoblanadi. Agar u hatto bitta test kombinatsiyasi uchun notoʻgʻri boʻlsa, tizim golonomik boʻlmagan.

#### Misol
Pfaff koʻrinishidagi cheklash tenglamasi bilan tasvirlangan ushbu dinamik tizimni koʻrib chiqing:

: (\cos\theta) dx + (\sin\theta)dy+(y\cos\theta-x\sin\theta)d\theta=0

Tekshirish orqali konfiguratsiya maydoni  \overrightarrow{u}=\begin{bmatrix}x & y & \theta \end{bmatrix}^\mathrm{T}  . Konfiguratsiya maydonida faqat uchta atama mavjud boʻlgani sababli, faqat bitta sinov tenglamasi kerak boʻladi. Oʻzgartirishga tayyorgarlik koʻrish uchun biz cheklash tenglamasining shartlarini shunday tashkil qilishimiz mumkin:

: A_\alpha=\cos\theta
: A_\beta=\sin\theta
: A_\gamma=y\cos\theta-x\sin\theta
: u_\alpha=dx
: u_\beta=dy
: u_\gamma=d\theta

Shartlarni almashtirib, test tenglamamiz quyidagicha boʻladi:

: (y\cos\theta-x\sin\theta)\bigg(\frac{\partial}{\partial x}(\sin\theta)-\frac{\partial}{\partial y}(\cos\theta)\bigg)+(\sin\theta)\bigg(\frac{\partial}{\partial \theta}(\cos\theta)-\frac{\partial}{\partial x}(y\cos\theta-x\sin\theta)\bigg)+(\cos\theta)\bigg(\frac{\partial}{\partial y}(y\cos\theta-x\sin\theta)-\frac{\partial}{\partial \theta}(\sin\theta)\bigg)=0

Barcha qisman hosilalarni hisoblab chiqqach, biz quyidagilarni olamiz:

: (y\cos\theta-x\sin\theta)\bigg(0-0\bigg)+(\sin\theta)\bigg(-\sin\theta-(-\sin\theta)\bigg)+(\cos\theta)\bigg(\cos\theta-\cos\theta\bigg)=0

Soddalashtirib, biz quyidagilarni topamiz:

: 0=0

Bizning sinov tenglamamiz toʻgʻri ekanligini koʻramiz va shuning uchun tizim golonomik boʻlishi kerak.

Biz sinovni tugatdik, ammo endi tizim golonomik ekanligini bilib, golonomik cheklash tenglamasini topishni xohlashimiz mumkin. Biz uni Pfaff shaklining har bir atamasini birlashtirib, ularni bitta tenglamaga birlashtirishga harakat qilish orqali topishga harakat qilishimiz mumkin, masalan:

: \int(\cos\theta) dx = x\cos\theta + f(y, \theta)
: \int(\sin\theta)dy = y\sin\theta + f(x, \theta)
: \int(y\cos\theta-x\sin\theta)d\theta = y\sin\theta+x\cos\theta+ f(x, y)

Golonomik cheklash tenglamasini topish uchun integratsiyalarimiz natijalarini birlashtira olishimizni koʻrish oson:

: y\sin\theta+x\cos\theta+C = 0

Bu yerda C — integratsiya konstantasi.

#### Doimiy koeffitsientlarning cheklovlari
Berilgan Pfaff cheklovi uchun har bir differensialning har bir koeffitsienti doimiy, boshqacha qilib aytganda, cheklov koʻrinishida:

: \sum_j\ A_{ij} \, du_j+A_i \, dt=0; \;\{A_{ij}, A_{i} ;\,j = 1,2,\ldots;\,i = 1,2,\ldots\}\in\mathbb{R}

cheklov golonomik boʻlishi kerak.

Buni quyidagicha isbotlashimiz mumkin: toʻgʻridan-toʻgʻri yuqorida tavsiflanganidek, har bir differentsialning har bir koeffitsienti doimiy boʻlgan Pfaff koʻrinishidagi cheklovlar tizimini koʻrib chiqing. Ushbu cheklovlar tizimining golonomik ekanligini tekshirish uchun biz universal testdan foydalanamiz. Koʻrishimiz mumkinki, sinov tenglamasida nolga teng boʻlishi kerak boʻlgan uchta atama mavjud. Shuning uchun, agar har bir test tenglamasidagi ushbu uchta shartning har biri nolga teng boʻlsa, unda barcha test tenglamalari toʻgʻri va bu tizim golonomikdir. Har bir test tenglamasining har bir atamasi quyidagi shaklda boʻladi:

: A_3\left(\frac{\partial A_2}{\partial u_1} - \frac{\partial A_1}{\partial u_2}\right)

bu yerda:

* A_1, A_2, va A_3 baʼzi kombinatsiyalar (\binom n 3 = n (n - 1) (n - 2) / 6 bilan jami kombinatsiyalar) ning A_{ij};\,j = 1,2,\ldots va A_{i} berilgan cheklov uchun i .
* u_1, u_2, va u_3 ning mos keladigan birikmasidir u_j;\,j = 1,2,\ldots va dt .

Bundan tashqari, mavjud i test tenglamalari toʻplami.

Biz taʼrifi boʻyicha hammasini koʻrishimiz mumkin A_n doimiylardir. Maʼlumki, har qanday konstantaning hosilasi 0 (toʻliq yoki qisman) boʻladi. Shunday qilib, biz har bir qisman hosilani quyidagicha qisqartirishimiz mumkin:

: A_3\big(0-0\big)

va shuning uchun har bir atama nolga teng, chap tomonda har bir test tenglamasi nolga teng, har bir test tenglamasi toʻgʻri va tizim golonomikdir.

#### Ikki yoki bitta oʻzgaruvchining konfiguratsiya boʻshliqlari
Pfaff cheklovi bilan tavsiflanishi mumkin boʻlgan va faqat ikkita oʻzgaruvchi yoki bitta oʻzgaruvchidan iborat konfiguratsiya maydoni yoki holat maydoniga ega boʻlgan har qanday tizim golonomik hisoblanadi.

Biz buni quyidagicha isbotlashimiz mumkin: konfiguratsiya maydoni yoki holat fazosi bilan dinamik tizimni koʻrib chiqing:

:  \overrightarrow{u}=\begin{bmatrix}u_1 & u_2 \end{bmatrix}^\mathrm{T} 

agar tizim holat fazosi bilan tasvirlangan boʻlsa, biz shunchaki aytamiz u_2 bizning vaqt oʻzgaruvchimizga teng t . Ushbu tizim Pfaffian shaklida tasvirlanadi:

: A_{i1} du_1+A_{i2} du_2=0

bilan i cheklovlar toʻplami. Tizim universal test yordamida sinovdan oʻtkaziladi. Biroq, universal test konfiguratsiya yoki davlat maydonida uchta oʻzgaruvchini talab qiladi. Buni amalga oshirish uchun biz shunchaki qoʻgʻirchoq oʻzgaruvchini qoʻshamiz \lambda shakllantirish uchun konfiguratsiya yoki holat maydoniga:

:  \overrightarrow{u}=\begin{bmatrix}u_1 & u_2 & \lambda\end{bmatrix}^\mathrm{T}

Chunki soxta oʻzgaruvchi \lambda taʼrifi boʻyicha tizimdagi biror narsaning oʻlchovi emas, uning Pfaff koʻrinishidagi koeffitsienti boʻlishi kerak 0 . Shunday qilib, biz Pfaffian shaklimizni qayta koʻrib chiqamiz:

: A_{i1} du_1+A_{i2} du_2+0d\lambda=0

Endi biz testdan maʼlum bir cheklov uchun foydalanishimiz mumkin i Agar cheklovlar toʻplami mavjud boʻlsa:

: (0)\bigg(\frac{\partial}{\partial u_1}(A_{i2})-\frac{\partial}{\partial u_2}(A_{i1})\bigg)+(A_{i2})\bigg(\frac{\partial}{\partial \lambda}(A_{i1})-\frac{\partial}{\partial u_1}(0)\bigg)+(A_{i1})\bigg(\frac{\partial}{\partial u_2}(0)-\frac{\partial}{\partial \lambda}(A_{i2})\bigg)=0

Buni anglagandan keyin : \frac{\partial}{\partial \lambda}(f(u_1, u_2))=0 chunki soxta oʻzgaruvchi \lambda tizimni tavsiflash uchun ishlatiladigan koeffitsientlarda paydo boʻlishi mumkin emas, biz sinov tenglamasi barcha cheklash tenglamalari toʻplami uchun toʻgʻri boʻlishi kerakligini va shuning uchun tizim golonomik boʻlishi kerakligini koʻramiz. Shunga oʻxshash dalilni konfiguratsiya yoki holat boʻshligʻidagi bitta haqiqiy oʻzgaruvchi va ikkita qoʻgʻirchoq oʻzgaruvchi bilan Pfaff shaklida tasvirlangan erkinlik darajasidagi tizimlar ham har doim golonomik ekanligini tasdiqlash uchun amalga oshirish mumkin.

Xulosa qilib shuni tushunamizki, golonomik boʻlmagan tizimlarni Pfaff shaklida modellashtirish mumkin boʻlsa ham, Pfaff shaklida modellashtirilishi mumkin boʻlgan har qanday tizim ikki yoki undan kam erkinlik darajasiga ega (erkinlik darajalari soni konfiguratsiya maydonidagi atamalar soniga teng).) golonomik boʻlishi kerak.

**Muhim eslatma:** test tenglamasi bajarilmadi, chunki testga kiritilgan qoʻgʻirchoq oʻzgaruvchi va shuning uchun testga kiritilgan qoʻgʻirchoq differentsial haqiqiy konfiguratsiya yoki holat boʻshligʻi oʻzgaruvchilari funksiyasi boʻlgan har qanday narsani farqlaydi. 0 . Quyidagi konfiguratsiya yoki holat maydoniga ega tizimga ega boʻlish:

:  \overrightarrow{u}=\begin{bmatrix}u_1 & u_2 & u_3\end{bmatrix}^\mathrm{T}

va bir yoki bir nechta cheklovlar Pfaff shaklida boʻlgan cheklovlar toʻplami:

: A_{i1} du_1+A_{i2} du_2+0du_3=0

tizimning golonomikligini *kafolatlamaydi*, chunki bitta differentsial koeffitsientga ega boʻlsa ham 0, konfiguratsiya yoki davlat maydonida tasvirlangan uchta erkinlik darajasi hali ham mavjud.

### Mustaqil umumlashtirilgan koordinatalarga aylantirish
Golonomik cheklash tenglamalari tizimimizdagi baʼzi bogʻliq oʻzgaruvchilarni osongina olib tashlashga yordam beradi. Misol uchun, agar biz olib tashlashni xohlasak x_d, bu cheklash tenglamasining parametridir f_i, biz tenglamani quyidagi shaklga oʻzgartirishimiz mumkin, buni amalga oshirish mumkin deb faraz qilamiz,

: x_d=g_i(x_1,\ x_2,\ x_3,\ \dots,\ x_{d-1},\ x_{d+1},\ \dots,\ x_N,\ t), \, 

va x_d ni almashtiring. Yuqoridagi funksiyadan foydalangan holda tizimning har bir tenglamasida. Buni har doim umumiy jismoniy tizimlar uchun qilish mumkin, agar hosilasi boʻlsa f_i uzluksiz boʻlsa, u holda yashirin funktsiya teoremasi boʻyicha, yechim g_i, baʼzi ochiq toʻplamlarda kafolatlangan. Shunday qilib, qaram oʻzgaruvchining barcha hodisalarini olib tashlash mumkin x_d .

Aytaylik, fizik tizim mavjud N erkinlik darajalari. Endi, h tizimga golonomik cheklovlar qoʻyiladi. Keyin erkinlik darajalari soni kamayadi m=N - h . Biz foydalanishimiz mumkin m mustaqil umumlashtirilgan koordinatalar (q_j) sistemaning harakatini toʻliq tasvirlash. Transformatsiya tenglamasini quyidagicha ifodalash mumkin:

: x_i=x_i(q_1,\ q_2,\ \ldots,\ q_m,\ t)\ ,\qquad\qquad\qquad i=1,\ 2,\ \ldots N. \, 

## Fizik tizimlarning tasnifi

Klassik fizikani qatʼiy va uslubiy oʻrganish uchun biz tizimlarni tasniflashimiz kerak. Oldingi muhokamaga asoslanib, biz fizik tizimlarni golonomik tizimlarga va golonomik boʻlmagan tizimlarga ajratishimiz mumkin. Koʻpgina teorema va tenglamalarni qoʻllash shartlaridan biri bu sistema golonomik tizim boʻlishi kerak. Masalan, agar fizik tizim golonomik tizim va monogen sistema boʻlsa, u holda Gamilton prinsipi Lagrange tenglamasining toʻgʻriligi uchun zarur va etarli shartdir.

## Manbalar