f在 0, 上非負且嚴格上凸,僅當x 0時等於0 d x,y f x y 是R上的距離嗎

時間 2021-07-13 21:17:18

1樓:Locietta

是 上的距離

簡單情況找思路

這個問題在導數存在的條件下是很簡單的:

(1)若不然,存在 使得 ,

由中值定理有

由嚴格上凸知導數嚴格遞減,從而 \xi, f'(t) < f'(\xi) \leqslant 0" eeimg="1"/>

再由中值定理 t, f(x) = f(t)+f'(\xi_t)(x-t) < f(t)+f'(t)(x-t)" eeimg="1"/>,右邊在 充分大時為負,與 非負矛盾,從而只有 嚴格遞增

(2)容易驗證距離函式的正定性和對稱性,故只需證明三角不等式

注意 是嚴格遞增的,所以只要證

把欲證轉述如下:

嚴格上凸,

證明:

↑這就是個簡單的極值點偏移高考題,簡單證明如下

證.構造

當 時,由 嚴格遞減有

從而 單調遞增(由中值定理保證)

這即 證畢.

簡單的推廣

一般地,嚴格上凸函式只保證左右導數 都存在且嚴格遞減,並且滿足 f'_-(x_2)" eeimg="1"/>

注意到在左右導數存在的情況下,我們有費馬引理

為 的極值點

我們可以改造中值定理:

(1)(2) 在開區間 上存在左右導數

則存在 使得

用這個新的"中值定理"和左右導數替換前面的中值定理和導數就完成了一般的證明.

如何替換留作思考(

(不過大概看的都懂,不懂的也不會看,就當自娛自樂了

定義在Rn上的非負多元多項式一定可以表示為多個多項式的平方和嗎?

Acehood Hilbert在1888年證明了這樣乙個定理 當且僅當n不大於2 或 d 2 或 n,d 3,4 時,任意的n元d次齊次非負多項式能寫成多項式的平方和 特別地,當 n 3,d 4時能表示為三平方和 n 1的時候是對的,但n 2就不對了。n 1的時候證明是對d degree f做歸納。...

讀哪本書會讓你覺得負能量撲面而來 厭世且非常冷?

Mikimoo 許三觀賣血記 許三觀為了讓二樂早日回城去討好二樂隊長,用賣血的錢換了一桌子菜招待二樂隊長,許三觀剛賣了血本來身體就吃不消了,結果二樂隊長還不停的灌許三觀酒,還說了好些虛偽的話,看到這兒恨死那個利用自己的一點兒小權利以權謀私的二樂隊長了,但更多的是對許三觀的同情。但是就算不是特殊的文革...

男生擁有太好的相貌,是否容易在事業上產生負作用?

拿我和我乙個同事舉例子 土木工地狗 他一臉麻子,長得五大三粗,25長得像45,2010年我倆同時進常州的乙個專案,工作能力上我絕對比他好,然而他爬的比我快,我幹部門經理時,他已經做到專案經理了,領導提拔人的時候有時覺得長得成熟的人好像更靠得住。當然我也不嫉妒他,這是他應得的,我工作也很努力,但是不跪...