‫"משוואות חלקיות מרוכבות למהנדסים" (‪ ;)10271‬סמסטר א' תשע"ו‪ ,‬מועד ב'‪ - 14/03/0016 ,‬פתרונות‬

‫הפקולטה למדעים‬

‫מבחן סוף הסמסטר ‪" -‬משוואות דיפרנציאליות חלקיות למהנדסים " (‪)00170‬‬
‫המרצים‪ :‬ד"ר ויקטור גוטליב‪ ,‬ד"ר שי גול‪ ,‬ד"ר ללה דוראל‪ ,‬ד"ר אלכס ספיבק‬
‫סמסטר א' תשע"ו‪ ,‬מועד ב'‪ ,‬תאריך המבחן ‪14/03/0016 :‬‬

‫פתרון‪I‬‬

‫שאלה ‪1‬‬
‫‪y‬‬
‫‪ ,‬כאשר ‪ 11( . u  u  x, y ‬נק')‬ ‫‪u x  y 2 u y  uy  y‬‬ ‫מצא פתרון כללי של המשוואה‬ ‫א)‬
‫‪x‬‬
‫כאשר ‪ 10( . u  0 , y  0 , x  1‬נק')‬ ‫ב) מצא את הפתרון הפרטי שמקיים את התנאי ‪u  y‬‬
‫פתרון‪:‬‬

‫‪dy‬‬ ‫‪du‬‬ ‫‪1‬‬ ‫‪y‬‬

‫‪xdx ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ux  y u y  u  1 ‬‬ ‫‪u x  y 2 u y  uy  y‬‬ ‫א)‬
‫‪y u 1‬‬ ‫‪x‬‬ ‫‪x‬‬
‫‪x2‬‬ ‫‪dy‬‬
‫‪ ln y  C0‬‬ ‫‪ 1  x 2  2 ln y  C1‬‬ ‫‪‬‬ ‫‪xdx ‬‬ ‫‪‬‬
‫‪2‬‬ ‫‪y‬‬
‫‪u 1‬‬ ‫‪dy‬‬ ‫‪du‬‬
‫‪2 ‬‬ ‫‪ C2‬‬ ‫‪‬‬ ‫‪ln u  1  ln y  ln C2‬‬ ‫‪ ln y  ln C2  ln u  1 ‬‬ ‫‪‬‬
‫‪y‬‬ ‫‪y u 1‬‬
‫‪‬‬ ‫‪u  1‬‬
‫‪ ,  x 2  2 ln y,‬כאשר ‪  1 ,  2 ‬פונקציה שרירותית של שני משתנים גזירה עם‬ ‫פתרון כללי‪  0 :‬‬
‫‪‬‬ ‫‪y ‬‬
‫‪‬‬
‫‪ , u  y  f x e‬כאשר‬ ‫‪2  y2‬‬
‫‪  1 u  y  f x‬‬ ‫‪2‬‬
‫נגזרות חלקיות רציפות‪ .‬גם ניתן לבטא את הפתרון כמו ‪ 2 ln y   1‬‬
‫‪ f  ‬פונקציה שררותית גזירה בתחום הגדרתה‪.‬‬

‫‪u 1‬‬ ‫‪1‬‬

‫‪~2   2‬‬ ‫‪y u‬‬
‫‪‬‬ ‫‪ 1   C2‬‬ ‫‪~ ‬‬
‫‪,‬‬‫‪1‬‬ ‫‪1‬‬ ‫‪x 1, y  u‬‬
‫ב) ‪ 1  2 ln y  1  2 ln u  C1‬‬
‫‪u‬‬ ‫‪u‬‬
‫‪ u 1 ‬‬ ‫‪1  ~1‬‬
‫‪ 1  1  1  2 ln  2  1  ln u ‬‬
‫~‬ ‫~‬ ‫‪1‬‬
‫‪x  2 ln y  1  2 ln ‬‬
‫‪2‬‬
‫~ ‪ ln‬‬
‫‪ y‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪2  1‬‬
‫‪x 2 1‬‬
‫‪ u 1 y ‬‬
‫‪u  x, y   y  1  e‬‬ ‫‪2‬‬
‫‪ , x  1  2 ln u  y  1  x  2 ln y  1  2 ln ‬או‬
‫‪2‬‬ ‫‪2‬‬
‫‪ ‬‬
‫‪‬‬ ‫‪y‬‬ ‫‪‬‬

‫‪ y  4y  0‬‬

‫‪. ‬‬ ‫שאלה ‪.0‬‬
‫‪ y(0)  y(3)  0‬‬

‫א) מצא ערכים עצמיים ופונקציות עצמיות בבעיה הנ"ל‪ .‬נמק ופרט את פתרונך‪ 14( .‬נק')‬
‫ב) מצא נורמות של הפונקציות העצמיות‪ 6( .‬נק')‬
‫‪1‬‬
 ‫"משוואות חלקיות מרוכבות למהנדסים" (‪ ;)10271‬סמסטר א' תשע"ו‪ ,‬מועד ב'‪ - 14/03/0016 ,‬פתרונות‬

‫ג) פתח את הפונקציה ‪ f  x   5cos  x   4‬לטור פוריה בפונקציות העצמיות של בעיית שטורם‪-‬ליוביל‬
‫הנתונה‪ 1( .‬נק')‬

‫א) משוואה אופיינית כאן היא ‪ , k 2  4  0‬שורשיה הם ‪. k1,2  2 ‬‬

‫פיצול תבנית הפתרון של המשוואה הדיפרנציאליות מוגדר ע"י הערך של הדיסקרימיננטה‪ ,‬כלומר ‪. ‬‬
‫‪. y ( x)  A  Bx  k1,2  0 ‬‬ ‫מקרה א ‪  0‬‬
‫‪. y( x)  B  y(0)  y(3)  0  B  0  y ( x)  A‬‬ ‫בקצוות‪:‬‬
‫סיכום‪ 0  0 :‬הוא ערך עצמי‪ .‬הפונקציה העצמית שבהתאם לו ‪. y ( x)  1‬‬
‫‪. k1,2  ‬‬ ‫מקרה ב ‪.   0 ,4   2 ,   0‬‬
‫‪. y( x)    A sinh  x   B cosh  x  , y ( x)  A cosh  x   B sinh  x ‬‬
‫קצה שמאלי‪:‬‬
‫‪y(0)  0  B  0  B  0  y( x)  A sinh  x ‬‬
‫קצה ימני‪. y(3)  0  A sinh  3  0  B  0  y ( x)  0 :‬‬
‫סיכום‪ :‬אין ערכים עצמיים במקרה של ‪.   0‬‬
‫מקרה ג ‪. k1,2  i .   0  ,4  2  0 ,   0‬‬
‫‪y( x)    A sin  x   B cos  x  , y ( x)  A cos  x   B sin  x ‬‬
‫קצה שמאלי‪:‬‬
‫‪y(0)  0  B  0  B  0  y ( x)  A cos  x   y( x)  A sin  x ‬‬
‫קצה ימני‪:‬‬
‫‪n‬‬
‫‪. y(3)  0   A sin  3  0  sin  3  0  3  n  n ‬‬ ‫‪,  n  1, 2,3, ‬‬
‫‪3‬‬
‫‪n2   n ‬‬
‫‪2‬‬
‫‪ n ‬אלה ערכים עצמיים‪ ,‬כאשר ‪ . n  1, 2,3,‬הפונקציות‬ ‫‪‬‬ ‫סיכום‪  4n  n , 4   :‬‬
‫‪2‬‬ ‫‪2‬‬

‫‪4‬‬ ‫‪ 6 ‬‬

‫‪ nx‬‬
‫‪ . yn  x   cos n x   cos 2 n x  cos‬אפשר לאחד מקרים ג' ו‪-‬א' ולכתוב תשובה סופית‬ ‫‪‬‬ ‫‪‬‬ ‫‪3‬‬
‫העצמיות הן‬
‫מאוחדת‪:‬‬
‫‪nx‬‬ ‫‪ n ‬‬
‫‪2‬‬

‫‪. n  0, 1, 2, 3, 4,‬‬ ‫‪, y n  x   cos‬‬ ‫‪, n  ‬‬ ‫‪‬‬

‫‪3‬‬ ‫‪ 6 ‬‬

‫ב) מכיוון שפונקצית המשקל מוגדרת עד כדי גורם קבוע‪ ,‬נבחר אותה ‪ 2‬אלא לא ‪ .4‬לכן כאשר ‪: n  0‬‬
‫‪nx‬‬
‫‪2‬‬
‫‪nx‬‬ ‫‪1 ‬‬ ‫‪2nx ‬‬ ‫‪2nx‬‬
‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪. yn ( x)  cos‬‬ ‫‪  cos‬‬ ‫‪dx   1  cos‬‬ ‫‪ dx   dx   cos‬‬ ‫‪dx ‬‬
‫‪2‬‬ ‫‪2‬‬

‫‪3‬‬ ‫‪0‬‬
‫‪3‬‬ ‫‪2 0‬‬ ‫‪3 ‬‬ ‫‪20‬‬ ‫‪20‬‬ ‫‪3‬‬
‫‪2nx‬‬
‫‪3‬‬
‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪ ‬‬ ‫‪sin‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪yn ( x ) ‬‬ ‫‪,  n  0‬‬
‫‪2 2nx‬‬ ‫‪3 0 2‬‬ ‫‪2‬‬
‫‪3‬‬

‫‪ , y0 ( x)  1‬כלומר ‪y0 ( x)  3‬‬ ‫איפא כאשר ‪  1dx  3 : n  0‬‬

‫‪2‬‬ ‫‪2‬‬

‫‪0‬‬

‫) ‪.  n  0  , yn ( x‬‬ ‫‪r  x 4‬‬

‫)‪ y0 ( x‬ו‪ 3 -‬‬ ‫‪r  x 4‬‬
‫במידה ובוחרים פונקציית המשקל ‪ , r  x   4‬מקבלים ‪ 6‬‬
‫‪‬‬
‫‪nx‬‬ ‫‪‬‬

‫‪n 0‬‬
‫‪ c y  x  c   c‬‬
‫‪n‬‬
‫‪n 0‬‬
‫‪n‬‬
‫‪3‬‬
‫ג ) טור פוריה מוכלל כאן הוא ‪ 5cos  x   4‬‬
‫‪0‬‬ ‫‪n‬‬ ‫‪cos‬‬

‫השוואת המקדמים פשוטה נותנת התשובה‪ , c3  5 , c0  4 :‬ו‪ cn  0 -‬כאשר ‪. n  3 , n  0‬‬

‫כלומר ‪ f  x   5cos  x   4‬כבר טור פורייה מוכן‪.‬‬

‫‪2‬‬
 ‫ פתרונות‬- 14/03/0016 ,'‫ מועד ב‬,‫); סמסטר א' תשע"ו‬10271( "‫"משוואות חלקיות מרוכבות למהנדסים‬

ut  3u xx ,  2  x  2, t  0
u (2, t )  0, u (2, t )  0, :3 ‫שאלה‬
1
u ( x, 0)   .
4

. u  x, t   X  x  T  t  :‫נשתמש בשיטת הפרדת המשתנים של פורייה‬

T  t  X ( x)
.    ‫ או‬, X  x  T   t   3 X   x  T  t  -‫ הופכת ל‬ut  3u yy ‫המשוואה‬
3T  t  X ( x)
. X  x  ‫ליוביל יש נקבע לפונקציה‬-‫ לכן בעיית שטורם‬2  x  2 , y ‫תנאי השפה ההומוגני נתון עבור המשתנה‬
. u  2, t   X  2  T  t   0  X  2   0 , u  2, t   X  2  T  t   0  X  2  0
 X   x   X  x   0

. ‫ליוביל יש לכתוב כי‬-‫בעיית שטורם‬
 X (2)  0, X (2)  0

‫ כלומר נזיז את הקצה‬, y  x  2 ‫בשביל שימוש בפתרון המוכן שבדף הנוסחאות נעבור למשתנה בלתי תלוי חדש‬
:‫ ההחלפה נותנת‬. x  y  2 ‫ לכן‬.‫השמאלי לאפס של הציר‬
. X  x   X  y  2  Y  y 
dX   x  dY   y  dy dX  x  dY  y  dy
X   x      Y   y  , X  x     Y  y
dx dy dx dx dy dx
Y   y   Y  y   0

 ‫ליוביל חדשה‬-‫ ובעיית שטורם‬. X  2   Y  4   0 , X  2   Y  0   0
Y (0)  0, Y (4)  0

ny  n 
2

, n  1, 2, 3,  ‫ כאשר‬Yn  y   sin ,  n    :‫הפתרון המוכן מדף הנוסחאות נותן‬

4  4 
n  x  2 
. X n  x   sin ‫או אחרי חזרה למשתנה המקורי‬
4
n  x  2  n  x  2 
2
ny
2 y x2 4
4
X n  x   sin   sin  sin
2 2
dx  2
dy   2
4 2
4 0
4 2
: t  0 ‫לגבי המשתנה‬
Tn  t 
2
 n 
 n 
2
 3  t
.   n  Tn  t   3 nTn  t   0  Tn  t   3   Tn  t   0  Tn  t   cn e  4 
3Tn  t   4 
n  x  2 
2
   n 
 3  t
. un  x, t   X n  y  Tn  t   u  x, t    X n  x  Tn  t    cne  4 
sin
n 1 n 1 4
1  n  x  2 
. u  x, 0      cn sin ‫ נותן‬t  0 -‫שימוש בתנאי ההתחלה ב‬
4 n 1 4
1 n  x  2 
 , sin
n  x  2   1  1
n
1  1 ny
2 y x2 4
4 4 1
. cn       sin dy    sin dy 
n  x  2  2 2  4  2n
2
4 80 4
sin
4

3
 ‫ פתרונות‬- 14/03/0016 ,'‫ מועד ב‬,‫); סמסטר א' תשע"ו‬10271( "‫"משוואות חלקיות מרוכבות למהנדסים‬

 1 n  x  2 
2
n  n 
 1  3  t
. u  x, t    e  4 
sin :‫לכן‬
n 1 2n 4

:‫אפשר לצמצם את התשובה הסופית‬

3
  2k  1 x  2 
2
1  1   2 k 12 t
u  x, t     e 16 sin
 n1 2k  1 4

utt  9u xx  62t sin  x  , 0  x  2, t  0

u (0, t )  0, u (2, t )  0
3x
u ( x, 0)  4sin  5sin  x  :4 ‫שאלה‬
2
ut ( x, 0)  sin  x   sin  2x 

 X ( x)  X ( x)  0
. ‫ לכן יש לפתור בעיית שטורם – ליוביל‬,‫עכשיו תנאי השפה הפך להיות הומוגני‬
 X (0)  0, X (2)  0
nx  n 
2

. n  1, 2, 3, , X n  x   sin ‫ סדרת פונקציות עצמיות‬,  n    ‫ ערכים עצמיים‬:‫הפתרון שלה‬

2  2 
nx
2
nx
2
X n  x   sin 2
2
 sin dx  1 -‫פשוט לראות ש‬
2 0
2

. u ( x, t )   cn (t ) X n ( x) ‫פתרון של המשוואה נחפש בצורה‬
n 1

 t sin  x  , X n  x 
2 2
nx 62t , n  2
qn (t )     6 t sin  x  sin
2
dx  
X n  x n2
2
0
2 0,
5, n  2
nx  3x  nx 
2 2
cn (0)   u  x, 0  sin dx    4sin  5sin  x   sin dx  4, n  3
0  
0
2 2 2 0, n  2,3

1, n  2
  
2 2
nx nx
cn (0)   ut  x, 0  sin dx   sin  x   sin  2x   sin dx  1, n  4
0
2 0
2 0, n  2, 4

:‫ מקרים שונים‬3 ‫יש לנתח‬
c  (t )  9   c (t )  62t 2
 2 2

‫ כאן הפתרון הכללי של החלק ההומוגני הוא‬. c2 (0)  5 : n  2 ‫מקרה‬


c2 (0)  1
. c2H  A2 cos  3t   B2 sin  3t 
‫ כלומר‬, b  0 -‫ ו‬a  2 ‫ גוררת‬32  at  b   62t ‫ ההצבה‬. c2P  at  b ‫תבנית לפתרון פרטי היא‬
. c2 (t )  A2 cos  3t   B2 sin  3t   2t :‫ פתרון כללי של מד"ר לא הומוגני‬. c2P (t )  2t -‫ו‬

4
 ‫ פתרונות‬- 14/03/0016 ,'‫ מועד ב‬,‫); סמסטר א' תשע"ו‬10271( "‫"משוואות חלקיות מרוכבות למהנדסים‬

A2  5  c2 (0)  A2  5 ‫התחשבות בתנאי ההתחלה נותנת‬

1
B2   c2  0   3B2  2  1  c2 (t )  3A2 sin  3t   3B2 cos  3t   2

1
c2 (t )  5 cos  3t   sin  3t   2t ‫ואת הפתרון‬


  3 
2

c3 (t )  9    c3 (t )  0
.  2  : n3

c3 (0)  4, c3 (0)  0
 9   9 
. c3  t   A3 cos  t   B3 sin  t  ‫כאן פתרון כללי של המשוואה הוא‬
 2   2 
 9 
c3  t   4 cos  t  ‫ הפתרון הוא‬B3  0 , A3  4 ‫התחשבות בתנאי ההתחלה גוררת‬
 2 

c  (t )  9   2 2 c (t )  0
 4
: n4
4
.
c4 (0)  0, c4 (0)  1

. c4  t   A4 cos  6t   B3 sin  6t  ‫כאן פתרון כללי של המשוואה הוא‬

1 1
c4  t    sin  6t  ‫הפתרון הוא‬ B4   , A4  0 ‫התחשבות בתנאי ההתחלה גוררת‬
6 6

  n 
2

 n
c  (t )  3   cn (t )  0
. cn (t )  0  .   2  : n  2, 3, 4

cn (0)  0, cn (0)  0

u ( x, t )   cn X n  c2 (t ) X 2 ( x)  c3 (t ) X 3 ( x)  c4 (t ) X 4 ( x)
n 0
‫תשובה סופית‬

 1   9   3x  1
u ( x, t )  5cos  3t   sin  3t   2t  sin  x   4 cos  t  sin    sin  6t  sin  2x 
    2   2  6

u xx  x, y, z   u yy  x, y, z   u zz  x, y, z   0,
0  x  2, 0  y  3, 0  z  5 .
u (0, y, z )  0, u (2, y, z )  0,
u y ( x, 0, z )  0, u y ( x,3, z )  0, :1 ‫שאלה‬
u ( x, y, 0)  4sin  x  cos  y  ,
3x
u ( x, y,5)  7 sin .
2

‫ היא‬X (x ) ‫ בעיית שטורם – ליוביל לפונקציה‬. u ( x, y, z )  X ( x)Y ( y ) Z ( z ) ‫נפרק את הפונקציה הנעלמת‬

5
 ‫ פתרונות‬- 14/03/0016 ,'‫ מועד ב‬,‫); סמסטר א' תשע"ו‬10271( "‫"משוואות חלקיות מרוכבות למהנדסים‬

 X ( x)  X ( x)  0
2
 nx  n
. n  1, 2, 3, , X n ( x)  sin   ,  n    :‫ הפתרון שלה‬. 
 2  2  X (0)  X (2)  0
Y ( y )      n  Y ( y )  0

, ‫ כאן הפונקציות העצמיות הן‬.  ‫ היא‬Y ( y ) ‫לפונקציה‬.‫בעיית שטורם – ליוביל‬
Y (0)  Y (3)  0

2 2 2
k  n k  ky 
:‫ נוסחה לפתרון מד"ח‬.  nk       ‫ כלומר‬,   nk  n     -‫ ו‬k  0,1, 2, 3, , Yk ( x)  cos  
3 2 3  3

   
 
. u ( x, y, z )    Ank sinh z  nk  Bnk sinh  5  z   nk  sin  nx  cos  ky 
k  0 n 1
   2   
 3

 
 
 nx   ky 
4sin  x  cos  y   u ( x, y, 0)   Bnk sinh 5  nk sin   cos   : z  0 -‫השוואת הטורים ב‬
k  0 n 1  2   3
2 2


, B23 sinh 5  23   2  3
 4 ,) n  2 , k  3 (  23        12  12  2 -‫משקפת ש‬
 2  3
4
. Bnk ( n  2,k 3)  0 ‫ כאשר את שאר‬, B23  
sinh 5 2  
: ‫אפשר לחשב את המקדם דרך האינטגרל‬

4, n  2 and k  3

. Bnk sinh 5  nk   4

2  3 0 x2 
 ky   nx 
 4sin  x  cos  y   cos   sin   dydx  
 3  2  0, n  2 or k  3
0  y 3 

: Ank ‫ אפשר לחשב את‬z  5 ‫דרך הנקודה‬

   
 
3x  nx   ky 
, A30 sinh 5  30  7 ‫ גוררת‬7 sin  u ( x, y,5)   Ank sinh z  nk sin   cos   ‫ההשוואה‬
2 k  0 n 1  2   3
2
7 3 3
. Ank ( n 3,k 0)  0 ‫ את שאר‬, A30  , 30     02  ‫כלומר‬
sinh 15 / 2  2 2

24 7, n  3 and k  0


. Ank sinh 5  nk   
2 3 0 x2 
3x  nx   ky 
7 sin sin   cos   dydx  
2  2   3 0, n  3 or k  0
:‫דרך חישוב ישיר‬
0 y 3 
:‫התשובה הסופית‬
  7 sinh  3 z / 2  3 x 4sinh  5  z  2 
u ( x, y, z )   X nYk Z nk  X 3Y0 Z 30  X 2Y3 Z 23  sin  sin  x  cos  y 
k  0 n 1 sinh 15 / 2  2 sinh 5 2  