AP Calculus BC Taylor Serisi ve Hata Sınırı

Taylor polinomu bir fonksiyonu merkezin yakınında yaklaşık olarak temsil eder; hata sınırı ise bu yaklaşımın ne kadar güvenilir olduğunu belirtir. Bir serinin yakınsaklığı, Taylor serisinin fonksiyona eşitliği ve sonlu bir polinomun hata payı ayrı sorulardır. Bu rehber Lagrange kalan sınırını, alternan seri hata tahminini ve yakınsaklık kararlarını örneklerle birleştirir.

Taylor polinomu ile Taylor serisini ayırın

a merkezinde Pₙ(x) = Σₖ₌₀ⁿ [f⁽ᵏ⁾(a)/k!](x − a)ᵏ, kalan Rₙ(x) = f(x) − Pₙ(x)'tir. a = 0 durumuna Maclaurin polinomu denir. Pₙ derecesi en fazla n olan sonlu bir toplamdır; bazı katsayılar sıfırsa gerçek derecesi daha düşük olabilir.

Sonsuz Taylor serisini yazabilmek, serinin her noktada f'e eşit olduğunu tek başına kanıtlamaz. İlgili aralıkta Rₙ(x) → 0 gösterilirse eşitlik sağlanır. Yakınsaklık yarıçapı ve uç noktalar ayrıca incelenir.

Lagrange hata sınırının koşulları

a ile x arasındaki aralıkta gerekli n + 1 türevleri bulunan ve Taylor teoreminin koşullarını sağlayan f için Rₙ(x) = [f⁽ⁿ⁺¹⁾(ξ)/(n + 1)!](x − a)^(n+1); ξ, a ile x arasındadır. Bu aralığın tümünde |f⁽ⁿ⁺¹⁾(t)| ≤ M biliniyorsa |Rₙ(x)| ≤ M|x − a|^(n+1)/(n + 1)!.

M gerçek maksimum olmak zorunda değildir; geçerli bir üst sınır yeterlidir. Ama yalnızca bir uç noktadaki değeri almak, türevin büyüklüğünün aralığın içinde daha yüksek olmadığı bilinmedikçe yeterli olmaz. Formül gerçek hatanın işaretini veya üst sınıra ne kadar yakın olduğunu belirtmez.

M nasıl belirlenir?

• Bir eşitsizlik verilmişse ilgili aralıkta geçerli olduğunu kontrol edin.
• Türevin mutlak değeri monoton olduğu biliniyorsa uygun uç değer bir üst sınır sağlar.
• İç kritik noktalar varsa uçlarla birlikte karşılaştırın.
• |sin t| ≤ 1 ve |cos t| ≤ 1 gibi genel sınırlar daha gevşek ama geçerli olabilir.

Sonlu bir tablo veya ekrandaki birkaç grafik noktası aralık maksimumunu tek başına ispatlamaz. Soru tüm aralık için bir sınır sağlıyorsa onu kullanın; yaklaşık teknolojik maksimumu kesin bir eşitsizlikmiş gibi sunmayın.

Cos(0,3) için polinom ve tolerans

cos x'in P₄(x) = 1 − x²/2 + x⁴/24 polinomu için beşinci türev −sin x'tir. [0, 0,3] üzerinde M = 1 geçerli olduğundan |R₄(0,3)| ≤ 0,3⁵/5! = 0,00002025 < 0,0001. P₄(0,3) = 0,9553375, istenen hata toleransını sağlar.

Bu üst sınır gerçek hata değildir. Alternan serinin ilk atlanan terimi 0,3⁶/6! = 0,0000010125 daha küçük bir sınır verir. P₃ = P₂ = 1 − x²/2 olduğundan sıfır olan üçüncü derece katsayısı polinomu değiştirmez. Bir sınırın toleranstan büyük çıkması, tek başına gerçek hatanın büyük olduğunu kanıtlamaz; yalnızca o sınırın yeterli garanti vermediğini gösterir.

Alternan seri hata tahmini

Σ(−1)ⁿbₙ serisinde bₙ ≥ 0, bₙ sıfıra yaklaşan ve azalan bir dizi olduğunda uygun kısmi toplamın hata büyüklüğü ilk atlanan b teriminden büyük değildir. Yalnızca artı-eksi işaret görmek yetmez; büyüklüklerin azalması ve sıfıra gitmesi denetlenir. Uygun koşullarda kalan ilk atlanan terimle aynı işarettedir.

ln(1 + x) için 0 < x ≤ 1 ve P₄(x) = x − x²/2 + x³/3 − x⁴/4 olsun. x = 0,5'te ilk atlanan terim 0,5⁵/5 = 0,00625'tir. Dolayısıyla hata bu değeri aşmaz.

Aynı örnekte f⁽⁵⁾(t) = 24/(1 + t)⁵, [0, 0,5] üzerinde M = 24 alınır. Lagrange sınırı 24·0,5⁵/5! = 0,00625 çıkar; burada iki yöntem aynı sınırı verir. Alternan yöntemin her durumda daha sıkı olduğunu varsaymayın. Geçerli M seçimi ve örnek, karşılaştırmayı belirler.

Yakınsaklık testini serinin yapısına göre seçin

Σ1/n terimleri sıfıra gider ama seri ıraksar. Σ(−1)^(n+1)/n yakınsar, mutlak değer serisi ıraksadığı için koşullu yakınsaktır. Σ1/n² mutlak yakınsar. Her seri için aynı test sırasının sonucu garanti ettiği bir karar ağacı yoktur; faktöriyel, geometrik yapı, işaret ve karşılaştırılabilir büyüklükler seçimi yönlendirir.

Kuvvet serisi, uç noktalar ve terim terim işlem

Σₙ₌₁∞ (x − 2)ⁿ/(n3ⁿ) için oran testi |x − 2|/3 < 1 verir: yarıçap R = 3, açık aralık (−1, 5). x = −1'de Σ(−1)ⁿ/n yakınsar; x = 5'te harmonik seri ıraksar. Yakınsaklık aralığı [−1, 5)'tir. R sonucu uç noktaları belirlemez.

Kuvvet serileri yakınsaklık yarıçapının içinde terim terim türevlenip integrallenebilir; yarıçap korunur, uç noktaların davranışı yeniden incelenir. 1/(1 − x) = Σₙ₌₀∞ xⁿ için türev +(1 − x)⁻² = Σₙ₌₁∞ nx^(n−1)'dir. Eksi işaret yoktur. 0'dan x'e integral ise −ln(1 − x) = Σₙ₌₀∞ x^(n+1)/(n + 1), |x| < 1 biçimindedir.

Bir hata tahmininde polinom derecesini, merkezini, atlanan ilk terimi ve türev sırasını ayrı yazın. “En küçük n” sorusunda bir n'in yeterli olduğunu göstermekle daha küçük bütün adayların yetersizliğini göstermek farklı iştir. Tolerans ve kesinlik iddiasını yalnızca kanıtlanan sınır kadar güçlü tutun.

Sıkça sorulan sorular

Kaynak: College Board, AP Calculus AB ve BC ders çerçevesi.