Udowodnienie sekwencji zmniejsza się (obsługiwane przez wykreślenie dużej liczby punktów)

10

Wiele pytań, które opublikowałem na SE w ostatnim miesiącu, miało na celu pomóc mi rozwiązać ten konkretny problem. Na wszystkie pytania udzielono odpowiedzi, ale wciąż nie mogę znaleźć rozwiązania. Pomyślałem więc, że powinienem po prostu zapytać o problem, który próbuję rozwiązać bezpośrednio.

Niech , gdzie , , (liczba całkowita), a każdy jest cdf ponad .XnFnFn=(1(1Fn1)c)cF0=xc2Fn(0,1)

Chcę udowodnić, że zmniejsza się z dla wszystkich (lub nawet dla dowolnego konkretnego )! Mogę pokazać, że zbieżny do masy Diraca w unikalnym rozwiązaniu dla Dla , . Patrząc na wykres cdfs dla zwiększenia dla tego samego , wszystkie cdfs krzyżują się na . Wartość zmniejsza się dla wartości mniejszej niż i wzrasta dla wartości większej niżEXnnccFnxc=(1(1x)c)c)c=2x2=(35)/2.38ncxnF(x)xxnxxn(w miarę wzrostu ) zbieganie się do linii pionowej w punkcie .nxn

Poniżej znajduje się wykres dla do dla do . Jest to oczywiście dyskretna fabuła, ale linie zostały połączone dla ułatwienia oglądania. Aby wygenerować ten wykres, użyłem NIntegrate w Mathematica, chociaż musiałem to zrobić na , ponieważ z jakiegoś powodu Mathematica nie mogła wygenerować odpowiedzi na wysokie wartości dla pierwotnej funkcji. Oba powinny być równoważne, zgodnie z twierdzeniem Younga, . W moim przypadku , .EXnn=140c=271Fn1n01F(x)dx=011F1(x)dxFn1(x)=1(1(Fn11)1c)1cFn1=x

wprowadź opis zdjęcia tutaj

Jak widać porusza się bardzo szybko do minuty odległości od swojego stałego punktu . Wraz ze wzrostem , punkt stały maleje (ostatecznie przejdzie do 0).EXnxcc

Z pewnością więc wydaje się prawdą, że zmniejsza się z dla wszystkich . Ale nie mogę tego udowodnić. Czy ktoś może mi pomóc? (ponownie, byłbym nieco zadowolony z choćby jednego ). A jeśli nie możesz, ale masz wgląd w to, dlaczego ten konkretny problem może być nierozwiązywalny, podziel się również tym spostrzeżeniem. EXnncc

OctaviaQ
źródło
Czy zastanawiałeś się nad przepisaniem, aby Zn=EXnEXn1? Indukcyjny dowód lub sprzeczność mogą być łatwo dostępne.
Iterator
@Iterator: Próbowałem (dużo), ale nie udało mi się.
OctaviaQ
1
Tak. +1 i usunąłem mój poprzedni komentarz.
finnw
@Jand: Na razie niestety będę musiał wycofać swoje roszczenie dowodowe. Znalazłem dziurę, którą muszę jeszcze załatać. Przeprosiny. Powinienem był bardziej uważać, zanim coś opublikowałem. Sprawdziłem to kilka razy, ale nie znalazłem problemu, dopóki nie przeszedłem go ostatni raz.
kardynał
1
@Jand: Masz bardzo podobne (ale nieco inne) pytanie dotyczące matematyki.SE . Czy możesz wyjaśnić, czy faktycznie interesuje Cię jedno lub drugie i dlaczego?
kardynał

Odpowiedzi:

2

Odpowiedzi na to pytanie udzielił Pietro Majer tutaj .

OctaviaQ
źródło