Skip to main content
added 273 characters in body; edited title
Source Link
Anand
  • 1.6k
  • 2
  • 22
  • 33

Continuity of a convolution (Version 2)

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function, vanishing at infinity and integrable, i.e., $\psi\in C^0_0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand


Version 2. If we add an additional property,

  1. $\sup_{x\in R} |(G*\mu)(x)|<+\infty$, where $G(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2)$.

Then, is it possible to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous?

Thanks

Anand

Continuity of a convolution

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function, vanishing at infinity and integrable, i.e., $\psi\in C^0_0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand

Continuity of a convolution (Version 2)

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function, vanishing at infinity and integrable, i.e., $\psi\in C^0_0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand


Version 2. If we add an additional property,

  1. $\sup_{x\in R} |(G*\mu)(x)|<+\infty$, where $G(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2)$.

Then, is it possible to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous?

Thanks

Anand

Change Condition (2)
Source Link
Anand
  • 1.6k
  • 2
  • 22
  • 33

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function, vanishing at infinity and integrable, i.e., $\psi\in C^0(R)\cap L^1(R)$$\psi\in C^0_0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function and integrable, i.e., $\psi\in C^0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function, vanishing at infinity and integrable, i.e., $\psi\in C^0_0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand

Condition 3 has been changed
Source Link
Anand
  • 1.6k
  • 2
  • 22
  • 33

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function and integrable, i.e., $\psi\in C^0(R)\cap L^1(R)$;
  3. for some $x_0\in R$, $|(\psi*\mu)(x_0)|<+\infty$$\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous in a neighborhood of $x_0$.

Thank you very much for your help and any hints!

Anand

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function and integrable, i.e., $\psi\in C^0(R)\cap L^1(R)$;
  3. for some $x_0\in R$, $|(\psi*\mu)(x_0)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous in a neighborhood of $x_0$.

Thank you very much for your help and any hints!

Anand

Hello,

This problem bothers me for some time. Suppose that

  1. $\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
  2. $\psi$ is a continuous function and integrable, i.e., $\psi\in C^0(R)\cap L^1(R)$;
  3. $\sup_{x \in R}|(\psi*\mu)(x)|<+\infty$.

Then, we would like to prove that the function $x\mapsto (\psi*\mu)(x)$ is continuous.

Thank you very much for your help and any hints!

Anand

Post Made Community Wiki
Source Link
Anand
  • 1.6k
  • 2
  • 22
  • 33
Loading