انتگرال صوری (Formal Integral)، در ریاضیات (Mathematics)
انواع انتگرال (Integral) را در آموزش زیر شرح دادیم :
انتگرال صوری (Formal Integral) :
انتگرال صوری (Formal Integral) به انتگرال هایی گفته می شود که به صورت نمادین و بدون در نظر گرفتن همگرایی یا مسائل تحلیلی نوشته می شوند. این مفهوم بیشتر در جبر و ترکیبیات کاربرد دارد، جایی که سری های توانی صوری و انتگرال گیری صوری از آن ها معنا پیدا می کند.
در حسابان صوری (formal calculus)، با سری های توانی بدون نگرانی از همگرایی کار می شود. انتگرال صوری از یک سری توانی
\[ \sum a_n x^n \]به صورت
\[ \sum \frac{a_n}{n+1} x^{n+1} \]تعریف می شود، بدون آنکه به بازه همگرایی توجه شود.
در فیزیک نظری، گاهی انتگرال های نوسانی یا واگرا به صورت صوری با روش هایی مانند بازبهنجارش یا ادامه تحلیلی محاسبه می شوند.
مثال: در نظریه میدان کوانتومی، انتگرال های فاینمن اغلب واگرا هستند و ابتدا به صورت صوری نوشته می شوند و سپس با روش های منظم سازی (مانند قطعی یا بُعدی) معنی می یابند.
