cgf

Mathlib.Probability.Moments.Basic

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.cgf

← MathLib Explorer

English

The cumulant-generating function cgf is the logarithm of the mgf: cgf(X, μ, t) = log(mgf(X, μ, t)).

Русский

Кумулянт-генератор cgf равен логарифму mgf: cgf(X, μ, t) = log(mgf(X, μ, t)).

LaTeX

$$cgf(X,μ,t) = \log(mgf(X,μ,t))$$

Lean4

/-- Cumulant-generating function of a real random variable `X`: `fun t => log μ[exp(t*X)]`. -/
def cgf (X : Ω → ℝ) (μ : Measure Ω) (t : ℝ) : ℝ :=
  log (mgf X μ t)

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru