Phương trình Jensen quy về phương trình Cauchy
Phát biểu
Nếu thỏa phương trình Jensen với mọi , thì cộng tính (thỏa ), 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), với hằng số 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 và kiểm tra .** Cho . Khi đó .
**Bước 2: Viết lại phương trình Jensen theo .** Thay vào cho . Các số hạng triệt tiêu, còn lại — thỏa chính xác phương trình Jensen tương tự.
Bước 3: Suy đẳng thức chia đôi. Đặt trong phương trình của : (dùng từ Bước 1). Vậy với mọi , tương đương với mọi (thay ).
**Bước 4: Chuyển phương trình Jensen của thành cộng tính.** Với bất kỳ, áp dụng phương trình Jensen của cho cặp : . Theo Bước 3 với , vế trái bằng (vì là chia đôi của ). Vậy , và nhân cả hai vế với : .
Bước 5: Kết luận. Đây chính xác là phương trình cộng tính Cauchy áp dụng cho . Theo Định lý 1, nếu (tương đương , vì chúng khác nhau bởi hằng số ) liên tục, đơn điệu, hoặc bị chặn trên khoảng, thì với hằng số nào đó. Thay lại, , 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
- Christopher G. Small (2007). Functional Equations and How to Solve Them
- Thomas M. Cover, Joy A. Thomas (2006). Elements of Information Theory
- D. H. Hyers (1941). On the Stability of the Linear Functional Equation