Optimaalisten liikennesuunnitelmien olemassaolo

Tässä tutkielmassa perehdytään massansiirtoteorian perusteisiin, erityisesti niin kutsuttujen liikennesuunnitelmien kautta. Tutkielman päätuloksena osoitetaan, että liikennesuunnitelman energialle on olemassa optimaalinen liikennesuunnitelma, joka minimoi energian. Käsiteltävässä massansiirto-ongelmassa tavoitteena on siirtää massaa yhdeltä mitalta toiselle mahdollisimman pienellä kokonaiskustannuksella. Mahdolliset kuljetusreitit määritellään Lipschitz-jatkuvina polkuina. Lipschitz-polkujen muodostama metrinen avaruus osoitetaan kompaktiksi sopivalla etäisyyden valinnalla. Metristä avaruutta kutsutaan kompaktiksi, jos sen jokaisella peitteellä on olemassa äärellinen osapeite. Mahdollisista kuljetusreiteistä rakennetaan niin kutsuttu liikennesuunnitelma, joka painottaa polkujen avaruutta siten, että painotetut polut kuljettavat massaa suhteessa annettuun painoon. Liikennesuunnitelma on tällöin luonnollista määritellä mittana Lipschitz-polkujen avaruuteen. Liikennesuunnitelmalta vaaditaan, että äärettömän pitkät polut saavat painokseen nollan, toisin sanoen äärettömän pitkien polkujen osajoukko on nollamittainen liikennesuunnitelman suhteen. Liikennesuunnitelmalle määritellään energia, joka on yhdenmukainen diskreettien massansiirto-ongelmien kanssa. Energia tulee riippumaan käytettyjen liikennesuunnitelman painottamien polkujen pituuksista ja kertaluvuista. Kertaluku kuvastaa sitä, kuinka usea polku käy samassa pisteessä. Energian minimoimiseksi pituus ja kertaluku halutaan luonnollisesti minimoida optimaalisen liikennesuunnitelman löytämisellä. Optimaalisen liikennesuunnitelman olemassaolo seuraa polkuavaruuden kompaktiudesta sekä energian alhaalta puolijatkuvuudesta. Alhaalta puolijatkuvuuden osoittaminen on yleinen strategia minimointiongelmien ratkaisemisessa. Alhaalta puolijatkuvuus on jatkuvuutta heikompi ehto funktiolle. Rakenteeltaan optimaalinen liikennesuunnitelma tulee olemaan haarautunut eli puumainen, mutta tämän perustelu sivuutetaan.