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