9 votos

Cómo funciona este método de "integración por la diferenciación"

Al parecer, la integral de una función f(x) desde a hasta b, se puede hacer a través de la diferenciación a través de este método: $$ \int_a^b f(x)dx = \lim_{x \rightarrow \ 0 } f(\frac{d}{d x} )\frac{e^{bx}-e^{ax}}{x} $$ ¿Alguien puede explicar por qué funciona esto? Podemos suponer que f tiene un MacLauren representación con una infinita radio de convergencia. Un ejemplo con f(x) = c, c constante, la integral de f entre a y b es: $$ \lim_{x \rightarrow \ 0 } c\frac{e^{bx}-e^{ax}}{x} = \lim_{x \rightarrow \ 0 } c\frac{1+bx+0.5(bx)^2...-1-ax-0.5(ax)^2...}{x} = c(b-a) $$ como se esperaba.

Sin embargo no sé cómo demostrar que esto es cierto para todos (la mayoría?) funciones con un MacLauren de la serie. Ayuda? La f(d/dx) y el límite es lo que está siendo difícil de tratar. Si f es algo como x^2, entonces f(d/dx) es d^2/dx^2, pero con un general de la función f no se puede establecer un patrón.

5voto

Anthony Cramp Puntos 126

¿Cómo debemos definir los $f(\frac{d}{ds})$ al $f$ no es un polinomio? Probablemente la forma estándar de hacerlo es con la transformada de Laplace.

Vamos a usar esta notación para el (bilateral) la transformada de Laplace: Si $f(t)$ es un (buen) función, su transformada de Laplace es una función de $F(s)$ definido por $$ F(s) = \int_{-\infty}^\infty f(t) e^{-t}\;dt $$ Escribir $F(s) = \mathscr{L}\{f(t)\}$ para la transformada de Laplace; y $f(t) = \mathscr{L}^{-1}\{F(s)\}$ para la transformada inversa de Laplace. Voy a intentar utilizar variables $s$ $t$ constantemente de esta manera.

Si $\mathscr{L}\{f(t)\} = F(s)$, a continuación, calcular $\mathscr{L}\{-tf(t)\} = F'(s)$. Por inducción, $\mathscr{L}\{(-t)^kf(t\}) = F^{(k)}(s)$ natural de número de $k$. Por linealidad, $\mathscr{L}\{\phi(-t)f(t)\} = \phi(\frac{d}{ds})F(s)$ para cualquier polinomio $\phi$.

Definir $\phi(\frac{d}{ds})$ para los polinomios $\phi$ usando la misma fórmula. Así $$ \phi\left(\frac{d}{ds}\right)F(s) = \mathscr{L}\big\{\phi(-t)f(t)\big\} =\mathscr{L}\left\{\phi(-t)\mathscr{L}^{-1}\{F(s)\}\right\} \etiqueta{*}$$ Por supuesto, se necesitan condiciones para que todos estos existen. Al $f$ es acotado, medibles, con soporte compacto, no hay ningún problema en absoluto.

Ahora a esta pregunta. Fix $a < b$ números reales. Deje $\phi$ ser la función a integrar de$a$$b$. Definir la función $h(t)$ por $$ h(t) = \begin{cases}0\quad\text{if } t<-b \\1\quad\text{if } -b \le t \le -a \\0\quad\text{if } -a < t\end{casos} . $$ Este es acotado, medibles, con soporte compacto. Calcular $$ \mathscr{L}\{h(t)\} = \frac{e^{sb}-e^{sa}}{s} . $$ Por lo tanto, con la definición de $(*)$ hemos $$ \phi\left(\frac{d}{ds}\right) \frac{e^{sb}-e^{sa}}{s}= \mathscr{L}\{\phi(-t)h(t)\} = \int_{-\infty}^\infty \phi(-t)h(t)e^{-st}\;dt \\ =\int_{-b}^{-a}\phi(-t)e^{-st}\,dt = \int_a^b \phi(x) e^{sx}\;dx . $$ (Hemos cambiado variables $t=-x$.)

Y así $$ \lim_{s \to 0}\phi\left(\frac{d}{ds}\right) \frac{e^{sb}-e^{sa}}{s}= \int_a^b\phi(x)\;dx . $$

4voto

mickep Puntos 10981

Para polinomios sólo, así que no es realmente una respuesta, pero tal vez se puede tomar de aquí. También, demasiado tiempo para poner en un comentario.

Deje $f(x)=x^m$.

Una expansión de $\frac{e^{bx}-e^{ax}}{x}$ da $$ \frac{e^{bx}-e^{ax}}{x}=\sum_{n=1}^{+\infty}\frac {b^n-^n)x^{n-1}}{n!} $$ Por lo tanto, no es sólo un término que sobreviven (al $n=m+1$) a la hora de diferenciar, y obtenemos $$ \lim_{x\to 0}\frac{d^m}{dx^m}\frac{e^{bx}-e^{ax}}{x}=\frac{b^{m+1}-a^{m+1}}{m+1} $$ lo cual está de acuerdo con $\int_a^b x^m\,dx$.

Por linealidad funciona para todos los polinomios. Para obtener más general de las funciones supongo que uno debe ser muy precisa lo que se entiende por $f(d/dx)$.

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