Skip to main content
deleted 31 characters in body
Source Link
Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

For related results, see e.g. this paperthis paper and references therein.

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

For related results, see e.g. this paper and references therein.

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

For related results, see e.g. this paper and references therein.

added 180 characters in body
Source Link
Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

For related results, see e.g. this paper and references therein.

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$

For related results, see e.g. this paper and references therein.

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

$\newcommand\u{\mathbf u}\newcommand\v{\mathbf v}\newcommand\x{\mathbf x}\newcommand\R{\mathbb R}\newcommand\ga\gamma$We have $$\mu(\u+t\v+K)=f(t):=\int_{\R^n}d\x\,F(\x,t),$$ where $$F(\x,t):=\ga(\x)\,1(\x\in\u+t\v+K).$$ The function $F\colon\R^n\times\R\to\R_+$ is log concave, as the product of two log-concave functions. So, by the Prékopa–Leindler inequality (cf. e.g. this), the function $f\colon\R\to\R_+$ is log concave. $\quad\Box$