Kvantiniai barjerai ir tuneliavimas
Vienas barjeras. Algebrinis sprendimo būdas
Pavaizduokime vienmatį stačiakampį aukščio
ir ilgio
potencinį barjerą (2 sritis brėžinyje žemiau). Vingiuotomis linijomis 1 srityje pavaizduosime į barjerą krintančią ir nuo juo atsispindindėjusią elektroninę bangą. Praėjusi banga pavaizduota 3 srityje.
Dalelių sklaidos uždaviniai kvantinėje mechanikoje yra ypatingi tuo, kad pradinė ir (dažniausiai) galinė būsenos nėra surištos (lokalizuotos erdvėje). Dėl šios priežasties būsenų energijos gali būti bet kokios ir keistis tolydžiai. Iki šiol spręsdami kvantinės mechanikos uždavinius kraštines sąlygas formulavome taip, kad gautume diskretinį energijų spektrą. Pavyzdžiui, spręsdami dalelės, esančios potencinėje duobėje, uždavinį laikėme, kad tikimybė aptikti dalelę be galo toli nuo duobės yra lygi nuliui. Matėme, kad patenkinti tokias kraštines sąlygas galėjo tik sprendiniai, kurių energija buvo griežtai apibrėžta — kvantuota. Sklaidos uždaviniuose panašios kraštinės sąlygos neturi pagrindo. Pradžioje mes panagrinėsime atvejį, kai į potencinį barjerą krinta apibrėžto banginio vektoriaus
(tuo pačiu ir apibrėžto dažnio
arba energijos
) plokščia elektroninė banga. Elektroną įsivaizduosime ne kaip dalelę, kuri kiekvienu momentu turi apibrėžtą koordinatę, o kaip visoje erdvėje (nuo
iki
) išplitusią bangą. Matematiškai plokščia banga aprašoma kompleksine eksponente
, kuri, kaip nesunku įsitikinti, tenkina Schrödingerio lygtį tik tuo atveju, kai potencialas nepriklauso nuo koordinatės
. Jei imtume visus galimus
, tai užrašytos eksponentinės bangos sudarytų pilnutinę ortogonalių funkcijų sistemą. Deja, tokių funkcijų sistema netenkina įprastinės normavimo sąlygos. Jų normavimo problemą išsprendė P. Diracas įvedęs dabar visiems gerai žinomą
funkciją. Kita vertus, laisvojo judėjimo elektrono banginę funkciją galima normuoti taip, kad ji aprašytų vienetinio tankio dalelių (elektronų) srauto būseną. Paaiškinsime kiek plačiau.
Kai nagrinėjame dalelės sklaidos uždavinį klasikinėje mechanikoje, tai įsivaizduojame, kad atlekianti dalelė sąveikauja su taikiniu ir pakeitusi kryptį nuskrieja tolyn. Visas procesas trunka tam tikrą laiko tarpą. Nagrinėdami uždavinį kvantinėje mechanikoje laikysime, kad turime ,,dalelių'' srautą, prasidedantį begalybėje (nors sprendžiame vienos dalelės Schrödingerio lygtį!), kuris visą laiką krinta į taikinį (barjerą), o po sklaidos visos srauto dalelės vėl nutolsta į begalybę. Be to, laikysime, kad sritis, kur vyksta sąveika su taikiniu yra labai maža, lyginant su sritimi, kur dalelės sklinda plokščių bangų pavidalu. Ši prielaida leidžia mums nestacionariąją Schrödingerio lygtį pakeisti stacionariąja. Jei jos atsisakytume, tai negalėtume naudoti tuščios erdvės plokščių bangų bazės ir uždavinį spręsti būtų žymiai sunkiau. Mūsų užduotis yra suskaičiuoti, kiek dalelių (santykinai) per laiko vienetą mes tikimės aptikti įvairiose potencialo vietose — prieš barjerą, barjere ir už jo. Ši tikimybė laikui bėgant nesikeičia.
Vienmačio uždavinio atveju patogu laikyti, kad iš kairės pusės į taikinį (barjerą) krinta vienetinio tankio dalelių srautas. Jį aprašanti banga arba banginė funkcija tokiu atveju turės pavidalą
(bangos amplitudė yra vienetas). Atsispindėjusios bangos
(minusas rodo priešingą sklidimo kryptį) amplitudę pažymėjome raide
, o praėjusios pro barjerą bangos
— raide
. Plius ir minus indeksai prie
rodo, kad krintančios ir praėjusios bangos energijos bendru atveju gali skirtis. Taigi, mūsų uždavinio bazę sudaro begalinės tuščios erdvės eksponentinės funkcijos, kurių atžvilgiu išskleidėme Schrödingerio lygties (su barjeru) sprendinį. Mums reikia surasti koeficientus prie šių bazinių funkcijų, kurie yra bangos vektoriaus funkcijos:
ir
. Kaip ir spręsdami potencinės duobės uždavinį, pradžioje rasime stacionariosios Schrödingerio lygties
![]() |
prie banginės funkcijos žymi laisvos bangos vektorių tose srityse, kur potecialas nepriklauso nuo koordinatės. Čia Schrödingerio lygties sprendiniai yra eksponentės su menamu rodikliu. Kai potencialo dydis bet koks, bet neviršija krintančios bangos energijos
, Schrödingerio lygties sprendinys yra menama eksponentė
, tik su sumažėjusiu banginiu vektoriumi
, kur, priklausomai nuo srities,
,
arba
. Kai potencialo dydis viršija
, kvadratinės šaknies pošaknis tampa neigiamas, todėl turime eksponentiškai mažėjantį (didėjantį) sprendinį
, kur
.Šiame eksperimente pasistengsime išlaikyti tuos pačius žymėjimus Mathematica komandose kaip ir teksto formulėse. Tai galima padaryti, jei naudosime komandą
, kuri simbolius su indeksais, pavyzdžiui,
ar
, pervadina ilgais vardais ,,k_Subscript_Dash'' ir ,,k_Subscript_Plus'', t.y. paverčia paprastais simboliais. Ilgi vardai naudojami skaičiavimams branduolyje, tačiau prieš pavaizduojant ekrane jiems ,,sugrąžinama'' graži pradinio simbolio išvaizda. Komandą
iškviečiame iš paketo Notation. Pabrėšime, kad visus ,,simbolizuojamus'' dydžius būtina surinkti pasinaudojant atsiradusia palete.
Griežtai kalbant, simbolizuoti reiktų visas ankstesniuose skyriuose naudotas indeksuotas išraiškas. To mes nedarėme, nes ,,gražius'' simbolius ten naudojome tik trumpiems pažymėjimams, o ne pilnaverčiams skaičiavimams. Šiame skyriuje indeksuotus simbolius naudosime visose komandose, kaip ir bet kuriuos kitus simbolius, todėl simbolizavimo išvengti negalime. Dar kartą pabrėžiame, kad žemiau parašytą komandą
nerenkame klaviatūra, o iškviečiame palete arba greitaisiais klavišais Esc symb Esc.

Mes truputį pagudrausime ir iš karto ,,simbolizuosime'' visą eilę kitų simbolių, kurie bus reikalingi vėliau. Sugeneruoti ilgi vardai skiriasi vos keliom raidėm, todėl Mathematica mus perspės, kad gal būt juos rinkdami mes padarėme klaidą. Kadangi vardų rašyba esame tikri, perspėjimus išjungiame komanda
.
![\boldmath\begin{eqnarray*}&&\mathrm{Off}[General::spell];\mathrm{Off}[General::spell1];\\&&\mathrm{Map}[\mathrm{Symbolize}[#]\&,\{k_+,k_-,B_1,B_2,x_+,x_-,R_+,T_+,V_-,V_0,V_+,a_-,\dsE_{inc},x_1,x_2,x_3,x_4,V_1,V_2,\dsE_1,\dsE_2,\dsE_-,\dsE_+\}];\end{eqnarray*}](/eksperimentai/files/tex/0108050862f7943ed37e9d4f1d0a14b4a4b92188.png)
Žvelgdami į brėžinį viršuje dabar nesunkiai galime užrašyti bangines funkcijas visose trijose srityse. Rašant reikia kreipti dėmesį, kokia (didesnė ar mažesnė už barjero aukštį) yra sklaidomos bangos energija ir į kurią pusę banga sklinda.
![\boldmath\begin{eqnarray*}&&\psi _1=R*\mathrm{Exp}[-\ii k_- *x]+\mathrm{Exp}[\ii k_-*x];\\&&\psi _2= B_1*\mathrm{Exp}[\kappa * x]+ B_2*\mathrm{Exp}[-\kappa * x];\\&&\psi _3=T*\mathrm{Exp}[\ii k_+ x];\end{eqnarray*}](/eksperimentai/files/tex/a7e57bc860e2e395904111f75ea2d7735a41d726.png)
Čia pastovioji
, nusako sprendinio gesimo spartą,
, o
,
,
,
yra kol kas nežinomi koeficientai. Juos rasime iš banginės funkcijos ir jos išvestinės tolydumo sąlygos barjero trūkio taškuose
ir
. Tuo tikslu sudarysime keturias algebrines lygtis

Gautas lygtis sprendžiame nežinomų koeficientų
,
,
,
atžvilgiu.
![\boldmath\begin{eqnarray*}&&(sprendinys=\mathrm{Flatten}[\mathrm{Solve}[lygtys,\{R,B_1,B_2,T\}]])//\mathrm{ColumnForm}\end{eqnarray*}](/eksperimentai/files/tex/546d4d20a2edd4b5a0e836674b582b368dcf04f7.png)
Patogumo dėlei, kaip tai darėme Bangų interferencijos eksperimente (dar neįvestas) ekperimente, pasinaudosime viršutine žvaigždute (jos pilnas pavadinimas
) ir apibrėšime komandą, kuri
išraiškai suteikia kompleksiškai sujungtinį pavidalą
.
![\boldmath\begin{eqnarray*}&&z\_^*:=z/.\mathrm{Complex}[zr\_,zi\_]:\to \mathrm{Complex}[zr,-zi]\end{eqnarray*}](/eksperimentai/files/tex/59915e574f2cc17a6c33e3b3f2637194cd9519e6.png)
Dabar jau nesunku apskaičiuoti elektrono atspindžio
ir tuneliavimo
pro barjerą tikimybes, lygias atitinkamai
ir
modulio kvadratams.
![\boldmath\begin{eqnarray*}&&\{R_1,T_1\}=\{R, T*\bigl(\sqrt{k_+\big/k_\_}\bigr)^2\}/.sprendinys;\\&&\{RR,TT\}=\mathrm{FullSimplify}[\mathrm{ExpToTrig}[\{R_1 R_1^*, T_1 T_1^*\}]]\end{eqnarray*}](/eksperimentai/files/tex/66705cd01cca9f4cf3ef1d6030b6aff81b6985ce.png)
Hiperbolinį kosinusą išreiškus eksponentėmis, iš paskutinės formulės nesunku pamatyti, kad elektrono tuneliavimo pro barjerą tikimybė eksponentiškai priklauso nuo barjero ilgio
ir kinetinės elektrono energijos (įeinančios į
išraišką). Grafinę tuneliavimo tikimybės
priklausomybę nuo energijos atvaizduosime žemiau.
Koeficientų
ir
suma yra vienetas, jei dalelių skaičius (srauto tankis) yra tvarus, t.y. nėra pagavimo ar dalelės virsmų. Iš tikrųjų, kai
, nepriklausomai nuo formulėse esančių koeficientų verčių gauname, kad jų suma lygi vienetui
![\boldmath\begin{eqnarray*}&&tverme=\mathrm{Simplify}[\mathrm{Together}[ (RR+TT)/.k_\_\to k_+]]\end{eqnarray*}](/eksperimentai/files/tex/c5e57e6c2337e806eb099d027767028252b130e9.png)
Tačiau nesunku įsitikinti, kad paėmus
, dalelių srauto tvermės dėsnis būtų pažeidžiamas:
![\boldmath\begin{eqnarray*}&&\mathrm{Simplify}[\mathrm{Together}[(RR+TT)]]\end{eqnarray*}](/eksperimentai/files/tex/f1f5cea33e1f38a14c93778f8646a6eb0e3c4d6c.png)
Kodėl taip atsitinka? Ką gi, prisiminkime, kad naudojama eksponenčių bazė aprašo tikrines būsenas, kai potencialas beveik visoje erdvėje (išskyrus barjero sritį) yra vienodas, tame tarpe ir
ašies priešinguose galuose (begalybėse). Kai
, taip jau nėra: begalybėse
ir
potencialas skiriasi pastoviu dydžiu
. Tačiau galima įsitikinti, kad dalelių srauto tvermės dėsnį išsaugosime ir šiuo atveju, jei praėjimo pro barjerą koeficientą
padauginsime iš
:
![\boldmath\begin{eqnarray*}&&\mathrm{Simplify}[\mathrm{Together}[\bigl(RR+TT*(k_\_/k_+)\bigr)]]\end{eqnarray*}](/eksperimentai/files/tex/56c610ed451911f9700314e211b64f66d8c4d256.png)
Iš čia seka, kad eksponentinių funkcijų bazę galima naudoti ir tada, kai potencialo ,,lygis'' begaliniuose taškuose nėra vienodas, tik išsklaidytą bangą reikia pernormuoti: jos amplitudę padauginti iš
.
Kitame skyrelyje mums prireiks žinoti laiptelio formos potencialo, kuris turi šuolį taške
, atspindžio amplitudės sprendinį
. Jį nesunkiai rasime pritaikę ką tik aprašytą procedūrą stačiakampio barjero formos potencialui. Kaip jau aptarėme, praėjusios bangos amplitudę reikia padauginti iš
. Tada banginės funkcijos ir jos išvestinės tolydumo taške
sąlygos yra tokios:
![\boldmath\begin{eqnarray*}&&\psi _a=\mathrm{Exp}[\ii k_-\, x]+ R_+\mathrm{Exp}[-\ii k_-\, x];\\&&\psi _b=\sqrt{\frac{k_-}{k_+}} T_+\mathrm{Exp}[\ii k_+ \, x];\\&&\mathrm{TableForm}[\mathrm{Simplify}[lygtysLaiptelio=\{(\psi _a/.x\to x_+)==(\psi _b/.x\to x_+),\\&&\quad \bigl(\frac{\partial \psi _a}{\partial x}/.x\to x_+\bigr)==\bigl(\frac{\partial \psi _b}{\partial x}/.x\to x_+\bigr)\}]]\end{eqnarray*}](/eksperimentai/files/tex/1e15d70cdf2b242995fada993d3c66629cc9996b.png)
Išsprendę lygčių sistemą
ir
atžvilgiu, turime:
![\boldmath\begin{eqnarray*}&& sprendinysLaiptelio=\mathrm{Flatten}[\mathrm{Solve}[ lygtysLaiptelio,\{R_+,T_+\}]]//\mathrm{ColumnForm}\end{eqnarray*}](/eksperimentai/files/tex/e833ce076653f0d64e34bdc81a33ef4b4f1da815.png)
Peržymime kintamuosius ir randame amplitudžių modulių kvadratų sumą:

Kaip matome, dabar dalelių srauto tvermės dėsnis galioja.

Vienas barjeras. Skaitinis sprendimo būdas
Analiziškai išspręsti ankstesnio poskyrio uždavinį mums pavyko todėl, kad parinkome labai paprastos formos potencialą: potencialas pačiame barjere, prieš ir už jo nepriklausė nuo koordinatės, o barjero riboje keitėsi šuoliškai (trūkis). Todėl Schrödingerio lygties sprendinys buvo realaus rodiklio eksponentė, kai bangos energija mažesnė už barjero aukštį, ir menamo — kai didesnė. Jei potencialas už barjero augtų tiesiškai proporcingai kordinatei, uždavinio sprendinį vis dar būtų galima analiziškai išreikšti Airy funkcijomis. Įdomu tai, kad Airy funkcijos yra pirmos eilės diferencialinės lygties sprendiniai, tuo tarpu kai Schrödingerio lygtis, kurią mes sprendėme laiptelio formos potencialams, yra aukštesnės — antros eilės — lygtis. Iš čia sektų, kad vienmačius sklaidos uždavinius galima formuluoti pirmos eilės diferencialinėmis lygtimis. Tam pakanka užduoti tik vieną kraštinę sąlygą. Jei spręstume antros eilės diferencialinę lygtį, tektų nurodyti dvi kraštines sąlygas. Pirmoje potencialo srityje, kur interferuoja krintanti ir atsispindėjusi nuo barjero bangos, nurodyti kraštinę sąlygą sunku, nes nežinome atsispindėjusios bangos amplitudės. Jei kraštinę sąlygą pamėgintume nuspėti, o vėliau ją tikrinti ir koreguoti skaitinio sprendimo eigoje, stebėtume sprendinio ,,sprogimo'' reiškinį: pasiekus tam tikrą didelę koordinatės
reikšmę, Schrödingerio lygties sprendinys imtų staigiai augti į begalybę, jei tik kraštinė sąlyga nebūtų atspėta labai tiksliai (diskretinio spektro atveju apie tai kalbėjome Kvantinis osciliatorius I, II ir Kvantinis šulinys eksperimentuose). Taigi, kitas labai svarbus skaitinio sprendimo aspektas yra sprendinio stabilumas. Visai neseniai vienmatės sklaidos uždaviniams spręsti buvo pasiūlytas naujas labai patogus metodas [Ventra98], kuris uždavinį suveda į pirmos eilės diferencialinę lygtį. Jį čia trumpai paaiškinsime ir pritaikysime praktiškai.
Įsivaizduokime, kad vietoje stačiakampio dabar turime bet kokios formos barjerą, kaip parodyta brėžinyje žemiau.
Aišku, kad srityse
ir
, kur potencialas nepriklauso nuo koordinatės, sprendinys (banginė funkcija) niekuo nesiskirs nuo stačiakampio barjero funkcijų
![]() |
![]() |
tik daugikliu
. Priminsime, kad atspindžio amplitudė
priklauso nuo bangos skaičiaus
:
. Šio daugiklio įtaka yra labai svarbi. Srityse, kur potencialas nuo koordinatės nepriklauso, Josto funkcija tenkina tokias kraštines sąlygas:![]() |
formos. Pasinaudoję šia savybe, dabar įvesime pagalbinių potencialų šeimą, kuri mums leis tolydžiai transformuoti stačiakampį laiptelį į realų mus dominantį potencialą. Šią šeimą apibrėšime tokiu būdu. Tegu yra duotas tikrasis potencialas
. Naują potencialą
(
žymi šeimos narį) apibrėšime taip, kad jis sutaptų su ,,asimptotiniu'' (pastoviu) potencialu
, kai
, ir su užduotu potencialu
, kai
:![]() |
nustūmę į barjero pardžią:
. Kiekvieną
potencialą atitinkanti Josto funkcija
tenkina tą pačią kraštinę sąlygą
taške ir tą pačią diferencialinę lygtį, kai
, t.y.
visiems
. Taigi, visos funkcijos
tenkina vieną ir tą pačią kraštinę sąlygą
taške, nepriklausomai nuo to, koks potencialas yra intervale
. Šia savybe pasinaudodami išvesime dvi pirmos eilės diferencialines lygtis, aprašančias, kaip keičiasi
ir
amplitudės, sluoksnelis po sluoksnelio priauginant po siaurą stačiakampį barjerą taip, kad jis vis geriau atitiktų realų potencialą (žr. brėžinį).Kai
, funkcijos
ir
skiriasi. Šioje srityje funkcija
jau yra asimptotinė
![]() |
— dar ne. Ją išdiferencijavę pagal
turime![]() |
ir
žymi atitinkamai tuneliavimo ir atspindžio amplitudes, atitinkančias potencialą
. Kadangi
yra tolydi (kaip kintamojo
) funkcija ir sutampa su
(kai
), tai taške
galioja lygybė![]() |
išvestinės tolydumo taške
seka, kad![]() |
vertei, tai
žymę galime pakeisti funkcine priklausomybe nuo atstumo
. Pavyzdžiui,
ir
mes interpretuosime kaip atspindžio ir tuneliavimo amplitudes potencialams, ,,nukirptiems''
taške. Pakeitę paskutinėse dviejose formulėse
į
ir išdiferencijavę (8) lygtį matome, kad rezultatas turi sutapti su (9). Sulyginę abi puses gauname lygtį koeficientams
ir 
![]() |
, kur
čia dar nėra laikoma
funkcija.![]() |
ir
. Sudėję ir atėmę (10) ir (11) užrašome lygtis atskirai amplitudėms
ir
:![]() |
. Tuneliavimo amplitudės lygties galima visai nespręsti, nes žinant atspindžio amplitudę, perdavimo koeficientą visada paprasčiau apskaičiuoti iš tapatybės
, kurią ,,aptikome'' spręsdami stačiakampio potencialo uždavinį. Diferencialinę lygtį (12) integruosime pagal koordinatę iš dešinės į kairę, nuo
iki
. Skaitiniam sprendimui mums dar reikia nurodyti vieną (nes lygtis yra pirmos eilės) pradinę sąlygą dešinėje barjero pusėje. Šią sąlygą
mes gavome pirmojo skyrelio pabaigoje (žr. ten gautas išraiškas
ir
). Skaitiniam metodui patikrinti išspręsime jau analiziškai nagrinėto stačiakampio barjero uždavinį.Pirmiausia apibrėžkime konkrečias stačiakampio barjero koordinates. Trūkias funkcijas geriausia aprašyti vienetiniu laipteliu
. Taip apibrėžus Mathematica jas sugeba diferencijuoti ir integruoti (nors šių veiksmų mes čia ir nenaudosime).
Skaičiavimus atliksime atominių vienetų sistemoje
, kurią trumpai aptarėme Dviejų lygmenų eksperrimente (dar neįvestas). Potencinį barjerą charakterizuos realaus puslaidininkinio nanodarinio parametrai: barjero aukštis —
eV, barjero ilgis —
nm, krintančio elektrono energija
eV. Asimptotinius potencialus
ir
imsime nulinius. Elektrono masė puslaidininkyje dėl periodinės gardelės įtakos gali efektyviai tiek sumažėti, tiek padidėti. Ją laikysime lygia galio arsenido laidumo juostos elektrono efektyvinei masei, būtent,
. Apibrėšime atominius vienetus

ir įvesime (12) lygties ir visų į ją įeinančių dydžių pažymėjimus:
![\boldmath\begin{eqnarray*}&&k[\varepsilon \_,V\_]:=\frac{\sqrt{2 m (\varepsilon -V)}}{\hbar }\\&&a[\varepsilon \_]:=\frac{\ii }{2} k[\varepsilon ,V_-] \bigl(\frac{\varepsilon -U[x]}{\varepsilon -V_-}-1\Bigr)\\&&sklaidosLygtis[\varepsilon \_]:= \Bigl(R^\prime [x]==\mathrm{Evaluate}[-a[\varepsilon ] \ee^{2\ii k[\varepsilon ,V_-] x} \bigl( \ee^{-2\ii k[\varepsilon ,V_-] x} R[x]+1\bigl)^2]\Bigr)\end{eqnarray*}](/eksperimentai/files/tex/92523f1ab920ec7f77d70c80fc09cc46b58f33db.png)
Tegul barjeras yra tik truputėlį didesnis už krintančio elektrono energiją. Tada barjero ilgis, aukštis ir krintančio į barjerą elektrono energija atominiais vienetais bus
Apibrėšime pradinę (minimalią)
ir galinę (maksimalią)
integravimo koordinates, o taip pat pradinę diferencialinės lygties sprendinio vertę:

![\[ \Big(\frac{\hbar^2}{2m}\frac{\mathrm{d}^2}{\mathrm{d} x^2}+\frac{\hbar^2 k^2}{2m}-V(x)\Big) \Psi_k(x)=0\tag{1} \]](/eksperimentai/files/tex/98741666180954f7c8389b36aa9a0f7c1d318f20.png)
![\[ \Psi_k(x)=\Bigg\{\begin{array}{ll} \mathrm{e}^{\mathrm{i} k_- x}+R\, \mathrm{e}^{-\mathrm{i} k_- x},&\quad \textrm{kai}\quad x\leq x_- \\ \sqrt{\frac{\phantom{|}\smash{k_-}}{k_+}} T\, \mathrm{e}^{\mathrm{i} k_+ x}, &\quad \textrm{kai}\quad x\geq x_+ . \end{array}\tag{2} \]](/eksperimentai/files/tex/c1571a6dedc83bdc620f9c97e58244ded763ff7d.png)
![\[ f_k(x)=\sqrt{\frac{\phantom{|}\smash{k_+}}{\phantom{|}\smash{k_-}}} \frac{1}{T} \Psi_k (x),\tag{3} \]](/eksperimentai/files/tex/279572325998b176ebf5dfddf5758ae1a932f19d.png)
![\[ f_k(x)=\Bigg\{\begin{array}{ll}\sqrt{\frac{k_+}{\phantom{|}\smash{k_-}}}\bigl(\frac{1}{T} \mathrm{e}^{\mathrm{i} k_- x}+ \frac{R}{T} \mathrm{e}^{-\mathrm{i} k_- x}\bigr), &\quad \textrm{kai}\quad x\leq x_- \\[3pt] \mathrm{e}^{\mathrm{i} k_+ x}, &\quad \textrm{kai}\quad x\geq x_+ .\end{array}\tag{4} \]](/eksperimentai/files/tex/04589b6cb6dd9b703013d146674a3083117f4001.png)
![\[ V^\sigma (x)=\bigg\{\begin{array}{ll} V_-, &\quad \textrm{kai}\quad x\leq \sigma \\ V(x),&\quad \textrm{kai}\quad x>\sigma \end{array}.\tag{5} \]](/eksperimentai/files/tex/51e4a7426b712090a911a93f15e6a4348548c288.png)
![\[ f^\sigma (x)=\sqrt{\frac{k_+}{\phantom{|}\smash{k_-}}} \Big(\frac{1}{T^\sigma}\mathrm{e}^{\mathrm{i} k_- x}+\frac{R^\sigma}{T^\sigma} \mathrm{e}^{-\mathrm{i} k_- x}\Big),\tag{6} \]](/eksperimentai/files/tex/4e1d4f26f4f029b2c6f7c4b07e8ef14af612113f.png)
![\[ \frac{\mathrm{d} f^\sigma (x)}{\mathrm{d} x}=\mathrm{i}\sqrt{k_-\smash{k_+}}\, \Big(\frac{1}{T^\sigma}\mathrm{e}^{\mathrm{i} k_- x}- \frac{R^\sigma}{T^\sigma} \mathrm{e}^{-\mathrm{i} k_- x}\Big).\tag{7} \]](/eksperimentai/files/tex/014573d4e4d73dfac49366523921313fe82c5ffb.png)
![\[ f(x)=f^\sigma (x=\sigma)=\sqrt{\frac{k_+}{\phantom{|}\smash{k_-}}}\Big(\frac{1}{T^\sigma} \mathrm{e}^{\mathrm{i} k_- \sigma}+\frac{R^\sigma }{T^\sigma} \mathrm{e}^{-\mathrm{i} k_- \sigma}\Big).\tag{8} \]](/eksperimentai/files/tex/1eead5c7dfa8bb06b35abce73deb749fe2dd560a.png)
![\[ \frac{\mathrm{d} f^\sigma (x)}{\mathrm{d} x}=\mathrm{i} \sqrt{k_-\smash{k_+}}\,\Big(\frac{1}{T^\sigma}\mathrm{e}^{\mathrm{i} k_- \sigma}-\frac{R^\sigma}{T^\sigma} \mathrm{e}^{-\mathrm{i} k_- \sigma}\Big).\tag{9} \]](/eksperimentai/files/tex/38c337e1f7630ecd0b83a7128065eb4ba6d2a16b.png)
![\[ \frac{\mathrm{d} }{\mathrm{d} x} \Big(\frac{1}{T(x)}\Big)\mathrm{e}^{\mathrm{i} k_- x}+\frac{\mathrm{d} }{\mathrm{d} x} \Big(\frac{R(x)}{T(x)}\Big) \mathrm{e}^{-\mathrm{i} k_- x}=0.\tag{10} \]](/eksperimentai/files/tex/0bc86c80cb1ffccf5fb837ab38bfd7760403728d.png)
![\[ \frac{\mathrm{d}}{\mathrm{d} x}\Big(\frac{1}{T(x)}\Big) \mathrm{e}^{\mathrm{i} k_- x}- \frac{\mathrm{d}}{\mathrm{d} x} \Big(\frac{R(x)}{T(x)}\Big) \mathrm{e}^{-\mathrm{i} k_- x}=2 a_- (x)\Big(\frac{1}{T(x)} \mathrm{e}^{\mathrm{i} k_- x}+\frac{R(x)}{T(x)} \mathrm{e}^{-\mathrm{i} k_- x} \Big). \tag{11} \]](/eksperimentai/files/tex/c2c1d44074d8cb5141793b69e3d43645dc4de52e.png)
