مشتق

[تصغیر|200px|width=150|length=150|کالے رنگ میں [دالہ کا منحنی|دالہ کا گراف اور سرخ رنگ میں تفاعل پر مماسی۔ مماسی لکیر کا مائل اس تفاعل کے مارکہ نقطہ پر مشتق کے برابر ہے۔]]

ریاضیات کی شاخ احصا میں **مشتق** ناپ ہے کہ دالہ کس طرح تبدیل ہوتی ہے حب اس کا ادخال تبدیل ہو۔ عامی زبان میں، مشتق سے مراد یہ ہے کہ کوئی قدر کسی نقطہ پر کتنا تبدیل ہو رہی ہے؛ مثلاً کسی گاڑی کے مقام کا وقت کے حوالے سے مشتق گاڑی کا لمحاتی سمتار ہے جس کے مطابق گاڑی سفر کر رہی ہے۔ بالعکس، سمتار کا وقت پر متکامل گاڑی کے مقام میں تبدیلی بتاتا ہے۔

فنکشن کا چنے ہوئے ادخال نقطہ پر مشتق اس نقطہ کے آس پاس فنکشن کے بہترین لکیری تقرب کی توضیح کرتا ہے۔ ایک متغیر کی حقیقی قدر فنکشن کے لیے، کسی نقطہ پر فنکشن کا مشتق اس دالہ گراف میں اس نقطہ پر مماسی کے مائل کے برابر ہوتا ہے۔ زیادہ بُعد میں، کسی نقطہ پر فنکشن کا مشتق لکیری استحالہ ہے جسے لکیرانا کہتے ہیں۔ اس سے ملتا جلتا تصور دالہ کا تفرقی کا ہے۔

مشتق کے ڈھونڈنے کے عمل کو **[[تفریق (ضدابہام)|تفرق]]** کہتے ہیں۔ حسابان کا بنیادی مسئلہ اثباتی بتاتا ہے کہ تفرق کا عمل تکامل کا مقلوب ہے۔

بائیں|تصغیر|300px|بڑا دیکھنے کے لیے تصویر پر کلک کرو۔
ہر نقطہ پر ، فنکشن <math>\scriptstyle f(x)=1 + x\sin x^2</math> کا مشتق فنکشن کے گراف پر اس نقطہ پر مماسی لکیر کا مائل ہے۔ یہ لکیر نیلی منحنی کے ہمیشہ مماسی ہوتی ہے؛ اس لکیر کا مائل مشتق ہے۔ غور کرو کہ مشتق مثبت ہو تو اسے سبز دکھایا گیا ہے اور منفی ہو تو سرخ، اگر صفر ہو تو کالا دکھایا گیا ہے۔

## تفرق اور مشتق
**تفرق**، ادخال *x* میں تبدیلی سے اخراج *y* میں رونما ہونے والی تبدیلی کی شرح نکالنے کا طریقہ ہے۔ اس تبدیلی کی شرح کو *x* کی رو سے *y* کا **مشتق** کہا جاتا ہے۔ متغیر *y* کے *x* پر انحصار کو ریاضیاتی طور پر کہا جاتا ہے کہ *y* دالہ ہے *x* کا۔ اس دالاتی رشتہ کو عموماً *y* = *ƒ*(*x*) کی علامت سے لکھتے ہیں۔ اگر *x* اور *y* حقیقی ہوں اور *y* کو *x* کے برخلاف بطور دالہ کے مخط نکشہ کیا جائے، تو مشتق گراف کے ہر نقطہ پر گراف کے مائل کو ناپتا ہے۔

سب سے سادہ ماجرا یہ ہے جب *y* لکیری فنکشن ہو *x* کا، جس کا مطلب ہے کہ *y* برخلاف *x* کا گراف خطی لکیر ہے۔ اس ماجرے میں، *y* = *ƒ*(*x*) = *m* *x* + *c* ، جہاں *m* اور *c* حقیقی اعداد ہیں اور مائل *m* اس طرح دی جاتی ہے
:m={\mbox{change in } y \over \mbox{change in } x} = {\Delta y \over{\Delta x}}
جہاں علامت Δ (یونانی حرف ڈیلٹا) مختصر ہے "میں تبدیلی (change in)" کے لیے۔ یہ کلیہ سچ ہے کیونکہ
:*y* + Δ*y* = *ƒ*(*x*+ Δ*x*) = *m* (*x* + Δ*x*) + *c* = *m* *x* + *c* + *m* Δ*x* = *y* + *m*Δ*x*
اس سے پتہ چلتا ہے کہ Δ*y* = *m* Δ*x

یہ ہمیں خطی لکیر کی مائل کی ٹھیک قدر بتا دیتا ہے۔ اگر تفاعل *ƒ* لکیری نہ ہو (یعنی اس کا گراف خطی لکیر نہ ہو)، تو "*y* میں تبدیلی" تقسیم "*x* میں تبدیلی" مختلف ہو گی *x* کی مختلف قدروں کے لیے؛ تفرق ہمیں اس "شرحِ تبدیلی" کی ٹھیک قدر معلوم کرنے کا طریقہ بتاتا ہے،*x* کی کسی بھی قدر کے لیے۔

[[فائل:Dydx.jpg|دائیں|300px]]


[[فائل:Tangente2.gif|بائیں]]



یہ خیال، جس کو اشکال 1-3 میں دکھایا گیا ہے، یہ ہے کہ شرح کو بطور <math>\frac{\Delta y}{\Delta x}</math> کی [[دالہ کی حد|حدی قدر]] شمارندی کیا جائے جب Δ*x* لامتنہائی چھوٹا ہوتا جائے۔
[[گوٹفریڈ ویلہم لائبنیز|لائیبنز]] کی علامت میں *x* میں لامتنہائتی تبدیلی کو *dx* لکھا جاتا ہے اور *y* کا مشتق *x* کی رُو سے، کو یوں لکھا جاتا ہے
: <math> \frac{dy}{dx} \,\!</math>
جو ان دو لامتناہیتی اقدار کے تناسب کا خیال ذہن میں پیدا کرتا ہے۔ اس اظہار کو یوں پڑھا جاتا ہے، *y* کا مشتق *x* کی رُو سے یا *dy* سے *dx* یا *dy* اوپر *dx* ۔

تصویر سے ظاہر ہے کہ <math> \frac{dy}{dx}</math> نقطہ *P* پر مماسی لکیر کی مائل ہے، جبکہ <math>\frac{\Delta y}{\Delta x}</math> اصل تفاعل *f* کا نقطہ *P* سے آگے "چڑھاؤ-اوپر-بھاگ" (rise-over-run) ہے۔

=== فرق قسیم سے تعریف ===
چلو <code dir="ltr">y=f(x)</code> اور جہاں *ƒ* حقیقی قدر والی تفاعل ہو۔ کلاسیکی ہندسہ میں نقطہ *a* پر مماسی لکیر وہ ہوتی تھی جو نقطہ <code dir="ltr"></code> سے گذرے مگر تفاعل کے گراف کو کسی اور نقطہ پر قطع نہ کرے۔ اس صورت میں *y* کا مشتق *x* کی رُو سے نقطہ *x=a* پر اس مماسی لکیر کے مائل کے برابر ہے۔ اس مماسی کی مائل ایسی لکیر جو نقطہ <code dir="ltr"></code> اور قریبی نقطہ <code dir="ltr"></code> سے گذر رہی ہو کے مائل سے بڑی قریب ہو گی۔ ایسی لکیروں کو "لکیرِ قاطع" کہتے ہیں۔ اگر *h* صفر کے قریب ہو تو لکیر قاطع کا مائل بڑا قریب ہو گا مماسی کے مائل کے اور اگر *h* کی مطلق قدر جتنی کم ہو تقرب اتنا ہی بہتر ہو گا۔ لکیرِ قاطع کا مائل *m* ان نقاط پر جہاں یہ تفاعل *f* کو قطع کرتے ہیں کی "*y* اقدار کے فرق" کو "*x* اقدار کے فرق" سے تقسیم کرنے سے ملتا ہے:
:<math>m = \frac{\Delta f(x)}{\Delta x} = \frac{f(a+h)-f(a)}{h}.</math>
یہ اظہاریہ نیوٹن کا *'فرق قسیم** ہے۔ مشتق اس فرق قسیم کی وہ قدر ہے جب لکیرِ قاطع قریب تر ہوتی جاتی ہے مماسی لکیر کے۔ رسمی طور پر فنکشن ''f'' کا ''a'' پر مشتق اس فرق قسیم کی [[limit (mathematics|حد]] ہے
:<math>f'(a)=\lim_{h\to 0}{f(a+h)-f(a)\over h}</math>
جب ''h'' صفر کے قریب تر ہوتا جائے، اگر یہ حد وجود رکھتی ہو۔ اگر اس حد کا وجود ہو تو فنکشن ''f'' نقطہ ''a'' پر تفرقاً ہے۔ یہاں <code dir="ltr">''ƒ''′ (''a'')</code> مشتق کی بہت سی علامتوں میں سے ایک ہے۔

مساوانہ، مشتق اس خاصہ کی تسکین کرتا ہے
:<math>\lim_{h\to 0}{f(a+h)-f(a) - f'(a)\cdot h\over h} = 0,</math>
جس کی وجدانی تفسیر (شکل 1) ہے کہ فنکشن ''f'' کی مماسی لکیر نقطہ ''a'' پر ''f'' کا بہترین لکیری تقرب ہے
:<math>f(a+h) \approx f(a) + f'(a)h</math>
(چھوٹے ''h'' کے لیے)۔ دوسری طاقمات میں اس تفسیر کو جامع کرنا آسان ترین ہے۔

اگر ''h'' کی جگہ ''0'' لگایا جائے تو صفر سے تقسیم ہو جائے، اس لیے لکیر کی مائل سیدھی طرح معلوم کرنا ممکن نہیں ہوتا۔ اس کی بجائے فرق قسیم کو ''h'' کی فنکشن کے طور پر <code dir="ltr">''Q''(''h'')</code> تعریف کیا جاتا ہے:
:<math>Q(h) = \frac{f(a + h) - f(a)}{h}.</math>
نقاط <code dir="ltr"></code> اور <code dir="ltr"></code> کے درمیان لکیرِقاطع کا مائل <code dir="ltr">''Q''(''h'')</code> ہے۔ اگر فنکشن ''f'' استمری ہو، یعنی اس کا گراف ثابت منحنی ہو بغیر وقفوں کے، تو نقطہ ''h''&nbsp;=&nbsp;0 سے پرے ''Q'' بھی استمری ہے۔ اگر حد <math>\textstyle\lim_{h\to 0} Q(h)</math> وجود رکھتی ہو، مطلب کہ ایسا طریقہ ہو کہ <code dir="ltr">''Q''(''0'')</code> کی ایسی قدر چنی جا سکے جو ''Q'' کو استمری فنکشن بنا دے، تو فنکشن ''f'' تفرقاً ہے نقطہ ''a'' پر اور اس کا مشتق نقطہ ''a'' پر <code dir="ltr">''Q''(''0'')</code> کے برابر ہے۔

ممارست میں، استمری <code dir="ltr">''Q''(''h'')</code> کا وجود نقطہ ''h''&nbsp;= 0 پر دکھانے کے لیے، numerator کو اس طرح مڑورا جاتا ہے کہ ''h'' numerator اور denominator میں کٹ جائے۔

=== مثال ===
مربعاتی فنکشن <code dir="ltr">''ƒ''(''x'') = ''x''<sup>2</sup></code> نقطہ ''x'' = 3 پر تفرقاً ہے اور اس کا مشتق وہاں 6 ہے۔ اس نتیجہ کو یوں قائم کیا جاتا ہے:
:<math>{f(3+h)-f(3)\over h} = {(3+h)^2 - 9\over{h}} = {9 + 6h + h^2 - 9\over{h}} = {6h + h^2\over{h}} = 6 + h </math>
اب مشتق حاصل کرنے کے لیے ہم <math>h\to 0</math> جانے دیتے ہیں
:<math>\ (6 + h) \to 6 + 0 = 6 </math>
اوپر کے اظہاریہ سے معلوم ہوتا ہے کہ قسیم ''6'' + ''h'' کے برابر ہے جب ''h'' غیر صفر ہو اور ناتعریف شدہ ہوتا ہے جب ''h'' صفر ہو۔ (یاد رہے کہ فرق قسیم کی تعریف کی رُو سے، فرق قسیم ''h'' کی صفر قدر کے لیے کبھی تعریف نہیں ہوتا)۔ البتہ صفر پر فرق قسیم کی قدر پوری کرنے کا قدرتی طریقہ ہے، جو یہاں ''6'' ہے۔ اس لیے مربعاتی فنکشن کے گراف پر نقطہ <code dir="ltr">(3, 9)</code> پر مائل کی قدر ''6'' ہے اور اس لیے ''x'' = 3'' پر مشتق کی قدر <code dir="ltr">''ƒ'' '(3) = 6</code> ہے۔

جامعاتی طور پر، اسی طرح کی شمارندگی سے پتہ چلتا ہے کہ ''x'' = ''a'' پر مربعاتی تفاعل کا مشتق <code dir="ltr">''ƒ'' '(''a'') = 2''a''</code> ہے۔

خیال رہے کہ مشتق کی اوپر تعریف (لکیرِ قاطع کی حد) کلاسیکی ہندسہ میں مماسی کی تعریف پر منحصر نہیں۔ خاص طور پر کسی نقطہ پر یوں معلوم ہونے والا مماسی تفاعل کو کسی جگہ قطع بھی کر سکتا ہے۔

=== استمری اور تفرقاً ===
[[فائل:Right-continuous.svg|تصغیر|بائیں|اس تفاعل کا نشانذہ نقطہ پر مشتق وجود نہیں رکھتا کیونکہ تفاعل یہاں استمری نہیں۔]]
اگر <code dir="ltr">''y'' = ''ƒ''(''x'')</code> تفاعل ''a'' پر تفرقاً ہو، تو لازمی طور پر تفاعل ''a'' پر استمری ہو گی۔ مثال کے طور پر [[step function|قدم دالہ]] (تصویر) جو نقطہ <code dir="ltr">''x=a''</code> سے پہلے صفر ہے اور <code dir="ltr">''x=a''</code> پر اور اس کے بعد 1، یہ تفاعل نقطہ <code dir="ltr">''x=a''</code> پر لاستمری ہے۔ اگر ''h'' منفی ہو تو ''a+h'' قدم کے نچلے حصے پر ہو گا اور ''a+h'' سے ''a'' تک جاتی لکیر قاطع بہت ڈھلونی ہو گی۔ دوسر طرف ''h'' اگر مثبت ہو تو ''a+h'' قدم کے اوپرلے حصے پر ہو گا اور ''a'' سے ''a+h'' جاتی لکیر قاطع کا مائل صفر ہو گی۔ نتیجتاً لکیر قاطع کسی یکساں مائل کی طرف نہیں جاتی، اس لیے قسیم کی حد موجود نہیں۔ اس لیے ''x=a'' پر اس تفاعل کا مشتق وجود نہیں رکھتا۔ اس کے باوجود اس نقطہ پر [[distribution (mathematics|توزیع]] کا نظریہ استعمال کرتے ہوئے مشتق تعریف کیا جا سکتا ہے۔

[[فائل:Absolute value.svg|بائیں|تصغیر|مطلق قدر تفاعل (ہر جگہ) استمری ہے، مگر نقطہ ''x''&nbsp;=&nbsp;0 پر تفرقاً ہونے پر ناکام ہے کیونکہ بائیں اور دائیں سے مماسی لکیریں ایک قدر کی طرف نہیں لپکتی۔]]
البتہ اگر تفاعل کسی نقطہ پر استمری بھی ہو پھر بھی ممکن ہے کہ وہاں تفرقاً نہ ہو۔ مثال کے طور پر [[absolute value|مطلق قدر]] تفاعل نقطہ ''x=0'' پر استمری ہے، مگر وہاں تفرقاً نہیں۔ اگر ''h'' مثبت ہو تو ''0'' سے ''h'' تک لکیرِ قاطع کا مائل 1 ہے، جبکہ اگر ''h'' منفی ہو تو ''0'' سے ''h'' تک لکیرِ قاطع کا مائل <code dir="ltr">-1</code> ہے۔ گرافی طور پر اسے نقطہ صفر پر نوک کے طور پر دیکھا جا سکتا ہے۔

مختصراً یہ کہ تفاعل کے مشتق کے وجود رکھنے کے لیے [[اگر بشرط اگر#ضروری اور کافی|ضروری]] ہے کہ تفاعل استمری ہو، مگر استمری ہونا تفاعل کے تفرقاً ہونے کے لیے [[اگر بشرط اگر#ضروری اور کافی|کافی]] نہیں۔

=== مشتق بطور تفاعل ===
چلو ''f'' تفاعل ہو جس کا اپنی [[ساحہ (ضدابہام)|ساحہ]] میں ہر نقطہ ''a'' پر مشتق وجود رکھتا ہو۔ چونکہ ہر نقطہ ''a'' پر مشتق ہے، اس لیے ایک تفاعل ایسی ہے جو نقطہ ''a'' کو تفاعل کے مشتق میں بھیجتی ہے۔ اس تفاعل کو <code dir="ltr">''f′(x)''</code> لکھا جاتا ہے اور اسے ''مشتق فنکشن'' کہتے ہیں یا ''f'' کا مشتق۔

کبھی یوں بھی ہوتا ہے کہ کا مشتق ساحہ کے زیادہ تر نقاط، مگر تمام نہیں، پر وجود رکھتا ہے۔ ایسی تفاعل جو نقطہ ''a'' پر ''f'' کے مشتق <code dir="ltr">''f′(a)''</code> کے برابر ہو جب بھی مشتق وجود رکھتا ہو اور دیگر نقاط پر غیر تعریف شدہ ہو، کو بھی تفاعل کا مشتق کہتے ہیں۔ یہ <code dir="ltr">''f′''</code> تفاعل ہوتی ہے مگر اس کا ساحہ ''f'' کے ساحہ سے چھوٹا ہوتا ہے۔

اس خیال کے استعمال سے، تفرق دالہات کا تفاعل بن جاتا ہے: تفرق ایک [[operator|عالج]] ہے جس کا ساحہ ایسے تمام دالہات کا مجموعہ ہے جن کا مشتق ان کی ساحہات میں ہر نقطہ پر وجود رکھتا ہے اور اس کا [[Range|حیطہ]] دالہات کا مجموعہ ہے۔ اگر اس عالج کو ''D'' کی علامت دی جائے، تو <code dir="ltr">''D(f)''</code> برابر ہے تفاعل <code dir="ltr">''f′(x)''</code> کے۔ چونکہ <code dir="ltr">''D(f)''</code> تفاعل ہے، اس لیے اسے نقطہ ''a'' پر جانچا جا سکتا ہے۔ مشتق کی تعریف کے مطابق <code dir="ltr">''D''(''ƒ'')(''a'')&nbsp;= ''f′''(''a'')</code> ہو گا۔

مقابلے کے لیے، دوگنیاتی تفاعل <code dir="ltr">''ƒ''(''x'')&nbsp;=2''x''</code> کو دیکھو؛ تفاعل ''ƒ'' حقیقی قدر والی ہے اور حقیقی عدد کی تفاعل ہے، یعنی حقیقی عدد ادخال کرتی ہے اور حقیقی عدد اخراج کرتی ہے:
:<math>\begin{align}
 1 &{}\mapsto 2,\\
 2 &{}\mapsto 4,\\
 3 &{}\mapsto 6
\end{align}</math>
عالج ''D'' البتہ انفرادی اعداد کے لیے تعریفدہ نہیں، یہ صرف دالہات کے لیے تعریف ہے:
:<math>\begin{align}
 D(x \mapsto 1) &= (x \mapsto 0),\\
 D(x \mapsto x) &= (x \mapsto 1),\\
 D(x \mapsto x^2) &= (x \mapsto 2\cdot x)
\end{align}</math>
چونکہ ''D'' کا اخراج تفاعل ہے، ''D'' کے اخراج کو کسی نقطہ پر جانچا جا سکتا ہے۔ مثال کے طور پر، اگر ''D'' کو مربعاتی تفاعل پر اطلاق کیا جائے تو،
:<math>x \mapsto x^2,</math>
''D'' کا اخراج دوگنیاتی تفاعل ہے،
:<math> x \mapsto 2x ,</math>
جس کا نام ہم <code dir="ltr">''ƒ''(''x'')</code> رکھتے ہیں۔ اس اخراج تفاعل کو جانچا جا سکتا ہے، <code dir="ltr">''ƒ''(1)&nbsp;= 2</code>، <code dir="ltr">''ƒ''(2)&nbsp;= 4</code> اور اسی طرح۔



=== مشتقاتِ بالا ===
چلو ''f'' تفرقاً تفاعل ہو اور <code dir="ltr">''f′(x)''</code> اس کا مشتق۔ تفاعل <code dir="ltr">''f′(x)''</code> کا مشتق (اگر وجود رکھتا ہو) کو <code dir="ltr">''f′′(x)''</code> لکھا جاتا ہے اور اسے ''f'' کا [[second derivative|دوسرا مشتق]] کہا جاتا ہے (''f'' کا پہلا مشتق <code dir="ltr">''f′(x)''</code> ہے)۔ اسی طرح، مشتقِ دوم کا مشتق، اگر وجود رکھتا ہو، کو <code dir="ltr">''f′′′(x)''</code> لکھا جاتا ہے اور اسے ''f'' کا تیسرا مشتق کہا جاتا ہے۔ ان بتکرار مشتقات کو **بالا مرتب مشتقات** کہا جاوے ہے۔

کسی فنکشن ''f'' کا مشتق ہونا ضروری نہیں۔ بعینہ اگر ''f'' کا مشتق ہو بھی، تو ہو سکتا ہے اس کا دوسرا مشتق وجود نہ رکھتا ہو۔ مثال کے طور پر، چلو
:<math>f(x) = \begin{cases} x^2, & \mbox{if }x\ge 0 \\ -x^2, & \mbox{if }x \le 0\end{cases}</math>
ابتدائی حسابگری سے پتہ چلتا ہے کہ ''f'' تفرقاً ہے جس کا مشتق
:<math>f'(x) = \begin{cases} 2x, & \mbox{if }x\ge 0 \\ -2x, & \mbox{if }x \le 0.\end{cases}</math>
<code dir="ltr">''f′(x)''</code> مطلق قدر فنکشن کا دوہرا ہے، جس کا صفر پر مشتق وجود نہیں رکھتا۔ اس طرھ کی مثالوں سے پتہ چلتا ہے کہ ہو سکتا ہے کہ کسی فنکشن کے ''k'' مشتق ہوں (کسی غیر منفی صحیح عدد ''k'' کے لیے) مگر <code dir="ltr">(''k''+1)</code>-واں مرتب مشتق نہ ہو۔ ایسی فنکشن جو مسلسل ''k'' مرتبہ تفرقاً ہو کو ***k*-بار تفرقاً** کہا جاتا ہے۔ اس کے علاوہ اگر ''k''-واں مشتق استمری ہو تو تفاعل کو [[differentiability class|تفرقاً جماعت]] ''C<sup>k</sup>'' کا رکن مانا جاتا ہے۔ (یہ ''k'' مرتبہ تفرقاً ہونے سے مظبوط تر شرط ہے۔) جس فنکشن کے لامتناہی مشتقاتِ بالا ہوں اسے **لامتناہی تفرقاً** یا [[smooth function|ہموار]] کہا جاتا ہے۔

ھقیقی لکیر پر، ہر [[کثیر الاسمی|کثیر رقمی دالہ]] لامتناہی بار تفرقاً ہے۔ تفرق کے معیاری قواعد کی رُو سے، اگر درجہ ''n'' کا کثیر رقمی ''n'' بار تفرق کیا جاوے، تو یہ [[constant function|دائم دالہ]] بن جاتا ہے۔ اس کے تمام اگلے مشتق شناختی صفر ہیں۔ خاص طورانہ، یہ وجود رکھتے ہیں، اس لیے کثیر رقمی ہموار فنکشن ہیں۔

فنکشن ''f'' کے نقطہ ''x'' پر مشتق اس فنکشن کے نقطہ ''x'' کے آس پاس کثیر رقمی تقرب فراہم کرتے ہیں۔ مثالاً، اگر ''f'' دو بار تفرقاً ہو، تو
:<math> f(x+h) \approx f(x) + f'(x)h + \tfrac12 f''(x) h^2</math>
ان معنوں میں کہ
:<math> \lim_{h\to 0}\frac{f(x+h) - f(x) - f'(x)h - \frac12 f''(x) h^2}{h^2}=0.</math>
اگر ''f'' لامتناہی بار تفرقاً ہووے تو یہ اس فنکشن کے [[ٹیلر سلسلہ]] کی ابتدا ہے۔

== تفرق کی علامات ==

=== لائیبنیز کی علامت ===
[[گوٹفریڈ ویلہم لائبنیز|لائیبنیز]] کی متعارف کرائی علامات اولین میں سے ہیں۔ یہ اب بھی عام استعمال ہوتی ہے جب <code dir="ltr">''y''&nbsp;=&nbsp;ƒ(''x'')</code> کو آزاد اور تابع متغیر میں فنکشناتی نسبت کے طور پر سمجھا جائے۔ مشتقِ اول کو پھر اس علامات سے تعبیر کیا جاتا ہے

: <math>\frac{dy}{dx},\quad\frac{d f}{dx}(x),\;\;\mathrm{or}\;\; \frac{d}{dx}f(x).</math>
مشتقاتِ بالا کا اظہار اس علامات سے کیا جائے ہے


: <math>\frac{d^ny}{dx^n},
\quad\frac{d^n f}{dx^n}(x),
\;\;\mathrm{or}\;\;
\frac{d^n}{dx^n}f(x)</math>
<code dir="ltr">''y''&nbsp;=&nbsp;ƒ(''x'')</code> کے ''n''-ویں مشتق (''x'' کی رو سے ) کے لیے۔ یہ مشتقی عالج کے متعدد اطلاق کی مختصر صورت ہے۔ مثلاً
:<math>\frac{d^2y}{dx^2} = \frac{d}{dx}\left(\frac{dy}{dx}\right).</math>
لائیبنز کی علامت سے ہم نقطہ ''x''&nbsp;=&nbsp;''a'' پر ''y'' کے ''x'' کی رو سے مشتق کو دو مختلف طریق سے لکھ سکتے ہں:
: <math>\frac{dy}{dx}\left.{\!\!\frac{}{}}\right|_{x=a} = \frac{dy}{dx}(a).</math>
لائیبنز کی خوبصورت علامت سے ہم تفرق کے متغیر کو denominator میں لکھ سکتے ہیں۔ یہ [[partial differentiation|جزوی تفرق]] میں خاص طور پر مفید ہے۔ اس سے [[chain rule|زنجیر قاعدہ]] کو یاد رکھنا بھی آسان رہتا ہے::

: <math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.</math>

=== لاگرینج کی علامات ===
ایک عام استعمال ہونے والی علامت [[جوزف لوئی لاگرانج|لاگرینج]] کی ہے جو [[prime mark|اولی نشان]] کا استعمال کرتا ہے، اس طرح فنکشن <code dir="ltr">ƒ(''x'')</code> کا مشتق <code dir="ltr">ƒ′(''x'')</code> لکھا جاتا ہے یا صرف <code dir="ltr">ƒ′</code> ہی۔ اسی طرح دوسرا اور تیسرے مشتق کو
:<math>(f')'=f''\,</math>   اور   <math>(f'')'=f**\,
لکھا جاتا ہے۔ اس کے بعد عدد استعمال کیے جاتے ہیں، مثلاً
:f^{(4)}\,
چوتھا مشتق ہو گا۔ جامع طور پر *n*-ویں مشتق کو ƒ (*n*) لکھا جائے گا۔

### نیوٹن کی علامات
نیوٹن کی علامت، جسے نقطہ علامت بھی کہتے ہیں، فنکشن کے نام کے اوپر نقطہ ڈال کر مشتق ظاہر کیا جاتا ہے۔ اگر *y* = *ƒ*(*t*) ہو، تو
:\dot{y}   اور   \ddot{y}
علترتیب متغیر *y* کے پہلے اور دوسرے مشتق کو ظاہر کرتا ہے متغیر *t* کی رُو سے۔ یہ علامت عام طور پر وہیں استعمال ہوتی ہے جہاں آزاد متغیر وقت ہو اور طیبیعیات میں عام ملتی ہے جیسا کہ تفرقی مساوات میں۔

### عائلر کی علامات
عائلر کی علامت تفرقی عالج *D* استعمال کرتی ہے، جسے جب فنکشن *f* پر اطلاق کیا جائے تو پہلا مشتق *Df* ملتا ہے۔ دوسرے مشتق کو *D*2*ƒ* اور *n*-ویں مشتق کو *D**n**ƒ* لکھا جاتا ہے۔

اگر *y* = *ƒ*(*x*) تابع متغیر ہو، تو *x* کو ذیلی نص کے طور پر *D* سے نتھی کیا جاتا ہے یہ واضح کرنے کے لیے کہ آزاد متغیر *x* ہے۔ عائلر کی علامت پھر یوں لکھی جاتی ہے
:D_x y\,   اور   D_x f(x)\,
اگرچہ ذیلی نص اکثر نہیں لگایا جاتا جب یہ واضح ہو کہ مراد *x* ہی ہے، جیسا کہ جب اظہاریہ میں صرف ایک ہی متغیر موجود ہو۔
عائلر کی علامت لکیری تفرقی مساوات میں مفید ثابت ہوتی ہے۔

## مشتق کی شمارندگی
فنکشن کا مشتق جیسے اوپر بیان ہوا، قسیم فرق کی تعریف اور اس کی حد سے شمارند کیا جا سکتا ہے۔ عملی طور پر جب کچھ سادہ فنکشنات کے مشتق معلوم ہوں، تو دوسری فنکشنات کے مشتق ان سے مشتق حاصل کرنے کے "قواعد" استعمال کرتے ہوئے ڈھونڈے جا سکتے ہیں۔

### ابتدائی دالہات کے مشتق
تقریباً سبھی مشتق آخرکار کچھ ابتدائی دلہات کے مشتق درکار کرتے ہیں۔ نیچے یکی متغیر کی کچھ فنکشنات اور ان کے مشتقات کی ایک نامکمل فہرست دی ہے:
* طاقت کے مشتقات: اگر
: f(x) = x^r\,
جہاں *r* کوئی حقیقی عدد ہے، تو
: f'(x) = rx^{r-1}\,
جب بھی یہ فنکشن تعریف شدہ ہو۔ مثلاً r=1/2 کے لیے
: f'(x) = \frac{1}{2}x^{-\tfrac12}\,
اور یہ فنکشن صرف غیر منفی *x* کے لیے تعریف ہے۔ جب r=0 ہو، تو مشتق کا دائم قاعدہ حاصل ہوتا ہے۔

: اسّی اور لاگرتھمی دالہات
: \frac{d}{dx}e^x = e^x
: \frac{d}{dx}a^x = \ln(a)a^x
: \frac{d}{dx}\ln(x) = \frac{1}{x},\qquad x > 0
: \frac{d}{dx}\log_a(x) = \frac{1}{x\ln(a)}

* *[[مثلثیاتی دالہ]]*:
: \frac{d}{dx}\sin(x) = \cos(x).
: \frac{d}{dx}\cos(x) = -\sin(x).
: \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)}.

* *[[Inverse trigonometric function|مقلوب مثلثیاتی دالہ]]*:
: \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}}.
: \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}}.
: \frac{d}{dx}\arctan(x)= \frac{1}.

### مشتق ڈھونڈنے کے قواعد
بہت دفعہ نیوٹن کے فرق قسیم کے حد کی پچیدہ حسابگری سے تفرقی قواعد کے استعمال سے بچا جا سکتا ہے۔ کچھ انتہائی ابتدائی قواعد ذیل ہیں:
* *دائم قاعدہ*: اگر *f*(*x*) دائم ہو، تو
:f' = 0 \,
* *[[Linearity of differentiation|جمع قاعدہ]]*:
:(af + bg)' = af' + bg' \, تمام دالہات *ƒ* اور *g* اور حقیقی اعداد *a* اور *b* کے لیے۔
* *[[Product rule|ضرب قاعدہ]]*:
:(fg)' = f 'g + fg' \, تمام دالہات *ƒ* اور *g* کے لیے۔
* *[[Quotient rule|قسیم قاعدہ]]*:
:\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2} تمام دالہات *ƒ* اور *g* جہاں*g* ≠ 0
* *[[Chain rule|زنجیر قاعدہ]]*: اگر f(x) = h(g(x))، تو
:f'(x) = h'(g(x)) \cdot g'(x). \,

### مثال شمارندگی

ذیل فنکشن کا مشتق
: f(x) = x^4 + \sin (x^2) - \ln(x) e^x + 7\,
یہ ہے
: 
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{d\left(x^2\right)}{dx}\cos (x^2) - \frac{d\left(\ln {x}\right)}{dx} e^x - \ln{x} \frac{d\left(e^x\right)}{dx} + 0 \\
 &= 4x^3 + 2x\cos (x^2) - \frac{1}{x} e^x - \ln(x) e^x.
\end{align}

یہاں دوسری اصطلاح "زنجیر قاعدہ" اور تیسری "ضرب قاعدہ" سے حاصل ہوئی۔ ابتدائی فنکشنات *x*2، *x*4،
sin(*x*)،
ln(*x*)
اور
exp(*x*) = *e**x*
اور دائم 7 کے معلوم مشتق بھی استعمال ہوئے۔

### سمتیہ قدر تفاعل کا مشتق
کسی حقیقی متغیر کی سمتیہ قدر فنکشن **y**(*t*) حقیقی اعداد کو سمتیہ مکاںء **R***n* میں بھیجتی ہے۔ سمتیہ-قدر فنکشن کو اس کے متناسق فنکشن *y*1(*t*), *y*2(*t*), …, *y**n*(*t*) میں بانٹا جا سکتا ہے، مطلب کہ **y**(*t*) = (*y*1(*t*), ..., *y**n*(*t*)) ہو۔ چونکہ متناسق فنکشن حقیقی قدر ہیں اس لیے مشتق کی اوپر دی تعریف کا اطلاق ہو گا۔ فنکشن **y**(*t*) کا مشتق بھی سمتیہ ہو گا، جسے مماسی سمتیہ کہیں گے اور اس کے متناسق، سمتیہ کے متناسق کے مشتق ہوں گے۔ یعنی
:\mathbf{y}'(t) = (y'_1(t), \ldots, y'_n(t)).
برابراً
:\mathbf{y}'(t)=\lim_{h\to 0}\frac{\mathbf{y}(t+h) - \mathbf{y}(t)}{h},
اگر حد وجود رکھتی ہو۔ numerator میں تفریق سمتیہ کی تفریق ہے۔ اگر **y** کا مشتق تمام کے لیے وجود رکھتا ہو، تو **y**′ ایک اور سمتیہ-قدر فنکشن ہے۔

اگر **R***n* میں **e**1, …, **e***n* معیاری بنیاد ہو، تو **y**(*t*) کو یوں *y*1(*t*)**e**1 + … + *y**n*(*t*)**e***n* لکھا جا سکتا ہے۔ اگر ہم لکیری خاصیت فرض کریں، تو **y**(*t*) کا مشتق ضرور ہو گا
:y'_1(t)\mathbf{e}_1 + \cdots + y'_n(t)\mathbf{e}_n
کیونکہ ہر بنیاد سمتیہ دائم ہے۔

یہ جامعیت خاصی مفید رہتی ہے، مثال کے طور پر اگر کسی زرّے کا وقت *t* پر مقام سمتیہ **y**(*t*) ہو؛ تو اس کا وقت *t* پر سمتار **y**′(*t*) ہو گا۔

زمرہ:تفریقی حسابان
زمرہ:احصا
زمرہ:تفاعلات
زمرہ:ریاضیاتی تحلیل
زمرہ:تبدیلی
زمرہ:ویکی ڈیٹا سے مختلف مختصر وضاحت
زمرہ:کسور (ریاضی)
زمرہ:میکانیات