Catatan Kuliah Persamaan Dierensial, UGM

Tanakka Morrchi oshizihso@asia.com March 24, 2014

Teorema 1 (Teorema Perluasan Interval Picard). Diketahui D R2 domain terbatas. Fungsi f : D R kontinu dan memenuhi kondisi Lipschitz terhadap y pada domain D. Jika (x0 , y0 ) D, maka terdapat dengan tunggal penyelesaian masalah nilai awal: dy = f (x, y ) dengan y (x0 ) = y0 , dx (1)

dan y = y (x) ada mulai dari sala satu titik batas D ke titik batas D yang lain. Bukti. Katakan M > 0 bersifat | f (x, y1 ) f (x, y2 ) | M | y1 y2 | untuk setiap (x, y1 ); (x, y2 ) di dalam domain D. Karena (x0 , y0 ) D merupakan titik interior, maka selalu ada interval terbuka E yang memuat (x0 , y0 ). Dibentuk, E := {(x, y ) R | |x xo | < h , |y y0 | < k } untuk suatu h, k > 0. Menurut Teorema Picard, terdapat c, d R, dengan c < x0 < d, sehingga masalah nilai awal (1) memiliki solusi tunggal y = y (x) pada (c, d) dengan y (x0 ) = y0 . Katakan, u = inf {c | masalah nilai awal (1) memiliki solusi tunggal y pada(c, d) dengan y (x0 ) = y0 }, v = sup{d | masalah nilai awal (1) memiliki solusi tunggal y pada(c, d) dengan y (x0 ) = y0 }. Karena masalah nilai awal (1) tersebut memiliki solusi tunggal pada setiap (c, d), dengan c < x0 < d dan y (x0 ) = y0 , maka masalah nilai awal (1) memiliki 1

solusi tunggal pada (u, v ) dengan y (x0 ) = y0 . Selanjutnya, akan ditunjukkan klosur himpunan {(x, y (x)) | u < x x0 }, dan, {(x, y (x)) | x0 x < v }, tidak berada di D. Ditunjukkan klosur {(x, y0 ) | u < x x0 } barisan < Un > R, Un < x x0 , konvergen ke u dan barisan < y (Un ) > konvergen ke w. Diandaikan (u, w) D berarti (u, w) titik interior D. Dengan demikian, > 0 4 dengan dengan 0 < < M {(x, y ) | (u x)2 + (w y )2 < } D.

Karena < Un > konvergen ke u, maka dengan dibarikan > 0 tersebut n0 N, n N, n > n0 berlaku | Un u |< . 4 Karena < y (Un ) > konvergen ke w, maka n00 N, n N, n > n00 berlaku | y (Un ) w |< . 4

Diambil n = max{n0 , n00 }, diperhatikan bahwa (Un , y (Un )) D. Menurut Teorema Picard, terdapat solusi tunggal masalah nilai awal (1). Katakan z pada (Un 4 , Un + 4 ) dengan z (Un ) = y (Un ). Berarti, z = y pada interval , Un + 4 ) (u, v ). Hal (u, v ) dan memiliki penyelesaian perluasan pada (Un 4 tersebut (u, w) / D. Untuk kasus klosur {(x, y ) | x0 x < v } dibuktikan dengan analogi yang sama, bukti menyusul.