Analisis Teorema Eksistensi dan Ketunggalan Picard-Lindelöf pada Masalah Nilai Awal Orde 1

Dalam pemodelan matematika, fenomena perubahan dinamis sering kali dimanifestasikan ke dalam bentuk Persamaan Diferensial Biasa (PDB). Secara mendasar, PDB adalah persamaan yang melibatkan satu atau lebih turunan dari fungsi tak bebas terhadap satu variabel bebas. Tingkat turunan tertinggi di dalam persamaan mendefinisikan Orde dari PDB tersebut, sedangkan pangkat dari turunan tertinggi itu disebut sebagai Derajat.

Sebelum melakukan simulasi numerik tingkat lanjut—seperti metode Runge-Kutta atau Adams-Bashforth-Moulton—pertanyaan fundamental yang harus dijawab oleh seorang matematikawan adalah: Apakah solusi dari persamaan tersebut benar-benar ada? Dan jika ada, apakah solusi tersebut bersifat tunggal? Artikel ini akan membedah secara teoretis landasan rigoritas tersebut melalui Teorema Picard-Lindelöf (atau sering disebut Teorema Eksistensi Cauchy-Lipschitz).

1. Formulasi Masalah Nilai Awal (MNA)

Diberikan sebuah PDB Orde 1 dan Derajat 1 yang dimanifestasikan dalam bentuk Masalah Nilai Awal (MNA) sebagai berikut:

di mana $f: D \to \mathbb{R}$ adalah fungsi kontinu pada domain persegi panjang $D \subset \mathbb{R}^2$ yang didefinisikan oleh:

2. Kondisi Lipschitz

Eksistensi lokal dapat dijamin hanya dengan kontinuitas $f$ (Teorema Peano). Namun, untuk menjamin ketunggalan (uniqueness) solusi, fungsi $f$ harus memenuhi Kondisi Lipschitz terhadap variabel tak bebas $y$.

Definisi: Fungsi $f(t, y)$ dikatakan memenuhi kondisi Lipschitz terhadap $y$ pada domain $D$ jika terdapat suatu konstanta $L \ge 0$ (Konstanta Lipschitz) sedemikian rupa sehingga untuk setiap $(t, y_1)$ dan $(t, y_2)$ di $D$, berlaku:

$$ |f(t, y_1) - f(t, y_2)| \le L |y_1 - y_2| $$

Jika fungsi $\frac{\partial f}{\partial y}$ ada dan kontinu pada $D$, maka berdasarkan Teorema Nilai Rata-rata, $f$ otomatis memenuhi kondisi Lipschitz dengan:

3. Pernyataan Teorema Picard-Lindelöf

Jika $f(t, y)$ kontinu dan memenuhi kondisi Lipschitz terhadap $y$ pada domain $D$, maka MNA memiliki solusi tunggal $y(t)$ pada interval dinamis $I = [t_0 - h, t_0 + h]$, di mana nilai $h$ didefinisikan sebagai:

4. Skema Pembuktian via Iterasi Picard

Ide cemerlang dari teorema ini adalah mengubah persamaan diferensial menjadi persamaan integral ekuivalen:

Dari bentuk integral ini, kita mengonstruksi sebuah barisan fungsi $\{y_n(t)\}_{n=0}^{\infty}$ melalui Aproksimasi Berturut-turut Picard (Picard's Successive Approximations):

1. $y_0(t) = y_0$ (Fungsi konstan awal)
2. $y_1(t) = y_0 + \int_{t_0}^{t} f(s, y_0(s)) \, ds$
3. $y_{n+1}(t) = y_0 + \int_{t_0}^{t} f(s, y_n(s)) \, ds$

Menggunakan Contraction Mapping Theorem (Teorema Titik Tetap Banach) pada ruang metrik lengkap (Ruang Banach) $C(I)$, dapat dibuktikan bahwa operator integral tersebut merupakan pemetaan kontraktif. Konsekuensinya, barisan fungsi $y_n(t)$ akan konvergen seragam (uniformly convergent) menuju solusi tunggal $y(t)$.

5. Contoh Kasus Analisis

Pandang MNA non-linear berikut: $\frac{dy}{dt} = y^2$, dengan $y(0) = 1$.

Di sini, $f(t,y) = y^2$. Turunan parsialnya adalah $\frac{\partial f}{\partial y} = 2y$. Pada lingkungan sekitar $y_0 = 1$, turunan parsial ini kontinu, sehingga kondisi Lipschitz terpenuhi secara lokal. Iterasi Picard menghasilkan:

• $y_0(t) = 1$
• $y_1(t) = 1 + \int_{0}^{t} (1)^2 \, ds = 1 + t$
• $y_2(t) = 1 + \int_{0}^{t} (1+s)^2 \, ds = 1 + t + t^2 + \frac{t^3}{3}$

Jika diteruskan, barisan ini akan konvergen ke deret geometri $1 + t + t^2 + t^3 + \dots$, yang merupakan ekspansi Taylor dari solusi analitik eksak: $y(t) = \frac{1}{1-t}$. Perhatikan bahwa solusi ini mengalami blow-up (menuju tak hingga) saat $t \to 1$, yang memvalidasi mengapa teorema Picard-Lindelöf hanya menjamin eksistensi secara lokal ($h < 1$).

Referensi Sitasi Formal:
Vinarky. (2026). Analisis Teorema Eksistensi dan Ketunggalan Picard-Lindelöf pada Masalah Nilai Awal Orde 1. Vinarky Archive. Tersedia di: https://vinarky.com/archive/analisis-teorema-picard-lindelof