Pozitive difinita funkcio

(Alidirektita el Negative difinita funkcio)
Estas neniuj versioj de ĉi tiu paĝo, do ĝi eble ne estis kvalite kontrolita.

En matematiko, la termino pozitive difinita funkcio signifas du malsamajn nociojn.

En dinamikaj sistemoj

redakti

Reelo-valora, kontinue diferencialebla funkcio f estas pozitive difinita sur najbaraĵo de la fonto de koordinatoj, D, se f(0)=0 kaj f(x)>0 por ĉiu nenula x en D.

Funkcio estas negative difinita se la neegalaĵo estas rea, f(0)=0 kaj f(x)<0 por ĉiu nenula x en D.

Funkcio estas duondifinita se la forta neegalaĵo estas anstataŭigita per malforta, tiel

funkcio estas pozitive duondifinita se f(0)=0 kaj f(x)≥0 por ĉiu x en D,
funkcio estas negative duondifinita se f(0)=0 kaj f(x)≤0 por ĉiu x en D,

en ĉi tiuj okazoj ne bezonatas skribi ke x devas esti nenula.

En kompleksa analitiko kaj statistiko

redakti

Pozitive difinita funkcio de reela variablo x estas komplekso-valora funkcio

f:RC

tia ke por ĉiu n kaj por ĉiuj reelaj nombroj x1, ..., xn la n×n matrico A kun elementoj

aij = f(xi - xj)

estas pozitive duondifinita matrico. Kutime estas konsiderata nur la okazo en kiu f(-x) estas la kompleksa konjugito de f(x), f(-x)=f(x)*, tiel ke la matrico A estas memadjunkta matrico (hermita matrico).

Se funkcio f estas pozitive duondifinita, per preno de n=1 kaj ajna x1 rezultiĝas

f(0) ≥ 0.

Per preno de n=2 pro tio ke pozitive duondifinita matrico havas nenegativan determinanton rezultiĝas

f(x-y) f(y-x) ≤ f(0)2

kaj se f(-x)=f(x)* do

|f(x)| ≤ |f(0)|

Pozitiva difiniteco aperas en la teorio de la konverto de Fourier. Pozitiva difiniteco estas necesa kondiĉo por f por ke ĝi estu la konverto de Fourier de funkcio g sur la reela linio tia ke g(y) ≥ 0.

La rea rezulto estas teoremo de Bochner kiu statas ke kontinua pozitive difinita funkcio sur la reela linio estas la konverto de Fourier de (pozitiva) mezuro.

En statistiko, la teoremo estas kutime aplikata al reelaj funkcioj; la matrico A estas tiam multiplikita per skalaro por doni kunvariancan matricon, kiu devas esti pozitive difinita. En statistika ĉirkaŭteksto, oni kutime diras ke f(x) estas la karakteriza funkcio de simetria probablodensa funkcio (PDF).

Vidu ankaŭ

redakti

Eksteraj ligiloj

redakti

A positive definite function f on a group G is a function for which the matrix {f(x_ix_j^(-1))} is always positive semidefinite Hermitian.