Cách chứng minh rằng


9

Tôi đã cố gắng thiết lập sự bất bình đẳng

|Ti|=|XiX¯|Sn1n

Trong đó là giá trị trung bình mẫu và là độ lệch chuẩn của mẫu, đó là .X¯SS=i=1n(XiX¯)2n1

Dễ dàng thấy rằng và vì vậy nhưng điều này không gần với những gì tôi đang tìm kiếm, cũng không phải là một ràng buộc hữu ích. Tôi đã thử nghiệm với Cauchy-Schwarz và bất đẳng thức tam giác nhưng không đi đến đâu. Phải có một bước tinh tế mà tôi đang thiếu ở đâu đó. Tôi sẽ đánh giá cao sự giúp đỡ, cảm ơn bạn.i=1nTi2=n1|Ti|<n1

Câu trả lời:


10

Đây là sự bất bình đẳng của Samuelson và nó cần dấu . Nếu bạn lấy phiên bản Wikipedia và làm lại nó theo định nghĩa của bạn sẽ thấy rằng nó trở thànhn - 1 S , | X i - ˉ X |n1S,

|XiX¯|Sn1n

Nó được đưa ra như một sự bất bình đẳng nghiêm ngặt trong cuốn sách nhưng tôi đã sửa nó, cảm ơn.
JohnK

5

Sau khi đơn giản hóa vấn đề bằng các thủ tục thông thường, có thể giải quyết bằng cách chuyển đổi nó thành một chương trình giảm thiểu kép có câu trả lời nổi tiếng với một bằng chứng cơ bản. Có lẽ sự đối ngẫu này là "bước tinh tế" được đề cập trong câu hỏi. Sự bất bình đẳng cũng có thể được thiết lập một cách hoàn toàn cơ học bằng cách tối đa hóathông qua hệ số nhân Lagrange.|Ti|

Trước tiên, tôi cung cấp một giải pháp thanh lịch hơn dựa trên hình học của các hình vuông nhỏ nhất. Nó không đòi hỏi đơn giản hóa sơ bộ và gần như ngay lập tức, cung cấp trực giác trực tiếp vào kết quả. Như được đề xuất trong câu hỏi, vấn đề giảm đến bất đẳng thức Cauchy-Schwarz.


Giải pháp hình học

Cân nhắc như một vector chiều trong không gian Euclide với dấu chấm sản phẩm bình thường. Đặt là vectơ cơ sở và . Viết và cho các phép chiếu trực giao của và vào phần bổ sung trực giao của . (Trong thuật ngữ thống kê, chúng là phần dư đối với phương tiện.) Sau đó, vì vàx=(X1,X2,,Xn)ny=(0,0,,0,1,0,,0)ith1=(1,1,,1)x^y^xy1XiX¯=x^yS=||x^||/n1 ,

|Ti|=n1|x^y|||x^||=n1|x^y^|||x^||

là thành phần của theo hướng . Theo Cauchy-Schwarz, nó được tối đa hóa chính xác khi song song với , trong đó QED.y^x^x^y^=(1,1,,1,n1,1,1,,1)/n

Ti=±n1y^y^||y^||=±n1||y^||=±n1n,

Ngẫu nhiên, giải pháp này cung cấp một đặc tính toàn diện cho tất cả các trường hợp trong đóđược tối đa hóa: tất cả chúng đều có dạng|Ti|

x=σy^+μ1=σ(1,1,,1,n1,1,1,,1)+μ(1,1,,1)

cho tất cả thực .μ,σ

Phân tích này dễ dàng khái quát hóa cho trường hợp được thay thế bằng bất kỳ bộ hồi quy nào. Rõ ràng mức tối đa của tỷ lệ thuận với độ dài của phần dư của ,.{1}Tiy||y^||


Đơn giản hóa

Vì là bất biến dưới sự thay đổi của vị trí và tỷ lệ, nên chúng tôi có thể giả sử không mất tính tổng quát rằng tổng bằng 0 và bình phương của chúng tổng bằng . Điều này xác địnhvới, vì (bình phương trung bình) là . Tối đa hóa nó tương đương với tối đa hóa . Không có tính tổng quát nào bị mất bằng cách lấy , vì có thể trao đổi.TiXin1|Ti||Xi|S1|Ti|2=Ti2=Xi2i=1Xi


Giải pháp thông qua một công thức kép

Một vấn đề kép là sửa giá trị của và hỏi giá trị nào của còn lại là cần thiết để giảm thiểu tổng bình phương cho rằng . Vì được cung cấp, đây là vấn đề tối thiểu hóa cho rằng .X12Xj,j1j=1nXj2j=1nXj=0X1j=2nXj2j=2nXj=X1

Các giải pháp dễ dàng được tìm thấy theo nhiều cách. Một trong những điều cơ bản nhất là viết

Xj=X1n1+εj, j=2,3,,n

trong đó . Mở rộng hàm mục tiêu và sử dụng danh tính tổng bằng không này để đơn giản hóa nó tạo raj=2nεj=0

j=2nXj2=j=2n(X1n1+εj)2=(X1n1)22X1n1εj+εj2=Constant+εj2,

ngay lập tức hiển thị giải pháp duy nhất là cho tất cả . Đối với giải pháp này,εj=0j

(n1)S2=X12+(n1)(X1n1)2=(1+1n1)X12=nn1X12

|Ti|=|X1|S=|X1|n(n1)2X12=n1n,

QED .


Giải pháp thông qua máy móc

Quay trở lại chương trình đơn giản hóa mà chúng tôi đã bắt đầu với:

Maximize X12

tùy thuộc vào

i=1nXi=0 and i=1nXi2(n1)=0.

Phương pháp nhân số Lagrange (gần như hoàn toàn là cơ học và đơn giản) đánh đồng tổ hợp tuyến tính không cần thiết của độ dốc của ba hàm này thành 0:

(0,0,,0)=λ1D(X12)+λ2D(i=1nXi)+λ3D(i=1nXi2(n1)).

Thành phần theo thành phần, các phương trình làn

0=2λ1X1+λ2+2λ3X10=λ2+2λ3X20=0=λ2+2λ3Xn.

cuối cùng trong số chúng ngụ ý hoặc . (Chúng tôi có thể loại trừ trường hợp sau bởi vì sau đó phương trình đầu tiên ngụ ý , tầm thường hóa kết hợp tuyến tính.) Ràng buộc tổng bằng không tạo ra . Ràng buộc tổng bình phương cung cấp hai giải phápn1X2=X3==Xn=λ2/(2λ3)λ2=λ3=0λ1=0X1=(n1)X2

X1=±n1n; X2=X3==Xn=1n.

Cả hai đều mang lại

|Ti|=|X1||±n1n|=n1n.

Cảm ơn bạn về phần phụ lục của bạn, hình học rất mạnh mẽ và trong cả ba giải pháp, nó là trực quan nhất đối với tôi.
JohnK

0

Sự bất bình đẳng như đã nêu là đúng. Một cách khá rõ ràng bằng trực giác rằng chúng ta gặp trường hợp khó khăn nhất cho bất đẳng thức (nghĩa là tối đa hóa phía hannd bên trái cho ) bằng cách chọn một giá trị, giả sử càng lớn càng tốt trong khi có tất cả các giá trị khác bằng nhau. Chúng ta hãy xem một ví dụ với cấu hình như vậy:S2x1

n=4,x1=x2=x3=0,x4=4,x¯=1,S2=4,
bây giờ tùy thuộc vào , trong khi giới hạn trên đã cho bằng với chỉ là đủ. Ý tưởng đó có thể được hoàn thành để chứng minh.|xix¯|S={12 or 32i412=1.5

BIÊN TẬP

Bây giờ chúng tôi sẽ chứng minh yêu cầu, như gợi ý ở trên. Đầu tiên, đối với bất kỳ vectơ đã cho trong vấn đề này, chúng ta có thể thay thế nó bằng mà không thay đổi bất kỳ bên nào của bất đẳng thức ở trên. Vì vậy, trong phần sau chúng ta hãy giả sử rằng . Chúng ta cũng có thể bằng cách tái định nghĩa rằng là lớn nhất. Sau đó, bằng cách chọn đầu tiên và sau đó chúng ta có thể kiểm tra bằng đại số đơn giản rằng chúng ta có bất đẳng thức trong bất đẳng thức được yêu cầu. Vì vậy, nó là sắc nét.x=(x1,x2,,xn)xx¯x¯=0x1x1>0x2=x3==xn=x1n1

Sau đó, xác định vùng (lồi) theo cho hằng số dương đã cho . Lưu ý rằng là giao điểm của một siêu phẳng với một hình cầu có tâm ở gốc, do đó, một hình cầu trong -space. Vấn đề của chúng tôi hiện có thể được xác định là kể từ mộtR

R={xR:x¯=0,(xix¯)2/(n1)S2}
S2R(n1)
maxxRmaxi|xi|
xtối đa hóa đó sẽ là trường hợp khó khăn nhất cho sự bất bình đẳng. Đây là vấn đề tìm tối đa của hàm lồi so với tập lồi, nói chung là các vấn đề khó (tối thiểu là dễ!). Nhưng, trong trường hợp này, vùng lồi là một hình cầu tập trung vào gốc tọa độ và hàm chúng ta muốn tối đa hóa là giá trị tuyệt đối của tọa độ. Rõ ràng là tối đa được tìm thấy ở phạm vi biên của và bằng cách lấytối đa, trường hợp thử nghiệm đầu tiên của chúng tôi là bắt buộc.R|x1|

@ John bạn có thể xóa bình luận của bạn bây giờ, bài viết đã được sửa
kjetil b halvorsen

Mặc dù câu trả lời này cho thấy sự bất bình đẳng (giả sử nó là đúng, mà nó là) là chặt chẽ , nó không phải là điều hiển nhiên làm thế nào mà tính duy nhất có thể được "hoàn thành một bằng chứng." Bạn có thể cung cấp một số dấu hiệu về cách đó sẽ được thực hiện?
whuber

Sẽ, nhưng ngày mai, bây giờ tôi phải chuẩn bị lớp học ngày mai.
kjetil b halvorsen 14/9/2015

Cảm ơn bạn - Tôi đánh giá cao công thức cẩn thận của bạn về vấn đề. Nhưng "bằng chứng" của bạn dường như đi đến tuyên bố rằng "rõ ràng là như vậy". Bạn luôn có thể áp dụng hệ số nhân Lagrange để hoàn thành công việc, nhưng thật tuyệt khi thấy một cách tiếp cận mà (a) thực sự là một bằng chứng và (b) cung cấp cái nhìn sâu sắc.
whuber

2
@whuber Nếu bạn có thời gian, tôi sẽ đánh giá cao nếu bạn có thể đăng giải pháp nhân số Lagrange của mình. Tôi nghĩ rằng sự bất bình đẳng nói chung là không nổi tiếng như nó phải được.
JohnK
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.