Twierdzenie Petrovica

Dział dla użytkowników nie lubiących googlować ;) Konkretne zagadnienia matematyczne w sieci, skrypty online, poszukiwania wszelakie acz KONKRETNE!
Reytron
Użytkownik
Użytkownik
Posty: 4
Rejestracja: 5 mar 2018, o 23:35
Płeć: Mężczyzna
Lokalizacja: Szczecin

Twierdzenie Petrovica

Post autor: Reytron »

Witam, poszukuję informacji na temat Twierdzenia Petrovica i do czego jest ono konkretnie wykorzystywane. Bylbym bardzo wdzięczny za pomoc w znalezieniu materiałów.
Pozdrawiam.
szw1710

Re: Twierdzenie Petrovica

Post autor: szw1710 »

A co to za twierdzenie? W książce Kuczmy z równań funkcyjnych jest nierówność Petrovica.
bartek118
Użytkownik
Użytkownik
Posty: 5974
Rejestracja: 28 lut 2010, o 19:45
Płeć: Mężczyzna
Lokalizacja: Toruń
Podziękował: 15 razy
Pomógł: 1251 razy

Re: Twierdzenie Petrovica

Post autor: bartek118 »

Jest również taka nierówność dla funkcji wypukłych:

Kod: Zaznacz cały

https://web.math.pmf.unizg.hr/glasnik/18.1/18110.pdf
szw1710

Twierdzenie Petrovica

Post autor: szw1710 »

O niej to myślałem. Ma ona pewien związek z nadaddytywnością. Załóżmy nie wchodząc w szczegóły ze \(\displaystyle{ f (0)=0}\)...
Reytron
Użytkownik
Użytkownik
Posty: 4
Rejestracja: 5 mar 2018, o 23:35
Płeć: Mężczyzna
Lokalizacja: Szczecin

Re: Twierdzenie Petrovica

Post autor: Reytron »

Tak, chodzi właśnie o tą nierówność, przepraszam za wprowadzenie w błąd. Nie rozumiem w jakim celu lub do czego się ją stosuje, mógłbym prosić o jakieś materiały lub wytłumaczenie?
szw1710

Re: Twierdzenie Petrovica

Post autor: szw1710 »

No to już masz...

Dla \(\displaystyle{ n=2}\) jest prosto. Masz \(\displaystyle{ x=\frac{y}{x+y}\cdot 0+\frac{x}{x+y}\cdot(x+y)}\) i z wypukłości jest \(\displaystyle{ f(x)\le\frac{y}{x+y}f(0)+\frac{x}{x+y}f(x+y).}\) Zapisując podobną nierówność (symetria)

\(\displaystyle{ f(y)\le\frac{x}{x+y}f(0)+\frac{y}{x+y}f(x+y)}\)

i dodając obie stronami mamy \(\displaystyle{ f(x)+f(y)\le f(0)+f(x+y).}\)

Reszta pójdzie przez indukcję. To niemal widoczne. Wyjdź od\(\displaystyle{ f(x_1)+\dots+f(x_n)+f(x_{n+1})}\) a potem zastosuj założenie indukcyjne do wyrażenia \(\displaystyle{ f(x_1)+\dots+f(x_n)}\), a następnie początek indukcji czyli nierówność dla dwóch składników do wyrażenia postaci \(\displaystyle{ f(x_1+\dots+x_n)+f(x_{n+1}).}\)
a4karo
Użytkownik
Użytkownik
Posty: 22275
Rejestracja: 15 maja 2011, o 20:55
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 38 razy
Pomógł: 3765 razy

Re: Twierdzenie Petrovica

Post autor: a4karo »

Można jeszcze prościej: z wypukłości wynika, że dla \(\displaystyle{ h>0}\) funkcja \(\displaystyle{ f(x+h)-f(x)}\) jest rosnąca (to się nazywa wypukłością w sensie Wrighta). Stąd \(\displaystyle{ f(x+y)-f(x)\geq f(y)-f(0)}\)
szw1710

Re: Twierdzenie Petrovica

Post autor: szw1710 »

Ale ja tego Wrighta pokazałem przecież. A skoro już o tym mowa, polecam (nie Tobie, stary wygo ) zapoznanie się z nierównością Lima.
ODPOWIEDZ