Professional Documents
Culture Documents
Summay4
Summay4
אינדקס:
פרק :1מד"ח מסדר ראשון
משוואת גלים במיתר חצי אינסופי 4.3
4.3.1דרך פתרון :הרחבה זוגית /אי זוגית הגדרות 1.1
משוואת גלים הומוגנית במיתר סופי 4.4 מד"ח קוואזי לינארית 1.3
6.1.2איפוס ערכי שפה לא הומוגניים בקודקודי מלבן 3.2.5פיתוח לטור במרחב הפולינומים
האופייניים ,משפט הילברט שמידט
6.2.1דרך פתרון
פרק :4משוואת הגלים
6.3.1נוסחת פואסון
משוואת הגלים ההומוגנית במיתר 4.1
6.3.2זהות גרין
אינסופי
6.3.3תנאי הכרחי לקיום פתרון
4.1.1סוגי פתרונות
6.3.4עקרון הממוצע
4.1.2קיום ויחידות
6.3.5עקרון המקסימום /מינימום
4.1.3דרך פתרון :פתרון דלמבר
נספח -הוכחות
משוואת הגלים הלא הומוגנית במיתר 4.2
אינסופי
4.2.1קיום ויחידות
4.2.2תכונות
עמוד 2מתוך 27
הערת המחבר :הסיכום אינו מושלם ויכול להיות שנפלו בו טעויות ,לכן צירפתי גם את הקובץ ,docתרגישו
חופשי לשנות ,לשכתב ,להרחיב ,ולעדכן את הפתק בהתאם )גם ללא ידיעתי(.
סדר המשוואה
משוואה לינארית
אופרטור דיפרנציאלי
פעולה לינארית על פונקציה ,כלומר מקיימת ]L[α u + β v] = α L[u ] + β L[v
תנאי התחלה
)u ( x, 0) = f ( x
אילוץ על הפתרון שמתקיים לכל xבזמן ,t = 0לדוגמה:
)ut ( x, 0) = g ( x
תנאי שפה
) u (0, t ) = u0 (t
אילוץ על הפתרון שמתקיים לכל tעל השפה ) , (x = 0, Lלדוגמה:
) u ( L, t ) = u1 (t
1.2מד"ח לינארית
צורהa ( x, y )u x + b( x, y )u y + c( x, y )u = d ( x, y ) :
) dy b( x, y
,ומקבלים פתרון כללי ל y ( x ) = f ( x ) + c :y = .1מציבים בנוסחה:
) dx a ( x, y
.2מגדירים משתנה חדש) , s ( x, y ( x)) = y ( x) − f ( x ) :מתקיים s = cלכל ( x, y
(= x
u ( x, y ) → u%
.4רושמים את המשוואה כאשר מחליפים ) ( s, t
ומחליפים את הנגזרות לפי כלל השרשרת
u → u%
ux → u%
s s x + ut t x
%
uy → u%
s s y + ut t y
%
.5מתקבלת מד"ר ,פותרים אותה ובסוף מציבים את ) s ( x, y ), t ( x, yבמקום ) s, tקיימות פונקציות כאלה
בגלל שהיעקביאן שונה מאפס(
1.3.1קווים אופייניים
.1פותרים את המערכת:
) xt (t , s ) = a ( x, y, u
) yt (t , s ) = b( x, y, u
) ut (t , s ) = c( x, y, u
עם תנאי ההתחלה:
) x(0, s ) = f1 ( s
)y (0, s) = f 2 ( s
)u (0, s ) = f3 ( s
.2מבטאים את t, sבעזרת x, y
בודקים מתי אפשר לעשות את זה ,כלומר מתי היעקביאן שונה מאפס:
עמוד 5מתוך 27
s, t s x sy
J = ≠0
x, y t x ty
1.3.3תנאי הטרנסברסליות
דרישה שההיטלים על מישור x-yשל המשיקים לעקום האופייני ולעקום ההתחלה לא יהיו מקבלים:
) )( xt (0, s), yt (0, s), ut (0, s) ) = ( a(0, s), b(0, s), c(0, s משיק לעקום האופייני הוא:
( ) ) f1 '( s), f 2 '( s) ) P ( a(0, s), b(0, s לכן תנאי הטרנסברסליות הוא:
מתקבל ביטוי שכולל את s, tצריך להציב את הביטויים שלהם ) s ( x, y ), t ( x, yולבדוק לאיזה x, yהתנאי
מתקיים
אם תנאי הטרנסברסליות אינו מתקיים ,ולפי קיום ויחידות יש אינסוף פתרונות ,אז יש שתי דרכים למציאת
פתרונות:
א .מוצאים פתרון כללי ,מציבים אותו בתנאי ההתחלה ומוצאים אילוץ על הפונקציה הנעלמת.
ב .עקום ההתחלה מוכל בקווים האופייניים ,כלומר אם מציבים בקווים האופייניים tמסויים מקבלים את
עקום ההתחלה ,לכן אפשר לבחור כל עקום אחר ש:
.1חותך את עקום ההתחלה הנתון בנקודה אחת) s = 0 ,בדרך כלל מהצורה ) ),( Γ1 = ( 0, s, h( s
נסתכל על המשיקים לעקום ההתחלה ( f1 ', f 2 ', f 3 ') ,ולקווים האופייניים (a, b, c) ,ונגדיר שתי דטרמיננטות:
∆ ≠ 0 .1אם היטלי המשיקים לא מקבילים ( f1 ', f 2 ') P(a, b) ,אז יש פתרון יחיד
∆%= 0אם המשיקים עצמם מקבילים ( f1 ', f 2 ', f 3 ') P(a, b, c ) ,אז יש אינסוף פתרונות
∆%≠ 0אם המשיקים עצמם לא מקבילים ( f1 ', f 2 ', f 3 ') P(a, b, c ) ,אז אין פתרונות
.3יכולות להיות נקודות בהם תנאי הטרנסברסליות אינו מתקיים ולכן יכול להיות ש:
א .הפתרון קיים וגזיר ) (C1
ב .הפתרון קיים ולא גזיר
ג .הפתרון לא קיים
הערה :את הוקטור ) (a, b, cמבטאים בעזרת ) ( f1 , f 2 , f 3כלומר מציבים x = f1 , y = f 2 , u = f 3
שיטה למציאת פתרון כללי למד"ח קוואזי לינארית ללא תנאי התחלה
.1מנחשים שני שדות משמרים ϕ ,ψשהגרדיאנט שלהם מאונך ל ): (a, b, c
∇ϕ = P1 ∇ψ = P2
)P1 ⊥ (a, b, c )P2 ⊥ (a, b, c
2.1.1סוגי משוואת
, ∆ < 0 .3המשוואה היא אליפטית ,צורה קנונית uss + utt + f (us , ut , u ) = 0
כל מד"ח לינארית הומוגנית מסדר שני עם מקדמים קבועים ,שלא משנה את צורתה היא מד"ח מהצורה
הזאת.
פונקציה עצמית היא פונקציה vשעבורה קיים ערך עצמי ) סקלר( כך שמתקיים ) L[v] = −λ vהפעלת
האופרטור שקולה להכפלה בסקלר(
כל משוואה שיכולה להכתב כ L[v] = −λ vכאשר הוא ערך עצמי ו Lהוא אופרטור שטורם ליוביל עבור
p, qכלשהם נקראת משוואת שטורם ליוביל
לדוגמה המשוואה v ''+ λ v = 0היא משוואת שטורם ליוביל עבור p = 1, q = 0
)v(a ) = v (b
משוואת שטורם ליוביל בצירוף תנאי שפה מחזוריים מהצורה:
)v '(a ) = v '(b
...
v ( a ) = A
תנאי התחלה על ערכי הפונקציה בקצוות ,מהצורה
v(b) = B
כל מד"ר לינארית הומוגנית מסדר שני אפשר להציג כמשוואת שטורם ליוביל:
A( x)v ''+ B ( x)v '+ C ( x)v = 0
נגדיר
) p ( x) = e ∫ A ( x
)B( x
dx
)B ( x) ∫ BA (( xx )) dx B ( x
= )p '( x e = )p( x
) A( x ) A( x
p
ונקבל: נכפול את המשוואה ב
A
p p p
Av ''+ Bv '+ Cv = 0
A A A
p
pv ''+ p ' v '+ Cv = 0
A
p
( pv ') '+ C v = 0
A
{
q
קל לקבל את זהות לגרנז' על ידי הצבת האופרטורים באופן מפורשL[v] = ( pv ') '+ qv ,
b b
∫ a
3.2.3נוסחת גרין )סימטריה( אם u, vמקיימות את אותם תנאי שפה ,מתקייםuL[v]dx = ∫ vL[u ]dx :
a
.3בבעיה רגולרית :יש אינסוף ערכים עצמיים והם מהווים סדרה מונוטונית עולה ממש לאינסוף
בבעיה מחזורית :יש ערכים עצמיים כפולים )ריבוי (2ולכן הסדרה עולה אבל לא ממש
עמוד 11מתוך 27
.4יש אינסוף פולינומים עצמיים והם מהווים בסיס אורתוגונלי למרחב מסויים
אם הערכים העצמיים λn , λmשונים אז הפונקציות העצמיות המתאימות vn , vmאורתוגונליות ,כלומר:
b
) vn , vmהוכחה על ידי נוסחת גרין( r
= ∫ vn ( x)vm ( x) r ( x)dx = 0
a
אם fרציפה ,גזירה למקוטעין ,מקיימת את תנאי השפה ,והפונקציות { φn } n =1הן הפולינומים העצמיים
∞
המנורמלים ,כלומר הן מהוות בסיס אורתונורמלי ,אז ניתן לכתוב את fכטור בצורה הבאה:
∞
f ( x) = ∑ cnφn
n =1
הערות
3.2.6דרך פתרון
כאשר מציבים פתרון בהפרדת משתנים במשוואות הגלים במיתר סופי או במשוואות החום מקבלים בעיית
שטורם ליוביל על כל אחד מהמשתנים בנפרד
באופן כללי מקבלים בעיית שטורם ליוביל מהצורהv ''+ λ v = 0 :
זאת מד"ר עם משתנים קבועים ,הפולינום האופייני שלה הוא r 2 + λ = 0והשורשים הם r1,2 = ± −λ
λ > 0השורשים הם r1,2 = ±i λולכן הפתרון הוא )v = A cos( λ x ) + B sin( λ x
)u ( x, 0) = f ( x
צורת תנאי התחלה:
)ut ( x, 0) = g ( x
צורת הפתרוןF ( x + ct ) + G ( x − ct ) :
4.1.1סוגי פתרונות
התנאי הוא בעצם על f, gכדי ש F, Gיהיו גזירים פעמיים אז צריך להתקיים f ∈ C 2 , g ∈ C1
פתרון יציב
4.1.2קיום ויחידות
utt + c 2u xx = 0
)u ( x, 0) = f ( x
)ut ( x, 0) = g ( x
קיים פתרון יחיד לכל ∞ < 0 < t , − ∞ < x
ויציב לכל ∞ < 0 < t < T , − ∞ < x
)u ( x, 0) = f ( x
צורת תנאי התחלה:
)ut ( x, 0) = g ( x
צורת הפתרון:
1 1 x +ct 1
= ) u ( x, t [ f ( x + ct ) + f ( x − ct )] + ∫x −ct g ( s)ds + ∫ F ( s,τ )dsdτ
2 2c ∆ 2c
כאשר הוא המשולש שמתקבל מהנקודה בה מחושבת הפונקציה ) ( x0 , t0ונקודות החיתוך עם ציר xשל
x + ct = x0 + ct0
שני קווים אופייניים שיוצאים ממנה
x − ct = x0 − ct0
כלומר בין הנקודות )( x, t ), ( x − ct , 0), ( x + ct , 0
את האינטגרל על המשולש רושמים בצורה:
4.2.1קיום ויחידות
4.2.2תכונות
תכונת הפתרון uנקבעת לפי זוגיות /אי זוגיות /מחזוריות הפונקציות f, g, F
אם כל הפונקציות זוגיות /אי זוגיות ,אז uזוגית /אי זוגית.
אם כל הפונקציות מחזוריות ,אז uמחזורות.
u ( x, 0) = f ( x)
x>0
ut ( x, 0) = g ( x) צורת תנאי התחלה /שפה:
u (0, t ) = 0 t >0
)כאשר חייב להתקיים )( f (0) = g (0
הבעיה נובעת מזה שבפתרון דלמבר צריך לבצע אינטגרציה על הפונקציות f, g, Fבתחומים בהם הן לא
מוגדות ,לכן צריך להגדיר אותן על כל הישר:
, u%שמוגדרת על כל הישר
2
% %
נפתור בשיטת השיקוף ,נגדיר בעיה דומה ) tt − c u xx = F ( x, t
.1אם נתון תנאי שפה u (0, t ) = 0אז נבצע הרחבה אי-זוגית ,תנאי ההתחלה החדשים יהיו:
) f ( x x≥0 ) F ( x, t x≥0
( x, 0) = f%
u% ( x) = F%( x, t ) =
) − f ( − x x<0 − F ( − x, t ) x < 0
) g ( x x≥0
t ( x, 0) = g ( x ) =
u% %
)− g (− x x<0
והפתרון של הבעיה החדשה יהיה אי זוגי יתאפס בראשית ,ויקיים (0, t ) = 0
. u%
.2אם נתון תנאי שפה ) u x (0, t ) = 0במקום ( u (0, t ) = 0אז נבצע הרחבה זוגית ,תנאי ההתחלה החדשים
יהיו:
)u ( x, 0) = f ( x
צורת תנאי התחלה0 ≤ x ≤ L :
)ut ( x, 0) = g ( x
הפונקציות f , gמוגדרות בקטע ] , [0, Lנבצע הרחבה אי זוגית בקטע ] , [− L, 0והמשכה מחזורית על כל
.1מניחים שהפתרון הוא מהצורה ) , X ( x)T (tמציבים במשוואה ההומוגנית ובתנאי ההתחלה
ומקבלים בעיית שטורם ליוביל עבור Xועבור T
'' X '' T
XT ''+ c 2 X '' T = 0 → = −λ , = −λ
X c 2T
.2פותרים את בעיית שטורם ליוביל עבור ,Xרק ל λ > 0קיים פתרון ,והוא מהצורה:
φnהן הפונקציות שפורשות את המרחב האורתונורמלי ,כל פונקציה עצמית Xnנכתוב בצורה:
.5פותרים את בעיית שטורם ליוביל עבור ,Tשוב רק ל λ > 0קיים פתרון ,צורת הפתרון היא:
nπ c
∞
ut ( x, 0) = ∑ D% )φn ( x) = g ( x
L
n
n =0
הערה :דרך פתרון בעיות עם תנאי שפה מסוג נוימן ) ( u x (0, t ) = u x ( L, t ) = 0או תנאי שפה מעורבים )
צריך לבדוק כל אפשרות של כלומר λ < 0, λ = 0, λ > 0יכולים להתקבל ערכים עצמיים שונים לכל
אחת מהאפשרויות ,ולכל אחד מהם פונקציות עצמיות שונות ל Xוגם ל T
)u ( x, 0) = f ( x
צורת תנאי התחלה0 ≤ x ≤ L :
)ut ( x, 0) = g ( x
4.5.1דרך פתרון
∞
נניח שהמקדם Bnמוכל בפונקציה ,Tnלכן נרשם את הפתרון בצורה ) u ( x, t ) = ∑ φn ( x)Tn (t
n =1
(
) Tn (t ) = TH ,n (t ) + TP ,n (t ) = Cn cos(t λn ) + Dn sin(t λn ) + TP ,n (t )
א .אם החלק האי הומוגני של המשוואה המקורית הוא ) F ( xכלומר לא תלוי ב ,tאז גם המקדמים Fnלא
Fn
תלויים ב tולכן הפתרון הפרטי הוא קבוע
λn c 2
ב .אם המקדמים כן תלויים ב tפותרים בשיטת ווריאציית הפרמטר :מניחים שהפתרון הפרטי מורכב
u ( x , 0) = ∑
n =1
(
n C ) + TP,n (0) φ
n ( x ) = f ( x ) = ∑
n =1
α nφn ( x)
( )
∞ ∞
u ( x, 0) = D λ + T ' (0) φ ( x) = g ( x ) = β φ ( x)
t ∑ n n
n =1
P ,n n ∑
n =1
n n
α n = f , φn , β n = g , φn
27 מתוך21 עמוד
4.5.2תנאי שפה לא הומוגניים
כאשר תנאי השפה לא הומוגניים נבנה פונקציה wשתקיים את תנאי השפה ,נגדיר , v = u − wנפתור את
הבעיה vtt − c vxx = F ( x, t ) − wtt − c wxxעבורה תנאי השפה של vיהיו הומוגניים )גם תנאי ההתחלה ישתנו
2 2
( )
בהתאם( ,ובסוף נחזור ל v + w = u :u
5.1.1דרך פתרון
.1מציבים את הפתרון הכללי במשוואה המקורית ובתנאי השפה ,ומקבלים בעיית שטורם ליוביל
.2מוצאים את כל הפונקציות העצמיות והערכים העצמיים
.3כל פתרון מהצורה ) un ( x, t ) = X n ( x)Tn (tפותר את המשוואה ואת תנאי השפה
.4מפתחים את תנאי ההתחלה (f (xלטור במרחב שנפרש על ידי הפונקציות העצמיות Xnועל ידי השוואת
L
)במשוואת הגלים נגדיר ( E (t ) = ∫ ( wt2 + c 2 wx2 ) dx = 0
0
.5קיבלנו ש , E '(t ) ≤ 0מונוטונית יורדת )לא ממש( ,וגם E (0) = 0, E (t ) ≥ 0מתחילה באפס וחיובית ,לכן
E (t ) = 0לכל .t
מכאן שהאינטגרנד ) ) w2 ( x, tהחיובי תמיד( של ) E (tהוא אפס זהותית ולכן w = 0
5.1.3פתרון אמיתי
∞
פתרון מהצורה ) u ( x, t ) = ∑ un ( x, tהוא פתרון אמיתי אם הטור uונגזרותיו ) u xx , utבבעיית החום או u xx , utt
n =1
בבעיית הגלים( ,מתכנסים במידה שווה ,בדיקת התכנסות במ"ש של הטור אפשר לעשות על ידי מבחן ה-
∞
∑M
n =1
n Mשל ווירשטראס )המריונטה של ווירשטראס( ,כלומר צריך למצוא חסם Mnלכל ) un ( x, tכך ש
מתכנס.
פתרון אמיתי יתקבל כאשר g ∈ C1 , f ∈ C 2
פתרון לא אמיתי הוא מוכלל.
נסמן w , w = u1 − u2היא פתרון של המשוואה , wt − kwxx = 0 :ולפי עקרון המקסימום wמקבלת מקסימום
כל הקטעים חסומים ולכן לפי עקרון המקסימום גם ) w( x, tחסומה ,כלומר w = u1 ( x, t ) − u2 ( x, t ) < ε
6.1.1דרך פתרון
.1מציבים את הפתרון הכללי במשוואה ומקבלים בעיית שטורם ליוביל ל Xול Y
.2מוצאים ערכים עצמיים ופונקציות עצמיות
∞
בתנאי השפה ∑X
n =1
n .3מציבים את הפתרון המוכלל ) ( x)Yn ( y
הערה :כדי להשוות עם תנאי שפה שתלוי במשתנה אחד ,מציגים אותו כטור במרחב של הפונקציות
העצמיות המתאימות ) Xnאו ,( Ynאחרי שמנרמלים אותן.
כשנתונה בעיית לפלס עם תנאי שפה ,שבקודקודי התחום שונים מאפס ,כלומר:
u (0, 0) = α u (0, b) = γ
u (a, 0) = β u ( a, b) = δ
מגדירים את הפונקציה , v = A + Bx + Cy + Dxy :ואת הפונקציהw = u − v :
מציבים את wבתנאי השפה ומוצאים את המקדמים A, B, C , Dשעבורם תנאי השפה של wיהיו הומוגנים
בקודקודי התחום .פותרים את המשוואה עבור wובסוף חוזרים ל u = w + v :u
צריך להיות מספר שלם כדי לקיים ומהפתרון במקרה הזה Θ(θ ) = A cos(θ λ ) + B sin(θ λ ) :נובע ש λ
את תנאי המחזוריות כלומר λ = n 2לכן הפתרון הוא:
) Θ n (θ ) = α n cos(nθ ) + β n sin(nθ
ג .מחוץ לעיגול ,כאשר b ≤ rדורשים שלא יופיע בפתרון הכללי איברים שלא מתכנסים באינסוף ,כלומר
6.3.1נוסחת פואסון
מכאן נובע שערך נקודה הוא ממוצע הנקודות על שפת מעגל שמקיף אותה:
1 2π
= )u (0, 0
2π ∫
0
f (ϕ )dϕ
6.3.2זהות גרין
∂v
∫∫ u∇ v dxdy = − ∫∫ ∇u∇v dxdy + Ñ
∫ u ∂ nr ds
2
בעזרת זהות גרין מוכיחים שלבעיית לפלס עם תנאי שפה דריכלה או נוימן יש פתרון יחיד או עד כדי קבוע
כאשר חסום.
רעיון ההוכחה ,מציבים v = u1 − u2הפרש של שתי פתרונות בזהות) ,בתור uו (vומקבלים שההפרש הוא
אפס) ,או קבוע במקרה של תנאי שפה נוימן(.
∂u
יש פתרון אם אינטגרל של uעל שפת התחום שווה למשוואה ) ∇ 2u = F ( x, yעם תנאי נוימן ) = g ( x, y
∂n
∂u
∫ ∂n ds = Ñ
Ñ
∂Ω
∫ g ( x, y) ds = ∫ F ( x, y)dxdy
∂Ω Ω
לאינטגרל של Fעל כל התחום:
∂u
∫∂Ω ∂n ds = ∂ΩÑ
.( Ñ )במשוואה הומוגנית התנאי הוא ∫ g ( x, y) ds = 0
6.3.4עקרון הממוצע
בנקודה ) ( x0 , y0 ) ∈ Ωולא על השפה( ,הוא ממוצע ערכי הפונקציה במעגל שמקיף את הנקודה ומוכל
בתחום ,כלומר:
1 1 2π
= ) u ( x0 , y0 ∫
Ñ
2π R R
= u ( x, y )ds
2π R ∫0
u ( x0 + R cos θ , y0 + R sin θ )Rdθ
לבעיית שטורם ליוביל רגולרית )תנאי שפה נפרדים לשני הקצוות( יש ערכים עצמיים פשוטים:
לוקחים שתי פונקציות u, vעצמיות המתאימות לאותו ערך עצמי λומראים שהן שוות )עד כדי כפל
בסקלר ,(Aרושמים:
L[v] = −r λ v
L[u ] = − rλ u
מכפילים את המשוואות ב v, uמחסרים ומקבלים
uL[v ] − vL[u ] = 0
לפי לגרנז' מתקיים
uL[v ] − vL[u ] = ( p (uv '− u ' v ) ) ' = 0 ⇒ p (uv '− u ' v) = const
∫ vL[v] − vL[v ] = 0 ⇒ ( λ − λ ) ∫ rvv = 0 ⇒ λ =λ
a a
רושמים
L[v] = −r λ v
מכפילים ב vומבצעים אינטגרציה על שני האגפים
b b
vL[v] = −r λ v 2 ⇒ ∫ vL[v] = − ∫ rλv
2
a a
∫ vL[v] = ∫ v ( ( pv ') '+ qv ) = ∫ v( pv ') ' + ∫ qv = v( pv ') a − ∫ p (v ') + ∫ qv 2 ≤ 0
2 b 2
b
−λ ∫ rv 2 ≤ 0 ⇒ לכן λ ≥ 0
a
הערכים העצמיים שונים ולכן האינטגרל הוא אפס ,כלומר הפונקציות העצמיות אורתוגונליות
b
∫ rv v
a
n m = 0 = vn , vm
אם המקסימום מתקבל בנקודה פנימית ,אז , u x , ut = 0, u xx , utt < 0ולכן ut − ku xx ≥ 0בסתירה לנתון
אם המקסימום מתקבל על הצלע העליונה של המלבן ) ,( t = T , a ≤ x ≤ bאז ut > 0, u xx , utt < 0ושוב
ut − ku xx ≥ 0בסתירה לנתון
מגדירים v = u + ε x 2מתקיים:
vt − kvxx = (u + ε x 2 )t − k (u + ε x 2 ) xx = ut − k (u xx + 2ε ) = −2kε < 0
אבל בגלל שהתחום הסגור מכיל גם את השפה מתקיים }max D {u} ≥ max ∂D {u
הערה :המקסימום כאן הוא חלש ,כלומר יכול להיות שהוא מתקבל גם בנקודה פנימית חוץ מהשפה
אם ל vהיה מקסימום מקומי בתוך Dאז היה מתקיים vxx , v yy < 0ואז vxx + v yy < 0בסתירה להגדרה
לכן המקסימום של vמתקבל על השפה ,מכאן
}) max D {u} ≤ max D {v} = max ∂D {v} = max ∂D {u + ε ( x 2 + y 2 )} ≤ max ∂D {u} + max{ε ( x 2 + y 2
≤ max ∂D {u} + M ε ⇒ max D {u} ≤ max ∂D {u} + M ε
אבל בגלל שהתחום הסגור מכיל גם את השפה מתקיים }max D {u} ≥ max ∂D {u
הערות:
.1אפשר להגדיר w = −uולהוכיח שהמינימום של uגם מתקבל על השפה )כי הוא המקסימום של (w
.2המקסימום כאן הוא חלש ,אם הפונקציה קבועה המקסימום שלה מתקבל גם בתחום
עמוד 33מתוך 27
נקודת מקסימום פנימית במשוואה הרמונית הומוגנית גוררת פונקציה קבועה
נקח את נקודת המקסימום בתוך התחום ) ) ( x0 , y0אותו מקסימום מתקבל גם על שפת התחום ,לפי משפט
המקסימום ,אבל זה לא מפריע(
לפי פואסון ,אם נקח עיגול ברדיוס Rסביב ) ( x0 , y0שמוכל בתחום )ויכול לגעת בשפה( יתקיים
2π
1
= ) u ( x0 , y0
2π ∫ u( x
0
0 + R cos θ , y0 + R sin θ ) dθ
לכל נקודה בתחום אפשר להגיע על ידי סדרת עיגולים קטנים מ ) ( x0 , y0לנקודה ,כך שהמרכז של אחד
מוכל במרכז של העיגול שלפניו ,וכולם מוכלים בתחום )נראה כמו שרשרת(
התנאי הוא שהתחום חסום ,אחרת יכול להיות יותר מפתרון אחד
∆u = F ∈D
נסמן את ההפרש שלהן ב v = u1 − u2 ∂u נקח שתי פונקציות u1 , u2שמקיימות
u + α ∂n = f ∈ ∂D
( )
2
∂v ∂v ∂v ∂v
0 ≤ ∫∫ ∇v∇v + ∆v = ∫∫ ( ∇v ) dA = Ñ
∫v ∫ ∫
2
ds = Ñ −α ds = −α Ñ ds ≤ 0
D
=0
D ∂D
∂n ∂D
∂n ∂n ∂D
∂n
מקבלים:
2
∂v ∂v
∫∂D ∂n ds ≤ 0
0 ≤ −α Ñ ⇒
∂n
=0
0 ≤ ∫∫ ( ∇v ) dA ≤ 0
2
⇒ ∇v = 0 ⇒ v = const
D
כלומר הפונקציה קבועה ,ומתאפסת בשפה )לפי תנאי השפה( ,ולכן היא אפס זהותית