Articulo de referencia

Cambio de variables

En matemáticas , el cambio de variables es una técnica básica que se utiliza para simplificar problemas, en la que las variables originales se reemplazan por funciones de otras ...

En matemáticas , el cambio de variables es una técnica básica que se utiliza para simplificar problemas, en la que las variables originales se reemplazan por funciones de otras variables. El objetivo es que, al expresarse en nuevas variables, el problema se simplifique o se convierta en un problema mejor comprendido.

El cambio de variables es una operación relacionada con la sustitución . Sin embargo, son operaciones diferentes, como se puede observar al considerar la diferenciación ( regla de la cadena ) o la integración ( integración por sustitución ).

Un ejemplo muy sencillo de un cambio de variable útil se puede ver en el problema de encontrar las raíces del polinomio de sexto grado:

incógnita69incógnita3+8=0.{\displaystyle x^{6}-9x^{3}+8=0.}

Las ecuaciones polinómicas de sexto grado generalmente son imposibles de resolver en términos de radicales (véase el teorema de Abel-Ruffini ). Sin embargo, esta ecuación en particular puede escribirse de la siguiente manera:

(incógnita3)29(incógnita3)+8=0{\displaystyle (x^{3})^{2}-9(x^{3})+8=0}

(Este es un caso simple de descomposición polinómica ). Por lo tanto, la ecuación se puede simplificar definiendo una nueva variable.=incógnita3{\displaystyle u=x^{3}}Sustituyendo x por3{\displaystyle {\sqrt[{3}]{u}}}en el polinomio da

29+8=0,{\displaystyle u^{2}-9u+8=0,}

que es simplemente una ecuación cuadrática con dos soluciones:

=1y=8.{\displaystyle u=1\quad {\text{y}}\quad u=8.}

Las soluciones en términos de la variable original se obtienen sustituyendo x 3 de nuevo por u , lo que da como resultado

incógnita3=1yincógnita3=8.{\displaystyle x^{3}=1\quad {\text{y}}\quad x^{3}=8.}

Entonces, suponiendo que uno está interesado solo en soluciones reales , las soluciones de la ecuación original son:

incógnita=(1)1/3=1yincógnita=(8)1/3=2.{\displaystyle x=(1)^{1/3}=1\quad {\text{y}}\quad x=(8)^{1/3}=2.}

Ejemplo sencillo

Consideremos el sistema de ecuaciones

incógnitay+incógnita+y=71{\displaystyle xy+x+y=71}
incógnita2y+incógnitay2=880{\displaystyle x^{2}y+xy^{2}=880}

dóndeincógnita{\displaystyle x}yy{\displaystyle y}son enteros positivos conincógnita>y{\displaystyle x>y}(Fuente: AIME 1991 )

Resolver esto normalmente no es muy difícil, pero puede resultar un poco tedioso. Sin embargo, podemos reescribir la segunda ecuación comoincógnitay(incógnita+y)=880{\displaystyle xy(x+y)=880}Realizar las sustitucioness=incógnita+y{\displaystyle s=x+y}yt=incógnitay{\displaystyle t=xy}reduce el sistema as+t=71,st=880{\displaystyle s+t=71,st=880}Resolver esto da como resultado(s,t)=(16,55){\displaystyle (s,t)=(16,55)}y(s,t)=(55,16){\displaystyle (s,t)=(55,16)}Sustituyendo hacia atrás el primer par ordenado obtenemosincógnita+y=16,incógnitay=55,incógnita>y{\displaystyle x+y=16,xy=55,x>y}, lo que da la solución(incógnita,y)=(11,5).{\displaystyle (x,y)=(11,5).}Al sustituir hacia atrás el segundo par ordenado obtenemosincógnita+y=55,incógnitay=16,incógnita>y{\displaystyle x+y=55,xy=16,x>y}, lo cual no da soluciones. Por lo tanto, la solución que resuelve el sistema es(incógnita,y)=(11,5){\displaystyle (x,y)=(11,5)}.

Introducción formal

DejarA{\displaystyle A},B{\displaystyle B}ser colectores lisos y dejarΦ:AB{\displaystyle \Phi :A\rightarrow B}ser undor{\displaystyle C^{r}}- difeomorfismo entre ellos, es decir:Φ{\displaystyle \Phi }es unr{\displaystyle r}veces continuamente diferenciable, aplicación biyectiva deA{\displaystyle A}aB{\displaystyle B}conr{\displaystyle r}veces continuamente diferenciable inversa deB{\displaystyle B}aA{\displaystyle A}. Aquír{\displaystyle r}puede ser cualquier número natural (o cero),{\displaystyle \infty }( suave ) oω{\displaystyle \omega }( analítico ).

El mapaΦ{\displaystyle \Phi }se denomina transformación de coordenadas regular o sustitución de variables regular , donde regular se refiere a lador{\displaystyle C^{r}}-estabilidad deΦ{\displaystyle \Phi }. Normalmente uno escribiráincógnita=Φ(y){\displaystyle x=\Phi (y)}para indicar el reemplazo de la variableincógnita{\displaystyle x}por la variabley{\displaystyle y}sustituyendo el valor deΦ{\displaystyle \Phi }eny{\displaystyle y}por cada ocurrencia deincógnita{\displaystyle x}.

Otros ejemplos

Transformación de coordenadas

Algunos sistemas se pueden resolver más fácilmente al cambiar a coordenadas polares . Consideremos, por ejemplo, la ecuación

U(incógnita,y):=(incógnita2+y2)1incógnita2incógnita2+y2=0.{\displaystyle U(x,y):=(x^{2}+y^{2}){\sqrt {1-{\frac {x^{2}}{x^{2}+y^{2}}}}}=0.}

Esta podría ser una función de energía potencial para algún problema físico. Si no se encuentra una solución de inmediato, se podría intentar la sustitución.

(incógnita,y)=Φ(r,θ){\displaystyle \displaystyle (x,y)=\Phi (r,\theta )}dado porΦ(r,θ)=(rporque(θ),rpecado(θ)).{\displaystyle \displaystyle \Phi (r,\theta )=(r\cos(\theta ),r\sin(\theta )).}

Tenga en cuenta que siθ{\displaystyle \theta }corre fuera de un2π{\displaystyle 2\pi }-intervalo de longitud, por ejemplo,[0,2π]{\displaystyle [0,2\pi ]}, el mapaΦ{\displaystyle \Phi }ya no es biyectivo. Por lo tanto,Φ{\displaystyle \Phi }debería limitarse a, por ejemplo(0,]×[0,2π){\displaystyle (0,\infty ]\times [0,2\pi )}Fíjate cómor=0{\displaystyle r=0}está excluido, porΦ{\displaystyle \Phi }no es biyectiva en el origen (θ{\displaystyle \theta }puede tomar cualquier valor, el punto se asignará a (0, 0)). Luego, reemplazando todas las ocurrencias de las variables originales por las nuevas expresiones prescritas porΦ{\displaystyle \Phi }y utilizando la identidadpecado2incógnita+porque2incógnita=1{\displaystyle \sin ^{2}x+\cos ^{2}x=1}, obtenemos

V(r,θ)=r21r2porque2θr2=r21porque2θ=r2|pecadoθ|.{\displaystyle V(r,\theta )=r^{2}{\sqrt {1-{\frac {r^{2}\cos ^{2}\theta }{r^{2}}}}}=r^{2}{\sqrt {1-\cos ^{2}\theta }}=r^{2}\left|\sin \theta \right|.}

Ahora las soluciones se pueden encontrar fácilmente:pecado(θ)=0{\displaystyle \sin(\theta )=0}, entoncesθ=0{\displaystyle \theta =0}oθ=π{\displaystyle \theta =\pi }. Aplicando la inversa deΦ{\displaystyle \Phi }muestra que esto es equivalente ay=0{\displaystyle y=0}mientrasincógnita0{\displaystyle x\not =0}. En efecto, vemos que paray=0{\displaystyle y=0}La función desaparece, excepto en el origen.

Tenga en cuenta que, si hubiéramos permitidor=0{\displaystyle r=0}, el origen también habría sido una solución, aunque no es una solución al problema original. Aquí la biyectividad deΦ{\displaystyle \Phi }es crucial. La función siempre es positiva (paraincógnita,yR{\displaystyle x,y\in \mathbb {R} }), de ahí los valores absolutos.

Diferenciación

La regla de la cadena se utiliza para simplificar la diferenciación compleja. Por ejemplo, consideremos el problema de calcular la derivada.

ddincógnitapecado(incógnita2).{\displaystyle {\frac {d}{dx}}\sin(x^{2}).}

Dejary=pecado{\displaystyle y=\sin u}con=incógnita2.{\displaystyle u=x^{2}.}Entonces:

ddincógnitapecado(incógnita2)=dydincógnita=dydddincógnitaEsta parte es la regla de la cadena.=(ddpecado)(ddincógnitaincógnita2)=(porque)(2incógnita)=(porque(incógnita2))(2incógnita)=2incógnitaporque(incógnita2){\displaystyle {\begin{aligned}{\frac {d}{dx}}\sin(x^{2})&={\frac {dy}{dx}}\\[6pt]&={\frac {dy}{du}}{\frac {du}{dx}}&&{\text{This part is the chain rule.}}\\[6pt]&=\left({\frac {d}{du}}\sin u\right)\left({\frac {d}{dx}}x^{2}\right)\\[6pt]&=(\cos u)(2x)\\&=\left(\cos(x^{2})\right)(2x)\\&=2x\cos(x^{2})\end{aligned}}}

Integración

Las integrales difíciles a menudo se pueden evaluar cambiando variables; esto es posible gracias a la regla de sustitución y es análogo al uso de la regla de la cadena descrita anteriormente. Las integrales difíciles también se pueden resolver simplificando la integral mediante un cambio de variables dado por la matriz jacobiana y el determinante correspondientes . [ 1 ] El uso del determinante jacobiano y el cambio de variable correspondiente que proporciona es la base de sistemas de coordenadas como los sistemas de coordenadas polares, cilíndricas y esféricas.

Fórmula de cambio de variables en términos de la medida de Lebesgue

El siguiente teorema nos permite relacionar integrales con respecto a la medida de Lebesgue con una integral equivalente con respecto a la medida de retroceso bajo una parametrización G. [ 2 ] La demostración se debe a aproximaciones del contenido de Jordan.

Supongamos queΩ{\displaystyle \Omega }es un subconjunto abierto deRnorte{\displaystyle \mathbb {R} ^{n}}yGRAMO:ΩRnorte{\displaystyle G:\Omega \to \mathbb {R} ^{n}}es undo1{\displaystyle C^{1}}difeomorfismo.

  • SiF{\displaystyle f}es una función medible de Lebesgue enGRAMO(Ω){\displaystyle G(\Omega )}, entoncesFGRAMO{\displaystyle f\circ G}¿Es Lebesgue medible enΩ{\displaystyle \Omega }. SiF0{\displaystyle f\geq 0}oFL1(GRAMO(Ω),metro),{\displaystyle f\in L^{1}(G(\Omega ),m),}entoncesGRAMO(Ω)F(incógnita)dincógnita=ΩFGRAMO(incógnita)|detDincógnitaGRAMO|dincógnita{\displaystyle \int _{G(\Omega )}f(x)dx=\int _{\Omega }f\circ G(x)|{\text{det}}D_{x}G|dx}.
  • SimiΩ{\displaystyle E\subset \Omega }ymi{\displaystyle E}Si Lebesgue es medible, entoncesGRAMO(mi){\displaystyle G(E)}Si Lebesgue es medible, entoncesmetro(GRAMO(mi))=mi|detDincógnitaGRAMO|dincógnita{\displaystyle m(G(E))=\int _{E}|{\text{det}}D_{x}G|dx}.

Como corolario de este teorema, podemos calcular las derivadas de Radon-Nikodym de las medidas de retroceso y de avance demetro{\displaystyle m}bajoT{\displaystyle T}.

Fórmula de medida de retroceso y transformación

La medida de retroceso en términos de una transformaciónT{\displaystyle T}se define comoTμ:=μ(T(A)){\displaystyle T^{*}\mu :=\mu (T(A))} . La fórmula de cambio de variables para medidas de retroceso es

T(Ω)gramodμ=ΩgramoTdTμ{\displaystyle \int _{T(\Omega )}gd\mu =\int _{\Omega }g\circ TdT^{*}\mu }.

Fórmula de medida y transformación para impulsar el progreso.

La medida de impulso en términos de transformaciónT{\displaystyle T}, se define comoTμ:=μ(T1(A)){\displaystyle T_{*}\mu :=\mu (T^{-1}(A))} . La fórmula de cambio de variables para medidas pushforward es

ΩgramoTdμ=T(Ω)gramodTμ{\displaystyle \int _{\Omega }g\circ Td\mu =\int _{T(\Omega )}gdT_{*}\mu }.

Como corolario de la fórmula de cambio de variables para la medida de Lebesgue, tenemos que

  • Derivada de Radon-Nikodym del retroceso con respecto a la medida de Lebesgue:dTmetrodmetro(incógnita)=|detDincógnitaT|{\displaystyle {\frac {dT^{*}m}{dm}}(x)=|{\text{det}}D_{x}T|}
  • Derivada de Radon-Nikodym del avance con respecto a la medida de Lebesgue:dTmetrodmetro(incógnita)=|detDincógnitaT1|{\displaystyle {\frac {dT_{*}m}{dm}}(x)=|{\text{det}}D_{x}T^{-1}|}

De la cual podemos obtener

  • La fórmula de cambio de variables para la medida de retroceso:T(Ω)gramodmetro=ΩgramoTdTmetro=ΩgramoT|detDincógnitaT|dmetro(incógnita){\displaystyle \int _{T(\Omega )}gdm=\int _{\Omega }g\circ TdT^{*}m=\int _{\Omega }g\circ T|{\text{det}}D_{x}T|dm(x)}
  • La fórmula de cambio de variables para la medida pushforward:Ωgramodmetro=T(Ω)gramoT1dTmetro=T(Ω)gramoT1|detDincógnitaT1|dmetro(incógnita){\displaystyle \int _{\Omega }gdm=\int _{T(\Omega )}g\circ T^{-1}dT_{*}m=\int _{T(\Omega )}g\circ T^{-1}|{\text{det}}D_{x}T^{-1}|dm(x)}

Ecuaciones diferenciales

Los cambios de variables para la diferenciación y la integración se enseñan en cálculo elemental , pero rara vez se llevan a cabo todos los pasos.

El amplio uso de cambios de variables se hace evidente al considerar ecuaciones diferenciales, donde las variables independientes pueden modificarse mediante la regla de la cadena o las variables dependientes pueden cambiar, lo que requiere realizar alguna diferenciación. Los cambios más complejos, como la combinación de variables dependientes e independientes en transformaciones puntuales y de contacto , pueden resultar muy complicados, pero ofrecen una gran libertad.

Con mucha frecuencia, se sustituye una fórmula general para un cambio en un problema y se eligen parámetros sobre la marcha para simplificarlo al máximo.

Escalado y cambio

Probablemente el cambio más simple sea el escalado y desplazamiento de variables, es decir, reemplazarlas con nuevas variables que se "estiran" y "mueven" por cantidades constantes. Esto es muy común en aplicaciones prácticas para obtener parámetros físicos a partir de problemas. Para una derivada de orden n , el cambio simplemente resulta en

dnorteydincógnitanorte=yescalaincógnitaescalanortednortey^dincógnita^norte{\displaystyle {\frac {d^{n}y}{dx^{n}}}={\frac {y_{\text{scale}}}{x_{\text{scale}}^{n}}}{\frac {d^{n}{\hat {y}}}{d{\hat {x}}^{n}}}}

dónde

incógnita=incógnita^incógnitaescala+incógnitacambio{\displaystyle x={\hat {x}}x_{\text{scale}}+x_{\text{shift}}}
y=y^yescala+ycambio.{\displaystyle y={\hat {y}}y_{\text{scale}}+y_{\text{shift}}.}

Esto se puede demostrar fácilmente mediante la regla de la cadena y la linealidad de la diferenciación. Este cambio es muy común en aplicaciones prácticas para obtener parámetros físicos a partir de problemas, por ejemplo, el problema de valores en la frontera.

μd2dy2=dpagdincógnita;(0)=(L)=0{\displaystyle \mu {\frac {d^{2}u}{dy^{2}}}={\frac {dp}{dx}}\quad ;\quad u(0)=u(L)=0}

describe el flujo de fluido paralelo entre paredes sólidas planas separadas por una distancia δ; μ es la viscosidad ydpag/dincógnita{\displaystyle dp/dx}el gradiente de presión , ambos constantes. Al escalar las variables, el problema se convierte en

d2^dy^2=1;^(0)=^(1)=0{\displaystyle {\frac {d^{2}{\hat {u}}}{d{\hat {y}}^{2}}}=1\quad ;\quad {\hat {u}}(0)={\hat {u}}(1)=0}

dónde

y=y^Ly=^L2μdpagdincógnita.{\displaystyle y={\hat {y}}L\qquad {\text{and}}\qquad u={\hat {u}}{\frac {L^{2}}{\mu }}{\frac {dp}{dx}}.}

El escalado resulta útil por muchas razones. Simplifica el análisis al reducir el número de parámetros y al presentar el problema de forma más clara. Un escalado adecuado puede normalizar las variables, es decir, asignarles un rango adimensional razonable, como de 0 a 1. Finalmente, si un problema requiere una solución numérica, cuantos menos parámetros haya, menor será el número de cálculos.

Cantidad de movimiento frente a velocidad

Consideremos un sistema de ecuaciones

metrov˙=Hincógnitametroincógnita˙=Hv{\displaystyle {\begin{aligned}m{\dot {v}}&=-{\frac {\partial H}{\partial x}}\\[5pt]m{\dot {x}}&={\frac {\partial H}{\partial v}}\end{aligned}}}

para una función dadaH(incógnita,v){\displaystyle H(x,v)}La masa se puede eliminar mediante la sustitución (trivial).Φ(pag)=1/metropag{\displaystyle \Phi (p)=1/m\cdot p}. Claramente, este es un mapa biyectivo deR{\displaystyle \mathbb {R} }aR{\displaystyle \mathbb {R} }. Bajo la sustituciónv=Φ(pag){\displaystyle v=\Phi (p)}el sistema se convierte

pag˙=Hincógnitaincógnita˙=Hpag{\displaystyle {\begin{aligned}{\dot {p}}&=-{\frac {\partial H}{\partial x}}\\[5pt]{\dot {x}}&={\frac {\partial H}{\partial p}}\end{aligned}}}

mecánica lagrangiana

Dado un campo de fuerzaφ(t,incógnita,v){\displaystyle \varphi (t,x,v)}Las ecuaciones de movimiento de Newton son :

metroincógnita¨=φ(t,incógnita,v).{\displaystyle m{\ddot {x}}=\varphi (t,x,v).}

Lagrange examinó cómo cambian estas ecuaciones de movimiento bajo una sustitución arbitraria de variables.incógnita=Ψ(t,y){\displaystyle x=\Psi (t,y)},v=Ψ(t,y)t+Ψ(t,y)yw.{\displaystyle v={\frac {\partial \Psi (t,y)}{\partial t}}+{\frac {\partial \Psi (t,y)}{\partial y}}\cdot w.}

Descubrió que las ecuaciones

Ly=ddtLw{\displaystyle {\frac {\partial {L}}{\partial y}}={\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {L}}{\partial {w}}}}

son equivalentes a las ecuaciones de Newton para la funciónL=TV{\displaystyle L=T-V}donde T es la energía cinética y V la energía potencial.

De hecho, cuando la sustitución se elige adecuadamente (aprovechando, por ejemplo, las simetrías y las restricciones del sistema), estas ecuaciones son mucho más fáciles de resolver que las ecuaciones de Newton en coordenadas cartesianas.

Véase también

Referencias

  1. Kaplan, Wilfred (1973). "Cambio de variables en integrales". Cálculo avanzado (segunda  edición). Reading: Addison-Wesley. págs. 269–275 . 
  2. Folland, GB (1999). Análisis real : técnicas modernas y sus aplicaciones (2.ª ed.). Nueva York: Wiley. pp. 74–75 . ISBN    0-471-31716-0OCLC 39849337