Konformikuvaus
Konformikuvaus on matemaattinen kuvaus, jossa kulmat säilyvät ennallaan.
Yleisimmin matematiikassa käsitellään konformi­kuvauksia, joiden lähtö- ja maalijoukko ovat kompleksitason alueita.
Jatkuvaa kuvausta formula_1 sanotaan konformiseksi eli konformi­kuvaukseksi annetussa pisteessä formula_2, jos ja vain jos se toteuttaa seuraavat ehdot:Kuvausta formula_1 sanotaan konformi­kuvaukseksi alueessa formula_10, jos se on konforminen alueen jokaisessa pisteessä. Jos alue formula_10 voidaan kuvata konformisesti ja bijektiivisesti alueelle formula_12, sanotaan, että alueet formula_10 ja formula_12 ovat "konformiekvivalentit".
Usein konformikuvaukselta edellytetään lisäksi, että se säilyttää myös orientaation. Tällaista kuvausta sanotaan toisinaan myös "suoraan konformi­seksi". Taso­alueiden tapauksessa tämä merkitsee, etteivät kulmat pysy ainoastaan itseis­arvoltaan yhtä suurina, vaan myöskään kulman oikea ja vasen kylki eivät vaihdu keskenään. Kuvaus, joka on konforminen, mutta kääntää orientaation, on "kääntäen konforminen".
Konformikuvauksissa infinitesimaalisen pienet alueet pysyvät muodoltaan, mutta eivät välttämättä kooltaan ennallaan. Sitä vastoin tarpeeksi suuret alueet saattavat muuttua muodoltaan paljonkin.
Yleisimmin matematiikassa käsitellään konformi­kuvauksia, joiden lähtö- ja maalijoukko ovat kompleksitason alueita.
Kuvauksen konformisuus voidaan karakterisoida koordinaatiston muunnokseen liittyvän Jacobin matriisin avulla. Jos muunnoksen Jacobin determinantti on kaikkialla jokin rotaatiomatriisi kerrottuna jollakin skalaarilla, muunnos on konforminen.
Konformi­kuvauksen käsite voidaan yleistää, paitsi taso­alueiden, myös korkeampi­ulotteisten euklidisten avaruuksien ja yleisemminkin Riemannin monistojen ja Riemannin semimonistojen alueiden välisiin kuvauksiin.
Erityisen suuri merkitys konformikuvauksilla on kompleksianalyysissä. Jos formula_15 on kompleksitason formula_16 avoin osajoukko, funktio : formula_17 on suoraan konforminen, jos ja vain jos se on holo­morfinen eli analyyttinen ja sen derivaatta on nollasta poikkeava kaikissa alueen "U" pisteissä. Jos "f" on antiholomorfinen eli jonkin holomorfisen funktion kompleksikonjugaatti, se säilyttää kulmat mutta kääntää niiden orientaation.
Riemannin kuvauslause on yksi kompleksianalyysin syvällisistä tuloksista. Se osoittaa, että jokainen ei-tyhjä yhdesti yhtenäinen kompleksi­tason formula_18 avoin osajoukko voidaan kuvata bijektiivisellä konformi­kuvauksella formula_16:n avoimelle yksikkö­kiekolle.
Laajennettu kompleksitaso on konformisti ekvivalentti pallopinnan kanssa. Laajennetun tason bijektiivinen konformi­kuvaus itselleen on suora konformikuvaus, jos ja vain jos se on Möbius-kuvaus. Laajennetussa tasossakin myös Möbius-kuvausten kompleksi­konjugaatit säilyttävät kulmien suuruuden ennallaan, mutta kääntävät niiden orientaation.
Esimerkkinä laajennetun tason kuvauksesta, joka on kääntäen konforminen, voidaan mainita kompleksi­konjugaatin käänteis­arvo eli funktio
Se vastaa Riemannin pallon peilausta yksikkö­kiekon määräämän tason kanssa tai kompleksitason peilaamista yksikköympyrän kehän yli. Tämä funktio säilyttää jokaisen kompleksiluvun "r e" argumentin "θ" ennallaan mutta muuttaa sen itseisarvon "r" käänteisluvukseen.
Riemannin geometriassa kahta sileän moniston formula_21 Riemannin metriikkaa formula_22 ja formula_23 sanotaan "konformiekvi­valenteiksi", jos formula_24 jollakin positiivisella funktiolla formula_25, joka on määritelty monistossa formula_26. Funktiota formula_15 sanotaan "konformiseksi tekijäksi".
Kahden Riemanin moniston välistä diffeomorfismia sanotaan konformi­kuvaukseksi, jos metriikka, jonka sen käänteiskuvaus indusoi lähtö­avaruuteen, on konformisti ekvivalentti alku­peräisen kanssa. Esimerkiksi pallopinnan stereografinen projektio laajennetulle tasolle, johon on lisätty äärettömyys­piste, on konformi­kuvaus.
Sileällä monistolla voidaan myös määrätä "konforminen rakenne" konformisti ekvi­valenttien Riemannin metriikkojen luokkana.
Joseph Liouvillen todistama Liouvillen lause osoittaa, että korkeampiulotteisten avaruuksien ja niiden alueiden välillä on vähemmän erityyppisiä konformikuvauksia.
Jokainen kolmi- tai useampien euklidisen avaruuden alueen konformi­kuvaus voidaan muodostaa yhdistettynä kuvauksena kolmesta kuvauksesta, joista yksi on homotetia, toinen isometria eli yhtenevyys­kuvaus ja kolmas niin sanottu "erityinen konforminen muunnos" () eli peilauksen ja pallopinnan suhteen suoritetun inversion yhdistetty kuvaus. Täten useampi­ulotteisten avaruuksien konformi­kuvaukset muodostavat paljon suppeamman ryhmän kuin tasossa, jossa Riemannin kuvauslause tarjoaa mahdollisen muodostaa laajan ryhmän konformi­kuvauksia.
Jos funktio formula_1on harmoninen eli toteuttaa Laplacen yhtälön formula_29 jossakin tasoalueessa, ja jos alue se kuvataan konformi­kuvauksella formula_30 jollekin toiselle tasoalueelle, yhdistetty funktio formula_31 on myös harmoninen. Tämän vuoksi jokainen funktio, joka on määritelty jonkin potentiaalin avulla, voidaan muuntaa konformi­kuvauksella, minkä jälkeen sillä edelleen on potentiaali. Fysiikassa potentiaalin avulla on muodostettu esimerkiksi sähkömagneettisen kentän ja gravitaatiokentän yhtälöt sekä virtaus­dynamiikassa potentiaalivirta, nesteen tai kaasun virtauksen likimääräinen kuvailu olettamalla, että tiheys on vakio, viskositeetti nolla ja virtaus pyörteetöntä. Esimerkkinä konformi­kuvauksen sovelluksesta virtaus­dynamiikassa voidaan mainita aerodynamiikassa usein käytettävä Žukovskin muunnos eli Joukowskyn muunnos formula_32.
Konformikuvauksilla on suuri merkitys ratkaistaessa sellaisia fysiikan ja insinööri­tieteiden probleemoja, jotka voidaan esittää kompleksimuuttujien funktioina mutta joilla on epä­mukavia geo­metrisia ominaisuuksia. Valitsemalla sopiva muunnos voidaan epä­mukava geometria muuntaa helpommin käsiteltäväksi. Esimerkiksi voi olla tarpeen laskea piste­varauksen aiheuttaman sähkökentän voimakkuus, formula_33, kun varaus sijaitsee lähellä paikkaa, jossa kaksi johtavaa tasoa kohtaavat toisensa ja nämä ovat tietyssä kulmassa keskenään. Tehtävä on sellaisenaan sangen vaikea ratkaista suljetussa muodossa. Yksinkertaisella konformi­kuvauksella epä­mukava kulma voidaan kuitenkin kuvata toiselle, joka on tasan formula_34 radiaania (180 astetta), jolloin tuloksena on vain yksi taso. Tilanteessa, jossa varaus on lähellä yhtä johtavaa tasoa, sähkö­kentän voimakkuus on helppo laskea. Kun ratkaisu on saatu tällä tilanteessa, formula_35, joka sitten kuvataan takaisin alkuperäisen tehtävän mukaiseen tilanteeseen ottamalla huomioon, että formula_36 saatiin formula_37:n funktiona, formula_38:stä ja formula_36:stä yhdistettynä kuvauksena formula_40. Tämä sovellus ei ole ristiriidassa sen kanssa, että konformi­kuvauksissa kulmien suuruus säilyy, sillä näin on laita vain kuvattavan alueen sisällä, ei sen reunalla.
Ebenezer Cunningham tunnisti vuonna 1980 ja Harry Bateman vuonna 1910 laajan ryhmän konformi­kuvauksia Maxwellin yhtälöiden eri ratkaisujen välille, palloaaltojen muunnokset. Opiskellessaan Cambridgen yliopistosa he olivat tutustuneet peili­varaus­metodeihin ja niihin liittyviin, pallopintoja ja inversioita käyttäviin menetelmiin. Andrew Warwick totesi vuonna 2003 teoksessaan "Masters of Theory":
Warwick korostaa tätä "uutta suhteellisuus­teoreemaa" Cambridgen vastauksena Einsteinille ja se perustuu inversioiden käyttöön, jota käsitellään esimerkiksi James Hopwood Jeansin laatimassa oppi­kirjassa "Mathematical Theory of Electricity and Magnetism".
Yleisessä suhteellisuus­teoriassa konformi­kuvaukset ovat yksin­kertaisin ja sen vuoksi yleisin kausaalisten muunnosten tyyppi. Fysikaalisesti ne esittävät erilaisia maailman­kaikkeuksia, joissa samat tapahtumat ja vuoro­vaikutukset ovat yhä (kausaalisesti) mahdollisia, mutta joissa on oletettava jokin lisä­voima saamaan aikaan nämä tapahtumat. Toisin sanoen liike­radat voivat pysyvät samoina vain, jos liike ei ole geodeettista, koska metriikka on erilainen. On usein yritetty laatia malleja, joita voitaisiin laajentaa singulari­teetinkin ohi ja joilla voitaisiin kuvailla maailman­kaikkeutta jopa ennen alkuräjähdystä.
Muutamat yleisesti käytetyt olevat karttaprojektiot ovat "oikea­kulmaisia", eli niissä kahden suunnan välinen suunta kartalla on kaikkialla yhtä suuri kuin maastossakin. Tällaiset projektiot ovat konformi­kuvauksia pallo­pinnalta jollekin taso­alueelle. Aiemmin mainitun, myös kartta­projektiona käytetyn stereo­grafisen projektion ohella oikea­kulmaisia ovat erityisesti
Mercatorin projektio ja sen muunnelma, Gaussin–Krügerin projektio ja Lambertin projektio.
Nimitys konformikuvaus johtuu siitä, että sellaisessa kohteiden muodot säilyvät ainakin infinitesimaalisissa mitta­suhteissa. Sana on muodostettu latinan prefiksistä "com" (yhdessä, kanssa, lähellä) ja substantiivista "forma" (muoto, ulkonäkö). Käsite sisältää yleensä oletuksen, että säilyvä muoto mitataan tavan­omaisella euklidisella kulmalla, jonka yksikkönä voidaan käyttää esimerkiksi asteina tai radiaaneina. Taso­kuvauksiin liittyy kuitenkin kaksi muutakin kulma­suuretta, hyperbolinen kulma ja kulmakerroin, joka on analoginen duaalilukujen välisten kulmien kanssa.
Olkoon formula_41 pintojen välinen kuvaus, joka voidaan para­metrisoida luku­pareilla formula_42 ja formula_43. Tällöin formula_44:n Jacobin matriisin muodostavat formula_45:n ja formula_46:n neljä osittaisderivaattaa formula_47:n ja formula_48:n suhteen.
Jos Jacobin matriisin "g" determinantti ei ole nolla, kuvaus formula_1 on "konforminen yleistetyssä mielessä" näistä kulma­suureista yhden suhteen riippuen Jacobin matriisin "g" ilmaisemasta reaali­matriisista.
Itse asiassa jokainen tällainen matriisi "g" kuuluu erityiseen "tasomaiseen" kommutatiiviseen ali­renkaaseen, ja "g":n napa­koordinaatit määräytyvät kahden parametrin mukaan, joista toinen kuvaa etäisyyttä, toinen kulmaa tai suuntaa. Edellinen, säteittäinen parametri vastaa jotakin yhdenmuotoisuuskuvausta, ja sille voidaan kuvausten konformisuutta tutkittaessa valita arvo 1. Jälkimmäinen, "g":n kulma­parametri, voi olla kolmea tyyppiä, transvektiivinen, hyperbolinen tai euklidinen:
Käsitellessään analyyttisä bireaalisten muuttujien funktioita U. Bencivenga ja G. Fox ovat kirjoittaneet konformikuvauksista, joissa hyper­boliset kulmat säilyvät. Myös duaalilukujen ja hyper­bolisten lukujen tasoissa voidaan määritellä Möbius-kuvauksia vastaavat muunnokset, jotka ovat näiden tasojen konformi­kuvauksia edellä mainitussa yleistetyssä mielessä.