Advertisement
luizaspan

Cálculo III - EDOs

Jun 13th, 2015
531
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Latex 9.69 KB | None | 0 0
  1. \documentclass[]{article}
  2. \usepackage{relatorio-lab}
  3. \usepackage{amsthm}
  4. \theoremstyle{theorem}
  5. \newtheorem*{theorem}{Teorema}
  6. \theoremstyle{definition}
  7. \newtheorem*{definition}{Definição}
  8. \theoremstyle{remark}
  9. \newtheorem*{example}{Exemplo}
  10. \theoremstyle{remark}
  11. \newtheorem*{obs}{Observação}
  12. \renewcommand\qedsymbol{$\blacksquare$}
  13. \begin{document}
  14. \title{Cálculo III \\ 12/05/15}
  15. \author{}
  16. \date{}
  17. \maketitle
  18. \section*{EDOs Lineares de Segunda Ordem}
  19. \[ a_2(x)y'' + a_1(x)y' + a_0(x)y = b(x) \]
  20.  
  21. Sendo $a_2, a_1, a_0$ funções só de $x$.
  22.  
  23. \begin{theorem}
  24. Seja:
  25.  
  26. \[
  27. PVI =
  28. \begin{cases}
  29. a_2y'' + a_1y' + a_0y = b(x) \\
  30. y(x)=y_0 \\
  31. y'(x)=y_0'
  32. \end{cases}
  33. \]
  34.  
  35. Se $a_2(x), a_1(x), a_0(x)$ e $b(x)$ forem contínuas num intervalo $I \subset \mathbb{R}$ onde $a_2(x) \neq 0$, então existe solução única $y(x) \in I$ do PVI.
  36.  
  37. \end{theorem}
  38.  
  39. \subsection*{Caso homogêneo}
  40.  
  41. \begin{equation}
  42. a_2(x)y'' + a_1(x)y' + a_0(x)y = 0
  43. \label{eq1}
  44. \end{equation}
  45.  
  46. \begin{theorem}
  47.  
  48. Se $y_1$ e $y_2$ são soluções da EDO (\ref{eq1}) então qualquer combinação linear de $y_1$ e $y_2$ também é solução da EDO.
  49.  
  50. \end{theorem}
  51.  
  52. \begin{proof}
  53.  
  54. Seja $y(x)=Ay_1 + By_2$, onde $y_1$ e $y_2$ são soluções da EDO (\ref{eq1}) e $A$ e $B$ constantes. Mostrar que $y$ satisfaz (\ref{eq1}):
  55.  
  56. \begin{align}
  57. y'&= Ay_1' + By_2' \label{eq2} \\
  58. y''&=Ay_1'' + By_2'' \label{eq3}
  59. \end{align}
  60.  
  61.  
  62. Aplicando (\ref{eq2}) e (\ref{eq3}) em (\ref{eq1}), temos
  63.  
  64. \begin{equation*}
  65. a_2y''+ a_1y' + a_0y = a_2(Ay_1'' + By_2'') + a_1(Ay_1' + By_2') + a_0(Ay_1 + By_2) = 0
  66. \end{equation*}
  67.  
  68. \end{proof}
  69.  
  70. \begin{example}
  71. Suponha $y_1=\sen 2x$ e $y_2=\sen x \cos x$ soluções da EDO (\ref{eq1}). Como toda combinação linear de $y_1$ e $y_2$ é solução de (\ref{eq1}), será que $y(x)=C_1y_1 + C_2y_2$ é solução geral de (\ref{eq1})? \textbf{Não!}
  72.  
  73. \begin{align*}
  74. y(x) &= C_1 \sen 2x + C_2 \sen x \cos x = \\
  75. &= (2C_1 + C_2) \sen x \cos x =  \\
  76. &= D_1 \sen x \cos x = \\
  77. &= D_1y_2
  78. \end{align*}
  79.  
  80. Não há duas constantes arbitrárias! ($\Rightarrow$ combinação linear de soluções independentes).
  81.  
  82. \end{example}
  83.  
  84. \begin{definition}
  85.  
  86. Sejam $f$ e $g$ diferenciáveis em $I \subset \mathbb{R}$. $f$ e $g$ são linearmente independentes em $I$ se $\alpha f(x) + \beta g(x) = 0 ~\forall x \Rightarrow \alpha=\beta=0$ (solução única!!)
  87.  
  88. \end{definition}
  89.  
  90. \begin{example}
  91. As equãções $y_1=\sen 2x$ e $y_2=\sin x \cos x$ não são linearmente independentes pois
  92.  
  93. \begin{align*}
  94. \alpha y_1 +  \beta y_2 &= 0 ~~~ou \\
  95. \alpha \sen 2x + \beta\sen x \cos x &=0 ~~~\forall x \\
  96. (2\alpha + \beta)\sin x \cos x &=0 \\
  97. \Rightarrow (2\alpha+\beta) &=0 ~~~ou \\
  98. \beta &=-2\alpha
  99. \end{align*}
  100.  
  101. A solução não é única.
  102. \end{example}
  103.  
  104.  
  105. \begin{example}
  106. No $\mathbb{R}^2$: $\vec{u}$, $\vec{v}$ são linearmente independentes se
  107. \begin{align*}
  108. \beta \vec{u}+\beta \vec{v} &= \vec{0} \\
  109. \left[\begin{array}{cc}
  110. u_1 & v_1 \\
  111. u_1 & v_1 \\
  112. \end{array} \right]
  113. \cdot
  114. \left[\begin{array}{c}
  115. \alpha \\
  116. \beta\\
  117. \end{array} \right]
  118. &=
  119. \left[\begin{array}{c}
  120. 0 \\
  121. 0 \\
  122. \end{array} \right]
  123. \end{align*}
  124.  
  125. Solução única trivial $\alpha=\beta=0$:
  126.  
  127. \begin{equation*}
  128. \left|\begin{array}{cc}
  129. u_1 & v_1 \\
  130. u_2 & v_2 \\
  131. \end{array} \right|
  132. \neq 0
  133. \end{equation*}
  134.  
  135. \end{example}
  136.  
  137.  
  138. \begin{obs}
  139. Se $f$ e $g$ são diferenciáveis em $I$, temos que
  140. \begin{align*}
  141. \alpha f + \beta g = 0 ~\forall x &\Rightarrow \alpha =\beta =0 \\
  142. \alpha f'+ \beta g' &= 0 ~\forall x \\
  143. \left(\begin{array}{cc}
  144. f(x) & g(x) \\
  145. f'(x) & g'(x) \\
  146. \end{array} \right)
  147. \cdot
  148. &\left(\begin{array}{c}
  149. \alpha \\
  150. \beta \\
  151. \end{array} \right)
  152. =
  153. \left(\begin{array}{cc}
  154. 0 \\
  155. 0 \\
  156. \end{array} \right)
  157. \end{align*}
  158.  
  159. $\forall x \Rightarrow$ solução única é $\alpha =\beta =0$
  160.  
  161. \begin{equation*}
  162. \left|\begin{array}{cc}
  163. f(x) & g(x) \\
  164. f'(x) & g'(x) \\
  165. \end{array} \right|
  166. \neq 0 ~\forall x
  167. \end{equation*}
  168.  
  169. \end{obs}
  170.  
  171.  
  172. \begin{definition}
  173. O Wronskiano das funções diferenciáveis $f$ e $g$ é o determinante
  174. \begin{equation*}
  175. W(f,g)(x)=
  176. \left|\begin{array}{cc}
  177. f(x) & g(x) \\
  178. f'(x) & g'(x) \\
  179. \end{array} \right|
  180. \end{equation*}
  181. \end{definition}
  182.  
  183.  
  184. \begin{theorem}
  185. $f$ e $g$ são linearmente independentes em $I \subset \mathbb{R} \Leftrightarrow W(f,g)(x) \neq 0 ~\forall x \in I$.
  186. \end{theorem}
  187.  
  188. \begin{example}
  189. $f=sin(2x)$, $g=\sin x \cos x$; $f=2g$.
  190. \begin{equation*}
  191. W(2g,g)(x)=
  192. \left|\begin{array}{cc}
  193. 2g & g \\
  194. 2g' & g' \\
  195. \end{array} \right|
  196. =0 ~\forall x
  197. \end{equation*}
  198. Não são linearmente independentes.
  199. \end{example}
  200.  
  201. \begin{example}
  202. $f=(1-x^2)$ e $g=(1+x^2)$ são linearmente independentes?
  203. \begin{equation*}
  204. W(1-x^2,1+x^2)(x)=
  205. \left|\begin{array}{cc}
  206. 1-x^2 & 1+x^2 \\
  207. (1-x^2)' & (1+x^2)' \\
  208. \end{array} \right|
  209. =4x ~\forall x \neq 0
  210. \end{equation*}
  211. \end{example}
  212.  
  213. \begin{obs}
  214. Se $f=x^n$ e $g= x^m$, $m,n \in \mathbb{N}$. $f$ e $g$ são linearmente independentes para $x \neq 0$ $\Leftrightarrow  m \neq n$.
  215. \end{obs}
  216.  
  217. \begin{example}
  218. Para quais valores de $\alpha$ e $\beta f=e^{\alpha x}$ e $g=e^{\beta x}$ são linearmente independentes?
  219. \begin{equation*}
  220. W(e^{\alpha x},e^{\beta x})(x)=
  221. \left|\begin{array}{cc}
  222. e^{\alpha x} & e^{\beta x} \\
  223. {e^{\alpha x}}' & {e^{\beta x}}' \\
  224. \end{array} \right|
  225. =e^{(\alpha+\beta)x}(\beta-\alpha) \neq 0 \Leftrightarrow \alpha \neq \beta
  226. \end{equation*}
  227. \end{example}
  228.  
  229. \begin{example}
  230. Verificar se $\cos \omega x$ e $\sen \omega x$, $\omega \neq 0$ são linearmente independentes. %w=\omega
  231. \begin{equation*}
  232. W(\cos \omega x,\sen \omega x)(x)=
  233. \left|\begin{array}{cc}
  234. \cos \omega x & \sen \omega x \\
  235. (\cos \omega x)' & (\sen \omega x)' \\
  236. \end{array} \right|
  237. =\omega \neq 0
  238. \end{equation*}
  239. \end{example}
  240.  
  241. \begin{example}
  242. Verificar se $e^{\alpha x}$ e $xe^{ax}$ são linearmente independentes.
  243. \begin{equation*}
  244. W(e^{\alpha x},xe^{ax})(x)=
  245. \left|\begin{array}{cc}
  246. e^{\alpha x} & xe^{ax} \\
  247. {e^{\alpha x}}' & {xe^{ax}}' \\
  248. \end{array} \right|
  249. e^{2ax} \neq 0
  250. \end{equation*}
  251. \end{example}
  252.  
  253. \begin{theorem}
  254. Se $y_1$ e $y_2$ são soluções linearmente independentes da EDO
  255. \begin{equation}
  256. a_2y'' + a_1y' + a_0y = 0
  257. \end{equation}
  258.  
  259. sendo $a_2$, $a_1$, $a_0$ contínuas em $I \subset \mathbb{R}$ onde $a_2 \neq 0$ então $y(x)=C_1y_1 + C_2y_2$ é solução geral dessa EDO (no sentido de que qualquer PVI que envolva a EDO $+$ condições iniciais em $x_0 \in I$ tem solução única).
  260. \end{theorem}
  261.  
  262. \begin{obs}
  263. Seja:
  264.  
  265. \[
  266. PVI =
  267. \begin{cases}
  268. a_2y'' + a_1y' + a_0y = 0 \\
  269. y(x_0)=y_0 \\
  270. y'(x_0)=y_0' \\
  271. \end{cases}
  272. \]
  273.  
  274. sendo $x_0 \in I$ e $y_1$ e $y_2$ linearmente independentes.
  275.  
  276.  
  277. Se a solução geral é $y(x)=C_1y_1 + C_2cy_2$, impondo as condições iniciais, temos o sistema linear para $C_1$ e $C_2$:
  278.  
  279. \begin{equation}
  280. \begin{cases}
  281. y(x_0) = C_1y_1(x_0) + C_2y_2(x_0) = y_0 \\
  282. y'(x_0) = C_1y_1'(x_0) + C_2y_2'(x_0) = y_0' \\
  283. \end{cases} \Rightarrow
  284. \left[\begin{array}{cc}
  285. y_1 & y_2 \\
  286. y_1' & y_2' \\
  287. \end{array} \right]
  288. \cdot
  289. \left[\begin{array}{c}
  290. C_1 \\
  291. C_2 \\
  292. \end{array} \right]
  293. =
  294. \left[\begin{array}{c}
  295. y_0 \\
  296. y_0' \\
  297. \end{array} \right]
  298. \end{equation}
  299.  
  300. $C_1$ e $C_2$ são determinadas, pois $y_1$ e $y_2$ são linearmente independentes em $I \ni x_0 ~(\Rightarrow W(y_1,y_2)(x_0) \neq 0)$.
  301. \end{obs}
  302.  
  303. \section*{EDOs Lineares de Segunda Ordem a Coeficientes Constantes}
  304.  
  305. \[ a_2y'' + a_1y' + a_0y = b(x) \]
  306.  
  307. sendo $a_2, a_1$ e $a_0$ os coeficientes constantes.
  308.  
  309. \subsection*{Caso homogêneo}
  310.  
  311. \begin{align}
  312. a_2y'' + a_1y' + a_0y &= 0 ~ou \\
  313. y'' + by' + cy &= 0 \label{eq}
  314. \end{align}
  315.  
  316. Onde $b=\nicefrac{a_1}{a_2}=\text{cte}$ e $c=\nicefrac{a_0}{a_2}=\text{cte}$.
  317.  
  318.  
  319. \subsubsection*{Primeira ordem}
  320. \begin{align*}
  321. y'+Py &=0; ~~~P=\text{cte} \\
  322. \frac{dy}{y} &= -Pdx \\
  323. \int \frac{dy}{y} &= \int -Pdx \\
  324. y(x) &= Ce^{-Px}
  325. \end{align*}
  326.  
  327. Suporemos que as soluções de (\ref{eq}) são do tipo $y(x)=e^{rx}$, onde $r$ é determinado, fazendo:
  328.  
  329. \begin{align*}
  330. y &= e^{rx} \\
  331. y' &=re^{rx} \\
  332. y'' &= r^2 e^{rx} \\
  333. \end{align*}
  334.  
  335. E aplicando as equações acima em (\ref{eq}) temos $e^{rx}(r^2 + br + c) = 0$, mas como $e^{rx} \neq 0$ temos
  336.  
  337. \begin{align}
  338. r^2 + br + c = 0 \label{eqaux}
  339. \end{align}
  340.  
  341. A equação (\ref{eqaux}) é chamada de equação auxiliar para $r$.
  342.  
  343.  
  344. \[ \Delta=b^2-4c \]
  345.  
  346. \textit{CASO 1:} $\Delta > 0$
  347.  
  348. \[ r_{1,2}=\frac{-b \pm \sqrt{\Delta}}{2} \in \mathbb{R} \]
  349.  
  350. Se $r_1 \neq r_2 \Rightarrow y_1=e^{r_1 x}$ e $y_2=e^{r_2 x}$ são soluções linearmente independentes (Wronskiano $\neq 0$) da EDO (\ref{eq}). Solução geral:
  351.  
  352. \[y(x)=C_1 e^{r_1 x} + C_2 e^{r_2 x} \]
  353.  
  354.  
  355. \begin{example}
  356. Achar a soução geral da EDO $y''-y=0$.
  357.  
  358. \[ y=e^{rx} \]
  359.  
  360. Equação auxiliar: $r^2 -1=0$ $\Rightarrow$ solução: $r= \pm 1 \Rightarrow$ solução geral: $y(x)=C_1 e^{x} + C_2 e^{-x}$.
  361.  
  362. Sabendo que $e^{\pm x}= \cosh{x} \pm \sinh{x}$ temos como solução geral $C_1 (\cosh{x}+\sinh{x}) + C_2 (\cosh{x}-\sinh{x}) = D_1 \cosh{x} + D_2 \sinh{x}$
  363. \end{example}
  364.  
  365. \begin{example}
  366. Resolver
  367. \[
  368. PVI=
  369. \begin{cases}
  370. 2y''-5y'-3y=0 \\
  371. y(0)=1 \\
  372. y'(0)=0
  373. \end{cases}
  374. \]
  375.  
  376. \begin{align*}
  377. y &=e^{rx} \\
  378. 2r^2-5r-3 &=0 ~\text{(equação auxiliar)} \\
  379. \Delta &=49 > 0 \\
  380. r_{1,2} \Rightarrow r_1 &=3, ~r_2=\nicefrac{-1}{2} \\
  381. y(x) &=C_1 e^{3x} + C_2 e^{\nicefrac{-x}{2}} ~\text{(solução geral)} \\
  382. y'(x) &= e C_1 e^{3x} - (\nicefrac{C_2}{2}) e^{\nicefrac{-x}{2}}
  383. \end{align*}
  384.  
  385. Aplicando as condições iniciais:
  386.  
  387. \[
  388. \begin{cases}
  389. y(0)=C_1+C_2=1 \\
  390. y'(0)=3C_1 - \frac{C_2}{2}=0
  391. \end{cases}
  392. \]
  393.  
  394. Temos $C_1=\nicefrac{1}{7}$ e $C_2=\nicefrac{6}{7}$ \textbf{(se fez o negócio certo, vai sair com as constantes determinadas!)}.
  395. A solução do PVI é então dada por $y(x)=\nicefrac{1}{7}(e^{3x}+ 6e^{\nicefrac{-x}{2}})$.
  396.  
  397. \end{example}
  398.  
  399.  
  400. \end{document}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement