Halaman ini berisi artikel tentang notasi matematika dari konsep lawas tentang perubahan yang sangat kecil. Untuk penggunaan yang lebih umum, lihat Diferensial.
Dalam matematika, **diferensial** mengacu pada beberapa notasi/konsep yang saling berhubungan dan berasal dari awal perkembangan ilmu kalkulus. Secara lebih matematis, istilah ini mengacu pada perubahan/selisih yang infinitesimal dan turunan dari fungsi. Istilah ini dipakai dalam berbagai cabang matematika seperti kalkulus, geometri diferensial, geometri aljabar dan topologi aljabar.

Pendahuluan
-----------

Istilah **diferensial** adalah terjemahan dari kata bahasa Inggris *differential*. Secara informal, kata *differential* digunakan dalam kalkulus untuk merujuk suatu perubahan yang infinitesimal ("*infinitely small*", sangat kecil) pada suatu variabel. Sebagai contoh, jika x adalah suatu variabel, maka besar perubahan/selisih dari nilai x sering dinyatakan dengan {\displaystyle \Delta x} (dibaca sebagai *delta x*). Diferensial dx menyatakan perubahan nilai yang sangat kecil pada variabel x. Konsep dari perubahan yang sangat kecil cukup intuitif dan memiliki peran yang sangat penting dalam matematika. Ada beberapa cara berbeda untuk mendefinisikan konsep ini secara matematis.

Penggunaan turunan memungkinkan perubahan infinitesimal suatu variabel dinyatakan sebagai perubahan-perubahan infinitesimal dari variabel-variabel lain. Jika y adalah fungsi terhadap x, maka diferensial dy dari variabel y terhubung dengan dx lewat persamaan


d
y
=

d
y

d
x

d
x
,

{\displaystyle dy={\frac {dy}{dx}}\,dx,}

{\displaystyle dy={\frac {dy}{dx}}\,dx,}dengan {\displaystyle {\tfrac {dy}{dx}}\,}menyatakan turunan dari y terhadap x. Rumus tersebut merangkum ide intuitif bahwa turunan dari y terhadap x adalah limit dari rasio {\displaystyle {\tfrac {\Delta y}{\Delta x}}} saat {\displaystyle \Delta x} menjadi infinitesimal. Terdapat beberapa pendekatan untuk mendefinisikan secara matematis konsep diferensial:

1. Diferensial sebagai pemetaan linear. Cara ini mendasari definisi turunan total dan turunan eksterior dalam ilmu geometri diferensial.
2. Diferensial sebagai kelas ekuivalensi *germ* dari fungsi-fungsi.
3. Diferensial sebagai elemen nilpoten dari gelanggang komutatif. Pendekatan ini populer dalam geometri aljabar.
4. Diferensial dalam *smooth model* pada teori himpunan.
5. Diferensial sebagai infinitesimals dalam sistem bilangan hiper-real, yakni perluasan bilangan real yang mengandung infinitesimal terbalikkan dan bilangan yang tak hingga besarnya. Cara ini adalah pendekatan analisis non-standar yang dikembangkan oleh Abraham Robinson.

Pendekatan-pendekatan tersebut sangat berbeda satu sama lainnya. Tetapi mereka semua memiliki ide bersifat *kuantitatif*, maksudnya tidak hanya berkata diferensial adalah sesuatu yang sangat kecil, tapi *juga seberapa* kecil dia.

### Notasi dasar

Karena kata diferensial berkembang dalam beberapa cabang kalkulus, diferensial dapat merujuk konsep "perubahan yang sangat kecil" yang berbeda. Dalam kalkulus, diferensial merujuk pada perubahan akibat mencari aproksimasi linear sebuah fungsi. Konsep diferensial ini diperumum sebagai diferensial total pada fungsi multivariabel. Dalam pendekatan kalkulus yang tradisional, diferensial (contohnya dx, dy, dt) dianggap sebagai perubahan yang sangat kecil (infinitesimal). Terdapat beberapa cara untuk mendefinisikan secara matematis konsep ini, namun juga cukup untuk mengganggap infinitesimal sebagai bilangan yang nilai mutlaknya lebih kecil dari sembarang bilangan real positif; sama seperti tak hingga sebagai bilangan yang lebih besar dari sembarang bilangan real.

Diferensial juga merupakan nama lain dari matriks Jacobi dari turunan parsial fungsi dari {\displaystyle \mathbb {R} ^{n}} ke {\displaystyle \mathbb {R} ^{m}} (khususnya ketika matriks ini dianggap sebagai peta linear). 
Kalkulus stokastik memberikan notasi diferensial stokastik dan kalkulus yang bersesuaian untuk proses stokastik.

Pada integral Riemann-Stieltjes, integrator dinyatakan sebagai diferensial dari suatu fungsi. Secara formal, diferensial yang muncul di dalam integral memiliki sifat yang tepat sama dengan diferensial. Hal ini mengartikan rumus integrasi dengan subtitusi dan integrasi secara parsial pada integral Stieltjes masing-masing berkorespodensi dengan aturan rantai dan aturan perkalian untuk diferensiasi.

Sejarah dan penggunaan
----------------------

Lihat pula: Sejarah kalkulus
Besaran infinitesimal ("yang sangat kecil") memainkan peranan penting dalam perkembangan kalkulus. Archimedes menggunakan konsep ini, walaupun ia tidak percaya argumentasi menggunakan infinitesimal bersifat tegas (*rigor*). Isaac Newton merujuk konsep ini sebagai *fluxions*. Tetapi, Gottfried Leibniz yang pertama mencetuskan istilah *differential* untuk besaran infinitesimal dan memperkenalkan notasi untuk mereka, yang masih digunakan saat ini.

Dalam notasi Leibniz, jika x adalah besaran yang dapat berubah (variabel), maka dx menyatakan perubahan infinitesimal pada variabel x. Sehingga, jika y adalah fungsi terhadap x, maka turunan dari y terhadap x sering dinyatakan sebagai dy/dx, yang dalam notasi Newton atau Lagrange sebagai {\displaystyle {\dot {y}}} atau {\displaystyle y'}. Penggunaan diferensial dalam bentuk ini awalnya mengundang banyak kontroversi, sebagai contoh dalam pamflet terkenal *The Analyst* oleh uskup Berkeley. Walaupun demikian, notasi ini tetap populer karena menggambarkan ide turunan dari y pada suatu titik x sebagai laju sesaat (kemiringan dari garis singgung pada grafik fungsi), yang dapat dihitung dengan mengambil limit dari rasio perubahan nilai y terhadap perubahan nilai x, yakni {\displaystyle {\tfrac {\Delta y}{\Delta x}}}, ketika perubahan x dibuat sekecil mungkin. Analisis dimensi juga berlaku bagi diferensial, sehingga dx memiliki dimensi yang sama dengan variabel x.

Kalkulus berkembang menjadi cabang matematika tersendiri pada abad ke-17, walaupun beberapa bagian di dalamnya sudah ada sejak jaman kuno. Pendekatan yang digunakan [contohnya] oleh Newton dan Leibniz ditandai oleh definisi yang tak tegas (tidak matematis) pada istilah seperti diferensial dan "sekecil mungkin". Walaupun argumentasi uskup Berkeley dalam karya *The Analyst* tahun 1734 sebagian besar bersifat teologis, matematikawan modern menyadari validitas argumennya mengenai besaran infinitesimal. Pendekatan kalkulus yang modern tidak memiliki masalah teknis tersebut. Walaupun banyak hal yang tidak tegas, perkembangan kalkulus secara pesat terjadi pada abad ke-17 dan ke-18. Pada abad ke-19, Cauchy dan para matematikawan lain mulai mengembangkan pendekatan epsilon-delta untuk mendefinisikan kekontinuan, limit, dan turunan, memberikan fondasi matematis untuk kalkulus.

Pada abad ke-20, beberapa konsep baru dalam, sebagai contoh kalkulus multivariabel dan geometri diferensial, terasa memuat maksud dari definisi-definisi lawas, khususnya *differential*. Saat ini diferensial and infinitesimal menggunakan definisi baru yang lebih tegas dan matematis.

Diferensial juga digunakan dalam notasi integral karena suatu integral dapat dianggap sebagai penjumlahan tak hingga banyaknya besaran infinitesimal: Luas daerah di dalam grafik dihasilkan dengan membagi grafik menjadi tak hingga banyaknya persegi panjang yang sangat tipis, dan menjumlahkan semua luas persegi panjang tersebut. Pada ekspresi seperti


∫
f
(
x
)

d
x
,

{\displaystyle \int f(x)\,dx,}

{\displaystyle \int f(x)\,dx,}Simbol integral (yang merupakan huruf s yang dipanjangkan) menyatakan penjumlahan tak hingga, f(x) menyatakan "tinggi" dari persegi panjang, sedangkan diferensial dx menyatakan lebar persegi panjang yang kecilnya tak hingga.

Pendekatan
----------

### Pendekatan naif

| Kalkulus |
| --- |
| * Teorema dasar

* Limit fungsi
* Kontinuitas

* Teorema nilai purata
* Teorema Rolle

 |
| Diferensial

| 
Definisi |
| --- |
| * Turunan (perumuman)

* Tabel turunan
* Diferensial
	+ infinitesimal
	+ fungsi
	+ total

 |
| 
Konsep |
| 
* Notasi untuk pendiferensialan
* Turunan kedua
* Turunan ketiga
* Perubahan variabel
* Pendiferensialan implisit
* Laju yang berkaitan
* Teorema Taylor

 |
| Kaidah dan identitas |
| 
* Kaidah penjumlahan dalam pendiferensialan
* Perkalian
* Rantai
* Pangkat
* Pembagian
* Rumus Faà di Bruno

 |

 |
| Integral

| 
Definisi |
| --- |
| * Antiderivatif
* Integral (takwajar)
* Integral Riemann
* Integrasi Lebesgue
* Integrasi kontur
* Tabel integral
 |
| 
Integrasi secara |
| * parsial
* cakram
* kulit tabung
* substitusi (trigonometri)
* pecahan parsial
* Urutan
* Rumus reduksi
 |

 |
| Deret

|  |
| --- |
| * geometri (aritmetika-geometrik)
* harmonik
* selang-seling
* pangkat
* binomial
* Taylor
 |
| Uji kekonvergenan |
| * uji suku
* rasio
* akar
* integral
* perbandingan langsung
* perbandingan limit
* deret selang-seling
* kondensasi Cauchy
* Dirichlet
* Abel
 |

 |
| Vektor

|  |
| --- |
| * Gradien
* Divergence
* Keikalan
* Laplace
* berarah
* identitas
 |
| 
Teorema |
| * Kedivergenan
* Gradien
* Green
* Stokes
 |

 |
| Multivariabel

| 
Formalisme |
| --- |
| * matriks
* tensor
* eksterior
* geometrik
 |
| 
Definisi |
| * Turunan parsial
* Integral lipat
* Integral garis
* Permukaan integral
* integral volume
* Jacobi
* Hesse
 |

 |
| Khusus
* fraksional
* Malliavin
* stokastik
* variasi

 |
| * l
* b
* s
 |

Beberapa buku teks siswa dan mahasiswa menggunakan pendekatan dan nomenklatur lawas yang naif ketimbang memberikan aksioma-aksioma yang tegas, definisi, dan akibat-akibat yang sederhana. Pendekatan dalam kalkulus ini menggunakan istilah *diferensial* untuk merujuk suatu perubahan yang infinitesimal ("*infinitely small*", sangat kecil) pada suatu variabel. Sebagai contoh, jika x adalah suatu variabel, maka besar perubahan/selisih dari nilai x sering dinyatakan dengan {\displaystyle \Delta x} (dibaca sebagai *delta x*). Diferensial dx menyatakan perubahan nilai yang sangat kecil pada variabel x. Konsep dari perubahan yang sangat kecil cukup intuitif dan memiliki peran yang sangat penting dalam matematika, kecuali ketika siswa menjadi bingung ketika menyadari ketidakkonsistenan. Ada beberapa cara berbeda untuk mendefinisikan konsep ini secara matematis.

Penggunaan turunan memungkinkan perubahan infinitesimal suatu variabel dinyatakan sebagai perubahan-perubahan infinitesimal dari variabel-variabel lain. Jika y adalah fungsi terhadap x, maka diferensial dy dari variabel y terhubung dengan dx lewat persamaan


d
y
=

d
y

d
x

d
x
,

{\displaystyle dy={\frac {dy}{dx}}\,dx,}

{\displaystyle dy={\frac {dy}{dx}}\,dx,}dengan {\displaystyle {\tfrac {dy}{dx}}\,}menyatakan turunan dari y terhadap x. Rumus tersebut merangkum ide intuitif bahwa turunan dari y terhadap x adalah limit dari rasio {\displaystyle {\tfrac {\Delta y}{\Delta x}}} saat {\displaystyle \Delta x} menuju 0.

### Diferensial sebagai peta linear

Ada cara sederhana untuk mendefinisikan secara akurat makna diferensial, pertama menggunakan garis bilangan dengan mengganggapnya sebagai peta linear. Hal ini selanjutnya dapat diperumum ke {\displaystyle \mathbb {R} }, {\displaystyle \mathbb {R} ^{n}}, ruang Hilbert, ruang Banach, atau secara umum, ruang vektor topologis. Kasus garis bilangan paling mudah untuk dijelaskan.

#### Diferensial sebagai peta linear pada R

Misalkan {\displaystyle f(x)} adalah fungsi bernilai real pada {\displaystyle \mathbb {R} }. Variabel {\displaystyle x} dalam {\displaystyle f(x)} dapat dianggap sebagai sebuah fungsi ketimbang sebuah bilangan, yakni sebagai fungsi identitas pada garis bilangan, yang memetakan sebuah bilangan real {\displaystyle p} ke dirinya sendiri: {\displaystyle x(p)=p}. Hal ini mengartikan {\displaystyle f(x)} adalah fungsi komposit {\displaystyle f} terhadap {\displaystyle x}, dengan nilai di titik {\displaystyle p} adalah {\displaystyle f(x(p))=f(p)}. Diferensial {\displaystyle \operatorname {d} f} (yang tentunya bergantung pada perubahan nilai {\displaystyle f}) selanjutnya adalah sebuah *fungsi* di titik {\displaystyle p} (umumnya dinyatakan sebagai {\displaystyle df\_{p}}) yang memetakan {\displaystyle \mathbb {R} } ke {\displaystyle \mathbb {R} } secara linear. Selanjutnya pemetaan linear dari {\displaystyle \mathbb {R} } ke {\displaystyle \mathbb {R} } dinyatakan oleh matriks berukuran {\displaystyle 1\times 1}, yang sama saja dengan sebuah bilangan, namun perubahan perspektif memungkinkan untuk mengganggap {\displaystyle df\_{p}} sebagai infinitesimal dan *membandingkannya* dengan *infinitesimal* *standar* {\displaystyle dx\_{p}}, yang dalam kasus ini adalah fungsi identitas dari {\displaystyle \mathbb {R} } ke {\displaystyle \mathbb {R} } (matriks berukuran {\displaystyle 1\times 1} dengan elemen bernilai {\displaystyle 1}). Fungsi identitas memiliki sifat yakni jika {\displaystyle \varepsilon } bernilai sangat kecil, maka {\displaystyle dx\_{p}(\varepsilon )} juga akan bernilai sangat kecil, memungkinkannya dianggap sebagai suatu infinitesimal. Diferensial {\displaystyle df\_{p}} memiliki sifat yang sama, karena ia merupakan kelipatan dari {\displaystyle dx\_{p}}, dan besar kelipatan ini, {\displaystyle f'(p)}, adalah definisi dari turunan. Alhasil didapatkan {\displaystyle df\_{p}=f'(p)\,dx\_{p}}, dan akibatnya {\displaystyle df=f'\,dx}.

Pendekatan di atas pada akhirnya menggunakan ide bahwa {\displaystyle f'} adalah perbandingan dari diferensial {\displaystyle df} terhadap diferensial {\displaystyle dx}. Pendekatan ini juga dapat diperumum karena berisi ide bahwa turunan dari {\displaystyle f} di titik {\displaystyle p} adalah *aproksimasi linear terbaik* dari fungsi {\displaystyle f} di titik {\displaystyle p}.

#### Diferensial sebagai peta linear pada Rn

Jika {\displaystyle f} adalah fungsi multivariabel dari {\displaystyle \mathbb {R} ^{n}} ke {\displaystyle \mathbb {R} }, maka {\displaystyle f} didefinisikan sebagai *terdiferensialkan* di titik {\displaystyle p\in \mathbb {R} ^{n}} jika terdapat pemetaan linear {\displaystyle df\_{p}} dari {\displaystyle \mathbb {R} ^{n}} ke {\displaystyle \mathbb {R} } sedemikian sehingga untuk sembarang {\displaystyle \varepsilon >0}, ada suatu lingkungan {\displaystyle N} dari {\displaystyle p} sedemikian sehigga untuk sembarang {\displaystyle x\in N},



|

f
(
x
)
−
f
(
p
)
−
d

f

p

(
x
−
p
)

|

<
ε

|

x
−
p

|

.

{\displaystyle \left|f(x)-f(p)-df\_{p}(x-p)\right|<\varepsilon \left|x-p\right|.}

{\displaystyle \left|f(x)-f(p)-df_{p}(x-p)\right|<\varepsilon \left|x-p\right|.}Pendekatan yang sama dengan kasus satu dimensi dapat digunakan pada masalah ini, dengan menganggap ekspresi {\displaystyle f(x\_{1},x\_{2},\ldots ,x\_{n})} sebagai fungsi komposit {\displaystyle f} dengan fungsi koordinat standar {\displaystyle x\_{1},x\_{2},\ldots ,x\_{n}} on {\displaystyle \mathbb {R} ^{n}} (yakni {\displaystyle x\_{j}(p)} menyatakan komponen ke-{\displaystyle j} dari titik {\displaystyle p\in \mathbb {R} ^{n}}). Selanjutnya diferensial{\displaystyle \left(dx\_{1}\right)\_{p},\left(dx\_{2}\right)\_{p},\ldots ,\left(dx\_{n}\right)\_{p}} pada titik {\displaystyle p} membentuk sebuah basis untuk ruang vektor dari peta-peta linear {\displaystyle \mathbb {R} ^{n}} ke {\displaystyle \mathbb {R} }. Akibatnya, jika {\displaystyle f} terdiferensialkan pada titik {\displaystyle p}, maka *{\displaystyle \operatorname {d} f\_{p}}* dapat ditulis sebagai kombinasi linear elemen-elemen basis tersebut:


d

f

p

=

∑

j
=
1

n

D

j

f
(
p
)

(
d

x

j

)

p

.

{\displaystyle df\_{p}=\sum \_{j=1}^{n}D\_{j}f(p)\,(dx\_{j})\_{p}.}

{\displaystyle df_{p}=\sum _{j=1}^{n}D_{j}f(p)\,(dx_{j})_{p}.}Koefisien-koefisien {\displaystyle D\_{j}f(p)} adalah (dari definisi) turunan parsial dari {\displaystyle f} di {\displaystyle p} terhadap {\displaystyle x\_{1},x\_{2},\ldots ,x\_{n}}. Dengan kata lain, jika {\displaystyle f} terdiferensialkan di keseluruhan {\displaystyle \mathbb {R} ^{n}}, maka diferensial {\displaystyle df} dapat ditulis dengan lebih ringkas sebagai:


d
f
=

∂
f

∂

x

1



d

x

1

+

∂
f

∂

x

2



d

x

2

+
⋯
+

∂
f

∂

x

n



d

x

n

.

{\displaystyle df={\frac {\partial f}{\partial x\_{1}}}\,dx\_{1}+{\frac {\partial f}{\partial x\_{2}}}\,dx\_{2}+\cdots +{\frac {\partial f}{\partial x\_{n}}}\,dx\_{n}.}

{\displaystyle df={\frac {\partial f}{\partial x_{1}}}\,dx_{1}+{\frac {\partial f}{\partial x_{2}}}\,dx_{2}+\cdots +{\frac {\partial f}{\partial x_{n}}}\,dx_{n}.}Pada kasus satu dimensi persamaan di atas menjadi


d
f
=

d
f

d
x

d
x

{\displaystyle df={\frac {df}{dx}}dx}

{\displaystyle df={\frac {df}{dx}}dx}sama seperti hasil pada kasus satu dimensi. Ide ini dapat diperumum untuk fungsi dari {\displaystyle \mathbb {R} ^{n}} ke {\displaystyle \mathbb {R} ^{m}}. Lebih lanjut, definisi ini lebih menguntungkan ketimbang definisi-definisi turunan yang lain karena bersifat invarian terhadap perubahan koordinat. Hal ini mengartikan ide yang sama juga dapat digunakan untuk mendefinisikan diferensial dari pemetaan mulus dari lipatan mulus.

Walaupun demikian, perlu disadari bahwa keberadaan semua turunan parsial dari {\displaystyle f(x)} di {\displaystyle x} adalah syarat perlu untuk keberadaan suatu diferensial di titik {\displaystyle x}. Namun itu bukan syarat cukup, untuk contoh penangkal, lihat turunan Gateaux.

Referensi
---------

1. ↑  "Differential". *Wolfram MathWorld*. Diakses tanggal 9 Maret 2022. Terjemahan dari bahasa Inggris: "Kata differensial memiliki beberapa arti yang saling berhubungan dalam matematika. Dalam konteks yang umum, kata itu berarti "sesuatu tentang turunan (*derivatives*)". Jadi, sebagai contoh, bagian kalkulus yang berurusan dengan menghitung turunan (diferensiasi), disebut sebagai kalkulus diferensial.  
Kata "differential" juga memiliki arti yang lebih teknis dalam teori diferensial *k-forms* sebagai sesuatu yang lebih dikenal sebagai *one-form*."
2. ↑  Darling 1994.
3. ↑  Eisenbud & Harris 1998.
4. ↑  See Kock 2006 and Moerdijk & Reyes 1991.
5. ↑  See Robinson 1996 and Keisler 1986.
6. ↑  Boyer 1991.
7. ↑  See, for instance, Apostol 1967.

Daftar pustaka
--------------

* Apostol, Tom M. (1967), *Calculus*Perlu mendaftar (gratis) (edisi ke-2nd), Wiley, ISBN 978-0-471-00005-1 .
* Bell, John L. (1998), *Invitation to Smooth Infinitesimal Analysis* (PDF) .
* Boyer, Carl B. (1991), "Archimedes of Syracuse", *A History of Mathematics*Perlu mendaftar (gratis) (edisi ke-2nd), John Wiley & Sons, Inc. ISBN 978-0-471-54397-8 .
* Darling, R. W. R. (1994), *Differential forms and connections*, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-46800-8 .
* Eisenbud, David; Harris, Joe (1998), *The Geometry of Schemes*, Springer-Verlag, ISBN 978-0-387-98637-1
* Keisler, H. Jerome (1986), *Elementary Calculus: An Infinitesimal Approach* (edisi ke-2nd) .
* Kock, Anders (2006), *Synthetic Differential Geometry* (PDF) (edisi ke-2nd), Cambridge University Press .
* Lawvere, F.W. (1968), *Outline of synthetic differential geometry* (PDF) (dipublikasikan tanggal 1998) .
* Moerdijk, I.; Reyes, G.E. (1991), *Models for Smooth Infinitesimal Analysis*, Springer-Verlag .
* Robinson, Abraham (1996), *Non-standard analysis*, Princeton University Press, ISBN 978-0-691-04490-3 .
* (Inggris) Weisstein, Eric W. "Differentials". *MathWorld*.

Ikon disambiguasi Halaman disambiguasi ini berisi matematika artikel dengan judul yang sering dikaitkan dengan **Diferensial**.  
Jika Anda mencapai halaman ini dari sebuah pranala internal, Anda dapat membantu mengganti pranala tersebut ke judul yang tepat.