Lauseen , identiteetin tai lausekkeen Q - analogi on yleistys, joka sisältää uuden parametrin q , joka palauttaa alkuperäisen lauseen, identiteetin tai lausekkeen rajassa muodossa q → 1 . Yleensä matemaatikot ovat kiinnostuneita luonnossa esiintyvistä q - analogeista sen sijaan, että keksisivät mielivaltaisia q -analogeja tunnetuille tuloksille. Varhaisimmat q -analogit ovat perushypergeometriset sarjat , joita tutkittiin 1800-luvulla [1] .
Q -analogeja käytetään yleisimmin kombinatoriikassa ja erikoisfunktioiden teoriassa . Näissä olosuhteissa raja q → 1 on usein formaalinen, koska q on usein diskreetti (se voi esimerkiksi edustaa alkuluvun potenssia ). Q -analogeilla on sovelluksia monilla aloilla, mukaan lukien fraktaalien ja multifraktaalimittojen tutkimuksessa sekä kaoottisten dynaamisten järjestelmien entropian ilmaisemisessa . Yhteys fraktaaleihin ja dynaamisiin järjestelmiin syntyy siitä, että monilla fraktaaliobjekteilla on fuksialaisten ryhmien symmetria yleensä (katso esim. artikkelit "Indra's pearls" ja " Apollonian's grid ") ja erityisesti modulaarinen ryhmä . . Yhteys kulkee hyperbolisen geometrian ja ergodisen teorian kautta , joissa elliptiset integraalit ja modulaariset muodot ovat tärkeässä roolissa. Itse q - sarja liittyy läheisesti elliptisiin integraaleihin.
Q -analogeja esiintyy kvanttiryhmien tutkimuksessa ja q -häiriöisissä superalgebroissa . Yhteys tässä on samanlainen kuin kuinka merkkijonoteoria on rakennettu Riemannin pintojen kielellä , mikä johtaa yhteyteen elliptisten käyrien kanssa , jotka puolestaan liittyvät q - sarjaan .
Klassinen q -teoria alkaa q -analogeilla ei-negatiivisille kokonaisluvuille [2] . Tasa-arvo
ehdottaa, että määritämme luvun n q - analogin , joka tunnetaan q - sulkeena tai luvun n q - numerona .
Tämän nimenomaisen q -analogin valinnalla muiden mahdollisuuksien joukossa ei ole varmaa syytä, mutta analogia syntyy luonnollisesti useissa yhteyksissä. Jos esimerkiksi päätämme käyttää merkintää [ n ] q luvun n q - analogille , voimme määrittää faktoriaalin q -analogin , joka tunnetaan q - faktoriaalina seuraavasti:
Tämä q -analogi esiintyy luonnollisesti useissa yhteyksissä. Huomattavaa, kun taas n ! laskee permutaatioiden lukumäärän, joiden pituus on n , [ n ] q ! laskee permutaatiot ottaen huomioon inversioiden määrän . Eli jos inv( w ) tarkoittaa permutaation w inversioiden lukumäärää ja S n on n pituisten permutaatioiden joukko , meillä on
Erityisesti voit saada tavallisen faktoriaalin siirtymällä rajaan .
Q -tekijä määritellään lyhyesti myös Pochhammer q -symbolilla , joka on kaikkien q -teorioiden perusrakennuspalikka:
Voidaan siirtyä q-tekijästä q - binomiaalikertoimiin , jotka tunnetaan myös Gaussin kertoimina , Gaussin polynomeina tai Gaussin binomiaalikertoimina :
Q -aste määritellään seuraavasti
Trigonometriset q -funktiot yhdessä q -Fourier-muunnoksen kanssa määritellään samassa yhteydessä.
Gaussin kertoimet laskevat äärellisen vektoriavaruuden aliavaruudet . Olkoon q äärellisen kentän alkioiden lukumäärä (luku q on tällöin yhtä suuri kuin alkuluvun potenssi , q = p e , joten kirjaimen q käyttö on järkevää). Tällöin n -ulotteisen vektoriavaruuden k - ulotteisten aliavaruuksien määrä kentässä, jossa on q elementtiä on
Koska q pyrkii olemaan 1, saamme binomikertoimen
tai toisin sanoen k -alkioisten osajoukkojen lukumäärä joukossa, jossa on n alkiota.
Siten äärellistä vektoriavaruutta voidaan pitää joukon q -yleistyksenä ja aliavaruuksia tämän joukon osajoukkojen q -yleistyksenä. Tämä on hedelmällinen näkökulma kiinnostavien teoreemojen löytämiseen. Esimerkiksi Spernerin lauseella ja Ramseyn teorialla on q -analogeja .
Päinvastoin kuin q :n sallitaan muuttua ja q -analogeja pidetään poikkeamia, voidaan pitää kombinatorista tapausta q = 1 q -analogien q → 1 rajana (usein ei ole mahdollista yksinkertaisesti korvata q = 1 kaavalla, joten raja on otettava).
Tämä voidaan formalisoida kentässä, jossa on yksi elementti , jossa kombinatoriikka esitetään lineaarisena algebrana yhden elementin kentän päällä. Esimerkiksi Weyl-ryhmät ovat yksinkertaisesti algebrallisia ryhmiä kentässä, jossa on yksi elementti.
Q -analogeja löytyy usein täsmällisistä ratkaisuista monikeho-ongelmiin. Tällaisissa tapauksissa raja q → 1 vastaa suhteellisen yksinkertaista dynamiikkaa, eli ilman epälineaarisia häiriöitä, kun taas q < 1 antaa välähdyksen monimutkaiseen epälineaariseen takaisinkytkentäjärjestelmään.
Esimerkki atomifysiikasta on malli, jossa luodaan molekyylikondensaatti ultrakylmasta fermionisesta kaasusta olosuhteissa, joissa ulkoinen magneettikenttä lakaistaan Feshbach-resonanssin avulla [3] . Tätä prosessia kuvataan mallilla, jossa on SU(2)-operaattorialgebran q -häiriöinen versio ja ratkaisu kuvataan q -häiriöidyillä eksponentiaali- ja binomijakaumilla .