Integral garis

Dalam matematika, **integral garis** adalah integral yang dihitung dengan mengevaluasi fungsi yang hendak diintegralkan sepanjang suatu lintasan. Istilah integral kontur juga digunakan, walau istilah tersebut lebih sering digunakan untuk Integral garis pada bidang kompleks.

Fungsi yang akan diintegralkan dapat berupa medan skalar ataupun medan vektor. Nilai dari integral garis adalah jumlahan dari nilai medan pada semua titik pada kurva, dibobotkan dengan suatu fungsi skalar pada kurva (biasanya panjang busur, atau pada medan vektor, darab bintik dari medan vektor dengan vektor diferensial pada kurva). Pembobotan ini membedakan integral garis dengan integral yang lebih sederhana pada suatu selang. Banyak rumus sederhana dalam fisika (seperti definisi usaha W = F \cdot s \cdot \cos \theta) memiliki versi kontinu dalam bentuk integral garis (dalam kasus ini, W = \int_L \vec{F} \cdot \text{d} \vec{s} menghitung besar usaha yang dilakukan suatu benda yang bergerak dalam medan listrik atau medan gravitasi \vec{F} pada lintasan L).

## Kalkulus vektor
Secara kualitatif, integral garis pada kalkulus vektor dapat dipandang sebagai suatu ukuran efek keseluruhan dari suatu medan tensor di sepanjang lintasan tertentu. Sebagai contoh, integral garis pada medan skalar (tensor rank 0) dapat diartikan sebagai luas daerah dibawah medan yang diukir oleh suatu lintasan. Hal ini dapat divisualkan sebagai permukaan yang dibentuk oleh fungsi z = f \! \left( x, \, y \right) dan suatu lintasan L pada bidang-xy. Melalui visualisasi ini, nilai integral garis dari f ialah luasan dari "tirai" yang tercipta ketika titik-titik pada permukaan yang tepat di atas L diukir.

### Integral garis pada medan skalar

#### Definisi
Diberikan suatu
# Bilangan asli n
# Himpunan H \subseteq \mathbb{R}^n, dan
# Medan skalar f \colon H \to \mathbb{R}
Integral garis di sepanjang lintasan mulus sesepenggal \mathcal{C} \subset H didefinisikan sebagai
\int_{\mathcal{C}} f \! \left( \vec{r} \right) \, \text{d}s = \int_a^b f \! \left( \vec{r} (t) \right) \left| \vec{r}'(t) \right| \, \text{d}t
dengan \vec{r} \colon \left[ a, \, b \right] \to \mathcal{C} adalah sembarang fungsi parameter yang bersifat bijektif dari lintasan \mathcal{C} sedemikian sehingga \vec{r} (a) dan \vec{r} (b) adalah ujung dari lintasan \mathcal{C} dan a . Pada keseluruhan artikel ini, notasi \left| \, \cdot \, \right| menyatakan norma Euklides.

Fungsi f disebut sebagai integran, lintasan \mathcal{C} adalah domain pengintegralan, dan simbol \text{d}s dapat diartikan sebagai panjang busur dari lintasan \mathcal{C} (atau dengan kata lain, panjang diferensial dari \mathcal{C}). Integral garis pada medan skalar di sepanjang lintasan \mathcal{C} tidak bergantung pada pemilihan parameterisasi fungsi \vec{r} dari lintasan \mathcal{C}.

Saat \mathcal{C} merupakan lintasan tertutup, simbol \phantom{.} \oint_{\mathcal{C}} \phantom{.} sering kali digunakan untuk menekankan bahwa lintasan pengintegralannya merupakan lintasan tertutup.

Secara geometris, saat medan skalar f terdefinisi pada suatu bidang (n = 2), grafiknya merupakan suatu permukaan z = f \! \left( x, \, y \right) pada ruang, dan integral garis memberikan luasan (bertanda) dari penampang lintang yang dibatasi oleh lintasan \mathcal{C} dan grafik fungsi f.

#### Penurunan rumus
Integral garis pada medan skalar dapat dikonstruksikan dari jumlah Riemann menggunakan definisi dari fungsi f, lintasan \mathcal{C}, serta fungsi parameter \vec{r} dari lintasan \mathcal{C}. Hal ini dapat dilakukan dengan menghampiri lintasan \mathcal{C} menjadi lintasan poligonal. Secara matematis, maka selang \left[ a, \, b \right] (yang merupakan daerah hasil dari parameterisasi fungsi \vec{r}(t)) akan dipartisi menjadi n selang bagian \left[ t_{i - 1}, \, t_i \right] dengan panjang yang sama, yaitu
\Delta t = t_i - t_{i - 1}
dengan i \in \left\{ 1, \, 2, \, 3, \, \ldots, \, n \right\}. Perhatikan bahwa \vec{r} \! \left( t_i \right) menyatakan vektor posisi dari titik ke-i pada selang \left[ a, \, b \right], dan
\Delta s_i = \left| \vec{r} \! \left( t_i \right) - \vec{r} \! \left( t_{i - 1} \right) \right|
menyatakan panjang garis lurus yang menghubungkan \vec{r} \! \left( t_{i - 1} \right) dan \vec{r} \! \left( t_i \right). Oleh karena f \! \left( \vec{r} \! \left( t_i \right) \right) menyatakan nilai fungsi f (yang berupa skalar) pada titik \vec{r} \! \left( t_i \right), maka ekspresi
f \! \left( \vec{r} \! \left( t_i \right) \right) \, \Delta s_i
dapat diartikan sebagai luas bertanda dari persegi panjang dengan tinggi f \! \left( \vec{r} \! \left( t_i \right) \right) dan lebar \Delta s_i. Dengan menggunakan konsep turunan fungsi bernilai vektor, maka
\begin{align}
\left| \vec{r}' \! \left( t_i \right) \, \Delta t \right| &\approx \left| \vec{r} \! \left( t_i + \Delta t \right) - \vec{r} \! \left( t_i \right) \right| \\
&\approx \Delta s_i
\end{align}
Akibatnya, diperoleh
\begin{align}
\int_{\mathcal{C}} f \! \left( \vec{r} \right) \, \text{d}s &= \lim_{\Delta s_i \, \to \, 0} \sum_{i \, = \, 1}^n f \! \left( \vec{r} \! \left( t_i \right) \right) \, \Delta s_i \\
&= \lim_{\Delta t \, \to \, 0} \sum_{i \, = \, 1}^n f \! \left( \vec{r} \! \left( t_i \right) \right) \, \left| \vec{r}' \! \left( t_i \right) \, \Delta t \right| \\
&= \lim_{\Delta t \, \to \, 0} \sum_{i \, = \, 1}^n f \! \left( \vec{r} \! \left( t_i \right) \right) \, \left| \vec{r}' \! \left( t_i \right) \right| \Delta t \\
&= \int_a^b f \! \left( \vec{r}(t) \right) \, \left| \vec{r}'(t) \right| \, \text{d}t
\end{align}

### Integral garis pada medan vektor
#### Definisi
Diberikan suatu
# Bilangan asli n
# Himpunan H \subseteq \mathbb{R}^n, dan
# Medan vektor \vec{F} \colon H \to \mathbb{R}^n
Integral garis di sepanjang lintasan mulus sesepenggal \mathcal{C} \subset H yang searah dengan \vec{r} didefinisikan sebagai
\int_{\mathcal{C}} \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r} = \int_a^b \left( \vec{F} \! \left( \vec{r} (t) \right) \cdot \vec{r}'(t) \right) \, \text{d}t
dengan \cdot menyatakan operasi darab bintik dan \vec{r} \colon \left[ a, \, b \right] \to \mathcal{C} adalah sembarang fungsi parameter reguler dari lintasan \mathcal{C} sedemikian sehingga \vec{r}(a) dan \vec{r}(b) adalah ujung dari lintasan \mathcal{C} dan a .

Berdasarkan definisi di atas, maka integral garis pada medan skalar merupakan integral garis pada medan vektor, dimana vektornya selalu menyinggung lintasan pengintegralan.

Integral garis pada medan vektor tidak bergantung pada parameterisasi \vec{r} dalam nilai mutlak, namun bergantung pada orientasi kurva. Lebih tepatnya, nilai integral garisnya akan berganti tanda saat orientasi parameterisasinya dibalik.

#### Penurunan rumus

Dengan menggunakan definisi dari fungsi \vec{F}, lintasan \mathcal{C}, serta fungsi parameter \vec{r} dari lintasan \mathcal{C}, maka integral garis pada medan vektor dapat diturunkan dengan cara serupa seperti pada medan skalar, namun dengan tambahan operasi darab bintik. Hal ini dapat dilakukan dengan menghampiri lintasan \mathcal{C} menjadi lintasan poligonal. Secara matematis, maka selang \left[ a, \, b \right] (yang merupakan daerah hasil dari parameterisasi fungsi \vec{r}(t)) akan dipartisi menjadi n selang bagian \left[ t_{i - 1}, \, t_i \right] dengan panjang yang sama, yaitu
\Delta t = t_i - t_{i - 1}
dengan i \in \left\{ 1, \, 2, \, 3, \, \ldots, \, n \right\}. Perhatikan bahwa \vec{r} \! \left( t_i \right) menyatakan vektor posisi dari titik ke-i pada selang \left[ a, \, b \right], dan
\Delta \vec{r}_i = \vec{r} \! \left( t_i \right) - \vec{r} \! \left( t_{i - 1} \right)
menyatakan vektor perpindahan dari \vec{r} \! \left( t_{i - 1} \right) menuju \vec{r} \! \left( t_i \right). Oleh karena \vec{F} \! \left( \vec{r} \! \left( t_i \right) \right) menyatakan nilai fungsi \vec{F} (yang berupa vektor) pada titik \vec{r} \! \left( t_i \right), maka ekspresi
\vec{F} \! \left( \vec{r} \! \left( t_i \right) \right) \cdot \Delta \vec{r}_i
dapat diartikan sebagai kontribusi dari nilai vektor \vec{F} \! \left( \vec{r} \! \left( t_i \right) \right) yang searah dengan vektor perpindahan \Delta \vec{r}_i. Dengan menggunakan konsep turunan fungsi bernilai vektor, maka
\begin{align}
\vec{r}' \! \left( t_i \right) \, \Delta t &\approx \vec{r} \! \left( t_i + \Delta t \right) - \vec{r} \! \left( t_i \right) \\
&\approx \Delta \vec{r}_i
\end{align}
Akibatnya, diperoleh
\begin{align}
\int_{\mathcal{C}} \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r} &= \lim_{\Delta t \, \to \, 0} \sum_{i \, = \, 1}^n \vec{F} \! \left( \vec{r} \! \left( t_i \right) \right) \cdot \Delta \vec{r}_i \\
&= \lim_{\Delta t \, \to \, 0} \sum_{i \, = \, 1}^n \vec{F} \! \left( \vec{r} \! \left( t_i \right) \right) \cdot \Delta \vec{r}' \! \left( t_i \right) \, \Delta t \\
&= \int_a^b \left( \vec{F} \! \left( \vec{r} (t) \right) \cdot \vec{r}'(t) \right) \, \text{d}t
\end{align}

### Bebas lintasan

Jika suatu medan vektor \vec{F} merupakan gradien dari suatu medan skalar G (atau dengan kata lain, jika \vec{F} merupakan medan vektor konservatif), yaitu
\vec{F} = \nabla G
maka menurut kaidah rantai peubah banyak, turunan dari komposisi dari G dan \vec{r}(t) ialah
\begin{align}
\dfrac{\text{d}}{\text{d}t} G \! \left( \vec{r} \! \left( t \right) \right) &= \nabla G \! \left( \vec{r} \! \left( t \right) \right) \cdot \vec{r}'(t) \\
&= \vec{F} \left( \vec{r} \! \left( t \right) \right) \cdot \vec{r}'(t)
\end{align}
yang merupakan integran pada integral garis dari \vec{F}. Lebih lanjut, jika diberikan suatu lintasan L, maka
\begin{align}
\int_L \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r} &= \int_a^b \left( \vec{F} \! \left( \vec{r} (t) \right) \cdot \vec{r}'(t) \right) \, \text{d}t \\
&= \int_a^b \dfrac{\text{d}}{\text{d}t} G \! \left( \vec{r} \! \left( t \right) \right) \, \text{d}t \\
&= G \! \left( \vec{r} \! \left( b \right) \right) - G \! \left( \vec{r} \! \left( a \right) \right)
\end{align}

Dengan kata lain, integral dari \vec{F} di sepanjang lintasan L hanya bergantung pada nilai G pada titik \vec{r}(a) dan \vec{r}(b), dan tidak bergantung dengan lintasan yang menghubungkan kedua titik tersebut. Hal inilah yang menjadi alasan medan vektor konservatif disebut sebagai *bebas lintasan*.

### Penerapan
Integral garis sangat banyak digunakan pada bidang ilmu fisika. Sebagai contoh, besar usaha yang dilakukan suatu partikel yang melintasi suatu lintasan L pada suatu medan gaya \vec{F} ialah nilai integral garis dari \vec{F} pada lintasan L.

## Aliran pada suatu lintasan
Diberikan suatu
# Himpunan H \subseteq \mathbb{R}^2
# Medan vektor \vec{F} \colon H \to \mathbb{R}^2, dengan \vec{F} \! \left( x, \, y \right) = \begin{bmatrix} P \! \left( x, \, y \right) \\ Q \! \left( x, \, y \right) \end{bmatrix}
# Lintasan L \subset H
# Fungsi parameter mulus sesepenggal \vec{r} \colon \left[ a, \, b \right] \to L, dengan \vec{r} \! \left( t \right) = \begin{bmatrix} x(t) \\ y(t) \end{bmatrix}
Fluks dari \vec{F} di sepanjang lintasan L didefinisikan sebagai
\begin{align}
\int_L \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r}^{\perp} &= \int_a^b \begin{bmatrix} P \! \left( x(t), \, y(t) \right) \\ Q \! \left( x(t), \, y(t) \right) \end{bmatrix} \cdot \begin{bmatrix} y'(t) \\ -x'(t) \end{bmatrix} \, \text{d}t \\
&= \int_a^b \left( P \! \left( x(t), \, y(t) \right) \, y'(t) - Q \! \left( x(t), \, y(t) \right) \, x'(t) \right) \, \text{d}t \\
&= \int_a^b \left( P \, \text{d}y - Q \, \text{d}x \right)
\end{align}
dengan \cdot menyatakan operasi darab bintik dan \text{d} \vec{r}^{\perp} menyatakan vektor normal yang searah jarum jam dari lintasan L.

Besar alirannya dihitung berdasarkan orientasi. Saat lintasan L diparameterkan dari \vec{r}(a) menuju \vec{r}(b) (dengan a ), maka alirannya dihitung positif ketika \vec{F} \! \left( \vec{r} \! \left( t \right) \right) berada pada sisi yang searah dengan jarum jam dari vektor kecepatan \vec{r} \! \left( t \right).

## Integral garis fungsi kompleks
Dalam analisis kompleks, integral garis didefinisikan dalam bentuk penjumlahan dan perkalian dari bilangan kompleks. Diberikan suatu
# Himpunan terbuka H \subseteq \mathbb{C}
# Fungsi f \colon H \to \mathbb{C}
# Lintasan L \subset H
# Fungsi parameter \varphi \colon \left[ a, \, b \right] \to L dengan \varphi \! \left( t \right) = x(t) + i y(t)
Integral garis \int_L f(z) \, \text{d}z dapat didefinisikan dengan mempartisi selang \left[ a, \, b \right] (yang merupakan daerah hasil dari parameterisasi fungsi \varphi) menjadi n selang bagian \left[ t_{k - 1}, \, t_k \right] dengan panjang yang sama, yaitu
\Delta t = t_k - t_{k - 1}
dengan k \in \left\{ 1, \, 2, \, 3, \, \ldots, \, n \right\}. Serupa seperti konstruksi integral Riemann pada garis bilangan real, nilai integral garis \int_L f(z) \, \text{d}z adalah limit dari jumlah Riemann
\sum_{k \, = \, 1} f \! \left( \varphi \! \left( t_k \right) \right) \, \Delta \varphi_k
saat \Delta t mendekati 0, dengan \Delta \varphi_k = \varphi \! \left( t_k \right) - \varphi \! \left( t_{k - 1} \right)

Jika turunan dari Fungsi parameter \varphi bersifat kontinu (atau dengan kata lain, \varphi merupakan fungsi yang terdiferensialkan secara kontinu), maka integral garisnya dapat dicari dengan integral dari fungsi bernilai riil:
\int_L f(z) \, \text{d}z = \int_L f \! \left( \varphi \! \left( t \right) \right) \varphi' \! \left( t \right) \, \text{d}t

Integral garis terhadap diferensial konjugat kompleks \overline{\text{d}z} di sepanjang lintasan L \subset \mathbb{C} didefinisikan sebagai
\begin{align}
\int_L f(z) \overline{\text{d}z} &= \overline{\overline{\int_L f(z) \overline{\text{d}z}}} \\
&= \overline{\int_L \overline{f(z) \, \overline{\text{d}z}}} \\
&= \overline{\int_L \overline{f(z)} \, \text{d}z} \\
\int_L f(z) \overline{\text{d}z} &= \int_L f \! \left( \varphi \! \left( t \right) \right) \overline{\varphi' \! \left( t \right) \, \text{d}t} \\
&= \int_L f \! \left( \varphi \! \left( t \right) \right) \overline{\varphi' \! \left( t \right)} \, \text{d}t
\end{align}

Integral garis dari fungsi kompleks dapat dicari dengan beberapa metode. Cara yang paling lugas adalah dengan memecah integral garisnya menjadi bagian riil dan bagian imajiner, sehingga permasalahannya akan menjadi perhitungan dua integral garis bernilai riil. Teorema integral Cauchy dapat digunakan untuk menyederhanakan perhitungan integral garis dari suatu fungsi holomorfik menjadi suatu integral garis yang lebih mudah untuk diselesaikan. Jika lintasan pengintegralannya merupakan lintasan tertutup dan terdapat titik singular pada daerah yang dilingkup oleh lintasan pengintegralannya, maka teorema residu dapat memberikan nilai integral garis yang hendak dicari berdasarkan titik singularnya.

### Contoh
Diberikan fungsi
f(z) = \dfrac{1}{z}
dan kontur L adalah lingkaran satuan yang berpusat pada 0 dan berlawanan arah jarum jam. Dengan menggunakan rumus Euler, maka lintasan L dapat diparameterkan sebagai z(t) = e^{it}, dengan 0 \leq t \leq 2 \pi. Akibatnya,
\begin{align}
\oint_L \dfrac{1}{z} \, \text{d}z &= \int_0^{2 \pi} \dfrac{1}{e^{it}} \cdot i e^{it} \, \text{d}t \\
&= \int_0^{2 \pi} i \, \text{d}t \\
&= 2 \pi i
\end{align}

Integral ini biasa digunakan sebagai langkah awal untuk membuktikan rumus integral Cauchy dan teorema residu.

### Hubungan antara integral garis fungsi kompleks dengan integral garis pada medan vektor
Dengan memandang bilangan kompleks sebagai vektor berdimensi dua, integral garis dari fungsi bernilai kompleks f(z) di sepanjang lintasan L memiliki bagian riil dan imajiner (berturut-turut) sama dengan integral garis dan integral fluks dari medan vektor yang bersesuaian dengan fungsi konjugat kompleks \overline{f(z)}. Lebih tepatnya, jika
# \vec{r}(t) = \begin{bmatrix} x(t) \\ y(t) \end{bmatrix} memparameterkan lintasan L
# f \! \left( x + iy \right) = u \! \left( x, \, y \right) + i \, v \! \left( x, \, y \right), untuk suatu fungsi u \! \left( x, \, y \right) dan v \! \left( x, \, y \right)
maka dengan memilih
\vec{F} \! \left( \vec{r} \right) = \vec{F} \! \left( x, \, y \right) = \overline{f \! \left( x + iy \right)} = \begin{bmatrix} u \! \left( x, \, y \right) \\ -v \! \left( x, \, y \right) \end{bmatrix}
diperoleh
\begin{align}
\int_L f(z) \, \text{d}z &= \int_L \left( u + iv \right) \left( \text{d}x + i \, \text{d}y \right) \\
&= \int_L \left( u \, \text{d}x - v \, \text{d}y \right) + i \int_L \left( u \, \text{d}y + v \, \text{d}x \right) \\
&= \int_L \begin{bmatrix} u \\ -v \end{bmatrix} \cdot \begin{bmatrix} \text{d}x \\ \text{d}y \end{bmatrix} + i \int_L \begin{bmatrix} u \\ -v \end{bmatrix} \cdot \begin{bmatrix} \text{d}y \\ - \text{d}x \end{bmatrix} \\
&= \int_L \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r} + i \int_L \vec{F} \! \left( \vec{r} \right) \cdot \text{d} \vec{r}^{\perp}
\end{align}

Berdasarkan teorema Cauchy, integral pada ruas kiri bernilai nol ketika f(z) merupakan fungsi holomorfik (memenuhi persamaan Cauchy-Riemann) untuk sembarang lintasan mulus tertutup L. Menurut teorema Green, ruas kanan akan bernilai nol ketika medan vektor \vec{F} = \overline{f} tidak berolak (nilai kerul dari \vec{F} sama dengan nol) dan tidak termampatkan (nilai divergensi dari \vec{F} sama dengan nol).

## Lihat juga

* Teorema Green
* Teorema Stokes
* Teorema divergensi
* Pengintegralan kontur
* Teorema Nachbin
* Integral permukaan
* Integral volume
* Unsur volume

## Referensi

## Pranala luar
* 
* Modul pembelajaran dari Khan Academy:
** "Pengantar Integral Garis"
** "Contoh 1 Integral Garis"
** "Contoh 2 Integral Garis (bagian 1)"
** "Contoh 2 Integral Garis (bagian 2)"
* 
* Pengantar Integral Garis pada Medan Vektor