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 .
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ż(w miarę wzrostu ) zbieganie się do linii pionowej w punkcie .
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 , .
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).
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.