Variabelbyte

Från Wikipedia

Variabelbyte eller variabelsubstitution, är inom matematiken en grundläggande teknik som används för att förenkla problem genom ersätta den ursprungliga variabeln med funktioner i andra variabler. Avsikten är förenkla problemet eller att göra problemet ekvivalent med ett bättre förstått problem.

Variabelbyte är en operation som är besläktad med substitution. Dessa är emellertid olika operationer, vilket framgår i samband med operationer som differentiering, derivering, tillämpning av kedjeregeln och integration genom substitution.

Ett mycket enkelt exempel på ett användbart variabelbyte är problemet att finna nollställena till ett sjättegradspolynom:

Ekvationen kan skrivas

Ekvationen kan förenklas genom att definiera en ny variabel u = x3. Substitution av x med i polynomet ger

vilket är en andragradsekvation med lösningarna

Lösningen i termer av den ursprungliga variabeln sker genom att substituera tillbaka x3 i u:

Då är, under antagandet att x är ett reellt tal,

Exempel[redigera | redigera wikitext]

Koordinattransformation[redigera | redigera wikitext]

Vissa problem kan lösas betydligt enklare genom övergång till polära koordinater, till exempel ekvationen

vilken kan vara en funktion som beskriver den potentiella energin för ett fysikaliskt system. Om lösningen inte är uppenbar kan man försöka med substitionen

som ges av .

Notera att om befinner sig utanför ett -längdintervall, till exempel , är mappningen inte längre bijektiv. Därför måste begränsas till exempelvis . Notera hur är exkluderad, för är inte bijektiv i origo ( kan anta ett godtyckligt värde och punkten kommer att avbildas på (0, 0)). Genom att ersätta alla förekomster av de ursprungliga variablerna med de nya uttrycken, bestämda av och med användandet av identiteten , erhålls

.

Nu kan lösningen enkelt hittas:

, så eller . Genom att tillämpa inversen till framgår att detta är ekvivalent med medan . Vi ser att för är funktionen noll med undantag för origo.

Notera att om vi tillåtit , hade origo också varit en lösning, även om det inte är en lösning till det ursprungliga problemet. Här är bijektiviteten hos avgörande. Notera också att funktionen alltid är positiv (för ), vilket motiverar absolutvärdet.