Función primitiva

O campo de pendentes de $F(x)=\frac{x^3}{3}-\frac{x^2}{2}-x+c$, mostrando tres das infinitas solucións que se poden producir variando a constante arbitraria Modelo:Mvar.

En cálculo, unha función primitiva, integral indefinida, antiderivada, derivada inversa,ou integral primitiva dunha función Modelo:Math é unha función diferenciable Modelo:Math cuxa derivada é igual á función orixinal Modelo:Math . Isto pódese indicar simbolicamente como Modelo:Math. O proceso de resolución de antiderivadas chámase integración indefinida (ou antidiferenciación), e a súa operación contraria chámase diferenciación, que é o proceso de atopar unha derivada. As antiderivadas adoitan denotarse con letras romanas maiúsculas como Modelo:Mvar e Modelo:Mvar.

As funcións primitivas están relacionadas coas integrais definidas a través do segundo teorema fundamental do cálculo: a integral definida dunha función nun intervalo pechado onde a función é integrable de Riemann é igual á diferenza entre os valores dunha antiderivada avaliada nos extremos do intervalo.

Exemplos

A función $F(x)=\frac{x^3}{3}$ é unha antiderivada de $f(x)=x^2$, xa que a derivada de $\frac{x^3}{3}$ é $x^2$. Como a derivada dunha constante é cero, $x^2$ terá un número infinito de antiderivadas, como $\frac{x^3}{3},\frac{x^3}{3}+1,\frac{x^3}{3}-2$, etc. Así, todos os antiderivados de $x^2$ pódese obter cambiando o valor de Modelo:Math in $F(x)=\frac{x^3}{3}+c$, onde Modelo:Math é unha constante arbitraria coñecida como constante de integración. Esencialmente, os gráficos de antiderivadas dunha función dada son translacións verticais entre si, coa localización vertical de cada gráfico dependendo do valor Modelo:Math

Máis xeralmente, a función $f(x)=x^n$ ten antiderivada $F(x)=\frac{x^{n+1}}{n+1}+c$ se Modelo:Math e $F(x)=\ln |x|+c$ se Modelo:Math .

Usos e propiedades

As funcións primitivas pódense usar para calcular integrais definidas, usando o teorema fundamental do cálculo: se Modelo:Math é unha antiderivada da función continua Modelo:Math sobre o intervalo $[a,b]$, logo: $$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=F(b)-F(a).$$

Hai moitas funcións cuxas antiderivadas, aínda que existen, non se poden expresar en funcións elementais (como polinomios, funcións exponenciais, logaritmos, funcións trigonométricas, funcións trigonométricas inversas e as súas combinacións). Exemplos destas son

Técnicas de integración

Buscar funcións primitivas de funcións elementais adoita ser considerablemente máis difícil que atopar as súas derivadas (de feito, non hai un método predefinido para calcular integrais indefinidas). Para algunhas funcións elementais, é imposible atopar unha antiderivada en termos doutras funcións elementais.

Existen moitas propiedades e técnicas para atopar funcións primitivas. Estas inclúen, entre outras:

• A linearidade da integración (que divide as integrais complicadas en outras máis sinxelas)
• Integración por substitución, moitas veces combinada con identidades trigonométricas ou o logaritmo neperiano
• O método da regra da cadea inversa (un caso especial de integración por substitución)
• Integración por partes (para integrar produtos de funcións)
• Integración de funcións inversas (fórmula que expresa a función primitiva da inversa $f^{-1}$ dunha función inversa e continua Modelo:Mvar, en termos da antiderivada de Modelo:Mvar e de $f^{-1}$).
• O método das fraccións parciais en integración (que nos permite integrar todas as funcións racionais: fraccións de dous polinomios)
• O algoritmo de Risch
• Técnicas adicionais para integracións múltiples (ver, por exemplo , as integrais dobres, as coordenadas polares, o jacobiano e o teorema de Stokes)
• Integración numérica (unha técnica para aproximar unha integral definida cando non existe ningunha función primitiva elemental, como no caso de $e^{-x^2}$.)
• Manipulación alxébrica do integrando (para que se poidan utilizar outras técnicas de integración, como a integración por substitución)
• Fórmula de Cauchy para integracións sucesivas (para calcular a antiderivada Modelo:Math veces dunha función) $$\underset{x_0}{\overset{x}{\int }}\underset{x_0}{\overset{x_1}{\int }}\cdots \underset{x_0}{\overset{x_{n-1}}{\int }}f(x_n)\mathrm{d}{x}_n\cdots \mathrm{d}{x}_2\mathrm{d}{x}_1=\underset{x_0}{\overset{x}{\int }}f(t)\frac{(x-t{)}^{n-1}}{(n-1)!}\mathrm{d}t.$$

Os sistemas alxébricos computacionais (CAS) poden usarse para automatizar parte ou todo o traballo implicado nas técnicas simbólicas anteriores, o que é particularmente útil cando as manipulacións alxébricas implicadas son moi complexas ou longas. As integrais que xa foron derivadas pódense buscar nunha táboa de integrais.

Funcións non continuas

As funcións non continuas poden ter antiderivadas. Aínda hai preguntas abertas nesta área, mais sábese que:

• Algunhas funcións altamente patolóxicas con grandes conxuntos de descontinuidades poden ter antiderivadas. Unhas poderán ser resolvidas mediante integración de Riemann e outras non.

Asumindo que os dominios das funcións son intervalos abertos:

• Unha condición necesaria, mais non suficiente, para que unha función Modelo:Math teña unha antiderivada é que Modelo:Math teña a propiedade do valor intermedio. É dicir, se Modelo:Math é un subintervalo do dominio de Modelo:Math e Modelo:Math é calquera número real entre Modelo:Math e Modelo:Math, entón existe un Modelo:Mvar entre Modelo:Mvar e Modelo:Mvar tal que Modelo:Math. Esta é unha consecuencia do teorema de Darboux.
• O conxunto de descontinuidades de Modelo:Math debe ser un conxunto magro. Este conxunto tamén debe ser un conxunto F-sigma.
• Se Modelo:Math ten unha antiderivada, está limitada a subintervalos finitos pechados do dominio e ten un conxunto de descontinuidades de medida de Lebesgue 0, entón pódese atopar unha antiderivada por integración no sentido de Lebesgue. De feito, usando integrais máis potentes como a integral de Henstock–Kurzweil, cada función para a que existe unha antiderivada é integrable e a súa integral xeral coincide coa súa antiderivada.
• Se Modelo:Math ten unha antiderivada Modelo:Math nun intervalo pechado $[a,b]$, entón para calquera opción de partición $a=x_0<x_1<x_2<\dots <x_n=b,$ se se escolle puntos de mostra $x_i^{*}\in [x_{i-1},x_i]$ segundo o especificado polo teorema do valor medio, entón a suma de Riemann correspondentes pode usar unha serie telescópica con resultado $F(b)-F(a)$ . $$\begin{array}{cc}\sum _{i=1}^{n}f(x_i^{*})(x_i-x_{i-1})& =\sum _{i=1}^n[F(x_i)-F(x_{i-1})]\\ & =F(x_n)-F(x_0)=F(b)-F(a)\end{array}$$ Non obstante, se Modelo:Math non está limitada, ou se Modelo:Math está limiada mais o conxunto de descontinuidades de Modelo:Math ten unha medida de Lebesgue positiva, unha elección diferente de puntos de mostra $x_i^{*}$ pode dar un valor significativamente diferente para a suma de Riemann, por moi fina que sexa a partición. Vexa o exemplo 4 a continuación.

Algúns exemplos

1. A función

$$f(x)=2x\sin \left(\frac{1}{x}\right)-\cos \left(\frac{1}{x}\right)$$ con $f(0)=0$ é descontinua en $x=0$ mais ten a antiderivada $$F(x)=x^2\sin \left(\frac{1}{x}\right)$$ con $F(0)=0$. Posto que Modelo:Math está limitada en intervalos finitos pechados e só é descontinua en 0, a antiderivada Modelo:Math pode obterse por integración: $F(x)=\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t$.

2. A función

$$f(x)=2x\sin \left(\frac{1}{x^2}\right)-\frac{2}{x}\cos \left(\frac{1}{x^2}\right)$$ con $f(0)=0$ non é continua en $x=0$ mais ten a antiderivada $$F(x)=x^2\sin \left(\frac{1}{x^2}\right)$$ con $F(0)=0$. Pola contra do Exemplo 1, Modelo:Math non está limitada en ningún intervalo que conteña 0, por tanto a integral de Riemann fica indefinida.

3. Se Modelo:Math é a function do Exemplo 1 e Modelo:Math é a súa antiderivada, e $\{x_n{\}}_{n\ge 1}$ é un subconxunto numerable denso do intervalo aberto $(-1,1),$ daquela a función

$$g(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{f(x-x_n)}{2^n}$$ ten a antiderivada $$G(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{F(x-x_n)}{2^n}.$$

O conxunto de descontinuidades de Modelo:Math é precisamente o conxunto $\{x_n{\}}_{n\ge 1}$. Dado que Modelo:Math está limitada a intervalos finitos pechados e o conxunto de descontinuidades ten medida 0, a antiderivada Modelo:Math pódese atopar por integración.

4. Sexa $\{x_n{\}}_{n\ge 1}$ un subconxunto numerábel denso do intervalo aberto $(-1,1).$Considere a función crecente continua en todas partes

$$F(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{2^n}(x-x_n{)}^{1/3}.$$

Pódese demostrar que $$F^{\prime }(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{3\cdot 2^n}(x-x_n{)}^{-2/3}$$

Figura 1.

Figura 2.

para todos os valores Modelo:Math onde a serie converxe, e que a gráfica de Modelo:Math ten liñas tanxentes verticais en todos os demais valores de Modelo:Math. En particular, a gráfica ten liñas tanxentes verticais en todos os puntos do conxunto $\{x_n{\}}_{n\ge 1}$.

Alén diso, $F(x)\ge 0$ para todos os Modelo:Math onde se define a derivada. De aquí temos que a función inversa $G=F^{-1}$ é diferenciable en todas as partes e que $$g(x)=G^{\prime }(x)=0$$

para todos os Modelo:Math no conxunto $\{F(x_n){\}}_{n\ge 1}$ que é denso no intervalo $[F(-1),F(1)].$ Así Modelo:Math ten unha antiderivada Modelo:Math.

Por outra parte, non pode ser verdade que $$\underset{F(-1)}{\overset{F(1)}{\int }}g(x)\mathrm{d}x=GF(1)-GF(-1)=2,$$ posto que para calquera partición de $[F(-1),F(1)]$, podemos escoller puntos para os que a suma de Riemann do conxunto $\{F(x_n){\}}_{n\ge 1}$, dan un valor 0 para a suma. Con todo isto temos que Modelo:Math ten un conxunto de descontinuidades con medida positiva de Lebesgue.

A Figura 1 da dereita mostra unha aproximación á gráfica de Modelo:Math onde $\{x_n=\cos (n){\}}_{n\ge 1}$ e a serie está truncada a 8 termos. A Figura 2 mostra a gráfica dunha aproximación á antiderivada Modelo:Math, tamén truncada a 8 termos. Por outra banda, se a integral de Riemann é substituída pola integral de Lebesgue, daquela o lema de Fatou ou o teorema da converxencia dominada mostran que Modelo:Math satisfai o teorema fundamental do cálculo nese contexto.

5. Nos Exemplos 3 e 4, os conxuntos de descontinuidades das funcións Modelo:Math son densos só nun intervalo aberto finito $(a,b).$ No entanto, estes exemplos poden modificarse facilmente para ter conxuntos de descontinuidades que son densos en toda a liña real $(-\mathrm{\infty },\mathrm{\infty })$. Sexa

$$\lambda (x)=\frac{a+b}{2}+\frac{b-a}{\pi }{\tan }^{-1}x.$$

Daquela $g(\lambda (x)){\lambda }^{\prime }(x)$ ten un conxunto denso de descontinuidades en $(-\mathrm{\infty },\mathrm{\infty })$ e ten antiderivadas $G\cdot \lambda .$

6. Usando un método similar ao do Exemplo 5, pódese modificar Modelo:Math no exemplo 4 para eliminar todos os números racionais. Se se usa unha versión inxenua da integral de Riemann definida como o límite das sumas de Riemann á esquerda ou á dereita sobre particións regulares, obterase que a integral de tal función Modelo:Math nun intervalo $[a,b]$ é 0 sempre que Modelo:Math e Modelo:Math sexan racionais, en lugar de $G(b)-G(a)$. Así, o teorema fundamental do cálculo fallará.

7. Unha función que ten unha antiderivada aínda pode non ser integrable de Riemann. A derivada da Función de Volterra é un exemplo.

Fórmulas básicas

• Se $\frac{\mathrm{d}}{\mathrm{d}x}f(x)=g(x)$, daquela$\int g(x)\mathrm{d}x=f(x)+C$.
• $\int 1\mathrm{d}x=x+C$
• $\int a\mathrm{d}x=ax+C$
• $\int x^n\mathrm{d}x=\frac{x^{n+1}}{n+1}+C;n\ne -1$
• $\int \sin x\mathrm{d}x=-\cos x+C$
• $\int \cos x\mathrm{d}x=\sin x+C$
• $\int {\sec }^{2}x\mathrm{d}x=\tan x+C$
• $\int {\csc }^{2}x\mathrm{d}x=-\cot x+C$
• $\int \sec x\tan x\mathrm{d}x=\sec x+C$
• $\int \csc x\cot x\mathrm{d}x=-\csc x+C$
• $\int \frac{1}{x}\mathrm{d}x=\ln |x|+C$
• $\int {\mathrm{e}}^x\mathrm{d}x={\mathrm{e}}^x+C$
• $\int a^x\mathrm{d}x=\frac{a^x}{\ln a}+C;a>0,a\ne 1$
• $\int \frac{1}{\sqrt{a^2-x^2}}\mathrm{d}x=\arcsin \left(\frac{x}{a}\right)+C$
• $\int \frac{1}{a^2+x^2}\mathrm{d}x=\frac{1}{a}\arctan \left(\frac{x}{a}\right)+C$

Véxase tamén

Bibliografía

• Introduction to Classical Real Analysis, by Karl R. Stromberg; Wadsworth, 1981 (ver also)
• Historical Essay On Continuity Of Derivatives de Dave L. Renfro

Outros artigos

• Antiderivada (análise complexa)
• Integral de Jackson
• Listas de integrais
• Integración simbólica
• Área
• Integral de Riemann
• Integral de Lebesgue

Ligazóns externas

• Wolfram Integrator — Integración simbólica online gratuíta co software de Mathematica
• Function Calculator de WIMS
• Integral at HyperPhysics
• Antiderivatives and indefinite integrals na Khan Academy
• Integral calculator en Symbolab
• The Antiderivative no MIT
• Introduction to Integrals en SparkNotes
• Antiderivatives en Harvy Mudd College

Modelo:Control de autoridades