Skip to main content
added 41 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$$a=(a_1,\dots,a_n)\in(0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n f(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis vector of $\R^n$; here we used the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$. That is, your conjecture holds iff $s=1$.

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n f(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis vector of $\R^n$; here we used the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$.

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in(0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n f(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis vector of $\R^n$; here we used the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$. That is, your conjecture holds iff $s=1$.

added 1 character in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n Ef(e_j)\dfrac{a_j}s+0,$$$$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n f(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis vector of $\R^n$; here we useused the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$.

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n Ef(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis of $\R^n$; here we use the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$.

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n f(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis vector of $\R^n$; here we used the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$.

Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\Ga\Gamma\newcommand\R{\mathbb R}$For any $a=(a_1,\dots,a_n)\in[0,\infty)^n$ and any real $t\in(0,1/2)$, let $X=(X_1,\dots,X_n)$ have the Dirichlet distribution with parameter $ta$. Then $X_1$ has the beta distribution with parameters $ta_1$ and $tb_1$, where $b_1:=s-a_1$ and $$s:=a_1+\dots+a_n.$$

Let $t\downarrow0$. Then $\Ga(t)=\Ga(1+t)/t\sim1/t$ and hence
$$P(X_1>1-t)=\frac{\Ga(ts)}{\Ga(ta_1)\Ga(tb_1)}\,J \sim\frac{ta_1b_1}s\,J,$$ where $$J:=\int_{1-t}^1 x^{ta_1-1}(1-x)^{tb_1-1}\,dx \sim\int_{1-t}^1 (1-x)^{tb_1-1}\,dx=\frac{t^{tb_1}}{tb_1}\sim\frac1{tb_1},$$ so that $P(X_1>1-t)\to\dfrac{a_1}s$. Similarly, for each $j\in[n]:=\{1,\dots,n\}$, $$P(X_j>1-t)\to\dfrac{a_j}s.$$ Hence, $$P(X_j\le 1-t\ \forall j\in[n])\to1-\sum_{j=1}^n\dfrac{a_j}s=0.$$

So, for any continuous function $f\colon\R^n\to\R$, $$Ef(X)=\sum_{j=1}^n Ef(X)1(X_j>1-t)+Ef(X)1(X_j\le 1-t\ \forall j\in[n]) \to\sum_{j=1}^n Ef(e_j)\dfrac{a_j}s+0,$$ where $e_j$ is the $j$th standard basis of $\R^n$; here we use the implications $X_j>1-t\iff1>X_j>1-t\implies0<X_i<t<1-t\ \forall i\in[n]\setminus\{j\}$.

Thus, the Dirichlet distribution with parameter $ta$ converges to $\sum\limits_{j=1}^n \dfrac{a_j}s \delta_{\{e_i\}}$ as $t\downarrow0$.