9.2: Antiderivado
\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}Has pasado muchas lecciones aprendiendo sobre cómo encontrar la derivada, f′ (x), de una función f (x), y el proceso de diferenciación. No debería sorprender entonces que hubiera un nombre para la función f (x), o familia de funciones, que pueda generar f′ (x) cuando se diferencie: f (x) y f′ (x) son un par de funciones inversas, y f (x) se llama antiderivada de f′ (x). Antes de continuar con la lección, ¿intenta enumerar funciones que son pares antiderivados y derivados?
El Antíderivado
Empecemos e introduzcamos la idea de la antiderivada de una función.
Una función F (x) se denomina antiderivada de una función f si F′ (x) =f (x) para todo x en el dominio de f.
¿Cómo se usa esta definición?
Considera la función f(x)=3x^2 \nonumber.
¿Se te ocurre una función F (x) tal que F′ (x) =f (x)? Deberías ser capaz de pensar en muchos de ellos.
Ya que diferenciamos F (x) para obtener f (x), vemos que F(x)=x^3+C \nonumber va a funcionar para cualquier constante C. Gráficamente, podemos pensar en el conjunto de todas las antiderivadas como transformaciones verticales de la gráfica de F(x)=x^3 \nonumber. La figura muestra dos transformaciones de este tipo.
CC BY-NC-SA
Con nuestra definición y ejemplo inicial, ahora buscamos formalizar la definición y desarrollar algunas reglas útiles con fines computacionales, y comenzar a ver algunas aplicaciones.
Introducción a Integrales Indefinidas
El proceso de búsqueda de antiderivados se denomina antidiferenciación, más comúnmente denominado integración. Así es como se indica la integración y cómo funciona:
F′ (x) =f (x)... Comienza con la ecuación diferencial que representa la definición de la antiderivada
\int F′(x)dx=\int f(x)dx \nonumber... Invoque la operación de integración (antidiferenciación) usando el símbolo especial ∫.
F(x)+C= \int f(x)dx \nonumber... Obtener el antiderivado F (x) y una constante de integración, C.
\int f(x)dx=F(x)+C \nonumber... Tenga en cuenta que si diferenciamos ambos lados, recuperamos la ecuación original:
\frac{d}{dx}[ \int f(x)dx]=f(x)=\frac{d}{dx}[F(x)+C]=F′(x) \nonumber
Nos referimos a f (x) dx como “la integral indefinida de f (x) con respecto a x”. La función f (x) se llama integrando y la constante C se llama la constante de integración . Finalmente el símbolo dx indica que vamos a integrar con respecto a x.
Usando esta notación, resumiremos el último ejemplo de la siguiente manera:
\int 3x^2dx=x^3+C \nonumber
Ahora, considere la función f (x) =cosx
¿Se te ocurre una función F (x) tal que F′ (x) =f (x)?
Si dijiste F (x) =SINX+C estarías en lo correcto y así es como se escribiría esto.
f (x) =F′ (x). Comienza con la ecuación diferencial que representa la definición de la antiderivada
COSx=F′ (x). Sustituto de f (x)
\int cosx dx= \int F′(x)dx \nonumber... Invoque la operación de integración (antidiferenciación) usando el símbolo especial ∫.
\int cosx dx=F(x)+C \nonumber... Obtener el antiderivado F (x) y una constante de integración, C.
\int cosx dx=sinx+C \nonumber... Sabemos F (x) =sinx porque si diferenciamos ambos lados, recuperamos la ecuación original.
Hemos visto las derivadas de una serie de funciones a través de los conceptos de cálculo y podemos armar una lista de funciones y sus antiderivadas como se muestra a continuación.
Función f (x) |
Antiderivado /int f(x)dx=F(x)+C \nonumber |
1 | x+C |
x |
\frac{x^2}{2}+C \nonumber |
x^2 \nonumber |
\frac{x^3}{3}+C \nonumber |
x^n,\nonumber n−1 |
\frac{x^{n+1}}{n+1}+C \nonumber |
\frac{1}{x} \nonumber |
lnx+C \nonumber |
sinx |
−COSX+C |
cosx |
Sinx+C |
sec^2x \nonumber |
Tanx+C |
csc^2x \nonumber |
−CoTx+C |
secxtanx |
Secx+C |
cscxcotx |
−CSCX+C |
e^x \nonumber |
e^x+C \nonumber |
b^x \nonumber b>0 |
\frac{b^x}{lnb}+C \nonumber |
\frac{1}{xlnb} \nonumber |
log_bx+C \nonumber |
Al igual que con la diferenciación, existen varias reglas para tratar la suma y diferencia de funciones integrables.
Reglas básicas de integración
Si f y g son funciones integrables, y C es una constante, entonces:
\int [f(x)+g(x)]dx= \int f(x)dx+ \int g(x)dx \nonumber,
\int [f(x)−g(x)]dx= \int f(x)dx− \int g(x)dx \nonumber,
\int [Cf(x)]dx=C \int f(x)dx \nonumber
Calcular la siguiente integral indefinida.
\int [2x^3+3x^2−1x]dx \nonumber
Usando nuestras reglas tenemos
\int [2x^3+3x^2−1x]dx=2 \int x^3dx+3 \int \frac{1}{x^2}dx− \int \frac{1}{x}dx \nonumber
=2(\frac{x^4}{4})+3(\frac{x^{−1}}{−1})−lnx+C \nonumber
=\frac{x^4}{2}−\frac{3}{x}−lnx+C \nonumber.
Tenga en cuenta que a veces nuestras reglas necesitan ser modificadas ligeramente debido a operaciones con constantes.
Ejemplos
Ejemplo 1
Anteriormente, se le pidió que intentara enumerar funciones que son pares antiderivados y derivados. Al hacerlo estás presentando los resultados de las operaciones de diferenciación e integración. Si todo lo que hiciste fue enumerar la función que se está diferenciando como la antiderivada, esto es correcto. A estas alturas ya te has dado cuenta de que existe una familia de antiderivados entre los que podrías haber elegido, cada uno diferente por una constante de integración.
Ejemplo 2
Calcular la siguiente integral indefinida:
\int e^{3x}dx \nonumber.
Primero notamos que nuestra regla para integrar funciones exponenciales no funciona aquí ya que ddxe3x=3e3x. Sin embargo, si recordamos dividir la función original por la constante entonces obtenemos la antiderivada correcta y tenemos
\int e^{3x}dx=\frac{e^{3x}}{3}+C \nonumber.
Ahora podemos reafirmar la regla de una forma más general como
\int e^{kx}dx= \frac{e^{kx}}{3}+C \nonumber.
Revisar
Para #1 -6, encuentra una antiderivada de la función
- f(x)=1−3x^2−6x \nonumber
- f(x)=x−x^\{frac{2}{3}} \nonumber
- f(x)=(2x+1)^{\frac{1}{5}} \nonumber
- f(x)=cosx−x \nonumber
- f(x)=x^5−7x^2+2 \nonumber
- f(x)=e^{−2x}+e^x \nonumber
Para #7 -12, encuentra la integral indefinida
- \ (\ int (2+\ sqrt {5}) dx\ nonumber\]
- \int 2(x−3)^3dx \nonumber
- \int (x^2⋅x^\frac{1}{3})dx \nonumber
- \int (x+\frac{1}{x^4\sqrt{x}})dx \nonumber
- (cosx+2sinx)dx \nonumber
- \int 2sinxcosxdx \nonumber
- Resolver la ecuación diferencial f′(x)=4x^3−3x^2+x−3 \nonumber.
- Encuentra la antiderivada F (x) de la función f(x)=2e^{2x}+x−2 \nonumber que satisface F (0) =5.
- Evaluar la integral indefinida \int |x|dx \nonumber (Pista: Examinar la gráfica de f (x) =|x|.)
Reseña (Respuestas)
Para ver las respuestas de Revisar, abra este archivo PDF y busque la sección 5.1.
El vocabulario
Término | Definición |
---|---|
antiderivado | Un antiderivado es una función que invierte una derivada. La función A es la antiderivada de la función B si la función B es la derivada de la función A. |
antidiferenciación | El proceso de búsqueda de antiderivados se denomina antidiferenciación, más comúnmente denominado integración. |
constante de integración | La constante de integración es la constante C en la ecuación f (x) dx=F (x) +C relacionando la función f (x) y la antiderivada F. |
integrand | Un integrando es el argumento f (x) en la integral indefinida f (x) dx. |
integración | El proceso de búsqueda de antiderivados a veces se llama antidiferenciación, pero más comúnmente se conoce como integración. |
Recursos adicionales
PLIX: Jugar, Aprender, Interactuar, EXPLORAR - Antiderivado: Reunirlo
Práctica: Antiderivado
Mundo real: Alto de las Montañas Rocosas