- Liite A: Lisätietoa crista- ja karvasolujen avaruudellisesta organisaatiosta
- Karvasolut cristan päällä
- Kupulan rakenne
- Kupulamallit
- Liite B: Analyysi ja demonstraatiot
- Statiikasta geometriaan
- Proof of Proposition 1
- Proof of Proposition 3
- Lauseen 4 todistus
- Lauseen 4 ensimmäisen johtolauseen todistus
- Todistus lauseen 4 toisesta johtolauseesta
- Proof of Proposition 5
- Proof of Proposition 6
- Liite C: Geometria. Invariantit minimipinnat
- Lauseen A todistus
- Lauseen B todistus
Liite A: Lisätietoa crista- ja karvasolujen avaruudellisesta organisaatiosta
Crista- ja karvasolujen globaali muoto vaihtelee lajeittain. Se on kuvattu anamnioteille (kalat ja sammakkoeläimet) ja amnioteille (matelijat, linnut, nisäkkäät).
Kaloilla kaikkien SCC:iden crista on satulan muotoinen ja keskeltä kapea. Pystysuuntaisten SCC:iden crista on leveämpi rajan kahdesta osasta (nimeltään planum semilunatum). Sammakoilla pystysuuntaisten SCC:iden crista on käpälän muotoinen, ja sen keskellä on näkyvä kaareva pinta, mutta sivukanavan crista on yksittäinen klubin muotoinen reseptorivyöhyke, joka sijaitsee toisessa päässä. Tästä laajentuneesta reseptorialueesta yksittäinen kuppimassa työntyy seinämää pitkin kärkeen asti, ja hieman ohuempi osa nousee jäljellä olevasta cristan reseptorialueesta ja täydentää pääosan kuppimasta (Hillman 1974).
Amnioteilla, esimerkiksi luistimilla, liskoilla, kilpikonnilla, kyyhkysillä, useimmilla jyrsijöillä (hiirellä, rotilla, gerbiilillä, mutta ei chinchillalla), kissoilla, apinoilla ja ihmisillä, pystysuuntaisten kanavien (takimmainen ja etummainen) cristae voi olla käsipainon muotoinen. Niissä on kaksi hemi-cristae-kanavaa, joissa kummassakin on keskivyöhyke, jotka on erotettu toisistaan septum cruciatumilla (kuva 2; Lindeman 1969). Tällöin kupula ulottuu reseptorin tyvestä kahtena kaarevana massana, jotka on yhdistetty keskellä ohuemmalla alueella. Sitä vastoin horisontaalisessa kanavassa on yleensä vain yksi keskialue. Morfologiset erot horisontaalisten ja vertikaalisten SCC:iden välillä eivät ole yllättäviä; horisontaaliset kanavat ovat ilmaantuneet evoluutiossa viime aikoina, ja ne käyttävät erilaisia geeniekspressioita kehittyäkseen. Lateraalisen SCC:n osalta HC:n depolarisaatio tapahtuu, kun voima kohdistuu kohti utriculusta, mutta vertikaalisissa kanavissa sitä vastoin depolarisaatio tapahtuu, kun voima kohdistuu kohti kanavaa (kuva 2).
Morfologiset tutkimukset, jotka Landolt et al. (1972) suorittivat kyyhkysillä, toivat esiin sen, että etu- ja takimmaisten kalvoampullien cristaen pintageometria poikkeaa merkittävästi lateraalisen kalvoampullan pintageometriasta. Ylhäältä katsottuna pystysuoriin kanaviin liittyvien ampullien sisältö muistuttaa ristiä. Ristin lyhyemmät varret koostuvat kahdesta ulokkeesta, eminentiae cruciatae, ja niiden välisestä umbosta, torus septi. Kussakin ampullassa on siis morfologisesti ”kaksi cristae”. Kumpikin näistä ”kahdesta cristae” on satulanmuotoinen, mutta lateraalisen kalvomaisen ampullan crista ampullaris on v:n muotoinen harjanne, joka kulkee kalvomaisen ampullan luumenin lyhyen akselin poikki katenoidin tavoin. Kolmessa ampullassa crista ampullaris osoittaa kuitenkin kahdenvälistä symmetriaa toruksen mediaalisen tason suhteen ja toista kahdenvälistä symmetriaa mediaalisen poikittaistason suhteen, joka on samansuuntainen cupulan kanssa (kuva 2, paneeli c).
Crista ampullaris yltää kolmannekseen ampullaarion korkeudesta, ja se sisältää neuroepiteelin, verisuonet ja hermokuidut. Neuroepiteeli koostuu enimmäkseen karvasoluista ja tukisoluista, jotka ovat suurelta osin vastuussa cristan biomekaanisista ominaisuuksista ja kuppilan geelin reologisista ominaisuuksista; myös aistiepiteelin viereiset solut vaikuttavat osaltaan geelin rakenteeseen (Lindeman 1969; Dohlman 1971).
Karvasolut cristan päällä
Aminiooteilla on ainakin kahdenlaisia karvasoluja (HC): I-tyypin soluja ympäröivät afferenttien neuronien kaljujen dendriitit crista-epiteelin sisäpuolella, mutta II-tyypin solut ovat kosketuksissa boutonien päätepisteiden kanssa (Wersäll 1954, 1956). (Huomattakoon, että suurin osa nisäkkäiden afferenteista neuroneista on dimorfisia ja koskettaa sekä tyypin I että tyypin II HC-soluja). Tärkeimmän fysiologisen gradientin antaa kuitenkin sijainti epiteelissä, esimerkiksi cristassa suurin osa faasisista soluista on keskellä ja enemmän toonisia soluja periferiassa (Goldberg ja Brichta 1998; Eatock ja Songer 2011). Linnuilla tyypin I HC-solut rajoittuvat cristan keskelle, mutta nisäkkäillä tyypin I HC-soluja on kaikkialla, ja kädellisillä tyypin I solut dominoivat koko cristalla (vrt. Lysakowski ja Goldberg 2008 orava-apinasta). Nisäkkäiden cristassa on kuitenkin konsentrinen organisaatio, jossa on kolmenlaisia afferentteja neuroneja ja HC-fysiologiaa ja -morfologiaa: keskus, välivyöhyke ja periferia.
Karvasolujen tiheys ei ole tasainen koko cristan pinnalla, vaan se on huomattavasti suurempi periferiassa kuin keskustassa (Hillman 1974; Lindeman 1969). Tiheysero keskustan ja periferian välillä on selvempi tyypin I soluilla, kun taas tyypin II solut jakautuivat tasaisemmin cristan huipun ja periferian välillä (Goldberg ja Brichta 1998). Karvakimput ovat lyhyempiä keskialueella kuin cristaen periferia-alueilla (vrt. myös Njeugna ym. 1996).
HK:n karvakimput (HB) ovat morfologialtaan ja fysiologialtaan erilaisia kaikissa vestibulaaristen pääte-elinten epiteeleissä, kanavan cristaessa tai otoliitin makulassa (Brichta ym. 2002).
Yksi HB:n stereosilia on asetettu HC:n kärkeen säännöllisessä järjestyksessä, ja ne ovat yhteydessä toisiinsa ainakin kolmella tavalla: basaalisilla yhteyksillä, lateraalisella kontaktilla ja kärkilinkillä, (Howard ym. 1988). Todistettiin (ainakin värähtelevien liikkeiden osalta), että nipun taipuminen on synkronista ja koherenttia (Kozlov ym. 2006).
Monissa tutkimuksissa on raportoitu kinociliumin asettumisesta kuppikuoreen ja filamenteista, jotka muodostavat verhoja ja putkia, jotka yhdistävät stereociliumit kuppikuoren alapuoliseen tilaan (Suzuki ym. 1984; Rüsch ja Thurm 1989).
Kupulan rakenne
Kupulan kuvasi ensimmäisen kerran tarkasti Steinhausen (1933) hyytelömäiseksi aineeksi, joka ulottuu ampullan kattoon ja ulos sen sivuseinämiin.
Kupulasta on esitetty erilaisia teorioita. Zalin (1967) ehdotti, että cupula riippuu ampullan katosta. Dohlman (1971) ehdotti, että cupula liikkuu kuin mäntä, ja ehdotti, että endolymfaneste kiertää ampullan katolla, ei cristaa pitkin, mutta myöhemmin (1977, 1980) hän ehdotti toisenlaista näkemystä, jonka mukaan endolymfa kiertää subcupulan tilassa. Rüsch ja Thurm (1989) antoivat perusteluja, jotka puoltavat nesteen erilaista koostumusta kuppulan antrumissa (Muller 1999).
Yamauchi ym. (2001) ovat osoittaneet konnakaloilla, että kuppula voi irrota katosta, mutta pysyy kiinnittyneenä cristan rajalle.
Lisäksi Dohlman (1977, 1980) ehdotti, että jäykät rakenteet, kuten filamentit tai putket, yhdistävät stereocilioita kuppulaan. Tällaisen filamenttirakenteen havaitsivat myös Suzuki ym. (1984) sekä Rüsch ja Thurm (1989), Takumida (2001). Tämä rakenne voi kuitenkin riippua lajieroista. Esimerkiksi Silver ym. (1998) raportoivat tällaisten rakenteiden puuttumisesta konnakaloilla. Muller (1999) todisti ohuen subkupulaarisen tilan optimaalisuuden herkkyyden lisäämiseksi.
Sammakoita tutkineiden Hillmanin ja McLarenin (1979) sekä osterikonnakaloja (opsanus tau) tutkineiden Silverin ym. (1998) töiden perusteella voidaan päätellä, että kuppulakompleksi koostuu neljästä osasta (Kuva. 3: sivusiivet molemmin puolin, yhteiset keskipilarit keskellä (jotka muodostavat kuppikuoren) ja cristan lähellä oleva cupula-antrum, joka on täytetty isotrooppisella geelillä, jota on vahvistettu pystysuoraan kulkevalla kollageenilla (vrt. nisäkkäiden osalta Hunter-Duvar ja Hinojosa 1984). Kupulakuori koostuu sidekudoskuiduista, jotka ovat tiheästi pakkautuneita ja ristisilloittuneita. Vastaavasti Takumida (2001) erottaa toisistaan kuppulan suppeassa merkityksessä (kuppulakuoren osalta) ja subkuppulaverkoston (kuppulan antrumin osalta).
Kuppulan antrumissa on vesipitoinen väliaine, johon työntyvät karvasolukimput (jotka muodostuvat useista stereosiliaeista ja yhdestä kinosiliaeista), jotka lähtevät aistihavaintoaistien karvasolujen apikaalisesta pinnasta (Hillman ja McLaren 1979). Tämä geeli voi olla vapaa, kuten konnakalalla (Silver ym. 1998), mutta se voi olla myös täynnä yhdistäviä rakenteita, kuten marsulla (Takumida 2001). Marsuilla Wersäll (1956) kuvasi hienoja pystysuoria kanavia, joissa HC-niput sijaitsevat. Takumida (2001) on kutsunut tätä yhdistävien ohuiden kuitujen ja värekarvojen muodostamaa kokonaisuutta subkupulaariseksi verkostoksi. Kyseessä on solunulkoisen, pitkälle erikoistuneen materiaalin massa (Landolt ym. 1972; Silver ym. 1998).
Takumida ehdotti toiminnallista suhdetta aistikarvasolujen ja kupulan välille (Takumida 2001). Hänen havaintonsa mukaan kuppikuoren erittäin ristisilloitettu isotrooppinen rakenne viittaa siihen, että tämä kerros voisi toimia jäykkänä levynä ja jakaa tasaisesti koko kuppikuoren suuren massan aiheuttamat inertiavoimat kaikille aistinkarvanipuille. Kupukan suhteellisesta kiihtyvyydestä johtuva leikkausjännitys johtaa itse kupukan leikkausjännitykseen. Kupukan liikkeestä peräisin oleva energia välittyy aistihiuksiin suoraan tai epäsuorasti subkupulaarisen verkoston kautta. Tämä Takumidan havainto on tärkein perusta invarianssihypoteesillemme. Itse asiassa kuppulaarijärjestelmän tehtävänä on muuttaa kolmiulotteinen kuppulan muodonmuutos yksiulotteiseksi hiussolujen taivutukseksi, ja tulkitsemme Takumidan hypoteesin voimien tasaisesta jakautumisesta hypoteesiksi, joka koskee ulottuvuuksien vähentämistä yhden parametrin symmetriaryhmän avulla.
Kupulamallit
Nyt on kokeellista näyttöä siitä, että kupula siirtyy kalvon tavoin, kun siihen kohdistuu painegradientti (Hillman ja McLaren 1979; Yamauchi ym. 2001).
Vakioteorian mukaan kupula on analoginen rumpukalvon kanssa (Landolt ym. 1972). Myös Van Buskirk (1976) mallinnti cupulan koko ampullan läpäiseväksi elastiseksi kalvoksi kalvon muodossa. (Katsaus cupula-malleihin, ks. myös McLaren ja Hillman 1979; Hillman ja McLaren 1979.)
Härkäsammakon cupulalla tehtyjen kokeiden perusteella McLaren ja Hillman (1979) sekä Hillman ja McLaren (1979) esittivät, että cupulan pohja liukuu cristan pinnan yli ja leikkaa cristan ja cupulan välisen subcupulan tilan. Huomaa, että cristan koko poikittaisen leveyden ylittävä leikkausjännitys on joko herättävä tai estävä kaikille karvasoluille samanaikaisesti (Rabbitt ym. 2001) riippuen kuppisiipien poikittaisesta siirtymästä.
Kondrachuk ym. (1987) antoivat matemaattisen mallin kuppisiipien ajallisista vaihteluista; erityisesti he käsittelivät kuppisiipien viskositeetti-elastisuusominaisuuksia kalvomallin soveltuvuuden kannalta. Muut (esim, Astakhova 1989, 1990) ovat katsoneet systeemin koostuvan elastisesta männästä (cupula) viskoosissa nesteessä (endolymfassa).
Vega ym. (2008) suorittivat vertailun näiden kahden mallin välillä, mikä osoitti, että cupulan käyttäytymisdynamiikka jaksottaisen stimulaation alaisena on samanarvoinen sekä mäntä- että kalvokupulamallilla.
Siten, vaikka suurin kuppimaisen siirtymä tapahtuu lähellä ampullan geometrista keskipistettä, suurin leikkausjännitys tapahtuu juuri sillä tasolla, jossa aistinkarvaniput työntyvät kuppiin. Tätä seikkaa korostettiin (Muller 1999). Koska vierekkäisten värekarvojen välinen suhteellinen siirtymä johtaa viime kädessä transduktiokanavien avautumiseen, kuppilan leikkausjännitys näyttää soveltuvan ihanteellisesti karvasolujen aktivoimiseen. Pään värähtelevissä pyörimisissä kanavissa olevan nesteen ja kuppilan kytketty dynamiikka merkitsee kriittisen taajuuskaistan olemassaoloa, jossa kuppilan poikittainen siirtymä on verrannollinen pään kulmanopeuteen ja vaiheittain sen kanssa (Wilson ja Melvill Jones 1979; Rabbitt ym. 2001). Tällä kaistalla leikkausjännitys on verrannollinen tilavuussiirtymään kuppilan tasolla. Highstein ym. (2005) ja Rabbitt ym. (2001) ovat tehneet simulaation tuosta kohdasta.
On kokeellista näyttöä siitä, että kuppilalla (i) on tietty jäykkyys ja se vastustaa muodonmuutosta lepoasennostaan, (ii) sillä on viskositeettia ja se vastustaa muodonmuutoksen muutosnopeutta lepoasennostaan ja (iii) sillä on spatiaalisesti epäharmoninen taipumakenttä (Damiano ja Rabbitt 1996). Pyörimisjäykkyys \(K\) \(SI\)-yksiköissä on \(K = 7,1 \cdot 10^{-11}\) N m/rad (Grant ja Van Buskirk 1976). Kupula kattaa kokonaan ampullan poikkileikkauksen. Se on suhteellisen paksu rakenne (kolmasosa korkeudesta, esimerkiksi 0,15 mm leveys 0,45 mm korkeutta kohti axolotlilla, Vega ym. 2008), mutta oletetaan, että se deformoituu tasaisesti läpi paksuuden, mikä on rajoittava oletus myös Damianon ja Rabbittin (1996) tutkimuksessa. Tämä vastaa Takumidan (2001) ehdottamaa toiminnallista suunnitelmaa.
Tutkimuksessamme olemme mallintaneet kuppisysteemin inhomogeenisena newtonilaisena viskoelastisena kiinteänä aineena, joka koostuu neljästä homogeenisesta alueesta: siivistä (tai kahdesta sivuseinästä), varsinaisesta kuppisysteemistä (tai kahdesta kuppisysteemin pylväästä), kuppisysteemin antrumista (kuppisysteemin antrumista) ja cristasta. Geelin kokoonpuristumattomuuden antrumissa vahvistavat Selva et al. (2009); Yamauchi et al. (2001); Kassemi et al. (2005).
Tässä tutkimuksessa suurin osa koskee antrumia, jota pidetään hydrogeelinä (Selva et al. 2009). Emme siis oleta kuppilan homogeenisuutta, mutta oletamme homogeenisuutta kuppilan alaosassa (antrum) cristan läheisyydessä. Tämä hypoteesi on nimenomaisesti esitetty useimmissa malliasiakirjoissa (Selva et al. 2009; Vega et al. 2008; Damiano 1999). Koska cupulassa tapahtuvassa siirtymässä on kyse muutamista mikrometreistä, usein kymmenistä nanometreistä, malliyhtälömme vastaavat lineaarista Hooken lakia.
Liite B: Analyysi ja demonstraatiot
Tensor \(\sigma ^{ij}\) on symmetrinen (ts., \(\sigma ^{ij}=\sigma ^{ji}\) mille tahansa indeksiparille \(i,j\)).
Tehdään hypoteesi, että cupula antrumilla on lineaarinen viskoelastinen malli, joka on kokoonpuristumaton.
Aistinvaraisessa epiteelissä reunaehto on ilmaus voimien tasapainosta kunkin lokeron välisellä rajalla, eli kuppikuitujen ja kuppikuitujen ja kuppikuitujen antrumin sekä kuppikuitujen antrumin ja cristan välillä:
Dynamiikkaa kuvaa Newtonin laki, joka rinnastaa tensorin \(\sigma ^{ij}\) divergenssin sovellettujen voimien ja siirtymän kovariantin kiihtyvyyden \(u^i\), joka on inertiavoima, summaan. Tämä ilmaistaan yhtälöillä (17) ja (19) tasapainoasemissa, jotka saavutetaan suurimmalla siirtymällä. Huomaa, että energian kokonaiskulutus riippuu tästä tapauksesta.
Toinen yhtälö on yhtälö (18), joka ilmaisee kokoonpuristumattomuuden.
Liikkeiden aikana kuppilan seinämiin kohdistuva paine-ero liikuttaa niitä, mikä synnyttää sisäisen energiatiheyden vaihteluita antrumin sisällä:
Kineettisen energian kokonaisvaihtelu saadaan yhtälöstä (21). Tästä päätellään, että viskositeetin aiheuttama energiahäviö kuppilassa on verrannollinen tensorin \(\sigma \) neliönormin integraaliin suurimman siirtymän osalta. Lauseke ei olisi erilainen viskoelastiselle nesteelle, jossa on muisti- tai relaksaatiovaikutus. Crista-epiteeliin kohdistuvat leikkausvoimat ovat komponentti \((\sigma .\mathbf{n})^{i}=\sum _j\sigma ^{ij}n_j\) normaalivektoria pitkin; informaation siirtyminen HC:iden kautta merkitsee, että se antaa nollasta poikkeavan osuuden tähän integraaliin. Termin \(u_{13}\) laskeminen invarianssin rajoituksemme mukaisesti osoittaa, että \(\varSigma \) kokonaispinta-alan on oltava minimaalinen, jos haluamme minimoida energiahäviön.
Huomautettakoon, että samankaltaiset tulokset olisi saatava samalla todisteella Kelvinin viskoelastisen kiinteän kappaleen mallille tai viskoelastisen nestemäisen kappaleen Maxwellin mallille. Epälineaarisillekin malleille tulos voisi olla perusteltu, koska tasapainossa, maksimaalisen siirtymän kohdalla, systeemi lähestyy hyvin lineaarista systeemiä. Epälineaarisen mallin tapauksessa on kuitenkin otettava huomioon muut energiahäviön lähteet.
Statiikasta geometriaan
Hyväksymme luvun 2 merkinnät ja hypoteesit.
Neljä tasapainoyhtälöä:
Hodge-operaattorille \(*\) on
ja
Tällöin
Tällöin saadaan:
Siten \(\mathrm{d}x^1\mathrm{d}x^2\) kertoimen \(*\mathrm{d}*\mathrm{d}\beta \) on oltava nolla, mikä antaa ensimmäisen yhtälön:
Ja \(\mathrm{d}x_2\mathrm{d}x_3\) kerroin antaa kolmannen yhtälön:
Saamme vielä yhden yhtälön ilmaisemalla, että \(\mathrm{d}*\beta =0\). Seuraavasta kaavasta:
neljäs tasapainoyhtälö on:
Proof of Proposition 1
Proof of Proposition 3
Kirjoitamme Eq. (73) järjestyksessä yksi \(x_3\). Kertoimet \(g^{ij}\) saadaan invertoimalla matriisi \(g_{ij}\):
Siten ensimmäisen kertaluvun \(x_3\) saadaan
Kirjoitetaan nyt \(b\) kolmannen kertoimen \(x_3\) \(\beta ^{1}\), yht. (73) kertaluvulla yksi voidaan kirjoittaa
joka antaa tuloksen \(\beta \), kun käytetään \(b_1^{1}+b_2^{2}=0\). Mutta \(u_1=g^{11}\beta ^{1}+g^{12}\beta ^{2}\) joten järjestyksessä \(3\) \(x_3\) meillä on:
joka antaa toisen tuloksen. \(\ruutu \)
Lauseen 4 todistus
Lauseke seuraa määritelmistä ryhmittelemällä termit.
Esimerkiksi:
samat \(u_{22}\) ja \(u_{33}\). Nyt sekasymboleille:
Ja viimeiselle:
eli
Tästä seuraa ilmoitettu tulos. \(\neliö \)
Lauseen 4 ensimmäisen johtolauseen todistus
Meillä on hypoteesin mukaan, että \(u_{ij}\) jälki on nolla, eli \(u_1^{1}+u_2^{2}=0\\), mikä antaa järjestyksessä nollan \(x_3\):
mutta meillä oli jo
Todistus lauseen 4 toisesta johtolauseesta
Tämä seuraa hypoteesista, että \(u^{13}\) on invariantti \(\partial _1\). \(\neliö \)
Proof of Proposition 5
Merkitään, että minimaalisuus merkitsee myös, että \(n^{0}_1.n^{0}_2=0\), joten \(g_{12}\):llä ei ole yhtään komponenttia, joka olisi järjestysluokkaa kaksi.
Seuraavasti, järjestysluokassa yksi \(x_3\)-luvussa, (Yht. 72) saadaan
jossa \(c\) tarkoittaa \(x_3^{3}\) kerrointa \(\beta ^{2}\). Tulos seuraa. \(\neliö \)
Proof of Proposition 6
täten
Tiedämme lauseesta 3, että
Vaatimuksen 4 toisesta johtolauseesta seuraa kuitenkin, että \(\partial _1b_{11}=0\), jolloin:
Liite C: Geometria. Invariantit minimipinnat
Tarkoituksemme oli todistaa kaksi puhtaasti geometrista lausetta, joita käytetään crista-pinnan muodon luonnehtimiseen sen invarianssista ja minimaliteetista.
Lauseen A todistus
Integroimalla \(\sqrt{g_{22}}\) voimme olettaa, että
Varmennamme suoraan, että
täten
Lisäksi \(g_{ij}\) invarianssi implikoi
josta saadaan symbolien \(b_{ij}\) määritelmän mukaan:
Akseli ja kulmanopeus saadaan seuraavalla vektorilla:
Varmennetaan kaikissa muissa tapauksissa, että kulmanopeusvektori \(v\) on riippumaton \(x_2\).
Jos laskemme \(v\) derivaatan \(\partial _1\), löydämme
Mutta meillä on \(\partial _1A_2=0\), ja
Toisella puolella laskemalla kommutaattori \(=A_1A_2-A_2A_1\), löydämme:
Tämä implikoi kolme seuraavaa ehtoa:
Kokonaisuudessaan ne kertovat täsmälleen, että \(\partial _2v=0\).
sileille funktioille \(R,A\) \(x_2\). Näin ollen on olemassa \(x_2\):n \(F,G,B\) sileitä funktioita \(F,G,B\) siten, että
Tästä saadaan
jossa alkuluku tarkoittaa derivaattaa \(x_2\) suhteen. Tällöin
Huomautetaan lisärajoitus:
joka kertoo, että \(AB(x_2)\) mittaa tasokäyrän \((X(x_2),Z(x_2))\) kaaren ympäröimän alueen.
Nyt
Tapauksessa, jossa \(A=0\), mutta \(B\ne 0\), \(\varSigma \) on vallankumouspinta, ja on olemassa sellainen funktio \(R(y)\), että voimme kirjoittaa:
\(\neliö \)
Lauseen B todistus
Jokainen kiertopinta saadaan seuraavilla yhtälöillä:
Helppojen laskutoimitusten avulla voidaan todentaa, että
Yksikkönormaalivektori on
Siten meillä on
Josta saadaan
Jotta meillä on minimipinta, on oltava \(b_{\theta }^{\theta }+b_{y}^{y}=0\), eli differentiaaliyhtälö
Kaikki ratkaisut saadaan kaavalla
jossa \(a,y_0\) ovat mitä tahansa positiivisia reaalivakioita. \(\neliö \)
Yleistapauksen (ii) todistus on tarkempi. Aloitetaan käyttämällä yhtälöä Eq. (107) laskeaksemme suoraan \(g_1(x_2)\).
Ensimmäinen yhtälö \(\partial _2(b_{11}/g_1)=b_{22}\partial _2g_1\), voidaan kirjoittaa
Lisäämällä minimihypoteesin \(b_1^{1}+b_2^{2}=0\), tämä antaa
Siten on olemassa vakio \(C_1\), joka on sellainen, että \(b_1^{1}=C_1/g_{11}\), mikä voidaan myös ilmaista
Nyt kolmas yhtälö \(b_{11}b_{22}-b_{12}^{2}=-g_1\partial _2^{2}g_1\) vastaa toisen kertaluvun differentiaaliyhtälöä
Tämä yhtälö on helppo integroida: Kaikki positiiviset ratkaisut saadaan kaavalla
jossa \(a,b,c\) ovat mielivaltaisia vakioita, jotka on vain yhdistetty rajoituksella \(C_1^{2}+C_2^{2}=a^{2}b^{2}\).
Tästä laskemme Gaussin kaarevuuden
Huomaa, että \(g_2=1\).
Meille on
Huomaa, että \(t’=1\). Koordinaattien ortogonaalisuudesta seuraa \(ZX’-XZ’=AB_0\). Meillä on \(g_{11}=X^{2}+Z^{2}+A^{2}\), mikä antaa:
täten differentioimalla
Meillä on
Siten
ja
Havaitsimme, että minimaaliselle helikoidille on olemassa sellaiset vakiot \(C_1,C_2\), että \(b_{11}=C_1\) ja \(b_{12}=C_2g_1\); siis
Lisäksi voimme laskea
Vertaamalla
löydämme
mutta tiedämme jo, että \(b^{2}a^{2}=C_2^{2}+C_1^{2}\), ja voimme olettaa \(a,b\) positiiviseksi, joten tästä seuraa
Lisäksi kaava \(x’_2\) antaa
for \(C=B_0C_2/AC_1\); Näin ollen, olettaen \(x_2(0)=0\), saadaan
Tämä merkitsee
Jolloin saadaan differentiaalijärjestelmä \(X(t),Z(t)\):
\(\neliö \)