تُعرّف المعادلة التفاضلية (Differential Equation) تحليليّاً بأنها كل علاقة رياضية تربط بنيويّاً بين تابع مجهول $y$ (أو $f(x)$) ومتغيره المستقل $x$ صلب نطاق تعريفه، وبين دالاته المشتقة المتتالية $y', y'', \dots, y^{(n)}$.
ويكمن الاختلاف المنهجي بينها وبين المعادلات الجبرية التقليدية في طبيعة المخرجات المستهدفة؛ حيث يؤول حل المعادلة الجبرية إلى تعيين مقدار عددي معزول، في حين يستهدف حل المعادلة التفاضلية استخراج دستور دالي كامل (أو حزمة توابع) يحقق التكافؤ التحليلي صلب العبارة المعطاة.
رتبة المعادلة التفاضلية (Order): هي الرتبة الاشتقاقية القصوى لأعلى مشتق تظهر صياغته الجبرية صلب نص المعادلة.
المقايسة الهيكلية:
- تُصنف المعادلة $y' + 3y = 0$ كمعادلة تفاضلية من الرتبة الأولى لعدم تجاوز رتبة الاشتقاق للمشتق الأول.
- تُصنف المعادلة $y'' + y = \sin(x)$ كمعادلة تفاضلية من الرتبة الثانية نظراً لظهور المؤثر الاشتقاقي الثاني $y''$ كأعلى رتبة صياغية.
3. التصنيف البنيوي للحلول: الحل العام والحل الخاص
الحل العام (General Solution): هو الصياغة الدالية الشاملة التي تمثل عائلة التوابع المحققة للمعادلة التفاضلية، وتكون مقترنة حتماً بثوابت حقيقية اختيارية $c_1, c_2, \dots$ يتطابق عددها نظاميّاً مع رتبة المعادلة الخاضعة للحل.
الحل الخاص (Particular Solution): هو تابع حقيقي منفرد ومحدد العبارة، يتم استخلاصه حصريّاً من الفضاء الكلي للحل العام عبر تقييد الثوابت الاختيارية بقيم عددية ثابته، ويتم ذلك بالاستناد إلى شروط ابتدائية أو حدية (Boundary conditions) معطاة تُحدد قيم التابع أو مشتقاته عند نقاط إحداثية معلومة.
قيود ومحددات الاستدلال التحليلي:
قيد هندسة الشروط الابتدائية: يُمثل الحل العام الصيغة الطوبولوجية الشاملة لكافة المسارات الدالية الممكنة التي تخضع للمؤثر التفاضلي المعطى، في حين يُشكل تفعيل الشروط الابتدائية آلية اصطفاء منهجية لعزل مسار دالي وحيد ومستقر، مما يسمح بالانتقال من التعدد الجبري الحاصل إلى التعيين الأحادي الدقيق للمخرجات.