1
$\begingroup$

In this paper, Lemma 6, Pinsky proves that $$H(x) =(4\pi t)^{-d/2} \int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}(1+|y|)^m \, dy$$ attains its maximum in $x=0$ for $m<0$. This can also be proven using the [Riesz rearrangement inequality][2]. My question at first was whether $$G(x) =(4\pi t)^{-d/2} \int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}|y|^k \, dy,$$ $k>0$, there is $x_0\in \mathbb{R}^d$ at which the integral reaches its maximum. This time it is not possible to use Riesz rearrangement inequality, as $|y|^k$, $k>0$ is non-decreasing.

In a comment of Christian Remling below, it was noted that $$(4\pi t)^{-d/2} \int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}|y|^k \, dy \rightarrow \infty \text{ as } |x|\rightarrow \infty.$$ So a question arose, whether there is any upper bound for $$\int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}|y|^k \, dy,$$ $k>0$, of polynomial type, so that I can control the growth of $G(x)$, possibly multiplying by $|x|^\beta$, for some $\beta <0$. Is there any result in this direction, or any suggestions?

$\endgroup$
9
  • 1
    $\begingroup$ Maybe I'm missing some subtlety, but it looks obvious to me that the maximum is assumed at $x=0$ in the first case (we are dealing with averages of $(1+|y|)^m$ centered at $x$, and this function is largest near $y=0$). For the same reason, the second function grows without bound as $|x|\to\infty$. $\endgroup$ Commented Dec 17, 2023 at 14:05
  • 1
    $\begingroup$ PS: The claims near the end of your post are incorrect: $\int_0^{\infty} x^{3/2} e^{-(x-a)^2}\, dx \ge \int_a^{a+1}\ldots \ge a^{3/2}e^{-1}$ $\endgroup$ Commented Dec 17, 2023 at 14:10
  • 1
    $\begingroup$ @MichaelHardy exactly, the correct one is $-d/2$. $\endgroup$
    – Ilovemath
    Commented Dec 17, 2023 at 14:58
  • 2
    $\begingroup$ It grows like $|x|^k$; it is better seen changing variables to put the $x$ inside the power. $\endgroup$ Commented Dec 17, 2023 at 15:14
  • 1
    $\begingroup$ Yes, exactly but for large $|x|$. $\endgroup$ Commented Dec 17, 2023 at 16:04

1 Answer 1

2
$\begingroup$

Note that, if $k\ge1$, then
$$G(x)=E|x+\sqrt{2t}Z|^k\le(|x|+\sqrt{2t}\|Z\|_k)^k,$$ by Minkowski's inequality, where $Z$ is a standard normal random vector in $\mathbb R^d$ and $\|Z\|_k:=(E|Z|^k)^{1/k}$. If $k\in(0,1)$, then
$$G(x)=E|x+\sqrt{2t}Z|^k\le|x|^k+(2t)^{k/2}\|Z\|_k^k.$$

Also, by Jensen's inequality, $$G(x)\ge |x|^k$$ if $k\ge1$, and $G(x)\ge |x|^k-(2t)^{k/2}\|Z\|_k^k$ if $k\in(0,1)$.

So, $$G(x)\sim|x|^k$$ as $|x|\to\infty$.

$\endgroup$
3
  • $\begingroup$ @losif Pinelis where can I find this notation you used in the demonstration above, it seems probabilistic. Any reference books? $\endgroup$
    – Ilovemath
    Commented Dec 17, 2023 at 16:25
  • 1
    $\begingroup$ @Ilovemath : $E$ denotes the expectation. It can be found in any probability textbook. So, $EX:=\int X\,dP$, where $X$ is a random variable and $P$ is the underlying probability measure. For "standard normal random vector", see e.g.Wikipedia and further references there. $\endgroup$ Commented Dec 17, 2023 at 17:06
  • 1
    $\begingroup$ Why the downvote? Anything wrong with this answer? $\endgroup$ Commented Dec 18, 2023 at 19:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .