11 votos

¿Cuáles son la integración de factores, realmente?

Puedo seguir el fundamento para la integración de factores bastante bien, pero todavía se siente como el vudú para mí.

Cada descripción de la integración de los factores que he visto (y he visto unos cuantos, incluyendo estos) se salta la pregunta de qué es la integración de factores, y en su lugar se adopta estrictamente una aproximación heurística: la integración de los factores se presentan como un truco para resolver ciertas ecuaciones diferenciales problemas, y el hecho de que "trabajo" es todo lo que necesita saber acerca de ellos1.

Es allí una manera de presentar la integración de los factores más fundamentales términos, independiente de su papel en la solución de ecuaciones diferenciales?

Dado un entendimiento general de lo que es una ecuación diferencial dice, y antes de considerar el problema de "resolver" esta ecuación, ¿cómo sería la integración de factores que entran en la imagen?

Como alternativa, lo que sería un posible línea de razonamiento que quiere llevar a otra persona (que no ya saben acerca de la integración de factores a considerar, en primer lugar, ya sea en el contexto de la solución de una ecuación diferencial o de otra manera?


1 La aparición de la integración de los factores en el sector formal del discurso matemático a menudo se asemeja a la contratación de algunos personajes desagradables para cuidar de un desagradable trabajo. Claro, que ellos son una vergüenza para la habitual matemática decoro, sino que se pongan con la necesidad de: hacer el trabajo. La vergüenza sólo se hace peor por el hecho de que estos "integración de los factores" a menudo se muestran en la compañía de los llamados "inexacta diferenciales", que son aún más desagradable, si cualquier cosa.

9voto

Jan D. Puntos 316

Si usted se siente cómodo con formas diferenciales, aquí está la historia como el mejor yo lo entiendo.

El punto esencial es que una función $f$ de una sola variable puede ser visto como la definición de un camino de $\gamma(t) = (t,f(t))$ en el avión $\mathbb{R}^2$, por lo que si bien puede reescribir la ecuación diferencial para $f$ en términos de $\gamma$, ahora usted puede utilizar las herramientas de la geometría diferencial para obtener un mejor manejo de la ecuación original. De hecho, considerar el general de primer orden de la ecuación diferencial lineal de una función desconocida $f$: $$ a(t)f^\prime(t) + b(t)f(t) + c(t) = 0. $$ Si se define la ruta de acceso$\gamma$$\mathbb{R}^2$$\gamma(t) = (x(t),y(t)) := (t,f(t))$, entonces usted puede volver a escribir la ecuación diferencial como $$ \gamma^\ast\omega = 0 $$ para el $1$-forma $$ \omega := (b(x)y+c(x))dx+(x)dy, $$ desde $$ \gamma^\ast\omega = (b(x(t))y(t)+c(x(t)))x^\prime(t)dt + a(x(t))y^\prime(t)dt = (a(t)f^\prime(t) + b(t)f(t) + c(t))dt. $$

Ahora, si $\omega$ ya es exacta, es decir, $\omega = dF$ para algunos escalares función de $F$, luego $$ 0 = \gamma^\ast \omega = \gamma^\ast dF = d(F \circ \gamma), $$ de modo que $F \circ \gamma$ es constante, y por lo tanto, $F(t,f(t)) = C$ da una solución implícita de la ecuación original. Sin embargo, para $\omega$ para ser exactos, no debe ser cerrado, es decir, $d\omega = 0$, que en este caso concreto de los rendimientos $$ 0 = d\omega = (a^\prime(x)-b(x)) dx \wedge dy, $$ o, equivalentemente, $$ a^\prime(x) = b(x). $$

Así que, ¿qué hacer si $\omega$ no está aún cerrado, es decir, si $a^\prime(x) \neq b(x)$? Así, puede intentar encontrar un lugar-desaparición de la función $\mu$, un factor de integración, de tal manera que $\mu\omega$ es cerrado, es decir, $$ 0 = d(\mu \omega ) = d\mu \wedge \omega \mu d\omega. $$ Si usted puede encontrar esta función en $\mu$, $\gamma^\ast \omega = 0$ si y sólo si $\gamma^\ast (\mu \omega) = 0$ donde $\mu \omega$ es cerrado. Si por otra parte, $\mu \omega$ está definida en una región en el plano sobre el cual cada cerró $1$-formulario es exacta (por ejemplo, su región es contráctiles), a continuación, $\mu \omega$ es exacta, es decir, $\mu \omega = dG$ para algunos escalares función de $G$, e $G(t,f(t))=C$ define implícitamente las soluciones de la ecuación.

Ahora, en nuestro caso concreto, $$ 0 = d\mu \wedge \omega \mu d\omega\\ = (\mu_x(x,y) dx + \mu_y(x,y) dy) \wedge ((b(x)y+c(x))dx+(x)dy) - \mu(x,y)(a^\prime(x)-b(x))dx \wedge dy\\ = (a(x)\mu_x(x,y) - b(x)y+c(x))\mu_y(x,y) - (a^\prime(x)-b(x))\mu(x,y))dx \wedge dy, $$ o, equivalentemente, $$ a(x)\mu_x(x,y) - b(x)y+c(x))\mu_y(x,y) - (a^\prime(x)-b(x))\mu(x,y) = 0. $$ En el caso especial donde $a(x) = 1$, es decir, el original de la educación a distancia se $f^\prime(t) + b(t)f(t) + c(t) = 0$, si se supone que $\mu = \mu(x)$, por lo que el $\mu_y = 0$, esto se reduce a $$ \mu^\prime(x) - b(x)\mu(x) = 0, $$ dando la costumbre factor de integración $$ \mu(x) = \mu(x_0)e^{\int_{x_0}^x b(s)ds} $$ a partir de los libros de texto.

Por último, permítanme señalar que esta historia puede ser contada en considerable generalidad. Deje $M$ ser un suave colector (por ejemplo, $M$ un subconjunto abierto de $\mathbb{R}^2$, como en el habitual en los libros de texto de educación a distancia), vamos a $\omega \in \Omega^1(M)$ $1$- forma, y consideran que el primer orden de la ecuación diferencial $$ \gamma^\ast \omega = 0 $$ para un desconocido camino liso $\gamma : (a,b) \to M$. Si $\omega$ ya es exacta, es decir, $\omega = dF$ algunos $F \in C^\infty(M)$, luego $$ 0 = \gamma^\ast \omega = \gamma^\ast dF =d(F \circ \gamma), $$ de modo que $F \circ \gamma$ es constante, y por lo tanto, $F(\gamma(t)) = C$ le da una forma implícita de la ecuación de $\gamma$. Para $\omega$ para ser exactos, no debe ser cerrado, es decir, $d\omega = 0$. Si no está aún cerrada, puede intentar encontrar un lugar de fuga función escalar $\mu \in C^\infty(M)$, su factor de integración para $\omega$, de tal manera que $\mu\omega$ es cerrado, es decir, $$ 0 = d(\mu \omega) = d\mu \wedge \omega \mu d\omega. $$ Entonces, si $H^1(M,\mathbb{R}) = 0$, de modo que cada cerró $1$-formulario es exacta, usted puede encontrar una función $G \in C^\infty(M)$ tal que $\mu\omega = dG$, en cuyo caso $G(\gamma(t)) = C$ define una forma implícita de la ecuación de $\gamma$. En particular, la búsqueda de $\mu$ implica resolver potencialmente muy molestos PDE $$ d\mu \wedge \omega \mu d\omega = 0, $$ y todo el "vudú" se compone de varios casos especiales (tradicionalmente para $M$ un subconjunto abierto de $\mathbb{R}^2$), donde esta la PDE es realmente manejable.

6voto

chaiwalla Puntos 1132

Un primer orden de la educación a distancia (en el plano) puede ser vista como una ecuación de la forma $$ M\, dx + N\, dy = 0, $$ con $M$ $N$ continuamente diferenciable funciones definidas en una región $U$ del avión. Una solución de esta ecuación es una curva de $\bigl(x(t), y(t)\bigr)$ $U$ tal que $M x'(t) + N y'(t) = 0$ todos los $t$.

Uno de ellos es "llevado naturalmente a preguntarnos" si la ecuación puede ser escrita en la forma $df = 0$ para algunos dos veces continuamente derivable la función $f$; si es así, la educación a distancia es decir para ser exactos, y las soluciones son (el proceso de parametrización de) las curvas de nivel de $f$.

Exactitud cantidades a la existencia de una $f$ tal que $M = f_{x}$$N = f_{y}$. Por la igualdad de la mezcla de derivadas parciales, la condición de integrabilidad $$ \frac{\partial M}{\partial y} = f_{xy} = f_{yx} = \frac{\partial N}{\partial x} $$ es necesario.

Para funciones generales $M$$N$, la anterior condición no se cumple. Impertérrito, uno es llevado naturalmente a buscar un factor de integración, es decir, una función de $\phi$ para que el equivalente a la educación a distancia $$ (\phi M)\, dx + (\phi N)\, dy = 0 $$ es exacto.

Por ejemplo, $e^{\int a(x)\, dx}$ es un factor de integración para el lineal de laecuación $$ \frac{dy}{dx} + ay = b,\quad\text{o}\quad (ay - b)\, dx + dy = 0. $$

Si la memoria sirve, Ecuaciones Diferenciales y Sus Aplicaciones por Martin Braun contiene una clara exposición detallada de la integración de los factores en general.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X