Back to Blog
6 min read

sin(θ) ≈ θ: Mühendislik, Kaos ve İhmal Etme Sanatı

sin(θ) ≈ θ: Mühendislik, Kaos ve İhmal Etme Sanatı

F=ma grafitisi, diferansiyel denklemler ve sin(θ)≈θ — mühendislikte lineerleştirme ve ihmal

“Hangi terimleri silebilirsem uçak hâlâ havada kalır?”

Bu yazı bir “formül yazısı” değil; neden bazı terimleri gözümüz kırpmadan attığımızın kısa bir savunması.
Çünkü çoğu zaman hayatta kalmak için (ve sistemi kararlı tutmak için) ihtiyacımız olan şey, mutlak doğruluk değil yeterli doğruluk.


İçindekiler


Giriş: Mükemmel Çemberin İmkânsızlığı

Platon’un idealar dünyasında bir çember kusursuzdur; π sayısı sonsuza kadar uzanır ve sürtünme katsayısı daima sıfırdır.
Ancak biz mühendisler, Platon’un mağarasında değil; kirli, gürültülü ve doğrusal olmayan bir gerçeklikte yaşarız.

Bir fizikçi, evrenin en küçük yapı taşını anlamak için denklemi sonuna kadar çözmek ister.
Bir matematikçi, ispatın kesinliğiyle ilgilenir.
Mühendis ise şu soruyu sorar:

“Hangi terimleri silebilirsem sistem hâlâ çalışır?”

Mühendislik, sanıldığının aksine sadece inşa etme eylemi değildir; soylu bir “görmezden gelme” sanatıdır.


Gelişme: Gerçeği Lineerleştirmek

Bir uyduyu yörüngeye yerleştirirken veya bir robot kolunu hareket ettirirken kullandığımız denklemler, evrenin kendisi kadar karmaşık olabilir.
Eğer her bir hava molekülünün çarpışmasını, her metal parçasının termal genleşmesini veya kütleçekimin milyarda birlik etkisini hesaba katmaya kalksaydık, hiçbir sistem çalışmazdı. İşlemci gücümüz yetmez, zamanımız kalmazdı.

Burada devreye Taylor serisi girer. Sonsuz terimli bir serinin sadece ilk iki terimini alır, gerisini “yüksek mertebeden terimler” (Higher-Order Terms – H.O.T.) diye kenara iteriz.

Örneğin küçük açı yaklaşımı:

sin(θ)θ(θ0)\sin(\theta)\approx\theta \quad (\theta \to 0)

Bu entelektüel bir tembellik değildir; kaotik bir evrende eylemde bulunabilme cesaretidir.

Gerçeklik eğriseldir; biz ise onu o noktada teğet geçen bir doğru gibi varsayarız: lineerleştirme (linearization).
Hayatın kendisi gibi: O an için “yeterince doğru” olanı kabul eder, gerisini gürültü (noise) olarak filtreleriz.

Kısa özet (TL;DR):

  • Model ne kadar doğru olursa olsun, sınırsız hesap gücü yok.
  • Lineerleştirme “yalan” değil; kontrollü bir sadelik.
  • Amaç mükemmellik değil: kararlılık + uygulanabilirlik.

Eğer bu yaklaşım sana tanıdık geldiyse, muhtemelen kontrol teorisiyle bir yerlerde kesişmişsindir.


Derinleşme: Harita ve Arazi

Borges’in meşhur öyküsünde, imparatorluğun haritasını o kadar detaylı çizerler ki harita imparatorluğun kendisiyle aynı boyuta gelir; sonunda kullanılamaz hâle düşer ve çürür.

Mühendislik, bu hataya düşmemektir.

Bir Kalman filtresi tasarlarken, sistemin durumunu tahmin etmek için belirsizliği (kovaryansı) modellememiz gerekir.
Her şeyi bilemeyiz, her şeyi ölçemeyiz. Mühendislik, bilinmeyenle barışık olma hâlidir.

Bir kontrol mühendisi için sistemin kararlılığı (stability), sistemin mükemmelliğinden daha önemlidir.
Mükemmel olmayan bir modelle kararlı bir sistem inşa edilebilir. Bu, felsefi bir duruştur: Mutlak hakikate ulaşamasak bile kaosu yönetebiliriz.


Kaosun Panzehiri: Geri Besleme (Feedback)

“Peki ya Kelebek Etkisi?” dediğinizi duyar gibiyim. Çin’de kanat çırpan bir kelebek, Teksas’ta kasırgaya neden oluyorsa, denklemlerdeki küçük terimleri ihmal etmek intihar değil midir?

Eğer dünyayı Açık Çevrim (Open Loop) bir sistem olarak tasarlasaydık, evet, bu bir intihar olurdu. Başlangıçtaki en ufak bir ihmal (ϵ\epsilon), zamanla büyüyerek sistemi yıkardı (tt \to \infty iken hata \to \infty).

Ancak mühendisliğin büyüsü tam burada, Geri Besleme (Feedback) mekanizmasında gizlidir.

Biz mühendisler, ihmal ettiğimiz o küçük detayların zamanla büyüyüp başımıza bela olabileceğini biliriz. Bu yüzden sistemleri kör uçuşa bırakmayız. Sensörlerle sürekli çıktıyı ölçer, referans değerle karşılaştırır ve hatayı (errorerror) hesaplarız.

  • İhmal: "Rüzgarın şu anki hızını modele katmıyorum." (Modeli basitleştirdim).
  • Kaos: Beklenmedik bir rüzgar çıktı ve roketi rotadan saptırdı.
  • Mühendislik Çözümü: İvmeölçer sapmayı fark etti, kontrolcü (PID/LQR) devreye girdi ve kanatçıkları oynatarak roketi tekrar rotaya soktu.

İhmal etmek, gerçeği reddetmek değildir; gerçeğin karmaşasını yönetilebilir bir hataya indirgemektir. Kelebek kanat çırpar, sistem sapar, mühendis fark eder ve dümeni kırar.

Mühendislik, kaosu yok edemeyeceğini bilen insanın, onunla dans etme biçimidir.


Sonuç: ε → 0

Sonuç olarak mühendislik ihmal etmektir, evet. Ama bu ihmal bilinçli bir seçimdir.

Neyi ihmal edeceğini bilmek, neyi hesaba katacağını bilmekten daha büyük bir bilgelik gerektirir.

Hava sürtünmesini ihmal ettiğimizde fizik problemleri çözülebilir hâle gelir.
Gereksiz detayları sildiğimizde büyük resim ortaya çıkar.

Belki de hayatı bir mühendis gibi yaşamak gerekir:

  • Sinyali gürültüden ayırmak,
  • Ana denklemi bozan küçük sapmaları (gerektiğinde) ihmal etmek,
  • Ve sistemin kararlılığını korumak.

Çünkü θ\theta yeterince küçükse dünya düzdür; hayat da lineerleştirilebildiği ölçüde yaşanabilirdir.


Sık Sorulanlar

sin(θ) ≈ θ ne zaman geçerli?

Genellikle θ küçükken (radyan cinsinden) iyi çalışır. Ama “küçük” sınırı uygulamaya göre değişir: kontrol bandı, hata toleransı ve güvenlik marjı belirleyicidir.

Lineerleştirme neden bu kadar yaygın?

Çünkü birçok kontrol/estimation tekniği (PID, LQR, EKF/MEKF gibi) lineer veya “lineere yakın” modellerde çok verimli ve stabildir.

İhmal etmek riskli değil mi?

Risk, “ihmal”in kendisinde değil; neyi, ne zaman, hangi sınırlarla ihmal ettiğini bilmemekte.


Dipnot: “Bu yazı, Taylor serisinin 3. teriminden sonrasını ihmal edenlere ithaf edilmiştir.”