14.7: Теорема диференціації

\[\textbf{L} \left( \frac{d^n y}{dt^n}\right) = s^n \bar{y} - s^{n-1}y_0 - s^{n-2} \left(\frac{dy}{dt}\right)_0 - s^{n-3} \left(\frac{d^2y}{dt^2}\right)_0 - ... \quad ... - s \left(\frac{d^{n-2}y}{dt^{n-2}} \right)_0 - \left( \frac{d^{n-1}y}{dt^{n-1}}\right)_0 .\]

Це виглядає грізно, і у вас буде спокуса пропустити це - але не варто, тому що це важливо! Однак, щоб зробити його більш приємним, я зазначу, що один рідко, якщо коли-небудь, потребує похідних вище, ніж другий, тому я перепишу це для першого і другого похідних, і вони будуть виглядати набагато менш страшно.

\[\textbf{L} \dot y = s \bar{y} - y_0\]

і

\[\textbf{L}\ddot y = s^2 \bar{y} - sy_0 - \dot y_0.\]

Тут нульовий індекс означає «оцінюється при t = 0».

Рівняння 14.7.2 легко доведено інтеграцією частинами:

\[\bar{y} = \textbf{L}y = \int_0^\infty ye^{-st}dt = -\frac{1}{s}\int_0^\infty yde^{-st} = -\frac{1}{s} \left[ ye^{-st} \right]_0^\infty + \frac{1}{s} \int_{t=0}^\infty e^{-st} dy =\frac{1}{s}y_0 + \frac{1}{s} \int \dot y dt = \frac{1}{s}y_0 + \frac{1}{s} \textbf{L} \dot y.\]

\[\therefore \qquad \textbf{L}\dot y = s\bar{y} - y_0.\]

З цього\[\textbf{L} \ddot y = \bar{\dot{y}} - \dot y _0 = sL \dot y - \dot y_0 = s(s\bar{y} - y_0) - \dot y_0 = s^2 \bar{y} - sy_0 -\dot y_0.\]

Застосовуйте це знову і знову, і ви прийдете до рівняння 14.7.1