Bourbaki

Bài tập 12, § 3

Hàm số một biến thực, I, 43

Bourbaki marks this one as harder than the rest.

a) Cho ff là một hàm vectơ được xác định và liên tục trên khoảng hữu hạn I=[−a,+a]I = [-a, +a], nhận các giá trị của nó trong một không gian định chuẩn EE trên R\mathbf{R} và khả vi hai lần trên II. Nếu đặt M0=sup⁡x∈I∥f(x)∥,M2=sup⁡x∈I∥f′′(x)∥M_0 = \sup_{x \in I} \|f(x)\|, \quad M_2 = \sup_{x \in I} \|f''(x)\|, hãy chỉ ra rằng với mọi x∈Ix \in I ta có

∥f′(x)∥≤M0a+x2+a22aM2 \|f'(x)\| \leq \frac{M_0}{a} + \frac{x^2 + a^2}{2a} M_2
(viết mỗi hiệu f(a)−f(x),f(−a)−f(x)f(a) - f(x), \quad f(-a) - f(x) dưới dạng thích hợp).

b) Suy ra từ a) rằng nếu ff là một hàm khả vi hai lần trên một khoảng II (bị chặn hoặc không), và nếu M0=sup⁡x∈I∥f(x)∥M_0 = \sup_{x \in I} \|f(x)\| và M2=sup⁡x∈I∥f′′(x)∥M_2 = \sup_{x \in I} \|f''(x)\| là hữu hạn, thì M1=sup⁡x∈I∥f′(x)∥M_1 = \sup_{x \in I} \|f'(x)\| cũng hữu hạn, và ta có:

M1≤2M0M2neˆˊu I coˊ độ daˋi ≥2M0M2 M_1 \leq 2 \sqrt{M_0 M_2} \qquad \text{nếu } I \text{ có độ dài } \geq 2 \sqrt{\frac{M_0}{M_2}}
M1≤2M0M2neˆˊu I=R. M_1 \leq \sqrt{2} \sqrt{M_0 M_2} \qquad \text{nếu } I = \mathbf{R}.
Chứng minh rằng trong hai bất đẳng thức này các số 2 và 2\sqrt{2} tương ứng không thể được thay thế bởi các số nhỏ hơn (trước hết xét trường hợp chỉ giả sử rằng ff có đạo hàm phải cấp hai, và chứng minh rằng trong trường hợp này hai vế của các bất đẳng thức trên có thể bằng nhau, bằng cách lấy ff là một hàm thực bằng từng đoạn với các đa thức bậc hai).

c) Suy ra từ b) rằng nếu ff khả vi pp lần trên R\mathbf{R}, và nếu Mp=sup⁡x∈R∥f(p)(x)∥M_p = \sup_{x \in \mathbf{R}} \|f^{(p)}(x)\| và M0=sup⁡x∈R∥f(x)∥M_0 = \sup_{x \in \mathbf{R}} \|f(x)\| là hữu hạn, thì mỗi số Mk=sup⁡x∈R∥f(k)(x)∥M_k = \sup_{x \in \mathbf{R}} \|f^{(k)}(x)\| là hữu hạn (với 1≤k≤p−11 \leq k \leq p-1) và

Mk≤2k(p−k)/2M01−k/pMpk/p. M_k \leq 2^{k(p-k)/2} M_0^{1-k/p} M_p^{k/p}.

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.