Skip to main content

Differensial Tenglamalar

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))=0F(t, y, y', y'', \ldots, y^{(n)}) = 0

Misol: Erkin tushish tenglamasi

d2xdt2=g\frac{d^2 x}{dt^2} = -g

Tartib (Order)

Tenglamadagi eng yuqori hosila tartibini tenglama tartibi deyiladi.

TenglamaTartib
dydt=ky\frac{dy}{dt} = ky1-tartib
d2ydt2+ω2y=0\frac{d^2y}{dt^2} + \omega^2 y = 02-tartib
d3ydt3=f(t)\frac{d^3y}{dt^3} = f(t)3-tartib

Chiziqli va Nochiziqli

Chiziqli ODE — noma'lum funksiya va hosilalar faqat 1-darajada:

an(t)y(n)+an1(t)y(n1)++a1(t)y+a0(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)

Nochiziqli ODE — yuqori darajalar yoki murakkab ifodalar mavjud:

dydt=y2,d2θdt2=sinθ\frac{dy}{dt} = y^2, \quad \frac{d^2\theta}{dt^2} = -\sin\theta

2. Birinchi Tartibli ODE

2.1 Ajraladigan O'zgaruvchilar

Agar tenglamani quyidagi ko'rinishga keltirish mumkin bo'lsa:

g(y)dy=f(t)dtg(y)\,dy = f(t)\,dt

Yechish: Har ikki tomonni integrallaymiz.

Misol: dydt=ky\frac{dy}{dt} = ky (eksponensial o'sish/so'nish)

dyy=kdt\frac{dy}{y} = k\,dt lny=kt+C\ln|y| = kt + C y(t)=Aekty(t) = Ae^{kt}

Qo'llanilishi: Radioaktiv parchalanish, populyatsiya o'sishi, kondensator zaryadsizlanishi.

2.2 Chiziqli Birinchi Tartibli ODE

Standart ko'rinish:

dydt+P(t)y=Q(t)\frac{dy}{dt} + P(t)y = Q(t)

Yechish usuli: Integrallashtiruvchi ko'paytiruvchi

μ(t)=eP(t)dt\mu(t) = e^{\int P(t)\,dt}

Tenglamani μ(t)\mu(t) ga ko'paytirib:

ddt[μ(t)y]=μ(t)Q(t)\frac{d}{dt}[\mu(t)y] = \mu(t)Q(t)

Misol: RC zanjir

dVCdt+1RCVC=VinRC\frac{dV_C}{dt} + \frac{1}{RC}V_C = \frac{V_{in}}{RC}

2.3 Boshlang'ich Shart Masalalari (IVP)

Boshlang'ich shart berilganda yagona yechim topiladi:

dydt=f(t,y),y(t0)=y0\frac{dy}{dt} = f(t,y), \quad y(t_0) = y_0

Misol: dydt=2t\frac{dy}{dt} = 2t, y(0)=3y(0) = 3

y=t2+Cy = t^2 + C y(0)=3C=3y(0) = 3 \Rightarrow C = 3 y(t)=t2+3y(t) = t^2 + 3

3. Ikkinchi Tartibli Chiziqli ODE

3.1 Doimiy Koeffitsientli Gomogen Tenglama

ay+by+cy=0ay'' + by' + cy = 0

Yechish: Xarakteristik tenglama tuzamiz:

ar2+br+c=0ar^2 + br + c = 0

Uchta holat:

DiskriminantIldizlarUmumiy yechim
b24ac>0b^2 - 4ac > 0r1r2r_1 \neq r_2 (real)y=C1er1t+C2er2ty = C_1e^{r_1 t} + C_2e^{r_2 t}
b24ac=0b^2 - 4ac = 0r1=r2=rr_1 = r_2 = ry=(C1+C2t)erty = (C_1 + C_2 t)e^{rt}
b24ac<0b^2 - 4ac < 0r=α±iβr = \alpha \pm i\betay=eαt(C1cosβt+C2sinβt)y = e^{\alpha t}(C_1\cos\beta t + C_2\sin\beta t)

3.2 Garmonik Ossilyator

d2xdt2+ω2x=0\frac{d^2 x}{dt^2} + \omega^2 x = 0

Xarakteristik tenglama: r2+ω2=0r=±iωr^2 + \omega^2 = 0 \Rightarrow r = \pm i\omega

Yechim:

x(t)=Acos(ωt)+Bsin(ωt)=Ccos(ωt+ϕ)x(t) = A\cos(\omega t) + B\sin(\omega t) = C\cos(\omega t + \phi)

Fizik ma'no: Ideal prujinali tebranish, mayatnik (kichik burchaklar).

3.3 So'nuvchi Tebranishlar

md2xdt2+cdxdt+kx=0m\frac{d^2 x}{dt^2} + c\frac{dx}{dt} + kx = 0

Standart ko'rinish:

d2xdt2+2ζωndxdt+ωn2x=0\frac{d^2 x}{dt^2} + 2\zeta\omega_n\frac{dx}{dt} + \omega_n^2 x = 0

Bu yerda:

  • ωn=k/m\omega_n = \sqrt{k/m} — tabiiy chastota
  • ζ=c2km\zeta = \frac{c}{2\sqrt{km}} — so'nish koeffitsienti (damping ratio)
ζ\zeta qiymatiHolatXarakteristika
ζ<1\zeta < 1Kam so'nuvchi (underdamped)Tebranadi, asta-sekin so'nadi
ζ=1\zeta = 1Kritik so'nuvchi (critical)Eng tez muvozanatga qaytadi
ζ>1\zeta > 1O'ta so'nuvchi (overdamped)Sekin muvozanatga qaytadi

Kam so'nuvchi yechim (ζ<1\zeta < 1):

x(t)=Aeζωntcos(ωdt+ϕ)x(t) = Ae^{-\zeta\omega_n t}\cos(\omega_d t + \phi) ωd=ωn1ζ2\omega_d = \omega_n\sqrt{1-\zeta^2}

4. Nogomogen ODE

4.1 Umumiy Yechim Tuzilishi

ay+by+cy=f(t)ay'' + by' + cy = f(t)

Umumiy yechim:

y=yh+ypy = y_h + y_p
  • yhy_h — gomogen tenglama yechimi (umumiy)
  • ypy_p — xususiy yechim (particular solution)

4.2 Aniqlanmagan Koeffitsientlar Usuli

f(t)f(t) ko'rinishiga qarab ypy_p ni taxmin qilamiz:

f(t)f(t)ypy_p taxmini
Pn(t)P_n(t) (polinom)Antn+An1tn1++A0A_nt^n + A_{n-1}t^{n-1} + \ldots + A_0
eαte^{\alpha t}AeαtAe^{\alpha t}
cos(βt)\cos(\beta t) yoki sin(βt)\sin(\beta t)Acos(βt)+Bsin(βt)A\cos(\beta t) + B\sin(\beta t)
eαtcos(βt)e^{\alpha t}\cos(\beta t)eαt(Acosβt+Bsinβt)e^{\alpha t}(A\cos\beta t + B\sin\beta t)

Misol: Majburiy tebranish

d2xdt2+ωn2x=F0cos(ωt)\frac{d^2 x}{dt^2} + \omega_n^2 x = F_0\cos(\omega t)

yp=Acos(ωt)y_p = A\cos(\omega t) deb taxmin qilib, koeffitsientlarni topamiz.

4.3 Rezonans

Agar majburiy chastota ω\omega tabiiy chastota ωn\omega_n ga teng bo'lsa:

x(t)=F02ωntsin(ωnt)x(t) = \frac{F_0}{2\omega_n}t\sin(\omega_n t)

Amplituda cheksiz o'sadi — bu rezonans hodisasi.


5. Laplace Transformatsiyasi

5.1 Ta'rif

L{f(t)}=F(s)=0estf(t)dt\mathcal{L}\{f(t)\} = F(s) = \int_0^{\infty} e^{-st}f(t)\,dt

5.2 Asosiy Xossalar

f(t)f(t)F(s)=L{f(t)}F(s) = \mathcal{L}\{f(t)\}
111s\frac{1}{s}
tt1s2\frac{1}{s^2}
tnt^nn!sn+1\frac{n!}{s^{n+1}}
eate^{at}1sa\frac{1}{s-a}
sin(ωt)\sin(\omega t)ωs2+ω2\frac{\omega}{s^2+\omega^2}
cos(ωt)\cos(\omega t)ss2+ω2\frac{s}{s^2+\omega^2}

5.3 Hosilalar Transformatsiyasi

L{f(t)}=sF(s)f(0)\mathcal{L}\{f'(t)\} = sF(s) - f(0) L{f(t)}=s2F(s)sf(0)f(0)\mathcal{L}\{f''(t)\} = s^2F(s) - sf(0) - f'(0)

5.4 ODE Yechish Algoritmi

  1. Tenglamaning har ikki tomoniga Laplace transformatsiyasi qo'llash
  2. Y(s)Y(s) ni topish (algebraik tenglama)
  3. Teskari Laplace transformatsiyasi: y(t)=L1{Y(s)}y(t) = \mathcal{L}^{-1}\{Y(s)\}

Misol: y+4y=0y'' + 4y = 0, y(0)=1y(0) = 1, y(0)=0y'(0) = 0

s2Y(s)s10+4Y(s)=0s^2Y(s) - s \cdot 1 - 0 + 4Y(s) = 0 Y(s)(s2+4)=sY(s)(s^2 + 4) = s Y(s)=ss2+4Y(s) = \frac{s}{s^2 + 4} y(t)=cos(2t)y(t) = \cos(2t)

6. State-Space Ko'rinishi

6.1 Yuqori Tartibli ODE ni 1-Tartibli Sistemaga O'tkazish

Har qanday nn-tartibli ODE ni nn ta birinchi tartibli ODE sistemasiga o'zgartirish mumkin.

Misol: y+3y+2y=u(t)y'' + 3y' + 2y = u(t)

O'zgaruvchilar kiritamiz:

x1=y,x2=yx_1 = y, \quad x_2 = y'

Sistema:

x˙1=x2\dot{x}_1 = x_2

x˙2=2x13x2+u\dot{x}_2 = -2x_1 - 3x_2 + u

6.2 Matritsa Ko'rinishi

x˙=Ax+Bu\dot{\mathbf{x}} = \mathbf{A}\mathbf{x} + \mathbf{B}u y=Cx+Duy = \mathbf{C}\mathbf{x} + Du

Yuqoridagi misol uchun:

A=[[0,1],[2,3]]\mathbf{A} = [[0, 1], [-2, -3]], B=[0,1]T\mathbf{B} = [0, 1]^T, C=[1,0]\mathbf{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

yn+1=yn+hf(tn,yn)y_{n+1} = y_n + h \cdot f(t_n, y_n)

Bu yerda hh — qadam (step size).

Xatolik: O(h)O(h) — birinchi tartib aniqlik.

7.2 Runge-Kutta 4-Tartib (RK4)

yn+1=yn+h6(k1+2k2+2k3+k4)y_{n+1} = y_n + \frac{h}{6}(k_1 + 2k_2 + 2k_3 + k_4)

Bu yerda:

k1=f(tn,yn)k2=f(tn+h/2,yn+hk1/2)k3=f(tn+h/2,yn+hk2/2)k4=f(tn+h,yn+hk3)\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}

Xatolik: O(h4)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]

# Parametrlar
zeta = 0.3
omega_n = 2.0
y0 = [1.0, 0.0] # x(0)=1, v(0)=0
t = np.linspace(0, 10, 500)

# Yechish
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) uchun muvozanat nuqtasi: f(y)=0f(y^*) = 0

8.2 Chiziqli Sistemalar Barqarorligi

x˙=Ax\dot{\mathbf{x}} = \mathbf{A}\mathbf{x} sistemasi barqaror agar A\mathbf{A} ning barcha xos qiymatlari manfiy real qismga ega bo'lsa.

Xos qiymatlarBarqarorlik
Barchasi Re(λ)<0\text{Re}(\lambda) < 0Asimptotik barqaror
Birortasi Re(λ)>0\text{Re}(\lambda) > 0Nobarqaror
Re(λ)=0\text{Re}(\lambda) = 0Marjinal 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

MavzuAsosiy g'oya
1-tartib ODEAjratish, integrallashtiruvchi ko'paytiruvchi
2-tartib ODEXarakteristik tenglama
LaplaceAlgebraik usulga o'tkazish
State-spaceMatritsa ko'rinishi
Raqamli usullarEuler, RK4
BarqarorlikXos qiymatlar tahlili

Keyingi qadam: Masalalar orqali mustahkamlash va Python/MATLAB da amaliyot.