Teljes differenciál

A Wikipédiából, a szabad lexikonból.

Teljes differenciál alatt a matematikában (közelebbről az analízisben) az egyváltozós függvény differenciáljának legalább kétféle többdimenziós általánosítását értjük:

egyrészt egy normált térből normált térbe képező függvényt legjobban közelítő affin leképezést, melyet másként Fréchet-deriváltnak is neveznek (bővebben erről lesz szó a szócikkben)
másrészt egy valós értékű, parciálisan differenciálható, többváltozós függvény megváltozásának lineáris részét, melyet a matematikai fizikában és a harmonikus analízisben potenciálfüggvény teljes differenciáljának neveznek (ez is említésre kerül).

Tartalomjegyzék

1 Fréchet-féle differenciálhatóság
2 Jacobi-mátrix, deriválttenzor
3 Teljes differenciál és függvényműveletek
4 Normált terek között ható függvény differenciálása
5 Potenciálfüggvény teljes differenciálja
- 5.1 Teljes differenciál kritérium
6 Lábjegyzet

[szerkesztés] Fréchet-féle differenciálhatóság

Definíció - Azt mondjuk, hogy az f : R^m $\mapsto$ Rⁿ függvény^[1] differenciálható (vagy totálisan differenciálható, vagy Fréchet-féle értelemben differenciálható) az értelmezési tartományának egy a belső pontjában, ha van olyan A : R^m $\rightarrow$ Rⁿ lineáris leképezés, mellyel létezik (továbbá véges az n = 1 esetben) a következő határérték:

$\lim\limits_{x \to a}\frac{f(x)-f(a)-\mathbf{A}(x-a)}{||x-a||_2}\;\;\;\;\;.$ ^[2]

Az itt szereplő A lineáris operátort az f függvény a-beli differenciáljának vagy Fréchet-deriváltjának nevezzük és

$df(a)\;$ -val (mint differenciál) illetve $D\!f(a)\;$ -val (mint derivált)

jelöljük.

Ez azt jelenti, hogy f értékeinek f(a)-tól való eltérése kifejezhető az A(x - a) lineáris kifejezés és az ε(x) "nemlineáris" tag összegeként, mely utóbbi folytonos a-ban, ott nulla értékű és x = a esetén sokkal erősebben (magasabb rendben) válik nullává, mint A(x - a), azaz

$f(x)=f(a)+\mathbf{A}(x - a)+\mathbf{\varepsilon}(x)$

Itt az x $\mapsto$ f(a) + A(x - a) leképezés konstans + lineáris alakú, azaz affin leképezés. Szemléletes jelenése, hogy x $\mapsto$ f(a) + A(x - a) képe Rⁿ-ben az f képének érintőegyenese - ha f görbét határoz meg - és érintősíkja, ha f felületet határoz meg (persze ezek a fogalmak csak R² és R³ esetén bírnak geometriai jelentéssel).

[szerkesztés] Jacobi-mátrix, deriválttenzor

Lásd még: Jacobi-mátrix, tenzor

Ha az f : U $\rightarrow$ Rⁿ függvény az U nyílt halmaz minden pontjában totálisan differenciáható, akkor mindenhol a parciális deriváltjai is léteznek és a differenciál kifejezhető velük. Azt a függvényt, mely U minden x eleméhez a df(x) leképezést rendeli differenciál leképezésnek nevezzük. Rögzített x-re a df(x) lineáris leképezésnek felírható a koordinátamátrixa (a sztenderd bázispárban, vagyis, ha a (1,0,0,...,0), (0,1,0, ..., 0), ..., (0,0,0, ..., 0, 1) bázisvektorokat tekintjük mindkét vektortérben). Belátható, hogy az így keletkező

$[df(x)]\;$

n $\times$ m-es mátrix a Jacobi-mátrix, melynek elemeit az f komponensfüggvényeinek parciális deriváltjai adják a következőképpen. Ha f-et úgy tekintjük, mint az (f₁, f₁, f₂, ... ,f_n) m változós, de valós értékű függvényekből álló függvényrendszer, akkor a [df(x)] mátrix (i,j)-edik eleme:

$\left(\mathbf{J}_x^f\right)_{ij}:=\left.\frac{\partial f_j}{\partial x_i}\right|_{x}=[df(x)]_{ij}$

J_x^f az f függvény x ponthoz tartozó Jacobi-mátrixát jelölő szimbólum.

Bár a Jacobi-mátrix a sztenderd bázisban van definiálva, és a bázis megváltoztatása esetén értékei szintén megváltoznak, de -- az előbbi tétel miatt -- ugyanannak a bázisfüggetlen lineáris leképezésnek lesz a koordinátamátrixa. Ezt a tulajdonságot azaz, hogy a Jacobi-mátrix "együtt transzformálódik a bázissal", vagy "kovariáns a koordinátarendszer-váltással" a matematikai fizikában úgy fogalmazzák meg, hogy a Jacobi-mátrix tenzormennyiség. Innen ered az az elnevezés, hogy a J_x^f mátrix az f függvény deriválttenzora. Mivel az U minden pontjában felírhatjuk J_x^f-t, ezért az U-n értelmezett J^f : x $\mapsto$ J_x^f leképezés úgy nevezett tenzormező, mely minden x-hez tenzort rendel.^[3]

[szerkesztés] Teljes differenciál és függvényműveletek

A teljes differenciálás egy adott a pontban tekinthető úgy, mint az a pontban totálisan differenciálható függvényeken végzett operáció. Ebben a tekintetben nevezzük létezik a D_a differenciáloperátor, mely egy f (a-ban totálisan differenciálható) függvényhez a Df(a) leképezést rendeli. Bizonyos műveletekkel összekapcsolt függvények differenciáljának kiszámítása visszavezehető a függvények differenciáljaival végzett műveletekre.

[szerkesztés] A differenciálás linearitása

Legyen f és g : R^m $\mapsto$ Rⁿ az a pontban totálisan differenciálható függvény. Ekkor teszőleges λ és μ valós számokkal az λf + μg is totálisan differenciálható a-ban és differenciálja:

$d(\lambda f+ \mu g)(a)=\lambda\, df(a) + \mu \,dg(a)\;$

[szerkesztés] Függvénykompozíció differenciálása

Ha g : R^m $\mapsto$ Rⁿ differenciálható az a pontban és f : Rⁿ $\mapsto$ R^k differenciálható a g(a) pontban, továbbá f o g értelmezési tartományának belső pontja a, akkor f o g is differenciálható, és

$d(f\circ g)(a)= df(g(a))\circ dg(a)$

[szerkesztés] Skaláris szorzat differenciálása

Az egyváltozós, vektorértékű, a-ban differenciálható f függvény esetén a Fréchet-derivált egyértelműen megfeleltethető a df(a)1 számnak, a df(a)x=(df(a)1) $\cdot$ x azonosság miatt. Ekkor df(a)1-et f'(a)-val jelöljük és ezt nevezzük az a-beli deriváltnak.

Ha f és g : R $\mapsto$ Rⁿ az a pontban totálisan differenciálható függvény, akkor az f $\cdot$ g függvény is totálisan differenciálható és differenciálja:

$(f\cdot g)'(a)=f'(a)\cdot g(a)+f(a)\cdot g'(a)$

Megjegyzés. 1) A Fréchet-féle differenciálhatóság kiterjeszthető normált terek között ható függvényekre is (lásd később). Ha az f : R $\mapsto$ E függvény normált algebrába képez (például négyzetes mártixok közé), akkor az E algebra $\cdot$ (nem feltétlenül kommutatív) szorzása esetére (mátrixok esetén ez a mártrixszorzás) hasonló összefüggés áll fenn, mint az előbb a skaláris szorzásra. Ha f és g : R $\mapsto$ E (ahol E normált algebra) az a pontban totálisan differenciálható függvény, akkor az f $\cdot$ g függvény is totálisan differenciálható és differenciálja:

$(f\cdot g)'(a)=f'(a)\cdot g(a)+f(a)\cdot g'(a)$

2) Az R³ $\mapsto$ R³ típusú függvények esetén a vektoranalízis ismer egy összefüggést a skaláris szorzás deriválására, ám ez feltételezi olyan differenciáloperátorok ismeretét, mint a gradiens, a rotáció és a "v grad". Ekkor az u és v függvények skaláris szorzatának deriváltja (mely ebben az esetben a grad(u $\cdot$ v) kifejezés):

$grad(\mathbf{uv})=(\mathbf{v},grad)\mathbf{u}+(\mathbf{u},grad)\mathbf{v}+\mathbf{v}\times rot\,\mathbf{u} +\mathbf{u}\times rot\,\mathbf{v}$

[szerkesztés] Normált terek között ható függvény differenciálása

Legyen f : E $\mapsto$ F normált térből normált térbe képező függvény. Azt mondjuk, hogy f differenciálható az értelmezési tartománya egy a belső pontjában (a ||.||_E és ||.||_F normák szerint), ha létezik olyan A : E $\rightarrow$ F folytonos lineáris leképezés, mellyel a

$\lim\limits_{x \to a}\frac{f(x)-f(a)-\mathbf{A}(x-a)}{||x-a||}$

határérték létezik. Itt ||.|| az E tér beli norma.

Lényeges, hogy ebben az általános esetben elengedhetetlen, hogy az A leképezés folytonos legyen, mert bár véges dimenziós E esetén minden A : E $\rightarrow$ F lineáris leképezés folytonos, de ha E végtelen dimenziós, akkor megadható (még egydimenziós F esetén is) olyan lineáris függvény, mely nem folyonos. A folytonossága pedig elengedhetetlen ahhoz, hogy általános keretek között is érvényben maradjon az, hogy differenciálható függvény egyben folytonos is.

Az függvényműveletekkel kapcsolatos szabályok itt is változatlanul érvényesek, feltéve, hogy az adott térben értelmezve vannak (például a skaláris vagy az algebrai szorzás).

[szerkesztés] Potenciálfüggvény teljes differenciálja

Legyen Φ az Rⁿ egy nyílt részhalmazán értelmezett, valós értékű, mindenhol totálisan differenciálható függvény (az ilyet potenciálfüggvénynek is nevezik). Φ teljes megváltozása egy adot r₀ pont körül kifejezhetjük a következőképpen:

$\Delta\Phi=\Phi(\mathbf{r})-\Phi(\mathbf{r}_0)= grad\;\Phi(\mathbf{r_0})\cdot \Delta \mathbf{r}+\alpha(\mathbf{r})|\Delta \mathbf{r}|$

ahol

$grad\; \Phi(\mathbf{r}_0)$ jelen esetben a Φ Jacobi-mártixa r₀-ban, mely lényegében a Φ gradiense,

$\Delta \mathbf{r}=\mathbf{r}-\mathbf{r}_0$ a független változó megváltozása, |Δr| ennek a hossza, $\cdot$ a skaláris szorzás,

$\alpha(\mathbf{r})$ pedig olyan függvény, mely folytonos módon eltűnik az r₀-ban

Az előbbi képletben lévő lineáris kifejezést, azaz

$d\Phi= grad\;\Phi(\mathbf{r_0})\cdot \Delta \mathbf{r}$

kifejezést nevezzük a Φ potenciálfüggvény teljes differenciáljának, melyet leggyakrabban koordinátákkal kiírva szokás megadni:

$d\Phi= \frac{\partial \Phi}{\partial x_1}\cdot \Delta x_1+\frac{\partial \Phi}{\partial x_2}\cdot \Delta x_2 + ... +\frac{\partial \Phi}{\partial x_n}\cdot \Delta x_n$

[szerkesztés] Teljes differenciál kritérium

Gyakran a Δx mennyiségeket dx-szel jelölik, így

$d\Phi= \frac{\partial \Phi}{\partial x_1}\cdot d x_1+\frac{\partial \Phi}{\partial x_2}\cdot d x_2 + ... +\frac{\partial \Phi}{\partial x_n}\cdot d x_n$

Matematikai fizikai jellegű szövegekben sokszor szerepel, hogy valamely kifejezés teljes differenciál. Egy példa erejéig szorítkozzunk a kétváltozós függvények esetére. Azon, hogy

$X(x,y)\,dx + Y(x,y)\,dy$

teljes differenciál, azt értik, hogy létezik olyan Φ(x,y) kétváltozós függvény, hogy X(x,y)dx + Y(x,y)dy éppen a Φ(x,y) megváltozásának lineáris része, azaz teljes differenciálja. Ez a kijelentés ekvivalens azzal, hogy az X(x,y) és Y(x,y) függvényeknek léteznek és folytonosak a parciális deriváltjai és "keresztben vett" parciális deriváltjaik egyenlők:

$\frac{\partial X(x,y)}{\partial y} = \frac{\partial Y(x,y)}{\partial x}$

További ekvivalens megfogalmazás az, hogy X(x,y) és Y(x,y) folytonosan parciálisan differenciálható és az

$\int\limits_{(x_0,y_0),\Gamma}^{(s,t)}X(x,y)\,dx + Y(x,y)\,dy$

vonalintegrál független a Γ úttól, azaz mindig ugyanazt az értéket adja az (x₀,y₀) ponttól az (s,t) pontig integrálva. (Lényeges, hogy ebben az esetben dx és dy csak integrálási szimbólum.)

[szerkesztés] Lábjegyzet

^ Az f : H $\mapsto$ K jelölésen azt kell érteni, hogy a f a H halmaz egy részhalmazán van értelmezve és K-ba képez
^ Ha a ∈ R^m vektor, akkor || a ||₂ az a euklideszi normáját jelöli, azaz a koordinátái négyzetösszegéből vont négyzetgyököt.
^ A tenzorok eredetileg a fizikában használt mennyiségek voltak, de mára a lineáris algebrának és a differenciálgeometriának is fontos fogalmaivá váltak. Lényegében "mátrixfüggvények", melyek definíciója ugyan függ a koordinátarendszertől, de attól függetlenül létező fizikai mennyiség leírására szolgálnak. Például az erő amivel egy könyvet tolunk az asztalon valamely koordinátarendszerben komponenseivel megadható, a koordinátarendszer megváltozatatásával ezek a komponensek változhatnak, de az erő, mely a könyvet nyomja ettől még ugyanaz marad.