1
$\begingroup$

Let $R$ be the ring of distributions $T\in \mathcal{D}'(\mathbb{R})$ with support in $[0,\infty)$ and with the operations of pointwise addition and multiplication taken as convolution, and $I$ be the ideal in $R$ with support in $(0,\infty)$. Is $I$ maximal in $R$?

$\endgroup$
3
  • 3
    $\begingroup$ Is convolution really well-defined in this setting? (double checking, it seems so) $\endgroup$
    – YCor
    Jun 14, 2018 at 9:03
  • 1
    $\begingroup$ How do you define the support of a distribution? For me this is a closed subset of $\Bbb{R}$. $\endgroup$
    – abx
    Jun 14, 2018 at 9:27
  • $\begingroup$ Of course, the support of a distribution is closed. If it is contained in $(0,\infty)$ there is a strictly positive $a$ such that it is contained in $[a,\infty)$. $\endgroup$ Jun 14, 2018 at 14:22

2 Answers 2

4
$\begingroup$

The set $J=\{u\in\mathscr D'(\mathbb R):$ supp$u \subseteq [0,\infty)$ and singsupp$u \subseteq (0,\infty)\}$ is a strictly bigger ideal.

To see that it is an ideal decompose such a $u$ by multiplying with a cut-off function as $u=\varphi + v$ where $\varphi \in \mathscr D([0,\infty))$ and $v\in I$.

$\endgroup$
2
$\begingroup$

Consider the ideal $J$ generated by all continuous locally integrable functions $f:[0,\infty)\to\mathbb{R}$ with $f(0) = 0$ (considered as distributions). Then the ideal $I+J$ is different from $R$, as it does not contain the delta distribution at 0. On the other hand, $I + J$ strictly contains $I$.

$\endgroup$
5
  • $\begingroup$ I doubt that $J$ is an ideal! The function $f(x)=x$ for $x\ge 0$ and $f(x)=0$ for $x\le 0$ belongs to $J$ and $\delta_0'' \ast f = f'' = \delta_0$. $\endgroup$ Jun 14, 2018 at 10:22
  • $\begingroup$ Well, $J$ is an ideal, by definition. But maybe it is not a strict ideal. Ok, I was wrong. $\endgroup$
    – jarauh
    Jun 14, 2018 at 10:26
  • $\begingroup$ @jarauh By definition, the full ring isn't an ideal. Otherwise it would always and trivially be the maximal ideal. $\endgroup$ Jun 14, 2018 at 10:32
  • 3
    $\begingroup$ @JochenWengenroth I disagree. The full ring is an ideal. Otherwise, the sum of ideals would not be an ideal, etc., and the definition of "the ideal generated by..." would be difficult. On the other hand, the definition of a maximal ideal explicitly excludes the full ring. That is, "maximal ideal" is short hand for "maximal proper ideal". $\endgroup$
    – jarauh
    Jun 14, 2018 at 10:36
  • $\begingroup$ Okay, convinced. $\endgroup$ Jun 14, 2018 at 11:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.