MathLabs
Định lýĐã chứng minh

Phương trình Jensen quy về phương trình Cauchy

Phát biểu

Nếu f:R→Rf:\mathbb{R}\to\mathbb{R} thỏa phương trình Jensen f(x+y2)=f(x)+f(y)2f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2} với mọi x,y∈Rx,y\in\mathbb{R}, thì g(x):=f(x)−f(0)g(x) := f(x)-f(0) cộng tính (thỏa f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)), nên với điều kiện liên tục (hoặc đơn điệu, hoặc bị chặn trên khoảng), f(x)=cx+f(0)f(x) = cx + f(0) với hằng số cc nào đó.

Vì sao đúng?

Điều này chỉ ra phương trình Jensen — trông như phát biểu thuần túy về trung điểm và trung bình — thực chất là phương trình cộng tính Cauchy đội lốt, nên toàn bộ máy móc của Định lý 1 (kể cả nghiệm phi chính quy kỳ dị và điều kiện chính quy loại trừ chúng) chuyển sang tự động.

Phác thảo chứng minh

**Bước 1: Định nghĩa gg và kiểm tra g(0)=0g(0)=0.** Cho g(x)=f(x)−f(0)g(x) = f(x) - f(0). Khi đó g(0)=f(0)−f(0)=0g(0) = f(0)-f(0) = 0.

**Bước 2: Viết lại phương trình Jensen theo gg.** Thay f=g+f(0)f = g + f(0) vào f(x+y2)=f(x)+f(y)2f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2} cho g(x+y2)+f(0)=g(x)+f(0)+g(y)+f(0)2=g(x)+g(y)2+f(0)g\left(\frac{x+y}{2}\right) + f(0) = \frac{g(x)+f(0)+g(y)+f(0)}{2} = \frac{g(x)+g(y)}{2} + f(0). Các số hạng f(0)f(0) triệt tiêu, còn lại g(x+y2)=g(x)+g(y)2g\left(\frac{x+y}{2}\right) = \frac{g(x)+g(y)}{2} — gg thỏa chính xác phương trình Jensen tương tự.

Bước 3: Suy đẳng thức chia đôi. Đặt y=0y=0 trong phương trình của gg: g(x2)=g(x)+g(0)2=g(x)2g\left(\frac{x}{2}\right) = \frac{g(x)+g(0)}{2} = \frac{g(x)}{2} (dùng g(0)=0g(0)=0 từ Bước 1). Vậy g(x/2)=g(x)/2g(x/2) = g(x)/2 với mọi xx, tương đương g(2u)=2g(u)g(2u) = 2g(u) với mọi uu (thay u=x/2u=x/2).

**Bước 4: Chuyển phương trình Jensen của gg thành cộng tính.** Với x,y∈Rx,y\in\mathbb{R} bất kỳ, áp dụng phương trình Jensen của gg cho cặp (x,y)(x,y): g(x+y2)=g(x)+g(y)2g\left(\frac{x+y}{2}\right) = \frac{g(x)+g(y)}{2}. Theo Bước 3 với u=x+yu = x+y, vế trái bằng g(x+y)/2g(x+y)/2 (vì x+y2\frac{x+y}{2} là chia đôi của x+yx+y). Vậy g(x+y)2=g(x)+g(y)2\frac{g(x+y)}{2} = \frac{g(x)+g(y)}{2}, và nhân cả hai vế với 22: g(x+y)=g(x)+g(y)g(x+y) = g(x)+g(y).

Bước 5: Kết luận. Đây chính xác là phương trình cộng tính Cauchy f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y) áp dụng cho gg. Theo Định lý 1, nếu gg (tương đương ff, vì chúng khác nhau bởi hằng số f(0)f(0)) liên tục, đơn điệu, hoặc bị chặn trên khoảng, thì g(x)=cxg(x) = cx với hằng số c=g(1)=f(1)−f(0)c=g(1)=f(1)-f(0) nào đó. Thay lại, f(x)=g(x)+f(0)=cx+f(0)f(x) = g(x) + f(0) = cx + f(0), nghiệm chính quy tổng quát của phương trình Jensen — hàm affine (không nhất thiết tuyến tính).

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Christopher G. Small (2007). Functional Equations and How to Solve Them
  2. Thomas M. Cover, Joy A. Thomas (2006). Elements of Information Theory
  3. D. H. Hyers (1941). On the Stability of the Linear Functional Equation