Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 
Global

8.3: הערה על נוסחת החיבור WKB

ניתוח חצי קלאסי של חלקיק שנלכד בבאר בממד אחד

הפתרון המשוער למחצה של WKB למשוואת שרדינגר, ψ(x)=ψ(x0)p(x0)p(x)exp(±ixx0p(x)dx)

אמין באזורים שבהם אורך הגל (לפתרונות מתנדנדים) או אורך הדעיכה (לפתרונות אקספוננציאליים) משתנים רק מעט על פני מרחק של אורך גל אחד או אורך ריקבון בהתאמה. עבור חלקיק שנלכד בבאר פוטנציאל (חד ממדי), באופן קלאסי החלקיק היה קופץ קדימה ואחורה בין שתי נקודות המפנה בהן האנרגיה הקינטית שלו נעלמת. במקרה הקוונטי, אלה בדיוק הנקודות בהן אורך הגל הופך לאינסופי, כך שפתרון WKB נכשל.

לקחת את הפוטנציאל ליד נקודות המפנה להיות ליניארי...

עם זאת, עבור פוטנציאל חלק למדי זה עשוי להיות קירוב הולם להתייחס לאזור נקודת מפנה ככזה שבו הפוטנציאל גדל באופן ליניארי עם מרחק על פני טווח מספיק שמעבר לנקודה זו ניתן להשתמש בקירוב WKB בשני הכיוונים. הפתרון של משוואת שרדינגר לפוטנציאל גדל או יורד באופן ליניארי ידוע היטב, זוהי הפונקציה Airy, הפתרון של המשוואה הדיפרנציאלית

d2ydx2+xy=0

זממו כאן בנקודת המפנה השמאלית:

האסטרטגיה היא להעריך פונקציה זו עבור גדוליםx, חיוביים ושליליים כאחד, כך שנוכל לחבר יחד את שני פתרונות ה- WKB, התקפים באזורים הרחוקים, באופן כמותי.

בעקבות מתיוס ווקר (עמוד 116) המשוואה הדיפרנציאלית נפתרת בצורה הפשוטה ביותר על ידי ביצוע טרנספורמציה פורייה שלה. אם

g(ω)=y(x)eiωxdx,

אז ω2g(ω)+idgdω=0,sog(ω)=Aei(ω3/3).

לכן y(x)=Adω2πexp[i(ωxω33)].

שמירה על פרופיל נמוך...

זוהי תוצאה מדויקת, אבל אינטגרל לא טריוויאלי! למרבה המזל, אנו מעוניינים רק בערכו לערכים גדולים של|x|, וכאן בדיוק שיטות האוכף הופכות מדויקות: קווי המתאר מעוותים להיות נמוכים ככל האפשר, ואז התרומות המשמעותיות היחידות לאינטגרל (בזכות השונות האקספוננציאלית של המשרעת) הם מאותם מקומות שבהם עלינו לעבור על נקודת אוכף כדי להגיע מעמק אחד למשנהו. כדי לראות היכן נמצאות נקודות האוכף וכיצד הן קשורות לאינטגרל לאורך הציר האמיתי, אנו מתווים מתחת למפות מתאר של הערך המוחלט של המונח באקספוננציאלי.

חיובי גדול x: במפה למטה אנו לוקחים x=10 (קטנים למדי), כך שנקודות האוכף נמצאות. ±10 אם נתיב האינטגרציה מועבר מטה מהציר האמיתי אל העמקים (הכהים) (כך שהאינטגרנד הופך קטן יותר באופן אקספוננציאלי) קווי המתאר מ יעלה משמאל למטה לנקודת האוכף השמאלית, מעל האוכף לעמק המרכזי העליון, ואז חזרה מעל נקודת האוכף השנייה לעמק הימני התחתון והמשיך אל. +

צבע בהיר יותר פירושו קרקע גבוהה יותר.

כתיבת האינטגרל כ

ef(ω)dω

(הטלת קבועים כלליים לא רלוונטיים) אז

f(ω)=i(ωxω33),f(ω)=i(xω2)andf"(ω)=2iω.

(מתיוס ווקר מוציאים את הפרמטר x "הגדול"f, השארנו אותו פנימה - זה לא משפיע על התוצאה הסופית.) ליד נקודת האוכף החיובית

f(ω)=f(x)+12f(x)(ωx)2=i23x3/2ix(ωx)2

הורדת תנאים מסדר גבוה יותר. מכיוון f שהוא דמיוני טהור בנקודת האוכף, הנתיב המתאים למעריך אמיתי באינטגרל הגאוס נמצא ב- x- π/4 ציר. אז בנתיב אינטגרל

dz=e±iπ/4ds

היכן ds נמצא פרמטר אמיתי המודד אורך נתיב מצטבר, והסימן במעריך חיובי לנקודת האוכף משמאל. התרומות משתי נקודות האוכף נותנות את הפתרונות האסימפטוטיים (החיוביים הגדולים) כ: x

y(x)2πx1/4cos(23x3/2π4).

שלילי גדול x: במקרה זה, הגיאוגרפיה של האוכף שונה בתכלית, אם כי הגיאוגרפיה הרחוקה זהה, ונשלטת על ידי המונח. ω3

בדיוק כמו בעבר, ניתן להזיז את נתיב שילוב הציר האמיתי מהציר האמיתי אל העמקים בפינה השמאלית התחתונה והימנית התחתונה. (התרומות הנוספות מקישור הנתיב החדש לציר האמיתי באינסוף הן אפס.) ברור מהמפה שלמעלה שכדי להגיע מהעמק משמאל לזה מימין פירושו פשוט לעבור על נקודת האוכף בציר הדמיוני השלילי. שים לב מההצללה הכהה יותר שנקודת האוכף השנייה נמצאת בגובה גבוה יותר.

האינטגרציה דרך נקודת האוכף מקבילה לציר האמיתי, ונותנת y(x)π(x)1/4exp[23(x)3/2].

זהו, אם כן, פיתרון פונקציית הגל המתפוררת של המשוואה האוורירית אותה אנו מחפשים, וברור שהוא עובר בצורה חלקה מהמעריכי הזה לצורת הקוסינוס y(x)2πx1/4cos(23x3/2π4).

כפי x שנלקח לאורך הציר האמיתי מערכים שליליים גדולים לערכים חיוביים גדולים.

השיטה המהירה של לנדאו

אגב, לנדאו נותן דרך מהירה לראות כיצד נוסחאות אלה מתחברות. אלה פתרונות אסימפטוטיים למשוואת Airy המקורית, תקפים כל עוד x הם רחוקים מהמקור. אבל אנחנו יכולים לעבור מאחד לשני, להימנע מהמקור, אם נתייחס x למשתנה מורכב ונעבור למישור המורכב - לנדאו לוקח חצי עיגול בחצי המישור העליון, מתחיל בפתרון המתפורר באופן אקספוננציאלי שנכתב כעת

y(ρeiϕ)π(ρeiϕ)1/4exp[23ρ3/2(cos32ϕ+isin32ϕ)]

השלב ϕ המשתנה בין 0 לπ. הגורם האקספוננציאלי בהתחלה עולה במודולוס, ואז הופך לדמיוני טהור, שווה בדיוק לאחד משני המונחים בצורת הקוסינוס לחיובי. x

אם אחד לוקח את נוסחת הקוסינוס וממשיך אותה למישור המורכב למחצה העליון, מונח אחד גדל באופן אקספוננציאלי, השני הולך לאפס. נניח שאחד מתחיל בערך גדול כלשהו של x ונע במעגל סביב x=0 חזרה לציר האמיתי השלילי כעת. זה ייתן y(x)π(x)1/4expi(23(x)3/2π4).

זה למעשה זהה לביטוי שכבר הפקנו: הביטול π/4 כנגד סימן המינוס בתוך השורש הרביעי, i נגד סימן המינוס שהועלה 3/2 לכוח.