Analízis (MSc) típusfeladatok

Az Analízis I. (MSc) tárgyban a ZH-kon és vizsgákon tipikusan előforduló számolós feladatok és megoldásaik. Emelett még az elméletet is érdemes átnézni, a számonkérés 10-20%-a elmélet szokott lenni.

Integrál trafók témakör

Laplace trafó diff-egyenlet

1) [2015ZH1] Laplace transzformáció segítségével számítsuk ki x(t)-t, ha

${\dot {x}}(t)=2y(t)-x(t)+1$

${\dot {y}}(t)=3y(t)-2x(t)$

$x(0)=0,~y(0)=1$

Megoldás:

• Vegyük mindkét egyenlet Laplace trafóját ($X:={\mathcal {L}}(x),~Y:={\mathcal {L}}(y)$):

$sX-x(0)=2Y-X+{\frac {1}{s}}$

$sY-y(0)=3Y-2X$

• Az egyenleteket átrendezve, és x(0), y(0)-t behelyettesítve:

$(s+1)X+(-2)Y={\frac {1}{s}}$

$(2)X+(s-3)Y=1$

• Mátrixos alakra hozva:

${\begin{bmatrix}s+1&-2\\2&s-3\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}={\begin{bmatrix}{\frac {1}{s}}\\1\end{bmatrix}}$

• Megoldás X-re (a számlálóban a mátrix első oszlopa le lett cserélve az egyenlet jobb oldalára. Ha y-t számolnánk, akkor a második oszlopot kéne lecserélni):

$X={\frac {det\left({\begin{bmatrix}{\frac {1}{s}}&-2\\1&s-3\end{bmatrix}}\right)}{det\left({\begin{bmatrix}s+1&-2\\2&s-3\end{bmatrix}}\right)}}={\frac {{\frac {s-3}{s}}+2}{(s+1)(s-3)+4}}={\frac {3(s-1)}{s(s^{2}-2s+1)}}={\frac {3(s-1)}{s(s-1)^{2}}}={\frac {3}{s(s-1)}}$

• Az inverz laplacehoz bontsuk parciális törtekre:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \frac{A}{s} + \frac{B}{s-1} = \frac{A(s-1) + Bs}{s(s-1)} = \frac{3}{s(s-1)}}

• Együtthatókat összehasonlítva:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A + B = 0, -A = 3}

• Ahonnan:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A = -3,~B = 3}

• Vagyis Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle X(s) = \frac{-3}{s} + \frac{3}{s-1}}

• Tehát a táblázat alapján Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle x(t) = -3 + 3e^t}

2) [2016ZH1] Laplace transzformáció segítségével számítsuk ki x(t)-t, ha

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \ddot{x}(t) = 2x(t) - 3y(t)}

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \ddot{y}(t) = x(t) - 2y(t)}

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle x(0) = \dot{x}(0) = 0,~y(0) = 0,~\dot{y}(0) = 1}

Megoldás:

• Vegyük mindkét egyenlet Laplace trafóját:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle s^2X - sx(0) - \dot{x}(0) = 2X - 3Y}

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle s^2Y - sy(0) - \dot{y}(0) = X - 2Y}

• Átrendezve és mátrixos alakra hozva:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \begin{bmatrix}s^2-2 & 3 \\ -1 & s^2+2\end{bmatrix} \begin{bmatrix}x \\ y\end{bmatrix} = \begin{bmatrix}0 \\ 1\end{bmatrix}}

• Megoldás X-re:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle X = \frac{det\left(\begin{bmatrix}0 & 3 \\ 1 & s^2+2\end{bmatrix}\right)}{det\left(\begin{bmatrix}s^2-2 & 3 \\ -1 & s^2+2\end{bmatrix}\right)} = \frac{-3}{(s^2-2)(s^2+2)+3} = \frac{-3}{s^4-1} = \frac{-3}{(s^2-1)(s^2+1)}}

• Parc törtek:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \frac{A}{s^2-1} + \frac{B}{s^2+1} = \frac{(A+B)s^2 + (A-B)}{s^4-1} = \frac{-3}{s^4-1}}

• Ahonnan:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A = -\frac{3}{2},~B = \frac{3}{2}}

• Inverz Laplace után: Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle x(t) = -\frac{3}{2}sht + \frac{3}{2}sint}

3) [2016ZH1] Transzformáljuk elsőrendűvé a Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle y'' + xy' = x} differenciálegyenlet Laplace transzformációval (Nem kell megoldani!)!

Megoldás:

• Számítsuk ki a tagok Laplace trafóját (x szerint):
  • Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}_x(y'') = s^2 Y - s y(0) - y'(0)}
  • Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}_x(xy') = \mathcal{L}_x(xf(x)) = -(\mathcal{L}_x(f(x)))' = -(\mathcal{L}_x(y'))' = -(s Y(s) - y(0))' = -(s' Y(s) + s Y'(s)) = -Y - sY' }
  • Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}_x(x) = \frac{1}{s^2}}
• Tehát az egyenlet Laplace transzformáltja (elsőrendű Y-ban):

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle s^2 Y - s y(0) - y'(0) + -Y - sY' = \frac{1}{s^2}}

Laplace trafó szabályok alkalmazása

1) [2016PZH] Számítsuk ki az alábbi jobboldali határétrékeket:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \lim_{x \to 0+}f'(x) = ?, ~ \lim_{x \to 0+}f''(x) = ?, ha ~\mathcal{L}(f) = \frac{s^2-3s+1}{5s^4-4s^3+8}}

Megoldás:

• Számoljuk ki Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}'(f)} -et!

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}'(f) = s\mathcal{L}(f) - \lim_{x \to 0+}f(x)}

• Vegyük ennek az egyenletnek a végtelenben vett határértékét:
  • Egy Laplace trafó, és annak bármelyik deriváltja nullázhoz tart a végtelenben: Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle lim_{s \to \infty}\mathcal{L}'(f)=0}
  • Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle lim_{s \to \infty}s\mathcal{L}(f) = lim_{s \to \infty}\frac{s(s^2-3s+1)}{5s^4-4s^3+8} = 0}
• Tehát:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle 0 = 0 - f(0+)}

• Amiből:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle f(0+) = 0}

• Csináljuk meg ugyanezt Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}''(f)} -re!

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}''(f) = s^2\mathcal{L}(f) - sf(0+) - f'(0+)}

• Vagyis:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle 0 = \frac{1}{5} - 0 - f'(0+)}

• Amiből:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle f'(0+) = \frac{1}{5}}

• Végül csináljuk meg ugyanezt Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}'''(f)} -re!

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{L}'''(f) = s^3\mathcal{L}(f) - s^2f(0+) - sf'(0+) - f''(0+)}

• Itt a határérték picit bonyolultabb:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle 0 = lim_{s \to \infty}(\frac{s}{5} - 0 - \frac{s}{5} - f''(0+))}

• Amiből:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle lim_{s \to \infty}(f''(0+)) = f''(0+) = 0}

Fourier diff-egyenlet

1) [2015ZH1] Oldjuk meg Fourier transzformáció segítségével! Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle y'(x) - 4y(x) = 8}

Megoldás:

• Vegyük az egyenlet Fourier trafóját (a táblázatban a Fourier trafó y függvénye, de az y itt mást jelent, a táblázatbeli y-ok helyére írjuk s-t, illetve vezessük be az alábbi jelölést: Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle Y = \mathcal{F}(y)} )!:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle isY - 4Y = 8\sqrt{2\pi}\delta(s)}

• Átrendezve:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle -i(s+4i)Y = 8\sqrt{2\pi}\delta(s)}

• Aminek a disztribúció értelemben vett megoldás Y-ra:
  • Ha Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle s+4i \neq 0} , akkor leoszthatunk vele.
  • Ha $s+4i=0$, akkor $0\cdot Y(-4i)=0$, vagyis $Y(-4i)$ bármilyen konstans lehet, ezt jelöljük pl c-vel.

$Y=c\cdot \delta (s+4i)+{\frac {8{\sqrt {2\pi }}\delta (s)}{is-4}}$

• Az összeg jobboldali tagja egyszerűsíthető, ha kihasználjuk, hogy az egy disztribúció (a $\delta (s)$ a nevezőben lévő s-be is nullát helyettesít):

${\frac {8{\sqrt {2\pi }}\delta (s)}{is-4}}(\varphi )=\delta (s){\frac {8{\sqrt {2\pi }}}{is-4}}(\varphi )=\delta (s)({\frac {8{\sqrt {2\pi }}}{is-4}}\varphi )={\frac {8{\sqrt {2\pi }}}{i0-4}}\varphi (0)=-2{\sqrt {2\pi }}\delta (s)$

• Vagyis:

$Y=c\cdot \delta (s+4i)+-2{\sqrt {2\pi }}\delta (s)$

• Aminek vegyük az inverz Fourier transzformáltját:
  • Megjegyzés: A táblázatban szerepel ${\mathcal {F}}(f(t)+a)=e^{ias}{\mathcal {F}}(f(t))$, de nekünk inverz trafó kell
  • ${\mathcal {F}}^{-1}(F(s)+a)={\mathcal {F}}(F(s)+a)|_{t=-s}=e^{ia(-t)}({\mathcal {F}}(F(s))|_{t=-s})=e^{ia(-t)}{\mathcal {F}}^{-1}(F(s))$

$y(t)=ce^{4t}-2$

2) [2016ZH1] Transzformáljuk elsőrendűvé a $y''+xy'=x$ differenciálegyenlet Fourier transzformációval (Nem kell megoldani!)!

Megoldás:

• Számítsuk ki az egyenlet tagjainak Fourier trafóját (x szerint):
  • ${\mathcal {F}}_{x}(y'')=i^{2}s^{2}{\hat {y}}=-s^{2}{\hat {y}}$
  • ${\mathcal {F}}_{x}(xy')={\frac {{\mathcal {F}}_{x}(y')'}{-i}}=i{\mathcal {F}}_{x}(y')'=i(is{\hat {y}})'=-(s{\hat {y}})'=-{\hat {y}}-s{\hat {y}}'$
  • ${\mathcal {F}}_{x}(x)={\sqrt {2\pi }}i\delta '(s)$
• Vagyis az egyenlet Fourier trafója (elsőrendű diff-egyenlet ${\hat {y}}$-ra):

$-s^{2}{\hat {y}}+-{\hat {y}}-s{\hat {y}}'={\sqrt {2\pi }}i\delta '(s)$

3) [2016V1] Fourier transzformáció segítségével határozzuk meg u(x, t)-t, ha

${\frac {\partial ^{2}u}{\partial ^{2}x}}+{\frac {\partial ^{2}u}{\partial y^{2}}}=0$

$u(x,0)=1,~x\in {\mathcal {R}},y\geq 0$

Megoldás:

Egy u(x, y) függvény x szerinti Fourier trafójának a definíciója:

${\hat {u}}(s,y)={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }u(x,y)e^{-ixs}dx$

Az egyenlet x szerinti Fourier trafója tehát:

$-s^{2}{\hat {u}}(s,y)+{\frac {\partial ^{2}}{\partial y^{2}}}{\hat {u}}(s,y)=0$

Oldjuk meg a diff-egyenletet y-ra (az y szerinti deriváltat jelölje a vessző):

${\hat {u}}_{s}''(y)-s^{2}{\hat {u}}_{s}(y)=0$

$\lambda ^{2}=s^{2}$

${\hat {u}}_{s}(y)=c_{1}(s)e^{sy}+c_{2}(s)e^{-sy}$

Tudjuk, hogy ez a kifejezés $s\to \infty$-ben nullához tart, mert egy Fourier trafó:

$lim_{s\to \infty }c_{1}(s)e^{sy}+c_{2}(s)e^{-sy}=0$

Ami, tekintve, hogy $y\geq 0$, csak akkor teljesülhet, ha $c_{1}(s)=0$.

Tehát:

${\hat {u}}_{s}(y)=c_{2}(s)e^{-sy}$

A kezdeti feltétel Fourier trafója:

${\hat {u}}(0)={\sqrt {2\pi }}\delta (s)$

A két egyenletet összevetve:

$c_{2}(s)={\sqrt {2\pi }}\delta (s)$

Vagyis: ${\hat {u}}(s,y)={\sqrt {2\pi }}\delta (s)e^{-sy}$

$u(x,y)$-hoz vegyük ennek az x szerinti inverz Fourier trafóját:

Fourier trafó szabályok alkalmazása

1) [2015ZH1] Számítsuk ki az $f(x)=3xe^{-x}H(x)$ Fourier transzformáltját, ha tudjuk, hogy ${\mathcal {F}}(e^{-x}H(x))={\frac {1}{\sqrt {2\pi }}}{\frac {1}{1+iy}}$

Megoldás:

Vezessük be a $g(x)=e^{-x}H(x)$ jelölést!

${\mathcal {F}}(f(x))=3{\mathcal {F}}(x\cdot g(x))=3\cdot {\frac {{\mathcal {F}}(g(x))'}{-i}}=3i\cdot ({\frac {1}{\sqrt {2\pi }}}{\frac {1}{1+iy}})'=3i\cdot (-1)\cdot i\cdot {\frac {1}{\sqrt {2\pi }}}{\frac {1}{(1+iy)^{2}}}=3\cdot {\frac {1}{\sqrt {2\pi }}}{\frac {1}{(1+iy)^{2}}}$

Disztribúciók

1) [2015ZH1] Adjuk meg $\delta$ és $\delta '$ lineáris kombinációjaként az $e^{3x-2}\delta '(x)$ disztribúciót!

Megoldás:

• Nézzük meg, hogy egy $\varphi$ függvényre hogyan viselkedik a feladatban szereplő disztribúció!

$(e^{3x-2}\delta '(x))(\varphi )=\delta '(x)(e^{3x-2}\varphi )=-\delta (x)(e^{3x-2}\varphi )'=-\delta (x)(3\cdot e^{3x-2}\varphi +e^{3x-2}\varphi ')=-3e^{-2}\varphi (0)-e^{-2}\varphi '(0)=(-3e^{-2}\delta (x)+e^{-2}\delta '(x))(\varphi )$

• Vagyis:

$e^{3x-2}\delta '(x)=-3e^{-2}\delta (x)+e^{-2}\delta '(x)$

2) [2016ZH1] Számítsuk ki a $T=e^{-x^{2}}$ reguláris disztribúcuó és a $\delta '$ disztribúció konvolúciójának hatását a $\psi (x)=x^{2}$ függvényre: $(T*\delta ')x^{2}=?$

Megoldás:

• Elődáson volt, hogy $(T*\delta ')=T'$
  • $(T*\delta ')\varphi (x+y)=T_{x}(\delta '_{y}(\varphi (x+y)))=T_{x}(-\delta _{y}(\varphi '(x+y)))=T_{x}(-\varphi '(x))=T_{x}'(\varphi (x))$
• Ezt felasználva alkalmazzuk a $T'$ disztribúciót a $\psi$ függvényre:

$<(e^{-x^{2}})',(x^{2})>=\int _{-\infty }^{\infty }(e^{-x^{2}})'(x^{2})dx=[e^{-x^{2}}(x^{2})]_{-\infty }^{\infty }-\int _{-\infty }^{\infty }e^{-x^{2}}2x=0-[e^{-x^{2}}]_{-\infty }^{\infty }=0$

3) [2016ZH1] Mi az $(x-3)f=0$ disztribúció értelemben vett egyenelet összes megoldása? (+1 miért?)

Megoldás:

$f=c\cdot \delta (x-3)$

• Ha $x-3\neq 0$, akkor leoszthatunk vele, és azt kapjuk, hogy $f=0,~ha~x-3\neq 0$.
• Ha $x-3=0$, akkor $0\cdot f(3)=0$, vagyis $f(3)$ bármilyen konstans értéket felvehet, ezt jelöljük pl c-vel.
• Tehát ha $x\neq 3$, akkor $f=0$, ha $x=3$, akkor tetszőleges $c$ értékű, ez röviden: $f=c\cdot \delta (x-3)$

4) [2016ZH1] Adjuk meg az $e^{3x}\delta ''(x-2)$ disztribúciót a $\delta$ eltolt deriváltjainak lineáris kombinációjaként!

Megoldás:

$e^{3x}\delta ''(x-2)(\varphi )=\delta ''(x-2)(e^{3x}\varphi )=\delta (x-2)((e^{3x}\varphi )'')=\delta (x-2)((3e^{3x}\varphi +e^{3x}\varphi ')')=$

$=\delta (x-2)(9e^{3x}\varphi +6e^{3x}\varphi '+e^{3x}\varphi '')=9e^{6}\varphi (2)+6e^{6}\varphi '(2)+e^{6}\varphi ''(2)=(9e^{6}\delta (x-2)-6e^{6}\delta '(x-2)+e^{6}\delta ''(x-2))(\varphi )$

5) [2016PZH] Legyen u az $f(x)=x-3$ által generált reguláris disztribúció, $\psi (x)=e^{-x^{2}}$. Számítsuk ki $(\sigma _{2}\tau _{3}\delta '*u)\psi$-t!

Megoldás:

• Először szabaduljunk meg a konvulúciótól:

$(\sigma _{2}\tau _{3}\delta '*u)=(u*\sigma _{2}\tau _{3}\delta ')\varphi (x+y)=u_{x}(\sigma _{2}\tau _{3}\delta '_{y}(\varphi (x+y)))=u_{x}(-\sigma _{2}\tau _{3}\delta _{y}(\varphi '(x+y)))=u_{x}(-\delta _{y}(\varphi '(2(x+y-3))))=u_{x}(-\varphi '(2(x-3)))=u_{x}'(\sigma _{2}\tau _{3}(\varphi (x)))$

• Az $u_{x}'=1$, ezt bármilyen függvényre alkalmazva visszakapjuk az eredeti függvény (a sima zárójeles jelölés a disztribúció használatára itt nagyon félreérthető):

$u_{x}'(\sigma _{2}\tau _{3}(\varphi (x)))=<1,\sigma _{2}\tau _{3}\varphi (x)>$

• Majd értékeljük ki a disztribúciót a $\varphi =e^{-x^{2}}$ függvényen:

$<1,\sigma _{2}\tau _{3}e^{-x^{2}}>=\int _{-\infty }^{\infty }e^{-(2x-6)^{2}}dx=\int _{-\infty }^{\infty }e^{-u^{2}}{\frac {1}{2}}du={\frac {\sqrt {\pi }}{2}}$

Zoli megoldása:

$(u*\sigma _{2}\tau _{3}\delta ')\varphi =(u*\delta '(2x-6))\varphi =u(x)(\delta '(2y-6)\varphi (x+y))=$

$=u(x)(-{\frac {\delta (2y-6)}{4}}\varphi '(x+y))=u(x){\frac {-\varphi '(x+3)}{4}}=u'(x){\frac {\varphi (x+3)}{4}}={\frac {1}{4}}\int _{-\infty }^{\infty }1\cdot e^{-(x+3)^{2}}dx={\frac {\sqrt {\pi }}{4}}$

Wavelet trafók

Megjegyzés: a kitevőbe írt törtek (pl: $e^{-{\frac {x^{2}}{2}}}$) sok böngészőben hibásan jelennek meg, ezért ezekben az esetekben törtek helyett osztás jelet fogok használni.

---

1) [2015ZH1] Legyen $\psi (x)=(1-x^{2})e^{-x^{2}/2}$, a mexikói kalap wavelet.

a) Legyen $f(x)=e^{-|x|}$. ${\mathcal {F}}(W_{\psi }f_{a}(b))=?$

b) Legyen $g(x)=x^{2}$. Tudjuk, hogy $\int _{R}e^{-x^{2}/2}dx={\sqrt {2\pi }}.~W_{\psi }g_{a}(b)=?$

Megoldás:

a) A wavelet Fourier trafóját közvetlenül megkaphatjuk a wavelet kiértékelése nélkül: ${\mathcal {F}}(W_{\psi }f_{a}(b))={\sqrt {|a|}}\cdot {\sqrt {2\pi }}{\hat {f}}(y)\cdot {\overline {{\hat {\psi }}(ay)}}$

${\hat {f}}(y)={\sqrt {\frac {2}{\pi }}}{\frac {1}{1+y^{2}}}$

${\hat {\psi }}(y)={\mathcal {F}}(e^{-x^{2}/2})-{\mathcal {F}}(x^{2}\cdot e^{-x^{2}/2})={\mathcal {F}}(e^{-x^{2}/2})-{\frac {{\mathcal {F}}(e^{-x^{2}/2})''}{(-i)^{2}}}={\mathcal {F}}(e^{-x^{2}/2})+{\mathcal {F}}(e^{-x^{2}/2})''$

A táblázatban nincs benne, de közismert, hogy ${\mathcal {F}}(e^{-x^{2}/2})=e^{-y^{2}/2}$

${\hat {\psi }}(y)=e^{-y^{2}/2}+(e^{-y^{2}/2})''=e^{-y^{2}/2}+(-y(e^{-y^{2}/2}))'=e^{-y^{2}/2}-e^{-y^{2}/2}+y^{2}(e^{-y^{2}/2})=y^{2}(e^{-y^{2}/2})$

A táblázatból kiolvasott képletbe behelyettesítve:

${\mathcal {F}}(W_{\psi }f_{a}(b))={\sqrt {|a|}}\cdot {\sqrt {2\pi }}\left({\sqrt {\frac {2}{\pi }}}{\frac {1}{1+y^{2}}}\right)\cdot \left((ay)^{2}(e^{-(ay)^{2}/2})\right)$

---

b) $W_{\psi }g_{a}(b)=<\psi _{a,b},g>=\int _{-\infty }^{\infty }(1-{\frac {x-b}{a}}^{2})e^{-((x-b)/a)^{2}/2}x^{2}dx$

Helyettesítésel integrállal tegyük egyszerűbbé a fenti képletet: $u={\frac {x-b}{a}},~x=au+b,~dx=a\cdot du$

$W_{\psi }g_{a}(b)=\int _{-\infty }^{\infty }(1-u^{2})e^{-u^{2}/2}(au+b)^{2}a\cdot du$

Használjuk ki, hogy korábban már kiszámoltuk, hogy $(e^{-u^{2}/2})''=-(1-u^{2})e^{-u^{2}/2}$

$W_{\psi }g_{a}(b)=-a\int _{-\infty }^{\infty }(e^{-u^{2}/2})''(au+b)^{2}du$

Amit kétszer parciálisan integrálva meg is kapjuk az eredményt:

$W_{\psi }g_{a}(b)=-a\left(\left[(e^{-u^{2}/2})'(au+b)^{2}\right]_{-\infty }^{\infty }-\int _{-\infty }^{\infty }(e^{-u^{2}/2})'2a\cdot (au+b)du\right)=2a^{2}\int _{-\infty }^{\infty }(e^{-u^{2}/2})'\cdot (au+b)du=2a^{2}\left(\left[e^{-u^{2}/2}(au+b)\right]_{-\infty }^{\infty }-\int _{-\infty }^{\infty }e^{-u^{2}/2}\cdot adu\right)=-2a^{3}{\sqrt {2\pi }}$

2) [2016ZH1] A Poisson wavelet a következő: $\psi _{n}(x)=H(x){\frac {x-n}{n!}}x^{n-1}e^{-x}$

a) Mutassuk meg, hogy $\psi (x)=-({\frac {x^{n}}{n!}}e^{-x})'$, ha $x\geq 0$

b) Mutassuk meg, hogy $\int _{R}\psi _{n}(x)dx=0$

c) $C_{\psi _{n}}=?$

Megoldás:

a) $-({\frac {x^{n}}{n!}}e^{-x})'=-n{\frac {x^{n-1}}{n!}}e^{-x}+{\frac {x^{n}}{n!}}e^{-x}=x{\frac {x^{n-1}}{n!}}e^{-x}-n{\frac {x^{n-1}}{n!}}e^{-x}={\frac {x-n}{n!}}x^{n-1}e^{-x}$

b) $\int _{R}\psi _{n}(x)dx=\int _{0}^{\infty }-({\frac {x^{n}}{n!}}e^{-x})'dx=-\left[{\frac {x^{n}}{n!}}e^{-x}\right]_{0}^{\infty }=0$

c) $C_{\psi _{n}}=2\pi \int _{-\infty }^{\infty }{\frac {\left|{\hat {\psi }}\right|^{2}}{|y|}}dy$

Először számoljuk ki a wavelet Fourier trafóját (felhasználom, hogy ${\mathcal {F}}(-f')=-iy{\mathcal {F}}(f),~{\mathcal {F}}(x^{n}f)=i^{n}{\mathcal {F}}(f)^{(n)}$):

${\hat {\psi }}={\mathcal {F}}(-({\frac {x^{n}}{n!}}e^{-x})'\cdot H(x))=-{\frac {iy}{n!}}{\mathcal {F}}(x^{n}e^{-x}H(x))=-{\frac {iy}{n!}}i^{n}{\mathcal {F}}(e^{-x}H(x))^{(n)}=-{\frac {iy}{n!}}i^{n}\left({\frac {1}{\sqrt {2\pi }}}{\frac {1}{1+iy}}\right)^{(n)}=$

$=-{\frac {iy}{n!}}i^{n}i^{n}(-1)(-2)\dots (-n){\frac {1}{\sqrt {2\pi }}}{\frac {1}{(1+iy)^{n+1}}}=-iy{\frac {n!}{n!}}(-1)^{n}(-1)^{n}{\frac {1}{\sqrt {2\pi }}}{\frac {1}{(1+iy)^{n+1}}}=-iy{\frac {1}{\sqrt {2\pi }}}{\frac {1}{(1+iy)^{n+1}}}$

$C_{\psi _{n}}=2\pi \int _{-\infty }^{\infty }{\frac {\left|{\hat {\psi }}\right|^{2}}{|y|}}dy=2\pi \int _{-\infty }^{\infty }{\frac {1}{2\pi }}{\frac {|y|^{2}}{|y|}}{\frac {1}{(1+y^{2})^{n+1}}}dy=\int _{0}^{\infty }{\frac {2y}{(1+y^{2})^{n+1}}}dy=-{\frac {1}{n}}\left[{\frac {1}{(1+y^{2})^{n}}}\right]_{0}^{\infty }=-{\frac {1}{n}}(0-1)={\frac {1}{n}}$

3) [2016PZH] Legyen $\psi (x)=xe^{-|x|},f(x)=e^{-x^{2}/2}$. Adjuk meg f $\psi$ által generált wavelet transzformáltjának Fourier transzformáltját!

Megoldás:

${\hat {f}}(x)=e^{-y^{2}/2}$

${\hat {\psi }}(x)={\sqrt {\frac {2}{\pi }}}(-2iy){\frac {1}{(1+y^{2})^{2}}}$

${\mathcal {F}}(W_{\psi }f_{a}(b))={\sqrt {|a|}}\cdot {\sqrt {2\pi }}{\hat {f}}(y)\cdot {\overline {{\hat {\psi }}(ay)}}={\sqrt {|a|}}\cdot {\sqrt {2\pi }}e^{-y^{2}/2}\cdot {\sqrt {\frac {2}{\pi }}}(-2iay){\frac {1}{(1+(ay)^{2})^{2}}}$

Numerikus módszerek témakör

Parcdiff egyenletek (Fourier)

1) [2015ZH2] Oldjuk meg Fourier módszerrel az alábbi parciális differenciálegyenletet!

${\frac {\partial ^{2}u}{\partial t^{2}}}=4{\frac {\partial ^{2}u}{\partial x^{2}}}$

$u(0,t)=u(3,t)=0,~u(x,0)=sin{\frac {4\pi }{3}}x,~{\frac {\partial u}{\partial t}}(x,0)=2\sin {\frac {\pi }{3}}x$

Megoldás:

• Az $U(x,t)$-t keressük szorzat alakban: $U(x,t)=X(x)T(T)$
• A diffegyenlet így átírva: $X(t){\ddot {T}}(t)=4\cdot X''(x)T(T)$
• Ez így már szeparálható:
  • Figyeljünk arra, hogy a deriváltak a számlálóban legyenek
  • A szeparálás utáni hányadosokról pedig tudjuk, hogy negatívak (innen jön a $-b^{2}$)

$4\cdot {\frac {X''(x)}{X(x)}}={\frac {{\ddot {T}}(t)}{T(T)}}=-b^{2}$

• Nézzük meg, hogy melyik változóra van feltételünk, aminek a jobb oldalán konstans szerepel.
  • Az első két féltétel átírva: $X(0)T(t)=X(3)T(t)=0$, minden t-re, vagyis $X(0)=X(3)=0$
  • Tehát az X-re van a T-től nem függő feltételünk, ezért először az X-re oldjuk meg a diffegyenletet!
• Oldjuk meg a diff-egyenletet:

$4\cdot {\frac {X''(x)}{X(x)}}=-b^{2}$

$4\cdot X''(x)+b^{2}\cdot X(x)=0$

• Írjuk fel a karakterisztikus függvényt!

$4\cdot \lambda ^{2}+b^{2}=0$

$\lambda ^{2}=-{\frac {b^{2}}{4}}$

$\lambda =\pm i{\frac {b}{2}}$

• Vagyis a diff-egyenlet megoldása:

$X(x)=c_{1}\cos {{\frac {b}{2}}x}+c_{2}\sin {{\frac {b}{2}}x}$

• Vizsgáljuk meg a kezdeti feltételeket:

$X(0)=c_{1}\cos {0}+c_{2}\sin {0}=c_{1}=0$

$X(3)=c_{2}\sin {{\frac {b}{2}}3}=0$

Ami csak olyan egész k értékekre teljesülhet, amikre: ${\frac {b}{2}}3=k\pi ,~b={\frac {2}{3}}k\pi$

• Most oldjuk meg a diff-egyenletet T(t)-re, de a b helyére az újonnan kapott képletet írjuk be.

${\frac {{\ddot {T}}(t)}{T(t)}}=-({\frac {2}{3}}k\pi )^{2}$

$\lambda ^{2}=-({\frac {2}{3}}k\pi )^{2}$

$\lambda =\pm {\frac {2}{3}}ik\pi$

• A T-re vonatkozó (k-tól függő) diff-egynelet:

$T_{k}(t)=a_{k}\cos {{\frac {2}{3}}k\pi t}+b_{k}\sin {{\frac {2}{3}}k\pi t}$

• Az $U(x,t)$-re vonatkozó k-tól függő egyenlet tehát:

$U_{k}(x,t)=c_{2}\sin {{\frac {k}{3}}\pi x}(a_{k}\cos {{\frac {2k}{3}}\pi t}+b_{k}\sin {{\frac {2k}{3}}\pi t})$

• Vezessük be az $A_{k}=c_{2}\cdot a_{k}$ és $B_{k}=c_{2}\cdot b_{k}$ konstansokat!

$U_{k}(x,t)=A_{k}\sin {{\frac {k}{3}}\pi x}\cos {{\frac {2k}{3}}\pi t}+B_{k}\sin {{\frac {k}{3}}\pi x}\sin {{\frac {2k}{3}}\pi t}$

• Az $U(x,t)$ pedig felírható az $U_{k}(x,t)$-k összegeként az összes k-ra.

$U(x,t)=\sum _{0}^{\infty }U_{k}(x,t)$

• A maradék két feltétel segítségével számoljuk ki az $A_{k}$ és $B_{k}$ konstansok értékeit.

$U(x,0)=\sum _{0}^{\infty }A_{k}\sin {{\frac {k}{3}}\pi x}\cos {0}+B_{k}\sin {{\frac {k}{3}}\pi x}\sin {0}=\sum _{0}^{\infty }A_{k}\sin {{\frac {k}{3}}\pi x}=sin{\frac {4\pi }{3}}x$

Amiből az együtthatók összehasonlításával megkapjuk, hogy $A_{4}=1$, minden más $A_{i}=0$, ha $i\neq 4$

• A másik feltételhez ki kell számolni az ${\frac {\partial U}{\partial t}}(x,t)$-t.

${\frac {\partial U}{\partial t}}(x,t)=\sum _{0}^{\infty }A_{k}\sin {{\frac {k}{3}}\pi x}\sin {{\frac {2k}{3}}\pi t}(-{\frac {2k}{3}}\pi )+B_{k}\sin {{\frac {k}{3}}\pi x}\cos {{\frac {2k}{3}}\pi t}({\frac {2k}{3}}\pi )$

• A feltételbe beírva:

${\frac {\partial U}{\partial t}}(x,0)=\sum _{0}^{\infty }A_{k}\sin {{\frac {k}{3}}\pi x}\sin {0}(-{\frac {2k}{3}}\pi )+B_{k}\sin {{\frac {k}{3}}\pi x}\cos {0}({\frac {2k}{3}}\pi )=\sum _{0}^{\infty }B_{k}\sin {{\frac {k}{3}}\pi x}({\frac {2k}{3}}\pi )=2\sin {\frac {\pi }{3}}x$

Innen pedig: $B_{1}({\frac {2}{3}}\pi )=2,~B_{1}={\frac {2}{({\frac {2}{3}}\pi )}}={\frac {3}{\pi }}$, minden más $B_{i}$ pedig nulla.

Vagyis a megoldás:

$U(x,t)=\sin {{\frac {4}{3}}\pi x}\cos {{\frac {8}{3}}\pi t}+{\frac {3}{\pi }}\sin {{\frac {1}{3}}\pi x}\sin {{\frac {2}{3}}\pi t}$

2) [2016ZH2] Oldjuk meg Fourier módszerrel az alábbi parciális differenciálegyenletet!

${\frac {\partial u}{\partial t}}=9{\frac {\partial ^{2}u}{\partial x^{2}}}$

$u(x,0)=12\cos {\frac {3\pi }{5}}x,~{\frac {\partial u}{\partial x}}(0,t)=~{\frac {\partial u}{\partial x}}(5,t)=0$

Megoldás:

$X(x){\ddot {T}}(t)=9X''(x)T(t)$

${\frac {{\ddot {T}}(t)}{T(t)}}={\frac {9X''(x)}{X(x)}}=-b^{2}$

Először oldjuk meg x-re: ${\frac {9X''(x)}{X(x)}}=-b^{2}$

$9\lambda ^{2}=-b^{2}$

$\lambda =\pm i{\frac {b}{3}}$

$X(x)=c_{1}\cos {{\frac {b}{3}}x}+c_{2}\sin {{\frac {b}{3}}x}$

$X'(x)=-c_{1}{\frac {b}{3}}\sin {{\frac {b}{3}}x}+c_{2}{\frac {b}{3}}\cos {{\frac {b}{3}}x}$

$X'(0)=c_{2}{\frac {b}{3}}=0$

A $b=0$-hoz tartozó $X(x)=0$ megoldás nem érdekel minket, tehát $c_{2}=0$.

$X'(5)=-c_{1}{\frac {b}{3}}\sin {{\frac {b}{3}}5}=0$

Az X azonosan nulla megoldás megint nem érdekel minket, így:

${\frac {5}{3}}b=k\pi$

$b={\frac {3}{5}}k\pi$

Most oldjuk meg a T-re vonatkozó diff-egyenletet

${\frac {{\dot {T}}(t)}{T(t)}}=-({\frac {3}{5}}k\pi )^{2}$

$\lambda =-({\frac {3}{5}}k\pi )^{2}$

$T_{k}(t)=d_{k}e^{-({\frac {3}{5}}k\pi )^{2}t}$

Írjuk fel $U_{k}(x,t)$-t!

$U_{k}(x,t)=D_{k}\cos {{\frac {1}{5}}k\pi x}\cdot e^{-({\frac {3}{5}}k\pi )^{2}t}$

Majd pedig az ebből generált sort:

$U(x,t)=\sum _{k=0}^{\infty }D_{k}\cos {{\frac {1}{5}}k\pi x}\cdot e^{-({\frac {3}{5}}k\pi )^{2}t}$

$U(x,0)=\sum _{k=0}^{\infty }D_{k}\cos {{\frac {1}{5}}k\pi x}=12\cos {\frac {3\pi }{5}}x$

$A_{3}=12$, minden más $A_{i}$ pedig nulla.

Vagyis:

$U(x,t)=12\cos {{\frac {3}{5}}\pi x}\cdot e^{-({\frac {9}{5}}\pi )^{2}t}$.

Parcdiff egyenletek (véges differenciák)

1) [2015ZH2] Véges differenciák segítségével, $h={\frac {1}{2}}$ felosztás mellett adjuk meg az $u_{1,2}$ értékét, ha

${\frac {\partial ^{2}u}{\partial x^{2}}}={\frac {\partial ^{2}u}{\partial t^{2}}}$

$u(0,t)=3,~u(3,t)=0,~u(x,0)=3-x,~{\frac {\partial u}{\partial t}}(x,0)=0$

Megoldás:

• Írjuk fel a diffegyenletet véges differenciákkal:

Magyarázat:

• Írjuk fel a differál-egyenletet differa-egyenlet formában!

$lim_{\Delta \to 0}{\frac {{\frac {u(x+\Delta ,y)-u(x,y)}{\Delta }}-{\frac {u(x,y)-u(x-\Delta ,y)}{\Delta }}}{\Delta }}=lim_{\Delta \to 0}{\frac {{\frac {u(x,y+\Delta )-u(x,y)}{\Delta }}-{\frac {u(x,y)-u(x,y-\Delta )}{\Delta }}}{\Delta }}$

• Közös nevezőre hozva:

$lim_{\Delta \to 0}{\frac {u(x+\Delta ,y)-2u(x,y)+u(x-\Delta ,y)}{\Delta ^{2}}}=lim_{\Delta \to 0}{\frac {u(x,y+\Delta )-2u(x,y)+u(x,y-\Delta )}{\Delta ^{2}}}$

• Na most felejtsük, hogy delta nullához tart, és válasszunk ki egy megfelelően kicsi értéket vízszintes (h) és függőleges (k) irányban. A folytonos függvény helyett pedig használjuk egy ilyen lépésközönként mintavételezett diszkrét függvényt, ahol $u_{i,j}$ jeletése $u(i\cdot h,j\cdot h)$.

${\frac {u_{i+1,j}-2u_{i,j}+u_{i-1,j}}{h^{2}}}={\frac {u_{i,j+1}-2u_{i,j}+u_{i,j-1}}{k^{2}}}$

• Válasszuk meg a feladatban adott h értékhez a k értékét, hogy az egyenletből a lehető legtöbb tag kiessen (jelen esetben a $h=k={\frac {1}{2}}$ választás célszerű).

$u_{i+1,j}-2u_{i,j}+u_{i-1,j}=u_{i,j+1}-2u_{i,j}+u_{i,j-1}$

• Fejezzük ki $u_{i,j+1}$-et az egyenletből.

$u_{i,j+1}=u_{i+1,j}+u_{i-1,j}-u_{i,j-1}$

• Ennek a képletnek a rekurzív alkalmazásával el tudunk jutni a peremfeltételtől az u_{1,2} értékig.

$u_{1,2}=u_{2,1}+u_{0,1}-u_{1,0}$

• Innen az $u_{0,1}$ és a $u_{1,0}$ ismert a peremfeltétel alapján, de az $u_{2,1}$-ért még számolnunk kell.

$u_{2,1}=u_{3,0}+u_{1,0}-u_{2,-1}$

• Az $u_{2,-1}$-hez a nullában vett t szerinti deriváltra vonatkozó feltételt kell használni:

${\frac {u_{2,0}-u_{2,-1}}{k}}=0$

• Vagyis:

$u_{2,-1}=u_{2,0}$

• A kért pont tehát kiszámolható az alábbi peremen található értékekből (papíron egyszerűbb felvenni egy négyzetrácsot az $u_{i,j}$ értékeknek, és mindenhova odaírni az adott értéket):

$u_{1,2}=(u_{3,0}+u_{1,0}-u_{2,0})+u_{0,1}-u_{1,0}=(0+2-1)+3-2=2$

2) [2016ZH2] Vázoljuk fel az alábbi feladat megoldását véges differenciák módszerével, ha $x\in [0,5],t\geq 0$, az x irányú távolság, h = 1. Mennyi lesz $u(2,{\frac {1}{18}})$?

${\frac {\partial u}{\partial t}}=9{\frac {\partial ^{2}u}{\partial x^{2}}}$

$u(x,0)=12\cos {\frac {3\pi }{5}}x,~{\frac {\partial u}{\partial x}}(0,t)=~{\frac {\partial u}{\partial x}}(5,t)=0$

Megoldás:

${\frac {u_{i,j+1}-u_{i,j}}{k}}=9{\frac {u_{i+1,j}-2u_{i,j}+u_{i-1,j}}{h^{2}}}$

Az egyszerű számolás miatt legyen $k={\frac {h^{2}}{18}}={\frac {1}{18}}$

$18(u_{i,j+1}-u_{i,j})=9(u_{i+1,j}-2u_{i,j}+u_{i-1,j})$

$2u_{i,j+1}=u_{i+1,j}+u_{i-1,j}$

$u_{i,j+1}={\frac {u_{i+1,j}+u_{i-1,j}}{2}}$

Ez alapján a keresett érték:

$u(2,{\frac {1}{18}})={\frac {u(1,0)+u(3,0)}{2}}=6(\cos {\frac {3\pi }{5}}+\cos {\frac {9\pi }{5}})$

Jordan normál-forma

1) [2016ZH2] Adjuk meg az $x=Bx+b$ egyenlet megoldását, ha $B={\frac {1}{6}}{\begin{bmatrix}3&1&-2\\0&4&-2\\0&1&1\end{bmatrix}},~b={\begin{bmatrix}1\\0\\1\end{bmatrix}}.$

Megoldás:

• Először meg kell határozni B sajátértékeit. Ezt a $det\left(B-\lambda I\right)=0$ egyenlet megoldásaiként kapjuk meg. Most az ${\frac {1}{6}}$-os szorzó miatt inkább számoljuk azzal, hogy $6\cdot det\left(B-\lambda I\right)=det\left(6B-6\lambda I\right)=det\left(6B-\lambda 'I\right)=0$

${\begin{vmatrix}3-\lambda '&1&-2\\0&4-\lambda '&-2\\0&1&1-\lambda '\end{vmatrix}}=0$

• Fejtsük ki a determinánst az első oszlop szerint:

$(3-\lambda ')((4-\lambda ')(1-\lambda ')+2)=(3-\lambda ')(\lambda '^{2}-5\lambda +6)=(3-\lambda ')(\lambda '-3)(\lambda '-2)=-(\lambda '-3)^{2}(\lambda '-2)$

• Most határozzunk meg minden sajátértékhez egy sajátvektort (itt az ${\frac {1}{6}}$-os szorzó nem számít, a sajátvektor csak konstans szorzó erejéig egyértelmű)
• Először a $\lambda '=3$-hoz keresünk két sajátvektort:

${\begin{bmatrix}3-3&1&-2\\0&4-3&-2\\0&1&1-3\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}0&1&-2\\0&1&-2\\0&1&-2\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\underline {0}}$

• Mindhárom egyenletünk megegyezünk, az y legyen mondjuk 1, ekkor a z-nek -2-nek kell lennie, az x tetszőleges. Az x=0 és az x=1 két lineáris független sajátvektort ad.

$s_{-3,1}={\begin{bmatrix}0\\1\\-2\end{bmatrix}},~s_{-3,2}={\begin{bmatrix}1\\1\\-2\end{bmatrix}}$

• Határozzuk meg a $\lambda '=2$-höz tartozó sajátvektort is:

${\begin{bmatrix}3-2&1&-2\\0&4-2&-2\\0&1&1-2\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}1&1&-2\\0&2&-2\\0&1&-1\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\underline {0}}$

$y=z,~x=-y+2z=z$

• Tehát egy sajátvektor például:

$s_{-2}={\begin{bmatrix}1\\1\\1\end{bmatrix}}$

• A Jordan-normál forma (sajátértékek főátalóban, itt már számít a skalár szorzó) és a transzformációs mátrix (sajátvektorok alkotta mátrix):

$J={\begin{bmatrix}{\frac {3}{6}}&0&0\\0&{\frac {3}{6}}&0\\0&0&{\frac {2}{6}}\end{bmatrix}},~T={\begin{bmatrix}s_{-3,1}&s_{-3,2}&s_{-2}\end{bmatrix}}={\begin{bmatrix}0&1&1\\1&1&1\\-2&-2&1\end{bmatrix}}$

• A végeredményt az alábbi alakban kapjuk majd meg: $u=T(\sum _{k=0}^{\infty }J^{k})T^{-1}b$. Ehhez viszont először invertálni kell T-t.

• Gauss-elimináljunk!

${\begin{bmatrix}0&1&1&|&1&0&0\\1&1&1&|&0&1&0\\-2&-2&1&|&0&0&1\end{bmatrix}}=_{s_{3}+=2\cdot s_{2}}{\begin{bmatrix}0&1&1&|&1&0&0\\1&1&1&|&0&1&0\\0&0&3&|&0&2&1\end{bmatrix}}=_{s_{1}-=\cdot s_{2}}{\begin{bmatrix}-1&0&0&|&1&-1&0\\1&1&1&|&0&1&0\\0&0&3&|&0&2&1\end{bmatrix}}=_{s_{2}+=\cdot s_{1}-s_{3}/3}{\begin{bmatrix}-1&0&0&|&1&-1&0\\0&1&0&|&1&-{\frac {2}{3}}&-{\frac {1}{3}}\\0&0&3&|&0&2&1\end{bmatrix}}={\begin{bmatrix}1&0&0&|&-1&1&0\\0&1&0&|&1&-{\frac {2}{3}}&-{\frac {1}{3}}\\0&0&1&|&0&{\frac {2}{3}}&{\frac {1}{3}}\end{bmatrix}}$

• Számoljuk ki $\sum _{k=0}^{\infty }J^{k}$-t!

$\sum _{k=0}^{\infty }J^{k}={\begin{bmatrix}\sum _{k=0}^{\infty }({\frac {1}{2}})^{k}&0&0\\0&\sum _{k=0}^{\infty }({\frac {1}{2}})^{k}&0\\0&0&\sum _{k=0}^{\infty }({\frac {1}{3}})^{k}\end{bmatrix}}={\begin{bmatrix}{\frac {1}{1-{\frac {1}{2}}}}&0&0\\0&{\frac {1}{1-{\frac {1}{2}}}}&0\\0&0&{\frac {1}{1-{\frac {1}{3}}}}\end{bmatrix}}={\begin{bmatrix}2&0&0\\0&2&0\\0&0&{\frac {3}{2}}\end{bmatrix}}$

• A végeredmény tehát (a mátrix szorzásokat már nem kell elvégezni):

$u={\begin{bmatrix}0&1&1\\1&1&1\\-2&-2&1\end{bmatrix}}{\begin{bmatrix}2&0&0\\0&2&0\\0&0&{\frac {3}{2}}\end{bmatrix}}{\begin{bmatrix}-1&1&0\\1&-{\frac {2}{3}}&-{\frac {1}{3}}\\0&{\frac {2}{3}}&{\frac {1}{3}}\end{bmatrix}}{\begin{bmatrix}1\\0\\1\end{bmatrix}}$

Nem lineáris egyenletek numerikus megoldása

1) [2015ZH2] Keressük a ${\sqrt {1+coshx}}-2=x$ egyenlet megoldását. Tudjuk, hogy a gyök a [4, 5] intervallumban van.

a) A gyökhöz milyen közel kell indítani a húrmódszert, hogy az eljárás konvergáljon?

b) Használható-e a [4, 5] intervallumon az iteráció?

Megoldás:

a) A húrmódszer konvergens ha $|I|{\frac {|f''|}{2|f'|}}<1$ a tartomány összes pontján.

Ez megadja, hogy max mekkora lehet az intervallum hossza, hogy az algoritmus konvergáljon. Gyakorlatban azt szoktuk vizsgálni, hogy a számláló maximuma és a nevező minimuma esetén is teljesül-e a feltétel, ami egy szűkebb feltétel, de becslésnek jó.

Számoljuk ki a deriváltakat!

$|f'|=\left|({\sqrt {1+coshx}}-2-x)'\right|=\left|{\frac {sinhx}{2{\sqrt {1+coshx}}}}-1\right|$

$|f''|=\left|{\frac {coshx}{2(1+coshx)^{\frac {1}{2}}}}-{\frac {sinh^{2}x}{4(1+coshx)^{\frac {3}{2}}}}\right|=\left|{\frac {coshx(1+coshx)-2\cdot sinh^{2}x}{4(1+coshx)^{\frac {3}{2}}}}\right|=\left|{\frac {coshx-sinh^{2}x+(cosh^{2}x-sinh^{2}x)}{4(1+coshx)^{\frac {3}{2}}}}\right|\left|{\frac {coshx-sinh^{2}x+1}{4(1+coshx)^{\frac {3}{2}}}}\right|$

Nézzük meg ezeknek a minimumát és maximumát (csak a tartomány szélei érdekesek, nincs lokális minimuma, tehát az x helyére mindenhova négyet vagy ötöt írunk)

$min_{I}|f'|\geq \left|{\frac {sinh4}{2{\sqrt {1+cosh5}}}}-1\right|$

$max_{I}|f''|\leq \left|{\frac {cosh4-sinh^{2}5+1}{4(1+cosh4)^{\frac {3}{2}}}}\right|$

$I<{\frac {2\cdot min_{I}|f'|}{max_{I}|f''|}}=\left|{\frac {{\frac {sinh4}{\sqrt {1+cosh5}}}-2}{\frac {cosh4-sinh^{2}5+1}{4(1+cosh4)^{\frac {3}{2}}}}}\right|$

b) Az iteráció konvergens ha $|g(x)'|<1$ a tartomány összes pontján.

$|g'(x)|=\left|({\sqrt {1+coshx}}-2)'\right|=\left|{\frac {sinhx}{2{\sqrt {1+coshx}}}}\right|$

$min_{I}|g'(x)|\geq \left|{\frac {sinh4}{2{\sqrt {1+cosh5}}}}\right|={\frac {e^{4}-e^{-4}}{2{\sqrt {(}}1+e^{5}+e^{-5})}}\approx {\frac {e^{1.5}}{2}}\geq 1$

Tehát a tartomány egyetlen pontjára se teljesül a konvergencia szükséges feltétele, azaz az iteráció nem konvergens.

2) [2016ZH2] Tekintsük az $e^{x}-2=x$ egyenletet az [1, 2] intervallumon! Megoldható-e iterációval az [1, 2] valamely részintervallumán? Ha igen, milyen rövid legyen? Megoldható-e húrmódszerrel az [1, 2] valamely részintervallumán? Ha igen, milyen rövid legyen?

Megoldás:

• Iteráció: $|g'(x)|=e^{x}>1$, az [1, 2] intervallum összes pontján. Ebből következik, hogy az iteráció bármely részintervallumon divergens lesz, tehát nem használható.

• Húrmódszer:

$|I|{\frac {max_{I}|f''|}{2min_{I}|f'|}}=|I|{\frac {e^{2}}{2(e^{1}-1)}}<1$

Vagyis az algoritmus konvergens, ha $|I|<2{\frac {e-1}{e^{2}}}=2(e^{-1}-e^{-2})$

3) [2016PZH] Az $arsh2x=x$ egyenlet esetében az intervallum felezés, vagy az iteráció a célravezetőbb az [1, 2] intervallumon? És a [2, 3]-n?

Megoldás:

Az intervallumfelezés esetén minden lépésben megfelezzük az intervallumot (meglepő mi? :D), szóval k lépés után a pontossága: ${\frac {|I|}{2^{k}}}$

A iteráció esetében a pontosság $|g'(x)|$-el szorzódik meg minden iteráció után. Ha ez kisebb, mint ${\frac {1}{2}}$, akkor ez a módszer gyorsabban konvergál, mint az intevallum felezés.

$|g'(x)|={\frac {2}{\sqrt {1+(2x)^{2}}}}$

Az [1,2] tartományon ennek a maximuma ${\frac {2}{\sqrt {3}}}$ ami nagyobb, mint 1, ezért itt az iteráció még csak nem is konvergens. A [2, 3] tartományon a maximum ${\frac {2}{\sqrt {17}}}\approx 0.485$, tehát itt az iteráció gyorsabban konvergál.

4) [2016V1] Newton (érintő) módszerrel keressük a $f(x)=0$ egyenlet megoldását. Adjuk meg $x_{k+1}$-et $x_{k}$ és $f$ segítségével!
Legyen $f(x)=e^{x}-1,~x\in [-a,a]$. Adjuk meg $a$-t úgy, hogy a módszer konvergáljon!
Mi a konvergencia sebessége?

Megoldás:

$x_{k+1}=x_{k}-{\frac {f(x_{k})}{f'(x_{k})}}$

A konvergencia feltétele: $|I|\left|{\frac {f(x)f''(x)}{f'(x)^{2}}}\right|<1$ a tartomány összes pontján, illetve ezt közelíthetjük a számláló maximumával és nevező minimumával:

$2a\left|{\frac {\max _{I}((e^{x}-1)e^{x})}{\min _{I}(e^{x})^{2}}}\right|=2a{\frac {(e^{a}-1)e^{a}}{\left(e^{-a}\right)^{2}}}=2a(e^{a}-1)e^{3a}<1$

A konvergencia sebessége: $\epsilon _{k+1}\leq {\frac {|f''|}{2|f'|}}\epsilon _{k}^{2}$, vagy egyszerűbb alakban: $d_{k}\leq d_{0}^{2k}$

Lagrange multiplikátor módszer

1) [2015ZH2] Keressük meg az $f(x,y,z)=xy^{2}z^{3}(x,y,z>0)$ szélsőértékét az $g(x,y,z)=x+2y+3z-6=0$ feltétel mellett! Vizsgáljuk meg a feltételes definitséget a kapott pontban!

Megoldás:

• Vezessük be az alábbi függvényt:

$F=f-\lambda g$

• A szélsőérték akkor létezhet, ha az összes változó szerinti derviált nulla:

${\frac {\partial F}{\partial x}}=y^{2}z^{3}-\lambda =0$

${\frac {\partial F}{\partial y}}=2xyz^{3}-2\lambda =0$

${\frac {\partial F}{\partial z}}=3xy^{2}z^{2}-3\lambda =0$

${\frac {\partial F}{\partial \lambda }}=g=x+2y+3z-6=0$

Az első egyenlet 2x szeresét a második egyenlet y szorosával egyenlővé téve:

$2xy^{2}z^{3}-2\lambda x=2xy^{2}z^{3}-2\lambda y$

$\lambda x=\lambda y$

Azaz $\lambda =0$ vagy $x=y$

• $\lambda =0$ eset: $x=y=z=\lambda =0$ (ellentmondás: x, y, z pozitív a feladat szerint)

• $x=y$ eset:

Az második egyenlet 3y szeresét a harmadik egyenlet 2z szeresét egyenlővé téve: $6x^{3}z^{3}-6\lambda x=6x^{3}z^{3}-6\lambda z$

Vagyis (ismerve, hogy $\lambda \neq 0$): $x=y=z=\lambda =1$

A definitséghez szükség van ebben a pontban a feltétel gradiensére: $grad(g)={\begin{bmatrix}1&2&3\end{bmatrix}}$

Illetve a gradiensre merőleges vektorok alakjára (skalárszorzat alapján: $<{\begin{bmatrix}1&2&3\end{bmatrix}},{\begin{bmatrix}x&y&z\end{bmatrix}}>=0$)

${\begin{bmatrix}3x&3y&-x-2y\end{bmatrix}}$

Ezen kívül még az F Hesse mátrixa is kelle fog ebben a pontban: $\left.{\begin{bmatrix}{F_{xx}}''&{F_{xy}}''&{F_{xz}}''\\{F_{yx}}''&{F_{yy}}''&{F_{yz}}''\\{F_{zx}}''&{F_{zy}}''&{F_{zz}}''\end{bmatrix}}\right|_{x=1,y=1,z=1}=\left.{\begin{bmatrix}0&2yz^{3}&3y^{2}z^{2}\\2yz^{3}&2xz^{3}&6xyz^{2}\\3y^{2}z^{2}&6xyz^{2}&6xy^{2}z\end{bmatrix}}\right|_{x=1,y=1,z=1}={\begin{bmatrix}0&2&3\\2&2&6\\3&6&6\end{bmatrix}}$

A definitséghez szorozzuk meg a Hesse mátrixot a gradiensre merőleges vektorokkal mindkét oldalról: ${\begin{bmatrix}3x&3y&-x-2y\end{bmatrix}}{\begin{bmatrix}0&2&3\\2&2&6\\3&6&6\end{bmatrix}}{\begin{bmatrix}3x\\3y\\-x-2y\end{bmatrix}}={\begin{bmatrix}-3x&-6y&3x+6y\end{bmatrix}}{\begin{bmatrix}3x\\3y\\-x-2y\end{bmatrix}}=-9x-18y^{2}-3x^{2}-6xy-6xy-12y^{2}=-12x^{2}-12xy-30y^{2}=-6(x^{2}+xy+5y^{2})$

Ennek az előjele lehet pozitív és negatív is x és y értékétől függően, vagyis a mátrix indefinit, azaz itt nincs szélsőérték.

(Ha mindig pozitív lett volna, az minimum helyet jelölt volna, ha mindig negatív akkor maximum, ha mindig nulla, akkor pedig nyereg pont.)

2) [2016ZH2] Hol lehet feltételes szélsőértéke a $3x^{2}+y^{2}+z^{2}-xy$ függvénynek az $x^{2}+y^{2}+z^{2}=1$ feltétel mellett? (+3 pontért: Az egyik lehetséges pontban nézzük meg, hogy van-e!)

Megoldás:

$F=3x^{2}+y^{2}+z^{2}-xy-\lambda (x^{2}+y^{2}+z^{2}-1)$

${\frac {\partial F}{\partial x}}=6x-y-2\lambda x=0$

${\frac {\partial F}{\partial y}}=2y-x-2\lambda y=0$

${\frac {\partial F}{\partial z}}=2z-2\lambda z=0$

${\frac {\partial F}{\partial \lambda }}=x^{2}+y^{2}+z^{2}-1=0$

A harmadik egyenletből: $(1-\lambda )z=0$

Azaz $\lambda =1$ vagy $z=0$

• $\lambda =1$ eset: $x=y=0$, $z=\lambda =1$
• $z=0$ eset:

Az első egyenletből: $y=(6-2\lambda )x$

Az második egyenletből egyenletből:

$2(6-2\lambda )x-x-2\lambda (6-2\lambda )x=0$

$(4\lambda ^{2}-16\lambda +11)x=0$ (x = 0: ellentmondás)

$4\lambda ^{2}-16\lambda +11=0$

$\lambda _{1,2}={\frac {16\pm {\sqrt {80}}}{8}}={\frac {4\pm {\sqrt {5}}}{2}}$

A negyedik egyenlet alapján: $x^{2}+(2\pm {\sqrt {5}})^{2}x^{2}=1$

Vagyis a megoldások (4 db):

$x=\pm {\sqrt {\frac {1}{1+(2\pm {\sqrt {5}})^{2}}}},~y=\pm (2\pm {\sqrt {5}}){\sqrt {\frac {1}{1+(2\pm {\sqrt {5}})^{2}}}},~z=0,\lambda ={\frac {4\pm {\sqrt {5}}}{2}}$

3) [2016PZH] Hol lehet feltételes szélsőértéke a $x^{2}+y^{2}+z^{2}-2xy-2xz$ függvénynek az $x^{2}+y^{2}+z^{2}=1$ feltétel mellett? Állapoítsuk meg a szélsőértékek jellegét!

Megoldás:

$F=x^{2}+y^{2}+z^{2}-2xy-2xz-\lambda (x^{2}+y^{2}+z^{2}-1)$

${\frac {\partial F}{\partial x}}=2x-2y-2z-2\lambda x=0$

${\frac {\partial F}{\partial y}}=2y-2x-2\lambda y=0$

${\frac {\partial F}{\partial y}}=2z-2x-2\lambda z=0$

${\frac {\partial F}{\partial \lambda }}=x^{2}+y^{2}+z^{2}-1=0$

Vonjuk ki a második egyenletből a harmadikat:

$(1-\lambda )(y-z)=0$

Azaz $\lambda =1$ vagy $y=z$

• $\lambda =1$

A második és harmadik egyenlet is azt adja, hogy: $x=0$

Az első egyenlet alapján: $y=-z$

Tehát a két megoldás (a negyedik egyenlet alapján): $(0,\pm {\sqrt {2}},\mp {\sqrt {2}},1)$

• $y=z$ eset

$(1-\lambda )x-2y=0$

$(1-\lambda )y-x=0$

$x^{2}+2y^{2}=1$

A második egyenletből: $x=(1-\lambda )y$

Az első egyenletbe írva: $(1-\lambda )^{2}y-2y=0$

$-(\lambda ^{2}+1)y=0$

Azaz $y=z=x=0$, ellentmondás.

---

A szélsőértékek jellege:

$grad(g)=(2x,2y,2z)$

Az adott pontokban: $grad(g)=(0,\pm 2{\sqrt {2}},\mp 2{\sqrt {2}})$

Az erre merőleges vektorok: $(x,y,y)$

A Hesse mátrix: $\left.{\begin{bmatrix}{F_{xx}}''&{F_{xy}}''&{F_{xz}}''\\{F_{yx}}''&{F_{yy}}''&{F_{yz}}''\\{F_{zx}}''&{F_{zy}}''&{F_{zz}}''\end{bmatrix}}\right|_{x=0,y=\pm {\sqrt {2}},z=\mp {\sqrt {2}},\lambda =1}=\left.{\begin{bmatrix}2-2\lambda &2&2\\2&2-2\lambda &0\\2&0&2-2\lambda \end{bmatrix}}\right|_{x=0,y=\pm {\sqrt {2}},z=\mp {\sqrt {2}},\lambda =1}={\begin{bmatrix}0&2&2\\2&0&0\\2&0&0\end{bmatrix}}$

A definitség: ${\begin{bmatrix}x&y&y\end{bmatrix}}{\begin{bmatrix}0&2&2\\2&0&0\\2&0&0\end{bmatrix}}{\begin{bmatrix}x\\y\\y\end{bmatrix}}={\begin{bmatrix}4y&2x&2x\end{bmatrix}}{\begin{bmatrix}x\\y\\y\end{bmatrix}}=16xy$

Ez indefinit, itt nincs szélsőérték.

Variáció számítás

1) [2015ZH2] Keressük meg az $I(y)$ funkcionálhoz tartozó extremális y függvényt!

$I(y)=\int _{-1}^{2}y'^{2}+x^{3}-2xydx$

$y(-1)={\frac {1}{6}},~y(2)={\frac {5}{3}}$

Megoldás:

Ez a feladattípus arról szól, hogy használjuk az Euler-Lagrange (EL) egyenletet: ${\frac {\partial f}{\partial y}}-{\frac {d}{dx}}{\frac {\partial f}{\partial y'}}=0$

• Vegyük észre, hogy két különböző deriváltjel szerepel a képletben, és ezek mást jelentenek.
• A ${\frac {\partial }{\partial x}}$ azt jelenti, hogy csak az $x$-et közvetlenül tartalmazó tagokat deriváljuk, de az $x$-től függő $y(x)$ függvényt már konstansnak (független változónak) tekintjük a deriválás szempontjából.
  • ${\frac {\partial x}{\partial x}}=1,~{\frac {\partial y(x)}{\partial x}}=0,~{\frac {\partial y'(x)}{\partial x}}=0$
• A ${\frac {d}{dx}}$ esetében mindent deriválunk $x$ szerint, ami függ $x$-től.
  • ${\frac {dx}{dx}}=1,~{\frac {dy(x)}{dx}}=y'(x),~{\frac {dy'(x)}{dx}}=y''(x)$

Az f függvény, amire alkalmazni kell az EL-t, az az integrál belseje: $f(x,y,y')=y'^{2}+x^{3}-2xy$. Ha lenne feltétel is, akkor ugyanúgy be kéne vezetni egy $F=f-\lambda g$ függvényt, és arra kéne megoldani az EL-t.

${\frac {\partial f}{\partial y}}-{\frac {d}{dx}}{\frac {\partial f}{\partial y'}}=-2x-{\frac {d}{dx}}2y'=-2x-2y''=0$

$y''(x)=-x$

$y'(x)=-{\frac {x^{2}}{2}}+c$

$y(x)=-{\frac {x^{3}}{6}}+cx+d$

A kezdeti felételeket felhasználva:

$y(-1)={\frac {1}{6}}-c+d={\frac {1}{6}}$

$c=d$

$y(2)=-{\frac {8}{6}}+2c+d=-{\frac {4}{3}}+3c={\frac {5}{3}}$

$3c={\frac {9}{3}}=3$

Tehát $c=1,~d=1$, azaz a megoldás:

$y(x)=-{\frac {x^{3}}{6}}+x+1$.

2) [2015ZH2] Keressük meg az $I(y)$ funkcionálhoz tartozó extremális y függvényt!

$I(y)=\int _{-1}^{2}y'^{3}+x^{3}-2xydx$

$y(-1)={\frac {1}{6}},~y(2)={\frac {5}{3}}$

Megoldás:

${\frac {\partial f}{\partial y}}-{\frac {d}{dx}}{\frac {\partial f}{\partial y'}}=-2x-{\frac {d}{dx}}3y'^{2}=-2x-6y'y''=0$

Vezessünk be egy $p=y'={\frac {dy}{dx}},~p'=y''={\frac {dp}{dx}}$ változót, és erre oldjuk meg a differenciálegyenletet (ha az egyenletből az x hiányozna, akkor y szerinti deriválásra kéne áttérni).

$-x=3p{\frac {dp}{dx}}$

$3p~dp=-x~dx$

${\frac {3}{2}}p^{2}=-{\frac {x^{2}}{2}}+c$

Írjuk vissza az y'-t p helyére

$\left({\frac {dy}{dx}}\right)^{2}=-{\frac {x^{2}}{3}}+c_{2}$

$dy^{2}=\left(-{\frac {x^{2}}{3}}+c_{2}\right)dx^{2}$

$dy=\pm \left({\sqrt {\frac {1}{3}}}{\sqrt {-x^{2}+c_{3}}}\right)dx$

Ez egy sokkal nehezebb integrál, mint ami ZH-kon elő szokott fordulni.

Amúgy elvileg megoldható $x={\sqrt {c_{3}}}\sin u$ és $dx={\sqrt {c_{3}}}\cos u\,du$ helyettesítéssel meg néhány trigonometrikus összefüggés felhasználásával, és ez lesz a eredménye:

$y=\pm {\frac {1}{2{\sqrt {3}}}}\left(x{\sqrt {c_{3}-x^{2}}}+c_{3}\arctan({\frac {x}{\sqrt {c_{3}-x^{2}}}})\right)+d$

A két kezdeti feltételt felhasználva ki lehet számolni a két konstans értékét ($c_{3},d$). De analitikusan ez még a Mathematica-nak sem sikerült. Persze lehet próbálkozni numerikus módszerekkel :p

Valami nagyon el van b*va ezzel a feladattal.

https://s-media-cache-ak0.pinimg.com/236x/55/08/4b/55084be16a6b92e2cdb97951f371f4df.jpg

3) [2016V1] Keressük meg az extremális függvényt az $I(y)=\int _{0}^{1}y(2-y')dx,~y(0)=1,~y(1)=2$ operátorra vonatkozóan a $J(y)=\int _{0}^{1}y'^{2}={\frac {13}{3}}$ feltétel mellett!

Megoldás:

$F=y(2-y')-\lambda y'^{2}$

Erre alkalmazzuk az Euler-Lagrange egyenletet:

$2-y'-{\frac {d}{dx}}(-y-2\lambda y')=2-y'+y'+2\lambda y''=2+2\lambda y''=0$

$y''={\frac {-1}{\lambda }}$

${\frac {dy'}{dx}}={\frac {-1}{\lambda }}$

$\int dy'=\int {\frac {-1}{\lambda }}dx$

$y'={\frac {-x}{\lambda }}+c_{1}$

${\frac {dy}{dx}}={\frac {-x}{\lambda }}+c_{1}$

$\int dy=\int {\frac {-x}{\lambda }}+c_{1}dx$

$y={\frac {-x^{2}}{2\lambda }}+c_{1}x+c_{2}$

Használjuk fel a kezdeti feltételeket!

$y(0)=c_{2}=1$

$y(1)={\frac {-1}{2\lambda }}+c_{1}+1=2$

$c1=1+{\frac {1}{2\lambda }}$

A $\lambda$-hoz ki kell számolni J(y)-t.

$y={\frac {-x^{2}}{2\lambda }}+x+{\frac {x}{2\lambda }}+1$

$y'={\frac {-x}{\lambda }}+1+{\frac {1}{2\lambda }}$

$y'^{2}={\frac {x^{2}}{\lambda ^{2}}}-{\frac {2x}{\lambda }}+1-{\frac {2x}{2\lambda ^{2}}}+{\frac {2}{2\lambda }}+{\frac {1}{4\lambda ^{2}}}={\frac {1}{\lambda ^{2}}}\left(x^{2}-2x\lambda +\lambda ^{2}-x+\lambda +{\frac {1}{4}}\right)$

$\int _{0}^{1}y'^{2}={\frac {1}{\lambda ^{2}}}\left[{\frac {x^{3}}{3}}-\lambda x^{2}+\lambda ^{2}x-{\frac {x^{2}}{2}}+\lambda x+{\frac {x}{4}}\right]_{0}^{1}={\frac {1}{\lambda ^{2}}}\left({\frac {1}{3}}-\lambda +\lambda ^{2}-{\frac {1}{2}}+\lambda +{\frac {1}{4}}\right)=1+{\frac {1}{12\lambda ^{2}}}={\frac {13}{3}}$

$\lambda ^{2}={\frac {3}{120}}={\frac {1}{40}}$

$\lambda =\pm {\frac {1}{\sqrt {40}}}$

Visszaírva y-ba:

$y(x)=\mp {\sqrt {10}}x^{2}+(1\pm {\sqrt {10}})x+1$