Return to Answer

You can't have a convolution of two functions in $L_1(0,c)$ that is not in $L_1(0,c)$, else you violate Young's inequality, or the fact that $L_1(0,c)$ (i.e. the space you refer to as $L^{+}$) is a Banach algebra under convolution, so the answer is no. I assume you are taking $a < c$ and $b < c$ (otherwise you can't work in $L_1(\mathbb{R})$ because $f_a$ and $f_b$ don't belong there).

You can't have a convolution of two functions in $L_1(0,c)$ that is not in $L_1(0,c)$, else you violate Young's inequality, or the fact that $L_1(0,c)$ (i.e. the space you refer to as $L^{+}$) is a Banach algebra under convolution, so the answer is no. I assume you are taking $a < c$ and $b < c$ (otherwise you can't work in $L_1(\mathbb{R})$ because $f_a$ and $f_b$ don't belong there).

EDIT: Excuse me, Arc. I do apologize. I did not make the relevant distinction between an everywhere discontinuous function and a function defined only on a set of measure zero. I now understand the definition, so my answer is largely unhelpful.

However, if you are trying to construct a function that is discontinuous on a dense set, I do get the feeling that your construction wont do because the output of your convolution is (as you would expect) better behaved than the inputs, it is locally in $L_{2-\epsilon}$ and still has only one point of discontinuity. Perhaps I am missing the point here, though. Can you explain a bit more about what you want to achieve and your approach?

Hello Arc,

The key issue here is that your functions $f_a$ and $f_b$ belong to

You can't have a convolution of two functions in $L_1(0,c)$ that is not in $L_1(0,c)$, else you violate Young's inequality, or the fact that $L_1(0,c)$ (i.e. the space you refer to as $L^{+}$) is a Banach algebra under convolution, so the answer is no. I assume you are taking $a < c$ and $b < c$ (otherwise you can't work in $L_1(\mathbb{R})$ because $f_a$ and $f_b$ don't belong there).

Hello Arc,

The key issue here is that your functions $f_a$ and $f_b$ belong to the same $L_1$ space if and only if $a=b$ (i.e. $L_1(0,a)$). Thus, when you carry out a convolution over $\mathbb{R}$, you get a contradiction to Young's inequality (or the fact that $L_1(\mathbb{R})$ is a Banach algebra). Even if you work in $L_1(0,c)$ (i.e. the space to which you refer as $L^{+}$) with $a\leq c$ and $b\leq c$, you'll still get the same contradiction. So your calculation doesn't say anything about $L_1$ spaces I'm afraid, in particular, about $L_1(0,c)$.

Hello Arc,

The key issue here is that your functions $f_a$ and $f_b$ belong to