यूक्लिडियन समष्टि पर फलन

गणित में, यूक्लिडियन स्थान पर कैलकुलस, यूक्लिडियन स्पेस पर कार्यों के कैलकुलस के लिए एक या अनेक चर में कार्यों के कैलकुलस का एक सामान्यीकरण है। $\mathbb {R} ^{n}$ साथ ही एक परिमित-आयामी वास्तविक सदिश स्थान। इस कैलकुलस को विशेष रूप से संयुक्त राज्य अमेरिका में उन्नत कैलकुलस के रूप में भी जाना जाता है। यह बहुपरिवर्तनीय कैलकुलस के समान है, किन्तु किसी भी तरह से अधिक परिष्कृत है क्योंकि यह रैखिक बीजगणित (या कुछ कार्यात्मक विश्लेषण) का अधिक व्यापक रूप से उपयोग करता है और अंतर ज्यामिति से कुछ अवधारणाओं को सम्मिलित करता है जैसे कि अंतर रूपों और अंतर रूपों के संदर्भ में स्टोक्स का सूत्र। रैखिक बीजगणित का यह व्यापक उपयोग बानाच रिक्त स्थान या टोपोलॉजिकल सदिश रिक्त स्थान पर कैलकुलस के लिए बहुपरिवर्तनीय कैलकुलस के प्राकृतिक सामान्यीकरण की भी अनुमति देता है।

यूक्लिडियन स्पेस पर कैलकुलस भी मैनिफोल्ड्स पर कैलकुलस का एक स्थानीय मॉडल है, जो मैनिफोल्ड्स पर कार्यों का एक सिद्धांत है।

मूलभूतधारणाएँ

See also: Function of a real variable and Multivariable calculus

एक वास्तविक चर में कार्य

यह खंड एक-चर कलन में फलन सिद्धांत की एक संक्षिप्त समीक्षा है।

एक वास्तविक-मूल्यवान कार्य $f:\mathbb {R} \to \mathbb {R}$ पर निरंतर है $a$ यदि यह लगभग स्थिर है $a$; अर्थात।,

$\lim _{h\to 0}(f(a+h)-f(a))=0.$

इसके विपरीत, फलन $f$ पर भिन्न है $a$ यदि यह लगभग रैखिक है $a$; अर्थात, कुछ वास्तविक संख्या है $\lambda$ ऐसा है कि

$\lim _{h\to 0}{\frac {f(a+h)-f(a)-\lambda h}{h}}=0.$

(सरलता के लिए, मान लीजिए $f(a)=0$. तब फिर उपरोक्त का कारणयही है $f(a+h)=\lambda h+g(a,h)$ कहाँ $g(a,h)$ h, 0 पर जाने की तुलना में तेजी से 0 पर जाता है और, इस अर्थ में, $f(a+h)$ जैसा व्यवहार करता है $\lambda h$.)

जो नंबर $\lambda$ पर निर्भर करता है $a$ और इस प्रकार दर्शाया गया है $f'(a)$. यदि $f$ खुले अंतराल पर अवकलनीय है $U$ और यदि $f'$ पर एक सतत कार्य है $U$, तब $f$ सी कहा जाता है¹फलन. सामान्यतः अधिक, $f$ सी कहा जाता है^k फलन यदि यह व्युत्पन्न है $f'$ सी है^k-1फलन। टेलर के प्रमेय में कहा गया है कि एक सी^k फलन वास्तव में एक फलन है जिसे डिग्री k के बहुपद द्वारा अनुमानित किया जा सकता है। यदि $f:\mathbb {R} \to \mathbb {R}$ एक सी है¹कार्य और $f'(a)\neq 0$ कुछ के लिए $a$, तब कोई $f'(a)>0$ या $f'(a)<0$; अर्थात, या तब $f$ किसी खुले अंतराल में सख्ती से बढ़ रहा है या सख्ती से घट रहा है। विशेष रूप से, $f:f^{-1}(U)\to U$ कुछ खुले अंतराल के लिए विशेषण है $U$ युक्त $f(a)$. व्युत्क्रम फलन प्रमेय तब कहता है कि व्युत्क्रम फलन $f^{-1}$ यू पर डेरिवेटिव के साथ अवकलनीय है: के लिए $y\in U$

$(f^{-1})'(y)={1 \over f'(f^{-1}(y))}.$

मानचित्र और श्रृंखला नियम का व्युत्पन्न

कार्यों के लिए $f$ समतल में या अधिक सामान्यतः यूक्लिडियन स्थान पर परिभाषित $\mathbb {R} ^{n}$, उन कार्यों पर विचार करना आवश्यक है जो सदिश-मूल्यवान या आव्युह-मूल्यवान हैं। इसे अपरिवर्तनीय तरीके से (अर्थात, समन्वय-मुक्त तरीके से) करना वैचारिक रूप से भी सहायक है। किसी बिंदु पर ऐसे मानचित्रों के व्युत्पन्न तब सदिश या रैखिक मानचित्र होते हैं, वास्तविक संख्याएँ नहीं।

होने देना $f:X\to Y$ एक खुले उपसमुच्चय से एक मानचित्र बनें $X$ का $\mathbb {R} ^{n}$ एक खुले उपसमुच्चय के लिए $Y$ का $\mathbb {R} ^{m}$. फिर नक्शा $f$ एक बिंदु पर अवकलनीय फलन कहा जाता है $x$ में $X$ यदि कोई (आवश्यक रूप से अद्वितीय) रैखिक परिवर्तन उपस्तिथ है $f'(x):\mathbb {R} ^{n}\to \mathbb {R} ^{m}$, का व्युत्पन्न कहा जाता है $f$ पर $x$, ऐसा है कि

$\lim _{h\to 0}{\frac {1}{|h|}}|f(x+h)-f(x)-f'(x)h|=0$

कहाँ $f'(x)h$ रैखिक परिवर्तन का अनुप्रयोग है $f'(x)$ को $h$. यदि $f$ पर भिन्न है $x$, तब यह निरंतर है $x$ तब से

$|f(x+h)-f(x)|\leq (|h|^{-1}|f(x+h)-f(x)-f'(x)h|)|h|+|f'(x)h|\to 0$ जैसा $h\to 0$.

जैसा कि एक-चर चूँकिमें है, वहाँ है

Chain rule —  Let $f$ be as above and $g:Y\to Z$ a map for some open subset $Z$ of $\mathbb {R} ^{l}$. If $f$ is differentiable at $x$ and $g$ differentiable at $y=f(x)$, then the composition $g\circ f$ is differentiable at $x$ with the derivative

$(g\circ f)'(x)=g'(y)\circ f'(x).$

यह बिल्कुल एक चर में कार्यों के लिए सिद्ध होता है। मुख्य रूप से, संकेतन के साथ ${\widetilde {h}}=f(x+h)-f(x)$, अपने पास:

${\begin{aligned}&{\frac {1}{|h|}}|g(f(x+h))-g(y)-g'(y)f'(x)h|\\&\leq {\frac {1}{|h|}}|g(y+{\widetilde {h}})-g(y)-g'(y){\widetilde {h}}|+{\frac {1}{|h|}}|g'(y)(f(x+h)-f(x)-f'(x)h)|.\end{aligned}}$

यहाँ, तब से $f$ पर भिन्न है $x$, दाईं ओर दूसरा पद शून्य हो जाता है $h\to 0$. जहाँ तक पहले पद की बात है, इसे इस प्रकार लिखा जा सकता है:

${\begin{cases}{\frac {|{\widetilde {h}}|}{|h|}}|g(y+{\widetilde {h}})-g(y)-g'(y){\widetilde {h}}|/|{\widetilde {h}}|,&{\widetilde {h}}\neq 0,\\0,&{\widetilde {h}}=0.\end{cases}}$

अभी, निरंतरता दर्शाने वाले तर्क से $f$ पर $x$, हम देखते हैं ${\frac {|{\widetilde {h}}|}{|h|}}$ घिरा है। भी, ${\widetilde {h}}\to 0$ जैसा $h\to 0$ तब से $f$ पर निरंतर है $x$. इसलिए, पहला पद भी शून्य हो जाता है $h\to 0$ की भिन्नता से $g$ पर $y$. $\square$ वो नक्शा $f$ जैसा कि ऊपर कहा गया है निरंतर अवकलनीय या $C^{1}$ यदि यह डोमेन पर भिन्न है और डेरिवेटिव भी लगातार भिन्न होते हैं; अर्थात।, $x\mapsto f'(x)$ सतत है.

Corollary — If $f,g$ are continuously differentiable, then $g\circ f$ is continuously differentiable.

एक रैखिक परिवर्तन के रूप में, $f'(x)$ एक द्वारा दर्शाया गया है $m\times n$-आव्युह, जिसे जैकोबियन आव्युह कहा जाता है $Jf(x)$ का $f$ पर $x$ और हम इसे इस प्रकार लिखते हैं:

$(Jf)(x)={\begin{bmatrix}{\frac {\partial f_{1}}{\partial x_{1}}}(x)&\cdots &{\frac {\partial f_{1}}{\partial x_{n}}}(x)\\\vdots &\ddots &\vdots \\{\frac {\partial f_{m}}{\partial x_{1}}}(x)&\cdots &{\frac {\partial f_{m}}{\partial x_{n}}}(x)\end{bmatrix}}.$

ले रहा $h$ होना $he_{j}$, $h$ एक वास्तविक संख्या और $e_{j}=(0,\cdots ,1,\cdots ,0)$ जे-वें मानक आधार तत्व, हम देखते हैं कि भिन्नता $f$ पर $x$ तात्पर्य:

$\lim _{h\to 0}{\frac {f_{i}(x+he_{j})-f_{i}(x)}{h}}={\frac {\partial f_{i}}{\partial x_{j}}}(x)$

कहाँ $f_{i}$ के i-वें घटक को दर्शाता है $f$. अर्थात प्रत्येक घटक $f$ पर भिन्न है $x$ व्युत्पन्न के साथ प्रत्येक चर में ${\frac {\partial f_{i}}{\partial x_{j}}}(x)$. जैकोबियन आव्युह के संदर्भ में, श्रृंखला नियम कहता है $J(g\circ f)(x)=Jg(y)Jf(x)$; अर्थात, जैसे $(g\circ f)_{i}=g_{i}\circ f$,

${\frac {\partial (g_{i}\circ f)}{\partial x_{j}}}(x)={\frac {\partial g_{i}}{\partial y_{1}}}(y){\frac {\partial f_{1}}{\partial x_{j}}}(x)+\cdots +{\frac {\partial g_{i}}{\partial y_{m}}}(y){\frac {\partial f_{m}}{\partial x_{j}}}(x),$

जो शृंखला नियम का वह रूप है जो अधिकांशतः बताया जाता है।

उपरोक्त का आंशिक उलटा ही सही है। अर्थात्, यदि आंशिक व्युत्पन्न ${\partial f_{i}}/{\partial x_{j}}$ तब, सभी परिभाषित और निरंतर हैं $f$ निरंतर भिन्न है। यह माध्य मूल्य असमानता का परिणाम है:

Mean value inequality —  Given the map $f:X\to Y$ as above and points $x,y$ in $X$ such that the line segment between $x,y$ lies in $X$, if $t\mapsto f(x+ty)$ is continuous on $[0,1]$ and is differentiable on the interior, then, for any vector $v\in \mathbb {R} ^{m}$,

$|\Delta _{y}f(x)-v|\leq \sup _{0<t<1}\left|{\frac {d}{dt}}f(x+ty)-v\right|$

where $\Delta _{y}f(x)=f(x+y)-f(x).$

(माध्य मूल्य असमानता का यह संस्करण माध्य मूल्य असमानता से अनुसरण करता है Mean value theorem § Mean value theorem for vector-valued functions फलन पर क्रियान्वित किया गया $[0,1]\to \mathbb {R} ^{m},\,t\mapsto f(x+ty)-tv$, जहां माध्य मूल्य असमानता पर प्रमाण दिया गया है।)

वास्तव में, चलो $g(x)=(Jf)(x)$. हम ध्यान दें कि, यदि $y=y_{i}e_{i}$, तब

${\frac {d}{dt}}f(x+ty)={\frac {\partial f}{\partial x_{i}}}(x+ty)y=g(x+ty)(y_{i}e_{i}).$

सरलता के लिए, मान लीजिए $n=2$ (सामान्य चूँकिके लिए तर्क समान है)। फिर, औसत मूल्य असमानता से, ऑपरेटर मानदंड के साथ $\|\cdot \|$,

${\begin{aligned}&|\Delta _{y}f(x)-g(x)y|\\&\leq |\Delta _{y_{1}e_{1}}f(x_{1},x_{2}+y_{2})-g(x)(y_{1}e_{1})|+|\Delta _{y_{2}e_{2}}f(x_{1},x_{2})-g(x)(y_{2}e_{2})|\\&\leq |y_{1}|\sup _{0<t<1}\|g(x_{1}+ty_{1},x_{2}+y_{2})-g(x)\|+|y_{2}|\sup _{0<t<1}\|g(x_{1},x_{2}+ty_{2})-g(x)\|,\end{aligned}}$

जो यह दर्शाता हे $|\Delta _{y}f(x)-g(x)y|/|y|\to 0$ आवश्यकता अनुसार। $\square$ उदाहरण: चलो $U$ आकार n के सभी व्युत्क्रमणीय वास्तविक वर्ग आव्यूहों का समुच्चय बनें। टिप्पणी $U$ के एक खुले उपसमुच्चय के रूप में पहचाना जा सकता है $\mathbb {R} ^{n^{2}}$ निर्देशांक के साथ $x_{ij},0\leq i,j\neq n$. फलन पर विचार करें $f(g)=g^{-1}$ = का व्युत्क्रम आव्युह $g$ पर परिभाषित $U$. इसके व्युत्पन्न का अनुमान लगाने के लिए, मान लें $f$ अवकलनीय है और वक्र पर विचार करें $c(t)=ge^{tg^{-1}h}$ कहाँ $e^{A}$ का कारणआव्युह घातांक है $A$. श्रृंखला नियम द्वारा क्रियान्वित किया गया $f(c(t))=e^{-tg^{-1}h}g^{-1}$, अपने पास:

$f'(c(t))\circ c'(t)=-g^{-1}he^{-tg^{-1}h}g^{-1}$.

ले रहा $t=0$, हम पाते हैं:

$f'(g)h=-g^{-1}hg^{-1}$.

अभी, हमारे पास है:

$\|(g+h)^{-1}-g^{-1}+g^{-1}hg^{-1}\|\leq \|(g+h)^{-1}\|\|h\|\|g^{-1}hg^{-1}\|.$

चूंकि ऑपरेटर मानदंड यूक्लिडियन मानदंड के सामान्तर है $\mathbb {R} ^{n^{2}}$ (कोई भी मानदंड एक दूसरे के समतुल्य हैं), इसका तात्पर्य है $f$ विभेदनीय है. अंत में, सूत्र से $f'$, हम इसका आंशिक व्युत्पन्न देखते हैं $f$ चिकने हैं (असीम रूप से भिन्न); कहाँ से, $f$ चिकना भी है.

उच्च डेरिवेटिव और टेलर सूत्र

यदि $f:X\to \mathbb {R} ^{m}$ जहाँ भिन्न है $X\subset \mathbb {R} ^{n}$ एक खुला उपसमुच्चय है, तब व्युत्पन्न मानचित्र निर्धारित करते हैं $f':X\to \operatorname {Hom} (\mathbb {R} ^{n},\mathbb {R} ^{m})$, कहाँ $\operatorname {Hom}$ सदिश स्थानों के मध्य समरूपता को दर्शाता है; अर्थात, रैखिक मानचित्र। यदि $f'$ तब फिर, भिन्न-भिन्न है $f'':X\to \operatorname {Hom} (\mathbb {R} ^{n},\operatorname {Hom} (\mathbb {R} ^{n},\mathbb {R} ^{m}))$. यहाँ, का कोडोमेन $f''$ द्विरेखीय मानचित्रों के स्थान से इसकी पहचान निम्न द्वारा की जा सकती है:

$\operatorname {Hom} (\mathbb {R} ^{n},\operatorname {Hom} (\mathbb {R} ^{n},\mathbb {R} ^{m})){\overset {\varphi }{\underset {\sim }{\to }}}\{(\mathbb {R} ^{n})^{2}\to \mathbb {R} ^{m}{\text{ bilinear}}\}$

कहाँ $\varphi (g)(x,y)=g(x)y$ और $\varphi$ व्युत्क्रम के साथ विशेषण है $\psi$ द्वारा दिए गए $(\psi (g)x)y=g(x,y)$. सामान्य रूप में, $f^{(k)}=(f^{(k-1)})'$ से एक नक्शा है $X$ के स्थान पर $k$-बहुरेखीय मानचित्र $(\mathbb {R} ^{n})^{k}\to \mathbb {R} ^{m}$.

जिस प्रकार $f'(x)$ एक आव्युह (जैकोबियन आव्युह) द्वारा दर्शाया जाता है, जब $m=1$ (एक द्विरेखीय मानचित्र एक द्विरेखीय रूप है), द्विरेखीय रूप $f''(x)$ एक आव्युह द्वारा दर्शाया जाता है जिसे हेस्सियन आव्युह कहा जाता है $f$ पर $x$; अर्थात्, वर्ग आव्युह $H$ आकार का $n$ ऐसा है कि $f''(x)(y,z)=(Hy,z)$, जहां परिंग का तात्पर्य किसी आंतरिक उत्पाद से है $\mathbb {R} ^{n}$, और $H$ जैकोबियन आव्युह के अतिरिक्त और कोई नहीं है $f':X\to (\mathbb {R} ^{n})^{*}\simeq \mathbb {R} ^{n}$. $(i,j)$वें>-वें की प्रविष्टि $H$ इस प्रकार स्पष्ट रूप से दिया गया है $H_{ij}={\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}(x)$.

इसके अतिरिक्त, यदि $f''$ अस्तित्व में है और निरंतर है, फिर आव्युह $H$ सममित आव्युह है, इस तथ्य को दूसरे डेरिवेटिव की समरूपता के रूप में जाना जाता है। इसे औसत मूल्य असमानता का उपयोग करके देखा जाता है। वैक्टर के लिए $u,v$ में $\mathbb {R} ^{n}$, औसत मूल्य असमानता का दो बार उपयोग करने पर, हमारे पास है:

$|\Delta _{v}\Delta _{u}f(x)-f''(x)(u,v)|\leq \sup _{0<t_{1},t_{2}<1}|f''(x+t_{1}u+t_{2}v)(u,v)-f''(x)(u,v)|,$

जो कहते हैं

$f''(x)(u,v)=\lim _{s,t\to 0}(\Delta _{tv}\Delta _{su}f(x)-f(x))/(st).$

चूँकि दाहिना भाग सममित है $u,v$, बाईं ओर भी ऐसा ही है: $f''(x)(u,v)=f''(x)(v,u)$. प्रेरण द्वारा, यदि $f$ है $C^{k}$, फिर k-बहुरेखीय मानचित्र $f^{(k)}(x)$ सममित है; अर्थात, आंशिक व्युत्पन्न लेने का क्रम कोई मायने नहीं रखता।

जैसा कि एक चर के चूँकिमें, टेलर श्रृंखला विस्तार को भागों द्वारा एकीकरण द्वारा सिद्ध किया जा सकता है:

$f(z+(h,k))=\sum _{a+b<n}\partial _{x}^{a}\partial _{y}^{b}f(z){h^{a}k^{b} \over a!b!}+n\int _{0}^{1}(1-t)^{n-1}\sum _{a+b=n}\partial _{x}^{a}\partial _{y}^{b}f(z+t(h,k)){h^{a}k^{b} \over a!b!}\,dt.$

टेलर के सूत्र में किसी फलन को चर द्वारा विभाजित करने का प्रभाव होता है, जिसे सूत्र के अगले विशिष्ट सैद्धांतिक उपयोग द्वारा चित्रित किया जा सकता है।

उदाहरण: होने देना $T:{\mathcal {S}}\to {\mathcal {S}}$ सदिश समष्टि के मध्य एक रेखीय मानचित्र बनें ${\mathcal {S}}$ सुचारू कार्यों पर $\mathbb {R} ^{n}$ तेजी से घटते डेरिवेटिव के साथ; अर्थात।, $\sup |x^{\beta }\partial ^{\alpha }\varphi |<\infty$ किसी भी मल्टी-इंडेक्स के लिए $\alpha ,\beta$. (अंतरिक्ष ${\mathcal {S}}$ श्वार्ट्ज स्थान कहा जाता है।) प्रत्येक के लिए $\varphi$ में ${\mathcal {S}}$, टेलर का सूत्र बताता है कि हम लिख सकते हैं:

$\varphi -\psi \varphi (y)=\sum _{j=1}^{n}(x_{j}-y_{j})\varphi _{j}$

साथ $\varphi _{j}\in {\mathcal {S}}$, कहाँ $\psi$ कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य है और $\psi (y)=1$. अभी, मान लीजिए $T$ निर्देशांक के साथ आवागमन; अर्थात।, $T(x_{j}\varphi )=x_{j}T\varphi$. तब

$T\varphi -\varphi (y)T\psi =\sum _{j=1}^{n}(x_{j}-y_{j})T\varphi _{j}$.

उपरोक्त का मूल्यांकन करते हुए $y$, हम पाते हैं $T\varphi (y)=\varphi (y)T\psi (y).$ दूसरे शब्दों में, $T$ किसी फलन द्वारा गुणन है $m$; अर्थात।, $T\varphi =m\varphi$. अभी आगे मान लीजिये $T$ आंशिक भिन्नता के साथ आवागमन करता है। फिर हम उसे आसानी से देख पाते हैं $m$ एक स्थिरांक है; $T$ एक स्थिरांक से गुणा है.

(एक तरफ: उपरोक्त चर्चा फूरियर व्युत्क्रम सूत्र को लगभग सिद्ध करती है। वास्तव में, चलो $F,R:{\mathcal {S}}\to {\mathcal {S}}$ फूरियर रूपांतरण और प्रतिबिंब बनें; अर्थात।, $(R\varphi )(x)=\varphi (-x)$. फिर, इसमें सम्मिलित अभिन्न अंग से सीधे निपटते हुए, कोई भी देख सकता है $T=RF^{2}$ निर्देशांक और आंशिक विभेदन के साथ आवागमन; इस तरह, $T$ एक स्थिरांक से गुणा है. यह लगभग एक प्रमाण है क्योंकि किसी को अभी भी इस स्थिरांक की गणना करनी है।)

टेलर सूत्र का आंशिक विपरीत भी है; बोरेल की लेम्मा और व्हिटनी विस्तार प्रमेय देखें।

व्युत्क्रम फलन प्रमेय और निमज्जन प्रमेय

Inverse function theorem — Let $f:X\to Y$ be a map between open subsets $X,Y$ in $\mathbb {R} ^{n},\mathbb {R} ^{m}$. If $f$ is continuously differentiable (or more generally $C^{k}$) and $f'(x)$ is bijective, there exists neighborhoods $U,V$ of $x,f(x)$ and the inverse $f^{-1}:V\to U$ that is continuously differentiable (or respectively $C^{k}$).

ए $C^{k}$-मानचित्र के साथ $C^{k}$- व्युत्क्रम को a कहा जाता है $C^{k}$-विभिन्नरूपता. इस प्रकार, प्रमेय कहता है कि, एक मानचित्र के लिए $f$ एक बिंदु पर परिकल्पना को संतुष्ट करना $x$, $f$ निकट एक भिन्नरूपता है $x,f(x).$ प्रमाण के लिए देखें Inverse function theorem § A proof using successive approximation.

अंतर्निहित कार्य प्रमेय कहता है: एक नक्शा दिया $f:\mathbb {R} ^{n}\times \mathbb {R} ^{m}\to \mathbb {R} ^{m}$, यदि $f(a,b)=0$, $f$ है $C^{k}$ के एक पड़ोस में $(a,b)$ और का व्युत्पन्न $y\mapsto f(a,y)$ पर $b$ उलटा है, तब एक भिन्न मानचित्र उपस्तिथ है $g:U\to V$ कुछ पड़ोस के लिए $U,V$ का $a,b$ ऐसा है कि $f(x,g(x))=0$. प्रमेय व्युत्क्रम फलन प्रमेय से अनुसरण करता है; देखना Inverse function theorem § Implicit function theorem.

एक अन्य परिणाम विसर्जन प्रमेय है।

यूक्लिडियन स्पेस पर इंटीग्रेबल फ़ंक्शंस

एक अंतराल का विभाजन $[a,b]$ एक सीमित क्रम है $a=t_{0}\leq t_{1}\leq \cdots \leq t_{k}=b$. एक विभाजन $P$ एक आयत का $D$ (अंतराल का उत्पाद) में $\mathbb {R} ^{n}$ फिर इसके किनारों के विभाजन सम्मिलित हैं $D$; अर्थात, यदि $D=\prod _{1}^{n}[a_{i},b_{i}]$, तब $P$ के होते हैं $P_{1},\dots ,P_{n}$ ऐसा है कि $P_{i}$ का एक विभाजन है $[a_{i},b_{i}]$. एक फलन दिया गया $f$ पर $D$, फिर हम इसके ऊपरी रीमैन योग को इस प्रकार परिभाषित करते हैं:

$U(f,P)=\sum _{Q\in P}(\sup _{Q}f)\operatorname {vol} (Q)$

कहाँ

• $Q$ का एक विभाजन तत्व है $P$; अर्थात।, $Q=\prod _{i=1}^{n}[t_{i,j_{i}},t_{i,j_{i}+1}]$ कब $P_{i}:a_{i}=t_{i,0}\leq \dots \cdots \leq t_{i,k_{i}}=b_{i}$ का एक विभाजन है $[a_{i},b_{i}]$.
• आयतन $\operatorname {vol} (Q)$ का $Q$ सामान्य यूक्लिडियन आयतन है; अर्थात।, $\operatorname {vol} (Q)=\prod _{1}^{n}(t_{i,j_{i}+1}-t_{i,j_{i}})$.

निचला रीमैन योग $L(f,P)$ का $f$ फिर प्रतिस्थापित करके परिभाषित किया जाता है $\sup$ द्वारा $\inf$. अंत में, फलन $f$ यदि यह परिबद्ध है तब इसे पूर्णांकीय फलन कहा जाता है $\sup\{L(f,P)\mid P\}=\inf\{U(f,P)\mid P\}$. उस स्थिति में, सामान्य मान को इस प्रकार दर्शाया जाता है $\int _{D}f\,dx$. का एक उपसमुच्चय $\mathbb {R} ^{n}$ कहा जाता है कि प्रत्येक के लिए माप शून्य है $\epsilon >0$, कुछ संभवतः अपरिमित रूप से अनेक आयतें हैं $D_{1},D_{2},\dots ,$ जिसके संघ में समुच्चय और सम्मिलित है $\sum _{i}\operatorname {vol} (D_{i})<\epsilon .$ एक प्रमुख प्रमेय है

Theorem —  A bounded function $f$ on a closed rectangle is integrable if and only if the set $\{x|f{\text{ is not continuous at }}x\}$ has measure zero.

अगला प्रमेय हमें एक फलन के इंटीग्रल की गणना एक-चर में फलन के इंटीग्रल्स की पुनरावृत्ति के रूप में करने की अनुमति देता है:

Fubini's theorem — If $f$ is a continuous function on a closed rectangle $D=\prod [a_{i},b_{i}]$ (in fact, this assumption is too strong), then

$\int _{D}f\,dx=\int _{a_{n}}^{b_{n}}\cdots \left(\int _{a_{1}}^{b_{1}}f(x_{1},\dots ,x_{n})dx_{1}\right)dx_{2}\cdots dx_{n}.$

विशेष रूप से, एकीकरण का क्रम बदला जा सकता है।

अंततः, यदि $M\subset \mathbb {R} ^{n}$ एक परिबद्ध खुला उपसमुच्चय है और $f$ एक फलन चालू $M$, फिर हम परिभाषित करते हैं $\int _{M}f\,dx:=\int _{D}\chi _{M}f\,dx$ कहाँ $D$ एक बंद आयत है जिसमें $M$ और $\chi _{M}$ पर विशेषता कार्य है $M$; अर्थात।, $\chi _{M}(x)=1$ यदि $x\in M$ और $=0$ यदि $x\not \in M,$ परंतु $\chi _{M}f$ अभिन्न है.

सतह अभिन्न

यदि एक घिरी हुई सतह $M$ में $\mathbb {R} ^{3}$ द्वारा पैरामीट्रिज्ड किया गया है ${\textbf {r}}={\textbf {r}}(u,v)$ डोमेन के साथ $D$, फिर एक मापने योग्य फलन का सतह अभिन्न अंग $F$ पर $M$ परिभाषित और निरूपित किया गया है:

$\int _{M}F\,dS:=\int \int _{D}(F\circ {\textbf {r}})|{\textbf {r}}_{u}\times {\textbf {r}}_{v}|\,dudv$

यदि $F:M\to \mathbb {R} ^{3}$ सदिश-मूल्यवान है, तब हम परिभाषित करते हैं

$\int _{M}F\cdot dS:=\int _{M}(F\cdot {\textbf {n}})\,dS$

कहाँ ${\textbf {n}}$ के लिए एक बाहरी इकाई सामान्य सदिश है $M$. तब से ${\textbf {n}}={\frac {{\textbf {r}}_{u}\times {\textbf {r}}_{v}}{|{\textbf {r}}_{u}\times {\textbf {r}}_{v}|}}$, अपने पास:

$\int _{M}F\cdot dS=\int \int _{D}(F\circ {\textbf {r}})\cdot ({\textbf {r}}_{u}\times {\textbf {r}}_{v})\,dudv=\int \int _{D}\det(F\circ {\textbf {r}},{\textbf {r}}_{u},{\textbf {r}}_{v})\,dudv.$

सदिश विश्लेषण

स्पर्शरेखा सदिश और सदिश क्षेत्र

होने देना $c:[0,1]\to \mathbb {R} ^{n}$ एक अवकलनीय वक्र बनें। फिर वक्र का स्पर्शरेखा सदिश $c$ पर $t$ एक सदिश है $v$ बिंदु पर $c(t)$ जिसके घटक इस प्रकार दिए गए हैं:

$v=(c_{1}'(t),\dots ,c_{n}'(t))$.

उदाहरण के लिए, यदि $c(t)=(a\cos(t),a\sin(t),bt),a>0,b>0$ एक हेलिक्स है, तब t पर स्पर्शरेखा सदिश है:

$c'(t)=(-a\sin(t),a\cos(t),b).$

यह इस अंतर्ज्ञान से मेल खाता है कि हेलिक्स पर एक बिंदु एक स्थिर गति से ऊपर बढ़ता है।

यदि $M\subset \mathbb {R} ^{n}$ एक अवकलनीय वक्र या सतह है, फिर स्पर्शरेखा स्थान $M$ एक बिंदु पर p अवकलनीय वक्रों के सभी स्पर्शरेखा सदिशों का समुच्चय है $c:[0,1]\to M$ साथ $c(0)=p$.

एक सदिश क्षेत्र X, M में प्रत्येक बिंदु p के लिए एक स्पर्शरेखा सदिश है $X_{p}$ पी पर एम से इस तरह कि असाइनमेंट सुचारू रूप से बदलता रहे।

विभेदक रूप

सदिश क्षेत्र की दोहरी धारणा एक विभेदक रूप है। एक खुला उपसमुच्चय दिया गया $M$ में $\mathbb {R} ^{n}$, परिभाषा के अनुसार, एक विभेदक रूप|अंतर 1-रूप (अधिकांशतः केवल 1-रूप) $\omega$ एक बिंदु के लिए एक असाइनमेंट है $p$ में $M$ एक रैखिक कार्यात्मक $\omega _{p}$ स्पर्शरेखा स्थान पर $T_{p}M$ को $M$ पर $p$ जिससे कि असाइनमेंट सुचारू रूप से बदलता रहे। एक (वास्तविक या समष्टि-मूल्यवान) सुचारू कार्य के लिए $f$, 1-फॉर्म को परिभाषित करें $df$ द्वारा: एक स्पर्शरेखा सदिश के लिए $v$ पर $p$,

$df_{p}(v)=v(f)$

कहाँ $v(f)$ के दिशात्मक व्युत्पन्न को दर्शाता है $f$ दिशा में $v$ पर $p$. उदाहरण के लिए, यदि $x_{i}$ है $i$-th समन्वय फलन , तब $dx_{i,p}(v)=v_{i}$; अर्थात।, $dx_{i,p}$ मानक आधार पर दोहरे आधार हैं $T_{p}M$. फिर प्रत्येक अंतर 1-रूप $\omega$ के रूप में विशिष्ट रूप से लिखा जा सकता है

$\omega =f_{1}\,dx_{1}+\cdots +f_{n}\,dx_{n}$

कुछ सुचारु कार्यों के लिए $f_{1},\dots ,f_{n}$ पर $M$ (चूँकि, हर बिंदु के लिए $p$, रैखिक कार्यात्मक $\omega _{p}$ का एक अनोखा रैखिक संयोजन है $dx_{i}$ वास्तविक संख्या से अधिक)। अधिक सामान्यतः, एक अंतर k-फॉर्म एक बिंदु के लिए एक असाइनमेंट है $p$ में $M$ एक सदिश $\omega _{p}$ में $k$-वीं बाहरी शक्ति $\bigwedge ^{k}T_{p}^{*}M$ दोहरे स्थान का $T_{p}^{*}M$ का $T_{p}M$ जिससे कि असाइनमेंट सुचारू रूप से बदलता रहे।विशेष रूप से, 0-फ़ॉर्म एक सुचारु फलन के समान है। इसके अतिरिक्त, कोई भी $k$-प्रपत्र $\omega$ विशिष्ट रूप से इस प्रकार लिखा जा सकता है:

$\omega =\sum _{i_{1}<\cdots <i_{k}}f_{i_{1}\dots i_{k}}\,dx_{i_{1}}\wedge \cdots \wedge dx_{i_{k}}$

कुछ सुचारु कार्यों के लिए $f_{i_{1}\dots i_{k}}$.

एक सुचारु कार्य की तरह, हम विभेदक रूपों को भिन्न और एकीकृत कर सकते हैं। यदि $f$ तब फिर यह एक सुचारु कार्य है $df$ इस प्रकार लिखा जा सकता है:

$df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}$

तब से $v=\partial /\partial x_{j}|_{p}$, अपने पास: $df_{p}(v)={\frac {\partial f}{\partial x_{j}}}(p)=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}(p)\,dx_{i}(v)$. ध्यान दें कि, उपरोक्त अभिव्यक्ति में, बाईं ओर (जहां से दाईं ओर) निर्देशांक से स्वतंत्र है $x_{1},\dots ,x_{n}$; इस गुण को अंतर का अपरिवर्तनशीलता कहा जाता है।

संचालन $d$ इसे बाह्य व्युत्पन्न कहा जाता है और यह आवश्यकता के अनुसार आगमनात्मक रूप से किसी भी भिन्न रूप तक विस्तारित होता है (उत्पाद नियम)

$d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1)^{p}\alpha \wedge d\beta .$

कहाँ $\alpha ,\beta$ एक पी-फॉर्म और एक क्यू-फॉर्म हैं।

बाहरी व्युत्पन्न में वह महत्वपूर्ण गुण होता है $d\circ d=0$; वह है, बाहरी व्युत्पन्न $d$ एक भिन्न रूप का $d\omega$ शून्य है. यह संपत्ति दूसरे डेरिवेटिव की समरूपता का परिणाम है (मिश्रित आंशिक सामान्तर हैं)।

सीमा और अभिविन्यास

एक वृत्त को दक्षिणावर्त या वामावर्त दिशा में उन्मुख किया जा सकता है। गणितीय रूप से, हम कहते हैं कि एक उपसमुच्चय $M$ का $\mathbb {R} ^{n}$ यदि सामान्य सदिशों का एक सुसंगत विकल्प हो तब उन्मुख होता है $M$ जो लगातार बदलता रहता है. उदाहरण के लिए, एक वृत्त या, अधिक सामान्यतः, एक n-गोले को उन्मुख किया जा सकता है; अर्थात, ओरिएंटेबल. दूसरी ओर, एक मोबियस पट्टी (आयत की दो विपरीत भुजाओं द्वारा घुमाकर प्राप्त की गई सतह) उन्मुख नहीं हो सकती: यदि हम एक सामान्य सदिश से प्रारंभ करते हैं और पट्टी के चारों ओर यात्रा करते हैं, तब अंत में सामान्य सदिश विपरीत दिशा की ओर संकेत करेगा।

Proposition — A bounded differentiable region $M$ in $\mathbb {R} ^{n}$ of dimension $k$ is oriented if and only if there exists a nowhere-vanishing $k$-form on $M$ (called a volume form).

प्रस्ताव उपयोगी है क्योंकि यह हमें वॉल्यूम फॉर्म देकर एक अभिविन्यास देने की अनुमति देता है।

विभेदक रूपों का एकीकरण

यदि $\omega =f\,dx_{1}\wedge \cdots \wedge dx_{n}$ एक खुले उपसमुच्चय M पर एक विभेदक n-रूप है $\mathbb {R} ^{n}$ (कोई भी एन-फॉर्म वह फॉर्म है), फिर इसका एकीकरण खत्म हो गया $M$ मानक अभिविन्यास के साथ इसे इस प्रकार परिभाषित किया गया है:

$\int _{M}\omega =\int _{M}f\,dx_{1}\cdots dx_{n}.$

यदि एम को मानक एक के विपरीत अभिविन्यास दिया गया है, तब $\int _{M}\omega$ दाहिनी ओर के ऋणात्मक के रूप में परिभाषित किया गया है।

फिर हमारे पास बाहरी व्युत्पन्न और एकीकरण से संबंधित मौलिक सूत्र है:

Stokes' formula — For a bounded region $M$ in $\mathbb {R} ^{n}$ of dimension $k$ whose boundary is a union of finitely many $C^{1}$-subsets, if $M$ is oriented, then

$\int _{\partial M}\omega =\int _{M}d\omega$

for any differential $(k-1)$-form $\omega$ on the boundary $\partial M$ of $M$.

यहां सूत्र के प्रमाण का एक रेखाचित्र दिया गया है। यदि $f$ पर एक सुचारू कार्य है $\mathbb {R} ^{n}$ कॉम्पैक्ट समर्थन के साथ, तब हमारे पास है:

$\int d(f\omega )=0$

(चूंकि, कैलकुलस के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले समुच्चय की सीमाओं पर किया जा सकता है।) दूसरी ओर,

$\int d(f\omega )=\int df\wedge \omega +\int f\,d\omega .$

होने देना $f$ विशेषता फलन पर संपर्क करें $M$. फिर दाहिनी ओर दूसरा पद जाता है $\int _{M}d\omega$ जबकि पहला जाता है $-\int _{\partial M}\omega$, कलन के मौलिक प्रमेय को सिद्ध करने के समान तर्क द्वारा। $\square$ सूत्र कैलकुलस के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय कैलकुलस में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि $M=[a,b]$ एक अंतराल है और $\omega =f$, तब $d\omega =f'\,dx$ और सूत्र कहता है:

$\int _{M}f'\,dx=f(b)-f(a)$.

इसी प्रकार, यदि $M$ में एक उन्मुखी बंधी हुई सतह है $\mathbb {R} ^{3}$ और $\omega =f\,dx+g\,dy+h\,dz$, तब $d(f\,dx)=df\wedge dx={\frac {\partial f}{\partial y}}\,dy\wedge dx+{\frac {\partial f}{\partial z}}\,dz\wedge dx$ और इसी तरह के लिए $d(g\,dy)$ और $d(g\,dy)$. शर्तों को एकत्रित करने पर, हमें इस प्रकार मिलता है:

$d\omega =\left({\frac {\partial h}{\partial y}}-{\frac {\partial g}{\partial z}}\right)dy\wedge dz+\left({\frac {\partial f}{\partial z}}-{\frac {\partial h}{\partial x}}\right)dz\wedge dx+\left({\frac {\partial g}{\partial x}}-{\frac {\partial f}{\partial y}}\right)dx\wedge dy.$

फिर, के एकीकरण की परिभाषा से $\omega$, अपने पास $\int _{M}d\omega =\int _{M}(\nabla \times F)\cdot dS$ कहाँ $F=(f,g,h)$ सदिश-वैल्यू फलन है और $\nabla =\left({\frac {\partial }{\partial x}},{\frac {\partial }{\partial y}},{\frac {\partial }{\partial z}}\right)$. अत: स्टोक्स का सूत्र बन जाता है

$\int _{M}(\nabla \times F)\cdot dS=\int _{\partial M}(f\,dx+g\,dy+h\,dz),$

जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है।

स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। समष्टि चर के लिए इसे बताना और सिद्ध करना $z=x+iy$ और संयुग्म ${\bar {z}}$आइए हम ऑपरेटरों का परिचय दें

${\frac {\partial }{\partial z}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}-i{\frac {\partial }{\partial y}}\right),\,{\frac {\partial }{\partial {\bar {z}}}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right).$

इन नोटेशन में, एक फलन $f$ होलोमोर्फिक फलन (समष्टि-विश्लेषणात्मक) है यदि और केवल यदि ${\frac {\partial f}{\partial {\bar {z}}}}=0$ (कौची-रीमैन समीकरण)। इसके अतिरिक्त, हमारे पास है:

$df={\frac {\partial f}{\partial z}}dz+{\frac {\partial f}{\partial {\bar {z}}}}d{\bar {z}}.$

होने देना $D_{\epsilon }=\{z\in \mathbb {C} \mid \epsilon <|z-z_{0}|<r\}$ केंद्र के साथ एक पंचर डिस्क बनें $z_{0}$. तब से $1/(z-z_{0})$ पर होलोमोर्फिक है $D_{\epsilon }$, अपने पास:

$d\left({\frac {f}{z-z_{0}}}dz\right)={\frac {\partial f}{\partial {\bar {z}}}}{\frac {d{\bar {z}}\wedge dz}{z-z_{0}}}$.

स्टोक्स के सूत्र द्वारा,

$\int _{D_{\epsilon }}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {d{\bar {z}}\wedge dz}{z-z_{0}}}=\left(\int _{|z-z_{0}|=r}-\int _{|z-z_{0}|=\epsilon }\right){\frac {f}{z-z_{0}}}dz.$

दे $\epsilon \to 0$ फिर हमें मिलता है:

$2\pi i\,f(z_{0})=\int _{|z-z_{0}|=r}{\frac {f}{z-z_{0}}}dz+\int _{|z-z_{0}|\leq r}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {dz\wedge d{\bar {z}}}{z-z_{0}}}.$

घुमावदार संख्याएं और पोंकारे लेम्मा

एक भिन्न रूप $\omega$ यदि बंद और त्रुटिहीन रूप कहा जाता है $d\omega =0$ और त्रुटिहीन यदि कहा जाता है $\omega =d\eta$ कुछ भिन्न रूप के लिए $\eta$ (अधिकांशतः क्षमता कहा जाता है)। तब से $d\circ d=0$, एक त्रुटिहीन प्रपत्र बंद है. किन्तु यह बातचीत सामान्य रूप से क्रियान्वित नहीं होती; कोई गैर-त्रुटिहीन बंद प्रपत्र हो सकता है. ऐसे फॉर्म का एक उत्कृष्ट उदाहरण है:

$\omega ={\frac {-y}{x^{2}+y^{2}}}+{\frac {x}{x^{2}+y^{2}}}$,

जो कि एक भिन्न रूप है $\mathbb {R} ^{2}-0$. मान लीजिए हम ध्रुवीय निर्देशांक पर स्विच करते हैं: $x=r\cos \theta ,y=r\sin \theta$ कहाँ $r={\sqrt {x^{2}+y^{2}}}$. तब

$\omega =r^{-2}(-r\sin \theta \,dx+r\cos \theta \,dy)=d\theta .$

इससे यह पता नहीं चलता $\omega$ त्रुटिहीन है: समस्या यह है $\theta$ पर एक अच्छी तरह से परिभाषित सतत कार्य नहीं है $\mathbb {R} ^{2}-0$. चूंकि कोई भी फलन $f$ पर $\mathbb {R} ^{2}-0$ साथ $df=\omega$ से भिन्न $\theta$ स्थिरांक से इसका कारणयह है $\omega$ त्रुटिहीन नहीं है. चूँकि, गणना यह दर्शाती है $\omega$ त्रुटिहीन है, उदाहरण के लिए, पर $\mathbb {R} ^{2}-\{x=0\}$ चूँकि हम ले सकते हैं $\theta =\arctan(y/x)$ वहाँ।

एक परिणाम है (पोंकारे लेम्मा) जो एक शर्त देता है जो गारंटी देता है कि बंद किए गए फॉर्म त्रुटिहीन हैं। इसे बताने के लिए, हमें टोपोलॉजी से कुछ धारणाओं की आवश्यकता है। दो सतत मानचित्र दिए गए $f,g:X\to Y$ के उपसमुच्चय के मध्य $\mathbb {R} ^{m},\mathbb {R} ^{n}$ (या अधिक सामान्यतः टोपोलॉजिकल स्पेस), से एक होमोटॉपी $f$ को $g$ एक सतत कार्य है $H:X\times [0,1]\to Y$ ऐसा है कि $f(x)=H(x,0)$ और $g(x)=H(x,1)$. सहज रूप से, एक समरूपता एक फलन से दूसरे फलन की निरंतर भिन्नता है। एक समुच्चय में एक लूप (टोपोलॉजी)। $X$ एक वक्र है जिसका प्रारंभिक बिंदु अंतिम बिंदु से मेल खाता है; अर्थात।, $c:[0,1]\to X$ ऐसा है कि $c(0)=c(1)$. फिर का एक उपसमुच्चय $\mathbb {R} ^{n}$ यदि प्रत्येक लूप एक स्थिर फलन के लिए समस्थानिक है तब इसे बस जुड़ा हुआ है कहा जाता है। सरलता से जुड़े समुच्चय का एक विशिष्ट उदाहरण एक डिस्क है $D=\{(x,y)\mid {\sqrt {x^{2}+y^{2}}}\leq r\}\subset \mathbb {R} ^{2}$. मुख्य रूप से, एक लूप दिया गया है $c:[0,1]\to D$, हमारे पास समरूपता है $H:[0,1]^{2}\to D,\,H(x,t)=(1-t)c(x)+tc(0)$ से $c$ निरंतर कार्य के लिए $c(0)$. दूसरी ओर, एक छिद्रित डिस्क, बस कनेक्ट नहीं होती है।

Poincaré lemma — If $M$ is a simply connected open subset of $\mathbb {R} ^{n}$, then each closed 1-form on $M$ is exact.

वक्रों और सतहों की ज्यामिति

चलता हुआ फ्रेम

सदिश फ़ील्ड $E_{1},\dots ,E_{3}$ पर $\mathbb {R} ^{3}$ यदि वह प्रत्येक बिंदु पर एक-दूसरे के ओर्थोगोनल हैं, तब उन्हें फ़्रेम फ़ील्ड कहा जाता है; अर्थात।, $E_{i}\cdot E_{j}=\delta _{ij}$ प्रत्येक बिंदु पर. मूल उदाहरण मानक फ़्रेम है $U_{i}$; अर्थात।, $U_{i}(x)$ प्रत्येक बिंदु के लिए एक मानक आधार है $x$ में $\mathbb {R} ^{3}$. दूसरा उदाहरण बेलनाकार फ्रेम है

$E_{1}=\cos \theta U_{1}+\sin \theta U_{2},\,E_{2}=-\sin \theta U_{1}+\cos \theta U_{2},\,E_{3}=U_{3}.$

किसी वक्र की ज्यामिति के अध्ययन के लिए, उपयोग किया जाने वाला महत्वपूर्ण फ्रेम फ़्रेनेट फ़्रेम है $T,N,B$ एक इकाई-गति वक्र पर $\beta :I\to \mathbb {R} ^{3}$ इस प्रकार दिया गया:

गॉस-बोनट प्रमेय

गॉस-बोनट प्रमेय किसी सतह की टोपोलॉजी और उसकी ज्यामिति से संबंधित है।

The Gauss–Bonnet theorem —  For each bounded surface $M$ in $\mathbb {R} ^{3}$, we have:

$2\pi \,\chi (M)=\int _{M}K\,dS$

where $\chi (M)$ is the Euler characteristic of $M$ and $K$ the curvature.

विविधताओं की गणना

लैग्रेंज गुणक की विधि

Lagrange multiplier —  Let $g:U\to \mathbb {R} ^{r}$ be a differentiable function from an open subset of $\mathbb {R} ^{n}$ such that $g'$ has rank $r$ at every point in $g^{-1}(0)$. For a differentiable function $f:\mathbb {R} ^{n}\to \mathbb {R}$, if $f$ attains either a maximum or minimum at a point $p$ in $g^{-1}(0)$, then there exists real numbers $\lambda _{1},\dots ,\lambda _{r}$ such that

$\nabla f(p)=\lambda _{i}\sum _{i=1}^{r}\nabla g_{i}(p)$.

In other words, $p$ is a stationary point of $f-\sum _{1}^{r}\lambda _{i}g_{i}$.

समुच्चय $g^{-1}(0)$ सामान्यतः इसे बाधा कहा जाता है।

उदाहरण: मान लीजिए हम वृत्त के मध्य न्यूनतम दूरी ज्ञात करना चाहते हैं $x^{2}+y^{2}=1$ और रेखा $x+y=4$. इसका कारणहै कि हम फलन को छोटा करना चाहते हैं $f(x,y,u,v)=(x-u)^{2}+(y-v)^{2}$, एक बिंदु के मध्य की वर्ग दूरी $(x,y)$ वृत्त और एक बिंदु पर $(u,v)$ लाइन पर, बाधा के अनुसार $g=(x^{2}+y^{2}-1,u+v-4)$. अपने पास:

$\nabla f=(2(x-u),2(y-v),-2(x-u),-2(y-v)).$

$\nabla g_{1}=(2x,2y,0,0),\nabla g_{2}=(0,0,1,1).$

जैकोबियन आव्युह के पश्चात् से $g$ हर स्थान 2 रैंक पर है $g^{-1}(0)$, लैग्रेंज गुणक देता है:

$x-u=\lambda _{1}x,\,y-v=\lambda _{1}y,\,2(x-u)=-\lambda _{2},\,2(y-v)=-\lambda _{2}.$

यदि $\lambda _{1}=0$, तब $x=u,y=v$, संभव नहीं। इस प्रकार, $\lambda _{1}\neq 0$ और

$x={\frac {x-u}{\lambda _{1}}},\,y={\frac {y-v}{\lambda _{1}}}.$

इससे यह बात आसानी से समझ में आ जाती है $x=y=1/{\sqrt {2}}$ और $u=v=2$. अत: न्यूनतम दूरी है $2{\sqrt {2}}-1$ (न्यूनतम दूरी स्पष्ट रूप से उपस्तिथ है)।

यहां रैखिक बीजगणित का एक अनुप्रयोग है। होने देना $V$ एक परिमित-आयामी वास्तविक सदिश स्थान बनें और $T:V\to V$ एक स्व-सहायक ऑपरेटर। हम दिखाएंगे $V$ के eigenvectors से युक्त एक आधार है $T$ (अर्थात।, $T$ विकर्णीय है) के आयाम पर प्रेरण द्वारा $V$. आधार का चयन करना $V$ हम पहचान सकते हैं $V=\mathbb {R} ^{n}$ और $T$ आव्युह द्वारा दर्शाया गया है $[a_{ij}]$. फलन पर विचार करें $f(x)=(Tx,x)$, जहां ब्रैकेट का कारणआंतरिक उत्पाद है। तब $\nabla f=2(\sum a_{1i}x_{i},\dots ,\sum a_{ni}x_{i})$. दूसरी ओर, के लिए $g=\sum x_{i}^{2}-1$, तब से $g^{-1}(0)$ सघन है, $f$ एक बिंदु पर अधिकतम या न्यूनतम प्राप्त करता है $u$ में $g^{-1}(0)$. तब से $\nabla g=2(x_{1},\dots ,x_{n})$, लैग्रेंज गुणक द्वारा, हम एक वास्तविक संख्या पाते हैं $\lambda$ ऐसा है कि $2\sum _{i}a_{ji}u_{i}=2\lambda u_{j},1\leq j\leq n.$ किन्तु इसका कारणहै $Tu=\lambda u$. आगमनात्मक परिकल्पना द्वारा, स्व-सहायक संचालिका $T:W\to W$, $W$ ओर्थोगोनल पूरक $u$, eigenvectors से युक्त एक आधार है। इसलिए, हमारा काम हो गया। $\square$.

अशक्त व्युत्पन्न

माप-शून्य समुच्चय तक, दो कार्यों को अन्य कार्यों (जिन्हें परीक्षण फलन कहा जाता है) के विरुद्ध एकीकरण के माध्यम से सामान्तर या नहीं निर्धारित किया जा सकता है। अर्थात्, निम्नलिखित को कभी-कभी विविधताओं के कलन की मौलिक प्रमेयिका कहा जाता है:

Lemma — If $f,g$ are locally integrable functions on an open subset $M\subset \mathbb {R} ^{n}$ such that

$\int (f-g)\varphi \,dx=0$

for every $\varphi \in C_{c}^{\infty }(M)$ (called a test function). Then $f=g$ almost everywhere. If, in addition, $f,g$ are continuous, then $f=g$.

एक सतत कार्य दिया गया $f$, लेम्मा द्वारा, एक निरंतर भिन्न कार्य $u$ इस प्रकार कि ${\frac {\partial u}{\partial x_{i}}}=f$ यदि और केवल यदि

$\int {\frac {\partial u}{\partial x_{i}}}\varphi \,dx=\int f\varphi \,dx$

हरएक के लिए $\varphi \in C_{c}^{\infty }(M)$. किन्तु, भागों द्वारा एकीकरण द्वारा, बाईं ओर आंशिक व्युत्पन्न $u$ के उस पर ले जाया जा सकता है $\varphi$; अर्थात।,

$-\int u{\frac {\partial \varphi }{\partial x_{i}}}\,dx=\int f\varphi \,dx$

जहाँ से कोई सीमा शब्द नहीं है $\varphi$ कॉम्पैक्ट समर्थन है. अभी मुख्य बात यह है कि यह अभिव्यक्ति यदि समझ में आती हो $u$ यह आवश्यक रूप से भिन्न नहीं है और इस प्रकार ऐसे फलन के व्युत्पन्न को समझने के लिए इसका उपयोग किया जा सकता है।

प्रत्येक स्थानीय रूप से एकीकृत फलन पर ध्यान दें $u$ रैखिक कार्यात्मकता को परिभाषित करता है $\varphi \mapsto \int u\varphi \,dx$ पर $C_{c}^{\infty }(M)$ और, इसके अतिरिक्त, प्रारंभिक लेम्मा के कारण, प्रत्येक स्थानीय रूप से एकीकृत फलन को ऐसे रैखिक फलनल के साथ पहचाना जा सकता है। इसलिए, सामान्यतः, यदि $u$ पर एक रैखिक कार्यात्मक है $C_{c}^{\infty }(M)$, फिर हम परिभाषित करते हैं ${\frac {\partial u}{\partial x_{i}}}$ रैखिक कार्यात्मक होना $\varphi \mapsto -\left\langle u,{\frac {\partial \varphi }{\partial x_{i}}}\right\rangle$ जहां ब्रैकेट का कारणहै $\langle \alpha ,\varphi \rangle =\alpha (\varphi )$. तब इसे इसका अशक्त व्युत्पन्न कहा जाता है $u$ इसके संबंध में $x_{i}$. यदि $u$ निरंतर अवकलनीय है, तब इसका अशक्त व्युत्पन्न सामान्य के साथ मेल खाता है; अर्थात, रैखिक कार्यात्मक ${\frac {\partial u}{\partial x_{i}}}$ के सामान्य आंशिक व्युत्पन्न द्वारा निर्धारित रैखिक कार्यात्मक के समान है $u$ इसके संबंध में $x_{i}$. एक सामान्य व्युत्पन्न को अधिकांशतः मौलिक व्युत्पन्न कहा जाता है। जब एक रैखिक कार्यात्मक पर $C_{c}^{\infty }(M)$ एक निश्चित टोपोलॉजी के संबंध में निरंतर है $C_{c}^{\infty }(M)$, ऐसे रैखिक कार्यात्मक को वितरण (गणित) कहा जाता है, जो एक सामान्यीकृत फलन का एक उदाहरण है।

अशक्त व्युत्पन्न का एक उत्कृष्ट उदाहरण हेविसाइड फलन है $H$, अंतराल पर विशेषता कार्य $(0,\infty )$. प्रत्येक परीक्षण फलन के लिए $\varphi$, अपने पास:

$\langle H',\varphi \rangle =-\int _{0}^{\infty }\varphi '\,dx=\varphi (0).$

होने देना $\delta _{a}$ रैखिक कार्यात्मक को निरूपित करें $\varphi \mapsto \varphi (a)$, जिसे डिराक डेल्टा फलन कहा जाता है (चूँकि यह वास्तव में एक फलन नहीं है)। फिर उपरोक्त को इस प्रकार लिखा जा सकता है:

$H'=\delta _{0}.$

कॉची के अभिन्न सूत्र की अशक्त डेरिवेटिव के संदर्भ में समान व्याख्या है। समष्टि चर के लिए $z=x+iy$, होने देना $E_{z_{0}}(z)={\frac {1}{\pi (z-z_{0})}}$. एक परीक्षण फलन के लिए $\varphi$, यदि डिस्क $|z-z_{0}|\leq r$ का समर्थन सम्मिलित है $\varphi$कॉची के अभिन्न सूत्र द्वारा, हमारे पास है:

$\varphi (z_{0})={1 \over 2\pi i}\int {\frac {\partial \varphi }{\partial {\bar {z}}}}{\frac {dz\wedge d{\bar {z}}}{z-z_{0}}}.$

तब से $dz\wedge d{\bar {z}}=-2idx\wedge dy$, इसका कारणयह है:

$\varphi (z_{0})=-\int E_{z_{0}}{\frac {\partial \varphi }{\partial {\bar {z}}}}dxdy=\left\langle {\frac {\partial E_{z_{0}}}{\partial {\bar {z}}}},\varphi \right\rangle ,$

या

${\frac {\partial E_{z_{0}}}{\partial {\bar {z}}}}=\delta _{z_{0}}.$ सामान्यतः, एक सामान्यीकृत फलन को रैखिक आंशिक अंतर ऑपरेटर के लिए मौलिक समाधान कहा जाता है यदि ऑपरेटर का अनुप्रयोग डायराक डेल्टा है। इसलिए, ऊपर कहा गया है $E_{z_{0}}$ विभेदक ऑपरेटर के लिए मौलिक समाधान है $\partial /\partial {\bar {z}}$.

See also: Limit of distributions

हैमिल्टन-जैकोबी सिद्धांत

Main article: Hamilton–Jacobi equation

मैनिफोल्ड्स पर कैलकुलस

अनेक गुना की परिभाषा

इस अनुभाग के लिए सामान्य टोपोलॉजी में कुछ पृष्ठभूमि की आवश्यकता होती है।

अनेक गुना एक हॉसडॉर्फ टोपोलॉजिकल स्पेस है जिसे स्थानीय रूप से यूक्लिडियन स्पेस द्वारा मॉडल किया गया है। परिभाषा के अनुसार, एक टोपोलॉजिकल स्पेस का एटलस (गणित)। $M$ मानचित्रों का एक समुच्चय है $\varphi _{i}:U_{i}\to \mathbb {R} ^{n}$, जिसे चार्ट कहा जाता है, जैसे कि

• $U_{i}$ का एक खुला आवरण हैं $M$; अर्थात, प्रत्येक $U_{i}$ खुला है और $M=\cup _{i}U_{i}$,
• $\varphi _{i}:U_{i}\to \varphi _{i}(U_{i})$ एक समरूपता है और
• $\varphi _{j}\circ \varphi _{i}^{-1}:\varphi _{i}(U_{i}\cap U_{j})\to \varphi _{j}(U_{i}\cap U_{j})$ चिकना है; इस प्रकार एक भिन्नतावाद।

परिभाषा के अनुसार, मैनिफोल्ड एक अधिकतम एटलस (जिसे एक भिन्न संरचना कहा जाता है) के साथ एक दूसरी-गणनीय हॉसडॉर्फ टोपोलॉजिकल स्पेस है; मैक्सिमम का कारणहै कि यह सख्ती से बड़े एटलस में सम्मिलित नहीं है। अनेक गुना का आयाम $M$ मॉडल यूक्लिडियन स्पेस का आयाम है $\mathbb {R} ^{n}$; अर्थात्, $n$ और मैनिफोल्ड को एन-मैनिफोल्ड कहा जाता है जब इसका आयाम एन होता है। मैनिफ़ोल्ड पर एक फलन $M$ यदि चिकनी कहा जाता है $f|_{U}\circ \varphi ^{-1}$ चिकनी है $\varphi (U)$ प्रत्येक चार्ट के लिए $\varphi :U\to \mathbb {R} ^{n}$ भिन्न संरचना में.

मैनिफोल्ड पैराकॉम्पैक्ट स्पेस है; इसका निहितार्थ यह है कि यह किसी दिए गए खुले आवरण के अधीन एकता के विभाजन को स्वीकार करता है।

यदि $\mathbb {R} ^{n}$ ऊपरी आधे स्थान द्वारा प्रतिस्थापित किया जाता है $\mathbb {H} ^{n}$, तब हमें सीमा के साथ अनेक गुना की धारणा प्राप्त होती है। बिंदुओं का समूह जो की सीमा को दर्शाता है $\mathbb {H} ^{n}$ चार्ट के अंतर्गत इसे दर्शाया गया है $\partial M$ और की सीमा कहलाती है $M$. यह सीमा टोपोलॉजिकल सीमा नहीं हो सकती है $M$. के आंतरिक भाग के पश्चात् से $\mathbb {H} ^{n}$ से भिन्न है $\mathbb {R} ^{n}$, मैनिफोल्ड खाली सीमा के साथ एक मैनिफोल्ड-विथ-बाउंड्री है।

अगला प्रमेय अनेक गुनाओं के अनेक उदाहरण प्रस्तुत करता है।

Theorem —  Let $g:U\to \mathbb {R} ^{r}$ be a differentiable map from an open subset $U\subset \mathbb {R} ^{n}$ such that $g'(p)$ has rank $r$ for every point $p$ in $g^{-1}(0)$. Then the zero set $g^{-1}(0)$ is an $(n-r)$-manifold.

उदाहरण के लिए, के लिए $g(x)=x_{1}^{2}+\cdots +x_{n+1}^{2}-1$, व्युत्पन्न $g'(x)={\begin{bmatrix}2x_{1}&2x_{2}&\cdots &2x_{n+1}\end{bmatrix}}$ हर बिंदु पर एक रैंक है $p$ में $g^{-1}(0)$. इसलिए, n-गोला $g^{-1}(0)$ एक एन-मैनिफोल्ड है। प्रमेय को व्युत्क्रम फलन प्रमेय के परिणाम के रूप में सिद्ध किया गया है।

अनेक परिचित मैनिफोल्ड्स के उपसमुच्चय हैं $\mathbb {R} ^{n}$. अगला सैद्धांतिक रूप से महत्वपूर्ण परिणाम कहता है कि किसी अन्य प्रकार की विविधता उपस्तिथ नहीं है। विसर्जन एक सहज मानचित्र है जिसका अंतर विशेषणात्मक होता है। एम्बेडिंग एक ऐसा विसर्जन है जो छवि के लिए होमियोमॉर्फिक (इस प्रकार भिन्न-रूपी) होता है।

Whitney's embedding theorem — Each $k$-manifold can be embedded into $\mathbb {R} ^{2k}$.

इस बात का प्रमाण कि इसमें अनेकता समाहित की जा सकती है $\mathbb {R} ^{N}$ कुछ के लिए एन अधिक आसान है और यहां आसानी से दिया जा सकता है। यह ज्ञात है कि मैनिफोल्ड का एक सीमित एटलस होता है $\{\varphi _{i}:U_{i}\to \mathbb {R} ^{n}\mid 1\leq i\leq r\}$. होने देना $\lambda _{i}$ ऐसे सुचारु कार्य हों $\operatorname {Supp} (\lambda _{i})\subset U_{i}$ और $\{\lambda _{i}=1\}$ ढकना $M$ (उदाहरण के लिए, एकता का विभाजन)। मानचित्र पर विचार करें

$f=(\lambda _{1}\varphi _{1},\dots ,\lambda _{r}\varphi _{r},\lambda _{1},\dots ,\lambda _{r}):M\to \mathbb {R} ^{(k+1)r}$

यह देखना आसान है $f$ एक इंजेक्शन विसर्जन है. यह एम्बेडिंग नहीं हो सकता है. इसे ठीक करने के लिए, हम इसका उपयोग करेंगे:

$(f,g):M\to \mathbb {R} ^{(k+1)r+1}$

कहाँ $g$ एक सहज उचित मानचित्र है. एक सुचारू उचित मानचित्र का अस्तित्व एकता के विभाजन का परिणाम है। विसर्जन के चूँकिमें बाकी प्रमाण के लिए [1] देखें। $\square$

नैश का एम्बेडिंग प्रमेय कहता है कि, यदि $M$ रीमैनियन मीट्रिक से सुसज्जित है, तब एम्बेडिंग को बढ़ने के खर्च के साथ आइसोमेट्रिक माना जा सकता है $2k$; इसके लिए, यह टी. ताओ का ब्लॉग देखें।

ट्यूबलर पड़ोस और ट्रांसवर्सलिटी

विधि ी रूप से महत्वपूर्ण परिणाम है:

Tubular neighborhood theorem — Let M be a manifold and $N\subset M$ a compact closed submanifold. Then there exists a neighborhood $U$ of $N$ such that $U$ is diffeomorphic to the normal bundle $\nu _{N}=TM|_{N}/TN$ to $i:N\hookrightarrow M$ and $N$ corresponds to the zero section of $\nu _{i}$ under the diffeomorphism.

इसे मैनिफ़ोल्ड पर रीमैनियन मीट्रिक डालकर सिद्ध किया जा सकता है $M$. मुख्य रूप से, मीट्रिक का चुनाव सामान्य बंडल बनाता है $\nu _{i}$ के लिए एक पूरक बंडल $TN$; अर्थात।, $TM|_{N}$ का सीधा योग है $TN$ और $\nu _{N}$. फिर, मीट्रिक का उपयोग करके, हमारे पास घातांकीय मानचित्र होता है $\exp :U\to V$ कुछ पड़ोस के लिए $U$ का $N$ सामान्य बंडल में $\nu _{N}$ किसी पड़ोस में $V$ का $N$ में $M$. यहां घातांकीय मानचित्र अंतःक्षेपी नहीं हो सकता है किन्तु इसे सिकुड़कर अंतःक्षेपी (इस प्रकार भिन्नरूपी) बनाना संभव है $U$ (अभी के लिए, देखें [2])।

अनेक गुना और वितरण घनत्व पर एकीकरण

मैनिफोल्ड्स पर एकीकरण के विषय का प्रारंभिक बिंदु यह है कि मैनिफोल्ड्स पर कार्यों को एकीकृत करने का कोई अपरिवर्तनीय विधि नहीं है। यह स्पष्ट हो सकता है यदि हमने पूछा: एक परिमित-आयामी वास्तविक सदिश स्थान पर कार्यों का एकीकरण क्या है? (इसके विपरीत, विभेदीकरण करने का एक अपरिवर्तनीय विधि है, क्योंकि परिभाषा के अनुसार, मैनिफोल्ड एक विभेदक संरचना के साथ आता है)। एकीकरण सिद्धांत को अनेक गुना प्रस्तुतकरने के अनेक तरीके हैं:

• विभेदक रूपों को एकीकृत करें।
• किसी उपाय के विरुद्ध एकीकरण करें।
• मैनिफोल्ड को रीमानियन मेट्रिक से सुसज्जित करें और ऐसे मेट्रिक के विरुद्ध एकीकरण करें।

उदाहरण के लिए, यदि एक मैनिफ़ोल्ड यूक्लिडियन स्थान में अंतर्निहित है $\mathbb {R} ^{n}$, फिर यह परिवेशी यूक्लिडियन स्थान से प्रतिबंधित लेबेस्ग माप प्राप्त करता है और फिर दूसरा दृष्टिकोण काम करता है। पहला दृष्टिकोण अनेक स्थितियों में ठीक है, किन्तु इसके लिए मैनिफोल्ड को उन्मुख करने की आवश्यकता होती है (और एक गैर-उन्मुख मैनिफोल्ड है जो पैथोलॉजिकल नहीं है)। तीसरा दृष्टिकोण सामान्यीकरण करता है और यह घनत्व की धारणा को जन्म देता है।

सामान्यीकरण

अनंत-आयामी मानक स्थानों तक विस्तार

विभेदीकरण जैसी धारणाएँ मानक स्थानों तक फैली हुई हैं।

यह भी देखें

• सतहों की विभेदक ज्यामिति
• फाइबर के साथ एकीकरण
• लुसिन का प्रमेय
• अनेक गुना पर घनत्व

संदर्भ

• do Carmo, Manfredo P. (1976), Differential Geometry of Curves and Surfaces, Prentice-Hall, ISBN 978-0-13-212589-5
• Edwards, Charles Henry (1994) [1973], Advanced Calculus of Several Variables, Mineola, New York: Dover Publications, ISBN 0-486-68336-2
• Folland, Gerald, Real Analysis: Modern Techniques and Their Applications (2nd ed.)
• Cartan, Henri (1971), Calcul Differentiel (in français), Hermann, ISBN 9780395120330
• Hirsch, Morris (1994), Differential Topology (2nd ed.), Springer-Verlag
• Hörmander, Lars (2015), The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, Classics in Mathematics (2nd ed.), Springer, ISBN 9783642614972
• Loomis, Lynn Harold; Sternberg, Shlomo (1968), Advanced Calculus, Addison-Wesley (revised 1990, Jones and Bartlett; reprinted 2014, World Scientific) [this text in particular discusses density]
• O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5
• Rudin, Walter (1976) [1953], Principles of Mathematical Analysis (3rd ed.), New York: McGraw Hill, pp. 204–299, ISBN 978-0-07-054235-8
• Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. San Francisco: Benjamin Cummings. ISBN 0-8053-9021-9.