4
$\begingroup$

Let $\Theta\subseteq\mathbb{R}^d$ is open set and $(\cal X, \cal A)$ be a measurable space . For every $\theta\in\Theta$, suppose that $P_\theta$ is a probability measure on $(\cal X, \cal A)$. Suppose we have measurable function $J:\cal X\times \Theta\rightarrow\mathbb{R}^d$such that \begin{equation} \int{J(x,\theta)dP_{\theta}(x)}=0,\quad \forall \theta\in\Theta \end{equation} and \begin{equation}\int{|J(X,\theta)|^2dP_{\theta}}<\infty, \quad \forall \theta\in\Theta. \end{equation} where $|.|$ denotes the Euclidean norm. If we know the function $f$ defined by $f(\theta)=\int{J(x,\theta)J(x,\theta)^T}dP_{\theta}$ is continuous at $\theta_0\in\Theta$, then I'd like to prove that \begin{equation} \lim_{a\to\infty}\limsup_{\theta\to\theta_0}\int|J(x,\theta)|^21_{\{|J(x,\theta)|\geq a\}}dP_{\theta}=0. \end{equation} To prove this, I consider the simplest case when $d=1$. We have \begin{align*} L&=\lim_{a\to\infty}\limsup_{\theta\to\theta_0}\int|J(x,\theta)|^21_{\{|J(x,\theta)|\geq a\}}dP_{\theta}\\ &=f(\theta)-\lim_{a\to\infty}\limsup_{\theta\to\theta_0}\int|J(x,\theta)|^21_{\{|J(x,\theta)|<a\}}dP_{\theta}. \end{align*} The first term tends to $f(\theta_0)$ due to the continuity of $f$. I am sure that the last term also tends to $f(\theta_0)$ since $a$ is very big, but I could not justify this mathematically. Could anyone help me please? I am also confused what the relation between $|.|$ and $f$ is when $d>1$. Thank you in advance

$\endgroup$
2
  • $\begingroup$ I don't think that you can prove this without adding some continuity conditions on $J$ and $P_\theta$. Your problem smells like uniform integrability. In order to use such things one could try to find a dominating measure $\lambda$ for the family $P_\theta$ and write \begin{equation} f(\theta) =\int|J(x,\theta)|^2 \varphi(\theta,x) d\lambda(x) \end{equation} with the $\lambda$-densities $f(\theta,\cdot)$ of $P_\theta$. $\endgroup$ Commented Jan 31, 2014 at 8:26
  • $\begingroup$ However, if you an $\varepsilon$ more integrability like $\int |J(x,\theta)|^{2+\varepsilon}dP_{\theta}(x) \le C$ for $\theta$ close to $\theta_0$ then the almost trivial estimate $\int Y^2 I_{\{|Y|\ge a\}}dP \le a^{-\epsilon} \int |Y|^{2+\epsilon}dP$ helps. $\endgroup$ Commented Jan 31, 2014 at 8:34

1 Answer 1

4
$\begingroup$

Here is (I believe) a counterexample:

For $\theta\in\Theta=(-1,1)$ let $$P_\theta= \frac{\theta^2}{2} \delta_{-1/\theta} +\frac{\theta^2}{2} \delta_{1/\theta}+(1-\theta^2)\delta_0$$ (where $\delta_x$ is the Dirac measure in $x$) if $\theta\neq 0$ and $P_0=(\delta_{-1}+\delta_1)/2$. For $J(\theta,x)= x$ your function $f$ is constant and for $\theta_0=0$ you have \begin{equation} \lim_{a\to\infty}\limsup_{\theta\to\theta_0}\int|J(x,\theta)|^21_{\{|J(x,\theta)|\geq a\}}dP_{\theta}(x)=1. \end{equation}

$\endgroup$
2
  • $\begingroup$ Thank you very much for your help. I'll modify my assumption in this problem. $\endgroup$
    – Jlamprong
    Commented Jan 31, 2014 at 11:20
  • $\begingroup$ If you think that this answers your question you could accept the answer and then ask another one. $\endgroup$ Commented Jan 31, 2014 at 12:34

You must log in to answer this question.

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