3.1: Introducción a las condiciones límite e iniciales
- Page ID
- 113789
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Como todos ustedes saben, las soluciones a las ecuaciones diferenciales ordinarias no suelen ser únicas (las constantes de integración aparecen en muchos lugares). Esto es, por supuesto, igualmente un problema para los PDE. Los PDE generalmente se especifican a través de un conjunto de condiciones límite o iniciales. Una condición límite expresa el comportamiento de una función en el límite (frontera) de su área de definición. Una condición inicial es como una condición de límite, pero luego para la dirección del tiempo. No todas las condiciones límite permiten soluciones, pero generalmente la física sugiere lo que tiene sentido. Permítanme recordarles la situación de las ecuaciones diferenciales ordinarias, una con la que todos deberían estar familiarizados, una partícula bajo la influencia de una fuerza constante,
\[\begin{align} {\frac{\partial^2 x}{\partial t^2}} &= a. & \text{Which leads to} \\ {\frac{\partial x}{\partial t}} &= at + v_0, & \text{and}\\ x &= {\frac{1}{2}} a {t}^{2} + {v}_{0} t + {x}_{0}. & l. 21\\ \nonumber \end{align} \nonumber \]
Esto contiene dos constantes de integración. La práctica estándar sería especificar\(\frac{\partial x}{\partial t}(t=0) = v_0\) y\(x(t=0)=x_0\). Se trata de condiciones iniciales lineales (lineales ya que solo involucran\(x\) y sus derivados linealmente), que tienen como máximo una primera derivada en ellas. Esta diferencia de un orden entre la condición límite y la ecuación persiste en PDE's. Es algo obvio que como la ecuación ya involucra esa derivada, no podemos especificar la misma derivada en una ecuación diferente.
La diferencia importante entre la arbitrariedad de las constantes de integración en las PDE y las ODE es que mientras que las soluciones de las ODE son realmente constantes, las soluciones de las PDE contienen funciones arbitrarias.
Déjenme dar un ejemplo. Toma
\[u = y f(x) \nonumber \]entonces\[\frac{\partial u}{\partial y} = f(x). \nonumber \]
Esto se puede utilizar para eliminar\(f\) de la primera de las ecuaciones, dando\[u = y \frac{\partial u}{\partial y} \nonumber \] que tiene la solución general\(u=yf(x)\).
Se pueden construir ejemplos más complicados. Considerar\[u(x,y) = f(x+y) + g(x-y) \nonumber \] cuál da sobre la doble diferenciación\[\frac{\partial^2 u}{\partial x^2} - \frac{\partial^2 u}{\partial y^2}= 0. \nonumber \]
El problema es que sin condiciones adicionales la arbitrariedad en las soluciones hace que sea casi inútil (si es posible) anotar la solución general. Necesitamos condiciones adicionales, que reduzcan esta libertad. En la mayoría de los problemas físicos se trata de condiciones de contorno, que describen cómo se comporta el sistema en sus límites (para todos los tiempos) y condiciones iniciales, que especifican el estado del sistema por un tiempo inicial\(t=0\). En el problema de la ODE discutido antes tenemos dos condiciones iniciales (velocidad y posición en el tiempo\(t=0\)).