دوال خاصة هي دوال تحليلية غير ابتدائية ظهرت في القرن ١٩ كحلول لمعادلات فيزيائية ورياضية، وخاصة معادلات تفاضلية ثنائية ورابعة؛ تشمل أمثلة غاما وبيتا وزيتا والدوال فوق الهندسية وBessel وLegendre وAiry وHankel ودالة الخطأ وSinc والتكاملات الإهليلجية، وتُستخدم في حساب التكاملات والمتسلسلات ونمذجة الموجات والتوزيعات الاحتمالية.
متباينة غرونفل أداة تحليلية تربط دالة غير سالبة φ بدالة ψ مستمرة عبر حدود تكاملية واشتقاقية، وتستعمل خصوصاً لإيجاد تقديرات لحلول معادلات تفاضلية عادية وإثبات وحدة الحل في مسألة كوشي؛ إذا كانت φ(t)≤K+L∫_{t0}^{t}ψ(s)φ(s)ds فتنطبق φ(t)≤K exp(L∫_{t0}^{t}ψ(s)ds)، وبصيغة مشتقة يؤدي ذلك إلى φ′(t)≤Lψ(t)φ(t) ومن ثم φ(t)≤φ(t0)exp(L∫_{t0}^{t}ψ(s)ds).
