Twierdzenie Petrovica
Twierdzenie Petrovica
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.
Pozdrawiam.
Re: Twierdzenie Petrovica
A co to za twierdzenie? W książce Kuczmy z równań funkcyjnych jest nierówność Petrovica.
-
- 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
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
Twierdzenie Petrovica
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}\)...
Re: Twierdzenie Petrovica
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?
Re: Twierdzenie Petrovica
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}).}\)
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}).}\)
-
- 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
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)}\)
Re: Twierdzenie Petrovica
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.