Ayrık spline enterpolasyonu - Discrete spline interpolation

Matematik alanında Sayısal analiz, ayrık spline enterpolasyonu bir biçimdir interpolasyon nerede interpolant özel bir tür parça parça polinom ayrık spline olarak adlandırılır. Ayrık bir spline, parçalı bir polinomdur, öyle ki merkezi farklılıklar vardır sürekli düğümlerde eğri parçalı bir polinomdur öyle ki türevler düğüm noktalarında süreklidir. Ayrık kübik eğriler, 0, 1 ve 2 sıralarının merkezi farklılıklarının sürekli olması gereken ayrık eğrilerdir.^[1]

Farklı spline'lar, Mangasarin ve Schumaker tarafından 1971'de, farklılıkları içeren belirli minimizasyon problemlerinin çözümü olarak tanıtıldı.^[2]

Ayrık kübik eğriler

İzin Vermek x₁, x₂, . . ., x_n-1 gerçek sayıların artan bir dizisi olabilir. İzin Vermek g(x) ile tanımlanan parçalı bir polinom olmak

${ displaystyle g (x) = { {vakaları başlat} g_ {1} (x) & x$

nerede g₁(x), . . ., g_n(x) 3. dereceden polinomlardır. h > 0. Eğer

${ displaystyle (g_ {i + 1} -g_ {i}) (x_ {i} + jh) = 0 { text {for}} j = -1,0,1 { text {ve}} i = 1,2, ldots, n-1}$

sonra g(x) ayrık kübik spline olarak adlandırılır.^[1]

Alternatif formülasyon 1

Ayrık bir kübik spline'ı tanımlayan koşullar aşağıdakilere eşdeğerdir:

${ displaystyle g_ {i + 1} (x_ {i} -h) = g_ {i} (x_ {i} -h)}$

${ displaystyle g_ {i + 1} (x_ {i}) = g_ {i} (x_ {i})}$

${ displaystyle g_ {i + 1} (x_ {i} + h) = g_ {i} (x_ {i} + h)}$

Alternatif formülasyon 2

Bir fonksiyonun 0, 1 ve 2 sıralarının temel farklılıkları f(x) aşağıdaki gibi tanımlanır:

${ displaystyle D ^ {(0)} f (x) = f (x)}$

${ displaystyle D ^ {(1)} f (x) = { frac {f (x + h) -f (x-h)} {2h}}}$

${ displaystyle D ^ {(2)} f (x) = { frac {f (x + h) -2f (x) + f (x-h)} {h ^ {2}}}}$

Ayrık bir kübik spline'ı tanımlayan koşullar da eşdeğerdir^[1]

${ displaystyle D ^ {(j)} g_ {i + 1} (x_ {i}) = D ^ {(j)} g_ {i} (x_ {i}) { text {for}} j = 0 , 1,2 { text {ve}} i = 1,2, ldots, n-1.}$

Bu, merkezi farklılıkların ${ displaystyle D ^ {(j)} g (x)}$ sürekli x_ben.

Misal

İzin Vermek x₁ = 1 ve x₂ = 2 böylece n = 3. Aşağıdaki fonksiyon, ayrı bir kübik eğri tanımlar:^[1]

${ displaystyle g (x) = { {vakalar} x ^ {3} ve x <1 x ^ {3} -2 (x-1) ((x-1) ^ {2} -h ^ {başlar 2}) & 1 leq x <2 x ^ {3} -2 (x-1) ((x-1) ^ {2} -h ^ {2}) + (x-2) ((x- 2) ^ {2} -h ^ {2}) & x geq 2 end {vakalar}}}$

Ayrık kübik spline interpolantı

İzin Vermek x₀ < x₁ ve x_n > x_n-1 ve f(x) kapalı aralıkta tanımlanan bir fonksiyon [x₀ - h, x_n + h]. Sonra benzersiz bir kübik ayrık spline var g(x) aşağıdaki koşulların sağlanması:

${ displaystyle g (x_ {i}) = f (x_ {i}) { text {for}} i = 0,1, ldots, n.}$

${ displaystyle D ^ {(1)} g_ {1} (x_ {0}) = D ^ {(1)} f (x_ {0}).}$

${ displaystyle D ^ {(1)} g_ {n} (x_ {n}) = D ^ {(1)} f (x_ {n}).}$

Bu benzersiz ayrık kübik spline, ayrık spline interpolantıdır. f(x) aralığında [x₀ - h, x_n + h]. Bu interpolant, değerleriyle aynı fikirde f(x) x₀, x₁, . . ., x_n.

Başvurular

• Ayrık kübik spline'lar başlangıçta belirli minimizasyon problemlerinin çözümü olarak tanıtıldı.^[1][2]
• Doğrusal olmayan eğrileri hesaplamada uygulamaları vardır.^[1][3]
• İkinci dereceden bir sınır değeri probleminin yaklaşık çözümünü elde etmek için kullanılırlar.^[4]
• Biortogonal dalgacıklar oluşturmak için ayrık interpolatory spline'lar kullanılmıştır.^[5]

Referanslar