3. predavanje iz Matematične fizike 2

Table of Contents

1. Valovna enačba

1.1. Končna struna

Imamo homogene robne pogoje za poljuben čas \( t \)

\[ u(0, t) = u(l, t) = 0 \]

Rešujemo valovno enačbo

\[ u_{tt } = c ^2 u_{xx } \]

z nastavkom separacije spremenljivk \( u(x, t) = X(x) T(t) \).

\[ \frac{\ddot{T}}{T} = c ^2 \frac{X''}{X} = - \omega_k ^2 = - c ^2 k ^2 \ge 0 \]

Časovni del je oblike

\[ T'' + \omega_k ^2 T = 0 \]

in rešitev je sinusoida

\begin{equation} \label{eq:2} T = \alpha_k \cos (k x) + \beta_k \sin (kx) = c_n \Re e^{- \mathrm{i}\omega_n t}, \ c_n \in \mathbb{C} \end{equation}

Krajevni del pa ima obliko

\[ X(x) = \gamma_k \cos (kx) + \delta_k \sin (kx). \]

Iz robnega pogoja takoj zaključimo \( \gamma_k = 0 \) pri \( x = 0 \). Hkrati pa imamo

\[ \sin (kl) = 0 \implies \ k_n = \frac{n \pi}{l}, \ n = 1,2,3, \ldots \]

kjer so \( k_n \) lastne vrednosti. Lastna rešitev krajevnega dela je enaka

\begin{equation} \label{eq:1} X(x) = \sqrt{\frac{2}{L}} \sin (k_n x) \end{equation}

Funkciji \ref{eq:1} pravimo tudi lastna funkcija. Tvorijo kompletni set za funkcije na intervalu \( [0, l] \), ki so \( 0 \) na robu. Te funkcije imajo tudi definiran skalarni produkt, za katere velja

\[ \left\langle x_n, x_m \right\rangle = \int\limits_0^l x_n^{\ast} x_m = \delta_{nm} \]

Poljubna rešitev je definicija nastavka ter enačb \ref{eq:1} in \ref{eq:2}

\[ u(x, t) = \sum\limits_{n = 1}^{\infty} X_n (x) \left[ \alpha_n \cos (\omega_n t) + \beta_n \sin (\omega_n t) \right] \]

Diskretna fourierova vrsta je enaka

\begin{equation} \label{eq:3} f_(x) = \sum\limits_{n = 1}^{\infty} c_n X(x) \end{equation}

kjer so členi vrste enaki \( c_n = \left\langle x_n, f \right\rangle\)

Konvergenca vrste \ref{eq:3} je v srednjem. Najmočnejša konvergenca je enakomerna konvergenca, šibkejša konvergenca je po točkah, najslabša pa je v srednjem, kar je ravno naša funkcija.

Če razvijamo Fourierovo vrsto po Heavisodovi funkciji, se bo na skoku konvergiralo k točki \( y = \frac{1}{2} \), hkrati bosta pa amplitudi (ki sta velikosti 10-20% skoka) pred in po skoku enaki.

Če bi bila funkcija gladka, bi bila konvergenca enakomerna.

1.2. Nehomogena enačba

Imamo valovno enačbo, ki pa je nehomogena

\[ u_{tt } = c ^2 u_{xx } + f(x, t). \]

Končna struna ima začetne pogoje \( u(x, 0) = \phi(x) \) in \( \dot{u}(x, 0) = \psi(x) \) ter lastne rešitve \( X_n (x) \)

Vse funkcije razvijemo po lastnih vrednosti. Funkcijo \( f(x, t) \) razvijemo v vrsto

\[ f(x, t) = \sum\limits_{n = 1}^{\infty} f_n (t) X_n (x) \]

Po lastnih funkcijah razvijemo tudi funkciji v začetnih pogojih in našo rešitev. Torej

\begin{align*} \phi(x) &= \sum\limits_{n = 1}^{\infty} \phi_n X_n (x) \\ \psi(x) &= \sum\limits_{n = 1}^{\infty} \psi_n X_n (x) \\ u(x, t) &= \sum\limits_{n = 1}^{\infty} u_n (t) X_n (x) \end{align*}

Dane nastavka nesemo v nehomogeno valovno enačbo. Spomnimo, da je \( X_n (x) = \sqrt{\frac{2}{l}} \sin (kx) \).

\[ \sum\limits_{}^{} \ddot{u}_n = \sum\limits_n^{} - \omega_n ^2 c_n + f_n X_n \implies \ddot{u}_n = - \omega_n ^2 u_n + f_n \]

Pridelali smo si nehomogeno ODE. Vemo, da je rešitev sestavljena iz nehomogene in homogene rešitve

\[ u_n (x, t) = u_n^{(hom)} (x, t) + u _n^{(nehom)} \]

Rešitev nehomogene enačbe je

\[ u_n^{(nehom)} (t) = \frac{1}{\omega_n} \int\limits_0^t \sin \left( \omega_n (t - \tau) \right) f_n (\tau) \, \mathrm{d} \tau \]

Tako funkcijo bomo srečali tudi kasneje v letu in ji bomo rekli Greenovi funkciji. Izbrana je tako, da je \( u_n^{(nehom)} = \dot{u}_n^{(nehom)} = 0 \). Nastavek za homogen del pa je

\[ u_n ^{(hom)} (t) = \phi_n \cos (\omega_n t) + \frac{\psi_n}{\omega_n} \sin (\omega_n t) \]

Imamo valovno enačbo

\[ u_{tt } = c ^2 u_{ xx } \]

z robnimi pogoji \( u(0, t) = \mu_1 (t) \) in \( u(l, t) = \mu_z (t) \). Uporabimo nastavek

\[ u = u_1 + u_2 \]

kjer je \( u_2 \) tak, da zadosti pogojem ne pa enačbi. Primer je

\[ u_2 (x, t) = \mu_1 (t) + \frac{x}{l} \left( \mu_2 (t) - \mu_1 (t) \right). \]

Ta nastavek zadosti robnemu pogoju, vendar ne enačbi in potem \( u_1 \) zapišemo kot

\[ u_{1tt } = c ^2 u_{1 xx } + \tilde{f}(x, t) \]

kjer je \( \tilde{f} \) odvisen od \( u_2 \), saj smo vanj skrili vse odvode od nastavka \( u_2 \).

Created: 2025-11-01 Sat 19:13