Differensial tenglamalar — noma'lum funksiya va uning hosilalarini o'z ichiga olgan tenglamalar. Bu robotika, dronlar va raketalar uchun eng muhim matematik vosita, chunki barcha harakat qonunlari differensial tenglamalar orqali ifodalanadi.
1. Asosiy Tushunchalar
Differensial tenglama nima?
Oddiy differensial tenglama (ODE) — bir o'zgaruvchili funksiya va uning hosilalarini bog'laydigan tenglama.
F ( t , y , y ′ , y ′ ′ , … , y ( n ) ) = 0 F(t, y, y', y'', \ldots, y^{(n)}) = 0 F ( t , y , y ′ , y ′′ , … , y ( n ) ) = 0
Misol: Erkin tushish tenglamasi
d 2 x d t 2 = − g \frac{d^2 x}{dt^2} = -g d t 2 d 2 x = − g
Tartib (Order)
Tenglamadagi eng yuqori hosila tartibini tenglama tartibi deyiladi.
Tenglama Tartib d y d t = k y \frac{dy}{dt} = ky d t d y = k y 1-tartib d 2 y d t 2 + ω 2 y = 0 \frac{d^2y}{dt^2} + \omega^2 y = 0 d t 2 d 2 y + ω 2 y = 0 2-tartib d 3 y d t 3 = f ( t ) \frac{d^3y}{dt^3} = f(t) d t 3 d 3 y = f ( t ) 3-tartib
Chiziqli va Nochiziqli
Chiziqli ODE — noma'lum funksiya va hosilalar faqat 1-darajada:
a n ( t ) y ( n ) + a n − 1 ( t ) y ( n − 1 ) + … + a 1 ( t ) y ′ + a 0 ( t ) y = f ( t ) a_n(t)y^{(n)} + a_{n-1}(t)y^{(n-1)} + \ldots + a_1(t)y' + a_0(t)y = f(t) a n ( t ) y ( n ) + a n − 1 ( t ) y ( n − 1 ) + … + a 1 ( t ) y ′ + a 0 ( t ) y = f ( t )
Nochiziqli ODE — yuqori darajalar yoki murakkab ifodalar mavjud:
d y d t = y 2 , d 2 θ d t 2 = − sin θ \frac{dy}{dt} = y^2, \quad \frac{d^2\theta}{dt^2} = -\sin\theta d t d y = y 2 , d t 2 d 2 θ = − sin θ
2. Birinchi Tartibli ODE
2.1 Ajraladigan O'zgaruvchilar
Agar tenglamani quyidagi ko'rinishga keltirish mumkin bo'lsa:
g ( y ) d y = f ( t ) d t g(y)\,dy = f(t)\,dt g ( y ) d y = f ( t ) d t
Yechish: Har ikki tomonni integrallaymiz.
Misol: d y d t = k y \frac{dy}{dt} = ky d t d y = k y (eksponensial o'sish/so'nish)
d y y = k d t \frac{dy}{y} = k\,dt y d y = k d t
ln ∣ y ∣ = k t + C \ln|y| = kt + C ln ∣ y ∣ = k t + C
y ( t ) = A e k t y(t) = Ae^{kt} y ( t ) = A e k t
Qo'llanilishi: Radioaktiv parchalanish, populyatsiya o'sishi, kondensator zaryadsizlanishi.
2.2 Chiziqli Birinchi Tartibli ODE
Standart ko'rinish:
d y d t + P ( t ) y = Q ( t ) \frac{dy}{dt} + P(t)y = Q(t) d t d y + P ( t ) y = Q ( t )
Yechish usuli: Integrallashtiruvchi ko'paytiruvchi
μ ( t ) = e ∫ P ( t ) d t \mu(t) = e^{\int P(t)\,dt} μ ( t ) = e ∫ P ( t ) d t
Tenglamani μ ( t ) \mu(t) μ ( t ) ga ko'paytirib:
d d t [ μ ( t ) y ] = μ ( t ) Q ( t ) \frac{d}{dt}[\mu(t)y] = \mu(t)Q(t) d t d [ μ ( t ) y ] = μ ( t ) Q ( t )
Misol: RC zanjir
d V C d t + 1 R C V C = V i n R C \frac{dV_C}{dt} + \frac{1}{RC}V_C = \frac{V_{in}}{RC} d t d V C + R C 1 V C = R C V in
2.3 Boshlang'ich Shart Masalalari (IVP)
Boshlang'ich shart berilganda yagona yechim topiladi:
d y d t = f ( t , y ) , y ( t 0 ) = y 0 \frac{dy}{dt} = f(t,y), \quad y(t_0) = y_0 d t d y = f ( t , y ) , y ( t 0 ) = y 0
Misol: d y d t = 2 t \frac{dy}{dt} = 2t d t d y = 2 t , y ( 0 ) = 3 y(0) = 3 y ( 0 ) = 3
y = t 2 + C y = t^2 + C y = t 2 + C
y ( 0 ) = 3 ⇒ C = 3 y(0) = 3 \Rightarrow C = 3 y ( 0 ) = 3 ⇒ C = 3
y ( t ) = t 2 + 3 y(t) = t^2 + 3 y ( t ) = t 2 + 3
3. Ikkinchi Tartibli Chiziqli ODE
3.1 Doimiy Koeffitsientli Gomogen Tenglama
a y ′ ′ + b y ′ + c y = 0 ay'' + by' + cy = 0 a y ′′ + b y ′ + cy = 0
Yechish: Xarakteristik tenglama tuzamiz:
a r 2 + b r + c = 0 ar^2 + br + c = 0 a r 2 + b r + c = 0
Uchta holat:
Diskriminant Ildizlar Umumiy yechim b 2 − 4 a c > 0 b^2 - 4ac > 0 b 2 − 4 a c > 0 r 1 ≠ r 2 r_1 \neq r_2 r 1 = r 2 (real)y = C 1 e r 1 t + C 2 e r 2 t y = C_1e^{r_1 t} + C_2e^{r_2 t} y = C 1 e r 1 t + C 2 e r 2 t b 2 − 4 a c = 0 b^2 - 4ac = 0 b 2 − 4 a c = 0 r 1 = r 2 = r r_1 = r_2 = r r 1 = r 2 = r y = ( C 1 + C 2 t ) e r t y = (C_1 + C_2 t)e^{rt} y = ( C 1 + C 2 t ) e r t b 2 − 4 a c < 0 b^2 - 4ac < 0 b 2 − 4 a c < 0 r = α ± i β r = \alpha \pm i\beta r = α ± i β y = e α t ( C 1 cos β t + C 2 sin β t ) y = e^{\alpha t}(C_1\cos\beta t + C_2\sin\beta t) y = e α t ( C 1 cos β t + C 2 sin β t )
3.2 Garmonik Ossilyator
d 2 x d t 2 + ω 2 x = 0 \frac{d^2 x}{dt^2} + \omega^2 x = 0 d t 2 d 2 x + ω 2 x = 0
Xarakteristik tenglama: r 2 + ω 2 = 0 ⇒ r = ± i ω r^2 + \omega^2 = 0 \Rightarrow r = \pm i\omega r 2 + ω 2 = 0 ⇒ r = ± iω
Yechim:
x ( t ) = A cos ( ω t ) + B sin ( ω t ) = C cos ( ω t + ϕ ) x(t) = A\cos(\omega t) + B\sin(\omega t) = C\cos(\omega t + \phi) x ( t ) = A cos ( ω t ) + B sin ( ω t ) = C cos ( ω t + ϕ )
Fizik ma'no: Ideal prujinali tebranish, mayatnik (kichik burchaklar).
3.3 So'nuvchi Tebranishlar
m d 2 x d t 2 + c d x d t + k x = 0 m\frac{d^2 x}{dt^2} + c\frac{dx}{dt} + kx = 0 m d t 2 d 2 x + c d t d x + k x = 0
Standart ko'rinish:
d 2 x d t 2 + 2 ζ ω n d x d t + ω n 2 x = 0 \frac{d^2 x}{dt^2} + 2\zeta\omega_n\frac{dx}{dt} + \omega_n^2 x = 0 d t 2 d 2 x + 2 ζ ω n d t d x + ω n 2 x = 0
Bu yerda:
ω n = k / m \omega_n = \sqrt{k/m} ω n = k / m — tabiiy chastota
ζ = c 2 k m \zeta = \frac{c}{2\sqrt{km}} ζ = 2 k m c — so'nish koeffitsienti (damping ratio)
ζ \zeta ζ qiymatiHolat Xarakteristika ζ < 1 \zeta < 1 ζ < 1 Kam so'nuvchi (underdamped) Tebranadi, asta-sekin so'nadi ζ = 1 \zeta = 1 ζ = 1 Kritik so'nuvchi (critical) Eng tez muvozanatga qaytadi ζ > 1 \zeta > 1 ζ > 1 O'ta so'nuvchi (overdamped) Sekin muvozanatga qaytadi
Kam so'nuvchi yechim (ζ < 1 \zeta < 1 ζ < 1 ):
x ( t ) = A e − ζ ω n t cos ( ω d t + ϕ ) x(t) = Ae^{-\zeta\omega_n t}\cos(\omega_d t + \phi) x ( t ) = A e − ζ ω n t cos ( ω d t + ϕ )
ω d = ω n 1 − ζ 2 \omega_d = \omega_n\sqrt{1-\zeta^2} ω d = ω n 1 − ζ 2
4. Nogomogen ODE
4.1 Umumiy Yechim Tuzilishi
a y ′ ′ + b y ′ + c y = f ( t ) ay'' + by' + cy = f(t) a y ′′ + b y ′ + cy = f ( t )
Umumiy yechim:
y = y h + y p y = y_h + y_p y = y h + y p
y h y_h y h — gomogen tenglama yechimi (umumiy)
y p y_p y p — xususiy yechim (particular solution)
4.2 Aniqlanmagan Koeffitsientlar Usuli
f ( t ) f(t) f ( t ) ko'rinishiga qarab y p y_p y p ni taxmin qilamiz:
f ( t ) f(t) f ( t ) y p y_p y p taxminiP n ( t ) P_n(t) P n ( t ) (polinom)A n t n + A n − 1 t n − 1 + … + A 0 A_nt^n + A_{n-1}t^{n-1} + \ldots + A_0 A n t n + A n − 1 t n − 1 + … + A 0 e α t e^{\alpha t} e α t A e α t Ae^{\alpha t} A e α t cos ( β t ) \cos(\beta t) cos ( β t ) yoki sin ( β t ) \sin(\beta t) sin ( β t ) A cos ( β t ) + B sin ( β t ) A\cos(\beta t) + B\sin(\beta t) A cos ( β t ) + B sin ( β t ) e α t cos ( β t ) e^{\alpha t}\cos(\beta t) e α t cos ( β t ) e α t ( A cos β t + B sin β t ) e^{\alpha t}(A\cos\beta t + B\sin\beta t) e α t ( A cos β t + B sin β t )
Misol: Majburiy tebranish
d 2 x d t 2 + ω n 2 x = F 0 cos ( ω t ) \frac{d^2 x}{dt^2} + \omega_n^2 x = F_0\cos(\omega t) d t 2 d 2 x + ω n 2 x = F 0 cos ( ω t )
y p = A cos ( ω t ) y_p = A\cos(\omega t) y p = A cos ( ω t ) deb taxmin qilib, koeffitsientlarni topamiz.
4.3 Rezonans
Agar majburiy chastota ω \omega ω tabiiy chastota ω n \omega_n ω n ga teng bo'lsa:
x ( t ) = F 0 2 ω n t sin ( ω n t ) x(t) = \frac{F_0}{2\omega_n}t\sin(\omega_n t) x ( t ) = 2 ω n F 0 t sin ( ω n t )
Amplituda cheksiz o'sadi — bu rezonans hodisasi.
5.1 Ta'rif
L { f ( t ) } = F ( s ) = ∫ 0 ∞ e − s t f ( t ) d t \mathcal{L}\{f(t)\} = F(s) = \int_0^{\infty} e^{-st}f(t)\,dt L { f ( t )} = F ( s ) = ∫ 0 ∞ e − s t f ( t ) d t
5.2 Asosiy Xossalar
f ( t ) f(t) f ( t ) F ( s ) = L { f ( t ) } F(s) = \mathcal{L}\{f(t)\} F ( s ) = L { f ( t )} 1 1 1 1 s \frac{1}{s} s 1 t t t 1 s 2 \frac{1}{s^2} s 2 1 t n t^n t n n ! s n + 1 \frac{n!}{s^{n+1}} s n + 1 n ! e a t e^{at} e a t 1 s − a \frac{1}{s-a} s − a 1 sin ( ω t ) \sin(\omega t) sin ( ω t ) ω s 2 + ω 2 \frac{\omega}{s^2+\omega^2} s 2 + ω 2 ω cos ( ω t ) \cos(\omega t) cos ( ω t ) s s 2 + ω 2 \frac{s}{s^2+\omega^2} s 2 + ω 2 s
L { f ′ ( t ) } = s F ( s ) − f ( 0 ) \mathcal{L}\{f'(t)\} = sF(s) - f(0) L { f ′ ( t )} = s F ( s ) − f ( 0 )
L { f ′ ′ ( t ) } = s 2 F ( s ) − s f ( 0 ) − f ′ ( 0 ) \mathcal{L}\{f''(t)\} = s^2F(s) - sf(0) - f'(0) L { f ′′ ( t )} = s 2 F ( s ) − s f ( 0 ) − f ′ ( 0 )
5.4 ODE Yechish Algoritmi
Tenglamaning har ikki tomoniga Laplace transformatsiyasi qo'llash
Y ( s ) Y(s) Y ( s ) ni topish (algebraik tenglama)
Teskari Laplace transformatsiyasi: y ( t ) = L − 1 { Y ( s ) } y(t) = \mathcal{L}^{-1}\{Y(s)\} y ( t ) = L − 1 { Y ( s )}
Misol: y ′ ′ + 4 y = 0 y'' + 4y = 0 y ′′ + 4 y = 0 , y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0
s 2 Y ( s ) − s ⋅ 1 − 0 + 4 Y ( s ) = 0 s^2Y(s) - s \cdot 1 - 0 + 4Y(s) = 0 s 2 Y ( s ) − s ⋅ 1 − 0 + 4 Y ( s ) = 0
Y ( s ) ( s 2 + 4 ) = s Y(s)(s^2 + 4) = s Y ( s ) ( s 2 + 4 ) = s
Y ( s ) = s s 2 + 4 Y(s) = \frac{s}{s^2 + 4} Y ( s ) = s 2 + 4 s
y ( t ) = cos ( 2 t ) y(t) = \cos(2t) y ( t ) = cos ( 2 t )
6. State-Space Ko'rinishi
6.1 Yuqori Tartibli ODE ni 1-Tartibli Sistemaga O'tkazish
Har qanday n n n -tartibli ODE ni n n n ta birinchi tartibli ODE sistemasiga o'zgartirish mumkin.
Misol: y ′ ′ + 3 y ′ + 2 y = u ( t ) y'' + 3y' + 2y = u(t) y ′′ + 3 y ′ + 2 y = u ( t )
O'zgaruvchilar kiritamiz:
x 1 = y , x 2 = y ′ x_1 = y, \quad x_2 = y' x 1 = y , x 2 = y ′
Sistema:
x ˙ 1 = x 2 \dot{x}_1 = x_2 x ˙ 1 = x 2
x ˙ 2 = − 2 x 1 − 3 x 2 + u \dot{x}_2 = -2x_1 - 3x_2 + u x ˙ 2 = − 2 x 1 − 3 x 2 + u
6.2 Matritsa Ko'rinishi
x ˙ = A x + B u \dot{\mathbf{x}} = \mathbf{A}\mathbf{x} + \mathbf{B}u x ˙ = Ax + B u
y = C x + D u y = \mathbf{C}\mathbf{x} + Du y = Cx + D u
Yuqoridagi misol uchun:
A = [ [ 0 , 1 ] , [ − 2 , − 3 ] ] \mathbf{A} = [[0, 1], [-2, -3]] A = [[ 0 , 1 ] , [ − 2 , − 3 ]] , B = [ 0 , 1 ] T \mathbf{B} = [0, 1]^T B = [ 0 , 1 ] T , C = [ 1 , 0 ] \mathbf{C} = [1, 0] C = [ 1 , 0 ]
Ahamiyati: Boshqarish nazariyasida (control theory) state-space ko'rinish asosiy vosita.
7. Raqamli Yechish Usullari
Analitik yechim topib bo'lmaydigan hollarda raqamli usullar qo'llaniladi.
7.1 Euler Usuli
y n + 1 = y n + h ⋅ f ( t n , y n ) y_{n+1} = y_n + h \cdot f(t_n, y_n) y n + 1 = y n + h ⋅ f ( t n , y n )
Bu yerda h h h — qadam (step size).
Xatolik: O ( h ) O(h) O ( h ) — birinchi tartib aniqlik.
7.2 Runge-Kutta 4-Tartib (RK4)
y n + 1 = y n + h 6 ( k 1 + 2 k 2 + 2 k 3 + k 4 ) y_{n+1} = y_n + \frac{h}{6}(k_1 + 2k_2 + 2k_3 + k_4) y n + 1 = y n + 6 h ( k 1 + 2 k 2 + 2 k 3 + k 4 )
Bu yerda:
k 1 = f ( t n , y n ) k 2 = f ( t n + h / 2 , y n + h k 1 / 2 ) k 3 = f ( t n + h / 2 , y n + h k 2 / 2 ) k 4 = f ( t n + h , y n + h k 3 ) \begin{aligned}
k_1 &= f(t_n, y_n) \\
k_2 &= f(t_n + h/2, y_n + hk_1/2) \\
k_3 &= f(t_n + h/2, y_n + hk_2/2) \\
k_4 &= f(t_n + h, y_n + hk_3)
\end{aligned} k 1 k 2 k 3 k 4 = f ( t n , y n ) = f ( t n + h /2 , y n + h k 1 /2 ) = f ( t n + h /2 , y n + h k 2 /2 ) = f ( t n + h , y n + h k 3 )
Xatolik: O ( h 4 ) O(h^4) O ( h 4 ) — ancha aniqroq.
7.3 Python Kodi
import numpy as np from scipy . integrate import odeint import matplotlib . pyplot as plt def damped_oscillator ( y , t , zeta , omega_n ) : x , v = y dxdt = v dvdt = - 2 * zeta * omega_n * v - omega_n ** 2 * x return [ dxdt , dvdt ] zeta = 0.3 omega_n = 2.0 y0 = [ 1.0 , 0.0 ] t = np . linspace ( 0 , 10 , 500 ) sol = odeint ( damped_oscillator , y0 , t , args = ( zeta , omega_n ) ) plt . plot ( t , sol [ : , 0 ] ) plt . xlabel ( 'Vaqt (s)' ) plt . ylabel ( 'x(t)' ) plt . title ( "So'nuvchi tebranish" ) plt . grid ( True ) plt . show ( )
8. Barqarorlik (Stability)
8.1 Muvozanat Nuqtasi
y ˙ = f ( y ) \dot{y} = f(y) y ˙ = f ( y ) uchun muvozanat nuqtasi: f ( y ∗ ) = 0 f(y^*) = 0 f ( y ∗ ) = 0
8.2 Chiziqli Sistemalar Barqarorligi
x ˙ = A x \dot{\mathbf{x}} = \mathbf{A}\mathbf{x} x ˙ = Ax sistemasi barqaror agar A \mathbf{A} A ning barcha xos qiymatlari manfiy real qismga ega bo'lsa.
Xos qiymatlar Barqarorlik Barchasi Re ( λ ) < 0 \text{Re}(\lambda) < 0 Re ( λ ) < 0 Asimptotik barqaror Birortasi Re ( λ ) > 0 \text{Re}(\lambda) > 0 Re ( λ ) > 0 Nobarqaror Re ( λ ) = 0 \text{Re}(\lambda) = 0 Re ( λ ) = 0 Marjinal barqaror
8.3 Fizik Talqin
Barqaror: Tizim muvozanatga qaytadi (masalan, so'nuvchi mayatnik)
Nobarqaror: Tizim muvozanatdan uzoqlashadi (teskari mayatnik)
9. Qo'llanilishi
Robotika
Robot qo'li dinamikasi
PID kontrollerlar
Traektoriya rejalashtirish
Dronlar
Parvoz dinamikasi (6DOF model)
Barqarorlik tahlili
Kalman filtri
Raketalar
Traektoriya tenglamalari
Yonilg'i sarfi
Orbital mexanika
Xulosa
Mavzu Asosiy g'oya 1-tartib ODE Ajratish, integrallashtiruvchi ko'paytiruvchi 2-tartib ODE Xarakteristik tenglama Laplace Algebraik usulga o'tkazish State-space Matritsa ko'rinishi Raqamli usullar Euler, RK4 Barqarorlik Xos qiymatlar tahlili
Keyingi qadam: Masalalar orqali mustahkamlash va Python/MATLAB da amaliyot.