En matematiko, **apartigo de variabloj** estas ĉiu el kelkaj manieroj de solvado de ordinaraj kaj partaj diferencialaj ekvacioj, en kiu algebro permesas reskribi la ekvaciojn tiel, ke ĉiu el du variabloj okazos en malsama flanko de la ekvacio.

Ordinaraj diferencialaj ekvacioj (ODE)
--------------------------------------

Supozu ke la diferenciala ekvacio povas esti skribita en la formo

{\displaystyle {\frac {d}{dx}}f(x)=g(x)h(f(x)),\qquad \qquad (1)}
kiun oni povas skribi pli simple per uzo de {\displaystyle y=f(x)}:

{\displaystyle {\frac {dy}{dx}}=g(x)h(y)\qquad \qquad (1).}
Oni povas reordigi la termojn por ricevi la jenon

{\displaystyle {\frac {1}{h(y)}}{\frac {dy}{dx}}=g(x)}
se {\displaystyle h(y)\neq 0}.

Integralante ambaŭ flankojn de la ekvacio je {\displaystyle x}, oni ricevas la jenon

{\displaystyle \int {\frac {1}{h(y)}}{\frac {dy}{dx}}\,dx=\int g(x)\,dx+C\qquad \qquad (2)}
kiu estas ekvivalento de

{\displaystyle \int {\frac {1}{h(y)}}\,dy=\int g(x)\,dx+C}
pro la anstataŭa regulo por integraloj.

Se oni povas komputi la du integralojn, oni povas trovi solvaĵo de la diferenciala ekvacio. Rimarku ke ĉi tiu procezo fakte permesas trakti la derivaĵon {\displaystyle {\frac {dy}{dx}}} kiel frakcio kiu povas esti apartigita. Ĉi tio permesas solvi apartigeblajn diferencialajn ekvacioj pli oportune, kio demonstracitas en la ekzemplo pli sube.

Notu ke, kiu oni ne bezonas uzi du konstantojn de integralado, en ekvacio (2) kiel en

{\displaystyle \int {\frac {1}{h(y)}}\,dy+C\_{1}=\int g(x)\,dx+C\_{2},}
ĉar la sola konstanto {\displaystyle C=C\_{2}-C\_{1}} estas ekvivalento.

### Ekzemplo

La ordinara diferenciala ekvacio

{\displaystyle {\frac {df(x)}{dx}}=f(x)(1-f(x))}
povas esti skribita kiel

{\displaystyle {\frac {dy}{dx}}=y(1-y).}
Se oni estigu {\displaystyle g(x)=1} kaj {\displaystyle h(y)=y(1-y)}, oni povas skribi la diferencialan ekvacion en la formo de ekvacio (1) pli supre. Tial, la diferenciala ekvacio estas apartigebla.

Per la pruvo pli supre, oni povas trakti {\displaystyle dy} kaj {\displaystyle dx} kiel apartaj valoroj, tiel ke ambaŭ flankoj de la ekvacio povas esti multiplikitaj per {\displaystyle dx}. Sekve dividante ambaŭ flankojn per {\displaystyle y(1-y)}, oni havas la jenon

{\displaystyle {\frac {dy}{y(1-y)}}=dx.}
Je ĉi tiu punkto oni havi *apartigitajn* la variablojn *x* kaj *y* unu de la alia, ĉar *x* aperas nur en la dekstra flanko de la ekvacio kaj *y* nur en la maldekstra.

Integralante ambaŭ flankojn, oni ricevas la jenon 

{\displaystyle \int {\frac {dy}{y(1-y)}}=\int dx,}
kiu, tra partaj frakcioj, fariĝas

{\displaystyle \int {\frac {1}{y}}+{\frac {1}{1-y}}\,dy=\int dx,}
kaj tiam

{\displaystyle \ln y-\ln(1-y)=x+C}
kie *C* estas la konstanto de integralado. Iom de algebro donas solvaĵon por *y*:

{\displaystyle y={\frac {1}{1+Be^{-x}}}.}

Partaj diferencialaj ekvacioj (PDE)
-----------------------------------

Estu donita diferenciala ekvacio en partaj derivaĵoj de funkcio

{\displaystyle F(x\_{1},x\_{2},\dots ,x\_{n})}
de *n* variabloj.

Se la funkcio estas de formo

{\displaystyle F=F\_{1}(x\_{1})\cdot F\_{2}(x\_{2})\cdots F\_{n}(x\_{n})}
aŭ

{\displaystyle F=f\_{1}(x\_{1})+f\_{2}(x\_{2})+\cdots +f\_{n}(x\_{n})}
ĉi tio traformigas la diferencialan ekvacion en partaj derivaĵoj en aron de ODE. Kutime, ĉiu sendependa variablo kreas *apartigan konstanton*, kiu ne povas esti difinita nur de la ekvacio mem.

### Ekzemplo 1

Estu *F*(*x*, *y*, *z*) kaj jena PDE:

{\displaystyle {\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial y}}+{\frac {\partial F}{\partial z}}=0\qquad \qquad (1)}
Ĉi tie

{\displaystyle F(x,y,z)=X(x)+Y(y)+Z(z)\qquad \qquad (2)}
tial la ekvacio (1) reformiĝas al

{\displaystyle {\frac {dX}{dx}}+{\frac {dY}{dy}}+{\frac {dZ}{dz}}=0}
(ĉar {\displaystyle {\frac {\partial F}{\partial x}}={\frac {dX}{dx}}}).

Nun, ĉar *X*'(*x*) estas dependa nur de *x* kaj *Y*'(*y*) estas dependa nur de *y* kaj *Z*'(*z*) estas dependa nur de *z* ĉiu el la pertoj estas konstanto. Pli detale,

{\displaystyle {\frac {dX}{dx}}=c\_{1}\quad {\frac {dY}{dy}}=c\_{2}\quad {\frac {dZ}{dz}}=c\_{3}\qquad \qquad (3)}
estas konstantoj *c*1, *c*2, *c*3 kontentigaj je:

{\displaystyle c\_{1}+c\_{2}+c\_{3}=0\qquad \qquad (4)}
(3) estas reale aro de tri ODE. En ĉi tiu okazo ili estas solveblaj per simpla integralado kiu donas la jenon

{\displaystyle F(x,y,z)=c\_{1}x+c\_{2}y+c\_{3}z+c\_{4}\qquad \qquad (5)}
kie la integralada konstanto *c*4 estas difinita per komencaj kondiĉoj.

  


|  |  |
| --- | --- |
|  <!-- --> | Ĉi tiu artikolo enhavas dume forkomentitajn partojn de la teksto, ĉar ili ankoraŭ ne estas sufiĉe bonaj. Vi povas redakti la paĝon kaj plibonigi kaj malkomenti la forkomentitajn partojn. |

Programaro
----------

Xcas: split((x+1)\*(y-2),[x,y]) = [x+1,y-2]

1. ↑