Перше, що потрібно зробити - це формалізувати те, що ми маємо на увазі під «важчим хвостом». Можна умовно подивитися, наскільки висока щільність у крайньому хвості після стандартизації обох розподілів, щоб вони мали однакове розташування та масштаб (наприклад, стандартне відхилення):
(з цієї відповіді, яка також дещо відповідає вашому питанню )
[У цьому випадку масштабування насправді не має значення; t все одно буде "важчим", ніж нормальний, навіть якщо ви використовуєте дуже різні масштаби; нормальний завжди знижується]
Однак це визначення - хоча воно працює нормально для цього конкретного порівняння - не дуже узагальнює.
Більш загальне визначення тут набагато кращого визначення у відповіді Валера . Тож якщо важче хвоста, ніжYХ, як т стає достатньо великим (для всіх t > дещо т0), тоді SY( t ) >SХ( t ), де S= 1 - F, де Ж - це cdf (для більш важких хвостів справа; з іншого боку є подібне, очевидне визначення).
Ось це і в лог-шкалі, і в квантильній шкалі нормальної, що дозволяє нам побачити більше деталей:
Тож тоді "доказ" більш важкої хвостивості передбачає порівняння cdfs та показує, що верхній хвіст t-cdf зрештою завжди лежить вище норми, а нижній хвіст t-cdf з часом завжди лежить нижче норми.
У цьому випадку найпростіше зробити порівняння густин, а потім показати, що відповідне відносне положення cdfs (/ функції виживання) повинно випливати з цього.
Так, наприклад, якщо ви можете це заперечити (у деяких даних ν)
х2- ( ν+ 1 ) журнал( 1 +х2ν) > 2 ⋅ лог( k )†
для необхідної постійної к (функція ν), для усіх х > дещо х0, тоді можна було б встановити важчий хвіст для тν також щодо визначення з точки зору більшого 1 - F (або більше) Ж з лівого хвоста).
† (ця форма випливає з різниці журналу густин, якщо це відповідає необхідному співвідношенню між щільністю)
[Насправді це можна показати будь-якому к (а не лише конкретна, яка нам потрібна, від відповідних констант, що нормалізують щільність), тому результат повинен мати значення для к нам потрібно.]