Chain Rule & Product Rule
Chain rule (aturan rantai) dan product rule (aturan perkalian) adalah dua teknik inti diferensiasi yang mencakup ~80% pekerjaan menurunkan PDE. Artikel ini merangkum hasil sesi drill bertingkat 6 level, dari pangkat sederhana sampai turunan parsial untuk verifikasi solusi persamaan panas.
Chain Rule
Definisi
Dipakai saat ada fungsi di dalam fungsi (komposisi):
Bahasa manusianya: turunkan fungsi luar (isi dalamnya jangan diutak-atik), lalu kalikan dengan turunan fungsi dalam.
Intuisi
Laju perubahan berantai. Jika harga BBM naik 2x lebih cepat dari inflasi, dan ongkir naik 3x lebih cepat dari harga BBM, maka ongkir naik x lebih cepat dari inflasi. Laju perubahan dikalikan berantai — makanya disebut chain rule.
Cara mengenali
Tanya ke diri sendiri: "ada 'sesuatu' di dalam fungsi lain nggak?"
Kalau "sesuatu"-nya bukan sekadar polos → chain rule.
Cheat sheet pola
| Bentuk | Turunan |
|---|---|
Semua polanya sama: turunan luar × turunan dalam. Tidak ada pengecualian.
Chain rule berlapis
Untuk 3+ lapis, kupas seperti bawang dari luar ke dalam. Tiap lapis menyumbang satu faktor perkalian.
Contoh:
Lapis 1 (terluar) : sin(.) -> cos(e^(x^2)) Lapis 2 (tengah) : e^(.) -> e^(x^2) Lapis 3 (terdalam): x^2 -> 2x ------------------------------------------ Hasil = kalikan semuanya
⚠️ Jebakan #1: tanda minus di lapis tengah. Saat berada di lapis tengah (bukan terluar), tanda negatif dari turunannya gampang kececer. Contoh error nyata: → jawaban benar , tanda minusnya sempat hilang. Fix: tulis turunan tiap lapis eksplisit satu-satu dulu, baru kalikan di akhir. Jangan gabungkan di kepala.
Product Rule
Definisi
Dipakai saat ada perkalian dua fungsi yang sama-sama mengandung variabel yang diturunkan:
Kapan wajib, kapan tidak
| Kasus | Contoh (turunkan thd ) | Perlu product rule? |
|---|---|---|
| Kedua faktor mengandung | Ya | |
| Satu faktor tidak mengandung | Tidak — faktor konstanta |
Chain rule sering nyempil di dalam product rule saat menurunkan masing-masing faktor.
Turunan Parsial: Resep 4 Langkah
Konteks: fungsi multivariabel , ini habitat asli PDE.
- Sortir: faktor mana mengandung variabel yang diturunkan, mana yang "penonton"
- Penonton → keluarkan, jadi konstanta pengali
- Sisa satu faktor → chain rule biasa; sisa dua faktor → product rule
- Kalikan balik penontonnya
Contoh worked: verifikasi solusi persamaan panas
Buktikan solusi dari:
Sisi kiri — jadi penonton:
Sisi kanan — jadi penonton, chain rule 2x:
Kedua sisi identik. Terbukti.
Shortcut
Untuk sebagai solusi persamaan panas:
Contoh: → .
Intuisi fisik
- = bentuk gelombang spasial (tidak berubah bentuk)
- = amplitudo meluruh seiring waktu — panas menyebar, profil temperatur makin rata
- Faktor di eksponen: gelombang frekuensi tinggi (detail halus) meluruh jauh lebih cepat — inilah kenapa diffusion "menghaluskan" solusi
Jembatan ke CFD
Bentuk diskrit yang dipakai di step diffusion 12 Steps to Navier-Stokes-nya Barba (central difference):
Turunan bentuk ini dari Deret Taylor adalah gap berikutnya di Roadmap_Kalkulus_CFD.
Log Drill (2026-07-18)
| Level | Materi | Soal | Hasil |
|---|---|---|---|
| 1 | Pangkat, dalem linear | 3 | ☑ 3/3 |
| 2 | Trigonometri | 3 | ☑ 3/3 |
| 3 | Eksponensial | 3 | ☑ 3/3 |
| 4 | Chain rule berlapis | 4 | ☒ 3/4 — slip tanda di , revenge di 4.4 ☑ |
| 5 | Product + chain rule | 3 | ☑ 3/3 |
| 6 | Turunan parsial (PDE) | 3 | ☑ 3/3 |
Total: 18/19. Satu-satunya error: tanda minus di lapis tengah (level 4), langsung diperbaiki dan tidak terulang di level 5–6 meski jebakannya sama.
Verifikasi SymPy
Sesuai metodologi implementation-first — spot-check jawaban manual:
import sympy as sp
x, t = sp.symbols('x t')
# Contoh: soal 6.3
u = sp.exp(-2*t) * sp.sin(x) * sp.cos(3*t)
jawaban_manual = sp.sin(x) * (-2*sp.exp(-2*t)*sp.cos(3*t) - 3*sp.exp(-2*t)*sp.sin(3*t))
# Harus keluar 0 kalau benar
print(sp.simplify(jawaban_manual - sp.diff(u, t)))
Lihat juga
- Turunan Dasar
- Persamaan Diferensial Parsial
- Persamaan Panas
- Taylor Series
- Finite Difference
- Roadmap_Kalkulus_CFD
- 12 Steps to Navier-Stokes
Kategori:Kalkulus Kategori:CFD Kategori:Matematika untuk HPC