ဆင်းသက်ချက် (ဒစ်ဖရန်ရှယ် ကဲကုလပ်)

သင်္ချာဘာသာရပ်၏ ဒစ်ဖရန်ရှယ် ကဲကုလပ် (differential calculus) တွင် အဓိကလေ့လာသော အရာဝတ္ထုများမှာ ဖန်ရှင် (function) တစ်ခု၏ ဆင်းသက်ချက် (derivative) နှင့် ဒစ်ဖရန်ရှယ် (differential) ကဲ့သို့သော ဆက်စပ်သဘောတရားများနှင့် ၎င်းတို့၏ အသုံးချမှုများ ဖြစ်ကြသည်။ ရွေးချယ်ထားသော အဝင်ကိန်းတစ်ခု၌ ဖန်ရှင်တစ်ခု၏ ဆင်းသက်ချက်သည် ထိုအဝင်ကိန်းရှိ ဖန်ရှင်၏ ခဏတာပြောင်းလဲနှုန်း (the instantaneous rate of change) နှင့် ညီမျှသည်။ ဆင်းသက်ချက်ရှာသည့် လုပ်ငန်းစဉ်ကို ဆင်းသက်ချက်ရှာခြင်း (differentiation) ဟု ခေါ်သည်။ ပိုမိုကျယ်ပြန့်သော သဘောတရားအရ ဆင်းသက်ချက်ရှာခြင်းသည် ချောမွေ့သော မန်နီဖိုးများ (smooth manifolds) ၏ ကတ်တဂိုရီ $\mathbf {Diff}$ အပေါ်ရှိ ဖန်တာ (functor) $d\colon \mathbf {Diff} \to \mathbf {Diff}$ တစ်ခု ဖြစ်သည်။

ဖန်ရှင်များ၏ အကြီးဆုံးတန်ဖိုးနှင့် အငယ်ဆုံးတန်ဖိုးတို့ကို ရှာဖွေရန် ဆင်းသက်ချက်များကို မကြာခဏ အသုံးပြုကြသည်။ ဆင်းသက်ချက်များ ပါဝင်သော ညီမျှခြင်းများကို ဒစ်ဖရန်ရှယ် ညီမျှခြင်းများ (differential equations) ဟုခေါ်ဆိုပြီး ၎င်းတို့သည် သဘာဝဖြစ်စဉ်များကို ဖော်ပြရာတွင် အခြေခံကျသည်။ ဆင်းသက်ချက်များနှင့် ၎င်းတို့၏ ယေဘုယျပြုထားချက်များသည် ကိန်းထွေး ခွဲခြမ်းစိတ်ဖြာသင်္ချာ (complex analysis)၊ ဖန်ရှင်နယ် ခွဲခြမ်းစိတ်ဖြာသင်္ချာ (functional analysis)၊ ဒစ်ဖရန်ရှယ် ဂျီဩမေတြီ (differential geometry)၊ အတိုင်းအတာသီအိုရီ (measure theory) နှင့် ခေတ်သစ်အက္ခရာသင်္ချာ (abstract algebra) ကဲ့သို့သော သင်္ချာနယ်ပယ်များစွာတွင် ပါဝင်သည်။ ဆင်းသက်ချက်ဆိုင်ရာ သီအိုရီကို ကိန်းစစ် ခွဲခြမ်းစိတ်ဖြာသင်္ချာ (real analysis)၊ ဗက်တာ ကဲကုလပ် (vector calculus) နှင့် ကိန်းရှင်တစ်ခုထက်ပိုသော ကဲကုလပ် (multivariable calculus) စသည့် ဘာသာရပ်များတွင် ပိုမိုလေ့လာပြီး ယေဘုယျပြုကြသည်။

အခြေခံ အဓိပ္ပာယ်သတ်မှတ်ချက်များ (Fundamental Definitions)

ဖန်ရှင်တစ်ခု၏ စုဆုံမှတ် (The Limit of a Function)

$X$ နှင့် $Y$ တို့သည် အကွာအဝေး ရပ်ဝန်းများ (metric spaces) ဖြစ်သည်ဟု ဆိုကြပါစို့။ $E\subset X$ ဖြစ်ပြီး $f$ သည် $E$ မှ $Y$ သို့ ပုံဖော်ကာ $p$ သည် $E$ ၏ စုဆောင်းမှတ် (limit point) တစ်ခု ဖြစ်သည်ဟု ယူဆပါ။ မည်သည့် $\epsilon >0$ အတွက်မဆို $0<d_{X}(x,p)<\delta$ ဖြစ်သော အမှတ် $x\in E$ အားလုံးအတွက် $d_{Y}(f(x),q)<\epsilon$ ဖြစ်စေမည့် $\delta >0$ တစ်ခု ရှိနေမည့် ဂုဏ်သတ္တိရှိသော အမှတ် $q\in Y$ တစ်ခု ရှိနေပါက $\lim _{x\to p}f(x)=q$ ဟု ရေးသားသည်။

ဤတွင် အသုံးပြုထားသော စုဆုံမှတ် (Limit) နှင့် စုဆောင်းမှတ် (Limit point) တို့သည် သင်္ချာဆိုင်ရာ ခွဲခြမ်းစိတ်ဖြာခြင်း (Mathematical Analysis) တွင် သဘောတရားအရ ကွဲပြားသည်။ စုဆောင်းမှတ် (Limit point) ဆိုသည်မှာ အဝင်ကိန်း $x$ ချဉ်းကပ်ရာ နေရာ ဖြစ်ပြီး စုဆုံမှတ် (Limit) ဆိုသည်မှာ ဖန်ရှင် $f(x)$ ရရှိမည့် တန်ဖိုး ဖြစ်သည်။

ဆင်းသက်ချက် (The Derivative)

$f$ သည် $[a,b]$ ပေါ်တွင် အဓိပ္ပာယ်သတ်မှတ်ထားသော ကိန်းစစ်တန်ဖိုးရှိ ဖန်ရှင်တစ်ခု ဖြစ်သည်ဟု ဆိုကြပါစို့။ မည်သည့် $x\in [a,b]$ အတွက်မဆို $t\neq x$ ဖြစ်သောအခါ အောက်ပါကို ဖွဲ့စည်းနိုင်သည်။

$\phi (t)={\frac {f(t)-f(x)}{t-x}}$

ဖန်ရှင်များ၏ စုဆုံမှတ်သဘောတရားနှင့်အညီ ထိုစုဆုံမှတ်တည်ရှိပါက $t$ သည် $x$ သို့ ချဉ်းကပ်သွားသောအခါ ဤစားလဒ်၏ စုဆုံမှတ်ကို ဆင်းသက်ချက် $f^{\prime }(x)$ အဖြစ် အဓိပ္ပာယ်သတ်မှတ်သည်။

$f^{\prime }(x)=\lim _{t\rightarrow x}\phi (t)$

အရင်းအမြစ် နှင့် ဆင်းသက်ချက်ရှာ၍ရနိုင်မှု (Domain and Differentiability)

ဆင်းသက်ချက် $f^{\prime }$ သည် $\lim _{t\rightarrow x}\phi (t)$ တည်ရှိသော အမှတ် $x$ အားလုံးပါဝင်သည့် အရင်းအမြစ်စု (domain) တစ်ခုရှိသော ဖန်ရှင်တစ်ခု ဖြစ်သည်။ အကယ်၍ $f^{\prime }$ ကို $x$ ၌ အဓိပ္ပာယ်သတ်မှတ်ထားပါက ဖန်ရှင် $f$ သည် $x$ ၌ ဆင်းသက်ချက်ရှာ၍ရသော (differentiable) ဖန်ရှင်ဖြစ်သည်။အကယ်၍ $f^{\prime }$ ကို အစု $E\subset [a,b]$ အတွင်းရှိ အမှတ်တိုင်း၌ အဓိပ္ပာယ်သတ်မှတ်ထားပါက $f$ သည် $E$ ပေါ်တွင် ဆင်းသက်ချက်ရှာ၍ရသည်။ အစွန်းမှတ်များ (endpoints) ဖြစ်သော $a$ နှင့် $b$ တို့တွင် ဆင်းသက်ချက်သည် သက်ဆိုင်ရာ ညာဘက် သို့မဟုတ် ဘယ်ဘက် ဆင်းသက်ချက်များနှင့် ကိုက်ညီသည်။

ဆင်းသက်ချက်ရှာ၍ရနိုင်မှု နှင့် အဆက်မပြတ်ဖြစ်ခြင်း (Differentiability and Continuity)

သီအိုရမ် (Theorem) - ဆင်းသက်ချက်ရှာ၍ရနိုင်မှုသည် အဆက်မပြတ်ဖြစ်ခြင်းကို သက်ရောက်စေသည်။ $f$ ကို $[a,b]$ ပေါ်တွင် အဓိပ္ပာယ်သတ်မှတ်ထားသည်ဟု ဆိုကြပါစို့။ $f$ သည် အမှတ် $x\in [a,b]$ ၌ ဆင်းသက်ချက်ရှာ၍ရပါက $f$ သည် $x$ ၌ အဆက်မပြတ် (continuous) ဖြစ်သည်။

သက်သေပြချက် (Proof)

$t\rightarrow x$ ဖြစ်သောအခါ $f(t)-f(x)$ ခြားနားခြင်း၏ စုဆုံမှတ်ကို အောက်ပါအတိုင်း ပြန်လည်ရေးသား၍ တွက်ချက်နိုင်သည်။

$f(t)-f(x)={\frac {f(t)-f(x)}{t-x}}\cdot (t-x)\rightarrow f^{\prime }(x)\cdot 0=0$

ဤအချက်က $\lim _{t\rightarrow x}f(t)=f(x)$ ဖြစ်ကြောင်း ပြသနေပြီး အဆက်မပြတ်ဖြစ်ခြင်းအတွက် အခြေအနေကို ပြည့်စုံစေသည်။

ဆင်းသက်ချက်များ၏ အက္ခရာသင်္ချာ (Algebra of Derivatives)

သီအိုရမ် (Theorem) - $f$ နှင့် $g$ တို့သည် $[a,b]$ ပေါ်တွင် အဓိပ္ပာယ်သတ်မှတ်ထားပြီး $x\in [a,b]$ ၌ ဆင်းသက်ချက်ရှာ၍ရသည်ဟု ယူဆပါ။ ထိုအခါ စားလဒ်အတွက် $g(x)\neq 0$ ဖြစ်သည်ဟု ယူဆထားပါက ဖန်ရှင်များဖြစ်သော $f+g$, $fg$ နှင့် $f/g$ တို့သည် $x$ ၌ ဆင်းသက်ချက်ရှာ၍ရနိုင်ပြီး အောက်ပါ ဂုဏ်သတ္တိများ ရှိကြသည်။

(က) $(f+g)^{\prime }(x)=f^{\prime }(x)+g^{\prime }(x)$

(ခ) $(fg)^{\prime }(x)=f^{\prime }(x)g(x)+f(x)g^{\prime }(x)$

(ဂ) $\left({\frac {f}{g}}\right)^{\prime }(x)={\frac {g(x)f^{\prime }(x)-g^{\prime }(x)f(x)}{g^{2}(x)}}$

သက်သေပြချက် (Proof)

အပိုင်း (က) သည် ပေါင်းလဒ်များ၏ စုဆုံမှတ် ဂုဏ်သတ္တိများမှ ရှင်းလင်းစွာ ဆင်းသက်လာသည်။

အပိုင်း (ခ) မြှောက်လဒ်စည်းမျဉ်း (Product Rule) ဖြစ်သည်။ $h=fg$ ဟု ထားပါ။ $h(t)-h(x)$ ခြားနားခြင်းကို အက္ခရာသင်္ချာနည်းအရ အောက်ပါအတိုင်း ဖြန့်ထုတ်နိုင်သည်။

$h(t)-h(x)=f(t)[g(t)-g(x)]+g(x)[f(t)-f(x)]$

$h(t)-h(x)$ ဖြန့်ထုတ်ချက်ကို $t-x$ ဖြင့် စားပြီးနောက် $t\rightarrow x$ သို့ စုဆုံမှတ်ယူလိုက်ပါက ရလဒ်ထွက်ပေါ်လာမည်ဖြစ်သည်။ ဤနေရာတွင် $f$ ၏ အဆက်မပြတ်ဖြစ်ခြင်းကြောင့် $f(t)\rightarrow f(x)$ ဖြစ်သည်ဟူသော အချက်ကို အခြေခံထားသည်။

အပိုင်း (ဂ) စားလဒ်စည်းမျဉ်း (Quotient Rule) ဖြစ်သည်။ $h=f/g$ အတွက် ခြားနားခြင်း စားလဒ်ကို အောက်ပါအတိုင်း ဖြန့်ထုတ်နိုင်သည်။

${\frac {h(t)-h(x)}{t-x}}={\frac {1}{g(t)g(x)}}\left[g(x){\frac {f(t)-f(x)}{t-x}}-f(x){\frac {g(t)-g(x)}{t-x}}\right]$

$t\rightarrow x$ သို့ စုဆုံမှတ်ယူလိုက်ပြီး ပေါင်းလဒ်နှင့် မြှောက်လဒ် စုဆုံမှတ် သီအိုရမ်များကို အသုံးချခြင်းဖြင့် စားလဒ်စည်းမျဉ်းကို ရရှိသည်။

အခြေခံ ဆင်းသက်ချက် ဥပမာများ (Basic Derivative Examples)

မည်သည့် ကိန်းသေ (constant) ၏ ဆင်းသက်ချက်မဆို သုည ဖြစ်သည်။ အကယ်၍ $f(x)=x$ ဖြစ်ပါက $f^{\prime }(x)=1$ ဖြစ်သည်။ မြှောက်လဒ်နှင့် စားလဒ်စည်းမျဉ်းများကို ထပ်ခါတလဲလဲ အသုံးပြုခြင်းဖြင့် မည်သည့် ကိန်းပြည့် $n$ အတွက်မဆို $x^{n}$ သည် ဆင်းသက်ချက်ရှာ၍ရပြီး ၎င်း၏ ဆင်းသက်ချက်မှာ $nx^{n-1}$ ဖြစ်သည်။ အကယ်၍ $n<0$ ဖြစ်ပါက $x\neq 0$ ဖြစ်ရန် လိုအပ်သည်။ ထို့ကြောင့် ပိုင်းခြေ သုညမဟုတ်သော နေရာများတွင် ပိုလီနိုမီရယ်များ (polynomials) နှင့် ရာရှင်နယ် ဖန်ရှင်များ (rational functions) အားလုံးသည် ဆင်းသက်ချက်ရှာ၍ရသည်။

ချိတ်ဆက်စည်းမျဉ်း (The Chain Rule)

သီအိုရမ် (Theorem) - $f$ သည် $[a,b]$ ပေါ်တွင် အဆက်မပြတ်ဖြစ်ပြီး $f^{\prime }(x)$ သည် $x\in [a,b]$ အမှတ်တစ်ခု၌ တည်ရှိသည်ဟု ယူဆပါ။ $g$ ကို $f$ ၏ ပုံရိပ် (range) ပါဝင်သော အပိုင်းအခြား $I$ ပေါ်တွင် အဓိပ္ပာယ်သတ်မှတ်ထားပြီး $g$ သည် အမှတ် $f(x)$ ၌ ဆင်းသက်ချက်ရှာ၍ရသည်။ $a\leq t\leq b$ အတွက် $h(t)=g(f(t))$ ဖြစ်ပါက $h$ သည် $x$ ၌ ဆင်းသက်ချက်ရှာ၍ရပြီး အောက်ပါအတိုင်း ဖြစ်သည်။

$h^{\prime }(x)=g^{\prime }(f(x))f^{\prime }(x)$

သက်သေပြချက် (Proof)

$y=f(x)$ ဟု ထားပါ။ ဆင်းသက်ချက်၏ အဓိပ္ပာယ်သတ်မှတ်ချက်က ခြားနားခြင်းများကို အမှားကိန်းများ (error terms) ဖြင့် ရေးသားရန် ခွင့်ပြုသည်။ $f(t)-f(x)=(t-x)[f^{\prime }(x)+u(t)]$ $g(s)-g(y)=(s-y)[g^{\prime }(y)+v(s)]$ ထိုနေရာတွင် $t\rightarrow x$ ဖြစ်သောအခါ $u(t)\rightarrow 0$ ဖြစ်ပြီး $s\rightarrow y$ ဖြစ်သောအခါ $v(s)\rightarrow 0$ ဖြစ်သည်။ $s=f(t)$ ဟုထားခြင်းဖြင့် စုစုပေါင်း ခြားနားခြင်း $h(t)-h(x)$ ကို အက္ခရာသင်္ချာနည်းအရ ချိတ်ဆက်နိုင်သည်။

$h(t)-h(x)=[f(t)-f(x)]\cdot [g^{\prime }(y)+v(s)]$

ပထမဖြန့်ထုတ်ချက်ကို ဤညီမျှခြင်းသို့ အစားထိုးလိုက်သောအခါ

$h(t)-h(x)=(t-x)\cdot [f^{\prime }(x)+u(t)]\cdot [g^{\prime }(y)+v(s)]$

$t\neq x$ အတွက် $t-x$ ဖြင့် စားလိုက်သောအခါ အောက်ပါအတိုင်း ရရှိသည်။

${\frac {h(t)-h(x)}{t-x}}=[g^{\prime }(y)+v(s)]\cdot [f^{\prime }(x)+u(t)]$

$f$ သည် အဆက်မပြတ်ဖြစ်သောကြောင့် $t\rightarrow x$ သည် $s\rightarrow y$ ကို သက်ရောက်စေသည်။ ထို့ကြောင့် အမှားကိန်းများဖြစ်သော $u(t)\rightarrow 0$ နှင့် $v(s)\rightarrow 0$ တို့မှာ ပျောက်ကွယ်သွားပြီး ညာဘက်အခြမ်းသည် $g^{\prime }(y)f^{\prime }(x)$ သို့ ချဉ်းကပ်သွားသည်။

ဖန်တာတစ်ခုအဖြစ် ဆင်းသက်ချက်ရှာခြင်း (Differentiation as a Functor)

ဖန်တာ (functor) $d\colon \mathbf {Diff} \to \mathbf {Diff}$ သည် အောက်ပါတို့ကို ပို့ဆောင်ပေးသည်။

• မန်နီဖိုး $X$ တစ်ခုကို ၎င်း၏ ထိမျဉ်းအစည်း (tangent bundle) $TX$ သို့ ပို့ဆောင်သည်။ $TX$ ရှိ အမှတ်များသည် အစီအစဉ်ကျအတွဲများ (ordered pairs) $(x,v)$ ဖြစ်ကြသည်။ ထိုနေရာတွင် $x\in X$ ဖြစ်ပြီး $v$ သည် $x$ ရှိ ထိမျဉ်းဗက်တာ (tangent vector) တစ်ခု ဖြစ်သည်။ ထိုဗက်တာသည် ချောမွေ့သော ဖန်ရှင်များ၏ အက္ခရာသင်္ချာအပေါ်ရှိ ဆင်းသက်မှု (derivation) $v\colon C^{\infty }(X)\to \mathbb {R}$ တစ်ခု ဖြစ်သည်။ ၎င်းကို $x$ ရှိ တန်ဖိုးရှာဖွေခြင်း ${\text{ev}}_{x}\colon C^{\infty }(X)\to \mathbb {R}$ ဖြင့် ဖြည့်စွက်ထားသည်။

• ချောမွေ့သော ဖန်ရှင် $f\colon X\to Y$ တစ်ခုကို ၎င်း၏ ဒစ်ဖရန်ရှယ် $df\colon TX\to TY$ သို့ ပို့ဆောင်ပေးသည်။ ဤအချက်သည် ဗက်တာစက်ကွင်းများ (vector fields) ၏ ရှေ့သို့တွန်းပို့ချက် (pushforward) နှင့် ဆင်တူသည်။

အကယ်၍ $\gamma \colon [-1,1]\to X$ သည် $X$ အတွင်းရှိ လမ်းကြောင်းတစ်ခုဖြစ်ပြီး ဗက်တာ $v\in T_{x}X$ ကို ကိုယ်စားပြုပါက $(df)(v)\in T_{f(x)}Y$ သည် အောက်ပါ လမ်းကြောင်းက ကိုယ်စားပြုသော ဗက်တာ ဖြစ်သည်။

$[-1,1]{\stackrel {\gamma }{\to }}X{\stackrel {f}{\to }}Y$

တူညီသောအဓိပ္ပာယ်အနေဖြင့် ချောမွေ့သော ပုံဖော်မှု $f\colon X\to Y$ တစ်ခုသည် အက္ခရာသင်္ချာ ပုံဖော်မှု $f^{\ast }=-\circ f\colon C^{\infty }(Y)\to C^{\infty }(X)$ ကို လှုံ့ဆော်ပေးသည်။ ထို့ကြောင့် ပေါင်းစပ်ခြင်း (composition) အားဖြင့် ဆင်းသက်မှု $v\colon C^{\infty }(X)\to \mathbb {R}$ ကို ${\text{ev}}_{f(x)}\colon C^{\infty }(Y)\to \mathbb {R}$ ဖြင့် ဖြည့်စွက်ထားသော ဆင်းသက်မှု $v\circ f^{\ast }\colon C^{\infty }(Y)\to \mathbb {R}$ သို့ ပို့ဆောင်ပေးသည်။ တိကျစွာဆိုရသော် $\phi \in C^{\infty }(Y)$ အတွက် $v\circ f^{\ast }(\phi )=v(\phi \circ f)$ ဖြစ်သည်။ ထိုအခါ ဒစ်ဖရန်ရှယ် $df\colon TX\to TY$ ကို အောက်ပါအတိုင်း အဓိပ္ပာယ်သတ်မှတ်သည်။

$df(x,v)=(f(x),v\circ f^{\ast })$

ဤဖော်ပြချက် နှစ်ခုလုံးအရ ဆင်းသက်ချက်ရှာခြင်းသည် ဖန်တာဖြစ်တည်မှု (functoriality) ရှိကြောင်း ထင်ရှားသည်။ ဤအချက်ကို အင်္ဂလိပ်စာပေများတွင် ချိတ်ဆက်စည်းမျဉ်း (chain rule) ဟု လူသိများသည်။ ရိုးရာကျသော ပုံစံဖြင့် အောက်ပါအတိုင်း ရေးသားနိုင်သည်။

$d(f\circ g)_{x}=df_{g(x)}\circ dg_{x}$

သီအိုရမ် (Theorem) - ဆင်းသက်ချက်ရှာခြင်းသည် မြှောက်လဒ် (product) ကို ထိန်းသိမ်းသော (preserving) ဖန်တာတစ်ခု ဖြစ်သည်။

ဥပမာအားဖြင့် ချောမွေ့သော ဖန်ရှင်နှစ်ခုဖြစ်သည့် $f,g\colon X\to \mathbb {R}$ တို့၏ မြှောက်လဒ်သည် ပေါင်းစပ်ခြင်း တစ်ခုဖြစ်သည်။ ၎င်းကို အောက်ပါအတိုင်း ပြသနိုင်သည်။

$X{\stackrel {\Delta }{\to }}X\times X{\stackrel {f\times g}{\to }}\mathbb {R} \times \mathbb {R} {\stackrel {\text{mult}}{\to }}\mathbb {R}$

ဆင်းသက်ချက်ရှာခြင်းအတွက် မြှောက်လဒ်စည်းမျဉ်းကို ဖန်တာ $d$ ကို အသုံးပြုခြင်းဖြင့် ရရှိနိုင်သည်။ ၎င်းသည် အောက်ပါ ပေါင်းစပ်မော်ဖစ်ဇင်ကို ဖြစ်ပေါ်စေသည်။

$TX{\stackrel {\Delta }{\to }}TX\times TX{\stackrel {df\times dg}{\to }}T\mathbb {R} \times T\mathbb {R} {\stackrel {d({\text{mult}})}{\to }}T\mathbb {R}$

၎င်းသည် $d({\text{mult}})$ ကို တွက်ချက်ခြင်းအထိ အဆင့်လျော့သွားသည်။

ကိုးကား

• Rudin၊ Walter (1976)၊ "5: Differentiation"၊ Principles of Mathematical Analysis (3rd ed.)၊ McGraw-Hill၊ pp. 103–119
• nLab authors (June 2026)၊ differentiation (Revision 33 ed.)