Diferensiasi Kompleks
Definisi turunannya sama seperti di kalkulus — tetapi kini Δz hidup di BIDANG: ia bisa mendekat dari segala arah. Tuntutan ekstra inilah yang melahirkan persamaan Cauchy–Riemann.
Jika f′ benar-benar ada, f harus lurus dan konsisten ke segala arah — dan secara geometris f′ berarti memutar sekaligus membesarkan peta di sekitar titik.
- 1.1
Limit Dua DimensiΔz dari segala arah + Mesin Radar Arah Limit
- 1.2
Persamaan Cauchy–Riemannderivasi, bentuk polar, Lab Penguji + Peta CR
- 1.3
Analitik, Entire, Harmoniklingkungan vs titik + Lab fungsi harmonik
- 1.4
Geometri f′: Besar dan Putar|f′| pembesaran, arg f′ rotasi + Lab Transformasi Grid
Contoh pegangan: f(z)=z² (bintangnya) dan f(z)=z̄ (penjahatnya), di titik z₀ = 1+i.
Limit yang Kini Berdimensi Dua
Di kalkulus real, turunan diukur lewat limit selisih — dan Δx hanya punya dua pilihan arah: dari kanan atau dari kiri. Di dunia kompleks, Δz adalah vektor di bidang: ia bisa datang dari segala arah mata angin.
Agar f′ ada, hasil bagi selisih harus konvergen ke nilai yang SAMA, betapapun Δz mendekat: horizontal, vertikal, spiral, miring 37°. Satu arah saja membangkang — f′ batal.
Cukup cek limit kiri = limit kanan. Δx bergerak di garis — satu dimensi, dua penjuru.
Δz bergerak di bidang: setiap sudut θ adalah jalur masuk. Limit wajib sama untuk SEMUA θ — syarat jauh lebih keras.
Diferensiabel-kompleks itu istimewa: sekali lolos, fungsi terikat aturan rapi (Cauchy–Riemann) dan sifatnya cantik.
Analogi radar: di ℝ kita cukup intip dari kiri dan kanan. Di ℂ, radar harus menyapu 360° — dan semua arah harus melaporkan angka yang persis sama. Mesin radar-nya kita bangun di slide berikut.
Definisi Formal dan Contoh Pegangan
Contoh pegangan kita: $f(z)=z^2$ di sekitar $z_0=1+i$. Ikuti pembuktian $f'(z)=2z$ dari prinsip pertama di mesin di samping — perhatikan bahwa di langkah akhir, |h|→0 memaksa apa pun arahnya.
Di z₀ = 1+i: f′(1+i) = 2(1+i) = 2+2i. Nanti di Lab Geometri kita lihat: angka ini berarti "besarkan 2,83× lalu putar 45°".
Mesin Radar: Arah Limit Δz
Pilih fungsi, geser titik z₀ dan arah θ, lalu tekan JALANKAN — mesin mengecilkan h dan mencatat hasil bagi selisih. Ganti θ: apakah limitnya tetap sama? Di sinilah z̄ ketahuan berbuat onar.
| h | L = Δf/Δz |
|---|
Cek keadilan: mesin juga membandingkan θ dengan θ+90° dan θ+45°.
Menurunkan Cauchy–Riemann dari Dua Arah
Tulis $f=u+iv$ dengan $u,v$ fungsi dua variabel real. Jika f′ ada, pendekatan lewat sumbu-x dan sumbu-y wajib memberi nilai sama — dua "jalan" yang harus bertemu.
dengan $u_x=\partial u/\partial x$, dst. Dua persamaan ini adalah syarat perlu diferensiabilitas.
Lab: Penguji Cauchy–Riemann
Pilih fungsi, geser titik (x, y). Mesin menghitung keempat partial secara numerik, lalu menguji kedua persamaan CR di titik itu — dan menyimpulkan nasib f′:
Peta Daerah Cauchy–Riemann
CR diuji di 625 titik sekaligus (kisi −2,4 … 2,4). Hijau = CR lolos, merah = gugur, abu = titik singular. Klik sel mana pun untuk membaca residunya:
Baca polanya: untuk z² hijau di mana-mana; untuk z̄ merah di mana-mana; |z|² hanya satu titik hijau; x²+iy² hanya garis diagonal. Bentuk wilayah hijau menentukan nasib analitiknya.
Kapan CR Cukup? Jebakan Titik Tunggal
Jika keempat partial ada dan kontinu di sekitar titik serta CR terpenuhi di sana, maka f diferensiabel di titik itu. Dua arah sumbu "menarik" semua arah lain mengikuti.
CR di satu titik tanpa kontinuitas bisa menipu — limit dari arah miring tetap membangkang. Maka di lab, mesin selalu mengecek lebih dari dua arah.
$f(z)=|z|^2$ diferensiabel hanya di 0 dengan $f'(0)=0$ — tetapi TIDAK analitik: tidak ada lingkungan di sekitar 0 yang penuh titik diferensiabel. Titik tunggal tidak menetapkan status analitik.
CR terpenuhi hanya pada garis y=x — f diferensiabel di sepanjang garis itu (f′=2x), tetapi garis tidak pernah memuat lingkaran → analitik di mana-mana? Tidak sama sekali.
Analitik, Entire, dan Hierarkinya
Klub Entire
Polinomial, $e^z$, $\sin z$, $\cos z$ — diferensiabel di semua ℂ. Aturan aljabar turunan berlaku persis seperti real.
entireAnalitik Bertitik Lubang
Analitik di ℂ kecuali di 0 (titik singular). Turunannya $-1/z^2$ juga sah di z ≠ 0. Cukup satu lubang untuk gugur dari klub entire.
analitik di z ≠ 0Diferensiabel Satu Titik
f′(0)=0 ada, tetapi tanpa lingkungan — bukan analitik. Contoh favorit soal ujian untuk menguji pemahaman definisi.
bukan analitikGugur Total
CR gagal di setiap titik: $u_x=1$ tetapi $v_y=-1$. Antiklimaks yang berguna — bukti bahwa konjugasi bukan "fungsi analitik terselubung".
f′ tidak pernah adaGanti x → z dan y → iz pada rumus f; jika hasilnya bisa ditulis murni dalam z tanpa z̄, itu petunjung kuat f analitik. Contoh: $x^2-y^2+2ixy = (x+iy)^2 = z^2$ ✓
Fungsi Harmonik dan Konjugatnya
Jika f = u + iv analitik, maka u dan v otomatis harmonik — memenuhi persamaan Laplace:
Dari mana? Turunkan CR terhadap x lalu terhadap y dan jumlahkan: $u_{xx}=v_{yx}$ dan $u_{yy}=-v_{xy}$ — keduanya saling menghapus. Dua CR bekerja sama seperti mesin penghapus.
Pasangan v yang membuat f = u + iv analitik disebut konjugat harmonik — dicari dengan mengintegrasikan CR, unik hingga konstanta. Kurva level u dan v selalu saling tegak lurus di mana f′ ≠ 0. Uji di mesin:
Makna Geometri f′: Besar dan Putar
Lingkaran kecil di sekitar z₀ (kiri) dipetakan f. Jika f′ ada, bayangannya lingkaran yang sama, dibesarkan |f′|× dan diputar arg f′ — garis putus teal adalah aproksimasi itu. Bandingkan dengan bayangan EKSAK (bata):
Kecilkan r agar garis bata (eksaq) dan teal (aproksimasi) saling menempel — itulah makna "linearisasi".
Lab: Transformasi Grid Bidang
Seluruh grid kotak-kotak dilempar ke bidang w. Di mana f′ ≠ 0, dua keluarga kurva tetap saling tegak lurus (konformal). Di titik kritis f′=0, sudut dilipat:
Perhatikan z²: grid berubah jadi dua keluarga parabola yang tetap bersudut siku — kecuali di z = 0 tempat f′ = 0 dan sudut 90° terlipat menjadi 180°. Titik kritis = tempat mesin "menekuk" peta.
Aturan Turunan: Warisan Kalkulus
Kabar baik: seluruh aturan aljabar turunan dari kalkulus real tetap sah di ℂ — buktinya lewat limit yang sama:
| Aturan | Rumus |
|---|---|
| Jumlah / selisih | $(f\pm g)'=f'\pm g'$ |
| Hasil kali | $(f\,g)'=f'g+fg'$ |
| Hasil bagi | $\left(\dfrac{f}{g}\right)'=\dfrac{f'g-fg'}{g^2},\quad g\neq 0$ |
| Rantai | $(f\circ g)'(z)=f'\!\big(g(z)\big)\,g'(z)$ |
| Pangkat | $(z^n)'=n\,z^{n-1}$ |
| Fungsi | Turunan | Status |
|---|---|---|
| zⁿ | $n z^{n-1}$ | entire |
| eᶻ | $e^z$ | entire |
| sin z | $\cos z$ | entire |
| cos z | $-\sin z$ | entire |
| ln z | $1/z$ | per cabang |
| z̄ | — | tak pernah ada |
Kenapa aturannya identik? Karena pembuktian real hanya memakai aljabar limit — dan aljabar ℂ sama dengan aljabar ℝ. Yang berubah bukan aturannya, melainkan ketatnya syarat keberadaan.
Lima Soal Pegangan
Kerjakan dulu di buku catatan, lalu klik untuk membuka pembahasan:
Satu Tabel untuk Semua Fungsi
| Fungsi | f′ ada di | Analitik | f′ | Catatan CR |
|---|---|---|---|---|
| z² | semua z | entire | 2z | CR ✓ di mana-mana |
| z̄ | ∅ | — | CR ✗ di mana-mana | |
| |z|² | hanya {0} | 0 di 0 | CR ✓ hanya di 0 | |
| x²+i·y² | garis y=x | 2x di garis | CR ✓ pada garis | |
| eᶻ | semua z | entire | eᶻ | CR ✓ identitas |
| 1/z | z ≠ 0 | (z≠0) | −1/z² | CR ✓ kecuali 0 |
| sin z | semua z | entire | cos z | CR ✓ identitas trig. |
Cara membaca: kolom "f′ ada di" mengikuti bentuk wilayah hijau di Peta CR (Slide 7); kolom Analitik baru boleh ✓ bila wilayah itu memuat lingkungan penuh — bukan sekadar titik atau garis.
Kartu Hafalan — Rumus Inti
- Limit: f′(z₀) = lim Δf/Δz — Δz dari SEGALA arah bidangDefinisi
- Cauchy–Riemann: u_x = v_y , u_y = −v_xSyarat perlu
- f′ = u_x + i·v_x = v_y − i·u_x... bentuk aman: u_x + i·v_xHitung f′
- Polar: u_r = (1/r)·v_θ , v_r = −(1/r)·u_θ , f′ = e^(−iθ)(u_r + i·v_r)Bentuk polar
- Harmonik: ∇²u = u_xx + u_yy = 0 — turunan dari CRKonsekuensi
- Geometri: |f′| = pembesaran, arg f′ = rotasi; konformal ⟺ f′ ≠ 0Makna peta
- Analitik = f′ ada di lingkungan; entire = analitik di seluruh ℂHierarki
Kuis Berhadiah — 10 Soal
Jawab semua untuk sertifikat "Pembaca Peta Analitik". Skor ≥ 8 = mastery: