← Yazılar/MatematikYazı 005Örnek

Herkapalıeğribirçembertoplamıdır

Fourier dönüşümü bir şekli dönen çemberlere ayırır; Riemann toplamı bir alanı dikdörtgenlere böler. İki fikir de aynı şeyi söyler: karmaşık olan, basit parçaların sonsuz toplamıdır. Tarayıcıda çizin, yakınsamayı izleyin.

Tarih
22 Eylül 2026
Okuma
2 dk · 356 kelime
Yazar
RANVIER Ekibi
Kanıt düzeyi
Örnek içerik

Beyin dalgalarını frekans bantlarına ayırırken, bir MR görüntüsünü k-uzayından geri çatarken, bir uydunun yörüngesini sayısal olarak integre ederken aynı iki fikri kullanırız: ayrıştırmak ve toplamak.

Çemberlerle çizmek

Düzlemdeki kapalı bir eğriyi karmaşık bir fonksiyon olarak düşünelim: z(t)=x(t)+iy(t)z(t) = x(t) + i\,y(t), t[0,1)t \in [0, 1). Eğriyi NN eşit aralıklı noktada örnekleyip ayrık Fourier dönüşümünü alırsak her kk frekansı için bir katsayı elde ederiz:

ck=1Nn=0N1zne2πikn/Nc_k = \frac{1}{N} \sum_{n=0}^{N-1} z_n \, e^{-2\pi i k n / N}

Geri dönüşüm, eğriyi dönen vektörlerin toplamı olarak yazar:

z(t)k=KKcke2πiktz(t) \approx \sum_{k=-K}^{K} c_k \, e^{2\pi i k t}

Her terim bir çemberdir: yarıçapı ck|c_k|, başlangıç açısı argck\arg c_k, dönüş hızı kk. Çemberleri uç uca eklediğinizde son çemberin ucu eğrinizi çizer. Terimleri genliğe göre sıralarsanız, ilk birkaç çember kaba biçimi, kalanlar ayrıntıyı taşır.

L-04Fourier Epidöngüleri
Tam ekran ↗
Canlı deney · kaydırınca başlar
Etkileşimli şekilTek hamlede kapalı bir şekil çizin; ayrık Fourier dönüşümü onu çemberlere ayırıp yeniden çizer. Terim sayısını azaltarak köşelerdeki Gibbs salınımını görün.

Gibbs olgusu

Köşeli bir şekli sonlu sayıda terimle yaklaşık olarak çizdiğinizde, köşelerin yakınında inatçı bir taşma görürsünüz. Terim sayısı arttıkça taşma daralır ama küçülmez: sıçrama yüksekliğinin yaklaşık %9'unda sabit kalır. Sonlu bir Fourier serisi süreksizliği asla tam yakalayamaz; yalnızca etkisini daha dar bir bölgeye sıkıştırır.

Dikdörtgenlerden alana

Riemann toplamı, [a,b][a, b] aralığını nn parçaya böler ve her parçada fonksiyonu sabit sayar:

abf(x)dx=limni=1nf(xi)Δx,Δx=ban\int_a^b f(x)\,dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i^{*})\,\Delta x, \qquad \Delta x = \frac{b - a}{n}

Limit tanım gereği aynıdır, ama yakınsama hızı örnek noktasının nasıl seçildiğine bağlıdır. Sol ya da sağ uç kuralında hata O(1/n)O(1/n) ile azalır. Orta nokta ve yamuk kuralları O(1/n2)O(1/n^2)'ye çıkar, çünkü birinci dereceden hata terimleri birbirini götürür. Simpson kuralı fonksiyonu parçalı parabollerle yaklaştırır ve O(1/n4)O(1/n^4)'e ulaşır:

abf(x)dxΔx3[f(x0)+4f(x1)+2f(x2)++4f(xn1)+f(xn)]\begin{aligned} \int_a^b f(x)\,dx \approx \frac{\Delta x}{3}\Bigl[\, & f(x_0) + 4f(x_1) + 2f(x_2) + \dots \\ & + 4f(x_{n-1}) + f(x_n)\Bigr] \end{aligned}

Pratikte bu şu anlama gelir: nn'yi on katına çıkardığınızda sol uç kuralı bir basamak, yamuk kuralı iki basamak, Simpson dört basamak doğruluk kazanır. Log–log grafikte hata eğrilerinin eğimleri tam olarak 1-1, 2-2 ve 4-4'tür.

L-05Riemann'dan İntegrale
Tam ekran ↗
Canlı deney · kaydırınca başlar
Etkileşimli şekiln'yi artırın ve kuralları değiştirin. Log–log hata grafiğindeki eğimler yakınsama mertebesini doğrudan gösterir.

Neden önemli?

Simülatörlerimizdeki her diferansiyel denklem sonunda bir toplamdır. Euler–Maruyama adımı bir sol uç kuralıdır; Runge–Kutta 4 ise Simpson kuralının diferansiyel denklemlerdeki akrabasıdır. Hangi yöntemi seçtiğiniz, aynı doğruluk için kaç adım atmanız gerektiğini, dolayısıyla bir parametre taramasının dakikalar mı yoksa günler mi süreceğini belirler.

Bu yazıya atıf

RANVIER Ekibi (2026). Her kapalı eğri bir çember toplamıdır. RANVIER. https://ranvier.science/yazilar/fourier-ve-integral/

Sıradaki yazı · 006Uzay Mühendisliği

İki ateşleme, bir yarım elips

22 Eylül 2026 · 2 dk →