डिफरेंशियल फॉर्म्स (Differential Forms)

डिफरेंशियल फॉर्म्स एंटीसिमेट्रिक (antisymmetric) वस्तुएं हैं जिन्हें ओरिएंटेड मैनिफोल्ड्स (oriented manifolds) पर इंटीग्रेट किया जा सकता है, और एक्सटीरियर डेरिवेटिव (exterior derivative) स्टोक्स के प्रमेय (Stokes' theorem) के साथ मिलकर वेक्टर कैलकुलस (vector calculus) के शास्त्रीय प्रमेयों को एक ही कथन में एकीकृत करता है।

Definition

एक स्मूथ मैनिफोल्ड (smooth manifold) पर एक डिफरेंशियल k-फॉर्म (k-form) स्पर्शरेखा स्थानों (tangent spaces) पर वैकल्पिक k-रेखीय कार्यों (alternating k-linear functions) का एक स्मूथ क्षेत्र है; फॉर्म्स को जोड़ा जा सकता है, वेज प्रोडक्ट द्वारा गुणा किया जा सकता है, एक्सटीरियर डेरिवेटिव द्वारा डिफरेंशिएट किया जा सकता है, और ओरिएंटेड k-आयामी सबमैनिफोल्ड्स (submanifolds) पर इंटीग्रेट किया जा सकता है।

Scope

यह विषय डिफरेंशियल फॉर्म्स, वेज प्रोडक्ट (wedge product), एक्सटीरियर डेरिवेटिव और स्मूथ मैप्स (smooth maps) के तहत पुलबैक (pullback) के एक्सटीरियर बीजगणित (exterior algebra) को विकसित करता है। यह टॉप-डिग्री फॉर्म्स (top-degree forms) के ओरिएंटेशन (orientation) और इंटीग्रेशन (integration) को परिभाषित करता है, जो सामान्यीकृत स्टोक्स के प्रमेय (generalized Stokes' theorem) में परिणत होता है, और डी राम कोहोमोलोजी (de Rham cohomology) को एक क्लोज्ड फॉर्म (closed form) के एग्जैक्ट (exact) होने में बाधा के रूप में प्रस्तुत करता है। इंटीरियर प्रोडक्ट (interior product), कार्टन के मैजिक फॉर्मूला (Cartan's magic formula) के माध्यम से लाई डेरिवेटिव (Lie derivative), और वॉल्यूम (volume) और फ्लक्स (flux) के अनुप्रयोग इस चित्र को पूरा करते हैं, जो स्मूथ ज्यामिति (smooth geometry) को टोपोलॉजी (topology) से जोड़ते हैं।

Core questions

• एंटीसिमेट्री (antisymmetry) उन वस्तुओं के लिए सही स्थिति क्यों है जिन्हें निर्देशांक से स्वतंत्र रूप से इंटीग्रेट किया जा सकता है?
• एक्सटीरियर डेरिवेटिव एक साथ ग्रेडिएंट (gradient), कर्ल (curl) और डाइवर्जेंस (divergence) को कैसे सामान्यीकृत करता है?
• स्टोक्स का प्रमेय कैलकुलस के मौलिक प्रमेय (fundamental theorem of calculus), ग्रीन के (Green's), गॉस के (Gauss's), और शास्त्रीय स्टोक्स के प्रमेय को कैसे एकीकृत करता है?
• डी राम कोहोमोलोजी क्लोज्ड फॉर्म्स के बारे में क्या मापती है जो एग्जैक्ट नहीं हैं?

Key concepts

• एक्सटीरियर बीजगणित और वेज प्रोडक्ट
• एक्सटीरियर डेरिवेटिव और पुलबैक
• फॉर्म्स का ओरिएंटेशन और इंटीग्रेशन
• सामान्यीकृत स्टोक्स का प्रमेय
• डी राम कोहोमोलोजी और क्लोज्ड बनाम एग्जैक्ट फॉर्म्स

Clinical relevance

डिफरेंशियल फॉर्म्स इलेक्ट्रोमैग्नेटिज्म (electromagnetism) (मैक्सवेल के समीकरण फॉर्म समीकरणों के रूप में), हैमिल्टनियन मैकेनिक्स (Hamiltonian mechanics) (सिम्प्लेक्टिक फॉर्म्स), और गेज थ्योरी (gauge theory) की प्राकृतिक भाषा हैं, और वे डी राम के प्रमेय (de Rham's theorem) के माध्यम से डिफरेंशियल ज्यामिति को बीजगणितीय टोपोलॉजी (algebraic topology) से जोड़ते हैं।

History

ग्रासमैन (Grassmann) के एक्सटीरियर बीजगणित पर आधारित, कार्टन (Cartan) ने 20वीं सदी की शुरुआत में डिफरेंशियल फॉर्म्स के कैलकुलस (calculus) को विकसित किया; डी राम के प्रमेय (1931) ने उनकी कोहोमोलोजी को मैनिफोल्ड की टोपोलॉजी से जोड़ा, जिससे फॉर्म्स ज्यामिति और टोपोलॉजी दोनों के लिए केंद्रीय बन गए।

Key figures

• Élie Cartan
• Georges de Rham
• Hermann Grassmann

Seminal works

• lee2012
• tu2011

Frequently asked questions

फॉर्म्स को एंटीसिमेट्रिक क्यों होना चाहिए?

एंटीसिमेट्री ओरिएंटेशन को एन्कोड करती है और ओरिएंटेड मैनिफोल्ड्स पर इंटीग्रेशन को निर्देशांक-स्वतंत्र बनाती है — परिवर्तन-चर जैकोबियन (change-of-variables Jacobian) ठीक उसी निर्धारक (determinant) के रूप में प्रकट होता है जिसे वेज प्रोडक्ट उत्पन्न करता है।

एक क्लोज्ड और एक एग्जैक्ट फॉर्म में क्या अंतर है?

एक क्लोज्ड फॉर्म का एक्सटीरियर डेरिवेटिव शून्य होता है; एक एग्जैक्ट फॉर्म दूसरे फॉर्म का एक्सटीरियर डेरिवेटिव होता है। प्रत्येक एग्जैक्ट फॉर्म क्लोज्ड होता है, और डी राम कोहोमोलोजी मापती है कि कितने क्लोज्ड फॉर्म एग्जैक्ट होने में विफल रहते हैं।