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

Koordinattransformation redigera

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.