התמרת לפלס הפוכה

במתמטיקה, התמרת לפלס הפוכה של פונקציה  היא פונקציה ממשית  רציפה למקוטעין, חסומה מעריכית (כלומר,  עבור כמה קבועים  ו־) ומקיימת את התכונה:



כאשר  מסמן את התמרת לפלס.

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

להתמרת לפלס ולהתמרת לפלס הפוכה יש תכונות רבות שמועילות לניתוח מערכות דינמיות ליניאריות .

 נוסחת ההיפוך של מלין 
נוסחה אינטגרלית של התמרת לפלס ההפוכה – הידועה בשם נוסחת ההיפוך של מלין (Mellin), אינטגרל ברומיץ' (Bromwich), או אינטגרל פורייה–מלין (Fourier–Mellin) — ניתנת באמצעות אינטגרל קווי במישור המרוכב:



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

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

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

 נוסחת ההיפוך של פוסט 
נוסחת ההיפוך של פוסט (Post) עבור התמרת לפלס, הנקראת על שם אמיל פוסט, מספקת שיטה תאורטית פשוטה אך לרוב קשה ליישום מעשי לחישוב התמרת לפלס הפוכה.

הנוסחה קובעת שאם  היא פונקציה רציפה בתחום  והיא מסדר מעריכי, כלומר:



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



עבור , כאשר  היא הנגזרת ה־־ית של  לפי .

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

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

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

 כלי תוכנה 
 InverseLaplaceTransform מבצע התמרות הפוכות סימבולית ב־Mathematica
 היפוך נומרי של התמרת לפלס עם דיוק רב, תוך שימוש במישור המורכב ב־Mathematica נותן פתרונות נומריים
 ilaplace  מבצע התמרות הפוכות סימבולית ב־MATLAB
 היפוך נומרי של התמרות לפלס ב־MATLAB
 היפוך נומרי של התמרות לפלס המבוסס על פונקציות מרוכזות של אקספוננט של מטריצות ב־MATLAB

 לקריאה נוספת 

 קישורים חיצוניים 
 טבלאות של התמרות אינטגרליות ב־EqWorld: The World of Mathematical Equations.


 הערות שוליים 

קטגוריה:אנליזה מרוכבת