Sustitución de Weierstrass

De testwiki
Ir a la navegación Ir a la búsqueda

En cálculo integral, la sustitución de Weierstrass, sustitución por la tangente del ángulo mitad o cambio de variable universal es un método para evaluar primitivas, que convierte una función racional de funciones trigonométricas de x en una función racional ordinaria de t al hacer el cambio de variable t=tan(x/2).[1][2] sin pérdida de generalidad, tomando estas como funciones racionales del seno y del coseno. La fórmula de transformación general es

f(sen(x),cos(x))dx=21+t2f(2t1+t2,1t21+t2)dt

Lleva el nombre de Karl Weierstraß (1815-1897),[3][4][5] aunque se puede encontrar en un libro de Leonhard Euler de 1768.[6] Michael Spivak escribió que este método era la "sustitución más ingeniosa" del mundo.[7]

La sustitución

Se comienza con una integral en la que el integrando es una función racional que contiene las funciones trigonométricas senx y/o cosx, esta integral se transforma en una integral sin funciones trigonométricas mediante un cambio de variable.

Sea t=tan(x/2) con π<x<π entonces[1][8]

sen(x2)=t1+t2ycos(x2)=11+t2

Por lo tanto,

senx=2t1+t2,cosx=1t21+t2,ydx=21+t2dt

Deducción de las fórmulas

Por las identidades y fórmulas de trigonometría,

senx=2sen(x2)cos(x2)=2(tt2+1)(1t2+1)=2tt2+1

y

cosx=2cos2(x2)1=2t2+11=2(t2+1)t2+1=1t21+t2

Finalmente, si t=tan(x2) entonces

dt=12sec2(x2)dx=dx2cos2(x2)=dx2(1t2+1)

Por lo tanto

dx=2t2+1dt

Ejemplos

Interpretación geométrica de la sustitución de Weierstrass

Primer ejemplo: integral de la cosecante

cscxdx=dxsenx=(1+t22t)(21+t2)dtt=tanx2=dtt=ln|t|+C=ln|tanx2|+C.

Se puede confirmar el resultado anterior usando un método estándar para evaluar la integral de la cosecante multiplicando el numerador y el denominador por cscxcotx y realizando el siguiente cambio de variable

u=cscxcotxdu=(cscxcotx+csc2x)dx

Por lo que

cscxdx=cscx(cscxcotx)cscxcotxdx=(csc2xcscxcotx)cscxcotxdx=duu=ln|u|+C=ln|cscxcotx|+C

Ahora, las fórmulas del ángulo mitad para senos y cosenos son

sen2θ=1cos2θ2ycos2θ=1+cos2θ2

respectivamente y permiten obtener

cscxdx=ln|tanx2|+C=ln1cosx1+cosx+C=ln1cosx1+cosx1cosx1cosx+C=ln(1cosx)2sen2x+C=ln(1cosxsenx)2+C=ln(1senxcosxsenx)2+C=ln(cscxcotx)2+C=ln|cscxcotx|+C

por lo que los dos resultados son equivalentes. La expresión

tan(x2)=1cosxsenx

es una de las fórmulas de la tangente del ángulo mitad. La integral de la secante puede evaluarse de manera similar.

Segundo ejemplo: una integral definida

02πdx2+cosx=0πdx2+cosx+π2πdx2+cosx=02dt3+t2+02dt3+t2t=tanx2=2dt3+t2=23du1+u2t=u3=2π3.

En la primera línea, no se sustituye simplemente t=0 por ambos límites de integración. Se debe tener en cuenta la singularidad (en este caso, una asíntota vertical) de t=tanx2 en x=π. Alternativamente, primero se debe evaluar la integral indefinida y luego aplicar los valores del intervalo.

dx2+cosx=12+1t21+t22dtt2+1t=tanx2=2dt2(t2+1)+(1t2)=2dtt2+3=23dt(t3)2+1u=t3=23duu2+1tanθ=u=23cos2θsec2θdθ=23dθ=23θ+C=23arctan(t3)+C=23arctan[tan(x/2)3]+C

Por simetría,

02πdx2+cosx=20πdx2+cosx=limbπ43arctan(tanx/23)|0b=43[limbπarctan(tanb/23)arctan(0)]=43(π20)=2π3

que es igual al resultado anterior.

Tercer ejemplo: seno y coseno

dxacosx+bsinx+c=2dta(1t2)+2bt+c(t2+1)=2dt(ca)t2+2bt+a+c=2c2(a2+b2)arctan(ca)tanx2+bc2(a2+b2)+C

Si 4E=4(ca)(c+a)(2b)2=4(c2(a2+b2))>0.

Geometría

La sustitución de Weierstrass parametriza la circunferencia goniométrica centrada en (0, 0). En lugar de +∞ y −∞, solo se tiene un ∞, en ambos extremos de la recta real. Esto suele ser apropiado cuando se trata de funciones racionales y funciones trigonométricas (utilizando la compactación en un punto de la recta)

A medida que varía x, el punto (cos x, sin x) se arrolla repetidamente alrededor de la circunferencia goniométrica centrada en (0, 0). El punto

(1t21+t2,2t1+t2)

da una sola vuelta a la circunferencia, ya que t recorre de −∞a +∞, y nunca alcanza el punto (−1, 0), que se aproxima como un límite cuando t se acerca a ±∞. Como t recorre desde −∞ a −1, el punto determinado por t pasa por la parte de la circunferencia en el tercer cuadrante, desde (−1, 0) a (0, −1). A medida que t va de −1 a 0, el punto sigue la parte de la circunferencia en el cuarto cuadrante desde (0, −1) a (1, 0). A medida que t va de 0 a 1, el punto sigue la parte de la circunferencia en el primer cuadrante desde (1, 0) hasta (0, 1). Finalmente, cuando t va de 1 a +∞, el punto sigue la parte de la circunferencia en el segundo cuadrante desde (0, 1) a (−1, 0).

También existe otro punto de vista geométrico. Para ello, se debe dibujar el círculo unitario y hacer que P sea el punto Plantilla:Nowrap. Una recta que pasa por P (excepto la línea vertical) está determinada por su pendiente. Además, cada una de las líneas rectas (excepto la vertical) se cruza con el círculo unitario en exactamente dos puntos, uno de los cuales es P. Esto determina una función que relaciona los puntos en el círculo unitario con las pendientes de las rectas que pasan por ellos. Las funciones trigonométricas determinan una función de ángulos a puntos en el círculo unitario, y al combinar estas dos funciones se obtiene una nueva función que relaciona ángulos y pendientes.

Galería


Funciones hiperbólicas

Al igual que con otras propiedades compartidas entre las funciones trigonométricas y las funciones hiperbólicas, es posible usar las identidades hiperbólicas para construir una forma similar de sustitución:

sinhx=2t1t2,coshx=1+t21t2,tanhx=2t1+t2,ydx=21t2dt.

Véase también

Plantilla:Portal

Lecturas relacionadas

Referencias

Plantilla:Reflist

Enlaces externos

Plantilla:Control de autoridades

  1. 1,0 1,1 Plantilla:Cite book
  2. Weisstein, Eric W. "Weierstrass Substitution." From MathWorld--A Wolfram Web Resource. Accessed April 1, 2020.
  3. Gerald L. Bradley and Karl J. Smith, Calculus, Prentice Hall, 1995, pages 462, 465, 466
  4. Christof Teuscher, Alan Turing: Life and Legacy of a Great Thinker, Springer, 2004, pages 105–6
  5. James Stewart, Calculus: Early Transcendentals, Brooks/Cole, Apr 1, 1991, page 436
  6. Plantilla:Cite web
  7. Michael Spivak, Calculus, Cambridge University Press, 2006, pages 382–383.
  8. James Stewart, Calculus: Early Transcendentals, Brooks/Cole, 1991, page 439